Lectura 25 - Relaciones de Equivalencia
Lectura 25 - Relaciones de Equivalencia
Lectura 25 - Relaciones de Equivalencia
Definición. Una relación R sobre un conjunto A que satisface las siguientes propiedades:
1. Reflexividad
2. Simetría
3. Transitividad
se llama relación de equivalencia sobre el conjunto A.
👨🏫 En palabras, este es el conjunto de todos los elementos en A que están relacionados con a.
Hacemos {a, c} ⋂ Y = {a} & {a, c, d} ⋂ Y = {a, d} ∴ ({a, c}, {a, c, d}) ∉ R
👨🏫 La clase de equivalencia del conjunto {b,c,d} tiene a todos los conjuntos que tienen en común el elemento d con el
conjunto Y.
⚠ Todo elemento pertenece a su propia clase de equivalencia (ver el conjunto en azul).
R = {((a,b), (c,d)) : a + d = b + c}
Reflexividad:
Sea (a,b) ∈ ℕ × ℕ. Luego, a + b = a + b → ((a,b), (a,b)) ∈ R ∴ R es reflexiva
Simetría:
Sean (a,b), (c,d) ∈ ℕ × ℕ tales que ((a,b), (c,d)) ∈ R → a + d = b + c → b + c = a + d → c + b = d + a →
((c,d), (a,b)) ∈ R ∴ R es simétrica
Transitividad:
Sean (a,b), (c,d), (e, f ) ∈ ℕ × ℕ tales que ((a,b), (c,d)) ∈ R & ((c,d), (e,f )) ∈ R.
Entonces, a + d = b + c & c + f = d + e.
∴ R es transitiva. □
Definición. Sea A un conjunto y R una relación de equivalencia sobre A. Al conjunto de todas las clases
de equivalencia del conjunto A se le llama conjunto cociente, el cual se denota como A/R.
ℕ × ℕ / R = {..., [(0, 2)], [(0, 1)], [(0, 0)], [(1, 0)], [(2, 0)], ...}
Se propone usar una simbología diferente para representar las clases de equivalencia:
R = {(x, y) : x - y es par}
b) Demuestre que todos los números pares pertenecen a la misma clase de equivalencia y que todos los
números impares pertenecen a la misma clase de equivalencia (distinta a la de los números pares).
Prueba:
Sean m = 2k₁ & n = 2k₂ dos números pares. Entonces m - n = 2k₁ - 2k₂ = 2(k₁ - k₂) es par, lo que significa
que (m, n) ∈ R.
Por otro lado, sean p = 2r₁ + 1 & q = 2r₂ + 1 dos números impares.
Entonces p - q = 2r₁ + 1 - (2r₂ + 1) = 2(r₁ - r₂) es par, lo que significa que (p, q) ∈ R. □
👨🏫 Esta relación divide o parte al conjunto ℤ en dos “categorías”, los números pares e impares.
Ejemplo 6. Sean X = {a, b, c, d} e Y = {a, d} conjuntos y R una relación de equivalencia sobre el conjunto
P(X) tal que:
R = {(A, B) : A ⋂ Y = B ⋂ Y}
1. A₁ ⋃ A₂ ⋃ ... ⋃ An = A
2. Ai ⋂ Aj = Ø para todo i ≠ j
3. Ai ≠ Ø para todo i,
Además, [Ø] ⋂ [{a}] = Ø, [Ø] ⋂ [{d}] = Ø, [Ø] ⋂ [{a,d}] = Ø, [{a}] ⋂ [{d}] = Ø, [{a}] ⋂ [{a,d}] = Ø &
[{d}] ⋂ [{a,d}] = Ø.
En conclusión, la familia de subconjuntos de P(X) dada por {[Ø], [{a}], [{d}], [{a,d}]} es una partición
del conjunto P(X).
R to la
PIX
Decimos que la relación de Ha aa
equivalencia R induce una
partición sobre el conjunto P(X).