查看“︁狭义相对论”︁的源代码

{{多個問題|
{{expand language|1=en|page=|time=2019-09-11T18:58:55+00:00}}
{{refimprove|time=2019-09-11T18:58:55+00:00}}
{{expert|time=2011-3-16}}
}}
{{For|'''狭义相对论'''发现和形成的历史|狭义相对论发现史}}
{{参见简介}}

{{NoteTA|G1=物理學}}
-{zh-hant:[[File:World line (zh-hant).svg|300px|right|thumb|[[光锥|光錐]]是在[[閔考斯基時空]]下能夠與一個單一事件通過[[光速]]存在[[因果聯繫]]的所有點的集合。]];zh-hans:[[File:World line (zh-hans).svg|300px|right|thumb|[[光锥]]是[[闵可夫斯基时空]]下能够与一个单一事件通过[[光速]]存在[[因果联系]]的所有点的集合。]]}-

'''狭义相对论'''（{{lang-en|Special relativity}}）是由[[阿尔伯特·爱因斯坦]]、[[亨德里克·洛仑兹]]和[[亨利·庞加莱]]等[[物理學家]]创立的一個應用在[[惯性参考系]]下的[[时空]]理论，是对[[牛顿时空观]]的拓展和修正。爱因斯坦在其於1905年完成的論文《[[論動體的電動力學]]》中提出了狭义相对论<ref name=electro>Albert Einstein (1905) "[https://web.archive.org/web/20050220050316/http://www.pro-physik.de/Phy/pdfs/ger_890_921.pdf ''Zur Elektrodynamik bewegter Körper'']", ''Annalen der Physik'' 17: 891; 英文翻譯為George Barker Jeffery和 Wilfrid Perrett翻譯的[http://www.fourmilab.ch/etexts/einstein/specrel/www/ On the Electrodynamics of Moving Bodies] {{Wayback|url=http://www.fourmilab.ch/etexts/einstein/specrel/www/ |date=20110425235615 }}(1923); 另一版英文翻譯為Megh Nad Saha翻譯的[[s:On the Electrodynamics of Moving Bodies|On the Electrodynamics of Moving Bodies]](1920).</ref>。

[[牛顿力学]]是狭义相对论在低速情况下的近似。

== 背景 ==
=== 伽利略变换与电磁学理论的不自洽 ===
在19世纪末，以[[麦克斯韦方程组]]为核心的经典电磁理论的正确性已經被大量实验所证实，但麦克斯韦方程组在[[经典力学]]中的[[伽利略变换]]下並不具有[[共變和反變|协变性]]，而经典力学中的[[相对性原理]]则要求一切物理规律在伽利略变换下都具有协变性。

=== 以太假说 ===
为了解决这一矛盾，物理学家們提出了“[[以太假说]]”，即放弃[[相对性原理]]，认为麦克斯韦方程组只对一个绝对参考系（[[以太]]）成立。根据这個假说，由麦克斯韦方程组计算得到的真空光速是相对于绝对参考系（以太）的速度；在相对于“以太”运动的参考系中，光速具有不同的数值<ref>{{Cite web|url=http://www.qzedu.gov.cn:8000/tbfd/gzpdx/tbfd/g2wl/g2wl16/zstz-2.htm|title=知识拓展|accessdate=2013-10-06|work=钦州教育信息网|deadurl=yes|archiveurl=https://web.archive.org/web/20150610215744/http://www.qzedu.gov.cn:8000/tbfd/gzpdx/tbfd/g2wl/g2wl16/zstz-2.htm|archivedate=2015-06-10}}</ref>。

=== 实验的结果——零结果 ===
[[Image:Fizeau-Mascart2.png|300px|thumb|菲索实验的設置]]
[[File:Michelson morley experiment 1887.jpg|thumb|300px|迈克耳孙與莫雷的干涉儀設置，其安裝在一塊漂浮在圓形水銀槽上方。]]
但[[斐索实验]]和[[迈克耳孙-莫雷实验]]表明了光速跟参考系的运动无关。该实验结果否定了以太假说，並表明相对性原理的正确性。[[亨德里克·洛伦兹]]把伽利略变换修改为[[洛伦兹变换]]，在洛伦兹变换下，麦克斯韦方程组具有相对性原理所要求的协变性。洛伦兹的假说解决了上述的矛盾，但他不能对洛伦兹变换的物理本质做出合理的解释。随后数学家[[亨利·庞加莱]]猜测洛伦兹变换其實和时空性质有关。

== 爱因斯坦的狭义相对论 ==
[[File:Einstein patentoffice.jpg|thumb|left|150px|年輕的愛因斯坦在1905年（愛因斯坦奇蹟年）發表了六篇劃時代的論文。]]
[[阿尔伯特·爱因斯坦]]意识到[[伽利略变换]]实际上是牛顿经典时空观的体现，如果承认“真空中的光速独立于参考系”这一实验事实为基本原理，可以建立起一种新的时空观（相对论时空观）。在这一时空观下，由[[相对性原理]]即可导出[[洛伦兹变换]]。1905年，爱因斯坦发表论文《论动体的电动力学》，建立'''狭义相对论'''，成功描述了在亚光速领域宏观物体的运动。

=== 狭义相对论的基本原理 ===
* [[光速不变原理]]。
在所有惯性系中，[[真空]]中的[[光速]]都等于<math>c=\frac{1}{\sqrt{\mu_0\epsilon_0}}=</math>299 792 458 m/s（<math>\mu_0</math>：[[真空磁导率]]，<math>\epsilon_0</math>：[[真空介电常数]]），与光源运动无关。
* [[狭义相对性原理]]。
在所有惯性系中，物理定律擁有相同的表达形式，这是[[力学]]相对性原理的推广，它适用于天下所有物理定律，其本质是所有惯性系平权。

狭义相对论是仅描述[[平直线性的时空]]（指没有引力的，即闵可夫斯基时空）的相对论理论。牛顿的时空观认为运动空间是[[平直非线性的时空]]，可以用一个三维的速度空间来描述；时间并不是独立于空间的单独一维，而是空间坐标的自变量。

狭义相对论同样认为空间和时间并不是相互独立的，而它们应该用一个统一的四维时空来描述，并不存在绝对的[[空间]]和[[时间]]。在狭义相对论中，整个[[时空]]仍然是平直线性的，所以在其中就存在“全局惯性系”。狭义相对论将「[[真空]]中，[[光速]]为[[常数]]」作为基本假设，结合[[狭义相对性原理]]和上述时空的性质可以推出[[洛伦兹变换]]。

狭义相对论描述的是时空的基本结构。尽管其中一条原理提到了“[[光]]”（电磁波）的速度，但狭义相对论与光并没有任何关联。真空中的“光速”是一个基本常数，只是光恰好以这个速度运动而已。即便宇宙中所有电荷消失即不存在任何电磁现象，狭义相对论依然成立<ref>{{Cite book|title=电动力学导论（第4版）|last=Griffiths|first=David J.|publisher=机械工业出版社|year=2021|isbn=978-7-111-67807-6|location=北京|pages=508}}</ref>。

=== 洛伦兹坐标变换 ===
狭义相对论中，[[洛伦兹变换]]描述时空中两个惯性参考系的时间、空间坐标之间的变换关系的。它最早由[[洛伦兹]]从以太说推出，用以解决经典力学与经典电磁学间的矛盾（即迈克耳孙-莫雷实验的零结果）。后被爱因斯坦用于狭义相对论。

==== 形式 ====
当两个参考系 <math display="inline">s</math> 与 <math>s'</math> 在时刻 <math>t=0</math> 时重合，且 <math>s'</math> 相对 <math>s</math> 以速度 <math>v</math> 沿 <math>x</math> 轴正方向运动时，一个事件在 <math>s</math> 系的坐标 <math>(x,y,z,t)</math> 与在 <math>s'</math> 系的坐标 <math>(x',y',z',t')</math> 满足以下关系：

:<math>x' = \frac{x-vt}{\sqrt{1-\frac{v^2}{c^2}}}</math>
:<math>y' = y</math>
:<math>z' = z</math>
:<math>t' = \frac{t-\frac{v}{c^2}x}{\sqrt{1-\frac{v^2}{c^2}}}</math>

或使用矩阵乘法的形式，写作：

:<math>
\begin{bmatrix}x'\\ct'\end{bmatrix} = 
\begin{bmatrix}
\gamma&-\beta\gamma\\
-\beta\gamma&\gamma
\end{bmatrix}\begin{bmatrix}x\\ct\end{bmatrix}</math>

其中

:<math>\beta = \frac{v}{c}</math>
:<math>\gamma = \frac{1}{\sqrt{1-\frac{v^2}{c^2}}}</math>，称为[[洛伦兹因子]]。

用[[张量]]表示方法可以简单的表示为

<math>x'_i = a_{ij} x_j</math>

其中
<math>x'_i=\begin{bmatrix}x'\\ct'\end{bmatrix}</math>；
<math>x_j=\begin{bmatrix}x\\ct\end{bmatrix}</math>；
<math>a_{ij}=\begin{bmatrix}
\gamma&-\beta\gamma\\
-\beta\gamma&\gamma
\end{bmatrix}</math>

==== 推导 ====
==== 注意事项 ====
# 洛伦兹变换要求 <math>t=0</math> 时，<math>x=0</math>，<math>y=0</math>，<math>z=0</math>，且相对速度仅有 <math>x</math> 分量

=== 时间膨胀（爱因斯坦延缓） ===
當物體運動時，它的一切（物理、化學變化）从参照系的角度来看都會變慢，就是[[時間膨脹]]（簡稱[[時間膨脹|時慢]]）。等速運動的物體帶在身上的時鐘，用靜系觀察者的時鐘去測量，不論運動方向，測量結果動鐘都隨著運動速度增加而變慢。光速运动的物体（如光子）在时间轴上的分量为零，它的时间是静止的。速度低于光速的物体，其时间膨胀的程度遵循洛仑兹变换<math>\ t = \frac{t_0}{\sqrt{1 - ( \frac{v}{c} )^2}}</math>
。

動系的時間膨脹率 = [[勞侖茲因子]] <math>\gamma</math>,

爱因斯坦利用[[畢氏定理]]([[勾股定理]])以及假設光速對任何相對等速運動的觀察者都一樣就推論出:

動鐘計時值 <math>t'</math> = 靜鐘計時值 <math>t</math> <math>\times</math> 勞侖茲因子 <math>\gamma</math>

假如有一個[[絕對靜止系]]，顯然，我們就可以測得各種物體的[[絕對時慢]]。所以處於[[相對靜止系]]的我們，所得之一切[[時慢]]之觀測值，都是[[相對時慢]]的觀測值。例如由勞侖茲變換的假說去推論，在動系的觀察者就測量出靜系的時間膨脹: <math>t' = \gamma t</math>, 同時也測量出靜系的長度縮收: <math>x' = \frac{x}{\gamma}</math> 

注意: 這裡假設的[[時間膨脹率]]，絕非只因為[[都卜勒效應]]讓[[時頻]]變低的[[視值]]。假設的[[時間膨脹率]]只跟[[受測物]]的[[相對速度]]有關，與[[近接]]或[[遠離]]的方向無關。[[遠離]]的[[都卜勒效應]][[時頻視值]]<math>F_\gamma=\cfrac{c}{c+v'}F</math>是變慢的，但[[近接]]的[[都卜勒效應]][[時頻視值]]<math>F_a=\cfrac{c}{c-v'}F</math>是變快的。按照
爱因斯坦延缓假說，對靜系觀察者來說不論近接或遠離，動系通過一段固定距離的時間都加長了。 也就是說通過那段固定距離的動系速度<math>v'</math>被靜系觀察者計算成比較慢的<math>v</math>，慢率是勞侖茲因子， <math>v=\cfrac{v'}{\gamma}</math>。所以靜系觀察者所測出的都卜勒效應被爱因斯坦延缓假說修改成為: <math>F_\gamma=\cfrac{c}{c+\tfrac{v'}{\gamma}}F</math> 和 <math>F_a=\cfrac{c}{c-\tfrac{v'}{\gamma}}F</math>。

=== 长度收缩（洛伦兹收缩） ===
<math>\ L = L_0 \sqrt{1 - \left(\frac{v}{c}\right)^2} </math>

[[勞侖茲收縮]]就是指相對于某物體運動的觀測者觀測，在運動的那個軸向的長度，會比相對于物體靜止的觀測者觀測到的同一長度要短。其收縮率，就是[[勞侖茲因子]]。其它軸向的長度，並不會有影響。

[[邁克生-莫雷實驗]]那種實驗，就是[[勞侖茲收縮]]的最佳証明。

當然，被[[勞侖茲收縮]]的人事物本身，並不會察覺到被收縮；從靜系看來，[[動系]]上的觀測者，就像拿著一根被收縮的尺，去測量被收縮的物體。

但是，因為[[絕對靜止系]]不可得，所以我們僅能測得[[相對短縮]]。因為我們不知道自己設定的[[靜止參考系]]，是否真的比我們要測的運動物體還要靜止。

假如[[運動物體]]上面有個[[觀測者]]，他又設定他的[[慣性系]]才是靜止的，那我們就變成他的[[動系]]了。當他觀測我們時，我們才是被收縮的一方，而他是正常的一方。

另外，勞侖茲收縮率，從移動電荷所產生的電場推遲的效應，也就可以推出來。

高速運動電荷產生的電場形變之等勢面，因為電場傳播不是無限快，所以必定會產生推遲，所以它向四周散發出的電場之等勢面，就不再是[[正球面對稱]]了。

=== 同时的相对性 ===
因為[[絕對靜止系]]不可得，所以各[[慣性系]]的觀測者，對於兩事件發生，僅能作出是否[[相對同時]]的判斷，而沒有辦法作出是否[[絕對同時]]的判斷，除非兩事件发生在同一时空点上。

當慣性系中的觀測者，在對該系中的有距離之兩鐘，進行[[校正時]]，他把[[同步]][[訊號源]]放在兩鐘的正中央，同步[[脈波]]呈[[球面對稱]]，半徑光速擴展，當鐘被同步[[波緣]]觸及時，即[[歸零]] (或[[重置]]在相同的計時初值)，此時兩鐘的計時步調，即[[相對同步計時]]，有時也簡稱[[相對同時]]。

=== 相对论质量 ===
{{main|狹義相對論中的質量}}
<math>m = \frac{m_0}{\sqrt{1 - \left(\frac{v}{c}\right)^2}}</math>

m<sub>0</sub>指静止质量，m为相对论质量。

由公式可以看出：

1.對於一个有質量的物體，其速度v不可能等於或者超过光速，否则分母將會無意義或为一个虚数（註：光子沒有靜止质量，因此其速度可以达到光速；但是在其運動時，會有動量或者說能量，不屬於質量範疇）。

2.當某有質量之物體移動速率越接近光速，相對論質量會變重。

3.当v远小于c时，m近似于m<sub>0</sub>，符合牛顿力学定律。

=== 相对论力学 ===
在狭义相对论中牛顿第二定律'''F''' = m'''a'''應改寫成下式（'''F''' = m'''a'''可解釋為下式的特例）
:<math> \mathbf{F} = \frac{d\mathbf{p}}{dt} </math>
而動量'''P''' = M'''v'''，其中M非定值，所以根据微分計算式d（uv）=udv+vdu，得

<math>\mathbf{F} = \frac {d(M\mathbf{v})}{dt}
= \frac {dM}{dt}\mathbf{v} + M\frac {d\mathbf{v}}{dt} =
{m_0}\frac {d\gamma}{dt}\mathbf{v} + \gamma {m_0}\frac {d\mathbf{v}}{dt} </math>

得
:<math> \mathbf{F} = \frac{\gamma^3 {m_0} \left( \mathbf{v} \cdot \mathbf{a} \right)}{c^2} \, \mathbf{v} +  \gamma {m_0}\, \mathbf{a}.</math>
由上式可见，加速度并不和力的方向一致，且随着速度逐渐趋向于光速，物体的质量趋向于无穷大，加速度趋向于零。

=== 相对论能量 ===
根据<math>m = \frac{m_0}{\sqrt{1-v^2/c^2}}</math>公式，运动时物体质量增大，同时运动时将会有动能，质量与动能均随速度增大而增大。

根据<math> \mathbf{F}=\frac{d\mathbf{p}}{dt} </math>

得<math>{dE_k}=\mathbf{F}{dx}= \frac{d\mathbf{p}}{dt}{dx}</math>

因为<math>\frac{dx}{dt}=v</math>,所以<math>{dE_k}=vd(mv)=v^2dm+mvdv</math>

由<math>m = \frac{m_0}{\sqrt{1-v^2/c^2}}</math>公式改寫而得<math>m^2c^2-m^2v^2=m_0^2c^2</math>

因为m,v都是t的函数，将该式两边对t微分，得<math>mvdv=c^2dm-v^2dm</math>，

將結果带入上式<math>{dE_k}</math>，得

<math>{dE_k}=c^2dm</math>

对其积分，<math>{E_k}={\int_{m_0}^{m}c^2\,dm}=mc^2-m_0c^2</math>

这就是相对论下的动能公式。当速度为0時，<math>m=m_0</math>，所以动能为0。<math>m_0c^2</math>为物体静止时的能量。而总能量=静止能量+动能，因此总能量<math>E=mc^2</math>.

=== 相对论动量与能量 ===
根据<math>m = \frac{m_0}{\sqrt{1-v^2/c^2}}</math>，

等式左右两边平方，再同乘以光速的二次方

得:<math>E^2  = (p c)^2 + (m_0 c^2)^2 \,</math>

此外，不难证明:<math>\mathbf{p} c^2 = E \mathbf{v} \,.</math>

上两式说明动量与能量是密切相关的

當速度接近光速時，v約等於c，因此最後一式可改寫為<math>\mathbf{E} = pc \,.</math>

=== 相对论下的电效应——磁场与电场的统一 ===
{{main|经典电磁理论的协变形式}}
[[古典電磁學]]的理論研究開始了有關電磁波傳播的探討。由擴展電磁效應的方程式可推得，若E場和B場以有限的速度傳播，帶電粒子需要符合特定的條件，有關帶電粒子的相關研究形成了[[黎納-維謝勢]]，已開始往狭义相对论前進。

一個移動粒子產生的[[電場]]，若用[[洛伦兹变换]]轉換到固定坐標系下，會出現對應[[磁場]]的項。相對的，一個移動粒子產生的[[磁場]]，若在一個速度和粒子相同的坐標系來觀察，磁場會消失，轉變為電場。[[麦克斯韦方程组]]只是將狭义相对论的效應應用在古典模式下，經驗性的結果。由於電場和磁場都和坐標系有關，而且會互相轉換。狭义相对论提供電磁場從一個慣性坐標系轉移到另一個慣性坐標系時，需要的轉換公式。

=== 实验验证 ===
* 横向[[多普勒效应]]实验
* 高速运动粒子寿命的测定
1、在超新星爆发中产生的宇宙射线，在近光速运动中半衰期延长。<ref>{{cite journal|author=Easwar, Nalini; Macintire, Douglas A.|title=Study of the effect of relativistic time dilation on cosmic ray muon flux – An undergraduate modern physics experiment|journal=American Journal of Physics|volume=59|issue=7|year=1991|pages=589–592|doi=10.1119/1.16841|bibcode = 1991AmJPh..59..589E}}</ref>

2、在[[粒子加速器]]中[[π介子|派介子]]半衰期延长。<ref>{{cite journal|author=Balandin, M. P.; Grebenyuk, V. M.; Zinov, V. G.; Konin, A. D.; Ponomarev, A. N.|year=1974|title=Measurement of the lifetime of the positive muon|journal=Soviet Physics JETP|volume=40|pages=811|bibcode=1974JETP...40..811B}}</ref>

3、携带[[原子钟]]的实验#在2010年時美國[[國家標準技術研究所]]比較一個在地面的原子钟和在高速火箭上的電子鐘，证实了[[雙生子佯謬|双生子佯谬]]成立<ref>{{Cite web
 |url=http://www.nist.gov/public_affairs/releases/aluminum-atomic-clock_092310.cfm 
 |title=NIST Pair of Aluminum Atomic Clocks Reveal Einstein's Relativity at a Personal Scale 
 |accessdate=2013-10-06 
 |author=Laura Ost 
 |date=2010-09-24 
 |publisher=NIST 
 |archiveurl=https://archive.today/20130920094239/www.nist.gov/public_affairs/releases/aluminum-atomic-clock_092310.cfm 
 |archivedate=2013-09-20 
}}</ref>。

== 相關條目 ==

* [[洛伦兹变换]]
* [[伽利略变换]]
* [[广义相对论]]
* [[論動體的電動力學]]
* [[E=mc²]]
* [[移動中的磁鐵與導體問題]]

== 延伸阅读 ==
{{Wikisource further reading}}

== 参考文献 ==
{{Reflist}}

{{-}}
{{狹義相對論}}
{{Relativity}}
{{阿爾伯特·愛因斯坦}}
{{Authority control}}

[[Category:狹義相對論| ]]
[[Category:阿尔伯特·爱因斯坦|X]]