Número normal

En matemáticas , se dice que un número real es simplemente normal en una base entera b ^[1] si su secuencia infinita de dígitos se distribuye uniformemente en el sentido de que cada uno de los b valores de dígitos tiene la misma densidad natural 1/ b . Se dice que un número es normal en base b si, para cada entero positivo n , todas las posibles cadenas de n dígitos de longitud tienen densidad b ⁻ⁿ .

Intuitivamente, que un número sea simplemente normal significa que ningún dígito aparece con más frecuencia que otro. Si un número es normal, ninguna combinación finita de dígitos de una longitud dada aparece con más frecuencia que cualquier otra combinación de la misma longitud. Un número normal puede considerarse como una secuencia infinita de lanzamientos de moneda ( binario ) o tiradas de un dado ( base 6 ). Aunque habrá secuencias como 10, 100 o más cruces consecutivas (binario) o cincos (base 6) o incluso 10, 100 o más repeticiones de una secuencia como cruz-cara (dos lanzamientos consecutivos de moneda) o 6-1 (dos tiradas consecutivas de un dado), también habrá la misma cantidad de cualquier otra secuencia de igual longitud. Ningún dígito o secuencia es "favorecido".

Se dice que un número es normal (a veces llamado absolutamente normal ) si es normal en todas las bases enteras mayores o iguales a 2.

Aunque se puede dar una prueba general de que casi todos los números reales son normales (lo que significa que el conjunto de números no normales tiene medida de Lebesgue cero), ^[2] esta prueba no es constructiva , y solo se ha demostrado que unos pocos números específicos son normales. Por ejemplo, cualquier constante de Chaitin es normal (e incomputable ). Se cree ampliamente que los números (computables) √ 2 , π y e son normales, pero una prueba sigue siendo difícil de alcanzar. ^[3]

Definiciones

Sea $Σ un$ alfabeto finito de $b$ dígitos, $Σ ω$ el conjunto de todas las secuencias infinitas que pueden extraerse de ese alfabeto, y $Σ *$ el conjunto de secuencias finitas, o cadenas . ^[4] Sea $S \in Σ ω$ una de esas secuencias. Para cada $a$ en $Σ$ sea $N S (a, n)$ el número de veces que el dígito $a$ aparece en los primeros $n$ dígitos de la secuencia $S$ . Decimos que $S$ es simplemente normal si el límite

$\lim _{n\to \infty }{\frac {N_{S}(a,n)}{n}}={\frac {1}{b}}$

para cada $a$ . Ahora sea $w$ cualquier cadena finita en $Σ *$ y sea $N S (w, n)$ el número de veces que la cadena $w$ aparece como subcadena en los primeros $n$ dígitos de la secuencia $S$ . (Por ejemplo, si $S = .mw-parser-output .monospaced{font-family:monospace,monospace} 01010101 ...$ , entonces $N S (010, 8) = 3$ .) $S$ es normal si, para todas las cadenas finitas $w \in Σ *$ ,

$\lim _{n\to \infty }{\frac {N_{S}(w,n)}{n}}={\frac {1}{b^{|w|}}}$

donde $| w |$ denota la longitud de la cadena $w$ . En otras palabras, $S$ es normal si todas las cadenas de igual longitud ocurren con igual frecuencia asintótica . Por ejemplo, en una secuencia binaria normal (una secuencia sobre el alfabeto ${0, 1}$ ), 0 y 1 ocurren cada uno con frecuencia 1 ⁄ 2 ; 00 , 01 , 10 y 11 ocurren cada uno con frecuencia 1 ⁄ 4 ; 000 , 001 , 010 , 011 , 100 , 101 , 110 y 111 ocurren cada uno con frecuencia 1 ⁄ 8 ; etc. En términos generales, la probabilidad de encontrar la cadena $w$ en cualquier posición dada en $S$ es precisamente la esperada si la secuencia se hubiera producido al azar .

Supongamos ahora que $b$ es un entero mayor que 1 y $x$ es un número real . Consideremos la expansión de la secuencia de dígitos infinitos $S x, b$ de $x$ en el sistema de numeración posicional de base $b$ (ignoramos el punto decimal). Decimos que $x$ es simplemente normal en base $b$ si la secuencia $S$ $x$ $,$ $b$ es simplemente normal ^[5] y que $x$ es normal en base $b$ si la secuencia $S$ $x$ $,$ $b$ es normal. ^[6] El número $x$ se llama un número normal (o a veces un número absolutamente normal ) si es normal en base $b$ para cada entero $b$ mayor que 1. ^[7]^[8]

Una secuencia infinita dada es normal o no normal, mientras que un número real, que tiene una expansión en base $b$ diferente para cada entero $b \geq 2$ , puede ser normal en una base pero no en otra ^[9]^[10] (en cuyo caso no es un número normal). Para bases $r$ y $s$ con $log r / log s$ racional (de modo que $r = b m$ y $s = b n$ ) todo número normal en base $r$ es normal en base $s$ . Para bases $r$ y $s$ con $log r / log s$ irracional, hay incontables números normales en cada base pero no en la otra. ^[10]

Una sucesión disyuntiva es una sucesión en la que aparece cada cadena finita. Una sucesión normal es disyuntiva, pero una sucesión disyuntiva no necesita ser normal. Un número rico en base $b$ es aquel cuya expansión en base $b$ es disyuntiva: ^[11] aquel que es disyuntivo respecto de toda base se llama absolutamente disyuntivo o se dice que es un léxico . Un número normal en base $b$ es rico en base $b$ , pero no necesariamente a la inversa. El número real $x$ es rico en base $b$ si y solo si el conjunto ${x b n mod 1 : n \in N}$ es denso en el intervalo unitario . ^[11]^[12]

Definimos un número como simplemente normal en base $b$ si cada dígito individual aparece con una frecuencia de 1 ⁄ $b$ . Para una base $b$ dada , un número puede ser simplemente normal (pero no normal o rico), rico (pero no simplemente normal o normal), normal (y por lo tanto simplemente normal y rico), o ninguna de estas. Un número es absolutamente no normal o absolutamente anormal si no es simplemente normal en ninguna base. ^[7]^[13]

Propiedades y ejemplos

El concepto de número normal fue introducido por Émile Borel (1909). Utilizando el lema de Borel-Cantelli , demostró que casi todos los números reales son normales, estableciendo la existencia de números normales. Wacław Sierpiński (1917) demostró que es posible especificar un número particular de ese tipo. Becher y Figueira (2002) demostraron que existe un número absolutamente normal computable . Aunque esta construcción no da directamente los dígitos de los números construidos, muestra que es posible en principio enumerar cada dígito de un número normal particular.

El conjunto de los números no normales, a pesar de ser "grande" en el sentido de ser incontable , es también un conjunto nulo (ya que su medida de Lebesgue como subconjunto de los números reales es cero, por lo que esencialmente no ocupa espacio dentro de los números reales). Además, los números no normales (así como los números normales) son densos en los reales: el conjunto de números no normales entre dos números reales distintos no está vacío ya que contiene todos los números racionales (de hecho, es incontablemente infinito ^[14] e incluso comeagre ). Por ejemplo, hay incontables números cuyas expansiones decimales (en base 3 o superior) no contienen el dígito 1, y ninguno de esos números es normal.

La constante de Champernowne

0.1234567891011121314151617181920212223242526272829...,

obtenida concatenando en orden las representaciones decimales de los números naturales , es normal en base 10. Asimismo, las diferentes variantes de la constante de Champernowne (realizadas realizando la misma concatenación en otras bases) son normales en sus respectivas bases (por ejemplo, la constante de Champernowne en base 2 es normal en base 2), pero no se ha demostrado que sean normales en otras bases.

La constante de Copeland-Erdős

0.23571113171923293137414347535961677173798389...,

obtenido por concatenación de los números primos en base 10, es normal en base 10, como demostraron AH Copeland y Paul Erdős (1946). De manera más general, estos últimos autores demostraron que el número real representado en base b por la concatenación

0. f (1) f (2) f (3)...,

donde f ( n ) es el n ^º primo expresado en base b , es normal en base b . Besicovitch (1935) demostró que el número representado por la misma expresión, con f ( n ) = n ² ,

0.149162536496481100121144...,

