Vous êtes sur la page 1sur 10
\ 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

Vous aimerez peut-être aussi