RELACIONES DE EQUIVALENCIA BINARIA En teora de conjuntos y lgebra la nocin de relacin de equivalencia sobre un conjunto, permite establecer una relacin

entre los elementos del conjunto que comparten cierta caracterstica o propiedad. Esto permite reagrupar dichos elementos en clases de equivalencia, es decir, paquetes de elementos similares. Esto posibilita la construccin de nuevos conjuntos aadiendo todos los elementos de una misma clase como un solo elemento que los representar y que define la nocin de conjunto cociente. RELACION BINARIA En matemticas, una relacin binaria es una relacin matemtica R entre los elementos de dos conjuntos A y B. Una relacin de este tipo se puede representar mediante pares ordenados, :

Relacin reflexiva: La propiedad reflexiva de una relacin binaria es el inicio para los casos
ms elaborados, tngase en cuenta que las relaciones binarias no reflexivas y las irreflexivas son casos muy particulares muy poco estudiados, por su poca importancia en los casos ms generales. Las relaciones reflexivas son las definidas as: Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria es relacin reflexiva, si cumple: 1.- Relacin reflexiva: la relacin R es reflexiva si todo elemento a de A esta relacionado consigo mismo.

Ejemplo 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) }
Sea A = {1, 3, 5}. R1 = {(1, 3), (3, 5), (1, 1), (5, 1), (5, 5), (3, 1), (3, 3)} es reflexiva en A. R2 = {(1, 1), (5, 3), (5, 5), (3, 1)} no es reflexiva en A.

Relacin simtrica: Una relacin binaria R sobre un conjunto A, es simtrica cuando se

da que si un elemento est relacionado con otro mediante R, entonces ese otro tambin est relacionado con el primero.

Es decir,

En tal caso, decimos que R cumple con la propiedad de simetra. La aplicacin de cualquier relacin R sobre un conjunto A, se representa con el par ordenado (A, R). Cuando una relacin es lo opuesto a una simtrica, es decir, cuando se da que si un elemento est relacionado con otro mediante R, entonces ese otro no est relacionado con el primero, entonces decimos que es asimtrica, lo que denotamos formalmente por:

Ejemplos: Sea A un conjunto cualquiera:

Sea

(la igualdad matemtica), es simtrica.

Sea , es simtrica. "Estar casado con" es una relacin simtrica, mientras que "ser ms alto que" no lo es. Sea, ("mayor estricto que") es asimtrica, al igual que ("menor estricto que").Sea , (la inclusin estricta de conjuntos), es asimtrica. Sea A = {3, 4, 2} entonces: R = {(2, 3), (3, 4), (4, 3), (3, 2), (4, 4)} es simtrica en A. S = {(3, 2), (4, 3), (2, 2), (3, 4)} no es simtrica en A.

Relacin transitiva: Una relacin binaria

sobre un conjunto es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y ste ltimo con un tercero, entonces el primero se relaciona con el tercero. Esto es:

Dado el conjunto A y una relacin R, esta relacin es transitiva si: a R b y b R c se cumple a R c. La propiedad anterior se conoce como transitividad. Ejemplos:

Sea = {2, 4, 6, 3} entonces: R = {(2, 2), (2, 3), (4, 6), (6, 2), (4, 2), (4, 3), (6, 3)} es transitiva en A. S = {(2, 2), (4, 4), (4, 2), (2, 6), (6, 4), (6, 2)} no es transitiva en A.

Relacin inversa: Sea R una relacin. Entonces la relacin {(y, x) / (x, y) R} se

denomina relacin inversa y se denota R1. En consecuencia, Ejemplos:

(y, x) R (x, y) R. 1 (y, x) R (x, y) R. 1 Si R es una relacin de A en B, entonces R es una relacin de B en A.

1