# Lorentz 多様体の因果構造：因果的未来・局所理論・体積関数 > 時間向き付けられた Lorentz 多様体で因果的曲線と因果的未来・過去を定義し、正規近傍での局所因果構造から I⁺ の開性と押し上げ補題を証明する。全悪性時空、体積関数、generic 条件も扱う。 > https://rikai.mugen-giken.com/mathematics/differential-geometry/lorentzian-causality ## 0. この記事の要点 一般相対論の時空で、ある出来事 $p$ が別の出来事 $q$ に影響を与えられるかどうかは、「光より速くない速さで $p$ から $q$ へ行けるか」で決まります。この記事は、曲がった時空でもこの「行ける・行けない」を正確に定義し、ごく狭い範囲では平らな時空とほぼ同じ形をしていることを示します。そのうえで、過去へ戻る道がある時空や、「過去にどれだけの時空があるか」を数で測る方法まで進みます。読み終えると、次章の因果階層で使う道具が一通りそろいます。 - 時間向き付けられた Lorentz 多様体（時空）では、各点の接空間の**時間錐**が未来と過去に分かれます。未来向きの時間的（因果的）曲線で $p$ から到達できる点の集合が**時間的未来** $I^+(p)$（**因果的未来** $J^+(p)$）です。 - 正規近傍の中では、$p$ から未来向き因果的曲線で行ける点は、ちょうど $\exp_p$ が未来の閉じた光円錐を写した集合に入ります（）。証明の鍵は Lorentz 版の [Gauss の補題](/mathematics/differential-geometry/geodesics)で、位置ベクトルの 2 乗 $q=g(P,P)$（$p$ から測った「距離の 2 乗」にあたるもの）の勾配が動径ベクトル場になることです。 - この局所理論から、$I^+(p)$ が開集合であること（）、$p\le q\ll r$ なら $p\ll r$ という**押し上げ**（）、$J^+(p)\subset\overline{I^+(p)}$（）が従います。これらが次章の因果階層の証明の道具になります。 - すべての点で $p\ll p$ となる時空を**全悪性**（totally vicious）といい、$I^+(p)=M$ がすべての $p$ で成り立つことと同値です（）。コンパクトな時空には必ず閉じた時間的曲線があります（）。 - 有限で開集合に正の値を与え、非時間的集合を零集合にする測度 $\mu$ を作り（）、**体積関数** $t^-(p)=\mu(I^-(p))$ の単調性と半連続性を示します（）。 - 因果的測地線 $\gamma$ に沿って潮汐作用素 $R(\cdot,\dot\gamma)\dot\gamma$（近くを並んで進む測地線同士のずれ方を決める線形写像）がどこかで $0$ でないことを **generic 条件**といいます。$\operatorname{Ric}(\dot\gamma,\dot\gamma)\ne0$ ならその点で成り立ちます（）。 ## 1. 動機 特殊相対論では、事象 $p$ が事象 $q$ に影響を及ぼせるのは $q-p$ が未来向きの時間的またはヌルのベクトルのときに限られました。一般相対論の時空は曲がっているので「差 $q-p$」は意味を持ちませんが、曲線の速度ベクトルなら各点の接空間の中で時間的かどうかを判定できます。そこで「$p$ から光速以下で進む曲線で $q$ に届くか」を因果関係の定義にします。 こう定義した関係は、計量の細部によらず時空の大域的な形をよく反映します。ブラックホールの事象の地平線は「無限遠に届く因果的曲線が出ない領域」の境界でしたし（[ブラックホール](/physics/general-relativity/black-holes)）、時空全体で初期値問題がうまく解けるかどうかも、因果関係の性質で決まります。過去に戻る曲線（閉じた時間的曲線）がある時空では、初期データを決めても未来が決まりません。 本章ではまず、因果関係の基本的な性質を局所理論から導きます。曲がった時空でも、十分小さな近傍の中では因果関係は Minkowski 空間とほぼ同じ形をしています。その「ほぼ同じ」を指数写像と Gauss の補題で正確に言うのが §4 です。§5 以降では、因果関係が壊れる極端な例（全悪性時空）、因果関係を数値で測る体積関数、曲率と因果的測地線の関係（generic 条件）を扱います。これらは次章 [因果階層](/mathematics/differential-geometry/causal-hierarchy) で、年代順的から大域双曲までの段階を比べるときに使います。 ## 2. Lorentz ベクトル空間の時間錐 以下、$V$ を $n+1$ 次元（$n\ge1$）の実ベクトル空間、$\langle\cdot,\cdot\rangle$ を符号 $(-,+,\dots,+)$ の非退化対称双線形形式とします。$v\ne0$ は $\langle v,v\rangle<0$ のとき**時間的**、$\langle v,v\rangle=0$ のとき**ヌル**、$\langle v,v\rangle>0$ のとき**空間的**で、時間的またはヌルのとき**因果的**といいます（[曲がった時空のテンソル解析](/physics/general-relativity/spacetime-tensors-geodesics) の用語と同じです）。 $e_0\in V$ を $\langle e_0,e_0\rangle=-1$ となるベクトルとし、$T^+=\{v:\langle v,v\rangle<0,\ \langle v,e_0\rangle<0\}$、$C^+=\{v\ne0:\langle v,v\rangle\le0,\ \langle v,e_0\rangle<0\}$ と置く。 1. 時間的ベクトル全体は互いに交わらない二つの開凸錐 $T^+$ と $-T^+$ の和である。因果的ベクトル全体は $C^+$ と $-C^+$ の交わらない和である。 2. $u,v\in C^+$ ならば $\langle u,v\rangle\le0$ で、等号は $u,v$ がともにヌルで互いに正の定数倍のときに限る。とくに一方が時間的なら $\langle u,v\rangle<0$ である。 3. $\overline{C}^+=C^+\cup\{0\}$ は閉凸錐で、$T^+$ の閉包に等しい。$C^++T^+\subset T^+$、また $C^+$ に属する時間的ベクトルは $T^+$ に属する。 4. 因果的な $v$ と時間的な $w$ について $\langle v,w\rangle\ne0$ である。$w\in T^+$ なら、因果的な $v$ が $C^+$ に属することと $\langle v,w\rangle<0$ は同値である。 $e_0$ を含む基底 $e_0,e_1,\dots,e_n$ を $\langle e_a,e_b\rangle=\operatorname{diag}(-1,1,\dots,1)$ となるように取ります（$e_0^\perp$ 上で形式は正定値なので Gram–Schmidt で取れます）。$v=v^0e_0+\boldsymbol{v}$（$\boldsymbol{v}\in e_0^\perp$）と書くと $\langle v,v\rangle=-(v^0)^2+|\boldsymbol{v}|^2$、$\langle v,e_0\rangle=-v^0$ です。よって $T^+=\{v^0>|\boldsymbol{v}|\}$、$C^+=\{v^0\ge|\boldsymbol{v}|,\ v^0>0\}$ です。 **1。** 時間的なら $|v^0|>|\boldsymbol{v}|\ge0$ なので $v^0\ne0$ で、符号で二つに分かれます。$T^+$ は開で、$u,v\in T^+$、$s,t\ge0$（同時に $0$ でない）なら $|s\boldsymbol{u}+t\boldsymbol{v}|\le s|\boldsymbol{u}|+t|\boldsymbol{v}|
未来向き時間的 過去向き時間的 空間的 空間的 ヌル t x
$M$ を連結・Hausdorff・[第二可算](/mathematics/topology/products-quotients-tychonoff#def-countability)な $n+1$ 次元多様体、$g$ を Lorentz 計量とします（定義は 。そこでは 4 次元ですが、以下は $n\ge1$ で成り立ちます）。 $M$ 上の連続な時間的ベクトル場 $T$ を一つ固定することを**時間向き付け**という。因果的な $v\in T_pM$ は $g(v,T_p)<0$ のとき**未来向き**、$g(v,T_p)>0$ のとき**過去向き**という。時間向き付けられた Lorentz 多様体 $(M,g)$ を**時空**という。$p$ での未来向き時間的ベクトルの集合を $T^+_p$、未来向き因果的ベクトルの集合を $C^+_p$ と書く。 の 4 により、$T$ を別の未来向き時間的ベクトル場に取り替えても未来向きのベクトルは変わりません。時間向き付けは常に存在するとは限りませんが（$M$ が単連結なら存在します）、存在しない場合も 2 重被覆に移れば存在するので、以下では仮定します。$-T$ に取り替えた**時間反転**も時空で、以下の主張はすべて未来と過去を入れ替えても成り立ちます。 ## 3. 因果的曲線と因果的未来 区間 $I$ 上の連続な曲線 $\alpha\colon I\to M$ が**区分的に滑らか**であるとは、$I$ の各コンパクト部分区間を有限個の点で分けた各閉小区間で滑らか（端点では片側の微分）であることをいう。区分的に滑らかな曲線で、すべての点の（分点では左右両方の）速度ベクトルが未来向き時間的（因果的）であるものを**未来向き時間的曲線**（**未来向き因果的曲線**）という。過去向きも同様に定める。 $p,q\in M$ について、$p$ から $q$ への未来向き時間的曲線があるとき $p\ll q$、$p=q$ であるか $p$ から $q$ への未来向き因果的曲線があるとき $p\le q$ と書く。$p\le q$ かつ $p\ne q$ を $p\lt q$ と書く。 $$ I^+(p)=\{q:p\ll q\},\quad J^+(p)=\{q:p\le q\},\quad I^-(p)=\{q:q\ll p\},\quad J^-(p)=\{q:q\le p\} $$ をそれぞれ $p$ の**時間的未来**、**因果的未来**、**時間的過去**、**因果的過去**という。 1. $p\ll q$ ならば $p\le q$ である。 2. $p\ll q$ かつ $q\ll r$ なら $p\ll r$、$p\le q$ かつ $q\le r$ なら $p\le r$ である。 3. $q\in I^+(p)$ と $p\in I^-(q)$ は同値で、$J^\pm$ についても同様である。 1 は時間的なベクトルが因果的であることから従います。2 は二つの曲線をつなげばよく、つないだ点は分点になって左右の速度ベクトルがともに未来向きなので、つないだ曲線も未来向き時間的（因果的）です。3 は定義の言い換えです。 $p\ll p$ は $p$ を通る閉じた時間的曲線があることを意味します。Minkowski 空間では次のとおり、この関係が線形代数だけで計算できます。 $\mathbb{R}^{1,n}$ に計量 $-dt^2+\sum_i(dx^i)^2$ と時間向き付け $\partial_t$ を入れ、$U\subset\mathbb{R}^{1,n}$ を凸開集合とする。$U$ を時空とみるとき、$p\in U$ について $$ J^+(p)=(p+\overline{C}^+)\cap U,\qquad I^+(p)=(p+T^+)\cap U $$ である（$C^+$、$T^+$ は原点での錐を平行移動で同一視したもの）。さらに、$U$ 内の未来向き因果的曲線が $p$ から $q$ へ行き、$q-p$ がヌルならば、その曲線の像は線分 $[p,q]$ に含まれる。 $\alpha(s)=(t(s),\boldsymbol{x}(s))$（$0\le s\le1$）を未来向き因果的曲線とすると、各点で $\dot t\ge|\dot{\boldsymbol{x}}|$、$\dot t>0$ です（ の成分表示）。積分すると $$ t(1)-t(0)=\int_0^1\dot t\,ds\ \ge\ \int_0^1|\dot{\boldsymbol{x}}|\,ds\ \ge\ \Bigl|\int_0^1\dot{\boldsymbol{x}}\,ds\Bigr|=|\boldsymbol{x}(1)-\boldsymbol{x}(0)| $$ で、$q-p\in\overline{C}^+$ です。時間的なら被積分関数の不等号が各小区間で狭義なので $t(1)-t(0)>|\boldsymbol{x}(1)-\boldsymbol{x}(0)|$、すなわち $q-p\in T^+$ です。逆に $q-p\in\overline{C}^+$（$T^+$）なら線分 $s\mapsto p+s(q-p)$ は $U$ の凸性から $U$ に含まれ、速度一定の未来向き因果的（時間的）曲線です。これで二つの等式が示せました。 $q-p$ がヌルなら上の不等式はすべて等号です。$\boldsymbol{e}=(\boldsymbol{x}(1)-\boldsymbol{x}(0))/|\boldsymbol{x}(1)-\boldsymbol{x}(0)|$ と置くと（$q\ne p$ なら $|\boldsymbol{x}(1)-\boldsymbol{x}(0)|=t(1)-t(0)>0$）、$\int_0^1(|\dot{\boldsymbol{x}}|-\boldsymbol{e}\cdot\dot{\boldsymbol{x}})\,ds=0$ で被積分関数は非負かつ各小区間で連続なので $\dot{\boldsymbol{x}}=|\dot{\boldsymbol{x}}|\boldsymbol{e}$、また $\dot t=|\dot{\boldsymbol{x}}|$ です。よって $\dot\alpha=\dot t\,(1,\boldsymbol{e})$ で、$\alpha(s)=p+(t(s)-t(0))(1,\boldsymbol{e})$ は線分 $[p,q]$ の上にあります。 とくに Minkowski 空間では $I^+(p)$ は開集合、$J^+(p)$ は閉集合で、$J^+(p)$ は $I^+(p)$ の閉包です。曲がった時空ではこのうち「$I^+(p)$ は開」と「$J^+(p)\subset\overline{I^+(p)}$」だけが一般に残り、$J^+(p)$ の閉性は失われえます（次章で、Minkowski 空間から 1 点を除いた例を扱います）。 ## 4. 局所理論 ### 4.1. Lorentz 計量の指数写像 Lorentz 計量にも Levi-Civita 接続がただ一つあります（）。$\nabla$ をそれとし、$D_t$ を曲線に沿った共変微分とします。[測地線](/mathematics/differential-geometry/geodesics#def-geodesic)は $D_t\dot\gamma=0$ を満たす曲線で、$g(\dot\gamma,\dot\gamma)$ は一定です。 [測地線と完備性](/mathematics/differential-geometry/geodesics) の測地線の存在と一意性、指数写像の基本性質、対称性補題、Jacobi 場の基本性質、指数写像の微分の Jacobi 場による表示は、Lorentz 計量の Levi-Civita 接続についてもそのまま成り立つ。すなわち、$\exp$ は零切断を含む $TM$ の開集合 $\mathcal{E}$ 上で定義された滑らかな写像で、$\exp_p(tv)=\gamma_v(t)$、$d(\exp_p)_0=\mathrm{id}$ であり、$J(0)=0$、$D_tJ(0)=w$ の Jacobi 場は $J(t)=d(\exp_p)_{tv}(tw)$ である。 、、、、 の証明で使われているのは、$\nabla$ が捩れのない接続であること、曲線に沿った共変微分の存在、流れと線形常微分方程式の基本定理、逆関数定理だけで、計量の正定値性は使われていません。ただ一か所、 の 2 では正規直交な平行枠を使っていますが、任意の基底を平行移動した枠でも Jacobi 方程式は係数が連続な 2 階線形常微分方程式になり、同じ議論が成り立ちます。 $p\in M$、$v\in\mathcal{E}_p$、$w\in T_pM$ について $g\bigl(d(\exp_p)_v(v),d(\exp_p)_v(w)\bigr)=g(v,w)$ である。したがって、$\exp_p$ が $0$ の星形開近傍 $B$ 上で開集合 $N$ への微分同相のとき、$P=(\exp_p|_B)^{-1}\colon N\to B$、$q(y)=g_p(P(y),P(y))$、$\tilde P(y)=d(\exp_p)_{P(y)}(P(y))$ と置くと $$ dq_y(w)=2\,g_y\bigl(\tilde P(y),w\bigr)\qquad(y\in N,\ w\in T_yM) $$ であり、$\tilde P(y)$ は測地線 $t\mapsto\exp_p(tP(y))$ の $t=1$ での速度ベクトルである。さらに、$P(y)\in T^+_p$ ならば $\tilde P(y)\in T^+_y$ である。また $v\in\mathcal{E}_p$ が未来向き因果的（時間的）ならば、測地線 $t\mapsto\exp_p(tv)$（$0\le t\le1$）は未来向き因果的（時間的）曲線である。 $\gamma(t)=\exp_p(tv)$、$J$ を $J(0)=0$、$D_tJ(0)=w$ の Jacobi 場とすると、 により $J(1)=d(\exp_p)_v(w)$、$\dot\gamma(1)=d(\exp_p)_v(v)$ です。$h(t)=g(\dot\gamma,J)$ は $\ddot h=g(\dot\gamma,D_t^2J)=-g(R(J,\dot\gamma)\dot\gamma,\dot\gamma)$ を満たし、これは曲率テンソルの最初の 2 添字についての反対称性と対の対称性（）から $0$ です。$h(0)=0$、$\dot h(0)=g(v,w)$ なので $h(1)=g(v,w)$ です。 後半：$y\in N$、$v=P(y)$、$u=dP_y(w)$ と置くと $d(\exp_p)_v(u)=w$ です。$dq_y(w)=2g_p(v,u)$ で、前半から $g_p(v,u)=g_y(d(\exp_p)_v(v),d(\exp_p)_v(u))=g_y(\tilde P(y),w)$ です。$\tilde P(y)=\frac{d}{dt}\big|_{t=1}\exp_p(tv)$ は の $\exp_p(tv)=\gamma_v(t)$ から従います。 最後の主張：$v\in\mathcal{E}_p$ を未来向き因果的とし、$\gamma(t)=\exp_p(tv)$ と置きます。計量適合性（）から $\frac{d}{dt}g(\dot\gamma,\dot\gamma)=2g(D_t\dot\gamma,\dot\gamma)=0$ なので、$g(\dot\gamma,\dot\gamma)=g(v,v)\le0$ は一定で、$\dot\gamma(t)\ne0$（測地線の初速度が $0$ でないので）は因果的です。$t\mapsto g(\dot\gamma(t),T)$ は連続で、 の 4 により $0$ にならず、$t=0$ で負なので負のままです。よって $\dot\gamma(t)$ はすべて未来向き因果的で、$v$ が時間的なら時間的です。$v=P(y)\in T^+_p$ に適用し $t=1$ とすれば $\tilde P(y)\in T^+_y$ です。 $\tilde P$ を**動径ベクトル場**と呼びます。これは $p$ から出る測地線の各点での速度ベクトルを集めたものです。$dq=2g(\tilde P,\cdot)$ という式は、$q$ の勾配（$g$ で双対をとったベクトル）が動径方向を向く（$q$ が動径方向にだけ変化し、その変化率が $2g(\tilde P,\cdot)$ で与えられる）という意味で、Euclid 空間で $|x|^2$ の勾配が $2x$ であることの Lorentz 版にあたります。 ### 4.2. 一様な正規近傍 Lorentz 計量の $g(v,v)$ はノルムにならないので、指数写像の定義域の大きさは補助の [Riemann 計量](/mathematics/differential-geometry/riemannian-metrics-connections#def-riemannian-metric) $h$ で測ります（$h$ の存在は ）。$B_\delta(x)=\{v\in T_xM:|v|_h<\delta\}$ と書きます。 各 $p\in M$ に対し、$p$ の開近傍 $W$ と $\delta>0$ が存在して、すべての $x\in W$ について $\exp_x$ は $B_\delta(x)$ 上で定義され、そこで開集合 $N_x=\exp_x(B_\delta(x))$ への微分同相であり、$W\subset N_x$ となる。さらに $P_x=(\exp_x|_{B_\delta(x)})^{-1}$ と置くと、$(x,y)\mapsto P_x(y)\in TM$ は $W\times W$ 上で連続である。 の証明を、ノルムを $|\cdot|_h$ に替えて繰り返します。$F(v)=(\pi(v),\exp v)$ は $\mathcal{E}$ 上で滑らかで（）、零ベクトル $0_p$ での微分はブロック三角行列 $\begin{pmatrix}I&0\\ I&I\end{pmatrix}$ なので可逆です。逆関数定理（）から $0_p$ の近傍 $\mathcal{V}$ 上で $F$ は開集合への微分同相です。$h$ の連続性から $\{(x,v):x\in W',\ |v|_h<\delta\}$ の形の集合は $0_p$ の近傍基をなすので、$\mathcal{V}$ をこの形に取れます。$F(\mathcal{V})$ は $(p,p)$ の開近傍なので、$W\times W\subset F(\mathcal{V})$ となる開近傍 $W\subset W'$ が取れます。$x\in W$ について $\exp_x$ は $B_\delta(x)$ 上で単射で微分が可逆なので開集合への微分同相で、$\{x\}\times W\subset F(\mathcal{V})$ から $W\subset N_x$ です。最後に $P_x(y)=(F|_{\mathcal{V}})^{-1}(x,y)$ で、右辺は連続です。 以下、この $W$ を $p$ の**一様正規近傍**と呼びます。$W$ を小さく取り直しても性質は保たれます。 ### 4.3. 局所因果構造 この節の定理は、十分小さな範囲では、$x$ から因果的曲線で行ける点がちょうど $\exp_x$ で写した光円錐の中に収まる、という主張です。1 は「光円錐の中の測地線は実際に因果的曲線になる」、2〜4 は逆に「因果的曲線は光円錐の外へ出ない」ことを言っています。2 の証明では、位置ベクトルの 2 乗 $q$ が曲線に沿って減ることを使い、$q$ が負である（時間的である）範囲が開かつ閉であることを確かめて、曲線の終点まで広げます。4 は、曲線の出発の向きが錐の境界すれすれかもしれないので、$x$ の少し過去の点 $x_\varepsilon$ から見て 2 を使い、$\varepsilon\to0$ の極限を取ります。 $W,\delta$ を のとおりとし、$x\in W$ とする。 1. $v\in B_\delta(x)$ が未来向き因果的（時間的）なら、$c_v(s)=\exp_x(sv)$（$0\le s\le1$）は $x$ から $\exp_x(v)$ への未来向き因果的（時間的）曲線である。 2. $x'\in W$ が $P_{x'}(x)\in T^+_{x'}$ を満たすとする。$W$ 内の未来向き因果的曲線 $\alpha\colon[0,1]\to W$ が $\alpha(0)=x$ ならば、すべての $s$ で $P_{x'}(\alpha(s))\in T^+_{x'}$ である。 3. $W$ 内の未来向き時間的曲線 $\alpha\colon[0,1]\to W$ が $\alpha(0)=x$ ならば、$0\lt s\le1$ で $P_x(\alpha(s))\in T^+_x$ である。 4. $W$ 内の未来向き因果的曲線 $\alpha\colon[0,1]\to W$ が $\alpha(0)=x$ ならば、すべての $s$ で $P_x(\alpha(s))\in\overline{C}^+_x$ であり、$\alpha(s)\ne x$ なら $P_x(\alpha(s))\in C^+_x$ である。 **1。** $B_\delta(x)$ は星形で $\mathcal{E}_x$ に含まれるので、 の最後の主張そのものです。 **2。** $x'$ を中心とする $q(y)=g_{x'}(P_{x'}(y),P_{x'}(y))$ と動径ベクトル場 $\tilde P$ を のとおりに取ります（$W\subset N_{x'}$ なので $W$ 上で定義されています）。$A=\{s\in[0,1]:P_{x'}(\alpha(s'))\in T^+_{x'}\ (0\le s'\le s)\}$ と置きます。$0\in A$ で、$T^+_{x'}$ は開なので $A$ は $[0,1]$ の中で開です。$a=\sup A$ とします。$[0,a)$ 上で $\tilde P(\alpha(s))\in T^+$ なので（ の最後の主張）、$\alpha$ が滑らかな各小区間で $$ \frac{d}{ds}q(\alpha(s))=2\,g\bigl(\tilde P(\alpha(s)),\dot\alpha(s)\bigr)<0 $$ です（ の 2。$\dot\alpha$ は未来向き因果的、$\tilde P$ は未来向き時間的）。$q\circ\alpha$ は連続なので $[0,a]$ 上で単調減少し、$q(\alpha(a))\le q(\alpha(0))<0$ です。よって $P_{x'}(\alpha(a))$ は時間的で、$T^+_{x'}$ の閉包 $\overline{C}^+_{x'}$（ の 3）に入るので $T^+_{x'}$ に属し、$a\in A$ です。$A$ は開なので $a=1$ です。 **3。** $P_x(x)=0$ で、$d(P_x)_x$ は $d(\exp_x)_0=\mathrm{id}$ の逆なので恒等写像です。よって $s\to0$ で $P_x(\alpha(s))/s\to\dot\alpha(0)\in T^+_x$（右微分係数）で、$T^+_x$ は開錐なので、小さな $s_0\gt0$ で $P_x(\alpha(s_0))\in T^+_x$ です。$\alpha|_{[s_0,1]}$ に 2 を $x'=x$ として適用すれば $s\ge s_0$ で成り立ち、$s_0$ はいくらでも小さく取れます。 **4。** $\tau\in T^+_x$ を取り、$\varepsilon\gt0$ について $x_\varepsilon=\exp_x(-\varepsilon\tau)$ と置きます。$\varepsilon$ が小さければ $x_\varepsilon\in W$ です。測地線 $c(s)=\exp_x(-s\varepsilon\tau)$ を逆にたどった $\bar c(s)=c(1-s)$ は $x_\varepsilon$ から $x$ への測地線で、初速度 $w_\varepsilon=-\dot c(1)$ は未来向き時間的です（1 を時間反転して使います）。$\dot c(1)=\varepsilon\,\dot\gamma_{-\tau}(\varepsilon)\to0$ なので、$\varepsilon$ が小さければ $|w_\varepsilon|_h<\delta$ で、$\exp_{x_\varepsilon}(w_\varepsilon)=x$ と $\exp_{x_\varepsilon}$ の $B_\delta(x_\varepsilon)$ 上での単射性から $P_{x_\varepsilon}(x)=w_\varepsilon\in T^+_{x_\varepsilon}$ です。2 を $x'=x_\varepsilon$ として適用すると $P_{x_\varepsilon}(\alpha(s))\in T^+_{x_\varepsilon}$ です。 $\varepsilon\to0$ とすると、 の連続性から $P_{x_\varepsilon}(\alpha(s))\to P_x(\alpha(s))$ です。$T^+_{x_\varepsilon}$ の元 $u$ は $g(u,u)<0$、$g(u,T)<0$ を満たし、これらの極限 $u_0$ は $g(u_0,u_0)\le0$、$g(u_0,T)\le0$ を満たすので、$u_0=0$ か $u_0\in C^+_x$ です（ の 4）。$\alpha(s)\ne x$ なら $P_x$ の単射性から $P_x(\alpha(s))\ne0$ です。
W x x_ε α exp_x(未来の閉じた光円錐)
### 4.4. 局所理論の帰結 任意の $p\in M$ について $I^+(p)$ と $I^-(p)$ は開集合である。 $q\in I^+(p)$ とし、未来向き時間的曲線 $\alpha\colon[0,1]\to M$ が $p$ から $q$ へ行くとします。$q$ の一様正規近傍 $W$（）を取り、$\alpha([s_0,1])\subset W$ となる $s_0\in(0,1)$ を選んで $x=\alpha(s_0)$ と置きます（$\alpha|_{[0,s_0]}$ により $p\ll x$ です）。 の 3 を $\alpha|_{[s_0,1]}$ に使うと $P_x(q)\in T^+_x$ です。$O=\{y\in W:P_x(y)\in T^+_x\}$ は $P_x$ の連続性から開で、$q$ を含みます。$y\in O$ なら の 1 により $x\ll y$ で、$p\ll x$ と合わせて $p\ll y$ です（）。よって $O\subset I^+(p)$ です。$I^-(p)$ は時間反転した時空での $I^+(p)$ です。 次の押し上げ補題は、光速ぎりぎりの経路のあとに時間的な経路をつなぐと、全体を時間的な経路に取り替えられる、という主張です。証明は、曲線上で「その点から $r$ へ時間的に行ける」点の集合が開であることを使い、それが曲線の終点側から始点まで広がることを、下限 $a$ を取って示します。 $p\le q$ かつ $q\ll r$ ならば $p\ll r$ である。$p\ll q$ かつ $q\le r$ ならば $p\ll r$ である。 前半を示します。$p=q$ なら結論は仮定 $q\ll r$ そのものなので、$\alpha\colon[0,1]\to M$ を $p$ から $q$ への未来向き因果的曲線とします。$A=\{s:\alpha(s)\in I^-(r)\}$ は と $\alpha$ の連続性から $[0,1]$ の中で開で、$1\in A$ です。$a=\inf\{s:[s,1]\subset A\}$ と置くと、$(a,1]\subset A$ です。 $a\in A$ を示します。$y=\alpha(a)$ の一様正規近傍 $W$ を取り、$s_1\in(a,1]$ を $\alpha([a,s_1])\subset W$ となるように選び、$w=\alpha(s_1)$ と置きます。 の 4 から $P_y(w)\in\overline{C}^+_y$ です。$\tau\in T^+_y$ を固定すると、$\varepsilon\gt0$ が小さいとき $v_\varepsilon=P_y(w)+\varepsilon\tau$ は $B_\delta(y)$ に入り、 の 3 により $T^+_y$ に属します。$z_\varepsilon=\exp_y(v_\varepsilon)$ は $\varepsilon\to0$ で $w$ に収束し、 の 1 から $y\ll z_\varepsilon$ です。$w\in I^-(r)$ は開集合なので、小さな $\varepsilon$ で $z_\varepsilon\ll r$ となり、$y\ll r$、すなわち $a\in A$ です。 $a\gt0$ なら $A$ が開であることから $[a-\eta,1]\subset A$ となる $\eta\gt0$ があり、$a$ の定義に反します。よって $a=0$ で、$p=\alpha(0)\in I^-(r)$ です。後半は前半を時間反転した時空に適用したものです。 $J^+(p)\subset\overline{I^+(p)}$ であり、したがって $\overline{J^+(p)}=\overline{I^+(p)}$ である。とくに $p\in\overline{I^+(p)}$。過去についても同様である。 $q\in J^+(p)$ とし、$\tau\in T^+_q$ を取ります。$z_\varepsilon=\exp_q(\varepsilon\tau)$ は $\varepsilon\to0$ で $q$ に収束し、 の 1 により $q\ll z_\varepsilon$ です（$\varepsilon$ が小さければ $\varepsilon\tau\in B_\delta(q)$）。 から $p\ll z_\varepsilon$ なので $q\in\overline{I^+(p)}$ です。$I^+(p)\subset J^+(p)$ と合わせて閉包が一致します。 $W$ を一様正規近傍とし、$W$ の点列 $x_k\to x$、$y_k\to y$（$x,y\in W$）について、各 $k$ で $y_k=x_k$ であるか、$W$ 内の未来向き因果的曲線が $x_k$ から $y_k$ へ行くとする。このとき $y=x$ であるか $P_x(y)\in C^+_x$ であり、いずれにせよ $x\le y$ である。 の 4 から $P_{x_k}(y_k)\in\overline{C}^+_{x_k}$ です。 の連続性から $P_{x_k}(y_k)\to P_x(y)$ で、 の 4 の証明の最後と同じく、極限は $\overline{C}^+_x$ に入ります。$P_x(y)=0$ なら $y=x$、そうでなければ $P_x(y)\in C^+_x$ で、 の 1 から $x\le y$ です。 押し上げ補題の仮定で $\ll$ を一つも含まないとき、結論は成り立ちません。Minkowski 空間で $q-p$ がヌルなら $p\le q$ ですが、 により $p\ll q$ ではありません。因果的曲線は「光の速さぎりぎりで進む」ことができ、そのような曲線は時間的曲線に変形できない場合があるからです。 ## 5. 全悪性時空と閉じた時間的曲線 すべての $p\in M$ で $p\ll p$（$p$ を通る閉じた時間的曲線がある）となる時空を**全悪性**（totally vicious）であるという。 時空 $M$ について次は同値である。 1. $M$ は全悪性である。 2. すべての $p,q\in M$ について $p\ll q$ である。 3. すべての $p$ について $I^+(p)=M$ である。 2 と 3 は同じことの言い換えで、2 から 1 は $q=p$ とすれば従います。1 から 2 を示します。$x\sim y$ を「$x\ll y$ かつ $y\ll x$」で定めると、1 から反射的、定義から対称的、 から推移的なので同値関係です。$x$ の同値類は $I^+(x)\cap I^-(x)$ で、 により開集合です。$M$ は互いに交わらない開集合である同値類の和に分かれ、$M$ は連結なので同値類は一つです。よって任意の $p,q$ で $p\ll q$ です。 コンパクトな時空には閉じた時間的曲線が存在する。 各点 $q$ は、$q$ から過去向きの時間的測地線を少し延ばした点 $q'$ について $q\in I^+(q')$ を満たします（ の 1 を時間反転して使います）。よって $\{I^+(p)\}_{p\in M}$ は開被覆で（）、有限部分被覆 $I^+(p_1),\dots,I^+(p_k)$ があります。$i_0=1$ とし、$p_{i_0}$ が入る $I^+(p_{i_1})$ を選び、$p_{i_1}$ が入る $I^+(p_{i_2})$ を選び、と続けると、$p_{i_{m+1}}\ll p_{i_m}$ がすべての $m$ で成り立ちます。添字は $k$ 個しかないので $i_j=i_l$（$j\lt l$）となる番号が現れ、$p_{i_l}\ll p_{i_{l-1}}\ll\dots\ll p_{i_j}$ と推移性（）から $p_{i_j}\ll p_{i_j}$ です。よって $p_{i_j}$ を通る閉じた時間的曲線があります。 この定理は、時間的に閉じた宇宙モデルを考えるとき、空間だけでなく時間方向も含めてコンパクトにすると必ず因果律が破れることを示しています。現実的な時空モデルが非コンパクトであることの、一つの根拠です。 $T^2=\mathbb{R}^2/\mathbb{Z}^2$ に $-dt^2+dx^2$ と時間向き付け $\partial_t$ を入れる。$p=[t_0,x_0]$、$q=[t_1,x_1]$ について、$q$ の持ち上げ $(t_1+m,x_1)$（$x_1$ は $|x_1-x_0|\le1/2$ となるように選ぶ）を $t_1+m-t_0>1/2$ となる整数 $m$ で取れば、$\mathbb{R}^2$ の線分 $(t_0,x_0)\to(t_1+m,x_1)$ は により未来向き時間的で、その射影は $p$ から $q$ への時間的曲線である。よって の 2 が成り立ち、$T^2$ は全悪性である。時間方向だけを巻いた $S^1\times\mathbb{R}$（$t$ が周期的）も同じ理由で全悪性である。 全悪性はコンパクトな例に限りません。Gödel の回転宇宙は $\mathbb{R}^4$ 上の Einstein 方程式の厳密解（負の宇宙定数と塵）で、全悪性であることが知られています（Hawking–Ellis の 5.7 節）。 ## 6. 非時間的集合と体積関数 1. $A\subset M$ が**非時間的**（achronal）であるとは、$p\ll q$ となる $p,q\in A$ が存在しないことをいう。 2. $I^-(p)=I^-(q)$ ならば $p=q$ が成り立つとき $M$ は**過去識別的**、$I^+(p)=I^+(q)$ ならば $p=q$ が成り立つとき**未来識別的**であるという。 任意の $p\in M$ について、$\partial I^-(p)$ は閉じた非時間的集合である。$\partial I^+(p)$ も同様である。 境界は閉集合です。$x,y\in\partial I^-(p)$、$x\ll y$ と仮定します。$I^+(x)$ は $y$ の開近傍で（）、$y\in\overline{I^-(p)}$ なので $I^+(x)$ は $I^-(p)$ と交わり、$x\ll z\ll p$ となる $z$ があります。すると $x\in I^-(p)$ ですが、$I^-(p)$ は開なので（）その境界の点 $x$ は $I^-(p)$ に属しません。矛盾です。 次の補題は、$M$ の上に「どの開集合にも正の重みを与え、時間方向に 2 点を結べない集合には重み $0$ を与える」測度を作ります。やることは、座標[チャート](/mathematics/manifolds/smooth-manifolds#def-chart)ごとの Lebesgue 測度を可算個足し合わせるだけです。可算個で足りるのは、第二可算な空間が Lindelöf（任意の開被覆から可算個を選べる性質。[Lindelöf](/mathematics/topology/products-quotients-tychonoff#def-countability)）だからです。因果構造が使われるのは、座標の時間方向の線が時間的曲線なので、非時間的集合との交わりが各線で高々 1 点になる、という一か所だけです。直積測度の部分は [直積 σ-加法族](/mathematics/real-analysis/product-measures-fubini#def-product-sigma) の記事を参照してください。 $M$ の Borel 集合族上の有限測度 $\mu$ で、次を満たすものが存在する。(i) 空でない開集合 $O$ について $\mu(O)\gt0$。(ii) 閉じた非時間的集合 $A$ について $\mu(A)=0$。 **チャートの選び方。** 各点 $p$ で、チャート $\varphi\colon U\to\mathbb{R}^{n+1}$ を、$\varphi(U)\supset[-1,1]^{n+1}$ かつ $U$ 上で座標ベクトル場 $\partial_0$ が時間的であるように取ります。実際、任意のチャートを $\varphi(p)=0$ とし、線形変換で $\partial_0|_p$ を時間的にすれば、連続性から $p$ の近傍で $\partial_0$ は時間的で、座標を定数倍すれば $\varphi^{-1}((-2,2)^{n+1})$ がその近傍に入ります。$U$ をこの $\varphi^{-1}((-2,2)^{n+1})$ に取り直すと連結なので、$\partial_0$ は $U$ 全体で未来向きか過去向きのどちらかです（ の 4 により $g(\partial_0,T)$ は $0$ にならない）。$K=\varphi^{-1}([-1,1]^{n+1})$ と置きます。 $K$ の内部は $p$ を含むので、$M$ を覆います。$M$ は第二可算なので Lindelöf で（）、可算個 $(\varphi_k,K_k)_{k\ge1}$ で内部が $M$ を覆うものが取れます。$\nu$ を $\mathbb{R}$ の Lebesgue 測度 $\lambda_1$ の $(n+1)$ 重の直積測度とします（。$\mathbb{R}^{n+1}$ の Borel 集合族は直積 σ-加法族に一致します：）。Borel 集合 $E\subset M$ に対し $$ \mu(E)=\sum_{k\ge1}2^{-k}\,\frac{\nu\bigl(\varphi_k(E\cap K_k)\bigr)}{2^{n+1}} $$ と置きます。$\varphi_k$ は同相写像なので $\varphi_k(E\cap K_k)$ は Borel 集合で、$\mu$ は測度の可算和として測度であり、$\mu(M)\le1$ です。 **(i)。** 空でない開集合 $O$ はある $K_k$ の内部と交わり、$\varphi_k(O\cap\operatorname{int}K_k)$ は $\mathbb{R}^{n+1}$ の空でない開集合なので開直方体を含み、その $\nu$ 測度は辺の長さの積で正です。 **(ii)。** $A$ を閉じた非時間的集合とし、$k$ を固定します。$y'\in[-1,1]^n$ ごとに $s\mapsto\varphi_k^{-1}(s,y')$（$-1\le s\le1$）は速度 $\partial_0$ の曲線で、向きを適当に選べば未来向き時間的です。これが $A$ と 2 点で交われば、その 2 点は $\ll$ で結ばれるので非時間的性に反します。よって切り口 $\{s:(s,y')\in\varphi_k(A\cap K_k)\}$ は高々 1 点で、$\lambda_1$ 測度は $0$ です。$\varphi_k(A\cap K_k)$ は閉集合なので、Tonelli の定理（）を指示関数に適用すれば $\nu(\varphi_k(A\cap K_k))=\int\lambda_1(\text{切り口})\,dy'=0$ です。$k$ について足して $\mu(A)=0$ です。 の $\mu$ を一つ固定し、$t^-(p)=\mu(I^-(p))$、$t^+(p)=-\mu(I^+(p))$ と置く。これらを**体積関数**という。 1. $p\le q$ ならば $t^-(p)\le t^-(q)$ である。 2. $M$ が過去識別的で $p\lt q$ ならば $t^-(p)\lt t^-(q)$ である。 3. $t^-$ は下半連続である：$p_k\to p$ ならば $t^-(p)\le\liminf_k t^-(p_k)$。 4. $p_k\to p$ とし、無限個の $k$ で $x\in I^-(p_k)$ となる点 $x$ はすべて $\overline{I^-(p)}$ に属するとする。このとき $\limsup_k t^-(p_k)\le t^-(p)$ である。 $t^+$ についても、時間反転した主張が成り立つ。 **1。** $x\in I^-(p)$ なら $x\ll p\le q$ なので により $x\ll q$ です。よって $I^-(p)\subset I^-(q)$ です。 **2。** 1 より $I^-(p)\subset I^-(q)$ です。$\mu(I^-(q)\setminus I^-(p))=0$ と仮定します。$I^-(q)\setminus\overline{I^-(p)}$ は開集合で測度 $0$ なので、 の (i) から空、すなわち $I^-(q)\subset\overline{I^-(p)}$ です。$r\in I^-(q)$ を任意に取ると、$r\ll q$ の時間的曲線上に $r\ll r'\ll q$ となる点 $r'$ があります。$r'\in\overline{I^-(p)}$ で、$I^+(r)$ は $r'$ の開近傍なので、$I^+(r)\cap I^-(p)$ の点 $z$ が取れ、$r\ll z\ll p$ です。よって $I^-(q)\subset I^-(p)$ となり $I^-(p)=I^-(q)$、過去識別性から $p=q$ となって $p\lt q$ に反します。したがって $\mu(I^-(q)\setminus I^-(p))\gt0$ で、$t^-(p)\lt t^-(q)$ です。 **3。** $x\in I^-(p)$ なら $I^+(x)$ は $p$ の開近傍なので、十分大きな $k$ で $p_k\in I^+(x)$、すなわち $x\in I^-(p_k)$ です。よって指示関数について $\mathbf{1}_{I^-(p)}\le\liminf_k\mathbf{1}_{I^-(p_k)}$ で、Fatou の補題（）から $\mu(I^-(p))\le\liminf_k\mu(I^-(p_k))$ です。 **4。** 仮定は $\limsup_k\mathbf{1}_{I^-(p_k)}\le\mathbf{1}_{\overline{I^-(p)}}$ ということです。Fatou の補題を $1-\mathbf{1}_{I^-(p_k)}\ge0$ に適用し、$\mu(M)\lt\infty$ を使って両辺を $\mu(M)$ から引くと $$ \limsup_k\mu(I^-(p_k))\le\int\limsup_k\mathbf{1}_{I^-(p_k)}\,d\mu\le\mu\bigl(\overline{I^-(p)}\bigr)=\mu(I^-(p))+\mu(\partial I^-(p)) $$ で、 と の (ii) から最後の項は $0$ です。 体積関数は「過去にどれだけの時空があるか」を数えたもので、因果的曲線に沿って減りません。2 が言うように、過去の集合で点が区別できれば因果的曲線に沿って狭義に増加し、さらに連続なら次章で定義する**時間関数**になります。連続性は一般には成り立たず、4 の仮定を確かめることが次章の要になります。 ## 7. 潮汐作用素と generic 条件 $\gamma$ を因果的測地線、$k=\dot\gamma(s)$ とし、$T_{\gamma(s)}M$ 上の線形写像 $E_k(X)=R(X,k)k$ を**潮汐作用素**と呼びます（曲率の規約は 。測地線偏差方程式 は $D^2\xi/d\tau^2=-E_k(\xi)$ と書けます）。曲率の対称性から $E_k(k)=0$ で、$g(E_k(X),k)=R(X,k,k,k)=0$ なので $E_k$ は $k^\perp$ を $k^\perp$ に写します。$k$ がヌルのときは $k\in k^\perp$ なので、$E_k$ は商空間 $k^\perp/\mathbb{R}k$ 上の線形写像 $\bar E_k$ を引き起こします。ヌルベクトル $k$ は自分自身と直交する（$g(k,k)=0$）ので $k\in k^\perp$ で、$k$ の定数倍の方向は「実質的な向き」を表しません。そこで $k$ 方向を同一視した[商空間](/mathematics/linear-algebra/dual-and-quotient-spaces#def-quotient)に移すと、$k$ に直交する空間的な向きだけが残ります。 因果的測地線 $\gamma$ が点 $\gamma(s)$ で **generic 条件**を満たすとは、$k=\dot\gamma(s)$ が時間的なら $E_k|_{k^\perp}\ne0$、ヌルなら $\bar E_k\ne0$ であることをいう。すべての非延長的な因果的測地線がどこかの点で generic 条件を満たすとき、時空は generic 条件を満たすという。 （非延長的の意味は次章で定義します。）generic 条件は「どの因果的測地線も、どこかで少なくとも一度は潮汐力を感じる」という条件です。Minkowski 空間は曲率が $0$ なので満たしません。 因果的測地線 $\gamma$ と $k=\dot\gamma(s)$ について、$\operatorname{Ric}(k,k)$ は $k$ が時間的なら $E_k|_{k^\perp}$ の跡、ヌルなら $\bar E_k$ の跡に等しい。とくに $\operatorname{Ric}(k,k)\ne0$ ならば $\gamma$ はその点で generic 条件を満たす。 Ricci テンソルの定義 $R_{\nu\beta}=R^\alpha{}_{\nu\alpha\beta}$（）から、$\operatorname{Ric}(k,k)$ は線形写像 $X\mapsto R(X,k)k=E_k(X)$ の跡です。跡は基底によりません。 **$k$ が時間的のとき。** $e_0=k/\sqrt{-g(k,k)}$ と $k^\perp$ の正規直交基底 $e_1,\dots,e_n$ を取ります。$X=\sum_ax^ae_a$ の成分は $x^0=-g(X,e_0)$、$x^i=g(X,e_i)$ なので、跡は $-g(E_ke_0,e_0)+\sum_ig(E_ke_i,e_i)$ で、$E_ke_0=0$ から第 1 項は消え、残りは $E_k|_{k^\perp}$ の跡です。 **$k$ がヌルのとき。** $g(k,l)=-1$ となるヌルベクトル $l$ と、$k,l$ の両方に直交する正規直交ベクトル $e_2,\dots,e_n$ を取ります（$\operatorname{span}(k,l)$ は Lorentz 平面なので、その直交補空間は正定値です）。$X=ak+bl+\sum c^ie_i$ の成分は $a=-g(X,l)$、$b=-g(X,k)$、$c^i=g(X,e_i)$ なので、跡は $-g(E_kk,l)-g(E_kl,k)+\sum_ig(E_ke_i,e_i)$ です。$E_kk=0$、$g(E_kl,k)=0$ なので最初の 2 項は消えます。$k^\perp=\operatorname{span}(k,e_2,\dots,e_n)$ で、$[e_i]$ は $k^\perp/\mathbb{R}k$ の基底、$E_ke_i$ の $e_j$ 成分は $g(E_ke_i,e_j)$ なので、残りは $\bar E_k$ の跡です。 跡が $0$ でない線形写像は $0$ でないので、最後の主張が従います。 Einstein 方程式 $G_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu}$（）のもとで、ヌルな $k$ については $g(k,k)=0$ から $\operatorname{Ric}(k,k)=G(k,k)=(8\pi G/c^4)T(k,k)$ である。完全流体 $T^{\mu\nu}=(\varepsilon+p)u^\mu u^\nu+pg^{\mu\nu}$ なら $T(k,k)=(\varepsilon+p)\,g(u,k)^2$ で、$g(u,k)\ne0$（ の 4）だから、$\varepsilon+p\gt0$ である領域を通るヌル測地線は によりそこで generic 条件を満たす。[宇宙論](/physics/general-relativity/cosmology) の FLRW 時空で物質か放射があれば、すべてのヌル測地線がこの条件を満たす。 generic 条件の役割は、Raychaudhuri 方程式による測地線の収束を確実にすることです。エネルギー条件（$\operatorname{Ric}(k,k)\ge0$）だけでは、曲率がちょうど $0$ の方向に沿って測地線の束が平行なまま進む可能性が残ります。generic 条件は、エネルギー条件と合わせて、完備な因果的測地線の上に必ず共役点が現れることを保証し（Beem–Ehrlich–Easley の第 12 章）、Hawking–Penrose の特異点定理の仮定の一つになっています。この定理は「強いエネルギー条件・generic 条件・閉じた時間的曲線がないこと・捕捉面などの存在」から因果的測地線の不完備性を結論するもので、証明は本 1 冊分の準備を要するため、ここでは主張の紹介にとどめます（Hawking–Ellis の 8.2 節）。 ## 8. 演習 Minkowski 空間 $\mathbb{R}^{1,n}$ で、$\partial I^+(p)=p+(\overline{C}^+\setminus T^+)$（$p$ を頂点とする未来の光円錐）であることを示し、これが非時間的であることを直接確かめよ。 を $U=\mathbb{R}^{1,n}$ に使うと $I^+(p)=p+T^+$ です。$T^+=\{v^0>|\boldsymbol{v}|\}$ の閉包は $\{v^0\ge|\boldsymbol{v}|\}=\overline{C}^+$（ の 3）で、$T^+$ は開なので境界は $\overline{C}^+\setminus T^+=\{v^0=|\boldsymbol{v}|\}$ です。この集合の 2 点 $u,w$ で $w-u\in T^+$ となるものがあったとすると、$w^0-u^0>|\boldsymbol{w}-\boldsymbol{u}|\ge|\boldsymbol{w}|-|\boldsymbol{u}|=w^0-u^0$ となり矛盾です。 の具体例になっています。 $S^1\times\mathbb{R}$（$t\in\mathbb{R}/\mathbb{Z}$、$x\in\mathbb{R}$）に $-dt^2+dx^2$ を入れた時空で、$I^+(p)=M$ だが、$J^+(p)$ の点を結ぶ因果的曲線に沿って $t$ を $\mathbb{R}$ に持ち上げた値は単調増加であることを示せ。この時空に の $t^-$ を作ると定数になることを確かめよ。 と同じく、持ち上げ $(t_1+m,x_1)$ を $t_1+m-t_0>|x_1-x_0|$ となる整数 $m$ で取れば時間的な線分が引けるので、$I^+(p)=M$ です。未来向き因果的曲線の速度は $\dot t\ge|\dot x|$、$\dot t>0$（）なので持ち上げた $t$ は単調増加です。全悪性なので $I^-(p)=M$ もすべての $p$ で成り立ち（ を時間反転した形）、$t^-(p)=\mu(M)$ は定数です。体積関数が狭義に増加しないことは、 の 2 の仮定（過去識別性）がこの時空で破れていることと対応します。 $M=\mathbb{R}\times S^2$ に $g=-dt^2+r_0^2\,\sigma$（$\sigma$ は単位球面の計量、$r_0\gt0$ は定数）を入れる。(a) 時間的測地線 $t\mapsto(t,x_0)$ は generic 条件をどの点でも満たさないことを示せ。(b) $k=\partial_t+e$（$e$ は $r_0^2\sigma$ についての単位接ベクトル）を初速度とするヌル測地線は、すべての点で generic 条件を満たすことを示せ。 積計量の Christoffel 記号は $t$ を含む添字をもつものがすべて $0$ で、残りは $S^2$ の計量のものです。よって曲率は $S^2$ 方向の成分だけで、半径 $r_0$ の球面の断面曲率は $1/r_0^2$ なので $R(X,Y)Z=r_0^{-2}\bigl(h(Y_S,Z_S)X_S-h(X_S,Z_S)Y_S\bigr)$（$X_S$ は $S^2$ 成分、$h=r_0^2\sigma$）です。 (a) $k=\partial_t$ は $S^2$ 成分が $0$ なので $E_k=0$ です。 (b) $k$ の $S^2$ 成分は $e$ です。測地線に沿って $e$ は球面の大円の単位接ベクトルになり、$f$ をそれに直交する単位接ベクトルとすると $f\in k^\perp$ で、$E_k(f)=R(f,k)k=r_0^{-2}\bigl(h(e,e)f-h(f,e)e\bigr)=r_0^{-2}f$ です。$f$ は $\mathbb{R}k$ に属さないので $\bar E_k[f]=r_0^{-2}[f]\ne0$ です。$\operatorname{Ric}(k,k)=r_0^{-2}$ を で読んでも同じ結論になります。 ## 参考文献 - B. O'Neill, *Semi-Riemannian Geometry with Applications to Relativity*, Academic Press, 1983 — Chapter 5（Lorentz 版 Gauss の補題、局所因果構造）、Chapter 14（因果性）。 - S. W. Hawking, G. F. R. Ellis, *The Large Scale Structure of Space-Time*, Cambridge University Press, 1973 — 6.2–6.4 節（因果関係、非時間的境界）、8.2 節（特異点定理）。 - J. K. Beem, P. E. Ehrlich, K. L. Easley, *Global Lorentzian Geometry*, 2nd ed., Marcel Dekker, 1996 — Chapter 3（因果性）、Chapter 12（generic 条件と特異点定理）。 - R. Penrose, *Techniques of Differential Topology in Relativity*, SIAM, 1972 — 因果関係と非時間的境界の古典的な扱い。 - E. Minguzzi, "Lorentzian causality theory", *Living Reviews in Relativity* 22 (2019), 3 — 因果関係の基本性質と体積関数の現代的な整理。 - S. W. Hawking, R. K. Sachs, "Causally continuous spacetimes", *Communications in Mathematical Physics* 35 (1974), 287–296 — 体積関数。