张量的迹

玻尔百科

关键要点

张量的迹是一个不变量标量，意味着无论使用何种坐标系进行描述，其值都保持不变。
它是通过张量缩并计算的，对于(1,1)型张量，在笛卡尔坐标系中，这个过程简化为对角元素求和。
迹是物理学中的一个统一概念，它在广义相对论中将时空的曲率与物质联系起来，并在量子力学中决定期望值。
一个张量的迹仅取决于其对称部分，因为任何反对称张量的迹恒为零，这一性质具有重要的物理意义，例如可以忽略纯旋转。

引言

在物理学中，张量为描述复杂现象提供了语言，从材料内部的应力到时空的弯曲。然而，张量的数值分量会随着我们描述视角或坐标系的每一次改变而变换。这就提出了一个根本性的挑战：我们如何从一个不断变化的数学描述中提取出客观的、物理的真理？本文通过聚焦于一个最优雅的解决方案来应对这一挑战：张量的迹。我们将探讨这个简单的运算如何将一个复杂的张量提炼成一个所有观察者都能达成共识的、单一的不变量。这段旅程将从探索其基本属性开始，然后揭示其在各科学学科中的广泛影响。

原理与机制

寻找不变量：什么保持不变？

想象两位艺术家正在画同一座雕像。一位站在正前方，捕捉其雄伟的高度和对称性。另一位站在一侧，强调其手臂的优美曲线以及光影的交错。他们的画布看起来会非常不同；他们使用不同的视角，不同的描述语言。然而，他们描绘的都是同一座雕像。雕像是否存在某些基本属性——比如它所用大理石的总體积——是两位艺术家无论从哪个角度看都会认同的？

在物理学中，我们面临类似的问题。我们使用称为张量的数学对象来描述物理现象，如材料中的应力或流体的流动。张量可以被看作是一套指令，描述某物如何从一点到另一点变化，就像一个显示速度的微小箭头场，或是一套描述材料如何变形的规则。当我们选择一个坐标系（我们的“视角”），我们会将张量的分量写成一个数字矩阵。如果我们改变坐标系——比如旋转坐标轴——矩阵中的数字都会改变，有时甚至是剧烈的。

这提出了一个关键问题：如果每次我们以不同方式观察系统时数字都会改变，它们如何能代表一个真实的、客观的物理定律？答案在于寻找不变量：我们可以从张量分量中计算出的、其值不随我们选择的坐标系而改变的量。

迹就是这些神奇的不变量之一。我们可以从一个张量中提炼出一个单一的数字，所有观察者，无论他们的坐标系如何，都会认同这个数字。例如，在一个思想实验中，我们可以用一个其分量随位置变化的(1,1)型张量来描述一个场。如果我们从标准的笛卡尔 $(x,y)$ 坐标系切换到一个旋转和缩放过的 $(u,v)$ 坐标系，变换规则很复杂，张量的新分量看起来完全不同。然而，如果我们在两个坐标系中计算迹，我们会得到相同的答案。在第一个坐标系中是 $2x$ 的量，在第二个坐标系中变成了 $u+v$ ，而根据定义它们是相同的。如果我们改变用于描述的基向量，也会看到同样显著的持续性。矩阵分量可能会被打乱，但对角元素之和顽固地保持不变。正是这种不变性，将迹从一个简单的算术奇观提升为一个深刻的物理量。它代表了物理系统本身的内在属性，独立于我们对它的描述。

秘诀：张量与缩并

那么，找到不变量的秘诀是什么？对于一个(1,1)型张量，我们可以将其看作一个矩阵 $T^i_j$ ，其迹的计算方法异常简单：只需将对角线元素相加。

\mathrm{Tr}(T) = \sum_i T^i_i = T^1_1 + T^2_2 + \dots

这个操作是一种更通用、更强大的过程——张量缩并——的最简单例子。像 $T^i_j$ 这样的张量是一个机器，它接收一个向量（我们用下标记，比如 $j$ ）并输出一个新向量（用上标记，比如 $i$ ）。缩并意味着我们将一个输出“槽”连接到一个输入“槽”——在本例中，我们令 $j=i$ 并对所有可能性求和。在某种意义上，我们是在让张量作用于其自身的描述框架。结果是一个上标和下标各减少一个的对象。由于我们原始的张量各有一个上下标，结果便没有了任何指标——它是一个标量，一个单一的数字。