obtenido al concatenar los números cuadrados en base 10, es normal en base 10. Harold Davenport y Erdős (1952) demostraron que el número representado por la misma expresión, siendo f cualquier polinomio no constante cuyos valores en los números enteros positivos son números enteros positivos, expresados en base 10, es normal en base 10.

Nakai y Shiokawa (1992) demostraron que si f ( x ) es cualquier polinomio no constante con coeficientes reales tales que f ( x ) > 0 para todo x > 0, entonces el número real representado por la concatenación

0.[ f (1)] [ f (2)] [ f (3)]...,

donde [ f ( n )] es la parte entera de f ( n ) expresada en base b , es normal en base b . (Este resultado incluye como casos especiales todos los resultados mencionados anteriormente de Champernowne, Besicovitch y Davenport & Erdős.) Los autores también muestran que el mismo resultado se cumple de manera más general cuando f es cualquier función de la forma

f ( x ) = α· x ^β + α ₁ · x ^{β ₁} + ... + α _d · x ^{β _d} ,

donde αs y βs son números reales con β > β ₁ > β ₂ > ... > β _d ≥ 0, y f ( x ) > 0 para todo x > 0.

Bailey y Crandall (2002) muestran una clase explícitamente infinita e incontable de números b -normales perturbando los números de Stoneham .

Ha sido un objetivo difícil de alcanzar demostrar la normalidad de números que no están construidos artificialmente. Si bien se conjetura firmemente que √ 2 , π , ln(2) y e son normales, aún no se sabe si lo son o no. Ni siquiera se ha demostrado que todos los dígitos ocurran en realidad infinitas veces en las expansiones decimales de esas constantes (por ejemplo, en el caso de π, no se sabe si es cierta la afirmación popular de que "toda cadena de números ocurre eventualmente en π"). ^[15] También se ha conjeturado que todo número algebraico irracional es absolutamente normal (lo que implicaría que √ 2 es normal), y no se conocen contraejemplos en ninguna base. Sin embargo, no se ha demostrado que ningún número algebraico irracional sea normal en ninguna base.

Números no normales

Ningún número racional es normal en ninguna base, ya que las secuencias de dígitos de los números racionales son eventualmente periódicas .

Martin (2001) da un ejemplo de un número irracional que es absolutamente anormal. ^[16] Sea

$f\left(n\right)={\begin{cases}n^{\frac {f\left(n-1\right)}{n-1}},&n\in \mathbb {Z} \cap \left[3,\infty \right)\\4,&n=2\end{cases}}$

${\begin{aligned}&\alpha =\prod _{m=2}^{\infty }\left({1-{\frac {1}{f\left(m\right)}}}\right)=\left(1-{\frac {1}{4}}\right)\left(1-{\frac {1}{9}}\right)\left(1-{\frac {1}{64}}\right)\left(1-{\frac {1}{152587890625}}\right)\left(1-{\frac {1}{6^{\left(5^{15}\right)}}}\right)\ldots =\\&=0.6562499999956991\underbrace {99999\ldots 99999} _{23,747,291,559}8528404201690728\ldots \end{aligned}}$

Entonces α es un número de Liouville y es absolutamente anormal.

Propiedades

Las propiedades adicionales de los números normales incluyen:

