Внутренняя теория множеств

Внутренняя теория множеств (ВТМ, англ. Internal Set Theory, IST) — это аксиоматическая теория множеств, предложенная американским математиком Эдвардом Нельсоном в 1977 году. Она представляет собой консервативное расширение стандартной аксиоматики Цермело — Френкеля с аксиомой выбора (ZFC). Основная цель ВТМ — предоставить строгий логический фундамент для нестандартного анализа, позволяя работать с бесконечно малыми и бесконечно большими величинами в рамках обычной математики, не прибегая к построению нестандартных моделей через ультрафильтры.

История возникновения

В 1960-х годах Абрахам Робинсон разработал нестандартный анализ, используя методы математической логики и теории моделей. Однако его подход требовал знакомства с ультрафильтрами и формальными языками, что затрудняло его преподавание и применение в классической математике. В 1977 году Эдвард Нельсон предложил альтернативу — аксиоматизировать понятие «стандартного» числа напрямую, добавив к ZFC три новые аксиомы. Работа Нельсона «Внутренняя теория множеств: новый подход к нестандартному анализу» была опубликована в журнале «Bulletin of the American Mathematical Society». Термин «внутренняя» подчёркивает, что все объекты теории (множества, функции, числа) рассматриваются как внутренние элементы одной универсальной вселенной множеств, без выхода во внешние модели.

Аксиоматика ВТМ

Внутренняя теория множеств строится на языке теории множеств первого порядка с предикатом «стандартности» (st). Формула st(x) означает «множество x является стандартным». Все аксиомы ZFC (включая аксиому выбора) сохраняются, но применяются только к внутренним формулам (то есть формулам, не содержащим предиката st). К ним добавляются три новые аксиомы:

Принцип идеализации (Idealization)

Для любого внутреннего отношения R(x, y), не содержащего свободных переменных, кроме x и y, выполняется: ∀^st fin x ∃ y ∀ x∈x R(x,y) ⇔ ∃ y ∀^st x R(x,y) Здесь ∀^st fin x означает «для любого стандартного конечного множества x», а ∀^st x — «для любого стандартного x». Эта аксиома позволяет, например, утверждать существование нестандартного натурального числа, которое больше любого стандартного натурального числа.

Принцип стандартизации (Standardization)

Для любого (возможно, внешнего) свойства P(x) существует единственное стандартное множество S, все стандартные элементы которого удовлетворяют P(x): ∀^st S (∀^st x (x∈S ⇔ P(x))) Это гарантирует, что любое свойство определяет некоторое стандартное множество, хотя его нестандартные элементы могут вести себя иначе.

Принцип переноса (Transfer)

Если внутренняя формула F(x1, …, xn) истинна для всех стандартных значений параметров, то она истинна для всех значений: ∀^st x1 … ∀^st xn (F(x1,…,xn) ⇔ ∀ x1 … ∀ xn F(x1,…,xn)) Этот принцип обеспечивает, что любое утверждение, верное для всех стандартных объектов, верно и для всех объектов вообще. Он является аналогом принципа переноса из нестандартного анализа.

Ключевые понятия и свойства

Стандартные и нестандартные числа

В рамках ВТМ натуральные числа делятся на стандартные (те, которые можно получить из 0 последовательным применением операции следования в рамках ZFC) и нестандартные (бесконечно большие). Аналогично, бесконечно малые числа определяются как числа, меньшие по модулю любого положительного стандартного числа. Важно, что все стандартные числа образуют «начальный отрезок» натурального ряда, но этот отрезок не является множеством в смысле ZFC (он внешний).

Консервативность

Нельсон доказал, что ВТМ является консервативным расширением ZFC: любое утверждение, не содержащее предиката st, доказуемое в ВТМ, доказуемо и в ZFC. Это означает, что использование бесконечно малых не приводит к новым противоречиям или новым теоремам о конечных объектах, но значительно упрощает доказательства.

Внешние и внутренние множества

Множество, определённое с использованием предиката st, называется внешним. Например, множество всех стандартных натуральных чисел является внешним. Внутренние множества — это те, которые можно определить без использования st. Все аксиомы ZFC гарантируют существование внутренних множеств, но внешние множества могут не подчиняться, например, аксиоме степени.

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

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

Основное применение ВТМ — строгое обоснование операций с бесконечно малыми. Например, производная функции f в точке x определяется как стандартная часть отношения (f(x+dx)-f(x))/dx, где dx — бесконечно малое. Интеграл Римана интерпретируется как сумма по бесконечно большому числу бесконечно малых прямоугольников.

Теория вероятностей и случайные процессы

ВТМ позволяет моделировать случайные процессы с помощью бесконечно малых вероятностей. Например, можно строго определить «почти наверное» как событие с вероятностью, равной 1 минус бесконечно малая. Это упрощает доказательства в теории мартингалов и стохастических дифференциальных уравнений.

Функциональный анализ

В нестандартном функциональном анализе с помощью ВТМ доказываются теоремы о компактности, непрерывности и спектральные теоремы. Например, теорема Алаоглу о компактности единичного шара в слабой-* топологии получает прозрачное доказательство с использованием бесконечно малых.

Теория чисел

ВТМ применяется для изучения распределения простых чисел, диофантовых приближений и арифметической комбинаторики. Нестандартные модели позволяют «увидеть» асимптотические закономерности как точные свойства бесконечно больших чисел.

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

Сложность аксиоматики

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

Отсутствие конструктивности

ВТМ, как и ZFC, не является конструктивной теорией. Существование нестандартных чисел доказывается аксиоматически, но не даётся явного алгоритма их построения. Это может вызывать философские возражения у интуиционистов и конструктивистов.

Альтернативные подходы

Существуют и другие аксиоматические системы для нестандартного анализа, например, теория Хрбачека (HST) или подход Канамори. ВТМ остаётся наиболее популярной благодаря своей элегантности и простоте, но некоторые исследователи предпочитают более гибкие системы с несколькими типами нестандартности.

Интересные факты

• Эдвард Нельсон был известен также своими работами по основам квантовой механики и теории вероятностей. Он активно критиковал формализм стандартной теории множеств и считал ВТМ более естественным языком для математики.
• ВТМ позволяет доказывать теоремы классического анализа, которые в ZFC требуют громоздких рассуждений с пределами и эпсилон-дельта. Например, теорема Больцано — Вейерштрасса о сходимости подпоследовательности получается простым выбором нестандартного элемента.
• В 2010-х годах появились компьютерные системы проверки доказательств (например, Isabelle/HOL), поддерживающие формализацию нестандартного анализа на основе ВТМ. Это открыло путь к автоматической верификации теорем, использующих бесконечно малые.

Источники

• Nelson, E. (1977). Internal set theory: a new approach to nonstandard analysis. Bulletin of the American Mathematical Society, 83(6), 1165–1198.
• Robert, A. (1985). Nonstandard Analysis. John Wiley & Sons.
• Albeverio, S., & Fenstad, J. E. (1986). Nonstandard Methods in Stochastic Analysis and Mathematical Physics. Academic Press.
• Hurd, A. E., & Loeb, P. A. (1985). An Introduction to Nonstandard Real Analysis. Academic Press.