Бесконечность — понятие в математике и философии¶

Бесконечность — понятие, обозначающее свойство объектов или множеств, не имеющих конца, границы или предела по величине, количеству или продолжительности. В математике бесконечность рассматривается как строго определённое понятие, введённое Георгом Кантором в теории множеств; в философии она остаётся предметом онтологических и метафизических дискуссий. Символ бесконечности — ∞ (леmniscata), введён в XVII веке английским математиком Джоном Уоллисом.

¶История понятия

¶Античность

Проблема бесконечности обсуждалась ещё в Древней Греции. Зенон Элейский (около 490—430 до н. э.) сформулировал парадоксы бесконечности, в частности парадокс Ахиллеса и черепахи и парадокс дихотомии, показывающие трудности понимания бесконечных делимых отрезков. Аристотель разграничил «актуальную» и «потенциальную» бесконечность: последовательность натуральных чисел потенциально бесконечна, но актуально бесконечных множеств, по его мнению, не существует. Эта позиция господствовала в западной мысли более тысячи лет.

¶Средние века и Новое время

Средневековые богословы, включая Фому Аквинского, связывали актуальную бесконечность с Богом как абсолютным началом. В XVII—XVIII веках с развитием математического анализа появилась необходимость строго работать с бесконечно малыми и бесконечно большими величинами. Исаак Ньютон и Готфрид Лейбниц создали исчисление бесконечно малых, опираясь на нестрогие интуитивные представления о пределах.

¶Теория множеств Кантора

Прорыв произошёл в 1870-х годах, когда Георг Кантор разработал теорию множеств. Кантор показал, что бесконечные множества можно сравнивать по мощности (кардинальному числу элементов). Он доказал, что множество натуральных чисел и множество вещественных чисел имеют разную мощность: первое счетно, второе — несчётно. Это открытие вызвало острую полемику, в которую были вовлечены Давид Гильберт, Леопольд Кронекер, Эмиль Борель и другие математики.

¶Математическая бесконечность

¶Актуальная и потенциальная бесконечность

В современной математике различают:

• Потенциальная бесконечность — незавершённый, но принципиально продолжаемый процесс: натуральный ряд 1, 2, 3, … никогда не завершается, но каждый конкретный элемент конечен.
• Актуальная бесконечность — бесконечное множество, рассматриваемое как завершённый объект: множество всех натуральных чисел ℕ.

¶Кардинальные и порядковые числа

Кантор ввёл арифметику бесконечных кардинальных чисел. Наименьшая трансфинитная кардинальность — ℵ₀ (aleph-null), мощность счётных множеств. Следующая — ℵ₁, и так далее. Кантор доказал гипотезу континуума для множеств мощности ℵ₀, показав, что мощность вещественных чисел равна 2^ℵ₀.

Также существуют трансфинитные порядковые числа: ω (омега) — наименьший порядковый тип бесконечной упорядоченной последовательности, за ним следуют ω+1, ω·2, ω² и другие.

¶Счётность и несчётность

Множество называется счётным, если его элементы можно поставить в один-один对应 с натуральными числами. Счётны: целые числа, рациональные числа, множество всех конечных последовательностей. Несчётны: вещественные числа, множество всех подмножеств натуральных чисел (по теореме Кантора), множество точек прямой.

¶Парадоксы бесконечности

Работа с актуальной бесконечностью порождает контринтуитивные результаты:

• Парадокс гостиницы Гильберта — если гостиница со счётным числом номеров занята, туда всё равно можно поселить ещё счётное число гостей.
• Парадокс парковки — бесконечная парковка может вместить бесконечное число автобусов, каждый из которых содержит бесконечное число пассажиров.
• Парадокс Банаха — Тарского — шар можно разрезать на конечное число кусков и собрать из них два шара, идентичных исходному.

¶Философия бесконечности

¶Онтологические вопросы

Философия бесконечности включает вопросы о том, существует ли бесконечность реально или является лишь продуктом мышления. Иммануил Кант в «Критике чистого разума» относил бесконечность к антиномиям чистого разума: тезис о мире как целом, имеющем начало во времени и ограниченном пространстве, противоречит антитезису о бесконечности мира в пространстве и времени.

¶Бесконечность в религии

В авраамических религиях бесконечность атрибутируется Богу: он всемогущ, вечен, неисчерпаем. В исламской философии Аль-Газали и Ибн Сина разрабатывали понятие бесконечного знания Бога. В индуистской философии циклы космического времени (калы) бесконечно чередуются.

¶Философский инфинитизм

Некоторые философы, в частности Николай Кузанский (1401—1464), утверждали, что абсолютная бесконечность непостижима для конечного разума, а вся познаваемая реальность — лишь «приближение» к бесконечному. Георг Гегель в «Науке логики» рассматривал бесконечность как диалектическое единство конечного и бесконечного.

¶Бесконечность в космологии

Вопрос о бесконечности Вселенной остаётся открытым. Согласно стандартной космологической модели, Вселенная конечна в прошлом (её возраст около 13,8 млрд лет), но может быть бесконечна в пространстве. Это подтверждается данными о плоской геометрии реликтового излучения. В теории вечной инфляции бесконечное число «пузырей» пространства порождает мультивселенную.

¶Применение

Понятие бесконечности применяется в математическом анализе (пределы, ряды, интегралы), теории вероятностей (непрерывные распределения), теории алгоритмов (неразрешимые задачи, машина Тьюринга), фрактальной геометрии (бесконечная длина контура при конечной площади).

¶Исторические факты

• Символ ∞ ввёл Джон Уоллис в 1655 году в трактате «De sectionibus conicis».
• Дэвид Гильберт в 1925 году предложил программу обоснования математики с использованием актуальной бесконечности.
• В 1963 году Пауль Коэн доказал независимость гипотезы континуума от аксиом теории множеств, показав, что вопрос о размерах бесконечностей частично недоступен стандартным методам.

¶Источники

• Кантор Г. «Об одной особенности рациональных множеств» (1874)
• Гильберт Д. «О бесконечных задачах» (1925)
• Нагель Э., Ньюман Дж. «Гёдельова теорема» (1958)
• Кузанский Н. «Об учёном незнании» (1440)
• Зенон Элейский — фрагменты парадоксов (дошедшие через Симпликия)
• Энциклопедия «Кругосвет» — статья «Бесконечность»
• Математическая энциклопедия (М.: Советская энциклопедия, 1977—1985)