Champernownen vakio

Champernownen vakio on transkendenttinen reaaliluku, joka desimaalijärjestelmässä esitetään muodossa

c₁₀ = 0,12345678910111213141516...

David Champernownen mukaan nimetty (binäärijärjestelmän) Champernownen luku määritellään siten, että kirjoitetaan peräkkäin 0 ja 1, sitten kaikki niistä muodostetut numeroparit 00, 01, 10, 11, sen jälkeen kaikki kahdeksan kolmikkoa ja niin edelleen. Jatkamalla prosessia äärettömiin ja sijoittamalla näin saatuun jonoon murtolukua osoittava pilkku luku saadaan äärelliseksi eli Champernownen vakiota vastaavaksi vakioksi binäärijärjestelmässä

c₂ = 0,1 10 11 100 101 110 111...₂.

Luku sisältää rakenteessaan kaikki mahdolliset alajonot oikeassa suhteessa.

Champernownen vakio on esimerkki normaalista luvusta.

Lähteet

• Hans Christian von Baeyer (suom. Timo Paukku): Informaatio. Tieteen uusi kieli, s. 159. Terra Cognita, 2005. ISBN 952-5202-86-0
• Champernowne Constant. MathWorld.
• Fantastinen lyijykynä ja Champernowne (Englanti)