28．廣義相對性原理的嚴格表述
關燈
小
中
大
現在我們已經有可能提出廣義相對性原理的嚴格表述來代替第１８節中的暫時表達。第１８節中所用的表述形式是，&ldquo對于描述自然現象（表述普遍的自然界定律）而言，所有參考物體Ｋ、Ｋ&rsquo等都是等效的，不論它們的運動狀态如何，&rdquo這個表述形式是不能夠保持下去的，因為，按照狹義相對論的觀念所推出的方法使用剛性參考物體作空時描述，一般說來是不可能的，必須用高斯坐标系代替參考物體。下面的陳述才與廣義相對性原理的基本觀念相一緻：&ldquo所有的高斯坐标系對于表述普遍的自然界定律在本質上是等效的。&rdquo
我們還可以用另一種形式來陳述這個廣義相對性原理。用這種形式比用狹義相對性原理的自然推廣形式更加明白易懂，按照狹義相對論，當我們應用洛倫茲變換，以一個新的參考物體Ｋ&rsquo的空時變量ｘ&rsquo，ｙ&rsquo，ｚ&rsquo，ｔ&rsquo代換一個（伽利略）參考物體Ｋ的空時變量ｘ，ｙ，ｚ，ｔ時，表述普遍的自然界定律的方程經變換後仍取同樣的形式。另一方面，按照廣義相對論，對高斯變量ｘ１，ｘ２，ｘ３，ｘ４應用任意代換，這些方程經變換後仍取同樣的形式；因為每一種變換（不僅僅是洛倫茲變換）都相當于從一個高斯坐标系過渡到另一個高斯坐标系。
如果我們願意固執我們&ldquo舊時代&rdquo的對事物的三維觀點，那麼我們就可以對廣義相對論的基本觀念目前發展的特點作如下的描述，狹義相對論和伽利略區域相關，亦即和其中沒有引力場存在的區域相關。就此而論，一個伽利略參考物體在充當着參考物體，這個參考物體是一個剛體，其運動狀态必須選擇得使&ldquo孤立&rdquo質點作勻速直線運動的伽利略定律相對于這個剛體是成立的。
從某些考慮來看，我們似乎也應該把同樣的伽利略區域引入于非伽利略參考物體。那麼相對于這些物體就存在着一種特殊的引力場（見第２０節和第２８節），在引力場中，并沒有象具有歐幾裡得性質的剛體那樣的東西；因此，虛設的剛性參考物體在廣義相對論中是沒有用處的。鐘的這動也受引力場的影響，由于這種影響，直接借助于鐘而作出的關于時間的物理定義不可能達到狹義相對論中同樣程度的真實感。
由于這個緣故，我們使用非剛性參考物體，這些物體整個說來不僅其運動是任意的，而且在其運動過程中可以發生任何形變。鐘的運動可以遵從任何一種運動定律，不論如何不規則，但可用來确定時間的定義。我們想象每一個這樣的鐘是在非剛性參考物體上的某一點固定着。這些鐘隻滿足這樣的一個條件，即從（空間中）相鄰的鐘同時觀測到的&ldquo讀數&rdquo彼此僅相差一個無窮小量。這個非剛性參考物體（可以恰當地稱作&rdquo軟體動物參考體&rdquo）基本上相當于一個任意選定的高斯四維坐标系。與高斯坐标系比較，這個&ldquo軟體動物&rdquo所具有的某些校易理解之處就是形式上保留了空間坐标和時間坐标的分立狀态（這種保留實際上是不合理的）．我們把這個軟體動物上的每一點當作一個空間點，相對于空間點保持靜止的每一個質點就當作是靜止的，如果我們把這個軟體動物視為參考物體的活。廣義相對性原理要求所有這些軟體動物都可以用作參考物體來表述普遍的自然界定律，在這方面，這些軟體動物具有同等的權利，也可以取得同樣好的結果；這些定律本身必須不随軟體動物的選擇而變易。
由于我們前面所看到的那些情況，廣義相對性原理對自然界定律作了一些廣泛而具明确性的限制，廣義相對性原理所具有的巨大威力就在于此。
我們還可以用另一種形式來陳述這個廣義相對性原理。用這種形式比用狹義相對性原理的自然推廣形式更加明白易懂，按照狹義相對論，當我們應用洛倫茲變換，以一個新的參考物體Ｋ&rsquo的空時變量ｘ&rsquo，ｙ&rsquo，ｚ&rsquo，ｔ&rsquo代換一個（伽利略）參考物體Ｋ的空時變量ｘ，ｙ，ｚ，ｔ時，表述普遍的自然界定律的方程經變換後仍取同樣的形式。另一方面，按照廣義相對論，對高斯變量ｘ１，ｘ２，ｘ３，ｘ４應用任意代換，這些方程經變換後仍取同樣的形式；因為每一種變換（不僅僅是洛倫茲變換）都相當于從一個高斯坐标系過渡到另一個高斯坐标系。
如果我們願意固執我們&ldquo舊時代&rdquo的對事物的三維觀點，那麼我們就可以對廣義相對論的基本觀念目前發展的特點作如下的描述，狹義相對論和伽利略區域相關，亦即和其中沒有引力場存在的區域相關。就此而論，一個伽利略參考物體在充當着參考物體，這個參考物體是一個剛體，其運動狀态必須選擇得使&ldquo孤立&rdquo質點作勻速直線運動的伽利略定律相對于這個剛體是成立的。
從某些考慮來看，我們似乎也應該把同樣的伽利略區域引入于非伽利略參考物體。那麼相對于這些物體就存在着一種特殊的引力場（見第２０節和第２８節），在引力場中，并沒有象具有歐幾裡得性質的剛體那樣的東西；因此，虛設的剛性參考物體在廣義相對論中是沒有用處的。鐘的這動也受引力場的影響，由于這種影響，直接借助于鐘而作出的關于時間的物理定義不可能達到狹義相對論中同樣程度的真實感。
由于這個緣故，我們使用非剛性參考物體，這些物體整個說來不僅其運動是任意的，而且在其運動過程中可以發生任何形變。鐘的運動可以遵從任何一種運動定律，不論如何不規則，但可用來确定時間的定義。我們想象每一個這樣的鐘是在非剛性參考物體上的某一點固定着。這些鐘隻滿足這樣的一個條件，即從（空間中）相鄰的鐘同時觀測到的&ldquo讀數&rdquo彼此僅相差一個無窮小量。這個非剛性參考物體（可以恰當地稱作&rdquo軟體動物參考體&rdquo）基本上相當于一個任意選定的高斯四維坐标系。與高斯坐标系比較，這個&ldquo軟體動物&rdquo所具有的某些校易理解之處就是形式上保留了空間坐标和時間坐标的分立狀态（這種保留實際上是不合理的）．我們把這個軟體動物上的每一點當作一個空間點，相對于空間點保持靜止的每一個質點就當作是靜止的，如果我們把這個軟體動物視為參考物體的活。廣義相對性原理要求所有這些軟體動物都可以用作參考物體來表述普遍的自然界定律，在這方面，這些軟體動物具有同等的權利，也可以取得同樣好的結果；這些定律本身必須不随軟體動物的選擇而變易。
由于我們前面所看到的那些情況，廣義相對性原理對自然界定律作了一些廣泛而具明确性的限制，廣義相對性原理所具有的巨大威力就在于此。