Краткие теоретические сведения
Поможем в ✍️ написании учебной работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой

Отношения. Бинарные отношения и их свойства.

Пусть заданы множества M и L.

Бинарным отношением называется подмножество r ⊆ M × L.

Если r отношение, то пишут: x ∈ M, y ∈ L, , либо (x, y)∈ r, либо xry и говорят: x находится в отношении r к y, либо выполняется соотношение xry.

Пример.

1. S — множество групп, T — множество преподавателей.

r ⊆ S × T, xry, x ∈ S, y ∈ T; xry – группа x слушает лекции преподавателя y.

2. Отношение “быть старше”: r ⊆ M × M, xry – x старше y.

3. Отношение “быть севернее”: r⊆ M × M, xry – город x находится севернее города y.

4. Отношение “быть знакомым с”: xry – x знаком с y.

5. Отношение “<“: (2;5)∈r, (5;2)  r.

Способы задания бинарного отношения.

1. Бинарное отношение можно задавать перечислением всех упорядоченных пар – элементов отношения.

2. Задание отношения матрицей. Пусть |M| = n и элементы M =  пронуме- рованы целыми числами от 1 до n. Квадратная матрица размерностью n × n задает бинарное отношение, если i-я строка матрицы соответствует i-му элементу M, j-й столбец – j-му элементу M,

Матрица отношения содержит всю информацию о том, какие пары элементов из M принадлежат отношению r.

3. Представление отношения графом. Граф G = (M, r) задан, если задано множество M и бинарное отношение r на нем. Элементы множества M называются вершинами графа, а пары ( x, y) ∈r – дугами (пары вида ( x, x) называются петлями). Для небольших размерностей удобно иллюстрировать отношения с помощью диаграммы. Элементы множества M (вершины графа) изображаются в виде точек на плоскости; если пара ( x, y)∈ r, то x, y соединяют стрелкой, идущей из x в y. Эту диаграмму также называют графом.

Пример. Пусть  и бинарное отношение .

Перечисление пар, состоящих в отношении:

Матрица отношения:

.

Граф отношения:

Виды бинарных отношений.

Пусть заданы конечное множество M мощности |M| = n и отношения A, B, C ⊆ M×M.

Отношение A называется рефлексивным, ∀x ∈ M [xAx].

К рефлексивным относятся отношения типа “  ”, “быть похожим на”, “быть равным”. Матрица, представляющая рефлексивное отношение, имеет все единицы на главной диагонали. В графе, представляющем рефлексивное отношение, при каждой вершине имеется петля.

Отношение A называется антирефлексивным, если ∀x, y ∈ M [xAy ⇒ x y].

К антирефлексивным относятся отношения типа “<“ , “>“, “быть моложе“, “быть предком“, “быть потомком“ и т.д. Главная диагональ матрицы, представляющей антирефлексивное отношение, содержит только нули, а в соответствующем графе отсутствуют петли.

Отношение A называется симметричным, если ∀x, y ∈ M [xAy ⇒ yAx]. Симметричные отношения – это отношения типа “быть одинаковым с”, “быть похожим на”, “быть родственником с” и т.д. Элементы матрицы, представляющей симметричное отношение, расположенные симметрично относительно главной диагонали, равны между собой. В соответствующем графе, если существует дуга, идущая из вершины x в вер- шину y, то существует и дуга, идущая из y в x. Часто граф симметричного отношения изображают как неориентированный – пара симметричных дуг заменяется звеном.

Отношение A называется асимметричным, если из двух отношений xAy или yAx по крайней мере одно не выполняется. Примерами асимметричных отношений могут служить “<“ , “>“ и т.д. В матрице, представляющей асимметричное отношение,  т.е. если элемент = 1, то  = 0, но возможно . В соответствующем графе любую пару вершин соединяет не более одной дуги, петли отсутствуют.

