Seminario: La teoría de conjuntos

Sesión No. 09
Dictada por Juan Carlos Trujillo

Jueves, 03 de marzo de 2022

1 Temas

1.1. La aritmética de los números naturales 1.2. El orden de los números reales

2
2.1. Teorema.
Si A ⊆ ω tal que

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

entonces ω ⊆ A.
2.2. Teorema.
Todo número natural es transitivo.
En otras palabras, para todo n ∈ ω, se tiene que si m ∈ n, entonces m ⊆ n.
2.3. Teorema de recursión finita.
Sean A un conjunto, c ∈ A y f : A −→ A. Existe una única función γ : ω −→ A tal
que

I. γ(0) = c,
II. γ (n+ ) = f (γ(n)) para todo n ∈ ω.

Si, además, f es inyectiva y c 6∈ rec f , entonces γ es inyectiva.

2.4. Teorema: existencia de la suma.
Existe una operación binaria definida sobre ω, representada por + y denominada
suma entre números naturales, que satisface las propiedades para todo m ∈ ω:

I. m + 0 = m,
II. m + n+ = (m + n)+ para todo n ∈ ω.
2.5. Teorema: propiedades de la suma.

1. n+ = n + 1
2. 0 + n = n.
3. (m + n) + k = m + (n + k ).
4. m + n = n + m.

1
2.6. Teorema: existencia de la multiplicación.
Existe una operación binaria definida sobre ω, denominada suma entre números
naturales, que satisface las propiedades para todo m ∈ ω:

I. m0 = 0,
II. mn+ = mn + m para todo n ∈ ω.
2.7. Teorema: propiedades del producto.

1. 0n = 0
2. 1n = n.
3. m(n + k ) = mn + mk.
4. (m + n)k = mk + nk.
5. (mn)k = m(nk).
6. mn = nm.
2.8. Definición: orden en ω.
6= {(m, n) : (m, n) ∈ ω × ω ∧ (m ∈ n ∨ m = n)}.
2.9. Teorema: orden parcial.

i. 6 es una relación de orden parcial.

ii. 0 6 n para todo n ∈ ω.
iii. Si n < m, entonces n+ 6 m.
iv. 6 es un buen orden; es decir, ω, con ese orden, es un conjunto bien ordenado.