5 Relaciones de Equivalencia

Un tipo particular de relaciones binarias Clases de equivalencia Conjunto cociente
Relaciones de equivalencia
Matemática Discreta
Dr. Carlos Casanova
1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU
7 de abril de 2020
MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

RBE
Esquema
1 Un tipo particular de relaciones binarias

Ejemplos
2 Clases de equivalencia
3 Conjunto cociente

RBE
Una Relación de Equivalencia es una relación binaria reflexiva, simétrica y transitiva.
Las Relaciones de Equivalencia se simbolizan con ∼
Las relaciones de equivalencia generalizan el concepto de igualdad.
Cuando dos elementos x e y pertenecen a una relación de equivalencia ∼, es decir,

x ∼ y se dice que son equivalentes.

RBE
Ejemplos
Ejemplos
Identidad =

RBE
Ejemplos
Ejemplos
Identidad =
Equivalencia en LPC ≡

RBE
Ejemplos
Ejemplos
Identidad =
∼
Ángulos congruentes =

RBE
Ejemplos
Ejemplos
Identidad =
∼
Ángulos congruentes =
Rectas paralelas k

RBE
Ejemplos
Un ejemplo con matrices
Sea A = {0, . . . , 9}, y sea R ⊆ A2 la relación representada por la siguiente matriz:

1 0 0 1 0 0 1 0 0 1
 
 0 1 0 0 1 0 0 1 0 0 
 
 0 0 1 0 0 1 0 0 1 0 
 
 1 0 0 1 0 0 1 0 0 1 
 
 0 1 0 0 1 0 0 1 0 0 
MR =  0 0 1 0

 0 1 0 0 1 0  
 1 0 0 1 0 0 1 0 0 1 
 
 0 1 0 0 1 0 0 1 0 0 
 
 0 0 1 0 0 1 0 0 1 0 
1 0 0 1 0 0 1 0 0 1
RBE
Ejemplos
Es posible reordenar las filas y columnas de esta matriz

1 1 1 1 0 0 0 0 0 0
 
 1 1 1 1 0 0 0 0 0 0 
 
 1 1 1 1 0 0 0 0 0 0 
 
 1 1 1 1 0 0 0 0 0 0 
 
 0 0 0 0 1 1 1 0 0 0 
MR =  0 0 0 0 1 1

 1 0 0 0  
 0 0 0 0 1 1 1 0 0 0 
 
 0 0 0 0 0 0 0 1 1 1 
 
 0 0 0 0 0 0 0 1 1 1 
0 0 0 0 0 0 0 1 1 1

RBE
Ejemplos

1 1 1 1 0 0 0 0 0 0
 
 1 1 1 1 0 0 0 0 0 0 
 
 1 1 1 1 0 0 0 0 0 0 
 
 1 1 1 1 0 0 0 0 0 0 
 
 0 0 0 0 1 1 1 0 0 0 
MR =   
 0 0 0 0 1 1 1 0 0 0 

 0 0 0 0 1 1 1 0 0 0 
 
 0 0 0 0 0 0 0 1 1 1 
 
 0 0 0 0 0 0 0 1 1 1 
0 0 0 0 0 0 0 1 1 1
Aquı́ se hace evidente que la relación es de equivalencia.

RBE
Ejemplos

1 1 1 1 0 0 0 0 0 0
 
 1 1 1 1 0 0 0 0 0 0 
 
 1 1 1 1 0 0 0 0 0 0 
 
 1 1 1 1 0 0 0 0 0 0 
 
 0 0 0 0 1 1 1 0 0 0 
MR =   
 0 0 0 0 1 1 1 0 0 0 

 0 0 0 0 1 1 1 0 0 0 
 
 0 0 0 0 0 0 0 1 1 1 
 
 0 0 0 0 0 0 0 1 1 1 
0 0 0 0 0 0 0 1 1 1
Aquı́ se hace evidente que la relación es de equivalencia.
Dibujemos el digrafo...

RBE
Esquema

Ejemplos
3 Conjunto cociente

RBE
Clases de equivalencia
Dados un conjunto no vacı́o A y una relación de equivalencia ∼⊆ A2 , una clase de

