Normál szám az n ( ) bázisban minden olyan valós szám , amelyben egy tetszőleges, k egymást követő számjegyből álló csoport fordul elő az n -es számrendszerben , ugyanolyan aszimptotikus gyakorisággal , amely egyenlő n - k minden k = 1, 2, … esetén.
Azokat a számokat, amelyek bármely n bázisra írva normálisak , normálisnak vagy abszolút normálisnak nevezzük .
Bármely racionális szám a jelölésben nem normális. Ez abból következik, hogy egy racionális szám jelölésében van egy pont. Például az 1/3 \u003d 0,33333 ... nem rendelkezik előre meghatározott számsorral a rekordban, ezért nem normális. Ebből következik, hogy csak irracionális számok lehetnek normál számok .
Mivel egy normál szám rekordja bármilyen előre meghatározott számjegysorozatot tartalmaz, ebből következik, hogy bármely normál szám rekordjában egy bizonyos digitális pozícióból kiindulva minden létrehozott és még meg nem készült irodalmi mű, kép, film stb. kódolva van. Például egy szám decimális jelölésében a 0123456789 sorozat először 17 387 594 880 tizedesjegygel kezdődik . Eddig (2021-től) nem tudni, hogy a szám normális -e [1] .
A normál szám fogalmát Émile Borel vezette be 1909 -ben . A Borel-Cantelli lemma segítségével bebizonyította, hogy a nem normális számok Lebesgue -mértéke egyenlő 0-val. Így szinte minden valós szám normális. Másrészt azok a számok, amelyek decimális jelölésében nem szerepel 0, nem normálisak. Ezért az abnormális számok halmaza megszámlálhatatlan .
D. Champernowne bebizonyította, hogy a szám, amely az egymást követő egész számok decimális rekordjainak összefűzése - 0,1234567891011121314151617…, normális a 10-es bázisban [2] . Ugyanakkor nem tudni, hogy ez a szám más okok miatt normális-e. Hasonló, bináris jelöléssel írt 0,(1)(10)(11)(100)(101)(110)(111)(1000)(1001)… szám esetén is bebizonyosodott, hogy alapban normális 2 [3] .
2002 -ben Becher és Figueira [4] bebizonyította, hogy létezik egy kiszámítható , teljesen normális szám.