Гипервещественные числа

Гипервещественные числа — это расширение множества вещественных чисел, включающее бесконечно большие и бесконечно малые величины. Они образуют неархимедово упорядоченное поле, в котором аксиома Архимеда не выполняется: существуют положительные числа, меньшие любого положительного вещественного числа (бесконечно малые), и числа, большие любого вещественного числа (бесконечно большие). Теория гипервещественных чисел является основой нестандартного анализа — подхода к математическому анализу, впервые систематически разработанного американским математиком Абрахамом Робинсоном в 1960-х годах.

История

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

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

Нестандартный анализ Абрахама Робинсона

В 1960 году Абрахам Робинсон, используя методы математической логики, в частности теорию моделей и ультрапроизведения, построил непротиворечивую систему, в которой бесконечно малые и бесконечно большие числа существуют как полноценные математические объекты. Он опубликовал свои результаты в монографии «Non-standard Analysis» (1966). Робинсон показал, что гипервещественные числа образуют поле, являющееся элементарным расширением поля вещественных чисел в смысле логики первого порядка. Это означает, что все утверждения о вещественных числах, записанные на языке логики первого порядка, остаются верными и для гипервещественных чисел.

Развитие и современное состояние

После работ Робинсона нестандартный анализ развивался в нескольких направлениях. Эдвард Нельсон в 1977 году предложил альтернативную аксиоматизацию — внутреннюю теорию множеств (IST), которая позволяет работать с гипервещественными числами без явного построения ультрапроизведений. В настоящее время нестандартный анализ применяется в различных областях математики, физики и экономики, хотя его использование остаётся менее распространённым, чем классический ε-δ-подход.

Определение и построение

Существует несколько эквивалентных способов построения гипервещественных чисел. Наиболее распространённый — через ультрапроизведение последовательностей вещественных чисел.

Построение через ультрапроизведение

Пусть ℝ — поле вещественных чисел. Рассмотрим множество всех последовательностей вещественных чисел: ℝ^ℕ = {(a₁, a₂, a₃, …) | a_i ∈ ℝ}. На этом множестве определим отношение эквивалентности с помощью фиксированного свободного ультрафильтра U на множестве натуральных чисел ℕ. Две последовательности (a_n) и (b_n) называются эквивалентными, если множество индексов, на которых они совпадают, принадлежит ультрафильтру U:

(a_n) ∼ (b_n) ⇔ {n ∈ ℕ | a_n = b_n} ∈ U.

Фактормножество ℝ^ℕ / ∼ и есть поле гипервещественных чисел, обозначаемое *ℝ. Операции сложения и умножения определяются покомпонентно и корректны благодаря свойствам ультрафильтра.

Свойства ультрафильтра

Свободный ультрафильтр U — это максимальный фильтр на ℕ, не содержащий конечных множеств. Его существование доказывается с помощью аксиомы выбора. Интуитивно, ультрафильтр «выбирает» одно из двух: для любого подмножества A ⊂ ℕ либо A, либо его дополнение принадлежит U. Свободный ультрафильтр не может быть явно описан, что придаёт построению неконструктивный характер.

Вложение вещественных чисел

Вещественные числа естественным образом вкладываются в *ℝ: каждому вещественному числу r ставится в соответствие класс эквивалентности постоянной последовательности (r, r, r, …). Такие гипервещественные числа называются стандартными.

Классификация гипервещественных чисел

Все гипервещественные числа делятся на три непересекающихся класса относительно стандартных вещественных чисел:

• Бесконечно малые (инфинитезимали) — числа, абсолютная величина которых меньше любого положительного вещественного числа. Единственное бесконечно малое, являющееся стандартным, — это 0. Пример нестандартного бесконечно малого: класс последовательности (1, 1/2, 1/3, 1/4, …).
• Конечные (ограниченные) — числа, заключённые между двумя стандартными вещественными числами. Каждое конечное гипервещественное число x может быть единственным образом представлено в виде суммы стандартного числа (называемого стандартной частью, или тенью, st(x)) и бесконечно малого: x = st(x) + ε, где ε — бесконечно малое.
• Бесконечно большие — числа, абсолютная величина которых больше любого стандартного вещественного числа. Пример: класс последовательности (1, 2, 3, 4, …). Обратное к бесконечно большому числу является бесконечно малым.