equivalencia [a], con a ∈ A es el conjunto formado por todos los elementos de A que
son equivalentes a a.
[a] = {x ∈ A : x ∼ a}
a se llama representante de [a].

RBE
En la relación anterior,
[0] = {0, 3, 6, 9}
[1] = {1, 4, 7}
[2] = {2, 5, 8}

RBE
En la relación anterior,
[0] = {0, 3, 6, 9}
[1] = {1, 4, 7}
[2] = {2, 5, 8}
Pregunta rápida: ¿Qué elemento puede ser representante de la clase {0, 3, 6, 9}?
A 2
B Cualquiera de los elementos de A
C Cualquiera de los elementos de la clase
D Cualquiera de los elementos que no están en la clase
RBE
Esquema

Ejemplos
3 Conjunto cociente

RBE
Conjunto cociente
Al conjunto formado por las clases de equivalencia de una relación de equivalencia se

lo llama Conjunto Cociente, y se lo denota A/ ∼
En el ejemplo anterior,

RBE
Conjunto cociente

A/R = {{0, 3, 6, 9}, {1, 4, 7}, {2, 5, 8}}

RBE
Conjunto cociente

A/R = {{0, 3, 6, 9}, {1, 4, 7}, {2, 5, 8}}
Además, A/ ∼ es una partición de A inducida por ∼.

RBE
∼ inducida por una partición
Del mismo modo, una partición {C1 , C2 , . . . , Cn } puede inducir una relación de
equivalencia R de la siguiente manera:
R = {(x, y ) ∈ A2 : ∃C ∈ {C1 , C2 , . . . , Cn }, x ∈ C ∧ y ∈ C }

RBE
R = {(x, y ) ∈ A2 : ∃C ∈ {C1 , C2 , . . . , Cn }, x ∈ C ∧ y ∈ C }
Considerando, por ejemplo, la partición {{λ}, {a, b}, {ab}} sobre el conjunto
A = {λ, a, b, ab}, la relación de equivalencia inducida es,

RBE
R = {(x, y ) ∈ A2 : ∃C ∈ {C1 , C2 , . . . , Cn }, x ∈ C ∧ y ∈ C }
Considerando, por ejemplo, la partición {{λ}, {a, b}, {ab}} sobre el conjunto
A = {λ, a, b, ab}, la relación de equivalencia inducida es,
{(λ, λ), (a, a), (a, b), (b, a), (b, b), (ab, ab)}

RBE
¿Preguntas?

RBE
¿Preguntas?
¡Muchas gracias por su atención!

RBE

5 Relaciones de Equivalencia

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

5 Relaciones de Equivalencia

Cargado por

Copyright:

Formatos disponibles

Un tipo particular de relaciones binarias Clases de equivalencia Conjunto cociente

Dr. Carlos Casanova

1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

1 Un tipo particular de relaciones binarias

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Una Relación de Equivalencia es una relación binaria reflexiva, simétrica y transitiva.

Las Relaciones de Equivalencia se simbolizan con ∼

Las relaciones de equivalencia generalizan el concepto de igualdad.

Cuando dos elementos x e y pertenecen a una relación de equivalencia ∼, es decir,

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Un ejemplo con matrices

Sea A = {0, . . . , 9}, y sea R ⊆ A2 la relación representada por la siguiente matriz:

Es posible reordenar las filas y columnas de esta matriz

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Es posible reordenar las filas y columnas de esta matriz

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Es posible reordenar las filas y columnas de esta matriz

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

1 Un tipo particular de relaciones binarias

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Dados un conjunto no vacı́o A y una relación de equivalencia ∼⊆ A2 , una clase de

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

1 Un tipo particular de relaciones binarias

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Al conjunto formado por las clases de equivalencia de una relación de equivalencia se

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Al conjunto formado por las clases de equivalencia de una relación de equivalencia se

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Al conjunto formado por las clases de equivalencia de una relación de equivalencia se

Además, A/ ∼ es una partición de A inducida por ∼.

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

∼ inducida por una partición

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

∼ inducida por una partición

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

∼ inducida por una partición

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

También podría gustarte