狭义相对论的时空几何 --闽科夫斯基时空

前面我们讨论得到了狭义相对论的的洛伦兹变换。在此基础上介绍狭义相对论的背景时空。

一 狭义相对论的时空

简单运算就会知道狭义相对论的时空不是欧几里得时空,根据洛伦兹变换有：

$$\begin{array}{left} t^2+s^2 &= \begin{pmatrix} t & x \\ \end{pmatrix}\begin{pmatrix} t \\ x \\ \end{pmatrix}\\&= \begin{pmatrix} s & y \\ \end{pmatrix}\frac{1} {\sqrt{1-v^2}} \begin{pmatrix} 1 & v \\ v & 1 \\ \end{pmatrix} \frac{1} {\sqrt{1-v^2}} \begin{pmatrix} 1 & v \\ v & 1 \\ \end{pmatrix}\begin{pmatrix} s \\ y \\ \end{pmatrix}\\&= \frac{1+v^2} {{1-v^2}} (s^2+y^2)\\ & \neq s^2+y^2 \end{array}$$

显然在欧几里得时空中，洛伦兹变换下距离不是不变的，狭义相对论的背景时空不是欧几里得空间。

1.1 闵氏时空

根据黎曼几何，线元长度可表示为：

$$ds^2=g_{ij}dx^idx^j$$
设G为狭义相对论空间的度规矩阵,洛伦兹变换L,以及洛伦兹变换下距离不变:
$$G \equiv\begin{pmatrix} g_{11} & g_{12} \\ g_{21} & g_{22} \\ \end{pmatrix} \\ L \equiv \frac{1} {\sqrt{1-v^2}} \begin{pmatrix} 1 & v \\ v & 1 \\ \end{pmatrix}\\[2em] G=LGL^t\\ $$
可以求得G；

$$G\equiv \begin{pmatrix} a & 0 \\ 0 & -a \\ \end{pmatrix} \\ $$

即：

$$ds^2=a(dt^2-dx^2);a\neq 0$$
简单起见令 $a=1$

以上讨论，我们将空间局限在1维上，实际上空间是三维的，三维空间与一维时间合并在一起就是4维时空。空间分量度规应当相同，因此狭义相对论的时空的流形的度规可以表示为：

$$ds^2=dt^2-dx_1^2-dx_2^2-dx_3^2$$
称为闽科夫斯基时空，ds称为 时空间隔。

二 世界线，时间及本征时间

狭义相对论是物理学，应当赋予时空物理意义。

2.1 事件及事件间隔

首先，$(t,x_1,x_2,x_3)$是时空中的一个点，具有唯一的时间和地点，因此代表时空中的一个事件（event）.
两点$(t_0,x_{01},x_{02},x_{03})\;(t_1,x_{11},x_{12},x_{13})$之间的”距离”，

$$s^2=(t_0-t_1)^2-(x_{01}-x_{01})^2-(x_{02}-x_{12})^2-(x_{03}-x_{13})^2$$
s时空间隔是两个时间之间的“距离”，在坐标变换下是不变的，这是个绝对量。

简单起见，下文仍然只讨论一维时间和一维空间。

2.2 世界线

时空中的一条曲线，代表某个质点在时空中的运动轨迹，称为世界线。世界线相交，交点代表一个相遇事件。在惯性系中，某个静止不动的质点，其速度为零，因此其运动轨迹是$t=t,x=a$在闵氏时空中是一条直线。任意一个匀速直线运动的质点，其运动轨迹是$t=t,x=vt$在闵氏时空中仍然是一条直线。在闵氏时空中惯性观者的世界线是一条直线(反之不成立，因为有直线可能是超光速的，比如同时面)。

2.3 类时曲线、固有时

当时空中的曲线，处处有速率$v(t)=dx/dt<1$时，即代表运动速度小于光速时，必有$(1-v^2(t))>0$，此时时空间隔$ds^2=dt^2-dx^2=(1-v^2(t))dt^2 >0$,曲线可以求得线长：$s=\int_0^t\sqrt{(1-v^2(t))}dt$具有时间意义，称为曲线为类时曲线，线长称为沿该曲线运动粒子的本征时间或者固有时。

