Бесконечности бывают разного размера — и это доказано
Кажется, что бесконечность — это просто бесконечность, и больше неё ничего не бывает. Но математики доказали: одни бесконечности реально больше других. И доказательство умещается в один хитрый трюк.
Спроси кого угодно, какое число самое большое — и тебе ответят: бесконечность. А что больше бесконечности? Кажется, что ничего: дальше уже некуда. Но полтора века назад один математик доказал, что бесконечности бывают разного размера. И его доказательство настолько простое, что ты поймёшь его за пять минут.
Как вообще сравнивать бесконечности?
Сначала разберёмся, что значит «одинаковое количество». Представь, что в зале стоят стулья и сидят люди. Чтобы понять, кого больше, тебе не нужно их считать. Достаточно попросить всех сесть. Если каждый человек занял ровно один стул и ни одного свободного стула не осталось — значит, людей и стульев поровну. Ты сравнил два множества, ни разу не назвав ни одного числа.
Этот приём математики называют взаимно однозначным соответствием: каждому элементу одного набора находим ровно одну пару в другом. Если пары находятся для всех без остатка — наборы равны по размеру. Звучит просто, но именно эта идея позволяет работать с бесконечностью, где «просто посчитать» уже не получится.
Парадокс, который ломает интуицию
Возьмём все натуральные числа: 1, 2, 3, 4 и так далее до бесконечности. А теперь только чётные: 2, 4, 6, 8… Каких больше? Интуиция кричит: натуральных, ведь чётные — это лишь половина из них!
Но давай построим пары. Числу 1 поставим в соответствие 2, числу 2 — четвёрку, числу 3 — шестёрку. Правило простое: удваиваем. Каждому натуральному числу находится своя чётная пара, и наоборот — ни одно чётное число не остаётся без партнёра.
Часть бесконечного множества может быть равна целому. Это не ошибка — это и есть бесконечность.
Получается, чётных чисел столько же, сколько всех натуральных вместе. То же самое верно для квадратов, для чисел, делящихся на тысячу, и даже для всех целых чисел, включая отрицательные. Все эти множества имеют одинаковый размер бесконечности. Математики называют его счётным: если множество можно выстроить в очередь и перенумеровать (первый, второй, третий…), оно счётное.
А вот теперь — фокус Кантора
Немецкий математик Георг Кантор в 1870-х годах задал дерзкий вопрос: а все ли бесконечности счётные? Можно ли вообще придумать набор, который нельзя выстроить в очередь?
Оказалось, можно. Возьмём все числа на отрезке от 0 до 1 — то есть все бесконечные десятичные дроби вроде 0,5000…, 0,33333… или 0,14159…. Кантор предложил рассуждать от противного. Допустим, нам всё-таки удалось их пронумеровать и составить полный список — первое число, второе, третье и так до бесконечности. Якобы там есть все числа отрезка.
Теперь Кантор строит одно особенное число, цифра за цифрой:
- Первую цифру после запятой берём не такую, как первая цифра у первого числа в списке.
- Вторую цифру берём не такую, как вторая цифра у второго числа.
- Третью — не такую, как третья цифра у третьего числа. И так далее, идём по диагонали списка.
Что мы получили? Число, которого нет в списке. Оно не равно первому числу — отличается от него первой цифрой. Не равно второму — отличается второй цифрой. Не равно сотому, миллионному, любому — ведь с каждым оно расходится хотя бы в одной позиции. Мы клялись, что список полный, а только что построили число, которое туда не влезло. Противоречие!
Значит, исходное допущение было ложным: числа отрезка невозможно пронумеровать. Их слишком много даже для бесконечной очереди. Этот приём так и называют — диагональный метод Кантора.
Почему это вынос мозга
Вдумайся в результат. Натуральных чисел бесконечно много. Точек на крошечном отрезке от 0 до 1 — тоже бесконечно много. Но второй бесконечности больше, чем первой. Настолько больше, что между двумя любыми числами в твоём списке всегда найдётся ещё бесконечно много чисел, которые ты пропустил.
Представь библиотеку, где книги стоят в ряд и пронумерованы: первая, вторая, третья… Это счётная бесконечность — её можно обойти полку за полкой. А множество точек на отрезке — это библиотека, в которой между любыми двумя книгами всегда втиснута ещё бесконечность книг, и сколько ни нумеруй, ты всегда что-то упустишь. Полку просто нельзя выстроить.
Размер счётной бесконечности обозначают особым символом — алеф-нуль (первая буква еврейского алфавита). А бесконечность точек на отрезке называют континуумом, и она строго больше. Так Кантор открыл целую лестницу бесконечностей, уходящую всё выше: за каждой бесконечностью прячется ещё большая.
Зачем это всё?
Можно спросить: красивый фокус, но какой в нём прок? На самом деле открытие Кантора перевернуло математику. Оно показало, что бесконечность — не туманное «очень-очень много», а строгий объект, с которым можно работать по правилам, сравнивать и доказывать о нём теоремы.
Из этих идей выросла теория множеств — фундамент, на котором стоит вся современная математика. А диагональный метод позже всплыл в самых неожиданных местах: с его помощью доказали, что есть задачи, которые в принципе не может решить ни один компьютер. Да-да, тот самый трюк со списком и диагональю лежит в основе теории вычислимости.
Так что в следующий раз, когда кто-то скажет тебе «ну это же бесконечность, больше не бывает», ты можешь спокойно ответить: бывает. И это доказано.