English

$\xi$-completely continuous operators and $\xi$-Schur Banach spaces

Functional Analysis 2018-03-28 v1

Abstract

For each ordinal 0ξω10\leqslant \xi\leqslant \omega_1, we introduce the notion of a ξ\xi-completely continuous operator and prove that for each ordinal 0<ξ<ω10< \xi< \omega_1, the class Vξ\mathfrak{V}_\xi of ξ\xi-completely continuous operators is a closed, injective operator ideal which is not surjective, symmetric, or idempotent. We prove that for distinct 0ξ,ζω10\leqslant \xi, \zeta\leqslant \omega_1, the classes of ξ\xi-completely continuous operators and ζ\zeta-completely continuous operators are distinct. We also introduce an ordinal rank v\textsf{v} for operators such that v(A)=ω1\textsf{v}(A)=\omega_1 if and only if AA is completely continuous, and otherwise v(A)\textsf{v}(A) is the minimum countable ordinal such that AA fails to be ξ\xi-completely continuous. We show that there exists an operator AA such that v(A)=ξ\textsf{v}(A)=\xi if and only if 1ξω11\leqslant \xi\leqslant \omega_1, and there exists a Banach space XX such that v(IX)=ξ\textsf{v}(I_X)=\xi if and only if there exists an ordinal γω1\gamma\leqslant \omega_1 such that ξ=ωγ\xi=\omega^\gamma. Finally, prove that for every 0<ξ<ω10<\xi<\omega_1, the class {AL:v(A)ξ}\{A\in \mathcal{L}: \textsf{v}(A) \geqslant \xi\} is Π11\Pi_1^1-complete in L\mathcal{L}, the coding of all operators between separable Banach spaces. This is in contrast to the class VL\mathfrak{V}\cap \mathcal{L}, which is Π21\Pi_2^1-complete in L\mathcal{L}.

Keywords

Cite

@article{arxiv.1803.09343,
  title  = {$\xi$-completely continuous operators and $\xi$-Schur Banach spaces},
  author = {R. M. Causey and K. Navoyan},
  journal= {arXiv preprint arXiv:1803.09343},
  year   = {2018}
}
R2 v1 2026-06-23T01:04:32.153Z