结果族 324：Lipschitz equivalent Banach spaces need not be linearly isomorphic · 学科：Functional analysis · 验证状态：主结果已 Lean 形式化
两张城市地图比例尺略有伸缩：任意两地距离的读数永远只差固定倍数，但两座城市的街道并不是同一套直线网格。数学版问题：两个 Banach 空间之间若存在双侧 Lipschitz 的双射（距离只差常数倍），它们是否必然线性同构？这个悬置近五十年的问题被本文否定。
关键词卡片
看个具体例子
构造出的可分空间 X、Y 与双射 Ψ 满足论文算出的显式常数（约压缩 0.19 倍到拉伸 3.04 倍之间）：
两句白话：距离层面 X、Y 几乎是同一个空间（只差常数倍伸缩）；线性层面却天差地别——X 含 @@M@@c_0(\ell_2)@@ 的等距拷贝，Y 连一个线性同构拷贝都不含。
为什么值得关心
1978 年 Aharoni–Lindenstrauss 造出不可分反例并点名索要可分的，此后近五十年无解；此例一出，”度量等价”与”线性等价”在可分世界正式分家。
已 Lean 形式化
第一级台阶
导读用”比例尺伸缩的地图”比喻：两地距离的读数永远只差固定倍数，但两座城市的直线网格并不重合。换成半数学的话：Banach 空间的范数同时定义了线性结构与距离；研究对象是一对空间之间只保证”距离被夹在常数上下界之间”的双射。问题问：这种粗粒度的距离对应，是否足以迫使两空间存在保持加法与数乘的连续线性双射？导读还点出旧机器失灵的原因：把非线性映射自动线性化的通用构造，正是这里要动手术的部位。
第二级台阶
用本科术语精确化。双射 @@M@@\Psi:X\to Y@@ 称为双 Lipschitz 的，若存在常数使 @@M@@L\|s-t\|\le\|\Psi(s)-\Psi(t)\|\le L'\|s-t\|@@ 对一切点成立；线性同构指同时保持加法与数乘的有界双射。记 @@M@@c_0(\ell_2)@@ 为每个坐标放一个希尔伯特向量、范数取上确界的零序列空间。Lipschitz 自由空间 @@M@@\mathcal F(M)@@ 是由赋值泛函张成的空间：任何保零的 Lipschitz 映射都在其中有唯一的有界线性化——这是把非线性问题搬进线性世界的传送带。
第三级台阶
定理的语境是：空间限定为可分实 Banach 空间——这正是 1978 年 Aharoni–Lindenstrauss 造出不可分反例后点名索要的情形；此前的刚性结果（与 @@M@@c_0@@ 双 Lipschitz 等价则线性同构等）说明一致同胚反例不能直接移植，必须新造。主定理断言：存在可分的 @@M@@X,Y@@ 与双射 @@M@@\Psi@@ 满足显式界 @@M@@\frac{4}{21}\|s-t\|\le\|\Psi(s)-\Psi(t)\|\le\frac{76}{25}\|s-t\|@@，且 @@M@@X@@ 含 @@M@@c_0(\ell_2)@@ 的线性等距拷贝而 @@M@@Y@@ 不含任何与之线性同构的闭子空间——度量层面几乎同一个空间，线性层面天差地别。障碍刻意取”块值”：定理不断言 @@M@@Y@@ 缺普通 @@M@@c_0@@，希尔伯特块是论证的关键。
构造出可分实 Banach 空间 @@M@@X,Y@@ 与双射 @@M@@\Psi:X\to Y@@，满足双侧 Lipschitz 界 @@M@@\frac{4}{21}\|s-t\|_X\le\|\Psi(s)-\Psi(t)\|_Y\le\frac{76}{25}\|s-t\|_X@@，但二者不线性同构——对悬置近五十年的可分 Lipschitz 同构问题给出否定回答。
Banach 空间的范数同时定义线性结构与度量。有界线性同构必然在常数倍意义下保持度量，但反过来：一个两侧都有 Lipschitz 界的双射（双 Lipschitz 等价，bi-Lipschitz equivalence）是否强迫两空间线性同构？1976 年 Ribe 证明一致同胚（uniformly homeomorphic）的赋范空间具有相同的有限维线性结构；1978 年 Aharoni 与 Lindenstrauss 构造了双 Lipschitz 等价却不线性同构的不可分例子，并明确要求可分反例。此后学界得到多个可分的一致同胚反例（Ribe；Johnson–Lindenstrauss–Schechtman），但可分的 Lipschitz 问题始终悬置：Kalton 在 2008 年综述中列为问题 3，2025 年 12 月在线发表的论文仍称其公开。另一方面，Godefroy–Kalton–Lancien 的刚性结果（与 @@M@@c_0@@ 双 Lipschitz 等价则线性同构）与 Godefroy–Kalton 的提升定理说明该问题不能由一致反例直接移植，需要全新构造。
主定理：存在可分实 Banach 空间 @@M@@X,Y@@ 及双射 @@M@@\Psi:X\to Y@@，使所有 @@M@@s,t\in X@@ 满足
@@M@@D\frac{4}{21}\|s-t\|_X\le\|\Psi(s)-\Psi(t)\|_Y\le\frac{76}{25}\|s-t\|_X.@@
并且 @@M@@X@@ 含有 @@M@@c_0(\ell_2)@@（每个坐标是一个 @@M@@\ell_2@@ 块、以上确界为范数的零序列空间）的线性等距拷贝，而 @@M@@Y@@ 不含任何与 @@M@@c_0(\ell_2)@@ 线性同构的闭子空间。因此 @@M@@X@@ 与 @@M@@Y@@ 双 Lipschitz 等价却不线性同构。注意障碍刻意取”块值”：定理不断言 @@M@@Y@@ 不含普通 @@M@@c_0@@，Hilbert 块是下述论证的关键。
整体分三步：先在 Hilbert 空间造一个接近等距的非线性换元，再经 Lipschitz 自由空间把它线性化为完全连续算子，最后用加权图空间装配出反例并读出线性障碍。
先看 Hilbert 换元。设 @@M@@M=U\oplus_2V@@（@@M@@V=\ell_2@@，@@M@@U@@ 是有限维块 @@M@@U_n@@ 的 Hilbert 直和），要造双射 @@M@@h:M\to U@@，保零且 @@M@@\frac{24}{25}\|x-x'\|\le\|h(x)-h(x')\|\le\frac{26}{25}\|x-x'\|@@。机制是”槽”（slot）：每块选定单位向量 @@M@@\xi_n@@ 后，冻结重排 @@M@@L_\xi@@ 把各块的垂直分量留在原块、老槽系数移入偶数块、@@M@@V@@ 的标量填入奇数块，这是到上的线性等距。再让槽 @@M@@w_n(x)@@ 随输入移动：在每块内按”阶段”（stage）布置网格函数，使任意有限个不同点各自的小邻域内，充分高块的槽的坐标支撑两两不交——此即局部正交性（local orthogonality）。运动幅度用 @@M@@\gamma(r)=c/(r\log(1/r))@@ 型预算控制：这个函数一次积分发散（允许无限多次旋转），加权平方积分却有限（总扰动受控），从而 @@M@@\sum_na_n(x)^2\|Dw_n(x)\|^2\le c^2@@（@@M@@c=1/100@@）。于是有限截断 @@M@@h_N@@ 的导数与某个冻结等距之差至多 @@M@@4c@@；在有限维纤维上它是固有局部微分同胚，经覆盖空间论证得全局双射。最后用逆像的尾估计（偶、奇槽项恰好相消）与对角抽取取极限，得 @@M@@h@@ 满足双侧界且到上。
再看线性化。取 Lipschitz 自由空间（Lipschitz-free space）@@M@@E=\mathcal F(M)@@：@@M@@\delta:M\to E@@ 等距，保零 Lipschitz 映射皆有有界线性化，故 @@M@@D=h-\pi_U@@ 给出 @@M@@q:E\to U@@，@@M@@q\delta(u,v)=h(u,v)-u@@。局部正交性恰在此处进入：论文证明它使 @@M@@q@@ 完全连续（completely continuous，弱零列映为范数零列）。直观地，若弱零列的像不趋零，便产生一致 Lipschitz 的标量测试函数；正交性使只有有限多点保有大的极限局部 Lipschitz 常数，切除这些点的邻域后，剩余部分经 Aliaga–Noûs–Petitjean–Procházka 的紧化定理化到紧集上，由有限覆盖控制，导出矛盾。
最后装配。定义三角换元 @@M@@B(e,v)=e+\delta(qe,v)@@，核心恒等式 @@M@@qB=hQ_1@@（其中 @@M@@Q_1(e,v)=(qe,v)@@）配上由 @@M@@h^{-1}@@ 写出的显式逆公式，给出双 Lipschitz 双射。对有界线性 @@M@@Q@@ 定义加权图空间（graph space）@@M@@Z_Q@@：元素为满足 @@M@@\sum_i2^{-i}\|s_i\|<\infty@@ 且 @@M@@(Qs_i)\in c_0@@ 的序列，范数为 @@M@@\max\{\sum_i2^{-i}\|s_i\|,\sup_i\|Qs_i\|\}@@。取 @@M@@X=Z_{Q_1}@@、@@M@@Y=Z_q@@，逐坐标施加 @@M@@B@@ 得双射 @@M@@\Psi@@，两条界分别由 @@M@@B@@ 的 Lipschitz 界与 @@M@@h@@ 的界控制，装配节算出常数 @@M@@76/25@@ 与 @@M@@21/4@@。线性障碍如下：映射 @@M@@v\mapsto((0,v_i))@@ 把 @@M@@c_0(V)=c_0(\ell_2)@@ 等距嵌入 @@M@@X@@；而在 @@M@@Y@@ 中，@@M@@q@@ 的完全连续性使假想拷贝的每个固定输出坐标沿块内正交序列趋于零，配合不交支撑论证，幸存的拷贝将把普通 @@M@@c_0@@ 嵌入 @@M@@\ell_1(E)@@，这被 @@M@@E=\mathcal F(M)@@ 的弱序列完备性（@@M@@M@@ 超自反）排除。
主定理已通过 Lean 形式化验证。同族姊妹篇以普通 @@M@@c_0@@ 为障碍并给出同一空间的”吸收”现象，与本文的 @@M@@c_0(\ell_2)@@ 障碍方法独立而结论互证，共同坐实”双 Lipschitz 等价不决定可分空间的线性同构类”。按 OpenAI 官方声明，未经形式化的结果可能存在问题；本文主结果已形式化，具体常数与中间引理仍以论文文本与社区核验为准。
问 1：证明里最脆的一环是什么？
（答：Hilbert 换元 @@M@@h:M\to U@@ 的全局双射性：有限截断 @@M@@h_N@@ 与冻结等距之差至多 @@M@@4c@@（@@M@@c=1/100@@），在有限维纤维上是固有局部微分同胚，靠覆盖空间论证得双射，再经尾估计（偶、奇槽项精确相消）与对角抽取取极限。槽的移动预算 @@M@@\gamma(r)=c/(r\log(1/r))@@ 要同时满足”一次积分发散（允许无限次旋转）”与”加权平方积分有限（总扰动受控）”，差一点就两頭落空。）
问 2：为什么障碍必须是块值的 @@M@@c_0(\ell_2)@@，不能拿普通 @@M@@c_0@@ 当身份证？
（答：Godefroy–Kalton–Lancien 的刚性：与 @@M@@c_0@@ 双 Lipschitz 等价的空间必线性同构于 @@M@@c_0@@，且”含 @@M@@c_0@@ 子空间”这一性质在双 Lipschitz 等价下不变——普通 @@M@@c_0@@ 障碍在入口就被封死。希尔伯特块让 @@M@@Y@@ 里假想拷贝的每个输出坐标沿块内正交序列趋零（靠 @@M@@q@@ 的完全连续性），配合不交支撑把幸存拷贝化成 @@M@@c_0\hookrightarrow\ell_1(E)@@，再被 @@M@@\mathcal F(M)@@ 的弱序列完备性排除。）
问 3：与已有反例相比，真正的新意是什么？
（答：Aharoni–Lindenstrauss 1978 是不可分反例并明确索要可分例；Ribe、Johnson–Lindenstrauss–Schechtman 的可分反例只是一致同胚而非 Lipschitz；Albiac–Kalton 的可分反例停在拟 Banach（@@M@@p<1@@）。本文是首个可分 Banach 范数情形的否定回答，Kalton 2008 综述问题 3 就此关闭。）
问 4：局部正交性怎样变成线性障碍，这一步脆不脆？
（答：这是唯一让几何进入线性障碍的接口：局部正交性使线性化算子 @@M@@q:\mathcal F(M)\to U@@ 完全连续。反证时一致 Lipschitz 标量测试只有有限多点保有大极限常数，切除后用 Aliaga–Noûs–Petitjean–Procházka 的紧化定理归约到紧集、有限覆盖控制——引理使用前提（切除后与弱零列配对可忽略）是审稿要点。）
问 5：AI 生成证明的风险在这里如何？
（答：高危点本应是装配节把 @@M@@B@@ 的 Lipschitz 界与 @@M@@h@@ 的界拼成 @@M@@76/25@@ 与 @@M@@21/4@@ 的显式常数计算，以及三角恒等式 @@M@@qB=hQ_1@@ 的显式逆公式。但据任务元信息，主结果已通过 Lean 形式化验证，主链风险已被机器吸收；中间引理的常数与叙述仍以文本与社区核验为准。）
问 6：反例的失真倍数高达 @@M@@19@@ 倍量级（@@M@@76/25@@ 比 @@M@@4/21@@），这重要吗？
（答：不重要也不浪费：问题只问是否存在有限双侧界，构造里的预算参数（@@M@@c=1/100@@、加权 @@M@@2^{-i}@@）是为保证可微性、覆盖论证与尾估计同时成立而设的安全裕度，非最优常数不是本文目标；论文未讨论最优失真问题。）
问 7：谁会用到它，边界在哪？
（答：做非线性 Banach 几何、Lipschitz 分类与自由空间理论的人——它宣告度量等价与线性等价在可分世界正式分家，为 Ribe 式”有限维线性结构在一致同胚下存活”的纲领补上反面全局数据点。边界：结论只对实标量、不涉自反性；同族姊妹篇以普通 @@M@@c_0@@ 障碍独立给出互证。）
总评
近五十年的可分 Lipschitz 同构问题被一套”槽换元+自由空间线性化+图空间装配”的三段式构造干净解决，且有 Lean 形式化背书；残余风险集中在形式化未覆盖的显式常数与紧化引理的使用前提，属可局部核验的次要部分。