考虑一个分量依赖于位置的张量场。单个分量，如 $T^1_1 = A \cos(k x^2) - B (x^1)^2$ 和 $T^2_2 = B (x^1)^2 + E$ ，可以是复杂的函数。但当我们计算迹， $T^1_1 + T^2_2$ 时，一些项神奇地抵消了，留下一个更简单、更优雅的表达式： $A \cos(k x^2) + E$ 。这并非巧合。张量变换的数学原理确保了那些依赖于特定坐标系选择的复杂部分，恰恰是会相互抵消的部分，只留下不变的、本质的核心。

空间结构：迹、度规与弯曲世界

到目前为止，我们都生活在一个舒适的、由直线和互相垂直的坐标轴构成的世界里。但如果我们的空间是弯曲的，比如球体的表面，或者我们的坐标网格是倾斜的，就像某种奇特晶体的晶格一样呢？在这里，简单地将对角线元素相加的方法就失效了。为什么？因为我们的基向量本身可能长度不同，或者彼此不垂直。简单地相加分量就像用不同且不断变化的尺子测量的结果相加。

为了驾驭这些更复杂的世界，我们需要一本关于我们空间几何的“规则手册”。这本规则手册是另一个张量，也是最基本的一个：度规张量， $g_{ij}$ 。度规张量的分量告诉我们基向量的点积。它编码了我们所选坐标系中关于距离和角度的一切信息。

有了度规张量，我们就可以为任何二阶张量定义一个真正不变的迹。对于一个有两个上标的张量（逆变张量），比如在球体上旋转的流体的动量通量张量 $K^{ij}$ ，其迹不是 $\sum_i K^{ii}$ 。相反，它是通过将张量与度规缩并得到的：

\mathrm{Tr}(K) = g_{ij} K^{ij}

这个公式告诉我们在求和之前，要用相应的几何因子 $g_{ij}$ 来“加权”每个分量 $K^{ij}$ 。在球体的情况下，度规分量 $g_{\phi\phi} = R^2 \sin^2(\theta)$ 正确地解释了这样一个事实：当我们从赤道（ $\theta = \pi/2$ ）向两极移动时，沿经度（ $\phi$ ）方向的一步所覆盖的地面距离会变小。度规提供了必要的几何修正，确保我们最终得到的压力或动能是一个真实的、物理的标量，而不是我们坐标选择的产物。这是一套优美的数学机器，其中张量的抽象代数完美地反映了空间几何的物理现实。

游戏规则：线性、对称性与消失的量

迹不仅是一个不变量；它也是一个遵循简单优雅规则的、行为良好的工具。其中最重要的一个是线性性质。如果我们将一个张量乘以一个常数因子 $c$ ，它的迹也会被乘以 $c$ 。如果一个应力张量的迹是20，而我们将各处的力都增加三倍，新的迹将是60。类似地，两个张量之和的迹就是它们各自迹的和， $\mathrm{Tr}(A+B) = \mathrm{Tr}(A) + \mathrm{Tr}(B)$ 。这种可预测的行为使迹成为物理学中一个宝贵的工具，因为我们常常通过将简单的解相加来构建复杂的解。

当我们把一个张量分解成其对称和反对称部分时，另一个深刻的性质出现了。任何方阵或二阶张量 $T$ 都可以唯一地写成和 $T = S + W$ 的形式，其中 $S$ 是对称的（ $S_{ij} = S_{ji}$ ），而 $W$ 是反对称的（ $W_{ij} = -W_{ji}$ ）。例如，在连续介质力学中，速度梯度张量被分解为描述应变率（拉伸和剪切）的对称部分和描述旋转率（自旋）的反对称部分。

这里有一个奇妙的事实：任何反对称张量的迹都为零。原因很简单。对于一个张量 $W$ ，它的对角分量是 $W_{ii}$ 。反对称条件意味着 $W_{ii} = -W_{ii}$ ，这只有在 $W_{ii}=0$ 时才成立。既然它所有的对角元素都为零，它们的和——即迹——也必须是零。

这带来了一个强大的推论。由于 $\mathrm{Tr}(T) = \mathrm{Tr}(S + W) = \mathrm{Tr}(S) + \mathrm{Tr}(W)$ ，并且我们知道 $\mathrm{Tr}(W) = 0$ ，那么必然有：

\mathrm{Tr}(T) = \mathrm{Tr}(S)

