光円錐のソースを表示

{{翻訳直後|[[:en:Special:Permalink/744176911|en:Light cone]]|date=2016年10月}}
[[Image:World line (ja).svg|300px|right|thumb|2＋1次元時空における光円錐。]]
[[特殊相対性理論|特殊]]および[[一般相対性理論]]において、'''光円錐'''（こうえんすい {{Lang-en-short|''light cone''}}）とはある{{仮リンク|label=事象|事象 (一般相対性理論)|en|Event (relativity)}} （時空上の一点）からあらゆる方向に向けて発せられた閃光が描く[[時空]]上の軌跡をいう。 ある二次元[[平面]]上に閉じ込められた[[光]]を考えてみれば、事象 E で発せられた光は[[円 (数学)|同心円]]状に拡がっていき、[[時間]]を表わす縦軸を付け加えれば、光の軌跡は[[円錐]]を描く。これを未来光円錐と呼ぶ。過去光円錐は、これを時間反転したものであり、円の半径は[[光速]]で縮まり、事象 E において一点に収縮する。空間の[[ハメル次元|次元]]は3であるので、光は2次元平面上の円ではなく3次元空間上の球面を描いて拡がっていく4次元時空上の{{仮リンク|超円錐|en|Hypercone}}（3次元空間上の円錐の断面が二次元平面上の円となるのと同様）である。しかし、この概念を可視化しわかりやすくするため、2次元空間で考える。

数式で表わせば座標 {{mvar|(x,y,z,t)}} が下記の式を満たす事象の集合である。
: <math>\, x^2+y^2+z^2-(ct)^2 = 0</math>

信号その他の因果関係の伝播は光速を超えることができないため（[[特殊相対性理論]]および[[量子もつれ]]の項を参照のこと）、光円錐は[[因果性|因果律]]を定義する上で重要な役割を果たす。ある事象 E について、E の過去円錐内に含まれる事象群は信号を送って E に何らかの影響を与えることが可能である。例えば、E の十年前において E に将来影響を与えうるような事象をすべて集めると、 E が将来起こることになる位置を中心とする球体（2次元ならば円盤）を成す。したがって、この球面上およびその内側にある点は光速あるいはそれより遅い速度で伝播する信号を送り、事象 E に影響を及ぼすのに十分な時間があるということになる。逆に、その瞬間にこの球面の外側にある点は決して E に影響を及ぼすことはできない。同様に、事象 E の「未来」光円錐に含まれる事象は E の位置と時刻から信号を受け取ることができる全ての点を含むので、未来光円錐には E から相対論的因果律に従って影響を受ける可能性のある事象が全て含まれている。

== 数学的構成 ==
[[特殊相対性理論]]において、'''光円錐'''（もしくは'''ヌル円錐''' {{Lang-en-short|''null cone''}}）は[[ミンコフスキー空間|ミンコフスキー時空]]上において閃光が時間発展する面を記述する。これを三次元空間上に可視化するためには、二つの水平軸を二つの空間次元に、一つの縦軸を時間にわりあてればよい<ref>{{Cite book|last=Penrose|first=Roger|year=2005|title=The Road to Reality|location=London|publisher=Vintage Books|ISBN=0-09-944068-7}}</ref>。

光円錐は次のように構成できる。事象 p を時刻 {{Math|''t''<sub>0</sub>}} における閃光（光[[パルス]]）とすると、この  p から発したパルスが到達できる全ての事象は p の'''未来光円錐'''を形成し、逆に p に光パルスを送ることのできる全ての事象が''p'' の過去光円錐を形成する。

ある事象 E について、時空上の全ての事象は次の5つのカテゴリーに分けることができる。
* E の'''未来光円錐上'''にある事象
* E の'''過去光円錐上'''にある事象
* E の'''未来光円錐の内側'''にあり、E から発した物質粒子から影響を受け得る事象
* E の'''過去光円錐の内側'''にあり、そこから発した物質粒子が E で何が起こるかに影響を与え得る事象
* これ以外の全ての事象は E の（'''絶対'''） '''他所''' (elsewhere){{訳語疑問点|date=2016年10月|}} にあり、E の影響を受けることも E に影響を与えることも不可能である。
上の分類はどのような基準系を用いても変わらない。つまり、ある観測者がある事象を光円錐の内側にあると判断したならば、他の全ての観測者から見ても、基準系に関わらず同じ光円錐の内側にあるということである。これがこの概念の強力さの理由である。

ここまでは特定の位置と特定の時刻に起こる事象について述べてきた。ある事象がもう一つの事象に影響を及ぼすことができないということは、光がある位置から別の位置に「与えられた時間内に」到達することができないということである。それらの事象から発する光は究極的には別の事象の「以前の」位置には到達するが、それがその事象が起こってしまった「後」になるということである。

