從兩條假設到一套幾何
在第一冊裡，你把狹義相對論當成一組令人驚訝的規則：動鐘變慢、動尺變短、同時性是相對的。這些規則全都源自兩條假設——相對性原理與光速不變性。但把相對論當成一串效應來學，就像把幾何當成一串三角形事實來背。這條學習線反其道而行：我們先建立幾何，再讓那些效應成為幾何投下的影子。
這個核心轉變由閔可夫斯基於1908年提出：不再把空間與時間分開看，而是融合成單一舞台,稱為時空。時空中的一個點是一個事件——一個地點加上一個時刻,像是「此地、此刻」。一個粒子在時空中描出一條事件曲線,稱為它的世界線。不同的慣性觀者會用不同方式把這塊四維方塊切成「空間」與「時間」,就像兩個人把一條吐司傾斜不同角度、切出不同的切片。相對論研究的,就是重新切片時「什麼保持不變」。
不變的時空間隔
不同觀者對兩事件之間的時間間隔 \Delta t 、以及它們之間的空間距離 \Delta r 各執一詞。牛頓認為 \Delta t 是絕對的;相對論說它不是。那麼觀者們究竟同意什麼?答案就是這條學習線裡最重要的物件:不變間隔,它用一個關鍵的負號把時間與空間結合起來。
兩事件之間的不變間隔。儘管每個慣性觀者量到不同的 \Delta t 與 \Delta x,他們算出的 s^2 卻完全相同。
那個負號就是全部的關鍵。在一般空間中,距離 \Delta r^2 = \Delta x^2 + \Delta y^2 + \Delta z^2 是旋轉所保持的量——你轉頭,某點的座標改變了,但它到你的距離沒變。在時空中,改變慣性參考系扮演旋轉的角色,而 s^2 就是它所保持的量。時間帶著 $+$ 進入、空間帶著 $-$(或反過來,視慣例而定),正是這個唯一的符號差,使時間不同於空間,卻仍活在同一套幾何裡。
因果結構與光錐
因為 s^2 可正、可零、可負,時空間隔便分成三種,而這個符號與參考系無關——它是關於一對事件的真實物理事實。
三種因果類別。類時分隔的事件可由低於光速的訊號相連;類光的只能由光線相連;類空的則完全無法相連。
把時間畫成向上、空間畫成橫向:通過某事件的所有類光方向構成光錐。未來光錐內的事件可以從此處以不超過光速抵達——你可以造成它們。過去光錐內的事件則可能造成了你。光錐之外的一切都是類空分隔:沒有訊號能把它與你相連,因此連「它發生在『現在』之前還是之後」都沒有觀者能達成共識。這就是為何 c 不只是一個速度,而是宇宙的因果速度上限。
這條學習線的走向
有了間隔與光錐,這條線其餘部分就是一趟導覽,帶你認識使協變相對論如此強大的機制。指南2會證明:改變參考系——一次勞侖茲推進(boost)——實際上就是時空中的一次旋轉,只是雙曲型的。指南3引入四維向量,這個自然物件像座標一樣變換,其「長度」自動就是不變量。指南4建立四維動量,並把 E=mc^2 與 E^2=(pc)^2+(mc^2)^2 當作純粹幾何推導出來。指南5攀升到二階張量、電磁場張量與應力-能量張量,並指出通往廣義相對論的道路。