当时空互换角色

类时与类空：时空中的两种"方向"

狭义相对论把时间和空间焊成了一个四维整体——闵可夫斯基时空。但"焊接"不等于"同一"：四维时空中的方向被光锥分成性质迥异的两类，区分的判据是间隔（interval）的符号。取号差 (−,+,+,+)，单位 c = 1：

类时方向（ds² < 0）是有质量的粒子和 clocks 实际走过的方向：两个事件之间可以存在一条世界线，沿线的固有时 τ 就是"经历的时间"。类空方向（ds² > 0）则相反：两个类空分离的事件之间没有任何信号能够往返，它们之间只有"距离"，没有"先后"——在不同参考系里，它们的时间顺序甚至可以颠倒，而物理学毫不在意，因为二者本无因果联系。

由此得到日常世界那条看似天经地义的法则，它的真实身份是一个因果结构陈述：

时间不可逆，是因为每个观察者的世界线都被囚禁在自己的未来光锥之内，只能沿类时方向单向爬行；
空间可逆，是因为类空方向不在光锥内部，朝向哪个空间方向运动，全凭你的火箭推力决定。

换言之，"时间的单向性"就是"光锥的单向性"。如果有一天光锥本身被引力掰弯、掰倒，使得某个空间方向被卷进了光锥内部——那么"不可逆"就会蔓延到那个空间方向上。这不是思想实验。在史瓦西视界之内，这正是度规符号所陈述的事实。要看到它，我们需要真正的主角登场。

一个函数 f(r)，决定谁是时间、谁是空间

1916 年，就在爱因斯坦发表广义相对论场方程的同一年，卡尔·史瓦西在第一次世界大战的战壕里求出了第一个精确解：一个球对称、不带电、不旋转的质量 M 周围的时空几何。用史瓦西坐标 (t, r, θ, φ) 写出（c = G = 1 的几何单位制）：

整个故事都藏在 f(r) = 1 − r_s/r 这一个函数里。它是 dt² 的系数（取负号后），也是 dr² 系数的倒数。回忆第 1 章的判据：度规分量为负的方向是类时方向，为正的方向是类空方向。于是只要盯着 f(r) 的符号，就能读出每个坐标的"身份"：

第二行就是本报告标题的全部含义：跨过 r = r_s 之后，t 与 r 的类时/类空性质发生了互换。径向坐标 r——那个在外部世界度量"离黑洞多远"的空间坐标——在视界内承担起了时间的因果角色；而坐标 t 退化为一个类空标记。这不是文字游戏，下面的交互让你亲手推动这次翻转。

两条补充说明，防止误读。第一，r = r_s 处度规分量发散（g_rr → ∞），这不是物理奇点，而是坐标奇点——史瓦西坐标系自身在视界上"坏掉"了，正如经纬度在北极点坏掉一样；换一套坐标（第 3、5 章会见到两套），视界处的一切都很光滑，自由落体的宇航员在有限的固有周内平静穿过。真正的物理奇点只有一个：r = 0，那里曲率发散，时空本身终结。

第二，r_s 之内"不可能静止"有一个定量的表述：维持 r = 常数 需要世界线是类时的，即 ds² < 0；但视界内 dr = 0 时 ds² = −f·dt² > 0（因为 −f > 0），是类空的——没有任何有质量的物体能走这样的轨道。要保持类时，必须让 dr² 项贡献足够的负值，也就是 r 必须持续改变；而要求世界线朝向未来（不反转固有时方向），这个改变只能是减小。坠落，从一种受力运动，变成了一种时间上的必然。

视界：未来光锥整体转向"内"

符号翻转是代数语言，它的几何图像是光锥的倾斜。不过要公平地展示这一幕，得先换掉在视界上"坏掉"的史瓦西坐标。我们采用 Painlevé–Gullstrand 坐标（1921/1922 年由 Painlevé 与 Gullstrand 分别独立提出）：它的时间轴 T 与自由落体观察者的固有时对齐，在全时空处处规则。在这套坐标里，沿径向运动的光子速度取一个极其简明的形式（c = 1）：

把这项读出来：时空本身像河水一样以 √(r_s/r) 的速度向内流动，光子则是在河中以速度 1（光速）游动的鱼。于是三个区域一目了然——

