F UNDAMENTOS EN M ATEM ÁTICAS - C URSO ACAD ÉMICO 2023/2024
Hoja 4.- Relaciones binarias de equivalencia
Estos problemas se trabajarán los dı́as lunes 30 de octubre y 6 de noviembre en clase.
En los ejercicios marcados con ✐ pediré voluntarios/as para realizarlos.
Recordatorio: Relación de congruencia módulo n
En clase vimos que dado n ∈ N − {0}, la relación binaria en Z definida como
aRb ⇐⇒ a ≡ b (mod n) ⇐⇒ a − b es multiplo de n
es una relación binaria de equivalencia (que se denomina relación de congruencia módulo n). Además vimos
que:
• la clase de un elemento a ∈ Z es [a]n = {a + λn | λ ∈ Z}, y
• el conjunto cociente es Zn = {[0], [1], . . . , [n − 1]}.
25. En Z − {0} se define la relación binaria xRy ⇐⇒ xy ≥ 0.
✐ (a) Demuestra que R es una relación binaria de equivalencia.
✐ (b) Calcula [x] para todo x ∈ Z.
(c) ¿Cuántos elementos tiene Z − {0}/R?
26. En R consideramos la relación binaria x ∼ y ⇐⇒ x2 = y 2 .
(a) Demuestra que ∼ es una relación binaria de equivalencia.
(b) Comprueba que [x] = {x, −x} para todo x ∈ R.
Sea R/ ∼ el conjunto cociente.
(c) Comprueba que f : R/ ∼ −→ [0, ∞) definida como f ([x]) = x4 es una aplicación.
(d) ¿Es f inyectiva?
(e) ¿Y sobreyectiva?
27. Comprueba que:
✐ (a) f : Z4 −→ Z6 definida como f ([a]4 ) = [a]6 no es aplicación.
✐ (b) g : Z4 −→ Z6 definida como g([a]4 ) = [3a]6 es aplicación y calcula Im(g) ¿Es g inyectiva?.
✐ (c) h : Z4 −→ Z6 definida como h([a]4 ) = [a2 ]6 no es aplicación.
28. Sean m, n ∈ N − {0} y considera h : Zm −→ Zn definida como h([a]m ) = [a]n para todo [a]m ∈ Zm .
Demuestra que:
(a) h es aplicación ⇐⇒ n es divisor de m.
(b) Si h es aplicación, entonces es sobreyectiva.
29. En R consideramos la relación binaria xRy ⇐⇒ E(x) = E(y). En clase vimos que R es una relación
binaria de equivalencia y que [x] = [E(x), E(x) + 1) para todo x ∈ R. Sea R/R el conjunto cociente.
Comprueba que f : R/R −→ Z definida como f ([x]) = E(x) es una aplicación biyectiva.
1
30. En N2 consideramos la relación binaria (a, b)S(a′ , b′ ) ⇐⇒ a + b′ = a′ + b.
(a) Demuestra que S es una relación binaria de equivalencia.
(b) Comprueba que si a ≥ b, entonces [(a, b)] = [(a − b, 0)] y que si a < b, entonces [(a, b)] =
[(0, b − a)].
(c) Sea N2 /S el conjunto cociente. Comprueba que f : N2 /S −→ Z definida como f ([a, b]) = a − b
es una aplicación biyectiva.
31. En Z × (Z − {0}) consideramos la relación binaria (a, b)R(a′ , b′ ) ⇐⇒ a · b′ = a′ · b.
✐ (a) Demuestra que R es una relación binaria de equivalencia.
✐ (b) Sea b ∈ Z − {0}, calcula los elementos de [(0, b)].
(c) Sea (Z × (Z − {0}))/R el conjunto cociente. Comprueba que f : (Z × (Z − {0}))/R −→ Q
definida como f ([(a, b)]) = a/b es una aplicación biyectiva.
32. Sea X un conjunto cualquiera y A ⊆ X. En P(X), el conjunto de las partes de X, se define la relación
binaria B ∼ C ⇐⇒ B ∩ A = C ∩ A.
(a) Demuestra que R es una relación binaria de equivalencia.
Para X = {1, 2, 3, 4} y A = {1, 2} responde las siguientes cuestiones:
✐ (b) Sea B = {1}, calcula [B] y [∅].
(c) ¿Cuántos elementos tiene el conjunto cociente P(X)/ ∼?
33.* Sea X un conjunto cualquiera y A ⊆ X. En P(X), el conjunto de las partes de X, se define la relación
binaria B ∼ C ⇐⇒ B ∩ A = C ∩ A (la misma que en el ejercicio 32). Demuestra que:
g : P(X)/ ∼−→ P(A),
definida como g([D]) = D ∩ A es una aplicación biyectiva.