Todo número real distinto de cero es el producto de dos números normales. Esto se deduce del hecho general de que todo número es el producto de dos números de un conjunto si el complemento de X tiene medida 0. $X\subseteq \mathbb {R} ^{+}$
Si x es normal en base b y a ≠ 0 es un número racional, entonces también es normal en base b . ^[17] $x\cdot a$
Si es denso (para cada y para todos los n suficientemente grandes , ) y son las expansiones en base b de los elementos de A , entonces el número , formado al concatenar los elementos de A , es normal en base b (Copeland y Erdős 1946). De esto se sigue que el número de Champernowne es normal en base 10 (ya que el conjunto de todos los enteros positivos es obviamente denso) y que la constante de Copeland–Erdős es normal en base 10 (ya que el teorema de los números primos implica que el conjunto de los primos es denso). $A\subseteq \mathbb {N}$ $\alpha <1$ $|A\cap \{1,\ldots ,n\}|\geq n^{\alpha }$ $a_{1},a_{2},a_{3},\ldots$ $0.a_{1}a_{2}a_{3}\ldots$
Una secuencia es normal si y sólo si cada bloque de igual longitud aparece con igual frecuencia. (Un bloque de longitud k es una subcadena de longitud k que aparece en una posición en la secuencia que es un múltiplo de k : por ejemplo, el primer bloque de longitud k en S es S [1.. k ], el segundo bloque de longitud k es S [ k +1..2 k ], etc.) Esto estaba implícito en el trabajo de Ziv y Lempel (1978) y se hizo explícito en el trabajo de Bourke, Hitchcock y Vinodchandran (2005).
Un número es normal en base b si y solo si es simplemente normal en base b ^k para todo . Esto se desprende de la caracterización de bloques anterior de la normalidad: dado que el n ^-ésimo bloque de longitud k en su expansión en base b corresponde al n- ^ésimo dígito en su expansión en base b ^k , un número es simplemente normal en base b ^k si y solo si aparecen bloques de longitud k en su expansión en base b con igual frecuencia. $k\in \mathbb {Z} ^{+}$
Un número es normal si y sólo si es simplemente normal en todas sus bases. Esto se desprende de la caracterización anterior de la normalidad en base b .
Un número es b -normal si y sólo si existe un conjunto de enteros positivos donde el número es simplemente normal en bases b ^m para todo ^[18]. Ningún conjunto finito es suficiente para demostrar que el número es b -normal. $m_{1}<m_{2}<m_{3}<\cdots$ $m\in \{m_{1},m_{2},\ldots \}.$
Todas las sucesiones normales están cerradas bajo variaciones finitas : agregar, quitar o cambiar un número finito de dígitos en cualquier sucesión normal la deja normal. De manera similar, si se agrega, quita o cambia un número finito de dígitos en cualquier sucesión simplemente normal, la nueva sucesión sigue siendo simplemente normal.

Conexión a máquinas de estados finitos

Agafonov demostró una conexión temprana entre las máquinas de estados finitos y las secuencias normales: cada subsecuencia infinita seleccionada de una secuencia normal por un lenguaje regular también es normal. En otras palabras, si se ejecuta una máquina de estados finitos en una secuencia normal, donde cada uno de los estados de la máquina de estados finitos se etiqueta como "salida" o "sin salida", y la máquina genera el dígito que lee a continuación después de ingresar en un estado de "salida", pero no genera el dígito siguiente después de ingresar en un estado de "sin salida", entonces la secuencia que genera será normal. ^[19]

Existe una conexión más profunda con los jugadores de estados finitos (FSG) y los compresores de estados finitos sin pérdida de información (ILFSC).

Un jugador de estados finitos (también conocido como martingala de estados finitos ) es una máquina de estados finitos sobre un alfabeto finito , cada uno de cuyos estados está etiquetado con porcentajes de dinero para apostar en cada dígito en . Por ejemplo, para un FSG sobre el alfabeto binario , el estado actual q apuesta un porcentaje del dinero del jugador en el bit 0 y la fracción restante del dinero del jugador en el bit 1. El dinero apostado en el dígito que viene a continuación en la entrada (dinero total multiplicado por el porcentaje apostado) se multiplica por , y el resto del dinero se pierde. Después de leer el bit, el FSG pasa al siguiente estado de acuerdo con la entrada que recibió. Un FSG d tiene éxito en una secuencia infinita S si, a partir de $1, gana dinero ilimitado apostando en la secuencia; es decir, si donde es la cantidad de dinero que tiene el jugador d después de leer los primeros n dígitos de S (ver límite superior ). $\Sigma$ $\Sigma$ $\Sigma =\{0,1\}$ $q_{0}\in [0,1]$ $q_{1}=1-q_{0}$ $|\Sigma |$ $\limsup _{n\to \infty }d(S\upharpoonright n)=\infty ,$ $d(S\upharpoonright n)$
Un compresor de estados finitos es una máquina de estados finitos con cadenas de salida que etiquetan sus transiciones de estado , incluyendo posiblemente la cadena vacía. (Dado que se lee un dígito de la secuencia de entrada para cada transición de estado, es necesario poder emitir la cadena vacía para lograr cualquier compresión). Un compresor de estados finitos sin pérdida de información es un compresor de estados finitos cuya entrada se puede recuperar de forma única de su salida y estado final. En otras palabras, para un compresor de estados finitos C con un conjunto de estados Q , C no tiene pérdida de información si la función , que asigna la cadena de entrada de C a la cadena de salida y al estado final de C , es 1–1 . Las técnicas de compresión como la codificación de Huffman o la codificación de Shannon-Fano se pueden implementar con ILFSC. Un ILFSC C comprime una secuencia infinita S si donde es el número de dígitos de salida de C después de leer los primeros n dígitos de S. La relación de compresión (el límite inferior indicado anteriormente) siempre se puede hacer igual a 1 mediante el ILFSC de 1 estado que simplemente copia su entrada a la salida. $f:\Sigma ^{*}\to \Sigma ^{*}\times Q$ $\liminf _{n\to \infty }{\frac {|C(S\upharpoonright n)|}{n}}<1,$ $|C(S\upharpoonright n)|$