r > r_s：流速小于光速，向外的光子 dr/dT = 1 − √(r_s/r) > 0，仍逃得出去；光锥对称地朝上下张开。
r = r_s：流速恰等于光速，向外的光子 dr/dT = 0——它拼尽全力，只是在原地悬停。光锥的外侧边竖直立起。这就是事件视界。
r < r_s：流速超过光速，连向外的光子都有 dr/dT < 0。光锥整体倒向内侧，"未来"里只剩下更小的 r。

下面这个模拟器把光锥场画了出来。横向是 r，纵向是时间 T。拖动底部的浮标选择释放位置，然后发射光子或丢下宇航员，亲眼看看"可逆"与"不可逆"的分界线在哪里。

如果你把释放位置拖到 r_s 以内，会看到一个在外部世界无法想象的景象：两条光的世界线都向 r 减小的方向弯去——"向内"与"向外"这对空间上的反义词，在视界内失去了对立的意义，因为二者都指向同一个因果方向：未来。光锥不再横跨左右，而是整张地倒向奇点。这就是第 1 章所说的"不可逆性的蔓延"：r 方向的不可逆，不是因为有谁推着你，而是因为 r 已经变成了时间。

爱丁顿在 1924 年、Finkelstein 在 1958 年用各自的坐标最早清楚地画出了这一幕（Eddington–Finkelstein 坐标中的"光锥倾倒图"是今天每本教科书的标配）。而它的物理内核可以用一句话说完：事件视界是一张"单向膜"，但它的单向性不在空间中，而在时间中——膜之所以只进不出，是因为膜的"内侧"方向上写着你全部的未来。

空间本身在坠落，而你只是在游泳

2008 年，Andrew Hamilton 与 Jason Lisle 把 Painlevé–Gullstrand 坐标的物理图像提炼成一个优美的模型——黑洞的河流模型（river model）：想象空间本身是一条向黑洞中心坠落的河流，流速 β(r) = −√(r_s/r)·c；光子和物体是河中的游泳者，最高泳速恒为光速 c（这正是狭义相对论在局域惯性系中的体现）。

这个模型立刻解释了三件事：在视界外，河水流速小于 c，足够努力总能逆流而上；在视界上，流速恰为 c，即使以光速向外游，也只能原地不动——光"冻结"在视界上，这正是外界观察者看到坠落者越来越慢、最终凝滞的红移图像的另一面；在视界内，河流超光速，任何方向的游动都被裹挟着向中心漂移。请亲手试一试：

在光子模式下多试几次，你会发现那条生死线严格位于 r = r_s：线外，光子虽被水流拖慢（外向 dr/dT 变小），但坚定地向远方爬去；线内，无论你怎样让它"朝外游"，它的轨迹都画向中心。超光速的不是任何物体，而是空间本身——局域地看，每个游泳者都安分守己地以不超过 c 的速度游动，从不违反狭义相对论；可一旦被带进 r < r_s 的水域，"向外"这个愿望本身就失去了可达的未来。

河流模型还顺手消解了一个流行误解："掉进黑洞会看见时间倒流"。不会。你的固有时一秒一秒照常流逝，手表、心跳、衰老一切如常；倒下的只是坐标 t 的"时间资格"。真正被逆转的不是时间的方向，而是"哪个方向有资格叫时间"这件事。

你无法躲避 r = 0，正如你无法躲避明天

现在我们可以兑现开头那句话了。视界内 r 是类时坐标、r = 0 是 r 取最小值的边界——一个类时坐标的端点是什么？是一个时刻。正如"2026 年 8 月 30 日之后"不是空间中的某处，r = 0 也不是黑洞"中心的一个点"：它是每个坠落者世界线的未来端点，是时间的尽头。1960 年 Kruskal 与 Szekeres 各自独立给出史瓦西解的最大延拓，把这件事画成了因果图：在 Kruskal 图与 Penrose 图中，奇点是一条水平的波浪线——水平，意味着类空；类空超曲面，意味着"同一时刻发生的一片区域"，而不是"一个等待你到达的地方"。

