jueves, 25 de junio de 2009

La sucesión de Goodstein

Introducción

Tomamos un número natural cualquiera, por ejemplo el 252

Vamos a expresarlo en base 2:


252=2^7+2^6+2^5+2^4+2^3+2^2


Expresemos ahora cada uno de los exponentes también en base 2:


252=2^{2^2+2+1}+2^{2^2+2}+2^{2^2+1}+2^{2^2}+2^{2+1}+2^2


Esto que hemos hecho se denomina expresar un número natural en su forma normal de Cantor en base b.


Ahora aplicamos lo que podríamos llamar un salto de base, que en una situación así es básicamente sustituir todas las ocurrencias de b por b+1, y después restamos 1 al resultado.

Por tanto, en este caso sustituimos todas las apariciones del número 2 por el 3 y restamos 1:


3^{3^3+3+1}+3^{3^3+3}+3^{3^3+1}+3^{3^3}+3^{3+1}+3^3-1


Utilizando que 3^3-1=2 \cdot 3^2+2 \cdot 3+2 obtenemos:


3^{3^3+3+1}+3^{3^3+3}+3^{3^3+1}+3^{3^3}+3^{3+1}+2 \cdot 3^2+2 \cdot 3+2


El resultado es un número de 15 cifras, concretamente

el 854066918318651.


La cosa ha crecido bastante.

Volvemos a realizar la misma operación: ahora sustituimos todas las apariciones del número 3 por el 4 (los números menores que 3 quedan igual) y restamos 1:


4^{4^4+4+1}+4^{4^4+4}+4^{4^4+1}+4^{4^4}+4^{4+1}+2 \cdot 4^2+2 \cdot 4+2-1


Obtenemos el número


4^{4^4+4+1}+4^{4^4+4}+4^{4^4+1}+4^{4^4}+4^{4+1}+2 \cdot 4^2+2 \cdot 4+1


que tiene 156 cifras.

La cosa sigue subiendo.

Otra paso más: ahora saltamos a base 5 y restamos 1:


5^{5^5+5+1}+5^{5^5+5}+5^{5^5+1}+5^{5^5}+5^{5+1}+2 \cdot 5^2+2 \cdot 5+1-1


Llegamos al número


5^{5^5+5+1}+5^{5^5+5}+5^{5^5+1}+5^{5^5}+5^{5+1}+2 \cdot 5^2+2 \cdot 5


que tiene la friolera de 2189 cifras.


Vamos a realizar la misma operación una vez más

(sustituimos cada 5 por un 6 y restamos 1):


6^{6^6+6+1}+6^{6^6+6}+6^{6^6+1}+6^{6^6}+6^{6+1}+2 \cdot 6^2+2 \cdot 6-1


Como 2 \cdot 6-1=6+5 obtenemos el número:


6^{6^6+6+1}+6^{6^6+6}+6^{6^6+1}+6^{6^6}+6^{6+1}+2 \cdot 6^2+6+5


que alcanza la nada despreciable cantidad de 36311 cifras.

Si continuamos realizando la misma operación los números resultantes son cada vez más grandes.

¿Dónde terminará la cosa? Pues…


El teorema de Goodstein

…veamos dónde termina:


Teorema: (de Goodstein)


Toda sucesión de Goodstein creada con el procedimiento anterior termina en cero.


¿Cómo?

¿Que toda sucesión de Goodstein, comience en el número que comience, termina en el número cero?

Pues sí, todas terminan en cero.

De hecho la demostración no es excesivamente complicada.


Para imaginar por qué ocurre esto podemos tomar un número pequeño, por ejemplo el 3, y crear su correspondiente sucesión de Goodstein.

Quedaría algo así:


2+1

Sustituimos cada 2 por un 3 y restamos 1: 3+1-1=3
Sustituimos cada 3 por un 4 y restamos 1: 4-1=3
Sustituimos cada 4 por un 5 y restamos 1: 3-1=2
Sustituimos cada 5 por un 6 y restamos 1: 2-1=1
Sustituimos cada 6 por un 7 y restamos 1: 1-1=0


Si escogemos para comenzar el número 4 la cosa se alarga bastante más.

La secuencia comenzaría con los resultados 4,26,41,60 y llegaría hasta un número de ¡121210695 cifras! desde donde comenzaría a decrecer hasta terminar irremediablemente en el cero.

Como curiosidad comentar que se sabe que el teorema de Goodstein no puede probarse con la aritmética de Peano, hecho que probaron Kirby y Paris en 1982.

Ellos interpretaron el teorema de Goodstein como una hidra, creando el juego llamado hydra game, que parte de una hidra (unárbol, hablando en término de grafos) y consiste en ir cortándole cabezas.

Las reglas del juego nos dicen que con ciertos cortes la hidra hará que le crezcan cierto número de cabezas y con otros la hidra se mantendrá tal cual quede después del corte.

La analogía con el teorema de Goodstein es bien sencilla: por muy largo que sea el proceso (que lo será por muy pequeño que sea el número inicial de cabezas) siempre se llega a cortar todas las cabezas de la hidra.

(Gaussianos)
Publicado por en

No hay comentarios:

Publicar un comentario