Русская Википедия:Непрерывность множества действительных чисел
Непреры́вность действи́тельных чи́сел — свойство системы действительных чисел <math>\mathbb{R}</math>, которым не обладает множество рациональных чисел <math>\mathbb{Q}</math>. Иногда вместо непрерывности говорят о полноте системы действительных чисел[1]. Существует несколько различных формулировок свойства непрерывности, наиболее известные из которых: принцип непрерывности действительных чисел по Дедекинду, принцип вложенных отрезков Коши — Кантора, теорема о точной верхней грани. В зависимости от принятого определения действительного числа, свойство непрерывности может либо постулироваться как аксиома — в той или иной формулировке, либо доказываться в качестве теоремы[2].
Аксиома непрерывности
При аксиоматическом построении теории действительного числа в число аксиом непременно включается следующее утверждение или эквивалентное ему[3]:
Шаблон:Razr Каковы бы ни были непустые множества <math>A \subset \mathbb{R}</math> и <math>B \subset \mathbb{R}</math>, такие что для любых двух элементов <math>a \in A</math> и <math>b \in B</math> выполняется неравенство <math>a \leqslant b</math>, существует такое действительное число <math>\xi</math>, что для всех <math>a \in A</math> и <math>b \in B</math> имеет место соотношение
Геометрически (если трактовать действительные числа как точки на прямой), если множества <math>A</math> и <math>B</math> таковы, что на числовой прямой все элементы одного из них лежат левее всех элементов второго, то найдется число <math>\xi</math>, разделяющее эти два множества, то есть лежащее правее всех элементов <math>A</math> (кроме, возможно, самого <math>\xi</math>) и левее всех элементов <math>B</math> (та же оговорка).
У множества рациональных чисел это свойство отсутствует. К примеру, если взять два множества:
A = \{x \in \mathbb{Q}: x > 0, \; x^2 < 2\}, \quad B = \{x \in \mathbb{Q}: x > 0, \; x^2 > 2\},
</math>то для любых элементов <math>a \in A</math> и <math>b \in B</math> выполняется неравенство <math>a < b</math>. Однако рационального числа <math>\xi</math>, разделяющего эти два множества, не существует. В самом деле, этим числом может быть только <math>\sqrt{2}</math>, но оно не является рациональным.
Роль аксиомы непрерывности в построении математического анализа
Значение аксиомы непрерывности таково, что без неё невозможно строгое построение математического анализа. Для иллюстрации приведем несколько фундаментальных утверждений анализа, доказательство которых опирается на непрерывность действительных чисел:
- (Теорема Вейерштрасса). Всякая ограниченная монотонно возрастающая последовательность сходится
- (Теорема Больцано — Коши). Непрерывная на отрезке функция, принимающая на его концах значения разного знака, обращается в нуль в некоторой внутренней точке отрезка
- (Существование степенной, показательной, логарифмической и всех тригонометрических функций на всей «естественной» области определения). Например, доказывается, что для всякого <math>a > 0</math> и целого <math>n \geqslant 1</math> существует <math>\sqrt[n]{a}</math>, то есть решение уравнения <math>x^n=a, x>0</math>. Это позволяет определить значение выражения <math>a^x</math> для всех рациональных <math>x</math>:
<math>a^{m/n} = \left(\sqrt[n]{a}\right)^m</math>
- Наконец, снова благодаря непрерывности числовой прямой можно определить значение выражения <math>a^x</math> уже для произвольного <math>x \in \R</math>. Аналогично, используя свойство непрерывности, доказывается существование числа <math>\log_{a}{b}</math> для любых <math>a,b >0 , a \neq 1</math>.
Длительный исторический промежуток времени математики доказывали теоремы из анализа, в «тонких местах» ссылаясь на геометрическое обоснование, а чаще — и вовсе их пропуская, поскольку это было очевидно. Важнейшее понятие непрерывности использовалось без какого-либо четкого определения. Лишь в последней трети XIX века немецкий математик Карл Вейерштрасс произвел арифметизацию анализа, построив первую строгую теорию действительных чисел как бесконечных десятичных дробей. Он предложил классическое определение предела на языке <math>\varepsilon - \delta</math>, доказал ряд утверждений, которые до него считались «очевидными», и тем самым завершил построение фундамента математического анализа.
Позднее были предложены другие подходы к определению действительного числа. В аксиоматическом подходе непрерывность действительных чисел выделена явно в отдельную аксиому. В конструктивных подходах к теории действительного числа, например при построении действительных чисел с помощью дедекиндовых сечений, свойство непрерывности (в той или иной формулировке) доказывается в качестве теоремы.
Другие формулировки свойства непрерывности и эквивалентные предложения
Существует несколько различных утверждений, выражающих свойство непрерывности действительных чисел. Каждый из этих принципов можно положить в основу построения теории действительного числа в качестве аксиомы непрерывности, и из него вывести все остальные[4][5]. Подробнее этот вопрос обсуждается в следующем разделе.
Непрерывность по Дедекинду
Шаблон:Main Вопрос о непрерывности действительных чисел Дедекинд рассматривает в своей работе «Непрерывность и иррациональные числа» [6]. В ней он сравнивает рациональные числа с точками прямой линии. Как известно, между рациональными числами и точками прямой можно установить соответствие, когда на прямой выбирают начальную точку и единицу измерения отрезков. При помощи последней можно по каждому рациональному числу <math>a</math> построить соответствующий отрезок, и отложив его вправо или влево, смотря по тому, есть ли <math>a</math> положительное или отрицательное число, получить точку <math>p</math>, соответствующую числу <math>a</math>. Таким образом, каждому рациональному числу <math>a</math> соответствует одна и только одна точка <math>p</math> на прямой.
При этом оказывается, что на прямой имеется бесконечно много точек, которые не соответствуют никакому рациональному числу. Например, точка, полученная путём отложения длины диагонали квадрата построенного на единичном отрезке. Таким образом, область рациональных чисел не обладает той полнотой, или же непрерывностью, которая присуща прямой линии.
| « |
Предыдущее сравнение области рациональных чисел с прямой привело к открытию в первой изъянов (Lückenhaftigkeit), неполноты, или разрывности, между тем как прямой мы приписываем полноту, отсутствие пробелов, непрерывность. | » |
| — Анонимус | ||
Чтобы выяснить в чем же состоит эта непрерывность, Дедекинд делает следующее замечание. Если <math>p</math> есть определенная точка прямой, то все точки прямой распадаются на два класса: точки расположенные левее <math>p</math>, и точки расположенные правее <math>p</math>. Сама же точка <math>p</math> может быть произвольно отнесена либо к нижнему, либо к верхнему классу. Дедекинд усматривает сущность непрерывности в обратном принципе:
| « |
Если точки прямой распадаются на два класса такого рода, что каждая точка первого класса лежит влево от каждой точки второго класса, то существует одна и только одна точка, которая производит это разделение прямой на два класса, это рассечение прямой на два куска. | » |
| — Анонимус | ||
Геометрически этот принцип представляется очевидным, однако доказать его мы не в состоянии. Дедекинд подчеркивает, что, по существу, этот принцип является постулатом, в котором выражена сущность того приписываемого прямой свойства, которое мы называем непрерывностью.
| « |
Принятие этого свойства прямой линии есть не что иное, как аксиома, посредством которой мы только и признаем за прямой её непрерывность, мысленно вкладываем непрерывность в прямую. | » |
| — Анонимус | ||
Чтобы глубже понять сущность непрерывности числовой прямой в смысле Дедекинда, рассмотрим произвольное сечение множества действительных чисел, то есть разделение всех действительных чисел на два непустых класса, так что все числа одного класса лежат на числовой прямой левее всех чисел второго. Эти классы называются соответственно нижним и верхним классами сечения. Теоретически имеются 4 возможности:
- В нижнем классе есть максимальный элемент, в верхнем классе нет минимального
- В нижнем классе нет максимального элемента, а в верхнем классе есть минимальный
- В нижнем классе есть максимальный, а в верхнем — минимальный элементы
- В нижнем классе нет максимального, а в верхнем — минимального элементов
В первом и втором случаях максимальный элемент нижнего или минимальный элемент верхнего соответственно и производит данное сечение. В третьем случае мы имеем скачок, а в четвертом — пробел. Таким образом, непрерывность числовой прямой означает, что в множестве действительных чисел нет ни скачков, ни пробелов, то есть, образно говоря, нет пустот.
Если ввести понятие сечения множества действительных чисел, то принцип непрерывности Дедекинда можно сформулировать так.
Шаблон:Razr Для каждого сечения множества действительных чисел существует число, производящее это сечение.
Шаблон:Smallcaps Формулировка Аксиомы непрерывности о существовании точки, разделяющей два множества, весьма напоминает формулировку принципа непрерывности Дедекинда. В действительности, эти утверждения эквивалентны, и, по существу, являются разными формулировками одного и того же. Поэтому оба эти утверждения называют принципом непрерывности действительных чисел по Дедекинду.
Лемма о вложенных отрезках (принцип Коши — Кантора)
Шаблон:Razr (Коши — Кантор). Всякая система вложенных отрезков
[a_1, b_1] \supset [a_2, b_2] \supset \ldots \supset [a_n, b_n] \supset \ldots
</math>имеет непустое пересечение, то есть существует по крайней мере одно число, принадлежащее всем отрезкам данной системы.
Если, кроме того, длина отрезков данной системы стремится к нулю, то есть
\forall \varepsilon > 0 \; \exists n_{\varepsilon} \; \forall n \bigl ( n > n_{\varepsilon} \Rightarrow b_n-a_n < \varepsilon \bigr )
</math>то пересечение отрезков данной системы состоит из одной точки.
Это свойство называют непрерывностью множества действительных чисел в смысле Кантора. Ниже будет показано, что для архимедовых упорядоченных полей непрерывность по Кантору эквивалентна непрерывности по Дедекинду.
Принцип супремума
Шаблон:Razr Всякое непустое ограниченное сверху множество действительных чисел имеет супремум.
В курсах математического анализа это предложение обычно является теоремой и его доказательство существенно использует непрерывность множества действительных чисел в той или иной форме. Вместе с тем можно наоборот, постулировать существование супремума у всякого непустого ограниченного сверху множества, и опираясь на это доказать, например, принцип непрерывности по Дедекинду. Таким образом, теорема о супремуме является одной из эквивалентных формулировок свойства непрерывности действительных чисел.
Шаблон:Smallcaps Вместо супремума можно использовать двойственное понятие инфимума.
Шаблон:Razr Всякое непустое ограниченное снизу множество действительных чисел имеет инфимум.
Это предложение также эквивалентно принципу непрерывности Дедекинда. Более того можно показать, что из утверждения теоремы о супремуме непосредственно вытекает утверждение теоремы об инфимуме, и наоборот (см. ниже).
Лемма о конечном покрытии (принцип Гейне — Бореля)
Шаблон:Razr (Гейне — Борель). В любой системе интервалов, покрывающей отрезок, существует конечная подсистема, покрывающая этот отрезок.
Лемма о предельной точке (принцип Больцано — Вейерштрасса)
Шаблон:Razr (Больцано — Вейерштрасс). Всякое бесконечное ограниченное числовое множество имеет по крайней мере одну предельную точку.
Эквивалентность предложений, выражающих непрерывность множества действительных чисел
Сделаем некоторые предварительные замечания. В соответствии с аксиоматическим определением действительного числа, совокупность действительных чисел удовлетворяет трем группам аксиом. Первая группа — аксиомы поля. Вторая группа выражает тот факт, что совокупность действительных чисел есть линейно упорядоченное множество, причем отношение порядка согласовано с основными операциями поля. Таким образом, первая и вторая группы аксиом означают, что совокупность действительных чисел представляет собой упорядоченное поле. Третья группа аксиом состоит из одной аксиомы — аксиомы непрерывности (или, полноты).
Чтобы показать эквивалентность различных формулировок непрерывности действительных чисел, следует доказать, что если для упорядоченого поля выполнено одно из этих предложений, то из этого вытекает справедливость всех остальных.
Шаблон:Razr Пусть <math>\mathsf{R}</math> — произвольное линейно упорядоченное множество. Следующие утверждения эквивалентны:
- Каковы бы ни были непустые множества <math>A \subset \mathsf{R}</math> и <math>B \subset \mathsf{R}</math>, такие что для любых двух элементов <math>a \in A</math> и <math>b \in B</math> выполняется неравенство <math>a \leqslant b</math>, существует такой элемент <math>\xi \in \mathsf{R}</math>, что для всех <math>a \in A</math> и <math>b \in B</math> имеет место соотношение
<math>a \leqslant \xi \leqslant b</math> - Для всякого сечения в <math>\mathsf{R}</math> существует элемент, производящий это сечение
- Всякое непустое ограниченное сверху множество <math>A \subset \mathsf{R}</math> имеет супремум
- Всякое непустое ограниченное снизу множество <math>A \subset \mathsf{R}</math> имеет инфимум
Как видно из этой теоремы, эти четыре предложения используют лишь то, что на <math>\mathsf{R}</math> введено отношение линейного порядка, и не используют структуру поля. Таким образом, каждое из них выражает свойство <math>\mathsf{R}</math> как линейно упорядоченного множества. Это свойство (произвольного линейно упорядоченного множества, не обязательно множества действительных чисел) называется непрерывностью, или полнотой, по Дедекинду.
Доказательство эквивалентности других предложений уже требует наличия структуры поля.
Шаблон:Razr Пусть <math>\mathsf{R}</math> — произвольное упорядоченное поле. Следующие предложения равносильны:
- <math>\mathsf{R}</math> (как линейно упорядоченное множество) является полным по Дедекинду
- Для <math>\mathsf{R}</math> выполнены принцип Архимеда и принцип вложенных отрезков
- Для <math>\mathsf{R}</math> выполнен принцип Гейне — Бореля
- Для <math>\mathsf{R}</math> выполнен принцип Больцано — Вейерштрасса
Шаблон:Smallcaps Как видно из теоремы, принцип вложенных отрезков сам по себе не равносилен принципу непрерывности Дедекинда. Из принципа непрерывности Дедекинда следует принцип вложенных отрезков, однако для обратного требуется дополнительно потребовать, чтобы упорядоченное поле <math>\mathsf{R}</math> удовлетворяло аксиоме Архимеда.
Доказательство приведенных теорем можно найти в книгах из списка литературы, приведенного ниже.
Примечания
Литература
- ↑ Шаблон:Книга
- ↑ Например, при аксиоматическом определении действительного числа принцип непрерывности Дедекинда входит в число аксиом, а при конструктивном определении действительного числа с помощью дедекиндовых сечений то же самое утверждение уже является теоремой — см. например Шаблон:Книга
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга
