Представьте гостиницу с бесконечным количеством номеров. Все номера заняты. В полночь приезжает ещё один гость — уставший, голодный, с чемоданом. Администратор улыбается и говорит: «Свободных мест у нас нет, но номер мы для вас найдём». Как такое возможно?
Бесконечность в математике — это не «очень много». Это совершенно другой мир, в котором правила обычной арифметики ломаются, где часть может быть равна целому, а бесконечности бывают разного размера. В этой статье покажу, почему бесконечность оказалась самым странным и самым полезным изобретением математиков.
Коротко: что такое бесконечность
Бесконечность — это свойство множества не иметь конца. В математике её обозначают символом ∞ (ввёл британский математик Джон Валлис в 1655 году). Но бесконечность — это не число, с которым можно считать привычным способом: ∞ + 1 = ∞, ∞ − ∞ — неопределённость, а бесконечностей бывает больше одной.
🤯 В 1874 году немецкий математик Георг Кантор доказал: между нулём и единицей «больше» чисел, чем во всём бесконечном ряду 1, 2, 3, 4… Бесконечности имеют разный размер, и это одно из самых удивительных открытий в истории математики.
Теорема Кантора о мощности
Пример для самых маленьких: игра в «кто последний»
Представьте, что вы с другом играете в простую игру: называете числа по очереди, и кто назвал большее — тот победил. Вы говорите «сто», друг — «тысяча», вы — «миллион». Пока никто не устанет, игра будет продолжаться: к любому числу всегда можно прибавить единицу. Именно это чувство — «никогда не закончится» — и есть первая встреча с бесконечностью.
А теперь представьте, что вы складываете бумажный самолётик, разворачиваете половинку листа, складываете пополам, ещё пополам и ещё пополам. Теоретически делить пополам можно бесконечно — никогда не доберётесь до «последнего» кусочка. Это вторая встреча с бесконечностью: бесконечное дробление. Две разные ситуации, но обе бесконечны.
Отель Гильберта: бесконечность + 1 = бесконечность
Вернёмся к гостинице из начала. Это не сказка, а знаменитый мысленный эксперимент немецкого математика Давида Гильберта (1924 год). Он придумал его, чтобы показать: бесконечность ведёт себя совсем не так, как конечные числа.
Отель Гильберта бесконечен — у него есть номера 1, 2, 3, 4, 5 и так далее, без конца. Все номера заняты. Как поселить нового гостя?
Решение: администратор объявляет по громкоговорителю: «Уважаемые гости, переедьте, пожалуйста, каждый в номер, следующий за вашим. Из первого во второй, из второго в третий, из тысячного в тысяча первый». Все перемещаются, первый номер освобождается, новый гость заселяется. Все по-прежнему в отеле, и никто не остался без номера.
А что, если приедет автобус с бесконечным числом туристов? Тогда каждый старый гость переезжает из номера n в номер 2n — во второй, четвёртый, шестой, восьмой… Все нечётные номера (1, 3, 5, 7…) освобождаются, и туда заселяются новые гости. В обычной гостинице такое невозможно: там «все номера заняты» действительно значит «новых не поселим».
Потенциальная и актуальная бесконечность
Древние греки — Аристотель и его последователи — различали два вида бесконечности:
- Потенциальная — это процесс без конца. Я могу прибавлять единицу сколь угодно долго, но никогда не «доберусь» до бесконечности. Бесконечность здесь — недостижимый горизонт.
- Актуальная — это бесконечное множество, которое существует целиком, «сразу». Например, множество всех натуральных чисел {1, 2, 3, 4, …} — вот оно, бери и работай.
Две тысячи лет математики боялись актуальной бесконечности: слишком много парадоксов. Перелом произошёл в XIX веке, когда Кантор сказал: «Давайте перестанем бояться и научимся считать бесконечности».
Счётная и несчётная бесконечность
Ключевая идея Кантора: два бесконечных множества «одинаковы по размеру», если можно расставить их элементы в пары — каждому элементу первого множества поставить в соответствие ровно один элемент второго. Это называется биекция.
Возьмём натуральные числа 1, 2, 3, 4, 5… и чётные числа 2, 4, 6, 8, 10… Казалось бы, чётных вдвое меньше. Но их можно расставить в пары:
1 ↔ 2 2 ↔ 4 3 ↔ 6 4 ↔ 8 5 ↔ 10 … n ↔ 2n
Каждому натуральному числу соответствует ровно одно чётное, и наоборот. Значит, чётных чисел столько же, сколько натуральных. Часть равна целому. Вот она — первая странность бесконечности.
Все множества, которые можно занумеровать натуральными числами (то есть поставить в биекцию с ℕ), называются счётными. Их «размер» (математики говорят «мощность») обозначают символом ℵ₀ (алеф-нуль). Сюда попадают: натуральные, целые, чётные, нечётные и даже рациональные числа (дроби вида p/q).
Диагональный аргумент Кантора
А вот с вещественными числами фокус не проходит. Кантор доказал: числа на отрезке [0, 1] занумеровать натуральными НЕЛЬЗЯ. Сколько ни пытайся — обязательно найдётся число, которого в списке нет.
Доказательство знаменитое и красивое. Предположим, мы всё-таки выписали все вещественные числа из [0, 1]:
1. 0,314159… 2. 0,173205… 3. 0,414213… 4. 0,212132… 5. 0,732050… …
Теперь построим новое число: возьмём первую цифру первого числа, вторую цифру второго, третью цифру третьего и так далее (это диагональ — 3, 7, 4, 1, 5…). Каждую цифру заменим на любую другую (например, прибавим 1): получим 0,48526… Это число отличается от первого в первой позиции, от второго — во второй, от третьего — в третьей. Значит, в нашем «полном» списке его нет. Противоречие! Список не мог быть полным.
Мощность вещественных чисел больше, чем ℵ₀. Её обозначают 𝔠 (continuum, континуум) или ℵ₁. Итог: бесконечности бывают разного размера. Как минимум — двух.
Пример для взрослых: бесконечность в технике и финансах
Кажется, что вся эта «игра с бесконечностями» — чистая абстракция. На деле — нет. Весь математический анализ, на котором держатся инженерия, физика и экономика, построен на понятии предела, то есть контролируемого подхода к бесконечности. Несколько примеров:
- Скорость автомобиля в момент t. Мгновенная скорость — это предел средней скорости на всё меньшем промежутке времени. Когда инженер проектирует антиблокировочную систему тормозов, он оперирует именно этим пределом, то есть бесконечно малым приращением времени.
- Аннуитеты и вечные ренты. Если облигация платит фиксированный доход вечно (так называемый perpetual bond), её справедливая цена считается как сумма бесконечного геометрического ряда: цена = купон/ставка. В Великобритании такие консоли (консолидированные облигации) выпускались больше 270 лет.
- Компьютерная графика. Когда ваш телефон сглаживает линию в видеоигре (антиалиасинг), он численно приближает интеграл — а интеграл построен на бесконечном разбиении площади на бесконечно узкие прямоугольники.
Без математической бесконечности не было бы ни GPS, ни сотовой связи, ни ипотечных калькуляторов. Абстракция работает.
Попробуй сам
Задача 1. В отель Гильберта одновременно приезжают два бесконечных автобуса с туристами. Все номера заняты. Как разместить и старых гостей, и туристов из обоих автобусов?
Посмотреть решение
Старых гостей переселяем в номера, кратные трём: из n в 3n (номера 3, 6, 9, 12…). Туристов первого автобуса — в номера 3n − 2 (1, 4, 7, 10…). Туристов второго — в номера 3n − 1 (2, 5, 8, 11…). Все три бесконечных множества разместились. Этот приём обобщается: в отель можно поселить любое счётное число бесконечных автобусов.
Задача 2. Какое множество больше по мощности: все натуральные числа ℕ или все точки на числовой прямой ℝ? Почему?
Посмотреть решение
Мощность ℝ строго больше мощности ℕ. Это следствие диагонального аргумента Кантора: если бы все вещественные числа можно было занумеровать натуральными, мы бы построили вещественное число, которого нет в списке — противоречие. Мощность ℕ равна ℵ₀ (счётная бесконечность), мощность ℝ равна 𝔠 (континуум), и 𝔠 > ℵ₀.
Задача 3. Сумма 1 + 1/2 + 1/4 + 1/8 + 1/16 + … — это сумма бесконечного количества слагаемых. Сколько она равна?
Посмотреть решение
Эта сумма равна 2. Визуально: возьмите отрезок длины 2. Пройдите половину — осталось 1. Пройдите половину оставшегося (0,5) — осталось 0,5. И так далее. Каждый шаг сокращает оставшееся расстояние вдвое, но ни за какое конечное число шагов вы не пройдёте все 2 единицы. Однако сумма всех пройденных кусочков стремится к 2 и в пределе равна 2. Это пример геометрической прогрессии со знаменателем 1/2, сумма которой равна a/(1−q) = 1/(1−1/2) = 2.
История: от богохульства к математическому инструменту
Отношение к бесконечности веками было настороженным. В V веке до н.э. Зенон Элейский придумал парадокс Ахилла и черепахи: быстрый Ахилл никогда не догонит медленную черепаху, если даст ей фору, — ведь пока он добежит до её позиции, она уже продвинется чуть-чуть вперёд, и так бесконечно. Вывод Зенона: движение невозможно. Разрешить этот парадокс смогли только через две тысячи лет — с помощью сходящихся рядов.
Галилей в XVII веке заметил: квадратов 1, 4, 9, 16… столько же, сколько натуральных чисел 1, 2, 3, 4… — и ужаснулся. Он написал, что «атрибуты „равно“, „больше“, „меньше“ неприменимы к бесконечности». На 200 лет математики оставили бесконечность в покое.
Переворот устроил Георг Кантор (1845–1918). В 1870-х годах он создал теорию множеств и доказал, что бесконечности бывают разных размеров. За это его травили коллеги — Леопольд Кронекер назвал Кантора «развратителем юношества» и блокировал его карьеру. Кантор несколько раз попадал в психиатрические клиники. Только к середине XX века математическое сообщество признало его работы и встроило в фундамент современной математики.
Удивительный финал: бесконечностей — бесконечно много
Мы нашли две бесконечности: счётную (ℵ₀) и континуум (𝔠). А есть ли ещё? Кантор доказал поразительную теорему: для любого множества A множество всех его подмножеств имеет строго большую мощность. Это значит, что из ℕ мы получаем ℵ₀. Из множества всех подмножеств ℕ — ℵ₁. Из множества всех подмножеств этого — ещё больший ℵ₂. И так до бесконечности.
Получается иерархия бесконечностей: ℵ₀ < ℵ₁ < ℵ₂ < ℵ₃ < … — сама по себе бесконечная. Бесконечность бесконечностей. При этом вопрос, какая именно бесконечность равна континууму (𝔠 = ℵ₁ или 𝔠 > ℵ₁?), — один из самых знаменитых нерешаемых вопросов математики. В 1963 году Пол Коэн доказал, что ответ невозможно получить из стандартных аксиом теории множеств: эта гипотеза (CH, континуум-гипотеза) не доказуема и не опровергаема в ZFC. Бесконечность до сих пор хранит свои тайны.
FAQ
Бесконечность — это число?
Нет, ∞ — не число в обычном смысле. С ним нельзя работать как с 2 или 7: ∞ + 1 = ∞, ∞ − ∞ — неопределённость. В теории множеств бесконечность — это свойство множества (не иметь конца) и мощность (ℵ₀, 𝔠 и т.д.). В математическом анализе ∞ — символ предела, к которому стремится величина.
Чему равно ∞ − ∞?
Это неопределённость — ответ зависит от того, какие именно «бесконечности» вы вычитаете. Если обе бесконечности получены как пределы, результат может быть любым числом, 0, +∞, −∞ или вовсе не существовать. Например, (n+1) − n = 1, (2n) − n = ∞, n − n = 0 — и во всех трёх случаях обе части стремятся к бесконечности. Именно поэтому в математическом анализе такие выражения называют «неопределёнными формами» и раскрывают через правило Лопиталя или другие приёмы.
Сколько существует бесконечностей?
Бесконечностей — бесконечно много, причём их иерархия сама бесконечна. Минимум две — счётная (ℵ₀, мощность натуральных чисел) и континуум (𝔠, мощность вещественных). По теореме Кантора, для любой бесконечности есть ещё большая, так что получается башня ℵ₀ < ℵ₁ < ℵ₂ < …
Кто придумал символ ∞?
Символ бесконечности ∞ (ленту Мёбиуса-подобный знак) ввёл английский математик Джон Валлис в 1655 году в работе «De Sectionibus Conicis». Откуда он его взял — точно не известно. Есть версия, что это искажённая римская цифра 1000 (CIƆ), а также что символ восходит к омеге (ω) — последней букве греческого алфавита, намекающей на «конец, которого нет».
Бесконечно делимая пицца: сколько кусков получится?
Если делить пиццу идеально (как в математике, без учёта атомов), то за любое конечное число разрезов вы получите конечное число кусков. Но если разрешить бесконечное число разрезов, то кусков будет бесконечно много — и при этом каждый будет иметь нулевую площадь. Это один из парадоксов меры: бесконечное множество точек может иметь нулевой «размер». На этой идее построено всё интегральное исчисление.