2.3 张量场与协变导数
2.3 张量场与协变导数
摘要：张量是「吃若干向量与余向量、吐出一个数」的多线性机器，度量的升降指标把不同类型张量互相换算；协变导数把联络的搬运协议从向量场推广到任意张量场。本节建立 (p, q) 型张量的完整运算体系，推导其协变导数公式，并以二阶协变导数的交换子为线索，为第三章曲率张量埋下正式入口。
张量：多进料口的线性机器
第二章前两节解决了向量怎么搬，但黎曼几何的日常账目远不止向量：度量是「吃两个向量吐长度平方」的机器；稍后要见的曲率张量是「吃三个向量吐一个向量」的机器。统一记账的需求催生张量概念：(p, q) 型张量是吃 p 个余向量与 q 个向量、吐一个实数的多线性机器。多线性指对每个进料口分别线性，其余进料口视为固定。
这个定义的妙处是「行为主义」：不问对象内部构造，只认它如何响应输入。协变与逆变的区分也随之落地——吃向量的口是协变口（下标），吃余向量的口是逆变口（上标）。向量 V = V^i \partial_i 是 (1,0) 型（它吃一个余向量吐数）；余向量 \omega = \omega_i dx^i 是 (0,1) 型；度量 g = g_{ij}\, dx^i \otimes dx^j 是 (0,2) 型。分量的上下标不是装饰，而是机器接口的说明书。
三种代数装配操作把张量世界连成整体：张量积 S \otimes T（两口机器串联成更多口）、缩并（一个上标口与一个下标口对消，输出低两阶的张量）、加法与数乘（同型机器之间）。欧氏直觉里的向量、矩阵、双线性形式，全部在这套框架里各就各位。
机器操作与账本规则速查
| 操作 | 公式记号 | 效果 | 常见用途 |
|---|---|---|---|
| 张量积 | T^{ij}{}\_{kl} = A^i{}_k B^j{}_l | 阶数相加 | 组装复杂对象 |
| 缩并 | T^i{}_i（求和） | 阶数减二 | 提取迹、内积 |
| 升指标 | V^i = g^{ij} V_j | 下口换上口 | 把余向量变向量 |
| 降指标 | \omega_j = g_{ij} V^i | 上口换下口 | 把向量变余向量 |
| 度量内积 | g(V, W) = g_{ij} V^i W^j | 两向量吐数 | 长度与夹角 |
一个具体演练：对球面上的向量 V = V^\theta \partial_\theta + V^\varphi \partial_\varphi 降指标，得余向量 V^\flat = V_\theta\, d\theta + V_\varphi\, d\varphi，其中 V_\theta = V^\theta、V_\varphi = \sin^2\theta\, V^\varphi。注意第二个分量被度量「加过权」——经度方向的账面分量要乘 \sin^2\theta 才是真正的内积贡献。升降指标不是改写记号，是真实地用度量做了一次换算，这也是它对克氏符号非法的原因（后者不是张量）。
指标升降的换算关系
协变导数：协议的全员扩编
联络最初只为向量立法。要把求导推广到任意 (p, q) 型张量，原则只有一条：保持莱布尼茨律与度量兼容。对最简单的 (0,1) 型余向量场 \omega，要求「向量吃余向量」的配对函数 X^i \omega_i 求导服从莱布尼茨律，联立向量情形的公式，可解出余向量的协变导数必为
注意符号方向：向量情形加 \Gamma 修正，余向量情形减——方向相反恰好保证配对函数的修正项相消。对一般张量，规则是「每个上标口加一项、每个下标口减一项」：
逐项核对一遍度量的兼容性：\nabla_k g_{ij} = \partial_k g_{ij} - \Gamma^l_{ki} g_{lj} - \Gamma^l_{kj} g_{il}，把克氏符号公式代回右侧，三项恰好抵消为零。度量的协变导数为零不是巧合，而是第 2.2 节两条约束的直接账目后果——度量在自家协议下是常量。
这套规则的直接产出是「张量版的求导守恒」：莱布尼茨律对张量积成立、缩并与协变导数可交换次序、升降指标与协变导数可交换次序。三条性质合起来，使「在弯曲空间做张量分析」与「在平直空间做张量分析」共享同一套代数操作，差别只在每一步多出 \Gamma 修正项。广义相对论里无数场方程推导之所以能「像平直时空一样算」，底气全在这里。
交换子的账目：曲率的预约单
张量的协变导数仍是张量，于是可以再求一次导。问题来了：两个二阶协变导数 \nabla_i \nabla_j 与 \nabla_j \nabla_i 是否相等？平直空间中偏导可交换，答案显然是；弯曲空间中，逐项展开一个 (0,1) 型余向量的两种求导次序，相减后含偏导的项全部对消，幸存的是克氏符号乘克氏符号与克氏符号导数的组合：
这个组合项只依赖联络与联络的一阶导数，与被作用对象无关——它是一个货真价实的 (1, 3) 型张量。第三章将把它命名为黎曼曲率张量 R^l{}_{kij}。这里先记下预约单上的三条观察：交换子对任意张量都存在且结构相似（总是同一个 R 乘上张量本身）；平直空间它恒为零；上一节球面回路的偏转角正是它的积分效应。协变导数的「不可交换性」，就是空间弯曲留在代数里的指纹。
一个最小数值演示：在球面上取余向量场 \omega = \cos\theta\, d\varphi，用第 2.2 节的克氏符号分别计算 \nabla_\theta \nabla_\varphi \omega_\varphi 与 \nabla_\varphi \nabla_\theta \omega_\varphi，相除比较，两者之差非零且等于 - \sin\theta \cos\theta\, \omega_\varphi 型的组合——第三章算出球面 R^\theta{}_{\varphi\theta\varphi} = \sin^2\theta 后，读者可以回头核对这笔账，两处数字将严丝合缝。
本节要点回顾
- 张量定义：多线性机器，上下标分别是余向量口与向量口，类型 (p, q) 说明接口配置；
- 三种装配：张量积升阶、缩并降阶、升降指标以度量为枢纽换算接口；
- 协变导数公式：上标口加 \Gamma、下标口减 \Gamma，莱布尼茨律全盘保留；
- 度量为常量：\nabla g = 0 是度量兼容的账目表现，使张量代数与平直情形同构；
- 交换子非零：\nabla_i\nabla_j - \nabla_j\nabla_i 给出 (1,3) 型张量，是第三章曲率的正式入口。