Рефлексивное отношение: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Метка: отмена |
Arventur (обсуждение | вклад) Добавил АИ |
||
Строка 1:
'''Рефлексивное отношение''' в математике — [[бинарное отношение]] <math>R</math> на [[множество|множестве]] <math>X</math>, при котором всякий элемент этого множества находится в отношении <math>R</math> с самим собой<ref name="Kap">''Капитонова Ю. В., Кривой С. Л., Летичевский А. А.'' Лекции по дискретной математике. — СПб., БХВ-Петербург, 2004. — ISBN 5-94157-546-7, с 20</ref>.
Формально, отношение <math>R</math> рефлексивно, если <math>\forall x \in X:\ (x R x)</math>.
Строка 7:
Бинарное отношение <math>R</math> на множестве <math>X</math> является рефлексивным тогда и только тогда, когда его подмножеством является [[Тождественное отображение|тождественное отношение]] <math>\operatorname{id}_X</math> на множестве <math>X</math> (<math>\operatorname{id}_X=\{(x,x)|x\in X\}</math>), то есть <math> \operatorname{id}_X \subseteq R</math>.
Если
Если '''антирефлексивное отношение''' задано матрицей, то все диагональные элементы являются нулевыми. При задании такого отношения графом каждая вершина не имеет петли — нет дуг вида {{math|(''х'', ''х'')}}.
Строка 40:
* [[Корефлексивное отношение]]
* [[Самоподобие]]
== Примечания ==
{{Примечания}}
{{rq|topic=math|sources}}
|