Дедекиндово сечение

Дедекиндово сечение — это способ построения множества действительных чисел на основе рациональных чисел, предложенный немецким математиком Рихардом Дедекиндом в 1872 году. Метод заключается в разбиении множества рациональных чисел на два непустых подмножества (класса) таких, что каждое число из первого класса (нижнего) меньше любого числа из второго класса (верхнего). Такое разбиение называется сечением, а само сечение определяет некоторое действительное число — либо рациональное, если в одном из классов есть наибольшее или наименьшее число, либо иррациональное, если такого числа нет.

Определение

Пусть \( \mathbb{Q} \) — множество рациональных чисел. Дедекиндовым сечением называется упорядоченная пара \( (A, B) \) непустых подмножеств \( \mathbb{Q} \), удовлетворяющая следующим условиям:

\( A \cup B = \mathbb{Q} \) (объединение классов даёт все рациональные числа).
\( A \cap B = \varnothing \) (классы не пересекаются).
Для любых \( a \in A \) и \( b \in B \) выполняется \( a < b \) (каждое число из нижнего класса меньше любого числа из верхнего класса).

При этом возможны четыре случая относительно существования граничных элементов:

В классе \( A \) есть наибольшее число, а в классе \( B \) нет наименьшего. Такое сечение определяет рациональное число, равное наибольшему элементу \( A \).
В классе \( A \) нет наибольшего числа, а в классе \( B \) есть наименьшее. Такое сечение также определяет рациональное число, равное наименьшему элементу \( B \).
В классе \( A \) есть наибольшее число, а в классе \( B \) есть наименьшее. Этот случай невозможен, так как между этими двумя числами существовало бы рациональное число, не принадлежащее ни одному из классов, что противоречило бы условию 1.
В классе \( A \) нет наибольшего числа, а в классе \( B \) нет наименьшего. Такое сечение определяет иррациональное число (например, \( \sqrt{2} \)).

Таким образом, каждое сечение однозначно задаёт действительное число, и каждое действительное число может быть представлено как сечение.

История

Понятие дедекиндова сечения было введено Рихардом Дедекиндом в его работе «Непрерывность и иррациональные числа» (Stetigkeit und irrationale Zahlen, 1872). В середине XIX века математики столкнулись с необходимостью строгого обоснования анализа, в частности — определения действительных чисел. До этого числа интуитивно понимались как точки на прямой, но такое представление не было математически строгим. Дедекинд, анализируя понятие непрерывности, заметил, что если провести сечение на прямой, то в каждой точке либо есть разрыв, либо нет. Перенеся эту идею на множество рациональных чисел, он построил модель действительных чисел, в которой каждое сечение соответствует точке на числовой прямой.

Работа Дедекинда вышла одновременно с трудами других математиков, предлагавших свои способы построения действительных чисел: Карла Вейерштрасса (через бесконечные десятичные дроби) и Георга Кантора (через фундаментальные последовательности). Метод Дедекинда оказался одним из наиболее наглядных и логически прозрачных.

Свойства

Полнота (непрерывность)

Множество всех дедекиндовых сечений (то есть множество действительных чисел \( \mathbb{R} \)) обладает свойством полноты: любое непустое ограниченное сверху подмножество имеет точную верхнюю грань. Это свойство эквивалентно тому, что в \( \mathbb{R} \) нет «дырок» — любое сечение, проведённое в множестве действительных чисел, определяет число, принадлежащее этому множеству. В терминах сечений это означает, что если взять любое сечение \( (A, B) \) в \( \mathbb{R} \), то либо в \( A \) есть наибольший элемент, либо в \( B \) — наименьший.

Арифметические операции

На множестве дедекиндовых сечений можно определить арифметические операции, согласованные с операциями над рациональными числами. Например, сумма двух сечений \( (A_1, B_1) \) и \( (A_2, B_2) \) определяется как сечение \( (A, B) \), где \( A = \{ a_1 + a_2 \mid a_1 \in A_1, a_2 \in A_2 \} \), а \( B = \mathbb{Q} \setminus A \). Аналогично определяются вычитание, умножение и деление (с учётом знаков). Эти операции удовлетворяют всем аксиомам поля, что делает \( \mathbb{R} \) полем.

Упорядоченность

Сечения естественно упорядочиваются по включению нижних классов: \( (A_1, B_1) < (A_2, B_2) \), если \( A_1 \subset A_2 \) (строгое включение). Это задаёт линейный порядок на \( \mathbb{R} \), совпадающий с обычным порядком действительных чисел.

Примеры

Рациональное число

Рассмотрим сечение, соответствующее числу 2. Нижний класс \( A \) состоит из всех рациональных чисел, меньших 2, а верхний класс \( B \) — из всех рациональных чисел, больших или равных 2. В этом случае в \( B \) есть наименьшее число (2), а в \( A \) нет наибольшего (так как для любого \( a < 2 \) найдётся \( a' \) такое, что \( a < a' < 2 \)). Это сечение определяет рациональное число 2.

Иррациональное число

Рассмотрим сечение, соответствующее \( \sqrt{2} \). Нижний класс \( A \) состоит из всех рациональных чисел \( r \), таких что \( r^2 < 2 \) или \( r \le 0 \). Верхний класс \( B \) — из всех рациональных чисел \( r \), таких что \( r > 0 \) и \( r^2 > 2 \). В этом классе нет наименьшего числа, так как для любого \( b \in B \) можно найти \( b' \in B \) с \( b' < b \) (например, \( b' = \frac{b + 2/b}{2} \)). Аналогично, в \( A \) нет наибольшего числа. Таким образом, это сечение не соответствует никакому рациональному числу и определяет иррациональное число \( \sqrt{2} \).

Связь с другими конструкциями

Фундаментальные последовательности Кантора

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

Бесконечные десятичные дроби

Третий распространённый способ — представление действительных чисел в виде бесконечных десятичных дробей (с оговоркой о неоднозначности, например, 0,999... = 1). Этот метод менее удобен для строгого построения, но интуитивно понятен. Дедекиндово сечение даёт более алгебраический и геометрический подход.

Критика и обсуждение

Конструкция Дедекинда подвергалась критике за то, что она опирается на понятие множества, которое в конце XIX века ещё не было строго формализовано. Парадоксы теории множеств (например, парадокс Рассела) показали, что наивное обращение с множествами может приводить к противоречиям. Однако в рамках аксиоматической теории множеств (например, ZFC) построение Дедекинда является корректным.

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

Применение

Дедекиндово сечение применяется не только для построения действительных чисел, но и в других областях математики:

Теория поля: обобщение понятия сечения используется для построения пополнений упорядоченных полей (например, поля вещественных чисел является пополнением поля рациональных чисел по Дедекинду).
Анализ: свойство полноты, выводимое из определения через сечения, лежит в основе доказательства многих теорем (например, теоремы о промежуточном значении, теоремы Больцано — Вейерштрасса).
Теория меры: в некоторых конструкциях меры на прямой используется разбиение отрезков, аналогичное сечениям.

Источники

Дедекинд Р. «Непрерывность и иррациональные числа». — 1872.
Кудрявцев Л. Д. «Курс математического анализа». Том 1. — М.: Высшая школа, 1981.
Фихтенгольц Г. М. «Основы математического анализа». Том 1. — М.: Наука, 1968.
Рудин У. «Основы математического анализа». — М.: Мир, 1976.

BFOmetr — база данных и аналитика по компаниям России.

На главную BFOmetr →