Так как отношения являются множествами, то все операции над множествами справедливы для отношений.
Пример 2.9.
r 1 = {<1, 2>, <2, 3>, <3, 4>}.
r 2 = {<1, 2>, <1, 3>, <2, 4>}.
r 1 È r 2 = {<1, 2>, <1, 3>, <2, 3>, <2, 4>, <3, 4>}.
r 1 Ç r 2 = {<1, 2>}.
r 1 \ r 2 = {<2, 3>, <3, 4>}.
Пример 2.10.
Пусть R – множество действительных чисел. Рассмотрим на этом множестве следующие отношения:
r 1 – " £ "; r 2 – " = "; r 3 – " < "; r 4 – " ³ "; r 5 – " > ".
Тогда
r 1 = r 2 È r 3;
r 2 = r 1 Ç r 4;
r 3 = r 1 \ r 2;
r 1 = ;
Определим еще две операции над отношениями.
Определение 2.7. Отношение называется обратным к отношению r (обозначается r – 1), если
r – 1 = {< x, y > ç< y, x > Î r }.
Пример 2.11.
r = {<1, 2>, <2, 3>, <3, 4>}.
r – 1= {<2, 1>, <3, 2>, <4, 3>}.
Пример 2.12.
r = {< x, y > ç x – y = 2, x, y Î R }.
r – 1 = {< x, y > ç< y, x > Î r } = r – 1 = {< x, y > ç y – x = 2, x, y Î R } = {< x, y > ç– x + y = 2, x, y Î R }.
Определение 2.8. Композицией двух отношений r и s называется отношение
s r = {< x, z > çсуществует такое y, что < x, y > Î r и < y, z > Î s }.
|
|
Пример 2.13.
r = {< x, y > ç y = sinx }.
s = {< x, y > ç y = Ö x }.
s r = {< x, z > çсуществует такое y, что < x, y > Î r и < y, z > Î s } = {< x, z > çсуществует такое y, что y = sinx и z = Ö y } = {< x, z > ç z = Ö sinx }.
Определение композиции двух отношенийсоответствует определению сложной функции:
y = f (x), z = g (y) Þ z = g (f (x)).
Пример 2.14.
r = {<1, 1>, <1, 2>, <1, 3>, <3, 1>}.
s = {<1, 2>, <1, 3>, <2, 2>, <3, 2>, <3, 3>}.
Процесс нахождения s r в соответствии с определением композиции удобно изобразить таблицей, в которой реализуется перебор всех возможных значений x, y, z. для каждой пары < x, y > Î r нужно рассмотреть все возможные пары < y, z > Î s (табл. 2.1).
Таблица 2.1
< x, y > Î r | < y, z > Î s | < x, z > Î s r |
<1, 1> <1, 1> <1, 2> <1, 3> <1, 3> <3, 1> <3, 1> | <1, 2> <1, 3> <2, 2> <3, 2> <3, 3> <1, 2> <1, 3> | <1, 2> <1, 3> <1, 2> <1, 2> <1, 3> <3, 2> <3, 3> |
Заметим, что первая, третья и четвертая, а также вторая и пятая строки последнего столбца таблицы содержат одинаковые пары. Поэтому получим:
s r = {<1, 2>, <1, 3>, <3, 2>, <3, 3>}.