这带来一系列反直觉却逻辑严密的推论：你无法"绕开"奇点，就像你无法绕开下周三；你无法"停在"奇点之外等待救援，因为在视界内"停在原地"等价于"让时间停止"；你甚至无法在看到奇点之后才决定对策——奇点在你的未来光锥里，你对奇点的任何"看见"，都只能发生在撞上它的同一瞬间。1965 年 Penrose 的奇点定理进一步表明：只要形成捕获面，奇点（类时测地不完备）的出现就是广义相对论的必然，而非史瓦西解的特殊巧合。

下面是一张恒星坍缩成黑洞的 Penrose 图（已按因果结构压缩了无穷远）。左侧波浪线是奇点——注意它是横躺的；而星体表面、你的世界线，都是竖立的类时曲线。点击按钮，分别走一遍"坠入"与"逃逸"两种命运：

留给你的时间：一个定量注脚

"奇点在未来"还可以说得更精确：从视界坠到奇点，花费的固有时有严格上限 Δτ_max = π·GM/c³。作为对照：从无穷远处静止释放的自由落体者只用掉 4GM/(3c³)，而上限对应于"贴着视界拼命悬停到最后一刻才撒手"的极端情形——悬停越久，剩下的未来反而越少被压缩，这是个颇具相对论风味的结论。拖动下面的滑块改变黑洞质量，看看这段"剩余的余生"有多长，以及视界处的潮汐力是否先把你撕碎：

注意这个迷人的对照：质量越大，潮汐越温柔，而你的"余生"越长。对银河系中心的超大质量黑洞 Sgr A*（约 4 × 10⁶ M_☉），你可以毫无感觉地穿过视界，然后拥有大约一分钟的、绝对不可逆的未来；对百亿太阳质量的巨兽，这个数字以小时计。但无论余生多长，它的尽头都是同一个"时刻"：r = 0。

误读诊疗室

坠落到此结束

回顾这趟旅程的全部逻辑链条，它短得惊人：写下球对称真空的几何（史瓦西，1916）→ 读出系数 f(r) 的符号 → 符号在 r = r_s 处翻转 → 于是 r 接过时间的因果角色 → 于是坠落成为驶向未来，奇点成为时间的尽头。每一步都是定义与代数，结论却深刻得近乎哲学——这正是广义相对论最令人敬畏的风格：它不给你施加力的怪物，它只重新定义"方向"。

而在 r → 0 处，理论本身也发出了求救信号：曲率发散意味着广义相对论在预言自己的失效。奇点的"时刻"之后是什么，需要量子引力来回答。你的滚动条走到了这里，左侧的半径读数归零——但在真实的时空里，连"读数归零"这个事件本身，都是时间的终结方式之一。

参考文献与延伸阅读

1. Schwarzschild, K. "Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie." Sitzungsber. Preuss. Akad. Wiss. Berlin, 189–196 (1916). —— 史瓦西解原始论文。
2. Finkelstein, D. "Past-Future Asymmetry of the Gravitational Field of a Point Particle." Phys. Rev. 110, 965 (1958). —— 光锥倾倒与视界单向性的坐标表述（Eddington 1924 坐标的再发现）。
3. Kruskal, M. D. "Maximal Extension of Schwarzschild Metric." Phys. Rev. 119, 1743 (1960)；Szekeres, G. Publ. Math. Debrecen 7, 285 (1960). —— 最大延拓、四区域结构与"奇点是类空超曲面"。
4. Penrose, R. "Gravitational Collapse and Space-Time Singularities." Phys. Rev. Lett. 14, 57 (1965). —— 奇点定理：捕获面一旦形成，测地不完备不可避免（2020 年诺贝尔物理学奖）。
5. Misner, C. W., Thorne, K. S., & Wheeler, J. A. Gravitation, W. H. Freeman (1973), 第 31 章. —— "视界内 r 为时间、t 为空间"的经典教科书论述。
6. Hamilton, A. J. S., & Lisle, J. P. "The river model of black holes." Am. J. Phys. 76, 519–532 (2008). —— 交互 03 的理论来源。
7. Thorne, K. S. 《黑洞与时间弯曲》（Black Holes and Time Warps），李泳译，湖南科学技术出版社. —— 中文世界最优秀的相关科普之一。
8. Taylor, E. F., & Wheeler, J. A. Exploring Black Holes: Introduction to General Relativity, Addison Wesley (2000). —— 用"石子钟"与固有时第一性原理重构黑洞物理，本报告多处写法受其启发。