在廣義相對論中, 對奇點的研究是一個重要的課題, 它既是能量條件最早的套用之一, 也是全局方法在廣義相對論中初試鋒芒的範例。 我們在 “能量條件簡介” 的 引言 中曾經提到, 廣義相對論的經典解 - 比如 史瓦茲旭爾得(Schwarzschild )解 - 存在奇異性。 這其中有的奇異性 - 比如 史瓦茲旭爾得解中的 r=2m - 可以通過坐標變換予以消除, 因而不代表物理上的奇點; 而有的奇異性 - 比如 Schwarzschild 解中的 r=0 - 則是真正的物理奇點。 很明顯, 在奇點研究中, 真正的物理奇點才是我們感興趣的對象。
基本介紹
- 中文名:奇(qí)點定理
- 外文名:singularity
- 奇點:物理上一個存在又不存在的點
- 宇宙:必須開始於一個奇點
- 大小:奇點沒有大小,無限大或無限小
- 質量:無限質量
基本信息
奇點
奇點定理
時空是測地完備的。
強能量條件成立。
一般性條件成立。
時空滿足時序條件。
時空中存在一個非時序點集 S, 使得 E+(S) 與 E-(S) 緊緻。
限於篇幅, 我們只能簡單敘述一下論證的思路。 在上述五個條件中, 1~3 是 第三節 所介紹的證明奇點定理的第一步所用的條件, 由此推知的是每條非類空測地線上都存在共軛對。 1 和 4 所推知的 - 如上文所述 - 是時空滿足強因果條件。 而由強因果條件與 5 則可以證明這樣一個結果: 時空中存在一個包含一條未來不可延拓類時曲線 γ 及一條過去不可延拓類時曲線 λ 的全局雙曲區域 M。 利用這一結果就可以證明時空中存在一條沒有共軛對的非類空測地線。 具體的做法是: 在 λ 上取一個沿過去方向趨於無窮的點集 an, 同時在 γ 上取一個沿未來方向趨於無窮的點集 bn (選取時使得 b1 在 a1 的類時未來, 從而保證所有 bn 都在 an 的類時未來)。 由於 M 是全局雙曲的, 因此 - 如上文所述 - 在每一對 an 和 bn 之間都存在一條 (長度最大的) 非類空測地線 μn, 其上在 an 和 bn 之間不存在 an 的共軛點。 可以證明, M 中的這一由非類空測地線 μn 組成的無窮集合必定存在一個 “聚點” μ, 它是一條非類空測地線, 並且其上不存在任何共軛對。 這樣, 我們就得到了與第一步所得的 “每條非類空測地線上都存在共軛對” 相矛盾的結論, 從而證明了上述五個條件不可能同時成立。
既然上述五個條件不可能同時成立, 那么我們就可以用其中四個條件為前提 (即假定這四個條件成立), 來推翻剩下的那個條件[注二]。 Hawking 與 Penrose 所做的是以 2~5 為前提, 來推翻 1, 即證明時空不是測地完備的。 按照我們在 第一節 所作的定義, 這表明時空中存在奇點。 這就是 Hawking 與 Penrose 的奇點定理。
在被奇點定理採用為前提的 2~5 中, 2~4 都有明確的物理意義, 唯獨 5 - 即時空中存在一個非時序點集 S, 使得 E+(S) 與 E-(S) 緊緻 - 顯得很抽象。 幸運的是, 我們可以用一些物理意義更為明確的條件來取代這一抽象的數學條件。 在上文中我們介紹過, 如果強能量條件成立, 則對於任何封閉陷獲面 S, E+(S) 與 E-(S) 緊緻。 由於強能量條件已經包含在 2~4 中了, 因此我們可以用 “時空中存在封閉陷獲面” 來取代 5, 這個條件在物理上可以由足夠緻密的星體來滿足。 除此之外, Hawking 與 Penrose 還提出了另外兩個條件來取代 5: 一個是 “時空中存在緊緻無邊的非時序點集”[注三], 這個條件在物理上可以由空間上有限無邊的宇宙來滿足; 另一個是 “時空中存在一個點, 通過該點的所有未來 (或過去) 方向的類光測地線束的膨脹標量 θ 最終將變為負值”, 這個條件在物理上可以由局部膨脹或收縮的宇宙來滿足。 這三個都是原則上可以檢驗, 並且很可能在我們的宇宙中已經得到滿足的條件。至此, 我們可以對 Hawking 與 Penrose 所證明的奇點定理做一個完整的表述:
Hawking-Penrose 奇點定理: 一個時空若滿足以下條件, 就必定是非類空測地不完備的 (即存在奇點):
1. 強能量條件成立。
2. 一般性條件成立。
3. 滿足時序條件。
4. 以下三個條件之一成立:
a. 存在封閉陷獲面。
b. 存在緊緻無邊非時序點集。
c. 存在一個點, 通過該點的所有未來 (或過去) 方向的類光測地線束的膨脹標量 θ 最終將變為負值。
歷史發展
在 Hawking-Penrose 奇點定理的四個前提中, 前提 4 屬於初始及邊界條件, 並且實現的可能性極大。 事實上, 早在 Hawking-Penrose 奇點定理提出的年代, 天文觀測及理論研究就已經在很大程度上顯示出這個前提的三個子條件很可能部分甚至全部得到滿足。 前提 1 和 2 與人們在巨觀世界的觀測經驗相符, 因為迄今所知的所有巨觀物質的能量動量張量都滿足強能量條件, 而現實宇宙中物質 (包括宇宙微波背景輻射) 及引力波的分布無疑遍及全空間, 從而滿足一般性條件, 因此在以大尺度巨觀世界為主要描述對象的廣義相對論中, 這兩個前提被認為是適用的。 前提 3 所要求的不存在閉合類時曲線也具有不錯的經驗基礎, 因為時間的單向性是巨觀世界中最基本的經驗事實之一。 因此所有這四個前提都有其可信賴之處, 但如果一定要在這些前提中找出一個最有可能在現實物理世界中不成立的, 那么 - 如我們將在後文中看到的 - 能量條件 (即前提 1) 將是首選, 因為理論與觀測都表明它事實上就不成立。 不過, 能量條件的破壞主要來自量子效應, 而我們所討論的奇點定理是經典廣義相對論中的命題, 兩者在所涉範圍上有出入。 如果我們不考慮量子效應, 或者說只考慮經典廣義相對論, 又有哪一個前提最值得懷疑呢? 一般認為是時序條件 (即前提 3)。 這一條件要求不存在閉合類時曲線。 它之所以值得懷疑, 主要有兩個原因: 一是因為廣義相對論的某些特殊解事實上允許閉合類時曲線存在 (參閱 時間旅行: 科學還是幻想?), 雖然迄今為止那些解還沒有一個得到過任何觀測上的支持; 二是由於閉合類時曲線實際上是一種抽象的時間機器, 這是一種在很多方面都很引人入勝的東西。 因此有些物理學家把廣義相對論沒有在原理層面上禁止閉合類時曲線, 視為是一個很值得探索的理論問題。
如果時序條件有可能被破壞, 那就產生了一個很自然的問題: 即我們是否可以通過作一個與 Hawking-Penrose 奇點定理不同的選擇, 把測地完備性作為定理的前提之一, 而把時序條件的破壞 (從而允許時空中存在閉合類時曲線) 作為定理的結論呢[注六]? 對這種可能性物理學家們也進行過一些研究。 1977 年, 美國圖蘭大學 (Tulane University) 的物理學家 F. Tipler 研究了漸近平直時空中有限大小的閉合類時曲線, 結果發現在強能量條件與一般性條件等條件成立的情況下, 這樣的曲線在測地完備時空中是不可能出現的[注七]。 其他一些物理學家後來也做了這方面的研究和推廣, 包括使用更弱的條件, 以及推廣時序破壞的定義等, 得到的結果都類似。 這些結果成為後來 Hawking 提出所謂時序保護假設 (chronology protection conjecture) 的基礎之一。 這些結果表明, 時序條件的破壞在很大程度上本身就意味著測地完備性的破壞, 因而放棄時序條件並不能挽回測地完備性[注八]。 這一結果在一定程度上加強了奇點的不可避免性[注九], 也進一步支持了 Hawking-Penrose 奇點定理的合理性 - 當然, 所有這一切都限於經典廣義相對論的範圍。