Прочные отношения - Well-founded relation

«Нётерова индукция» перенаправляет сюда. Для использования в топологии см. Нетерово топологическое пространство.

Бинарные отношения
Симметричный Антисимметричный Connex Обоснованный Присоединяется Встречается Отношение эквивалентности ✓ ✗ ✗ ✗ ✗ ✗ Предварительный заказ (Квазипорядок) ✗ ✗ ✗ ✗ ✗ ✗ Частичный заказ ✗ ✓ ✗ ✗ ✗ ✗ Всего предзаказ ✗ ✗ ✓ ✗ ✗ ✗ Общий заказ ✗ ✓ ✓ ✗ ✗ ✗ Предварительный заказ ✗ ✗ ✓ ✓ ✗ ✗ Хорошо-квазиупорядоченный ✗ ✗ ✗ ✓ ✗ ✗ Хороший порядок ✗ ✓ ✓ ✓ ✗ ✗ Решетка ✗ ✓ ✗ ✗ ✓ ✓ Соединение-полурешетка ✗ ✓ ✗ ✗ ✓ ✗ Встреча-полурешетка ✗ ✓ ✗ ✗ ✗ ✓
А "✓"означает, что свойство столбца требуется в определении строки. Например, определение отношения эквивалентности требует, чтобы оно было симметричным. Все определения молчаливо требуют транзитивность и рефлексивность.

В математика, а бинарное отношение р называется обоснованный (или же хорошо обоснованный) на учебный класс Икс если каждый непустой подмножество S ⊆ Икс имеет минимальный элемент относительно р, то есть элемент м не связанный sRm (например, "s не меньше чем м") для любого s ∈ S. Другими словами, связь считается обоснованной, если

${\displaystyle (\forall S\subseteq X)\;[S\neq \emptyset \implies (\exists m\in S)(\forall s\in S)\lnot (sRm)].}$

Некоторые авторы включают дополнительное условие, что р является подобный множеству, т.е. что элементы, меньшие, чем любой данный элемент, образуют набор.

Эквивалентно, если предположить аксиома зависимого выбора, отношение считается обоснованным, если оно не содержит счетных бесконечные нисходящие цепочки: то есть не существует бесконечной последовательности Икс₀, Икс₁, Икс₂, ... элементов Икс такой, что Икс_п+1 р Икс_п для каждого натурального числа п.^[1][2]

В теория порядка, а частичный заказ называется обоснованным, если соответствующий строгий порядок это обоснованные отношения. Если заказ общий заказ тогда это называется в порядке.

В теория множеств, множество Икс называется обоснованный набор если установить членство отношения основаны на переходное закрытие из Икс. В аксиома регулярности, что является одной из аксиом Теория множеств Цермело – Френкеля, утверждает, что все наборы обоснованы.

Отношение р является говорить обоснованно, вверх хорошо обоснованный или же Нётерян на Икс, если обратное отношение р⁻¹ хорошо основан на Икс. В этом случае р также считается, что удовлетворяет условие возрастающей цепи. В контексте переписывание систем, нетерово отношение также называется прекращение.

Индукция и рекурсия

Важная причина того, что обоснованные отношения интересны, заключается в том, что версия трансфинитная индукция можно использовать на них: if (Икс, р) является вполне обоснованным отношением, п(Икс) - некоторое свойство элементов Икс, и мы хотим показать, что

п(Икс) выполняется для всех элементов Икс из Икс,

достаточно показать, что:

Если Икс является элементом Икс и п(у) верно для всех у такой, что y R x, тогда п(Икс) также должно быть правдой.

То есть,

${\displaystyle (\forall x\in X)\;[(\forall y\in X)\;[yRx\implies P(y)]\implies P(x)]\quad {\text{implies}}\quad (\forall x\in X)\,P(x).}$

Обоснованную индукцию иногда называют нётеровой индукцией,^[3] после Эмми Нётер.

Наравне с индукцией обоснованные отношения также поддерживают строительство объектов путем трансфинитная рекурсия. Позволять (Икс, р) быть подобный множеству обоснованные отношения и F функция, которая назначает объект F(Икс, грамм) каждой паре элемента Икс ∈ Икс и функция грамм на начальный сегмент {у: у р Икс} из Икс. Тогда существует единственная функция грамм так что для каждого Икс ∈ Икс,

${\displaystyle G(x)=F\left(x,G\vert _{\left\{y:\,yRx\right\}}\right).}$

То есть, если мы хотим построить функцию грамм на Икс, мы можем определить грамм(Икс) с использованием значений грамм(у) за y R x.

