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

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

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

¶Античность

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

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

В средневековой схоластике (Бонавентура, Фома Аквинский) обсуждалась бесконечность божественного бытия. В XVII веке с развитием математического анализа понятие бесконечно малых и бесконечно больших величин стало рабочим инструментом: Исаак Ньютон и Готфрид Лейбниц создали дифференциальное и интегральное исчисление, в которых величины «стремятся» к пределам. Формализация предельных переходов была завершена в XIX веке трудами Огюстена Луи Коши и Карла Вейерштрасса (ε-δ определение предела).

¶Множества и трансфинитные числа

Георг Кантор в 1870-х годах создал теорию множеств, показав, что бесконечные множества различаются по мощности. Он ввёл трансфинитные кардинальные числа (ℵ₀, ℵ₁, …) и трансфинитные порядковые числа, доказав, что множество натуральных чисел имеет меньшую мощность, чем множество действительных чисел. Работы Кантора вызвали критику (Леопольд Кронекер назвал его «чародеем»), но в XX веке теория множеств стала основой математики.

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

¶Предел последовательности

Говорят, что последовательность {aₙ} стремится к бесконечности (aₙ → ∞), если для любого числа M существует номер N, начиная с которого все члены последовательности превышают M. Аналогично определяется стремление к минус бесконечности. Это строгое определение позволяет оперировать «бесконечностью» в доказательствах, не выходя за рамки обычной арифметики.

¶Функции

Функция f(x) стремится к бесконечности при x → x₀, если для любого M найдётся окрестность точки x₀, в которой |f(x)| > M. Примеры: экспонента eˣ при x → +∞, квадратичная функция x² при x → ±∞, тангенс при x → π/2.

¶Собственные и несобственные интегралы

Интеграл ∫₀^∞ f(x)dx называется несобственным; он существует, если соответствующий предел конечен. Примеры сходящихся интегралов: ∫₀^∞ e⁻ˣdx = 1. Расходимость интеграла означает, что площадь под кривой неограниченно возрастает.

¶Ряды

Ряд Σaₙ расходится, если последовательность частичных сумм стремится к бесконечности. Гармонический ряд Σ1/n расходится, хотя слагаемые стремятся к нулю, — классический пример, показывающий, что «стремление к нулю» слагаемых не обеспечивает сходимость.

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

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

Разграничение Аристотеля сохраняется и в современной философии математики. Потенциальная бесконечность — незавершённый процесс («можно продолжить»), актуальная — существующее целое (множество всех натуральных чисел). Платонисты (Курт Гёдель) считают бесконечные множества реально существующими объектами; формалисты и конструктивисты (Л. Е. Я. Брауэр) ограничивают математику потенциальной бесконечностью.

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

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

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

Образ бесконечности пронизывает литературу и искусство: «Бесконечная история» Михаэля Энде (1979), «Бесконечная игра» Джеймса Карса. В изобразительном искусстве — графика М. К. Эшера, использующая бесконечные повторения и невозможные конструкции. В музыке — концепция «In C» Терри Райли (1964), пьеса из 53 тактов, которую исполнители повторяют произвольное число раз.

¶См. также

• Теория множеств
• Предел последовательности
• Парадоксы Зенона
• Трансфинитные числа
• Дифференциальное исчисление

¶Источники

• Кантор Г. «Об обосновании теории множеств» (1895)
• Коши А. Л. «Анализ» (1821)
• Вейерштрасс К. Лекции по анализу
• Фома Аквинский. «Сумма теологии»
• Энде М. «Бесконечная история» (1979)
• Егоров Д. Ф., Люстерник Л. А. «Краткий курс анализа»