愛因斯坦建立的引力場方程，是廣義相對論定量描述引力、時空和物質(zhì)的統(tǒng)一性的理論手段，在宇宙學(xué)研究中具有重要作用。這個引力場方程
Gmn =Rmn-1/2（gmnR）=（8πG/c4）Tmn
是一個二階張量方程，其中Rmn為里奇張量，它由黎曼幾何張量縮并而成，表示曲率，意味著空間的彎曲狀況；Tmn為能量-動量張量，表示物質(zhì)（質(zhì)量）分布和運(yùn)動狀況，意味著描述的是能量流、動量流及其應(yīng)力；gmn為3+1維時空的度規(guī)張量，稱為愛因斯坦張量；G是重力常數(shù)，c是真空中光速，8πG/c4稱為系數(shù)，可由低速的牛頓理論來確定。
方程的意義是：空間物質(zhì)的能量-動量（Tmn）分布=空間的彎曲狀況（Rmn）。其解的形式是：
ds2=Adt2+Bdr2+Cdq2+Ddφ2
式中A,B,C,D為度規(guī)gmn分量?？紤]能量-動量張量Tmn的解比較復(fù)雜，最簡單就是讓Tmn等于0。對于真空靜止球?qū)ΨQ外部的情況，得到了施瓦西解。如果是該球體內(nèi)部的情況，或者是考慮球體軸對稱的旋轉(zhuǎn)，就稍微復(fù)雜一點(diǎn)。考慮星云內(nèi)部或外部的情況，星云內(nèi)的星球還要運(yùn)動、轉(zhuǎn)動等，這些因素都要影響到星云內(nèi)部的曲面空間。
含宇宙常數(shù)項(xiàng)的場方程
Rmn- 1/2（gmnR）+ Λgmn = 8πG/c4Tmn
Λ是宇宙常數(shù)，其物理意義是宇宙真空場。Λgmn為宇宙項(xiàng)，如果從數(shù)學(xué)上理解，則由這個場方程得到的解也是：
ds2 = Adt2 + Bdr2 + Cdq2 + Ddφ2
ds表達(dá)空間彎曲程度的一小段距離。由于4維空間與時間有關(guān)，ds是隨時間變化而變化的。如果沒有宇宙項(xiàng)，ds隨時間是增大的，宇宙就是膨脹的；而當(dāng)加了宇宙項(xiàng)，選取適當(dāng)Λ值，ds不隨時間變化，宇宙就是穩(wěn)定的。從物理的意義上理解，把宇宙項(xiàng)移到方程式的右邊，變?yōu)椋?/p>
Rmn-1/2（gmn R）=（8πG/c4）Tmn-Λgmn
Λ項(xiàng)為負(fù)值，起到了斥力的作用，即宇宙真空場與普通物質(zhì)場之間存在著斥力。宇宙項(xiàng)和通常物質(zhì)場的引力作用起到了平衡的作用，所以可得到穩(wěn)定的宇宙解。
愛因斯坦于1905年發(fā)表狹義相對論之后，開始著首如何將引力納入狹義相對論框架的思考。他以一個處在自由落體狀態(tài)的觀察者設(shè)計(jì)理想實(shí)驗(yàn)開展分析，從1907年開始用了長達(dá)8年時間探索引力的相對性理論。在歷經(jīng)多次彎路和錯誤之后，他于1915年11月在普魯士科學(xué)院作了發(fā)言，其內(nèi)容正是著名的愛因斯坦引力場方程。這個方程式的左邊表達(dá)的是時空彎曲的狀態(tài)，右邊表達(dá)的是物質(zhì)及其運(yùn)動。正如惠勒所說：“物質(zhì)告訴時空怎么彎曲，時空告訴物質(zhì)怎么運(yùn)動?！彼褧r間、空間和物質(zhì)、運(yùn)動這四個自然界最基本的物理量聯(lián)系了起來，具有非常重要的意義。引力場方程是一個二階非線性偏微分方程組，數(shù)學(xué)上想要求得方程的解是一件非常困難的事。愛因斯坦曾經(jīng)用了很多近似方法，從引力場方程得出了幾個最初的預(yù)言。
場方程的非線性特質(zhì)使得廣義相對論與其他物理學(xué)理論迥異。例如，電磁學(xué)的麥克斯韋方程組，其電場、磁場以及電荷、電流的分布是呈線性關(guān)系（兩個解的線性疊加仍然是一個解）；又如量子力學(xué)中的薛定諤方程，對于概率波函數(shù)也是線性的。
透過弱場近似或慢速近似，可以從場方程轉(zhuǎn)化為牛頓重力定律。事實(shí)上，場方程中的比例常數(shù)8πG/c4是經(jīng)過這兩個方面的近似，以跟牛頓重力理論做連結(jié)統(tǒng)一而得出的。這個場方程的解不可能反映宇宙的多樣性，也不能作為宇宙有限無限性的唯一判據(jù)。在廣義相對論中，物體的速度與質(zhì)量有直接關(guān)系，速度會影響引力。
以下是張?zhí)烊乩蠋煹南盗锌破瘴恼隆稄V義相對論與黎曼幾何》，這里的收藏做了一些刪減，不影響原文的意思表達(dá)。
1.曲率和撓率
歐幾里德幾何誕生于公元前，距今已有2000多年。16世紀(jì)笛卡兒將坐標(biāo)的概念引入幾何，建立了解析幾何。18世紀(jì)前半頁，法國數(shù)學(xué)家亞歷克西斯·克萊洛等人創(chuàng)立了微分幾何，而曲率和撓率是微分幾何中最重要的基本概念。
圖1：克萊洛及雙重曲率
理解曲率需要引人曲線的切線或稱“切矢量”的概念，即曲線上兩點(diǎn)無限接近時它們的連線的極限位置所決定的那個矢量（圖1）。曲率是切矢量方向的變化率（切矢量的旋轉(zhuǎn)速率），切矢量旋轉(zhuǎn)得越快，曲線的彎曲程度也越大。所以，曲率的幾何意義就是曲線的切矢量對于弧長的旋轉(zhuǎn)速度。
就平面曲線而言，如果每一點(diǎn)的曲率已經(jīng)確定，這條曲線的形狀也就確定了。任意一個圓上的每個點(diǎn)的曲率都一樣，等于它的半徑的倒數(shù)。圓的半徑越小，倒數(shù)則大，因而曲率也越大；反之亦然。考慮平面螺旋線（圖2a），從內(nèi)到外近似于一個一個從小到大的圓，它的曲率是中心大邊沿小。如果平面螺旋線象一個平面上的錐形彈簧，它的三維形狀如圖2b，是一條三維曲線。
將平面螺旋線放在三維空間中（圖2c），可以對曲線上每個點(diǎn)定義一個由3個矢量組成的三維標(biāo)架。令曲線的切線方向?yàn)門，在曲線所在的平面上有一個與T垂直的方向N（對于圓周，N指向圓心）。平面內(nèi)與切線T垂直的矢量有無窮多條，它們都可稱為曲線在該點(diǎn)的法線，這些法線構(gòu)成一個平面，叫做通過該點(diǎn)的法平面，而N稱之為曲線在該點(diǎn)的主法線。由切線T和主法線N，使用右手定則可以定義出三維空間中的另一個矢量B，B也是法線之一，稱之為次法線。從圖2c很容易看出，螺旋線上每個點(diǎn)的切矢量T和主法線N的方向都逐點(diǎn)變化，唯獨(dú)次法線B的方向不變。推廣到一般：一條平面曲線上每個點(diǎn)的次法線都指向同一個方向，即指向與該平面垂直的方向。
對于空間曲線，它象是平面螺旋線逐漸被拉開的，在每一點(diǎn)的次法線方向便會從原來的垂直線逐漸發(fā)生偏離。也可以說，次法線的方向處在與曲線“密切相貼”的那個平面。這個密切相貼的平面逐點(diǎn)不一樣，稱為曲線在該點(diǎn)的“密切平面”（圖2d）。一般三維曲線上的不同點(diǎn)，三個標(biāo)架T、N、B的方向都有所不同，每一點(diǎn)的次法線B的方向也會變化，但它仍與該點(diǎn)的密切平面垂直。
因?yàn)榭臻g曲線與平面曲線的不同，克萊洛認(rèn)為需要用另外一個曲率即“撓率”的幾何量來表征這種差別。換言之，撓率可以表示曲線偏離平面曲線的程度，被定義為次法線B隨弧長變化的速率。
2.牛頓引力
引力是一種頗為神秘的作用力，它存在于任何具有質(zhì)量的兩個物體之間。然而，除了巨大質(zhì)量的星體產(chǎn)生的引力能夠被觀測到之外，一般物體的引力很難被探測到。人類對引力的本質(zhì)仍然知之甚少，不像電磁場、電磁波或光可以通過產(chǎn)生、接受、控制來研究和理解，我們對引力的了解還差得太遠(yuǎn)。
萬有引力定律是理解引力的第一個里程碑。這個定律說的是任意兩個物體之間都存在相互吸引力，力的大小與它們的質(zhì)量乘積成正比，與它們距離的平方成反比。其比例系數(shù)（引力常數(shù)）G是個很小的數(shù)值，致于到底多大，牛頓自己也搞不清楚，一直到牛頓死后70年左右，才被英國物理學(xué)家亨利·卡文迪什用一個很巧妙的扭秤方法測量出來?，F(xiàn)公認(rèn)
G = 6.67×10-11N·m2/kg2
按照這個數(shù)值計(jì)算，兩個50公斤成人之間距離1米時的萬有引力只有十萬分之一克。
牛頓當(dāng)時還研究了地球的形狀。從理論上（將慣性離心力分解，如圖3a所示）推測地球不是一個很圓的球形，而是一個在赤道處略為隆起、兩極略為扁平的橢球體。當(dāng)時在學(xué)界也有相反觀點(diǎn)，卡西尼根據(jù)其他一些理論，認(rèn)為地球是個長橢球。為此，法國科學(xué)院測量隊(duì)進(jìn)行1年多的遠(yuǎn)征，對地球進(jìn)行弧度測量，證實(shí)地球確實(shí)為一扁形橢球體，赤道半徑要比極半徑長出20多公里。
圖3：地球自轉(zhuǎn)對地球形狀的影響
克萊洛從1745年開始研究太陽、地球、月亮的三體問題。牛頓定律用于解決二體問題不難，但對三體就顯得異常復(fù)雜。后來經(jīng)龐加萊研究，得知這個問題實(shí)際上與復(fù)雜的混沌現(xiàn)象有關(guān)?？巳R洛算了月球軌道、遠(yuǎn)地點(diǎn)和近地點(diǎn)等，有趣的是，他的計(jì)算結(jié)果認(rèn)為牛頓重力理論的平方反比定律是錯誤的，建議用“與半徑4次方成反比”作為修正，并得到歐拉的支持。1748年，克萊洛意識到，月球遠(yuǎn)地點(diǎn)的觀察數(shù)據(jù)與理論計(jì)算之間的差異是來自所作近似不太恰當(dāng)，于是在1749年宣布，現(xiàn)在的理論計(jì)算結(jié)果是與平方反比定律相符合的。
萬有引力遵循平方反比律，其實(shí)可能大有緣由。靜電力和引力相仿，也遵循平方反比律，還有諸如光線、輻射、聲音的傳播等，都由平方反比規(guī)律決定。為什么剛好是平方反比，難道大自然總是以一種高明而又簡略的方式來設(shè)置自然規(guī)律？時間的積累和科學(xué)家們的努力，部分回答了這個問題。人們逐漸認(rèn)識到，這個平方反比率不是隨意選定的，它與空間維數(shù)為3有關(guān)。
圖4：點(diǎn)信號源的傳播服從平方反比律
在各向同性的3維空間中，任何一種點(diǎn)信號源的傳播都將服從平方反比定律，這是由空間的幾何性質(zhì)決定的。如圖4，輻射可以用從點(diǎn)S發(fā)出的射線表示。一個點(diǎn)源在一定時間間隔內(nèi)所發(fā)射的能量S是一定的，這份能量S向各個方向傳播，不同時間到達(dá)不同大小的球面。當(dāng)距離r呈線性增加時，球面面積4pr2卻是以平方規(guī)律增長。同樣一份能量，分配的面積越來越大，單位面積的能量就越來越少。比如說場強(qiáng)I=S/（4pr2），當(dāng)距離由r變成2r時，同樣能量的覆蓋面增大4倍，因而使強(qiáng)度變成了1/4。這個結(jié)論也就是場強(qiáng)的平方反比定律。
現(xiàn)代矢量分析及場論可以對平方反比律解釋得更深入一些。簡略說，服從平方反比律的場，是“無旋”的、保守力的場，是有心力、無源處的場，它的散度為0，場強(qiáng)可以表示為某個標(biāo)量的梯度，做功與路徑無關(guān)，等等。按場論的觀點(diǎn)，在n維歐氏空間中，場強(qiáng)的變化與r(n-1)成反比，當(dāng)n=3時，便簡化到平方反比定律。
追溯萬有引力的平方反比定律的發(fā)現(xiàn)歷史，便扯出了牛頓與胡克間的著名公案。胡克對萬有引力的發(fā)現(xiàn)及物理學(xué)的其它方面都做出了不朽的貢獻(xiàn)，然而現(xiàn)在一般人除了知道“胡克定律”之外，恐怕就說不清楚胡克是誰了。胡克與牛頓在萬有引力的發(fā)現(xiàn)問題上有很多議論，這都無可奈何，成者為王敗者寇，學(xué)術(shù)界也基本如此，正如胡克所說，“利益沒有良心”。
3.曲面的微分幾何
用微積分的方法對曲線及曲面進(jìn)行研究，除了歐拉、克萊洛等人的貢獻(xiàn)之外，蒙日的工作舉足輕重。由于微分幾何與微分方程的研究緊密結(jié)合，大大促進(jìn)了微分方程，特別是偏微分方程理論的進(jìn)展。
由曲率和撓率在空間的變化規(guī)律所完全決定的空間曲線，它可以用一個點(diǎn)在空間移動而得到。假如不是一個點(diǎn)，而是一條曲線在空間移動，那么得到的將是一個嵌在三維空間的曲面。
由一條直線在空間平滑移動產(chǎn)生的曲面叫“直紋面”。尺子（直線）兩端A、B沿曲線C1和C2移動，形成一個直紋面。尺子移動的方式可以多種多樣，能形成各種不同的直紋面（圖5）。
圖5：各種直紋面
柱面、錐面和切線面這三種直紋面具有一個共同特性：可以展開成平面。將圓柱形或錐形沿軸（母線）剪開，得到的圖形平攤在桌面上沒有任何皺褶，這樣的曲面叫做“可展曲面”。切線面也是一種可展曲面。雙曲面、螺旋面、馬鞍面等都不是可展曲面?？梢宰C明，可展曲面只有以上三種直紋面。概括講，可展曲面都是直紋面，但直紋面卻不一定可展。球面不是直紋面，球面也是不可展的。
一個曲面是否可展在物理學(xué)上很重要，比一個曲面是否為直紋面要重要得多，因?yàn)槲锢韺W(xué)家們需要知道，是什么幾何量決定了曲面的可展性。
曲率和撓率這兩個幾何量決定曲線在三維空間中某一點(diǎn)的形態(tài)。由于曲線都是可展的，我們可以將定義曲線的曲率概念應(yīng)用到曲面的微分幾何研究之中。對于曲面上的一個給定點(diǎn)G，能畫出無限多條曲面上的曲線，因而可以作出無限多條切線。這些切線都在同一個平面上，稱為曲面在這點(diǎn)的切平面。通過該切點(diǎn)與切平面垂直的直線叫做曲面在這點(diǎn)的法線。
過法線可以作出無限多個平面，其中每一個平面都與曲面相交于一條平面曲線C，于是可以定義平面曲線C在G點(diǎn)的曲率（圖6a所示）。設(shè)曲線C1、C2…在G點(diǎn)的曲率分別為Q1、Q2…，在（Q1、Q2…）中的最大值和最小值，叫做曲面在點(diǎn)G的主曲率。這兩個主曲率的切線方向（或兩個法平面方向）總是互相垂直的。這是大數(shù)學(xué)家歐拉在1760年得到的一個結(jié)論，稱之為曲面的兩個主方向。從圖6右邊兩圖可以看到，兩個主曲率可正可負(fù)。當(dāng)曲線轉(zhuǎn)向與平面給定法向量相同方向時，曲率取正值，否則取負(fù)值。
圖6：曲面的兩個主曲率
綜上所述歸納如下：
①.就曲線而言，任意一條空間曲線都是可展的，都可以伸展為一條直線。不同的空間曲線只是由它們“嵌入3維空間”時的彎曲和扭曲程度而區(qū)分。如果定域在曲線上看，所有的曲線都是一樣的，都與直線具有同樣的幾何性質(zhì)。換言之，如果有一種極小的螞蟻生活在一條空間曲線上，它在曲線上不能知道周圍空間的任何信息，那么，它就感覺不出它的曲線世界與其它的曲線（或直線）有任何的不同。
②.曲面有可展與不可展之分。一個球面是不可展的，而柱面、錐面可展，它具有與平面完全相同的內(nèi)在幾何性質(zhì)。假如有一種生活在柱面上的生物，它會覺得與生活在平面上是一模一樣的。但是，球面生物能感覺到幾何上的差異。比如說，柱面生物在它的柱面世界中畫一個三角形，三個內(nèi)角之和等于180度，這個結(jié)論與平面生物得到的一致。球面生物在它的世界中畫一個三角形，如果把三個角加起來，要大于180度。
這種與曲面嵌入3維空間的彎曲方式無關(guān)，只研究所謂曲面本身上的幾何，叫做內(nèi)蘊(yùn)幾何。高斯是研究內(nèi)蘊(yùn)幾何之第一人。他抓住了微分幾何中最重要的概念，建立了曲面的內(nèi)在幾何，奠定了近代形式曲面論的基礎(chǔ)，使微分幾何成了一門獨(dú)立的學(xué)科。
4.內(nèi)蘊(yùn)幾何
高斯在1827年所著《關(guān)于曲面的一般研究》發(fā)展了內(nèi)蘊(yùn)幾何。所謂“內(nèi)蘊(yùn)”，是相對于“外嵌”而言，指曲面（或曲線）不依賴于它在三維空間中嵌入方式的某些性質(zhì)。從物理意義上講，一個觀察者在自己生活的物理空間所能觀察和測量到的幾何性質(zhì)就是這個空間的內(nèi)蘊(yùn)性質(zhì)。
一條直線可以在3維空間任意彎曲，即隨意改變它的曲率和撓率，生活在直線上的“點(diǎn)狀螞蟻”觀察不到這些“彎來繞去”，能測量到的只是弧長。但是，弧長與曲線嵌入空間中的彎曲情況無關(guān)，所以這是個內(nèi)蘊(yùn)幾何量?？臻g曲線的曲率和撓率是在三維空間中觀察“螞蟻曲線”時得到的重要性質(zhì)，這并不是內(nèi)蘊(yùn)幾何量。對曲面來說也是如此。
由于所有空間曲線的內(nèi)在性質(zhì)都與直線相同，也就是曲線除了弧長再沒有其它內(nèi)蘊(yùn)幾何性質(zhì)。因此，內(nèi)蘊(yùn)幾何主要研究曲面的性質(zhì)。既然弧長是內(nèi)蘊(yùn)的，由弧長所導(dǎo)出曲面上的面積、夾角等其它幾何量也是內(nèi)蘊(yùn)的。（計(jì)算弧長按勾股定理先設(shè)計(jì)一小段，再利用計(jì)算公式進(jìn)行積分。）由此可定義曲面的等距變換，即保持弧長不變的變換。曲面的內(nèi)蘊(yùn)幾何量都是等距變換下的不變量，或者說，根據(jù)計(jì)算弧長的公式（稱曲面第一基本公式）可以建立起曲面的內(nèi)蘊(yùn)幾何。
空間曲線的曲率和撓率不是內(nèi)蘊(yùn)的，對于曲面，可以由兩個主曲率定義“平均曲率”。研究發(fā)現(xiàn)，主曲率和平均曲率也都不是內(nèi)蘊(yùn)幾何量。直觀地看，柱面和錐面等可展曲面應(yīng)該與平面有相同的內(nèi)蘊(yùn)幾何，而球面一類的不可展曲面，代表了另外種類的幾何。高斯注意到，雖然主曲率和平均曲率不是內(nèi)蘊(yùn)的，但從幾何直觀上看，應(yīng)該存在某種“內(nèi)蘊(yùn)曲率”。
圖7：高斯映射和高斯曲率
高斯通過研究曲面在一個給定點(diǎn)及其附近鄰域的法線方向，定義了高斯映射，繼而再定義了曲面的內(nèi)蘊(yùn)曲率，即高斯曲率。如圖7a所示，高斯映射將曲面在一個給定點(diǎn)P及其附近鄰域（總面積為A）的法線矢量，保持原來的方向?qū)⒍它c(diǎn)平移到原點(diǎn)，這些法線與單位球面相交于一塊面積為B的圖形。高斯認(rèn)為，面積B與面積A的比值可以代表曲面在P的內(nèi)蘊(yùn)彎曲程度（定義為高斯曲率）。
高斯曲率為什么能代表曲面的內(nèi)在彎曲度，可以這樣理解：如果曲面是一個平面，那么p點(diǎn)附近所有法線都指向同一個方向，高斯映射將整個平面映射為單位球上的一個點(diǎn)，因此面積B為0，從而得到平面的高斯曲率為0。如果曲面是一個柱面，高斯映射是單位球面上的一個圓（注：高斯映射應(yīng)該是單位球面上的一條線段），圓（線段）的面積也是0，柱面的高斯曲率也為0?？紤]半徑為r的球面的情形（圖7c），根據(jù)高斯曲率K的計(jì)算公式，K=B/A=1/r2，可見r越大，高斯曲率越小，這符合我們對球面內(nèi)蘊(yùn)曲率的直觀理解。
高斯曲率與主曲率有一個簡單關(guān)系：高斯曲率就等于兩個主曲率的乘積。對柱面、錐面、切線面這三種可展曲面，曲率的最小值為0，因此兩個主曲率相乘而得到的高斯曲率也為0。高斯曲率表明，三維空間中曲面在每一點(diǎn)的曲率不隨曲面的等距變換而變化（絕妙定理），也就是說，高斯曲率是一個內(nèi)蘊(yùn)幾何量。
絕妙定理絕妙之處在于它提出并證明了內(nèi)蘊(yùn)幾何這個幾何史上全新的概念，它說明曲面并不僅僅是嵌入三維歐氏空間的一個子圖形，曲面本身就是一個空間，這個空間獨(dú)立于外界3維空間而存在，有它自身內(nèi)在的幾何學(xué)。
圖8：內(nèi)蘊(yùn)幾何是測地員（或“爬蟲”）觀察到的幾何
圖8b是生存在各種類型曲面空間中的“爬蟲生物”所觀察到的幾何。在圖8b中，平面是一個2維的歐氏空間，而球面和雙曲面則是非歐氏空間。
5.黎曼幾何
高斯以他的“絕妙定理”建立了曲面內(nèi)在的微分幾何，高斯的得意門生黎曼將曲面的概念擴(kuò)展到流形，使內(nèi)蘊(yùn)幾何擴(kuò)展到n維的一般情形，形成了黎曼幾何。黎曼在演講論文《論作為幾何基礎(chǔ)的假設(shè)》中提出了一大堆陌生概念，開創(chuàng)了一種嶄新的幾何體系。據(jù)說當(dāng)時在黎曼就職演講的聽眾中，唯有高斯聽懂了黎曼在說些什么。
根據(jù)曲面第一基本形式（曲面上計(jì)算弧長的公式），可以建立起曲面的內(nèi)蘊(yùn)幾何。三維空間中兩個參數(shù)u和v所描述的曲面的第一形式可用下式表達(dá)：
ds2= E du2+ 2F dudv+ G dv2
圖9：平面（a、b）和球面（c）上的弧長（微分）表達(dá)式
上式中的E、F、G是曲面第一基本形式的系數(shù)。黎曼將二維曲面的概念擴(kuò)展為“n維流形”，將E、F、G等系數(shù)擴(kuò)展為定義在n維黎曼流形上每一點(diǎn)p的“黎曼度規(guī)”gij(p)：
有了度規(guī)，就有了度量空間長度的某種方法，能夠測量和計(jì)算距離、角度、面積等幾何量，從而建立流形上的幾何學(xué)。從圖9中平面和球面上的弧長微分計(jì)算公式，能對黎曼度規(guī)gij得到一點(diǎn)直觀印象。在二維平面和二維球面的弧長微分公式中，下指標(biāo)i和j的取值從1到2，可以將度規(guī)gij寫成2×2的矩陣形式：
上面3種情況下的度規(guī)意義是：
①.平面直角坐標(biāo)的度規(guī)是個簡單的dij函數(shù)（i等于j時為1，否則為0），對整個平面所有的p點(diǎn)都是一樣的；
②.平面極坐標(biāo)的度規(guī)對整個平面不是常數(shù)，隨點(diǎn)p的r不同而不同；
③.球面坐標(biāo)上的度規(guī)也不是常數(shù)。
由①和②可知，同樣是描述平面，如果所選坐標(biāo)系不同，度規(guī)也將不同。由于平面極坐標(biāo)和直角坐標(biāo)可以互換，所以②的極坐標(biāo)度規(guī)可以變換成①的dij函數(shù)形式的度規(guī)。對③的球面度規(guī)是否可以變換成如①的那種d函數(shù)形式的度規(guī)？答案是否定的。也就是說，在ds保持不變的情形下，無論你作何種坐標(biāo)變換，都不可能將球面的度規(guī)變成①所示的d形式。由此表明，球面的內(nèi)在彎曲性質(zhì)無法通過坐標(biāo)變換而消除，黎曼度規(guī)可以區(qū)分平面、球面或其它空間的內(nèi)在彎曲狀況。
一般來說，黎曼流形上每一點(diǎn)p的黎曼度規(guī)gij(p)隨p點(diǎn)的不同而不同，這種以空間中的點(diǎn)為變量的物理量叫做“場”。黎曼度規(guī)gij(p)具有兩個指標(biāo)（i和j），在坐標(biāo)變換下是按一定規(guī)律變化的幾何量，叫做二階張量，gij(p)是黎曼流形上的2階張量場。不難看出，對n維流形上的點(diǎn)p，gij(p)在給定的坐標(biāo)系中有n2個分量，可以表示成一個n×n的矩陣。除了2階張量場，黎曼流形上也能定義0階張量（標(biāo)量）場、1階張量（矢量）場、3階、4階以及更高階的張量場。
張量在物理及工程上應(yīng)用廣泛，尤其是“矢量”的概念，包括速度、加速度、力、電流、水流、電場、磁場等等，這些既有方向，又有大小的物理量，都可以用矢量來表示。n維空間的矢量有n個分量，標(biāo)量則只有1個分量。
如果一個黎曼流形上每一點(diǎn)的度規(guī)張量都可以寫成dij函數(shù)形式，則稱之為“平”流形。流形“平”或“不平”，定義在它上面的幾何規(guī)律將完全不同。
黎曼將二維曲面的球面幾何、雙曲幾何（羅巴切夫斯基幾何）、歐氏幾何，統(tǒng)一在下述黎曼度規(guī)表達(dá)式中（公式a是2維曲面的高斯曲率）：
如同嵌入三維空間中的二維曲面大多是不可展一樣，流形的多數(shù)也不是“平”的。高斯曲率用來描述平面和“不可展”曲面的差異，黎曼將曲率的概念擴(kuò)展為“黎曼曲率張量”。
黎曼流形上在某一點(diǎn)的切空間，一般情況下n維流形只考慮n≥3，因?yàn)槿祟惔竽X想象不出、計(jì)算機(jī)也畫不出更高維“不平坦”流形是什么樣子，所以只好用嵌入3維空間的2維曲面來表示“彎曲”流形（如圖10所示）。
圖10：流形和過每一點(diǎn)的切空間
6.平行移動和協(xié)變微分
所謂平行移動，就是將一個矢量按平行于自身的方向沿空間的一條曲線移動。這種沿著某條曲線的平行移動，可以看成是由許多沿著無窮小的一段弧長ds平行移動的連續(xù)操作而構(gòu)成的。因此，首先需要理解“平行移動無窮小弧長ds”的意義?！盁o窮小”與微分有關(guān)，涉及流形中矢量場的“導(dǎo)數(shù)”概念。
黎曼流形上定義的張量場，就是流形上每個點(diǎn)都有的物理量（張量），包括標(biāo)量、矢量、二階以上張量等。如果用n維空間的坐標(biāo)表示張量的分量，標(biāo)量是1個數(shù)，矢量是n個數(shù)，2階張量是n2個數(shù)，3階張量是n3個數(shù)，依次類推。根據(jù)分量數(shù)目的這種規(guī)律，可以將坐標(biāo)系中的張量分量用取值從1到n的指標(biāo)i、j、k…來表示。比如標(biāo)量f，不需要指標(biāo)，為0階張量；矢量Vi，1個指標(biāo)，為1階張量；有兩個指標(biāo)的度規(guī)張量gij是二階張量；4階張量Rijkr有4個指標(biāo)。
必須注意，分量數(shù)目符合上述規(guī)律的物理量不一定是張量，只有當(dāng)坐標(biāo)變換時，張量的分量按照某種相關(guān)的規(guī)律變化，才能稱之為張量。另外，張量的指標(biāo)i、j、k等，有的在上，有的在下，這只是一種約定俗成，分別指“逆變”和“協(xié)變”。例如某矢量，如果它的分量按照和坐標(biāo)基矢ei相同的變換規(guī)律“協(xié)調(diào)一致”地變換，這樣的矢量叫做協(xié)變矢量，指標(biāo)寫在下面，記為Vi。如果某矢量的分量按照和坐標(biāo)基矢ei變換的“轉(zhuǎn)置逆矩陣”的規(guī)律而變換，這樣的矢量叫做逆變矢量，指標(biāo)寫在上，記為Vi。其它階張量指標(biāo)按類似約定來分成“協(xié)變”或“逆變”，從而決定該指標(biāo)寫在“下”或“上”。
圖11：任意坐標(biāo)下的協(xié)變矢量和逆變矢量
圖11給出了協(xié)變矢量和逆變矢量的直觀幾何意義。同一個矢量V，可以用對坐標(biāo)平行投影的方法表示成逆變矢量，也可以用對垂直坐標(biāo)投影的方法表示成協(xié)變矢量。對直角坐標(biāo)系而言，兩種坐標(biāo)系是一樣的，所以沒有“協(xié)變量”、“逆變量”的區(qū)別。
張量的變換規(guī)律決定了張量的一個重要性質(zhì)：如果在某個坐標(biāo)系中，一個張量是0，那么，這個張量在其它坐標(biāo)系中也是0。也就是說，張量是獨(dú)立于坐標(biāo)而存在的。這一點(diǎn)對于物理定律的描述很重要，因?yàn)槲锢矶梢彩遣灰蕾囉谧鴺?biāo)的，坐標(biāo)只是為了計(jì)算的需要而被引入，而物理定律往往用一個方程式（右邊等于0）表示。張量0可以不依賴于參照系選擇，與矢量的原始定義是相恰的。矢量同時具有大小和方向，它并沒有什么坐標(biāo)牽扯進(jìn)來。在一定的坐標(biāo)系，V可以表示成坐標(biāo)基矢ei（或者ei）的線性組合：
V = Viei = Viei
這個表達(dá)式已約定俗成，叫做愛因斯坦約定。它表示，如果指標(biāo)i在式子中出現(xiàn)兩次（一上一下），即指對指標(biāo)的所有可能取值求和。矢量（張量）的協(xié)變分量和逆變分量可以通過度規(guī)張量gij互相轉(zhuǎn)換：
Vi = gijVj
假設(shè)V = Viei = Viei描述的是歐氏空間的一個矢量場V，使用笛卡爾直角坐標(biāo)系，基矢ei是整個空間不變的，對V的導(dǎo)數(shù)只需要對Vi求導(dǎo)就可以了。但是，對一般的流形（平坦空間的曲線坐標(biāo)或者不平坦的任意度規(guī)），坐標(biāo)架和基矢ei都逐點(diǎn)變化，對V的導(dǎo)數(shù)還必須考慮ei的導(dǎo)數(shù)。一般來說，ei的導(dǎo)數(shù)仍然是ei的線性組合，將其系數(shù)記為Gmab，叫做克里斯托費(fèi)爾符號。
度規(guī)張量gij實(shí)際上是坐標(biāo)基矢ei的內(nèi)積：gij = ei·ej。因此，由坐標(biāo)基矢之導(dǎo)數(shù)定義的克里斯托費(fèi)爾符號與度規(guī)張量以及度規(guī)張量的導(dǎo)數(shù)有關(guān)。
7.二維曲面上的平行移動和曲率
根據(jù)“無限小”平行移動公式，矢量的平行移動是將矢量的坐標(biāo)分量作相應(yīng)改變。這可由幾個簡單例子作直觀理解。
圖12：平行移動舉例
如圖12a，將錐面從頂點(diǎn)剪開后重新展開成一個平面圖形。這個平面圖形與歐氏平面的區(qū)別在A和B是錐面上的同一點(diǎn)，因此，直線OA和OB被理解為是同一條線。圖15a中右方的閉合曲線C1沒有包含頂點(diǎn)O，曲線C1所在的區(qū)域和歐氏平面沒有任何區(qū)別。當(dāng)一個矢量平行于自身沿C1經(jīng)過點(diǎn)（1-2-3-4-5-1）逆時針繞行一周后，和原來在平面上繞行一周一樣，方向不會改變。但是，如果矢量是沿著左邊的曲線C2平行移動，由于C2包括了頂點(diǎn)O，矢量在繞行過程中必然要碰到直線OA。假設(shè)矢量從B點(diǎn)出發(fā)時的方向垂直于OB，由于A、B、1三個點(diǎn)其實(shí)是同一個點(diǎn)，所以出發(fā)時的矢量方向也是垂直于OA的。當(dāng)矢量經(jīng)過點(diǎn)2、3、4到達(dá)5時，應(yīng)該保持和原來相同的方向。客觀上點(diǎn)5就在直線OA上，但在OA和OB之間剪去了一個角，平行移動到點(diǎn)5時，矢量并不垂直于OA，而OA和OB又是同一條線，所以最后的矢量與OB也不垂直。這種產(chǎn)生矢量變化的原因在于平面被剪去一角后成為錐面，使得繞行C2一周在平面上并沒有繞過360度，而是少走了一個角度，導(dǎo)致矢量平行移動后產(chǎn)生了“角度虧損”。
因此，任何矢量在錐面上作平行移動的規(guī)律很簡單：如果繞行的回路中沒有頂點(diǎn)，矢量方向不變；如果回路包括了頂點(diǎn)，則將產(chǎn)生一個固定的角度虧損，這個角度差別取決于錐形的形狀。
矢量平行移動一周之后產(chǎn)生的角度虧損與繞行曲線所包圍的區(qū)域的彎曲性質(zhì)有關(guān)，如果那塊區(qū)域是完全平坦的，則沒有角度虧損。換言之，角度虧損是被包圍的區(qū)域中的“不平坦”產(chǎn)生的。對于錐面的情況，不平坦的來源是頂點(diǎn)。a的圓Ca
地球是一個球面，我們更感興趣在球面上的平行移動。在圖12b中，賦予球面經(jīng)緯坐標(biāo)，考慮緯度為a的圓Ca，球面上的矢量沿圓Ca的平行移動可簡化為錐面上的平行移動，這好比給球面帶上一頂剛好與Ca相切的錐形帽子。因此，球面上沿Ca平行移動的角度虧損等于沿錐面平行移動的角度虧損。這個角度差與錐形“帽子被剪去”有關(guān)，它與緯度a的關(guān)系是：矢量順時針平行移動后，其方向以順時針方向旋轉(zhuǎn)了2πsina，相應(yīng)的角度虧損為2π(1-sina）。如果緯度a變大，圓周Ca向上方移動且變小，錐形帽子剪去的角度也就更小，錐形變得更平坦，因而使得平行移動后的角度虧損也更小。
物理上，球面平行移動的計(jì)算可以用來解釋傅科擺現(xiàn)象（圖12c）。傅科擺是證明地球自轉(zhuǎn)的一種簡單設(shè)備，根據(jù)法國物理學(xué)家萊昂·傅科而命名?？紤]懸掛在位于緯度為a處的單擺，因?yàn)榈厍蚶@著南極北極的軸自轉(zhuǎn)，單擺上方的固定點(diǎn)將和地球一起轉(zhuǎn)動，而擺平面的方向卻是相對自由的。如果用一個矢量V來表示擺平面的方向，在以太陽為參考系的觀測者看起來，當(dāng)?shù)厍蜃赞D(zhuǎn)一周時，矢量V沿著緯度為a處的緯圈平行移動了一圈。根據(jù)剛才對球面上平行移動的分析可知，矢量V平行移動一圈之后，將和原來的方向相差一個角度（2πsina這正是被傅科擺實(shí)驗(yàn)證實(shí)了的擺平面旋轉(zhuǎn)的角度）。
由以上分析知道，矢量沿a緯圈平行移動一圈的角度虧損為2π(1-sina），這個角度虧損來源于所包圍區(qū)域的“不平坦”性的總和。如果繞行的圓圈越小，角度虧損也越小。在北極（或南極）附近，緯度a靠近90°的地方，圓圈的面積接近0，角度虧損也接近0。因?yàn)榍蛎娴膶ΨQ性，它處處的“不平坦”程度都是一樣的，所以在球面上將任何矢量平行移動一圈回到出發(fā)點(diǎn)后的角度虧損很容易計(jì)算：角度虧損q正比于閉曲線所包圍的區(qū)域面積A。
對于一般的2維曲面，上述“角度虧損q正比于區(qū)域面積A”的結(jié)論在大范圍內(nèi)不能成立，但在2維曲面某個給定的P點(diǎn)附近，當(dāng)繞行的回路趨近于無限小的時候仍然成立。也就是說：無限小的角度虧損dq將正比于無限小的區(qū)域面積dA。
高斯曲率是根據(jù)高斯映射來定義的，高斯映射也涉及到平行移動，只是說法不太一樣。有了黎曼流形上矢量平行移動的概念，就可以用平行移動來重新定義二維曲面上的內(nèi)蘊(yùn)曲率R。
矢量繞曲面上P點(diǎn)附近無限小的一塊區(qū)域平行移動后，產(chǎn)生的角度虧損dq將正比于區(qū)域的面積dA，即
dq = RdA
這里的比例系數(shù)R，被定義為2維曲面在P點(diǎn)的曲率。對半徑為r的球面：2π(1-cos(da)）= Rπ(dr)2,其中dr = r×da，于是可以解出球面的曲率R=1/r2。對剪去一個有限角度d而形成的錐面，只要繞過的區(qū)域包含了頂點(diǎn)，角度虧損便都固定等于d，無論面積dA取得多小。因此，錐面上頂點(diǎn)處的曲率等于無窮大，其余點(diǎn)的曲率為0。
按照定義，曲率R可正可負(fù)。如果矢量沿著閉合曲線逆時針方向平行移動一周后得到逆時針方向的角度變化，或者順時針方向平行移動后得到順時針方向的角度變化，得到的曲率為正，否則為負(fù)。馬鞍面是曲率為負(fù)值的二維曲面例子。
8.測地線和曲率張量
平行移動的概念不僅可以被用來定義曲面的曲率，也可以被用來定義測地線。
測地線是歐氏幾何中“直線”概念在黎曼幾何中的推廣。按歐氏幾何，直線是兩點(diǎn)之間最短的連線，這可用“切矢量方向不變”來定義。將后一種說法稍加改動，便可直接推廣到黎曼幾何中：“如果一條曲線的切矢量關(guān)于曲線自己是平行移動的，則該曲線為測地線。”
圖13：在緯度a的圓上以及在赤道上切矢量的平行移動有所不同
切矢量的平行移動與矢量的平行移動類同。一般來說，沿著球面上緯度為a的圓的平行移動等效于在一個錐面“帽子”上的平行移動。然而，當(dāng)a=0時（對應(yīng)于赤道），錐面變成了柱面，因而可以將錐面或柱面（赤道）展開成平面來研究球面上的平行移動。圖13的中圖和右圖分別是錐面和柱面展開的平面上平行移動的示意圖?？梢钥闯?，切矢量的平行移動對a=0（赤道）和a>0（非赤道）兩種情形有所不同。對于小于赤道的圓，從錐面展開的平面圖可知，點(diǎn)1的切矢量平行移動到2、3、4等各點(diǎn)后不一定再是切矢量；而赤道在柱面展開的平面圖中是一條直線，點(diǎn)1的切矢量平行移動到各點(diǎn)后仍然是切矢量。在赤道上（大圓）的切矢量平行移動后仍然是切矢量，這符合測地線的定義，因此所有大圓都是球面上的測地線。
測地線是否一定是短程線，在歐氏空間是肯定的，在一般的黎曼空間不一定如此。比如球面上，連接兩點(diǎn)的測地線至少有兩條（大圓的兩段），那條小于180°的圓弧是短程線，而另一條就不是短程線了。從局部考慮，對于充分接近的兩個點(diǎn)，測地線是最短曲線。
二維曲面上一點(diǎn)P的曲率R，被定義為“任意矢量沿曲面上無限小的閉曲線平行移動后的角度虧損對閉曲線所包圍之面積的導(dǎo)數(shù)”，即標(biāo)量曲率R=dq/dA。這包含了如下幾點(diǎn)涵義：曲率R是局部的，隨點(diǎn)P位置的變化而變化；曲率R的定義依賴于一個2維曲面；曲率R的定義與某個角度虧損有關(guān)。這個虧損了的角度，就是矢量的方向平行移動后相對于原來的方向繞某一個軸轉(zhuǎn)動的角度。
如果在2維曲面上的每個點(diǎn)能定義一個曲率R，我們就說定義了2維曲面上的一個標(biāo)量曲率場?？紤]一般的n維黎曼流形，需要將上述的曲率概念加以推廣。但是，如果按照2維曲率定義的方法，當(dāng)n大于2時，不只是一個曲率值，而是可以定義多個曲率數(shù)值。其原因在于，過高維空間中一點(diǎn)的二維面不止一個，考慮角度虧損也不只有一個角度虧損值。相對于每一個可能存在的轉(zhuǎn)軸，都將有一個所謂角度虧損值。如此一來，n維流形上每一個點(diǎn)的曲率需要不止一個數(shù)值來描述。為了解決這個困難，在每個點(diǎn)的切空間中定義一個曲率張量，即賦予黎曼流形上一個曲率張量場。
那么，這個曲率張量的階數(shù)是多少，或者說，這個曲率張量需要幾個指標(biāo)才能表征n維黎曼流形在一個給定點(diǎn)的內(nèi)蘊(yùn)彎曲度，我們可以用如下的方法將2維空間標(biāo)量曲率概念推廣到n維以上的流形。
圖14：黎曼曲率張量和平行移動
首先，考慮n維流形中的矢量V在P點(diǎn)附近的平行移動方式，是可以沿著過P點(diǎn)的任何一個2維子流形的回路平行移動。在圖14中，V是在由坐標(biāo)xm和dxn表示的曲面上沿著dxm、dxn、-dxm、-dxn圍成的四邊形回路平行移動。當(dāng)V繞回路一圈返回原點(diǎn)時將和原來矢量不一樣，得到了一個改變量dV。類比于標(biāo)量曲率R的定義，矢量的這個增量應(yīng)該正比于平行移動的路徑所圍成的面積（面積是dxmdxn）。此外，增矢量dV與原矢量V有關(guān)，考慮dV和V方向上的差異，增量dV的逆變分量dVa可以寫成如下形式：
dVa = dxm dxn VgRn amg，
這里將平行移動一周之后的微小變化用符號d表示，以區(qū)別于坐標(biāo)的線性微分增量dxm 或dxn。式中的比例系數(shù)Rn amg便是黎曼曲率張量。所涉及的四個指標(biāo)，其中m和n對應(yīng)于平行移動路徑所在的2維曲面，另外兩個指標(biāo)a和g分別表示矢量增量dV及原來矢量V的逆變指標(biāo)。公式右邊的重復(fù)指標(biāo)m、n和g是求和的意思，遵循“愛因斯坦約定”。
黎曼曲率張量是個四階張量，對n維空間，四個指標(biāo)都可以從1變化到n，因而分量數(shù)目很多。利用對稱性的性質(zhì)，獨(dú)立分量的數(shù)目大大減少，只有n2(n2-1)/12個。當(dāng)n=4時有20個獨(dú)立分量；當(dāng)n=2時，曲率只有一個獨(dú)立分量，即2維曲面的高斯曲率。
在黎曼幾何中有多種方式理解和定義內(nèi)在曲率。本來是同一個東西，從不同角度看可以加深理解。用平行移動概念來定義的四階黎曼曲率張量Rn amg是定義曲率最標(biāo)準(zhǔn)的形式；“截面曲率”被定義為n維流形過給定點(diǎn)的所有2維截面高斯曲率的總和，截面曲率等效于黎曼曲率張量，與截面曲率有關(guān)的20個獨(dú)立分量同樣也是內(nèi)蘊(yùn)曲率的完整描述。
愛因斯坦的引力場方程用的是另外兩個稱之為里奇曲率的幾何量：里奇曲率張量Rμν和里奇曲率標(biāo)量R。這兩個曲率是通過上述黎曼曲率張量的指標(biāo)縮并而得到的?？s并就是將矩陣只用一個數(shù)（它的trace）來表示，縮并后，原來的n2個矩陣就變成了n2個數(shù)值，這就是所謂的里奇曲率張量。將里奇曲率張量的兩個指標(biāo)進(jìn)一步縮，可化為一個標(biāo)量R = gμνRμν。在2維曲面情形下，R正好是高斯曲率的2倍。
高斯和黎曼的微分幾何，強(qiáng)化的是流形的“內(nèi)蘊(yùn)”性質(zhì)。遺憾的是我們無法用直觀的圖像來表達(dá)更為高維空間的這種內(nèi)蘊(yùn)性，唯一能加深和驗(yàn)證理解的直觀工具就是想象嵌入在三維歐氏空間中的各種二維曲面。因此務(wù)必記住，在研究這些曲面的幾何性質(zhì)時，盡量不把它們當(dāng)作三維歐氏空間中的子空間，而是把自己想象成生活在曲面上、只能看見這個曲面上發(fā)生的事件，當(dāng)我們基于這個曲面進(jìn)行測量或考慮問題時，涉及的幾何量才是內(nèi)蘊(yùn)幾何量。而要保持內(nèi)蘊(yùn)的思考，那就是：一切都得從度規(guī)張量出發(fā)。
理解黎曼幾何和廣義相對論的另一個重要原則是，物理規(guī)律與坐標(biāo)系無關(guān)。盡管任何有用處的實(shí)際計(jì)算都是在某個坐標(biāo)系進(jìn)行的，但計(jì)算結(jié)果表達(dá)的物理定律卻是獨(dú)立于坐標(biāo)而存在。這也是要將描述物理規(guī)律的方程式寫成“張量”形式的原因，因?yàn)閺埩康淖鴺?biāo)分量在坐標(biāo)變換下是作線性齊次變換。線性表明張量屬于切空間，齊次表明張量與坐標(biāo)系選擇無關(guān)。如果一個張量在某個坐標(biāo)系下所有分量都是零，經(jīng)過線性齊次變換后，它在任何坐標(biāo)系中都將是零。
9.等效原理
狹義相對論是基于相對性原理和光速不變原理而建立的，它通過洛倫茨變換將麥克斯韋的電磁理論編織進(jìn)新的時空理論之中。按照狹義相對論，時間和空間不再是獨(dú)立而絕對的，而是由閔可夫斯基的四維時空將它們聯(lián)系在一起。在這個理論框架內(nèi)，所有相對作勻速運(yùn)動的慣性參考系都是平權(quán)的，物理定律在任何慣性參考系中都具有相同的形式。但是，除了慣性參考系，還有非慣性參考系，一個在加速參考系中的物理規(guī)律是否適合慣性參考系？
從最基本的原理、最簡單的情形出發(fā)來思考問題，從來就是愛因斯坦的特點(diǎn)。意大利的比薩斜塔，伽利略在這里做過“自由落體”實(shí)驗(yàn)，證明了地表引力場中一切自由落體都具有同樣的加速度。后來有人質(zhì)疑伽利略的斜塔實(shí)驗(yàn)，但這并不重要。關(guān)鍵是斜塔實(shí)驗(yàn)所證明的物理規(guī)律是公認(rèn)的，之后的多次類似實(shí)驗(yàn)也是相符合的。1971年，阿波羅15號宇航員大衛(wèi)·斯科特在月球上將一把錘子和一根羽毛同時扔出，兩樣?xùn)|西也是同時落“地”。愛因斯坦認(rèn)識到這條定律的重要性，因?yàn)樗紫瓤梢员槐硎鰹椤皯T性質(zhì)量等于引力質(zhì)量”，進(jìn)一步的推論可以得到加速度與引力間的等效原理。
何謂慣性質(zhì)量，何謂引力質(zhì)量？簡言之，牛頓第二定律F=ma中的m是慣性質(zhì)量，它表征物體的慣性（抵抗速度變化的能力），而引力質(zhì)量則是決定作用在物體上引力（如重力）大小的一個參數(shù)。在自由落體實(shí)驗(yàn)中，與引力質(zhì)量成正比的地球引力，克服慣性質(zhì)量而引起了物體的加速度，這個加速度應(yīng)該正比于兩個質(zhì)量的比值。正如實(shí)驗(yàn)所證實(shí)的，下落加速度對所有物體都一樣，兩個質(zhì)量的比值也對所有物體都一樣。既然對所有物體都相同，兩者的比例系數(shù)便可以選為1，說明這兩個質(zhì)量實(shí)際上是同一個東西。這個看起來平淡無奇的結(jié)論卻激發(fā)了愛因斯塔的好奇心，他認(rèn)為其中也許深藏著慣性和引力之間的奧秘。
圖15：等效原理
愛因斯坦設(shè)計(jì)了一個思想實(shí)驗(yàn)來探索這個奧秘。實(shí)驗(yàn)的基本思想是（圖15）：設(shè)想在沒有重力的宇宙空間中，一個飛船以勻加速度g =9.8m/s2上升，這個上升加速度與地面上的重力加速度相等。關(guān)在飛船中看不到外面的觀察者，將會感到一個向下的力。這種效應(yīng)與我們坐汽車上的感覺一樣，汽車向前加速，乘客會感覺一個相反方向（向后）的作用力，反之亦然。因此，圖15的左a和右b中的人無法區(qū)分是在以勻加速度上升的飛船中，還是在地面的引力場中。換言之，加速度和引力場是等效的。
假如考慮有光線從水平方向射進(jìn)飛船，由于飛船加速向上運(yùn)動，光線在到達(dá)飛船另一側(cè)時應(yīng)該射在更低一些的位置。因此，飛船中的觀察者看到的光線是一條向下彎曲的拋物線。而圖b與圖a是等效的，當(dāng)光線通過引力場的時候，也應(yīng)該和飛船中的光線一樣呈向下彎曲的拋物線形狀。也就是說，光線將由于引力的作用而彎曲。
光線在引力場中彎曲的現(xiàn)象可以從另一個角度來理解。可以認(rèn)為不是光線彎曲了，而是引力場使得它周圍的空間彎曲了。或者用相對論的術(shù)語表達(dá)，是“時空彎曲”了。光線是按照最短的路徑傳播，只不過在彎曲的時空里的最短路徑已經(jīng)不是原來的直線而已。
由引力與加速度等效，還可以推出另一個驚人的結(jié)論：引力可以通過選擇一個適當(dāng)?shù)募铀賲⒖枷祦硐１热缯f，一臺突然斷了纜繩的電梯，立即成為一個自由落體，以9.8m/s2的重力加速度下降，電梯中的人將會產(chǎn)生“失重感”。而且，不僅僅是有失重感覺，還會看到別的物體好像沒有重量似的。也就是說，電梯下落的加速度抵消了地球的引力。愛因斯坦從中看出了暗藏的引力奧秘：引力與其它的力（比如電力）大不一樣，因?yàn)槲覀儾豢赡苡弥T如加速度這樣的東西來抵消電磁力。為什么可以消除引力，也許引力根本可以不被當(dāng)成一種力，而可能是彎曲時空本來就有的某種性質(zhì)。這種將引力作為時空某種性質(zhì)的奇思妙想，將愛因斯坦引向了廣義相對論。
開始，愛因斯坦只是企圖按照上面的思路將引力包括到狹義相對論的范疇，但他很快就意識到有大障礙。一個均勻的引力場的確可以等效于一個勻加速度參考系，而宇宙中并不存在真正均勻的引力場。按照萬有引力定律，引力與距離成平方反比率，地球施加在我們頭頂?shù)牧σ仁┘釉陔p腳的力小一些，并且，引力的方向總是指向引力源的中心（即作用在物體右側(cè)和左側(cè)的引力方向不是絕對平行），地球表面“重力處處一樣”只是一個近似。然而，要建立宇宙中引力的物理數(shù)學(xué)模型，就必須考慮這點(diǎn)了，因?yàn)樵诖蟪叨壬希@種差異能產(chǎn)生明顯的可見效應(yīng)。例如，地球表面海洋的潮汐現(xiàn)象，就是因?yàn)樵铝翆Φ厍虻囊Σ皇且粋€均勻引力場而形成的（圖19a）。
圖16：潮汐力、地球的引力
盡管愛因斯坦的思想實(shí)驗(yàn)描述了如何用一個勻加速參考系來抵消一個均勻的引力場，但實(shí)際上的引力場卻是非均勻的，不可能使用任何參考系的變換來消除。圖16b顯示的是地球引力場，在四個方向需要用四個不同的勻加速參考系來作局部等效的近似描述。
這個問題困擾了愛因斯坦好幾年，直到后來得到數(shù)學(xué)家格羅斯曼的幫助為止。根據(jù)格羅斯曼的介紹，愛因斯坦才驚奇地發(fā)現(xiàn)，早在半個世紀(jì)之前，黎曼等人就已經(jīng)創(chuàng)造出了他所需要的數(shù)學(xué)工具。有了黎曼幾何，愛因斯坦才順利地開啟了廣義相對論的大門。
10.雙生子佯謬
描述任何事件，除了要由3個值決定位置（地點(diǎn)），還有一個事件發(fā)生的時間問題。如果把時間當(dāng)作另外一個維度，我們的世界便是4維的了，稱之為4維時空。但時間和空間的物理意義終有區(qū)別，無法簡單的完全一視同仁。
天才數(shù)學(xué)家龐加萊將四維時空中的時間維和空間維分別用實(shí)數(shù)和虛數(shù)來表示，3個實(shí)數(shù)坐標(biāo)代表空間，1個虛數(shù)坐標(biāo)描述時間，或者反過來使用也可以，只不過是一種約定。習(xí)慣上經(jīng)常使用的是后者。閔可夫斯基發(fā)展了龐加萊想法，他用仿射空間來定義4維時空，可以在形式上用對稱統(tǒng)一的方式處理時間和空間。這樣一來，如同3維歐氏空間中的坐標(biāo)旋轉(zhuǎn)，洛倫茨變換成為4維時空中的一個雙曲旋轉(zhuǎn)。歐氏空間中的兩個相鄰點(diǎn)的間隔是一個正定二次式：
ds2 = dx2+dy2+dz2，
這不適用于閔可夫斯基時空，因?yàn)闀r空中的坐標(biāo)除了實(shí)數(shù)之外，還有了虛數(shù)。因此，在閔可夫斯基時空中兩個相鄰點(diǎn)間隔的平方變成了：
dt2 = dt2-dx2-dy2-dz2，
這兒的dt被稱為固有時。不同于歐幾里德度規(guī)，閔可夫斯基時空的度規(guī)是“非正定”的。時間和空間的概念不同，空間是各向同性伸展的，空間位置可以隨意移動，朝一個方向前進(jìn)之后可以反向再回來。但是時間不同，它是單向性的，只能向前，不會倒流，否則便會破環(huán)因果律。也正是因?yàn)槿绱?，狹義相對論引出了許多“佯謬”，其中“雙生子佯謬”是最著名的一個，最早由朗之萬在1911年提出。
假設(shè)一對剛出生雙胞胎A和B（即哥哥劉天/弟弟劉地），A坐宇宙飛船去太空旅行，航速假定為光速的3/4；B則留在家里（地球上）過日子（圖17）。按照相對論，飛船上與地球上的時間差異效應(yīng)很明顯。所謂“時鐘變慢”，是一種物理效應(yīng)，不僅僅是時鐘，而是所有與時間有關(guān)的過程，諸如植物生長、細(xì)胞分裂、原子震蕩，以及人的心跳、物體運(yùn)動等所有過程都放慢了進(jìn)程。現(xiàn)在是B在家里過了60年之后，A從太空返回了地球。根據(jù)“運(yùn)動中的時間變短”，A只旅行了40個年頭，仍然風(fēng)華正茂，當(dāng)他看到弟弟B，已是老態(tài)初現(xiàn)。人們要問，到底會不會是這種現(xiàn)象？這就是雙生子佯謬問題。
圖17：雙生子佯謬和同時性
首先需要明確，狹義相對論并不認(rèn)為所有的參考系都等同，只是認(rèn)為慣性參考系才是等同的。A飛離地球和返回地球是兩個階段，每一段的過程相對地球都是勻速運(yùn)動，都能夠分別當(dāng)作是慣性參考系。但就整個過程看，卻不能共同作為一個統(tǒng)一的慣性參考系，即A出發(fā)與返回的整個過程并不是在一個慣性參考系。在圖17b中，畫出了一個時間軸t加一個空間軸x，（t，x）是地球參考系的坐標(biāo)，兄弟A、B的時空過程分別用他們的“世界線”來表示。世界線是指事件在時空中所走的路徑。B的世界線是沿著t軸，而A的世界線是一條折線。
考慮太空船掉頭返回的加速或減速過程是必不可少的，關(guān)鍵是要把“固有時”概念搞清楚。
圖18：固有時和坐標(biāo)時的區(qū)別以及與弧長的類比
固有時或稱原時。設(shè)想如圖18a的旅行者（太空人）自己記錄距離和時間，他的記錄就是固有時（圖18c）。從圖18b可以看出固有時和坐標(biāo)時的區(qū)別，坐標(biāo)時是事件之外的觀察者使用某個參考系而記錄的事件發(fā)生的時間，固有時是旅行者自己的時鐘記錄的時間。
固有時與弧長不同，普通空間的弧長一般比坐標(biāo)數(shù)值大，但固有時卻比坐標(biāo)時小。換言之，固有時用以描述時空中兩個事件之間流過的時間，這個時間被賦予事件自身的時鐘所測量。因而，測量結(jié)果不僅取決于兩個事件對應(yīng)的時空點(diǎn)位置，而且也取決于時鐘參與其中的具體過程。更簡節(jié)地說，固有時是時鐘的世界線長度。
如何計(jì)算雙胞胎在重逢時各自度過的真實(shí)年齡，結(jié)論是：計(jì)算和比較他們在兩次相遇之間的固有時。因?yàn)楣逃袝rt是內(nèi)蘊(yùn)不變的，這個計(jì)算可以在任何一個參考系中進(jìn)行，都將得到同樣的結(jié)果。
11.四維時空
在科學(xué)史上，相對論引發(fā)諸多“佯謬”是絕無僅有的。除了雙生子佯謬，還有滑梯佯謬、貝爾飛船佯謬、轉(zhuǎn)盤佯謬等，以及它們的許多變種。這些佯謬的產(chǎn)生，都是出于對同時性、時鐘變慢、長度收縮、相對性原理、不同參考系觀察者、統(tǒng)一時空等概念的思考和質(zhì)疑。時間和空間到底是什么？公元四世紀(jì)哲學(xué)家圣·奧古斯丁對“時間”有一句名言：“無人問時我知曉，欲求答案卻茫然”。相對論是否部分地回答了這個問題，盡管眾口難調(diào)，見仁見智，但相對論起碼為我們提供了一種科學(xué)的思路和方法，使我們能從物理理論上較為詳細(xì)地詮釋這些概念，何況還有上百年來大量實(shí)驗(yàn)結(jié)果及天文觀測數(shù)據(jù)的驗(yàn)證和支持。修正尚可，否定不易，起碼不是詆毀謾罵之輩能做到的。
提出一種佯謬，往往總是涉及到加速度參考系，但分析和理解佯謬并不一定需要廣義相對論，許多相關(guān)問題也并非一定要使用彎曲時空理論來解釋，正如黎曼流形的每一個局部都還是一個歐氏空間。廣義相對論的彎曲時空，它在每一個局部仍然是一個閔可夫斯基空間。
閔可夫斯基4維時空的性質(zhì)對廣義相對論至關(guān)重要，是理解彎曲時空、分析黑洞等奇異現(xiàn)象的基礎(chǔ)。它是歐氏空間的推廣，仍然是平坦的。閔氏空間與歐式空間的區(qū)別在于度規(guī)張量的正定性，在黎曼流形上局部歐氏空間定義的度規(guī)張量場gij是對稱正定的。如果將時間維加進(jìn)去，度規(guī)張量便不能滿足“正定”的條件了。將非正定的度規(guī)張量場包括在內(nèi)，黎曼流形的概念擴(kuò)展為“偽黎曼流形”。幸運(yùn)的是，奇維塔聯(lián)絡(luò)及相關(guān)的平行移動、測地線、曲率張量等概念，都可以相應(yīng)地推廣到偽黎曼流形的情形。
度規(guī)張量是一個二階張量，可以被理解為方形“矩陣”。矩陣也是“對稱正定”的，行和列對換后仍然是原來矩陣的那種矩陣。度規(guī)張量的對稱性，是由它的定義決定的：
ds2 = gijdxidxj.
任何矩陣都可以分解成一個對稱矩陣和一個反對稱矩陣之和。根據(jù)度規(guī)的定義可知，gij的反對稱部分對ds2的貢獻(xiàn)為0。所以，度規(guī)張量可以被認(rèn)為是一個對稱矩陣，矩陣“正定”可以理解為這個矩陣的所有特征值都是“正”的。歐氏空間度規(guī)的正定性意味著實(shí)際空間中距離（弧長）的平方是一個正實(shí)數(shù)ds2 = dx2+dy2+dz2。因而，歐氏空間的度規(guī)是一個對稱正定的d函數(shù)。
閔可夫斯基時空的度規(guī)是對稱的，但數(shù)學(xué)形式不是正定的：dt2 = dt2-dx2-dy2-dz2，其度規(guī)記為h函數(shù)。式中的t是時間，x、y、z是3個空間維坐標(biāo)，而dt取代了弧長ds，被稱為固有時。由于時間間隔和空間距離的量綱不一樣，這里約定將光速定義成1。也就是說，四維時空的度規(guī)本來應(yīng)該表示成：c2dt2 = c2dt2-dx2-dy2-dz2，當(dāng)約定了c=1，公式變得簡明（務(wù)必記住這點(diǎn)）。
歐氏空間度規(guī)函數(shù)d和閔氏空間度規(guī)函數(shù)h寫成矩陣形式：
在公式（2-13-2）中，第一維的本征值1對應(yīng)于時間，其它本征值為-1的3個維度對應(yīng)于3維空間。時間和空間統(tǒng)一在4維時空中，是為了數(shù)學(xué)上的方便。狹義相對論揭示了時間空間的相對性及它們之間通過洛倫茨變換的互相關(guān)聯(lián)，但時間和空間畢竟是不同的物理概念，時間用時鐘度量，空間用尺子度量，它們在4維時空中分別對應(yīng)實(shí)數(shù)和虛數(shù)，用以反映“時鐘”和“尺子”不能互變的物理事實(shí)。
圖19a的4維時空圖實(shí)際上只畫了3維，包括1個豎直方向的時間維和2個水平空間維。時間軸往上的方向表示未來，向下代表過去。圖中的圓錐稱為光錐。以時空中的一點(diǎn)為錐頂?shù)墓忮F將這個點(diǎn)附近的時空分成類時、類光、類空三個部分。
四維時空中的一個點(diǎn)，有時間有位置，按照通常ij理解把它叫做一個“事件”。例如，圖19b中的A點(diǎn)，表示粒子初始時刻t1的空間坐標(biāo)為(x1,y1)這個“事件”，在時刻t2，粒子運(yùn)動到了空間位置(x2,y2)，即粒子最后在時空中的位置，這個“事件”用點(diǎn)B(t2,x2,y2)來表示。從A到B的曲線，叫做粒子的“世界線”，它用以描述一個點(diǎn)粒子在時空中的運(yùn)動軌跡。如果考慮的對象不是一個點(diǎn)，比如說，一條線蟲，它在時空中的軌跡就成為了“事件面”，而要描述像阿扁那樣的2維生物隨時間長大的過程，就是個“世界體”了（圖19b）。
圖19：四維時空和世界線
解讀雙生子佯謬中的兄弟兩次相遇，是當(dāng)作2維時空中的兩個事件點(diǎn)，分別計(jì)算兩條世界線的“固有時”再加以比較而得到答案。2維閔氏時空中兩個任意事件之間直線路徑的距離表示為：t2=t2-x2。這個表達(dá)式右邊的數(shù)值可取正、零、負(fù)，分別定義為兩個事件之間的相對關(guān)系是類時、類光或類空。如果兩事件的關(guān)系是類時（t2﹥0），t代表固有時。類時關(guān)系說明兩個事件之間有因果先后的關(guān)聯(lián)。如果兩個事件的關(guān)系是類光（ t2=0），說明它們位于不同的光錐上，只有速度最快的光才能將它們聯(lián)系起來。在類空（t2﹤0）情形下，兩個事件之間的間隔無法叫“固有時”，因?yàn)樗谋举|(zhì)已經(jīng)不是時間，而更像空間。但它可以被另一個物理量即“固有距離”s來表征：s2=x2-t2?！邦惪铡闭f明兩個事件之間不可能具有因果關(guān)系，除非存在超光速的信號，才能將它們互相聯(lián)系起來。兩個類空事件點(diǎn)之間不可能有真實(shí)粒子的“世界線”，真實(shí)粒子世界線的位置一定在光錐以內(nèi)，是類時的。類空的兩個事件互相位于對方的光錐之外。
圖20：二維閔可夫斯基時空中事件之間的關(guān)系
12.勻加速參考系上的觀察者
假設(shè)有3個人A、B、C，相對于地球靜止參考系，B和A分別乘坐勻速運(yùn)動和勻加速運(yùn)動的宇宙飛船去太空，而C則一直留在地面。分析這3個人分別體驗(yàn)到的時空世界是怎樣，可假設(shè)C所在的地面附近是一個平坦時空。圖21a是C在他的閔氏2維時空中畫出來的B和A的世界線，他將整個飛船視為一個點(diǎn)。
圖21：勻速運(yùn)動參考系和勻加速運(yùn)動參考系
C在他的坐標(biāo)系中靜止不動，世界線是垂直向上的直線；B的飛船作勻速運(yùn)動，世界線是一條指向斜上方的直線；A的飛船作勻加速運(yùn)動，世界線是一條雙曲線。我們可以觀察到，作勻速運(yùn)動的B在他的全部過程中可以看到整個2維時空中的事件，但作勻加速運(yùn)動A卻不是這樣。“事件”是2維圖中的一個點(diǎn)（某時某處），“可以看到事件”的意思是從這個事件發(fā)出的光，即在2維時空圖上從事件點(diǎn)向上方畫的兩條45°斜線之一，將與該觀測者的世界線相交。勻速運(yùn)動的直線可以和圖21a中任何位置點(diǎn)發(fā)出的光線相交，說明B可以看到整個2維時空。對于A的雙曲世界線，情況就不一樣了。A所能看到的時空事件很有限。比如圖21b中所示的事件S1、S2，發(fā)出的光線（向上的綠色小箭頭）到達(dá)不了A所在的雙曲線，即不會與A的世界線相交。同時，A發(fā)出的光信號也到不了S2、S3處。所以A能夠傳遞信息的空間只有圖中右邊雙曲線所在的非陰影的部分，也就是說，對作勻加速運(yùn)動的A而言，存在一個“事件地平線”，即相對論術(shù)語的所謂“視界”。A的視界呈現(xiàn)在圖21b中，就是那條從左下角到右上方的45°直線，她不能看見這條直線左邊（視界之外）時空發(fā)生的任何事件。
圖21c是2維時空圖的第一象限。假設(shè)這是一個相對于地面靜止的參考系觀測到的平坦時空。將圖a中所描述的情形改變一下，設(shè)想A、B、C三人在t=0時，B和A坐上的都是勻加速運(yùn)動宇宙飛船，C仍然留在地面。在開始的片刻，A和B及飛船的世界線都是圖中所畫的那條雙曲線。在t=0之后，飛船發(fā)出的光信號能夠與地面上C的世界線相交，說明C可以“看”見A和B。然而，對作勻加速運(yùn)動的飛船來說，不能收到C在t﹥0之后發(fā)出的任何信號。因此，飛船中的A和B看見的C只是t=0那一刻的形象，C后來的變化已經(jīng)消失在飛船的“視界”之外。
假設(shè)在圖中B1的那個時空點(diǎn)，B不從飛船上掉到了茫茫宇宙空間中，B繼續(xù)按飛船B1時刻的即時速度V在空中作勻速運(yùn)動。因而B脫離了飛船的世界線，他的世界線變?yōu)橐粭l在B1點(diǎn)與雙曲線相切的直線（圖21c）。問題是：從B1之后，A還能看見B嗎？B和C之間又如何？
從圖21c中可見，B的世界線從B1經(jīng)過B2，將穿過“A的視界”，然后到達(dá)陰影部分中的B3。在沒有穿過視界之前，B發(fā)出的光信號可以被A接收到。不過，從B發(fā)出信號到A接受到信號的時間變得越來越長，越來越長…，當(dāng)B接近“視界”的時候，傳輸?shù)臅r間趨于無窮大。也就是說，A看見的B已經(jīng)凝固在B的世界線與視界相交的那一點(diǎn)，或者說，B已經(jīng)走出了A的視界。
除了光信號傳輸時間變得越來越長之外，A還能觀察到B的光信號產(chǎn)生的多普勒效應(yīng)（紅移）。信號的紅移也是越來越大，頻率越來越低，直到無法接受到為止。
B掉入太空作勻速運(yùn)動，與C之間的光通信沒有什么問題，只是信號到達(dá)對方延遲一段時間而已。并且，他們兩人都感覺不到A的那條“視界”存在。他們兩人而言，周圍的2維時空是均勻的，是各向同性的，處處都是一樣。
由此可見，本來是一個平坦的閔可夫斯基時空，作勻加速運(yùn)動的A卻觀察到一些不一般的現(xiàn)象。在A的世界中存在一個“視界”，視界之外的事件，將在A的眼中消失，這些怪異之事，類似愛因斯坦的廣義相對論所預(yù)言的彎曲空間中的“黑洞”。按照經(jīng)典廣義相對論對黑洞的描述，黑洞周圍也有一個視界，在視界之內(nèi)是一片漆黑，連光也無法逃離，所以誰也看不見它，就像A現(xiàn)在看不見視界外的C和B一樣。對A而言，她的兩個朋友都好像“掉進(jìn)了黑洞”。
霍金專門研究黑洞，最有名的成果是 “霍金輻射”。他說：其實(shí)黑洞并不是絕對的黑，它也有一定的溫度，因而會有熱輻射現(xiàn)象，就像我們坐在爐子旁邊感到溫暖一樣，靠近黑洞時也能感到“溫暖”的輻射。
圖22：安魯效應(yīng)和倫德勒坐標(biāo)
那么，A在視界附近是否也像黑洞附近那樣，有一個溫暖的背景？假定A有粒子探測器，開始時似乎沒有什么動靜，但隨著時間流逝，宇宙飛船越來越接近視界時，探測器有了號信響，并且越接近視界，探測器響的次數(shù)越明顯，這說明它接受到了視界附近的輻射。
對于黑洞，B和C的探測器是沒有任何動靜的，因?yàn)樗麄兯诘膽T性參考系能觀測到的是閔氏空間的量子基態(tài)，即絕對溫度為零的真空態(tài)。但是，閔氏空間的真空態(tài)與加速參考系中的觀察者能看到的真空態(tài)是不一樣的，加速參考系的真空態(tài)能量低于閔氏空間的真空態(tài)能量。對加速參考系中的A來說，閔氏空間的真空態(tài)不是真空，而是一個有一定溫度的比真空態(tài)能量要高的某個熱力學(xué)平衡態(tài)。因此，A才會發(fā)現(xiàn)在“視界”附近時，她處在一個溫暖熱輻射的背景中。這種加速運(yùn)動的觀察者可以觀測到慣性參考系中觀察者無法看到的黑體輻射的現(xiàn)象，叫做“安魯效應(yīng)”，是1976年由哥倫比亞大學(xué)的威廉·盎魯提出的。
如上所述，象A和她的飛船作勻加速運(yùn)動的物體，在2維時空中的世界線是一條兩端無限趨近原點(diǎn)光錐線的雙曲線，光錐線便是參考系中觀察者的“視界”。如果A的勻加速度是a，可以證明，這條雙曲線與x軸的交點(diǎn)位于x=1/a2的位置。不失一般性，可以假設(shè)a=1，那么，雙曲線與x軸的交點(diǎn)就位于x=1。
考慮加速度為a=2，1/2，1/3，1/4，…，等等的參考系，有一群加速度不相同的宇宙飛船，每一個飛船在2維閔氏時空中都能劃出一條雙曲線。這些雙曲線都以同一條原點(diǎn)光錐線為漸近線，加上從原點(diǎn)出發(fā)的輻射狀等時線，在2維時空中形成一組特別的坐標(biāo)系，叫做倫德勒坐標(biāo)系（圖23b）。閔可夫斯基時空是平坦的，平坦時空中可以有曲線坐標(biāo)，正如在2維平面上有直角坐標(biāo)系也有極坐標(biāo)系一樣。倫德勒坐標(biāo)系便是平坦閔氏空間中的曲線坐標(biāo)，由于它是由勻加速觀測者的世界線構(gòu)成的，所以也叫加速度坐標(biāo)系。倫德勒加速度坐標(biāo)系可以用來模擬和理解“黑洞”，也被用來解釋“貝爾的飛船佯謬”（飛船佯謬是質(zhì)疑空間的“尺縮效應(yīng)”）。
圖23：貝爾的飛船佯謬
【有兩艘用繩索連在一起的宇宙飛船，讓它們以相同的加速度同時從靜止開始運(yùn)動。由于兩艘飛船的速度在任何時刻都是一樣，因而兩艘飛船間的空間距離保持不變?？紤]飛船和繩索都以高速運(yùn)動，它們會有“尺縮效應(yīng)”。空間的距離不變而繩索的長度卻縮短了，繩索應(yīng)該斷開，另一種觀點(diǎn)則認(rèn)為繩索不會斷?！?/p>
13.引力場方程
閔可夫斯基是愛因斯坦的老師，為他的狹義相對論奠定了數(shù)學(xué)基礎(chǔ)。格羅斯曼是愛因斯坦的同學(xué)。沒有與兩位同窗好友的緣分，或許就沒有偉人愛因斯坦。愛因斯坦在回憶中稱格羅斯曼為鐵桿朋友，但這個“鐵哥”格羅斯曼完全不同于愛因斯坦。他上課認(rèn)真聽課做筆記，完整的筆記成為愛因斯坦每次考試時的救命稻草，讓他得以敷衍考試，完成學(xué)業(yè)。愛因斯坦用心思考的是他認(rèn)為更重要的事情。在大學(xué)畢業(yè)后，靠格羅斯曼的父親的關(guān)系和推薦，失業(yè)許久的愛因斯坦到瑞士專利局工作，收入不菲、穩(wěn)定輕松，最適合愛因斯坦當(dāng)時那種看起來心不在焉、腦袋里卻天馬行空的“獨(dú)立思考”者。
也許是天意安排，格羅斯曼后來成為黎曼幾何專家。在愛因斯坦為找不到適當(dāng)?shù)臄?shù)學(xué)工具來表述他的天才物理思想而困惑多年之后，又是這個鐵哥們兒向愛因斯坦提起了黎曼幾何，并將里奇、契維塔等數(shù)學(xué)專家介紹給他，使愛因斯坦用黎曼幾何和張量分析這兩個強(qiáng)大的數(shù)學(xué)工具，順利地克服難關(guān)，創(chuàng)立了彎曲時空理論——廣義相對論。
1912年左右，愛因斯坦有了等效原理，有了時空彎曲的想法，有了黎曼幾何和張量微積分，開始著手構(gòu)造引力場方程。與牛頓的引力定律有所不同，愛因斯坦想要建立的是“場”方程。所謂場，意思是說空間中每個點(diǎn)都有相應(yīng)的標(biāo)的物理量，這個物理量一般都逐點(diǎn)不一樣。“場”的概念最先由法拉第提出，麥克斯韋建立了電磁場的方程。此前拉格朗日在研究牛頓理論時，曾引入了引力勢的概念，拉格朗日的學(xué)生泊松推廣了引力場理論，建立了與牛頓萬有引力定律等效的引力場泊松方程：
Dj = 4πGρ
式中的D是拉普拉斯算符。這是引力勢j滿足的對坐標(biāo)的二階微分方程，方程右邊的G和ρ分別是萬有引力常數(shù)和空間的質(zhì)量密度。
當(dāng)初在愛因斯坦看來，洛倫茨變換、統(tǒng)一時空等，都僅僅是使理論完美漂亮的數(shù)學(xué)手段而已。真正使愛因斯坦的引力觀念飛躍上升到時空幾何層次的，是“轉(zhuǎn)盤佯謬”。一個圓盤以高速旋轉(zhuǎn)，設(shè)想圓盤由許多大小的圓圈組成，越到邊緣處圓圈半徑越大，圓圈的線速度越快。由于長度收縮效應(yīng)，這些圓圈的周長會縮小。考慮圓盤的任何部分都沒有徑向運(yùn)動，每個圓圈的直徑將保持不變。周長與直徑的比值是圓周率p。根據(jù)狹義相對論的尺縮效應(yīng)，圓盤高速轉(zhuǎn)動時比值會小于p，就好象圓盤彎成了一個曲面一樣，如圖24a所示。
圖24：轉(zhuǎn)盤佯謬
如果圓盤是一個剛體，就不可能彎曲。于是佯謬有另外一種敘述方法：對同樣一個圓盤邊緣，由于相對論的“尺縮效應(yīng)”，位于圓盤邊緣上觀測者的尺子，要比靜止觀測者的尺子更短，這就出現(xiàn)了運(yùn)動觀測者測量到的圓盤周長大于靜止觀測者所測結(jié)果的現(xiàn)象。而當(dāng)運(yùn)動觀測者測量直徑的時候，尺子不會縮短，所以，運(yùn)動觀測者測量到的周長與直徑的比值，要大于圓周率p。
愛因斯坦由此意識到他最初企圖將引力和加速度系統(tǒng)包括進(jìn)狹義相對論的想法是行不通的，他需要另外一種幾何，來描述被引力（或加速度）彎曲了的時空。由于真實(shí)宇宙中各處的引力是不一樣的，時空的彎曲程度也將處處不一樣。愛因斯坦苦苦思索7、8年之久，終于驚喜地發(fā)現(xiàn)黎曼幾何正好可以將他的狹義相對論與引力場彎曲時空的思想完美地縫合在一起，縫成一個美妙的新理論。
愛因斯坦認(rèn)為黎曼幾何中的“度規(guī)”張量場類似于他想要描述的引力勢，可以建立一個與空間度規(guī)有關(guān)的引力場方程，在“低速弱場”的近似下，這個方程應(yīng)該得到牛頓引力定律的結(jié)果，也就是泊松方程。泊松方程的左邊是引力勢對空間的二階導(dǎo)數(shù)，右邊除了幾個常數(shù)之外，是物質(zhì)密度ρ，在物理上可以解釋為：空間的物質(zhì)分布決定了空間的引力勢，空間的引力勢場是泊松方程的解。
愛因斯坦想要的引力場方程則應(yīng)該解釋為：時空中的物質(zhì)分布決定了時空的度規(guī)。將度規(guī)類比于引力勢，泊松方程左邊的引力勢的二階導(dǎo)數(shù)就應(yīng)該對應(yīng)于度規(guī)的二階導(dǎo)數(shù)。與度規(guī)二階導(dǎo)數(shù)有關(guān)的是曲率張量，作為場方程的左邊就應(yīng)該是曲率張量表征的幾何量。曲率張量有好幾種，愛因斯坦選中了有兩個指標(biāo)的里奇曲率張量。對場方程的右邊，愛因斯坦將質(zhì)量密度ρ的概念擴(kuò)展成一個張量，稱之為能量動量張量。歸納上面的想法，愛因斯坦的引力場方程有如下形式：
方程（2-15-2）右邊的G與泊松方程一樣，是牛頓萬有引力常數(shù)，Tmn是四維時空中的能量動量張量，其物理意義如公式（2-15-3）所示，它的表達(dá)非常復(fù)雜。這些“物質(zhì)”形態(tài)不僅僅包括具有靜止質(zhì)量m的通常意義下的物質(zhì)，還包括了所有具有能量的狀態(tài)，因?yàn)镋=mc2，任何形態(tài)的能量都可以等同于一定的質(zhì)量，都應(yīng)該對時空彎曲有所貢獻(xiàn)。意思是說，宇宙中各個系統(tǒng)的剪應(yīng)力和壓強(qiáng)也要以動量流的形式被包含在能量動量張量中。
方程左邊是的時空的幾何描述，其中第一項(xiàng)Rmn是里奇曲率張量。后來，愛因斯坦發(fā)現(xiàn)如果只有第一項(xiàng)Rmn，方程不能自動滿足能量守恒和動量守恒的要求，于是加上了里奇標(biāo)量曲率R與度規(guī)gmn相乘的第二項(xiàng)。
愛因斯坦引力場方程的物理意義是非常明確的。一個物理方程的求解過程，就是從已知的物理量得到未知函數(shù)的過程。這個場方程對于待求解的度規(guī)張量gmn而言，是高度非線性的，求解異常困難。同時，還要考慮到引力場或引力波也是一種物理存在，也具有能量，它是否也要被考慮進(jìn)能量動量張量之中，愛因斯坦并未將它放進(jìn)去，也不知如何放進(jìn)去。在研究計(jì)算具體問題時，這是務(wù)必考慮的。
方程（2-15-2）左邊的第三項(xiàng)，與度規(guī)張量成正比，比例系數(shù)L便是著名的宇宙常數(shù)。物理界和天文界對此宇宙常數(shù)的研究興趣盎然經(jīng)久不衰，因?yàn)樗拇嬖谂c宇宙中發(fā)現(xiàn)的“暗能量”有關(guān)。
14.宇宙常數(shù)
愛因斯坦1915年建立廣義相對論的引力場方程，在1917年引入了宇宙常數(shù)一項(xiàng)。場方程看起來不是很復(fù)雜，解起來卻異常困難。先忽略宇宙常數(shù)，看引力場方程包含的物理意義，如今很難體會或揣摸愛因斯坦當(dāng)時的真實(shí)思想，但可以從現(xiàn)有物理知識出發(fā)，重新認(rèn)識場方程到底意味著些什么。
相對于經(jīng)典牛頓力學(xué)，狹義相對論否認(rèn)了速度（運(yùn)動）的絕對意義。即談及速度v時，一定是相對于哪個參考系而言的速度，否則毫無意義。廣義相對論更進(jìn)了一步，因?yàn)閺V義相對論取消了慣性系，速度不僅沒有了絕對意義，連速度對慣性系的相對意義也沒有了。例如，在廣義相對論預(yù)言的彎曲時空中，我們只能在同一個時空點(diǎn)來比較兩個速度（任何矢量），卻無法比較不同時間、不同地點(diǎn)的兩個速度的大小和方向，除非將它們在黎曼流形上平行移動到同一個時空點(diǎn)。由于在黎曼流形（偽的）上，每個不同時空點(diǎn)定義了不同的坐標(biāo)系，只有利用黎曼幾何和微分幾何，才能正確描述廣義相對論中彎曲時空的精髓。或者說，狹義相對論將獨(dú)立的時間和空間統(tǒng)一成了“4維時空”，廣義相對論則將平直的時空變成了帶著活動標(biāo)架的“流形”。
與愛因斯坦最后在一起工作過的著名物理學(xué)家約翰·惠勒有一句解釋廣義相對論的名言：“物質(zhì)告訴時空如何彎曲，時空告訴物體如何運(yùn)動”。在場方程的右邊是度規(guī)張量，表征時空彎曲的幾何度量。這意味“物質(zhì)”分布決定了方程的解，“物質(zhì)告訴時空如何彎曲”是顯而易見的。后一句說的是彎曲的時空中粒子將如何運(yùn)動。
考慮在度規(guī)為gij的時空中有一個“自由落體”運(yùn)動的“試驗(yàn)粒子”，這樣的試驗(yàn)粒子將沿測地線運(yùn)動，速度矢量相應(yīng)地沿測地線平行移動。測地線是彎曲空間中最接近直線概念的幾何量。
用2維球面來理解彎曲時空。兩個人從赤道上的不同點(diǎn)出發(fā)，都一直向北走。按平坦空間的幾何，他們以為運(yùn)動方向是互相平行的。然而，實(shí)際結(jié)果是兩人相距越來越近。對這個事實(shí)可以用兩種方式來解釋：一是認(rèn)為有一種力將他們推得互相靠近，二是想象成是由于空間彎曲的幾何原因。這兩種解釋是等效的，正如廣義相對論中將引力等效于時空彎曲一樣。
愛因斯坦建立引力場方程之后，物理學(xué)家和天文學(xué)家蜂擁而上，使用各種數(shù)學(xué)方法研究方程的解，將其與牛頓經(jīng)典理論比較，用以解釋各種天文觀測現(xiàn)象。那時宇宙學(xué)還只是初生嬰兒，物理和天文學(xué)界基本上公認(rèn)宇宙的靜態(tài)模型。所謂靜態(tài)模型，并非萬物靜止不動，而是就宇宙空間的大范圍而言，宇宙是處處均勻各向同性的，在每一點(diǎn)朝各個方向看去都是無窮多顆恒星，恒星之間的平均距離不會隨時間的流逝而擴(kuò)大或縮小。但是，根據(jù)廣義相對論的運(yùn)算結(jié)果，宇宙并不符合上述靜態(tài)模型，而是動態(tài)的，有可能會擴(kuò)張或收縮。愛因斯坦為了使宇宙保持靜態(tài)，在引力場方程式中加上了宇宙常數(shù)項(xiàng)Λ。
當(dāng)初，愛因斯坦及大多數(shù)物理學(xué)家都認(rèn)為，萬有引力是一種吸引力，如果沒有某種排斥的“反引力”與其相平衡，整個宇宙最終將會因互相吸引而導(dǎo)致塌縮。當(dāng)引入Λ使場方程滿足守恒條件的時候，愛因斯坦就發(fā)現(xiàn)，方程中可以加上與度規(guī)張量成正比的一項(xiàng)仍然能滿足所要求的所有條件。那么，是否可以利用這一項(xiàng)來使得場方程預(yù)言的宇宙圖景成為靜態(tài)、均勻、各向同性，愛因斯坦假設(shè)這個比例常數(shù)Λ很小，在銀河系尺度范圍都可忽略不計(jì)，只在宇宙尺度下Λ才有意義。不過，愛因斯坦的想法很快被天文學(xué)的觀測事實(shí)推翻了。
物理學(xué)家證明了，即使愛因斯坦的宇宙常數(shù)提供了一個能暫時處于靜態(tài)的宇宙模型，這個靜態(tài)模型也是不穩(wěn)定的。只要某一個參數(shù)有稍許變化，就會使變化增大而往一個方向繼續(xù)下去，最后使得宇宙很快地膨脹或塌縮。后來在1922年，前蘇聯(lián)宇宙學(xué)家亞歷山大·弗里德曼根據(jù)廣義相對論，從理論上推導(dǎo)出描述均勻且各向同性空間的弗里德曼方程，沒有用到宇宙常數(shù)，得到的解卻不會因?yàn)榛ハ辔s，給出的是一個不斷膨脹的宇宙模型。沒過幾年，哈勃的天文觀測數(shù)據(jù)證實(shí)了這個膨脹的宇宙模型。
哈勃的觀測事實(shí)，令愛因斯坦懊惱遺憾不已。
愛德溫·哈勃是美國著名的天文學(xué)家，他的觀測資料證實(shí)了銀河系外其他星系的存在，并發(fā)現(xiàn)了大多數(shù)星系都存在紅移的現(xiàn)象。重要的是，哈勃發(fā)現(xiàn)來自遙遠(yuǎn)星系光線的紅移與距離成正比，即著名的哈勃定律：v=H0D，其中v是星系的運(yùn)動速度，D是星系離我們的距離。
從多普勒效應(yīng)（圖25a）知道，如果光源以速度v運(yùn)動，觀察者接受到的光波波長與光源實(shí)際發(fā)出的光波波長有一個等于v/c的偏移。哈勃觀測到來自這些星系的光譜產(chǎn)生紅移，說明這些星系正在遠(yuǎn)離我們而去（圖25b）。假如光源遠(yuǎn)離的速度3000公里/秒，即光速的百分之一，觀測到的波長將向低頻方向（紅色）移動百分之一。
圖25：多普勒效應(yīng)和哈勃定律
哈勃定律說明，離我們越遠(yuǎn)的星系，遠(yuǎn)離而去的速度越快。仔細(xì)一想，這種描述正是一幅宇宙不斷擴(kuò)展膨脹的圖景。其中的比例因子H0當(dāng)時被認(rèn)為是一個常數(shù)，稱哈勃常數(shù)，后來被認(rèn)為隨時間而變化，叫做哈勃參數(shù)。根據(jù)2013年3月21日普朗克衛(wèi)星觀測獲得的數(shù)據(jù)，哈勃參數(shù)大約為67.80±0.77 千米每秒每Mpc。
所以，根據(jù)弗里德曼的預(yù)測和哈勃的實(shí)驗(yàn)證實(shí)，宇宙并不是穩(wěn)態(tài)的，而是在膨脹。弗里德曼的結(jié)論本來就是從沒有包含宇宙常數(shù)的愛因斯坦方程式推導(dǎo)而來的，得到哈勃觀測結(jié)果的驗(yàn)證，這令愛因斯坦懊惱遺憾不已。他撤回了他的“宇宙常數(shù)”，對此表示遺憾，認(rèn)為這是自己“一生所犯下的最大錯誤”。
宇宙的確在不斷地膨脹，但膨脹的速度是否變化，是加速膨脹還是減速膨脹，這關(guān)系到宇宙的歷史和未來。1998年，兩個天文學(xué)研究小組對遙遠(yuǎn)星系中爆炸的超新星進(jìn)行觀測，發(fā)現(xiàn)它們的亮度比預(yù)期的要暗，即它們遠(yuǎn)離地球的速度比預(yù)期的快。有趣的是，新的觀測結(jié)果需要將愛因斯坦引入又摒棄了的宇宙常數(shù)“Λ”請了回來。
“Λ”的起死回生與愛因斯坦當(dāng)初的對或錯無關(guān)，而是與宇宙中暗能量存在的事實(shí)有關(guān)的。暗能量在引力場中起的作用，正好與愛因斯坦原來引進(jìn)的Λ一項(xiàng)類似，因而才又把Λ一項(xiàng)加進(jìn)了方程。暗能量的來源，則是量子場論所預(yù)測的真空漲落。而量子論是愛因斯坦一生中始終懷疑也從未接受的理論。
15.大爆炸宇宙模型
1959年，有人對美國科學(xué)家作過一次調(diào)查，其中有一道題目是“你對宇宙的年齡有何想法”?；卮疬@個問題有三分之二的人認(rèn)為宇宙是永恒不變、始終如一的，沒有開始也沒有結(jié)束，談不上“年齡”。5年之后，美國新澤西貝爾實(shí)驗(yàn)室的兩位科學(xué)家的意外發(fā)現(xiàn)改變了大多數(shù)科學(xué)家對這個問題的看法。
1964年，新澤西貝爾實(shí)驗(yàn)室的阿諾·彭齊亞斯和羅伯特·威爾遜負(fù)責(zé)有關(guān)射電天文和衛(wèi)星通信實(shí)驗(yàn)的項(xiàng)目。為了有效接受衛(wèi)星返回的信號，他們在實(shí)驗(yàn)室附近的克勞福德山架設(shè)了一臺新型的喇叭天線。在將天線對準(zhǔn)天空方向檢測噪音性能時，發(fā)現(xiàn)在波長為183.75px的位置一直有一個類似“噪聲”的信號存在。這個額外信號因喇叭天線造成的噪聲比原來預(yù)期的數(shù)值增加了100倍。于是，他們徹底檢查天線，清洗了上面的鴿子窩鳥糞等贓物。然而噪聲信號依然存在（圖26）。奇怪的是，這種噪聲與天氣、季節(jié)、時間都無關(guān)，也與天線的方向無關(guān)，好像是某種充滿天空的、頑固存在的神秘之光。
圖26：微波背景輻射
兩位科學(xué)家對接受到的神秘信號感到困惑，猜測輻射可能來自于銀河系之外的其它什么星系。當(dāng)時，普林斯頓大學(xué)天體物理學(xué)家迪克、皮伯斯、勞爾和威爾金森正在研究“大爆炸”的一種宇宙演化模型，他們認(rèn)為在現(xiàn)在的宇宙中應(yīng)該充滿著某種波長（幾個厘米）的微波輻射。這種輻射無孔不入、無處不在，很有可能被無線電探測儀器接受到，如果接受到了就是“大爆炸”理論的一個有力證據(jù)。彭齊亞斯和威爾遜收到的“不明噪聲”的頻率大約4080兆赫，正好符合普林斯頓科學(xué)家們所期望能探測到的微波輻射。
普林斯頓大學(xué)的天文學(xué)家們得知情況后，來貝爾實(shí)驗(yàn)室考察喇叭天線觀察接受到的“噪聲”數(shù)據(jù)，經(jīng)過一段時間的討論、研究、分析，得到的結(jié)論是：這些信號的確是宇宙學(xué)家們所預(yù)言的“微波背景輻射”，不是普通的噪音，而是大爆炸的余音。于是，兩個科研小組的兩篇文章同時發(fā)表在《天體物理學(xué)報(bào)》的同一期上，向人們宣布宇宙微波背景輻射（CMB）的發(fā)現(xiàn)。
大爆炸學(xué)說的理論模型，最早是比利時宇宙學(xué)家喬治·勒梅特提出來的，他居然還是一位天主教神父。勒梅特在當(dāng)神父的同時，也熱衷于研究愛因斯坦的廣義相對論及哈勃的觀測數(shù)據(jù)。1931年，他從宇宙膨脹的結(jié)論出發(fā)，對廣義相對論進(jìn)行時間反演，認(rèn)為膨脹的宇宙反演到過去應(yīng)該是坍縮、再塌縮，一直到不能坍縮為止。那時宇宙中的所有質(zhì)量都應(yīng)該集中到一個幾何尺寸很小的“原生原子”上，當(dāng)今的時間和空間結(jié)構(gòu)就是從這個“原生原子”產(chǎn)生的。
宇宙起源于大約138億年前“奇點(diǎn)”的一次大爆炸，這聽起來實(shí)在匪夷所思。如果宇宙有開始，那么在之前又是什么？可能誰也無法回答這個問題。于是有人認(rèn)為大爆炸之前可能是無數(shù)次的塌縮和膨脹的往復(fù)循環(huán)。各種猜測都有，但僅僅限于猜測?？梢哉f沒有什么比宇宙起源問題更能吸引人，又更困擾人！事實(shí)上，無論科學(xué)家給出什么樣的宇宙演化圖景，都一定會使大眾產(chǎn)生出沒完沒了也答復(fù)不了的更多問題。人類對宇宙知之甚少，在博大浩瀚的宇宙面前，人類顯得渺小和幼稚，科學(xué)家們也不過是盡其所能來理解和解釋這個世界而已。
當(dāng)初，大爆炸不過是基于愛因斯坦的引力場方程，在弗里德曼假設(shè)均勻各向同性條件下，簡化倒推到時間的原點(diǎn)而得到的假說。哈勃定律證實(shí)了宇宙膨脹的事實(shí)后，有兩種互相對立的解釋。與勒梅特相對立的英國天文學(xué)家弗雷德·霍伊爾等人提出了一種穩(wěn)態(tài)理論。有趣的是，霍伊爾在1949年3月的一期BBC廣播節(jié)目中，將勒梅特的理論稱作“大爆炸的觀點(diǎn)”，沒想到這個當(dāng)時頗帶諷刺攻擊意味的名詞，之后竟成了勒梅特理論的標(biāo)簽。大爆炸理論并不完善，但它是迄今為止能夠解釋更多的天文現(xiàn)象而被主流所接受，大多數(shù)物理學(xué)家都相信，大爆炸是能描述宇宙起源和演化的最好理論。
對科學(xué)界來說，更具有實(shí)際意義的是研究大爆炸之后的宇宙是如何演化到現(xiàn)在這個狀況。
根據(jù)現(xiàn)有的宇宙理論，大爆炸之后的宇宙演化主要有3個階段：極早期宇宙、早期宇宙、結(jié)構(gòu)形成。伽莫夫當(dāng)時提出的太初核合成過程，發(fā)生在大爆炸之后“早期宇宙”時段中的3分鐘到20分鐘之間（圖27a）。1940年代，伽莫夫與他的學(xué)生提出了熱大爆炸宇宙學(xué)模型。伽莫夫讓阿爾菲研究了大爆炸中元素合成的機(jī)制，在阿爾菲1948年提交的博士論文中，伽莫夫說服朋友漢斯·貝特在論文上署了名，自己的名字署在最后。三個人的名字（阿爾菲、貝特、伽莫夫）諧音恰好組成前三個希臘字母α、β、γ。這份標(biāo)志宇宙大爆炸模型的論文在1948年4月1日發(fā)表，稱為αβγ理論。
圖27：宇宙大爆炸模型
按照熱大爆炸宇宙模型，極早期的宇宙，所有物質(zhì)都高度密集在一個很小的范圍內(nèi)，溫度極高，超過幾十億度。在大爆炸開始的最初3分鐘內(nèi)發(fā)生了什么，物質(zhì)處于何種狀態(tài)等，也不乏物理模型，但大多數(shù)屬于猜測，很難用實(shí)驗(yàn)或觀測來驗(yàn)證。
大爆炸后的“極早期宇宙”階段，對我們來說是難以想象的短，大約只是最開始的10-12秒。而在如此“轉(zhuǎn)瞬即逝”的一剎那，物理學(xué)家們?nèi)匀淮笥形恼驴勺?，將這個階段分成了許多更小的時間間隔。比如說，在最開始的10-40秒，被稱為量子引力階段，因?yàn)槟菚r候的“世界”應(yīng)該表現(xiàn)出顯著的量子效應(yīng)和巨大的引力。接著，宇宙進(jìn)入暴漲時期：空間急劇變化、時空迅速拉伸、量子漲落也被極快速地放大，并產(chǎn)生出強(qiáng)度巨大的原初引力波。
2014年3月17日，哈佛史密松天體物理中心的天文學(xué)家約翰·科瓦克博士等宣布，他們利用設(shè)置在南極的BICEP2探測器研究宇宙微波背景輻射時，直接觀測到了原初引力波的“印記”。
10-12秒很短，但對于光和引力波信號來說，也能走過300微米左右的距離。電子的經(jīng)典半徑是10-15米數(shù)量級，這段300微米的短短距離中已經(jīng)足以容得下1000億個電子，更何況那時連電子都還未能形成。所以，當(dāng)我們算出了這些數(shù)據(jù)之后，多少也能對物理學(xué)家為什么要研究這“極早期宇宙”有了一點(diǎn)點(diǎn)理解。因?yàn)檫@段時間雖然極短，卻包含了大量可研究內(nèi)容的。
大爆炸模型中的時間尺度很有趣。在極早期宇宙階段，討論的尺度是如此之小，而在談及宇宙的年齡（137億年）時，又是如此之大，大到連誤差都是以億年計(jì)算！這個領(lǐng)域?qū)⑽锢韺W(xué)中極大（大宇宙），和極小（基本粒子）的理論問題奇妙地融合在一起。
有很多方法來估計(jì)宇宙的年齡，圖27b中簡略介紹了使用哈勃定律計(jì)算宇宙年齡的過程。天文學(xué)中對宇宙年齡的計(jì)算涉及到許多方面，從理論模型到觀測資料的準(zhǔn)確度，都會影響計(jì)算結(jié)果。從理論角度看，宇宙年齡和哈勃參數(shù)基本是成反比的。但是，哈勃參數(shù)如何隨時間變化，就由所采用的理論模型來決定。某個時候的哈勃參數(shù)，又與觀測技術(shù)的水平有關(guān)。此外，宇宙年齡計(jì)算還與星系、恒星以及地球等星體年齡的計(jì)算結(jié)果有關(guān)。所以，這不是一個簡單的問題。
在“極早期宇宙”，以及稱為“早期宇宙”的第二階段，都是量子物理大顯身手的地方。在極早期宇宙時代，量子和引力這兩個不怎么相容的理論碰到了一起。對那個階段的研究，類似于對黑洞的研究，為量子引力研究開辟了一片天地。
遺憾的是，我們很難得到“極早期宇宙”傳來的信息，因?yàn)榇蟊O早期的光波無法穿越稍后“混沌一團(tuán)”的宇宙屏障。引力波倒是能穿過，這也就是為什么剛才所說的2014年春天哈佛科學(xué)家宣布收到“原生引力波”時科學(xué)界激動不已的原因。
所謂“早期宇宙”的時間段，就比“極早期宇宙”要長多了，在40萬年左右，它包括了“微波背景輻射”時期。40萬大約是宇宙現(xiàn)在年齡（137億年）的3萬分之一，只算是宇宙的“孩童時代”。這段時期從兩個方面影響了我們對宇宙早期歷史的探索：
其一，在這段時間之前，物質(zhì)以高溫高密的等離子體形式存在，天地混沌一片，星體尚未形成。光子、電子及其它粒子一起，充滿整個宇宙，是一片晦暗的迷霧狀態(tài)。由于光子被粒子頻繁散射，平均自由程很短，形成了一道厚實(shí)的屏障，宇宙顯得不透明，使得更早時期（即大爆炸開始到30萬年之間）的光無法穿透這段時空，因而使得人類對“微波背景輻射”之前諸如暴漲過程的研究造成了困難。
其二，隨著宇宙的膨脹，其溫度不斷降低。當(dāng)宇宙年齡大到38萬年時，溫度降至3000K左右，等離子體中的自由電子逐漸被俘獲，進(jìn)入復(fù)合階段。光子的平均自由程也逐漸增加，宇宙變得透明起來。光子被電子等粒子散射，形成了一種至今彌漫于宇宙中的背景電磁波，即現(xiàn)在稱之為“3K微波背景”的電磁輻射。這種可以被觀察研究的大爆炸的余暉即“遺留輻射”，已經(jīng)成為我們研究早期宇宙，發(fā)展宇宙論的基礎(chǔ)。
也就是說，宇宙發(fā)育40萬年左右的那一段時間，正從“孩童轉(zhuǎn)型成人”。它既給我們提供了“微波背景輻射”，讓我們從中得以探索到那時候宇宙的種種形態(tài)，又以它不透明的特性，阻擋掩蓋了更早期的宇宙，不讓人們能看到它更早期“胚胎形成”的過程和模樣。
再后來，隨著宇宙膨脹，溫度逐漸下降，進(jìn)入到“結(jié)構(gòu)形成”階段。從1.5億年至10億年，是再電離期，宇宙的大部份由等離子體組成。再后來，逐漸形成了恒星、行星、星系等天體，一直到我們現(xiàn)在可見的宇宙。
16.暗物質(zhì)和暗能量
曾幾何時，宇宙中所有物質(zhì)組成成分被列在元素周期表上，或者是基本粒子表中。然而，天文觀測的最新結(jié)果與此并不相符合。根據(jù)普朗克衛(wèi)星2013年公布的資料，宇宙中只有一小部分（4.9%）是常見的、熟悉的普通物質(zhì)，而大約四分之一（26.8%）是一種看不見摸不著、至今尚未弄清楚的暗物質(zhì)。更不可思議的是其余的68.3%，連物質(zhì)都談不上，是某種無孔不入無處不在的所謂“暗能量”。
暗物質(zhì)說法并非現(xiàn)在才有，早在1932年，荷蘭天文學(xué)家揚(yáng)·奧爾特就認(rèn)為宇宙中除了普通物質(zhì)之外還存在一種看不見的物質(zhì)。之所以稱為“暗物質(zhì)”，是因?yàn)樗幌衿胀ㄎ镔|(zhì)那樣能夠?qū)獠ɑ蛘唠姶挪ㄓ兴磻?yīng)。我們所見的普通物質(zhì)，被燈光一照便現(xiàn)出原形，還有紫外線、紅外線、x射線、伽馬射線和各種頻率的無線電波，都是可以通過探測手段發(fā)現(xiàn)的物質(zhì)。但是，暗物質(zhì)似乎對光或電磁波不屑一顧，完全無動于衷。
暗物質(zhì)之所以被認(rèn)為存在，是因?yàn)樗鼈內(nèi)匀痪哂小耙Α弊饔?，仍然符合廣義相對論的預(yù)言，造成了時空的彎曲。最有力證據(jù)是天文學(xué)家觀測星系時發(fā)現(xiàn)的“星系自轉(zhuǎn)速度問題”。恒星或氣體圍繞星系的核心轉(zhuǎn)動，對星系本身而言叫做“星系自轉(zhuǎn)”。根據(jù)引力理論（無論是牛頓引力或是廣義相對論），都可以預(yù)期到，在足夠遠(yuǎn)的距離上，環(huán)繞星系中心天體的平均軌道速度應(yīng)該與軌道至星系中心距離的平方根成反比（圖28）。但觀測結(jié)果并非如此。
美國女天文學(xué)家薇拉·魯賓是研究星系自轉(zhuǎn)速度曲線，繼而發(fā)現(xiàn)暗物質(zhì)存在證據(jù)的先驅(qū)。從薇拉得到的“觀測結(jié)果”曲線看（圖28b），遠(yuǎn)處恒星具有的速度要比理論預(yù)期值大很多。恒星的速度越大，拉住它所需的引力就越大，這更大的引力從何而來，只能認(rèn)為這份額外的引力來自于暗物質(zhì)。
圖28：薇拉·魯賓觀察到星系自轉(zhuǎn)問題
支持暗物質(zhì)存在的另一個有力證據(jù)來自引力透鏡現(xiàn)象。透鏡原理是光線穿過玻璃產(chǎn)生折射而偏離直線的路徑彎曲。根據(jù)廣義相對論，光線在引力場附近也會發(fā)生偏轉(zhuǎn)。由此可見，在某種情況下，引力場能夠起到和光學(xué)透鏡類似的作用，即產(chǎn)生“引力透鏡”效應(yīng)（圖29）。
圖29：引力透鏡
1936年，愛因斯坦就提出用恒星作為引力透鏡的想法，但他同時又認(rèn)為成像的角度太小而無法觀測到這種效應(yīng)。然而，在1979年，英國天文學(xué)家得到了引力透鏡成像。引力透鏡可以看成“望遠(yuǎn)鏡”來使用，能夠觀測到非常遙遠(yuǎn)的星系，它是當(dāng)今新型的天文觀測手段。
觀測更遙遠(yuǎn)的星系等于是觀測更早期的宇宙圖景。比如說，我們接受到的距離為100億光年遠(yuǎn)的星系的光，相當(dāng)是大爆炸之后37億年左右發(fā)出來的，那時星系處在逐漸形成的階段。這些早年的光通過引力透鏡的放大作用被捕獲到，能夠幫助我們了解早期星系的形成和演化的過程。2012年初，芝加哥大學(xué)天文學(xué)家團(tuán)隊(duì)借助哈勃太空望遠(yuǎn)鏡拍攝了一個近100億光年遠(yuǎn)的星系團(tuán)的引力透鏡影像（圖30），其中包括一條90°左右的透鏡弧。有了引力透鏡，“一眼”看過去就是上億光年。
圖30：RCS2 032727-132623星系團(tuán)的引力透鏡影像
引力透鏡是研究暗物質(zhì)的重要方法。圖29（右圖）中所示的愛因斯坦環(huán)便是一例，那張圖中的圓環(huán)圖像很清楚。大多數(shù)情形下，只能判斷出一小段圓弧，或者是表現(xiàn)為“愛因斯坦十字”等特殊景象（圖31）。
圖31：引力透鏡和暗物質(zhì)
暗物質(zhì)到底是些什么，科學(xué)家們列舉了很多可能組成暗物質(zhì)的“候選者”。實(shí)際上，暗物質(zhì)中可能有一部分不發(fā)光也不吸收光，僅僅是產(chǎn)生引力效應(yīng)的普通物質(zhì)。分析研究顯示，質(zhì)子、中子和電子這些只能占其中的一小部分（20%左右），其余暗物質(zhì)可能存在于棕矮星、白矮星、中子星、黑洞等。
暗物質(zhì)的其它可能性，包括各種可能的中微子，以及由粒子對稱理論所預(yù)言的可能存在的其它粒子，或者是我們認(rèn)知之外的東西。
暗能量的證據(jù)主要來自于宇宙加速膨脹的事實(shí)。2011年諾貝爾物理獎頒發(fā)給了美國天文學(xué)家珀?duì)栺R特、施密特與亞當(dāng)里斯，以表彰他們“透過觀測遙遠(yuǎn)超新星而發(fā)現(xiàn)了宇宙加速膨脹”。
如何解釋宇宙加速膨脹，人們提出了各種假設(shè)，其中宇宙常數(shù)是比較流行的一種。愛因斯坦原來將宇宙常數(shù)一項(xiàng)放在場方程等號左邊，如果把它移到等號右邊，場方程變?yōu)椋?/p>
這樣等號右邊的能量動量張量加上了宇宙常數(shù)一項(xiàng)，如果宇宙常數(shù)為正值，它的作用應(yīng)該與原來的能量動量張量的作用相反。能動張量的作用是產(chǎn)生與萬有引力等效的時空彎曲，而宇宙常數(shù)一項(xiàng)是負(fù)值，其效果便與普通物質(zhì)產(chǎn)生的吸引力相反，在長距離時相當(dāng)于某種排斥力的作用。因而，宇宙常數(shù)有時被稱為“反引力”或“負(fù)壓強(qiáng)”。
現(xiàn)在解釋“加速度”膨脹有多種理論模型，暗能量的存在是其中之一。但是，要解釋為什么存在如此大比例的暗能量時，又想起了被愛因斯坦丟棄的宇宙常數(shù)。真是在造化弄人，這垃圾箱里撿回來的?似乎還挺好用，能夠解釋不少觀測結(jié)果。
圖32：a.宇宙常數(shù)L的數(shù)值對宇宙模型的影響；b.真空漲落
圖32a的數(shù)條曲線描述了宇宙常數(shù)L的數(shù)值對宇宙模型的影響。當(dāng)宇宙常數(shù)L=0時，對應(yīng)于那條紫色曲線；當(dāng)時間從現(xiàn)在增大的時候，這條曲線增長越來越慢，表示宇宙的膨脹速度將減?。划?dāng)L﹥0時，宇宙有可能加速膨脹。
根據(jù)質(zhì)能關(guān)系E=mc2，質(zhì)量和能量可以看作是物質(zhì)同一屬性的兩個方面。但是，它們在宇宙構(gòu)造成分中的具體表現(xiàn)大不相同。也就是說，暗物質(zhì)和暗能量這兩個概念在本質(zhì)上有所區(qū)別。暗能量和暗物質(zhì)的共同點(diǎn)是既不發(fā)光也不吸收光，兩者可能都是只對引力起作用。然而，暗物質(zhì)是引力自吸引式的，這與普通物質(zhì)類似；暗能量的作用卻類似于長距離的自相排斥和空間擴(kuò)展。從這個意義上看，它們的作用是互相制約而無法交互替代。另外，暗物質(zhì)能夠像普通物質(zhì)一樣聚集分布，似乎是形成星系時的支撐框架；暗能量在宇宙中卻基本是均勻分布、無處不在、無孔不入的。暗能量到底是怎樣的一種能量，是如何產(chǎn)生的？這種“排斥力”的本質(zhì)是什么？它是否屬于四種作用力之中，還是另一種新的基本力？目前對這些問題尚無法作出明確回答。有人猜測暗能量是量子場論中所描述的真空漲落，但計(jì)算的結(jié)果并不完全支持這種解釋，因?yàn)橛?jì)算兩者的數(shù)量相差甚遠(yuǎn)，真空漲落要比暗能量大10120數(shù)量級。
