Privacy Policy Cookie Policy Terms and Conditions Teorema dei numeri primi - Wikipedia

Teorema dei numeri primi

Da Wikipedia, l'enciclopedia libera.

In teoria dei numeri, il teorema dei numeri primi descrive la distribuzione approssimata, asintotica dei numeri primi. Per ogni numero reale positivo x, definiamo la funzione:

\pi(x)\,:=\,{\rm numero\ dei\ primi\ minori\ o\ uguali\ a\ }\leq x .

Il teorema dei numeri primi afferma che:

\pi(x)\approx\frac{x}{\ln(x)}

dove ln(x) è il logaritmo naturale di x. Questa notazione vuole significare solo che il limite del quoziente delle due funzioni π(x) e x/ln(x) per x che tende ad infinito è 1; ciò non significa che il limite della differenza delle due funzioni, per x che tende ad infinito, è 0.

Un'approssimazione ancora migliore, e una stima per il termine di errore, sono date dalla formula:

\pi(x)={\rm Li} (x) + O \left(x e^{-\frac{1}{15}\sqrt{\ln(x)}}\right) \quad \mbox{ per }\quad x \rightarrow \infty

(vedi notazione O grande). Qui Li(x) denota la funzione logaritmo integrale.

Quella che segue è una tabella che mette a confronto le tre funzioni (π(x), x/ln(x) e Li(x)):

x π(x) π(x) - x/ln(x) Li(x) - π(x) x/π(x)
101 4 0  2 2.500
102 25 3  5 4.000
103 168 23  10 5.952
104 1,229 143  17 8.137
105 9,592 906  38 10.430
106 78,498 6,116  130 12.740
107 664,579 44,159  339 15.050
108 5,761,455 332,774  754 17.360
109 50,847,534 2,592,592  1,701 19.670
1010 455,052,511 20,758,029  3,104 21.980
1011 4,118,054,813 169,923,159  11,588 24.280
1012 37,607,912,018 1,416,705,193  38,263 26.590
1013 346,065,536,839 11,992,858,452  108,971 28.900
1014 3,204,941,750,802 102,838,308,636  314,890 31.200
1015 29,844,570,422,669 891,604,962,452  1,052,619 33.510
1016 279,238,341,033,925 7,804,289,844,392  3,214,632 35.810
4 ·1016 1,075,292,778,753,150 28,929,900,579,949  5,538,861 37.200

Come conseguenza del teorema dei numeri primi si può ottenere un'espressione asintotica per l'n-esimo numero primo p(n):

p(n)\sim n\ln(n).

Si può anche dimostrare che la probabilità che un dato numero n sia primo è 1/ln(n).

Questo teorema fu congetturato per la prima volta da Adrien-Marie Legendre nel 1798 e dimostrato indipendentemente da Hadamard e de la Vallée Poussin nel 1896. La loro dimostrazione utilizzava metodi di analisi complessa, specialmente la funzione zeta di Riemann.

Grazie alla correlazione tra la funzione zeta di Riemann e π(x), l'ipotesi di Riemann assume un'importanza considerevole nella teoria dei numeri: se dimostrata, essa fornirebbe una stima molto migliore dell'errore presente nel teorema dei numeri primi rispetto a quelle attualmente disponibili.

Helge von Koch dimostrò più specificamente nel 1901 che, se l'ipotesi di Riemann è vera, il termine di errore nella relazione precedente può essere ridotto a:

\pi(x) = {\rm Li} (x) + O\left(\sqrt x \ln (x)\right) .

La costante nascosta dalla notazione O-grande è sconosciuta.

[modifica] Il problema della 'profondità'

Sono disponibili le cosiddette "dimostrazioni elementari" del Teorema, dimostrazioni che usano esclusivamente metodi di Teoria dei numeri. La prima fra queste è stata fornita in parte indipendentemente da Paul Erdös e Atle Selberg nel 1949. Precedentemente alcuni esperti nel campo hanno creduto che una dimostrazione simile non potesse essere trovata. In altre parole, è stato dichiarato, specialmente da G. H. Hardy, che l'analisi complessa era necessariamente coinvolta nel Teorema, portando al concetto di profondità dei teoremi. Metodi con sole variabili reali erano considerati essere inadeguati. Questo non era un concetto logico e rigoroso (e effettivamente non può esserlo), ma era piuttosto basato sull'opinione che dovesse esistere una simile gerarchia di tecniche (per ragioni di estetica, presumibilmente, nel caso di Hardy). La formulazione di questa convinzione è stata piuttosto scossa da una dimostrazione del Teorema basata sul teorema tauberiano di Wiener, benché questo possa essere aggirato assegnando al teorema di Wiener una 'profondità' stessa equivalente ai metodi complessi.

Il lavoro di Selberg - Erdös ha effettivamente messo in gioco l'intero concetto, mostrando che i metodi tecnicamente elementari (in altre parole la combinatoria) sono stati più incisivi di quanto ci si sarebbe atteso. I successivi sviluppi dei metodi del crivello hanno mostrato che essi svolgono un ruolo ben definito nella teoria dei numeri primi.

[modifica] Bibliografia

  • Tom M. Apostol (1976): Introduction to Analytic Number Theory, Springer-Verlag, New York. ISBN 0-387-90163-9.
THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu