1.3 黎曼度量张量
1.3 黎曼度量张量
摘要：黎曼度量是流形上逐点配置的正定对称双线性形式，把切空间升级为内积空间，使长度、夹角、面积一律可测。本节给出度量的正式定义与分量记法，从嵌入曲面的第一基本形式导出诱导度量，说明度量与坐标的账本关系，并用一组对比案例建立「同一流形可配不同度量」的关键意识。
每点一杆秤：度量的定义
上一节结束时，流形上已经有了点、有了坐标卡、有了每点的切空间，但仍然量不出任何东西：切空间只是向量空间，没有内积就没有长度与角度。黎曼度量补上这杆秤——在每个点 p 的切空间 T_pM 上指定一个正定对称的双线性形式 g_p，且 p \mapsto g_p 光滑变化。逐条拆开：双线性，指对两个变元各自线性；对称，指 g_p(u, v) = g_p(v, u)，保证夹角余弦良定义；正定，指 g_p(v, v) > 0 对一切非零 v 成立，保证长度为正、没有「零长度方向」。光滑性用坐标卡检查：在卡上度量写成矩阵 (g_{ij})，要求每个分量都是坐标的光滑函数。
配好度量的流形 (M, g) 才叫黎曼流形。本册此后说的「空间」，默认都是它。
在坐标卡内，度量张量落成二阶对称正定矩阵：
曲线 \gamma(t) 的长度、两切向量 u, v 的夹角、区域 D 的面积随之全部可算：
爱因斯坦求和约定在本节正式上岗：上式右端重复出现的上下指标自动对 1 到 n 求和。这个约定纯粹是记账缩写，不引入任何新数学，但能把后续所有公式（克氏符号、测地线方程、曲率）压到可以目视检查的长度。
从嵌入曲面提取度量：第一基本形式
度量最常见的来源是继承。曲面 r(u, v) 嵌在欧氏三维空间中，面上一条曲线的速度是 \dot r = r_u \dot u + r_v \dot v，其欧氏长度平方为
也就是说，曲面的欧氏环境自动在每点给出一个内积：g_{11} = E = |r_u|^2，g_{12} = F = r_u \cdot r_v，g_{22} = G = |r_v|^2。传统教材称 (E, F, G) 为第一基本形式，本册把它径直认作曲面的诱导度量。要点在于视角反转：一旦诱导度量提取在案，曲面的一切内蕴测量（长度、角、面积、以及第三章的曲率）都只查这张账，环境空间从此可以退场。上一节的「卷纸不改变几何」在这里有了机制解释——卷曲是等距变形，即不改变 E, F, G 的变形，而第一基本形式原封不动，一切内蕴结论自然原封不动。
度量椭圆：内积场的可视化
度量与坐标：账本与记账方式
初学最容易犯的混淆，是把度量的分量当成度量本身。必须钉牢的对应关系如下表：
| 概念 | 角色 | 换卡时的行为 |
|---|---|---|
| 度量张量 g | 几何本体（一杆秤） | 不变 |
| 分量矩阵 (g_{ij}) | 某张卡上的记账 | 按二阶张量规律变换：g'_{kl} = \tfrac{\partial x^i}{\partial x'^k}\tfrac{\partial x^j}{\partial x'^l} g_{ij} |
| 线元 ds^2 | 分量的缩写表达式 | 形式随卡改写，数值不变 |
三个现成例子把这张表填满。欧氏平面直角坐标：ds^2 = dx^2 + dy^2，分量矩阵为单位阵；换成极坐标 (r, \varphi)，同一路径的线元写成 ds^2 = dr^2 + r^2 d\varphi^2——分量不再恒为一，非零交叉项也没出现，但量出的每一寸长度分毫不差。反过来，单位矩阵并不是「平」的标志：若某个卡里恰好 g_{ij} = \delta_{ij}，只说明这张卡选得好，不说明空间平；空间平的严格含义是「存在」一族使度量处处为 \delta_{ij} 的卡，这件事成立与否要靠第三章的曲率来判定。
同一流形，不同度量：三份对照
流形与度量是两个独立决定。同一个 underlying 点集换一杆秤，几何立刻换一副面孔。
对照一：欧氏平面配球面度量。 在 \mathbb{R}^2 上直接下令 ds^2 = du^2 + \sin^2 u\, dv^2（u \in (0, \pi)）。这张账本上量出来的世界与单位球面去掉两极完全一样——半径有限的圆、内角和超 \pi 的三角形，一个不缺，尽管「画布」看起来是平面。结论：几何由账本决定，与画布长什么样无关。
对照二：共形度量族。 取 g_\lambda = e^{2\lambda(u,v)} (du^2 + dv^2)，即每点把欧氏度量整体放大缩小一个因子。夹角全部不变（分子分母的因子消去），长度与面积改变。地图学里的墨卡托投影正是共形改写的实例：方向读数保真、面积严重失真（高纬格陵兰看着与南美相当）。共形度量在第五章凯勒几何与第六章共形场论里都会返场。
对照三：乘积度量。 环面 S^1 \times S^1 配 ds^2 = d\theta^2 + d\varphi^2（平环面，内在平坦）或配 ((R + r\cos\theta) 诱导的嵌入度量（甜甜圈环面，曲率有正有负）。两个环面拓扑同胚、度量迥异——第三章的实验将看到，前者处处 K=0，后者外圈负、内圈正。这一对照提前预告了第四章的核心命题：拓扑只划范围，度量决定细节。
度量分量的速算演练
在结束对照案例之前，补一个最小的「看度量读性质」演练，这是后续章节的日常动作。设某曲面在一张卡上的度量为 ds^2 = du^2 + 4 u^2 dv^2。第一步读对角：两个坐标方向正交（无交叉项）；第二步读系数：g_{vv} = 4u^2 随位置变化，说明「单位 v 步长」的实际长度随 u 增大而增大，这是一张喇叭口式的面（与第 3.4 节伪球面家族同宗）；第三步算面积元：\sqrt{\det g} = 2u，小方格越靠外越大；第四步验正定：u \neq 0 时两系数皆正，度量合格，u = 0 处退化——这张卡在 u = 0 失效，正好呼应第 1.2 节「坐标卡必有失效边界」。四步读完，没画一张图，这张面的正交网、伸缩规律、面积分布、卡的有效域已经全部在握。第三章推克氏符号、算曲率时，输入正是这样一页「度量读数」——现在练的就是那时的基本功。
本节要点回顾
- 定义三性：双线性、对称、正定，加光滑变化，构成黎曼度量；配上度量的流形才叫黎曼流形；
- 三大可测量：长度积分、夹角公式、面积元 \sqrt{\det g}，全部由分量矩阵算出；
- 第一基本形式就是嵌入曲面的诱导度量，提取之后环境空间即可退场；
- 分量会变、本体不变：换卡时 g_{ij} 按张量规律变换，单位阵不等于平坦；
- 流形与度量解耦：同一流形可配不同度量，几何面貌由度量说了算。