查看“︁Testwiki:臺灣教育專案/臺大物理系服務學習/112-2/固有長度”︁的源代码

{{For|宇宙學中的固有距離|同移距離}} 

'''固有長度'''<ref name=fayngold>{{cite book |author=Moses Fayngold |title=Special Relativity and How it Works |location=John Wiley & Sons |year=2009 |isbn=978-3527406074}}</ref> 或 '''靜止長度'''<ref name=franklin>{{cite journal |author=Franklin, Jerrold |title=Lorentz contraction, Bell's spaceships, and rigid body motion in special relativity |journal=European Journal of Physics |volume=31 |year=2010 |pages=291–298 |doi=10.1088/0143-0807/31/2/006 |bibcode = 2010EJPh...31..291F |issue=2 |arxiv = 0906.1919 |s2cid=18059490 }}</ref> 是指物體的[[靜止參考系|靜止參考系]]中的物體長度。

在相對論中，測量距離比在[[經典力學]]中要複雜。在經典力學中，長度的測量基於假設所有相關點的位置同時被測量。但在相對論中，[[相對同時|同時]]與否是取決於觀察者的。

另外一個術語，{{tsl|en|Invariant interval||時空間隔}}提供了對任意觀察者而言皆相同的測量定義。

與固有長度類似的還有[[原時|固有時間]]。二者的不同之處在於，固有長度定義在兩個類空（Spacelike）間隔事件之間，固有時間定義在兩個類時（Timelike）間隔事件之間。

== 固有長度或靜止長度 ==
物體的固有長度<ref name=fayngold />或靜止長度<ref name=franklin />是與被測量物體相對靜止的觀察者透過標準量尺所測得的物體長度。在靜止參考系中，物體端點不需同時被測量，因為在靜止參考系中物體端點始終靜止，因此長度測量與 Δt 無關。長度由下式給出：

:<math>L_{0} = \Delta x.</math>

然而在與物體有相對速度的參考系中，物體的兩端點可能會移動，所以若想量得物體的長度，則需同時測量兩端點。最終量得的長度會相對物體的靜止長度短，其由[[長度收縮]]的關係式給出(式中''γ''為[[勞侖茲因子]])：

:<math>L = \frac{L_0}{\gamma}.</math>
 
另外，兩個發生於物體兩端點的事件的時空間隔由下式給出：

:<math>\Delta\sigma = \sqrt{\Delta x^2 - c^2 \Delta t^2}.</math>

可以看到Δ''σ''取決於Δ''t''，但物體的靜止長度''L''<sub>0</sub>不取決於Δ''t''，這導致只有在Δ''t''於靜止參考系下為0時，也就是在靜止參考系下測量事件同時發生，在物體兩端點測量Δ''σ''和''L''<sub>0</sub>才會相等。如Fayngold<ref name=fayngold />所解釋

:p. 407: 「注意到兩個事件之間的'''時空間隔'''通常不同於恰好與這兩事件重合的物體的'''固有長度'''。考慮一根有恆定固有長度''l''<sub>0</sub>的實心棒。如果你在相對棒的靜止參考系''K''<sub>0</sub>中，並且你想測量其長度，你可以先標記其兩端點。而且在 K0 中，並不需要同時標記這些端點。你可以現在標記一端（在時刻''t''<sub>1</sub>），然後在''K''<sub>0</sub>中稍後標記另一端（在時刻''t''<sub>2</sub>），然後再測量標記之間的距離。我們甚至可以將這種測量方式視為固有長度的一種操作性定義。從實驗物理學的角度來看，對於形狀和大小恆定的靜止物體，同時標記端點的要求是多餘的，在這種情況下可以將此要求從這種定義中去除。由於棒在''K''<sub>0</sub>中是靜止的，標記之間的距離是棒的固有長度，無論兩次標記之間的時間間隔如何。另一方面，如果標記不是在''K''<sub>0</sub>中同時進行的，這些標記事件之間的距離就不是固有距離。」

== 平直空間中兩事件間的時空間隔 ==

在[[狹義相對論]]中，當測量事件在[[慣性參考系]]中同時發生，兩個類空間隔的事件的時空間隔即是兩事件間的距離。<ref>{{cite book |title=Gravity: Newtonian, Post-Newtonian, Relativistic |edition=illustrated |first1=Eric |last1=Poisson |first2=Clifford M. |last2=Will |publisher=Cambridge University Press |year=2014 |isbn=978-1-107-03286-6 |page=191 |url=https://books.google.com/books?id=PZ5cAwAAQBAJ}} [https://books.google.com/books?id=PZ5cAwAAQBAJ&pg=PA191 Extract of page 191]</ref><ref>{{cite book |title=Relativistic Celestial Mechanics of the Solar System |first1=Sergei |last1=Kopeikin |first2=Michael |last2=Efroimsky |first3=George |last3=Kaplan |publisher=John Wiley & Sons |year=2011 |isbn=978-3-527-63457-6 |page=136 |url=https://books.google.com/books?id=uN5_DQWSR14C}} [https://books.google.com/books?id=uN5_DQWSR14C&pg=PA136 Extract of page 136]</ref>在此情形下，距離由下式給出：

<math display="block">\Delta\sigma=\sqrt{\Delta x^2 + \Delta y^2 + \Delta z^2} ,</math>

此處
* Δ''x''、Δ''y''和Δ''z''是兩事件在[[線性關係|線性]][[正交|正交]]的[[三維空間|三維空間]]中的空間座標差。

這個定義可以透過下式等效的被推廣到所有慣性參考系(不要求兩事件同時發生)：

<math display="block">\Delta\sigma = \sqrt{\Delta x^2 + \Delta y^2 + \Delta z^2 - c^2 \Delta t^2},</math>

此處
* Δ''t''是兩事件的[[時間]]座標差
* ''c''是[[光速]]

由於時空間隔的不變性，並且當兩事件同時發生，Δ''t'' = 0，上兩式是等價的。

兩個事件是類空間隔的，若且唯若上式的Δ''σ''是正實數。

== 路徑的時空間隔 ==

上述計算兩個事件之間時空間隔的公式假設兩事件發生的時空是平坦的。因此，上述公式一般不能用於考慮彎曲時空的[[廣義相對論]]。然而，可以在任何時空中定義沿著[[道路(拓樸學)|路徑]]的固有距離，無論是平坦的還是彎曲的。在平坦時空中，兩個事件之間的時空間隔是沿著兩個事件之間的直線路徑的時空間隔。但在彎曲時空中，兩個事件之間可能存在多條直線路徑（{{tsl|en|Geodesic (general relativity)||測地線}}），因此，沿著直線路徑的時空間隔並不能唯一地定義兩個事件之間的時空間隔。

任意類空路徑''P''的時空間隔透過[[曲線積分]]寫成以下張量形式

<math display="block">L = c \int_P \sqrt{-g_{\mu\nu} dx^\mu dx^\nu} ,</math>

此處
* ''g<sub>μν</sub>'' 是該處[[時空]][[坐標系|座標]]的{{tsl|en|metric tensor (general relativity)||度規張量}}
* ''dx<sup>μ</sup>'' 是路徑''P''上相鄰事件的 [[坐標系|座標]]間隔

在上述方程中，度量張量採用'''<code>+---</code>'''{{tsl|en|metric signature||度規記號}}，並假設其積分後的因次是時間而不是距離。若度量張量使用'''<code>-+++</code>'''度規記號，則應去掉式中的負號。此外，如果積分後的因次是距離，或使用[[幾何化單位]]，則應去掉方程中的<math>c</math>。

== 相關條目 ==
*[[時空]]
*[[原時]]
*[[同移距离]]
*[[相對同時]]

== 參考文獻 ==
{{reflist}}

[[Category:相对论|Category:Theory of relativity]]