巴拿赫-塔斯基定理(Banach–Tarski paradox,或稱豪斯多夫-巴拿赫-塔斯基定理,又名「分球怪論」),是一條數學定理。1924年,斯特凡·巴拿赫和阿爾弗雷德·塔斯基首次提出這一定理,指出在選擇公理成立的情況下,可以將一個三維實心球分成有限(不可測的)部分,然後僅僅通過旋轉和平移到其他地方重新組合,就可以組成兩個半徑和原來相同的完整的球。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/74/Banach-Tarski_Paradox.svg/320px-Banach-Tarski_Paradox.svg.png)
巴拿赫和塔斯基提出這一定理原意是想拒絕選擇公理,但該證明很自然,因此數學家認為這僅意味着選擇公理可以導致少數令人驚訝和反直覺的結果。有些敘述中這條定理被看成是悖論,但是定理本身沒有邏輯上不一致的地方,實際上不符合悖論的定義。
正式敘述
設A和B是歐幾里得空間的兩個子集。如果它們可以分為有限個不相交子集的併集,形如和,且對任意i,子集全等於,那麼這兩個子集稱為等度分解的(equidecomposable)。於是,這個悖論可以如下敘述:
一個球和它自身的兩個拷貝是等度分解的。 |
對球來說,五塊就足夠做到這點了,但少於五塊卻不行。這個悖論甚至有個更強的版本:
任意兩個三維歐幾里得空間具有非空內部的子集是等度分解的。 |
換句話說,一塊大理石可以分成有限塊然後重新組合成一個行星,或者一部電話機可以變形之後藏進水百合花裡面。在現實生活中這種變形之所以不可行是因為原子的體積不是無限小,數量不是無限大,但其幾何形狀確實可以這樣變形的。如果知道總是可以存在從一個幾何體的內部點一一映射到另一個的方法,也許這個悖論看上去就不那麼怪異了。例如兩個球可以雙射到其自身同樣級別的無限子集(例如一個球)。同樣我們還可以使一個球映射到一個大點或者小點的球,只要根據半徑放大係數即可將一個點映射到另一個。然而,這些變換一般來說不能保積,或者需要將幾何體分割成不可數無限塊。巴拿赫 - 塔斯基悖論出人意料的地方是僅用有限塊進行旋轉和平移就能完成變換。
使這個悖論成為可能的是無限的卷繞。技術上,這是不可測的,因此它們不具有「合理的」範圍或者平常說的「體積」。用小刀等物理方法是無法完成這種分割的,因為它們只能分割出可測集合。這個純粹存在性的數學定理指出在多數人熟悉的可測集合之外,還有更多更多的不可測集合。
對於三維以上的情形這個悖論依然成立。但對於歐幾里得平面它不成立。(以上敘述不適用於三維空間的二維子集,因為這個子集可能具有空的內部。)同時,也有一些悖論性的分解組合在平面上成立:一個圓盤可以分割成有限塊並重新拼成一個面積相同的實心正方形。參見塔斯基分割圓問題。
這個悖論表明如果等度分解的子集被認為具有相同體積的話,就無法對歐幾里得空間的有界子集定義什麼叫做「體積」。
證明是基於費利克斯·豪斯多夫早些時候的工作。他10年前發現一個類似的悖論,事實上,巴拿赫 - 塔斯基悖論正是豪斯多夫所用技術的一個推廣應用。
邏輯學家常常對邏輯上不一致的命題使用「悖論」一詞,例如說謊者悖論或者羅素悖論。巴拿赫 - 塔斯基悖論並非這種意義上的悖論,它是一個已證明的定理,只因為違反直覺才被稱為悖論。由於其證明明確地用到選擇公理,這種反常的結論被用作反對使用該公理的理據。
證明概要
基本上,尋找這個分球的奇怪方法可以分為4個步驟:
每個步驟的詳情如下:
第一步,具有兩個生成元a和b的自由群由所有含有a、b、a-1和b-1這些符號的有限字符串組成,其中沒有a緊挨着a-1或者b緊挨着b-1這種現象。兩個這樣的字符串可以連接在一起,只要將緊挨着的a和a-1抵銷掉(對b一樣)。例如abab-1a-1連接到abab-1a得到abab-1a-1abab-1a,並可化簡為abaab-1a。我們可以驗證這些字符串在這個操作下構成一個群,其單位元是空串。我們稱這個群為。
![Thumb](http://upload.wikimedia.org/wikipedia/commons/thumb/0/09/Paradoxical_decomposition_F2.svg/320px-Paradoxical_decomposition_F2.svg.png)
群可被進行如下特殊分割:令S(a)為所有以a開頭的字符串,同理定義S(a-1)、S(b)和S(b-1)。很明顯
並且
- ,同時
- 。
(aS(a-1)表示從S(a-1)取出所有字符串,並在左邊連接上一個a,之後所得的所有字符串)證明的關鍵就在這裡了。簡而言之,現在我們已經將這個群分成了四塊(忽略也沒有問題),然後通過乘上一個a或者b來「旋轉」它們,其中兩個「重新組合」成,另外兩個重新組合成另一個。這樣的事情,放在球體上就是我們想要證明的東西了。
第二步,為了尋找三維空間旋轉群類似於那樣的行為,我們取兩條坐標軸並設A是繞第一條軸旋轉arccos(1/3)弧度而B是繞另一條軸旋轉arccos(1/3)弧度。(這一步驟可在二維上完成。)有些瑣碎但不太難的是證明這兩種旋轉的行為正如中a和b兩個元素的行為一樣,這裡就略去。由A和B所生成的這個旋轉群命名為H。當然,我們可以按照第一步所述方法對H進行分割。
第三步,單位球面S2可被群H中的操作分成一些軌道:兩個點屬於同一個軌道當且僅當H中某個旋轉將第一個點移到第二個。我們可以利用選擇公理在每個軌道中選出來一個點。將這些點合起來組成集合M。現在S2中(幾乎)所有點都可以通過H中合適的元素相應的轉動移到M中。因此,H的分割也就可以應用到S2上面去。
第四步,最後,將每個S2的點連到原點,對S2的分割便可以應用到實心單位球上去。(球心處會有些特殊,但這個簡要證明中忽略它。)
總結,這個簡要證明到此結束。H中有些旋轉會剛好對應於剛好一些特殊的軸線,這時需要加以特殊處理。但一方面,這些情況的總數是可數的因此沒有影響,另一方面,即使相關的這些點也是可以加以修正以符合定理的。對球心點這個特殊點以上同樣適用。
延伸閱讀
- "Sur la décomposition des ensembles de points en parties respectivement congruentes", 數學基礎, 6, (1924), 244-277, 巴拿赫和塔斯基的原始論文(法文)。
- 萊曼的巴拿赫 - 塔斯基悖論指南 (頁面存檔備份,存於網際網路檔案館) (來自 Kuro5hin)
- Francis E. Su, "巴拿赫 - 塔斯基悖論" (頁面存檔備份,存於網際網路檔案館)
- S. Wagon, 巴拿赫·塔斯基悖論, 劍橋大學出版社, 1986.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.