\
INDUCCION COMPLETA 16
64, INDUCCION COMPLETA
64.1. Concepto:
EI principio de induccién completa proporciona un método de demostracion per
recurtencia, de vastas aplicaciones en matemética. No es constructwvo,enel sentido de
feneter propiedades, pero hace posible lg emostracion de éstas cuando son roltvas al
conjunto de los ntimeros naturales
‘A fin de tener una idea intutiva de dicho prineipio, consideremos el siguiente caso
suporgamos alineado el conjunto de todos ls alumnos de una escuela; s sabe adernis
{que 1 un alumno habla, entonces habla el siguiente. fnteress determinar cules It
sendicion para asegurar que, én un momento dado, estéa hablando todos los alurnnos
Es obvio que para que se dé esa stuacin es suficiente ver que et primero esta hablando,
En eae cnsovce trata de investigar la propiedad que podemos enunciar asi: “todos los
falunnos estén hablando”, y par asegurar su verdad se requieren las siguientes
‘condiciones:
i) £1 primer alumno hatla,
ii) Siun alumno habla, entonces habla el siguiente
Extendiendo el caso a wna propiedad P, relativa al conjunto de los mimeros
naturales, queda asegurada la verdad de P para todo meN, si se verifican las dos
condiciones anteriores. que se traducen en
i Paves.
it) SiPUhdes V. entoncts P(t + 1) €8V.
Liegaremes a fa demostracién d¢ este principio. tamado de indueciOn completa,
sobre la base del principio de buena ordenacién, que segin 3.9.7, admite el siguiente
Gnunciado: “todo subeonjunto no vacfo de N tiene primer elemento”
64.2. Teorema de induccién completa
SiS es un subconjunto deN que satisface
iy les
ii) heS @h+Ten
entonces S = N.
En otras palabras: “todo subsonjunto de N que incluya al. y al siguiente de
siempre que incluya al hes igual aN".
Hipstesis) SCN
i) ies
fi) heS wh+1eS
Tesis) S=N.
Demostraciéa) Es suficiente ver que NC S, y para esto basta prober que st
Subeonjunto S° de niimeros naturales no pertenecientes aS es vacio; o sea, de acuerdo
Gon a definiion de inchisiGnes falso que haya algin natural que no pertenezca 2S.158, COORDINABILIDAD. INDUCCION COMPLY YA, COMIN ALURIA
Suponemos que $° # 9, Por traterse de un subsonjunto no yacio deN, de acuerdo
con el prineipia de buen ordenacibs, existe elelemente minima m ¢ § (I).
Por hipétess, 1 € S, y como los elementos de S° no pertenecen aS, esm #1. Por
otra parte, siendo m natural y distino de 1, se tiene
m>1
-y,en consecuencia m-1>0,
Como m—1