Difference between revisions of "Normal number"
(MSC|11K16 Category:Probabilistic number theory) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 38: | Line 38: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> E. Borel, "Les probabilités dénombrables et leurs applications arithmétiques" ''Rend. Circ. Math. Palermo'' , '''27''' (1909) pp. 247–271 {{MR|}} {{ZBL|40.0283.01}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> E. Borel, "Leçons sur la théorie des fonctions" , Gauthier-Villars (1928) {{MR|0033328}} {{ZBL|54.0327.02}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> S. Pillai, "On normal numbers" ''Proc. Indian Acad. Sci. Sect. A'' , '''12''' (1940) pp. 179–184 {{MR|0002324}} {{ZBL|0025.30802}} {{ZBL|66.1212.02}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> I. Niven, H. Zuckerman, "On the definition of normal numbers" ''Pacific J. Math.'' , '''1''' (1951) pp. 103–109 {{MR|0044560}} {{ZBL|0042.26902}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> D.G. Champernowne, "The construction of decimals normal in the scale of ten" ''J. London Math. Soc.'' , '''8''' (1933) pp. 254–260 {{MR|}} {{ZBL|0007.33701}} {{ZBL|59.0214.01}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> W. Sierpiński, "Démonstration élémentaire d'un théorème de M. Borel sur les nombres absolument normaux et détermination effective d'un tel nombre" ''Bull. Soc. Math. France'' , '''45''' (1917) pp. 127–132 {{MR|0073664}} {{MR|0055398}} {{MR|0021058}} {{MR|1550055}} {{ZBL|}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> H. Lebesgue, "Sur certaines démonstrations d'existence" ''Bull. Soc. Math. France'' , '''45''' (1917) pp. 132–144 {{MR|1504765}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> A.G. Postnikov, "Arithmetic modelling of random processes" ''Trudy Mat. Inst. Steklov.'' , '''57''' (1960) (In Russian)</TD></TR></table> |
Line 46: | Line 46: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> I. Niven, "Irrational numbers" , Math. Assoc. Amer. (1956) {{MR|1570844}} {{MR|0080123}} {{ZBL|0070.27101}} </TD></TR></table> |
Revision as of 10:31, 27 March 2012
2020 Mathematics Subject Classification: Primary: 11K16 [MSN][ZBL]
A real number ,
, having the following property: For every natural number
, any given
-tuple
consisting of the symbols
appears with asymptotic frequency
in the sequence
![]() | (1) |
obtained from the expansion of in an infinite fraction in base
,
![]() |
In more detail, let be a natural number and let
![]() | (2) |
be the infinite sequence of -tuples corresponding to (1). Let
denote the number of occurrences of the tuple
among the first
tuples of (2). The number
![]() |
is said to be normal if for any number and any given
-tuple
consisting of the symbols
,
![]() |
The concept of a normal number was introduced for by E. Borel (see [1], [2], p. 197). He called a real number
weakly normal to the base
if
![]() |
where is the number of occurrences of
,
, among the first
terms of the sequences
and normal if
are weakly normal to the bases
. He also showed that for a normal number
![]() |
for any and any given
-tuple
. Later it was proved (see [3], [4], and also [8]) that the last relation is equivalent to Borel's definition of a normal number.
A number is called absolutely normal if it is normal with respect to every base
. The existence of normal and absolutely-normal numbers was established by Borel on the basis of measure theory. The construction of normal numbers in an explicit form was first achieved in [5]. Earlier (see [6], [7]) an effective procedure for constructing normal numbers was indicated. For other methods for constructing normal numbers and for connections between the concepts of normality and randomness see [8].
Uniform distribution of the fractional parts ,
on the interval
is equivalent to
being normal.
References
[1] | E. Borel, "Les probabilités dénombrables et leurs applications arithmétiques" Rend. Circ. Math. Palermo , 27 (1909) pp. 247–271 Zbl 40.0283.01 |
[2] | E. Borel, "Leçons sur la théorie des fonctions" , Gauthier-Villars (1928) MR0033328 Zbl 54.0327.02 |
[3] | S. Pillai, "On normal numbers" Proc. Indian Acad. Sci. Sect. A , 12 (1940) pp. 179–184 MR0002324 Zbl 0025.30802 Zbl 66.1212.02 |
[4] | I. Niven, H. Zuckerman, "On the definition of normal numbers" Pacific J. Math. , 1 (1951) pp. 103–109 MR0044560 Zbl 0042.26902 |
[5] | D.G. Champernowne, "The construction of decimals normal in the scale of ten" J. London Math. Soc. , 8 (1933) pp. 254–260 Zbl 0007.33701 Zbl 59.0214.01 |
[6] | W. Sierpiński, "Démonstration élémentaire d'un théorème de M. Borel sur les nombres absolument normaux et détermination effective d'un tel nombre" Bull. Soc. Math. France , 45 (1917) pp. 127–132 MR0073664 MR0055398 MR0021058 MR1550055 |
[7] | H. Lebesgue, "Sur certaines démonstrations d'existence" Bull. Soc. Math. France , 45 (1917) pp. 132–144 MR1504765 |
[8] | A.G. Postnikov, "Arithmetic modelling of random processes" Trudy Mat. Inst. Steklov. , 57 (1960) (In Russian) |
Comments
Almost-all numbers are normal with respect to every base (see e.g. Theorem 8.11 in [a1]). It is not known whether familiar numbers like
are normal or not. Normal numbers are potentially interesting in the context of random number generators. A normal number to a base
is necessarily irrational. The weakly-normal number (to base
)
is of course rational. The number
, obtained as
where
stands for the group of digits representing
to base
, is normal to base
[5]. The same recipe works to obtain normal numbers to any given base.
References
[a1] | I. Niven, "Irrational numbers" , Math. Assoc. Amer. (1956) MR1570844 MR0080123 Zbl 0070.27101 |
Normal number. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Normal_number&oldid=21781