Отношение A называется антисимметричным, если . Для элементов матрицы, представляющей антисимметричное отношение, , если i  j. В соответствующем графе любую пару вершин соединяет не более одной дуги, но могут быть и петли. В матрице антисимметричного отношения все элементы вне главной диагонали нулевые.

Отношение A называется транзитивным, ∀x, y, z ∈ M [xAz ∧ zAy ⇒ xAy].

Свойства отношений 67 Из определения по индукции следует такое свойство: если выполнены соотношения xAz1, z1Az2, . . . , zn−1Ay, выполнится и xAy. Для матрицы транзитивного отношения выполняется условие: . Умножение матриц выполняется обычным способом, но при этом, умножение элементов соответствует логическому «и» (0∙0=1∙0=0∙1=0, 1∙1=1), а сложение элементов – логическому «или» (0+0=0, 1+0=0+1=1+1=1). На графе, представляющем транзитивное отношение, любая ориентированная цепочка из x в y замыкается дугой (x, y). Транзитивность плохо распознается на матрицах, но хорошо распознается на графах: бинарное отношение транзитивно тогда и только тогда, когда любая двухзвенная направленная ломаная в соответствующем орграфе замыкается стрелкой из начала этой ломаной в ее конец. Примеры транзитивного отношения: “быть предком“, отношения “< “, “>“ на числовой оси и т.д.

Отношение A называется антитранзитивным, если выполнена цепочка соотношений x = z0Az1 ∧ z1Az2 ∧ · · · ∧ zk−1Azk = y, то xAy невозможно, и наоборот, если выполнено соотношение xAy, то цепочка x = z0Az1 ∧ z1Az2 ∧ · · · ∧ zn−1Azk = y невозможна.

Отношение A на множестве M называется отношением эквивалентности (эквивалентностью), если оно рефлексивно, симметрично и транзитивно.

Пример.

1. Отношение равенства на числовой прямой: рефлексивно, симметрично, транзитивно, значит эквивалентно.

2. Отношение параллельности прямых: рефлексивно, симметрично, транзитивно, значит эквивалентно.

3. Отношение подобия треугольников: рефлексивно, симметрично, транзитивно, значит эквивалентно.

4. Отношение «жить на одном этаже»: рефлексивно, симметрично, транзитивно, значит эквивалентно.

5. Отношение «располагаться севернее»: антирефлексивно, асимметрично, транзитивно.

Примеры выполнения типовых заданий.

Пример №1. На множестве М {1, 2, 3, 4 } задано бинарное отношение . Составить матрицу отношения, граф отношения. Определить вид отношения.

Решение.

Матрица отношения будет иметь вид:

.

Граф отношения будет иметь вид:

Отношение не относится ни к одному из указанных выше видов.

Пример №2. Пусть A={1, 2, 3, 4}, на множестве A заданы два отношения:

R={(x, y) | 2x  y} и P={(x, y) | x+3y делится на 2}. Какими свойствами обладают отношения R, P?

Решение.

Запишем отношения в виде множеств:

R={(1,2); (1,3); (1,4); (2,4)}. В частности, 1R2, поскольку 2·1 2.

P={(1,1); (1,3); (2,2); (2,4); (3,1); (3,3); (4,2); (4,4)}. В частности, 1P3, поскольку 1+3·3 делится на 2.

Запишем матрицы отношений:

, .

Отношение P является рефлексивным, а отношение R не является рефлексивным (в матрицах отношений на главной диагонали имеются нули).

Отношение R является антирефлексивным, а отношения P не является антирефлексивным (в матрицах отношений на главной диагонали имеются единицы).

Найдем транспонированные матрицы отношений.

.

Из сравнения матриц отношений с транспонированными матрицами этих отношений, находим, что отношение P является симметричным, а отношения R не является симметричным. Отношение R является антисимметричными (у матрицы [R] и [R]T нет совпадающих единиц вне главной диагонали), а отношение P не является антисимметричным (например, p13=p31=1).

