Х называется система, для которой
Пример. Бинарное отношение равенства чисел "=" - рефлексивное (так как x=x), симметричное (так как x=y => y=x), транзитивное (так как x=>y, y=>z => x=>z). Бинарное отношение "иметь общий делитель" - рефлексивное, симметричное, транзитивное (проверить). Бинарное отношение вложенности множеств "
" - рефлексивное, антисимметричное, транзитивное (проверить).
Частично упорядоченной по отношению r системой Х называется система, для которой (т.е. для любых элементов которой) задано отношение r(Х), являющееся транзитивным, несимметричным, рефлексивным.
Упорядоченная по отношению r(Х) система - система Х, такая, что
x, y
X, либо
, либо
.
Система с заданным на ней (на определяющем ее множестве элементов) отношением частичного упорядочивания называется системой с порядком, а система с заданным отношением упорядочивания - системой с полным порядком.
Пример. Пусть N - множество натуральных чисел. Отношение r(x,y): "x кратно y" определенное на N, как легко проверить, является отношением частичного порядка. Отношение r(x,y): "x
y" определенное на множестве действительных чисел R, - отношение частичного порядка и полного порядка. Отношение r(x,y): "x<y" определенное на R не является отношением полного порядка (не рефлексивно). Отношение вложенности множеств "x
y" - отношение частичного упорядочивания множеств, определенное на множестве всех множеств, но оно не является отношением полного порядка (не для любых двух множеств имеет место включение в ту или иную сторону).
Теперь можно дать и формализованное определение понятия структуры.
Структурой, определенной над множеством (или на множестве) Х называется некоторое отношение над Х типа упорядочивания. Более формальное, математическое определение: структура (решетка) - частично упорядоченное множество X, для которого любое двухэлементное подмножество {х,у} из Х имеет наибольший или наименьший элемент (супремум или инфинум).
Таким образом, систему можно понимать как целостный комплекс (кортеж) объектов S = <A, R>, А = {а}, R = {r), где r - отношение над А, A - произвольное множество элементов.
Содержание Назад Вперед
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий