Рефлексивное отношение: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
ZéroBot (обсуждение | вклад) м r2.7.1) (робот добавил: pt:Relação reflexiva |
м r2.7.1) (робот добавил: is:Sjálfhverfni |
||
Строка 47: | Строка 47: | ||
[[he:יחס רפלקסיבי]] |
[[he:יחס רפלקסיבי]] |
||
[[hu:Reflexív reláció]] |
[[hu:Reflexív reláció]] |
||
[[is:Sjálfhverfni]] |
|||
[[it:Relazione riflessiva]] |
[[it:Relazione riflessiva]] |
||
[[ja:反射関係]] |
[[ja:反射関係]] |
Версия от 19:13, 22 июля 2011
В математике бинарное отношение на множестве называется рефлексивным, если всякий элемент этого множества находится в отношении с самим собой.
Формально, отношение рефлексивно, если .
Свойство рефлексивности при заданных отношениях матрицей характеризуется тем, что все диагональные элементы матрицы равняются 1; при заданных отношениях графом каждый элемент имеет петлю — дугу (х, х).
Если это условие не выполнено ни для какого элемента множества , то отношение называется антирефлексивным.
Если антирефлексивное отношение задано матрицей, то все диагональные элементы являются нулевыми. При задании такого отношения графом каждая вершина не имеет петли — нет дуг вида (х, х).
Формально антирефлексивность отношения определяется как: .
Если условие рефлексивности выполнено не для всех элементов множества , говорят, что отношение нерефлексивно.
Примеры рефлексивных отношений
- отношения эквивалентности:
- отношение равенства
- отношение сравнимости по модулю
- отношение параллельности прямых и плоскостей
- отношение подобия геометрических фигур;
- отношения нестрогого порядка:
- отношение нестрогого неравенства
- отношение нестрогого подмножества
- отношение делимости
Примеры антирефлексивных отношений
- отношение неравенства
- отношения строгого порядка:
- отношение строгого неравенства
- отношение строгого подмножества
- отношение перпендикулярности прямых (или ортогональности ненулевых векторов) в геометрии.
См. также
Для улучшения этой статьи по математике желательно:
|