Professional Documents
Culture Documents
¡”;ñ412}ñ412-¡”}ñ412ñ4ñm5{l12m{412{
4.{
124{
12
P5. 𝑆𝑖
El axioma P3 dice que cero no es el sucesor de ningún numero natural, o sea que expresa el hecho
intuitivamente obvio de que no hay numero natural x tal que.
X+1 = 0
El P5 es realmente un esquema axiomático que expresa el principio de inducción para los números naturales.
Problema 1.
Demostración.
Consideremos X = {n ∈ ℕ : s(n) ≠ n }
Es claro que X ⊆ ℕ
s(1) ≠ 1
Considerando 𝑛 ∈ 𝑋 entonces s(n) ≠ n, ahora por ser “s” una función inyectiva
s(s(n)) ≠ s(n)
Considerando el tercer axioma de Peano como el Principio de Inducción Matematica (PIM) y también El
Principio del Buen Orden (PBO)a la afirmació
nn siguiente:
Probar que,
PIM =⇒ PBO
Demostración.
Veamos sea B ⊆ N no vac´ıo totalmente arbitrario, debemos probar que existe un elemento
mínimo en B esto es
∃ 𝑚 ∈ 𝐵/ ∀ 𝑏 ∈ 𝐵, 𝑚 ≤ 𝑏
𝐼𝑏 0 ⊈ ℕ\𝐵
por lo tanto no verifica el PBO, con lo cual se deduce que existe 𝑛0 ∈ 𝑋 de modo que
𝑠(𝑛0 ) = 𝑛0 + 1 ∉ 𝑋
𝐼𝑛 0 = {1, 2, . . . , 𝑛0 } ⊆ ℕ \𝐵
entonces 1, 2, . . . , 𝑛0 ∉ 𝐵 (O)
ahora considerando 𝑚 = 𝑛0 + 1 se tiene que 𝑚 ∉ 𝑋 luego Im ⊈ ℕ\B (OO)
de (O) y (OO) obliga a que
𝑚 ∈ 𝐵
En efecto:
Consideramos 𝑏 ∈ 𝐵 tomado arbitrariamente de (O) se deduce que
𝑛0 < 𝑏
luego se tiene
𝑛0 + 1 ≤ 𝑏
entonces
𝑚 ≤ 𝑏
Problema 3.
Probar que P BO =⇒ P IM
1 < 𝑚
𝑚 ∉ ℕ\𝑋 = 𝐼
José Alfredo Amor Montaño, “Teoría de Conjuntos para estudiantes de Ciencias”, pág. 51-53,
UNAM 2011.
Gustavo Marca Castromonte, “Teoría de los Números Naturales”, pág 1-25, Fac. Ciencias,
Universidad Nacional de Ingeniería, 2011.