Парадоксы бесконечности.

Интуиция хорошо работает для конечных вещей. Часть меньше целого. Из ничего не получить что-то. Множество не может быть элементом самого себя. Для бесконечных вещей всё это неверно.

Представь отель с бесконечным числом номеров. Все номера заняты. Приезжает ещё один гость. В обычном отеле — мест нет. В отеле Гильберта — пожалуйста1.

Попросим каждого гостя переехать из номера n в номер n+1. Номер 1 освободился. Приехал автобус с бесконечным числом пассажиров. Попросим каждого гостя переехать из номера n в номер 2n. Освободились все нечётные номера — бесконечно много мест. Приехало бесконечно много автобусов с бесконечным числом пассажиров. И это решается — через диагональный обход Кантора.

Отель Гильберта показывает: ℵ₀ + 1 = ℵ₀. ℵ₀ + ℵ₀ = ℵ₀. ℵ₀ × ℵ₀ = ℵ₀. Бесконечность не «становится больше» от добавления. Часть бесконечного множества может быть равномощна целому.

1924 год. Стефан Банах и Альфред Тарский доказали теорему: твёрдый шар можно разбить на конечное число частей и сложить из них два шара того же размера2.

Буквально: один шар → два одинаковых шара. Из ничего — удвоение объёма. Это не фокус и не ошибка. Это теорема.

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

Парадокс — это не противоречие в природе вещей, а противоречие между природой вещей и нашим недостаточным пониманием их. — Пер Мартин-Лёф

Теорема Банаха–Тарского использует аксиому выбора. Она говорит: для любого семейства непустых множеств существует функция, выбирающая по одному элементу из каждого. Кажется очевидным. Но влечёт парадоксальные следствия. Математики приняли аксиому выбора — без неё слишком многое перестаёт работать. Платой стали такие парадоксы. Математика непротиворечива — но контринтуитивна.

1901 год. Бертран Рассел нашёл противоречие в наивной теории множеств Фреге3.

Рассмотрим множество всех множеств, которые не содержат себя как элемент. Назовём его R. Содержит ли R само себя?

Если да — R содержит себя, значит по определению R не должно входить в R. Противоречие. Если нет — R не содержит себя, значит по определению R должно входить в R. Снова противоречие.

R не может ни содержать себя, ни не содержать. Такое множество не существует — но определение кажется законным. Это разрушило наивную теорию множеств. Фреге получил письмо от Рассела, когда его книга уже печаталась. Он добавил послесловие: «Основание науки поколеблено».

Ответом стала аксиоматическая теория множеств — ZFC. В ZFC нельзя написать «множество всех множеств» — такой объект просто не существует по аксиомам4. Парадокс исчезает — потому что запрещён.

Все три парадокса говорят об одном: математическая интуиция — опасный инструмент. Она работает в знакомых областях. На границах — ломается. Задача математики — не доверять интуиции, а строить формальные системы, которые работают даже тогда, когда интуиция молчит.