UNIVERSIDAD TECNOLOGICA NACIONAL

FACULTAD REGIONAL ROSARIO

Cátedra:
MATEMATICA DISCRETA
UNIDAD III – CICLO LECTIVO 2019

PARTICIONES Y RELACIONES DE EQUIVALENCIA

Ing Lucila Teneb

 CONCEPTO DE PARTICIÓN DE UN CONJUNTO

Dado un conjunto , una “Partición de ” es una colección de subconjuntos no

vacíos de que cumple con la condición de que cada elemento de pertenece
exactamente a un subconjunto de la colección.
Notación:

Ejemplo 1
Un club tiene 100 socios que practican uno solo de los siguientes deportes: patín,
futbol, básquet y tenis.
Llamemos al conjunto de socios , y sean los conjuntos (patín), (futbol),
(básquet) y (tenis)
Entonces la colección * + es una partición del conjunto
Es claro que cada elemento de , se encuentra en exactamente un conjunto de la
colección, esto significa que:
 Ningún socio se encuentra en dos conjuntos de la colección
En símbolos: , , , , y

 Todos los socios están en algún conjunto de la colección

En símbolos:

Definición de partición de un conjunto

Dado un conjunto 𝐴 , entonces la colección de subconjuntos no vacíos de 𝐴 :
𝐴 𝐴 𝐴 𝐴𝑘 se denomina partición del conjunto 𝐴, si verifica:
 Ningún elemento de 𝐴 se encuentra en dos conjuntos de la colección
En símbolos: 𝐴𝑖 𝐴𝑗 ∀𝑖 𝑘; ∀𝑗 𝑘
 Todos los elementos de 𝐴 están en algún conjunto de la colección
En símbolos: 𝐴 𝐴 𝐴 𝐴𝑘 𝐴

Se indica: * + es una partición de

A cada conjunto se lo denomina bloque de la partición

Ejemplo 2
Una partición del conjunto * + es: {* + * + * +}
Se observa que:
 Ningún elemento de se encuentra en dos conjuntos de :
* + * + , * + * + , * + * +
 Todos los elementos de están en alguno de los conjuntos de :
* + * + * + * +
El conjunto queda dividido en tres bloques: * +* + * +

Ejemplo 3
Una partición del conjunto de los enteros es: * * + +
 Ningún elemento de se encuentra en dos conjuntos de :
* + , , * +
 Todos los elementos de están en algún conjunto de la partición :
* +
El conjunto de los enteros queda dividido en tres bloques: , y* +

Ejemplo 4
La colección: {* + * + * + * +} no es una partición de * +,
porque como puede verse: * + * + * +

Ing. Lucila Teneb – UTN Facultad Regional Rosario Página 2

Ejemplo 5
La colección: {* + * + * +} no es una partición de * +, dado
que el no se encuentra en algún elemento de , es decir:
* + * + * + * +

RELACIÓN DE EQUIVALENCIA

Definición:

Sea conjunto 𝐴
Una relación 𝑅 en 𝐴 es de equivalencia si:
 𝑅 es reflexiva
 𝑅 es simétrica
 𝑅 es transitiva

Ejemplo 6
En se define:
es de equivalencia dado que:
 es reflexiva
∀
 es simétrica

 es transitiva

Queda demostrado que es reflexiva, simétrica y transitiva, es decir, es de

equivalencia

Ejemplo 7
Sea * +, se define la relación en :
*( )( )( )( )( )( )( )( )+
es de equivalencia porque:
 es reflexiva:
( ) , ( ) y ( ) y ( )
 es simétrica:
( ) y( )
( ) y( )
 es transitiva:

( ) y ( )

Como es transitiva

Recordamos el concepto: Conjuntos relativos

Sea una relación sobre , se llama conjunto relativo en del elemento , al conjunto
formado por todos los elementos que están relacionados con
( ) * ⁄ +
En nuestro ejemplo: ( ) * +
( ) * +
( ) * +
( ) * +

Ing. Lucila Teneb – UTN Facultad Regional Rosario Página 3

Desde el dígrafo de esta relación:

Claramente se observan los conjuntos relativos de cada elemento de :

( ) ( ) * +
( ) ( ) * +
Y recordando el concepto de partición de un conjunto, se tiene que la colección:
* ( ) ( )+ {* + * +} es una partición del conjunto

RELACIÓN DE EQUIVALENCIA DETERMINADA POR

UNA PARTICIÓN

Teorema 1
Sea 𝒫 *𝐴 𝐴 𝐴 𝐴𝑘 + una partición del conjunto 𝐴, la siguiente relación 𝑅 en
𝐴, es de equivalencia:
𝑎𝑅𝑏 𝑎 𝑦 𝑏 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒𝑛 𝑎𝑙 𝑚𝑖𝑠𝑚𝑜 𝑏𝑙𝑜𝑞𝑢𝑒 𝑑𝑒 𝑙𝑎 𝑝𝑎𝑟𝑡𝑖𝑐𝑖ó𝑛 𝒫
Demostración:
 es reflexiva:
∀ : y pertenecen al mismo bloque de por lo que: ∀
 es simétrica
y pertenecen al mismo bloque de
y pertenecen al mismo bloque de
 es transitiva
, y pertenecen al mismo bloque de
y pertenecen al mismo bloque de

Observación: En esta relación el conjunto relativo de un elemento de es igual a

algún bloque de la partición.

Teorema 2
Sea 𝒫 *𝐴 𝐴 𝐴 𝐴𝑘 + una partición del conjunto 𝐴, y 𝑅 la relación de
equivalencia en 𝐴 determinada por 𝒫, entonces:
Para 𝑎 𝜖 𝐴 se tiene 𝑅(𝑎) 𝐴𝑖 para algún 𝑖 𝑘
Demostración:
Sea un bloque de y sea , entonces:
y pertenecen al mismo bloque de ( ) ( )
( ) y pertenecen al mismo bloque de ( )
Por la doble inclusión: ( ) para algún

Este teorema nos indica que cada bloque de la partición puede escribirse en términos
de la relación , y la partición consta de todos los conjuntos relativos:
* ⁄ + * ( )⁄ +

Ing. Lucila Teneb – UTN Facultad Regional Rosario Página 4

Ejemplo 8
En el conjunto * + se define la siguiente partición {* + * + * +},
entonces la relación inducida por la partición es:
*( )( )( )( )( )( )+
Los conjuntos relativos son: ( ) ( ) * + , ( ) * + y ( ) * +
Entonces la partición puede escribirse: * ( ) ( ) ( )+

Teorema 3
Sea 𝑅 una relación de equivalencia en un conjunto 𝐴 y sean 𝑎 𝑏 𝜖 𝐴, entonces:
𝑎𝑅𝑏 𝑅(𝑎) 𝑅(𝑏)
Demostración:
) ( ) ( )
Por definición de igualdad entre dos conjuntos, es necesario demostrar la doble
inclusión:
Por la propiedad simétrica de y por hipótesis:
Considerando un elemento genérico ( ) se tiene:
( ) ( ) ( ) ( )
1 2 3 4

1. Por hipótesis y definición de conjunto relativo de un elemento

2. Propiedad transitiva de
3. Por definición de conjunto relativo de un elemento
4. Queda demostrado que ( ) ( )
Razonando de igual manera se demuestra que: ( ) ( )
( ) ( ) ( ) ( )
1 2 3 4
Conclusión: ( ) ( )

) ( ) ( )
R es reflexiva , entonces:
( ) ( )
1 2 3
1. Por definición de conjunto relativo de un elemento
2. Hipótesis: ( ) ( )
3. Por definición de conjunto relativo de un elemento

Se ha demostrado que: ( ) ( )

Teorema 4
Sea 𝑅 una relación de equivalencia sobre 𝐴 y 𝒫 la colección de todos los
conjuntos relativos distintos, 𝑅(𝑎) para 𝑎 𝜖 𝐴,
Entonces 𝒫 *𝑅(𝑎)⁄𝑎 𝜖 𝐴+ es una partición de 𝐴
Demostración:
* ( )⁄ + es una partición de si se verifica:
1) Ningún elemento de se encuentra en dos conjuntos
2) Todos los elementos de están en algún conjunto de la colección

Ing. Lucila Teneb – UTN Facultad Regional Rosario Página 5

1) La expresión: ( ) ( ) ( ) ( ) indica que ningún elemento de A se
encuentra en dos conjuntos relativos y es equivalente a decir que si un elemento de
está en dos conjuntos relativos, es porque estos son iguales:
( ) ( ) ( ) ( )
Suponemos que existe un elemento en dos conjuntos relativos:
( ) ( ) ( ) ( )
1 2 3

( ) ( )
4 5
1. Definición de
2. Por definición de conjunto relativo de un elemento
3. es simétrica
4. es transitiva
5. es de equivalencia, aplicamos el teorema 1
Queda demostrado que: ( ) ( ) ( ) ( )

2) Cómo es reflexiva: ∀ se tiene que entonces ∀ ( ), esto

significa que todos los elementos de pertenecen a algún conjunto relativo ( ).
Se ha demostrado el Teorema 4

Conclusión

Sea 𝑅 una relación de equivalencia sobre un conjunto 𝐴 y 𝒫 la colección de

todos los conjuntos relativos distintos, 𝒫 *𝑅(𝑎) ⁄𝑎 𝜖 𝐴+, entonces:
 𝒫 es una partición de 𝐴
 𝑅 es la relación de equivalencia determinada por 𝒫

 * ( )⁄ +, es una partición de
Demostrado en el Teorema 4

 es la relación de equivalencia determinada por

Por el Teorema 3: ( ) ( )
y pertenecen al mismo bloque de la partición
Por lo que determina a

Al conjunto relativo: ( ) se lo denomina clase de equivalencia de en

Se indica: ( ) , -
Al conjunto: * ( )⁄ + se lo denomina conjunto cociente
Se indica: ⁄ * ⁄ +

Ejemplo 9
En el conjunto * + se define la relación de equivalencia:
*( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )( )( )( )( )+
Las clases de equivalencia de cada elemento de :
( ) * +, ( ) * +, ( ) * +
( ) * + y ( ) * +
El conjunto cociente es el conjunto de clases de equivalencia distintas: ⁄ { }

Ing. Lucila Teneb – UTN Facultad Regional Rosario Página 6

Repasamos un concepto importante:
Algoritmo de la división entera:
Dado un entero y de acuerdo con el algoritmo de la división entera, existen
dos números únicos tales que:
con y

A se lo denomina cociente y a resto de la división de entre llamado también

residuo modulo

RELACIÓN DE CONGRUENCIA MÓDULO N

Definición
En 𝒵 se define la relación 𝑎 congruente con 𝑏 módulo 𝑛 de la siguiente manera:
𝑎 𝑏 𝑚ó𝑑(𝑛) 𝑎 𝑦 𝑏 𝑑𝑎𝑛 𝑒𝑙 𝑚𝑖𝑠𝑚𝑜 𝑟𝑒𝑠𝑡𝑜 𝑎𝑙 𝑑𝑖𝑣𝑖𝑑𝑖𝑟𝑙𝑜𝑠 𝑒𝑛𝑡𝑟𝑒 𝑛

Ejemplo 10
Presentamos algunos ejemplos:

Afirmación Justificación Observación

( ó ) y
( ó ) y
( ó ) y
( ó ) y
( ó ) y
( ó ) y
( ó ) y
( ó ) y
( ó ) y los restos no son iguales

Teorema 5
La relación de 𝒂 𝒃 𝒎𝐨𝒅(𝒏) es de equivalencia

Demostración:
es Reflexiva:
∀ resulta que dan el mismo resto al dividirlos entre entonces:
∀ , ó ( )

es simétrica:
ó ( )

ó ( )

es transitiva:
ó ( )y ó ( )
,

Ing. Lucila Teneb – UTN Facultad Regional Rosario Página 7

 ó ( )
Queda demostrado que la relación en : ó ( ) es de equivalencia.

CLASES DE EQUIVALENCIAS EN LA CONGRUENCIA

MÓDULO
Observando las filas marcadas con en el cuadro del Ejemplo 10. Es inmediato que
si el cociente es ( ), el resto es igual al dividendo y en consecuencia dado
cualquier entero, éste es congruente con alguno de los posibles residuos módulo .
Es decir: y entonces ( ó ) con
y por el Teorema 3 resulta: ( ó ) ( ) ( )
ahora diremos: ( ó )

Para el conjunto cociente, ⁄ usaremos la siguiente notación:

Conclusión: se define en la relación: ó ( ) entonces las clases de

equivalencias distintas son las clases de todos los restos posibles en la división entre :

y el conjunto cociente es: { },

Siendo:
* ⁄ ó ( )+ * ⁄ + (múltiplos de )
* ⁄ ó ( )+ * ⁄ + (el residuo módulo es )
* ⁄ ó ( )+ * ⁄ + (el residuo módulo es )
….
* ⁄ ó ( )+ * ⁄ ( ) + (el residuo
módulo es )

Ejemplo 11
En se define la relación congruente con módulo :
ó ( )

Aquí los restos posibles son y

En este caso: ∀ se tiene que ó ( )ó ó ( )
Las clases de equivalencias son:

* ⁄ ó ( )+ * ⁄ +

* ⁄ +

* ⁄ ó ( )+ * ⁄ +

* ⁄ +

El conjunto es: { } es inmediato ver que constituye una partición de

Ing. Lucila Teneb – UTN Facultad Regional Rosario Página 8

Ejemplo 12
Se define en la relación:
ó ( )

Como en la división entre , los restos posibles son: , y

Si entonces ( ó ) ó ( ó ) ó ( ó )
El conjunto cociente es: { }
Damos algunos ejemplos: , , ,

OTRAS EXPRESIONES PARA ( )

Si y son congruentes módulo , entonces:

con y
con y
Restando miembro a miembro resulta:
( ) con y
( ) con
Entonces podemos decir que:
( ó ) con
Conclusión:
Las siguientes expresiones representan a la misma relación de equivalencia:
( ó ), ( dejan el mismo residuo al ser divididos entre )
con , (la diferencia es múltiplo de )
con , ( es igual a más un múltiplo de )
( ) , ( es divisor de )

Ing. Lucila Teneb – UTN Facultad Regional Rosario Página 9