PROPIEDADES DE LAS RELACIONES BINARIAS:

Relacin reflexiva:
Una relacin R sobre un conjunto A es reflexiva si para todo x A entonces (x,x) R. En
otras palabras una relacin es reflexiva si todo elemento del conjunto sobre el que est
definida, est relacionado consigo mismo.
x A se cumple que (x,x) R.

Ejemplo:
R={(1,1),(2,2),(3,3),(4,4)} Otro ejemplo: R2 = { (1,1), (2,2), (3,3), (4,4), (2,3), (1,4) }

Propiedad simtrica:
Una relacin R sobre un conjunto A es simtrica si para todo x A, y A, si (x,y) R
entonces (y,x) R.
Dicho de otra forma: x,y A se cumple que si (x,y) R entonces (y,x) R

Ejemplo:
R = { (1,1), (1,3), (2,2), (2,4), (3,1), (4,2), (4,4) }

Propiedad transitiva:
Una relacin R sobre un conjunto A es transitiva si para todo x A, y A, z A si (x,y)
R y (y,z) R entonces (x,z) R.
x,y,z A se cumple que si (x,y), (y,z) R entonces (x,z) R.

Ejemplo:
R={(2,1),(3,1),(3,2),(4,1),(4,2),(4,3)}

EJERCICIOS:

1. Sean A = (1, 2, 3, 4) y las relaciones en A:

R1 = ( (1, 1), (2, 1), (3, 3), (3, 4), (4, 4), (4, 1), (2, 2) )
R2 = ( (1, 1), (2, 2), (3, 4), (4, 3), (4, 4) )
Indicar cul es una relacin Reflexiva:

Solucin:
R1 es Reflexiva en A pues (a, a) R1, para todo elemento a A, adems de otros
pares. En cambio, R2 no es Reflexiva en A, pues le falta el par (3, 3) para serlo.

2. Dados A = (1, 2, 3, 4) y las relaciones en A:

R1 = ( (1, 2), (2, 3), (4, 2), (3, 2), (2, 1), (2, 4) )
R2 = ( (1, 1), (2, 2), (3, 3) )
R3 = ( (1, 1), (3, 3), (4, 1), (2, 3), (1, 4) )
Indicar cules son Simtricas:

Solucin:
R1 y R2 son Simtricas en A, pero R3 no lo es pues le falta al menos el par (3, 2) para
ello.

3. Sea R una relacin en A = (1, 2, 3, 4), tal que:

R1 = {(1, 2), (3, 4), (4, 3), (2, 1), (3, 3)}
R2 = {(x, y)/ x > y}
R3 = {(x, y)/ x + y = 4}
Indicar cules son reflexivas, simtricas o transitivas:

Solucin:
R1: No es reflexiva. Para que lo sea faltan los pares (1, 1) (2, 2) y (4, 4)
Es simtrica No es transitiva
R2: {(2, 1), (3, 2), (3, 1), (4, 3), (4, 2), (4, 1)}
No es reflexiva No es simtrica Es transitiva
R3: {(1, 3), (2, 2), (3, 1)}
No es reflexiva Es simtrica No es transitiva