查看“︁光锥”︁的源代码

{{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|light cone}}）是[[闵可夫斯基时空]]下能够与一个单一事件通过[[光速]]存在[[因果關係|因果联系]]的所有点的集合，并且它具有[[洛伦兹不变性]]。光锥也可以看作是闵可夫斯基时空下的一束光随时间演化的轨迹。在三维空间中，光锥可以通过将两条正交的水平轴取做空间坐标，将垂直于水平面的竖直轴取做时间坐标从而实现可视化。为了简明起见，这里首先考虑的是平面上的光锥：即用来描述它的[[闵可夫斯基图]]只具有一维时间（纵轴）和一维空间（横轴），我们将看到光锥在[[洛伦兹变换]]下具有不变性。

== 洛伦兹变换 ==
{{See also|洛伦兹变换}}

[[洛伦兹群|正常洛伦兹群]]的[[洛伦兹变换]]包括两种基本变换操作：[[旋转]]（[[英语]]：{{lang|en|rotation}}）和直线运动（[[英语]]：{{lang|en|boost}}），而直线运动也可以看作是时间与空间坐标轴之间的相对旋转（具体见下文）。洛伦兹变换彼此间是非[[对易]]的，这意味着洛伦兹群是一个[[阿贝尔群|非阿贝尔群]]；这两种变换操作和平移变换操作一起包含在同样为非阿贝尔群的[[庞加莱群]]中。我们考虑其中的直线运动变换：

:<math>\Lambda^{\mu^\prime}_\nu =

\begin{pmatrix}
cosh\,\phi & -sinh\,\phi & 0 & 0\\
-sinh\,\phi & cosh\,\phi & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1
\end{pmatrix}

</math>

这个洛伦兹变换描述的是坐标系沿{{lang|en|x}}轴的匀速运动情形，其中参数<math>\phi\,</math>和坐标系的运动速度<math>v\,</math>之间的关系为

:<math>v = tanh\,\phi\,</math>

将这个关系代入上面的变换矩阵中可以得到洛伦兹变换较为初等的传统形式，即

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

== 闵可夫斯基图 ==
{{see also|闵可夫斯基图}}
[[File:Minkowski diagram - asymmetric.svg|thumb|150px|left|洛伦兹变换下的闵可夫斯基图]]
[[File:Minkowski diagram - constancy of the speed of light.svg|thumb|150px|光速在所有惯性系下都是相同的]]
在闵可夫斯基图中，一维时间和一维空间相互正交，横轴为空间{{lang|en|x}}轴，纵轴为时间{{lang|en|t}}轴。在上文中沿{{lang|en|x}}轴运动的洛伦兹变换下，产生的新坐标系与原坐标系之间的关系为

:<math>t^{\prime} = t\,cosh\,\phi - x\,sinh\,\phi\,</math>
:<math>x^{\prime} = -t\,sinh\,\phi + x\,cosh\,\phi\,</math>

其结果就是两条坐标轴会同时向内发生旋转，如左图所示，其中还表示了任意一点A在不同坐标下的投影。变换后的两条坐标轴在[[欧几里得几何]]下不是正交的，但在洛伦兹变换的意义下仍然是正交的。

在[[自然单位]]下，光速<math>c = 1\,</math>，则在闵可夫斯基图中光的轨迹由方程<math>x = \pm t\,</math>给出；同样，对于洛伦兹变换后的坐标系，光的轨迹由方程<math>x^{\prime}= \pm t^{\prime}\,</math>给出。如右图所示，光的轨迹在洛伦兹变换下的不同坐标系中都是相同的，即光速在所有[[惯性系]]下都是相同的，这也正是狭义相对论的[[光速不变原理]]的体现。

[[File:二维空间轴光锥ABC(Revised).PNG|thumb|400px|光錐。A是[[現在|當前]]事件；B是[[未來]]光錐，C是[[過去]]光錐；黃色代表[[光]]線。根據[[狹義相對論]]，[[光速]]是自然界的最高速度，因此普通物質的[[世界線]]只能位於光錐內，光錐外的白色部分是禁區，其時空也無法對觀測者（當前事件）的時空產生任何影響。]]

