Principio de Induccion Generalizada

por Memo G.

Agosto 2014

Resumen
Mostraremos algunas variantes del principio de induccion. Aunque es-
tas variantes provienen esencialemente del mismo principio de induc-
on ya conocido (postulado en el 5to axioma de Dedekind-Peano), solo
ci
por una cuesti
on de terminologa, nos referiremos a dichas variantes co-
mo principios de induccion generalizada.

Formulamos el principio que llamaremos de inducci

on generalizada.

Principio de Inducci on Generalizada (PIG-N). Sean A N y

n0 N tales que
PIG-I) n0 A.
umero natural n n0 ,
PIG-II) Para todo n
n A n + 1 A.
Entonces {n0 , n0 + 1, n0 + 2, ...} A.

Ahora probaremos la validez de este principio.

Teorema 1. PI-N es equivalente a PIG-N.
Demostraci on. Por supuesto, si suponemos PIG-N, entonces es inmediato
que se cumple PI-N.
Ahora supongamos v alido PI-N. Debemos probar que PIG-N es valido.
Sea pues A un subconjunto de N, y sea n0 un n umero natural tales que
cumplen PIG-I y PIG-II. Queremos probar que para todo n n0 , n A.
Definimos el conjunto In0 = {1, ..., n0 } (llamado el segmento inicial hasta
n0 ). El conjunto In0 contiene a todos los naturales anteriores a n0 , y a n0
mismo. Sea A0 = A In0 . Tenemos entonces que 1 A0 por definicion.
Ahora, sea n A0 . Hay dos casos. Primero, si n n0 , entonces n A, y
por tanto n + 1 A. En segundo lugar, si n < n0 , entonces n + 1 n0 y se
sigue que n + 1 In0 . En cualquier caso, n + 1 A0 . Vemos entonces que
A0 es conjunto inductivo, y por tanto, dado que PI-N es valido, se sigue que
A0 = N. Pero observe que esto sigifica que {n0 , n0 + 1, ...} A.

1
 La pregunta es ahora c
omo aplica este principio en pruebas especficas
por inducci
on. Respondemos con un par de corolarios.
Corolario 1. Sea P una propiedad y n0 N tales que
I) P (n0 ) (es decir, n0 cumple P ).
II) n n0 (P (n) P (n + 1)).
Entonces P (n) para todo n n0 .
Demostracion. Sea A = {n N : P (n)}. Entonces n0 A, y si n n0 tal
que n A, es decir P (n), entonces P (n + 1), esto es n + 1 A. Por lo tanto,
n A para todo n n0 , es decir, P (n) para todo n n0 .
Corolario 2. Sea P una propiedad y sea n0 N tales que
un j N.
I) P (n0 ), P (n0 + 1),...,P (n0 + j) para alg
II) n n0 + j (P (n) P (n + 1)).
Entonces, P (n) para todo n n0 .
on. Note que para todo n n0 ,
Demostraci
P (n) P (n + 1).
Por lo tanto, del corolario anterior, P (n) para todo n n0 .

1+ 5
Ejemplo 1 (El n umero de oro). Sea = . (La raz
on dorada o n
ume-
2
ro de oro). Y sea
1 5
=1= .
2
Demuestra que para todo n 2,
n = n1 + n2 y n = n1 + n2 .
Soluci
on. En primer lugar,

2 (1 + 5)2 2(1 + 5) + 4
= = = + 1 = 21 + 22 .
4 4
Ahora supongamos que n 2 y n = n1 + n2 . Entonces
n+1 = n = (n2 + n1 ) = n1 + n2 = n + n1 .
Esto es, n+1 = (n+1)1 + (n+1)2 . Se sigue que n = n1 + n2 para
todo n 2.
Para probar n = n1 + n2 para todo n 2, se procede de forma
an
aloga.