2.3.2.1 微分形式运算 你有没有在深夜调试一个微分几何数值模拟器时,突然发现——两个本该严格相等的 2-形式在离散网格上计算出的外微分 $d\omega$ 与 $d\eta$,差了整整一个数量级?不是舍入误差,不是步长问题,而是符号反了、维度塌缩了、甚至某个基向量的定向被悄悄翻转了——而所有代码里连一个叉乘都没显式出现。 这不是数值不稳定,这是微分形式的代数灵魂在离散世界里发出了抗议。