Zenbaki lehenen teorema
Zenbakien teorian, zenbaki lehenen teorema zenbaki lehenen banaketa asintotikoa deskribatzen duen enuntziatua da. Teorema horrek deskribapen orokor bat ematen du, zenbaki lehenak zenbaki arrunten multzoan nola dauden banatuta azaltzeko. Horrek ideia intuitiboa ezartzen du: zenbakiak gero eta handiagoak orduan eta maiztasun txikiagoarekin ageri direla zenbaki lehenak. Matematikaren historiako teorema garrantzitsuenetako bat da, ez bakarrik haren edertasunagatik, baizik eta zenbaki lehenen ikerketan duen eraginagatik.[1]
Teoremaren adierazpena
Izan bedi zenbaki lehenak kontatzeko funtzioa, hau gainditzen ez duten lehengusu-kopuruak adierazten dituena: Teoremak hau ezartzen du:[2]
, non da ren logaritmo naturala.
Adierazpen horrek ez du esan nahi adierazpen horren bi zatien arteko diferentzia -en oso balio handietarako zero denik; horrek esan nahi du -en oso balio handietarako zatidura ia 1 dela. Aurrekoa baino hurbilketa hobea desplazatutako integral logaritmikoak ematen du:
, non ren logaritmo integral desplazatua da.
Historia
1792 eta 1793 tartean, Gaussek honako ohar hau idatzi zuen bere ohar-liburuxkan artean Collegium Carolinum delakoan zegoela:
«Zenbaki lehenak a (=∞) a/la», hizkera modernoan gero eta handiagoak diren balioetarako π(x) a/ln(a) zatidurara hurbiltzen dela esan nahi duena. Hau "zenbaki lehenen teoremaren lehen aierutzat" hartzen da. Gainera, π(x) funtzioa, x-a gainditzen ez duten zenbaki lehenen kopurua adierazten duena, Gaussek ere definitu zuen.
Zenbaki lehenen teorema ere Adrien-Marie Legendrek 1798an suposatu zuen, eta adierazi zuen π(x) a/(A ln(a) + B) forma zuela, non A eta B zehaztuta ez dauden konstanteak dira. Bere zenbakien teoriaren liburuaren bogarren edizioan (1808) aieru zehatzagoa egin zuen, A = 1 eta B = -1.08366. Ondoren, Gaussek aierua findu zuen, gaur egun teoremarekin maizago lotzen den adierazpena sortuz. Legendrek, Gaussek, Dirichletek, Chebychevek eta Riemannek ere ekarpen esanguratsuak egin zituzten proposizio honi buruz.
Teoremaren frogapen formala modu independentean egin zuten Jacques Hadamardek eta Charles-Jean de la Vallée Poussin-ek 1896an. Bi frogapen horiek Riemannen zeta funtzioak 1+it forma duen zerorik (t > 0 izanki) ez izatearen emaitzan oinarritzen ziren. Egiazki, frogapena teoremaren aurreko definizioan adierazten dena baino adierazpen zorrotzago baten gainean egin zen, Hadamardek eta Poussinek frogatutako adierazpena honako hau izanik:
non
1896az geroztik, zenbaki lehenen teoremari lotutako adierazpena hobetzen joan da, eta hauxe da gaur egungo hurbilketarik onena:
non , ren funtzio asintotikoa bezala definitzen den eta A konstante indeterminatu bat den.
-ren balio txikietarako frogatu egin zen zela, eta, horren ondorioz, Gaussen garaian zenbait matematikarik suposatu izan zuten ren kota goren hertsia zela (hau da, ekuazioak ez duela soluzio errealik). Hala ere, 1912an J. E. Littlewoodek frogatu egin zuen kota hori balio aski handietarako gurutzatua dela. Lehenengoa Skewesen lehen zenbakia bezala ezagutzen dena da, eta gaur egun tik beherakoa dela badakigu, nahiz eta baino txikiagoa ere izan daitekeela uste den. 1914an Littlewoodek bere demostrazioa zabaldu zuen ekuazioari soluzio ugari gehituz. Balio eta aurkikuntza hauetako asko Riemannen hipotesiaren baliozkotasunarekin lotuta daude.
Riemann-en hipotesiarekiko erlazioa
Riemann (s) funtzioaren eta (x) funtzioaren arteko lotura dela eta, Riemann-en hipotesia oso garrantzitsua da zenbakien teorian, eta jakina, zenbaki lehenen teoreman.
Riemann-en hipotesia betetzen bada, zenbaki lehenen teoreman agertzen den errore terminoa ahalik eta modurik onenean muga daiteke. Zehatz-mehatz, Helge von Koch-ek hurrengoa frogatu zuen 1901ean:
,
baldin eta soilik baldin Riemann-en hipotesia betetzen bada. LowelSchoenfeld-ek 1976an emandako Koch-en emaitzaren aldaera finbatek dio Riemann-en hipotesia emaitza honen baliokidea dela:
.
Zenbaki lehenen teorema progresio aritmetikoetarako
n,a progresio aritmetiko batean zenbaki lehen kopurua adierazten duen funtzioa izanik, . Dirichletek eta Legendrek deduzitu zuten eta Vallée-Poussinek frogatu, baldin eta a eta n ez dira kolehenak, orduan
non φ Eulerren φ funtzioa den.
Beste era batera esanda, zenbaki lehenak modu uniformean banatzen dira [a] n moduluko klase-hondarren artean, mcd(a, n) = 1 izanik. Hori frogatzeko, Newmanek zenbaki lehenen teorema frogatzeko erabilitako antzeko metodoak erabil daitezke.
Siegel–Walfiszen teoremak zenbatespen ona ematen dio zenbaki lehenek klase-hondarretan duten banaketari.
Erreferentziak
- Gracián, Enrique: «Los números primos. Un largo camino al infinito» ISBN 978-84-473-6625-5, pág 77
- Niven y Zuckerman: Introducción a la teoría de números ISBN 968-18-0669-7, pp.23 y 24
Kanpo estekak
- (Ingelesez) Weisstein, Eric W.: "Prime Number Theorem" MathWorld-en.
- Prime number theorem en PlanetMath.