RELACIONES DE EQUIVALENCIA

LGEBRA SUPERIOR 1
GABRIELA CERVANTES PIZA
MAURICIO ELIZALDE MEJA
CSAR GUEVARA BRAVO
AGRADECEMOS LOS APORTES QUE
REALIZARON LOS ALUMNOS

MATEMTICAS

Relaciones de equivalencia

Profesores y alumnos de
lgebra Superior 1

RELACIONES DE EQUIVALENCIA
Una relacin de equivalencia cumple ciertas propiedades que estudiaremos a
continuacin por separado. Estas propiedades nos permitirn utilizar la relacin para
inducir una particin y viceversa.
Sea una relacin sobre , diremos que es una relacin de equivalencia si
cumple con las propiedades que a continuacin enunciamos:
Reflexividad
para toda
Simetra
Si entonces para toda ,
Transitividad
Si , entonces entonces para toda , ,

En los ejemplos que siguen se definirn relaciones y verificaremos con qu propiedades

cumplen, para saber si son de equivalencia o no.
Ejemplo 2.18
Sean personas, definiremos la relacin de la siguiente manera:
si y slo si son amigos,
Reflexividad: (considerando que la amistad se da entre dos personas distintas)
Simetra: ~ ~ (si A es amigo de B entonces B es amigo de A)
Transitividad: (~) (~) (~) (no necesariamente se cumple que si A es amigo
de B y B es amigo de C entonces A sea amigo de C).

Ejemplo 2.19
Sean personas, definiremos la relacin de la siguiente manera:
A~ si y slo si son alumnos del mismo grupo semipresencial de lgebra Superior,
Reflexividad: ~
Simetra: ~ ~
Transitividad: (~) (~) (~)

Facultad de Ciencias

Pg. 2 de 6

Relaciones de equivalencia

Profesores y alumnos de
lgebra Superior 1

Ejemplo 2.20
Sean personas, definiremos la relacin de la siguiente manera:
~ si y slo si es hijo de
Reflexividad:
Simetra: ~ ~
Transitividad: (~) (~) (~)

Ejemplo 2.21
Sean conjuntos, definimos la relacin de la siguiente manera:
~ si y slo si .
Ahora veamos que es reflexiva y transitiva, pero no simtrica.
Reflexiva: Sea conjunto, como entonces es reflexiva
Transitiva: Sean , , conjuntos. Suponemos , y .
. . : sea , como entonces y como entonces por lo
tanto y as es transitiva
Simtrica: Contraejemplo. Sean = {1} = {1,2}, entonces , pero pues
2.

Ejemplo 2.22
Sea = la relacin igualdad. Tenemos as que:
Reflexiva: =
Simtrica: = =
Transitiva: ( = ) ( = ) =

Facultad de Ciencias

Pg. 3 de 6

Relaciones de equivalencia

Profesores y alumnos de
lgebra Superior 1

Ejemplo 2.23
Sea bajo la relacin de que (, )~(, ) si y slo si + = +
Reflexiva: (, )~(, ) + = +
Simtrica: si (, )~(, ) + = + . Por demostrar que resulta lo mismo para
(, )~(, ), y resulta que por la definicin de ~ se tiene que + = + .
Transitiva: suponemos (, )~(, ) (, )~(, ) . Por demostrar que (, )~(, )
Dem : ( + = + ) ( + = + ) ( = + ) ( = + )
( + ) = ( + ) ( ) = ( ) ( + ) = ( + ) (, )~(, ).

Ejemplo 2.24
Sea la relacin entre enteros definida as: Para y en , se da la relacin
si y slo si |
Por demostrar que es de equivalencia, donde se lee a congruente con b mdulo
Reflexiva: | = 0
Simtrica: | . Si b entonces | , que es equivalente a que |
( ), pero, como | entonces se cumple la simetra.
Transitiva: sea y . Por demostrar que . Como | , entonces
existe un entero tal que = y del mismo existe tal que =
= + = = ( ), entonces se tiene finalmente que
, y por lo tanto es transitiva.

MS PROPIEDADES
Una relacin puede tener otras propiedades como la irreflexividad y la antisimetra.
Sea una relacin sobre
1. es irreflexiva si y slo si para toda se tiene que .
2. es antisimtrica si y slo si para toda y se cumple que ~ ~ = . O, dicho
de otra manera, si .
Por ejemplo, la relacin amistad es irreflexiva y ser subconjunto es antisimtrica.

PARTICIONES
Se define como particin de a una familia de subconjuntos { } diferentes del vaco
que cumplen con lo siguiente:
Facultad de Ciencias

Pg. 4 de 6

Relaciones de equivalencia

Profesores y alumnos de
lgebra Superior 1

1) si se considera a los conjuntos y diferentes entre ellos entonces = .

2) la unin de los conjuntos es igual a A, es decir, = .
Ejemplo 2.25
Sea = {2, 4, 6, 8, 10, 12, 14}, una particin de puede ser
1 = {2,6}, 2 = {12, 4}, 3 = {8, 10, 14}.
Pero sta no es una particin de :
1 = {2,6}, 2 = {12, 8}, 3 = {8, 10, 6}, 1 = {4, 14},
ya que no se cumple la condicin 1) de las propiedades.

Ahora veremos dos resultados que vinculan las propiedades que cumple una particin y
las que satisface una relacin para que sea de equivalencia. As, damos lugar a dos
teoremas.
Teorema
Sea un conjunto y una relacin de equivalencia en , entonces esta
relacin da lugar a la existencia de una particin en .

Demostracin
Sea y con base en esto se define el conjunto = { | ~ } , esto significa que
contiene a todos los elementos que estn bajo la relacin con . Como es una
relacin de equivalencia entonces ~ y por lo tanto , entonces . Ahora se
tiene que demostrar que la familia de conjuntos conforman una particin de , a esta
familia la denotamos como { } .
(Demostracin de propiedad 1) de la definicin de particin)
Sea con , , en entonces se probar que y tienen que ser
disjuntos, lo que llevara a que = , es decir, que no puede existir un elemento z en
la interseccin de los conjuntos a menos que sean iguales, por lo tanto la interseccin
entre ellos es el vaco.
As, de se tiene que ~ y ~ , en consecuencia ~ (se usan las
propiedades de simetra y transitividad de la relacin de equivalencia). Por otro lado sea
entonces ~ pero por transitividad ~ entonces ~ , por lo tanto
y en consecuencia . Por otro lado, si se considera ahora un se llegar a
algo semejante donde y por lo tanto = . Con esto se llega a que =
y se confirma la primera propiedad de la particin.
(Demostracin de propiedad 2) de la definicin de particin)
Facultad de Ciencias

Pg. 5 de 6

Relaciones de equivalencia

Profesores y alumnos de
lgebra Superior 1

Recordemos que para este caso la propiedad requiere que la unin de los conjuntos
de la familia forme al conjunto .
Ya que para cada se tiene que , entonces . Por otro lado para
cada se tiene que por lo tanto , entonces se llega a que = .
Con esto se termina la demostracin de que una relacin de equivalencia en induce
una particin en A.
Teorema
Dado cualquier conjunto A y una particin P de A entonces P da lugar a que
exista una relacin de equivalencia en .

Demostracin
TAREA

CLASES DE EQUIVALENCIA
Definicin: Sea una relacin de equivalencia definida en , de tal manera
que para toda se define el conjunto [] = { | }. Al conjunto [] de
los elementos que estn en relacin con se le llama clase de equivalencia de
bajo R.

La definicin de clase de equivalencia la utilizamos en la demostracin anterior y fue

denotada por , a este elemento se le llama representante de la clase de
equivalencia.

Facultad de Ciencias

Pg. 6 de 6