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.

12 CHAPTER 1.MATEMÁTICAS BÁSICAS• Suponga que la respuesta es no, que k ∉ S k . Entonces, por la <strong>de</strong>finición <strong>de</strong> D, k ∈ D. Pero D = S k ,por lo tanto, k ∈ S k . Otra contradicción.Luego, en ambos casos se llega a una contradicción. Como no hay una tercera alternativa, se concluye quela hipótesis <strong>de</strong> que existe un número natural k, tal que D = S k , es errónea; es <strong>de</strong>cir, que D, que es unsubconjunto <strong>de</strong> los números naturales, no correspon<strong>de</strong> a ninguno <strong>de</strong> los S i . En otras palabras, hay mássubconjuntos <strong>de</strong> números naturales que números naturales mismos y, por lo tanto, el conjunto potencia <strong>de</strong>los números naturales es incontable, como se quería mostrar.El método usado en el Ejemplo 4, es conocido con el nombre <strong>de</strong> diagonalización. Es una técnica muyutilizada que se basa en el uso <strong>de</strong> los números en un doble papel; como ocurre con el número n en la<strong>de</strong>finición <strong>de</strong>l conjunto D <strong>de</strong> ese ejemplo, en que se usa para representar a uno <strong>de</strong> los subconjuntos <strong>de</strong> Ny, simultáneamente, a los números que no pertenecen a ese subconjunto específico. El nombre <strong>de</strong>l métodoproviene <strong>de</strong> representar el proceso como una tabla en que, para este ejemplo, las filas representan a lossubconjuntos <strong>de</strong> N y las columnas, a los números naturales, <strong>de</strong> tal modo que en el casillero (i, j) haya un 1si el número j pertenece al i- ésimo subconjunto, y un cero si no es así; al hacer ésto, el conjunto D queda<strong>de</strong>finido por los valores en la diagonal <strong>de</strong> la tabla y en general se le conoce como el conjunto diagonal enestas <strong>de</strong>mostraciones.1.2 Inducción MatemáticaEn estos apuntes, muchas proposiciones se <strong>de</strong>muestran usando el llamado Principio <strong>de</strong> Inducción Matemática.Este principio indica que para probar que una cierta proposición P (n) es válida para todo número natural n,es suficiente probar que se cumple para cero y, a<strong>de</strong>más, probar que si se cumple para algún número natural,se cumple también para el número siguiente. Es <strong>de</strong>cir, basta establecer:• P (0), y que• para todo número natural n: P (n) implica P (n + 1).La primera parte, P (0), es llamada la base y normalmente es la más simple <strong>de</strong> probar. La segunda parte esllamada el paso inductivo o la inducción; su antece<strong>de</strong>nte, P (n), es conocido como la hipótesis <strong>de</strong> induccióno hipótesis inductiva, y es un hecho que pue<strong>de</strong> emplearse, sin necesidad <strong>de</strong> prueba, al hacer la <strong>de</strong>mostración<strong>de</strong> P (n + 1), la conclusión <strong>de</strong>seada en la inducción.El principio <strong>de</strong> inducción es equivalente a otro principio matemático, conocido como el principio <strong>de</strong>lmenor entero, y expresa, fundamentalmente, la noción <strong>de</strong> que un número natural es el número cero, o es elsucesor <strong>de</strong> otro número natural. Es <strong>de</strong>cir, expresa la i<strong>de</strong>a intuitiva <strong>de</strong> que cualquier número natural pue<strong>de</strong>ser formado a partir <strong>de</strong>l número cero en un número finito <strong>de</strong> pasos, en un proceso que, en cada uno <strong>de</strong> suspasos, agrega uno al número formado hasta el paso anterior.Se le ha llamado inducción a este proceso porque primero <strong>de</strong>be <strong>de</strong>cidirse, por algún otro método, cuál esla proposición que va a ser probada, y sólo entonces pue<strong>de</strong> utilizarse para, en realidad, <strong>de</strong>mostrar la vali<strong>de</strong>z<strong>de</strong> la suposición. Este principio no permite <strong>de</strong>ducir cuál es la proposición a ser probada; ella <strong>de</strong>be obtenersepor otros métodos con anterioridad. En realidad, el concepto es muy diferente <strong>de</strong>l llamado razonamientoinductivo, empleado por los científicos para crear una hipótesis, a partir <strong>de</strong> un número <strong>de</strong> observaciones <strong>de</strong>la realidad.Ejemplo 5 Se prueba que la fórmula 1 + 2 + · · · + n = n(n + 1)/2, se cumple para todo número natural n.La <strong>de</strong>mostración es por inducción en n, sobre los números naturales.Base (n = 0): La suma <strong>de</strong>l lado izquierdo es cero, pues no hay nada que sumar. La expresión <strong>de</strong>l lado<strong>de</strong>recho queda 0(0 + 1)/2, que también es cero, tal como se quería.✷

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

Saved successfully!

Ooh no, something went wrong!