Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лекия 5-6. Комбинаторика.doc
Скачиваний:
2
Добавлен:
26.12.2019
Размер:
166.91 Кб
Скачать

Лекция 5-6. Отображения и отношения

Пусть задано два множества A и В. Выделим некоторое подмножество декартова произведения АхВ и будем трактовать его элементы (ai,bj) как выражение того факта, что ai и bj находятся в некотором соответствии. Нас не интересует характер этого соответствия, а только сам факт его наличия. Множество назовем отображением множества А на множество В.

Если (ai ,bj )  , то ai называется прообразом bj , а bj - образом ai при отображении . Множество А~ всех прообразов в А есть область определения отображения , а множество B~ всех образов в В - область значений . Если В~ равно В, то говорят об отображении на В, если В~ - только часть В, то об отображении в B.

Отображение будем обозначать как АВ или (a) =b. Если для каждого ai образ bj единственен, то отображение называют функциональным. Если в все пары (ai ,bj ) переписать «наоборот», как (bj ,ai ), получим отображение В в А, которое является обратным к и обозначается -1.

Пусть множества А и В совпадают, АхА. В этом случае называют бинарным отношением, а множество А базовым множеством отношения R.

Если (ai ,aj ) , то говорят, что элемент ai находится в отношении с элементом aj . В общем случае можно определить, что в отношении находится не пара, а k элементов, считать, что Аk . Величина k определяет арность отношения . Говорят, что Аk - k-арное отношение.

Термин «отношение» используют также, если арность >2 и множества в декартовом произведении различны.

Будем рассматривать в дальнейшем бинарные отношения на множестве А.

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

Бинарное отношение как любое подмножество может быть представлено в виде перечисления, через указания свойства или через порождающую процедуру. Но наиболее часто используется представление матрицей, в котором учитывается специфика множества. Столбцам и строкам матрицы сопоставлены элементы базового множества A, значение элемента матрицы (ai ,aj ) равно 1, если (ai ,aj ) , в противном случае значение соответствующего элемента равно 0.

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

Бинарное отношение называется рефлексивным, если (ai)A (ai ,ai ) . Если отношение рефлексивное, то в каждой клетке главной диагонали стоят единицы.

Бинарное отношение антирефлексивно, если (ai ) A (ai ,ai ) . В антирефлексивном отношении главная диагональ не содержит ни одной единицы.

Бинарное отношение называется симметричным, если из того, что (ai,aj) , следует (aj ,ai ) . Для симметричного отношения таблица симметрична относительно главной диагонали.

Бинарное отношение антисимметрично, если из того, что (ai,aj), следует, что(aj ,ai ) .

Бинарное отношение называется транзитивным, если из того, что (ai ,aj )  и (aj ,ak ) , следует (ai ,ak ).

2.3. Эквивалентность

Бинарное отношение называется отношением эквивалентности, если оно одновременно рефлексивно, симметрично и транзитивно.

Два элемента связаны отношением эквивалентности, если они имеют одинаковое свойство из множества альтернативных свойств. Примерами таких отношений являются принадлежность студентов к одной учебной студенческой группе, отношение родства или отношение «иметь одинаковый цвет волос». Альтернативность предполагает, что случаи, когда один студент принадлежит к нескольким группам или один человек имеет разноцветные волосы, из рассмотрения исключаются (иначе не выполнялась бы транзитивность). Тогда множество разбивается на непересекающиеся подмножества элементов, удовлетворяющие свойству, которые при объединении покрывают все множество. Последнее обеспечивается свойством рефлексивности, когда для каждого элемента находится элемент, с которым он состоит в отношении (по крайней мере, с самим собой). Эти подмножества называются классами эквивалентности.

Справедливо утверждение: любому отношению эквивалентности однозначно сопоставляется разбиение множества и, обратно, любому разбиению множества однозначно сопоставляется отношение эквивалентности.