Hablábamos el pasado miércoles sobre la curiosa sucesión Look-and-say y la constante de Conway, número que surgía como límite de los cocientes entre las cantidades de cifras de cada elemento de la sucesión entre el elemento anterior. Esta constante de Conway era la siguiente:
y muchos decimales más sin ningún patrón. Vamos, que este número es irracional.
En este mismo post comentábamos que también era, sorprendentemente, un número algebraico. ¿Sorprendentemente? ¿Por qué?
Recordemos que un número algebraico es un número (en general, complejo) que es solución de algún polinomio cuyos coeficientes son números enteros. Los números para los cuales no existe tal polinomio se denominan números trascendentes.
Si le explicáis a alguien todo esto (si puede ser con ciertos conocimientos matemáticos, más que nada para que sepa usar con suficiente soltura los polinomios y las soluciones de los mismos), probad ahora a comprobar si lo ha entendido:
Profesor: A ver si lo has entendido. Dime un número que sea algebraico.
Alumno: Pues…cualquier número entero vale, ¿no? Si
entonces la ecuación polinómica
tiene coeficientes enteros y a
como solución.
P: Sí, y en general todos los racionales sirven, ya que si todo número racional
es solución de la ecuación polinómica
, que, evidentemente, tiene coeficientes enteros.
Bien, dime otro.
A: Pues…no sé…¡ah, sí!
, ya que es solución de la ecuación polinómica
…Y muchos más:
, vamos,
, si
no es un cuadrado perfecto (si lo es ya está incluido en los naturales) también es algebraico.
P: ¡Exacto! Pero hay muchísimos más:
- El número de oro:
(solución de
).
- La unidad imaginaria
(solución de
).
- El propio
(solución de…bueno, de la ecuación polinómica de grado 71 que aparece en el post enlazado al principio de éste).
- …
A: Sí, muchísimos.
Esta parte de la supuesta conversación entre vosotros (profesor) y la persona a quien le habéis contado este tema (alumno) podría ser más o menos como habéis leído. Vamos a suponer ahora que en realidad vuestro alumno tiene conocimientos de matemáticas algo más avanzados y sigamos conversando:
P: Bien, dime ahora un número trascendente.
A: Fácil:
.
P: Cierto, el número
es trascendente. No existe ningún polinomio con coeficientes enteros que tenga a
entre sus soluciones. Dime otro.
A: Esto…pues…ah, sí, el número
.
P: Exacto, el número
también es trascendente. Llevamos dos. Dime uno más.
A: Uhmmmm…otro número trascendente más…pues…no se me ocurre ninguno ahora, pero debe haber más…
P: Pues sí, claro que hay más. Y si leyeras Gaussianos más a menudo sabrías alguno más:
- El número de Liouville:
- El número de Champernowne:
- El número de Hilbert:
- Y algunos más que aparecen en este post.
Pero tengo que confesarte que en cierto modo no es raro que no conocieras ninguno más, ya que no es fácil encontrarlos.
A: ¿No? Pero también hay muchos, ¿verdad?
P: Claro que hay muchos, pero es complicado demostrar que un cierto número es trascendente.
A: Vale, supongo que sera porque entre tanto algebraico los trascendente escasean, ¿no?
P: Pues…no, ni muchísimo menos. Y te lo voy a demostrar.
Eso es lo que vamos a hacer después de esta conversación ficticia (aunque, bajo mi punto de vista, ciertamente plausible): demostrar que los números trascendentes no escasean, ni mucho menos. De hecho vamos a demostrar lo siguiente:
hecho que, por otra parte, puede ser muy chocante para los no iniciados.
De todas formas, la demostración de este resultado es bien sencilla. Entre los números reales hay tanto números algebraicos como números trascendentes. Y además sabemos que este conjunto
de los números reales es no numerable, es decir, no puedo enumerar sus elementos (siempre que intente enumerarlos resultará que me he dejado alguno por el camino). El primero en observar este hecho fue Georg Cantor). Y, bueno, aunque creo que no hace falta decirlo lo hago: un conjunto no numerable tiene más elementos que cualquier conjunto numerable.
Por otra parte, hemos dicho que un número es algebraico si es solución de un polinomio de coeficientes enteros. Bien, pero el conjunto de los enteros es infinito-numerable (infinito, sí, pero puedo enumerar sus elementos), y el conjunto de los polinomios cuyos coeficientes están dentro de un conjunto numerable también es numerable. Como el número de soluciones de un polinomio es también numerable, al combinar todo esto obtenemos que el conjunto de los números algebraicos es numerable.
O sea, que tenemos que los números reales algebraicos, que es un subconjunto de los números reales, es un conjunto numerable. Pero no lo es. Por tanto, lo que quede en los reales al quitar los algebraicos es no numerable. ¿Qué es lo que queda? Los números reales trascendentes.
¿Qué significa todo esto? Pues lo que habíamos dicho: que hay muchísimos más números trascendentes que algebraicos. Por eso puede resultar tan extraño que cueste tanto encontrar un número trascendente. Y por eso es tan sorprendente que un número que aparece de la forma que apareció el del que hablamos en el post anterior sea algebraico…
…¿o no es tan sorprendente?
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Me encantó el post, y creo que efectivamente, a la mayoría nos sorprende cuando recién nos enteramos de este hecho.
Teniendo en cuenta que los racionales son DENSOS y éstos son un subconjunto de los algebraicos… resulta que el ocnujunto de números algebraicos es DENSO en
. con lo que, realmente, es un conjunto muy grande (el algún sentido de esta palabra.
Interesante, sí señor… pero la duda me corroe, ¿porqué resulta tan sumamente difícil demostrar que un determinado número es trascendente?
Por cierto, me ha encantado el post, la conversación profesor-alumno me ha recordado al estilo de George Polya en How To Solve It. 😀
Saludos!!
Puede ser por la propia definición de trascendente, que es básicamente de «no existencia», lo más difícil de demostrar normalmente. Se trata de descartar que algo no pertenece a un conjunto enorme y cuyos elementos tienen las propiedades más variadas.
No es tan dificil como se hace parecer en el artículo encontrar más números trascendentes. Una vez que uno prueba, por ejemplo, que
es trascendente, es muy fácil probar (incluso trivial por comparación) que los números
para cualquier racional r distinto de 0,
para cualquier racional r, y
para cualquier entero positivo n, son todos trascendentes.
Idéntica demostración nos hizo en clase Javier Cilleruelo, una vez la ves [i]cae de cajón[/i].
Otro gran post, ^DiAmOnD^
Información Bitacoras.com…
Valora en Bitacoras.com: Hablábamos el pasado miércoles sobre la curiosa sucesión Look-and-say y la constante de Conway, número que surgía como límite de los cocientes entre las cantidades de cifras de cada elemento de la sucesión entre el ele……
jjagmath, sí, vale, pero, por decirlo de alguna forma, no son números trascendentes esencialmente distintos de
. De hecho hay número reales relacionados con
de los cuales no se sabe sin son trascendentes. Por ejemplo,
.
Samuel, sí, es que es una demostración sencilla, y perfectamente comprensible :).
Preciosa entrada, sencilla, pero profunda.
Dos cosas: 1) Una forma más correcta de decirlo es que el conjunto de los números reales no transcendentes tiene medida cero. Es decir, de forma simple, virtualmente todos los números reales son transcendentes, el conjunto de los que no lo son (algebraicos, etc) no mide nada en comparación. 2) No es *nada* dificil encontrar números transcendentes. Por ejemplo, todos los logaritmos de números algebraicos (excepto el de 1) son transcendentes, todos los senos, cosenos, y tangentes (excepto de 0 y ciertos múltiplos de Pi), etc. Lo que sí es dificil es demostrar que constantes concretas son transcendentes, tales como… Lee más »
Rama Nujan, muy interesantes los comentarios. No obstante, por (1), el número de números trascendentes que estás encontrando en (2) tiene medida 0, por tanto, estás encontrando muy poca cosa de los trascendentes. Es decir, para mí, la conclusión más interesante del post es, que se conoce muy poco de los números (trascendentes en este caso), probablemente debido a la forma en la que las matemáticas están construidas, que hace que para llegar a ellos se siga un camino largo. Yo lo veo similar a lo que pasa con la distribución de los números primos o las partes de N… Lee más »
. Gracias por tu comentario al mio, josejuan. Dos cosas: si, nadie puede encontrar mucha cosa de los transcendentes, la idea que queria dar es que no solo los multiplos de Pi y de E y otras combinaciones de unos cuantos números certificadamente transcendentes resultan en nuevos transcendentes, tambien funciones tan básicas como logaritmos, exponenciales, y trigonométricas proporcionan infinitos números transcendentes, concretamente para todos sus argumentos algebraicos (excepto para valores muy concretos como 0 ó 1, etc). En todo caso, si bien «hay más» transcendentes que algebraicos, esa no es la última clasificación posible, queda la clasificación de los transcendentes… Lee más »
El hecho de que sea computable o no, únicamente aporta información sobre las limitaciones de la definición formal de máquina de turing, no sobre los números algebráicos.
Es decir, yo (que soy así de chulo), puedo obtener todos los números trascendentales no computables (es decir, los «pata negra») que quiera, ¡sólo con un compás!.
¿Cómo? 😀 😀
excelente post, muy claro.
yo tengo una duda acerca de los irracionales. tengo entendido que si agarramos el numero pi, y nos fijamos con que frecuencia aparece el numero 1, o el 2 etc. en los decimales, nos encontramos que todos aparecen con la misma frecuencia, mi pregunta es hay numeros irracionales donde los digitos 1,2,3… no aparezcan con la misma frecuencia?, si hay que tan densos son?, bueno espero que se entienda mi duda, muy buena la pagina.
saludos!
Propuesta para «martin»:
Construyo el número siguiente: b,aaababaaaababaaaaabaaaaaaaaabaab… en el que solo aparecen los dígitos «b» y «a» (distintos entre sí). El número de «a» de cada grupo lo obtengo de las sucesivas cifras de PI y separo con un «b» cada dos grupos.
Tengo la sospecha de que el número obtenido es trascendente, apoyándome en que si no lo fuera tendría un número algebraico que, de forma indirecta produce rodas las cifras de PI en su orden.
En este número solo aparecen los dígitos «a» y «b» y con una frecuencia relativa de cinco a uno.
martin, en esta misma entrada aparece el llamado número de Liouville, que solamente tiene ceros y unos (colocados estratégicamente) y del que se sabe que es un número irracional (de hecho es trascendente). Sobre la densidad de estos números ni idea.
Que sigbidica que Q y ek cinjunto de numeroos algebraicos tiene neduda cwro?
Gracias.
Simplemente epico, una demostracion sin usar un solo numero, ni ninguna expresion algebraica, solo hace falta ponerle QED.