Любой шар в трёхмерном пространстве можно разрезать на конечное число частей, а затем, используя только повороты и сдвиги (без растяжений и деформаций), собрать из этих частей два шара, каждый из которых полностью идентичен исходному по размеру и объёму.
История возникновения парадокса
В 1924 году два польских математика — Стефан Банах и Альфред Тарский — опубликовали работу «Sur la décomposition des ensembles de points en parties respectivement congruentes» в журнале Fundamenta Mathematicae. Статья произвела эффект разорвавшейся бомбы в математическом сообществе. Авторы строго доказали, что трёхмерный шар можно разбить на конечное число непересекающихся подмножеств, которые затем можно переставить и повернуть так, чтобы получить два шара, идентичных исходному.
Но корни парадокса уходят глубже. Ещё в 1914 году немецкий математик Феликс Хаусдорф обнаружил нечто похожее: он показал, что сферу (поверхность шара) можно разбить на части и собрать заново, потеряв при этом лишь счётное множество точек. Это был так называемый парадокс Хаусдорфа — прямой предшественник результата Банаха-Тарского. Банах и Тарский пошли дальше: они избавились от необходимости «терять» какие-либо точки и распространили результат на весь шар, а не только на его поверхность.
Контекст появления парадокса неотделим от бурных дебатов начала XX века о природе математики. Теория множеств Кантора уже взорвала представления о бесконечности, а аксиома выбора Цермело (1904 год) стала одним из самых спорных утверждений в истории математики. Именно на аксиому выбора опирается доказательство Банаха-Тарского, и именно поэтому парадокс стал одним из главных аргументов противников этой аксиомы.
| Год | Учёный | Вклад |
|---|---|---|
| 1904 | Эрнст Цермело | Формулировка аксиомы выбора, без которой парадокс невозможен |
| 1914 | Феликс Хаусдорф | Парадокс Хаусдорфа — парадоксальное разложение сферы с потерей счётного числа точек |
| 1924 | Стефан Банах, Альфред Тарский | Доказательство парадоксального разложения шара без потери точек |
| 1929 | Джон фон Нейман | Анализ групповых свойств, лежащих в основе парадокса; введение понятия аменабельных групп |
| 1991 | Стэн Уэгон | Публикация монографии «The Banach-Tarski Paradox», систематизировавшей всё, что известно о парадоксе |
В чём именно заключается противоречие
Представьте, что у вас в руках апельсин. Вы берёте нож, разрезаете его на пять кусков, а затем, не сжимая и не растягивая ни одного куска, собираете из них два апельсина — каждый точно такого же размера, как исходный. Звучит как дешёвый фокус? Именно это утверждает теорема Банаха-Тарского, только вместо апельсина — математический шар, а вместо ножа — аксиома выбора.
Противоречие здесь бьёт по самой интуиции. Мы привыкли, что объём — вещь сохраняющаяся. Если вы разрезали литровую банку на куски, из этих кусков нельзя собрать две литровые банки. Закон сохранения вещества, здравый смысл, повседневный опыт — всё кричит: так не бывает. Но математика говорит: бывает.
Ключевое слово здесь — неизмеримые множества. Куски, на которые «разрезается» шар, не являются обычными геометрическими фигурами. Их нельзя нарисовать, нельзя вылепить из глины, нельзя даже вообразить в привычном смысле. Это облака точек настолько причудливой структуры, что к ним невозможно приписать какой-либо объём. У них нет площади поверхности, нет толщины — они существуют только в мире чистой абстракции.
Проиллюстрируем суть на упрощённом примере. Возьмём отрезок от 0 до 1 на числовой прямой. В нём бесконечно много точек. Теперь возьмём отрезок от 0 до 2 — в нём тоже бесконечно много точек, и эти бесконечности одинаковой мощности. Каждой точке x из первого отрезка можно поставить в соответствие точку 2x из второго. Бесконечность ломает привычную арифметику: «часть» может быть равна «целому». Парадокс Банаха-Тарского эксплуатирует похожую логику, но в гораздо более изощрённой форме.
Мысленный эксперимент: если бы парадокс Банаха-Тарского работал с физическими объектами, вы могли бы взять один золотой слиток, разрезать его на пять частей и получить два таких же слитка. Затем проделать то же самое с каждым из двух. Потом с каждым из четырёх. Из одного слитка — бесконечно много золота. Почему это невозможно в реальности? Потому что материя состоит из атомов — дискретных, счётных единиц, а парадокс работает только с непрерывным математическим пространством, где точки образуют несчётное множество.
Механизм парадокса: как это работает
Чтобы понять внутреннюю логику парадокса, нужно познакомиться с несколькими ключевыми ингредиентами.
Аксиома выбора
Аксиома выбора утверждает: для любого набора непустых множеств существует функция, которая из каждого множества выбирает ровно один элемент. Звучит безобидно — как зайти в магазин и из каждой корзины взять по яблоку. Но когда множеств бесконечно много, а выбор нельзя описать явным правилом, начинается магия. Именно аксиома выбора позволяет «сконструировать» те немыслимые куски шара, которые невозможно описать, нарисовать или даже определить явной формулой — их существование гарантируется исключительно этой аксиомой.
Свободная группа вращений
Группа всех вращений трёхмерного пространства содержит подгруппу, изоморфную так называемой свободной группе с двумя образующими. Это означает, что существуют два вращения — назовём их A и B — такие, что никакая нетривиальная комбинация этих вращений и их обратных не даёт тождественного преобразования. Это ключевое алгебраическое свойство, без которого парадокс не работает.
Парадоксальное разложение свободной группы
Свободная группа с двумя образующими парадоксальна сама по себе. Её можно разбить на четыре части так, что каждая часть при применении одного вращения покрывает «почти всю» группу. Это как если бы четверть пирога при повороте стала целым пирогом.
Последовательность шагов доказательства:
- Выбрать два вращения A и B, порождающие свободную подгруппу группы вращений SO(3).
- Разбить эту свободную группу на четыре парадоксальных подмножества (слова, начинающиеся с A, A⁻¹, B, B⁻¹).
- С помощью аксиомы выбора «перенести» это разбиение на точки шара: каждая точка сферы (за исключением счётного набора) получает метку в соответствии с элементом группы.
- Обработать оставшиеся счётные исключения отдельным приёмом.
- Собрать из полученных пяти частей два полных шара, применяя к частям только повороты и параллельные переносы.
Минимальное число частей, на которые нужно разбить шар, равно пяти. Это доказано: меньшим числом обойтись нельзя.
Попытки решения и интерпретации
Парадокс Банаха-Тарского — это не ошибка в доказательстве. Это теорема: строгий, логически безупречный результат. Поэтому «решить» его означает не опровергнуть, а объяснить, почему он не разрушает математику и физику.
| Подход | Авторы / Школа | Суть объяснения |
|---|---|---|
| Отказ от аксиомы выбора | Интуиционисты, конструктивисты (Брауэр, Гейтинг) | Если не принимать аксиому выбора, парадоксальное разложение невозможно. Но отказ от аксиомы выбора влечёт потерю огромного числа других полезных результатов (например, теоремы Тихонова, леммы Цорна, теоремы Хана-Банаха). |
| Неизмеримые множества | Анри Лебег, теория меры | Парадокс показывает, что не всем подмножествам трёхмерного пространства можно приписать объём. Части разложения — неизмеримые по Лебегу множества. Мера Лебега «не видит» этих кусков, и противоречия с сохранением объёма не возникает. |
| Аменабельные группы | Джон фон Нейман (1929) | Парадокс возможен, потому что группа вращений SO(3) не является аменабельной — она содержит свободную подгруппу. На плоскости (в двух измерениях) группа движений аменабельна, и аналогичный парадокс для двумерного круга невозможен с использованием только изометрий плоскости. |
| Модели Солове | Роберт Солове (1970) | Построил модель теории множеств (без полной аксиомы выбора, но со слабым вариантом — аксиомой зависимого выбора), в которой все подмножества вещественных чисел измеримы по Лебегу. В такой модели парадокс Банаха-Тарского не работает. |
| Физическая неприменимость | Консенсус физического сообщества | Физическое пространство, возможно, не является непрерывным на планковских масштабах (~10⁻³⁵ м). Материя дискретна (атомы, кварки). Понятие «точки» — абстракция. Парадокс не применим к физическому миру. |
Парадокс Банаха-Тарского не нарушает закон сохранения энергии и массы, потому что «куски», на которые разбивается шар, принципиально не могут существовать в физической реальности — они являются объектами чистой теории множеств, не имеющими аналогов среди материальных тел.
Позиция фон Неймана
Джон фон Нейман предложил, пожалуй, самое глубокое объяснение природы парадокса. Он показал, что вопрос «Можно ли парадоксально разложить множество?» сводится к свойствам группы преобразований, действующей на это множество. Если группа аменабельна (допускает инвариантную конечно-аддитивную меру), парадокс невозможен. Если нет — возможен.
- Группа движений плоскости (сдвиги + повороты в 2D) — аменабельна. Парадокса с кругом нет.
- Группа движений пространства (сдвиги + повороты в 3D) — неаменабельна, содержит свободную подгруппу. Парадокс с шаром возможен.
- Однако! В 1990 году Миклош Лацкович доказал, что круг на плоскости всё-таки можно «парадоксально» разложить, если использовать только параллельные переносы (без поворотов). Потребовалось около 10⁵⁰ частей. Это показало, что картина тоньше, чем представлялось фон Нейману.
Где парадокс встречается в науке и математике
Может показаться, что парадокс Банаха-Тарского — чисто теоретический курьёз, не имеющий последствий за пределами кабинетной математики. Это не так.
Теория меры и функциональный анализ
Парадокс стал одним из главных мотивов для развития теории меры. Он наглядно демонстрирует, почему мера Лебега не может быть определена на всех подмножествах пространства. Это фундаментальное ограничение пронизывает весь современный анализ, теорию вероятностей и математическую физику.
Основания математики
Парадокс — один из самых сильных аргументов в дискуссии об аксиоме выбора. Он показывает, что принятие этой аксиомы ведёт к существованию объектов, радикально противоречащих геометрической интуиции. Это не означает, что аксиома «неправильна» — скорее, что математическая вселенная гораздо страннее, чем наша физическая.
Геометрическая теория групп
Понятие аменабельности, введённое фон Нейманом для анализа парадокса, стало одним из центральных в современной алгебре и геометрии. Аменабельные группы играют ключевую роль в эргодической теории, динамических системах и даже в теории случайных блужданий.
Квантовая механика и физика
Хотя парадокс Банаха-Тарского не реализуем физически, он перекликается с некоторыми контринтуитивными свойствами квантовой механики. Например, квантовая запутанность тоже позволяет «создать» корреляции, невозможные в классическом мире, хотя и по совершенно другим причинам. Некоторые исследователи (например, работы Клиффтона, Бабб и Хальворсона, 2003) используют структуры, родственные парадоксу Банаха-Тарского, при анализе алгебраической квантовой теории поля.
| Область | Влияние парадокса |
|---|---|
| Теория меры | Обоснование невозможности универсальной счётно-аддитивной меры в R³ |
| Теория групп | Развитие теории аменабельных групп и проблема фон Неймана |
| Основания математики | Центральный аргумент в дискуссии о статусе аксиомы выбора |
| Топология и геометрия | Мотивация для изучения парадоксальных разложений в различных пространствах |
| Образование | Один из самых популярных примеров для демонстрации контринтуитивности математики |
Задумайтесь: парадокс Банаха-Тарского работает в трёх и более измерениях, но не работает для плоских фигур при использовании движений плоскости. Мы живём в трёхмерном мире. Значит ли это, что наше пространство «более парадоксально», чем плоскость? Или, может быть, это подсказка, что настоящая структура физического пространства принципиально отличается от математического ℝ³?
Интересные факты и связанные парадоксы
- Горох и Солнце. Следствие теоремы Банаха-Тарского: горошину можно разрезать на конечное число частей и собрать из них шар размером с Солнце. Более того, любое ограниченное множество в ℝ³ с непустой внутренностью эквиразложимо с любым другим. Размер не имеет значения.
- Пять — минимальное число частей. Доказано, что невозможно обойтись четырьмя частями. Пять — строгий минимум, причём одна из пяти частей может быть единственной точкой (центром шара).
- На прямой не работает. В одномерном пространстве (на числовой прямой) парадоксальное разложение отрезка невозможно. Группа движений прямой — сдвиги и отражения — слишком «бедна» для создания парадокса.
- На плоскости — почти работает. Для двумерных фигур парадокс невозможен с использованием всех движений плоскости (повороты + сдвиги), но Миклош Лацкович в 1990 году показал, что квадратуру круга можно провести перестановками — круг разбивается на конечное число частей, из которых с помощью одних лишь сдвигов собирается квадрат равной площади. Это использует аксиому выбора.
- Число частей Лацковича. Для превращения круга в квадрат Лацкович использовал примерно 10⁵⁰ частей. Никто до сих пор не знает, какое минимальное число частей достаточно.
- Парадокс не является «парадоксом» в строгом логическом смысле — это не противоречие. Это теорема: строго доказанное утверждение, истинное в рамках стандартной теории множеств ZFC. «Парадоксом» его называют только потому, что результат шокирует интуицию.
- Видео Vsauce. Один из самых популярных научно-популярных роликов на YouTube, набравший свыше 40 миллионов просмотров, посвящён именно парадоксу Банаха-Тарского. Видео Майкла Стивенса (2015) познакомило с парадоксом миллионы людей, далёких от математики.
- Связь с парадоксом отеля Гильберта. Отель Гильберта показывает, что бесконечное множество может «вместить» дополнительные элементы без увеличения размера. Парадокс Банаха-Тарского — трёхмерная, геометрическая, гораздо более изощрённая версия той же идеи: бесконечность позволяет «создавать» что-то из ничего.
- Парадокс Хаусдорфа (1914). Прямой предшественник: поверхность сферы можно разбить на три части (плюс счётное множество) так, что каждая часть конгруэнтна каждой другой, и при этом одна из частей конгруэнтна объединению двух оставшихся.
Родственные парадоксы и результаты
| Парадокс / Результат | Год | Связь с Банахом-Тарским |
|---|---|---|
| Парадокс Витали (неизмеримое множество) | 1905 | Первый пример множества без определённой длины. Использует аксиому выбора. Простейший «предок» парадокса. |
| Парадокс Хаусдорфа | 1914 | Прямой предшественник — парадоксальное разложение сферы. |
| Проблема фон Неймана | 1929 | Вопрос: верно ли, что группа без свободной подгруппы обязательно аменабельна? (Ответ: нет, контрпример найден Ольшанским в 1980.) |
| Теорема Лацковича о квадратуре круга | 1990 | Разложение круга в квадрат с помощью сдвигов — духовный наследник парадокса. |
| Парадокс удвоения (общий) | — | Общее название для результатов, где объект «удваивается» посредством разбиения и перекомпоновки. |
Почему это важно
Парадокс Банаха-Тарского — это не математический фокус и не ошибка. Это зеркало, в котором математика видит свои собственные границы и возможности. Он показывает, что наши представления о пространстве, объёме и «количестве материи» — это модели, а не абсолютные истины. Модели прекрасно работают для физических тел, но ломаются, когда мы заходим на территорию бесконечности и неизмеримых множеств.
Этот парадокс заставляет задать неудобный вопрос: что реальнее — математическое пространство из несчётного числа точек или физическое пространство из кварков и планковских длин? Если математика описывает реальность, то почему она содержит результаты, принципиально несовместимые с физикой? А если не описывает — то что она такое?
Парадокс Банаха-Тарского напоминает, что математика — не служанка физики, а самостоятельная вселенная со своими законами. И в этой вселенной из одного шара можно собрать два. А из двух — четыре. А из четырёх — бесконечность.