作者： yubr
编辑： Trader Joe's
四维闵可夫斯基时空 我们在本科阶段接触的经典力学和经典电动力学里的物理规律，都是以三维矢量方程的形式描述的。
无论是牛顿运动定律，还是麦克斯韦方程组，其基本的物理对象都是三维欧式空间的矢量（例如：位置矢量 等等）。 我们通过求解动力学方程，来研究它们随着时间坐标的演化和随着空间坐标的分布。 这种描述貌似没有什么问题，既然如此，我们为什么还要引入四维时空呢？ 爱因斯坦在1905年建立的狭义相对论最深远的意义，就在于揭示了时间和空间的内在联系：时间和空间并不像牛顿力学所宣称的那样是独立的、正交的、没有联系的；而是紧密相关的、可以互相转化的 。 牛顿力学描述的时空对象是三维欧氏空间和一维时间的直和 ，它们之间通过所谓的伽利略变换 （伽利略变换是三维欧氏群 E3 群的群元，包含了三维平移，三维转动，三维反射等保持三维空间距离不变的变换）来联系，伽利略变换中，时间和空间是独立变化的 。 而狭义相对论所描述的时空是 3+1 维的闵氏时空 ，它们之间通过洛伦兹变换 （洛伦兹变换是洛伦兹群的群元，包含了保持四维闵氏时空距离不变的变换: 三维转动，三维反射和boost变换）来联系，洛伦兹变换中，时间和空间是相互耦合的。 无数的高能物理实验告诉我们，我们的时空确实是通过洛伦兹变换而不是通过伽利略变换来联系的，这意味着时间和空间是互相关联而非互相独立的——牛顿错了，爱因斯坦对了 。 洛伦兹变换 为了简单起见，我们只介绍最简单的洛伦兹boost变换。 假设有两个坐标系 和 系相对 系沿着 轴以速度 运动，并且在运动过程中始终保持 轴与 轴平行， 轴与 轴平行， 轴与 轴重合。 我们把初始条件设为 时两个系的原点重合。现在我们要问的是：对于同一个事件， 和 的定量关系是什么？ 我们知道任何理论都有基本的假设。 牛顿力学的时空背景是三维欧氏空间，在这个空间中，一切的坐标变换必须满足三维空间距离不变 ： 从这个基本假设出发，我们可以导出伽利略变换 ，也就是牛顿力学中，联系 和 的定量关系：同理，狭义相对论的时空背景是四维闵氏时空，在这个时空中，一切坐标变换必须满足 四维时空距离不变 其中 从这个基本假设出发，我们就可以导出洛伦兹变换 （推导留作练习）： 为了简化记号，我们定义 标量，矢量和张量 从上面的洛伦兹变换的表达式可以看到， 这四个数在洛伦兹变换下并不是孤立的，而是一个整体，它们一起按照矩阵 进行变换，所以我们把它们放到一起组成一个矢量（这称为4-矢量 ）： （注意这里我们采用了爱因斯坦求和约定 ：重复指标求和，写完整就是 则称这四个数组成了一个4-矢量。我们把指标在上面的矢量称为 逆变矢量。 我们可以通过度规来将矢量的指标进行升降 。闵氏时空的度规 逆度规 如果 为逆变矢量，则我们称 为协变矢量 ，例如，坐标矢量 ，则 利用协变矢量和逆变矢量的内积，我们可以把四维时空间隔写为 因为我们知道四维时空间隔必须是洛伦兹变换下的不变量 ，所以 必须在洛伦兹变换下是不变的，也就是必须满足 但是 是逆变矢量，它在洛伦兹变换下的行为我们已经知道 ，将这个代入上式，我们就得到了洛伦兹变换矩阵 必须满足的关系式 利用上式容易证明，任何一个逆变矢量和协变矢量相乘得到的结果都是洛伦兹变换下的不变量，即 ，这种逆变矢量和协变矢量的相乘称为缩并。 我们把这种在洛伦兹变换下不变的量称为标量，它是逆变矢量和协变矢量的缩并。 上述关于标量和矢量的定义很容易推广到任意阶张量。我们看到标量没有指标，它有 个分量，它可以视为零阶张量，在洛伦兹变换下不变；矢量有一个指标，它有 个分量，它可以视为一阶张量，它在洛伦兹变换下乘上一个洛伦兹变换矩阵 ；类似的，我们可以定义 n 阶逆变张量： n 阶逆变张量是这样 个数的集合，这 个数在洛伦兹变换下满足为了不那么抽象，我们举一个具体的例子：二阶逆变张量 ( )就是这样 16 个数的集合（ ，共 16 个分量），这 16 个数在洛伦兹变换下满足 上面这个式子一共包含了16个等式，我们取其中一个加以说明。设这个二阶张量的00分量在一个参考系中的值为 ，在另一个参考系中的值为 ，那么新参考系中的00分量的值 由旧坐标系中的各个分量按照这样的线性组合构成： 利用度规升降，我们可以从任意阶的逆变张量（指标都在上面的）出发定义任意阶的协变张量 （指标都在下面的）和混合张量 （指标有上有下的）。 以上我们介绍了四维闵氏时空中的洛伦兹变换和标量，矢量，张量的定义，这些都是四维语言的基础。 用四维语言描述的物理量和物理定律，相比我们熟悉的三维形式，要简洁优美得多，并且用四维语言我们一眼就能看出物理量的变换性质和体系的对称性 用术语来说：四维形式是“协变的 ”，三维形式是“非协变的”。 这一点其实很好理解，因为实验已经证明了我们所处的世界是 3+1 维的时空，时间维度和空间维度是耦合在一起的而非割裂的，那么我们用把时空一并处理的四维语言来描写世界当然要比用人为地把时间割裂出去的三维语言自然得多。 在下一章中，我们将用上面介绍的四维语言描写狭义相对论的动力学——我们将把熟悉的三维力学中的那些物理量（如：位置矢量，速度，加速度，动量，力，等等）和物理定律（比如牛顿第二定律）全部推广到四维形式。
