Universidad Nacional de Ingenierı́a

Facultad de Ciencias
Escuela Profesional de Matemática Ciclo 2022-1

[Cod: CM1A2 Curso: Lógica y Teorı́a de conjuntos ]

Solucionario de la Práctica Calificada N o 5

1. Para cada entero n > 0 consideremos el intervalo cerrado

Jn = [−1/n, 1/n] = {x ∈ R| − 1/n ≤ x ≤ 1/n}.

S T
Sea la familia (Jn )n∈Z+ . Pruebe n∈Z+ Jn = [−1, 1] = J1 y n∈Z+ Jn = {0} = [0, 0].
Solución:
S
Jn = [−1, 1] = J1 :
n∈Z+
S
⊂: Sea x ∈ n∈Z+ Jn , entonces existe n0 ∈ N tal que

1 1
x ∈ Jn 0 → − ≤x≤
n0 n0
como
1 1
n0 ≥ 1 → ≤ 1 ∧ −1 ≤ −
n0 n0
por lo que x ∈ [−1,1].
S
⊃: Sea x ∈ [−1, 1] = J1 ⊂ n∈Z+ Jn .
T
n∈Z+ Jn = {0} = [0, 0]:

⊂: Desde que
\ \
∀n ∈ N, 0 ∈ Jn → 0 ∈ Jn → {0} ⊂ Jn .
n∈Z+ n∈Z+
T
⊃: Sea x ∈ n∈Z+ Jn , entonces

1 1
∀n ∈ N, x ∈ Jn → ∀n ∈ N, − ≤x≤
n n
por el T. Sandwich cuando n → ∞ se tiene que x = 0. Entonces, x ∈ {0}.

1
2. Pruebe que en R la relación
xRy ↔ sin(x − y) = 0

es de equivalencia y describa el conjunto cociente.

Solución:

R reflexiva:
Sea x ∈ R, desde que
sin(x − x) = sin 0 = 0 → xRx

R simétrica:
Sean x, y ∈ R tal que

xRy → sin(x − y) = 0 → sin(y − x) = − sin(x − y) = 0 → yRx

R es transitiva:
Sean x, y, z ∈ R tal que
xRy ∧ yRz

entonces
sin(x − y) = 0 ∧ sin(y − z) = 0

desde que


sin(x − z) = sin (x − y) + (y − z) = sin(x − y) cos(y − z) + cos(x − y) sin(y − z) = 0
| {z } | {z }
0 0

entonces xRz.

El conjunto cociente
R
= {[x]/x ∈ R}
R
Sea x ∈ R

[x] = {y ∈ R/yRx} = {y ∈ R/ sin(y − x) = 0} = {y ∈ R/y − x = kπ, k ∈ Z}

[x] = {x + kπ/k ∈ Z}

Luego, el conjunto cociente esta formado por los conjuntos de puntos los cuales se diferencian
en un múltiplo de π.

3. Dado un conjunto X y dos relaciones de equivalencia R y S en X, demuestre que R ◦ S es de

equivalencia si y solo si R ◦ S = S ◦ R.
Solución:
→) Veamos que R ◦ S = S ◦ R:

2
⊂: Sea (x, y) ∈ R ◦ S, por ser R ◦ S de equivalencia es simétrica por lo que (y, x) ∈ R ◦ S

∃z ∈ X/(y, z) ∈ S ∧ (z, x) ∈ R

Por ser R y S es de equivalencia, son simétricas entonces

(z, y) ∈ S ∧ (x, z) ∈ R → (x, z) ∈ R ∧ (z, y) ∈ S → (x, y) ∈ S ◦ R

⊃: Sea (x, y) ∈ S ◦ R entonces

∃z ∈ X/(x, z) ∈ R ∧ (z, y) ∈ S

Por ser R y S es de equivalencia, son simétricas entonces

(z, x) ∈ R ∧ (y, z) ∈ S → (y, z) ∈ S ∧ (z, x) ∈ R → (y, x) ∈ R ◦ S

por ser R ◦ S relación de equivalencia, es simétrica. Entonces, (x, y) ∈ R ◦ S.

←) Veamos que R ◦ S es de equivalencia:

R ◦ S reflexiva:
Sea x ∈ X; por ser R y S es de equivalencia en X estas son reflexivas por lo que

(x, x) ∈ R ∧ (x, x) ∈ S → (x, x) ∈ R ◦ S

R ◦ S simétrica:
Sean x, y ∈ X tal que (x, y) ∈ R ◦ S, entonces

∃z ∈ X/(x, z) ∈ S ∧ (z, y) ∈ R

