[论文解读] SUBSPACES OF c0(N) AND LIPSCHITZ ISOMORPHISMS

Gilles Godefroy, N. J. Kalton+1 more|arXiv (Cornell University)|Jan 1, 2000

Advanced Banach Space Theory参考文献 25被引用 54

一句话总结

本文证明了 c₀(ℕ) 的子空间在 Lipschitz 同构下保持不变，证明了任何与 c₀(ℕ) Lipschitz 同构的 Banach 空间必然与之线性同构。该结果依赖于通过一种范数对 c₀(ℕ) 的子空间进行同构刻画，使得在对偶单位球面上弱*拓扑与范数拓扑在数量上一致，且对小 Lipschitz 常数的 Banach–Mazur 距离给出了界。

ABSTRACT

We show that the class of subspaces of c0(N) is stable under Lipschitz isomorphisms. The main corollary is that any Banach space which is Lipschitz-isomorphic to c0(N) is linearly isomorphic to c0(N). The proof relies in part on an isomorphic characterization of subspaces of c0(N) as separable spaces having an equivalent norm such that the weak-star and norm topologies quantitatively agree on the dual unit sphere. Estimates on the Banach{Mazur distances are provided when the Lipschitz constants of the isomorphisms are small. The quite dierent non-separable theory is also investigated.

研究动机与目标

• 研究 c₀(ℕ) 的子空间在 Lipschitz 同构下的稳定性。
• 确定一个与 c₀(ℕ) Lipschitz 同构的 Banach 空间是否必然与之线性同构。
• 通过在对偶单位球面上的范数性质，对 c₀(ℕ) 的子空间提供定量刻画。
• 当同构的 Lipschitz 常数较小时，估计 Banach–Mazur 距离。
• 将分析扩展至非可分 Banach 空间。

提出的方法

• 利用一种等价范数，对 c₀(ℕ) 的子空间进行同构刻画，使得在对偶单位球面上弱*拓扑与范数拓扑在数量上一致。
• 应用此范数条件，证明 c₀(ℕ) 与另一 Banach 空间的 Lipschitz 同构蕴含线性同构。
• 通过同构的 Lipschitz 常数较小这一条件，推导出 Banach–Mazur 距离的估计。
• 运用非线性泛函分析与范数等价理论中的技术，控制对偶单位球面上的拓扑行为。
• 利用 Banach 空间结构性质，将可分情形的结果推广至非可分情形。

实验结果

研究问题

• RQ1 c₀(ℕ) 的子空间类在 Lipschitz 同构下是否保持不变？
• RQ2 一个与 c₀(ℕ) Lipschitz 同构的 Banach 空间是否必然与 c₀(ℕ) 线性同构？
• RQ3 何种范数条件可刻画 c₀(ℕ) 的子空间，使其在对偶单位球面上弱*拓扑与范数拓扑在数量上一致？
• RQ4 当 Lipschitz 常数较小时，c₀(ℕ) 与其 Lipschitz 同构像之间的 Banach–Mazur 距离如何变化？
• RQ5 在此背景下，从可分情形到非可分情形的结构性质有哪些可推广？

主要发现

• c₀(ℕ) 的子空间类在 Lipschitz 同构下是稳定的。
• 任何与 c₀(ℕ) Lipschitz 同构的 Banach 空间必然与 c₀(ℕ) 线性同构。
• c₀(ℕ) 的子空间可通过存在一种等价范数来刻画，使得在对偶单位球面上弱*拓扑与范数拓扑在数量上一致。
• 当 Lipschitz 常数较小时，c₀(ℕ) 与其 Lipschitz 同构像之间的 Banach–Mazur 距离被一个关于 Lipschitz 常数的函数所界定。
• 对这类同构的非可分理论进行了研究，揭示了其与可分情形的结构差异。