结果族 324：Lipschitz equivalent Banach spaces need not be linearly isomorphic · 学科：Functional analysis · 验证状态：主结果已 Lean 形式化
一家旅馆明明没有某种”标准房型”，却能通过一番非线性改造，把带这种房型的整栋新楼塞回原有房间，任何两位住客间的距离几乎不变。本文构造出这样的”空间压缩魔术师”Z，回答了非线性几何里又一个公开问题。
关键词卡片
@@M@@QK=g-P@@。看个具体例子
主定理说：存在到上的双 Lipschitz 映射 @@M@@F\colon Z\oplus_\infty c_0\to Z@@，而 Z 不含任何线性拷贝的 c₀。
顺带的红利：由 Aharoni 定理”每个可分度量空间都能双 Lipschitz 嵌入 @@M@@c_0@@“，把嵌入与 F 复合，Z 成为一切可分度量空间的”万能收纳盒”。又因直和那侧含线性 c₀ 而 Z 不含，两空间自然不线性同构。
为什么值得关心
它解决 Kalton 2008 年综述中的问题 2：空间含有 c₀ 的非线性像，不必含有线性拷贝——”非线性吸收”是真的。
已 Lean 形式化
第一级台阶
导读讲了一个”旅馆魔术师”：旅馆没有某种标准房型，却能经非线性改造把带此房型的整栋新楼塞回旧房间，住客间距离几乎不变。换成半数学的话：研究对象是 Banach 空间；@@M@@c_0@@ 是收敛到零的数列构成的基础空间；”有正版房型”指含 @@M@@c_0@@ 的闭线性子空间；”吸收新楼”指把空间与外加的一个 @@M@@c_0@@ 直和之后，仍与原空间只差常数倍地等价。导读还预告了关键区分：整体等价的刚性与局部嵌入的弹性是两回事。
第二级台阶
用本科术语精确化。@@M@@c_0@@ 是趋于零的实数列全体，范数取上确界；@@M@@Z\oplus_\infty c_0@@ 是取最大值范数的直和。映射 @@M@@F:X\to Y@@ 称为到上的双 Lipschitz 映射，若存在常数 @@M@@0<c\le C@@ 使 @@M@@c\|x-x'\|\le\|F(x)-F(x')\|\le C\|x-x'\|@@ 且 @@M@@F@@ 到上——下界自动保证双射。线性拷贝指与 @@M@@c_0@@ 线性同构的闭子空间。构造的核心是吸收判据：若恒等式 @@M@@QK=g-P@@ 可精确实现（@@M@@Q@@ 线性、@@M@@K@@ Lipschitz、@@M@@g@@ 是直和上的换元），则 @@M@@F(b,t)=b+K(t,Qb)@@ 就是想要的吸收映射。
第三级台阶
定理的语境是：空间限定为可分实 Banach 空间；问题背景是 Godefroy–Kalton–Lancien 的刚性只覆盖”整体双 Lipschitz 等价于 @@M@@c_0@@“的情形，而”只含 @@M@@c_0@@ 的双 Lipschitz 像”这一嵌入版是 Kalton 2008 综述的问题 2，2024 年初仍被视为公开。主定理断言：存在可分实 Banach 空间 @@M@@Z@@，不含任何与 @@M@@c_0@@ 线性同构的闭子空间，却有到上的双 Lipschitz 映射 @@M@@F:Z\oplus_\infty c_0\to Z@@。推论三连：两空间不线性同构；限制 @@M@@F@@ 得到 @@M@@c_0@@ 的双 Lipschitz 嵌入而无线性拷贝；再复合 Aharoni 嵌入定理，这一个 @@M@@Z@@ 成为一切可分度量空间的双 Lipschitz 万有靶。
构造出可分实 Banach 空间 @@M@@Z@@：它不含任何线性拷贝的 @@M@@c_0@@，却与 @@M@@Z\oplus_\infty c_0@@ 双 Lipschitz 等价——@@M@@c_0@@ 被”非线性吸收”，且同一空间双 Lipschitz 包含一切可分度量空间。
Banach 空间的非线性几何追问：只控制距离、不尊重加法的映射能保留多少线性结构。Ribe 定理保证一致同胚的空间共享相同的有限维线性结构；Aharoni–Lindenstrauss 给出不可分反例后，可分情形成为焦点。Godefroy–Kalton–Lancien 证明：与 @@M@@c_0@@（或其子空间）整体双 Lipschitz 等价的空间必线性同构于 @@M@@c_0@@（相应子空间）——但这是关于整个空间的论断。另一个问题是：若空间只是含有 @@M@@c_0@@ 的双 Lipschitz 像（嵌入而非整体等价），是否必含线性拷贝？Kalton 2008 年综述将其列为问题 2，与可分 Lipschitz 同构问题并列；Hájek–Johanis–Schlumprecht 在 2024 年 1 月的预印本中仍称其看似公开。相关的弱结果包括：Kalton 2004 年构造的可分 Schur 空间与含补 @@M@@c_0@@ 的空间一致同胚（非线性连续模）；Sarı 的 coarse-Lipschitz 嵌入允许加性误差。本文则给出全局双侧 Lipschitz 界与到上的映射。
主定理：存在可分实 Banach 空间 @@M@@Z@@，不含与 @@M@@c_0@@ 线性同构的闭子空间，且存在到上的双 Lipschitz 映射
@@M@@DF:Z\oplus_\infty c_0\longrightarrow Z,@@
其中 @@M@@\oplus_\infty@@ 是取 @@M@@\max@@ 的直和范数。由下 Lipschitz 界，@@M@@F@@ 自动是双射。两个空间不可能线性同构：直和含 @@M@@c_0@@ 的线性等距拷贝，而 @@M@@Z@@ 不含。论文还推出三条同空间结论：其一，@@M@@Z\oplus_\infty c_0@@ 与 @@M@@Z@@ 双 Lipschitz 等价但不线性同构；其二，把 @@M@@F@@ 限制在 @@M@@c_0@@ 坐标上即得 @@M@@c_0@@ 到 @@M@@Z@@ 的双 Lipschitz 嵌入，而 @@M@@Z@@ 无线性拷贝；其三，由 Aharoni 定理（每个可分度量空间都双 Lipschitz 嵌入 @@M@@c_0@@）与该限制复合，@@M@@Z@@ 成为一切可分度量空间的双 Lipschitz 万有靶。
先做代数归约。吸收判据（absorption criterion）说：设有界线性 @@M@@Q:Z\to U@@、双 Lipschitz 双射 @@M@@g:E\oplus_\infty U\to U@@ 与 Lipschitz 映射 @@M@@K@@，满足精确恒等式 @@M@@QK=g-P@@（@@M@@P@@ 为向 @@M@@U@@ 的投影），则 @@M@@F(b,t)=b+K(t,Qb)@@ 是 @@M@@Z\oplus_\infty E\to Z@@ 的双 Lipschitz 双射，其逆由 @@M@@g^{-1}@@ 显式表出。要点在于恒等式”提升”了修正项 @@M@@g-P@@，完全不要求 @@M@@Q@@ 到上或有右逆——这刻意绕开了 Godefroy–Kalton 的推论（可分空间上商映射的 Lipschitz 右逆必自动线性化），否则构造将立即坍缩。于是只剩两项任务：以 @@M@@E=c_0@@ 实现这样的 @@M@@g@@，并造出无 @@M@@c_0@@ 的 @@M@@Z@@。
再造 @@M@@g@@。取 @@M@@E,U@@ 为可数坐标的 @@M@@c_0@@，把 @@M@@U@@ 的坐标切成有限块排成行。每块内取向量 @@M@@v@@ 与泛函 @@M@@w@@（@@M@@wv=1@@）：来自前一块的标量替换当前块的 @@M@@wx@@ 分量，块内其余分量不动——记此冻结位移为 @@M@@S_s@@。若各 @@M@@v,w@@ 固定，输出可用显式线性逆恢复输入；但权重实际依赖归一化输入，故需控制权重随输入的变化以获全局双 Lipschitz 界，并在有限行上使用 Brouwer 不动点定理；每行末尾附加一个额外标量，既配平维数，又迫使可能的输出溢出消失；最后由稠密性与闭像论证得到到上，下界常数 @@M@@c_g=1/5-24\eta>0@@。
接着构造 @@M@@Z@@ 并实现提升。把 @@M@@(S_s-P)s@@ 的每个坐标视为单位球上的标量函数：它们只依赖有限多个坐标且支撑局部化。两种局部操作——在小柱上取常值、只保留变化量——配合严格的尺度预算与尺度不增的排序，保证支撑持续局部化。随后以 Arens–Eells 分子（molecule）与 Lipschitz 自由空间（Lipschitz-free space）的框架定义范数：由”选定测试列表的符号和具有共同 Lipschitz 界”给出各半范数，再以趋于 @@M@@1@@ 的指数作外层平方和拼成完整范数。外层平方和阻止假想的 @@M@@c_0@@ 基经不同测试类逃逸，变化的指数则保证每个基向量被某个标量测试检测到。坐标测试定义 @@M@@Q@@，点分子的径向延拓定义 @@M@@K@@，验证 @@M@@QK=g-P@@ 且 @@M@@\mathrm{Lip}(K)\le3@@。
最后排除线性 @@M@@c_0@@。若有嵌入 @@M@@T:c_0\to Z@@，则基向量的有限符号和一致有界，且对每个泛函坐标趋于零（弱零列）。滑峰（gliding hump）选择配合半范数的凸性（Jensen 不等式与随机符号平均）先从单一测试类中提取出能检测子列的测试；再修改这些检测器，使其支撑两两不交，或呈嵌套平台（plateau）且平台值可和地小——两种构型都保证修改后测试的任意有限符号和有共同的 Lipschitz 界。随机符号展开随后迫使被检测向量的符号和范数至少按 @@M@@\sqrt{|H|}@@ 增长，与一致有界矛盾，故 @@M@@Z@@ 无线性 @@M@@c_0@@。装配节合并吸收判据、映射 @@M@@g@@ 与提升 @@M@@(Q,K)@@，即得主定理与三条推论。
主定理已通过 Lean 形式化验证。同族姊妹篇用 @@M@@c_0(\ell_2)@@（Hilbert 块值零序列）作障碍给出另一组可分反例，方法与本文独立；本文改为排除普通 @@M@@c_0@@，并额外给出同空间吸收与万有性，两者互补地支撑”双 Lipschitz 等价不决定线性同构类”这一主题。按 OpenAI 官方声明，未经形式化的结果可能存在问题；本文主结果已形式化，中间构造细节仍以论文文本与社区核验为准。
问 1：证明里最关键也最脆的一步是什么？
（答：换元 @@M@@g:c_0\oplus_\infty c_0\to c_0@@ 的全局双 Lipschitz 界。冻结位移 @@M@@S_s@@ 有显式线性逆，但权重实际依赖归一化输入；须控制权重变化、在有限行上用 Brouwer 不动点、每行末尾附加标量配平维数并逼出输出溢出为零，下界常数 @@M@@c_g=1/5-24\eta>0@@ 相当紧。吸收判据本身只是代数，脆的全在 @@M@@g@@。）
问 2：恒等式 @@M@@QK=g-P@@ 为什么要刻意绕开”右逆”？
（答：Godefroy–Kalton 的推论说，可分空间上到可分空间的线性商映射若有 Lipschitz 右逆，则自动有有界线性右逆。若构造要求 @@M@@Q@@ 到上并配右逆，@@M@@K@@ 就会被强行线性化，吸收立刻坍缩成平凡情形。判据只提升修正项 @@M@@g-P@@、不要求 @@M@@Q@@ 到上——这是绕开刚性的命门设计。）
问 3：与既有的弱结果相比，真正的新意是什么？
（答：Kalton 2004 的可分 Schur 空间与含补 @@M@@c_0@@ 的空间只是一致同胚（连续模非线性），Sarı 的 coarse-Lipschitz 嵌入允许加性误差；本文给出全局双侧 Lipschitz 界与到上映射，且在同一空间上同时实现吸收、嵌入与万有性，关闭 Kalton 问题 2。与姊妹篇的 @@M@@c_0(\ell_2)@@ 障碍法互相独立、结论互证。）
问 4：AI 生成证明的风险在这里如何？
（答：高危点是 @@M@@Z@@ 的范数工程：由”选定测试列表的符号和有共同 Lipschitz 界”给半范数、以趋于 1 的变化指数作外层平方和拼接——平方和阻止 @@M@@c_0@@ 基跨测试类逃逸、变化指数保证每个基向量被检测，两股力量都要精确到位。无 @@M@@c_0@@ 排除里的滑峰选择与随机符号展开也易差常数。据任务元信息主定理已通过 Lean 形式化，主链风险已被吸收；中间构造细节仍以文本为准。）
问 5：排除线性 @@M@@c_0@@ 为什么不能借用现成不变量、非要自造范数？
（答：常用武器如 Schur 性质会连带排除 @@M@@c_0@@ 的双 Lipschitz 嵌入本身（Kalton 2004 的空间靠一致同胚而非 Lipschitz），与目标冲突；论文的自造范数让检测测试把假想 @@M@@c_0@@ 基的符号和撑到至少 @@M@@\sqrt{|H|}@@ 增长，与一致有界矛盾——专款专用，别的不变量做不到。）
问 6：”万能收纳盒”这枚红利有多重？
（答：限制 @@M@@F@@ 于 @@M@@c_0@@ 坐标得双 Lipschitz 嵌入，复合 Aharoni 定理后，同一个 @@M@@Z@@ 双 Lipschitz 包含一切可分度量空间——为度量空间的非线性分类提供了极端宿主；对研究 Lipschitz 万有性与自由空间理论的人是直接可用的对象。）
问 7：谁会用到它，边界在哪？
（答：非线性 Banach 几何与度量几何分类的人——它把 GKL 刚性的适用范围精确划在”整体等价”，宣告嵌入版失效；自由空间（Arens–Eells 分子）方法的示范价值也大。边界：仅实标量、仅 @@M@@c_0@@，未涉其他经典空间（如 @@M@@\ell_p@@）的吸收版本，论文未讨论。）
总评
Kalton 问题 2 被”吸收判据+权重换元+自造范数”三件套干净解决，同空间吸收与万有性是超预期红利，且有 Lean 形式化背书；残余风险在形式化未必覆盖的范数工程细节与 @@M@@g@@ 的紧常数，属可局部核验部分。