因果結構

在數學物理學中，洛倫茲流形的因果結構是指流形中兩點間的因果關係。

## 簡介

在現代物理學（特別是廣義相對論）中，時空是用洛倫茲流形表示的。流形中兩點之間的因果關係可以用來描述時空中哪些事件可以影響到其他的哪些事件。

閔可夫斯基時空是洛倫茲流形的簡單代表。由於閔可夫斯基時空是平直的，因而其中兩點之間的因果關係非常容易表示。

任意洛倫茲流形（可能是彎曲的）的因果結構由於曲率的存在會較為複雜。對於這些流形中的因果結構的討論就得從有鄰點對的光滑曲線的角度來描述：首先討論曲線切向量的各種情況，然後給出因果關係的定義。

### 切向量

如果$\,(M,g)$是一個洛倫茲流形（流形$M$的度規為$g$），那麼這個流形上任意點的切向量$X$就可以分為下屬三種情況：

- 類時向量：$\,g(X,X) < 0$
- 零向量或類光向量：$\,g(X,X) = 0$
- 類空向量：$\,g(X,X) > 0$

（度規的符號數為$(-,+,+,+,\cdots)$）。如果一個切向量是零向量或類時向量，那麼它就是「非類空向量」。這裡對各種切向量的命名方式是從閔可夫斯基時空中的情況推廣而來的。

### 時間的可定向性

$M$中任意點的切空間中的類時切向量可以分為兩類。在此之前需要先定義兩個類時切向量的等價關係。

如果$X$和$Y$是一個點的兩個類時切向量，那麼在$\,g(X,Y) < 0$時，$X$和$Y$是等價的（記作$X \sim Y$）。

此時有兩個等價類可以包含這個點上的所有類時向量。其中一個可以稱作「指向未來」，另一個則可稱作「指向過去」。從物理意義上說，指定指向未來與指向過去的類時向量就是在選擇這個點的時間箭頭。指向未來類與指向過去類的定義可以通過連續性延伸到零向量。

那麼如果在整個流形上都可以連續地給出非類空向量「指向未來」與「指向過去」的定義，這個洛倫茲流形就是時間可定向的。

### 曲線

$M$中的「路徑」是指$\mathbb{R}$中的連續映射$\mu : \Sigma \to M$（其中$\Sigma$是一個非退化區間，也就是包含多於一個點的連通集）。「光滑」路徑$\mu$可以進行一定階的微分（通常是$C^\infty$），而「正常」路徑有非零導數。

$M$中的「曲線」是指路徑的圖像，或者更準確來說是通過再參數化給出的路徑-圖像等價類，也就是$\Sigma$的同胚或微分同胚。當$M$是時間可定向的時候，曲線在參數變化單調時就是「有朝向的」。

$M$中的光滑正常曲線（或路徑）可以依據它們的切向量分類：

- 時序曲線（或類時曲線）：曲線中所有點的切向量是類時的。
- 零曲線：曲線中所有點的切向量是零向量。
- 類空曲線：曲線中所有點的切向量是類空的。
- 因果曲線（或非類空曲線）：曲線中所有點的切向量是類時向量或空向量。

$\Sigma$的正則性與非退化性確保所有時空中不會自然地存在閉合的因果曲線（比如由單獨一點組成的因果曲線）。

如果流形可時間定向，那麼非類空曲線還可以依據它們的時間朝向進一步分類：

- 指向未來：曲線上任一點的切向量是指向未來的。
- 指向過去：曲線上任一點的切向量是指向過去的。

下面定義只能用於因果曲線（即時序曲線或零曲線），因為只有類時向量與零向量才能給定時間指向：

- 閉合類時曲線是指任一點的切向量都是指向未來類時向量（或指向過去類時向量）的閉合曲線。
- 閉合零曲線是指任一點的切向量都是指向未來零向量（或指向過去零向量）的閉合曲線。
- 紅移因子是指零測地線周圍仿射參數變化率比值的和樂 (數學)。

### 因果關係

$M$流形中的兩個點$x$和$y$有以下幾類因果關係：

- $x$時序上先於$y$（常記為$\,x \ll y$）：從$x$到$y$存在一條指向未來的時序曲線。
- $x$因果上嚴格先於$y$（常記為$x < y$）：從$x$到$y$存在一條指向未來的因果（非類空）曲線。
- $x$因果上先於$y$（常記為$x \prec y$或$x \le y$）：$x$因果上嚴格先於$y$或$x=y$。
- $x$定義（horismos）$y$（常記為$x \to y$或$x \nearrow y$）：$x \prec y$且$x \not\ll y$。

這些關係是可以傳遞的：

- 如果$x \ll y$且$y \ll z$，那麼$x \ll z$。
- 如果$\,x \prec y$且$\,y \prec z$，那麼$\,x \prec z$。

且滿足

- 如果$x \ll y$，那麼$x \prec y$。
- 如果$x \ll y$且$y \prec z$，那麼$x \ll z$。
- 如果$x \prec y$且$y \ll z$，那麼$x \ll z$。

對於流形$M$中的一點$x$可以定義：

- $x$時序上的未來（記作$\,I^+(x)$）：$\,I^+(x) = \{ y \in M | x \ll y\}$（$M$中所有在時序上後於$x$的點組成的集合）。
- $x$時序上的未來（記作$\,I^-(x)$）：$\,I^-(x) = \{ y \in M | y \ll x\}$（$M$中所有在時序上先於$x$的點組成的集合）。

