Zum Inhalt springen

Primzahlfunktion/Primzahlsatz/Hinführung/Textabschnitt

Aus Wikiversity

Es gehört zu den schwierigsten Fragen der Zahlentheorie und der Mathematik überhaupt, die Verteilung der Primzahlen zu verstehen. Viele offene Fragen und Vermutungen beziehen sich auf Teilaspekte dieses Problems.

Einfachere Fragestellungen, die bereits die Schwierigkeit im Allgemeinen erahnen lassen, sind etwa: gibt es mehr Primzahlen unterhalb von n als zwischen n und n2? Gibt es stets eine Primzahl zwischen n und 2n? Gibt es stets eine Primzahl zwischen n2 und (n+1)2?

Es ist hilfreich, die folgende Funktion einzuführen, die Primzahlfunktion genannt wird.


Die für  x∈ℝ  definierte Funktion

x⟼π(x):=#({p≤x∣p Primzahl})

heißt Primzahlfunktion.


Die Primzahlfunktion zählt also, wie viele Primzahlen es unterhalb einer gewissen Schranke gibt. Sie nimmt offenbar nur natürliche Zahlen als Werte an und sie ist eine monoton wachsende Treppenfunktion. Sie hat genau an den Primzahlen eine Sprungstelle. Die Frage nach der Verteilung von Primzahlen ist gleichbedeutend dazu, gute Approximationen bzw. Abschätzungen für sie durch andere, besser verstandene (analytische) Funktionen zu finden.


Ein Hauptresultat der analytischen Zahlentheorie ist der sogenannte Primzahlsatz von Hadamard und de la Vallée Pousin von 1896. Es besagt grob gesprochen, dass sich die Primzahlfunktion π(x) in etwa so verhält wie x/ln⁡(x), also dass der Quotient der beiden Funktionen gegen 1 konvergiert. Hier tritt der natürliche Logarithmus (zur Basis e) auf.



Es gilt die asymptotische Abschätzung

π(x)∼xln⁡(x).

Das heißt

limx→∞π(x)xln⁡(x)=limx→∞π(x)ln⁡(x)x=1.

Dies ist ein Satz der analytischen Zahlentheorie, den wir hier nicht beweisen.

◻

Den Primzahlsatz kann man auch so verstehen, dass die Wahrscheinlichkeit, dass eine Zahl in der Größenordnung x eine Primzahl ist, gleich 1ln⁡x ist. In der Tat ist sogar das Integral dazu, also der sogenannte Integrallogarithmus  Li⁡(x)=∫2x1ln⁡tdt,  eine bessere Approximation für π(x) als x/ln⁡x. Für  x=1000000  ist  π(x)=78498,   Li⁡(x)=78628  und  xln⁡x=72382  (die beiden letzten Werte gerundet).