Рефлексивное отношение

Рефлексивное отношение в математике — бинарное отношение $R$ на множестве $X$, при котором всякий элемент этого множества находится в отношении $R$ с самим собой.

Формально, отношение $R$ рефлексивно, если $\mathrm{\forall }x\in X:(xRx)$.

Свойство рефлексивности отношения при задании матрицей характеризуется тем, что все диагональные элементы матрицы равняются 1; при задании отношения графом каждый элемент Шаблон:Mvar имеет петлю — дугу Шаблон:Math.

Бинарное отношение $R$ на множестве $X$ является рефлексивным тогда и только тогда, когда его подмножеством является тождественное отношение ${\mathrm{id}}_X$ на множестве $X$ (${\mathrm{id}}_X=\{(x,x)|x\in X\}$), то есть ${\mathrm{id}}_X\subseteq R$.

Если $aRa$ не имеет смысла, то отношение $R$ называется антирефлексивным (или иррефлексивным).

Если антирефлексивное отношение задано матрицей, то все диагональные элементы являются нулевыми. При задании такого отношения графом каждая вершина не имеет петли — нет дуг вида Шаблон:Math.

Формально антирефлексивность отношения $R$ определяется как: $\mathrm{\forall }x\in X:\mathrm{\neg }(xRx)$.

Если условие рефлексивности выполнено не для всех элементов множества $X$, говорят, что отношение $R$ нерефлексивно.

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

Рефлексивные отношения:

• отношения эквивалентности:
  • отношение равенства ($=$);
  • отношение сравнимости по модулю;
  • отношение параллельности прямых и плоскостей;
  • отношение подобия геометрических фигур;
• отношения нестрогого порядка:
  • отношение нестрогого неравенства ($⩽$);
  • отношение нестрогого подмножества ($\subseteq$);
  • отношение делимости ($⋮$).

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

Антирефлексивные отношения:

• отношение неравенства ($\ne$);
• отношения строгого порядка:
  • отношение строгого неравенства ($<$);
  • отношение строгого подмножества ($\subset$);
• отношение перпендикулярности прямых (или ортогональности ненулевых векторов) в евклидовом пространстве.

См. также

• Корефлексивное отношение
• Самоподобие