Primetelause (alkulukujen lause): tiheys, kaava ja historia
Primetelause: alkulukujen tiheys, kaava ja historia — selkeä selitys Gaussin epäilystä Hadamardin ja de la Vallée Poussinin todistuksiin, esimerkit ja intuitio.
Primalukuteoria (alkulukujen lause) kuvaa, miten alkuluvut jakautuvat suurilla luvuilla: se kertoo, kuinka monta alkulukua on korkeintaan x asti ja miten harvinaisiksi ne muuttuvat kasvavissa luvuissa. Täsmällisesti lause voidaan ilmaista funktiona π(x), joka merkitsee alkulukujen lukumäärää väliltä 1..x. Prime Number Theorem sanoo, että
Lause ja kaava
π(x) ~ x / ln(x) kun x → ∞. Tämä tarkoittaa, että suhteen π(x) ja x/ln(x) osamäärä lähestyy lukua 1 äärettömyyden suuntaan:
limx→∞ π(x) · ln(x) / x = 1.
Tulkintana: todennäköisyys, että satunnaisesti valittu positiivinen kokonaisluku, joka on enintään x, on alkuluku, on likimain 1/ln(x). Toisin sanoen alkulukujen määrä kasvaa suunnilleen kuten x jaettuna luonnollisella logaritmilla ln(x).
Esimerkkejä ja tulkintoja
- Usein sanotaan myös, että alkulukujen keskimääräinen väli eli etäisyys peräkkäisten alkulukujen välillä lähellä lukua N on suunnilleen ln(N).
- Jos tarkastellaan positiivisia kokonaislukuja enintään 10^1000 (eli lukuja, joilla on korkeintaan 1000 numeroa), todennäköisyys olla alkuluku on suunnilleen 1 / ln(10^1000) = 1 / (1000·ln 10). Koska ln 10 ≈ 2,302585, saadaan arvioksi noin 1/2302,6 — eli noin yksi 2300:sta.
- Sama logiikka antaa, että enintään 10^2000:sta positiivisesta kokonaisluvusta alkulukuja on suunnilleen yksi 4605:stä (1/(2000·ln 10) ≈ 1/4605,2).
- Huomaa erotus: π(n) ≈ n/ln n antaa alkulukujen kokonaismäärän alle n asti, kun taas todennäköisyys, että yksi tietty luku ≤ n on alkuluku, on ≈ 1/ln n. Aiemmassa tekstissä esiintynyt muotoilu "todennäköisyys on noin n/ln(n)" oli epäselvä — n/ln n on arvio alkulukujen lukumäärälle, ei yksittäisen luvun prime-todennäköisyydelle.
Historia
Nuori Carl Friedrich Gauss kertoi jo 1792–1793 tehneensä havaintoja alkulukujen tiheydestä ja ehdottaneensa likiarvoksi logaritmipohjaista kaavaa. Myös Adrien‑Marie Legendre ehdotti vuotta 1798 alkaneessa työssään vastaavia lähestymistapoja ja esitti muunnelmia, kuten π(x) ≈ x/(ln x − B) sopivalla vakion B arviolla. Varsinainen todistus alkulukujen lauseelle saatiin kuitenkin vasta 1896, kun Jacques Hadamard ja Charles‑Jean de La Vallée Poussin itsenäisesti todistivat lauseen käyttäen kompleksianalyysiä ja erityisesti Riemannin zeta‑funktion nollakohtien tarkastelua: he osoittivat, että ζ(s) ei ole nolla kohdalla Re(s)=1, mikä oli avainaskeleena PNT:n todistuksessa.
Seuraukset ja tarkentavat tulokset
- Alkulukujen lause antaa pääasiallisen kasvunopeuden, mutta on olemassa täsmällisempiä approksimaatioita. Yleisesti käytetty parempi likiarvo on logaritminen integraali Li(x), joka antaa usein tarkemman ennusteen π(x):lle kuin x/ln x.
- Virhetermin suuruus on tärkeä tutkimuskohde: Riemannin hypoteesi (jonka totuus on edelleen ratkaisematta) antaisi voimakkaan virhearvion muotoa π(x) = Li(x) + O(√x ln x). Ilman RH:ta tunnetut tulokset sisältävät heikompia mutta kuitenkin hyödyllisiä virhearvioita; esimerkiksi Hadamardin ja de la Vallée Poussinin todistuksista seuraavat ns. nollattomat alueet antavat ekspontentiaalisesti pieneneviä virhearvioita tietyillä muodoilla.
- Nykyajan tulokset ja laskennat ovat vahvistaneet PNT:n numeerisesti hyvin suuressa mittakaavassa ja laajentaneet ymmärrystä virhetermin käyttäytymisestä ja alkulukujen jakaumasta aritmetiikan edustusryhmissä ja muissa rakenteissa.
Alkulukujen lause on keskeinen tulos lukuteoriassa ja lukujen jakauman ymmärtämisessä, ja se muodostaa perustan monille syvemmille tutkimuksille, kuten Riemannin zeta‑funktion nollien tutkimukselle, alkulukujen jakauman satunnaisluonteen mallintamiselle sekä sovelluksille salauksessa ja tietojenkäsittelyssä.
Kysymyksiä ja vastauksia
Kysymys: Mikä on alkulukuteoreema?
V: Primalukuteoreema on lukuteoriaan kuuluva lause, joka selittää, miten alkuluvut jakautuvat lukujonossa.
K: Ovatko alkuluvut jakautuneet tasaisesti koko lukujonoon?
V: Ei, alkuluvut eivät jakaudu tasaisesti koko lukujonossa.
Kysymys: Mitä alkulukuteoreema virallistaa?
V: Primalukuteoreema virallistaa ajatuksen siitä, että todennäköisyys osua 1:n ja tietyn luvun välille sijoittuvaan alkulukuun pienenee lukujen kasvaessa.
K: Mikä on todennäköisyys osua alkulukuun 1 ja tietyn luvun välillä?
V: Todennäköisyys osua alkulukuun 1 ja tietyn luvun välillä on noin n/ln(n), missä ln(n) on luonnollinen logaritmifunktio.
K: Onko todennäköisyys osua 2n-numeroiseen alkulukuun suurempi kuin todennäköisyys osua n-numeroiseen alkulukuun?
V: Ei, todennäköisyys osua 2n-numeroiseen alkulukuun on noin puolet pienempi kuin n-numeroiseen.
K: Kuka todisti alkulukuteorian?
V: Jacques Hadamard ja Charles-Jean de La Vallée Poussin todistivat alkulukulauseen vuonna 1896, yli sata vuotta sen jälkeen, kun Gauss vuonna 1793 epäili alkulukujen ja logaritmien välistä yhteyttä.
K: Mikä on peräkkäisten alkulukujen keskimääräinen väli ensimmäisten N kokonaisluvun joukossa?
V: Ensimmäisten N kokonaisluvun peräkkäisten alkulukujen keskimääräinen ero on noin ln(N).
Etsiä