奇異性定理（singularity theorems）

長久以來人們希望愛因斯坦方程之解中的奇異性——黑洞無限緻密的中心、宇宙起始的大霹靂——是假設完美對稱的人為產物，並會在任何現實、凹凸不平的時空中被抹散。Penrose 與 Hawking 的奇異性定理（1965 年起）粉碎了這希望。它們在完全沒有對稱性假設下證明，在廣泛且物理上合理的條件下，一個時空必定測地不完備：某個自由下落的觀測者或光線在有限固有時內走出時空之外。奇異性是普遍的，不是人為產物。

這些定理是勞侖茲幾何的定理，其形狀總是同樣的三材料配方。(1) 一個能量條件：物質以吸引方式產生重力，形式化為一個曲率不等式，例如對所有類時 v 有 Ric(v, v) >= 0（經由愛因斯坦方程的強／零能量條件）。這迫使鄰近測地線聚焦——雷喬杜里方程說一束測地線的膨脹必須遞減並在有界固有時內達到 -infinity（焦點／共軛點），這是 Bonnet-Myers 的勞侖茲回聲。(2) 一個因果條件（例如沒有閉類時曲線），使聚焦確實產生矛盾而非復現。(3) 一個邊界或初始條件，捕捉「重力在某處變強了」：一個閉陷獲面（一個 2-曲面，其向外與向內的光都收斂——這是身處黑洞掌握之中的幾何標誌），或宇宙版本中一個普遍膨脹的時刻。結論：一條有限仿射長度、無法延拓的因果測地線。Penrose 1965 年的定理用陷獲面預測黑洞奇異性；Hawking 把時間反轉以預測大霹靂。

為何它們重要：它們顯示古典廣義相對論預測了自身的崩潰——奇異性是該理論加上溫和物理的不可避免後果，這是需要量子重力理論的最強論證。誠實的提醒很重要且常被略過。其一，這裡的「奇異性」意指測地不完備，並非任何曲率純量爆炸；定理證明的是一條測地線停止，而非「曲率等於無窮」。存在曲率有界的不完備時空，而定理對奇異性「長什麼樣」保持沉默。其二，它們是存在性／不完備性定理——它們不描述奇異性的性質、位置或強度，也對宇宙審查（奇異性是否藏在視界後）一無所說，那仍是一個重大的開放猜想。其三，能量條件雖有物理動機，卻是真正的假設，某些物質模型（與量子效應、暗能量）能違反它，故定理限制但不禁止無奇異性的時空。