Квазиупорядочение - Википедия - Well-quasi-ordering

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

Мотивация

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

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

Формальное определение

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

А ну частичный порядок, или wpo, является wqo, которое является правильным отношением упорядочения, т.е. антисимметричный.

Среди других способов определения wqo можно сказать, что они являются квазипорядками, которые не содержат бесконечных строго убывающий последовательности (в форме )[1] ни бесконечные последовательности попарно несравнимый элементы. Следовательно, квазипорядок (Икс, ≤) является wqo тогда и только тогда, когда (Икс, <) есть обоснованный и не имеет бесконечного антицепи.

Примеры

Рис.1: Целые числа в обычном порядке
Рис.2: Диаграмма Хассе натуральных чисел, упорядоченных по делимости
Рис.3: Диаграмма Хассе с покомпонентным порядком
  • , множество натуральных чисел со стандартным порядком, является вполне частичным порядком (фактически, в порядке ). Тем не мение, , множество положительных и отрицательных целых чисел, есть нет вполне квазипорядком, потому что он не обоснован (см. рис.1).
  • , множество натуральных чисел, упорядоченных по делимости, равно нет хорошо-квазипорядок: простые числа представляют собой бесконечную антицепь (см. рис.2).
  • , множество векторов натуральные числа (где конечно) с покомпонентный заказ, является вполне частичным порядком (Лемма Диксона; см. рис.3). В более общем смысле, если хорошо квазипорядком, то также хороший квазипорядок для всех .
  • Позволять - произвольное конечное множество не менее чем из двух элементов. Набор из слова закончились упорядоченный лексикографически (как в словаре) нет хорошо квазипорядком, потому что он содержит бесконечную убывающую последовательность . По аналогии, заказано префикс отношение нет хорошо-квазипорядок, потому что предыдущая последовательность является бесконечной антицепью этого частичного порядка. Тем не мение, заказано подпоследовательность отношение - это вполне частичный порядок.[1] (Если имеет только один элемент, эти три частичных порядка идентичны.)
  • В более общем смысле, , множество конечных -последовательности, заказанные встраивание является хорошим квазипорядком тогда и только тогда, когда является хорошим квазипорядком (Лемма хигмана ). Напомним, что вставляется последовательность в последовательность найдя подпоследовательность который имеет ту же длину, что и и это преобладает в нем постепенно. Когда неупорядоченный набор, если и только если является подпоследовательностью .
  • , множество бесконечных последовательностей над хорошо квазипорядком , упорядоченный по вложению, является нет ну-квазипорядок в целом. То есть лемма Хигмана не переносится на бесконечные последовательности. Лучше квазиупорядочения были введены для обобщения леммы Хигмена на последовательности произвольной длины.
  • Вложение между конечными деревьями с узлами, помеченными элементами wqo это wqo (Теорема Крускала о дереве ).
  • Вложение между бесконечными деревьями с узлами, помеченными элементами wqo это wqo (Нэш-Вильямс теорема).
  • Вложение между счетными булевы алгебры это хорошо-квазипорядок. Это следует из теоремы Лавера и теоремы Кетонена.

Сравнение WQO с частичными заказами

На практике, манипулируемые wqo довольно часто не упорядочения (см. Примеры выше), а теория технически более гладкая.[нужна цитата ] если нам не нужна антисимметрия, то она построена с использованием wqo в качестве основного понятия. С другой стороны, согласно Милнеру 1985, в целом, если рассматривать квазипорядки, а не частичные порядки, никакой реальной выгоды не получается ... это просто удобнее.

Заметим, что wpo является wqo, и что wqo порождает wpo между классами эквивалентности, индуцированными ядром wqo. Например, если мы заказываем по делимости мы получаем если и только если , так что .

Бесконечные возрастающие подпоследовательности

Если равно wqo, то каждая бесконечная последовательность содержит бесконечный возрастающая подпоследовательность ). Такую подпоследовательность иногда называют идеально.Это может быть доказано Аргумент Рамси: заданная последовательность , рассмотрим множество индексов такой, что не имеет большего или равного справа, т.е. с . Если бесконечно, то -выделенная подпоследовательность противоречит предположению, что это wqo. Так конечно, и любое с больше любого индекса в может использоваться как начальная точка бесконечной возрастающей подпоследовательности.

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

Свойства wqos

  • Учитывая квазиупорядочение квазиупорядочивание определяется обоснованно тогда и только тогда, когда это wqo.[4]
  • Квазиупорядочение является wqo тогда и только тогда, когда соответствующий частичный порядок (полученный путем факторизации по ) не имеет бесконечных убывающих последовательностей или антицепи. (Это можно доказать с помощью Аргумент Рамси как указано выше.)
  • Учитывая хорошо квазиупорядоченный , любая последовательность замкнутых вверх подмножеств в конечном итоге стабилизируется (то есть существует такой, что ; подмножество называется вверхзакрыто если ): предполагая противное , противоречие достигается путем выделения бесконечной невозрастающей подпоследовательности.
  • Учитывая хорошо квазиупорядоченный , любое подмножество из имеет конечное число минимальных элементов относительно , иначе минимальные элементы будет представлять собой бесконечную антицепь.

Примечания

^ Здесь Икс < у средства: и

  1. ^ Гасарх, В. (1998), "Обзор рекурсивной комбинаторики", Справочник по рекурсивной математике, Vol. 2, Stud. Логика найдена. Математика, 139, Амстердам: Северная Голландия, стр. 1041–1176, Дои:10.1016 / S0049-237X (98) 80049-9, МИСТЕР  1673598. См., В частности, страницу 1160.
  2. ^ Нешетржил, Ярослав; Оссона де Мендес, Патрис (2012), «Лемма 6.13», Разреженность: графики, структуры и алгоритмы, Алгоритмы и комбинаторика, 28, Гейдельберг: Springer, стр. 137, Дои:10.1007/978-3-642-27875-4, ISBN  978-3-642-27874-7, МИСТЕР  2920058.
  3. ^ Дамашке, Питер (1990), "Индуцированные подграфы и хорошо квазиупорядочение", Журнал теории графов, 14 (4): 427–435, Дои:10.1002 / jgt.3190140406, МИСТЕР  1067237.
  4. ^ Форстер, Томас (2003). «Лучше-квазиупорядочение и коиндукция». Теоретическая информатика. 309 (1–3): 111–123. Дои:10.1016 / S0304-3975 (03) 00131-2.

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

Смотрите также