Для определения транзитивности отношений найдем произведения каждой матрицы на саму себя.

Задания для совместного решения.

На множестве М {1, 2, 3, 4} задано бинарное отношение

1. .

2.

3.

4.

Составить матрицу отношения, граф отношения. Определить вид отношения.

Индивидуальные контрольные задания.

На множестве М {1, 2, 3, 4} задано бинарное отношение наборами пар. Составить матрицу отношения, граф отношения. Определить вид отношения.

1 R={(1;1); (1;2); (1;3); (1;4); (2;2); (2;3); (2;4); (3;3); (3;4); (4;4)}. 16 R={(1;1); (1;2); (1;4); (2;2); (2;4); (3;3); (3;4); (4;4)}.
2 R={(1;1); (2;1); (1;2); (2;4); (4;2); (1;4); (4;1)}. 17 R={(1;1); (1;2); (2;4); (4;2); (1;4); (4;1); (4;3)}.
3 R={(2;1); (1;2); (2;3); (3;2); (1;3); (3;1)}. 18 R={(2;1); (1;2); (2;3); (3;2); (1;3); (3;1); (4;3)}.
4 R={(1;2); (2;3); (3;4); (4;1)}. 19 R={(1;2); (2;3); (3;4); (4;1);(4;3)}.
5 R={(1;1); (2;1); (2;2); (3;1); (3;2); (3;3); (4;1); (4;2); (4;3)}. 20 R={(1;1); (2;1); (2;2); (3;1); (3;2); (3;3); (4;1); (4;3)}.
6 R={(2;1); (2;2); (2;4); (3;4); (4;1); (4;2); (4;3); (4;4)} 21 R={(2;1); (2;2); (2;4); (3;3); (4;1); (4;2); (4;3); (4;4)}
7 R={(1;3); (2;4); (3;1); (3;4); (4;2); (4;3)}. 22 R={(1;3); (2;4); (3;1); (3;4); (4;2); (4;3);(4;4)}.
8 R={(1;1); (2;1); (2;3); (2;4); (3;2); (3;3); (3;4); (4;3); (4;4)}. 23 R={(1;1); (2;1); (2;2); (2;4); (3;2); (3;3); (3;4); (4;3); (4;4)}.
9 R={(1;1); (2;1); (1;2); (2;4); (2;2); (4;2); (1;4); (3;3); (4;1); (4;4)}. 24 R={(1;1); (2;1); (1;2); (2;4); (2;2); (4;2); (1;4); (4;1); (4;4)}.
10 R={(1;3); (2;1); (2;2); (2;4); (3;2); (3;4); (4;4)}. 25 R={(1;3); (2;1); (2;2); (2;4); (3;2); (3;4);(4;3); (4;4)}.
11 R={(1;3); (1;4); (2;2); (2;3); (2;4); (4;2); (3;4); (4;4)}. 26 R={(1;1); (1;4); (2;2); (2;3); (2;4); (4;2); (3;3); (4;4)}.
12 R={(1;1); (1;2); (2;4); (2;2); (1;4); (3;3); (4;4)}. 27 R={(1;1); (2;2); (2;4); (2;2); (1;4); (3;3); (4;4)}.
13 R={(1;1); (2;1); (2;2); (4;2); (4;1); (4;4)}. 28 R={(1;1); (2;1); (2;2); (4;2); (4;1); (4;4);(4;3)}.
14 R={(1;1); (2;1); (1;2); (2;4); (2;2); (4;2); (1;4); (4;1); (4;4)}. 29 R={(1;1); (2;1); (1;2); (2;4); (2;3); (3;2); (1;4); (4;1); (4;4)}.
15 R={(1;2); (1;3); (1;4); (2;3); (2;4); (3;4)}. 30 R={(1;2); (1;3); (1;4); (3;3); (3;4); (4;4)}.

Практическая работа №12. Теория отображений и алгебра подстановок.

Дата: 2018-12-28, просмотров: 308.