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

Материал из Викиконспекты
Перейти к: навигация, поиск
(определение и свойства)
 
м
Строка 1: Строка 1:
 +
{{В разработке}}
 +
 
Бинарное отношение <math>R</math>, заданное на множестве <math>X</math> называется '''транзитивным''', если для <math>\forall a, b, c \in X</math> выполняется <math>aRb, bRc \rightarrow aRc</math>
 
Бинарное отношение <math>R</math>, заданное на множестве <math>X</math> называется '''транзитивным''', если для <math>\forall a, b, c \in X</math> выполняется <math>aRb, bRc \rightarrow aRc</math>
  

Версия 18:58, 3 октября 2010

Эта статья находится в разработке!

Бинарное отношение [math]R[/math], заданное на множестве [math]X[/math] называется транзитивным, если для [math]\forall a, b, c \in X[/math] выполняется [math]aRb, bRc \rightarrow aRc[/math]

Свойства

Если отношение [math]R[/math] транзитивно, то обратное отношение [math]R^{-1}[/math] также транзитивно. Пусть [math]aR^{-1}b, bR^{-1}c[/math], но по определению обратного отношения [math]cRb, bRa[/math]. Так как [math]R[/math] транзитивно, то [math]cRa[/math] и [math]aR^{-1}c[/math], что и требовалось доказать.

Если отношения [math]R, S[/math] транзитивны, то отношение [math]T = R \cap S[/math] тразнитивно. Пусть [math]aTb, bTc \rightarrow aRb, aSb, bRc, bSc[/math]. Из транзитивности [math]R, S[/math] следует [math]aRc, aSc[/math], но из определения пересечения отношений [math]aTc[/math], что и требовалось доказать.

Из последнего свойства следует, что пересечение любого количества транзитивных отношений транзитивно.