Гипердействительные числа

Гипердействительные числа — это расширение множества действительных чисел, включающее бесконечно малые и бесконечно большие величины. В отличие от стандартного анализа, где понятие «бесконечно малого» определяется через пределы, в теории гипердействительных чисел такие величины существуют как полноценные числа, подчиняющиеся тем же арифметическим правилам, что и обычные числа. Эта система была разработана в 1960-х годах американским логиком Абрахамом Робинсоном в рамках нестандартного анализа, позволяя строго математически обосновать интуитивные представления Лейбница и Ньютона о бесконечно малых.

История

Предпосылки и идеи Лейбница

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

Развитие нестандартного анализа

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

Определение и формальная конструкция

Аксиоматический подход

Гипердействительные числа образуют поле R*, которое является собственным расширением поля действительных чисел R. Основные свойства:

• R — подполе R*.
• В R* существует бесконечно малый элемент ε, такой, что 0 < ε < 1/n для любого натурального n.
• В R* существует бесконечно большой элемент ω, такой, что ω > n для любого натурального n.
• Все арифметические операции (сложение, умножение, вычитание, деление на ненулевой элемент) определены и подчиняются законам поля.

Конструкция через ультрафильтры

Наиболее распространённый способ построения гипердействительных чисел — использование ультрапроизведений. Рассмотрим множество всех последовательностей действительных чисел (a₁, a₂, a₃, …). Две последовательности считаются эквивалентными, если они совпадают на «почти всех» индексах, где «почти все» задаётся фиксированным неглавным ультрафильтром на множестве натуральных чисел. Классы эквивалентности таких последовательностей и образуют поле R*. При этом:

• Стандартное действительное число r отождествляется с классом последовательности (r, r, r, …).
• Бесконечно малая ε — это класс последовательности (1, 1/2, 1/3, …).
• Бесконечно большая ω — это класс последовательности (1, 2, 3, …).

Свойства гипердействительных чисел

Бесконечно малые и бесконечно большие

• Бесконечно малые — числа, абсолютная величина которых меньше любого положительного стандартного числа. Они не равны нулю, но могут быть сколь угодно близки к нему. Пример: ε = 1/ω.
• Бесконечно большие — числа, абсолютная величина которых больше любого стандартного числа. Пример: ω = 1/ε.
• Если x — стандартное число, а y — бесконечно малое, то x + y — число, бесконечно близкое к x.

Архимедово свойство и его нарушение

В стандартных действительных числах выполняется архимедово свойство: для любого числа a > 0 существует натуральное n, такое, что n > a. В гипердействительных числах это свойство не выполняется для бесконечно больших чисел: ω > n для всех натуральных n, поэтому ω не может быть превзойдено никаким натуральным числом.

Стандартная часть

Каждое конечное гипердействительное число x (то есть такое, что |x| < n для некоторого натурального n) можно представить в виде: x = st(x) + ε, где st(x) — стандартное число (называемое стандартной частью или тенью), а ε — бесконечно малое. Стандартная часть является единственной и определяется как единственное стандартное число, бесконечно близкое к x.

Применение в нестандартном анализе

Дифференцирование и интегрирование

В нестандартном анализе производная функции f в точке x определяется как стандартная часть отношения приращения функции к бесконечно малому приращению аргумента: f'(x) = st( (f(x+ε) - f(x)) / ε ), где ε — бесконечно малое. Это в точности соответствует интуитивному подходу Лейбница, но теперь строго обосновано. Аналогично, интеграл определяется как стандартная часть суммы бесконечно малых площадей.

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

Функция f непрерывна в точке a, если для любого бесконечно малого ε разность f(a+ε) - f(a) также бесконечно мала. Предел функции при x → a равен L, если для любого бесконечно малого ε разность f(a+ε) - L бесконечно мала. Эти определения эквивалентны классическим, но часто более наглядны.

Применение в других областях

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

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

Логические сложности

Построение гипердействительных чисел требует использования аксиомы выбора (для существования неглавного ультрафильтра), что делает конструкцию неконструктивной. Это означает, что мы не можем явно указать, какие последовательности эквивалентны, а какие нет. Для практических вычислений это не является проблемой, но с философской точки зрения вызывает вопросы.

Сравнение со стандартным анализом

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

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

• Термин «гипердействительные» ввёл Абрахам Робинсон, но сам Лейбниц называл бесконечно малые «идеальными числами».
• В 1970-х годах математик Эдвард Нельсон предложил альтернативную аксиоматику нестандартного анализа — внутреннюю теорию множеств, которая не требует ультрафильтров.
• Гипердействительные числа позволяют строго определить понятие «бесконечно малой вероятности» в теории вероятностей, что используется в некоторых моделях статистической физики.

Источники

• Робинсон А. «Нестандартный анализ». — М.: Мир, 1974.
• Голдблатт Р. «Лекции по нестандартному анализу». — М.: Мир, 1986.
• Нельсон Э. «Внутренняя теория множеств: новый подход к нестандартному анализу». — Pacific Journal of Mathematics, 1977.
• Келли Дж. «Общая топология». — М.: Наука, 1968 (раздел об ультрафильтрах).