一个张量的迹等于其对称部分的迹。迹完全“看不见”反对称部分！从物理上看，这非常有道理。应变张量的迹与流体元的体积变化率有关。纯粹的旋转（反对称部分）使流体元旋转，但不会使其膨胀或压缩。因此，它对体积变化——也就是对迹——的贡献恰好为零。

闭合环路：乘积的迹

最后，让我们看看迹如何漂亮地捕捉了组合多个变换的本质。假设我们先应用一个由张量 $A$ 表示的变换，接着是另一个由 $B$ 表示的变换。组合后的变换是乘积 $C = AB$ 。它的迹是什么？

使用指标表示法和求和约定，乘积的分量是 $C_{ik} = A_{ij}B_{jk}$ 。为了求迹，我们将第一个和最后一个指标设为相等并求和：

\mathrm{Tr}(C) = C_{ii} = A_{ij}B_{ji}

看指标的路径：我们通过张量 $A$ 从 $i$ 到 $j$ ，然后通过张量 $B$ 从 $j$ 回到 $i$ 。它形成了一个闭合的环路！。这是一个深刻的洞见。

让我们试试三个张量： $T = ABC$ 。其分量为 $T_{im} = A_{ij}B_{jk}C_{km}$ 。迹是：

\mathrm{Tr}(T) = T_{ii} = A_{ij}B_{jk}C_{ki}

同样，我们有一个指标的闭合环路： $i \to j \to k \to i$ 。这种视觉模式是普适的。一个产生标量（不变量）的缩并对应于指标的完全“闭环”。没有“松散的末端”——没有自由指标来指定一个分量或一个方向。整个操作链塌缩成一个单一的、坐标无关的值，这证明了张量所描述的物理世界固有的、统一的结构。

应用与跨学科联系

现在我们已经拆解了张量并了解了它的构造方式，让我们把它投入使用。你可能会觉得所有这些关于指标和缩并的东西有点像抽象的记账。但事实是，张量的迹是物理学家拥有的最强大的工具之一。它是一根数学魔杖，让我们能向一个复杂的物理情境提出一个非常简单、非常深刻的问题：“这里总体的故事是什么？” 当我们取迹时，我们通常是将一个丰富的、多分量的描述——比如时空的曲率或钢梁中的应力——提炼成一个单一的、有意义的数字。这个数字是一个不变量，是每个人，无论他们如何移动或使用何种坐标系，都能达成共识的真理。让我们开启一段跨越科学的旅程，看看这个简单的操作如何揭示宇宙、物质乃至量子世界之间的深层联系。

引力的核心：迹如何塑造时空

张量迹最辉煌的应用也许是在Albert Einstein的广义相对论中。Einstein面临一个巨大的挑战：他需要写出一个方程，表明“时空的曲率由其内部的物质和能量决定”。物质和能量部分由应力-能量张量 $T_{\mu\nu}$ 描述，这是一个对称的二阶张量，有10个独立分量，描述能量密度、压力和动量流等。

但几何方面呢？时空曲率的完整描述被锁定在庞大的四阶黎曼曲率张量 $R^{\rho}_{\sigma\mu\nu}$ 中。你不能简单地将一个四阶张量等于一个二阶张量！那么，Einstein和他的同代人做了什么呢？他们取了一个迹。从黎曼张量中得到一个非平凡的二阶张量，最自然也是唯一的方法是在它的两个指标上进行缩并，这个过程诞生了里奇张量： $R_{\mu\nu} = R^{\rho}_{\mu\rho\nu}$ 。这是将几何简化以匹配其物质源结构迈出的第一个关键步骤。里奇张量并没有讲述曲率的全部故事，但它捕捉了由局部物质直接驱动的部分。

但为什么要止步于此？我们可以进一步提炼几何。如果我们取里奇张量本身的迹，通过与度规 $g^{\mu\nu}$ 缩并，我们得到里奇标量， $R = g^{\mu\nu}R_{\mu\nu}$ 。这是将时空曲率最终提炼为每一点上的一个单一数字。

现在，奇迹发生了。爱因斯坦场方程的完整形式是 $R_{\mu\nu} - \frac{1}{2} R g_{\mu\nu} = \kappa T_{\mu\nu}$ ，其中 $\kappa$ 是一个常数。这看起来很复杂，但看看当我们对整个方程取迹时会发生什么。我们用 $g^{\mu\nu}$ 缩并每一项。左边变成 $R - \frac{1}{2} R \cdot 4 = -R$ （在4D时空中），右边变成 $\kappa T$ ，其中 $T = g^{\mu\nu}T_{\mu\nu}$ 是应力-能量张量的迹。结果是一个惊人简单而深刻的关系： $R = -\kappa T$

