Что такое бесконечность и сколько их

Интуитивно "бесконечность" кажется чем-то единым. Но Георг Кантор (конец XIX века) доказал: бесконечностей много, и они разного "размера". Это одно из самых странных открытий математики.

Счётная бесконечность

Множество натуральных чисел {1, 2, 3, ...} бесконечно. Его "размер" обозначается ℵ₀ (алеф-ноль). Все множества, которые можно пронумеровать натуральными числами, имеют тот же размер.

Удивительный факт: рациональных чисел (дробей) тоже ℵ₀. Их можно упорядочить в последовательность, хотя кажется, что их "больше".

Несчётная бесконечность

Кантор доказал: действительных чисел (всех точек на числовой прямой) больше, чем натуральных. Их нельзя пронумеровать. Их размер — ℵ₁ или "мощность континуума".

Диагональный аргумент

Знаменитое доказательство Кантора. Предположим, что все действительные числа от 0 до 1 пронумерованы. Напишем их как бесконечные десятичные дроби. Теперь создадим новое число: n-я цифра отличается от n-й цифры n-го числа в списке. Это новое число не может быть в списке — следовательно, числа нельзя пронумеровать.

Континуум-гипотеза

Существует ли множество, которое больше ℵ₀ но меньше ℵ₁? Это вопрос, на который нельзя ответить в стандартной теории множеств. Можно построить математику, где гипотеза верна, и где неверна. Обе версии согласованы.

Иерархия бесконечностей

ℵ₀, ℵ₁, ℵ₂, ... — бесконечная лестница бесконечностей. Каждая больше предыдущей. Это не умозрительная игра — она проявляется в топологии, логике, теории вычислений.

Практическое значение

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