Por ser R y S es de equivalencia, son simétricas entonces

(z, x) ∈ S ∧ (y, z) ∈ R → (y, z) ∈ R ∧ (z, x) ∈ S → (y, x) ∈ S ◦ R = R ◦ S

R ◦ S transitiva:
Sean x, y, z ∈ X tal que
(x, y) ∈ R ◦ S ∧ (y, z) ∈ R ◦ S
   
∃a, b ∈ X/ (x, a) ∈ S ∧ (a, y) ∈ R ∧ (y, b) ∈ S ∧ (b, z) ∈ R
  
(x, a) ∈ S ∧ (a, y) ∈ R ∧ (y, b) ∈ S ∧ (b, z) ∈ R

(x, a) ∈ S ∧ (a, b) ∈ S ◦ R} ∧(b, z) ∈ R

| {z
R◦S

3
 de
(a, b) ∈ R ◦ S → ∃w ∈ X/(a, w) ∈ S ∧ (w, b) ∈ R

Asociando    
(x, a) ∈ S ∧ (a, w) ∈ S ∧ (w, b) ∈ R ∧ (b, z) ∈ R

Por ser R y S de equivalencia son transitivas se tiene

(x, w) ∈ S ∧ (w, z) ∈ R → (x, z) ∈ R ◦ S.

4. Decidir si los siguientes enunciados son verdaderos. En caso afirmativo dar una demostración
y en caso negativo un contraejemplo.

a) f [X \ Y ] = f [X] \ f [Y ]
(F) Considere f : R → R dado por f (x) = x2 considere X = [−1, 0i, Y = h0, 1] donde
f [X] = f [Y ] = h0, 1] y X \ Y = [−1, 0i.

b) f −1 [Z \ W ] = f −1 [Z] \ f −1 [W ].
(V)
x ∈ f −1 [Z \ W ] ↔ f (x) ∈ Z \ W ↔ f (x) ∈ Z ∧ f (x) 6∈ W

↔ f (x) ∈ Z ∧ ¬(f (x) ∈ W ) ↔ x ∈ f −1 [Z] ∧ ¬(x ∈ f −1 [W ])

↔ x ∈ f −1 [Z] ∧ x 6∈ f −1 [W ] ↔ x ∈ f −1 [Z] \ f −1 [W ]

c) f −1 [f [X]] = X.
(F) Considere f : R → R definida por f (x) = x2 y X = [0, 1], donde f [X] = X y
f −1 [X] = [−1, 1] 6= X

5. Sea la función f :]0, 1[→ R+ definida por:


x
 si 0 < x ≤ 1/2
f (x) = 1

 si 1/2 < x < 1,
4(1 − x)

¿f es biyectiva? Justifique su respuesta.

Solución:

f inyectiva:
Sean x1 , x2 ∈]0, 1[, se tiene los siguientes casos:

ˆ x1 , x2 ∈ [0, 1/2[:
f (x1 ) = f (x2 ) → x1 = x2

4
 ˆ x1 , x2 ∈]1/2, 1[:
1 1
f (x1 ) = f (x2 ) → = → x1 = x2
4(1 − x1 ) 4(1 − x2 )

ˆ x1 ∈]0, 1/2] y x2 ∈]1/2, 1[:

1 1
x1 6= x2 → f (x1 ) = x1 ≤ < = f (x2 ) → f (x1 ) 6= f (x2 )
2 4(1 − x2 )
f sobreyectiva:
Vemos que:    
1 1
f 0, = 0,
2 2
   
1 1
Además, f ,1 = , ∞ , ya que:
2
  2  
1 1
⊂ : Sea y ∈ f ,1 entonces existe x ∈ , 1 tal que y = f (x). Desde que
2 2
 
1 1 1 1
x∈ , 1 → < x < 1 → 0 < 4(1 − x) < 2 → > → f (x) > 1/2
2 2 4(1 − x) 2
 
1
Luego, y ∈ , +∞ .
2 
1 1
⊃ : Sea y ∈ , ∞ , considere x = 1 − . Luego
2 4y
1 1 1 1 1 1
y> →− <− <0→ <1− <0→ <x<1
2 2 4y 2 4y 2
y  
1
f (x) = f 1 − = y.
4y
Como
          
1 1 1 1 1 1
∪h , +∞ = h0, +∞i = R+
 
f h0, 1i = f 0, ∪ ,1 = f 0, ∪f ,1 = 0,
2 2 2 2 2 2

Uni, 11 de Julio del 2022*

*
Hecho en LATEX