Seminario: La teoría de conjuntos

Sesión No. 08
Dictada por Juan Carlos Trujillo

Jueves, 24 de febrero de 2022

1 Temas

1.1. El conjunto de los números naturales

2
2.1. El sucesor de un conjunto.

Si A es un conjunto, el sucesor de A, representado por A+ , es la unión de A y el

unitario de A; es decir,
A + = A ∪ { A }.
2.2. Conjunto sucesor.
Un conjunto A es sucesor si:

S1 : ∅ ∈ A.
S2 : Para todo x ∈ A, se tiene que x + ∈ A.
2.3. Axioma de infinitud.
Existe un conjunto sucesor.
2.4. Teorema.
La clase vacía es un conjunto.
2.5. Teorema.
La intersección de la clase de todos los conjuntos sucesores es un conjunto sucesor.
Representaremos este conjunto con ω.

2.6. Teorema.
0 ∈ ω.
2.7. Teorema.
Para todo n ∈ ω, se tiene que n+ ∈ ω.

1
 2.8. Teorema.
Si A ⊆ ω tal que

(a) 0 ∈ A,
(b) si x ∈ A, entonces x + ∈ A,

entonces ω ⊆ A.
2.9. Teorema.
Si m ∈ ω y n ∈ ω tales que
m+ = n+ ,
entonces m = n.
2.10. Teorema.
Para todo n ∈ ω, se tiene que n+ 6= 0.