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

Шар можно разобрать на несколько кусков и собрать из них два точно таких же шара — без растяжения. Звучит как магия, но это теорема.

Парадокс Банаха — Тарского — теорема о том, что шар можно разбить на конечное число частей и, лишь поворачивая и сдвигая их, собрать из них два шара, равных исходному.

Это, пожалуй, самый шокирующий результат математики. Он не нарушает законов физики (реальный мяч так не размножить), но в мире идеальных бесконечно делимых множеств он строго доказан. Разберёмся, как такое вообще возможно.

Где прячется фокус

Секрет в природе «частей». Это не обычные куски, которые можно вырезать ножом, а немыслимо рваные множества точек — настолько изрезанные, что у них нет понятия объёма. Их называют неизмеримыми. Для обычных тел объём сохраняется при разрезании: сумма объёмов частей равна целому. Но неизмеримые множества выпадают из этого закона — к ним нельзя приписать объём, и потому привычное «сумма частей = целое» к ним неприменимо.

Чтобы почувствовать механизм, посмотрим на упрощённую аналогию со счётной бесконечностью — как множество можно «раздвоить» сдвигом:

# Аналогия: натуральные числа "разбиваем" на два множества,
# каждое из которых сдвигом превращается во ВСЕ натуральные.
evens = [2 * k for k in range(1, 6)]      # чётные
odds = [2 * k - 1 for k in range(1, 6)]   # нечётные

# Чётные, делённые на 2, дают все натуральные:
from_evens = [n // 2 for n in evens]
# Нечётные, сдвинутые, тоже дают все натуральные:
from_odds = [(n + 1) // 2 for n in odds]

print("Чётные:", evens, "-> перенумеровали в", from_evens)
print("Нечётные:", odds, "-> перенумеровали в", from_odds)
print("Из ОДНОГО множества N получили ДВЕ копии N — суть парадокса")

Вывод:

Чётные: [2, 4, 6, 8, 10] -> перенумеровали в [1, 2, 3, 4, 5]
Нечётные: [1, 3, 5, 7, 9] -> перенумеровали в [1, 2, 3, 4, 5]
Из ОДНОГО множества N получили ДВЕ копии N — суть парадокса

Как работает под капотом

Аналогия выше показывает идею в зачатке: множество натуральных чисел распадается на чётные и нечётные, и каждая половина «равномощна» целому — то есть из одного $\mathbb{N}$ получаются две его копии. Банах и Тарский провернули похожий трюк в трёх измерениях, но вместо простого сдвига использовали группу поворотов шара, которая ведёт себя как «свободная группа» — в ней есть такое же саморазмножающее разбиение. Куски шара кодируются последовательностями поворотов, и эти последовательности можно перетасовать так, что получатся два полных набора. Решающую роль играет аксиома выбора — спорный принцип, позволяющий «выбрать» точки для неизмеримых множеств. Без неё парадокс не строится.

Частые ошибки

Это не про физическую материю: атомы не делятся бесконечно, реальный мяч не удвоить. Парадокс не нарушает сохранение объёма — он лишь показывает, что «объём» нельзя определить для всех множеств. И «парадокс» здесь не ошибка, а строгая теорема, противоречащая интуиции, но не логике.

Итог

Шар можно «разобрать» на части и собрать два таких же.
Части — неизмеримые множества без понятия объёма.
Опирается на аксиому выбора.
Не противоречит физике: это про идеальную бесконечную делимость.