Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Бинарные отношения

.pdf
Скачиваний:
31
Добавлен:
03.05.2015
Размер:
1.79 Mб
Скачать

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

Бинарные отношения

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

1 Отношение r1 = f(1;1);(2;2);(3;3);(4;4)g

Бинарные отношения

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

1Отношение r1 = f(1;1);(2;2);(3;3);(4;4)g по сути задает

отношение равенства íà A,

Бинарные отношения

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

1Отношение r1 = f(1;1);(2;2);(3;3);(4;4)g по сути задает

отношение равенства íà A, ò. ê.

r1 = f(a;b) j a = b; a;b 2 Ag

Бинарные отношения

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

1Отношение r1 = f(1;1);(2;2);(3;3);(4;4)g по сути задает

отношение равенства íà A, ò. ê.

r1 = f(a;b) j a = b; a;b 2 Ag

2 r2 = f(1;2);(1;3);(1;4);(2;2);(2;3);(2;4);(3;4)g

Бинарные отношения

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

1Отношение r1 = f(1;1);(2;2);(3;3);(4;4)g по сути задает

отношение равенства íà A, ò. ê.

r1 = f(a;b) j a = b; a;b 2 Ag

2r2 = f(1;2);(1;3);(1;4);(2;2);(2;3);(2;4);(3;4)g по сути задает отношение "меньше" íà A,

Бинарные отношения

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

1Отношение r1 = f(1;1);(2;2);(3;3);(4;4)g по сути задает

отношение равенства íà A, ò. ê.

r1 = f(a;b) j a = b; a;b 2 Ag

2r2 = f(1;2);(1;3);(1;4);(2;2);(2;3);(2;4);(3;4)g по сути задает отношение "меньше" íà A, ò. ê.

r2 = f(a;b) j a < b; a;b 2 Ag

Бинарные отношения

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

1Отношение r1 = f(1;1);(2;2);(3;3);(4;4)g по сути задает

отношение равенства íà A, ò. ê.

r1 = f(a;b) j a = b; a;b 2 Ag

2r2 = f(1;2);(1;3);(1;4);(2;2);(2;3);(2;4);(3;4)g по сути задает отношение "меньше" íà A, ò. ê.

r2 = f(a;b) j a < b; a;b 2 Ag

Бинарные отношения

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

1Отношение r1 = f(1;1);(2;2);(3;3);(4;4)g по сути задает

отношение равенства íà A, ò. ê.

r1 = f(a;b) j a = b; a;b 2 Ag

2r2 = f(1;2);(1;3);(1;4);(2;2);(2;3);(2;4);(3;4)g по сути задает отношение "меньше" íà A, ò. ê.

r2 = f(a;b) j a < b; a;b 2 Ag

Нетрудно понять, что бинарными отношениями являются

Бинарные отношения

Свойства бинарного отношения Отношение эквивалентности Частично упорядоченные множества

Примеры задания определяюшим соотношением

Пусть A = f1;2;3;4g.

1Отношение r1 = f(1;1);(2;2);(3;3);(4;4)g по сути задает

отношение равенства íà A, ò. ê.

r1 = f(a;b) j a = b; a;b 2 Ag

2r2 = f(1;2);(1;3);(1;4);(2;2);(2;3);(2;4);(3;4)g по сути задает отношение "меньше" íà A, ò. ê.

r2 = f(a;b) j a < b; a;b 2 Ag

Нетрудно понять, что бинарными отношениями являются 1 Отношения 6, >, <, > на любом числовом множестве.

Бинарные отношения