[论文解读] Tightness of Banach spaces and Baire category

Valentin Ferenczi, Gilles Godefroy|arXiv (Cornell University)|Nov 28, 2011

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

一句话总结

本文在具有基的巴拿赫空间的块子空间波兰空间上，建立了关于线性同构与双向嵌入关系的贝尔范畴二分法。利用诸如0-1律和稠密余集论证等拓扑工具，证明这些关系要么是第一纲集，要么是余第一纲集，从而将巴拿赫空间理论中的紧致性与极小性联系起来。关键贡献在于揭示了一种类结构二分法：同构类在块子空间空间中要么稀少，要么普遍。

ABSTRACT

We prove several dichotomies on linear embeddings between Banach spaces. Given an arbitrary Banach space X with a basis, we show that the relations of isomorphism and bi-embedding are meager or co-meager on the Polish set of block-subspaces of X. We relate this result with tightness and minimality of Banach spaces. Examples and open questions are provided.

研究动机与目标

• 研究具有基的巴拿赫空间的块子空间上同构关系与双向嵌入关系的贝尔范畴性质。
• 阐明拓扑普遍性（第一纲集/余第一纲集）与巴拿赫空间中紧致性、极小性等结构性质之间的联系。
• 确定在块子空间空间中，同构类在非希尔伯特空间情形下是稀少（第一纲集）还是普遍（余第一纲集）。
• 探讨这些二分法对子空间上同构关系复杂性的影响，特别是与遍历性及不可数个非同构子空间族的关系。

提出的方法

• 作者分析了具有基的巴拿赫空间 $ X $ 的块子空间的波兰空间 $ b(X) $，其拓扑由 $ Q_0^\omega $ 继承而来，其中 $ Q_0 $ 是归一化的有理向量集。
• 他们应用第一个拓扑0-1律（引理2.1），证明具有贝尔性质的 $ G $-不变集要么是第一纲集，要么是余第一纲集，其中 $ G $ 是在基本开集上本向作用的同胚群。
• 证明使用了稠密余集准则（引理2.3），通过区间 $ I_n $ 和子集 $ a_n $ 来刻画余第一纲集，确保若一序列在无穷多个 $ I_n $ 上与 $ a_n $ 一致，则其属于该集合。
• 关键构造将 $ b(T^*) $ 中的块序列映射到 $ \omega $ 的子集，通过 $ \phi((z_n)) = \bigcup_n \min(\text{supp}\, z_n) $，保持同构类型，并实现从 $ 2^\omega $ 到 $ b(T^*) $ 的第一纲集传递。
• 作者通过从 $ 2^\omega $ 提升第一纲集，利用连续性与贝尔性质的原像保持性，证明在 $ b(T^*)^2 $ 中同构关系 $ \text{Is} $ 是第一纲集。
• 他们证明尽管 $ \text{Is} $ 可能是第一纲集，但双向嵌入关系 $ \text{Be} $ 仍可能是余第一纲集（甚至等于 $ b(X)^2 $），表明同构与双向嵌入在范畴性上可能表现出不同行为。

实验结果

研究问题

• RQ1 在 $ b(X) $ 的波兰拓扑下，具有基的巴拿赫空间的块子空间上的同构关系是第一纲集还是余第一纲集？
• RQ2 在 $ b(X) $ 上，双向嵌入关系是否表现出类似的0-1律？它与同构关系在范畴性上的关系如何？
• RQ3 一个巴拿赫空间 $ X $ 是否可以是极小的（即嵌入其所有块子空间）同时其在 $ b(X) $ 上的同构关系仍为第一纲集？
• RQ4 巴拿赫空间的紧致性与其块子空间空间中同构类的范畴性之间有何关系？
• RQ5 在 $ b(X)^2 $ 中 $ \text{Is} $ 为第一纲集是否意味着存在连续统个非同构子空间？这是否意味着遍历性？

主要发现

• 对任意具有基的巴拿赫空间 $ X $，其 $ b(X)^2 $ 上的同构关系 $ \text{Is} $ 要么是第一纲集，要么是余第一纲集，从而在同构关系上确立了拓扑0-1律。
• 在 $ b(X)^2 $ 上，双向嵌入关系 $ \text{Be} $ 是余第一纲集当且仅当嵌入关系 $ \text{Emb} $ 是余第一纲集，且 $ \text{Be} $ 可以是余第一纲集，即使 $ \text{Is} $ 是第一纲集。
• 在类似采列尔森的空间 $ T^* $ 中，尽管 $ T^* $ 是紧致的且具有强 $ E_0 $-反链，其同构关系 $ \text{Is} $ 在 $ b(T^*)^2 $ 中仍为第一纲集。
• $ b(T^*) $ 允许一个连续的、保持同构类型的映射 $ \phi $ 到 $ 2^\omega $，且由于 $ \phi $-原像的 $ \simeq $-类为第一纲集，因此 $ b(T^*) $ 中所有 $ \text{Is} $-类均为第一纲集。
• 该结果意味着 $ \text{Is} $ 在 $ b(X)^2 $ 中为第一纲集，意味着存在 $ E_0 $-约化至 $ \text{Is} $，因此 $ X $ 是遍历的，从而包含连续统个非同构子空间。
• 本文未解决 $ \ell_p $（$ 2 < p < \infty $，$ p \neq 2 $）在 $ SB(\ell_p)^2 $ 上是否具有 Borel 同构关系的问题，尽管推测答案为否定。