这个方程是该理论的灵魂。它告诉我们，某一点的时空总体标量曲率与该点应力-能量张量的迹成正比。宇宙的几何有一个单一的数字来概括其曲率，而这个数字由一个单一的数字来决定，该数字概括了其物质-能量含量。

这不仅仅是一个漂亮的公式；它具有深刻的物理后果。应力-能量张量的迹 $T$ 取决于我们处理的物质种类。对于理想流体，如宇宙学模型中的理想化物质，迹结果为 $T = -\rho_E + 3p$ ，其中 $\rho_E$ 是能量密度， $p$ 是压力。所以，能量和压力都会扭曲时空。但对于电磁场——一个只充满光的宇宙——一件奇怪的事情发生了。它的应力-能量张量是无迹的，意味着 $T=0$ 。根据我们的简单方程，这意味着在由光主导的时空区域，里奇标量 $R$ 必须为零！时空仍然是弯曲的（毕竟光会弯曲！），但其总体标量曲率消失了。这表明迹分离出了曲率的一个特定属性，并将其与物质的一个特定属性联系起来。未被里奇张量及其迹所捕捉的曲率部分，由恰如其名的无迹的外尔张量来描述，它支配着像引力波这样可以在真空中传播的现象。迹运算提供了区分由物质引起的曲率和引力自身自由传播的曲率的语言。迹的多功能性还体现在它允许我们通过代数方法将场方程重排成“迹反转”形式，直接用应力-能量张量及其迹来表示里奇张量，这在许多计算中是一个有用的技巧。

超越引力：一种通用语言

迹的力量远远超出了广义相对论的宇宙尺度。无论何时我们需要从一个更复杂的物理描述中提取一个单一的、本质的数字，它都会出现。

想象一下连续介质力学的世界，这是关于材料变形的工程科学。如果你推、拉或扭曲一根钢梁，它会储存内能。材料内部的力由一个应力张量描述，其变形速率由另一个张量描述。你如何计算功率——即能量被泵入材料的速率——每单位体积？你猜对了：你执行一个等效于迹的缩并。应力功率由双点积 $P:\dot{F}$ 给出，这在根本上是一个迹运算。它提取了关于力和变形的完整、多方向的信息，并将其简化为一个单一的数字：材料正在吸收的功率，单位是瓦特。

现在，让我们从钢梁的实在世界跳到量子力学的幽灵领域。一个量子系统的状态，可能是一个原子中的电子，或是一个量子计算机中的量子比特，通常由一个密度矩阵 $\rho$ 来描述。这个矩阵中的每一个数字都代表了量子概率和相位的微妙相互作用。如果你想测量一个物理属性，比如电子的自旋，那个属性由另一个矩阵表示，即观测量 $A$ 。那么，当你进行测量时你会得到什么结果？你无法确切知道——这就是量子世界的不确定性！但你可以预测如果你重复实验多次会得到的平均值。这个“期望值” $\langle A \rangle$ ，是连接量子理论和实验现实的桥梁。那么它是如何计算的呢？ $\langle A \rangle = \mathrm{Tr}(\rho A)$

期望值是密度矩阵和可观测算符矩阵乘积的迹。用张量的语言来说，这是一个缩并： $\langle A \rangle = \rho^i_j A^j_i$ 。再一次，迹作为从复杂、抽象的描述中提取单一、可预测数字的基本操作出现。这是自然界将量子奇异性转化为我们在实验室中看到的具体数字的规则。

最后，迹统一了整个场论中的概念。我们熟悉的拉普拉斯算子 $\nabla^2$ ，它描述了从热流到电势的一切，可以更普遍地理解为黑塞张量（一个函数二阶导数的张量）的迹。在狭义相对论的时空中，这变成了达朗贝尔算子 $\Box$ ，它也是一个迹——是度规张量与一个场的二阶偏导数的缩并。这表明物理学中这些基本的算子并非任意定义；它们是在你缩并描述一个场如何从一点到另一点变化的张量时，自然出现的标量。

从宇宙的曲率到变形固体中的功率，从量子测量的结果到波的传播，张量的迹无处不在。它是一个深刻而统一的概念，一个简单的数学行为，反映了一个深刻的物理原理：在我们复杂的物质世界中，存在着基本的、不变的真理等待被发现，而发现它们的方法往往是把一切都归结为一个单一的、本质的数字。