1.3.1 度量的公理化定义

文档摘要

1.3.1 度量的公理化定义在微分几何的实践疆域里，黎曼度量从来不是黑板上优雅却静止的符号游戏——它是计算流形上最短路径的引擎，是数值求解爱因斯坦场方程的基石，是医学图像配准中形变能量的量化标尺，更是自动驾驶系统在高维传感器流形上做鲁棒导航的隐式坐标系。当你在PyTorch中调用分解一个3×3张量，当FEniCS自动将Stokes方程投影到带曲率的血管壁网格上，当Open3D对点云施加基于测地距离的聚类权重——你早已站在黎曼度量的实现现场。而这一切的起点，并非抽象的“内积”，而是1.3.1 度量的公理化定义：一组可被执行、可被验证、可被离散化、可被优化的硬性约束。我们不谈“存在性证明”，不复述教科书式的四条公理背诵。