Como en algunos comentarios en ciertos artículos (por ejemplo, en algunos de números irracionales cebra) vi que no estaba demasiado claro qué era un número normal voy a intentar explicarlo en esta entrada.
Un número normal es un número real cuyos dígitos, en cualquier base, siguen una distribución uniforme, esto es, todos los dígitos son igualmente probables, todas las parejas de dígitos son igualmente probables, todas las ternas son igualmente probables…Cuando queremos referirnos a una base concreta diremos que el número es cuestión es normal en base
. El concepto de número normal fue introducido por Émile Borel en 1909.
A la vista de esta definición podemos sacar varias cosas:
1.- En un número normal podemos encontrar todos los patrones posibles entre números; por ejemplo, si nos ceñimos a base 10, un número normal en base 10 contendrá en algún lugar de su expansión decimal a cualquier número natural que podamos pensar.
2.- Todo número normal debe ser necesariamente irracional, ya que si un número es racional tendrá un período y eso impide que haya equiprobabilidad.
3.- No todo número irracional es normal, ya que hay números irracionales en los cuales no aparece cualquier patrón de número naturales. Por ejemplo, la constante de Liouville
es un número irracional pero, evidentemente, no presenta todos los patrones posibles.
Después de la definición y de las observaciones iniciales viene la pregunta: ¿existen números normales? Y en ese caso, ¿cuántos hay? Vamos con las respuestas:
Sí, existen números normales. De hecho, casi todos los números reales son normales. El casi todos significa que el conjunto de los números reales no normales tiene medida de Lebesgue cero. Este resultado también fue demostrado por Borel, aunque su demostración es no constructiva. Fue Waclaw Sierpinski quien dio el primer ejemplo de número normal (no he podido encontrar de qué número se trata; si alguien lo sabe que lo comente). Por tanto hay muchísimos números normales. Sería lógico pensar entonces que es sencillo encontrarlos…nada más lejos de la realidad. Se conocen algunos, de otros se conjetura que lo son, hay más conjeturas sobre ellos, pero ni mucho menos es sencillo comprobar que un número irracional es o no es normal.
Vamos con un par de números de los que se conoce su normalidad:
1.- El número de Champernowne:
Este número se obtiene concatenando todos los números naturales. Se sabe que es normal en base 10, pero no se sabe si lo es o no en otras bases.
2.- La constante de Copeland-Ërdos:
Este número se obtiene concatenando todos los números primos en base 10. En 1945 Copeland y Ërdos demostraron que este número es normal en todas las bases.
3.- La constante de Chaitin : que es la probabilidad de que un programa elegido al azar detenga correctamente a una maquina de Turing determinada.
Podemos definirlo también de la siguiente forma:
Sea el conjunto de todos los programas que se detienen y sea
el tamaño en bits de un programa
. Entonces:
No podemos determinar todos sus dígitos ya que es un número no computable. Pero sabemos que los primeros dígitos de su expresión en base 10 son:
Uno de los temas más interesante sobre los números normales es si ciertas constantes famosas como ó
son números normales. Aunque se cree firmemente que lo son todavía no se ha podido demostrar ni refutar este hecho.
También existe, como en todos estos temas, una conjetura que de ser cierta sería un resultado ciertamente fuerte. EN este caso es la siguiente:
Todo número irracional algebraico es normal.
No se ha podido encontrar ningún contraejemplo de esta sentencia, pero tampoco se conoce ningún número irracional algebraico que sea normal. Si esta conjetura fuera cierta tendríamos de añadido que es normal, al ser un número irracional algebraico.
Y para terminar os dejo un resultado sobre números normales relacionado con el análisis matemático:
Un número
es normal en base
si y sólo si
,
,
Fuentes:
- Normal number en la Wikipedia (inglés)
- Las matemáticas de Oz, de Clifford A. Pickover
- Constante de Chaitin en la Wikipedia (español)
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Muy buena entrada, aunque sabia lo que era un numero normal no conocía la definición más formal. Por cierto, pareceré lelo pero: ¿que quiere decir concatenando?
Concatenando significa la acción de concatenar: Unir o enlazar 2 o más cosas. En este caso las cosas son números.
Hace un tiempo se me ocurrió hacer un programa, muy simple que, a partir de un fichero en el que se habían generado unos pocos cientos de miles de dígitos de
, contara cuantas veces aparecían los números del 0 al 9.
Esto no fue más que, sin yo saberlo, preguntarme si
es o no un número normal.
Curiosamente, indagué un poco por internet y ví que ya lo habían pensado hace mucho tiempo y que parece ser (como se dice en la entrada) que aparecen todos los números las mismas veces.
Hola Guille, tu idea me parece muy buena, pero debes tener en cuenta que a veces puede no funcionar. En este caso de los dígitos del número PI puede que las cifras esten «mejor repartidas», pero en otros casos, sobretodo cuando tenemos infinitos elementos, este método podría ser erróneo. Por ejemplo, de qué hay más cantidad: de números naturales o de números naturales pares? La respuesta es simple: los mismos, ya que a cada número natural puedes asociarle uno natural par (él mismo multiplicado por dos) y a cada número natural par le puedes asociar un número natural (él mismo… Lee más »
Aunque no he leido el post en detalle aún, he encontrado lo siguiente al respecto del número de Sierpinski:
http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V1G-44NM184-1F&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=0fce71e6b935c2c7fdb5405bb0258ced
http://publicaciones.dc.uba.ar/Publications/2002/BF02/absnor.pdf
Se comenta la construcción que hizo Sierpinski.
Estaría bien poder ver alguna de las demostraciones de normalidad, al menos aunque sea de una forma simplificada o para dummies si es posible.
No consigo imaginarme como ha podido demostrarse que un número no computable como la constante de Chaitin es normal.
Acerca del resultado sobre números normales relacionado con el análisis matemático,
Un número x es normal en base b si y sólo si
la fórmula puede representarse gràficamente cada sumando sobre una circunferència?
Me recueda la transformada de Fourier
Me parece que la parte «número normal es un número real cuyos dígitos, en cualquier base,…» es confusa. Dado un número, normal en base B, no siempre es normal en otra base C (había una condición, que no recuerdo bien, que dependía de los logaritmos de las bases).
Un extra más divertido e interesante: Markelo mandó una sucesión a la enciclopedia online (y la aceptaron) basada en el problema de hallar primos dentro del Champernowne!
La constante de Copeland-Ërdos es trascendente?
Muy interesante. Queda claro entonces que un número normal lo que sigue es una distribución uniforme.
El punto 2 del post, dice que un número normal ha de ser necesariamente irracional. No veo yo que sea así, al contrario veo que puede haber infinitos números racionales que sean normales.
Corregidme si me equivoco. Un ejemplo para base 10:
12345678900000000000/9999999999
Agustín cada dígito tiene la misma probabilidad de aparecer, cada pareja de dígitos tiene la misma probabilidad, cada terna también, etc. Por tanto un número racional no puede ser normal ya que ese número tendrá un período y por tanto no todos los patrones aparecerán.
Por ejemplo, imagínate que el período del número tiene
dígitos. Entonces ya no sabríamos nada sobre la aparición de los conjuntos de $late k+1$ números.
Espero haberme explicado
Gracias Diamond. Llevas razón. Deben aparecer todos los subconjuntos de N de cualquier tamaño, con igual probabilidad. Queda claro.
[…] números que cumplen eso se denominan números normales y, aunque se cree firmemente que lo es, todavía no se ha conseguido demostrar. Podemos, por otro […]
¿Todo número normal tiene a todos los números normales con igual probabilidad?
DiAmOnD felicitaciones por el blog ya que es muy bueno, pero nose si me podrian iayudar con la demostracion de la trascendencia de El número de Champernowne
Está mal escrito el nombre de la constante, creo que en realidad se llama Copeland-Erdös (Con dieresis en la ‘o’). Me di cuenta porque en esa misma constante esta codificado un escrito que dice «El nombre tiene un leve error», aunque supuestamente si seguía buscando iba a encontrar otro mensaje codificado que dijera lo contrario…
Es cierto. ¿Hay alguna página en dónde checar de alguna manera algunas ideas de cómo demostrar si un número es normal o no?
También me gustaría saber de artículos en donde se presenten sus propiedades
Saludos.
[…] aparecerán con la misma frecuencia, si es una aparición completamente al azar, lo que llaman un número normal, o si hay unas cadenas de números que aparecen más que […]
[…] números normales puedes leer Número normal, en Gaussianos, y/o No se sabe si todos los números naturales están en Pi (o sobre los números […]
Parece que, a veces, aparecen entradas poco matemáticas. Quizás convendría hacer limpieza.
JJGJJG, sí, a veces se escapa algún comentario spam. Los borro ahora mismo.
La suma de de todas las potencias de dos a la menos uno, con exponentes primos, da un numero que no es normal en base dos o cualquier potencia de dos, y si lo es en cualquier otra base, incluida la base 10. (Conjetura de moncho)
En fin, no es mucha la teoría que hay sobre los «irracionales normales» . Hay conjeturas. Es un concepto poco estudiado.
ALGUIEN SABE DONDE PUEDO ENCONTRAR EL NUMERO PI COMO UNA SERIE O COMO UNA INTEGRAL Y DE LA MISMA FORMA EL NUMERO E
POR CIERTO BUEN CONTENIDO
[…] Los números que cumplen con esta propiedad son llamados números normales. […]