幾何、分形與時空：跨越百年的維度定義之旅 原創(chuàng) Maggie Chiang 集智俱樂部 收錄于話題 #復(fù)雜科學(xué)前沿2021 150個內(nèi)容

導(dǎo)語

我們生活在三維空間和時間編織而成的四維時空中，可是在精確的意義上，維度到底是什么？更高維度的時空意味著什么？不同維度之間是否存在難以突破的壁壘，還是有著深刻聯(lián)系？非整數(shù)維度是什么樣子？

研究領(lǐng)域：維度，分形，四維時空，高維數(shù)據(jù)

Maggie Chiang | 作者

潘佳棟 | 譯者

梁金 | 審校

鄧一雪 | 編輯

維度的概念乍一看似乎很直觀。瞥一眼窗外，我們可能會看到落在纖細(xì)的旗桿上體驗零維空間的烏鴉，被限制在一維電話線上的知更鳥，在二維地面上自由移動的鴿子，還有翱翔在三維空間的老鷹。

但是對于數(shù)學(xué)家來說，為維度的概念找到一個明確定義實則異常困難。我們經(jīng)過數(shù)百年的思想實驗和富有想象力的比較，才得出目前對維度概念的嚴(yán)格理解。

1. 超越三維

古人知道我們生活在三個維度中。亞里士多德[1]寫道：“向一個方向延伸的是直線，兩個方向延伸的是平面，三個方向延伸的是物體。除此之外就沒有其他了，這些就是所有的維度?！?/p>

然而相比于其他人，數(shù)學(xué)家更熱衷于想象更多維度的思維訓(xùn)練：垂直于已知的三個維度的第四維度會是什么樣子？

一種流行的方法：假設(shè)我們的可知宇宙是三維空間中的二維平面。一個在平面上方的實心球?qū)ξ覀儊碚f是看不見的。但是如果它墜落并接觸到平面，就會出現(xiàn)一個點。當(dāng)它繼續(xù)穿過平面時，圓盤會不斷變大，直到達(dá)到其最大尺寸，然后縮小并消失。正是通過這些橫截面，我們才能看到三維物體的形狀。

圖1：在平面上只能看到三維物體的橫截面。| 來源：Samuel Velasco/Quanta Magazine

類似地，在我們熟悉的三維宇宙中，如果一個四維球穿過它，這個四維球會以一個點的形式出現(xiàn)，之后成為一個實心球，最終達(dá)到完整半徑的球，然后半徑減小并消失。這給了我們關(guān)于四維形狀的感知，但是對于這樣的物體，還有其他思考方式。

例如，讓我們嘗試通過構(gòu)建超立方體來可視化立方體的四維等價物。如果我們從一個點開始，可以在一個方向上拖動它以獲得一條線段。之后，當(dāng)我們垂直于拖動方向移動線段時，得到一個正方形。在第三個垂直方向拖動這個正方形會產(chǎn)生一個立方體。同樣，我們通過在第四個方向上拖動立方體來獲得超立方體。

圖2：通過將藍(lán)色位置的圖形拖動到紫色位置，我們可以可視化各種維度的圖形，包括超立方體。

或者，就像我們可以將立方體的面展開為六個正方形一樣，我們可以展開超立方體的三維邊界以獲得八個立方體，正如薩爾瓦多·達(dá)利 (Salvador Dalí) 在 1954 年的畫作《受難》(Crucifixion，Corpus Hypercubus) 中所展示的那樣。

圖3：我們可以通過展開正方體得到的面來想象一個立方體。同樣，我們可以通過展開超立方體得到的立方體來想象超立方體。

所有這一切構(gòu)成了對維度的直觀理解，即如果一個抽象空間有n個自由度（就像那些鳥一樣），或者需要n個坐標(biāo)來描述一個點的位置，該空間就是n維的。然而，數(shù)學(xué)家發(fā)現(xiàn)維度比這些簡單的描述要復(fù)雜。

2. 定義維度

人們對更高維度的正式研究出現(xiàn)在19世紀(jì)，相關(guān)研究在幾十年內(nèi)變得相當(dāng)復(fù)雜：1911年的參考書目包含1832條對n維幾何的引用。也許因此，在19世紀(jì)末和20世紀(jì)初，公眾開始迷戀第四維度。1884 年，埃德溫·阿博特 (Edwin Abbott) 創(chuàng)作了流行的諷刺小說《平面國》（Flatland），小說以二維生物遇到三維生物作為類比，幫助讀者理解第四維度。1909 年《科學(xué)美國人》征文比賽題為“什么是第四維？” ，有245份參賽作品爭奪500美元的獎金。許多藝術(shù)家，如巴勃羅·畢加索（Pablo Picasso）和馬塞爾·杜尚（Marcel Duchamp），將第四維的想法融入到作品中。

但在這段時間里，數(shù)學(xué)家們意識到，維度缺乏正式的定義實際上是一個問題。