類似還可以定義：

- $x$因果上的未來（也可以稱作「絕對未來」，記作$\,J^+(x)$）：$\,J^+(x) = \{ y \in M | x \prec y\}$（$M$中所有在因果上後於$x$的點組成的集合）。
- $x$因果上的過去（也可以稱作「絕對過去」，記作$\,J^-(x)$）：$\,J^-(x) = \{ y \in M | y \prec x\}$as（$M$中所有在因果上先於$x$的點組成的集合）。

從$x$可以通過一條指向未來的類時曲線到達$\, I^+(x)$中的任意點。類似地，還可以從$\,J^-(x)$中任意點通過一條指向未來的非類空曲線到達$x$。

在閔可夫斯基時空中，$\,I^+(x)$就是$x$處未來光錐的內部點組成的集合，而$\,J^+(x)$就是$x$處未來光錐的內部點及光錐上的點組成的集合。

$M$中任意$x$的$I^+(x)$、$I^-(x)$、$J^+(x)$以及$J^-(x)$就是$M$的因果結構。

對於$M$的子集$S$可以定義：

$$I^\pm(S) = \bigcup_{x \in S} I^\pm(x)$$

$$J^\pm(S) = \bigcup_{x \in S} J^\pm(x)$$

對於$M$的兩個子集$S$與$T$可以定義：

- $S$相對於$T$的時序上的未來（記作$I^+(S;T)$）：子流形$T$中的$S$時序未來。需要注意這個概念與$I^+(S) \cap T$之間的差別（$T$中可以從$S$中的點通過指向未來的類時曲線到達的點的集合）。在第一種概念中，那條曲線必須在$T$裏面，而第二種則不用。
- $S$相對於$T$的因果上的未來（記作$J^+(S;T)$）：子流形$T$中的$S$因果未來。需要注意這個概念與$J^+(S) \cap T$之間的差別（$T$中可以從$S$中的點通過指向未來的因果曲線到達的點的集合）。在第一種概念中，那條曲線必須在$T$裏面，而第二種則不用。
- 未來集：在時序未來中的閉集。
- 過去集：在時序過去中的閉集。
- 不可分解過去集：不是由兩個不同的開放真子集組成的併集的過去集。
- 不可分解過去真子集：$I^-(x)$。
- 不可分解過去端集（terminal indecomposable past set）：不是不可分解過去真子集的不可分解過去集。
- $S$的未來柯西發展（future Cauchy development，$D^+ (S)$）：所有不可伸展的指向過去的因果曲線與$S$的交點$x$（至少穿過一次）組成的集合。類似還可定義過去柯西發展。柯西發展是未來柯西發展與過去柯西發展的併集。柯西發展對於決定論研究非常重要。
- 子集$S \subset M$與時間無關（achronal），當不存在$q,r \in S$使$r \in I^{+}(q)$，或等價地，當$S$與$I^{+}(S)$無交集。
- 柯西面是柯西發展為$M$的時間無關閉集。
- 度規如果可以展開成一層層柯西面，那它就是全局雙曲的。
- 時序破壞集（chronology violating set）：閉合類時曲線經過點組成的集合。
- 因果破壞集（casual violating set）：閉合類時曲線經過點組成的集合。
- 對於因果曲線$\gamma$，其因果核（causal diamond）定義為$J^+(\gamma) \cap J^-(\gamma)$（這裡我們將「曲線」寬泛地定義為點集）。換句話說，一個粒子的世界線$\gamma$的因果核是$\gamma$上同時在某點過去以及未來的事件集合。

### 性質

因果結構還存在以下性質

- $x \in \,I^-(y)$若且唯若$y \in I^+(x)$
- $$x \prec y \implies I^-(x) \subset I^-(y)$$
- $$x \prec y \implies I^+(y) \subset I^+(x)$$
- $$I^+[S] = I^+[I^+[S]] \subset J^+[S] = J^+[J^+[S]]$$
- $$I^-[S] = I^-[I^-[S]] \subset J^-[S] = J^-[J^-[S]]$$
- 「定義」（horismos）可以由零測地線全等推出。

還具有以下拓撲學性質：

- 對所有$x \in M$，$I^\pm(x)$是開集。
- 對所有$S \subset M$，$I^\pm[S]$是開集。
- 對所有$S \subset M$，$I^\pm[S] = I^\pm[\overline{S}]$。這裡$\overline{S}$是$S$的閉包。
- $$J^\pm[S] \subset \overline{I^\pm[S]}$$

## 共形幾何

兩個度規$\,g$和$\hat{g}$在對實函數$\Omega$（共形因子）存在$\hat{g} = \Omega^2 g$時是共形相關的。

考察對類時（零或類空）切向量的定義，可以得到無論使用$\,g$還是$\hat{g}$時，它們不會發生改變。比如，切向量$X$在使用度規$\,g$時是類時的，也就是說$\,g(X,X) < 0$，那麼$\hat{g}(X,X) = \Omega^2 g(X,X) < 0$。因此$X$在使用度規$\hat{g}$時也是類時的。

由此可以得到，一個洛倫茲流形的因果結構不受共形變換的影響。

## 外部連結

- 圖靈機因果網路（Wolfram 演示項目）
- 因果網路（MathWorld）