Kulę można matematycznie rozłożyć i złożyć w dwie kule tej samej wielkości
Twierdzenie Banacha–Tarskiego mówi, że w trójwymiarowej przestrzeni solidną kulę można podzielić na skończenie wiele bardzo nietypowych zbiorów punktów, a następnie — używając tylko obrotów i przesunięć — złożyć z nich dwie kule kongruentne z wyjściową. Nie jest to przepis na kopiowanie materii. Elementy rozkładu są niemierzalne w sensie Lebesgue’a i nie przypominają fizycznych kawałków; ich istnienie wiąże się z aksjomatem wyboru. Zwykła zasada zachowania objętości nie może być zastosowana do tych części, bo nie mają przypisanej klasycznej objętości.
Twierdzenie brzmi jak naruszenie zachowania objętości
Wyobrażamy sobie kulę o określonej objętości. Jeśli potniemy ją na zwykłe, mierzalne kawałki, suma ich objętości równa się objętości kuli, a obroty i przesunięcia objętości nie zmieniają. Dlatego z takich części nie da się złożyć dwóch kul o tej samej objętości co oryginał. Banach i Tarski pokazali jednak, że przy dopuszczeniu wystarczająco patologicznych zbiorów punktów założenie o objętości każdej części przestaje być dostępne.
Klucz: części nie są zwykłymi bryłami
Elementy rozkładu Banacha–Tarskiego nie są kawałkami w rodzaju plasterków, wielościanów czy fragmentów o poszarpanej, ale mierzalnej granicy. Są to zbiory niemierzalne Lebesgue’owsko. Nie można przypisać im objętości w sposób zgodny z normalnymi własnościami miary. Właśnie dlatego nie wolno napisać równania „suma objętości części = objętość kuli” i wyprowadzić sprzeczności. Krok, który w fizycznym cięciu jest oczywisty, tutaj nie ma zastosowania.
Rola aksjomatu wyboru
Standardowe dowody korzystają z aksjomatu wyboru lub zasad z nim związanych, aby wybrać reprezentantów z ogromnych rodzin orbit punktów pod działaniem odpowiednio dobranej grupy obrotów. Ten wybór jest niekonstruktywny: twierdzenie zapewnia istnienie wymaganych zbiorów, ale nie dostarcza procedury, która pozwalałaby oznaczyć każdy punkt rzeczywistej kuli i fizycznie wykroić odpowiednią część. To jeden z powodów, dla których Banach–Tarski często pojawia się w dyskusjach o intuicyjnych konsekwencjach aksjomatu wyboru.
Dlaczego trzy wymiary są istotne
Mechanizm wykorzystuje strukturę grup obrotów w przestrzeni trójwymiarowej, w której można znaleźć odpowiednio bogate działania grup swobodnych. W jednym i dwóch wymiarach analogiczne twierdzenie o paradoksalnym podwojeniu ograniczonych zbiorów za pomocą sztywnych ruchów nie działa w ten sam sposób. Wynik nie jest więc prostą własnością „każdej nieskończonej liczby punktów”, lecz zależy od geometrii i algebry przekształceń w R³.
Dlaczego fizycznej pomarańczy nie skopiujemy
Materia składa się z atomów, a nawet klasyczny model ciągły nie pozwala realizować niemierzalnych zbiorów jako osobnych, manipulowalnych kawałków. Twierdzenie operuje na idealnych punktach przestrzeni i na abstrakcyjnych podzbiorach, których nie da się wyodrębnić standardową procedurą pomiarową. Nie narusza praw fizyki ani zasady zachowania masy. Jest twierdzeniem o strukturze zbiorów i działaniach grup w matematycznym continuum.
Prawdziwy sens paradoksu
Banach–Tarski nie ujawnia sprzeczności w matematyce. Ujawnia konflikt między intuicją wykształconą na mierzalnych obiektach a możliwościami pełnej teorii mnogości z aksjomatem wyboru. Jeśli próbujemy traktować każdy podzbiór kuli jak zwykły kawałek mający objętość, dochodzimy do błędu. W standardowej teorii miary nie wszystkie podzbiory R³ są mierzalne. To właśnie w tej luce mieści się zaskakujący rezultat.
Gdyby wszystkie części miały zwykłą objętość, podwojenie byłoby niemożliwe
Załóżmy na chwilę, że każdy kawałek użyty w rozkładzie był mierzalny w zwykłym sensie i że sztywne ruchy zachowywały jego objętość. Skończona addytywność miary wymuszałaby wtedy, aby suma objętości części przed i po przestawieniu była taka sama. Z jednej kuli nie mogłyby powstać dwie kule o tej samej dodatniej objętości. Banach–Tarski omija właśnie tę przeszkodę: co najmniej niektórym skonstruowanym częściom nie można przypisać objętości Lebesgue’a w sposób zgodny z tymi własnościami. Dlatego rezultat nie obala teorii objętości — pokazuje granicę jej stosowalności do wszystkich możliwych podzbiorów continuum. Transformacje używane w twierdzeniu są ruchami sztywnymi — zasadniczo obrotami i przesunięciami — a nie rozciąganiem materiału. To jeszcze mocniej podkreśla, że źródłem zaskoczenia nie jest zmiana skali części, lecz ich niezwykła teoria mnogości. Gdy pracujemy tylko z mierzalnymi zbiorami, nie można wykonać takiego podwojenia przy zachowaniu objętości. Aksjomat wyboru umożliwia konstruowanie reprezentantów z orbit działania odpowiednich grup, co prowadzi do niemierzalnych części. Banach–Tarski jest więc miejscem spotkania geometrii, teorii grup, miary i aksjomatyki — a nie receptą na fizyczne rozmnażanie obiektów. Innymi słowy, paradoks nie łamie addytywności objętości; używa zbiorów, dla których taka objętość nie jest zdefiniowana. To właśnie usuwa pozorną sprzeczność.