@wzq绥远氧气我们一步一步来
首先,楼主狭义相对论至少看过吧,也就是在平直时空的闵氏惯性坐标系中,√-dS^2/c就代表固有时,为什么?
首先,什么叫固有时?就是选定一个过程,观测对象自己看自己的标准钟测出的时间
以惯性系的静止观者为例,他看自己时,自己相对自己是不动的,因此dS中空间项都没有了,只剩 dS^2=-(cdt)^2,所以√-dS^2/c=dt,这个dt就是该系的时间,也是静止观测手上标准钟的时间,因此是固有时
而dS是坐标变换不变量,那么换一个惯性坐标系,看刚说的那个观者(变成匀速运动的了),他的√-dS^2/c依然等于他自己看自己流逝的时间,也就是固有时
这就是说,在惯性坐标变换下,√-dS^2/c代表一个对象的固有时(但目前只说到对象的世界线都是直线,代表相互匀速运动)
那如果是平直时空的任意坐标系,不一定是惯性系呢,比如刚这个观测者是作变速运动的,那这个量还能代表固有时吗?答案是肯定的。
首先,选取一个惯性坐标系(这是由时空平直才能做到的),该观者的世界线是一段曲线。刚才我们分析两个互相匀速运动的观者,是先从其中一个自己看自己世界线长是代表固有时,然后再推导别人看他的世界线长也是固有时的。
现在要反过来,因为我们不能随意先验地说,他自己看自己的世界线长还是固有时了,因为这里是非惯性系,他看自己的dS^2=g00dx0^2,我们不能不推导就随便说,这个式子还是代表他看自己的标准钟流逝的时间。我们要反过来,先分析别人(惯性观者,世界线为直线的观者)看他,dS的积分肯定还是固有时。为什么呢?
我们前面说过,惯性观者互相看肯定世界线长就是固有时,那么为何一个惯性观者看一条为曲线的世界线也代表那个变速运动观者的固有时呢?因为在他看来,这条曲线是无穷多直线段组成的,dS的积分正是这种方法求极限的结果,这里基于的假设就是“时空是连续平滑的”,或者说“运动是连续平滑的”。而每条“小直线段”肯定代表固有时,因此整条曲线长也代表他的固有时。
那他自己看自己呢,他自己看自己,无非是一种坐标变换,就是从刚才那个惯性观者看他,切换到自己的非惯性系看自己,看的对象都是自己,没变,只是坐标系变了,前面说了,dS是坐标变换不变量,因此在任意坐标系下,世界线长度就是固有时。
不过上面说的,全是平直时空(狭义相对论)的情况,那么弯曲时空(广义相对论)呢?
这就不得不借助强等效原理了。前面有句话,“首先,选取一个惯性坐标系(这是由时空平直才能做到的)”,问题弯曲时空是做不到这一点的。不过好就好在,有强等效原理,虽然我们没法建立全局惯性坐标系,但可以建立一个观测对象的局部惯性坐标系来描述它。该观测对象的dS=guvdxudxv,虽然我们没法建立一个坐标系使度规全场都变换回归[-1 1 1 1],但根据强等效原理,在计算dS的时候,必然可以用一个惯性坐标系来描述,为什么呢?因为dS本来就是时空无穷小局部的线元。
那现在问题就差不多可以收尾了,既然计算dS时,在局部可以用一个惯性坐标系描述,那么根据狭义相对论,局部的这个dS就可以代表固有时,而dS是坐标变换不变量。也就是说,任意形态时空任意坐标系一个观测对象的世界线长,都是由dS积分出来的,那么也是固有时。
所以结论:任意形态时空任意坐标系下,√-dS^2/c就是固有时。