You are on page 1of 5

Acerca del Principio de Induccin.

o
Mauricio Godoy Molina Marzo, 2005
Resumen Un poco ms de detalle en el principio de induccin completa no le a o hace mal a nadie, de hecho quienes tengan entre sus las a estudiantes de Informtica o Telemtica debern poner principal atencin a la a a a o formalizacin de ciertos conceptos. o

Conjuntos Acotados de Z.

Parece natural el querer denir ciertos conceptos antes de entrar de lleno (aunque ni tan de lleno) en temas asociados con los nmeros naturales y u enteros. Antes de comenzar con las deniciones, propiedades y teoremas quisiera comentar que la construccin axiomtica de los nmeros naturales o a u tiene dos padres: Richard Dedekind y Giuseppe Peano. Se preguntarn a cul es la diferencia entre uno y otro? La respuesta, aunque muy simple a a primera vista, causa una gran diferencia en la construccin: Peano considera o al 0 como elemento de N, mientras que Dedekind considera como elemento inicial al 1. Para ms detalles de la construccin de Dedekind, que yo no a o explicitar aqu pueden consultar [1]. e , Denicin 1.1 El conjunto de los nmeros naturales N se dene como: o u 1N Si n N = (n + 1) N Observacin: La denicin de los nmeros naturales, as como muchas o o u otras se conocen como Deniciones Recursivas, es decir, aquellas que utilizan valores previos para determinar elementos futuros. 1

Observacin: El nmero n + 1 se conoce como el sucesor de n. Tanto o u Dedekind como Peano asocian este valor como una funcin biyectiva desde o N a N sin el valor inicial, es decir: Para Peano: suc : N N {0} n suc(n) = n + 1 Para Dedekind: : N N {1} n (n) = n + 1 Denicin 1.2 El conjunto de los nmeros enteros Z se dene como o u Z = N {0} (N) donde el conjunto N coresponde a N = {n tal que n N}. Observacin: Claramente la denicin es vlida para la construccin de o o a o Dedekind, pues en la de Peano no es necesario agregar el 0. Denicin 1.3 Supongamos S Z tal que S = . o 1. Una cota superior de S es un entero M Z tal que s S : s M . 2. Un mximo de S es una cota superior de S contenida en S. a 3. Una cota inferior de S es un entero m Z tal que s S : s m. 4. Un mnimo de S es una cota inferior de S contenida en S. Teorema 1.1 Todo conjunto S Z (S = ) que tenga una cota superior tiene un mximo. Ms an, tal mximo es el m a a u a nimo de las cotas superiores de S. Demostracin 1.1 Consideremos s0 S y sea M una cota superior de S. o Si M S, entonces M es mximo, si no, consideramos el nmero M 1 a u y nuevamente nos preguntamos pertenece o no al conjunto. Este proceso algortmico acaba en un nmero nito de pasos, debido a que al menos se u tiene que s0 S, por lo tanto, no podemos pasar ms a la izquierda de tal a valor. Corolario 1.2 Todo conjunto S Z (S = ) que tenga una cota inferior tiene un mnimo. Ms an, tal m a u nimo es el mximo de las cotas inferiores a de S. Demostracin 1.2 Basta aplicar el teorema anterior al conjunto S. o 2

Principio de Induccin o

Una vez conocidos los resultados anteriores (que permiten determinar elementos minimales y maximales en subconjuntos acotados de Z) podemos vericar bastantes resultados, por ejemplo, de la Teor de Nmeros (para a u ms detalles, ver [2]). En particular nosotros estamos interesados en el sigua iente Teorema 2.1 (Principio de Induccin) Consideremos que P (m) es una o propiedad, m N Supongamos: 1. P (1) es verdad. 2. m N vale que: Si k {1, 2, . . . , m 1} P(k) es verdad, entonces P (m) es verdad. Entonces P (m) vale m N. Demostracin 2.1 Consideremos el siguiente conjunto: o L = {m N : P (m) es falsa} Z Es claro que L tiene cota inferior (por ejemplo, el 0). Por el Corolario 1.2 se tiene que l L tal que m L : m l. Claramente 1 L (por hiptesis), / o por lo tanto, l 2. Adems, por la denicin de l se tiene que a o m {1, 2, . . . , l 1} = P (m) vale, pues l es cota inferior de L Luego, por hiptesis inductiva, deber ocurrir que P (l) vale, por lo tanto o a l L. Es decir, L = . /

Ejemplos de Induccin: o
1. Usemos el Principio de Induccin para demostrar un clsico: o a 1 + 2 + ... + n = Solucin: o n = 1 Evidentemente 1 = 12 = 1. 2 3 n(n + 1) 2

k(k + 1) . 2 k(k + 1) + (k + 1) = n = k + 1 1 + 2 + . . . + k + (k + 1) = 2 n = k Hiptesis inductiva: 1 + 2 + . . . + k = o = (k + 1) k +1 2 = (k + 1)(k + 2) . 2

2. Verique usando induccin la desigualdad de Bernoulli: o 1 + nx (1 + x)n , Solucin: o n = 1 Claramente: 1 + 1 x (1 + x)1 . n = k Hiptesis inductiva: 1 + kx (1 + x)k . o n = k + 1 (1 + x)k+1 = (1 + x)(1 + x)k (1 + x)(1 + kx) = = 1 + x + kx + kx2 1 + (k + 1)x. 3. Verique usando el principio de induccin que: o n3 + 2n es divisible por 3 Solucin: o n = 1 13 + 2 1 = 3. n = k k 3 + 2k = 3p(k). n = k + 1 (k + 1)3 + 2(k + 1) = k 3 + 3k 2 + 3k + 1 + 2k + 2 = = 3p(k) + 3(k 2 + k + 1) = 3(p(k) + k 2 + k + 1) 4. Verique que 7 es el ultimo d gito del nmero u 22 + 1, n > 1 Solucin: o n = 2 22 + 1 = 17. 4
2 n

x0

n = k 22 + 1 = 10p(k) + 7. n = k + 1 22
k+1

+ 1 = (22 )2 + 1 = (10p(k) + 7 1)2 + 1 =

= 100p2 (k) + 120p(k) + 36 + 1 = 10(10p2 (k) + 12p(k) + 3) + 7. 5. Notemos que podemos demostrar por induccin armaciones simpleo mente imbciles, por ejemplo: e Qeremos demostrar que n = n + 1 (lo cual es una estupidez). Supongamos la hiptesis inductiva k = k + 1 y demostramos para n = k + 1 o teniendo (k + 1) = (k + 1) + 1. Evidentemente el problema es que no evaluamos en un valor de partida. Claramente la armacin es falsa o para n = 1 pues, que se sepa 1 = 2. Observacin: Cuando el primer valor que sirve para comenzar el proceso o de induccin (como en los primeros ejemplos) se habla de Induccin Como o pleta, en caso contrario, como en el ejemplo 4., decimos que es Induccin o Incompleta.

Referencias
[1] Qu son los Nmeros?. Rolando Chuaqui. Traduccin de Was sind und e u o was sollen die zhlen de Richard Dedekind. Fasc a culos para la Comprensin de las ciencias y las Humanidades. Editorial Universitaria. o (1980). [2] An Introduction to the Theory of Numbers. Ivan Niven and Herbert Zuckerman. John Wiley and Sons Inc. (1966).

You might also like