Documentos de Académico
Documentos de Profesional
Documentos de Cultura
puesto que a = b = c □.
4.- Demuestre que si n ∈ N es imposible la existencia de un ciclo
A0 ∈ A1 ∈ A2 ∈ · · · ∈ An ∈ A0
Solucion
Supongamos que para n ∈ N es posible la existencia de un ciclo
A0 ∈ A1 ∈ A2 ∈ · · · ∈ An ∈ A0 Luego como A0 ∈ A1 ∈ A2 ∈ · · · ∈ An se sigue
que A0 ∈ An pero An ∈ A0 luego se sigue que A0 ∈ A0 lo cual es imposible
porque para cualquier conjunto no vacio es falso que A0 ∈ A0 asi se sigue que
es imposible la existencia de un ciclo □.
5.- Demuestre que para cualquier conjunto X no puede ocurrir P(x) ⊆ X En
particular, se cumple que X ̸= P(x)
Solucion
Anteriormente demostramos que para todo conjunto A existe un conjunto R(A)
tal que R(A) ⊆ A y R(A) ∈ / A que es equivalente a R(A) ⊈ A o R(A) ∈ A
1
Luego sabemos que X ⊆ X ⇒ X ∈ P(x) es decir satisface que X ⊈ P(x) o
X ∈ P(x) Asi es verdadero que X ⊈ P(x) en particular X ̸= P(x) □.
6.- Reemplace el Axioma de existencia por el siguiente Axioma: Axioma debil
de existencia: Existe al menos un conjunto. Deduzca el axioma de Existencia
usando el Axioma debil de Existencia y el Axioma esquema de Comprension
Solucion
Consideremos la propiedad P (x) = x ∈ / x Por el axioma debil de existencia
Existe al menos un conjunto que llamaremos A Por el Axioma esquema de
compresion, hay un conjunto B tal que x ∈ B si y solo si
B = {x : x ∈ A ∧ P (x)}
2
(d) P(A ∩ B) = P(A) ∩ P(B)
Solucion
Sea x ∈ P(A∩B) Entonces tenemos que x ⊆ A∩B luego es decir que x ⊆ A
y x ⊆ B asi se sigue que x ∈ P(A) y x ∈ P(B) es decir x ∈ P(A) ∩ P(B) se
concluye que P(A ∩ B) ⊆ P(A) ∩ P(B)
Ahora tomemos x ∈ P(A) ∩ P(B) es decir x ∈ P(A) y x ∈ P(B) luego
se sigue que x ⊆ A y x ⊆ B se sigue que x ∈ P(A ∩ B) se concluye que
P(A) ∩ P(B) ⊆ P(A ∩ B) Luego
□
(e) P(A ∪ B) ⊆ P(A) ∪ P(B)
Solucion
Sea x ∈ P(A ∪ B) entonces se sigue que x ⊆ A ∪ B entonces puede ocurrir
3 casos
Si x ⊆ A ⇒ x ∈ P(A) ⇒ x ∈ P(A) ∪ P(B)
Si x ⊆ B ⇒ x ∈ P(B) ⇒ x ∈ P(A) ∪ P(B)
Si x ⊆ A y x ⊆ B ⇒ x ∈ P(A) ∪ P(B)
En cual quiera de los tres casos se llega a que si x ∈ P(A ∪ B) entonces
x ∈ P(A) ∪ P(B) concluimos que P(A ∪ B) ⊆ P(A) ∪ P(B) □