WikiDer > Разбросанный порядок - Википедия
В математике теория порядка, а разрозненный порядок это линейный порядок который не содержит плотно заказанный подмножество с более чем одним элементом.[1]
Характеристика из-за Хаусдорф утверждает, что класс всех разрозненных порядков является наименьшим классом линейных порядков, который содержит одноэлементные порядки и закрыт относительно хорошо организованный и в обратном порядке суммы.
Теорема Лавера (обобщая гипотезу Роланд Фраиссе на счетных порядках) утверждает, что отношение вложения на классе счетных объединений разбросанных порядков является хороший квазипорядок.[2]
В порядок топологии разрозненного порядка разбросанный. Обратное утверждение неверно, о чем свидетельствует лексикографический порядок на .
Рекомендации
- ^ Эгберт Харцхейм (2005). «6.6 Разрозненные наборы». Заказанные наборы. Springer. стр.193–201. ISBN 0-387-24219-8.
- ^ Харцхейм, теорема 6.17, с. 201; Лейвер, Ричард (1971). «О гипотезе типа порядка Фраиссе». Анналы математики. 93 (1): 89–111. Дои:10.2307/1970754. JSTOR 1970754.
Этот математическая логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |