Normalno število
Iz Wikipedije, proste enciklopedije
Normálno števílo je v matematiki grobo rečeno realno število, katerega števke so porazdeljene naključno in enakomerno. Pri tem mislimo končno število »števk« pred decimalno vejico in neskončno zaporedje števk za decimalno vejico.
Naj je b > 1 celo število in x realno število. Imejmo zaporedje števk x v bazi b pozicijskega številskega sestava. Če je s končni niz števk v bazi b, zapišemo N(s,n) za število pojavljanj niza s v prvih n števkah x. Število x se imenuje normalno v bazi b, če:
za vsak niz s dolžine k. Z drugimi besedami: verjetnost pojavitve niza s med števkami x je natančno tista, ki jo pričakujemo, če zaporedje števk nastaja popolnoma naključno. Število x se imenuje normalno (ali včasih absolutno normalno), če je normalno v vsaki bazi b.
To zamisel je uvedel Émile Borel leta 1909. Z uporabo Borel-Cantellijeve leme je dokazal izrek normalnega števila: skoraj vsa realna števila so normalna v smislu, da je Lebesguova mera množice nenormalnih števil enaka nič. Vseeno pa je množica nenormalnih števil neštevna.
Champernownova konstanta
- 0,1234567891011121314151617... ,
ki vsebuje zaporedje števk, sestavljeno s pripojitvijo vseh naravnih števil, je normalno v bazi 10, ni pa normalno v nekaterih drugih bazah. Znano je, da je Champernownova konstanta transcendentno število.
- 0,235711131719232931373941...,
ki vsebuje zaporedoma vsa praštevila, je tudi normalna v bazi 10. Ni pa znano ali je Copeland-Erdöseva konstanta transcendentna.
Nobeno racionalno število ni normalno v nobeni bazi, ker so zaporedja števk racionalnih števil periodična. Waclaw Franciszek Sierpinski je pokazal prvo jasno konstrukcijo normalnega števila leta 1917. Izračunljivo normalno število sta skonstruirala Verónica Becher in Santiago Figueira z Univerze v Buenos Airesu, primer neizračunljivega normalnega števila pa je Chaitinova konstanta Ω.
Izredno težko je dokazati normalnost števil, ki niso konstruirana v ta namen. Ni znano, na primer, ali so √2, π, ln(2), e ali Apéryjeva konstanta normalna števila, čeprav je njihovih prvih 30. milijonov števk porazdeljenih zelo enakomerno. Po vsej verjetnosti so normalna, kar nakazujejo nekatera izkustvena dejstva. Dokazi pa so izven našega dosega. Ne vemo celo katere števke se v desetiškem razvoju teh konstant pojavijo neskončno mnogokrat. David H. Bailey in Richard E. Crandall sta leta 2001 postavila domnevo, da je vsako iracionalno algebrsko število normalno. Sicer ne poznamo nobenega protiprimera, dokazali pa tudi še nismo normalnost nobenenega iracionalnega algebrskega števila v poljubni bazi.
[uredi] Viri
- Bailey, D. H. and Crandall, R. E. O naključnem značaju razvojev osnovnih konstant (On the Random Character of Fundamental Constant Expansions) Experimental Mathematics 10, 175-190, 2001. (v angleščini)
- Becher, V. and Figueira, S. Primer izračunljivega absolutno normalnega števila (An example of a computable absolutely normal number), Theoretical Computer Science, 270, pp. 947-958, 2002. (v angleščini)
- Borel, E. Les probabilités dénombrables et leurs applications arithmétiques. Rend. Circ. Mat. Palermo 27, 247-271, 1909.
- Champernowne, D. G. Konstrukcija decimalk, normalnih v lestvici do deset (The Construction of Decimals Normal in the Scale of Ten). Journal of the London Mathematical Society 8, 254-260, 1933.
- Sierpinski, W. Démonstration élémentaire du théorème de M. Borel sur les nombres absolument normaux et détermination effective d'une tel nombre. Bull. Soc. Math. France 45, 125-144, 1917.