2.3.1 时钟同步

假设某个惯性观者A（做惯性运动的观察者），以这个惯性观者建立坐标系，则惯性观者的世界线为:
$t=t,x_i=0$
考察其空间间隔：
$ds^2=dt^2 \to s=\int_0^t dt=t$可见时空间隔代表其流逝时间，记为$t_A=t$。
假设有一质点B，在惯性观者的坐标系中做惯性运动，速度为v;
则有其世界线为，$vt=x$；$v<1$，这个时候必有代入时空度规有:

$$ds^2=dt^2-dx^2=(1-v^2)dt^2 \to s_b=\int_0^t\sqrt{(1-v^2)}dt=\sqrt{(1-v^2)}t$$

可见，在惯性观者A看来，B 点在0到t时间内，B的运动时间为t，时空间隔为$t_B=\sqrt{(1-v^2)}t$

B也是惯性运动，在B看来如何呢？根据洛伦兹变换有：

$$\begin{pmatrix} s & y \\ \end{pmatrix}=\frac{1} {\sqrt{1-v^2}} \begin{pmatrix} 1 & -v \\ -v & 1 \\ \end{pmatrix} \begin{pmatrix} t \\ x \\ \end{pmatrix}$$
在时空中A坐标系中三个事件 $e_0 = (0,0),e_1(t,0)和e_2(t,vt)$;用B的本征坐标系来看，坐标分别是：(0,0), $(\frac{t} {\sqrt{1-v^2}},\frac{-vt} {\sqrt{1-v^2}})$和 $(\sqrt{(1-v^2)}t,0)$

可见，A看B在[0,t]时间内运用的时空间隔，$\sqrt{(1-1/v^2)}t$在B看来就是自己走过的时间；在B来看A的时空间隔

$$s_A=\int_0^{\frac{t} {\sqrt{1-v^2}}}\sqrt{(1-v^2)}dt=t$$

限定上面讨论的三个事件，从上面的讨论可以看出：
1. 从固有时来看，A流逝的时间是t，B流逝的时间是$\sqrt{(1-v^2)}t$,这一结论与坐标系无关。
2. 在A看来$e_1,e_2$是同一时刻发生的两件事，但是自己的时间流逝了t,B的时间只流逝了$\sqrt{(1-1/v^2)}t$，因此B 的时间走得慢；
3. 在B看来，$e_1$发生在$\frac{t} {\sqrt{1-v^2}}$时刻,而$e_2$发生在时刻$\sqrt{(1-v^2)}t$,两个事件发生的时间不相同。

不管是从哪个坐标系来看，固有时是不变的，而且相对运动的质点的走时率不一样，一个参考系认为时间同步的，另一个坐标系则时间是不同步的，走时率与时钟同步依赖于坐标系。

如下图，黑色代表A惯性系及该系下的事件坐标，红色代表B惯性系及该系下的事件坐标。

2.4 类光曲线与光子的固有时

光子的速率是1，当$v(t)=dx/dt \equiv 1$是，曲线称为类光曲线，此时时空间隔为：

$$ds^2=dt^2-dx^2=(1-v^2(t))dt^2 \equiv0$$
光子的世界线的参数线长是0，光子固有时恒为零，光子的同时面与世界线重合并且正交。

2.5 类空曲线

当$v(t)=dx/dt \gt 1$是，曲线称为类空曲线，此时时空间隔为：

$$ds^2=dt^2-dx^2=(v^2(t)-1)dx^2 \lt 0$$
有此可得参数线长为虚数，因此对于类空曲线，我们可定义参数线长为: $$l=\int_0^x\sqrt{1-(dt/dx)^2}dx$$
当 $v(t)=dx/dt=\infty$时， $\delta t=0 \to t=c$,此时 $(dt/dx)=0$因此有： $l=\int_0^x\sqrt{1-0}dx=x$
可见其物理意义类似空间距离，类空直线是某个惯性系的同时面。