Дедекинда вырезать - Dedekind cut

Об американском продюсере, профессионально известном как Дедекинд Кат, см. Фред Вармсли.

Дедекинд использовал свой разрез, чтобы построить иррациональный, действительные числа.

В математика, Дедекинд сокращает, названный в честь немецкого математика Ричард Дедекинд но ранее рассматривалось Джозеф Бертран,^[1][2] являются методом построение действительных чисел от рациональное число. Дедекиндовская огранка - это раздел рациональных чисел на два непустых наборы А и B, так что все элементы А меньше, чем все элементы B, и А не содержит величайший элемент. Набор B может иметь или не иметь наименьший элемент среди рациональных чисел. Если B имеет наименьший элемент среди рациональных чисел, разрез соответствует этому рациональному. В противном случае этот разрез определяет уникальное иррациональное число, которое, грубо говоря, заполняет «пробел» между А иB.^[3] Другими словами, А содержит каждое рациональное число, меньшее разреза, и B содержит каждое рациональное число, большее или равное разрезу. Иррациональный разрез приравнивается к иррациональному числу, которого нет ни в одном множестве. Каждое действительное число, рациональное или нет, приравнивается к одному и только одному срезу рациональных чисел.^{[нужна цитата ]}

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

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

Определение

Разрез Дедекинда - это разбиение рациональных чисел ${\displaystyle \mathbb {Q} }$ на два подмножества ${\displaystyle A}$ и ${\displaystyle B}$ такой, что

1. ${\displaystyle A}$ непусто.
2. ${\displaystyle A\neq \mathbb {Q} }$.
3. Если ${\displaystyle x,y\in \mathbb {Q} }$, ${\displaystyle x<y}$, и ${\displaystyle y\in A}$, тогда ${\displaystyle x\in A}$. (${\displaystyle A}$ "закрыто вниз".)
4. Если ${\displaystyle x\in A}$, то существует ${\displaystyle y\in A}$ такой, что ${\displaystyle y>x}$. (${\displaystyle A}$ не содержит наибольшего элемента.)

Ослабляя первые два требования, формально получаем расширенная строка действительных чисел.

Представления

Более симметрично использовать (А, B) обозначение дедекиндовских разрезов, но каждое из А и B определяет другое. С точки зрения обозначений, если не более того, может быть упрощением сосредоточиться на одной «половине» - скажем, на нижней - и называть любое закрытое вниз множество А без величайшего элемента "дедекиндова огранка".

Если заказанный набор S то для любого дедекиндова разреза (А, B) из S, набор B должен иметь минимальный элемент б, следовательно, мы должны иметь А это интервал (−∞, б), и B интервал [б, + ∞), в этом случае говорят, что б представлен срез (А, B).

Важная цель сокращения Дедекинда - работа с наборами чисел, которые не полный. Сам разрез может представлять собой число, не входящее в исходный набор чисел (чаще всего рациональное число ). Разрез может представлять собой число б, хотя числа, содержащиеся в двух наборах А и B на самом деле не включайте номер б что представляет их разрез.

Например, если А и B только содержать рациональное число, их все еще можно разрезать на √2 помещая каждое отрицательное рациональное число в Авместе с каждым неотрицательным числом, квадрат которого меньше 2; так же B будет содержать каждое положительное рациональное число, квадрат которого больше или равен 2. Даже если нет рационального значения для √2, если рациональные числа разбить на А и B таким образом, сама перегородка представляет собой иррациональный номер.

Заказ разрезов

Рассмотрим одну вырезку Дедекинда (А, B) так как меньше, чем еще один дедекиндовский разрез (C, D) (того же надмножества), если А является собственным подмножеством C. Эквивалентно, если D является собственным подмножеством B, срез (А, B) снова меньше, чем (C, D). Таким образом, включение множества может использоваться для представления порядка чисел и всех других отношений (лучше чем, меньше или равно, равнои т. д.) аналогичным образом можно создать из отношений множества.

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

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

Смотрите также: Построение действительных чисел § Построение по дедекиндовым разрезам

Типичный дедекиндовский разрез рациональное число ${\displaystyle \mathbb {Q} }$ дается разделом ${\displaystyle (A,B)}$ с участием

${\displaystyle A=\{a\in \mathbb {Q} :a^{2}<2{\text{ or }}a<0\},}$

${\displaystyle B=\{b\in \mathbb {Q} :b^{2}\geq 2{\text{ and }}b\geq 0\}.}$^[4]

Этот разрез представляет собой иррациональный номер √2 в конструкции Дедекинда. Основная идея состоит в том, что мы используем набор ${\displaystyle A}$, который представляет собой набор всех рациональных чисел, квадраты которых меньше 2, чтобы "представить" число √2и, кроме того, правильно определяя арифметические операторы над этими наборами (сложение, вычитание, умножение и деление), эти наборы (вместе с этими арифметическими операциями) образуют знакомые действительные числа.

