Escuela Politécnica Nacional

Departamento de Formación Básica

Curso de Fundamentos de Matemática
Ejercicios con solución y propuestos de Teorı́a de conjuntos
Cátedra de Fundamentos de Matemática

Semestre 2021 - A

1 Ejercicios con solución

1. Dada la clase A, demuestre que
A ∪ ∅ = A.

Demostración. Por el axioma de la disyunción, las proposiciones

x ∈A∨x ∈∅ y x ∈A

tienen el mismo valor de verdad, ya que la proposición x ∈ ∅ es falsa (véase el teorema ??). Por tanto,
la doble implicación
(x ∈ A ∨ x ∈ ∅) ⇔ x ∈ A
es verdadera para todo conjunto x. Ası́, por las definiciones de unión e igualdad entre clases, concluimos
que
A ∪ ∅ = A.

2. Se dice que la unión y la intersección son asociativas porque las proposiciones

A ∪ (B ∪ C) = (A ∪ B) ∪ C y A ∩ (B ∩ C) = (A ∩ B) ∩ C

son verdaderas.
Demuestre estas proposiciones.

Demostración. Aparte de las definiciones de igualdad, unión e intersección, la deducción de estas dos
proposiciones se deriva de las tautologı́as asociativas de la disyunción y conjunción, respectivamente:

x ∈ A ∨ (x ∈ B ∨ x ∈ C) ⇔ (x ∈ A ∨ x ∈ B) ∨ x ∈ C

y
x ∈ A ∧ (x ∈ B ∧ x ∈ C) ⇔ (x ∈ A ∧ x ∈ B) ∧ x ∈ C.

3. La siguiente es una demostración de la proposición la intersección preserva la igualdad:

Si A = B, entonces A ∩ C = B ∩ C.

i. A = B.
ii. A ⊆ B.

1
 iii. A ∩ C ⊆ B ∩ C.
iv. B ⊆ A.
v. B ∩ C ⊆ A ∩ C.
vi. A ∩ C = B ∩ C.

Justificaciones.

i. Se supone que A = B es verdadera y se debe probar que A ∪ C = B ∪ C.

ii. Se aplica la recı́proca de la propiedad antisimétrica de la relación subclase (véase el teorema ??,
numeral 4 en la página ??) a i.
iii. Se aplica la propiedad la intersección conserva la relación subclase a ii.
iv. Se aplica el numeral 4 del teorema ?? a i.
v. Otra vez la propiedad la intersección conserva la relación subclase a iv.
vi. Se aplica la propiedad antisimétrica de la relación subclase a aplicado a iii. y v.

4. Demuestre la proposición

Si Z ⊆ X y Z ⊆ Y , entonces Z ⊆ X ∩ Y

es verdadera.

Demostración. De Z ⊆ X y Z ⊆ Y , puesto que la intersección preserva la relación subclase, tenemos

que
Z ∩ Z ⊆ X ∩ Y,
de donde, como Z ∩ Z = Z y el axioma de sustitución, concluimos que

Z ⊆ X ∩ Y,

como se querı́a.

2 Ejercicios propuestos
1. La expresión
(Q ∨ P ) ⇔ X ∈ Q
¿es una proposición?

2. La expresión
(A ∈ C ⇒ C ∈ B) ⇔ (A ∈ C)
¿es una proposición?

3. ¿Es verdadera la siguiente proposición ?

¬(A ∈ X ∧ B ∈ Y ) ⇔ (A 6∈ X ∨ B 6∈ Y )

4. ¿Es verdadera la proposición ?

((X 6∈ C ⇒ X 6∈ D) ∧ X 6∈ C) ⇒ X ∈ D

EPN -FM- 2021A Teorı́a de conjuntos-Ejercicios propuestos 2 of 7

 5. Identifique si la siguiente proposición es verdadera para toda clase U.

((U ∈ A ⇒ U ∈ B) ∧ U ∈ A) ⇒ U ∈ B

6. ¿Es correcto afirmar que la proposición

(S ∈ T ⇒ S ∈ R) ⇔ (S ∈
/ T ∨ S ∈ R)

es verdadera?

7. ¿Es válida la equivalencia

