Квазиупорядочение - Википедия - Well-quasi-ordering
В математика, конкретно теория порядка, а хорошо квазиупорядоченный или же wqo это квазиупорядочение такой, что любой бесконечный последовательность элементов из содержит возрастающую пару с .
Мотивация
Обоснованная индукция может использоваться на любом множестве с хорошо обоснованным отношением, поэтому каждый интересуется, когда квазипорядок хорошо обоснован. (Здесь, злоупотребляя терминологией, квазипорядок считается обоснованным, если соответствующий строгий порядок является хорошо обоснованным соотношением.) Однако класс хорошо обоснованных квазипорядков не замыкается при определенных операциях, то есть когда квазипорядок используется для получения нового квазипорядка на множестве структур, производных от нашего исходного множества , этот квазипорядок оказывается необоснованным. Установив более строгие ограничения на исходный хорошо обоснованный квазипорядок, можно надеяться на то, что полученные нами квазиупорядочения по-прежнему хорошо обоснованы.
Примером этого является набор мощности операция. Учитывая квазиупорядочение для набора можно определить квазипорядок на набор мощности установив тогда и только тогда, когда для каждого элемента можно найти какой-то элемент что больше, чем по отношению к . Можно показать, что это квазиупорядочение на не обязательно быть хорошо обоснованным, но если исходное квазиупорядочение считать хорошо квазиупорядочением, то так оно и есть.
Формальное определение
А хорошо квазиупорядоченный на съемочной площадке это квазиупорядочение (т.е. рефлексивный, переходный бинарное отношение ) такой, что любой бесконечный последовательность элементов из содержит возрастающую пару с . Набор как говорят квазиупорядоченный, или в ближайшее время wqo.
А ну частичный порядок, или wpo, является wqo, которое является правильным отношением упорядочения, т.е. антисимметричный.
Среди других способов определения wqo можно сказать, что они являются квазипорядками, которые не содержат бесконечных строго убывающий последовательности (в форме )[1] ни бесконечные последовательности попарно несравнимый элементы. Следовательно, квазипорядок (Икс, ≤) является wqo тогда и только тогда, когда (Икс, <) есть обоснованный и не имеет бесконечного антицепи.
Примеры
- , множество натуральных чисел со стандартным порядком, является вполне частичным порядком (фактически, в порядке ). Тем не мение, , множество положительных и отрицательных целых чисел, есть нет вполне квазипорядком, потому что он не обоснован (см. рис.1).
- , множество натуральных чисел, упорядоченных по делимости, равно нет хорошо-квазипорядок: простые числа представляют собой бесконечную антицепь (см. рис.2).
- , множество векторов натуральные числа (где конечно) с покомпонентный заказ, является вполне частичным порядком (Лемма Диксона; см. рис.3). В более общем смысле, если хорошо квазипорядком, то также хороший квазипорядок для всех .
- Позволять - произвольное конечное множество не менее чем из двух элементов. Набор из слова закончились упорядоченный лексикографически (как в словаре) нет хорошо квазипорядком, потому что он содержит бесконечную убывающую последовательность . По аналогии, заказано префикс отношение нет хорошо-квазипорядок, потому что предыдущая последовательность является бесконечной антицепью этого частичного порядка. Тем не мение, заказано подпоследовательность отношение - это вполне частичный порядок.[1] (Если имеет только один элемент, эти три частичных порядка идентичны.)
- В более общем смысле, , множество конечных -последовательности, заказанные встраивание является хорошим квазипорядком тогда и только тогда, когда является хорошим квазипорядком (Лемма хигмана ). Напомним, что вставляется последовательность в последовательность найдя подпоследовательность который имеет ту же длину, что и и это преобладает в нем постепенно. Когда неупорядоченный набор, если и только если является подпоследовательностью .
- , множество бесконечных последовательностей над хорошо квазипорядком , упорядоченный по вложению, является нет ну-квазипорядок в целом. То есть лемма Хигмана не переносится на бесконечные последовательности. Лучше квазиупорядочения были введены для обобщения леммы Хигмена на последовательности произвольной длины.
- Вложение между конечными деревьями с узлами, помеченными элементами wqo это wqo (Теорема Крускала о дереве ).
- Вложение между бесконечными деревьями с узлами, помеченными элементами wqo это wqo (Нэш-Вильямс теорема).
- Вложение между счетными разбросанный линейный порядок типы - это хорошо-квазипорядок (Теорема Лавера ).
- Вложение между счетными булевы алгебры это хорошо-квазипорядок. Это следует из теоремы Лавера и теоремы Кетонена.
- Конечные графы, упорядоченные понятием вложения, называемым "граф минор "- хорошо квазипорядок (Теорема Робертсона – Сеймура ).
- Графы конечных глубина дерева заказано индуцированный подграф отношения образуют хорошо-квазипорядок,[2] как и кографы упорядочены индуцированными подграфами.[3]
Сравнение WQO с частичными заказами
На практике, манипулируемые wqo довольно часто не упорядочения (см. Примеры выше), а теория технически более гладкая.[нужна цитата ] если нам не нужна антисимметрия, то она построена с использованием wqo в качестве основного понятия. С другой стороны, согласно Милнеру 1985, в целом, если рассматривать квазипорядки, а не частичные порядки, никакой реальной выгоды не получается ... это просто удобнее.
Заметим, что wpo является wqo, и что wqo порождает wpo между классами эквивалентности, индуцированными ядром wqo. Например, если мы заказываем по делимости мы получаем если и только если , так что .
Бесконечные возрастающие подпоследовательности
Если равно wqo, то каждая бесконечная последовательность содержит бесконечный возрастающая подпоследовательность (с ). Такую подпоследовательность иногда называют идеально.Это может быть доказано Аргумент Рамси: заданная последовательность , рассмотрим множество индексов такой, что не имеет большего или равного справа, т.е. с . Если бесконечно, то -выделенная подпоследовательность противоречит предположению, что это wqo. Так конечно, и любое с больше любого индекса в может использоваться как начальная точка бесконечной возрастающей подпоследовательности.
Существование таких бесконечных возрастающих подпоследовательностей иногда используется как определение хорошего квазиупорядочения, что приводит к эквивалентному понятию.
Свойства wqos
- Учитывая квазиупорядочение квазиупорядочивание определяется обоснованно тогда и только тогда, когда это wqo.[4]
- Квазиупорядочение является wqo тогда и только тогда, когда соответствующий частичный порядок (полученный путем факторизации по ) не имеет бесконечных убывающих последовательностей или антицепи. (Это можно доказать с помощью Аргумент Рамси как указано выше.)
- Учитывая хорошо квазиупорядоченный , любая последовательность замкнутых вверх подмножеств в конечном итоге стабилизируется (то есть существует такой, что ; подмножество называется вверхзакрыто если ): предполагая противное , противоречие достигается путем выделения бесконечной невозрастающей подпоследовательности.
- Учитывая хорошо квазиупорядоченный , любое подмножество из имеет конечное число минимальных элементов относительно , иначе минимальные элементы будет представлять собой бесконечную антицепь.
Примечания
^ Здесь Икс < у средства: и
- ^ Гасарх, В. (1998), "Обзор рекурсивной комбинаторики", Справочник по рекурсивной математике, Vol. 2, Stud. Логика найдена. Математика, 139, Амстердам: Северная Голландия, стр. 1041–1176, Дои:10.1016 / S0049-237X (98) 80049-9, МИСТЕР 1673598. См., В частности, страницу 1160.
- ^ Нешетржил, Ярослав; Оссона де Мендес, Патрис (2012), «Лемма 6.13», Разреженность: графики, структуры и алгоритмы, Алгоритмы и комбинаторика, 28, Гейдельберг: Springer, стр. 137, Дои:10.1007/978-3-642-27875-4, ISBN 978-3-642-27874-7, МИСТЕР 2920058.
- ^ Дамашке, Питер (1990), "Индуцированные подграфы и хорошо квазиупорядочение", Журнал теории графов, 14 (4): 427–435, Дои:10.1002 / jgt.3190140406, МИСТЕР 1067237.
- ^ Форстер, Томас (2003). «Лучше-квазиупорядочение и коиндукция». Теоретическая информатика. 309 (1–3): 111–123. Дои:10.1016 / S0304-3975 (03) 00131-2.
Рекомендации
- Диксон, Л.Э. (1913). "Конечность нечетных совершенных и примитивных избыточных чисел с р различные простые множители ". Американский журнал математики. 35 (4): 413–422. Дои:10.2307/2370405. JSTOR 2370405.
- Хигман, Г. (1952). «Упорядочивание по делимости в абстрактных алгебрах». Труды Лондонского математического общества. 2: 326–336. Дои:10.1112 / плмс / с3-2.1.326.
- Крускал, Дж. Б. (1972). «Теория хорошо квазиупорядочения: часто обнаруживаемая концепция». Журнал комбинаторной теории. Серия А. 13 (3): 297–305. Дои:10.1016/0097-3165(72)90063-5.
- Кетонен, Юсси (1978). «Строение счетных булевых алгебр». Анналы математики. 108 (1): 41–89. Дои:10.2307/1970929. JSTOR 1970929.
- Милнер, Э. (1985). «Основы теории WQO и BQO». В Соперник, И. (ред.). Графики и порядок. Роль графов в теории упорядоченных множеств и ее приложениях. D. Reidel Publishing Co., стр. 487–502. ISBN 90-277-1943-8.
- Галье, Жан Х. (1991). «Что такого особенного в теореме Крускала и ординале Γo? Обзор некоторых результатов в теории доказательств». Анналы чистой и прикладной логики. 53 (3): 199–260. Дои:10.1016 / 0168-0072 (91) 90022-Е.