Студопедия

КАТЕГОРИИ:

АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника


Свойства бинарных отношений. 1. Рефлексивность. Бинарное отношение R рефлексивно, если для любого элемента данное бинарное отношение выполняется




1. Рефлексивность. Бинарное отношение R рефлексивно, если для любого элемента данное бинарное отношение выполняется, т.е. .

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

2. Антирефлексивность. Бинарное отношение R антирефлексивно, если для каждого элемента не выполняется бинарное отношение .

Из определения антирефлексивности бинарного отношения следует, что его матрица на главной диагонали содержит только нули.

3. Симметричность. Отношение R симметрично, если для любой пары бинарное отношение выполняется в обе стороны: из следует .

Учитывая, что отношение R для любой пары выполняется в обе стороны, либо не выполняется вообще , матрица симметричного отношения симметрична относительно главной диагонали.

4. Антисимметричность. Бинарное отношение R антисимметрично, если ни для каких различных элементов a и b не выполняются одновременно условия и .

В матрице антисимметричного бинарного отношения отсутствуют единицы, симметричные относительно главной диагонали

5. Транзитивность. Бинарное отношение R транзитивно, если для любых элементов а ,b, с из условий и следует .


Поделиться:

Дата добавления: 2015-04-18; просмотров: 213; Мы поможем в написании вашей работы!; Нарушение авторских прав





lektsii.com - Лекции.Ком - 2014-2024 год. (0.006 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты