КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Бинарные отношения. Свойства отношений
ЭЛЕМЕНТЫ ТЕОРИИ ОТНОШЕНИЙ Задачи и упражнения 1. Докажите равенство , где - множества. 2. Докажите равенство , где - множества. 3. Верно ли равенство , где - множества? 4. Верно ли равенство , где - множества? 5. Что является дополнением к множеству четных чисел во множестве натуральных чисел? 6. Что является дополнением к множеству {1,3,5} во множестве {1,2,3,4,5,6}? 7. Что является дополнением к множеству {1,3,5} во множестве {1,3,5}? 8. Даны два множества , запишите и . 9. Дано множество . Запишите . 10. Пусть [0, 1], [0, 2] – отрезки на числовой прямой. Дайте геометрическую интерпретацию множеств [0, 1] [0, 2], [0, 1]2, [0, 2]3. Часто при решении задач необходимо выбирать элементы, связанные некоторым соотношением. Примерами таких связей между элементами могут служить функциональные зависимости или отношение «меньше или равно». В множестве X n -местным или n-арным отношением называется подмножество R n -й декартовой степени = заданного множества, , X называется носителем отношения. Будем говорить, что упорядоченные элементы находятся в отношении R, если R. Одноместное отношение называется унарным, или свойством, и соответствует подмножеству множества X. Особую роль в приложениях играют бинарные отношения R Х Х. Если , то пишут также xRy. Пример. Если X ={2,3,4,5,6,7,8}, то бинарное отношение R ={(x, y)| х делит у и х ≤3}, заданное на множестве Х, можно записать в виде R ={(2,2), (2,4), (2,6), (2,8), (3,3), (3,6)}. Рассмотрим отношение R ={(x, y)| х ≤ у, х, у R }, заданное на множестве действительных чисел R. Тогда запись xRy означает, что х ≤ у, и в качестве имени (обозначения) этого отношения можно взять символ ≤. Каждому бинарному отношению можно поставить в соответствие матрицу бинарного отношения, которую также будем обозначать через R = и элементы которой rij определяются следующим правилом:
Полученная матрица содержит полную информацию о связях между элементами и позволяет представить эту информацию на компьютере. Заметим, что любая матрица, состоящая из нулей и единиц, является матрицей некоторого бинарного отношения. Пример. Пусть , тогда следующая таблица изображает бинарное отношение
Рассмотрим наиболее важные свойства бинарных отношений. Отношение R называется рефлексивным, если для х Х (х,х) R; антирефлексивным, если х Х (х,х) R; симметричным, если для х, у Х ((х,у) R (у, х) R); антисимметричным, если для х, у Х ((х, у) R (у, х) R); транзитивным, если для x, у, z ((х, у) R и (у, z) R (x, z) R). Пример. Следующие отношения, заданные на множестве действительных чисел (R) обладают свойствами рефлексивности, симметричности и транзитивности R ={(x, y)| x, y Î R и x = y }, R ={(x, y)| x, y Î R и x 2 = y 2}. Отношение R ={(x, y)| x, y Î R и x £ y }, заданное на множестве действительных чисел, является рефлексивным, так как " х х=х, транзитивным и несимметричным. Пример. Определим свойства отношения R={(x, y)| x,y Î N и x – делитель y }, заданного на множестве натуральных чисел. 1. Так как для всех x Î N, то R рефлексивно. 2. Рассмотрим элемент (2,4)Î R. 2 - делитель 4, но 4 не является делителем 2, т. е. (4,2) R, следовательно, R - несимметричное отношение. 3. Так как, если Î N и Î N, то Î N и R – транзитивно. Матрица бинарного отношения содержит единицы на главной диагонали, если отношение является рефлексивным; такая матрица является симметричной относительно главной диагонали, если отношение симметрично; для антисимметричного отношения произведение элементов, расположенных симметрично относительно главной диагонали, равно нулю. Пусть на множестве Х задано отношение V тогда совокупности G = (X, V) называют графом, причем Х – множество вершин графа, а V – множество линий, которые соединяют все или часть из этих вершин. Если в образовании пары (х, у) играет роль порядок элементов, то эту линию называют дугой и изображают направленным отрезком прямой (а граф G называется ориентированным графом или орграфом), иначе – ребром и изображают просто отрезком прямой (граф G в этом случае называется неориентированным графом или неорграфом). Пару противоположно направленных дуг между двумя фиксированными вершинами в графе часто заменяют ребром. Как правило, граф задается с помощью матрицы смежности А ={ а } (n = ), элементы которой определяются следующим образом: Заметим, что матрица смежности графа совпадает с матрицей соответствующего бинарного отношения. Пример. Пусть матрица бинарного отношения R, заданного на универсальном множестве U ={ a,b,c,d,e }, имеет вид
Тогда соответствующий граф будет иметь вид (рис. 2.1). Рис. 2.1
Если отношение V рефлексивно, то граф G в каждой вершине имеет петлю; если V симметрично, то любые две вершины графа G соединены парой противоположно направленных дуг; если V антисимметрично, то в G любые две вершины х и у, такие что (х, у) V соединены дугой. В графе G, задающем транзитивное отношение V, для всякой пары дуг, таких что конец первой совпадает с началом второй, существует третья дуга, имеющая общее начало с первой и общий конец со второй – транзитивно замыкающая дуга. Так как отношение является прежде всего множеством упорядоченных пар, то для отношений можно ввести те же операции, что и для множеств, то есть операции объединения, пересечения, разности и дополнения. Кроме того, для отношений существуют специальные операции: инверсией отношения R (или обратным к отношению R) называется отношение . Матрица обратного отношения равна транспонированной матрице отношения R: . Пусть – отношения, заданные на множестве X, тогда композицией отношений R и R называется отношение, определяемое следующим образом: Заметим, что . Замечание. Операция композиции позволяет определить свойство транзитивности. Если выполняется включение , то отношения транзитивно. Утверждение 2.1.1. Для любых бинарных отношений Р, Q, R выполняются следующие свойства: 1) 2) 3) (ассоциативность композиции). Доказательство. 1. По определению обратного отношения условие равносильно условию что в свою очередь выполняется тогда и только тогда, когда . Следовательно, . 2. Предположим, что . Тогда , и, следовательно, и для некоторого элемента z. Значит, , и . Включение доказывается аналогично. 3. Пусть . Тогда для некоторых u и v имеем , , . Таким образом, и . Включение доказывается аналогично.
Дата добавления: 2014-12-27; Просмотров: 1488; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |