1.5. Свойства бинарных отношений. Специальные бинарные отношения

Определение. Отношение r на множестве Х называется рефлексивным, если для любого элемента хÎХ выполняется хr х.

Определение. Отношение r на множестве Х называется симметричным, если для любых х, уÎХ из хr у следует уr х.

Определение. Отношение r на множестве Х называется транзитивным, если для любых х, у, zÎХ из хr у и уr z следует хr z.

Определение. Рефлексивное, симметричное, транзитивное отношение на множестве Х называется отношением эквивалентности на множестве Х.

Пример 11.

1. Отношение равенства на множестве целых чисел есть отношение эквивалентности.

2. Отношение подобия на множестве треугольников есть отношение эквивалентности.

3. Отношение «строго меньше» на множестве действительных чисел не рефлексивно, не симметрично и транзитивно на этом множестве.

4. Отношение перпендикулярности прямых не рефлексивно, симметрично, не транзитивно.

Пусть r - отношение эквивалентности на множестве Х.

Определение. Классом эквивалентности, порожденным элементом х, называется подмножество множества Х, состоящее из тех элементов yÎY, для которых хrу. Класс эквивалентности, порожденный элементом х, обозначается через [x]:

Определение. Отношение r на множестве Х называется антисимметричным, если для любых х, уÎХ из хr у и уr х следует х=у.

Определение. Рефлексивное, антисимметричное и транзитивное отношение называется отношением частичного порядка на множестве Х.

Пример 12.

1. Отношение «х £ у» на множестве действительных чисел есть отношение частичного порядка.

2. Схема организации подчинения в учреждении есть отношение частичного порядка на множестве должностей.

Любое частично упорядоченное множество можно представить в виде схемы, в которой каждый элемент изображается точкой на плоскости, и если у покрывает х, то точки х и у соединяют отрезком, причем точку, соответствующую х, располагают ниже у. Такие схемы называются диаграммами Хассе. На рис. 10 показаны две диаграммы Хассе, причем вторая соответствует линейно упорядоченному множеству.

<< | >>
Источник: Лекции - Дискретная математика. 2016

Еще по теме 1.5. Свойства бинарных отношений. Специальные бинарные отношения:

  1. Свойства бинарных отношений
  2. 1 Словарь ключевых терминов
  3. Словарь ключевых терминов
  4. ПРЕДМЕТ, СВОЙСТВО, ОТНОШЕНИЕ
  5. Логические отношения между понятиями
  6. § 3. Отношения суждений. Логические правила определения истинности юридических суждений
  7. Гносеологическое отношение и его специфика.
  8. Структура отношения включения классов. Логическая вероятность
  9. 11.7. Вещь — свойство — отношение
  10. Глава III ИМУЩЕСТВЕННЫЕ ОТНОШЕНИЯ, РЕГУЛИРУЕМЫЕ СОВЕТСКИМ   ГРАЖДАНСКИМ   ПРАВОМ
  11. Свойства бинарных отношений.
  12. 11.7. Вещь — свойство — отношение
  13. 2.2.1. Онтологика отношений
  14. 4.3.2 Интенциональное отношение «единичного предложения существования»
  15. § 3. Принципы познания общественных явлений в истории социально-философской мысли