Бесконечность — не обычное число с конкретным значением. В анализе символ ∞ описывает неограниченный рост, а в теории множеств сравнивают мощности бесконечных множеств: натуральные числа счётны, вещественные — нет.
Представьте гостиницу с бесконечным количеством номеров. Все номера заняты. Приезжает ещё один гость. Администратор говорит: «Свободных мест нет, но номер найдём». Эта мысленная модель поможет понять счётную бесконечность.
Как разместить два автобуса?
Задача 1. В отель Гильберта одновременно приезжают два бесконечных автобуса с туристами. Все номера заняты. Как разместить и старых гостей, и туристов из обоих автобусов?
Посмотреть решение
Старых гостей переселяем в номера, кратные трём: из n в 3n (номера 3, 6, 9, 12…). Туристов первого автобуса — в номера 3n − 2 (1, 4, 7, 10…). Туристов второго — в номера 3n − 1 (2, 5, 8, 11…). Все три бесконечных множества разместились. Этот приём обобщается: в отель можно поселить любое счётное число бесконечных автобусов.
Пример гостиницы показывает, почему бесконечность не стоит понимать как очень большое конечное количество. Часть бесконечного множества может иметь ту же мощность, что и целое. При этом обычные числовые вычисления, сравнение мощностей и рассуждения о пределах — разные задачи: для каждой нужны свои определения и правила.
Содержание
Что такое бесконечность
Бесконечное множество не содержит конечного числа элементов. В математике её обозначают символом ∞ (ввёл британский математик Джон Валлис в 1655 году). Но бесконечность — это не число, с которым можно считать привычным способом: ∞ + 1 = ∞, ∞ − ∞ — неопределённость, а бесконечностей бывает больше одной.
Чему равна бесконечность?
У бесконечности нет конечного числового значения. Символ ∞ показывает не конкретное «самое большое число», а неограниченный рост или отсутствие конца. Поэтому ответить «бесконечность равна такому-то числу» нельзя.
| Запись | Как понимать |
|---|---|
| ∞ + 1 = ∞ | Условная запись: добавление конечного элемента не делает бесконечное множество конечным |
| ∞ − ∞ | Неопределённость: результат зависит от конкретного предельного выражения |
| 1 / ∞ = 0 | Не обычное деление; в задачах о пределах это сокращённая идея, что 1/x стремится к 0 при росте x |
| ∞ / ∞ | Неопределённость: разные выражения могут иметь разные пределы |
В 1874 году немецкий математик Георг Кантор опубликовал доказательство: между нулём и единицей «больше» чисел, чем во всём бесконечном ряду 1, 2, 3, 4… Бесконечности имеют разный размер, и это одно из самых удивительных открытий в истории математики.
Теорема Кантора о мощности
Пример для самых маленьких: игра в «кто последний»
Представьте, что вы с другом играете в простую игру: называете числа по очереди, и кто назвал большее — тот победил. Вы говорите «сто», друг — «тысяча», вы — «миллион». Пока никто не устанет, игра будет продолжаться: к любому числу всегда можно прибавить единицу. Именно это чувство — «никогда не закончится» — и есть первая встреча с бесконечностью.
А теперь представьте, что вы складываете бумажный самолётик, разворачиваете половинку листа, складываете пополам, ещё пополам и ещё пополам. Теоретически делить пополам можно бесконечно — никогда не доберётесь до «последнего» кусочка. Это вторая встреча с бесконечностью: бесконечное дробление. Две разные ситуации, но обе бесконечны.
Отель Гильберта: бесконечность + 1 = бесконечность
Вернёмся к гостинице из начала. Это знаменитый мысленный эксперимент Давида Гильберта: он использовал его в лекциях зимнего семестра 1924–1925 годов. Расселение показывает, как счётное бесконечное множество отличается от конечного набора номеров.
Отель Гильберта бесконечен — у него есть номера 1, 2, 3, 4, 5 и так далее, без конца. Все номера заняты. Как поселить нового гостя?
Решение: администратор объявляет по громкоговорителю: «Уважаемые гости, переедьте, пожалуйста, каждый в номер, следующий за вашим. Из первого во второй, из второго в третий, из тысячного в тысяча первый». Все перемещаются, первый номер освобождается, новый гость заселяется. Все по-прежнему в отеле, и никто не остался без номера.
А что, если приедет автобус с бесконечным числом туристов? Тогда каждый старый гость переезжает из номера n в номер 2n — во второй, четвёртый, шестой, восьмой… Все нечётные номера (1, 3, 5, 7…) освобождаются, и туда заселяются новые гости. В обычной гостинице такое невозможно: там «все номера заняты» действительно значит «новых не поселим».
Потенциальная и актуальная бесконечность
Аристотель различал потенциальную бесконечность процесса и актуальную бесконечность, понимаемую как завершённое целое. Он допускал неограниченное продолжение счёта или деления, но отрицал актуально бесконечную величину. В современной математике термин используют в другом контексте: например, рассматривают множество натуральных чисел целиком.
- Потенциальная — это процесс без конца. Я могу прибавлять единицу сколь угодно долго, но никогда не «доберусь» до бесконечности. Бесконечность здесь — недостижимый горизонт.
- Актуальная — это бесконечное множество, которое существует целиком, «сразу». Например, множество всех натуральных чисел {1, 2, 3, 4, …} — вот оно, бери и работай.
Полезно различать процесс, который можно продолжать без конца, и бесконечное множество как завершённый объект исследования. Теория множеств Кантора позволила сравнивать такие множества по взаимно однозначному соответствию. Это точный математический критерий, а не сравнение с очень большим конечным числом.
Счётная и несчётная бесконечность
Ключевая идея Кантора: два бесконечных множества «одинаковы по размеру», если можно расставить их элементы в пары — каждый элемент первого множества поставить в пару с ровно одним элементом второго, причём каждый элемент второго тоже входит ровно в одну пару. Это называется биекция.
Возьмём натуральные числа 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, возьмём 2, иначе 1. Получим 0,11121… Новое число отличается от первого в первой позиции, от второго — во второй и так далее. В нём только цифры 1 и 2, поэтому двоякая запись вроде 0,4999…=0,5 не мешает сравнению. Числа нет в нашем «полном» списке: список не мог быть полным.
Мощность вещественных чисел больше, чем ℵ₀. Её обозначают 𝔠 (континуум); она равна 2ℵ₀. Равенство 𝔠=ℵ₁ — отдельная континуум-гипотеза, а не определение континуума. Бесконечные множества бывают разного размера: натуральные числа можно занумеровать, вещественные — нельзя.
Пример для взрослых: бесконечность в технике и финансах
Пределы позволяют описывать поведение величины при приближении аргумента к заданной точке или при его неограниченном росте. Значение предела может быть конечным: например, 1/n стремится к 0 при n→∞. Поэтому математический анализ нельзя свести к «подходу к бесконечности». Пределы применяют к последовательностям, производным и интегралам. Несколько примеров:
- Скорость автомобиля в момент t. Мгновенная скорость — это предел средней скорости на всё меньшем промежутке времени. Это определение математической модели. Реальная антиблокировочная система использует измерения датчиков скорости колёс и обработку сигналов; определение через предел не означает, что датчик измеряет бесконечно малый промежуток.
- Аннуитеты и вечные ренты. В учебной модели одинаковый платёж C начинается со следующего периода, а ставка r>0 постоянна. Тогда приведённая стоимость бесконечной серии платежей равна C/r: это сумма геометрического ряда. Модель не учитывает кредитный риск, инфляцию и изменение ставки. Британское правительство использовало бессрочные облигации; последние оставшиеся выпуски погашены в 2015 году.
- Компьютерная графика. При сглаживании линий некоторые методы используют несколько выборок внутри пикселя, другие работают как экранные фильтры. Усреднение выборок можно связать с приближением непрерывной модели, но у всех алгоритмов нет одного общего механизма. Конкретный метод определяет, какие данные берут и как уменьшают видимые ступеньки.
Практический пример не требует выполнять бесконечно много операций на компьютере. Бесконечная модель задаёт предел или сумму, а вычислительная процедура использует конечное число шагов и контролирует приближение. Поэтому полезно различать математическое описание, численный метод и устройство, которое получает реальные измерения.
Попробуй сам
Задача 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 веке до н.э. Зенон Элейский придумал парадокс Ахилла и черепахи: быстрый Ахилл никогда не догонит медленную черепаху, если даст ей фору, — ведь пока он добежит до её позиции, она уже продвинется чуть-чуть вперёд, и так бесконечно. Вывод Зенона: движение невозможно. Аристотель обсуждал этот аргумент уже в античности. В современной математической модели последовательность всё меньших промежутков времени может иметь конечную сумму: бесконечное число слагаемых не обязательно даёт бесконечный результат.
Каждому натуральному числу n соответствует его квадрат n². Обратно, каждый полный квадрат имеет натуральный корень. Поэтому множество квадратов счётно, хотя не каждое натуральное число является квадратом. Для конечных множеств собственная часть содержит меньше элементов; для бесконечных сравнение по биекции может дать одинаковую мощность.
Георг Кантор (1845–1918) развивал теорию множеств в XIX веке. Его результат о несчётности вещественных чисел показал, что бесконечные множества могут иметь разные мощности. Идеи получили признание ещё при его жизни: континуум-гипотеза стала первой в списке проблем Гильберта 1900 года. Этот вопрос оказался важен для оснований математики, а не только для отдельных числовых примеров.
Удивительный финал: бесконечностей — бесконечно много
Мы нашли счётную бесконечность ℵ₀ и континуум 𝔠. Теорема Кантора говорит: множество всех подмножеств любого множества A имеет строго большую мощность, чем A. Для ℕ эта новая мощность равна 2ℵ₀=𝔠, для следующего множества подмножеств — 2𝔠. Поэтому ℵ₀ < 𝔠 < 2𝔠 < … . Эти степени нельзя автоматически называть ℵ₁ и ℵ₂.
Алефы ℵ₀ < ℵ₁ < ℵ₂ < … образуют отдельную иерархию бесконечных мощностей. Континуум-гипотеза утверждает, что 𝔠=ℵ₁. Результаты Гёделя и Коэна показывают: если стандартная система аксиом теории множеств ZFC непротиворечива, в ней нельзя ни доказать, ни опровергнуть CH. Это независимость от выбранных аксиом, а не утверждение, что вопрос лишён смысла.
FAQ
Бесконечность — это число?
Нет, ∞ — не число в обычном смысле. С ним нельзя работать как с 2 или 7: ∞ + 1 = ∞, ∞ − ∞ — неопределённость. В теории множеств рассматривают бесконечные множества и сравнивают их мощности (ℵ₀, 𝔠 и т.д.). В математическом анализе запись предела +∞ означает, что величина в рассматриваемом процессе становится больше любого заранее заданного числа.
Чему равно ∞ − ∞?
Это неопределённость — ответ зависит от того, какие именно «бесконечности» вы вычитаете. Если обе бесконечности получены как пределы, результат может быть любым числом, 0, +∞, −∞ или вовсе не существовать. Например, (n+1) − n = 1, (2n) − n = n → +∞ при n → +∞, n − n = 0 — и во всех трёх случаях обе части стремятся к бесконечности. Именно поэтому в математическом анализе такую запись называют неопределённой формой: нужно исследовать предел конкретного выражения. Выбор метода зависит от его вида и условий; правило Лопиталя применяют к подходящим дробям, а не непосредственно к любой разности.
Сколько существует бесконечностей?
Бесконечностей — бесконечно много, причём их иерархия сама бесконечна. Минимум две — счётная (ℵ₀, мощность натуральных чисел) и континуум (𝔠, мощность вещественных). По теореме Кантора, для любой бесконечности есть ещё большая. Получается бесконечная цепочка: ℵ₀, затем 2^ℵ₀, затем 2^(2^ℵ₀) и так далее. Совпадает ли 2^ℵ₀ с ℵ₁ — это континуум-гипотеза, её нельзя ни доказать, ни опровергнуть в обычных аксиомах. Алефы же идут по порядку: ℵ₀ < ℵ₁ < ℵ₂ < …
Кто придумал символ ∞?
Символ бесконечности ∞ (ленту Мёбиуса-подобный знак) ввёл английский математик Джон Валлис в 1655 году в работе «De Sectionibus Conicis». Откуда он его взял — точно не известно. Есть версия, что это искажённая римская цифра 1000 (CIƆ), а также что символ восходит к омеге (ω) — последней букве греческого алфавита, намекающей на «конец, которого нет».
Бесконечно делимая пицца: сколько кусков получится?
За конечное число разрезов пицца делится на конечное число кусков. Бесконечное разбиение не делает каждый кусок нулевым: можно отделять половину оставшейся площади и получать куски площадей A/2, A/4, A/8, … . Каждый положителен, а их сумма равна A. Отдельная точка имеет нулевую площадь, но разбиение на несчётное множество точек — другая конструкция: к ней нельзя применять правило суммирования счётного ряда площадей.
1 комментарий к “Бесконечность в математике: это число или нет и чему она равна”