Los n

umeros naturales: Principio de Inducci

on.
Utilizamos los smbolos 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, . . . para contar los
elementos de un conjunto que tiene pocos elementos, estos smbolos son
los denominados n
umeros naturales.
Los n
umeros naturales resultan del proceso de intentar determinar cuando
dos conjuntos tienen la misma cantidad de elementos. Desde el punto de
vista matem
atico dos conjuntos tienen la misma cantidad de elementos si
son conjuntos equipotentes:
Definici
on 1. A y B son conjuntos equipotentes si existe una aplicacion
biyectiva f : A B.
Proposici
on 1. ser equipotente a es una relacion de equivalencia.
Demostraci
on. En efecto, ser equipotente a verifica las propiedades reflexiva simetrica y transitiva:
Reflexiva: Dado un conjunto A, la aplicacion idA : A A es biyectiva,
por tanto todo conjunto es equipotente a s mismo.
Simetrica: Si f : A B es una aplicacion biyectiva, entonces la
aplicaci
on f 1 : B A tambien es biyectiva.
Transitiva: Si f : A B, g : B C son aplicaciones biyectivas,
entonces su composicion gf : A C es una aplicacion biyectiva. 
Definici
on 2. Dado un conjunto A, la clase de equivalencia [A] de los
conjuntos equipotentes con A se llama cardinal del conjunto A y se denota
por |A|, por Card(A) o por #A indistintamente.
Existe un u
nico conjunto sin elementos, es el conjunto . Decimos que el
tiene 0 elementos, a partir de este cardinal, por recurrencia, a
nadiendo
un elemento nuevo en cada paso obtenemos los n
umeros naturales:
0 := ||,
1 := |1|, donde 1 := {0},
2 := |2|, donde 2 := {0, 1},
3 := |3|, donde 3 := {0, 1, 2},
..
.
n := |n|, donde n := {0, 1, 2, 3, . . . , n 1}
..
.
1

Definici
on 3. Un conjunto A es finito si existe un n
umero natural n tal
que |A| = n. Es decir, el conjunto de los n
umeros naturales N es el conjunto
de los cardinales de los conjuntos finitos.
El conjunto de los n
umeros naturales se construye de forma inductiva:
empezando por el primer elemento 0, dado un cardinal finito n construimos
el conjunto n+ a
nadiendole a n = {0, 1, 2, . . . , n 1} un nuevo elemento
n+ := n {n} = {0, 1, 2, . . . , n 1, n}.
El cardinal s(n) := |n+ |= n + 1 se denomina el sucesor de n, y se suele
denotar s(n) = n+ . La aplicaci
on sucesor de N
s : N N
n

s(n) = n+

es la clave de las propiedades de los n

umeros naturales.
La relaci
on de orden habitual en N es la determinada por la relaciones
n < s(n),

n N.

Con este orden N es un conjunto bien ordenado.

En 1889, Peano public
o un trabajo donde daba un enfoque axiomatico de
los n
umeros naturales. Demostro que las propiedades de los n
umeros naturales podran desarrollarse sobre la base de un n
umero peque
no de axiomas.
Aunque Peano atribuy
o la formulacion de los axiomas a Dedekind (en 1888),
se conocen generalmente como Postulados o Axiomas de Peano:
Postulados (Axiomas) de Dedekind-Peano. El conjunto de los n
umeros
naturales est
a determinado por las siguientes propiedades:
1. Posee un primer elemento 0 N.
2. Para cada n N existe un u
nico sucesor n+ , es decir, existe una
aplicaci
on sucesor s : N N, s(n) = n+ .
3. n+ 6= 0 para cualquier n N, es decir, 0
/ Im(s).
4. La aplicaci
on sucesor s : N N es inyectiva:
n+ = m+ = n = m .
5. Sea S un subconjunto de N tal que
(i) 0 S, y
(ii) n S = n+ S,
entonces S = N.

Observaci
on: Con la aplicacion sucesor se definen las operaciones basidas
de los n
umeros naturales y se pueden demostrar todas sus propiedades:
La suma de n
umeros naturales esta determinada de la siguiente forma:
1) m + 0 = m, m N;
2) dados m, n N, m + s(n) = s(m + n).
El producto de n
umeros naturales esta determinado por:
1) m 0 = 0, m N;
2) dados m, n N, m s(n) = m n + m.
El quinto postulado de los axiomas de Dedekind-Peano se conoce como
el axioma de inducci
on o principio de inducci
on; este axioma resume las
propiedades fundamentales de los n
umeros naturales y es la base de muchas
pruebas de teoremas en Matematicas. Como veremos es un propiedad que
es consecuencia inmediata del buen orden de los n
umeros naturales.1
Teorema 2 (Principio de induccion). Si S un subconjunto de N que verifica
las dos condiciones siguientes
(i) 0 S, y
(ii) n S s(n) S,
entonces S = N.
Demostraci
on. Para demostrar que S = N, probaremos que CN S = .
Lo haremos por reducci
on al absurdo. Supongamos que CN S 6= . Como
N est
a bien ordenado, CN S posee mnimo; sea n := mn(CN S). Por (i),
n 6= 0, entonces m N tal que n = s(m). Como m < n y n es el
primer elemento de CN S, necesariamente m
/ CN S. Por lo tanto m S, y
aplicando (ii) se deduce que n = m+1 S, lo cual es una contradiccion. 
El siguiente es una variaci
on del enunciado del principio de induccion:
Teorema 3 (Segundo principio de induccion o principio de induccion fuerte
o completa). Si S es un subconjunto de N que verifica las propiedades
(i) 0 S, y
(ii) [ para cualquier natural k tal que 0 k n, k S ] s(n) S,
entonces S = N.
1es m
as, el principio de inducci
on equivale a que el orden habitual de N es un buen

orden.

Demostraci
on. Procederemos por reduccion al absurdo. Supongamos que
CN S 6= . Sea n el elemento mas peque
no de CN S. Entonces n 6= 0
por (i). Adem
as k N tal que k < n , k S. Por (ii) se concluye que
necesariamente n S, lo cual que es una contradiccion.

Procedimientos de demostraci
on. De los Principios de Induccion se
obtienen los siguientes procedimientos de demostracion:
Primer principio de inducci
on o principio de inducci
on matem
atica: Para cada n N, sea P (n) un enunciado expresado en funcion de n. Si
los dos enunciado siguientes son ciertos
(i) P (0) es verdadero (paso base), y
(ii) si P (n) es verdadero (hipotesis de induccion), entonces P (n + 1) es
verdadero (paso de inducci
on),
se concluye que P es verdadero para todo n
umero natural.
Otros puntos de partida. Que pasa si queremos demostrar que una
propiedad se cumple a partir de n0 = 17? o, incluso, para n
umeros enteros
a partir de n0 = 13? Dado n0 Z, podemos considerar, en lugar de N,
el conjunto {n Z | n n0 }, y demostrar la propiedad deseada para n
en dicho conjunto (N corresponde a la eleccion n0 = 0). Los principios de
inducci
on que establecemos pueden ser adaptados a cualquier eleccion de un
entero n0 .
Segundo principio de inducci
on o principio de inducci
on fuerte
o completa. Fijemos un entero n0 . Para cada entero n n0 sea P (n) un
enunciado expresado en funcion de n. Si los dos enunciado siguientes son
ciertos
(i) P (n0 ) es verdadero (paso base), y
(ii) dado un entero n n0 , si [P (n0 ), P (n0 + 1), . . . , P (n)] son verdaderos
(hip
otesis de induccion), entonces P (n + 1) es verdadero (paso de
inducci
on),
se concluye que P es verdadero para todo entero n0 .

Ejercicio 1. Demuestra que la suma de los n primeros enteros positivos

impares es n2 .
Soluci
on. Para cada n N, denotemos por P (n) la propiedad
n
X

P (n) :

(2i 1) = n2 .

i=1

Tenemos que demostrar que P es cierto para cualquier n

umero natural 1.
Demostraci
on por inducci
on:
Paso base : Se verifica P (1):
1
X
(2 1 1) = 12 = 1 .
i=1

Hip
otesis de inducci
on: Dado k N, supongamos que P (k) es verdadera, es decir que se verifica
k
X

(2i 1) = k 2 .

i=1

Paso inductivo: Demostracion de que se verifica P (k + 1), es decir

k+1
X
(2i 1) = (k + 1)2 .
i=1

Prueba del paso inductivo:

