“广义相对论的钥匙：张量”专题之二

本专题过往文章：

1. “广义相对论的钥匙：张量”专题之一
   

上一节说了，向量空间以及向量空间中的向量，都是张量，它们的特点是：

• 本身是几何对象，与基无关

• 不同的基下，有不同的代数表达

• 并且，不同的代数表达之间有明确的转换规则

我们来看看，向量空间以及向量空间中的向量的代数表达与转换规则是怎么进行的。

下面的代数比较多，看着烦的，看看图也能明白大概的意思。

1 向量空间

比如说，向量空间  ，下面用一个有颜色的方框来表示：

 可以用不同的基来张成：

上图中的左边的基就是单位正交基，代数形式为：

上图中的右边的基为：

看看两个基之间是如何转换的。

1.1  到 

我们看看这个方向的转换是如何完成的：

首先容易知道：

让我们定义一个矩阵：

有了矩阵之后，就可以写简洁一点了：

因此，我们可以通过矩阵  （F表示forward，我们把这个方向视作向前转换）来完成这个转换：

1.2  到 

那么反方向怎么完成呢？可以知道（大家自己可以验算一下）：

同样我们定义一个矩阵  （B表示backward，我们把这个方向视作向后转换）：

因此：

额外说一句，比较容易验算：

其中，  是单位阵。

上式说明  是互逆的，这点也比较容易理解，毕竟向前转换和向后转换是一个互逆的操作。

1.3 小结

综上，两个基的转换如图：

代数式如下：

当然，上面这个代数式很容易推向  ：

根据我们上一篇总结的，有：

•  是一个几何对象，它与基无关

• 可以由基  或者  来表示

• 基之间可以借由矩阵  来相互转换

那么刚才写过的代数式：

完整的表达了上述三点，也就是一种张量。

2 向量

我们来看另外一种张量，向量。

在刚才的两个基下，同一个点有不同的坐标：

上图中的左边的点的坐标值为：

其中，  表示  的元素。

右边的点的坐标值为：

其中，  表示  的元素。

根据之前得出的式子：

可以推出如下的转换规则（可自行推算）：

为了写得和刚才的代数形式一致，把上式改为：

当然，这个式子也很容易推向  中的向量：

2.1 小结

刚才向量的转换关系，图示如下：

根据我们上一篇总结的，有：

• 向量是一个几何对象，它与基无关

• 它的坐标值，在基  或者  中不同 

• 不同的坐标值可以借由矩阵  来相互转换

那么，下述代数式，也就是描述向量的张量：

3 协变量、逆变量

不知道刚才大家注意没有？基变换的时候与坐标转换的时候有所不同：

两者之间，相同变换方向，  矩阵却是反的。

我们用一个更直观的方式来展示这种相反的变化：

可以发现，当基变长的时候，坐标值却在变小，两者的变化方向是反的。

还有，基逆时针旋转达到的效果：

与向量顺时针旋转达到的效果是相同的：

运动是相对的，两者变化方向虽然相反，取得的结果却是相同的。

以基变换为基准，与基变换方向一致的，我们称为协变量（covariant），与其相反的称为逆变量（contravariant）。

那么，张量：

4 爱因斯坦标记法

刚才的求和公式真的看的眼花缭乱，还好爱因斯坦发明了一种标记法，爱因斯坦与友人半开玩笑地说：“这是数学史上的一大发现，若不信的话，可以试着返回那不使用这方法的古板日子。”

4.1 第一个约定

首先，爱因斯坦标记法区分了协变量和逆变量，下标表示协变量，上标表示逆变量：

这个也可以如下修改：

两相对比，看起来一目了然，知道坐标是逆变量，而基是协变量。

4.2 第二个约定

另外一个约定是，对于矩阵中的元素，比如说：

把前面一个  写成上标，后面一个  写成下标，即：

这么写的好处，咱们后面马上就可以看到。

4.3 第三个约定

还有一个重要约定是，如果  中上标或者下标中，单独一个变量出现两次，就可以去除 符号，比如：

可以看到，  在上标、下标中，共计出现两次，那么上式可以写作：

这两种写法是等同的，后面这个写法看起来更清爽，还有一个附加作用，就是可以把重复出现的上标、下标视作消去（只是视作，没有真正发生）：

这个用在下面代数式中更清晰：

首先，根据刚才的规则，把  去除：

然后，运用消除大法：

等式右边消除  之后，在等式左边就只剩下  了；而且，剩下的  还指明应该是上标还是下标。

是否这样就更容易记住公式了。

5 总结

向量空间  的基与向量的转换关系如图：

向量空间  的基是协变量，用爱因斯坦标记法表示为：

向量空间中的向量是逆变量，用爱因斯坦标记法表示为：

张量可以由协变量和逆变量来表示。张量的类型可以表示为：

其中，  为逆变量的个数，  为协变量的个数。

那么向量空间  的基是协变量，可以表示为  型张量，意思是，只由一个协变量构成。

同理可知，向量空间中的向量是  型张量。