== 光锥 ==
从闵可夫斯基图上的光的轨迹<math>x = \pm t\,</math>可以建立光锥的概念。对于[[闵可夫斯基时空]]中的任一事件，都对应有时空中的一组点的集合能够通过光的轨迹（在闵可夫斯基时空中是直线）与之联系，这组点的集合被称作光锥。在通常的二维空间和一维时间表示中光锥由两个对称的圆锥体组成，它的特性是具有洛伦兹不变性。两个对称的圆锥分别代表了当前事件的过去和未来：

* 光锥内部的所有点（如左图中的事件B）都可以通过小于光速的速度与当前事件建立因果联系，它们与当前事件的间隔被称作[[类时]]间隔
:<math> s^2 = - c^2 t^2 + x^2 + y^2 + z^2 < 0</math>
* 光锥表面上的所有点都可以通过光速与当前事件建立因果联系，它们与当前事件的间隔被称作[[类光]]或零性间隔
:<math> s^2 = - c^2 t^2 + x^2 + y^2 + z^2 = 0</math>
* 光锥外部的所有点（如左图中的事件C）都无法与当前事件建立因果联系，它们与当前事件的间隔被称作[[类空]]间隔
:<math> s^2 = - c^2 t^2 + x^2 + y^2 + z^2 > 0</math>

由于光锥本身具有洛伦兹不变性，事件之间的间隔属于类时还是类空的也与观察者所在的参考系无关。其中对于类空间隔的事件，由于两者没有因果联系，不能认为它们也具有[[经典力学]]中描述的所谓[[同时性]]，即无法认为任何类空间隔的两个事件是同时的。

光锥的概念同样可以扩展到[[广义相对论]]中，这时的光锥可以定义为一个事件的因果未来和因果过去的边界，并包含了这个时空中的因果结构信息。构成光锥的仍然是这个时空中光的[[世界线]]，此时对应的时空图是[[彭罗斯-卡特图]]。由于在广义相对论中时空可以是弯曲的，光锥也有可能是收缩或倾斜的。

== 参考文献 ==
* {{lang|en|{{cite web| publisher= [[ArXiv]]| title= Lecture Notes on General Relativity| url= http://arxiv.org/PS_cache/gr-qc/pdf/9712/9712019v1.pdf| author= Sean Carroll| accessdate= 2008-10-10| archive-date= 2020-07-25| archive-url= https://web.archive.org/web/20200725213645/https://arxiv.org/PS_cache/gr-qc/pdf/9712/9712019v1.pdf| dead-url= no}}}} 
* {{lang|en|{{cite book |author=Charles W. Misner, John A. Wheeler and Kip S. Thorne|title=Gravitation|url=https://archive.org/details/gravitation0000misn|year=1973 |publisher=W. H. Freeman|isbn=978-0716703440}}}}
* {{lang|en|{{cite book |author=Sean Carroll|title=Spacetime and Geometry: An Introduction to General Relativity|year=2003 |publisher=Benjamin Cummings|isbn=978-0805387322}}}}
* {{lang|en|{{cite book |author=Bernard F. Schutz|title=A First Course in General Relativity|year=1985 |publisher=Cambridge University Press|isbn=978-0521277037}}}}

== 外部链接 ==
* 闵可夫斯基时空：[https://web.archive.org/web/20061205015249/http://physics.syr.edu/courses/modules/LIGHTCONE/minkowski.html 介绍光锥]
* [https://web.archive.org/web/20061206092114/http://casa.colorado.edu/~ajsh/sr/paradox.html 狭义相对论中的佯谬]
* [http://interconnected.org/home/more/lightcone/ 制作一个你自己的光锥，可以看到你已经与哪些星体建立了因果联系] {{Wayback|url=http://interconnected.org/home/more/lightcone/ |date=20200303094146 }}

{{Relativity}}

[[Category:天体物理学|Guang1]]
[[Category:相对论|G]]
[[Category:洛伦兹流形|G]]