See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/283076882

LOS AXIOMAS DE PEANO Y EL PRINCIPIO DE INDUCCIÓN MATEMÁTICA

Technical Report · October 2015

DOI: 10.13140/RG.2.1.2860.3602

CITATION READS

1 1,079

2 authors:

Omar Hernandez Rodriguez Jorge M. López Fernández

University of Puerto Rico at Rio Piedras University of Puerto Rico at Rio Piedras
56 PUBLICATIONS   42 CITATIONS    100 PUBLICATIONS   31 CITATIONS   

SEE PROFILE SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Implementing materials developed under the realistic mathematics philosophy View project

Dynamic Geometry: Heuristic Conversations in Plane Geometry View project

All content following this page was uploaded by Omar Hernandez Rodriguez on 22 October 2015.

The user has requested enhancement of the downloaded file.

 LOS AXIOMAS DE PEANO Y EL PRINCIPIO DE
INDUCCIÓN MATEMÁTICA
OMAR HERNÁNDEZ RODRÍGUEZ Y JORGE M. LÓPEZ FERNÁNDEZ

Resumen. En este escrito N representa el conjunto de los nú-

meros naturales y para cada n ∈ N, I(n) denota el conjunto
{m ∈ N | m < n}. En este escrito se demuestra que los siguien-
tes principios son equivalentes:

i. El principio de inducción: Si S ⊆ N satisface 0 ∈ S y

(∀n ∈ N)(n ∈ S ⇒ n + 1 ∈ S), S = N.
entonces
ii. El principio de inducción fuerte: Si S ⊆ N satisface (∀n ∈
N)(I(n) ⊆ S ⇒ n ∈ S), entonces S = N.
iii. El principio de la buena ordenación: Todo subconjunto no
vacío S de N tiene un elemento menor.

1. Introducción

En nuestra última reunión se intentó demostrar la equivalencia

de los enunciados que aparecen en el Resumen de este escrito, sin
que se pudieran completar todos los detalles de la prueba. En estas
notas se presentan tales detalles. Debemos señalar que hay varias
formas de denir los números naturales. Se pueden denir empleando
1
alguna axiomatización de la teoría de conjuntos , como en [1, 1960,
Ÿ12, p.46]. Nosotros seguiremos otro camino y es observando que en
cualquier cuerpo ordenado (como R) existe una copia de los números
naturales. Un subconjunto de I ⊆ R es inductivo si satisface dos
condiciones, a saber: 0 ∈ I y si para todo x ∈ I también se tiene que
x+1 ∈ I (claramente R es un conjunto inductivo, así que los conjuntos
inductivos existen a granel). Un ejercicio rutinario que dejamos al lector
establece que la intersección de todos los subconjuntos inductivos de

Date : 18 de octubre de 2015.

1Se dice que Leopold Kronecker es el autor del lema "Dios creó los enteros,
todo lo demás es creación del hombre. En realidad pudo haber dicho que los
números naturales fueron creados por Dios y el resto por el hombre. En [1] se
construyen los números naturales a partir de la teoría de conjuntos (una versión de la
axiomatización de Zermelo-Fraenkel) y luego, construcciones matemáticas generales
sirven para construir, en orden, los números enteros, los números racionales, los
números reales y los números complejos.
1
2 OMAR HERNÁNDEZ RODRÍGUEZ Y JORGE M. LÓPEZ FERNÁNDEZ

R es también un conjunto inductivo y está contenido en todos los

subconjuntos inductivos de R. A este subconjunto inductivo de R
se denota como N y se le conoce como el conjunto de los números
naturales. Si denimos s : N → N :: n 7→ n + 1 decimos que s es la
función del sucesor y que para todo n ∈ N, s(n) = n + 1 es el sucesor
el n.
Teorema 1 (Axiomas de Peano). Existe un conjunto N y una función
(función del sucesor) n → N :: n 7→ s(n) tal que

APi. 0 ∈ N.
APii. Para todo n ∈ N, s(n) ∈ N.
APiii. Para todo par de elementos n, m ∈ N, si s(n) = s(m), entonces
n = m.
APiv. Para todo n ∈ N, s(n) = 0 es falso.
APv. (Axioma de inducción) Si S ⊆ N satisface:
a. 0 ∈ S, y
b. (∀n ∈ N)(n ∈ S ⇒ s(n) ∈ S),
entonces S = N.

Demostración. Todos los resultados son directos. APi es cierto ya que

0 pertenece a todos los subconjuntos inductivos de R y N es uno de
ellos. Además APii también es válido por la denición de un conjunto
inductivo; APiii es trivial; APiv es válido ya que, primeramente
N ∩ {n ∈ N | n ≥ 0}, es un conjunto inductivo de R y por lo tanto
contiene a N. En particular n ≥ 0 para todo n ∈ N y s(n) = n + 1 ≥
0 + 1 > 0. Finalmente APv es válido ya que dice, en efecto, que N está
contenido en todos los subconjuntos inductivos de R, en particular en
S. 
Estos son los famosos Axiomas de Peano, los cuales hemos incluido
para benecio del lector.

Observación 1.
i. Para probar alguna relación válida para todos los números
naturales es necesario emplear el APv; véase el Teorema 1..

Denición 1. En esta denición emplearemos la siguiente notación:

para todo n ∈ N, I(n) = {m ∈ N | m < n}. Considere los siguientes
enunciados.

i. (Principio de la buena ordenación (PBO)) Todo S ⊆ N no vacío

tiene un primer elemento (es decir, existe un s0 ∈ S tal que s0 ≤ s
para todo s ∈ S ).
 LOS AXIOMAS DE PEANO Y EL PRINCIPIO DE INDUCCIÓN MATEMÁTICA 3

ii. (Principio de inducción matemática fuerte (PIMF)) Si S ⊆ N

