Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
lec3_5.doc
Скачиваний:
0
Добавлен:
01.05.2025
Размер:
2.75 Mб
Скачать

Соответствия

Пример 2.

X={2, 3}, Y={3, 4, 5}.

X Y= {(2, 3), (2, 4), (2, 5), (3, 3), (3, 4), (3,5)}.

R1 –”X<YR1= {(2, 3), (2, 4), (2, 5), (3, 4), (3, 5)}

R2 –”X³YR2= {(3,3)}

R3 –”X>YR3= {Æ}

Способы задания соответствий

  1. Любое соответствие может быть задано в виде списка, элементами которого являются пары, определяемые этим соответствием.

Пример.

A={2,3,5,7};

B={24,25,26};

A´B={(2,24),(2,25),(2,26),(3,24),(3,25),(3,26),(5,24),(5,25),

(5,26),(7,24),(7,25),(7,26)}

RÍA´B

R—“быть делителем”,

R= {(2,24),(2,26),(3,24),(5,25)}

2. Соответствие между двумя множествами может быть задано с помощью матрицы.

RÍX´Y

|X|=n, |Y|=m.

n – количество строк,

m – количество столбцов.

Ячейка (i,j) матрицы соответствует паре (xi,yj) элементов, где xiX, a yjY.

В ячейку (i,j) помещается 1, если (xi,yj)R.

В ячейку (i,j) помещается 0, если (xi,yj)R.

Пример.

X ={2,3,5,7};

Y ={24,25,26};

R— “быть делителем”

R={(2,24),(2,26),(3,24),(5,25)}

3. Соответствие R на множествах X и Y может быть задано графически.

Если пара (xi,yj) принадлежит соответствию R, соединяем изображенные точки xi, yj линией, направленной от первого элемента пары ко второму.

Направленные линии, соединяющие пары точек, называются дугами, а точки, обозначающие элементы множеств – вершинами графа.

Пример.

X ={2,3, 5, 7}; Y ={24,25,26}.

R— “быть делителем”;

R={(2,24),(2,26),(3,24),(5,25)}.

Часто под термином «функция» понимается числовая функция; то есть функция которая ставит одни числа в соответствие другим.

Операции над соответствиями

Так как соответствие– это множество, то над соответствиями выполняются все теоретико–множественные операции.

Пример.

A={a,b,c}, B={1,2,3}

R1={(a,1),(a,3),(b,2),(c,3)}, R2={(a,2),(a,3)}

R1R2= {(a,1),(a,2),(a,3),(b,2),(c,3)}

R1\R2= {(a,1),(b,2),(c,3)}

`R1= {(a,2),(b,1),(b,3),(c,1),(c,2)}

Аналитическое доказательство тождеств

Соответствие множества Х в самого себя определяется парой (Х, R), где . В этом случае для обозначения данного соответствия используется термин отношение и вводят специальную символику: yRx – у находится в отношении R к х. Если n=2, то R называется бинарным отношением.

Свойства бинарных отношений.

1. Рефлексивность.

Отношение R на множестве X называется рефлексивным, если для любого xX имеет место xRx, то есть, каждый элемент xX находится в отношении R к самому себе.

Все диагональные элементы матрицы равны 1; при задании отношения графом каждый элемент имеет петлю – дугу (x, x).

Пример.

R1 — “” на множестве вещественных чисел,

R2 — “иметь общий делитель” на множестве целых чисел.

2. Антирефлексивность.

Отношение R на множестве X называется антирефлексивным, если из x1Rx2 следует, что x1x2 .(ни один элемент xX не находится в отношении R с самим собой).

Все диагональные элементы являются нулевыми; при задании отношения графом ни один элемент не имеет петли – нет дуг вида (x,x).

Пример.

R1 — “” на множестве вещественных чисел,

R2 — “быть сыном” на множестве людей.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]