Этот пример показывает, что ядро не обязано быть рефлексивным (пара (4,4) в него не входит); транзитивным ((1,3) , (1,2), (2,3) ); полным ((1,3), (3,1) ).
Пусть M – произвольное конечное множество, 2 M– его булеан. Рассмотрим прямое произведение , где ={0}. Рассмотрим отношение Следовательно,
,
Такое ядро содержит все упорядоченные пары множеств одинаковой мощности, оно называется отношением равномощности.
Опишем некоторые свойства ядра.
1. Любое ядро – симметричное бинарное отношение.
Доказательство.
и и
2.
Значит, любое ядро содержит все пары вида (a, a), где a – каждый первый элемент пар бинарного отношения . Следовательно, ядро не может быть пустым, если только .
studopedia.su - Студопедия (2013 - 2026) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление