Introduccin

En matemticas y en computacin las relaciones de equivalencia juegan un

papel muy importante, en la mayora de las estructuras matemticas que
manejamos la igualdad es en realidad una equivalencia, como por ejemplo en
fracciones.

En muchas ocasiones una relacin no cumple alguna de las propiedades de

equivalencia, pero hay relaciones que la incluyen y que s cumplen la
propiedad. De todas las relaciones la menor posible se llama su cerradura.

A continuacin explicaremos las caraduras reflexivas simtricas y transitivas de

una relacin.
Definicin.- Una relacin R en un conjunto A es de equivalencia si cumple las
propiedades reflexiva, simtrica y transitiva.

Teorema.- Si R es una relacin de equivalencia en un conjunto de A entonces

R particiona al conjunto A en subconjuntos disjuntos llamados clases de
equivalencia

Una particin de un conjunto est formada por subconjuntos disjuntos o

sea ningn elemento aparece en dos conjuntos tal que la unin es igual al
conjunto original.

Una relacin de equivalencia sobre un conjunto C es una relacin R que

cumple las siguientes propiedades:

Reflexiva. a C; a R a

Simtrica. a, b C; a R b b R a

Transitiva. a, b, c C; (a R b) (b R c) (a R c)

Cerradura: En algunas ocasiones una relacin no cumple alguna de las

propiedades de equivalencia, pero hay relaciones que la incluyen y que si
cumplen la propiedad. De todas las relaciones la menor posible se
llama Cerradura.

Definicin.- Sea R una relacin en un conjunto A.

Cerradura Reflexiva

Llamamos cerradura reflexiva de una relacin

R, la menor extensin de R, es decir, RU, tal
que RU es reflexiva, aunque inicialmente R no
lo haya sido. En otras palabras, a R se le
agregan los pares ordenados que sean
necesarios hasta que se vuelva reflexiva.
Por ejemplo, la cerradura reflexiva de R1 =
{(2, 3), (1, 2), (1, 1), (1, 3)} es {(2, 3), (1, 2), (1,
1), (1, 3), (2, 2), (3, 3)}.
Decimos que la cerradura reflexiva es la menor
extensin de la relacin original porque no
deben aadirse ms pares ordenados que los
estrictamente necesarios para volverla
reflexiva.
Por ejemplo, la relacin {(2, 3), (1, 2), (1, 1), (1,
3), (2, 2), (3, 3), (3,1)}, aunque cumple con ser
una extensin de R1 y tambin con ser
reflexiva, no es la cerradura reflexiva de R1,
porque tiene el par (3, 1) que no era
indispensable agregar.

Cerradura Simtrica.
Similarmente definimos la cerradura simtrica de una relacin, aadiendo los
pares estrictamente necesarios para que se vuelva simtrica.
Por ejemplo, la cerradura simtrica de {(2, 3), (1, 2), (1, 1), (1, 3)} es {(2, 3), (1,
2), (1, 1), (1, 3), (3, 2), (2, 1), (3, 1)}.
Cerradura Transitiva
La cerradura transitiva tambin se define de una manera enteramente similar.
Por ejemplo, la cerradura transitiva de la relacin {(1, 2), (3, 1), (2, 1)} es:{(1, 2),
(3, 1), (2, 1), (1, 1), (2, 2), (3, 2)}.

Combinaciones de varias cerraduras.

Se pueden tener tambin combinaciones de varias cerraduras, como la
cerradura reflexiva y transitiva, que en el caso de
{(2, 3), (1, 2), (1, 1), (1, 3)} Sera {(2, 3), (1, 2), (1, 1), (1, 3), (2, 2), (3, 3)}

Conclusin

En esta investigacin se da a conocer sobre las relaciones matemticas

para facilitar el entendimiento sobre los temas visto al principio del documento.

Este tema trata sobre las cerraduras reflexivas simtricas y transitivas de una
relacin. Por ejemplo las representacin grfica en forma de tabla de las
relaciones entre conjuntos, de igual manera se muestran sobre cmo se
clasifican las relaciones que pueden ser reflexiva, simtrica, asimtricas,
transitivas etc. la finalidad de crear esta investigacin es hacer ms fcil
y sencilla la explicacin de este tema para tener un mejor entendimiento.