時間が進むにつれ、ある事象の未来光円錐はより多くの位置を囲むことになる（言い換えれば、4次元時空上の光円錐のある時刻における断面である3次元空間上の球面は、時刻が後になるにつれて大きくなる）。同様に、ある事象から時間を遡ることを考えると、その事象の過去光円錐は未来光円錐と同じように時間が遡るにつれてより多くの事象を囲むことになる。より遠い位置は当然より時間が経ってからになる。今日の地球で起こる事象の過去光円錐を例にとれば、一万光年離れた星は一万年以上遡らなければ光円錐の中に含まれない。 今日の地球で起こるある事象の過去光円錐は、その端の方では非常に遠い物体をも（[[観測可能な宇宙|可観測宇宙]]に存在する全てをも）含むことになるが、非常に昔、[[宇宙]]が若かったころの姿を見ることになる。

異る場所で（ある基準系で）同じ時刻に起こる二つの事象は常に相手の過去光円錐にも未来光円錐にも含まれない。光は瞬時に伝わることはできないからである。もちろん、他の観測者にはこれら二つの事象が別の時刻、別の場所で起こるように見えるだろうが、どちらにせよどちらの光円錐にも入らないことは同じなのである。

[[真空]]中の光速を1とするような[[単位系]]を使えば、例えば距離の単位を[[光秒]]とし時間の単位を[[秒]]とすれば、光は1秒のうちに真空中を1光秒だけ進むので、光円錐の傾きは 45° となる。特殊相対性理論においては光速は全ての[[慣性系]]において不変であるから、全ての観測者の光円錐は同じく 45° の傾きを持つ。[[ローレンツ変換]]の性質を表すには一般的に{{仮リンク|ミンコフスキーダイアグラム|en|Minkowski diagram}}が用いられる。ある事象の光円錐の外側の、一繋がりの部分を他所 (elsewhere){{訳語疑問点|date=2016年10月|}} と呼ぶ。互いに他所の関係にある事象は相互に観測不可能であり、因果律的に繋がることはできない。

(45° という数字は空間的な意味しか持たない。実際の時空の性質を理解するために空間に引き落して図を書いているためである。空間的な傾きは[[角度]]で測られ、[[三角関数]]で計算される。これに対して、時空的な傾きは[[ラピディティ]]によって測られ、[[双曲線関数]]により計算される。）

== 一般相対性理論における光円錐 ==
[[ファイル:Light_cones_near_black_hole.svg|サムネイル|200x200ピクセル|重力崩壊を起こし星がブラックホールとなる瞬間の近傍における光円錐。紫色の破線は重力崩壊しつつある星の表面から発せられる光の軌跡を示す。緑色の一点鎖線は特異点へと落ちる光の軌跡を示す。]]
[[ミンコフスキー空間|平坦な時空]]においては、ある事象の未来光円錐はその{{仮リンク|因果的未来|en|Causal future}}の境界であり、 過去光円錐はその{{仮リンク|因果的過去|en|Causal past}}の境界である。

曲がった時空では、{{仮リンク|label=大域双曲時空|大域双曲多様体|en|Globally hyperbolic manifold}}を仮定した場合はある事象の未来光円錐がその因果的未来の境界[[部分集合|を含む]]ことまでは成り立つ（過去も同様）。しかし、[[重力レンズ]]効果により光円錐の一部が自身の内側に折り込まれ、光円錐の一部が因果的未来（もしくは過去）の境界ではなくその厳密な内側となることもありうる。

また、全ての光円錐が平行な傾きを持つことはなくなる。このことは時空が曲がっておりミンコフスキー空間とは本質的に異なっていることを反映している。真空領域中（物質の存在しない[[時空]]領域）においては、全ての光円錐が平行でないことは{{仮リンク|ワイルテンソル|en|Weyl tensor}}が非零となることを意味する。

== 関連項目 ==
* {{仮リンク|絶対未来|en|Absolute future}}
* {{仮リンク|絶対過去|en|Absolute past}}
* [[双曲型偏微分方程式]]
* [[光円錐座標系|光円錐座標]]
* [[ローレンツ変換]]
* [[特性曲線法]]
* {{仮リンク|ミンコフスキーダイアグラム|en|Minkowski diagram}}
* {{仮リンク|モンジュ円錐|en|Monge cone}}
* {{仮リンク|ヌル円錐|en|Null cone}}
* [[波動方程式]]

== 出典 ==
{{reflist}}

== 外部リンク ==
* The Einstein-Minkowski Spacetime: [http://physics.syr.edu/courses/modules/LIGHTCONE/minkowski.html Introducing the Light Cone]
* [http://casa.colorado.edu/~ajsh/sr/paradox.html The Paradox of Special Relativity]
* [http://interconnected.org/home/more/lightcone/ RSS feed of stars in one's personal light cone]

{{相対性理論}}

{{DEFAULTSORT:こうえんすい}}
[[Category:天体物理学]]
[[Category:光]]
[[Category:相対性理論]]