Рефлексивное отношение — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (добавлена ссылка на англ. википедию)
Строка 35: Строка 35:
 
==Источники==
 
==Источники==
 
* [http://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D1%84%D0%BB%D0%B5%D0%BA%D1%81%D0%B8%D0%B2%D0%BD%D0%BE%D1%81%D1%82%D1%8C Wikipedia | Рефлексивное отношение]
 
* [http://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D1%84%D0%BB%D0%B5%D0%BA%D1%81%D0%B8%D0%B2%D0%BD%D0%BE%D1%81%D1%82%D1%8C Wikipedia | Рефлексивное отношение]
 +
 +
==Ссылки==
 
* [http://en.wikipedia.org/wiki/Reflexive_relation Wikipedia | Reflexive relation]
 
* [http://en.wikipedia.org/wiki/Reflexive_relation Wikipedia | Reflexive relation]
  
 
[[Категория:Дискретная математика и алгоритмы]]
 
[[Категория:Дискретная математика и алгоритмы]]
 
[[Категория: Отношения ]]
 
[[Категория: Отношения ]]

Версия 22:56, 11 декабря 2013

Бинарное отношение [math]R[/math] на множестве [math]X[/math] называется рефлексивным, если всякий элемент этого множества находится в отношении [math]R[/math] с самим собой.

Определение:
Отношение [math]R[/math] называется рефлексивным (англ. reflexive relation), если [math]\forall a \in X:\ (a R a)[/math].

Свойство рефлексивности при отношениях, заданных графом, состоит в том, что каждая вершина имеет петлю — дугу (x, x), а матрица смежности этого графа на главной диагонали имеет единицы.

Если это условие не выполнено ни для какого элемента множества [math]X[/math], то отношение [math]R[/math] называется антирефлексивным.


Определение:
Отношение [math]R[/math] называется антирефлексивным (англ. irreflexive relation), если [math]\forall a \in X:\ \neg (a R a)[/math].


Если антирефлексивное отношение задано графом, то ни у одной вершины не будет петли — дуги (x, x), а в матрице смежности на главной диагонали будут нули.

Примеры рефлексивных отношений

  • Отношения эквивалентности:
    • отношение равенства [math]=\;[/math]
    • отношение сравнимости по модулю
    • отношение параллельности прямых и плоскостей
    • отношение подобия геометрических фигур
  • Отношения частичного порядка:
    • отношение нестрогого неравенства [math]\leqslant[/math]
    • отношение нестрогого подмножества [math] \subseteq [/math]
    • отношение делимости [math]\,\vdots\,[/math]
  • Отношение "иметь одинаковый цвет волос"
  • Отношение "принадлежать одному виду"

Примеры антирефлексивных отношений

  • отношение строгого неравенства [math]\lt [/math]
  • отношение строгого подмножества [math]\subset[/math]
  • отношение "быть родителем"

Источники

Ссылки