Math 2.0

Number theory Definition

Normal number

Builds on Floor functionRational numbers

Definition

Let b≥2b \ge 2 be an integer, and let xx be a real number. Write the fractional part x−⌊x⌋x - \floor{x} in base bb as 0.d1d2d3…0.d_1 d_2 d_3 \ldots with digits di∈{0,1,…,b−1}d_i \in \set{0, 1, \dots, b-1}. When there are two such expansions, take the one that does not end in an infinite run of the digit b−1b - 1. For a finite string ww of kk digits and an integer n≥1n \ge 1, let N(w,n)N(w, n) be the number of indices ii with 1≤i≤n−k+11 \le i \le n - k + 1 such that didi+1⋯di+k−1=wd_i d_{i+1} \cdots d_{i+k-1} = w. The number xx is normal in base bb if lim⁡n→∞N(w,n)n=b−k\lim_{n \to \infty} \frac{N(w, n)}{n} = b^{-k} for every k≥1k \ge 1 and every string ww of kk digits. The number xx is absolutely normal if it is normal in base bb for every integer b≥2b \ge 2.

Remarks

Example: Champernowne's number 0.1234567891011121314…0.1234567891011121314\ldots, formed by the decimal digits of the positive integers in order, is normal in base 1010. Non-example: x=1/3=0.333…x = 1/3 = 0.333\ldots in base 1010 is not normal, since for w=1w = 1 one has N(w,n)=0N(w, n) = 0 for all nn, so the limit is 0≠1/100 \ne 1/10. In the same way, no rational number is normal in any base, because its expansion is eventually periodic. A number is simply normal in base bb if the condition holds for strings of length k=1k = 1. Normality in base bb is equivalent to the equidistribution modulo one of the sequence (bnx)n≥0(b^n x)_{n \ge 0}. Here ⌊x⌋\floor{x} is the floor of xx.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Floor function concept
  2. Rational numbers object
  3. Normal number definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Normal_number
About this page
TagRS7Z7NTDX9
URIm2://RS7Z7NTDX9
Kinddefinition
WritingW0 stub
MSC11K16
DefinesNormal number
UsesFloor function, Rational numbers
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.