Priemgetalstelling

In de getaltheorie, een deelgebied van de wiskunde, beschrijft de priemgetalstelling de verdeling van de priemgetallen. De priemgetalstelling geeft een ruwe beschrijving van hoe ver grote priemgetallen 'gemiddeld' uit elkaar liggen. Ruwweg gesproken stelt de priemgetalstelling dat, als een willekeurig getal in de buurt van enig groot getal wordt gekozen, dan de kans dat dit gekozen getal een priemgetal is, ongeveer gelijk is aan 1, waarin staat voor de natuurlijke logaritme van . In de buurt van is de kans ongeveer 19, terwijl dit in de buurt van ongeveer 121 is.

Beschrijving bewerken

 
 werkelijk aantal priemgetallen
  

Laat   de priemgetal-telfunctie zijn die voor ieder reëel getal   het aantal priemgetallen kleiner dan of gelijk aan   geeft. Een voorbeeld is  , dit omdat er vier priemgetallen, 2, 3, 5 en 7, kleiner dan of gelijk aan 10 zijn. De priemgetalstelling stelt dan dat de limiet van het quotiënt van de twee functies   en   als   tot oneindig nadert gelijk is aan 1.

 

Deze formule staat bekend als de asymptotische verdelingswet van de priemgetallen. Dit wordt ook wel uitgedrukt als:

 

Deze notatie en ook de stelling zeggen niets over de limiet van het verschil van de twee functies als   tot oneindig nadert. Het verschil gedraagt zich zeer gecompliceerd en is nauw aan de riemann-hypothese gerelateerd. De priemgetalstelling zegt dat   nadert tot   in de zin dat de relatieve fout van deze benadering tot 0 nadert, als   tot oneindig nadert.

De priemgetalstelling is equivalent aan de stelling dat het  -de priemgetal   ongeveer gelijk is aan  , waarbij de relatieve fout van deze benadering opnieuw tot 0 nadert als   tot oneindig nadert.

Geschiedenis van de asymptotische verdelingswet van de priemgetallen bewerken

Gebaseerd op de priemgetallentabellen van Felkel en Vega uitte Legendre in 1796 het vermoeden dat   wordt benaderd door de functie  , waarin   een constante dicht bij 1 is. Gauss hield zich in ongeveer dezelfde tijd als Legendre met hetzelfde vraagstuk bezig en kwam op basis van de voorliggende berekeningen en enige heuristische redeneringen met zijn eigen benaderingsfunctie, de logaritmische integraal  , maar publiceerde zijn resultaten niet. De formules van zowel Legendre als Gauss betekenen dat   en   naar dezelfde waarde naderen. De benadering van Gauss blijkt beter te zijn, als de verschillen in plaats van de quotiënten worden beschouwd.

De Russische wiskundige Tsjebysjev heeft in twee artikelen uit 1848 en 1850 geprobeerd de asymptotische verdelingswet van de priemgetallen te bewijzen. Zijn werk valt op door het gebruik van de zèta-functie  , nog voor de beroemde verhandeling van Riemann uit 1859. Tsjebysjev slaagde erin een iets zwakkere vorm van de asymptotische verdelingswet te bewijzen, namelijk dat, als de limiet van   voor   naar oneindig, bestaat, deze limiet noodzakelijkerwijs gelijk is aan 1. Hij was in staat om zonder voorbehoud te bewijzen dat dit quotiënt voor elke   door twee gegeven constanten wordt begrensd. Hoewel Tsjebysjev in zijn artikel de priemgetalstelling niet helemaal bewees, gebruikte hij zijn schattingen voor   om het postulaat van Bertrand, dat er voor   een priemgetal tussen   en   bestaat, te bewijzen.

De verhandeling van Riemann uit 1859, Über die Anzahl der Primzahlen unter einer gegebenen Grösse, Over het aantal priemgetallen kleiner dan een gegeven grootte was zonder twijfel het belangrijkste werk over de verdeling van de priemgetallen. Het is het enige artikel dat Riemann ooit over dit onderwerp heeft geschreven en hij gaf er revolutionaire ideeën over het onderwerp in. Het belangrijkste daarvan is het idee dat de verdeling van priemgetallen nauw is verbonden met de nulpunten van de analytisch voortgezette riemann-zèta-functie van een complexe variabele. In het bijzonder, in deze verhandeling brengt Riemann zijn idee tot uitvoer om methoden uit de functietheorie bij het bestuderen van de reële functie   te gebruiken. Voortbordurend op deze diepe ideeën van Riemann slaagden Hadamard en De la Vallée Poussin er onafhankelijk van elkaar in, bijna veertig jaar na Riemann en alle twee in 1896, de asymptotische verdelingswet van de priemgetallen te bewijzen. Beiden maakten gebruik van methoden uit de functietheorie, waarbij zij als een belangrijke stap in het bewijs vaststelden dat de riemann-zèta-functie   ongelijk aan nul is voor alle complexe waarden van de variabele   die van de vorm   met   zijn.[1]

De stellingen van Hadamard en de La Vallée Poussin werden in de 20e eeuw ook bekend als de priemgetalstelling en er werden verschillende nieuwe bewijzen van de priemgetalstelling gevonden, waaronder die van Selberg en Erdős in 1949.