时空角怎么理解_[深度科普] 张量：理解相对论的必备语言 (下)

---

【注意】

为了达到科普的效果，

本文所用到的各类符号表示，

并非相对论中正规的符号体系，

打算进一步系统化学习相对论的同学，

请勿受本文所用符号的影响。

---

0) 前情提要

在本文的上篇中，我们提到了

狭义相对论的中心思想，

在于两大基本假设中看似平凡的第一条：

所有惯性系中，物理定律具有相同形式。

但紧接着，我们却在一个

运动的带电小球的例子中疑似被打脸，

因为不同参考系下，

带电小球竟然会激发出不同的电磁场，

且看起来也对应着不同的物理定律。

为了解释这个貌似违背相对论的现象，

我们提到，电磁场变化的背后，

只不过是一个不变的神秘物理量

在不同参考系下的“投影”在变化。

而这个神秘物理量，

就是本文主角：电磁张量。

而为了更直观理解什么是张量，

我们在上篇中通过一块木板形变的例子，

从图形上大致理解了张量的含义，

以及它的“投影”如何随坐标系变化。

但是上篇仅是面向普通票友的普及篇，

主要的解说方式，是图形和文字描述，

读来显然很难让人大彻大悟。

而作为一群进阶票友，

如果不能在数学上更进一步

清晰感受张量“投影”的奇妙变化，

实在是人生一大憾事。

所以我们来到了这个下篇，也是进阶篇。

在进阶篇里，我们将从数学上真正理解

物理定律不随参考系变化这种美妙性质。

另外，鉴于本文将出现很多矩阵运算，

为了防止各位迷失在矩阵中失去方向，

建议没有看过上篇的同学先去过一遍，

明确感受一下我们要讨论的物理图景，

然后再进入数学世界去清晰认识它。

此处附上本文上篇链接：

PeiLingX：[深度科普] 张量：理解相对论的必备语言 (上)​zhuanlan.zhihu.com

---

1) 线性代数中的两个故友

老夫在上篇里提到过，

作为理解张量及张量变换的铺垫，

正式进入数学部分之前，

我们要先回到线性代数课堂，

去会一会两个故友。

第一个是坐标变换 (又叫基底变换)。

即一个向量在不同坐标系下的

“投影”(坐标分量)之间的变换关系。

为了直观理解，我们用最常见的

二维平面上的坐标旋转来作为例子回顾。

假设有一个平面直角坐标系

，

两个方向上分别定义了基向量

。

那么对于某个向量

，

它在给定了坐标系以及基底的情况下，

可以表示为两个方向的分量形式，

(就像中学物理做力的正交分解时那样)

写成列向量，就是：

现在我们把两个坐标轴

绕原点旋转一个角度

，

得到新的坐标系

：

坐标旋转

那么我们可以看到一个很重要的事实：

向量本身没有发生旋转，

它自己还是原来那个向量

，

但它的分量在新坐标系下却会发生变化。

这就好比是我们从不同角度去拍一个人，

不管怎么拍，人还是那个人，

但换个角度却可以拍出鬼哭狼嚎的效果：

图片来自网络，侵删

上面的例子是在胡说八道，别信。

下面才是正经的。

我们将新坐标系下的分量记为：

那么可以证明

和

的关系为：

这可以从图中的几何关系推导出来。

(证明过程一点也不难，

各位不妨自己动手试试，

或者找个刚考完线性代数的

大一学妹帮你解决也行)

如果将上面的式子表示成抽象形式，

则是：

其中

，

称为坐标旋转变换矩阵。

刚才讨论的是列向量，

如果将向量写成行向量，比如

，

则可以证明它的变换规则为：

即：

(

即

的转置，希望各位还没忘记)

接下来，我们将迎来

可能已经被各位遗忘了的

线性代数中的第二个故友：

合同矩阵 (Matrix Congruence)

线性代数课本告诉我们，

它并不是某种签了卖身合同的矩阵

而是具有这样定义的一对矩阵：

如果存在可逆矩阵

，

使得两个矩阵

和

满足

则称

和

是合同的。

然而令人遗憾的是，

课本上关于合同矩阵的描述

通常到此结束，没有更多细节，

接下来就是各种例题、练习题、

以及期末考试题了。

其实对于一本数学教材而言，

用词的精确和逻辑体系的严密

是必须被放在第一位的，

所以线性代数课本不会花时间告诉你

合同矩阵有什么几