[论文解读] Category theorems for stable operators on Hilbert spaces

Tanja Eisner, Andr|ArXiv.org|May 7, 2008

Advanced Operator Algebra Research参考文献 15被引用 17

一句话总结

该论文证明，在可分的无限维希尔伯特空间中，弱稳定收缩算子的集合属于第一范畴（在拓扑上较小），而几乎弱稳定收缩算子的集合是余稠密的（在拓扑上普遍存在），将哈姆斯与罗林的遍历理论范畴定理推广至希尔伯特空间上的算子。通过弱算子拓扑与贝尔范畴论证，该结果被证明适用于酉算子、等距算子及压缩算子。

ABSTRACT

We discuss the two closely related, but different concepts of weak and almost weak stability for the powers of a contraction on a separable Hilbert space. Extending Halmos' and Rohlin's theorems in ergodic theory as a model, we show that the set of all weakly stable contractions is of first category while the set of all almost weakly stable contractions is of second category and is residual. Analogous statements for unitary and isometric operators are also proved.

研究动机与目标

• 研究可分的无限维希尔伯特空间上弱稳定与几乎弱稳定算子的贝尔范畴性质。
• 将哈姆斯与罗林的经典遍历理论结果——最初针对保测度变换——推广至希尔伯特空间上有界线性算子的设定。
• 阐明在幂有界算子背景下，弱稳定与几乎弱稳定之间的拓扑差异。
• 证明在压缩算子、酉算子与等距算子的空间中，几乎弱稳定是典型的（余稠密），而弱稳定是稀少的（第一范畴）。
• 利用可 dense 子集与收敛性准则，在弱算子拓扑下建立压缩算子的范畴论结果。

提出的方法

• 使用雅可布斯–格利克斯堡–德利厄分解，将希尔伯特空间分解为谱子空间与稳定子空间，重点分析稳定部分以进行渐近分析。
• 将弱稳定定义为所有 x, y ∈ H 满足矩阵系数 ⟨Tⁿx, y⟩ 弱收敛于 0 的点态收敛；将几乎弱稳定定义为存在子列使得矩阵系数弱收敛于 0。
• 通过可数稠密子集 {xⱼ} 赋予压缩算子空间一个完备度量拓扑，定义度量 d(T, S) = Σᵢⱼ 2⁻ⁱ⁻ʲ |⟨Txᵢ, xⱼ⟩ − ⟨Sxᵢ, xⱼ⟩| / (‖xᵢ‖‖xⱼ‖)。
• 应用弱收敛到强收敛的引理：若 Tₙ 弱收敛于 S 且对所有 x 满足 ‖Tₙx‖ ≤ ‖Sx‖，则 Tₙ 强收敛于 S。
• 证明弱稳定算子的集合包含于可数个无处稠密集的并集中（属于第一范畴），而几乎弱稳定算子的集合是 Gδ 集，且其补集为稠密的 Gδ 集（即余稠密）。
• 利用周期酉算子与几乎弱稳定酉算子在压缩算子空间中的稠密性，证明其补集为无处稠密。

实验结果

研究问题

• RQ1 在可分希尔伯特空间上，弱稳定压缩算子的集合在所有压缩算子空间中是否为拓扑上稀少的（第一范畴）？
• RQ2 在相同空间中，几乎弱稳定压缩算子的集合是否为拓扑上庞大的（余稠密）？
• RQ3 对于酉算子、等距算子与压缩算子，弱稳定与几乎弱稳定的贝尔范畴性质如何比较？
• RQ4 能否将遍历理论中的范畴论结果（哈姆斯与罗林）推广至希尔伯特空间上有界线性算子？
• RQ5 在弱算子拓扑下，何种拓扑条件可确保弱稳定是稀少的，而几乎弱稳定是典型的？

主要发现

• 在可分的无限维希尔伯特空间上，弱稳定压缩算子的集合在所有压缩算子空间中，于弱算子拓扑下属于第一范畴。
• 在相同空间中，几乎弱稳定压缩算子的集合是余稠密的，意味着其在拓扑上普遍存在。
• 对于酉算子，几乎弱稳定算子的集合是余稠密的，而弱稳定算子的集合属于第一范畴。
• 对于等距算子，同样的范畴二分现象成立：弱稳定属于第一范畴，几乎弱稳定为余稠密。
• 证明依赖于弱收敛到强收敛的引理，以及周期酉算子与几乎弱稳定酉算子在压缩算子空间中的稠密性。
• 该范畴区分在弱算子拓扑下成立，且结果对通过 H 中固定可数稠密集定义的弱算子拓扑度量具有鲁棒性。