Лине́йно упоря́доченное мно́жество (цепь, сокр.
ЛУМ) ― частично упорядоченное множество, в котором любая пара элементов сравнима, то есть для любых двух элементов и имеет место или .
Одно из центральных понятий в теории порядков; играет важную роль в общей алгебре, в частности, особо изучаются упорядоченные группы, упорядоченные кольца, упорядоченные поля. Важнейший частный случай линейно упорядоченных множеств ― вполне упорядоченные множества.
Сечением линейно упорядоченного множества называется разбиение его на два подмножества и так, что , и для любых и : . Классы и называются соответственно нижним и верхним классами сечения.
Различаются следующие типы сечений:
Линейно упорядоченное множество называется непрерывным, если все его сечения дедекиндовы.
Подмножество линейно упорядоченного множества называется плотным, если каждый неодноэлементный интервал множества содержит элементы, принадлежащие .
Подмножество линейно упорядоченного множества само является линейно упорядоченным.
Всякий максимальный (минимальный) элемент линейно упорядоченного множества оказывается наибольшим (наименьшим).
Линейно упорядоченное множество вещественных чисел может быть охарактеризовано как непрерывное линейно упорядоченное множество, в котором нет ни наибольшего, ни наименьшего элементов, но содержится счётное плотное подмножество.
Всякое счётное линейно упорядоченное множество изоморфно некоторому подмножеству отрезка с порядком, унаследованным от .
Решётка изоморфна подмножеству линейно упорядоченного множества целых чисел тогда и только тогда, когда каждая её подрешетка является ретрактом.
В статье не хватает ссылок на источники (см. рекомендации по поиску). |
This article uses material from the Wikipedia Русский article Линейно упорядоченное множество, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Если не указано иное, содержание доступно по лицензии CC BY-SA 4.0. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Русский (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.