结果族 330：A uniformly discrete counterexample to bounded approximation in Lipschitz-free spaces · 学科：Functional analysis · 验证状态：暂无形式化证明，请以社区核验为准
把地图上每个地点记成一个记账符号，走路的路程账就能变成向量加减——这套把任意地图翻译成线性空间的账本叫 Lipschitz 自由空间。Kalton 在 2004 年问：如果地点两两至少隔 1 米（像撒开的豆子），这本账本里的恒等操作能否用有限维的”小算子”便宜地逼近？本文构造反例回答：能逼近，但代价没有统一上限——”能修”与”便宜地修”被彻底分开，Kalton 的问题得到否定答案。
关键词卡片
@@M@@x@@ 记成 @@M@@\delta_x@@、让距离变成范数的 Banach 空间；研究非线性地图的线性代用品。看个具体例子
反例由一块块的”机关”拼成，取 @@M@@p=1@@ 的块：此时 @@M@@B_1=300+150+5=455@@，存在锚点集 @@M@@A_1@@，使任何范数 @@M@@\le1@@ 的有限秩算子必在锚点上出错：
@@M@@D\|T_0\|\le1\ \Rightarrow\ \max_{a\in A_1}\|T_0\delta_a-\delta_a\|\ge\tfrac12@@
但范数 @@M@@\le 2B_1=910@@ 的算子却能整体成功。把各块粘成一体后：恒等算子在每个紧集上仍可被有限秩算子逼近（AP 成立），只是算子范数的上界必须随紧集增大一直涨——永远封不了顶（BAP 失败）。顺带还得到实 @@M@@\ell_1@@ 上一个没有度量逼近性质的等价范数。
为什么值得关心
自由空间是把非线性问题线性化的通用桥梁；这个反例精确量出了桥的宽度极限，是 Banach 空间结构与度量几何交界处的地基工程。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把 Lipschitz 自由空间说成”把地图翻译成账本”：每个地点记一个记账符号，走路路程变成符号加减的范数。拧紧一点：对象是一个度量空间（一张地图）以及由它生成的线性账本；操作是考察账本里的恒等记账能否被”只看有限个符号”的简单算子替换。”能修”指每个紧集上都能修好；”便宜地修”指修法有统一的价格上限——本文把这两件事彻底分开。
第二级台阶
用本科术语说：带基点的度量空间 (M,d,o) 的 Lipschitz 自由空间 F(M) 是赋值泛函 δ_x（δ_x(f)=f(x)）在 Lip₀(M)* 中张成的闭线性 span，关键恒等式是 ‖δ_x−δ_y‖=d(x,y)。Banach 空间 X 有逼近性质（AP）指对每个紧集 C 与 ε>0 有有限秩算子 T 使 sup_{u∈C}‖Tu−u‖<ε；λ-有界逼近性质（λ-BAP）进一步要求这些 T 可取 ‖T‖≤λ，MAP 即 1-BAP。一致离散指相异点距离有一致正下界。
第三级台阶
定理 1.1 的语境：M 是可数、无界、非真的带基点空间，相异点距离 ≥1——”非真”（某有界球内含无穷分离点集）挡住的是 Dalet 的真空间定理（可数真空间的自由空间甚至有 MAP），”一致离散”则保证 Kalton 意义下的 AP 自动成立，反例被迫落在这两个条件的交缝里。结论：F(M) 有 AP 却对每个有限 λ 都没有 λ-BAP。机制是块定理 1.2：对每个范数上限 p 造一个直径 ≤300p²+150p+5 的块与有限锚点集 A_p，使一切范数 ≤p 的有限秩算子必在某锚点上出错 ≥1/2；各块粘成楔形后，AP 靠”每次只保留有限块”存活，BAP 则因范数上界必须随块增长而崩溃。
构造出可数且一致离散的度量空间，其 Lipschitz 自由空间有逼近性质（AP）却无有界逼近性质（BAP），否定回答了 Kalton 的公开问题，并顺带得到实 @@M@@\ell_1@@ 上不具度量逼近性质的等价范数。
对点 @@M@@x@@ 的赋值泛函 @@M@@\delta_x@@ 张成的 Banach 空间 @@M@@\mathcal{F}(M)@@ 称为 Lipschitz 自由空间（Lipschitz-free space），源自 Arens 与 Eells 的分子空间，是 Godefroy–Kalton 研究度量线性化问题的核心工具。Banach 空间 @@M@@X@@ 有逼近性质（approximation property, AP），指恒等算子在每个紧集上可被有限秩算子一致逼近；有界逼近性质（bounded approximation property, BAP）进一步要求这些算子的范数共用一个有限上界。Kalton 在 2004 年证明一致离散空间的自由空间必有 AP，并追问 BAP 是否也成立；该问题被 Godefroy–Ozawa 以及 Godefroy 的综述反复重申。困难在于已知的安全区太宽：Dalet 证明可数真空间（proper，闭球皆紧）的自由空间甚至有度量逼近性质，而 Smith 此前的反例只是离散、缺少公共距离下界，一致离散的情形一直悬而未决。
主定理：存在可数、无界、非真的点基度量空间（pointed metric space）@@M@@(M,d,o)@@，相异点距离 @@M@@\ge1@@，使 @@M@@\mathcal{F}(M)@@ 有 AP，但对每个有限 @@M@@\lambda\ge1@@ 都不满足 @@M@@\lambda@@-BAP。核心是块定理：对每个整数 @@M@@p\ge1@@，构造有界块 @@M@@M_p@@（直径 @@M@@\le B_p=300p^2+150p+5@@，分离 @@M@@\ge1@@）与有限锚点集（anchor）@@M@@A_p@@，使得任何范数 @@M@@\le p@@ 的有界有限秩算子 @@M@@T_0@@ 必在某个锚点上出错：@@M@@\max_{a\in A_p}\|T_0\delta_a-\delta_a\|\ge\frac12@@。注意每个块自身却具有 @@M@@2B_p@@-BAP——障碍只针对小范数算子。由系数识别 @@M@@\mathcal{F}(M_p)\cong\ell_1@@ 得推论：实 @@M@@\ell_1@@ 上存在等价范数 @@M@@\|\cdot\|_p@@ 满足 @@M@@\frac12\|c\|_1\le\|c\|_p\le B_p\|c\|_1@@，具有 @@M@@2B_p@@-BAP 却不满足 @@M@@p@@-BAP；取 @@M@@p=1@@ 即得到不具度量逼近性质（MAP）的等价范数，直接否定回答了”@@M@@\ell_1@@ 的每个等价范数是否都有 MAP”。再由 Kalton 的网定理推出：同一空间 @@M@@\mathcal{F}(M)@@ 虽有 AP，在非线性意义下却不可逼近（approximable）。
证明围绕”固定的有限锚点集击败一切范数 @@M@@\le p@@ 的有限秩算子”展开，选择顺序极其讲究：先固定全部确定性数据，再接待算子。
先造块。取参数 @@M@@L=10p@@、@@M@@R=30p@@ 等；用 Friedman 的独立置换模型构造确定性的 @@M@@\Delta@@-正则多重图列 @@M@@G_m@@，以初等探索论证加二阶矩证明其经验根邻域统计收敛到独立均匀染色的 @@M@@\Delta@@-正则树（Benjamini–Schramm 视角，不用谱估计）。每个源顶点以”到各颜色类的截断距离”为标签（label），同标签顶点经长 @@M@@R@@ 的边挂到同一锚点，锚点之间再互连，得到有界而分离 @@M@@\ge1@@ 的度量块；半径 @@M@@2L@@ 的小球仍困在单个源图内且点数有限。
再把算子化为测度。有限秩算子经微扰后范数至多 @@M@@2p@@，且像落在有限支撑 @@M@@S@@ 的评价张成上；把 @@M@@T\delta_x@@ 的系数看作 @@M@@S@@ 上的带号测度（signed measure）@@M@@\mu_x@@，总质量为 @@M@@1@@、总变差 @@M@@\le V=1+4pB@@。由标签定义的凸起函数 @@M@@b_x@@（值域 @@M@@[0,L]@@，斜率 @@M@@\le L/K\le1@@）在锚点 @@M@@a(x)@@ 处取峰值 @@M@@L@@，结合范数控制与锚点逼近得 @@M@@\int b_x\,d\mu_x\ge\frac{3L}{4}@@：测度质量被迫集中在标签相近处，且符号可任意。
然后证明匹配行走稀少。所谓匹配行走（matched walk），是每步都有标签相容且相距 @@M@@\le2L@@ 的支撑点跟随的非回溯行走。极限树上非回溯行走沿途颜色相互独立，而每个支撑点只容许至多 @@M@@H@@ 种颜色、@@M@@Q@@ 个后继，颜色总数 @@M@@k>2\Delta QH@@ 使长度 @@M@@n@@ 的匹配行走比例随 @@M@@n@@ 指数衰减，故可选 @@M@@n@@ 与足够大的图，使坏顶点占比 @@M@@<\frac1{20V}@@。
接着造测试函数。在好顶点上，对每个支撑状态记录各方向最长匹配行走的长度，唯一严格最大者称例外方向（exceptional direction），每状态至多一个；关键组合引理是：若一条边的两端各有一个相容且相近的支撑点，则至少一端的配置必须放弃，否则两个有限记录会互相严格超过对方而矛盾。据此在关联 @@M@@e:x\to y@@ 上规定测试一端取 @@M@@b_x@@、另一端取 @@M@@-b_y@@，用 McShane 公式加截断得 1-Lipschitz 函数 @@M@@f_e:M_p\to[-L,L]@@。
最后平均导出矛盾。测试给出 @@M@@\int f_e\,d(\mu_x-\mu_y)\ge\frac{3L}{2}-2L\times(\text{例外质量})@@，而范数给出上界 @@M@@\le2p@@；对均匀随机关联取期望，好顶点上每状态至多一个例外方向使例外质量平均 @@M@@\le\frac{V}{\Delta}<\frac1{20}@@，坏顶点贡献 @@M@@<\frac1{20}@@，于是下界平均 @@M@@\ge\frac{11L}{10}=11p>2p@@，矛盾。最后把各块在公共基点粘成楔形（wedge）：每块的收缩诱导自由空间上的收缩复合，故整体的 BAP 必传给每个块而撞上块障碍；AP 则先保留有限块、再用各块自身的 @@M@@2B_p@@-BAP，允许范数上界随紧集增大而增长。
本结果族在本批次仅此一篇手稿，主结果尚无 Lean 形式化证明，请以社区核验为准；OpenAI 官方声明”未经形式化的结果可能有问题”。文中与既有文献的互相定位可作旁证：Smith 的离散反例缺公共距离下界，本文补足一致离散性；Dalet 的真空间定理解释了反例为何必须非真；Cúth–Kalenda 证明的一致离散自由空间量化 Schur 性质则约束此类空间的序列行为。图极限与组合平均环节技术性较强，此处从略，建议读者对照原文核验细节。
问 1：证明最关键、最脆弱的一步是什么？
（答：块定理（定理 1.2）里”有限锚点集击败一切范数 ≤p 的有限秩算子”的平均论证是命门。它把算子化成带号测度 μ_x（总变差 ≤V=1+4pB），靠凸起函数逼出 ∫b_x dμ_x≥3L/4；再证匹配行走指数稀少（坏顶点占比 <1/(20V)），用”例外方向至多一个”的组合引理造 1-Lipschitz 测试函数，对均匀随机关联取平均得下界 11L/10=11p，与范数上界 2p 相撞。常数链 1/20、V/Δ、3L/4→11p 一环松动即断。）
问 2：为什么每个块自己反而有 BAP？不矛盾吗？
（答：不矛盾，恰是设计精髓：系数识别 F(M_p)≅ℓ₁ 给出坐标截断的 2B_p-BAP——块内”贵但能修”。障碍只针对范数 ≤p 的小算子：锚点集 A_p 迫使其出错 ≥1/2。整体反例靠楔形粘合：每块是 1-Lipschitz 收缩，BAP 若成立会传给每块，与块障碍（p 任意大）冲突；AP 则因每次只保留有限块、只用有限个范数上界而幸存。）
问 3：与 Smith、Dalet、Brudnyi–Brudnyi 的障碍相比，新意是什么？
（答：三点分离：Smith 的反例只是离散、无公共距离下界，本文补足一致离散，正面回答 Kalton 2004 问题；Dalet 证明可数真空间有 MAP，本文解释反例必须非真（有界球内藏无穷分离集）；Brudnyi–Brudnyi 与 Godefroy–Ozawa 的有限扩张障碍针对指定值域的投影，本文块是无穷的，锚点障碍打击一切有限秩算子，障碍类型本质不同。）
问 4：为什么锚点集必须固定、算子后到？
（答：反证要求先把确定性数据（图列、标签、锚点）全部固定，再接待任意范数 ≤p 的算子，微扰后其像落在有限支撑 S 上，测度与测试函数针对 S 现场构造。若锚点依赖算子，”击败一切”退化成逐个击破，得不出一致下界 1/2；引言强调这正是与有限维障碍的区别——有限维上恒等算子本身就是范数 ≤1 的有限秩算子。）
问 5：这类概率图论+泛函分析的 AI 证明最可能的出错模式？
（答：最险的是图极限环节：用 Friedman 独立置换模型造确定性 Δ-正则图列，只靠初等探索加二阶矩证经验根邻域统计收敛到均匀染色树，”局部弱极限”若只在根附近成立而匹配行走计数用了全局结构，指数衰减即失效；其次是 k>2ΔQH 与 1/20 的配比。注意：本文无 Lean 形式化，属”未经形式化可能有问题”一类，图极限与平均细节应以社区核验为准。）
问 6：ℓ₁ 等价范数的推论怎么冒出来的？
（答：块有界且一致离散，系数识别把 F(M_p) 等同于 ℓ₁(M_p{o})，把自由空间范数搬到 ℓ₁ 上得等价范数 ‖·‖_p（½‖c‖₁≤‖c‖_p≤B_p‖c‖₁），它有 2B_p-BAP 却无 p-BAP；取 p=1 直接否定”ℓ₁ 的每个等价范数都有 MAP”——Kalton 观察到正面答案会蕴含一致离散自由空间的 BAP，本文一石二鸟。）
问 7：谁会用到这个反例？
（答：自由空间理论拿到 AP 与 BAP 分离的极端样例，”一致离散⇒BAP”式推理不能再默认成立；非线性侧有 Kalton 网定理推论——该空间虽有 AP 却不可逼近，答 Kalton 2012 问题 1；等价范数推论补上 ℓ₁ 重赋范的长期负例。）
总评
在 AP/BAP 分离问题上补齐”一致离散”这最后一块拼图，附带 ℓ₁ 反例与非线性不可逼近性，含金量高；但全文未经形式化，最重的担子在图极限与平均论证，可信度取决于社区核验。