¬(X ∈ A ∧ X ∈
/ B) ≡ X ∈ A ⇒ X ∈ B? (1)

8. Escriba la negación del siguiente enunciado:

Para todo clase Y , se tiene que

Y ∈A∨Y ∈B

9. Escriba la negación del siguiente enunciado:

Para toda clase A, se tiene que

A∈X⇒A∈
/ Y.

10. Escriba la negación del siguiente enunciado:

para toda clase R, existe una clase T tal que

A ∨ C.

11. ¿ Es válida la siguiente equivalencia lógica?

¬(z ∈ A ⇔ z ∈ B) ≡ (z ∈ A ∧ z 6∈ B) ∨ (z ∈ B ∧ z 6∈ A) (2)

12. Demostrar el siguiente teorema:

¬(A ⊆ B) si y solo si existe existe un conjunto x que pertenece a A y que no

pertenece a B.

13. Demostrar el siguiente teorema:

A ( B si y solo si todo conjunto x que pertenece a A, también pertenece a B y

existe un conjunto y que pertenece a B que no pertenece a A.

14. Demostrar el siguiente teorema:

Si A = B y A ⊆ C, entonces B ⊆ C.

15. Demuestre que

A∩A=A
es verdadera.

EPN -FM- 2021A Teorı́a de conjuntos-Ejercicios propuestos 3 of 7

 16. Dadas las clases A y B, demuestre que

A∩B =B∩A

es verdadera.

17. Se presenta la demostración de que

Dadas las clases A y B tales que A 6= ∅, B 6= ∅, si A ∩ B = ∅, entonces A 6= B.

i. A ∩ B = ∅.
ii. A = B.
iii. x ∈ A.
iv. x ∈ B.
v. x ∈ A ∩ B.
vi. A ∩ B 6= ∅.
vii. A = B.

Justifique cada paso de esta demostración.

18. Utilice el método de reducción al absurdo para demostrar que:

Si A ∩ B = ∅ y x ∈ B, entonces x 6∈ A.

19. Dada la clase A, demuestre que

A ∩ U = A.

20. Dada la clase A, demuestre que

A ∪ A′ = U .

21. Demuestre que:

Si A ⊆ B, entonces A ∩ C ⊆ B ∩ C.

Por este teorema, decimos que la intersección preserva la relación subclase.

22. Demuestre que

Si A ⊆ B y C ⊆ D, entonces A ∩ C ⊆ B ∩ D.

Este teorema también justifica decir que la intersección preserva la relación subclase.

23. Se presenta la demostración de la siguiente proposición:

Dadas las clases A y B, A ⊆ B si y solo si A ∪ B = B.

En primer lugar:

i. A ⊆ B.
ii. A ∪ B ⊆ B ∪ B.
iii. A ∪ B ⊆ B.
iv. B ⊆ A ∪ B.

EPN -FM- 2021A Teorı́a de conjuntos-Ejercicios propuestos 4 of 7

 v. A ∪ B = B.

En segundo lugar:

i. A ∪ B = B.
ii. A ⊆ A ∪ B.
iii. A ⊆ B.

Justifica cada uno de los pasos de esta demostración.

24. Demuestre la proposición

Si A = B y C = D, entonces A ∩ C = B ∩ D.

A esta también se le puede citar como la intersección preserva la igualdad entre clases.

25. Demuestre que la proposición

Si X ⊆ Z y Y ⊆ Z, entonces X ∪ Y ⊆ Z

es verdadera.

26. Se dice que la unión es distributiva respecto de la intersección y que la intersección lo

es de la unión porque las proposiciones

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) y A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

son verdaderas.
Demuestre estas proposiciones.

27. Demuestre que son verdaderas las proposiciones

(A ∪ B)′ = A′ ∩ B ′ y (A ∩ B)′ = A′ ∪ B ′ .

Estas proposiciones se denominan Leyes de De Morgan.

28. Mediante diagramas de Venn, ilustre el siguiente teorema:

Si B ⊆ A, entonces A − B ⊆ A.

29. Mediante diagramas de Venn, ilustre el siguiente teorema:

A ⊆ B si y solo si A ∩ B = A.

