Нестандартный анализ

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

История

Предпосылки и ранние идеи

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

Формализация в XX веке

Систематическое построение нестандартного анализа началось в 1960-х годах с работ американского математика Абрахама Робинсона. Используя методы теории моделей и математической логики (теорема компактности, ультрафильтры), Робинсон показал, что существует нестандартная модель вещественных чисел *R, содержащая все стандартные числа R, а также бесконечно малые и бесконечно большие, при этом удовлетворяющая всем аксиомам вещественных чисел в смысле логики первого порядка. В 1977 году Эдвард Нельсон предложил альтернативную аксиоматику — внутреннюю теорию множеств (IST), основанную на трёх дополнительных аксиомах (идеализация, стандартизация, перенос), что позволило работать с нестандартными объектами без привлечения сложных теоретико-модельных конструкций.

Основные понятия и обозначения

Нестандартная модель вещественных чисел

Нестандартная модель *R получается как ультрапроизведение (ultrapower) обычного поля вещественных чисел R по некоторому неглавному ультрафильтру на множестве натуральных чисел N. В этой модели:

• Стандартные числа — элементы, образующие подполе, изоморфное R.
• Бесконечно малые (инфинитезималы) — элементы ξ, для которых |ξ| < ε для любого положительного стандартного ε. Их множество обозначается I.
• Бесконечно большие — элементы ω, для которых |ω| > n для любого стандартного натурального n.
• Конечные (ограниченные) числа — элементы, по модулю не превосходящие некоторого стандартного числа; они представимы в виде x = a + α, где a — стандартное число (стандартная часть), α — бесконечно малое.

Отношение «бесконечно близко»

Два нестандартных числа x и y называются бесконечно близкими (пишется x ≈ y), если их разность x − y бесконечно мала. Из каждого конечного нестандартного числа можно выделить единственное стандартное число — его стандартную часть st(x). Например, st(0,999… + ε) = 1, где ε — бесконечно малая.

Принципы и аксиомы

Принцип переноса

Любое утверждение, записанное в языке первого порядка и истинное для всех стандартных чисел, истинно и для нестандартных. Например, если для всякого стандартного x выполняется x + 0 = x, то то же верно и для бесконечно малого. Этот принцип обеспечивает совместимость нестандартного анализа с классической математикой.

Принцип идеализации

Для любого отношения R(x, y) первого порядка существует элемент a такой, что для всех стандартных b выполнено R(a, b), если для любого стандартного конечного множества F существует элемент c, такой, что R(c, b) для всех b ∈ F. Этот принцип позволяет «материализовать» бесконечные процессы: например, существует нестандартное натуральное число, большее всех стандартных.

Принцип стандартизации

Любому свойству P(x) можно сопоставить единственное стандартное множество S, такое, что для стандартных x свойство P(x) эквивалентно x ∈ S.

Применения в математике

Анализ функций

В нестандартном анализе производная функции f в точке x0 определяется как \[ f'(x_0) = \operatorname{st}\left(\frac{f(x_0 + \delta) - f(x_0)}{\delta}\right) \] для произвольной бесконечно малой δ, при условии, что полученное значение не зависит от выбора δ. Такой подход во многом повторяет интуицию Лейбница, но является строгим.

Интеграл Римана также может быть задан через разбиение отрезка на бесконечно мелкие части: берётся гиперконечное разбиение, вычисляется сумма Римана, а затем выделяется стандартная часть.

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

Функция f непрерывна в точке a, если f(a + δ) ≈ f(a) для любой бесконечно малой δ. Равномерная непрерывность на интервале выражается требованием, чтобы это свойство выполнялось для всех нестандартных a из гиперконечного расширения отрезка.

Теория меры и интегрирование

Нестандартные методы позволяют строить так называемые гиперконечные множества — множества, имеющие нестандартную мощность, что даёт интуитивно наглядные обоснования для интеграла Лебега и теории вероятностей. Например, любое измеримое множество можно представить как стандартную часть гиперконечного объединения точек.

Связь с формальной логикой и теорией моделей

Нестандартный анализ является прямым приложением результатов теории моделей:

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

Критика и ограничения

Критика со стороны конструктивных и интуиционистских направлений

Нестандартный анализ опирается на аксиому выбора (при построении ультрафильтра) и неконструктивные методы теории множеств, что неприемлемо для математического конструктивизма и некоторых форм интуиционизма. Также спорным является использование актуальных бесконечно малых — многие математики (в частности, Э. Бишоп) предпочитают классический ε-δ-анализ из соображений методологической чистоты.

Отношение к эвристике

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

Влияние на образование

С 1970-х годов предпринимались попытки ввести элементы нестандартного анализа в преподавание начал анализа в вузах и школах. Наиболее известен проект «Калькулюс с бесконечно малыми» (Keisler, 1976), где интегралы и производные объясняются через наглядные бесконечно малые приращения. Однако широкого распространения в российской и европейской системах образования такой подход не получил из-за необходимости изучения основ теории множеств и логики, а также из-за устоявшейся программы, ориентированной на ε-δ-метод.

Современное состояние

В XXI веке нестандартный анализ продолжает развиваться как инструмент:

• в теории вероятностей (нестандартный вероятностный анализ, модель Лоэва);
• в экономической теории (формализация «идеальной конкуренции» с бесконечно малыми фирмами);
• в квантовой физике (формализация перенормировок через бесконечно малые масштабы);
• в дифференциальных уравнениях (изучение сингулярных возмущений).

В России работы по нестандартному анализу велись в школе академика В. А. Зорича, а также в области нестандартного обоснования меры и интеграла.

Источники

1. Robinson A. Non-standard analysis. — Princeton University Press, 1966. — ISBN 0-691-08099-9.
2. Nelson E. Internal set theory: a new approach to nonstandard analysis // Bulletin of the American Mathematical Society. — 1977. — Vol. 83, no. 6. — P. 1165–1198.
3. Keisler H. J. Elementary Calculus: An Infinitesimal Approach. — Prindle, Weber & Schmidt, 1976. — ISBN 0-87150-911-3.
4. Зорич В. А. Математический анализ. Часть I. — М.: МЦНМО, 2018. — Глава 7 (дополнение).
5. Успенский В. А. Что такое нестандартное вещественное число? // Квант. — 1987. — № 4. — С. 9–15.