Дискретная математика. Математическая логика Лекция 3. Виды бинарных отношений 2008 г. Проф., д.т.н. Гусева А.И. , доцент Порешин П.П., аспирант Цыплаков А.C. . Отношение тождества Бинарное отношение T(M) , заданное на множестве М, называется отношением тождества U тогда и только тогда, когда оно состоит только из пар (а,а), где a M a M ( a , a ) U ( M ) . Отношение эквивалентности Бинарное отношение T(M) , заданное на множестве М, называется отношением эквивалентности <=> тогда и только тогда, когда оно рефлексивно симметрично транзитивно Класс эквивалентности Классом эквивалентности K(x) элемента x , x M называется множество всех элементов y , y M с которыми х находится в отношении эквивалентности K(x)={y/x<=>y} Пример На множестве M= { a, b, c, d, e, f} построить бинарное отношение эквивалентности R, при условии, что пара (a, b) R b а f e c d b а f e b c d а f e c d Отношение упорядочивания Бинарное отношение T(M) , заданное на множестве М, называется отношением упорядоченности тогда и только тогда, когда оно рефлексивно антисимметрично транзитивно Обозначается отношение упорядоченности (порядка) как , ( М ) Строгий, линейный и частичный порядок Если бинарное отношение T(M) иррефлексивно, антисимметрично и транзитивно, то оно называется отношением строгой упорядоченности , ( М ) Если любые два элемента x , y T (M) находятся друг с другом в отношении y x , то упорядоченности x y или это линейный порядок, в противном случае – частичный порядок Диаграмма Хассе Упорядоченные множества принято обозначать с помощью диаграмм Хассе H M , Диаграмма Хассе представляет собой графическое представление упорядоченного множества, в котором отсутствуют (но подразумеваются) рефлексивные петли и транзитивные дуги Пример Упорядочить множество M= {a, b, c, d, e, f} линейно при условии, что пара (a, b) , т.е. построить ( М ) b а c d e f Теорема Цермело Всякое множество может быть строго упорядочено Экстремальные характеристики отношения упорядочивания Рассмотрим подмножество Х частично упорядоченного множества У У Х Максимальные элементы Элемент xmax X называется максимальным элементом Х, тогда и только тогда, когда не существует больших, т.е. (y X ), xmax y _ и _ x y Другими словами, из сравнимости элементов xmax X и x X вытекает, что x xmax Минимальные элементы Элемент xmin X называется минимальным элементом Х, тогда и только тогда, когда не существует меньших, т.е. (y X ), y xmin _ и _ x y Другими словами, из сравнимости элементов xmin X и x X вытекает, что xmin x Лемма Цорна (принцип максиума) Каждое непустое подмножество Х в множестве У содержит по меньшей мере один максимальный элемент Наибольший элемент Элемент xl arg est X называется наибольшим элементом, тогда и только тогда, когда для любого x , x X x xl arg est Наибольший элемент находится в отношении сравнения со всеми элементами их Х Наименьший элемент Элемент x smallest X называется наименьшим элементом, тогда и только тогда, когда для любого x , x X xsmallest x Теорема Если в частично упорядоченном множестве существует наибольший элемент, то он единственный Мажоранты xma j Y называется Элемент мажорантой (верхней границей или верхним конусом) Х тогда и только тогда, когда для любого x , x X x xmaj Миноранты Элемент xm ij Y называется мажорантой (верхней границей или верхним конусом) Х тогда и только тогда, когда для любого x , x X xmij x Верхняя грань xsup Y называется Элемент верхней гранью (точной верхней гранью) Х тогда и только тогда, когда он является наименьшим среди мажорант Нижняя грань xinf Y называется Элемент нижней гранью (точной верхней гранью) Х тогда и только тогда, когда он является наибольшим среди минорант Принцип двойственности Отношение, обратное отношению упорядоченности, так же является отношением упорядоченности Пример У={a, b, c, d, e, f, g, h, m, n} Х={c, d, e, g, h} n Макс={h, e} Мин= {c, g} Наибольший - нет Мажоранты – нет Миноранты ={a, b} Sup - нет Inf ={ b} f m e h d g c b a Отношение толерантности Бинарное отношение T(M) , заданное на множестве М, называется отношением толерантности (схожести) тогда и только тогда, когда оно рефлексивно и симметрично