数学对象的显露态,其每一条同构不变特征,都是差异路径与纠缠系统这一对共同给出的;而这一对本身也在发生,发生走有限条通道。
数学教材有一个几乎不被察觉的习惯:把对象写成它最后的样子。圆是到定点距离相等的点集,函数是满足单值条件的对应。这样的写法极其成功——它让逻辑依赖排成一条可以逐级验证的链。
代价是两样东西被写没了:这个对象是怎样被生成、被逼近、被测量的,以及这一切在什么度量、什么拓扑、什么公理下才成立。本书把前者叫做差异路径,后者叫做纠缠系统,并把上面那句话从一条听上去正确的宣告,改造成一条可以为假、可以被检验、可以被推翻的定理。
半径 1 的圆。第一条路径是内接正 n 边形,周长 2n·sin(π/n),收敛到 2π = 6.283185,周长除以直径得 3.1415926。第二条路径是从外切正方形出发反复把角折进去顶到圆上,锯齿越来越贴近圆,而周长恒等于 8,除以直径永远是 4。
关键在于第二条不是"不够像"。它非常像:
| 层 | 收敛方式 | 锯齿的极限 | 内接的极限 | 相同? | 长度泛函 |
|---|---|---|---|---|---|
| 点集 | Hausdorff 距离 | 圆 | 圆 | 完全相同 | 只下半连续(Golab) |
| 面积 | 测度 / L¹ | 圆盘 | 圆盘 | 完全相同 | 只下半连续 |
| 切向 | 参数化测度 | 圆 + 振荡 | 圆 | 不同 | 连续 |
第 12 层锯齿到圆的最大距离是 1.92×10⁻⁴,而周长仍是 8.0000000000。前两层看不出任何差别,差别只在第三层才出现。
于是本书第二章的三条命题:「沿逼近序列读出的长度」不是极限点集的函数(构造性证明:两条序列的 Hausdorff 极限是同一个集合,长度极限却是 2π 与 8);点集层与面积层只给一个不等号,代入本例即 2π ≤ 8,不等号严格成立,没有任何矛盾;以及一个刚性取舍——想让两条序列有同一个极限,长度就不连续;想让长度连续,两条序列就不再有同一个极限。
| 编 | 交出什么 | 要点 |
|---|---|---|
| 一 缺口 | 不给答案,只把缺口挖开 | 圆的四种变法排成一张四格表;七条概念发生链的两种形状;哥德尔画的边界 |
| 二 决定定理 | 命题 | 先设三条防,再给定理与三行证明,再用 sin(x) 跑到底:四条路径、一张归属表、五个反例、四条硬边界 |
| 三 三通道 | 分类 | 新结构的发生分解为压缩、目标发生、扩张,各带一条能判错的签名 |
| 四 构造 | 诊断 | 伞与共振算子;退化定理带条件、带常数、带 O(r²) 收敛率;体积量与跳变量的分道 |
| 五 史证 | 九十年菲尔兹奖按三通道读 | 1966 一届四人分在三条通道上;解决型约占一半且不在对象域内 |
| 六 边界 | 规范与账 | 七条研究规范、十个可检验问题、逐编总账 |
本书第四编的相容性公理、伞模型与 SDE 数,均出自专著第 53 号《SDE数学导论(修订版)》,本书不重复其工作,只做一段窄的延伸:
| 项 | 第 53 号已完成 | 本书做的 |
|---|---|---|
| 相容性公理 | 命名,写成六重约束;证明六条是物理假设而非数学必然;以 Santos 定理给出不完备性 | 沿用其名,只取与本编主题相关的两条粗化形式 |
| 伞模型 | 三参数 (r, ω, v),传统数学=r→0、ω=1、v→∞ 的三重退化 | 只动 r→0 那一重,固定 ω 与 v。这是收窄,不是推广 |
| SDE 数 | 无量纲 N = r·ω/(v·T_c),判秩序 / 介生 / 混沌三态 | 另立一个量:盲缺口比 δ,量承重泛函中不能被逐块写出的比重。二者不可混用 |
| 退化定理 | 三重退化的定性陈述 | 给 r→0 那一重补上显式常数与 O(r²) 收敛率;并把它反过来当诊断 |
本书早期稿曾把"给相容性公理命名"记作第四编的增量,那是一处事实错误。第二十二章、第二十八章归属表与第四十五章总账均已改正,并在书中写明改正本身。
本书 75 条文献逐条标出分级,不作整篇笼统声明:【一】本次核实到卷、期、起讫页码或 DOI,可直接引用(9 条);【二】标准著录,多来源一致(37 条);【三】页码或版本待核,引用前请自行复核(29 条)。
作者恳请读者:引用【三】级条目前先自行复核。一本把自己的不确定处写在明处的书,才值得被引用。