5.1.1.2 尼延黑斯张量 5.1.1.2 尼延黑斯张量:当殆复结构“说谎”时,它如何在代码里当场自证清白? 你写完一个复几何模拟器,定义了流形 $M = \mathbb{R}^4$ 上的光滑殆复结构 $J$,用两个正交向量场 $X, Y$ 构造出 $JX = Y$、$JY = -X$,其余方向延拓为恒等旋转——逻辑干净,符号优雅,微分同胚下不变性也验过了。你自信地调用 ,返回 。 三小时后,你的辛同胚演化器开始输出荒谬的相空间轨迹:能量不守恒、轨道发散、李括号闭包失效。你重跑验证脚本,发现 $[JX, JY] \neq J[JX, Y] + J[X, JY] + [X, Y]$ —— 但你的 $J$ 明明满足 $J^2 = -\mathrm{id}$。 问题不在数值误差。