黎曼几何

黎曼几何：一支勘探队的弯曲空间测量手册

摘要：黎曼几何研究弯曲空间中距离、角度、平行与最短路径的内在度量规律，是广义相对论的数学地基。本教程以「曲率勘探队」的方式组织：像大地测量队那样，先在流形上建立地图（坐标卡与图册），再配齐量具（度量张量），然后规定向量搬运协议（联络），记录搬运偏差算出曲率，沿惯性轨迹走出测地线，最后汇出整片空间的形态报告（整体定理），并到广义相对论、几何分析与机器学习的工地现场验收成果。

从一盏信号灯说起

汉诺威王国的夏夜，测量队员们提着信号灯爬上相互望得见的山丘。高斯在营地记录每一条视线与夹角，用三角网推算大地尺寸。常年野外作业让他琢磨出一个当时没人当回事的问题：如果宇宙派来两只蚂蚁测绘队，一支在球面上、一支在平坦桌面上，各自只准在表面内部测长度和角度，永远不准跳到外部俯瞰，它们能不能察觉自己脚下的几何不同？高斯证明：能。曲率完全由表面内部的测量数据决定，外部空间怎么看它根本无关紧要。这个「绝妙定理」把几何学从外部观察者的手里，交还给了生活在空间内部的居民。黎曼随后把这套想法从二维曲面推广到任意维度的流形，里奇、列维-奇维塔、爱因斯坦再把工具箱补齐，才有了今天这套刻画弯曲空间的完整语法。

本教程把读者编入一支「曲率勘探队」：你们不是旁观的游客，而是拿着仪器进场测量的队员。每一章都是一次勘探任务——先架仪器，再测量，最后汇总成图。

全册知识地图

七章之间是严格的接力关系，前一章的产出就是后一章的仪器：

第一章交付「空间长什么样」的合法描述：流形、坐标卡、图册。第二章解决一个致命操作问题：向量待在不同点上，如何比较？答案是联络与平行移动。第三章利用搬运协议做闭环实验——绕一圈回来向量偏了多少，这个偏差就是曲率；顺带推演出弯曲空间中的惯性轨迹（测地线）。第四章从局部走向整体，回答完备性、距离、比较定理与拓扑刚性。第五章把正定度量换成复结构、辛结构、洛伦兹度量三种「方言」。第六章到现场验收：爱因斯坦场方程、里奇流、黎曼优化。第七章是装备室，收拢知识地图、软件工具与常见误区。

各章分工与产出

这支勘探队怎么干活

本册的写作立场可以概括成三句话。其一，公式不背结论只推过程：球面度量、克氏符号、测地线方程、曲率分量，全部从第一步手推到最后一步，中间不跳栏。其二，仪器要动手校准：关键章节配有 Python 与 SymPy 数值实验，代码短小可跑，算出来的数字与手推结果互相印证，读者可以随时改参数复测。其三，测量报告要落到地面：每个抽象概念都挂一个具体场景——球面、环面、双曲面、旋转曲面、施瓦西时空、神经网络参数流形，绝不悬空。

阅读约定：行内公式用 g_{ij} 这类记号，独立公式单独成行；爱因斯坦求和约定（重复上下指标求和）在第一章末尾固定下来；代码实验默认环境为 Python 加 SymPy 与 NumPy，无需 GPU，笔记本即可复现。

对数学基础的最低要求：线性代数（矩阵、特征值、双线性形式）、多元微积分（偏导、链式法则）、一点常微分方程。张量分析不要求预备——第二章从指标运算讲起。物理背景不设门槛，第六章用到的物理概念届时现讲现用。

一句话定位：读完本册，你应当能独立回答——空间凭什么弯曲？曲率如何被内部测量捕获？为什么引力只是几何？以及，当工程师说「在高维流形上做优化」时，他到底在说什么。