[论文解读] An ordinal index characterizing weak compactness of operators

Ryan M. Causey|arXiv (Cornell University)|Aug 9, 2015

Advanced Topology and Set Theory参考文献 8被引用 4

一句话总结

本文引入一个序数指标 $π(A)$，用于刻画巴拿赫空间之间有界线性算子的弱紧致性。受Szlenk指标的启发，该指标通过单位球中序列的凸分离性质来定义，并衡量在伴随算子单位球下此类序列的复杂度。关键结果是：对每个序数 $ξ$，类 $π_{\omega^{\omega^{\xi}}}$ 构成一个闭算子理想，且 $π_\omega$ 与超弱紧致算子类完全一致。

ABSTRACT

We introduce an ordinal index which characterizes weak compactness of operators between Banach spaces. We study when classes consisting of operators having bounded index form a closed ideal, the distinctness of the classes, and the descriptive set theoretic properties of this index.

研究动机与目标

• 开发一种新的序数指标，以刻画巴拿赫空间之间算子的弱紧致性。
• 确立该指标在可分空间上的描述集合论性质，特别是其共解析性。
• 研究由有界指标定义的类 $\mathscr{J}_\xi$ 的结构，包括其闭性与真包含关系。
• 澄清指标 $π(A)$ 与已知算子理想（如超弱紧致算子）之间的关系。

提出的方法

• 通过在定义空间单位球中所有在伴随算子单位球下具有凸分离性质的序列所构成树的序类型来定义指标 $π(A)$。
• 该构造借鉴了Szlenk指标的框架，利用对偶空间中的 $w^*$-紧致、对称、凸子集来定义分离条件。
• 若一个序列的初始段与末段的凸包在由 $K$ 诱导的半范数下至少被分离 $ε$，则称其为 $(K,\varepsilon)$-cs。
• 指标 $j(K,\varepsilon)$ 定义为所有此类 $(K,\varepsilon)$-cs 序列所构成树的序型，而 $π(A)$ 是 $j(A^*B_{Y^*}, \varepsilon)$ 关于所有 $\varepsilon > 0$ 的上确界。
• 使用树的超限导出来定义序型 $o(T)$，若树为非良基，则 $π(A) = \infty$。
• 证明 $π_{\omega^{\omega^{\xi}}}$ 的闭性依赖于构造单调映射，并利用分离性质推导出指标的下界。

实验结果

研究问题

• RQ1 能否定义一个序数指标，以完全刻画巴拿赫空间之间算子的弱紧致性，类似于Szlenk指标对Asplund算子的刻画？
• RQ2 对哪些序数 $ξ$，满足 $π(A) \leq \xi$ 的算子类 $π_\xi$ 构成一个闭算子理想？
• RQ3 指标 $π(A)$ 与超弱紧致算子类之间的确切关系为何？
• RQ4 类 $π_\xi$ 之间在包含关系和严格性方面如何相互关联？
• RQ5 指标 $π$ 是否为可分巴拿赫空间之间算子空间上的共解析秩？

主要发现

• 对每个序数 $ξ$，类 $π_{\omega^{\omega^{\xi}}}$ 构成一个闭算子理想。
• 类 $π_\omega$ 恰好等于所有超弱紧致算子的集合。
• 对每个可数序数 $ξ$，存在一个定义在可分空间上的弱紧致算子 $A$，使得 $π(A) > \xi$，表明这些类之间存在严格层次结构。
• 指标 $π$ 是可分巴拿赫空间之间算子空间上的共解析秩。
• 所有类的并集 $\bigcup_{\xi \in \text{Ord}} \mathscr{J}_\xi$ 等于所有弱紧致算子的理想。
• 若算子 $A$ 和 $B$ 满足 $π(A) > \omega^{\omega^{\xi}}$ 且 $π(B) > \omega^{\omega^{\xi}}$，则 $π(A+B) > \omega^{\omega^{\xi}}$，表明该指标在强意义上具有次可加性。