Rellación transitiva

De Uiquipedia
Saltar a: navegación, buscar
Si a ye mayor que b, y b ye mayor que c, entós: "a ye mayor que c

En matemátiques, una rellación binaria R sobro un conxuntu X, ye transitiva si se cumple que: pa tou a, b, y c pertenecientes a X, talo que si a tá rellacionáu con b y b tá rellacionáu con c, entós a tá rellacionáu con c.

En notación de conxuntos:

\forall a, b, c  \in X,\ a R b \and b R c \; \Rightarrow a R c

Por exemplu, "ser mayor que" y "ser igual a" son rellaciones transitives: si a = b y b = c, entós a = c.

Per otru llau, "ser la madre de " nun ye una rellación transitiva. Por exemplu si Deva ye la madre de Catuxa, y Catuxa ye la madre de Sira, nun quier dicir esto que Deva seya la madre de Sira.

Estos son dalgunos exemplos de rellaciones transitives:

Una rellación que ye reflexiva y transitiva, ye nomada un preorde. Un preorde que ye antisimétricu ye un orde parcial. Un preorde que tamién ye simétricu, ye una rellación d'equivalencia.

Ver tamién: