宙的構造的探索同時也沿著另一個頗不相同的方向前進。非歐幾里得幾何學的發展導致了對於這樣一個事實的認識,即我們能對我們的宇宙空間的無限性表示懷疑,而不會與思維的規律或與經驗發生衝突(黎曼、亥姆霍茲)。亥姆霍茲和潘加里(Poincare)已經以無比的明晰性詳細地論述了這些問題,我在這裡只能簡單地提一下。
首先我們設想在二維空間中的一種存在。持有扁平工具(特別是扁平的剛性量杆)的扁平生物自由地在一個平面上走動,對於它們來說,在這個平面之外沒有任何東西存在;它們所觀察到的它們自己的和它們的扁平的“東西”的一切經歷,就是它們的平面所包含著的全部實在,具體言之,例如歐幾里得平面幾何學中的一切作圖都可以藉助於杆子來實現,亦即利用在第24節所已討論過的格子構圖法。與我們的宇宙對比,這些生物的宇宙是二維的;但同我們的宇宙一樣,它們的宇宙也延伸到無限遠處。在它們的宇宙中有足夠的地方可以容納無限多個用杆於構成的互相等同的正方形;亦即它們的字宙的容積(面積)是無限的。如果這些生物說它們的宇宙是“平面”的,那麼這句話是有意義的,因為它們的意思是它們能用它們的杆子按照歐幾里得平面幾何學作圖。這裡,各個個別杆子永遠代表同一距離,而與其本身所處的位置無關。
現在讓我們考慮一下另一種二維的存在,不過這次是在一個球面上而不是在一個平面上。這種扁平生物連同它們的量杆以及其他的物體,與這個球面完全貼合,而且它們不可能離開這個球面。因而它們所能觀察的整個宇宙僅僅擴充套件到整個球面。這些生物能否認為它們宇宙的幾何學是平面幾何學,它們的杆子同樣又是其“距離”的實在體現呢?它們不能這樣做。因為如果它們想實現一根直線,它們將地得到一根曲線,我們“三維生物”把這根曲線稱作一個大圓,亦即具有確定的有限長度的、本身就是完整獨立的線,其長度可以用量杆測定。同樣,這個宇宙的面積是有限的,可以與用杆子構成的正方形的面積相比較。從這種考慮得出的極大妙處在於承認了這樣一個事實,即這些生物的琮宙是有限的,但又是無界的。
但是這些球面生物無需作世界旅行就可以認識到它們所居住的不是一個歐幾里得宇宙。在它們的“世界”的各個部分它們都能夠弄清楚這一點,只要它們所使用的部分不太小就可以了。從一點出發,它們向所有各個方向畫等長的“直線”(由三維空間判斷是圓的弧段)。它們會把連線這些線的自由端的線稱作一個“圓”。按照歐幾里得平面幾何學,平面上的圓的圓周與直徑之比(圓周與直徑的長度用同一根杆子測定)等於常數π這個常數與圓的直徑大小無關。我們的扁平生物在它們的球面上將會發現圓周與直徑之比有以下的值。
亦即一個比π小的值,圓半徑與“世界球”半徑R之比俞大,上述比值與π之差就愈加可觀。藉助於這個關係,球面生物就能確定它們的宇宙(“世界”)的半徑,即使它們能夠用來進行測量的僅僅是它們的世界球的比較小的二部分。但是如果這個部分的確非常小,它們就下再能夠證明它們是居住在一個球面“世界”上,而不是居住在一個歐幾里得平面上,因為球面上的微小部分與同樣大小的一塊平面僅有極微細的差別,因此,如果這些球面生物居住在一個行星上,這個行星的太陽系僅佔球面宇宙內的小到微不足道的一部分,那麼這些球面生物就無法確定它們居住的宇宙是有限的還是無限的,因為它們所能接近的“一小塊宇宙”在這兩種情況下實際上都是平面的;或者說是歐幾里得的。從這個討論可以直接推知,對於我們的球面生物而言,。=個圓的圓周起先隨著半徑的增大而增大,直到達到“宇宙圓周”為止,其後圓周隨著半徑的值的進一步增大而逐漸減小以至於零,在這個過程中,圓的面積繼續不斷地增大,直到最後等於整個“世界球”的總面積為止。
或許讀者會感到奇怪,為什麼我們把我們的“生物”放在一個球面上而不放在另外一種閉合曲面上。但是由於以下事實,這種選擇是有理由的,在所有的閉合曲面中,唯有球面具有這種性質;即該曲面上所有的點都是等效的,我承認,一個圓的圓周(與其半徑礦的比取決於人但是,對於一個給定的T的值而言;這個比對於“世界球”上所有的點都是一樣的;換言之,這個“世界球”是一個“等曲率曲面”。
對於這個二維球面宇宙,我們有一個三維比擬,這就是黎曼發現的三維球面空間。它的點同樣也都是等效的。這個球面空間具有一個有限的體積,由其“半徑”確定之