Нестандартная модель арифметики

Нестандартная модель арифметики — это модель формальной арифметики (например, арифметики Пеано), которая не является изоморфной стандартной модели натуральных чисел (0, 1, 2, 3, …). В отличие от стандартной модели, где каждое число имеет конечное представление, нестандартные модели содержат так называемые «нестандартные» (или «бесконечные») натуральные числа, которые больше всех стандартных чисел, но при этом удовлетворяют всем аксиомам формальной системы.

История

Понятие нестандартной модели арифметики возникло в контексте развития математической логики и теории моделей в начале XX века. Ключевым результатом, предсказывающим их существование, стала теорема Лёвенгейма — Скулема (1915—1920), которая утверждает, что если теория первого порядка (включая арифметику Пеано) имеет бесконечную модель, то она имеет модель любой бесконечной мощности. Это означает, что существуют модели арифметики Пеано, которые не являются счётными (то есть содержат больше элементов, чем стандартные натуральные числа).

В 1933 году Торвальд Скулем явно построил первую нестандартную модель арифметики, используя ультрапроизведение. Этот результат показал, что аксиомы Пеано не являются категоричными — то есть они не определяют натуральные числа однозначно с точностью до изоморфизма. Дальнейшее развитие нестандартных моделей связано с работами Абрахама Робинсона (1960-е годы), который заложил основы нестандартного анализа, используя такие модели для формализации бесконечно малых и бесконечно больших величин.

Основные свойства

Структура модели

Любая нестандартная модель арифметики Пеано (PA) состоит из двух частей:

• Стандартная часть — изоморфна обычным натуральным числам (0, 1, 2, …). Она образует начальный отрезок модели.
• Нестандартная часть — состоит из элементов, которые больше всех стандартных чисел. Эти элементы образуют плотно упорядоченное множество, следующее за стандартным отрезком. Каждый нестандартный элемент имеет бесконечно много предшественников и последователей, структура которых напоминает порядок рациональных чисел (счётное плотное линейное упорядочение без концов).

Аксиомы Пеано

Нестандартные модели удовлетворяют всем аксиомам Пеано, включая принцип математической индукции. Однако индукция в нестандартной модели работает не так, как в стандартной: она применима к любым формулам первого порядка, но не гарантирует, что все свойства, истинные для стандартных чисел, переносятся на нестандартные. Например, в нестандартной модели существует элемент, который не является стандартным, но индукция не позволяет «выделить» его как отдельный тип.

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

Нестандартные числа бесконечно велики по сравнению со стандартными. Они не имеют конечного десятичного представления и не могут быть достигнуты путём последовательного прибавления единицы к стандартным числам. Однако они подчиняются тем же арифметическим операциям (сложение, умножение), что и стандартные числа. Например, если \( n \) — нестандартное число, то \( n+1 \) также нестандартно и больше \( n \).

Примеры построения

Ультрапроизведение

Наиболее распространённый способ построения нестандартной модели — использование ультрапроизведения. Берётся счётное семейство копий стандартной модели \( \mathbb{N} \), и на нём вводится отношение эквивалентности, задаваемое неглавным ультрафильтром. Результатом является модель, содержащая как стандартные, так и нестандартные элементы. Этот метод позволяет сохранить все истинные формулы первого порядка из стандартной модели.

Компактность

Теорема компактности также даёт существование нестандартных моделей. Если к аксиомам Пеано добавить бесконечное множество утверждений вида «существует число, большее \( n \)» для каждого стандартного \( n \), то любая конечная подсистема этой теории выполнима (в стандартной модели), а значит, по теореме компактности, существует модель, удовлетворяющая всем этим утверждениям одновременно. Эта модель будет содержать элемент, больший всех стандартных чисел.

Применение

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

Нестандартные модели арифметики лежат в основе нестандартного анализа — подхода к математическому анализу, в котором бесконечно малые и бесконечно большие величины рассматриваются как реальные числа (нестандартные). Это позволяет строго обосновать интуитивные представления Лейбница и Ньютона о бесконечно малых, избегая понятия предела. Например, производная функции \( f \) в точке \( x \) определяется как \( \frac{f(x+dx)-f(x)}{dx} \), где \( dx \) — бесконечно малая величина (нестандартное число, меньшее всех положительных стандартных чисел, но не равное нулю).

Теория моделей

В теории моделей нестандартные модели используются для изучения свойств формальных теорий. Они позволяют, например, доказывать независимость аксиом, строить контрпримеры к гипотезам и исследовать границы выразительной силы логических языков. В частности, существование нестандартных моделей показывает, что аксиомы Пеано не являются категоричными, что имеет фундаментальное значение для философии математики.

Философия математики

Нестандартные модели ставят вопросы о природе математической истины. Если существует множество неэквивалентных моделей арифметики, то какая из них является «настоящей»? Сторонники формализма утверждают, что вопрос не имеет смысла, так как математика — это игра с символами. Платонисты же считают, что существует единственная «истинная» модель — стандартная, а нестандартные — лишь артефакты логических конструкций.

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

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

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

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

Источники

• Скулем, Т. «О некоторых моделях арифметики» (1933).
• Робинсон, А. «Нестандартный анализ» (1966).
• Кейслер, Г. Дж., Чен, Ч. Ч. «Теория моделей» (1973).
• Мендельсон, Э. «Введение в математическую логику» (1979).
• Беклемишев, Л. Д. «Математическая логика и теория алгоритмов» (2009).