satisface (∀n ∈ N)(I(n) ⊆ S ⇒ n ∈ S), S = N.
entonces
iii. (Principio de inducción matemática (PIM)) Si S ⊆ N satisface
0 ∈ S y (∀n ∈ N)(n ∈ S ⇒ n + 1 ∈ S), entonces S = N (Véase
Axiomas de Peano 1, enunciado APv.

Ahora estamos listos para demostrar nuestro resultado:

Teorema 2. Si APi-APiv son válidos, entonces si alguno de los si-

guientes enunciados es válido, también lo son los otros:

i. PIM (es decir APv)

ii. PIMF
iii. PBO

Demostración.
Demostraremos las implicaciones (PIM)⇒(PIMF)⇒(PBO)⇒(PIM).
(PIM)⇒ (PIMF):
Necesitamos tres datos:
Dato 1: Para todo n ∈ N, n ≥ 0;
Dato 2: Para todo n ∈ N \ {0}, existe un n′ ∈ N tal que n = s(n′ );
Dato 3: Para todo n ∈ N, {m ∈ N | n < m < n + 1} = ∅.
Suponer ahora que el PIM es válido y sea S ⊆ N tal que para todo
n ∈ N, si I(n) ⊆ S , entonces n ∈ S. Debemos demostrar que S = N.
Para demostrar los datos emplearemos el PIM. Un argumento directo
muestra que el conjunto {n ∈ N | n ≥ 0} es un conjunto inductivo y
por el PIM N = {n ∈ N | n ≥ 0}. Esto dice que n ≥ 0 para todo n ∈ N.
Esto completa la demostración del Dato 1. Para la demostración del
Dato 2 sea K = {0} ∪ {s(n) | n ∈ N} y note que K es un conjunto
inductivo. Por lo tanto K = N por el PIM. De aquí se obtiene el
Dato 2. Para la demostración del Dato 3 denimos para cada n ∈ N,
Jn = {m ∈ N | n < m < n+1}. Sea T el conjunto de todas las n ∈ N tal
que Jn = ∅. Note que J0 = {m ∈ N | 0 < m < 1}. Si m ∈ J0 , entonces
0 < m < 1. En particular, m ̸= 0 y por el Dato 2 existe m′ ∈ N tal que
m = s(m′ ). En particular 0 < m′ + 1 < 1. Esto dice que m′ < 0, lo cual
contradice el Dato 1. Todo esto dice que J0 = ∅ y 0 ∈ T . Suponer que
n ∈ T . Alegamos que n+1 ∈ T ; de lo contrario existe m ∈ Jn+1 , es decir
un m ∈ N tal que n+1 < m < n+2. En particular m ̸= 0, y por el Dato
′ ′ ′
2 para algún m ∈ N, n + 1 < m + 1 < n + 2, es decir n < m < n + 1
′
y vemos que m ∈ Jn lo cual contradice la hipótesis inductiva. Por lo
tanto T es un conjunto inductivo, y por el PIM, T = N. Esto termina
la demostración del Dato 3. Ahora completamos la demostración de la
implicación (PIM)⇒ (PIMF).
4 OMAR HERNÁNDEZ RODRÍGUEZ Y JORGE M. LÓPEZ FERNÁNDEZ

Suponer que el PIM es válido y sea S ⊆N tal que para todo n ∈ N,

si I(n) ⊆ S , entonces n ∈ S. Debemos demostrar que S = N y pa-
ra ello, por la hipótesis sobre el conjunto S , es suciente demostrar
que T = {n ∈ N | I(n) ⊆ S} es un conjunto inductivo. Claramente,
I(0) = ∅ ⊆ S y 0 ∈ T . Suponga ahora que n ∈ T , es decir, I(n) ⊆ S .
Por la hipótesis sobre el conjunto S podemos concluir que n ∈ S . Por
lo tanto, por el Dato 3, I(n + 1) = I(n) ∪ {m ∈ N | n ≤ m < n + 1} =
I(n) ∪ {n} ⊆ S . Todo esto dice que I(n + 1) ⊆ S , es decir que si n ∈ T
entonces n + 1 ∈ T . Por el PIM, y los comentarios anteriores, T = N
como se quería demostrar.

(PIMF)⇒(PBO):

La demostración es indirecta. Suponga que PIMF es cierto pero que

no se cumple el PBO. Entonces existe un conjunto no vacío S⊆N sin
primer elemento. Suponer que n∈N y que I(n) ⊆ N \ S . Es fácil ver
que n ∈ N \ S ya que si n ∈ S , entonces n sería el primer elemento de
S (ya que I(n) ⊆ N \ S ), lo cual es absurdo. Por lo tanto, para todo
n ∈ N, si I(n) ⊆ N \ S , entonces n ∈ N \ S . Por el PIMF tenemos que
N \ S = N, es decir, S = ∅ lo cual es absurdo. Todo esto muestra que
S tiene un primer elemento.
(PBO)⇒(PIM):
Suponga que se cumple el PBO y sea S ⊆ N un conjunto inductivo.
Debemos demostrar que S = N. Considere el conjunto N \ S . Si este
último conjunto fuese no vacío, entonces tendría un primer elemento
n ∈ S . Como n ̸= 0 ya que 0 ∈ S , entonces n = s(n′ ) para algún
′ ′ ′
elemento n ∈ N (Dato 2). Entonces n = n + 1 y n < n. Esto dice que
′
n ∈ S (siendo menor que el elemento menor de N \ S ). Pero como S es
′
inductivo, tendríamos n = n + 1 ∈ S y esto es absurdo ya que entonces
n ∈ S ∩ (N \ S) = ∅. Todo esto muestra que N\S =∅ y S = N. 

Referencias

[1] Halmos, P., Naive Set Theory Princeton, NJ: D. Van Nostrand Company, 1960.
Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-
Verlag edition). Reprinted by Martino Fine Books, 2011. ISBN 978-1-61427-
131-4 (Paperback edition).

Omar Hernández Rodríguez

Departamento de Estudios Graduados, Facultad de Educación, Univer-
sidad de Puerto Rico, Río Piedras, PR 00931
[email protected]
E-mail address :
URL: http://geometriamamikon.blogspot.com/
 LOS AXIOMAS DE PEANO Y EL PRINCIPIO DE INDUCCIÓN MATEMÁTICA 5

Jorge M. López Fernández

Departmento de Mathematica, Universidad de Puerto Rico, Río
Piedras, PR 00931
[email protected]
E-mail address :
URL: http://geometriamamikon.blogspot.com/

View publication stats