1 张量
- 张量运算
![]() , ![]() , ![]()
- 平移—联络
![]()
- 微商
![]()
![]()
- 莱布尼兹律——协变矢量微商
![]() 其他张量
![]()
![]()
![]()
Example
![]()
2 曲率与挠率
2.1 引出
![]()
对一个协变矢量场 ![]() 求两次协变微商
![]()
交换微分次序
![]()
两式相减
![]()
曲率张量
![]()
挠率张量
![]()
曲率张量性质
![]()
![]()
![]()
- (1,4)指标——不独立
![]()
2.2 几何意义
挠率的几何意义
两段路径通过平移是否能形成闭合路径？
![]()
终点是否重合？
![]()
若挠率为零，上述平移操作才能构造闭合路径. 挠率不为零，称为扭曲空间.
曲率的几何意义
考虑挠率为零时矢量沿闭合路径平移一周的效果：
![]()
![]()
若曲率不为零，矢量沿闭合路径平移一周有个附加“转动”，我们称为弯曲空间.
空间平直性
平直空间的挠率和曲率都为零，平直空间中矢量经闭合路径平移才没有附加的“移动”和“转动”，这就回到了我们熟知的空间——其中的矢量可以随意平移.
3 度规张量
在以上讨论的仿射空间中引入度量 ![]() 黎曼空间，引入度量就要定义度规和距离.
3.1 度规与距离
![]()
这个二次型通过度规定义了距离. 左侧是标量，不难看出度规是个二阶协变张量，而且是对称的. 稍加推广，便可得到内积的定义(通过度规),
![]()
Example
- 欧氏空间
![]() , 采用球坐标系
![]()
![]()
![]()
![]()
3.2 度规的正则形式
当黎曼空间的度规张量分量是常数，且 ![]() 时，可以找到一个坐标变换把度规张量的分量化为：
![]()
把这种形式的度规张量称为正则形式，把这组坐标系称为正交归一基或幺正基. 虽然全空间的度规张量分量很可能随坐标变化，但我们总可以在一点邻域把度规张量化为正则形式，这是因为我们可以把黎曼时空看作局域平直的.
3.3 时空与号差
度规的正则形式中，我们把对角元都是正的称为正定度规，对角元有正有负的称为不定度规. 例如在四维闵氏时空时间坐标对应的度规分量为 ![]() ，我们可以认为对角元的正负分别对应区分“空间”和“时间”概念. 可以区分“空间”和“时间”概念的黎曼空间，称为黎曼时空. 一个简单的例子是，闵氏空间也可以称为闵氏时空. 我们定义号差是正则形式下度规分量对角元之和(也可以用度规的迹来表示) ，用于分类定义了不同度规的空间. 我们今后感兴趣的正是这种具有不定度规，而且号差为 ![]() 的黎曼时空.
3.4 升降指标
我们知道矢量内积可以由缩并来得到，与式(9)比较可知协变度规起着降指标的作用：
![]()
同样，应该要求逆变度规张量可以升指标：
![]()
代入前式可得
![]()
这表明，协变度规张量的逆度规就是我们所需要的逆变度规张量，而且混合指标的度规张量就是Kronecker张量 ![]() . 从度规等于基矢量内积的角度来看，这意味着切空间的基矢量和它对偶空间的基矢量是正交归一的，尽管这两个空间各自的基矢量一般并不正交归一.
4 克氏符
期待黎曼空间能保持欧式空间的下面两点性质，并以此得出度规与联络的关系.
(1) 无挠 ![]() .
(2) 矢量长度平移不变，或者 ![]() ，称为导数算符与度规适配.
(1) 对标量两次协变微商并换序
![]()
无挠空间中协变导数才具有可交换的性质，以后我们都是在无挠的黎曼空间讨论.
(2) 注意 ![]() ，那么度规的协变导数呢？平直时空，选择笛卡尔坐标系显然 ![]() ，在黎曼空间仍要求这一点(与矢量长度平移不变性等价) ，则有
![]()
轮换指标 ![]()
![]()
后两式相加减去第一式，并注意到无挠空间中联络以及度规的对称性，有
![]()
通常定义的克氏符指标为 (1,2) 型
![]()
此式是在特殊的空间和限制条件下得出的联络与度规的关系式，准确的说此式定义了无挠黎曼空间中，保持矢量长度平移不变性条件下的联络 — 克氏符. 广义相对论所用的时空就是无挠的黎曼时空，因此以后多数时间提到联络都是指克氏符.
5 黎曼空间的曲率张量
我们上面对黎曼空间作了两点要求，这其实就是Einstein广义相对论所用的时空.那么此时黎曼曲率张量还具有什么性质？定义 (0,4) 型曲率张量
![]()
![]()
第二式把黎曼曲率张量展开可证，结合前两式可得第三式.
![]()
反对称性导致缩并
![]()
因此只剩下一种独立的缩并方式 — 给出里奇 (Ricci) 张量的定义
![]()
![]()
![]()
| ![]() 维黎曼空间的张量 | 非零独立分量个数 N |>| :--------------------------------------: | :---------------------: || 曲率张量 ![]() | ![]() || 里奇张量 ![]() | ![]() || 爱因斯坦张量 ![]() | ![]() |
![]()
由于张量关系式不依赖坐标系，为简便选择联络分量都为零的坐标系证明。由(11)式可得
![]()
同理可得
![]()
三式相加，注意普通微商的可交换性，![]() 点的任意性可推出等式在任一点成立.
对毕安基恒等式缩并 ![]() 和 ![]() 指标就有
![]()
对上式左乘 ![]() ，并注意到 ![]()
![]()
其他张量形式为
![]()
这表明爱因斯坦张量的协变散度为零
![]()
6 测地线和短程线
6.1 测地线与仿射参量
测地线定义
仿照平直空间中直线的自平行性质定义仿射空间中测地线的参数方程: ![]() , 任一点切矢定义为 $A^{\mu}=\frac{dx^{\mu}(\lambda)}{d{\lambda}} $
“平行”要求P, Q (相隔无穷小位移 ![]() ) 两点的切矢成比例 ![]() , 将 ![]() 在P点展开，保留至一阶，就有测地线满足的方程 ![]() , 代入![]() 式与切矢定义式即得
![]()
略去二阶小量得到
![]()
仿射参量
参量变换 ![]() , 若满足 ![]() , 则 ![]() 称为仿射参量，且测地线方程可简化为
![]()
一般情况可把长度 ![]() 作为仿射参量 (光线例外，其 ![]() ) ，便得到所谓短程线方程
![]()
注：仿射参量线性变换后仍是仿射参量 ![]()
6.2 短程线 — 两点距离取极值的世界线
利用变分法求两点之间的短程线，定义泛函
![]()
积分路径是任意的，线元可以表示为
![]()
短程线应满足
![]()
其中
![]()
应用欧拉-拉格朗日方程
![]()
代入化简
![]()
![]()
注意到
![]()
那么便可改写为
![]()
左乘 ![]() 括号内的表达式即化为克氏符，就得到短程线方程
![]()
与测地线方程 ![]() 一致，但要注意短程线方程 ![]() 中的 ![]() 是克氏符，与度规有确定的泛函关系，只在无挠黎曼空间中成立；测地线方程中的联络不是克氏符，在仿射空间中均成立. 而测地线/短程线的方程形式却完全一致，只是联络不同. 因此可以说，从仿射空间到黎曼空间 (被“人为”赋予一些特征和性质) 我们做的事是：引入度规，并且要求度规与协变导数适配，然后联络随之被度规确定.
注：短程线取极值，线长有可能最短或最长 (局域). 对于度规正定的空间，短程线是最短的一条世界线；对于不定空间却不然，研究表明如果两点之间的短程线是类时的 (亚光速，有因果联系)，则短程线是取极大值的一条.
6.3 再谈空间平坦性
我们说曲率和挠率都是零的空间是平直的，因为这时矢量平移时不改变分量，沿无穷小环路平移一周与原矢量重合而不附加任何移动和转动，测地线方程化为直线方程。按照张量变换性质，如果一个坐标系中张量所有分量为零，则所有坐标系它都为零，因此挠率和曲率是描述空间内禀性质的张量。但要注意联络不是张量，依赖坐标系的选择。无挠黎曼空间若平坦要求 ![]() ，在这个平坦的黎曼空间中总可以找到一个坐标系让联络所有分量为零，根据(23)可得 ![]() ，即度规分量为常数 (不考虑度规随时变化的情况) ，这样的度规可对角化。因此当 (无挠) 黎曼空间是一个平坦的四维时空时，度规可化为闵可夫斯基度规 ![]() (在某个坐标系，应该就是狭相所用的惯性系，更准确地说是瞬时静止惯性系！)
本文使用 Zhihu On VSCode 创作并发布
|
|
转播
