[论文解读] How many operators do there exist on a Banach space?

Th. Schlumprecht|ArXiv.org|Aug 7, 2002

Advanced Banach Space Theory参考文献 15被引用 5

一句话总结

本文研究了无限维巴拿赫空间上非紧致、非标量有界线性算子的存在性，重点关注两个具有均匀分离项的归一化基序列，其闭线性张成空间之间是否存在有界线性算子。关键结果表明，在巴拿赫空间满足某些结构假设的条件下，此类算子存在且为严格奇异算子，为泛函分析中关于算子空间丰富性（超越紧算子与标量扰动）的长期悬而未决问题提供了肯定答案。

ABSTRACT

We present partial results to the following question: Does every infinite dimensional Banach space have an infinite dimensional subspace on which one can define an operator which is not a compact perturbation of a scalar multiplication?

研究动机与目标

• 确定每个无限维巴拿赫空间是否都存在一个不具形式 λId + 紧算子的有界线性算子。
• 研究在巴拿赫空间子空间上是否存在非平凡算子，其形式并非 λIn + 紧算子。
• 分析此类算子可被构造的结构条件，特别是在不满足块基等价性质的空间中。
• 通过超限构造与块序列分析，建立严格奇异但非紧算子的存在性。

提出的方法

• 使用超限族 (Gα)α<ω₁（由有限集构成）来控制巴拿赫空间中块序列的范数。
• 应用函数 a(·, αk) 以衡量序列与某些子空间的“分离度”，从而指导构造过程。
• 采用递归过程，通过逐步添加受控大小的扰动 y(j)，构建一个半归一化且弱趋于零的序列 x̄。
• 利用引理6.4与引理6.11，确保所构造的序列在 c₀ 型范数下满足下界与上界估计。
• 应用引理6.13，证明由 xₙ ↦ yₙ 定义的算子可分解为一个遗传 c₀ 空间上的算子，因此为严格奇异算子。
• 结合上界估计（式(71)）与下界估计（式(77)），证明该映射可延拓为有界线性算子。

实验结果

研究问题

• RQ1 每个无限维巴拿赫空间是否都存在一个有界线性算子，其形式不是 λ 乘以恒等算子加紧算子？
• RQ2 能否在巴拿赫空间的子空间上构造一个非平凡算子，其形式并非 λIn + 紧算子？
• RQ3 在巴拿赫空间满足何种结构条件（例如块基等价性质的失效）下，可构造出严格奇异但非紧的算子？
• RQ4 在两个归一化基序列 (xn) 与 (yn) 的线性张成空间之间，是否可能定义一个满足 liminf‖xn − yn‖ > 0 的有界线性算子？
• RQ5 当环境空间不包含 c₀ 时，此类算子是否可被证明为严格奇异？

主要发现

• 在两个归一化基序列 (xn) 与 (yn) 的线性张成空间之间，存在一个有界线性算子 T，且满足 liminf‖xn − yn‖ > 0。
• 所构造的算子 T 为严格奇异算子，尽管其既非紧算子，也非恒等算子的标量倍。
• 该算子可分解为一个遗传 c₀ 空间上的算子，因此当环境空间不包含 c₀ 时，其严格奇异性质得以保证。
• 该构造依赖于超限族 (Gα)α<ω₁ 与函数 a(·, αk)，以控制块序列的范数估计。
• 下界估计 (77) 确保算子在某些有限支集序列上被下有界，而上界估计 (71) 确保有界性。
• 最终的对角序列 x̄ 满足 a( x̄, αk) ≥ (1/2)c³ᵏ，这是确立算子有界性的关键条件。