JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

彎曲時空與度規

單一個物件——度規張量——如何編碼距離、時間,以及一個可能彎曲的時空的整個幾何。

舞台:時空與它的間隔

狹義相對論教我們不再分開看待空間與時間,而是在四維時空中工作。它的關鍵量是兩個鄰近事件之間的不變間隔 ds——時空中一段人人都同意的「距離」,儘管他們對各自的空間與時間間距意見不合。在狹義相對論的平坦時空中,取直角座標、號差 $(-,+,+,+)$:

ds^2 = -c^2\,dt^2 + dx^2 + dy^2 + dz^2

閔可夫斯基間隔。時間前的那個負號,正是時空有別於一般四維空間之處。

對於慢於光的有質量物體,ds^2<0,我們定義原時 \tau——沿該世界線攜帶的時鐘實際走過的時間。它就是在物體自身參考系中量得的間隔:

d\tau^2 = -\frac{ds^2}{c^2}

原時是一條世界線的幾何長度。記住這一點——自由落體最終會使它取極大。

度規張量:幾何盡在一物

要描述一個彎曲的時空,我們不能倚賴固定的閔可夫斯基係數。我們讓係數隨位置變動,並把它們打包進度規張量 g_{\mu\nu}。間隔化為對所有座標配對的求和(採愛因斯坦約定:重複指標即求和):

ds^2 = g_{\mu\nu}\,dx^\mu dx^\nu

度規是廣義相對論的主宰物件:給我 g,我就能算出每一段長度、角度、時間與因果關係。

從內部就能量測的曲率

一個被困在空間內部、毫無外部視角的存在,如何能判斷空間是否彎曲?高斯替曲面回答了這個問題:曲率是內稟的,完全在曲面之內做測量即可偵測。畫一個大三角形:在平面上,它的內角和恰為 180^\circ;在球面上,和大於此;在馬鞍面上,小於此。量測半徑 r 的圓周長:在彎曲曲面上,它不等於 2\pi r

為何時間曲率才是主角

這裡有一個值千金的微妙處。在質量附近,主導慢速物體運動的度規分量,是時間-時間部分 g_{tt}。在弱場極限下,它取如下形式(其中 \Phi 是我們熟悉的牛頓重力位能,例如 \Phi=-GM/r):

g_{tt} \approx -\left(1 + \frac{2\Phi}{c^2}\right)c^2

牛頓位能就埋藏在時間流逝的速率裡。井越深(Φ 越負),時鐘走得越慢。

單這一個分量,就替日常慢速物質重現了全部牛頓重力——指南 3 會明白地示範。直觀地說,靜止的蘋果仍在時間中前進;因為它的時鐘在近地面處走得稍慢,它穿越時空的最直路徑便向下彎折,我們就體驗為下落。對光這類快速物體,度規的空間部分貢獻同樣多——這正是為何在指南 5 中,光彎折的量是天真估計的兩倍

運用度規:升降指標

度規也給了我們在兩種分量之間轉換的工具——逆變(上標)與協變(下標)。它的矩陣逆 g^{\mu\nu} 定義為:

g^{\mu\alpha}\,g_{\alpha\nu} = \delta^{\mu}{}_{\nu}

逆度規升指標(V^mu = g^{mu nu} V_nu);度規本身降指標。這是張量計算的日常文法。

有了度規,我們就能量測任何四維向量的長度、為任何世界線計時、並辨識出分隔因與果的光錐。我們還做不到的,是說出一個自由粒子究竟如何在這幾何中運動。那就是下一份指南:測地線。