TEORÍA DE CONJUNTOS

Tarea 2
Andrea Ch. Heredia
19 febrero 2021

1. Suponga que A es el conjunto de enteros divisibles entre 4. Similarmente suponga que B y C son los conjuntos
de números enteros divisibles por 9 y 10, respectivamente. ¿Qué contiene el conjunto A ∩ B ∩ C?
Sol.
Por el Teorema 2B visto en clase, como A, B y C son conjuntos distintos del vacío, existe un único conjunto
A ∩ B ∩ C tal que
x ∈ A ∩ B ∩ C ⇔ [ x ∈ A & x ∈ B & x ∈ C ].

Entonces, los elementos que pertenecen a A ∩ B ∩ C son aquellos enteros divisibles por el mínimo común
múltiplo de 4, 9 y 10. Por lo tanto, como mcm(4, 9, 10), A ∩ B ∩ C es el conjunto de todos los múltiplos de
180.
¢

S S
2. Dé un ejemplo de conjuntos A y B tales que A= B, pero A 6= B.
Sol.
Sean A = {{x}, {y, z}} y B = {{x}, {y}, {z}}. Entonces, por un axioma de unión obtenemos
[ [
A = {x} ∪ {y, z} = {x, y, z} y B = {x} ∪ {y} ∪ {z} = {x, y, z}.

S S
Así, tenemos que dos conjuntos distintos, A y B que satisfacen A= B.
¢

S
3. Muestre que cualquier elemento de un conjunto A es subconjunto de A. (Esto fue mencionado como ejemplo
en la Sección 2).
Dem.
Sea A un conjunto. Si A = ∅, entonces la afirmación anterior es cierta por vacuidad. Supongamos que A es
distinto del conjunto vacío y tomemos b ∈ A.
vacuidad, así que supongamos b 6= ∅. De un axioma de unión
Si b = ∅, la afirmación es nuevamente cierta porS
se sigue que para cualquier x ∈ b, entonces x ∈ A, i.e.,
h [ i
∀x x ∈ b ⇒ x ∈ A .
S
Y notemos que lo anterior es exactamente la definición de que b ⊆ A.
S
Por lo tanto, concluimos que para cualesquiera A conjunto y b ∈ A, ambos distintos del vacío, se tiene b ⊆ A,
como queríamos probar.


1
 S S
4. Mostrar que si A ⊆ B, entonces A⊆ B.
Dem.
Recordemos de un axioma de unión que para cualquier conjunto X,
[
a∈ X ⇔ (∃y ∈ X)a ∈ y. (1)

S
Sean A y B dos conjuntos distintos del vacío tales que A ⊆ B. Sea x ∈ A arbitrario, entonces por el axioma
en (1), sabemos que existe b ∈ A tal que
x ∈ b.

Luego, como A ⊆ B por hipótesis, todos los elementos de A pertenecen a B. Así b ∈ B, y nuevamente por el
axioma en (1), como existe b ∈ B tal que x ∈ b, se satisface que
[
x∈ B.

S S
Entonces concluimos que A⊆ B si A ⊆ B, como queríamos probar.