Интуитивно "бесконечность" кажется чем-то единым. Но Георг Кантор (конец XIX века) доказал: бесконечностей много, и они разного "размера". Это одно из самых странных открытий математики.
Счётная бесконечность
Множество натуральных чисел {1, 2, 3, ...} бесконечно. Его "размер" обозначается ℵ₀ (алеф-ноль). Все множества, которые можно пронумеровать натуральными числами, имеют тот же размер.
Удивительный факт: рациональных чисел (дробей) тоже ℵ₀. Их можно упорядочить в последовательность, хотя кажется, что их "больше".
Несчётная бесконечность
Кантор доказал: действительных чисел (всех точек на числовой прямой) больше, чем натуральных. Их нельзя пронумеровать. Их размер — ℵ₁ или "мощность континуума".
Диагональный аргумент
Знаменитое доказательство Кантора. Предположим, что все действительные числа от 0 до 1 пронумерованы. Напишем их как бесконечные десятичные дроби. Теперь создадим новое число: n-я цифра отличается от n-й цифры n-го числа в списке. Это новое число не может быть в списке — следовательно, числа нельзя пронумеровать.
Континуум-гипотеза
Существует ли множество, которое больше ℵ₀ но меньше ℵ₁? Это вопрос, на который нельзя ответить в стандартной теории множеств. Можно построить математику, где гипотеза верна, и где неверна. Обе версии согласованы.
Иерархия бесконечностей
ℵ₀, ℵ₁, ℵ₂, ... — бесконечная лестница бесконечностей. Каждая больше предыдущей. Это не умозрительная игра — она проявляется в топологии, логике, теории вычислений.
Практическое значение
Мало. Большинство науки обходится без этих тонкостей. Но теория множеств — фундамент всей математики. Парадоксы бесконечности повлияли на философию математики и на наше понимание того, что такое "число".
Обсуждение (0)
Войдите, чтобы задать вопрос
Загрузка комментариев…