ペンローズ図

ペンローズ図（ペンローズず, Penrose diagram）は一般相対性理論において時空のを表現する図式のこと。ロジャー・ペンローズにちなんでペンローズ図と呼ばれるが、の名をも冠するペンローズ・カーター図Poisson, p. 129.や、共形図式 (conformal diagram) という呼び方がされることもある。

 ミンコフスキ時空 
 定義 
時間1次元、空間3次元の4次元ミンコフスキ時空の点（事象）は、時刻 、空間座標  の組  により表現される本記事では光速  および重力定数  を 1 とする単位系を用いる。従って時間  と空間座標  はどちらも距離の次元を持つ。。その計量は

である。あるいは、球座標  を用いるときには

である。時刻  と動径座標  はそれぞれ ,  という範囲の値を取るため、この座標系ではミンコフスキ時空は -平面上の非有界な領域として図示される。時空の因果構造の議論においては次の座標変換  によりヌル座標  を導入するのが便利であるHawking & Ellis, p. 118.。

この新しい座標  では計量は

と表現される。ただし、やはりどちらも  から  までの値を取る非有界な表現である。

ここで、座標  に対してさらに次の変換  を施すHawking & Ellis, pp. 120-121.。

この座標は ,  を満足する。それ故に、共形変換  により座標  の表す時空領域は平坦な2次元ミンコフスキ時空の有界な領域へと埋め込む（共形埋め込み）ことができるHawking & Ellis, pp. 121-122.。こうして得られるもとのミンコフスキ時空の有界な表現がペンローズ図であるHawking & Ellis, p. 123.。


 特徴 
共形変換は時空の因果構造を保つため、ペンローズ図はもとの時空の因果構造を正しく再現している。埋め込み先のミンコフスキ時空の時間座標および空間座標をそれぞれ ,  と表現するとき、これは座標  と

という関係にある。

時空の因果構造を有界な領域として表現する結果、ペンローズ図はもとの時空の無限遠の構造を可視化することができるHawking & Ellis, pp. 121-123.Poisson, p. 130.。
 すべての空間的測地線  は点  を通る空間的曲線として表現される。この点は空間的無限遠  と呼ばれる。
 すべての時間的測地線  は2点  を結ぶ時間的曲線として表現される。この2点は時間的無限遠  と呼ばれる。
 すべてのヌル測地線  は空間的無限遠  と時間的無限遠  を結ぶヌル曲線と交叉する。この曲線はヌル無限遠  と呼ばれる。

 ブラックホール時空 
ブラックホール時空とは時間的無限遠点  から因果的に到達不可能な領域が存在する時空のことであり、そのような領域の境界（これは時間的無限遠点  を通るヌル曲面となる）のことを事象の地平面と呼ぶ。

 シュワルツシルト時空 

最も単純なブラックホール時空であるシュワルツシルト解は、質量  の質点がつくる重力場を表すアインシュタイン方程式の厳密解であり、シュワルツシルト座標  を用いるときその計量は

と表示されるPoisson, p. 125.。この座標系には  で計量の特異性があることを注意しておくPoisson, p. 126.。シュワルツシルト時空におけるヌル座標  

を通じて、クルスカル座標  は

により定義されるPoisson, pp. 126-127.。この座標系では  での特異性が解消し、この超曲面を超えて解を拡張することができるPoisson, pp. 127-128.Hawking & Ellis, pp. 154-156.。

最大限拡張されたシュワルツシルト時空について、そのペンローズ図はミンコフスキ時空の場合と同様に

により導入できるPoisson, pp. 129-130.。このペンローズ図からわかるように、シュワルツシルト時空には時間的無限遠  と因果的に連結していない時空領域が存在し、ブラックホールと呼ばれるPoisson, pp. 130-131.。その境界  が事象の地平面である。また、最大拡張したシュワルツシルト時空には、ふたつの漸近的に平坦な領域が存在し、「喉」状の領域（ブラックホールとホワイトホール）を介して繋がっているHawking & Ellis, p. 154.。

 球対称重力崩壊 

シュワルツシルト時空は質点  による静的な重力場を表すが、現実的にはブラックホールは物質の重力崩壊によって形成される。この場合、時空は漸近的に平坦な外部領域とブラックホール内部のふたつの領域からなるHawking & Ellis, p. 309.。

 脚注 
 注釈 

 出典 

 参考文献 

Category:一般相対性理論
Category:エポニム