Свойства и структура

Неархимедовость

Поле *ℝ является неархимедовым: для любого положительного бесконечно малого ε и любого стандартного положительного числа r выполняется n·ε < r для всех натуральных n. Аналогично, для бесконечно большого числа Ω выполняется Ω > n для всех натуральных n.

Элементарная эквивалентность

В силу построения через ультрапроизведение, ℝ является элементарным расширением ℝ в языке полей. Это означает, что любое утверждение логики первого порядка, истинное в ℝ, истинно и в ℝ. Например, коммутативность сложения, существование обратного элемента для ненулевого числа и т. д. Однако свойства второго порядка (например, полнота по Дедекинду) не переносятся: *ℝ не является полным.

Нестандартные натуральные числа

В ℝ существуют элементы, которые ведут себя как натуральные числа, но являются бесконечно большими. Они называются нестандартными натуральными числами. Множество всех натуральных чисел ℕ в ℝ включает стандартные натуральные числа (1, 2, 3, …) и нестандартные (например, класс последовательности (1, 2, 3, …)). Множество ℕ не является дедекиндово полным.

Применение

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

Основное применение гипервещественных чисел — нестандартный анализ. В нём такие понятия, как производная и интеграл, определяются непосредственно через бесконечно малые, что возвращает интуицию Лейбница на строгую основу. Например, производная функции f в точке x определяется как стандартная часть отношения приращений:

f'(x) = st((f(x+dx) — f(x))/dx),

где dx — бесконечно малое приращение.

Другие области

• Теория вероятностей: нестандартные вероятностные пространства позволяют моделировать события с бесконечно малой вероятностью.
• Экономика: гипервещественные числа используются в теории полезности для моделирования бесконечно малых предпочтений.
• Физика: в нестандартной механике бесконечно малые интервалы времени и расстояния применяются для формализации мгновенных скоростей и ускорений.

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

Несмотря на логическую непротиворечивость, нестандартный анализ и гипервещественные числа подвергались критике. Основные претензии:

• Неявное использование аксиомы выбора: построение ультрафильтра требует аксиомы выбора, что делает теорию неконструктивной.
• Избыточность: многие результаты нестандартного анализа могут быть получены классическими методами без привлечения новой теории.
• Сложность для обучения: работа с ультрафильтрами и нестандартными моделями требует знаний математической логики, что затрудняет внедрение в стандартные учебные курсы.

Тем не менее, нестандартный анализ признаётся полноценным разделом математики, а гипервещественные числа — легитимным математическим объектом.

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

• Гипервещественные числа не единственное расширение вещественных чисел. Существуют также сурреальные числа Джона Конвея, которые включают все гипервещественные и дополнительные классы.
• Поле *ℝ не является единственным: разные свободные ультрафильтры могут давать неизоморфные поля гипервещественных чисел.
• В нестандартном анализе бесконечно малые числа позволяют дать прямое определение предела: lim_{x→a} f(x) = L тогда и только тогда, когда для любого бесконечно малого dx, f(a+dx) бесконечно близко к L.

Источники

• Робинсон А. Нестандартный анализ. — М.: Наука, 1974.
• Нельсон Э. Внутренняя теория множеств: новый подход к нестандартному анализу. — Успехи математических наук, 1982.
• Голдблатт Р. Лекции по гипервещественным числам. — Springer, 1998.
• Келли Дж. Общая топология. — М.: Наука, 1968 (раздел об ультрафильтрах).
• Математическая энциклопедия. — М.: Советская энциклопедия, 1977—1985.