Бесконечность — не число.
∞ не стоит на числовой прямой. у неё нет координаты. она не больше googol на единицу. она устроена иначе.
Мы пишем ∞ так, как будто это число. Сравниваем: «больше бесконечности» — обычно бессмысленная фраза, но звучит. Делим: 1/∞ = 0 — опасное упрощение, верное только в пределе. Складываем: ∞ + 1 = ∞ — и не замечаем, что это странно для арифметики, где обычно прибавление единицы что-то меняет.
Бесконечность — не число. Это концепция предела. Когда мы пишем limn→∞ 1/n = 0, мы не говорим, что n «стало» бесконечностью в какой-то момент. Мы говорим: при росте n без ограничений, 1/n приближается к нулю настолько близко, насколько мы захотим. ∞ — это не пункт назначения, а направление движения1.
Тогда почему Кантор говорит о разных бесконечностях — ℵ₀, ℵ₁, и так далее? Потому что там другой вопрос: не «как далеко», а «сколько». Это мощность множества — понятие о размере, не о месте на прямой. Натуральных чисел ℵ₀ штук — счётно бесконечно. Вещественных чисел 𝔠 штук — несчётно бесконечно. Это разные «сколько». Но ни ℵ₀, ни 𝔠 не числа в обычном смысле — это кардинальные числа, отдельная математическая категория со своей арифметикой.
Бесконечность — это не очень большое число. Это что-то принципиально другое.
В проективной геометрии точку бесконечности добавляют явно. Прямые, которые в обычной геометрии параллельны, в проективной встречаются в «бесконечно удалённой точке». Это удобно: исключения исчезают, теоремы становятся чище. Но это расширение обычной геометрии — ∞ добавлена договорённостью, чтобы упростить язык.
В расширенной вещественной прямой ℝ̄ = ℝ ∪ {−∞, +∞} тоже добавляют ∞ как точку. Тут можно писать 1/0 = +∞, x + ∞ = ∞ для x ∈ ℝ, и так далее. Удобно для записи пределов. Но арифметика ломается: ∞ − ∞ не определено, 0 · ∞ не определено, ∞ / ∞ не определено. Расплата за удобство — целый класс «неопределённостей».
Самое странное: ∞n и n∞ при разных основаниях ведут себя по-разному. Это и есть неопределённости — ∞/∞, 0·∞, 1∞, ∞ − ∞. Их значение зависит от того, как именно операнды стремятся к своим пределам. Правило Лопиталя и теорема Штольца — инструменты для работы с ними. Без этих инструментов вычислить (1 + 1/n)n при n → ∞ — это и есть e — было бы невозможно2.
Парадокс Гильберта: отель с бесконечным числом номеров, все заняты. Приезжает новый гость. Переселяем каждого из номера n в номер n + 1. Номер 1 свободен. Гость заселяется. Бесконечность плюс один — всё ещё бесконечность3. Можно заселить и автобус с бесконечным числом гостей: переселяем каждого из номера n в 2n, и нечётные номера свободны.
Это не трюк. Это свойство счётных множеств: ℕ и ℕ ∪ {новый элемент} — одинаковой мощности. Биекция между ними существует (n ↔ n + 1, плюс новый элемент ↔ 1). Они «одного размера» в смысле Кантора. Та же логика заселит и второй автобус, и третий — пока счётно много автобусов с счётно многими гостями приезжают, отель Гильберта справится.
Почему это вообще странно? Потому что в конечном мире такого не бывает. Если в зале 100 мест и 100 человек, для 101-го места нет — никакая перестановка не помогает. У бесконечных множеств появляется новое свойство: они могут быть в биекции с собственным подмножеством. Это, собственно, и можно взять как определение бесконечного множества — Дедекинд так и сделал.
Бесконечность — не число потому, что не удовлетворяет аксиомам числа. С ней не работают законы коммутативности и ассоциативности привычным образом. Это не ошибка и не недостаток. Это инструмент. Мощный, точный — но инструмент, не объект на числовой прямой.