喬治·康托爾 (Georg Cantor) 因發(fā)現(xiàn)無窮大有不同的勢 (cardinality）而聞名[2]。起初，康托爾認(rèn)為線段、正方形和立方體中的點集必須具有不同的勢，就像一條10個點的線、一個10×10的點網(wǎng)格和一個10×10×10的點立方體有不同數(shù)量的點。然而，在1877年，他發(fā)現(xiàn)線段中的點與正方形（以及所有維度的立方體）中的點之間存在一一對應(yīng)關(guān)系，這表明它們具有相同的勢。憑借直覺，他證明了盡管維度不同，線、正方形和立方體都具有相同數(shù)量的無窮小的點?？低袪枌懶沤o理查德·戴德金（Richard Dedekind），“我看到了，但我不相信它?！?/p>

康托爾意識到這一發(fā)現(xiàn)威脅到n維空間需要n個坐標(biāo)來描述的直覺觀念，因為n維立方體中的每個點都可以由一段區(qū)間中的一個數(shù)字唯一標(biāo)識。因此，從某種意義上說，這些高維立方體相當(dāng)于一維線段。然而，正如戴德金指出的那樣，康托爾的函數(shù)是極不連續(xù)的——它本質(zhì)上是將一條線段分成無限多個部分，然后將它們重新組合成一個立方體。這不是我們所希望的坐標(biāo)系的行為。這種坐標(biāo)系太過無序，無法為我們描述物體提供幫助，就像是為曼哈頓的建筑物提供唯一地址卻隨機(jī)分配這些地址。

然后，在1890年，朱塞佩·皮亞諾 (Giuseppe Peano) 發(fā)現(xiàn)，可以將一維曲線纏繞得如此緊密且連續(xù)，以至于可以填充二維正方形中的每個點。這是第一條空間填充曲線（space-filling curve）。但皮亞諾給出的例子也不是坐標(biāo)系的良好基礎(chǔ)，因為曲線與自身無限多次相交?；氐綄βD的比喻，這就像給一些建筑物多個地址。

圖4：這些是產(chǎn)生空間填充曲線的前五個步驟。在每一步，曲線的面積為零，但在極限情況下，它填充了正方形。這條特殊的曲線是由大衛(wèi)·希爾伯特（David Hilbert）引入的。

這些和其他令人驚訝的例子清楚地表明，數(shù)學(xué)家需要證明維度是一個真實的概念。例如，當(dāng)n≠ m時，n維和m維歐幾里得空間的某些基本性質(zhì)是不同的。這個目標(biāo)被稱為“維度不變性”（invariance of dimension）問題。

終于，在1912年，在康托爾的發(fā)現(xiàn)之后將近半個世紀(jì)，在人們多次證明維數(shù)不變性的嘗試失敗之后，布勞威爾（L.E.J. Brouwer）使用自己創(chuàng)造的一些方法并取得了成功。從本質(zhì)上講，他證明了不可能將一個更高維的物體放入較低維度的空間中，以及在不將物體分成許多部分（如康托爾所做的那樣）、不允許物體與自身相交（如皮亞諾所做的那樣）的情況下，使用較低維度的物體填滿較高維度的空間。此外，大約在這個時候，布勞威爾等人給出了各種嚴(yán)格的定義，例如，可以根據(jù)球在n維空間中的邊界是n-1維這一事實，幫助歸納地確定維數(shù)。

盡管布勞威爾的工作將維度概念置于強(qiáng)大的數(shù)學(xué)基礎(chǔ)上，但它無助于增強(qiáng)我們對高維空間的直覺：對3維空間的熟悉太容易使我們誤入歧途。正如托馬斯·班喬夫 (Thomas Banchoff) 所寫，“我們所有人都是對自己所在維度存有偏愛的奴隸。”

例如，假設(shè)我們將2n個半徑為1的球體放置在邊長為4的n維立方體中，然后將另一個球體放置在與它們中心相切的位置。隨著n增加，中心球體的大小隨之增加——它的半徑為√n -1。但是，令人震驚的是，當(dāng)n≥10時，這個球體會伸出立方體的邊。

圖5：中心球體隨著維度的增加而變大，最終會突出到立方體外面。

高維空間中令人驚訝的現(xiàn)實導(dǎo)致統(tǒng)計和數(shù)據(jù)分析出現(xiàn)問題，統(tǒng)稱為“維數(shù)災(zāi)難”（curse of dimensionality）。許多統(tǒng)計方法所需的樣本點數(shù)量隨維度增加呈指數(shù)增長。此外，隨著維度增加，點形成聚類的概率會降低。因此，找到為高維數(shù)據(jù)降維的方法十分重要。

3. 分形和非整數(shù)維度

維度的故事并沒有因為布勞威爾而終結(jié)。僅僅幾年之后，費利克斯·豪斯多夫（Felix Hausdorff）提出了一個新的維度定義，之后的數(shù)學(xué)發(fā)展證明該定義對現(xiàn)代數(shù)學(xué)至關(guān)重要。

考慮維度的一種直觀方式是，如果我們將d維物體均勻地縮放或放大k倍，它的大小會增加到kd倍。假設(shè)我們將一個點、一條線段、一個正方形和一個立方體放大3倍，點的尺寸不變（30=1），線段變成3倍（31=3），正方形變成9倍 (32=9)，立方體變成27倍 (33=27)。

圖6：當(dāng)我們將d維對象放大k倍，其尺寸會增加到 kd 倍。

豪斯多夫定義的一個令人驚訝的結(jié)果是，物體可能具有非整數(shù)維度。幾十年后，當(dāng)伯努瓦·曼德爾布羅特（Benoit B. Mandelbrot）問道：“不列顛的海岸有多長？”時，結(jié)果證明非整數(shù)維度正是他所需要的。海岸線如此參差不齊，以至于無法用任何尺子精確測量——尺子越短，測量結(jié)果越大越精確。曼德爾布羅特認(rèn)為，豪斯多夫維數(shù)提供了一種量化這種鋸齒狀海岸線的方法，并在 1975 年提出了術(shù)語“分形”來描述這種無限復(fù)雜的形狀。

圖7：英國海岸線的測量長度取決于尺子的大小。

要了解非整數(shù)維度可能是什么樣子，讓我們考慮以迭代方式生成的科赫曲線（Koch curve）。我們從線段開始。在每個階段，我們刪除每個線段的中間三分之一，并用與刪除的線段長度相等的兩個線段替換它，無限次地重復(fù)此過程以獲得科赫曲線。仔細(xì)研究它，你會發(fā)現(xiàn)它包含4個與整個曲線相同但大小只有三分之一的部分。因此，如果我們將這條曲線縮放3倍，我們將獲得原始曲線的4個副本。這意味著其豪斯多夫維數(shù)d滿足 3d=4，因此，d=log3(4)≈1.26?？坪涨€并不像皮亞諾曲線那樣完全充滿空間，所以它不是二維的，但它也不是一條一維線，而是1.26 維。

圖8：科赫曲線包含四個與整條曲線相同但尺寸為其三分之一的部分，因此其豪斯多夫維數(shù)不是整數(shù)，而是 log3(4)≈1.26 維。

4. 四維時空之外

最后，有些讀者可能會想，“時間不是第四維嗎？” 事實上，正如威爾斯1895年的小說《時間機(jī)器》（The Time Machine）中的發(fā)明者所說：“時間與空間的三個維度中的任何一個都沒有區(qū)別，只是我們的意識沿著它移動。” 1919 年，作為第四維的時間在公眾的想象中爆發(fā)，日食讓科學(xué)家們證實了愛因斯坦的廣義相對論和閔可夫斯基（Hermann Minkowski）的平坦四維時空的曲率。正如閔可夫斯基在1908年的一次演講中所預(yù)言的那樣，“此后獨自的空間和獨自的時間注定會消失在陰影中，只有空間和時間的某種結(jié)合才能保持獨立的現(xiàn)實?！?/p>

今天，數(shù)學(xué)家和其他人的研究經(jīng)常偏離我們所在的三個維度。有時研究會涉及額外的物理維度，例如弦論所要求的那些維度，但更多時候我們抽象地工作，并不設(shè)想實際空間。一些研究是幾何的，例如瑪麗娜·維亞佐夫斯卡（Maryna Viazovska）在2016年發(fā)現(xiàn)了在8維和24維填充球體的最有效方法[3]。在物理、生物學(xué)、工程、金融和圖像等不同領(lǐng)域研究分形時，有時需要非整數(shù)維度。在這個“大數(shù)據(jù)”[4]時代，科學(xué)家、政府和企業(yè)建立了人、地點和事物的高維度檔案。

幸運的是，無論鳥類和數(shù)學(xué)家，都不需要完全理解維度就可以體驗維度。

原文：

https://www.quantamagazine.org/a-mathematicians-guided-tour-through-high-dimensions-20210913/

參考鏈接：

[1]https://www.sciencedirect.com/topics/mathematics/euclid

[2]https://www.quantamagazine.org/how-many-numbers-exist-infinity-proof-moves-math-closer-to-an-answer-20210715/

[3]https://www.quantamagazine.org/sphere-packing-solved-in-higher-dimensions-20160330/

[4]https://www.quantamagazine.org/tag/big-data

復(fù)雜科學(xué)最新論文

集智斑圖頂刊論文速遞欄目上線以來，持續(xù)收錄來自Nature、Science等頂刊的最新論文，追蹤復(fù)雜系統(tǒng)、網(wǎng)絡(luò)科學(xué)、計算社會科學(xué)等領(lǐng)域的前沿進(jìn)展?，F(xiàn)在正式推出訂閱功能，每周通過微信服務(wù)號「集智斑圖」推送論文信息。掃描下方二維碼即可一鍵訂閱：

原標(biāo)題：《幾何、分形與時空：跨越百年的維度定義之旅》

閱讀原文