30. Mediante diagramas de Venn, ilustre el siguiente teorema:

Si Z ⊆ X y Z ⊆ Y , entonces Z ⊆ X ∩ Y .

31. Si x = {y }, ¿se puede concluir que y ∈ x?

32. Dada el conjunto a, el sucesor de a, representado por a+ , es la unión de a y el unitario

de a. Por tanto,
a+ = a ∪ {a}.
Demuestre que a ∈ a+ y a ⊆ a+ .

EPN -FM- 2021A Teorı́a de conjuntos-Ejercicios propuestos 5 of 7

 Demostración. En primer lugar, puesto que

a ⊆ a ∪ {a} y {a} ⊆ a ∪ {a},

por el axioma de sustitución y la definición de a+ , tenemos que

a ⊆ a+ y {a} ⊆ a+ .

Además, como a ∈ {a}, por la definición de subclase, concluimos también que a ∈ a+ .

33. ¿A qué conjuntos son iguales ∅+ y (∅+ )+ ?

Respuesta. En primer lugar, por la definición de sucesor de un conjunto, tenemos que

∅+ = ∅ ∪ {∅};

luego,
∅+ = {∅}.

En segundo lugar, obtenemos que

(∅+ )+ = ∅+ ∪ {∅+ }.

Ası́, por la primera parte de este ejercicio y el axioma de sustitución, colegimos que

(∅+ )+ = {∅} ∪ {{∅}}.

Por tanto, concluimos que

(∅+ )+ = {∅, {∅}}.

34. ¿A qué es igual ((∅+ )+ )+ ?

35. Si se utiliza el signo 0 para representar el conjunto vacı́o, 1 para el sucesor de 0, 2 para
el sucesor de 1 y 3 para el sucesor de 2, encuentre los conjuntos 1, 2 y 3.

36. Demuestre que 0 ∈ 1, 0 ∈ 2, 0 ∈ 3, 1 ∈ 2, 1 ∈ 3 y 2 ∈ 3.

37. Determine a ∩ {a}.

38. Determine {{a}} ∩ (a, b).

39. Determine (a, a).

40. Determine ∅ × A.

41. Si A × B = ∅, ¿se puede concluir que o A = ∅ o B = ∅?

42. Determine (A × B) ∩ (C × B ′ ).

Repaso Método de demostración Reducción al absurdo

Esta tarea consiste en principalmente en practicar el método de reducción al absurdo para probar
proposiciones.

EPN -FM- 2021A Teorı́a de conjuntos-Ejercicios propuestos 6 of 7

 Problemas
1. Mediante reducción al absurdo, demuestre que si A ⊆ B, entonces A − B = ∅.

2. Mediante reducción al absurdo, demuestre que si A − B = ∅, entonces A ⊆ B.

3. Demuestre que A ⊆ B si y solo si A − B = ∅.

4. Suponga que A es una clase distinta del conjunto vacı́o. Demuestre que la unión de A y
B también es distinta del conjunto vacı́o.

5. Con ayuda del ejercicio anterior y mediante reducción al absurdo, demuestre que si A∪B =
∅, tanto A como B son iguales al conjunto vacı́o.

6. Dadas las clases A y B, se define la clase diferencia simétrica de A y B, representada por

A + B, como la unión de las diferencias de A y B, y de B y A, respectivamente. Mediante
un diagrama de Venn, represente A + B.

7. A partir del diagrama de Venn de A + B, conjeture una definición alternativa para A + B,

en términos de la unión, intersección y diferencia, e ilustre la plausibilidad (es decir, la
posibilidad de que esta definición sea posible) de esta definición mediante diagramas de
Venn.

8. Demuestre que si A+B = ∅, entonces A = B. Sugerencia: utilice la definición de diferencia

simétrica, el ejercicio 5, el ejercicio 2 y la propiedad antisimétrica de la igualdad.

9. Mediante reducción al absurdo, demuestre que A − A = ∅.

10. Demuestre que A + A = ∅.

Esta obra está bajo una licencia

Creative Commons “Reconocimiento-NoCommercial-CompartirIgual 3.0 España”.

EPN -FM- 2021A Teorı́a de conjuntos-Ejercicios propuestos 7 of 7