В качестве примера рассмотрим обоснованное соотношение (N, S), куда N это набор всех натуральные числа, и S график функции преемника Икс ↦ Икс+1. Тогда индукция по S это обычный математическая индукция, и рекурсия на S дает примитивная рекурсия. Если мы рассмотрим отношение порядка (N, <), получаем полная индукция, и рекурсия курса ценностей. Утверждение, что (N, <) обосновано также известно как принцип хорошего порядка.

Есть и другие интересные частные случаи хорошо обоснованной индукции. Когда хорошо обоснованное отношение представляет собой обычное упорядочение по классу всех порядковые номера, техника называется трансфинитная индукция. Когда хорошо обоснованный набор представляет собой набор рекурсивно определенных структур данных, метод называется структурная индукция. Когда хорошо обоснованное отношение устанавливается членством в универсальном классе, метод известен как ∈-индукция. См. Эти статьи для получения более подробной информации.

Примеры

К обоснованным отношениям, которые не полностью упорядочены, относятся:

• положительный целые числа {1, 2, 3, ...} с порядком, определенным а < б если и только если а разделяет б и а ≠ б.
• множество всех конечных струны над фиксированным алфавитом с порядком, определяемым s < т если и только если s правильная подстрока т.
• набор N × N из пары из натуральные числа, заказан (п₁, п₂) < (м₁, м₂) если и только если п₁ < м₁ и п₂ < м₂.
• набор всех обычные выражения над фиксированным алфавитом с порядком, определяемым s < т если и только если s является правильным подвыражением т.
• любой класс, элементы которого являются множествами, с отношением ${\displaystyle \in }$ ("является элементом"). Это аксиома регулярности.
• узлы любого конечного ориентированный ациклический граф, с соотношением р определены так, что а R б тогда и только тогда, когда есть край от а к б.

Примеры недостаточно обоснованных отношений:

• отрицательные целые числа {−1, −2, −3,…} в обычном порядке, поскольку любое неограниченное подмножество не имеет наименьшего элемента.
• Набор строк над конечным алфавитом с более чем одним элементом под обычным (лексикографический ) порядок, поскольку последовательность «B»> «AB»> «AAB»> «AAAB»>… представляет собой бесконечную убывающую цепочку. Это отношение не может быть обоснованным, даже если весь набор имеет минимальный элемент, а именно пустую строку.
• в рациональное число (или же реалы ) при стандартном порядке, поскольку, например, в наборе положительных рациональных чисел (или действительных чисел) отсутствует минимум.

Другие свойства

Если (Икс, <) - вполне обоснованное соотношение и Икс является элементом Икс, то нисходящие цепочки начиная с Икс все конечны, но это не означает, что их длина обязательно ограничена. Рассмотрим следующий пример: Пусть Икс - объединение натуральных чисел и нового элемента ω, который больше любого целого числа. потом Икс - вполне обоснованное множество, но есть нисходящие цепочки произвольной большой (конечной) длины, начинающиеся в ω; цепь ω, п − 1, п - 2, ..., 2, 1 имеет длину п для любого п.

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

Рефлексивность

Отношение р как говорят рефлексивный если ара справедливо для каждого а в области отношения. Каждое рефлексивное отношение в непустой области имеет бесконечные нисходящие цепочки, потому что любая постоянная последовательность является нисходящей цепочкой. Например, в натуральных числах с их обычным порядком ≤ имеем ${\displaystyle 1\geq 1\geq 1\geq \cdots .}$ Чтобы избежать этих тривиальных нисходящих последовательностей, при работе с частичным порядком ≤ обычно применяется определение обоснованности (возможно, неявно) к альтернативному отношению <, определенному таким образом, что а < б если и только если а ≤ б и а ≠ б. В общем, при работе с Предварительный заказ ≤, обычно используется отношение <, определенное таким, что а < б если и только если а ≤ б и б ≰ а. В контексте натуральных чисел это означает, что отношение <, которое является хорошо обоснованным, используется вместо отношения ≤, которого нет. В некоторых текстах определение хорошо обоснованного отношения изменено по сравнению с определением выше, чтобы включить эти соглашения.

Рекомендации

1. «Условие обоснованности». ProofWiki. Получено 20 февраля 2019.
2. Р. Фрейсс (15 декабря 2000 г.). Теория отношений, том 145 - 1-е издание (1-е изд.). Эльзевир. п. 46. ISBN  9780444505422. Получено 20 февраля 2019.
3. Бурбаки, Н. (1972) Элементы математики. Коммутативная алгебра, Эддисон-Уэсли.

• Просто, Винфрид и Виз, Мартин (1998) Открытие современной теории множеств. я, Американское математическое общество ISBN  0-8218-0266-6.
• Карел Хрбачек & Томас Джеч (1999) Введение в теорию множеств, 3-е издание, «Обоснованные отношения», стр. 251–5, Марсель Деккер ISBN  0-8247-7915-0