Парадокс Банаха — Тарського

Парадокс Банаха — Тарського, або парадокс подвоєння кулі, стверджує, що тривимірна куля рівноскладена двом своїм копіям.

Кулю можна «розбити» на шматки і зібрати з них дві такі самі кулі.

Дві підмножини евклідового простору називаються рівноскладеними, якщо одну можна розбити на скінченне число «шматків» і скласти з них другу. При цьому для подвоєння кулі достатньо п'яти шматків, але чотирьох — ні.

Точніше, дві множини ${\displaystyle A}$ і ${\displaystyle B}$ є рівноскладеними, якщо їх можна представити як скінченне об'єднання підмножин без перетинів ${\displaystyle A=\bigcup _{i}^{n}A_{i}}$, ${\displaystyle B=\bigcup _{i}^{n}B_{i}}$ так, що для кожного ${\displaystyle i}$ підмножина ${\displaystyle A_{i}}$ конгруентна ${\displaystyle B_{i}}$.

Дійсний також сильніший варіант парадоксу:

Будь-які дві обмежені підмножини евклідового простору з непорожньою внутрішністю є рівноскладеними.

Зважаючи на його неправдоподібність, цей парадокс часто використовують як аргумент проти прийняття аксіоми вибору, яка істотно використовується для побудови такого розбиття. Прийняття відповідної альтернативної аксіоми дозволяє довести неможливість зазначеного розбиття, не залишаючи місця для цього парадоксу.

Парадокс був відкритий 1926 року Стефаном Банахом і Альфредом Тарським. Дуже подібний на більш ранній парадокс Гаусдорфа, і його доведення засноване на тій самій ідеї. Тому правильніше називати Парадокс Банаха — Тарського парадоксом Гаусдорфа — Банаха — Тарського.

Значення для теорії міри

Розділяючи кулю на скінченне число частин, ми інтуїтивно очікуємо, що, складаючи ці частини разом, можна отримати тільки суцільні фігури, об'єм яких в сумі рівний об'єму вихідної кулі. Однак це справедливо лише в разі, коли куля ділиться на частини, що мають об'єм. Суть парадоксу полягає в тому, що в тривимірному просторі існують невимірні множини, які не мають об'єму, якщо під об'ємом ми розуміємо те, що має властивість адитивності, і припускаємо, що об'єми двох конгруентних множин рівні. Очевидно, що «шматки» в такому розбитті не можуть бути вимірними (і неможливо здійснити таке розбиття будь-якими засобами на практиці).

Для плоского круга аналогічна теорема не дійсна. Більш того, Банах показав, що на площині поняття площі може бути продовжене на всі обмежені множини як , інваріантна щодо рухів; зокрема, будь-яка множина, рівноскладена кругу, має ту саму площу. Гаусдорф показав, що подібне зробити не можна на двовимірній сфері і, отже, у тривимірному просторі, і парадокс Банаха — Тарського дає цьому наочну ілюстрацію.

Тим не менш, деякі парадоксальні розбиття можливі й на площині: круг можна розбити на скінченне число (вистачає 10⁵⁰) частин і скласти з них квадрат рівної площі, при цьому можливо переміщати частини тільки за допомогою паралельних перенесень (див. Квадратура круга Тарського).

Посилання

1. Miklos Laczkovich: «Equidecomposability and discrepancy: a solution to Tarski's circle squaring problem», Crelle's Journal of Reine and Angewandte Mathematik 404 (1990) pp. 77-117.
2. Miklos Laczkovich: «Paradoxical decompositions: a survey of recent results.» First European Congress of Mathematics, Vol. II (Paris, 1992), pp. 159—184, Progr. Math., 120, Birkh.user, Basel, 1994.

Література

• Ця побудова дуже докладно описана в книзі Ященко, И. В. Парадоксы теории множеств // Библиотека «Математическое просвещение». — вып. 20. — 2002. — с. 40. — .
• Wapner, Leonard M. The Pea and the Sun: A Mathematical Paradox (2005)(англ.)
• Wagon, S. The Banach — Tarski Paradox (1993)(англ.)
• Оригінальна стаття Банаха і Тарского: Banach, S., Tarski, A. Sur la décomposition des ensembles de points en parties respectivement congruentes // Fundamenta Mathematicae. — № 6. — 1924. — pp. 244—277.(фр.)
• Hausdorff, F. // Mathematische Annalen. — vol 75. — 1914. — pp. 428—434.
• Секей, Г. Парадоксы в теории вероятностей и математической статистике. — М. : РХД, 2003. — 271 с. — .

Див. також

• Список об'єктів, названих на честь Стефана Банаха
• Гіпотеза фон Неймана