Schnorr y Stimm demostraron que ningún FSG puede tener éxito en ninguna secuencia normal, y Bourke, Hitchcock y Vinodchandran demostraron lo contrario . Por lo tanto:

Una secuencia es normal si y sólo si no hay ningún jugador de estados finitos que tenga éxito en ella.

Ziv y Lempel demostraron:

Una secuencia es normal si y sólo si es incompresible por cualquier compresor de estados finitos sin pérdida de información.

(De hecho, demostraron que la relación de compresión óptima de la secuencia sobre todos los ILFSC es exactamente su tasa de entropía , una medida cuantitativa de su desviación de la normalidad, que es 1 exactamente cuando la secuencia es normal). Dado que el algoritmo de compresión LZ comprime asintóticamente tan bien como cualquier ILFSC, esto significa que el algoritmo de compresión LZ puede comprimir cualquier secuencia no normal. ^[20]

Estas caracterizaciones de las secuencias normales pueden interpretarse en el sentido de que "normal" = "aleatoria de estado finito"; es decir, las secuencias normales son precisamente aquellas que parecen aleatorias para cualquier máquina de estado finito. Compárese esto con las secuencias aleatorias algorítmicas , que son aquellas secuencias infinitas que parecen aleatorias para cualquier algoritmo (y de hecho tienen caracterizaciones de juego y compresión similares con las máquinas de Turing que reemplazan a las máquinas de estado finito).

Conexión a secuencias equidistribuidas

Un número x es normal en base b si y solo si la secuencia está equidistribuida módulo 1, ^[21]^[22] o equivalentemente, utilizando el criterio de Weyl , si y solo si ${\left(b^{k}x\right)}_{k=0}^{\infty }$

$\lim _{n\rightarrow \infty }{\frac {1}{n}}\sum _{k=0}^{n-1}e^{2\pi imb^{k}x}=0\quad {\text{ for all integers }}m\geq 1.$

Esta conexión conduce a la terminología de que x es normal en base β para cualquier número real β si y sólo si la secuencia está equidistribuida módulo 1. ^[22] $\left({x\beta ^{k}}\right)_{k=0}^{\infty }$

Notas

^ Las únicas bases consideradas aquí son los números naturales mayores que 1
^ Beck 2009.
^ Bailey y Crandall 2002.
^ ω es el número ordinal infinito más pequeño ; ^∗ es la estrella de Kleene .
^ Bugeaud 2012, pág. 78.
^ Bugeaud 2012, pág. 79.
^ desde Bugeaud 2012, pág. 102.
^ Adamczewski y Bugeaud 2010, pág. 413.
^ Cassels 1959.
^Por Schmidt 1960.
^ desde Bugeaud 2012, pág. 92.
^ $x b n mod 1$ denota la parte fraccionaria de $x b n$ .
^ Martín 2001.
^ Billingsley 2012.
^ Bailey y otros. 2012.
^ Bugeaud 2012, pág. 113.
^ Muro 1949.
^ Largo 1957.
^ Agafonov 1968.
^ Ziv y Lempel 1978.
^ Bugeaud 2012, pág. 89.
^ ab Everest y otros. 2003, pág. 127.

