Полное упорядоченное поле

Полное упорядоченное поле — это упорядоченное поле, в котором выполняется аксиома полноты (непрерывности): любое непустое ограниченное сверху подмножество имеет точную верхнюю грань (супремум). Данное свойство является фундаментальным для математического анализа, поскольку оно гарантирует отсутствие «пробелов» в числовой прямой, что позволяет корректно определять пределы, непрерывность и производные. Классическим примером полного упорядоченного поля служит множество действительных чисел R с обычными операциями сложения и умножения и стандартным отношением порядка. В отличие от него, поле рациональных чисел Q не является полным, так как, например, множество {x ∈ Q | x² < 2} ограничено сверху, но не имеет рациональной точной верхней грани (ею является иррациональное число √2).

Определение и аксиоматика

Упорядоченное поле — это алгебраическая структура (F, +, ·, ≤), удовлетворяющая аксиомам поля (коммутативность, ассоциативность, дистрибутивность, существование нейтральных и обратных элементов) и аксиомам линейного порядка (рефлексивность, антисимметричность, транзитивность, связность), а также условию согласованности порядка с операциями: если a ≤ b, то a + c ≤ b + c для любого c; если 0 ≤ a и 0 ≤ b, то 0 ≤ a·b.

Полнота (или непрерывность) вводится дополнительной аксиомой:

Аксиома полноты (Вейерштрасса): Для любого непустого подмножества S ⊆ F, ограниченного сверху (существует элемент u ∈ F такой, что s ≤ u для всех s ∈ S), существует точная верхняя грань sup S ∈ F — наименьший элемент среди всех верхних границ S.

Существуют эквивалентные формулировки полноты, например:

• Аксиома Дедекинда: если разбить поле на два непустых подмножества A и B так, что каждый элемент A меньше любого элемента B, то существует элемент c ∈ F, являющийся либо наибольшим в A, либо наименьшим в B.
• Принцип вложенных отрезков: последовательность вложенных отрезков [a_n, b_n] с длиной, стремящейся к нулю, имеет единственную общую точку.
• Существование предела у любой монотонной ограниченной последовательности.

Свойства полных упорядоченных полей

Единственность (с точностью до изоморфизма)

С точностью до изоморфизма, сохраняющего порядок и полевые операции, существует ровно одно полное упорядоченное поле — поле действительных чисел R. Любое другое полное упорядоченное поле изоморфно R. Это означает, что все свойства действительных чисел, выводимые из аксиом упорядоченного поля и полноты, однозначно определяют структуру числовой прямой.

Архимедово свойство

Из полноты поля вытекает архимедово свойство: для любых положительных элементов a, b ∈ F существует натуральное число n такое, что n·a > b. Иными словами, поле не содержит бесконечно малых или бесконечно больших элементов в смысле нестандартного анализа. Архимедово свойство является следствием полноты, но не эквивалентно ей: существуют неархимедовы упорядоченные поля (например, поле рациональных функций), которые не являются полными.

Связность и топология

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

Полнота по Коши

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

Примеры и контрпримеры

Поле действительных чисел R

Стандартный пример. R удовлетворяет всем аксиомам упорядоченного поля и аксиоме полноты. Построение R (например, через дедекиндовы сечения или классы эквивалентности фундаментальных последовательностей рациональных чисел) как раз и направлено на «заполнение пробелов» в Q.

Поле рациональных чисел Q

Не является полным. Множество {x ∈ Q | x² < 2} ограничено сверху (например, числом 2), но не имеет точной верхней грани в Q, так как sup равен √2 ∉ Q. Аналогично, последовательность десятичных приближений √2 (1,4; 1,41; 1,414; …) является фундаментальной, но не сходится к рациональному числу.

Поле рациональных функций R(x)

Рассмотрим поле рациональных функций с вещественными коэффициентами, упорядоченное так: f(x) > 0, если f(x) > 0 для всех достаточно больших x. Это упорядоченное поле, но оно не является архимедовым (функция x больше любого натурального числа) и, следовательно, неполное. В нём существуют бесконечно малые элементы (например, 1/x) и бесконечно большие (x).

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

В нестандартном анализисе рассматривается поле гипердействительных чисел, которое является упорядоченным, но не полным в смысле аксиомы Вейерштрасса (хотя оно полно по Коши в своей топологии). Оно содержит бесконечно малые и бесконечно большие элементы, что нарушает архимедово свойство. Однако *R не изоморфно R, так как не удовлетворяет аксиоме полноты для всех подмножеств (только для внутренних).

Значение в математическом анализе

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

• Теорему о промежуточном значении для непрерывных функций.
• Теорему Вейерштрасса о достижении экстремумов на отрезке.
• Существование предела у монотонной ограниченной последовательности.
• Критерий Коши сходимости последовательности.
• Существование корней (например, √2) и вообще всех действительных чисел, определяемых как пределы.

Все эти результаты опираются на то, что числовая прямая «не имеет дыр», что гарантируется аксиомой полноты.

Аксиоматическое построение действительных чисел

Существует несколько эквивалентных способов построения полного упорядоченного поля R из Q:

1. Метод дедекиндовых сечений (Рихард Дедекинд, 1872): каждое действительное число определяется как сечение — разбиение Q на два класса A и B, где все элементы A меньше всех элементов B, и в A нет наибольшего элемента. Полнота следует из того, что объединение сечений даёт новое сечение.

1. Метод фундаментальных последовательностей (Георг Кантор, 1872): действительные числа — это классы эквивалентности последовательностей Коши рациональных чисел. Полнота доказывается тем, что предел последовательности Коши таких классов также является классом.

1. Аксиоматический метод: R определяется как единственное (с точностью до изоморфизма) полное упорядоченное поле. Этот подход принят в современных учебниках по анализу.

Историческая справка

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

Источники

• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
• Зорич В. А. Математический анализ. Часть I. — М.: МЦНМО, 2012.
• Рудин У. Основы математического анализа. — М.: Мир, 1976.
• Дедекинд Р. Непрерывность и иррациональные числа. — Одесса: Mathesis, 1912.