微分幾何是運用微積分的理論研究空間的幾何性質(zhì)的數(shù)學(xué)分支學(xué)科。古典微分幾何研究三維空間中的曲線和曲面,而現(xiàn)代微分幾何開始研究更一般的空間----流形。微分幾何與拓?fù)鋵W(xué)等其他數(shù)學(xué)分支有緊密的聯(lián)系,對物理學(xué)的發(fā)展也有重要影響。愛因斯坦的廣義相對論就以微分幾何中的黎曼幾何作為其重要的數(shù)學(xué)基礎(chǔ)。
微分幾何學(xué)以光滑曲線(曲面)作為研究對象,所以整個微分幾何學(xué)是由曲線的弧線長、曲線上一點的切線等概念展開的。既然微分幾何是研究一般曲線和一般曲面的有關(guān)性質(zhì),則平面曲線在一點的曲率和空間的曲線在一點的曲率等,就是微分幾何中重要的討論內(nèi)容,而要計算曲線或曲面上每一點的曲率就要用到微分的方法。
在曲面上有兩條重要概念,就是曲面上的距離和角。比如,在曲面上由一點到另一點的路徑是無數(shù)的,但這兩點間最短的路徑只有一條,叫做從一點到另一點的測地線。在微分幾何里,要討論怎樣判定曲面上一條曲線是這個曲面的一條測地線,還要討論測地線的性質(zhì)等。另外,討論曲面在每一點的曲率也是微分幾何的重要內(nèi)容。
在微分幾何中,為了討論任意曲線上每一點鄰域的性質(zhì),常常用所謂“活動標(biāo)形的方法”。對任意曲線的“小范圍”性質(zhì)的研究,還可以用拓?fù)渥儞Q把這條曲線“轉(zhuǎn)化”成初等曲線進(jìn)行研究。
在微分幾何中,由于運用數(shù)學(xué)分析的理論,就可以在無限小的范圍內(nèi)略去高階無窮小,一些復(fù)雜的依賴關(guān)系可以變成線性的,不均勻的過程也可以變成均勻的,這些都是微分幾何特有的研究方法。
廣義相對論是阿爾伯特·愛因斯坦于1915年發(fā)表的用幾何語言描述的引力理論(發(fā)表于《普魯士科學(xué)院會議報告》1915年,778-786),它代表了現(xiàn)代物理學(xué)中引力理論研究的最高水平。廣義相對論將經(jīng)典的牛頓萬有引力定律包含在狹義相對論的框架中,并在此基礎(chǔ)上應(yīng)用等效原理而建立。在廣義相對論中,引力被描述為時空的一種幾何屬性(曲率);而這種時空曲率與處于時空中的物質(zhì)與輻射的能量-動量張量直接相聯(lián)系,其聯(lián)系方式即是愛因斯坦的引力場方程(一個二階非線性偏微分方程組)。
從廣義相對論得到的有關(guān)預(yù)言和經(jīng)典物理中的對應(yīng)預(yù)言非常不相同,尤其是有關(guān)時間流逝、空間幾何、自由落體的運動以及光的傳播等問題,例如引力場內(nèi)的時間膨脹、光的引力紅移和引力時間延遲效應(yīng)。廣義相對論的預(yù)言至今為止已經(jīng)通過了所有觀測和實驗的驗證——雖說廣義相對論并非當(dāng)今描述引力的唯一理論,它卻是能夠與實驗數(shù)據(jù)相符合的最簡潔的理論。不過,仍然有一些問題至今未能解決,典型的即是如何將廣義相對論和量子物理的定律統(tǒng)一起來,從而建立一個完備并且自洽的量子引力理論。