Чтобы установить это, нужно показать, что ${\displaystyle A}$ действительно есть разрез (по определению) и квадрат ${\displaystyle A}$, это ${\displaystyle A\times A}$ (см. ссылку выше для точного определения того, как определяется умножение разрезов), является ${\displaystyle 2}$ (заметим, что строго говоря это разрез ${\displaystyle \{x\ |\ x\in \mathbb {Q} ,x<2\}}$). Чтобы показать первую часть, мы покажем, что для любого положительного рационального ${\displaystyle x}$ с участием ${\displaystyle x^{2}<2}$, есть рациональное ${\displaystyle y}$ с участием ${\displaystyle x<y}$ и ${\displaystyle y^{2}<2}$. Выбор ${\displaystyle y={\frac {2x+2}{x+2}}}$ работает, таким образом ${\displaystyle A}$ действительно разрез. Теперь, вооружившись умножением между разрезами, легко проверить, что ${\displaystyle A\times A\leq 2}$ (по сути, это потому, что ${\displaystyle x\times y\leq 2,\forall x,y\in A,x,y\geq 0}$). Поэтому, чтобы показать, что ${\displaystyle A\times A=2}$, мы показываем, что ${\displaystyle A\times A\geq 2}$, и достаточно показать, что для любого ${\displaystyle r<2}$, Существует ${\displaystyle x\in A}$, ${\displaystyle x^{2}>r}$. Для этого заметим, что если ${\displaystyle x>0,2-x^{2}=\epsilon >0}$, тогда ${\displaystyle 2-y^{2}\leq {\frac {\epsilon }{2}}}$ для ${\displaystyle y}$ построенный выше, это означает, что у нас есть последовательность в ${\displaystyle A}$ квадрат которого может стать сколь угодно близким к ${\displaystyle 2}$, что завершает доказательство.

Отметим, что равенство б² = 2 не может держаться, так как √2 не рационально.

Обобщения

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

Частично упорядоченные наборы

Основная статья: Завершение Дедекинда – МакНила

В более общем смысле, если S это частично заказанный набор, а завершение из S означает полная решетка L с вложением порядка S в L. Понятие полная решетка обобщает свойство наименьшей верхней границы вещественных чисел.

Одно завершение S это набор его вниз закрыт подмножества, упорядоченные по включение. Связанное завершение, которое сохраняет все существующие суппорты и инфы S получается следующей конструкцией: для каждого подмножества А из S, позволять А^ты обозначим множество верхних границ А, и разреши А^л обозначим множество нижних границ А. (Эти операторы образуют Связь Галуа.) Тогда Завершение Дедекинда – МакНила из S состоит из всех подмножеств А для которого (А^ты)^л = А; заказывается включением. Пополнение Дедекинда-МакНейля представляет собой наименьшую полную решетку с S встроен в него.

Заметки

1. Бертран, Джозеф (1849). Traité d'Arithmétique. стр.203. Несоизмеримое число можно определить, только указав, как величина, которую оно выражает, может быть образована с помощью единицы. В дальнейшем мы предполагаем, что это определение состоит из указания, какие соизмеримые числа меньше или больше него ....
2. Спальт, Детлеф (2019). Eine kurze Geschichte der Analysis. Springer. Дои:10.1007/978-3-662-57816-2.
3. Дедекинд, Ричард (1872). Непрерывность и иррациональные числа (PDF). Раздел IV. Таким образом, всякий раз, когда мы имеем дело с разрезом, произведенным без рационального числа, мы создаем новый иррациональный число, которое мы считаем полностью определенным этим сокращением .... Следовательно, отныне каждому определенному сокращению соответствует определенное рациональное или иррациональное число ...
4. Во второй строке ${\displaystyle \geq }$ может быть заменен на ${\displaystyle >}$ без разницы, так как нет решения для ${\displaystyle x^{2}=2}$ в ${\displaystyle \mathbb {Q} }$ и ${\displaystyle b=0}$ уже запрещено первым условием. Это приводит к эквивалентному выражению

   ${\displaystyle B=\{b\in \mathbb {Q} :b^{2}>2{\text{ and }}b>0\}.}$

использованная литература

• Дедекинд, Ричард, Очерки теории чисел, «Непрерывность и иррациональные числа», Дувр: Нью-Йорк, ISBN  0-486-21010-3. Также имеется в наличии в Project Gutenberg.

внешние ссылки

• "Дедекиндовая огранка", Энциклопедия математики, EMS Press, 2001 [1994]