Véase también

Referencias

Adamczewski, Boris; Bugeaud, Yann (2010), "8. Trascendencia y aproximación diofántica", en Berthé, Valérie ; Rigo, Michael (eds.), Combinatoria, autómatas y teoría de números , Enciclopedia de matemáticas y sus aplicaciones, vol. 135, Cambridge: Cambridge University Press , págs. 410–451, ISBN 978-0-521-51597-9, Zbl1271.11073
Agafonov, VN (1968), "Secuencias normales y autómatas finitos", Matemáticas soviéticas - Doklady , 9 : 324–325, Zbl 0242.94040
Bailey, David H .; Borwein, Jonathan M .; Calude, Cristian S .; Dinneen, Michael J.; Dumitrescu, Mónica; Yee, Alex (2012), "Un enfoque empírico de la normalidad de π", Matemáticas experimentales , 21 (4): 375–384, doi :10.1080/10586458.2012.665333, hdl : 2292/10566 , S2CID 17273684
Bailey, DH ; Crandall, RE (2002), "Generadores aleatorios y números normales" (PDF) , Experimental Mathematics , 11 (4): 527–546, doi :10.1080/10586458.2002.10504704, S2CID 8944421
Becher, V.; Figueira, S. (2002), "Un ejemplo de un número absolutamente normal computable" (PDF) , Theoretical Computer Science , 270 (1–2): 947–958, doi :10.1016/S0304-3975(01)00170-0, hdl : 20.500.12110/paper_03043975_v270_n1-2_p947_Becher
Beck, József (2009), Aleatoriedad inevitable en matemáticas discretas (edición ilustrada), American Mathematical Soc., pág. 13, ISBN 978-0-8218-4756-5
Besicovitch, AS (1935), "La distribución asintótica de los numerales en la representación decimal de los cuadrados de los números naturales", Mathematische Zeitschrift , 39 : 146–156, doi :10.1007/BF01201350, S2CID 123025145
Billingsley, Patrick (2012), Probabilidad y medida (edición de aniversario), Hoboken, NJ: Wiley, pág. 15, ISBN 9781118122372, OCLC 780289503
Borel, E. (1909), "Les probabilités dénombrables et leurs apps arithmétiques", Rediconti del Circolo Matematico di Palermo , 27 : 247–271, doi :10.1007/BF03019651, S2CID 184479669
Bourke, C.; Hitchcock, JM; Vinodchandran, NV (2005), "Tasas de entropía y dimensión de estados finitos", Theoretical Computer Science , 349 (3): 392–406, CiteSeerX 10.1.1.101.7244 , doi : 10.1016/j.tcs.2005.09.040
Bugeaud, Yann (2012), Distribución módulo uno y aproximación diofántica , Cambridge Tracts in Mathematics, vol. 193, Cambridge: Cambridge University Press , ISBN 978-0-521-11169-0, Zbl1260.11001
Cassels, JWS (1959), "Sobre un problema de Steinhaus sobre números normales", Colloquium Mathematicum , 7 : 95–101, doi : 10.4064/cm-7-1-95-101
Champernowne, DG (1933), "La construcción de decimales normales en la escala de diez", Journal of the London Mathematical Society , 8 (4): 254–260, doi :10.1112/jlms/s1-8.4.254
Copeland, AH ; Erdős, P. (1946), "Nota sobre números normales", Boletín de la Sociedad Matemática Americana , 52 (10): 857–860, doi : 10.1090/S0002-9904-1946-08657-7
Davenport, H. ; Erdős, P. (1952), "Nota sobre decimales normales", Revista Canadiense de Matemáticas , 4 : 58–63, doi : 10.4153/CJM-1952-005-3 , S2CID 14621341
Everest, Graham ; van der Poorten, Alf ; Shparlinski, Igor; Ward, Thomas (2003), Secuencias de recurrencia , Encuestas y monografías matemáticas, vol. 104, Providence, RI : American Mathematical Society , ISBN 0-8218-3387-1, Zbl1033.11006
Long, CT (1957), "Nota sobre números normales", Pacific Journal of Mathematics , 7 (2): 1163–1165, doi : 10.2140/pjm.1957.7.1163 , Zbl 0080.03604
Martin, Greg (2001), "Números absolutamente anormales", American Mathematical Monthly , 108 (8): 746–754, arXiv : math/0006089 , doi :10.2307/2695618, JSTOR 2695618, Zbl 1036.11035
Murty, Maruti Ram (2007), Problemas en la teoría analítica de números (2.ª ed.), Springer, ISBN 978-0-387-72349-5
Nakai, Y.; Shiokawa, I. (1992), "Estimaciones de discrepancia para una clase de números normales", Acta Arithmetica , 62 (3): 271–284, doi : 10.4064/aa-62-3-271-284
Schmidt, W. (1960), "Sobre los números normales", Pacific Journal of Mathematics , 10 (2): 661–672, doi : 10.2140/pjm.1960.10.661
Schnorr, CP ; Stimm, H. (1972), "Endliche Automaten und Zufallsfolgen", Acta Informatica , 1 (4): 345–359, doi :10.1007/BF00289514, S2CID 31943843
Sierpiński, W. (1917), "Démonstration élémentaire d'un théorème de M. Borel sur les nombres absolutment normaux et détermination Effective d'un tel nombre", Bulletin de la Société Mathématique de France , 45 : 125–132, doi : 10.24033/bsmf.977
Wall, DD (1949), Normal Numbers , tesis doctoral, Berkeley, California: Universidad de California
Ziv, J. ; Lempel, A. (1978), "Compresión de secuencias individuales mediante codificación de velocidad variable", IEEE Transactions on Information Theory , 24 (5): 530–536, doi :10.1109/TIT.1978.1055934, hdl : 10338.dmlcz/142945

