Студопедия

КАТЕГОРИИ:


Архитектура-(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 (у, х) 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 }, имеет вид

 

R а b с d е
а          
b          
c          
d          
е          

Тогда соответствующий граф будет иметь вид (рис. 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; Просмотров: 1465; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.008 сек.