5.3.2 因果结构分析 在广义相对论的数值实现与因果推理系统中,伪黎曼几何不是一张供人瞻仰的抽象画布,而是一套可编译、可调试、可嵌入微分方程求解器的运行时结构。当我们在代码中写下 的那一刻,我们并未仅仅定义一个对称二阶张量;我们正在为时空本身铺设一条因果路径的底层总线——它决定着信息能否传播、事件能否影响、初值问题是否良定。本节不谈哲学隐喻,不列教科书定义,只讲一件事:如何在有限精度、离散网格、有限内存的现代计算环境中,把“光锥”从概念变成可计算的对象,把“全局双曲性”从存在性断言转化为可验证的算法契约。 一、光锥:不是锥体,而是方向场上的符号约束 初学者常误以为光锥是某种固定几何体——像冰激凌蛋筒那样静止地立在时空图上。错。