Lectura adicional

Bailey, DH ; Crandall, RE (2001), "Sobre el carácter aleatorio de las expansiones constantes fundamentales" (PDF) , Experimental Mathematics , 10 (2): 175–190, doi :10.1080/10586458.2001.10504441, S2CID 2694690, archivado desde el original (PDF) el 23 de noviembre de 2008
Bailey, DH ; Misiurewicz, M. (2006), "Un teorema de punto caliente fuerte", Actas de la American Mathematical Society , 134 (9): 2495–2501, doi : 10.1090/S0002-9939-06-08551-0
Calude, C. (1994), "Normalidad de Borel y aleatoriedad algorítmica", en Rozenberg, G.; Salomaa, Arto (eds.), Desarrollos en la teoría del lenguaje: en la encrucijada de las matemáticas, la informática y la biología , World Scientific , Singapur, págs. 113-119
Calude, CS ; Zamfirescu, T. (1999), "La mayoría de los números no obedecen a leyes de probabilidad", Publicationes Mathematicae Debrecen , 54 (Suplemento): 619–623
Dajani, Karma ; Kraaikamp, Cor (2002), Teoría ergódica de números , Carus Mathematical Monographs , vol. 29, Washington, DC: Asociación Matemática de América , ISBN 0-88385-034-6, Zbl1033.11040
Harman, Glyn (2002), "Cien años de números normales", en Bennett, MA; Berndt, BC ; Boston, N .; Diamond, HG; Hildebrand, AJ; Philipp, W. (eds.), Encuestas sobre teoría de números: Documentos de la conferencia milenaria sobre teoría de números , Natick, MA: AK Peters, págs. 57–74, ISBN 1-56881-162-4, Zbl1062.11052
Khoshnevisan, Davar (2006), "Los números normales son normales" (PDF) , Informe anual 2006 del Instituto de Matemáticas Clay : 15, continuación, págs. 27-31
Quéfflec, Martine (2006), "Resultados antiguos y nuevos sobre normalidad", en Denteneer, Dee; den Hollander, F.; Verbitskiy, E. (eds.), Dynamics & Stochastics: Festschrift in honor of MS Keane , IMS Lecture Notes – Monograph Series, vol. 48, Beachwood, Ohio: Institute of Mathematical Statistics , págs. 225–236, arXiv : math.DS/0608249 , doi :10.1214/074921706000000248, ISBN 0-940600-64-1, Zbl1130.11041

Enlaces externos

Weisstein, Eric W. "Número normal". MathWorld .