Relacin Simtrica, Asimtrica, Anti simtrica Y Transitiva

Teorema: Una relacin R es simtrica si y solo si los elementos opuestos con

respecto a la diagonal principal son iguales.

Simtrica: Si cuando un elemento esta relacionado con un segundo elemento, el
segundo tambin se relaciona con el primero, con smbolos: (x ,y) R (y ,x) R

Asimtrica: Una relacin R en un conjunto A es asimtrica si cuando a R b, entonces b
Ra. De esto se sigue que R no es simtrica si se tiene a y b e A con ambos a R b y b R a.

Teorema: Una relacin R en conjunto es Anti simtrica si y solo si los elementos
opuestos con respeto a la diagonal principal no pueden ser iguales a 1; esto es, puede
aparecer 0 con 1 o pueden aparecer ceros.

Anti simtrica: Si cuando un elemento esta relacionado con un segundo elemento
diferente, el segundo no se relaciona con el primero, con smbolos: x, y, ((x, y)
R (y, x) R x = y)
La anti simetra no es lo opuesto de la simetra.

Transitiva: Si cuando un elemento esta relacionado con un segundo elemento y el
segundo esta relacionado con un tercero, entonces el primero esta relacionado con el
tercero:
Imagen
Ejemplo para todas las relaciones
Cuando tenemos la matriz de una relacin es muy fcil verificar si es reflexiva,
Irreflexiva, Simtrica, Asimtrica, Anti simtrica, Transitiva:

Ejemplo.- Sea A = { a, b, c, d, e }

R1 = { (a,a), (b,b), (a,c), (b,c), (c,a), (d,d) }
R2 = { (a,a), (a,d), (c,b), (d,a), (c,e), (e,e) }
R3 = { (a,a), (b,b), (c,c), (d,d), (e,e), (b,c), (b,a) }
R4 = { (a,a), (a,b), (b,a), (b,b), (b,c), (b,e), (c,e), (b,d), (d,a), (e,e) }
R5 = { (a,c), (a,e), (e,c), (b,c) }
R6 = { ( (a,a), (b,b), (c,c), (d,d), (e,e), (a,e), (b,c), (c,b), (e,a) }
R7 = { (a,b), (b,d), (c,a), (d,e), (e,c), (b,c), (b,a) }

Si observamos la figura podemos darnos cuenta que R3 y R6 son Reflexivas, y
tambin podemos ver que R5 y R7 son Irreflexivas.
De las relaciones anteriores R6 es simtrica, R3 y R5 son antisimetricas; R3, R4 y R5
son Transitivas.