Бесконечно большое число

Бесконечно большое число — это нестрогий термин, используемый в математике, физике и повседневной речи для обозначения величины, превосходящей любое наперёд заданное число. В строгой математике понятие «бесконечно большое число» не является числом в обычном смысле, а описывается через понятие предела, актуальной бесконечности (в теории множеств) или нестандартного анализа.

Определение и основные подходы

В зависимости от контекста «бесконечно большое число» может означать:

• В обыденной речи: число, которое кажется чрезвычайно большим, не поддающимся непосредственному восприятию (например, «миллиард звёзд»).
• В математическом анализе: переменная величина, стремящаяся к бесконечности. Формально: последовательность \( a_n \) называется бесконечно большой, если для любого числа \( M > 0 \) существует номер \( N \), такой что при \( n > N \) выполняется \( |a_n| > M \). Сама «бесконечность» здесь — не число, а символ предела (∞).
• В теории множеств (кардинальная арифметика): актуальные бесконечные числа — мощности бесконечных множеств. Наименьшее бесконечное кардинальное число обозначается \( \aleph_0 \) (алеф-нуль) — мощность счётного множества (например, натуральных чисел). Существуют и бо́льшие бесконечные кардиналы, например, \( \aleph_1, \aleph_2, \dots \), а также \( \beth_1 \) (мощность континуума — вещественных чисел).
• В нестандартном анализе (Абрахам Робинсон, 1960-е): существуют формальные «бесконечно большие числа» (гипердействительные числа), которые больше любого стандартного вещественного числа. Они являются обратными величинами к бесконечно малым числам. Например, число \( \omega = 1/\varepsilon \), где \( \varepsilon \) — бесконечно малая величина.

История развития понятия

Античность

Древнегреческие математики (Аристотель, Евклид, Архимед) избегали актуальной бесконечности. Аристотель различал потенциальную бесконечность (процесс, который можно продолжать без конца, например, счёт) и актуальную бесконечность (завершённое бесконечное множество). Потенциальная бесконечность считалась допустимой, актуальная — противоречивой. В «Началах» Евклида утверждается, что простых чисел бесконечно много, но это понимается как потенциальная возможность.

Средневековье и эпоха Возрождения

В средневековой схоластике (Григорий Римский, Уильям Оккам) обсуждались парадоксы бесконечности, связанные с божественным всемогуществом. В XIV веке Николай Орем исследовал бесконечные ряды и их суммы. В XVI веке Джон Валлис ввёл символ ∞ (лемниската) для обозначения бесконечности.

Новое время

В XVII–XVIII веках развитие математического анализа (Ньютон, Лейбниц) привело к использованию бесконечно малых и бесконечно больших величин, но строгое обоснование отсутствовало. Понятие «бесконечно большое число» часто использовалось как синоним «бесконечно удалённой точки» в геометрии или «предела».

XIX век

В XIX веке Карл Вейерштрасс, Огюстен Коши и Бернхард Риман дали строгое определение предела, устранив необходимость в актуальных бесконечно больших числах в анализе. В 1870-х годах Георг Кантор создал теорию множеств, введя понятие актуальной бесконечности и кардинальных чисел. Он показал, что существуют разные «бесконечности»: мощность множества натуральных чисел (счётная) меньше мощности вещественных чисел (континуум).

XX век

В 1960-х годах Абрахам Робинсон разработал нестандартный анализ, в котором бесконечно малые и бесконечно большие числа являются строгими математическими объектами. Это позволило вернуться к идеям Лейбница на новой логической основе.

Классификация бесконечно больших чисел

1. Потенциальная бесконечность

Не является числом, а обозначает процесс, не имеющий предела. Например, последовательность 1, 2, 3, 4, … — она неограниченно возрастает, но не достигает «конечного» бесконечного числа. В анализе это выражается символом ∞.

2. Актуальная бесконечность (кардинальные числа)

В теории множеств бесконечные числа — это мощности множеств. Они подчиняются своей арифметике (кардинальная арифметика).

• Счётные множества: \( \aleph_0 \) — мощность натуральных чисел, целых чисел, рациональных чисел.
• Континуум: \( \mathfrak{c} \) — мощность вещественных чисел. Гипотеза континуума (Кантор, 1878) утверждает, что \( \mathfrak{c} = \aleph_1 \), то есть нет множества с мощностью строго между \( \aleph_0 \) и \( \mathfrak{c} \). Эта гипотеза не зависит от стандартных аксиом теории множеств (ZFC) — она ни доказуема, ни опровержима в рамках ZFC (доказано Полом Коэном в 1963 году).
• Более высокие кардиналы: \( \aleph_2, \aleph_3, \dots \) — мощности множеств всех подмножеств континуума и т.д.

