線元（line element）

站在一點，邁出由座標增量 dx^i 描述的無窮小一步。這一步以真實物理距離計有多長？在帶笛卡爾座標的平面上，答案是勾股式 ds = sqrt(dx^2 + dy^2)。線元就是這個問題在任意空間上的一般答案：一個給出微小位移長度平方的公式，記作 ds^2，它是封裝一個空間幾何最緊湊的方式。

線元是度規張量穿上工作服的樣子：ds^2 = g_{ij} dx^i dx^j，對 i 與 j 作愛因斯坦求和。每一項告訴你某一座標方向上的一步，或兩座標合成的一步，貢獻多少真實長度。一旦有了 ds^2，你便能還原一切度量量：有限曲線的長度是沿線對 ds 積分（對參數 t 積分 sqrt(g_{ij} (dx^i/dt)(dx^j/dt)) dt），面積與體積來自適當 ds 片段的乘積，角度來自交叉項。實際上，寫下線元是物理學家指定一個幾何的標準方式——你給出 ds^2 與整個度規，整個微分幾何隨之而來。

線元在應用微積分與物理中無處不在。你在大一微積分裡見過的弧長積分 ds = sqrt(1 + (dy/dx)^2) dx，就是一維線元。在曲線座標中，出現在梯度、散度、旋度公式裡的標度因子，恰恰就是從線元讀出的對角度規元的平方根。在狹義相對論中，時空線元 ds^2 = -c^2 dt^2 + dx^2 + dy^2 + dz^2（閔可夫斯基）是所有觀察者都認同的不變間隔，而把它替換為隨位置變化的 g_{ij}，便是廣義相對論描述引力的方式。誠實的提醒：在相對論中 ds^2 可負可零，所以 ds 不總是真實長度——它的符號把間隔分類為類時、類空或類光。