1.2.2 切空间与余切空间

文档摘要

1.2.2 切空间与余切空间在微分流形的精密宇宙里，切空间与余切空间不是抽象符号的堆砌，而是可计算、可编程、可调试的几何基础设施——它们是流形上一切微分运算的“底层运行时”，是张量场编译器的寄存器，是数值微分几何引擎的内存映射区。当你用PyTorch对一个嵌入在$\mathbb{R}^n$中的曲面做梯度下降，当你在机器人运动规划中求解协变导数，当你在神经微分方程（Neural ODE）中反向传播穿过隐式流形约束，你早已在与切空间打交道；只是多数时候，它被自动微分框架封装成字段，藏在调用之后的C++栈帧深处。本节不讲定义的哲学思辨，不复述教材中优雅却疏离的公理化构造。