因果的凸近傍

 擬リーマン多様体において、近傍 C の任意の2点を結ぶ C に含まれる測地線がただ一つ存在するとき U を測地的凸近傍と呼んだ。測地的凸近傍の因果的性質に関する類似がcausally convex近傍(因果的凸近傍)である。

因果的凸近傍

時空 (M,g) において、近傍 U,V, VU に対して、V の2点を結ぶ U に含まれるcausal曲線が V に含まれるとき、VU の中で因果的凸であるという。
特に、U=M のとき、V因果的凸近傍であるという。

次の定理は適当に小さな近傍の中で因果的凸となる近傍が存在することを主張する。

時空 (M,g) の任意の点 p に対して、適当な近傍 Up があり、pVU となる近傍 VU の中で因果的凸となるものが存在する。

p の正規近傍 (U,{x0,x1,,xn}) を取る。
今、gp=(dx0)p2+(dxi)p2 である。
U 上で平坦な計量 g+:=4(dx0)p2+(dxi)p2 を定義すると、TpMgp に関してcausalなベクトルは gp+ に関してtimelikeである。
g,g+ の連続性より必要なら U を小さく取り直すことで、U 上で g に関するcausalベクトルが g+ に関するtimelikeベクトルになるようにできる。
十分小さい ϵ>0 に対して、p+:=(ϵ,0,,0), p:=(ϵ,0,,0) とするとき、V:=Ig+(p+)Ig++(p)U となる。
ここで Ig+±g+ に関するchronological future, pastである。
g+ は平坦であるから VU の中で g+ に関して因果的凸である(Minkowski時空の因果的性質)。
U 上で g に関するcausal曲線は g+ に関するtimelike曲線であるから、VU の中で g に関して因果的凸である。

次の系は任意の時空の任意の点の近傍で成り立ち、因果構造を論じるのにしばしば有用である。

nestされた因果的凸近傍の存在

時空 (M,g) の任意の点 p に対して、適当な近傍 Up があり、pVnU となる近傍の族 {Vn}nVn={p} かつ U の中で因果的凸となるものが存在する。

上の証明で、pn+:=(ϵ/n,0,,0), pn:=(ϵ/n,0,,0) とするとき、Vn:=Ig+(pn+)Ig++(pn)U と定義すればよい。

Mathpediaを支援する

現在のページ

因果的凸近傍
前のページへ
25 / 27
次のページへ
前ページへ
因果階層の表紙
次ページへ