[论文解读] A topological obstruction for small-distortion embeddability into spaces of continuous functions on countable compact metric spaces

Florent P. Baudier|arXiv (Cornell University)|May 17, 2013

Advanced Banach Space Theory参考文献 3被引用 3

一句话总结

本文建立了可分巴拿赫空间与度量空间嵌入到可数紧致度量空间 $K$ 上连续函数空间 $\scr C(K)$ 的 $c(K)$-畸变的首个已知下界。通过利用康托尔-本迪克松导出的拓扑不变量，证明了当 $K = [0,\omega^k \cdot n]$ 时，畸变 $D_k$ 满足 $D_k \geq \frac{k+1}{k}$，且在 $k=1$ 时等号可能成立，$D_2 = 2$，从而解决了长期存在的关于中间畸变阈值的理解空白。

ABSTRACT

We give the first lower bound on the $\scr C(K)$-distortion of the class of separable Banach spaces, for $K$ a countable compact in the family $\{ [0,ω],[0,ω\cdot2],\cdots, [0,ω^2], \cdots, [0,ω^k\cdot n],\cdots,[0,ω^ω]\}$.

研究动机与目标

• 确定可分巴拿赫空间与度量空间嵌入到 $\scr C(K)$ 时的最佳可能畸变，其中 $K$ 是可数紧致度量空间。
• 通过建立更高康托尔-本迪克松阶的 $K$ 的下界，弥合已知极端情况之间的理解空白：$K=[0,1]$ 时 $D=1$，$K=[0,\omega]$ 时 $D=2$。
• 识别阻止 $\scr C(K)$-嵌入中更小畸变的拓扑障碍——特别是康托尔-本迪克松导出阶。

提出的方法

• 本文使用康托尔-本迪克松导出层次定义了拓扑不变量 $\sigma(K)$，即 $K$ 的最后一个非空导出集的阶数。
• 引入了 $\scr C(K)$-畸变 $c_{\scr C(K)}(\textrm{SEP})$ 的概念，定义为所有可分度量空间嵌入到 $\scr C(K)$ 中的畸变下确界。
• 通过分析 $K = [0,\omega^k \cdot n]$ 时 $\scr C(K)$-空间的结构，基于秩 $\sigma(K) = k$ 构造了一个拓扑障碍。
• 证明了若 $\sigma(K) = k \geq 2$，则 $c_{\scr C(K)}(\textrm{SEP}) \geq \frac{k+1}{k}$，利用对偶性及 $\scr C(K)$ 中 $c_0$-饱和子空间的性质。
• 该论证依赖于如下事实：对于可数 $K$，$\scr C(K)$-空间是 $c_0$-饱和的，因此当 $\sigma(K) = k$ 时，无法以小于 $\frac{k+1}{k}$ 的畸变嵌入所有可分巴拿赫空间。
• 证明结合了非线性几何中的经典结果（如 Kalton-Lancien 嵌入）与可数紧致空间理论中的描述集合论工具。

实验结果

研究问题

• RQ1 当 $K$ 是具有康托尔-本迪克松阶 $k \geq 2$ 的可数紧致度量空间时，将所有可分度量空间嵌入到 $\scr C(K)$ 中的最佳可能畸变是什么？
• RQ2 $K = [0,\omega^k \cdot n]$ 时的畸变 $D_k$ 是否可能严格小于 $\frac{k+1}{k}$，还是该界是紧致的？
• RQ3 是否存在 $K$ 的拓扑不变量，可表征可分巴拿赫空间在 $\scr C(K)$ 中通用嵌入的最小可能 $\scr C(K)$-畸变？
• RQ4 对于哪些可数紧致 $K$，有 $c_{\scr C(K)}(\textrm{SEP}) = 1$？实现这一结果的 $K$ 的必要或充分拓扑条件是什么？

主要发现

• 对于任意具有康托尔-本迪克松阶 $\sigma(K) = k \geq 2$ 的可数紧致度量空间 $K$，可分度量空间类的 $\scr C(K)$-畸变满足 $c_{\scr C(K)}(\textrm{SEP}) \geq \frac{k+1}{k}$。
• 特别地，当 $K = [0,\omega \cdot 2]$ 时，畸变 $D_2$ 恰好为 2，与 Kalton 和 Lancien 所知的上确界一致。
• $\frac{k+1}{k}$ 的界在 $k=1$ 时是紧致的，此时 $D_1 = 2$，且该结果优于此前仅知 $D_k \leq 2$ 的认知。
• 本文表明，仅当 $\sigma(K) \geq \omega$ 时，才有 $c_{\scr C(K)}(\textrm{SEP}) = 1$，这意味着 $\scr C(K)$ 不能作为可分巴拿赫空间的几乎等距通用空间，除非 $K$ 具有无限康托尔-本迪克松阶。
• 该结果建立了完整的拓扑障碍：具有有限 $\sigma(K)$ 的 $\scr C(K)$-空间无法以小于 $\frac{k+1}{k}$ 的畸变嵌入所有可分巴拿赫空间，其中 $k = \sigma(K)$。
• 本文解决了 $D_2 = 2$ 的情形，并为分析更高 $k$ 的 $D_k$ 提供了框架，提示 $D_k = \frac{k+1}{k}$ 可能是最优的。