追本之箭 — 不变量
追本之箭 — 不变量
2026-05-23 Sat 09:08
起点
"经验不是事件的记录,是事件中那个『不变量』的提炼。"
最顺手的读法:记录是懒,提炼是勤——所以要多提炼。
这个读法有一个致命预设:不变量躺在事件里,等你去挖。
但"不变量"这个词是从数学借来的,
而数学里它的定义残忍得多:
不指定"在什么变换下不变",不变量三个字没有意义。
不变量不住在事件里——
住在你拿什么去拷打事件里。
更麻烦的是:你的大脑根本不需要这句劝。
它提炼成瘾——
一朝被蛇咬、星座、刻板印象、"那种人都一样",
全是提炼的产物。又快,又脏,N=1 就敢出结论。
所以这句话真正的杠杆,不在"提炼 vs 记录",
在一个没人看守的位置:提炼的质检。
垃圾经验不是记录太多造成的——
是提炼太快造成的。
第一层 · 变换
先把借来的词还原成原厂规格。
数学定义:给定变换群 G,量 I 是不变量,当且仅当
I(T·x) = I(x), 对所有 T ∈ G
不变量是 (对象, 变换群) 这个二元组的性质,不是对象单方面的性质。
Klein 的 Erlangen 纲领(1872)把这件事推成了整个几何学的地基:
一门几何 = 一个变换群的不变量理论。
- 刚体变换下,长度不变 → 欧氏几何
- 投影变换下,长度死了,交比活着 → 射影几何
同一个图形,换一个变换群,"本质"换了一套。
三条推论,一条比一条狠:
推论一(对"记录"的判决):
记录 = 只施加恒等变换。
恒等变换下一切都不变——
所以在纯记录里,"不变量"一词信息量为零。
不是记录得不够多。
是记录在数学上提炼不出任何东西。
推论二(提炼的真实动作):
要看见不变量,必须先破坏事件——
换时间、换人物、换立场、调顺序、跑反事实。
能在拷打中活下来的结构,才配叫不变量。
提炼是审讯,不是考古。
推论三(问题先于答案):
你选的变换群,决定你能炼出什么。
拿"换市场"去变换你的交易记录,炼出的是策略缺陷;
拿"换对手方"去变换同一批记录,炼出的是性格缺陷。
你愿意让哪些东西变,决定哪些东西能被看见不变。
物理学给这套逻辑盖了章:Noether 定理(1918)——
每个守恒量背后是一个对称性,能量守恒 = 时间平移对称。
不变量从来不是孤立事实,它是某个更深生成结构投下的影子。
第二层 · 脏提炼
地面换成生物学。问题倒过来了:
大脑不是不会提炼,大脑是一台关不掉的提炼机。
Skinner,1948,《"Superstition" in the Pigeon》:
给鸽子定时喂食——喂食与鸽子行为完全无关。
结果鸽子各自发展出转圈、点头、扫翅的"仪式"。
它们从纯随机里,炼出了假因果不变量,并且越用越虔诚。
为什么进化把提炼器的阈值调得这么低?
因为两类错误的代价不对称(error management,Haselton & Buss;
Nesse 的烟雾探测器原则):
- 把风吹草动当老虎(假阳性)→ 损失一点热量
- 把老虎当风吹草动(假阴性)→ 损失全部基因
探测器宁可天天误报,不可漏报一次。
于是出厂默认:N=1 就提炼,提炼即命名,命名即锁死。
这台机器的极端形态是 PTSD:
单一事件被炼成全域不变量——"世界 = 危险"——
泛化到一切相似刺激。
那不是提炼失败,是提炼过度成功。
所以这句金句把稀缺资源标错了位置:
| 朴素读法 | 实际情况 |
|---|---|
| 人人在记录,少数人提炼 | 人人在提炼,而且停不下来 |
| 瓶颈:记录 → 提炼 | 瓶颈:脏提炼 → 干净提炼 |
| 经验的敌人是懒 | 经验的敌人是出厂迷信 |
记录器和提炼器之间没有空地,
只有一台不停转的脏提炼机。
你的"经验",出厂默认是迷信。
第三层 · 火鸡
不够。地面换成统计。
Russell 的鸡(《The Problems of Philosophy》,1912;
Taleb 在《The Black Swan》里改写成火鸡):
1000 天,每一天的数据都验证"人类喂我"这条不变量;
置信度单调上升;
置信最高的那天,是感恩节前一天。
硬结论:样本内的稳定性,无法区分两种不变量——
- 结构的不变量:生成机制层面真有对称
- regime 的不变量:只是数据生成机制的一段平稳期
而 regime 切换,定义上是样本外事件。
它不在你的记录里——不可能在。
更深一刀,欠定性(Goodman 的 grue,《Fact, Fiction, and Forecast》,1955):
穿过同一批数据点的曲线有无穷多条,
"翡翠是绿的"和"翡翠是 grue 的"在已有观察上完全等价。
光靠拟合过去,你永远选不出真的那条。
所以质检只有一个硬标准:证伪。三件事——
① 反例搜索:主动找"该出现而没出现"的场合。
没找到反例的搜索,不算搜索过。
② regime 盘点:样本是否全部来自同一段平稳期?
(同一轮牛市、同一段婚姻、同一家公司、同一个年龄段。)
③ 挂失效条件:写下"什么发生时,这条不变量作废"。
没有失效条件的不变量,是公关做得好的迷信。
但这里埋着对称陷阱:把怀疑推到底——
"所有不变量都可能是火鸡"——
你就什么经验都不敢用,瘫痪在原地。
全信是火鸡,全疑是植物人。
第四层 · 地基
地面换成逻辑。然后地面没了。
休谟,《An Enquiry Concerning Human Understanding》(1748):
任何"过去的规律延伸到未来"的论证,
都预设自然齐一性——
而自然齐一性本身,只能靠归纳来辩护。
循环。
再往下问,只剩同义反复:
"不变量会继续不变,因为它一直不变。"
到底了。
物理学也站在这块悬空的地基上:
Noether 说守恒量来自定律的对称性,
可"定律明天仍然对称"这件事,无法证明——只能用。
35 亿年进化是一份归纳赌注的获胜流水:
押"世界有规律"的生物留下了后代,没押的没留下。
但流水本身,也是归纳。
所以箭尖触到的东西是:
经验的地基,不是经验。
"世界有不变量"这件事,无法从任何事件中提炼——
只能赌。
你别无选择(不下这个赌注的神经系统不存在),
但你有一个真实的自由度:
赌得诚实,还是赌得虔诚。
虔诚 = 不变量没有死法,失效时你最后一个知道。
诚实 = 每条不变量旁边写着它的死法,失效时你第一个知道。
休谟的出口从来不是怀疑主义,
是承认习惯不可避免之后——给习惯装上引信。
终点:别问"我提炼了没有",问"这条经验过质检没有"
钻到底,这句话该被改写成:
经验 = 活过证伪的不变量 + 写明的死法。
缺第一项是迷信,缺第二项是火鸡。
诊断表:你的"经验"是哪一种
| 产物 | 样本 | 变换群 | 失效条件 | 命运 |
|---|---|---|---|---|
| 鸽子迷信 | N=1~3,被动撞上 | 无(恒等) | 无 | 越用越虔诚 |
| 火鸡不变量 | N 很大,单一 regime | 有,但没跨 regime | 无 | 在置信最高点死亡 |
| 真不变量 | 跨 regime | 主动指定 | 白纸黑字 | 失效时你第一个知道 |
提炼质检五步
- 写出变换群:这条经验声称在什么变化下不变?换人、换年份、换市场、换情绪状态——逐项打钩。
- regime 盘点:全部样本来自同一段平稳期吗?是 → 降一级置信,主动去借跨 regime 样本(历史、别人的失败)。
- 反例搜索:找一个"该出现而没出现"的场合。找不到反例的搜索不算搜索。
- 命名延迟:活过 1–3 之前不给名字。名字是锁,脏提炼一旦命名就停止更新。
- 挂死法:写下"什么发生时此条作废",和不变量放在同一行。
触发器
- 听到自己说"我总是 / 他们都 / 每次都" → 质检五步,立即启动
- 某条经验从未失手、你越来越信 → 火鸡警报:今天离感恩节还有几天?
- 一条不变量拿不出失效条件 → 降级为迷信,禁止用它指导下注
- 想给一个新模式起名字 → 先问:它被哪些变换拷打过?
最后一句
记录是数据,提炼是建模,质检是科学——
缺最后一环,经验整体退化为迷信。
你逃不开那个赌(世界有结构,明天像今天),
但你可以让每一条不变量,
带着自己的死法上场。
(箭到底了。)
