11.07.2015 Views

Teor´ıa de Autómatas y Lenguajes Formales

Teor´ıa de Autómatas y Lenguajes Formales

Teor´ıa de Autómatas y Lenguajes Formales

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

14 CHAPTER 1.MATEMÁTICAS BÁSICAS<strong>de</strong> don<strong>de</strong> se concluye, usando la expresión para el cubo <strong>de</strong> un binomio, que:2 n+1 > (n + 1) 3como se quería mostrar.Luego, por el principio <strong>de</strong> inducción matemática, se concluye que la <strong>de</strong>sigualdad se cumple para todoslos números naturales mayores o iguales a 10. Es interesante <strong>de</strong>stacar que en el paso inductivo, no sólo sehizo uso <strong>de</strong> la hipótesis <strong>de</strong> inducción, sino que también se utilizó la condición que indica que N es mayor oigual a 10 en este caso.Nuevamente, la analogía con las cartas <strong>de</strong>l juego <strong>de</strong> dominó sirve para explicar, al menos intuitivamente,esta formulación <strong>de</strong>l principio <strong>de</strong> inducción. En estas aplicaciones, el hecho concreto establecido por la basees que la carta número k cae. Este hecho, sumado a lo probado con la inducción —en la que a<strong>de</strong>más eslegítimo suponer que n es mayor o igual que k, pues son esas las cartas que interesan— es suficiente paraestablecer que todas las cartas, a partir <strong>de</strong> la carta número k, caerán. Y por lo tanto se pue<strong>de</strong> concluir quela proposición se cumple para todo número natural mayor o igual al número k.1.2.2 Inducción CompletaExisten muchas otras formas <strong>de</strong> expresar el principio <strong>de</strong> inducción. Una generalización bastante útil, esla llamada inducción completa. Ella expresa, en una <strong>de</strong> sus formas, que para <strong>de</strong>mostrar que una ciertaproposición P (n) es válida para todos los números naturales, es suficiente probar que se cumple para cero y,a<strong>de</strong>más, probar que si se cumple para todos los naturales entre la base y un número natural n cualquiera,se cumple también para el número siguiente a ése: n + 1. Es <strong>de</strong>cir, basta establecer:• P (0), y que• para todo número natural n: P (0), P (1), . . . y P (n) implican P (n + 1).La diferencia con el principio enunciado anteriormente, radica en que la hipótesis <strong>de</strong> inducción es muchomás fuerte en este caso, ya que permite suponer que la proposición se cumple no sólo para n, sino que engeneral, para cualquier número menor que n + 1, y mayor o igual a la base. La posibilidad <strong>de</strong> utilizar estahipótesis hace que las <strong>de</strong>mostraciones sean, algunas veces, mucho más sencillas y cortas que si se usara elenunciado original; aún cuando la <strong>de</strong>mostración sería igualmente posible, ya que la inducción completa noes un principio nuevo, sino que una consecuencia <strong>de</strong>l principio original.Ejemplo 7 Se <strong>de</strong>muestra que todo número natural n, mayor o igual a dos, se pue<strong>de</strong> escribir como el producto<strong>de</strong> números primos 1 . Un número primo es un número natural mayor que uno, que no tiene divisores exactos,excepto 1 y el número mismo. La <strong>de</strong>mostración es por inducción completa en n, sobre los números naturales,a partir <strong>de</strong>l número dos.Base (n = 2): El número 2 se pue<strong>de</strong> escribir como el producto <strong>de</strong> números primos en que el único factor esel número 2 mismo. Claramente 2 es un primo, ya que es mayor que 1 y sólo es divisible, en formaexacta, por 1 y por 2, el número mismo.Inducción (n ≥ 2): La hipótesis <strong>de</strong> inducción asegura que todo número natural k entre 2 y n, ambosinclusive, se pue<strong>de</strong> escribir como el producto <strong>de</strong> números primos. Se <strong>de</strong>sea <strong>de</strong>mostrar que el númeron + 1 también pue<strong>de</strong> <strong>de</strong>scomponerse en esta forma.1 Ésta es una parte <strong>de</strong>l llamado Teorema Fundamental <strong>de</strong> la Aritmética, que indica que todo número natural mayor que uno,pue<strong>de</strong> expresarse en forma única como el producto <strong>de</strong> números primos. La unicidad se refiere a que hay un único conjunto <strong>de</strong>primos envueltos en ese producto, y a que cada número primo tiene multiplicidad fija en él.✷

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!