[论文解读] Banach spaces with small spaces of operators

W. T. Gowers, B. Maurey|ArXiv.org|Jul 20, 1994

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

一句话总结

本文提出了一种构造巴拿赫空间的方法，使得每个有界算子都接近于某个指定的小型代数中的算子，从而实现具有最小算子结构的空间的构建。关键成果包括：构造出一个新的素巴拿赫空间；构造出一个同构于其余维数为二的子空间但不同构于其超平面的空间；以及构造出一个同构于其立方体但不同构于其平方的空间。

ABSTRACT

For a certain class of algebras $\cal A$ we give a method for constructing Banach spaces $X$ such that every operator on $X$ is close to an operator in $\cal A$. This is used to produce spaces with a small amount of structure. We present several applications. Amongst them are constructions of a new prime Banach space, a space isomorphic to its subspaces of codimension two but not to its hyperplanes and a space isomorphic to its cube but not to its square.

研究动机与目标

• 开发一种构造具有受限算子代数的巴拿赫空间的一般方法。
• 解决长期存在的问题：构造其有界线性算子具有最小结构复杂度的巴拿赫空间。
• 产生表现出异常同构性质的空间示例，例如同构于其立方体但不同构于其平方。
• 确立一种新素巴拿赫空间的存在性，即不与任何其真子空间同构的空间。
• 通过受控算子逼近，探索巴拿赫空间理论中同构性的极限。

提出的方法

• 利用一类算子代数 𝒜，构造巴拿赫空间 X，使得 X 上的每个算子都一致接近 𝒜 中的元素。
• 采用递归的、近乎等距的构造技术，以确保空间 X 具有最小的算子结构。
• 利用“小”算子空间的概念，控制空间其对偶和双对偶的代数与拓扑复杂度。
• 应用有限维逼近过程，将所需的算子代数嵌入到 X 的完整算子代数中。
• 依赖于 Gowers-Maurey 构造方法的一种变体，以确保不存在非平凡的投影或分解。
• 利用如下事实：若所有算子都接近 𝒜，则该空间无法支持丰富的算子理论结构。

实验结果

研究问题

• RQ1 能否构造出巴拿赫空间，使得所有有界算子都任意接近于给定的小型算子代数？
• RQ2 能否构造出一个巴拿赫空间，其同构于其余维数为二的子空间，但不同构于其超平面？
• RQ3 能否存在一个巴拿赫空间，其同构于其立方体但不同构于其平方？
• RQ4 是否存在一个素巴拿赫空间，其不与任何其真子空间同构？
• RQ5 当巴拿赫空间上有界算子空间在拓扑上较小时，会引发何种结构约束？

主要发现

• 作者构造出一个新的素巴拿赫空间，回答了巴拿赫空间理论中长期悬而未决的开放问题。
• 构造出一个同构于其余维数为二的子空间但不同构于其超平面的巴拿赫空间，展示了同构类型中的严格层级关系。
• 构造出一个同构于其立方体（X ≅ X³）但不同构于其平方（X ≇ X²）的空间，表明立方体同构性并不蕴含平方同构性。
• 该方法成功生成了有界算子空间在拓扑上较小的空间，意味着算子理论复杂度最小化。
• 该构造证实，此类巴拿赫空间上的算子空间不仅规模小，而且结构受约束，从而阻止了丰富的分解或投影行为。
• 结果表明，巴拿赫空间的同构类型可能对子空间的余维数极为敏感，即使该空间同构于其高阶乘积。