3. Нестандартные бесконечно большие числа

В нестандартном анализе (гипердействительные числа) существуют элементы, которые больше любого стандартного вещественного числа. Они обозначаются как \( \omega, \omega+1, \omega^2 \) и т.д. Они образуют неархимедово упорядоченное поле, то есть для любого стандартного числа \( r \) существует бесконечно большое число \( H \), такое что \( H > r \). Арифметика с ними сохраняет все свойства обычных чисел, но не является архимедовой (нет свойства, что для любых двух положительных чисел одно можно превзойти, умножая другое на натуральное число).

4. Ординальные числа

В теории множеств ординальные числа — это обобщение натуральных чисел на бесконечные «порядковые номера». Первое бесконечное ординальное число — \( \omega \). Затем следуют \( \omega+1, \omega+2, \dots, \omega+\omega = \omega \cdot 2, \dots, \omega^2, \dots, \omega^\omega, \dots \). Ординальная арифметика отличается от кардинальной: \( \omega+1 > \omega \), но \( \aleph_0+1 = \aleph_0 \).

Примеры бесконечно больших чисел в разных контекстах

• В математическом анализе: \( \lim_{x \to 0} \frac{1}{x^2} = \infty \). Здесь ∞ — символ, обозначающий, что функция неограниченно возрастает.
• В теории множеств: \( \aleph_0 \) — мощность множества натуральных чисел; \( \aleph_1 \) — мощность множества всех счётных ординалов; \( \aleph_2 \) — мощность множества всех подмножеств множества мощности \( \aleph_1 \).
• В нестандартном анализе: \( H = \frac{1}{\varepsilon} \), где \( \varepsilon \) — бесконечно малая. Тогда \( H \) — бесконечно большое число. Например, \( H > 10^{100} \), но \( H+1 > H \).
• В физике: понятие «бесконечно большое» используется в космологии (сингулярность в центре чёрной дыры — точка, где плотность и кривизна пространства-времени становятся бесконечными) и в квантовой теории поля (расходимости, требующие перенормировки).

Критика и парадоксы

• Парадокс Галилея (1638): Натуральные числа и их квадраты (1, 4, 9, 16, …) можно поставить во взаимно однозначное соответствие, хотя квадратов «меньше». Это показывает, что часть может быть равна целому для бесконечных множеств, что противоречит интуиции.
• Парадокс Банаха — Тарского (1924): Шар в трёхмерном пространстве можно разбить на конечное число частей и собрать из них два шара, каждый того же объёма, что и исходный. Это возможно только при использовании аксиомы выбора и бесконечных множеств.
• Критика актуальной бесконечности: Некоторые философы и математики (например, Л. Э. Брауэр, интуиционисты) отвергают актуальную бесконечность, считая её метафизической, а не математической. В интуиционизме признаётся только потенциальная бесконечность.
• Неопределённость: В нестандартном анализе бесконечно большие числа не являются единственными — их бесконечно много, и они не образуют «самого большого» числа.

Применение

• Математика: Теория пределов, теория меры, функциональный анализ, теория множеств, нестандартный анализ.
• Физика: Теория относительности (сингулярности), квантовая теория поля (перенормировка), статистическая физика (термодинамический предел).
• Информатика: Теория вычислимости (машины Тьюринга, проблема остановки), теория сложности (асимптотический анализ).
• Философия: Метафизика бесконечности, теология (атрибуты Бога), парадоксы Зенона.

См. также

• Бесконечность
• Гипотеза континуума
• Кардинальное число
• Ординальное число
• Нестандартный анализ
• Предел функции
• Парадокс Банаха — Тарского

Источники

1. Кантор Г. «Труды по теории множеств». — М.: Наука, 1985.
2. Робинсон А. «Нестандартный анализ». — М.: Мир, 1974.
3. Коэн П. Дж. «Теория множеств и континуум-гипотеза». — М.: Мир, 1969.
4. Вейерштрасс К. «Лекции по математическому анализу». — М.: Наука, 1967.
5. Успенский В. А. «Что такое аксиоматический метод?». — М.: Наука, 1988.
6. Фейнман Р. «Квантовая электродинамика: странная теория света и вещества». — М.: Наука, 1988.
7. Больцано Б. «Парадоксы бесконечного». — М.: Наука, 1985.