Que el conjunto de los números trascendentes es un conjunto no numerable es un hecho bastante conocido, y hasta diría que sencillo de demostrar. De hecho, en este mismo blog ya hemos publicado alguna demostración del mismo, aunque dicha prueba es, por decirlo de alguna manera, «indirecta» (en realidad se demuestra que el conjunto de los números algebraicos sí es numerable, por lo que el de los trascendentes no puede serlo). Hoy vamos a ver una prueba «directa» de la no numerabilidad de los trascendentes.
Pero comencemos por el principio. Aunque podría apostar a que la mayoría de los lectores de este blog saben qué es un número algebraico y un número trascendente, creo que no está de más recordarlo. A saber:
– Un número real
es un número algebraico si existe algún polinomio de grado finito cuyos coeficientes sean todos números enteros
que tenga a
como raíz (es decir, tal que
).
– Un número real
es un número trascendente si no es algebraico (es decir, si no existe ningún polinomio con las características descritas antes que lo tenga como raíz).
Todo número real puede clasificarse como algebraico (si existe tal polinomio) o trascendente (si no existe dicho polinomio). Por tanto, el conjunto de los números reales puede expresarse como la unión del conjunto
de los números algebraicos y el conjunto
de los números trascendentes.
La demostración habitual de la no numerabilidad de los números trascendentes parte del conocido hecho de que los números reales forma un conjunto no numerable. Teniendo en cuenta esto, se demuestra que el conjunto de los números algebraicos sí es numerable y de ahí se deduce que el de los trascendentes (el resto de número reales) no puede serlo, con lo que la demostración está terminada.
Pero, como decíamos al principio, esto no es una demostración «directa», no demostramos directamente que los trascendentes son no numerables, sino que los algebraicos sí lo son, y nuestro objetivo se obtiene como consecuencia de esto.
Pero el caso es que dicha prueba «directa» existe, y hoy la vamos a ver aquí. Comencemos definiendo la siguiente función del intervalo en los números trascendentes
de la siguiente forma:
Veamos para comenzar que nuestra función está bien definida (es decir, que para todo valor de
obtenemos un número trascendente). Si
es un número mayor o igual que cero tal que
no es algebraico entonces no hay problema, ya que el valor de la función es el propio
, que como hemos dicho antes no es algebraico (y por tanto es trascendente). Ahora, si
es un número mayor o igual que cero tal que
sí que es algebraico, entonces
debe ser obligatoriamente trascendente. ¿Por qué? Muy sencillo. Si
también fuera algebraico en este caso, y usando que
- Si sumamos dos algebraicos obtenemos un algebraico.
- Si dividimos un algebraico entre un número entero obtenemos un algebraico.
tendríamos que
sería algebraico, pero ya sabemos que en realidad es un número trascendente. Por tanto, si
es algebraico entonces
no lo es, y en consecuencia la función
está bien definida.
Nos falta el toque final, pero para ello necesitamos comentar algo antes. El intervalo es un conjunto no numerable, por lo que si encontramos otro conjunto que contenga como subconjunto algo tan grande como dicho intervalo entonces ese otro conjunto también será no numerable. Pues eso mismo es lo que vamos a hacer: demostrar que dentro del conjunto
de los números trascendentes hay un conjunto tan grande como el intervalo
. Y eso lo vamos a ver comprobando que nuestra función
es inyectiva, pero antes de nada vamos a definir dicha propiedad de ciertas funciones:
Una función
es inyectiva si dados
, el hecho de que
implica que
.
En otras palabras, si
, entonces
. Es decir, el conjunto
tiene un elemento por cada uno de los elementos de
, por lo que, dicho informalmente,
tiene al menos tantos elementos como tiene
.
Veamos que nuestra función es inyectiva:
Es decir, sean cuales sean se tiene que partiendo de
obtenemos que
. Por tanto
es inyectiva, y esto en nuestro caso significa que el conjunto
de los números trascendentes contiene un conjunto no numerable, por lo que él mismo es también no numerable.
Espero que la demostración que os traigo hoy os haya parecido interesante, y también espero que si conocéis alguna otra demostración que siga esta línea la compartáis con nosotros en los comentarios.
Fuente: la página de Facebook de The American Mathematical Monthly. Yo lo vi en la página de Facebook de Matgazine.
Esta entrada es la primera aportación de Gaussianos a la edición 4.12310562561 del Carnaval de Matemáticas, que en esta ocasión organiza nuestro amigo Cuentos Cuánticos.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
[…] Demostrando "directamente" la no numerabilidad de los números trascendentes […]
Buen post, enhorabuena. ¡Gracias por volver a la actividad! 😀
Me gustó el hecho de que la prueba sea usando cosas elementales.
Me sacó una sonrisa :).
Saludos.
Información Bitacoras.com
Valora en Bitacoras.com: Que el conjunto de los números trascendentes es un conjunto no numerable es un hecho bastante conocido, y hasta diría que sencillo de demostrar. De hecho, en este mismo blog ya hemos publicado alguna demostración del mismo…
Pero qué prueba! Magnífica!
Me ha gustado, pero la inyección resulta mucho más obvia. Basta con observar que, en ese intervalo,
arroja valores mayores que
, mientras que
menores. Es imposible que haya ‘colisiones’. La única salvedad es el caso de
, pero es evidente que eso sólo es posible si
.
Con la misma idea se puede buscar una función compuesta por dos funciones que no compartan ninguna imagen en toda la recta real, y así darnos el gustazo de demostrarlo con el intervalo
, que no es que sea más valido, ni más riguroso… pero mola.
Por ejemplo:
Se te echaba de menos.
AeR, muchas gracias, aquí estamos de nuevo :).
Romi, fíjate, un tema tan complejo como éste demostrado de una forma tan elemental :).
sive, muy buen aporte. No es más válido, pero es muy interesante :).
Dani, muchas gracias. He vuelto para quedarme de nuevo :).
Gracias DIAMOND por volver. Espero que estas merecidas vacaciones te hayan sentado muy bien.
No he pensado mucho en el problema, pero siguiendo el razonamiento de la demostración pienso que en la función que se crea tanto por DIAMOND como por Sive se podría sustituir el número
por cualquier otro valor a / a sea trascendente, lo cual daría mayor elegancia si cabe a la demostración.
Por cierto, es la primerea vez que consigo editar algo con latex aunque sea tan sencillo como el núnero
. Vamos aprendiendo
Paseándome por el blog he encontrado un problema que propuso Dani el 31 de enero de 2010 en la entrada «Monstruos numéricos» y es el siguiente: Problema: ¿Cuál es la probabilidad de elegir 3 puntos al azar en una circunferencia y que caigan todos en una misma semicircunferencia? Me he interesado en él y creo haberlo resuelto. Coloquemos dos puntos al azar en la circunferencia y llamemos x e y a las fracciones de longitud de la misma en que queda dividida. Tenemos que x + y = 1. O sea: y = 1 – x. Sea x el mayor… Lee más »
Comparto con vosotros un error que yo mismo cometí, después de leer este hilo. Al fin y al cabo, se supone que de los errores se aprende. Se me ocurrió que con esta demostración se podía probar la no numerabilidad de los indefinibles. Basta con cambiar por otro símbolo cualquiera (por ejemplo, ) que represente un número indefinible cuyo valor, obviamente, no podemos precisar. Es fácil ver que la función estaría bien definida, puesto que si tanto como son definibles, tendríamos que sería la media aritmética de dos números definibles, es decir, que estaría bastante bien definido. El resto del… Lee más »
sive, pues así a bote pronto no lo veo…
Me encanta esta demostración. Aunque la demostración es sencilla, enhorabuena al que dió con la función. Estoy interesado en cualquier función que aporte algo. Un ejemplo, la función f del intervalo [0,1] en el intervalo (0,1) definida por f(0)=1/2, f(1/n)=1/n+2, si n es natural y f(x)=x en otro caso, es una biyección. Observar que para conseguir dicha biyección se parte de la función identidad y se redefine esta en un conjunto numerable de puntos, sin la intervención del infinito eso no sería posible. Me interesa cualquier información sobre la a veces llamada función de Cauchy: f(x)= e^-1/x^2, f(0)=0.Dónde x es… Lee más »
gaussianos y a quien le interese. El error de del que hablaba es bastante sutil, es normal que a bote pronto no lo veas. Precisamente por eso lo quería compartir. Tardé bastante tiempo en darme cuenta de que me había colado un gol por toda la escuadra a mí mismo. En realidad, la demostración en sí es correcta, el error está en la conclusión, cuando escribí: «… con lo que demostraríamos directamente la no numerabilidad de los números indefinibles, sin necesidad de demostrar la numerabilidad de los definibles.» Eso es incorrecto, porque la «demostración» necesita que exista al menos un… Lee más »
sive, pues sí que es sutil el asunto…
Y digo yo, ¿no hay otra forma de demostrar que existen números indefinibles?
Sive, no tengo totalmente claro qué es un número indefinible. Intuyo que es un número que «no sabemos» definir con una expresión en la que intervengan símbolos matemáticos y números definibles. De hecho, cada vez que asignamos un símbolo o una expresión a un número trascendente desconocido hasta ese momento, lo estamos «rescatando» para convertirlo es definible. Supongamos que definimos un nuevo conjunto de números: Llamemos «meta-algebraico» a un número «m» si existe algún polinomio con un número finito de términos cuyos coeficientes y exponentes sean todos algebraicos o pertenezcan al conjunto de los trascendentes conocidos, que tenga como raíz… Lee más »
gaussianos me sorprendería muchísimo que existiera alguna prueba que demuestre la existencia de los indefinibles sin probar antes la numerabilidad de los definibles… pero en realidad no lo sé con certeza. JJGJJG aunque tu prueba fuera correcta, si lo he entendido bien, estarías probando la numerabilidad de los definibles, que es justo lo que quería evitar. De todos modos no es correcto el planteamiento porque los indefinibles no son exactamente eso. Un número real es definible si podemos describir en lenguaje castellano (o el que corresponda en cada caso) una propiedad que cumpla únicamente el número en cuestión. Eso incluye… Lee más »
¿Qué tal una demostración de corte logicista?
Toda definición consta de una cantidad finita de símbolos, tomados de un vocabulario de extensión, también, finita. Por ende, el conjunto de las definiciones (y, con ello, el de los números definibles) es numerable.
Curiosamente, esto también demuestra que no sólo el conjunto de los números, sino el de todos los objetos matemáticos definibles es numerable.
http://eltopologico.blogspot.com.ar/2010/01/paradojas-del-infinito-i.html
[…] Demostrando “directamente” la no numerabilidad de los números trascendentes […]
¿Y no es el mismo conjunto el de los indefinibles y el de los trascendentes?
Todos los trascendentes que conozco se apoyan en algún tipo de desarrollo infinito, no en un bloque de símbolos finito (frase en algún idioma). Por su parte, los algebraicos, siempre llevan asociado un polinomio, ésa es su frase. Me parece una cuestión que no se ha tratado y que parece bastante plausible.
Un saludo.
No Samuel, es trascendente, y se puede definir fácilmente como la razón entre la circunferencia y el diámetro. Que un número sea definible o no, no tiene nada que ver con la forma en que calculemos su valor. Ni siquiera tiene que ver con que podamos o no calcularlo. Por ejemplo, imagina que vivimos en un universo alternativo, en el que sabemos que la razón entre circunferencia y diámetro es constante, y llamamos a esta constante Hasta aquí bien, pero ahora imagina también que en ese universo es imposible calcular su valor, y solo podemos saber que está entre 3… Lee más »
Puntualizo mi comentario anterior. Cuando escribí:
«Que un número sea definible o no, no tiene nada que ver con la forma en que calculemos su valor. Ni siquiera tiene que ver con que podamos o no calcularlo.»
Me refería a que el hecho de no poder calcular con una precisión prefijada arbitraria un número, no implica que el número es indefinible.
Lo contrario si es cierto, un número calculable de este modo (computable, se llama) es siempre definible, porque el propio algoritmo para obtenerlo sirve como definición.
Hola! perdón mi ignorancia, estoy muy lejos de entender mucho de lo que plantean en el debate. Necesito demostrar la no numerabilidad del conjunto de los números trascendentes con un ejemplo por reducción al absurdo y no logro darme cuenta cómo hacerlo. Este post me ayuda mucho, pero sigo sin darme cuenta del ejemplo que me conviene utilizar. ¿Me podrán ayudar? Desde ya, muchísimas gracias!