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

Дедеки́ндово сече́ние — один из способов построения вещественных чисел из рациональных[1].

Множество вещественных чисел определяется как множество дедекиндовых сечений. На них возможно продолжить операции сложения и умножения.

История

Метод был введён в 1872 году Рихардом Дедекиндом[2][3].

Аналогичное построение для геометрических величин неявно присутствует в «Началах» Евклида, а именно, в книге V определение 5 звучит следующим образом:

Говорят, что величины находятся в том же отношении первая ко второй и третья к четвёртой, если равнократные первой и третьей одновременно больше, одновременно равны или одновременно меньше равнократных второй и четвёртой каждая каждой при какой бы то ни было кратности, если взять их в соответствующем порядке (9, 10, 11, 12).[4].

Близкие идеи опубликовал в 1849 году французский математик Жозеф Бертран[5].

Определение

Дедекиндово сечение — это разбиение множества рациональных чисел на два подмножества (нижнее, или левое) и (верхнее, или правое) такие, что[6]:

  1. для любых и ,
  2. не имеет наименьшего элемента.

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

Если множество имеет наибольший элемент, то дедекиндово сечение можно отождествить с этим рациональным числом. В противном случае сечение определяет иррациональное число, которое больше всех чисел множества и меньше всех чисел множества . Определив на полученном множестве сечений арифметические операции и порядок, мы получаем поле вещественных чисел, причём каждое сечение определяет одно и только одно вещественное число.

Пример

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

Вещественному числу соответствует дедекиндово сечение, для которого[7]:

множество
множество

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

Упорядоченность дедекиндовых сечений

Введём во множестве сечений порядок. Сначала определим, что два сечения и равны, если (тогда и ). Далее определим[8]:

, если и при этом

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

Из данного определения порядка следует:

Теорема о приближении. Любое вещественное число может быть с любой точностью приближено рациональными числами, то есть может быть заключено в интервал с рациональными границами произвольно малой длины[9].

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

Для определения арифметических действий с сечениями можно воспользоваться сформулированной в предыдущем разделе теоремой о приближении.

Пусть — вещественные числа. Согласно теореме о приближении, для них можно указать интервалы-приближения с рациональными границами:

Тогда суммой называется[10] вещественное число, содержащееся во всех интервалах вида Сумма вещественных чисел всегда существует, однозначно определена и для рациональных чисел совпадает с прежним определением суммы. Вычитание всегда возможно, поэтому относительно так определённой операции сложения вещественные числа образуют аддитивную группу.

Аналогично определяется умножение вещественных чисел, которое вместе со сложением превращает множество вещественных чисел в упорядоченное поле[11].

Вариации и обобщения

См. также: Пополнение Дедекинда — Макнейла

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

Аналог дедекиндовых сечений используется для построения сюрреальных чисел[12].

См. также

Примечания

  1. Математическая энциклопедия, 1979.
  2. Richard Dedekind. Stetigkeit und irrationale Zahlen. Friedrich Vieweg und Sohn, Braunschweig 1872. (online).
  3. Рихард Дедекинд. Непрерывность и иррациональные числа = Stetigkeit und irrationale Zahlen / пер. с нем. С. О. Шатуновского. — 4. Матезис, 1923.
  4. Начала Евклида. Перевод с греческого и комментарии Д. Д. Мордухай-Болтовского при редакционном участии И. Н. Веселовского и М. Я. Выгодского. М.-Л.: ГТТИ, 1949—1951. книги I—VI на www.math.ru или на mccme.ru; книги VII—X на www.math.ru или на mccme.ru; книги XI—XIV на www.math.ru или на mccme.ru
  5. Bertrand, Joseph. Traité d'Arithmétique. — 1849. — «Несоизмеримое число можно определить, всего лишь указав, как величина, которую оно выражает, может быть образована с помощью единицы. В дальнейшем мы предполагаем, что это определение состоит из указания, какие соизмеримые числа меньше или больше данного.».
  6. Фихтенгольц, 1966, с. 17—18.
  7. Фихтенгольц, 1966, с. 18, 36.
  8. Фихтенгольц, 1966, с. 19—21.
  9. Фихтенгольц, 1966, с. 22—24.
  10. Фихтенгольц, 1966, с. 28—31.
  11. Фихтенгольц, 1966, с. 31—34.
  12. См. лекцию Конвея, примерно с 0:16:30 по 0:19:30

Литература

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.