# 因果階層：年代順的時空から大域双曲的時空まで > 年代順的・因果的・識別的・強因果的・安定因果的・因果的に単純・大域双曲の各段階を定義し、含意をすべて証明して逆の反例を構成する。Cauchy 曲面、Geroch の分割定理、warped 積の大域双曲性を扱う。 > https://rikai.mugen-giken.com/mathematics/differential-geometry/causal-hierarchy ## 0. この記事の要点 過去へ戻れる世界や、光が一周して自分の出発点に戻ってくる世界では、「原因があって結果がある」という物理の組み立てが難しくなります。この章は、時空が素直な時間の流れをどこまで保っているかを、弱い条件から強い条件まで 7 段階に並べ、段階どうしの関係を確かめます。読み終えると、与えられた時空がどの段階にあたるかを調べる道具と、隣り合う段階が違うことを示す具体例の作り方が分かります。 - 時空の因果的なふるまいのよさを、弱い順に**年代順的**（閉じた時間的曲線がない）、**因果的**、**識別的**、**強因果的**、**安定因果的**（時間関数がある）、**因果的に単純**、**大域双曲**の 7 段階に並べます。これを**因果階層**といいます。 - 各段階は一つ上の段階から従います（）。証明の道具は前章の局所理論（押し上げ補題と局所的な閉性）と[体積関数](/mathematics/differential-geometry/lorentzian-causality#def-volume-function)です。とくに「時間関数があれば強因果的」（）と「因果的に単純なら体積関数が時間関数になる」（）が要です。 - どの含意も逆は成り立ちません。光円錐が傾いた円柱 $\mathbb{R}\times S^1$ から閉じた半直線を何本か除くことで、因果的だが識別的でない例、識別的だが強因果的でない例、強因果的だが安定因果的でない例を作ります（§5）。 - **Cauchy 曲面**（ある時刻の空間全体にあたるもの）はすべての非延長的な時間的曲線とちょうど 1 回交わる集合です。大域双曲であることと Cauchy 曲面を持つことは同値で、そのとき時空は $\mathbb{R}\times S$ に分解します（Geroch、Bernal–Sánchez。主張のみ）。 - 完備な Riemann 多様体 $F$ 上の **warped 積** $I\times_fF$（計量 $-dt^2+f(t)^2h$）は大域双曲で、各断面 $\{t\}\times F$ は Cauchy 曲面です（）。Minkowski 空間、FLRW 宇宙、Schwarzschild 時空の外部領域がこの形に入ります。ここで warped 積とは、時間の直線と空間 $F$ を、空間の大きさを時刻ごとに伸び縮みさせながら組み合わせた時空のことです。 ## 1. 動機 前章 [Lorentz 多様体の因果構造](/mathematics/differential-geometry/lorentzian-causality) では、時空の各点の因果的未来・過去と、その局所的な性質を調べました。局所的には、どの時空も Minkowski 空間と同じ因果構造をしています。違いが現れるのは大域的な性質で、たとえば Lorentz トーラスではすべての点を閉じた時間的曲線が通ります。 物理的に「よい」時空とは何でしょうか。最低限、過去に戻る曲線（閉じた時間的曲線）はないほうがよいでしょう。しかしそれだけでは足りません。閉じた時間的曲線がなくても、閉じた光的な曲線があれば光は自分の過去に影響しますし、閉じた曲線そのものがなくても、ほとんど閉じた曲線の列があれば、計量をわずかに変えただけで閉じた時間的曲線が現れるかもしれません。一般相対論の計量は観測で近似的にしか決まらないので、そのような不安定な時空は物理的とはいえません。 逆に、波動方程式や Einstein 方程式の初期値問題をきちんと解くには、「ある時刻のデータで全時空が決まる」という性質（大域双曲性）が必要です。場の量子論を曲がった時空で考えるときも、大域双曲性が標準的な前提になります。 本章では、この「よさ」を段階に分けて定義し、段階のあいだの含意をすべて証明します。各段階が本当に違うことは、反例を一つずつ構成して確かめます。反例はどれも 2 次元の円柱の上に作れ、光円錐の向きを図に描いて確かめられます。 ## 2. 準備 以下 $(M,g)$ は前章の意味の時空（連結・Hausdorff・[第二可算](/mathematics/topology/products-quotients-tychonoff#def-countability)・時間向き付けられた Lorentz 多様体、次元 $n+1\ge2$）です。記号 $\ll$、$\le$、$\lt$、$I^\pm$、$J^\pm$ は のとおりで、[因果的曲線](/mathematics/differential-geometry/lorentzian-causality#def-causal-curve)は区分的に滑らかです。前章の次の結果をくり返し使います。 | 結果 | 内容 | |---|---| | | $I^\pm(p)$ は開集合 | | | $p\le q\ll r$ または $p\ll q\le r$ なら $p\ll r$ | | | $J^\pm(p)\subset\overline{I^\pm(p)}$、とくに $p\in\overline{I^\pm(p)}$ | | | 一様正規近傍の中では因果関係の極限は因果関係 | | | 体積関数 $t^-$ の単調性と半連続性 | **閉じた因果的曲線**とは、未来向き因果的曲線 $\alpha\colon[0,1]\to M$ で $\alpha(0)=\alpha(1)$ となるものです。速度ベクトルは $0$ にならないので、閉じた因果的曲線は定値ではありません。 ## 3. 因果階層の定義 閉じた時間的曲線が存在しない（すべての $p$ で $p\notin I^+(p)$）時空を**年代順的**（chronological）、閉じた因果的曲線が存在しない時空を**因果的**（causal）という。 過去識別的かつ未来識別的（）な時空を**識別的**（distinguishing）という。すなわち $I^-(p)=I^-(q)$ または $I^+(p)=I^+(q)$ ならば $p=q$ である。 時空が点 $p$ で**強因果的**であるとは、$p$ の任意の近傍 $U$ に対して、$p$ の近傍 $V\subset U$ で、両端が $V$ に入る未来向き因果的曲線がすべて $U$ に含まれるものが存在することをいう。すべての点で強因果的な時空を**強因果的**という。 強因果性は「ほとんど閉じた因果的曲線がない」ことを言っています。点 $p$ の近くから出て、遠回りして $p$ の近くに戻る因果的曲線があってはいけません。 1. 連続関数 $\tau\colon M\to\mathbb{R}$ が、すべての未来向き因果的曲線 $\alpha$ に沿って狭義単調増加（$s\lt s'$ なら $\tau(\alpha(s))\lt\tau(\alpha(s'))$）であるとき、$\tau$ を**時間関数**という。 2. 滑らかな関数 $\tau$ で、勾配 $\nabla\tau$（$g(\nabla\tau,X)=d\tau(X)$）が各点で過去向き時間的であるものを**時間的関数**（temporal function）という。 時間関数が存在する時空を**安定因果的**（stably causal）という。 歴史的には、安定因果性は「光円錐をわずかに広げた計量 $g'$（$g$ について因果的な $0$ でないベクトルがすべて $g'$ について時間的になる計量）で、なお因果的なものが存在する」ことで定義されました。名前の「安定」は、計量の小さな摂動で因果性が壊れないことを指します。この意味で安定因果的なら時間関数が存在することは Hawking（1969）が示し、逆向きは、時間関数があれば時間的関数もある（Bernal–Sánchez 2005）ことから従います。したがって三つの条件は同値です。本章ではこの同値性を使わず、時間関数の存在を定義として採用します。 また、因果的に単純と安定因果的のあいだに、**因果的に連続**（識別的で、$I^+(p)\supset I^+(q)\Leftrightarrow I^-(p)\subset I^-(q)$ が成り立つ）という段階を置くことがあります。体積関数 $t^\pm$ の連続性と同値です（Hawking–Sachs 1974）。本章の証明は、因果的に単純な時空で直接 $t^-$ の連続性を示すので、この段階を経由しません。 因果的で、すべての $p$ について $J^+(p)$ と $J^-(p)$ が閉集合である時空を**因果的に単純**（causally simple）という。 強因果的で、すべての $p,q$ について $J^+(p)\cap J^-(q)$ がコンパクトである時空を**大域双曲的**（globally hyperbolic）という。 $J^+(p)\cap J^-(q)$ は $p$ から出て $q$ に届く因果的曲線が通れる範囲で、**因果的ダイヤモンド**と呼ばれます。大域双曲性は、このダイヤモンドに「穴」や「無限遠への抜け道」がないことを要求しています。定義の「強因果的」は「因果的」に弱めても同じ概念になることが知られています（Bernal–Sánchez 2007）。
大域双曲 因果的に 単純 安定因果的 強因果的 識別的 因果的 年代 順的 半 Minkowski 1 点を除く 円柱 Z₃ 円柱 Z₂ 円柱 Z₁ 円柱 Z 下段：その矢印の逆が成り立たない例（§5）
## 4. 含意の証明 ### 4.1. 年代順的から強因果的まで 因果的な時空は年代順的である。 閉じた時間的曲線は閉じた因果的曲線です（時間的ベクトルは因果的）。 未来識別的（または過去識別的）な時空は因果的である。 閉じた因果的曲線 $\alpha\colon[0,1]\to M$、$\alpha(0)=\alpha(1)=p$ があるとします。$\alpha$ は定値でないので $q=\alpha(s)\ne p$ となる $s$ があり、$\alpha|_{[0,s]}$ と $\alpha|_{[s,1]}$ から $p\le q$ かつ $q\le p$ です。$r\in I^+(q)$ なら $p\le q\ll r$ なので押し上げ補題（）から $r\in I^+(p)$、同様に $I^+(p)\subset I^+(q)$ です。よって $I^+(p)=I^+(q)$、$p\ne q$ となり未来識別性に反します。過去についても同様です。 強因果的な時空は識別的である。 $I^-(p)=I^-(q)$、$p\ne q$ と仮定します。Hausdorff 性から、$p$ の開近傍 $U$ で $q\notin\overline{U}$ となるものが取れます。強因果性から $p$ の近傍 $V\subset U$ を定義のとおりに取ります。$p\in\overline{I^-(p)}$（）なので、$x\in V\cap I^-(p)$ が取れます。$x\in I^-(p)=I^-(q)$ なので $I^+(x)$ は $q$ を含む開集合で（）、$I^+(x)\setminus\overline{U}$ も $q$ の開近傍です。$q\in\overline{I^-(q)}=\overline{I^-(p)}$ なので、この近傍は $I^-(p)$ と交わり、$y\in I^+(x)\cap I^-(p)$、$y\notin\overline{U}$ が取れます。$x\ll y\ll p$ をつないだ時間的曲線は、両端 $x,p$ が $V$ に入るのに $U$ の外の $y$ を通り、強因果性に反します。未来識別性も時間反転で同様に示せます。 ### 4.2. 時間関数と強因果性 時間的関数は時間関数である。 $\tau$ を時間的関数、$\alpha$ を未来向き因果的曲線とすると、$\alpha$ が滑らかな各小区間で $$ \frac{d}{ds}\tau(\alpha(s))=d\tau(\dot\alpha)=g(\nabla\tau,\dot\alpha)=-g(-\nabla\tau,\dot\alpha)\gt0 $$ です。$-\nabla\tau$ は未来向き時間的、$\dot\alpha$ は未来向き因果的なので、 の 2 から $g(-\nabla\tau,\dot\alpha)\lt0$ だからです。$\tau\circ\alpha$ は連続で、各小区間で狭義単調増加なので全体で狭義単調増加です。 次の定理のねらいは、時間関数という「時間とともに必ず増える量」があれば、ほとんど閉じた因果的曲線が作れないことを示すことです。証明の方針は、強因果性が破れたと仮定して、ある点の近くから出て遠くへ行き戻る曲線の列を取り、その途中の点で時間関数の値が矛盾することを導く、というものです。 時間関数をもつ時空は強因果的である。すなわち、安定因果的な時空は強因果的である。 $\tau$ を時間関数とし、点 $p$ で強因果性が破れていると仮定します。すると $p$ の近傍 $U_0$ で、$p$ のどの近傍 $V\subset U_0$ にも、両端が $V$ に入り $U_0$ に含まれない未来向き因果的曲線があるものが存在します。 $p$ の一様正規近傍 $W$（）を取り、$p$ のコンパクトな近傍 $K\subset W\cap U_0$（チャートの閉球）を取ります。$p$ の近傍の列 $V_k\subset\operatorname{int}K$ を $p$ に縮むように取り、$V_k$ に両端 $x_k,y_k$ をもち $U_0$ に含まれない未来向き因果的曲線 $\gamma_k\colon[0,1]\to M$ を取ります。$\gamma_k$ は $K$ からも出るので、$s_k=\inf\{s:\gamma_k(s)\notin K\}$ と置くと、$\gamma_k([0,s_k])\subset K$ で $z_k=\gamma_k(s_k)$ は $K$ の境界 $\partial K$ に属します。 $\partial K$ はコンパクトなので、部分列を取って $z_k\to z\in\partial K$ とできます。$x_k\to p$ で、$\gamma_k|_{[0,s_k]}$ は $W$ 内の因果的曲線なので、 から $p\le z$ で、$z\in\partial K$、$p\in\operatorname{int}K$ より $z\ne p$、すなわち $p\lt z$ です。$\tau$ は $p$ から $z$ への因果的曲線に沿って狭義増加なので $\tau(p)\lt\tau(z)$ です。 一方、$\gamma_k$ に沿って $\tau$ は増加するので $\tau(x_k)\le\tau(z_k)\le\tau(y_k)$ で、$\tau$ の連続性から $k\to\infty$ で $\tau(p)\le\tau(z)\le\tau(p)$、すなわち $\tau(z)=\tau(p)$ です。矛盾です。 証明の核心は、$p$ の近くから出て遠くへ行き戻ってくる曲線が、途中で $p$ の「真の未来」にある点 $z$ を通らざるを得ないことです。$z$ は $p$ の真の未来にあるので時間関数の値は $p$ より大きいはずですが、曲線の終点が $p$ に近いことから値は $p$ と同じになってしまいます。 ### 4.3. 因果的に単純な時空の体積関数 $M$ を因果的に単純な時空とする。 1. すべての $p$ で $\overline{I^\pm(p)}=J^\pm(p)$ である。 2. $M$ は識別的である。 3. $p_k\to p$ とし、点 $x$ が無限個の $k$ で $x\in I^-(p_k)$ を満たすならば、$x\in J^-(p)$ である。 **1。** から $J^-(p)\subset\overline{I^-(p)}$、また $I^-(p)\subset J^-(p)$ で $J^-(p)$ は閉なので $\overline{I^-(p)}\subset J^-(p)$ です。未来も同様です。 **2。** $I^-(p)=I^-(q)$ とすると、1 から $J^-(p)=J^-(q)$ で、$p\in J^-(q)$、$q\in J^-(p)$ です。$p\ne q$ なら $p$ から $q$ への因果的曲線と $q$ から $p$ への因果的曲線をつないだものは閉じた因果的曲線で、因果性に反します。よって $p=q$ です。未来も同様です。 **3。** $r\in I^+(p)$ を任意に取ります。$I^-(r)$ は $p$ を含む開集合なので（）、十分大きな $k$ で $p_k\in I^-(r)$ です。仮定からそのような $k$ で $x\ll p_k$ となるものがあり、$x\ll p_k\ll r$ から $x\ll r$ です。$p$ から未来向き時間的測地線を短く延ばした点の列 $r_m\to p$（$r_m\in I^+(p)$）を取ると、$r_m\in I^+(x)\subset J^+(x)$ で、$J^+(x)$ は閉なので $p\in J^+(x)$、すなわち $x\in J^-(p)$ です。 $M$ が因果的に単純ならば、体積関数 $t^-$（）は時間関数である。とくに $M$ は安定因果的である。 **狭義単調性。** $\alpha$ を未来向き因果的曲線、$s\lt s'$ とすると $\alpha(s)\le\alpha(s')$ で、$\alpha(s)=\alpha(s')$ なら $\alpha|_{[s,s']}$ が閉じた因果的曲線になるので（因果性）$\alpha(s)\lt\alpha(s')$ です。 の 2 から $M$ は過去識別的なので、 の 2 により $t^-(\alpha(s))\lt t^-(\alpha(s'))$ です。 **連続性。** 多様体は第一可算なので、点列 $p_k\to p$ について $t^-(p_k)\to t^-(p)$ を示せば十分です。 の 3 から $t^-(p)\le\liminf t^-(p_k)$ です。無限個の $k$ で $x\in I^-(p_k)$ となる $x$ は、 の 3 と 1 により $J^-(p)=\overline{I^-(p)}$ に属するので、 の 4 の仮定が満たされ、$\limsup t^-(p_k)\le t^-(p)$ です。 ### 4.4. 大域双曲性 大域双曲的な時空は因果的に単純である。 強因果的なので、 と により因果的です。$J^+(p)$ が閉であることを示します。$q\in\overline{J^+(p)}$ とし、$q_k\to q$、$q_k\in J^+(p)$ とします。$q$ から未来向き時間的測地線を短く延ばした点 $r$ を取ると $q\in I^-(r)$ で、$I^-(r)$ は開なので、十分大きな $k$ で $q_k\in I^-(r)\subset J^-(r)$ です。よって $q_k\in J^+(p)\cap J^-(r)$ で、これはコンパクト、したがって Hausdorff 空間 $M$ の閉集合です（）。極限 $q$ もこの集合に入り、$q\in J^+(p)$ です。$J^-(p)$ も同様です。 時空について、次の含意が成り立つ。 $$ \text{大域双曲}\Rightarrow\text{因果的に単純}\Rightarrow\text{安定因果的}\Rightarrow\text{強因果的}\Rightarrow\text{識別的}\Rightarrow\text{因果的}\Rightarrow\text{年代順的} $$ 左から順に 、、、、、 です。 ## 5. 逆が成り立たない例 ### 5.1. 光円錐の傾いた円柱 反例の大部分は、次の 2 次元の時空から閉集合を除いて作ります。 $Z=\mathbb{R}\times S^1$（座標 $t\in\mathbb{R}$、$\theta\in\mathbb{R}/\mathbb{Z}$）に $$ g=2\,dt\,d\theta+h(t)\,d\theta^2,\qquad h(t)=\frac{t^2}{1+t^2} $$ と時間向き付け $T=-\partial_t+\partial_\theta$ を入れる。$C=\{t=0\}$ と置く。曲線を扱うときは $\theta$ を $\mathbb{R}$ に持ち上げた値 $\tilde\theta$ を使う。 $g$ の行列は $\begin{pmatrix}0&1\\1&h\end{pmatrix}$ で行列式が $-1$ なので Lorentz 計量で、$g(T,T)=h-2\lt0$ なので $T$ は時間的です。 次の補題のねらいは、傾いた円柱の光円錐を不等式で書き表すことです。計量は、$t=0$ の円周 $C$ がちょうど光的な閉曲線になり、$C$ から離れると未来向きの曲線に沿って $t$ が必ず減るように選んであります。以降の反例の証明は、すべてこの不等式から出発します。 1. $X=a\partial_t+b\partial_\theta\ne0$（点 $(t,\theta)$）が未来向き因果的であることは $b\ge0$ かつ $2a+h(t)b\le0$ と同値で、未来向き時間的であることは $b\gt0$ かつ $2a+h(t)b\lt0$ と同値である。 2. 未来向き因果的曲線に沿って $\tilde\theta$ は単調非減少、$t$ は単調非増加で、$h(t)\,d\tilde\theta/ds\le-2\,dt/ds$ を満たす。$t\ne0$ の点では $dt/ds\lt0$ である。未来向き時間的曲線に沿っては $\tilde\theta$ は狭義増加、$t$ は狭義減少である。 3. $\theta\mapsto(0,\theta)$ は未来向きのヌル曲線で、$C$ は閉じた因果的曲線である。 4. $t_1\lt t_0$、$L\gt0$ で $2(t_1-t_0)+\max\{h(t_0),h(t_1)\}L\lt0$ ならば、線分 $s\mapsto(t_0+s(t_1-t_0),\ \tilde\theta_0+sL)$（$0\le s\le1$）は未来向き時間的である。 **1。** $g(X,X)=b(2a+hb)$、$g(X,T)=a-(1-h)b$ です。$b\gt0$ で $2a+hb\le0$ なら $a\le-hb/2\le0$ で $g(X,T)\lt0$（未来向き）です。$b=0$ なら $X$ はヌルで、$a\lt0$ のとき未来向きです。$b\lt0$ で因果的なら $2a+hb\ge0$ から $a\ge0$ で $g(X,T)\gt0$（過去向き）です。これで因果的な場合が示せ、時間的な場合は $b(2a+hb)\lt0$ を加えれば得られます。 **2。** 1 から $b\ge0$、$a\le-hb/2\le0$ で、$a=dt/ds$、$b=d\tilde\theta/ds$ です。$t\ne0$ なら $h\gt0$ で、$b\gt0$ なら $a\lt0$、$b=0$ なら $X\ne0$ から $a\lt0$ です。時間的なら $b\gt0$、$a\lt-hb/2\le0$ です。 **3。** $X=\partial_\theta$（$a=0$、$b=1$）は $t=0$ で $2a+h(0)b=0$ を満たします。 **4。** $h$ は $|t|$ について増加なので、線分上で $h(t)\le\max\{h(t_0),h(t_1)\}$ で、$a=t_1-t_0$、$b=L$ に 1 を使えばよいです。 2 から、$t$ は「時間とともに減る量」で、$C$ の上でだけ減らずに済みます。$C$ の近く（$|t|$ が小さいところ）では光円錐がほぼ $\theta$ 方向に倒れていて、わずかに $t$ を減らすだけで円柱を一周できます。この「ほとんど閉じた曲線」をどこで断ち切るかで、異なる段階の反例が得られます。 $Z$ は年代順的だが因果的でない。 閉じた時間的曲線 $\alpha\colon[0,1]\to Z$ があれば、 の 2 から $t(\alpha(1))\lt t(\alpha(0))$ となり $\alpha(1)=\alpha(0)$ に反します。一方 の 3 から $C$ は閉じた因果的曲線です。 $Z_1=Z\setminus\{(0,0)\}$ は因果的だが、未来識別的でも過去識別的でもない。 **因果的。** 閉じた因果的曲線 $\alpha$ があれば、$t$ は単調非増加で始点と終点で等しいので定数です。 の 2 から $t\ne0$ では $dt/ds\lt0$ なので、その定数は $0$ で、$\alpha$ は $C\setminus\{(0,0)\}$ に含まれます。そこでは $X\ne0$、$a=0$ から $b\gt0$ で $\tilde\theta$ は狭義増加し、閉じるには $\tilde\theta$ が正の整数だけ増える必要がありますが、そうすると途中で $\theta\equiv0$、すなわち除いた点を通ります。矛盾です。 **識別的でない。** $p=(0,\theta_p)\in C$（$0\lt\theta_p\lt1$）について $I^+(p)=\{t\lt0\}$ を示します。$\subset$ は の 2 です。$\supset$：$t_1\lt0$ と $\theta_1$ を与え、持ち上げを $\theta_p\lt\tilde\theta_1\le\theta_p+1$ に取り $L=\tilde\theta_1-\theta_p\in(0,1]$ とします。$(|t_1|-1)^2\ge0$ から $h(t_1)\le|t_1|/2$ なので $2t_1+h(t_1)L\le-2|t_1|+|t_1|/2\lt0$ で、 の 4 から $p$ と $(t_1,\theta_1)$ を結ぶ線分は時間的です。線分は $s\gt0$ で $t\lt0$ なので除いた点を通りません。よって $C\setminus\{(0,0)\}$ のすべての点が同じ $I^+$ をもちます。時間反転して同様に $I^-(p)=\{t\gt0\}$ です。 次の二つの例では、除いた半直線を「壁」と呼びます。未来向きの曲線に沿って $t$ は減るので、$t\le0$ の側に壁がある位置は $t\gt0$ の間にしか横切れず、$t\ge0$ の側に壁がある位置は $t\lt0$ になってからしか横切れません。この向きの制限が、円柱を一周できる曲線とできない曲線を分けます。 $Z$ から閉集合 $\{(t,0):t\le0\}$ と $\{(t,1/2):t\ge0\}$ を除いた時空 $Z_2$ は識別的だが、$C$ 上の点 $p=(0,3/4)$ で強因果的でない。 以下、$\theta\equiv0$ の壁は $t\gt0$ でしか、$\theta\equiv1/2$ の壁は $t\lt0$ でしか横切れないことに注意します。 **強因果的でない。** $0\lt\delta\lt1$ について線分 $s\mapsto(\delta-2\delta s,\ 3/4+s)$（$0\le s\le1$）を考えます。$h\le t^2\le\delta^2$ なので $2(-2\delta)+\delta^2\lt0$ で、 の 4 から未来向き時間的です。$\tilde\theta=1$ を $s=1/4$、$t=\delta/2\gt0$ で、$\tilde\theta=3/2$ を $s=3/4$、$t=-\delta/2\lt0$ で横切るので、除いた集合を通りません。両端 $(\delta,3/4)$、$(-\delta,3/4)$ は $\delta\to0$ で $p$ に収束しますが、曲線は円柱を一周するので、近傍 $U=\{|t|\lt1,\ |\theta-3/4|\lt1/8\}$ に含まれません。 **$I^+(p)=I^+(q)$ なら $t$ 座標が等しい。** の 2 から $I^+(p)\subset\{t\lt t_p\}$ なので $\overline{I^+(p)}\subset\{t\le t_p\}$ です。$q\in\overline{I^+(q)}$（）$=\overline{I^+(p)}$ から $t_q\le t_p$、対称に $t_p\le t_q$ です。この値を $\tau_0$ とします。 **$\tau_0\ne0$ の場合。** $x_k\in I^+(p)$、$x_k\to q$ を取り、$\gamma_k$ を $p$ から $x_k$ への時間的曲線とします。$\gamma_k$ 上で $t\in[t(x_k),\tau_0]$ で、十分大きな $k$ ではこの区間は $0$ を含まず、そこでの $h$ の最小値 $\eta_k$ は $h(\tau_0)\gt0$ に収束します。 の 2 の不等式を積分すると、$\tilde\theta$ の増加量は $2(\tau_0-t(x_k))/\eta_k\to0$ 以下です。よって $x_k\to p$ で、$q=p$ です。 **$\tau_0=0$ の場合。** $p=(0,\theta_p)$、$\theta_p\in(0,1)\setminus\{1/2\}$ とします。$p$ から出る時間的曲線は直ちに $t\lt0$ に入るので $\tilde\theta\in\mathbb{Z}$ の壁を横切れず、$\tilde\theta$ は狭義増加なので $I^+(p)\subset\{t\lt0,\ \theta_p\lt\theta\lt1\}$ です。逆の包含は の証明と同じ線分で示せます（線分は $t\lt0$ で $\theta\equiv1/2$ を横切ってよく、$\theta\equiv0$ には達しません）。よって $\theta_p\lt\theta_q$ なら $(-1,(\theta_p+\theta_q)/2)$ は $I^+(p)$ に属し $I^+(q)$ に属しません。 以上で未来識別的です。過去識別性は、過去向き時間的曲線に沿って $t$ が狭義増加・$\tilde\theta$ が狭義減少し、$t\gt0$ では $\theta\equiv1/2$ の壁を横切れないことから、同じ議論で示せます（$\tau_0=0$ の場合は $I^-(p)$ が $\{t\gt0\}$ と、$\theta_p$ から $\tilde\theta$ を減らして最初の $1/2+\mathbb{Z}$ に達するまでの範囲の積になります）。 この例では、1 本の因果的曲線では円柱を一周できないようにして強因果性を保ちつつ、近似的な因果関係をつないだ鎖では一周できるようにします。安定因果的でないことの証明は、時間関数があるとすると、鎖をたどって自分自身より値が大きくなってしまう、という矛盾を導く方針です。 $Z$ から 4 本の閉半直線 $\{(t,0):t\le0\}$、$\{(t,1/2):t\le0\}$、$\{(t,1/4):t\ge0\}$、$\{(t,3/4):t\ge0\}$ を除いた時空 $Z_3$ は強因果的だが、安定因果的でない。 $\tilde\theta\in\frac12\mathbb{Z}$ の壁（B 型）は $t\gt0$ でしか、$\tilde\theta\in\frac14+\frac12\mathbb{Z}$ の壁（A 型）は $t\lt0$ でしか通れません。 **一周できない。** 未来向き因果的曲線の $\tilde\theta$ の値域を $[\theta_-,\theta_+]$ とします。値域が連続する 3 つの壁の位置 $c_1\lt c_2\lt c_3$（間隔 $1/4$）を含むとすると、型は B, A, B か A, B, A です。$\tilde\theta$ は単調非減少なので、$\tilde\theta=c_2$ となる点は $\tilde\theta=c_3$ となる点より前に、$\tilde\theta=c_1$ となる点は $c_2$ となる点より前に現れます。B, A, B なら $c_2$ で $t\lt0$、その後 $c_3$ で $t\gt0$ となり、$t$ の単調非増加に反します。A, B, A なら $c_1$ と $c_2$ で同じ矛盾が起きます。よって値域は壁の位置を高々 2 つしか含まず、$\theta_+-\theta_-\lt3/4$ です。 **強因果的。** 点 $p$ で破れていると仮定し、近傍 $U_0$ を取ります。$U_0$ に含まれる箱 $U_1=\{|t-t_p|\lt\varepsilon,\ |\tilde\theta-\tilde\theta_p|\lt\varepsilon\}$（$\varepsilon\lt1/8$）を取り、$p$ に縮む箱 $V_k$ に両端 $x_k,y_k$ をもち $U_1$ に含まれない因果的曲線 $\gamma_k$ を取ります。$\tilde\theta$ の増加量 $\Delta_k$ は $[0,3/4)$ に属し、$\theta(y_k)-\theta(x_k)\to0$（法 $1$）なので $\Delta_k\to0$ です。また $\gamma_k$ 上で $t\in[t(y_k),t(x_k)]$ で、両端は $t_p$ に収束します。よって十分大きな $k$ で $\gamma_k\subset U_1$ となり、矛盾です。 **安定因果的でない。** $C$ 上の点 $a=(0,7/8)$、$b=(0,1/16)$、$c=(0,3/16)$、$d=(0,3/8)$、$e=(0,9/16)$、$f=(0,11/16)$、$g'=(0,13/16)$ を取ります（いずれも除いた集合の外）。「点列 $x_k\to x$、$y_k\to y$ で $x_k\le y_k$ となるものがある」ことを $x\preceq y$ と書くと、時間関数 $\tau$ について $x\preceq y$ なら連続性から $\tau(x)\le\tau(y)$、$x\lt y$ なら $\tau(x)\lt\tau(y)$ です。次を示します。 $$ a\preceq b\lt c\preceq d\preceq e\lt f\preceq g'\lt a . $$ すると $\tau(a)\lt\tau(a)$ となり、時間関数は存在しません。 - $b\lt c$、$e\lt f$、$g'\lt a$：$C$ に沿った未来向きヌル曲線（ の 3）で、壁の位置を通りません。 - $a\preceq b$：$x_k=(1/k,7/8)$ から $(1/(2k),17/16)$ への線分（$t\gt0$ のまま $\tilde\theta=1$ の B 型の壁を通る。$2(-\tfrac1{2k})+\tfrac1{k^2}\cdot\tfrac3{16}\lt0$ なので時間的）と、そこから $b$ への鉛直な線分（速度 $-\partial_t$、未来向きヌル）をつなぎます。 - $c\preceq d$：$c$ から $(-1/(2k),3/16)$ へ鉛直に下り、$(-1/k,3/8)$ への線分（$t\lt0$ で $\tilde\theta=1/4$ の A 型の壁を通る）をつなぎ、$y_k=(-1/k,3/8)\to d$ とします。 - $d\preceq e$、$f\preceq g'$：それぞれ $a\preceq b$、$c\preceq d$ と同じ形の曲線で、$\tilde\theta=1/2$（B 型、$t\gt0$）と $\tilde\theta=3/4$（A 型、$t\lt0$）を通ります。 どの曲線も、通る範囲に他の壁の位置を含みません。
C θ=0 (B) θ=1/4 (A) θ=1/2 (B) θ=3/4 (A) θ=1 (B) a b c d e f g' t > 0 t < 0
### 5.2. Minkowski 空間の部分集合 上の 2 段階の反例は、Minkowski 空間 $\mathbb{R}^{1,1}$（座標 $(t,x)$、計量 $-dt^2+dx^2$、時間向き付け $\partial_t$）の開部分集合で作れます。どちらも $t$ が時間的関数（$\nabla t=-\partial_t$ は過去向き時間的）なので、 により安定因果的です。 $M=\mathbb{R}^{1,1}\setminus\{o\}$、$o=(1,1)$ は安定因果的だが、$p=(0,0)$ について $J^+(p)$ は閉でない。 $t$ は時間的関数（$\nabla t=-\partial_t$ は過去向き時間的）なので、 により時間関数で、$M$ は安定因果的です。$r=(2,2)$ と置きます。$r\notin J^+(p)$：$M$ 内の未来向き因果的曲線が $p$ から $r$ へ行けば、それは $\mathbb{R}^{1,1}$ 内の曲線でもあり、$r-p$ はヌルなので により像は線分 $[p,r]$ に含まれます。$t$ は $0$ から $2$ まで連続に動くので（中間値の定理）$t=1$ の点 $o$ を通り、$M$ 内の曲線であることに反します。一方 $r_k=(2,2-1/k)$ について $r_k-p$ は時間的で、線分 $[p,r_k]$ は $t=1$ で $x=1-1/(2k)\ne1$ を通るので $o$ を避け、$r_k\in J^+(p)$ です。$r_k\to r$ なので $J^+(p)$ は閉でありません。 $H=\{(t,x)\in\mathbb{R}^{1,1}:x\gt0\}$ は因果的に単純だが、大域双曲でない。 **因果的に単純。** $t$ は時間的関数なので により時間関数で、、、 から因果的です。$H$ は凸なので により $J^\pm(p)=(p\pm\overline{C}^+)\cap H$ で、これは $H$ の閉集合です。 **大域双曲でない。** $p=(0,1)$、$q=(4,1)$、$z_k=(2,1/k)$ とします。$z_k-p=(2,1/k-1)$、$q-z_k=(2,1-1/k)$ はともに $\overline{C}^+$ に入るので $z_k\in J^+(p)\cap J^-(q)=:D$ です。$D$ が $H$ のコンパクト集合なら、包含写像 $H\to\mathbb{R}^2$ による像として $\mathbb{R}^2$ のコンパクト集合（）、したがって閉集合（）で、$z_k$ の極限 $(2,0)$ を含むはずですが、$(2,0)\notin H$ です。 | 段階 | 次の段階の反例 | 何が壊れているか | |---|---|---| | 年代順的 | $Z$ | 閉じたヌル曲線 $C$ | | 因果的 | $Z_1$ | $C$ 上の点がすべて同じ $I^\pm$ をもつ | | 識別的 | $Z_2$ | $C$ の近くを一周するほとんど閉じた曲線 | | 強因果的 | $Z_3$ | 近似と真の因果関係を交互につなぐと閉じる鎖 | | 安定因果的 | $\mathbb{R}^{1,1}\setminus\{o\}$ | $J^+(p)$ が閉でない | | 因果的に単純 | 半平面 $H$ | 因果的ダイヤモンドが境界へ抜ける | ## 6. Cauchy 曲面と大域双曲性 ### 6.1. Cauchy 曲面と分割定理 Cauchy 曲面の定義に必要な「非延長的」を先に定めます。直感的には、行き止まりに達することなく、時空の中をどこまでも伸びていく曲線のことです。 未来向き因果的曲線 $\alpha\colon[a,b)\to M$（$b\le\infty$）が**未来に延長可能**であるとは、極限 $\lim_{s\to b}\alpha(s)$ が $M$ に存在することをいう。そうでないとき**未来に非延長的**という。開区間上の因果的曲線が、未来向きに見て未来にも過去にも非延長的であるとき、単に**非延長的**という。 $S\subset M$ が**Cauchy 曲面**であるとは、すべての非延長的な時間的曲線が $S$ とちょうど 1 回交わることをいう。 Cauchy 曲面は非時間的な閉集合で、位相的な超曲面になることが示せます（Hawking–Ellis の第 6 章）。物理的には「ある時刻の全空間」にあたり、その上に初期データを与えれば、波動方程式などの双曲型方程式の解が時空全体で一意に決まります。
S 時間 t
ここでの問いは、「ある時刻のデータで全時空が決まる」という物理的な性質を、Cauchy 曲面という幾何の言葉で言い換えることです。次の定理は、それが大域双曲性と同じことだと述べています。 時空 $M$ について、次は同値である。(1) $M$ は大域双曲的である。(2) $M$ は Cauchy 曲面をもつ。さらにこのとき、Cauchy 曲面 $S$ について $M$ は $\mathbb{R}\times S$ と同相であり、$M$ のすべての Cauchy 曲面は互いに同相である。 この定理は主張のみを述べ、証明は与えません。証明には、因果的曲線の列の極限曲線の存在定理と、Cauchy 曲面の依存領域 $D(S)$ の詳しい解析が必要で、教科書でも 1 章分の準備を要します。(1) ⇒ (2) は、体積関数 $t^\pm$ が連続になることを示して $\tau=\log\bigl(t^-/(-t^+)\bigr)=\log\bigl(\mu(I^-)/\mu(I^+)\bigr)$ を作り、その等位集合が Cauchy 曲面になることを確かめます（$\tau$ は時間関数で、非延長的な因果的曲線に沿って $-\infty$ から $\infty$ まで動きます）。出典：R. Geroch, "Domain of dependence", *J. Math. Phys.* 11 (1970), 437–449。教科書としては Hawking–Ellis の 6.6 節、O'Neill の第 14 章。 $M$ が大域双曲的ならば、時間的関数 $\tau\colon M\to\mathbb{R}$ で、各等位集合 $S_c=\tau^{-1}(c)$ が滑らかな空間的 Cauchy 曲面となるものが存在する。さらに $M$ は $\mathbb{R}\times S$ に計量 $$ -\beta\,d\tau^2+g_\tau $$ を入れたものと等長である。ここで $\beta\gt0$ は滑らかな関数、$g_\tau$ は $\tau$ に滑らかに依存する $S$ 上の Riemann 計量である。 この定理も主張のみとします。Geroch の時間関数は一般に連続なだけで、等位集合が滑らかになるように修正することは長く未解決でした（「Geroch の定理の滑らかな版」の問題）。Bernal と Sánchez は、局所的に構成した時間的関数を貼り合わせる精密な議論でこれを解決しました。証明は論文 2 本分の技術的な構成で、本章の範囲を超えます。出典：A. N. Bernal, M. Sánchez, *Commun. Math. Phys.* 243 (2003), 461–470；同 257 (2005), 43–50。また同じ著者らは、大域双曲性の定義の「強因果的」を「因果的」に弱めてよいことも示しています（*Class. Quantum Grav.* 24 (2007)）。 この分割定理は、大域双曲的な時空が「空間 $S$ が時間 $\tau$ とともに変形していく」という描像で記述できることを保証します。一般相対論の初期値問題（ADM 形式）や、曲がった時空上の場の量子論は、この分割を前提に組み立てられます。 ### 6.2. warped 積 $(B,g_B)$ を半 Riemann 多様体、$(F,g_F)$ を Riemann 多様体、$f\colon B\to(0,\infty)$ を滑らかな関数とする。$B\times F$ に計量 $$ g=\pi_B^*g_B+(f\circ\pi_B)^2\,\pi_F^*g_F $$ を入れたものを **warped 積**といい、$B\times_fF$ と書く（$\pi_B,\pi_F$ は射影）。$f$ を**歪曲関数**という。とくに $B=(I,-dt^2)$（$I\subset\mathbb{R}$ は開区間）のとき $g=-dt^2+f(t)^2g_F$ は Lorentz 計量で、$\partial_t$ で時間向き付ける。 $\Omega\colon M\to(0,\infty)$ を滑らかな関数とし、$\tilde g=\Omega^2g$ とする（時間向き付けは同じベクトル場 $T$）。$(M,g)$ と $(M,\tilde g)$ の未来向き因果的（時間的）曲線は一致する。したがって $I^\pm$、$J^\pm$、時間関数、因果階層の各性質、Cauchy 曲面は両者で一致する。 $\tilde g(v,v)=\Omega^2g(v,v)$、$\tilde g(v,T)=\Omega^2g(v,T)$ で $\Omega^2\gt0$ なので、時間的・因果的・未来向きの判定は一致します。残りの概念はどれも未来向き因果的（時間的）曲線と多様体の位相だけで定義されています。 $J\subset\mathbb{R}$ を開区間、$(F,h)$ を連結で完備な Riemann 多様体、$d$ をその距離とし、$J\times F$ に計量 $-d\tau^2+h$ と時間向き付け $\partial_\tau$ を入れる。 1. 未来向き因果的曲線 $\alpha(s)=(\tau(s),x(s))$ は $\dot\tau\gt0$ かつ $|\dot x|_h\le\dot\tau$ を満たす。 2. $p=(\tau_p,x_p)$、$q=(\tau_q,x_q)$ について、$q\in J^+(p)$ と $\tau_q-\tau_p\ge d(x_p,x_q)$ は同値である。 **1。** $X=a\partial_\tau+v$（$v\in TF$）について $g(X,X)=-a^2+|v|_h^2$、$g(X,\partial_\tau)=-a$ です。未来向き因果的なら $a\gt0$、$|v|_h\le a$ です。 **2。** $\Rightarrow$：$p$ から $q$ への未来向き因果的曲線について、1 から $x$ の長さは $\int|\dot x|_h\,ds\le\int\dot\tau\,ds=\tau_q-\tau_p$ で、$d(x_p,x_q)$ は長さの下限なので $d(x_p,x_q)\le\tau_q-\tau_p$ です（$p=q$ なら両辺とも $0$ です）。$\Leftarrow$：$\tau_q=\tau_p$ なら $d(x_p,x_q)=0$ で $q=p$ です。$\tau_q\gt\tau_p$ なら、Hopf–Rinow の定理（）により長さ $d(x_p,x_q)$ の測地線 $\sigma\colon[0,1]\to F$（速さ一定 $d(x_p,x_q)$）が $x_p$ と $x_q$ を結びます。$\alpha(s)=(\tau_p+s(\tau_q-\tau_p),\sigma(s))$ は $a=\tau_q-\tau_p\gt0$、$|v|_h=d(x_p,x_q)\le a$ なので未来向き因果的で、$\tau$ は $[\tau_p,\tau_q]\subset J$ にとどまります。 $I\subset\mathbb{R}$ を開区間、$(F,h)$ を連結で完備な Riemann 多様体、$f\colon I\to(0,\infty)$ を滑らかな関数とし、$M=I\times_fF$（計量 $-dt^2+f(t)^2h$）とする。 1. $t$ は時間的関数である。 2. $M$ は大域双曲的である。 3. 各 $t_0\in I$ について、断面 $\{t_0\}\times F$ はすべての非延長的な因果的曲線とちょうど 1 回交わる。とくに Cauchy 曲面である。 $t_*\in I$ を固定し $\phi(t)=\int_{t_*}^t ds/f(s)$ と置くと、$\phi$ は $I$ から開区間 $J=\phi(I)$ への狭義増加な微分同相です。$\Phi(t,x)=(\phi(t),x)$ は $M$ から $J\times F$ への微分同相で、$d\phi=dt/f$ から $$ \Phi^*(-d\tau^2+h)=-\frac{dt^2}{f^2}+h=f^{-2}g $$ です。$\Phi$ は $\partial_t$ を $\partial_\tau$ の正の倍に写すので時間向き付けも保ちます。 により、$M$ の因果的な性質は $(J\times F,-d\tau^2+h)$ で調べれば十分です。 **1。** $g(-\partial_t,X)=dt(X)$ なので $\nabla t=-\partial_t$ で、これは過去向き時間的です。 **2。** 1 と 、 から強因果的です。$\tau_p\le\tau_q$ のとき、 から $$ J^+(p)\cap J^-(q)=\{(\tau,x):\tau_p\le\tau\le\tau_q,\ d(x_p,x)\le\tau-\tau_p,\ d(x,x_q)\le\tau_q-\tau\} $$ で（$\tau_p\gt\tau_q$ なら空集合）、これは $d$ の連続性から閉集合で、$[\tau_p,\tau_q]\times\{x:d(x_p,x)\le\tau_q-\tau_p\}$ に含まれます。後者は閉区間（）と完備多様体の有界閉集合（ の 1）の積なのでコンパクトで（）、その閉部分集合もコンパクトです（）。 **3。** 非延長的な因果的曲線を未来向きにパラメータ付けし $\alpha(s)=(\tau(s),x(s))$（$a\lt s\lt b$）とします。 の 1 から $\tau$ は狭義増加です。$\tau_+=\lim_{s\to b}\tau(s)$ が $\sup J$ より小さいと仮定します。$s\lt s'$ について $d(x(s),x(s'))\le\int_s^{s'}|\dot x|_h\le\tau(s')-\tau(s)$ で、右辺は $s,s'\to b$ で $0$ に近づくので、$s_k\to b$ となる任意の列について $x(s_k)$ は Cauchy 列です。$F$ は完備なので（ の 2）極限 $x_+$ が存在し、上の評価から極限は列によらず、$\alpha(s)\to(\tau_+,x_+)\in J\times F$ です。これは $\alpha$ が未来に延長可能であることを意味し、矛盾です。よって $\tau(s)\to\sup J$、同様に $\tau(s)\to\inf J$（$s\to a$）で、中間値の定理（）と狭義単調性から、$\tau$ は $J$ の各値をちょうど 1 回とります。$\phi(t_0)\in J$ をとる点が断面との唯一の交点です。時間的曲線は因果的曲線なので、断面は Cauchy 曲面です。 1. Minkowski 空間 $\mathbb{R}^{1,n}$ は $I=\mathbb{R}$、$f=1$、$F=\mathbb{R}^n$ の場合で、大域双曲的で $t=$ 一定の超平面が Cauchy 曲面である。 2. FLRW 時空 $-dt^2+a(t)^2h$（[宇宙論](/physics/general-relativity/cosmology)）は、$t$ の動く範囲を $I$、$F$ を $\mathbb{R}^3$・球面 $S^3$・双曲空間 $H^3$（いずれも完備）とした warped 積である。 により大域双曲的で、宇宙時刻一定の空間が Cauchy 曲面である。ビッグバンは $I$ の端 $t\to0$ にあり、時空の点ではない。 3. de Sitter 時空 $-dt^2+\cosh^2t\,\sigma_n$（$\sigma_n$ は単位球面の計量）も $I=\mathbb{R}$、$F=S^n$ の warped 積で、大域双曲的である。 ## 7. 演習 の $Z_1$ で、$C\setminus\{(0,0)\}$ のすべての点で強因果性が破れていることを、ほとんど閉じた曲線を書き下して確かめよ。これは と矛盾しないことを説明せよ。 $p=(0,\theta_p)$、$0\lt\theta_p\lt1$ とし、$\delta\gt0$ について $(\delta,\theta_p)$ から $(-\delta',\theta_p+1)$ への線分を考えます。$\delta'$ は $\delta$ か $2\delta$ のうち、線分が $\tilde\theta=1$ で $t\ne0$ となる方を選びます（$t=0$ となるのは $\delta'$ について 1 つの値だけなので、どちらかは条件を満たします）。$a=-(\delta+\delta')$、$b=1$、$h\le4\delta^2$ なので $\delta$ が小さければ の 4 から時間的で、除いた点 $(0,0)$ を通りません。両端は $\delta\to0$ で $p$ に収束し、曲線は円柱を一周するので $p$ の小さな近傍に含まれません。$Z_1$ は識別的でない（）ので、 の対偶から強因果的でないことは予想どおりで、矛盾はありません。 $M=\mathbb{R}\times(\mathbb{R}^2\setminus\{0\})$ に $-dt^2+dx^2+dy^2$ を入れる。$t$ は時間的関数なので $M$ は強因果的だが、大域双曲でないことを示せ。 のどの仮定が満たされていないか。 $p=(0,(-1,0))$、$q=(4,(1,0))$、$z_k=(2,(0,1/k))$ とします。空間成分の線分 $(-1,0)\to(0,1/k)$ と $(0,1/k)\to(1,0)$ は原点を通らず、長さ $\sqrt{1+1/k^2}\lt2$ なので、$t$ を 2 ずつ増やす直線はどちらも未来向き時間的で $M$ に含まれます（ の計算）。よって $z_k\in J^+(p)\cap J^-(q)$ ですが、$z_k\to(2,(0,0))\notin M$ なので、 の証明と同じ議論で $J^+(p)\cap J^-(q)$ はコンパクトでありません。満たされていないのは $F=\mathbb{R}^2\setminus\{0\}$ の完備性で、原点に向かう Cauchy 列が収束しません。 Schwarzschild 時空の外部領域 $\{r\gt r_s\}$、計量 $-(1-r_s/r)dt^2+(1-r_s/r)^{-1}dr^2+r^2d\Omega^2$（$c=1$）は大域双曲的であることを示せ。（ヒント：亀座標 $r_*=r+r_s\log(r/r_s-1)$ を使って共形因子をくくり出す。） $dr_*/dr=(1-r_s/r)^{-1}$ なので $r_*$ は $(r_s,\infty)$ から $\mathbb{R}$ への狭義増加な全単射で、計量は $$ \Bigl(1-\frac{r_s}{r}\Bigr)\Bigl(-dt^2+dr_*^2+\psi(r_*)^2d\Omega^2\Bigr),\qquad\psi=\frac{r}{\sqrt{1-r_s/r}} $$ と書けます。 により、括弧の中の計量 $-dt^2+h$、$h=dr_*^2+\psi^2d\Omega^2$（$F=\mathbb{R}\times S^2$）を調べれば十分です。$F$ の完備性：$F$ の点を $(r_*,\omega)$ と書くと、$F$ の曲線の長さは $r_*$ 成分の変化以上なので $d((r_{*1},\omega_1),(r_{*2},\omega_2))\ge|r_{*1}-r_{*2}|$ です。有界閉集合は $r_*$ が有界で、コンパクト集合 $[A,B]\times S^2$（）の閉部分集合なのでコンパクトです。 の 1 ⇒ 2 により完備です。よって （$I=\mathbb{R}$、$f=1$）から外部領域は大域双曲的で、$t=$ 一定が Cauchy 曲面です。地平線 $r=r_s$ は $r_*\to-\infty$ に送られ、外部領域から見ると「無限に遠い」境界になっています。 ## 参考文献 - S. W. Hawking, G. F. R. Ellis, *The Large Scale Structure of Space-Time*, Cambridge University Press, 1973 — 第 6 章（因果性の条件、Cauchy 曲面、大域双曲性）。 - B. O'Neill, *Semi-Riemannian Geometry with Applications to Relativity*, Academic Press, 1983 — 第 7 章（warped 積）、第 14 章（因果性）。 - J. K. Beem, P. E. Ehrlich, K. L. Easley, *Global Lorentzian Geometry*, 2nd ed., Marcel Dekker, 1996 — 第 3 章（因果階層）。 - E. Minguzzi, M. Sánchez, "The causal hierarchy of spacetimes", in *Recent Developments in Pseudo-Riemannian Geometry*, ESI Lectures in Mathematics and Physics, European Mathematical Society, 2008, 299–358. [arXiv:gr-qc/0609119](https://arxiv.org/abs/gr-qc/0609119) - R. Geroch, "Domain of dependence", *Journal of Mathematical Physics* 11 (1970), 437–449。 - A. N. Bernal, M. Sánchez, "On smooth Cauchy hypersurfaces and Geroch's splitting theorem", *Communications in Mathematical Physics* 243 (2003), 461–470；"Smoothness of time functions and the metric splitting of globally hyperbolic spacetimes", 同 257 (2005), 43–50。