3.4.2 向量丛与切丛

文档摘要

3.4.2 向量丛与切丛在微分几何与现代数学物理的交叉地带，向量丛与切丛不是抽象符号的堆砌，而是可计算、可构造、可编程的几何对象——它们是流形上“局部线性结构”的全局编织，是张量场、联络、曲率乃至标准模型中规范场的真正舞台。而当我们从定义转向实现，从存在性证明转向数值构造、离散化嵌入、坐标变换下的协变更新，问题就不再是“它是否存在”，而是“它如何呼吸、如何变形、如何在离散网格上忠实复现其连续灵魂”。本节不谈哲学隐喻，不讲历史脉络，只聚焦一个工程师每天要面对的硬核问题：如何在计算机中精确表示一个向量丛？如何从一张三角网格或参数曲面出发，稳定地构造其切丛？如何验证所构造的切空间基底确实满足协变性？当我们在球面上做平行移动时，代码里那几行矩阵乘法究竟在几何上做了什么？