日常誤用:四維時空與四維空間
“四維時空”(叫做“闵可夫斯基空間”),愛因斯坦在他的廣義相對論和狹義相對論中提及,主要表述為“宇宙是由三維空間和一維時間組成的‘四維時空’”,所指的“第四維”與其它三維性質有很大差異。而“四維空間”概念中所說的“第四維”是指和其它三維性質一樣的空間維度。
兩個概念完全不同,但長期的誤用使得大衆經常混淆這兩個概念。一般人說到“四維空間”時,經常是誤指四維時空概念,以至于有“四維空間的第四維是時間”這樣的混亂說法出現。
這種普遍性的誤用,是由于相對論的相關科普和文藝作品的流行。而對于不了解相對論的人而言,這極容易造成對于相對論的錯誤理解。
定義
一個有四個空間性維數的空間(“純空間性”的四維空間),或者說有四個兩兩正交的運動方向的空間。這種空間就是數學家們用來研究四維幾何物體的空間。
從數學方面講,普通三維空間集合的四維等價物是歐幾裡得四維空間,一個四維歐幾裡得賦範向量空間。
正交性
在人所熟悉的三維空間裡,有三對主要方向:上下(高度),南北(緯度),東西(經度)。這三對方向兩兩正交,也就是說,它們兩兩成直角。從數學方面講,它們在三條不同的坐标軸,x,y,z上。計算機圖形學中講的深度緩沖指的就是這條z軸,在計算機的二維屏幕上代表深度。
純空間性的四維空間另有一對垂直于其他三個主要方向的主要方向。這一對方向處在另一條同時垂直于x,y,z軸的坐标軸上,通常稱作w軸。對這兩個方向的命名,人們的看法不一。一些現行的命名有安娜/卡塔,斯皮希圖/斯帕提圖,維因/維奧,和宇普西龍/德爾塔。這些額外的方向處于(實際上是垂直于)我們所能觀察到的三維世界中的方向之外。
維數
直觀地,一個圖形的維數可以認為是一個人要想達到這個圖形中所有的點,需要運動的所有不同方向的數目。
例如,一個點是一個零維圖形。我們不需要任何向量來張出它,因為如果我們從這個點出發,我們已經到達了它所有的位置。
一條直線是一個一維圖形。從直線的某一個點上出發,我們需要一個指向這個直線的方向的向量來到達到直線上的其他點。隻要一個向量就足夠了,因為通過不同程度的伸縮它我們可以到達直線上的任意其他點。
一個平面是一個二維圖形。給定平面上的一個起始點,我們至少需要兩個互不平行的向量來張出這個平面。如果隻有一個向量,我們隻能到達某一條直線上的所有點;所以我們需要有另一個與它不平行的向量來往這條直線的“兩邊”走,從而到達平面上的其他點。隻要兩個方向就足夠了,因為我們可以順着(或逆着)前一個向量走不同的距離,再往兩邊走不同的距離來到達平面上的任意點。也可以把平面理解成許多平行線的“堆積”;要想在二維平面上從一點運動到另一點,我們需要首先沿着線平行線運動,再穿過這些平行線向另一個方向運動。
在我們的眼中,空間是三維的。要達到空間中的某一點,我們不僅要向前向後、向兩邊走,還需要上下移動。換句話說,需要第三個向量才能到達空間中的所有點。同樣,也可以把空間理解成許多平行平面的堆積:要想在空間中從一點運動到另一點,我們可以先沿着一個方向前後走,再向兩邊走,最後上下走。
四維空間則是一個需要四個不同方向才能到達其中所有點的空間。這種空間可以認為是許多平行的三維空間的堆積。要理解這個概念,想象一下把一張張紙并列疊起來的過程。如果人不把它們一個個堆疊起來,這些紙張不會延伸進三維空間。以同樣的方式,要想進入四維空間,就必須向一個新的方向運動,這個方向必須是在三維空間以外的。要達到四維空間中的每一個點,一個人不僅需要向前後、左右、上下移動,還要沿着一對新的方向運動,即上文提到的安娜/卡塔,或者叫維因/維奧等等。
維數類比
要理解四維空間的本性,我們可以通過與低維度類比進行推廣。維數類比是指通過研究n - 1維與n維之間的關系,來推斷n維與n + 1維之間會有什麼樣的關系。
埃德溫·阿伯特·阿伯特在他的書平面國中運用維數類比,講述了在一個扁平得就像一張紙的二維世界中生活的一個正方形的故事。在這個正方形的眼中,生活在三維世界中的人們擁有近乎神的力量,因為他們能在不打破(二維的)保險箱的情況下從其中把東西(通過移入移出三維空間的方法)取出,能看到所有在二維世界看來是被擋在牆後面的東西,甚至能站在離二維世界幾英寸的地方來保持“隐形”。
通過應用維數類比,人們可以推斷,四維空間中的人在我們三維的視角看來應該有類似的神奇能力。魯迪·拉克在他的小說《空間世界》(Spaceland)中展示了這一點。小說的主人公就遇到了具有神奇能力的四維人。
四維研究
摘要
幾何不一定是真實現象的描述,幾何空間和自然空間并不能完全等同看待,純概念的研究幾何的發展是數學界的一個裡程碑。從零維空間到三維空間,尤其是從三維空間到四維空間的發展更是幾何學的的一次革命。
關鍵詞
零維;一維;二維;三維;四維;n維;幾何元素;點;直線;平面。
發展曆程
n維空間概念,在18世紀随着分析力學的發展而有所前進。在達朗貝爾.歐拉和拉格朗日的著作中無關緊要的出現第四維的概念,達朗貝爾在《百科全書》關于維數的條目中提議把時間想象為第四維。在19世紀高于三維的幾何學還是被拒絕的。麥比烏斯(karl august mobius 1790-1868)在其《重心的計算》中指出,在三維空間中兩個互為鏡像的圖形是不能重疊的,而在四維空間中卻能疊合起來。但後來他又說:這樣的四維空間難于想象,所以疊合是不可能的。這種情況的出現是由于人們把幾何空間與自然空間完全等同看待的結果。以至直到1860年,庫摩爾(ernst eduard kummer 1810-1893)還嘲笑四維幾何學。但是,随着數學家逐漸引進一些沒有或很少有直接物理意義的概念,例如虛數,數學家們才學會了擺脫“數學是真實現象的描述”的觀念,逐漸走上純觀念的研究方式。虛數曾經是很令人費解的,因為它在自然界中沒有實在性。把虛數作為直線上的一個定向距離,把複數當作平面上的一個點或向量,這種解釋為後來的四元數,非歐幾裡得幾何學,幾何學中的複元素,n維幾何學以及各種稀奇古怪的函數,超限數等的引進開了先河,擺脫直接為物理學服務這一觀念迎來了n維幾何學。
1844年格拉斯曼在四元數的啟發下,作了更大的推廣,發表《線性擴張》,1862年又将其修訂為《擴張論》。他第一次涉及一般的n維幾何的概念,他在1848年的一篇文章中說:
我的擴張的演算建立了空間理論的抽象基礎,即它脫離了一切空間的直觀,成為一個純粹的數學的科學,隻是在對(物理)空間作特殊應用時才構成幾何學。
然而擴張演算中的定理并不單單是把幾何結果翻譯成抽象的語言,它們有非常一般的重要性,因為普通幾何受(物理)空間的限制。格拉斯曼強調,幾何學可以物理應用發展純智力的研究。幾何學從此開始割斷了與物理學的聯系而獨自向前發展。
經過衆多的學者的研究,遂于1850年以後,n維幾何學逐漸被數學界接受。
研究
四維空間的概念也可以通過解析幾何的手段來研究。在那裡我們可以利用代數方程來表示幾何概念。為了利用這個手段進行觀察以導緻對四維空間的理解,我們來研究三維空間體系中的三個幾何元素——點、直線和平面的方程。利用笛卡爾系統表示,我們可以寫出:
點的方程:ax + b = 0 (坐标系:直線上的一個點)。
直線的方程:ax + by + c = 0 (坐标系:平面上的兩條正交直線)。
平面的方程:ax + by + cz + d = 0 (坐标系:三維空間的三個互相垂直的平面)。
從上面的研究我們可以看出:
所表示的每一個幾何元素(或空間)的方程中的變量數目,等于這個空間的維數加1。
坐标系中的幾何元素與被表示的幾何空間的幾何元素的維數相同。
在這個坐标系中,幾何元素的數目等于被表示的空間的維數加1。在坐标系中,幾何元素的這個數目是最低要求。
用來表示幾何元素的坐标系,位于比它所含有的幾何元素高一維的空間裡。
根據上述觀察,我們可以寫出三維空間的下述方程。應當注意:這個方程有四個變量(x、y、z、u)。
ax + by + cz + du + e = 0
根據這公式我們可以斷定:
1. 這個坐标系的幾何元素有三維,即它們是三維空間。
2. 在這個坐标系中有四個三維空間。
3. 這個坐标系位于一個四維空間裡。
我們對于四維空間乃至更高空間的研究,不是通過實驗總結的方式,在現實中我們很難發現并推導出它們的一般規律,對于這些問題,我們可以采取一種新的研究方式。即:純概念的研究。通過這種方式,我們可以容易的推導出這些很重要但在現實中不易想象的新内容。
軸對稱性
對于四維空間,人們普遍認為空間有軸對稱性,或是中心對稱。譬如,倘若一個三維空間的人進入四維空間,并且按照适當的方式“旋轉”一下再回到三維空間,那麼他會被‘軸對稱’一下(這在三維空間中當然是不可能實現的,除非運用三維版本的莫比烏斯帶)。當然,由于沒有人進入四維空間,所以這隻是一個從二維空間類比而得的假設,無法進行驗證。但是關于時間軸的觀點以及時空錯亂瞬間的現象與這是相符的。
從二維空間的一個圖形是不能在二維空間進行對稱的,但進入三維空間,就可以通過進行翻轉回到二維空間時,就可以實現對稱,因為在二維空間是不能進行翻轉的,隻能旋轉或平移。因此我們可以推測三維物體進入了四維空間,再回到三維空間可能物體會被“軸對稱”一下。



