k+1
X

!
k
X
(2i 1) =
(2i 1) + (2(k + 1) 1)

i=1

i=1
2

=k + 2(k + 1) 1 =
=k 2 + 2k + 1 = (k + 1)2 .


Ejercicio 2. Sea n un entero positivo. Supongamos que tenemos un tablero

cuadrado de lado 2n dividido en 2n2 cuadrados peque
nos. Un triomino es
una losa formada por tres cuadrados en forma de L:
(1)
Demuestra que el tablero formado por el cuadrado de lado 2n menos una
losa peque
na se puede enlosar con triominos.
Casos particulares (para n = 2): encuentra en los dos casos particulares
siguientes un enlosado por triominos retirando en cada caso la losa roja.

Soluci
on. En el caso general la demostracion se puede hacer por induccion:
Paso base: Para n = 1 es trivial. El tablero de lado 2 sin una losa
peque
na es uno de los triominos de la lista (1).
Hip
otesis de inducci
on: Cualquier tablero cuadrado de lado 2n sin una
losa se puede enlosar por triominos.
Paso inductivo: Supongamos que tenemos un tablero cuadrado de lado
2n+1 del que hemos retirado una losa. El tablero de lado 2n+1 se divide
en cuatro tableros cuadrados de lado 2n . Por hipotesis de induccion se
puede enlosar el subtablero de lado 2n que contiene el cuadrado que
falta. A los tres subtableros restantes le quitamos el triomino formado
por las tres losetas del cuadrado central 2 2, una loseta en cada uno
de los tres subtableros (vease la ilustracion siguiente). Lo que queda
de cada uno de los subtableros se puede enlosar con triominos por
hip
otesis de inducci
on.

Ejercicio 3 (Juego del Nim). Sea n un entero, n 1. Jugaremos con 2

montones de n cerillas. Cada jugador en su turno debe quitar una o mas
cerillas de uno de los montones. Gana el jugador que quite la u
ltima cerilla.
Demuestra que el segundo jugador puede ganar siempre.
Soluci
on. Para cada n N, n 1, denotemos por P (n) el enunciado:
P (n) : con 2 montones de n cerillas el segundo
jugador puede ganar el juego del Nim.
P (1) es cierto ya que con 2 montones de 1 cerilla cada uno, el segundo
jugador gana siempre.
Hip
otesis de inducci
on: Fijemos un entero n 1 y supongamos que el
segundo jugador gana cuando tenemos 2 montones de j cerillas, para
cualquier natural j tal que 1 j n.
Veamos que
[P (1), P (2), . . . , P (n)] P (n + 1).
Supongamos que tenemos dos montones de n + 1 cerillas. Entonces el
primer jugador puede elegir quitar entre 1 y n + 1 cerillas de uno de
los montones. Distinguiremos dos casos:
(i) Si el primer jugador quita n + 1 cerillas, el segundo jugador gana
quitando todas las cerillas del otro monton.
(ii) Si el primer jugador quita j cerillas con 1 j n, el segundo
jugador quita j cerillas del segundo monton, reduciendo el juego
al caso de dos montones de cerillas cada uno de ellos con (n+1j)
cerillas. Como 1 (n+1j) n el segundo jugador puede ganar
por hip
otesis de induccion.

Ejercicio 4. Falacia por el uso incorrecto del principio de induccion. Encuentrese el error en el siguiente argumento:
Todas la personas son del mismo sexo.
Paso base: Para n = 1, una persona tiene el mismo sexo que s misma.
Hip
otesis de inducci
on: Fijado n 1, supongamos que en cualquier
conjunto de n personas todas tienen el mismo sexo.
Paso de inducci
on: Admitiendo que en cualquier conjunto de n personas todas tienen el mismo sexo, probaremos que en un conjunto de n + 1 personas todas tienen el mismo sexo. Supongamos que
esas personas son {p1 , p2 , . . . , pn , pn+1 }. Consideremos las n personas
{p1 , p2 , . . . , pn }. Por hipotesis de induccion todas tienen el mismo sexo. Ahora consideremos las n personas {p2 , p3 , . . . , pn , pn+1 } que tambien tienen el mismo sexo. Como todos tienen el mismo sexo que p2 ,
entonces todas tienen el mismo sexo.