Satz von Dirichlet (Primzahlen)
Der Satz von Dirichlet, gelegentlich auch Dirichletscher Primzahlsatz, benannt nach Peter Gustav Lejeune Dirichlet, ist eine Aussage aus dem mathematischen Teilgebiet der Zahlentheorie. Er besagt, dass eine aufsteigende arithmetische Progression unendlich viele Primzahlen enthält, wenn dies nicht aus trivialen Gründen, etwa bei <math>2, 4, 6, 8, \dots</math>, unmöglich ist. Eine arithmetische Progression ist dabei eine Folge ganzer Zahlen, sodass zwei aufeinanderfolgende Glieder stets dieselbe Differenz haben, wie zum Beispiel
- <math>1, 4, 7, 10, 13, \dots</math>
Ganz allgemein ist eine solche Folge für eine ganze Zahl <math>a</math> und eine natürliche Zahl <math>N</math> gegeben durch
- <math>a, a+N, a+2N, a + 3N, \ldots</math>
Die Folge ist dann im Sinne des Satzes von Dirichlet „trivial“, wenn <math>a</math> und <math>N</math> einen gemeinsamen Teiler haben, der größer als <math>1</math> ist. Den ersten vollständigen Beweis der Aussage lieferte Dirichlet im Jahr 1837. Dabei wurden erstmals rein analytische Methoden für die Gewinnung eines zahlentheoretischen Satzes verwendet. Die Vermutung über Primzahlen in arithmetischen Folgen stammt von Adrien-Marie Legendre aus dem Jahr 1798, der in seinem Lehrbuch der Zahlentheorie einen fehlerhaften Beweis gab, wie Dirichlet darlegte. Anwendung findet der Satz innerhalb der Zahlentheorie, etwa im Beweis des Satzes von Hasse-Minkowski.
Bezogen auf das Dezimalsystem sagt der Satz aus, dass es jeweils unendlich viele Primzahlen gibt, die auf eine 1, auf eine 3, auf eine 7 und auf eine 9 enden. Allgemeiner kann man sagen: Gibt es zwei verschiedene Primzahlen, die in einem Zahlensystem auf die gleiche Ziffernfolge enden, so gibt es unendlich viele weitere Primzahlen, die in diesem Zahlensystem auf diese Ziffernfolge enden. Etwa gibt es unendlich viele Primzahlen, die auf die Ziffern 419 enden. Die ersten Primzahlen mit dieser Eigenschaft sind <math>419, 5419, 8419,</math> und <math>9419</math>.
Dirichlets Beweis war ein wichtiger Schritt zur Begründung der analytischen Zahlentheorie und führte zur Etablierung der Dirichletschen L-Funktionen, der Dirichlet-Charaktere und der analytischen Klassenzahlformel für quadratische Zahlkörper. Die Einführung der L-Funktion geschah in Analogie zu Leonhard Eulers Einführung der Zetafunktion bei der Primzahlverteilung. Tatsächlich konnte Dirichlet eine etwas stärkere Formulierung als die bloße Unendlichkeitsaussage gewinnen, denn er lieferte eine Verallgemeinerung des Satzes von Euler über Primzahlen: Addiert man also die Kehrwerte <math>\tfrac1p</math> aller Primzahlen <math>p</math> in der betroffenen arithmetischen Progression, ist das Ergebnis Unendlich. Diese Aussage impliziert die Unendlichkeit der entsprechenden Primzahlmenge, aber es existieren ganz allgemein unendlich lange Zahlfolgen, die in ihrer Kehrwertsumme beschränkt sind. Dirichlet zeigte dafür als entscheidenden Zwischenschritt das Nicht-Verschwinden der Dirichletschen L-Funktionen an der Stelle <math>1</math>. Hierbei wurde die Bedeutung des Nullstellenverhaltens von L-Funktionen in Form sog. Nichtverschwindungssätze für die Zahlentheorie erstmals offenkundig.
Im Laufe der Zeit konnte der Satz immer weiter verbessert werden. So schätzt etwa der Primzahlsatz für arithmetische Progressionen die genaue Anzahl der Primzahlen in einer arithmetischen Folge, die eine obere Schranke nicht überschreiten. Eine Folgerung ist, dass bei fester Wahl von <math>N</math> in unterschiedlichen Folgen stets asymptotisch gleich viele Primzahlen liegen. Der Fehlerterm in dieser beschriebenen Primzahlverteilung ist Gegenstand des Satzes von Siegel-Walfisz, des Satzes von Bombieri und Winogradow und der Vermutung von Elliott und Halberstam. Unter Annahme der verallgemeinerten Riemannschen Vermutung kann dieser Fehler zudem sehr deutlich verbessert werden.
Eine Verallgemeinerung ist der Tschebotarjowsche Dichtigkeitssatz.
Notation
Es werden durchweg folgende Bezeichnungen verwendet:
- <math>\N</math>, <math>\Z</math>, <math>\Q</math>, <math>\R</math> und <math>\C</math> bezeichnen die natürlichen, ganzen, rationalen, reellen bzw. komplexen Zahlen.
- Die Notation für asymptotische Beschränktheit durch Landau-Symbole: Es bedeutet <math>f(x) = O(g(x))</math>, dass <math>\limsup_{x \to a} \left|\tfrac{f(x)}{g(x)}\right| < \infty</math> (wobei meist <math>a=\infty</math>). Analog wird <math>f(x) \ll g(x)</math> mit <math>x \to a</math> gebraucht. Ferner bedeutet <math>f(x) = o(g(x))</math> sogar <math>\limsup_{x \to a} \left|\tfrac{f(x)}{g(x)}\right| = 0</math>. Es bezeichnet hierbei <math>\limsup</math> den Limes superior. Es bedeutet <math>f(x) \sim g(x)</math> für <math>x \to a</math> schließlich
- <math> \lim_{x \to a} \tfrac{f(x)}{g(x)} = 1.</math>
- Das Symbol <math>\lim\limits_{x \to 1^+}</math> bedeutet, dass sich <math>x</math> dem Wert 1 unter der Bedingung <math>x > 1</math> nähert und ihm beliebig nahe kommt, etwa durch <math>1{,}1; 1{,}01; 1{,}0001; \dots</math>
- Es bezeichnen durchgängig <math>\operatorname{Re}(z)</math> und <math>\operatorname{Im}(z)</math> den Real- bzw. Imaginärteil der komplexen Zahl <math>z</math>.
- Wie üblich ist durchgängig <math>\log(x)</math> der natürliche Logarithmus von <math>x</math>, und <math>e^x</math> ist die natürliche Exponentialfunktion. Es bezeichnen <math>\mathrm{Li}(x)</math> den Integrallogarithmus und <math>\pi(x)</math> die Primzahl zählende Funktion. Allgemeiner ist <math>\pi(x; N, l)</math> die Anzahl aller Primzahlen <math>p \leq x</math>, sodass <math>p - l</math> durch <math>N</math> teilbar ist. Teilt die Zahl <math>d</math> die Zahl <math>N</math>, so wird dies mit <math>d|N</math> notiert.
- Es bedeutet die Schreibweise <math>a \equiv b \pmod{N}</math>, dass <math>N|(a-b)</math>, dass also <math>N</math> die Zahl <math>a-b</math> teilt, siehe auch Modulo.
- Es bezeichnet <math>\zeta(s)</math> die Riemannsche Zeta-Funktion. Zudem wird <math>s = \sigma + it</math> mit reellen <math>\sigma</math> und <math>t</math> geschrieben.
- Es bezeichnet <math>\varphi(n)</math> die Eulersche Phi-Funktion.
- Es bezeichnet <math>\textstyle \sum</math> das Summenzeichen und <math>\textstyle \prod</math> das Produktzeichen.
Aussage des Satzes
Primzahlen
{{#if: Primzahl|{{#ifexist:Primzahl|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Im Zentrum der Zahlentheorie, jenes Zweiges der Mathematik, der sich mit den Eigenschaften der natürlichen Zahlen 1, 2, 3, 4, … beschäftigt, stehen die Primzahlen 2, 3, 5, 7, 11, … Diese sind ausgezeichnet durch die Eigenschaft, genau zwei Teiler zu haben, nämlich die 1 und sich selbst. Die 1 ist keine Primzahl. Primzahlen bilden gewissermaßen die Atome der ganzen Zahlen, da sich jede positive ganze Zahl eindeutig multiplikativ in solche zerlegen lässt. Dieses Resultat wird auch als Fundamentalsatz der Arithmetik bezeichnet. Zum Beispiel gilt <math>21 = 3 \cdot 7</math> und <math>110 = 2 \cdot 5 \cdot 11</math>.
Trotz ihrer einfachen Definition ist nach mehreren Jahrtausenden Mathematikgeschichte bis heute kein Muster bekannt, dem sich die Primzahlen in ihrer Folge unterwerfen. Ihre Natur ist eine der bedeutendsten offenen Fragen der Mathematik. In der modernen Mathematik gibt es jedoch tiefliegende Vermutungen, die das Verhalten der Primzahlen als pseudozufällig einordnen und Verbindungen zur Quantenphysik sehen. All diese Aussagen liegen im Themenbereich der Riemannschen Vermutung.
Der Satz von Dirichlet
Eine arithmetische Progression ist eine Folge von ganzen Zahlen, bei der die Differenz zweier aufeinanderfolgender Zahlen konstant ist. Beispiele sind
- <math> 1, 5, 9, 13, 17, 21, \dots</math>
oder auch
- <math> 17, 117, 217, 317, \dots</math>
Der Satz von Dirichlet besagt, dass eine arithmetische Progression stets unendlich viele Primzahlen beinhaltet, es sei denn, dies ist aus trivialen Gründen unmöglich. In der einfachsten Fassung lautet der Satz:
- Es sei <math>N</math> eine natürliche Zahl und <math>a</math> eine zu <math>N</math> teilerfremde natürliche Zahl. Dann enthält die arithmetische Progression <math>a, a+N, a+2N, a+3N,\ldots </math> unendlich viele Primzahlen.<ref name="JB36">Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 36.</ref>
Anders formuliert: Es gibt unendlich viele Primzahlen, die kongruent zu <math>a</math> modulo <math>N</math> sind. Dabei ist die Voraussetzung der Teilerfremdheit notwendig. Wären <math>a</math> und <math>N</math> nicht teilerfremd und <math>g>1</math> ein gemeinsamer Teiler, so wäre jedes Folgenglied durch <math>g</math> teilbar; zwei verschiedene Primzahlen können aber nicht beide durch <math>g</math> teilbar sein. Dass die Bedingung der Teilerfremdheit von <math>a</math> und <math>N</math> für die Existenz unendlich vieler Primzahlen in der entsprechenden Folge nicht nur notwendig, sondern auch hinreichend ist, ist genau die Aussage des Satzes von Dirichlet. Dirichlet konnte sogar etwas mehr zeigen. Es handelt sich um eine direkte Verallgemeinerung des Satzes von Euler über Primzahlen. Es gilt mit oberen Bedingungen:<ref name="JB36" />
- <math> \sum_{p \ \text{Primzahl} \atop p \equiv a \pmod{N}} \frac{1}{p} = \infty. </math>
Diese Aussage ist stärker als die obere Version. Denn offenbar impliziert die Divergenz der Reihe die Unendlichkeit der Primzahlen in der betroffenen arithmetischen Folge. Es gibt allerdings unendliche Folgen, deren Kehrwertsumme beschränkt bleibt. Ein Beispiel bilden die Quadratzahlen (siehe Basler Problem), ferner die Zweierpotenzen, für die gilt
- <math> 1 + \frac12 + \frac14 + \frac18 + \frac{1}{16} + \cdots = 2 < \infty.</math>
Damit besagt die verstärkte Fassung des Satzes von Dirichlet, dass die Primzahlen in den relevanten arithmetischen Progressionen gewissermaßen „dicht“ unter den natürlichen Zahlen verteilt sind.
Beispiele
Aus dem Satz von Dirichlet folgt zum Beispiel, dass unendlich viele Primzahlen auf die Ziffern 1, 3, 7 oder 9 enden. Noch allgemeiner gibt es unendlich viele Primzahlen, deren letzte Ziffern auf 37, 113, 419 oder 567241 enden. Die ersten Primzahlen mit Endziffern 419 sind <math>419, 5419, 8419, 9419, 14419, 17419</math>. Es gilt ferner
- <math>\frac{1}{419} + \frac{1}{5419} + \frac{1}{8419} + \frac{1}{9419} + \frac{1}{14419} + \frac{1}{17419} + \cdots = \infty.</math>
Triviale Gründe, wann der Satz nicht gilt, liegen vor, wenn <math>a</math> und <math>N</math> nicht teilerfremd sind. Dann gibt es eine ganze Zahl <math>d > 1</math>, die sowohl <math>a</math> als auch <math>N</math> teilt. Damit teilt <math>d</math> jede der Zahlen <math>a + kN</math> mit natürlichen <math>k</math> und somit enthält diese Folge höchstens (einmal) die Primzahl <math>d</math>, falls <math>d</math> überhaupt prim ist. Etwa sind <math>a=8</math> und <math>N=12</math> nicht teilerfremd. In der Tat sind alle Zahlen der Progression
- <math> 8, 20, 32, 44, \dots</math>
durch <math>4 = \operatorname{ggT}(8,12)</math> teilbar. Damit enthält sie keine einzige Primzahl.
Trivialerweise impliziert der Satz von Dirichlet den Satz des Euklid, der besagt, dass es unendlich viele Primzahlen gibt. Setzt man etwa <math>a=N=1</math>, so besagt er, dass die Progression
- <math> 1, 2, 3, 4, 5, \dots</math>
unendlich viele Primzahlen enthält.
Geschichte
Die mathematische Entdeckungsgeschichte über die Verteilung der Primzahlen reicht bis in die Antike zurück. Schon Euklid erkannte, dass es unendlich viele Primzahlen gibt. Sein Resultat wird als der Satz des Euklid bezeichnet. Ab dem 18. Jahrhundert wurde begonnen, dieses qualitative Resultat quantitativ zu vertiefen. Dabei spielten zunehmend Methoden aus der Analysis eine Rolle, die den alten Griechen noch nicht zur Verfügung standen.
Eine Entdeckung Eulers
{{#if: Satz von Euler (Primzahlen)|{{#ifexist:Satz von Euler (Primzahlen)|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Leonhard Eulers Entdeckungen zu den Primzahlen waren ein Wegweiser für die kommende Entwicklung von einer elementaren, in der Tradition der alten Griechen stehenden, hin zu einer modernen Form der Zahlentheorie. Im Jahr 1737, während seiner ersten Zeit in Sankt Petersburg, untersuchte Euler einen neuartigen Zugang zu den Primzahlen und fand heraus, dass sie „verhältnismäßig dicht“ unter den natürlichen Zahlen verstreut sind. Genauer bewies er
- <math> (\mathrm{P}) \quad \sum_{p \, \text{Primzahl}} \frac{1}{p} = \frac12 + \frac13 + \frac15 + \frac17 + \frac{1}{11} + \frac{1}{13} + \frac{1}{17} + \cdots = \infty.</math>
Summiert man also nacheinander die Kehrwerte der Primzahlen, wird auf Dauer jede noch so große obere Schranke durchbrochen. Dies zeigt, dass Primzahlen eher „dicht“ unter den natürlichen Zahlen verstreut sind; zum Beispiel „dichter“ als die Quadratzahlen,<ref>Harold M. Edwards: Riemann’s Zeta Function. Dover, S. 1.</ref> denn ebenfalls Euler zeigte
- <math>1 + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \frac{1}{5^2} + \cdots = \frac{\pi^2}{6} \approx 1{,}645 < \infty.</math>
Quadratzahlen wachsen also langfristig schnell genug an, dass die Summe ihrer Kehrwerte den endlichen Wert 1,645 nicht überschreitet. Euler stand seiner Zeit nicht die mathematische Sprache zur Verfügung, diese Verschärfung des Euklidischen Satzes präzise zu interpretieren, und es gibt keinen Nachweis, dass er sich mit exakten Aussagen zur Verteilung von Primzahlen beschäftigte.<ref>Harold M. Edwards: Riemann’s Zeta Function. Dover, S. 2.</ref>
Eulers Beweisstrategie für <math>(\mathrm{P})</math> nutzt das sog. Euler-Produkt. Dabei spielt die eindeutige Zerlegbarkeit natürlicher Zahlen in Primfaktoren eine Schlüsselrolle. Das Euler-Produkt steht in Zusammenhang zu einem Objekt, das bis heute in der Primzahlforschung benutzt wird und in der modernen Mathematik als Riemannsche Zeta-Funktion bekannt ist. Die Zeta-Funktion spielt ebenfalls für die Riemannsche Vermutung eine zentrale Rolle. Die neuartige Leistung bestand darin, Fragen zu Primzahlen systematisch durch funktionale Zusammenhänge zwischen Zahlen anzugreifen. Euler gilt deswegen als Initiator der analytischen Zahlentheorie.<ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 4.</ref>
Auch Euler hatte sich bereits Gedanken über Primzahlen in arithmetischen Progressionen gemacht. So behauptete er 1785, dass es zu jeder Zahl <math>N</math> unendlich viele Primzahlen mit <math>p \equiv 1 \pmod{N}</math> gibt.<ref>Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 49.</ref>
Erste vollständige Formulierung und Beweisversuche
Zur Gänze wurde das Problem erstmals von Adrien-Marie Legendre im Jahre 1798 formuliert. Dies war verbunden mit dem ersten Beweisversuch, der ebenfalls von Legendre unternommen wurde. In der zweiten Auflage seines Buchs Essai sur la théorie des nombres (publiziert 1808) gab er 1798 einen fehlerhaften Beweis. In der dritten Auflage von 1830 wiederholte er denselben Fehler. Legendres Irrtum verbarg sich hinter den Worten „Wie man einfach sieht, …“, die am Ende des 409. Abschnittes der dritten Auflage auftauchten. Dort skizzierte er den Beweis eines für seinen Beweis zentralen Lemmas, das er in Abschnitt 410 formulierte:
- Es seien <math>q_1, \dots, q_r</math> paarweise verschiedene, ungerade Primzahlen, und es bezeichne <math>q</math> die <math>r</math>-te Primzahl, dann gibt es stets innerhalb <math>q</math> aufeinanderfolgender Terme in der arithmetischen Progression <math>kx+l</math> mit <math>\mathrm{ggT}(k,l)=1</math> eine Zahl, die durch keinen der Werte <math>q_j</math> teilbar ist.
Die Unzulänglichkeit des Beweises von Legendre wurde bereits von Dirichlet hervorgehoben:
{{#ifeq: {{{vor}}}@@-@@{{{nach}}} | -@@-@@-
| {{#if:trim|Dieser Beweis, dessen Prinzip sehr genial ist, scheint unvollständig zu sein; wenn man ihn mit großer Aufmerksamkeit betrachtet, sieht man, dass der Autor ein Theorem verwendet, das er nur auf Induktion stützt und das möglicherweise ebenso schwer zu beweisen ist wie die Aussage, die der Autor daraus ableitet. Auf jeden Fall waren meine Bemühungen, das Studium von Legendre zu vervollständigen, nicht erfolgreich, und ich musste ganz andere Mittel finden.}}
| {{#ifeq: {{#if:|{{{vor}}}|@#@}}{{#if:|{{{nach}}}|@#@}} | @#@@#@
| {{#ifeq: de | de
| „{{#if:trim|Dieser Beweis, dessen Prinzip sehr genial ist, scheint unvollständig zu sein; wenn man ihn mit großer Aufmerksamkeit betrachtet, sieht man, dass der Autor ein Theorem verwendet, das er nur auf Induktion stützt und das möglicherweise ebenso schwer zu beweisen ist wie die Aussage, die der Autor daraus ableitet. Auf jeden Fall waren meine Bemühungen, das Studium von Legendre zu vervollständigen, nicht erfolgreich, und ich musste ganz andere Mittel finden.}}“
| {{#invoke:Text|quoteUnquoted| Dieser Beweis, dessen Prinzip sehr genial ist, scheint unvollständig zu sein; wenn man ihn mit großer Aufmerksamkeit betrachtet, sieht man, dass der Autor ein Theorem verwendet, das er nur auf Induktion stützt und das möglicherweise ebenso schwer zu beweisen ist wie die Aussage, die der Autor daraus ableitet. Auf jeden Fall waren meine Bemühungen, das Studium von Legendre zu vervollständigen, nicht erfolgreich, und ich musste ganz andere Mittel finden. | {{{lang}}} }} }}
| {{#ifeq: {{#if:|{{{vor}}}|-}} | -
| „
| {{{vor}}} }}{{#if:trim|Dieser Beweis, dessen Prinzip sehr genial ist, scheint unvollständig zu sein; wenn man ihn mit großer Aufmerksamkeit betrachtet, sieht man, dass der Autor ein Theorem verwendet, das er nur auf Induktion stützt und das möglicherweise ebenso schwer zu beweisen ist wie die Aussage, die der Autor daraus ableitet. Auf jeden Fall waren meine Bemühungen, das Studium von Legendre zu vervollständigen, nicht erfolgreich, und ich musste ganz andere Mittel finden.}}{{
#ifeq: {{#if:|{{{nach}}}|-}} | -
| “
| {{{nach}}} }} }} }}{{
#if: Peter Dirichlet || <ref>Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 49–50.</ref> }}
{{#if:
|
„{{{Latn}}}“{{#if: Peter Dirichlet || <ref>Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 49–50.</ref> }}
}}{{#if:
|
„{{{de}}}“{{#if: Peter Dirichlet || <ref>Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 49–50.</ref> }}
}}|{{#if:
|}}}}
{{#if: <ref>Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 49–50.</ref> |
{{#if: {{#invoke:Text|unstrip|<ref>Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 49–50.</ref>}}
| }} }}{{#if: Dieser Beweis, dessen Prinzip sehr genial ist, scheint unvollständig zu sein; wenn man ihn mit großer Aufmerksamkeit betrachtet, sieht man, dass der Autor ein Theorem verwendet, das er nur auf Induktion stützt und das möglicherweise ebenso schwer zu beweisen ist wie die Aussage, die der Autor daraus ableitet. Auf jeden Fall waren meine Bemühungen, das Studium von Legendre zu vervollständigen, nicht erfolgreich, und ich musste ganz andere Mittel finden. | {{
#if: | {{#if: Dieser Beweis, dessen Prinzip sehr genial ist, scheint unvollständig zu sein; wenn man ihn mit großer Aufmerksamkeit betrachtet, sieht man, dass der Autor ein Theorem verwendet, das er nur auf Induktion stützt und das möglicherweise ebenso schwer zu beweisen ist wie die Aussage, die der Autor daraus ableitet. Auf jeden Fall waren meine Bemühungen, das Studium von Legendre zu vervollständigen, nicht erfolgreich, und ich musste ganz andere Mittel finden. |
Vorlage:Zitat: Doppelangabe 1=Text=}}
}}| }}{{#if: | {{#if: Peter Dirichlet |
Vorlage:Zitat: Doppelangabe 2=Autor=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe 3=Quelle=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe Umschrift=Latn=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe Sprache=lang=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe Übersetzung=de=}}
}}
Das Lemma von Legendre, das nach A. Desboves (1855) sogar die bis heute unbewiesene Legendre-Vermutung als Konsequenz gehabt hätte, stellte sich schließlich als falsch heraus. Der Fehler wurde zuerst von A. Dupré in einer bei der Paris Academy eingereichten Schrift benannt.<ref name="WN50">Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 50.</ref> Dupré zeigte, dass es bereits bei <math>k=1</math> und mit der Wahl <math>q_j</math> als die ersten <math>r</math> Primzahlen mit <math>q_r = 23, 37</math> oder <math>43 \leq q_r \leq 113</math> scheitert. Dass das Lemma in dieser Konstellation sogar für alle <math>q_r \geq 43</math> scheitert, wurde 1930 von A. Brauer und H. Zeitz gezeigt.<ref name="WN50" />
Alte Ideen, neuer Zugang: Dirichlet führt Eulers Überlegungen weiter aus
Obwohl Euler das Problem über die Unendlichkeit von Primzahlen in geeigneten arithmetischen Progressionen nicht löste, lieferte er mit der von ihm gezeigten Divergenz der Reihe
- <math>\frac12 + \frac13 + \frac15 + \frac17 + \cdots = \infty</math>
über alle Primzahlen bedeutende Vorarbeit. Der erste vollständige Beweis der Vermutung von Legendre wurde von Peter Dirichlet 1837 gegeben, der ihn am 27. Juli desselben Jahres bei einer Konferenz in der Preußischen Akademie der Wissenschaften in Berlin präsentierte. Er gab einen vollständigen Beweis für den Fall mit Primzahlabständen und hatte auch den allgemeinen Fall bis zu einem entscheidenden Punkt entwickelt. Hierfür wurde ein detaillierter Beweis 1839 von Dirichlet nachgeliefert. Dirichlets Beweis zeigte, dass falls <math>l_1, l_2</math> zu <math>N</math> teilerfremde ganze Zahlen sind, bereits
- <math> \lim_{x \to 1^+} \frac{\sum\limits_{p \ \text{Primzahl} \atop p \equiv l_1 \pmod{N}} \frac{1}{p^x}}{\sum\limits_{p \ \text{Primzahl} \atop p \equiv l_2 \pmod{N}} \frac{1}{p^x}} = 1</math>
gelten muss. Dies zeigte zudem, dass die Primzahlen in einem gewissen Sinne gleichverteilt unter den nichttrivialen Restklassen sind. Dies wird mit der, ebenfalls von Dirichlet gezeigten,<ref>Gerald Tenenbaum: Introduction to Analytic and Probabilistic Number Theory, Graduate Studies in Mathematics, American Mathematical Society, Third Edition, S. 370.</ref> Aussage
- <math> \sum_{{p \ \text{Primzahl} \atop p \leq x} \atop p \equiv a \pmod{N}} \frac{1}{p} \sim \frac{\log(\log(x))}{\varphi(N)}</math>
verdeutlicht, wobei <math>\varphi</math> die Eulersche Phi-Funktion bezeichnet. Allerdings waren Dirichlets Methoden nicht geeignet, asymptotische Gleichverteiltheit tatsächlich zu zeigen. Er konnte also nicht
- <math> \lim_{x \to \infty} \frac{\pi(x; N, l_1)}{\pi(x; N, l_2)} = 1</math>
beweisen, wobei <math>\pi(x;N, l)</math> die Anzahl der Primzahlen <math>p \leq x</math> bezeichnet, sodass <math>p \equiv l \pmod{N}</math> gilt. Ein dafür angefertigter Beweis von Legendre vom Jahr 1830 war fehlerhaft, und der erste korrekte Beweis für die Gleichverteiltheit wurde 1896 unabhängig von Jacques Hadamard und Charles-Jean de La Vallée Poussin erbracht.<ref name="WN51">Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 51.</ref>
Elementare Beweise für spezielle Moduln
Für gewisse Spezialfälle ist es möglich, einen elementaren Beweis für bestimmte Restklassen zu geben. Diese ähneln dem Beweis des Satzes von Euklid hinsichtlich Mittel und Methodik. Elementar bedeutet, dass nur Sätze aus der elementaren Zahlentheorie angewendet werden, die sämtlich auf Teilbarkeitseigenschaften, wie das Rechnen mit Resten und die Eigenschaft, dass sich jede natürliche Zahl eindeutig als Produkt von Primzahlen zerlegen lässt, aufbauen.
Die Progression 1, 2, 3, 4, …
{{#if: Satz des Euklid|{{#ifexist:Satz des Euklid|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Bei der Wahl <math>a=N=1</math> erhält man die Progression <math>1, 2, 3, 4, \dots</math> In diesem Fall geht der Satz von Dirichlet in den aus der Antike bekannten Satz des Euklid über, der schlicht die Unendlichkeit der Primzahlen beinhaltet. Für den Beweis dieser Aussage kann man für ein beliebiges natürliches <math>M</math> die Zahl <math>m = M! + 1</math> betrachten, wobei <math>M! = 1 \cdot 2 \cdots M</math> die Fakultät von <math>M</math> bezeichnet. Es ist dann <math>m</math> durch keine der Zahlen <math>2, 3, 4, \dots, M</math> teilbar. Also gibt es eine Primzahl <math>p > M</math>. Da <math>M</math> beliebig groß gewählt werden kann, folgt die Behauptung.<ref>Gerald Tenenbaum, Michel Mendès France: The Prime Numbers and Their Distribution, Student Mathematical Library, Vol. 6, AMS, S. 2.</ref>
Die Fälle 4n+1 und 4n+3
Für einen schnellen Beweis, dass es unendlich viele Primzahlen der Form <math>4n+3</math> gibt, betrachtet man unter der Annahme, dass <math>p</math> die größte Primzahl dieser Form ist, das Produkt
- <math> M = 2^2 \cdot 3 \cdot 5 \cdots p - 1.</math>
Es wird ausgenutzt, dass die Behauptung folgt, wenn es unendlich viele Primzahlen der Form <math>4n-1</math> gibt (Variablenwechsel <math>n \mapsto n-1</math>). Das Produkt <math>3 \cdot 5 \cdots p</math> enthält dabei alle ungeraden Primzahlen <math>\leq p</math>. Da <math>M</math> von der Form <math>4n-1</math> ist, kann es wegen <math>M > p</math> nach Annahme keine Primzahl sein. Andererseits übersteigen alle Primfaktoren von <math>M</math> die Zahl <math>p</math>, müssen also von der Form <math>4n+1</math> sein. Da das Produkt zweier, und damit beliebig vieler, Zahlen mit Rest 1 wegen
- <math>(4k+1)(4l+1) = 16kl + 4k + 4l + 1 = 4(4kl+k+l) + 1</math>
wieder Rest 1 (modulo 4) hat, müsste auch <math>M</math> den Rest 1 modulo 4 haben. Allerdings ist <math>M</math> von der Form <math>4n-1</math>, und dies erzeugt einen Widerspruch.<ref name="TA147">Tom M. Apostol: Introduction to Analytic Number Theory. Springer-Verlag, New York / Heidelberg / Berlin 1976, S. 147.</ref>
Um zu sehen, dass es unendlich viele Primzahlen von der Form <math>4n+1</math> gibt, betrachtet man für eine natürliche Zahl <math>M > 1</math> den Wert <math>m = (M!)^2 + 1</math>, wobei <math>M! = 1 \cdot 2 \cdots M</math> die Fakultät von <math>M</math> bezeichnet. Dann ist <math>m</math> offenbar eine ungerade Zahl und größer als 1. Es sei <math>p</math> der kleinste Primfaktor von <math>m</math>. Es teilt nach Konstruktion keine der Zahlen <math>2, \dots, M</math> den Wert <math>m</math>, daher muss <math>p > M</math> gelten. Offenbar gilt zudem
- <math> (M!)^2 \equiv -1 \pmod{p}.</math>
Potenziert man beide Seiten mit <math>\tfrac{p-1}{2}</math> (<math>p</math> ist ungerade), so findet man
- <math> (M!)^{p-1} \equiv (-1)^{\frac{p-1}{2}} \pmod{p}.</math>
Nach dem kleinen Satz von Fermat gilt <math>(M!)^{p-1} \equiv 1 \pmod{p}</math>, also folgt
- <math> 1 \equiv (-1)^{\frac{p-1}{2}} \pmod{p}.</math>
Da <math>p > 2</math>, sieht man damit schnell, dass <math>\tfrac{p-1}{2}</math> gerade sein muss, <math>p</math> also von der Form <math>4n+1</math> sein muss. Da <math>p > M</math> und <math>M</math> beliebig groß gewählt war, folgt die Behauptung.<ref name="TA147"/>
Die Restklasse 1
Auch für den Fall der Restklasse 1 gibt es elementare Argumente. Zunächst wird dafür gezeigt, dass es unendlich viele Zahlen <math>n</math> gibt, sodass eine Primzahl mit <math>p \equiv 1 \pmod{n}</math> existiert.<ref>Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 88.</ref> Ein Beweis dieser Aussage von E. Wendt aus dem Jahre 1895 nutzt dabei die Polynome <math>g_n(X)</math>, die als kleinstes gemeinsames Vielfaches der Polynome <math>X^d - 1</math> mit <math>d|n</math> und <math>1 \leq d < n</math> definiert sind. Wendt bewies als Zwischenschritt, dass es unendlich viele ganze Zahlen <math>x</math> gibt, sodass die Werte <math>g_n(x)</math> und <math>\tfrac{x^n-1}{g_n(x)}</math> teilerfremd sind, was mit elementaren Mitteln gezeigt werden kann.
| Beweis des Lemmas |
|
Da <math>x^n-1</math> keine mehrfachen Nullstellen besitzt, ist der größte gemeinsame Teiler der Polynome <math>f</math> und <math>g</math> gleich 1. Also gibt es Polynome <math>A</math> und <math>B</math> mit rationalen Koeffizienten, die
erfüllen. Nachdem man mit dem gemeinsamen Nenner durchmultipliziert, gelangt man zu
wobei <math>a,b</math> ganzzahlige Polynome sind, und <math>c</math> eine ganze Zahl ungleich 0 ist. Wenn man für ein <math>x \in \Z</math> auch <math>\mathrm{ggT}(f(x),g(x)) = d > 1</math> hat, dann erhält man <math>d|c</math>. Dies zeigt das Lemma, denn für jedes ganzzahlige Vielfache <math>mc</math> von <math>c</math> hat man <math>f(mc)|(mc)^n-1</math>, also ist <math>f(mc)</math> teilerfremd zu <math>c</math>, also folgt <math>\mathrm{ggT}(f(mc),g(mc)) = 1</math>. |
Nach einer Wahl <math>x \in \Z</math> mit <math>(f(x),g(x)) = 1</math> und <math>f(x) \notin \{0, \pm1\}</math> und sei <math>q</math> eine Primzahl, die <math>f(x)</math> teilt. Es gilt daher <math>x^n \equiv 1 \pmod{q}</math>. Da <math>q \not\mid g(x)</math> folgt, dass für jeden echten Teiler <math>d</math> von <math>n</math>, hat man <math>q \not\mid (x^d-1)</math>. Dies zeigt, dass die Ordnung von <math>x \pmod{q}</math> genau <math>n</math> ist.<ref>Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 89.</ref>
Sätze von Schur und Murty
Die Frage, ob sich für jede Restklasse der Satz von Dirichlet mit einem Argument des „Euklidischen Typs“, also Aufmultiplizieren von Zahlen mit einem abschließenden Widerspruchsargument, beweisen lässt, wurde negativ beantwortet. Issai Schur konnte 1912 zeigen, dass dies in den Fällen von Progressionen <math>a, a+N, a+2N, \dots</math> mit <math>a^2 \equiv 1 \pmod{N}</math> möglich ist.<ref>I. Schur: Über die Existenz unendlich vieler Primzahlen in einigen speziellen arithmetischen Progressionen, S-B Berlin Math. Ges., Vol. 11, 1912, S. 40–50, Appendix zu Archiv der Math. und Phys. (3), Vol. 20, 1912–1913.</ref> In all diesen Fällen kann ein Polynom mit ganzzahligen Koeffizienten so generiert werden, dass ein Widerspruch zur Endlichkeit der betroffenen Primzahlen durch eine Euklidische Strategie unter Verwendung des quadratischen Reziprozitätsgesetzes erzeugt werden kann. Etwa hat im Falle der Progression <math>15k+4</math> ein solches Polynom die Gestalt<ref>M. Ram Murty, Jody Esmonde: Problems in Algebraic Number Theory, Second Edition, Springer, S. 92–93.</ref>
- <math>f(x) = x^4 - x^3 + 2x^2 + x + 1.</math>
Dass es zusätzlich in keinem anderen Falle möglich ist als in den von Schur genannten, konnte M. Ram Murty im Jahr 1988 zeigen.<ref>M. Ram Murty: Primes in certain arithmetic progressions. J. Madras University, Section B 51, 1988, S. 161–169.</ref>
Analytischer Beweis
Benötigte Grundlagen
Der Satz von Dirichlet wird mit analytischen Mitteln bewiesen. Unumgänglich für ein Verständnis des Beweises ist daher der Begriff der Funktion. Auch eine sichere Beherrschung der aus der Mittelstufe bekannten Potenzgesetze ist unabdingbar.
Rechnen mit Resten
{{#if: Division mit Rest|{{#ifexist:Division mit Rest|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Geht eine ganzzahlige Division nicht auf, kann dies durch die Angabe eines Restes ausgedrückt werden. Etwa ist <math>17</math> geteilt durch <math>4</math> gleich <math>4</math> (Rest <math>1</math>). Man sagt auch, dass <math>17</math> kongruent zu <math>1</math> ist, modulo <math>4</math>, kurz
- <math>17 \equiv 1 \pmod{4}.</math>
Nach diesem Prinzip lassen sich sämtliche ganze Zahlen durch die Angabe der entsprechenden Restklasse unterteilen. Bleibt man bei der Division durch 4, ergeben sich für <math>0, 1, 2, 3, 4, 5, 6, 7, 8, \dots</math> die Reste <math>0, 1, 2, 3, 0, 1, 2, 3, \dots</math> usw. Es gibt also genau vier Restklassen modulo <math>4</math>, und diese sind
- <math>\{0, 1, 2, 3\}.</math>
Dies setzt sich auch in die negativen Zahlen fort, etwa hat <math>-1</math> bei Division durch <math>4</math> den Rest <math>3</math>. Es liegen <math>-1, 3, 7, 11</math> usw. alle in derselben Restklasse. Außerdem wird vereinbart, dass <math>0, 1, 2</math> und <math>3</math> stellvertretend für alle Zahlen stehen, die den jeweiligen Rest besitzen. Es wird also auch <math>12</math> und <math>100</math> mit der <math>0</math> identifiziert, da diese Zahlen ebenfalls restlos durch <math>4</math> teilbar sind. Entfernt man sich nun von der Vorstellung einer Zahl und reduziert das Augenmaß lediglich auf den Rest bei Teilung durch <math>4</math>, gilt also <math>0 \equiv 12 \equiv 100 \pmod{4}</math>, und dies ist die Schreibweise für die Gleichheit von Restklassen.
Man kann mit Restklassen rechnen. Liegen zwei Zahlen <math>m</math> und <math>n</math> in den Restklassen <math>a</math> und <math>b</math>, so liegt <math>m+n</math> in der Klasse zu <math>a+b</math>. Etwa ist <math>7</math> kongruent <math>3</math> modulo <math>4</math> und <math>5</math> kongruent <math>1</math> modulo <math>4</math>, und die Summe <math>7+5 = 12</math> ist kongruent <math>3+1 = 4</math> modulo <math>4</math>, was aber wieder dem Rest <math>0</math> entspricht. Ähnliches gilt für Produkte von Restklassen. Somit kann gesagt werden, dass Reste „stabil“ unter Addition und Multiplikation sind: So ist es anschaulich gesprochen unerheblich, ob zuerst zwei Zahlen addiert/multipliziert werden, und anschließend mit Rest dividiert wird, oder die bereits ermittelten Einzelreste addiert/multipliziert werden.
Eulersche Phi-Funktion
{{#if: Eulersche Phi-Funktion|{{#ifexist:Eulersche Phi-Funktion|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Die Eulersche Phi-Funktion ordnet einer natürlichen Zahl <math>N</math> die Anzahl <math>\varphi(N)</math> der Zahlen <math>1 \leq k \leq N</math> zu, die teilerfremd zu <math>N</math> sind. Dies ist von Bedeutung, weil dies genau der Anzahl an Restklassen <math>a</math> entspricht, die gemeinsam mit <math>N</math> eine arithmetische Progression liefern, sodass <math>a+kN</math> mit <math>k \in \N_0</math> unendlich viele Primzahlen enthält. Man nennt diese Restklassen auch prim.
Die vier Restklassen modulo <math>4</math> werden durch <math>\{0,1,2,3\}</math> repräsentiert. Nur zwei davon, nämlich <math>1</math> und <math>3</math>, sind prim, die entsprechenden Repräsentanten also teilerfremd zu <math>4</math>, daher gilt <math>\varphi(4) = 2</math>.
Reihen
{{#if: Reihe (Mathematik)|{{#ifexist:Reihe (Mathematik)|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Unter einer Reihe versteht man, veranschaulicht, eine niemals endende Summe von Zahlen. Dies können reelle, aber auch komplexe Zahlen sein. Die Dezimalschreibweise einer reellen Zahl kann als Reihe aufgefasst werden, etwa
- <math> \frac13 = 0{,}333333 \ldots = 0{,}3 + 0{,}03 + 0{,}003 + 0{,}0003 + 0{,}00003 + 0{,}000003 + \cdots </math>
oder auch
- <math>\pi = 3{,}14159\ldots = 3 + 0{,}1 + 0{,}04 + 0{,}001 + 0{,}0005 + 0{,}00009 + \cdots </math>
mit der Kreiszahl <math>\pi</math>. Die durch die Punkte angedeuteten Summen enden niemals, da die Dezimalentwicklung von <math>\tfrac13</math> periodisch und die Kreiszahl irrational ist. Es gibt Reihen, deren Wert nicht als Zahl darstellbar ist,
- <math> 1 + 2 + 3 + 4 + \cdots</math>
aber auch solche, die gegen einen Grenzwert konvergieren (wie die oberen Beispiele mit Grenzwerten <math>\tfrac13</math> bzw. <math>\pi</math>). Reihen wie <math>1+2+3+\cdots</math>, die nicht konvergieren, nennt man divergent. Veranschaulichend gesagt kann eine Reihe <math>\textstyle \sum_{n=1}^\infty a_n := a_1 + a_2 + a_3 + \cdots </math> nur dann konvergieren, falls die Glieder <math>a_n</math> „schnell genug gegen 0 streben“. Aber nicht jede Reihe, deren Glieder gegen 0 streben, konvergiert, wie man an der harmonischen Reihe
- <math>1 + \frac12 + \frac13 + \frac14 + \frac15 + \cdots = \infty</math>
sieht. Eine ganz besondere Form der Konvergenz ist die absolute Konvergenz, bei der gefordert wird, dass die Summe der Absolutbeträge der Reihenglieder konvergiert. In diesem Fall lassen sich auch die Summanden in der Reihe nach Belieben umordnen, ohne den Grenzwert zu verändern.
Dirichlet-Reihen
{{#if: Dirichlet-Reihe|{{#ifexist:Dirichlet-Reihe|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Es ist auch möglich, Funktionen durch Reihen zu definieren. Ein für den Satz von Dirichlet zentrales Beispiel ist die sog. Riemannsche Zeta-Funktion:
- <math> x \mapsto \zeta(x) := 1 + \frac{1}{2^x} + \frac{1}{3^x} + \frac{1}{4^x} + \cdots = \sum_{n=1}^\infty \frac{1}{n^x}.</math>
Für <math>x > 1</math> konvergiert diese Reihe immer gegen eine Zahl, die den Funktionswert an der Stelle <math>x</math> Darstellt. Damit kann man die Zeta-Funktion auf dem Intervall <math>(1,\infty)</math> definieren. Wegen der Divergenz der harmonischen Reihe gilt aber
- <math> \lim_{x \to 1^+} \zeta(x) = \infty.</math>
Allgemeiner kann man einer Folge von Zahlen <math>f(1), f(2), f(3), \dots</math> eine Dirichlet-Reihe zuordnen, via
- <math>D_f(x) := f(1) + \frac{f(2)}{2^x} + \frac{f(3)}{3^x} + \cdots = \sum_{n=1}^\infty \frac{f(n)}{n^x}.</math>
Wächst <math>f</math> nicht zu stark an, so gibt es eine Zahl <math>x_0</math>, sodass die Reihe für alle Werte in <math>(x_0, \infty)</math> konvergiert. Für den Fall, dass <math>f</math> sogar beschränkt ist, kann stets <math>(1, \infty)</math> gewählt werden, da dann wegen <math>|f(n)| \leq B</math> und der Konvergenz der Reihe <math>B + \tfrac{B}{2^x} + \tfrac{B}{3^x} + \cdots = B \zeta(x)</math> für <math>x > 1</math> erst recht jene über <math>f</math> folgt, siehe auch Majorantenkriterium. Dieses Prinzip spielt eine wichtige Rolle beim Beweis des Satzes von Dirichlet.
Euler-Produkte
{{#if: Euler-Produkt|{{#ifexist:Euler-Produkt|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Der Eckpfeiler zwischen Analysis und Zahlentheorie liegt im Euler-Produkt. Dieses ist eine Identität zwischen einem unendlichen Produkt und einer Reihe und gilt dann, wenn bestimmte Voraussetzungen erfüllt sind.
Haben die Koeffizienten einer Dirichlet-Reihe untereinander eine multiplikative Relation, gilt also <math>f(mn) = f(m)f(n)</math> für alle <math>m,n</math> ohne gemeinsame Teiler und ferner <math>f(1) = 1</math>, so findet man im Bereich der absoluten Konvergenz der Dirichlet-Reihe
- <math>\prod_{p \ \text{Primzahl}} \left( \sum_{m=0}^\infty \frac{f(p^m)}{p^{m x}} \right) = \left( 1 + \frac{f(2)}{2^x} + \frac{f(2^2)}{4^x} + \frac{f(2^3)}{8^x} + \cdots \right) \cdot \left( 1 + \frac{f(3)}{3^x} + \frac{f(3^2)}{9^x} + \frac{f(3^3)}{27^x} + \cdots \right)</math> <math> \cdot \left( 1 + \frac{f(5)}{5^x} + \cdots \right) \cdot \left( 1 + \frac{f(7)}{7^x} + \cdots \right) \cdots </math>
- <math>= 1 + \frac{f(2)}{2^x} + \frac{f(3)}{3^x} + \frac{f(4)}{4^x} + \frac{f(5)}{5^x} + \cdots = \sum_{n=1}^\infty \frac{f(n)}{n^x}.</math>
Die Formel lässt sich mittels des Prinzips, dass sich jede Zahl eindeutig als Produkt von Primzahlpotenzen schreiben lässt, und gewöhnliches Ausmultiplizieren von Klammern, erklären. Etwa ergibt sich für den Faktor <math>\tfrac{f(1092)}{1092^x}</math> auf der rechten Seite wegen <math>1092 = 2^2 \cdot 3 \cdot 7 \cdot 13</math>:
- <math>\frac{f(1092)}{1092^x} = \frac{f(2^2 \cdot 3 \cdot 7 \cdot 13)}{(2^2 \cdot 3 \cdot 7 \cdot 13)^x} = \frac{f(2^2)}{2^{2x}} \cdot \frac{f(3)}{3^x} \cdot \frac{f(7)}{7^x} \cdot \frac{f(13)}{13^x}.</math>
Dabei wurde die von <math>f</math> geforderte Multiplikativität ausgenutzt – es sind naturgemäß Potenzen verschiedener Primzahlen ohne gemeinsame (nichttriviale) Teiler. Der Term zur Linken kann nun durch die entsprechende Auswahl an Summanden in den Klammern beim Ausmultiplizieren gewonnen werden.
Eine noch stärkere Version des Euler-Produktes erhält man, wenn die Koeffizienten sogar vollständig multiplikativ sind, also <math>f(mn) = f(m)f(n)</math> für ausnahmslos alle natürlichen Zahlen <math>n, m</math> erfüllt ist und erneut <math>f(1) = 1</math> gilt. Dann gilt insbesondere <math>f(p^m) = f(p)^m</math> für alle Primzahlen <math>p</math>, und man erhält mit der geometrischen Reihe:<ref>Gerald Tenenbaum: Introduction to Analytic and Probabilistic Number Theory, Graduate Studies in Mathematics, American Mathematical Society, Third Edition, S. 189.</ref>
- <math> (\mathrm{E}) \quad D_f(x) = \prod_{p \ \text{Primzahl}} \left( \sum_{m=0}^\infty \frac{f(p^m)}{p^{mx}}\right) = \prod_{p \ \text{Primzahl}} \left(\sum_{m=0}^\infty \frac{f(p)^m}{p^{mx}}\right) = \prod_{p \ \text{Primzahl}} \frac{1}{1 - \frac{f(p)}{p^x}}.</math>
Logarithmen
{{#if: Natürlicher Logarithmus|{{#ifexist:Natürlicher Logarithmus|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Von entscheidender Bedeutung für den Beweis sind Logarithmen. Mit diesen wird ermöglicht, das Euler-Produkt (mit Primzahlfaktoren) auf eine Summe mit Primzahltermen zurückzuführen. Dabei wird die für Logarithmen eigentümliche Beziehung
- <math>\log(ab) = \log(a) + \log(b)</math>
mit <math>a,b > 0</math> ausgenutzt, die sich unter gewissen Bedingungen aber auch auf komplexe Zahlen ausdehnt. Man erhält für vollständig multiplikative <math>f</math> zusammen mit <math>(\mathrm{E})</math> im absoluten Konvergenzbereich:
- <math> (\mathrm{L}_0) \quad \log(D_f(x)) = \sum_{p \ \text{Primzahl}} \log\left( \frac{1}{1-\frac{f(p)}{p^x}}\right).</math>
Es wird stets der natürliche Logarithmus betrachtet, also jener zur Basis <math>e</math> (Eulersche Zahl), weil dieser eine besonders einfache Ableitung besitzt, nämlich
- <math>\log'(w) = \frac{1}{w}.</math>
Wegen <math>\log(1) = 0</math> und <math>\log'(1) = \tfrac11 = 1</math> ist die Ursprungsgerade für kleine Werte <math>w</math> eine sehr gute Annäherung an <math>w \mapsto \log(1+w)</math>, siehe Bild. Der Fehler ist hierbei quadratisch, es gilt also
- <math> \log(1+w) = w + O(w^2), \qquad w \to 0</math>
in Termen der Landau-O-Notation. Diese Annäherung, die erst durch die Differentialrechnung ermöglicht wird, ist von großer Bedeutung, da sie hilft, die auftretenden Logarithmen durch deutlich leichtere lineare Funktionen zu ersetzen, wobei der Fehler vernachlässigt werden kann. Zusammen mit <math>\log(\tfrac1w) = -\log(w)</math> erhält man mit <math>(\mathrm{E})</math> und <math>(\mathrm{L}_0)</math> für <math>x \to 1^+</math>
- <math> (\mathrm{L}) \quad \log(D_f(x)) = \sum_{p \ \text{Primzahl}} \frac{f(p)}{p^x} + O(1).</math>
Dabei steht die Abkürzung <math>O(1)</math> für eine Funktion, deren Werte <math>x \geq 1</math> für <math>x \to 1^+</math> beschränkt sind.
| Details zu (L) |
|
Wegen der Regel <math>\log(\tfrac1w) = -\log(w)</math> gilt mit <math>(\mathrm{L}_0)</math>:
Mit der linearen Approximation <math>\log(1+w) = w+O(w^2)</math> für <math>|w|<1</math> mit <math>w\to0</math> folgt
Da <math>f</math> beschränkt ist, folgt, da die Primzahlen nur eine Teilmenge der natürlichen Zahlen sind, wegen <math>n^{2x} \geq n^2</math>:
Also ist der hintere Fehlerterm unabhängig von <math>x \geq 1</math> beschränkt und es gilt für <math>x \to 1^+</math>:
|
Eine erste Anwendung dieses Prinzips umfasst einen Beweis von <math>(\mathrm{P})</math>. Da die Funktion <math>f(n)=1</math> offenbar stark multiplikativ ist, da Produkte von Einsen immer Einsen sind, gilt mit <math>(\mathrm{L})</math>
- <math>\log\left( 1 + \frac{1}{2^x} + \frac{1}{3^x} + \cdots \right) = \log(\zeta(x)) = \sum_{p \ \text{Primzahl}} \frac{1}{p^x} + O(1).</math>
Da die harmonische Reihe divergiert und auch Logarithmen unbeschränkt anwachsen, gilt <math>\lim_{x \to 1^+} \log(\zeta(x)) = \infty</math>, also ist auch die rechte Primzahlreihe für <math>x \to 1^+</math> unbeschränkt, da der beschränkte Term <math>O(1)</math> das durch die Gleichheit gegebene Wachstum nicht gewährleisten kann.<ref>Kenneth Ireland, Michael Rosen: A Classical Introduction to Modern Number Theory, Second Edition, Springer, S. 250–251.</ref>
Erläuterung der Strategie an einem Beispiel
Die Erläuterung der Beweisstrategie von Dirichlet wird mit einem Beispielfall begleitet. Es wird der Fall <math>a=3</math> und <math>N=4</math> betrachtet, d. h., es wird exemplarisch gezeigt, dass die Progression
- <math> 3, 7, 11, 15, 19, 23, 27, 31, 35, \dots</math>
unendlich viele Primzahlen
- <math> 3, 7, 11, 19, 23, 31, \dots</math>
enthält. Es wird sogar noch eine stärkere Aussage gezeigt: Dirichlet konnte nachweisen, dass die Summe über alle Kehrwerte der Primzahlen <math>p \equiv 3 \pmod{4}</math> divergiert, also <math> \tfrac13 + \tfrac{1}{7} + \tfrac{1}{11} + \tfrac{1}{19} + \tfrac{1}{23} + \cdots = \infty. </math> Definiert man auf den ganzen Zahlen eine Funktion <math>f_{4,3}</math>, die nur an den „passenden“ Zahlen <math>\dots, -1, 3, 7, 11, 15, 19, 23, \dots</math> den Wert <math>1</math> annimmt, und sonst nur <math>0</math>, so kann man die zu untersuchende Reihe auch als Reihe über alle Primzahlen schreiben:
- <math> \frac13 + \frac{1}{7} + \frac{1}{11} + \frac{1}{19} + \frac{1}{23} + \cdots = \sum_{p \ \text{Primzahl}} \frac{f_{4,3}(p)}{p}. </math>
Die Strategie sieht vor, die Divergenz der Eulerschen Primzahlreihe <math>(\mathrm{P})</math> zu nutzen, um daraus die Divergenz der oberen Primzahlreihe zu erzwingen. Dafür führt man die Variable <math>x \geq 1</math> ein, und beweist
- <math> (*) \quad \lim_{x \to 1^+} \sum_{p \ \text{Primzahl}} \frac{f_{4,3}(p)}{p^x} = \infty.</math>
Die Schlüsselidee ist, geeignete Abbildungen <math>\chi_0</math> und <math>\chi_1</math> auf den Restklassen <math>\{0,1,2,3\}</math> zu definieren. Diese erweitern sich durch 4-Periodizität auf Abbildungen auf den ganzen Zahlen und sollen die folgende Eigenschaften haben:
- Ausschluss der trivialen Restklassen: Es nehmen beide Funktionen auf <math>0</math> und <math>2</math> den Wert <math>0</math> an.
- Möglichkeit, nur Primzahlen in der passenden Restklasse zu betrachten: Es lässt sich jede <math>4</math>-periodische Funktion auf <math>1</math> und <math>3</math>, also insgesamt den Zahlen <math>\dots, -3, -1, 1, 3, 5, \dots</math>, durch <math>\chi_0</math> und <math>\chi_1</math> durch geeignete Linearkombination erzeugen.
- Multiplikativität bzw. Euler-Produkt Eigenschaft: Es gilt <math>\chi_j(mn) = \chi_j(m)\chi_j(n)</math> für alle <math>m,n</math> und <math>j = 0,1</math>, also sind die Erzeuger <math>\chi_0</math> und <math>\chi_1</math> vollständig multiplikativ.
Durch die oberen Bedingungen lassen sich tatsächlich genau zwei solche Funktionen finden:<ref>Kenneth Ireland, Michael Rosen: A Classical Introduction to Modern Number Theory, Second Edition, Springer, S. 251.</ref>
| <math>n</math> | … | −3 | −2 | −1 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | … |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| <math>\chi_0(n)</math> | … | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | … |
| <math>\chi_1(n)</math> | … | 1 | 0 | −1 | 0 | 1 | 0 | −1 | 0 | 1 | 0 | −1 | 0 | 1 | 0 | −1 | 0 | … |
Da die Vektoren <math>\binom{1}{1}</math> und <math>\binom{1}{-1}</math> linear unabhängig sind, gilt Eigenschaft 2, und man kann aus diesen beiden Funktionen jede 4-periodische Funktion auf den ganzen Zahlen kombinieren, die auf geraden Zahlen verschwindet. Von Interesse ist die Abbildung <math>f_{4,3}(4k+3) = 1</math> für alle <math>k \in \Z</math>, und <math>f_{4,3}(n)=0</math> sonst, da man sich im Beispiel nur für Primzahlen in der Progression <math>(4k+3)_{k \in \N_0}</math> interessiert. Es gilt <math> f_{4,3}(n) = \tfrac{\chi_0(n) - \chi_1(n)}{2}</math>. Also gilt
- <math> \frac{1}{3^x} + \frac{1}{7^x} + \frac{1}{11^x} + \frac{1}{19^x} + \frac{1}{23^x} + \cdots = \sum_{p \ \text{Primzahl}} \frac{f_{4,3}(p)}{p^x} = \frac{1}{2} \sum_{p \ \text{Primzahl}} \frac{\chi_0(p)}{p^x} - \frac12 \sum_{p \ \text{Primzahl}} \frac{\chi_1(p)}{p^x}.</math>
Offensichtlich gilt nach Euler <math>(\mathrm{P})</math>
- <math> \lim_{x \to 1^+} \frac12 \sum_{p \ \text{Primzahl}} \frac{\chi_0(p)}{p^x} = \infty,</math>
da stets <math>\chi_0(p) = 1</math> für alle <math>p > 2</math> ist, und der einzig fehlende Summand für <math>p=2</math> natürlich nichts an der Divergenz ändert. Kann man außerdem zeigen, dass die Funktion
- <math> x \mapsto \frac12 \sum_{p \ \text{Primzahl}} \frac{\chi_1(p)}{p^x}</math>
für <math>x \to 1^+</math> beschränkt ist, folgt insgesamt <math>(*)</math>. Es ist <math>\chi_1</math> vollständig multiplikativ, also folgt mit <math>(\mathrm{L})</math> für <math>x \to 1^+</math>:
- <math> \log\left( 1 - \frac{1}{3^x} + \frac{1}{5^x} - \frac{1}{7^x} + \cdots \right) = \sum_{p \ \text{Primzahl}} \frac{\chi_1(p)}{p^x} + O(1).</math>
Es ist aber auch
- <math> \lim_{x \to 1^+} \log\left( 1 - \frac{1}{3^x} + \frac{1}{5^x} - \frac{1}{7^x} + \cdots \right) = \log\left( 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots \right) < \infty,</math>
da die alternierende Reihe <math>1 - \tfrac13 + \tfrac15 - \tfrac17 + \cdots </math> gegen eine positive Zahl konvergiert nach dem Leibniz-Kriterium.<ref group="Anm.">Der genaue Grenzwert ist <math>\arctan(1) = \tfrac{\pi}{4} > 0</math>, siehe auch Leibniz-Reihe.</ref> Es muss also <math>\textstyle \tfrac12 \sum\limits_{p \ \text{Primzahl}} \tfrac{\chi_1(p)}{p^x}</math> für <math>x \to 1^+</math> beschränkt sein.<ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 31–32.</ref><ref>Kenneth Ireland, Michael Rosen: A Classical Introduction to Modern Number Theory, Second Edition, Springer, S. 251–253.</ref>
Der allgemeine Fall
Im allgemeinen Fall ist es von entscheidender Bedeutung, Funktionen <math>\chi_0, \chi_1, \dots, \chi_{\varphi(N)-1}</math> auf den nichttrivialen Restklassen modulo <math>N</math> zu finden, die dort sämtliche Kombinationsfreiheit lassen und darüber hinaus vollständig multiplikativ sind. Dass dies immer möglich ist, ist nicht trivial. Solche Funktionen bezeichnet man auch als Dirichlet-Charaktere.<ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 34.</ref> Es gibt im Allgemeinen <math>\varphi(N)</math> verschiedene sog. prime Restklassen <math>l \pmod{N}</math>, sodass also <math>l</math> und <math>N</math> teilerfremd sind. Im obigen Spezialfall hatte man <math>\varphi(4) = 2</math>, denn <math>1</math> und <math>3</math> sind teilerfremd zu <math>4</math>, nicht aber <math>0</math> und <math>2</math>.
Einem beliebigen Dirichlet-Charakter <math>\chi</math> kann eine Dirichlet-Reihe zugeordnet werden:
- <math>L(s; \chi) := \sum_{n=1}^\infty \frac{\chi(n)}{n^s}.</math>
Diese wird auch als Dirichletsche L-Funktion zu <math>\chi</math> bezeichnet. Es gilt für komplexe Zahlen <math>s</math> mit <math>\mathrm{Re}(s) > 1</math><ref>Kenneth Ireland, Michael Rosen: A Classical Introduction to Modern Number Theory, Second Edition, Springer, S. 252.</ref>
- <math>L(s; \chi) = \prod_{p \ \text{Primzahl}} \frac{1}{1 - \frac{\chi(p)}{p^s}}.</math>
Der Charakter, der auf allen Restklassen <math>a</math> mit <math>\mathrm{ggT}(a,N) = 1</math> den Wert 1 annimmt (und ansonsten 0), heißt auch Hauptcharakter. Dieser korrespondiert zur Reihe von Euler über die Kehrwerte der Primzahlen, die bekanntermaßen divergiert. Alle anderen Charaktere nehmen auch Werte außer 0 und 1 an, im allgemeinen Fall komplexe Einheitswurzeln. Die oben demonstrierte Beweisidee ist im Allgemeinen die Gleiche. Als Ausgangspunkt wird die aus den Orthogonalitätsrelationen gewinnbare Identität<ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 36.</ref>
- <math> \sum_{{p \ \text{Primzahl} \atop p \ \equiv a \ \pmod{N}}} \frac{1}{p^x} = \frac{1}{\varphi(N)} \sum_{\chi \ \pmod{N}} \overline{\chi(a)} \sum_{p \ \text{Primzahl}} \frac{\chi(p)}{p^x} = \frac{1}{\varphi(N)} \sum_{p \ \text{Primzahl} \atop \mathrm{ggT}(p,N) = 1} \frac{1}{p^x} + \frac{1}{\varphi(N)} \sum_{\chi \not= \chi_0 \ \pmod{N}} \overline{\chi(a)} \sum_{p \ \text{Primzahl}} \frac{\chi(p)}{p^x} </math>
genutzt. Wie im obigen Beispiel wird die benötigte Funktion, die nur für die interessanten Primzahlen den Wert <math>1</math> annimmt, und sonst nur <math>0</math>, durch Dirichlet-Charaktere linear kombiniert. Die hinteren Summen <math> \textstyle \sum\limits_{p \ \text{Primzahl}} \frac{\chi(p)}{p^x}</math> verhalten sich für <math>x \to 1^+</math> wegen des Euler-Produktes, bzw. <math>(\mathrm{L})</math>, im Wesentlichen wie <math>\log(L(x; \chi))</math>. Dabei ist <math>\overline{\chi(a)}</math> das komplex Konjugierte von <math>\chi(a)</math>. Die äußere Summe läuft dabei über alle Charaktere modulo <math>N</math>. Da nur endlich viele Primzahlen <math>p</math> auch <math>\mathrm{ggT}(p,N) \not=1</math> erfüllen, folgt mit Eulers Resultat <math>(\mathrm{P})</math>
- <math> \lim_{x \to 1^+} \frac{1}{\varphi(N)} \sum_{p \ \text{Primzahl} \atop \mathrm{ggT}(p,N) = 1} \frac{1}{p^x} = \infty.</math>
Es kann mit einer Verallgemeinerung des Leibniz-Kriteriums, des Kriteriums von Abel, gezeigt werden, dass im Gegensatz dazu <math>L(1;\chi)</math> existiert, falls <math>\chi</math> nicht nur die Werte <math>0</math> und <math>1</math> annimmt. Im Beispiel <math>N=4</math> war dies nur eine Reihe, und man hatte
- <math>L(1; \chi_1) = 1 - \frac13 + \frac15 - \frac17 + \cdots, </math>
wobei die Reihe existierte und nicht <math>0</math> war. Damit allgemein auch <math>\lim_{x \to 1^+} \log(L(x; \chi))</math> beschränkt bleibt, muss daher nur der Fall <math>L(1;\chi)=0</math> ausgeschlossen werden. Der Beweis dieses Nichtverschwindungslemmas bildet das Herzstück des Beweises des Satzes von Dirichlet.<ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 35–36.</ref>
Der Beweis des Nichtverschwindungslemmas
Es sind die Funktionen <math>L(s;\chi)</math> holomorph in <math>\{s \in \Complex \colon \mathrm{Re}(s) > 0\}</math>, wenn <math>\chi</math> kein Hauptcharakter ist. Dies folgt über die Konvergenz der Reihe in diesem Bereich, die sich mit den Orthogonalitätsrelationen und dem Kriterium von Abel nachweisen lässt.<ref>Don Zagier: Zetafunktionen und quadratische Körper, Springer, 1981, S. 42.</ref> Für Hauptcharaktere <math>\chi_0</math> modulo <math>N</math> gilt zudem
- <math>L(s; \chi_0) = \zeta(s) \prod_{p \ \text{Primzahl} \atop p|N} \left(1-\frac{1}{p^s}\right),</math>
mit der Riemannschen Zeta-Funktion <math>\zeta(s)</math>, sodass sich <math>L(s;\chi_0)</math> holomorph nach <math>\{ s \in \Complex \colon \mathrm{Re}(s) > 0, s \not= 1\}</math> fortsetzen lässt, mit einem einfachen Pol in <math>s=1</math>.<ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 35.</ref> Das Nichtverschwindungslemma besagt, dass <math>L(1;\chi) \not= 0</math> gelten muss. Ein von Don Zagier gegebener Beweis durch Widerspruch nutzt den Satz von Landau. Dieser besagt, dass eine Dirichlet-Reihe mit ausschließlich nichtnegativen Koeffizienten am Rand ihres Konvergenzbereichs <math>\{ s \in \Complex \colon \mathrm{Re}(s) > \sigma_0\}</math>, präziser in <math>s=\sigma_0</math>, einen singulären Punkt haben muss, also dort nicht lokal holomorph ist. Man nutzt die Dirichlet-Reihe
- <math> F_N(s) := \prod_{\chi \pmod{N}} L(s; \chi),</math>
für die wegen der Euler-Produkte der L-Funktionen
- <math> \log(F_N(s)) = - \sum_{\chi \pmod{N}} \sum_{p \ \text{Primzahl}} \log\left( 1 - \frac{\chi(p)}{p^s}\right) = \sum_{\chi \pmod{N}} \sum_{p \ \text{Primzahl}} \sum_{r=1}^\infty \frac{\chi(p)^r}{r p^{rs}} = \varphi(N) \sum_{p \ \text{Primzahl} \atop p \equiv 1 \pmod{N}} \sum_{r=1}^\infty \frac{1}{rp^{rs}}</math>
folgt. Dabei wird im zweiten Schritt die Taylor-Entwicklung der Funktion <math>w \mapsto \log(1+w)</math> um <math>w=0</math> ausgenutzt. Damit hat <math>F_N(s)</math> ausschließlich nichtnegative Koeffizienten. Wäre <math>L(1; \chi) = 0</math>, so ließe sich <math>F_N</math> holomorph nach <math>\{ s \in \Complex \colon \mathrm{Re}(s) > 0\}</math> fortsetzen, da die Nullstelle den Pol von <math>L(s; \chi_0)</math> weghebt und müsste demnach auf dieser gesamten Halbebene konvergieren. Nun gilt aber für reelle <math>s</math>:
- <math> \sum_{p \ \text{Primzahl} \atop p \equiv 1 \pmod{N}} \sum_{r=1}^\infty \frac{1}{rp^{rs}} \geq \varphi(N) \sum_{p \not\equiv 0 \pmod{N}}\sum_{r=1 \atop \varphi(N)|r}^\infty \frac{1}{rp^{rs}} = \sum_{p \not\equiv 0 \pmod{N}}\sum_{k=1}^\infty \frac{1}{kp^{k\varphi(N)s}}</math> <math>= \sum_{p \not\equiv 0 \pmod{N}} \log\left( \frac{1}{1 - p^{-\varphi(N)s}}\right) = \log(L(s\varphi(N); \chi_0)).</math>
Also ist die betrachtete Reihe für <math>s=\tfrac{1}{\varphi(N)} > 0</math> sicherlich nicht konvergent, ein Widerspruch.<ref>Don Zagier: Zetafunktionen und quadratische Körper, Springer, 1981, S. 45–46.</ref>
Darüber hinaus gibt es einige weitere Strategien, um das Nichtverschwindungslemma zu zeigen. Eine mögliche tiefere Interpretation liefert die analytische Klassenzahlformel. Eine Verschärfung der Aussage für reelle, primitive Charaktere ist der Satz von Siegel. Dieser besagt, dass für jedes <math>\varepsilon > 0</math> ein <math>C_\varepsilon > 0</math> existiert, dass für reelle, primitive Dirichlet-Charaktere <math>\chi</math> modulo <math>N</math><ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 106.</ref>
- <math> L(1; \chi) > C_{\varepsilon} N^{-\varepsilon} > 0.</math>
Varianten und Verallgemeinerungen
Primzahlsatz für arithmetische Progressionen
Bezeichnet wie oben <math>\pi(x; N, l)</math> die Anzahl der Primzahlen <math>p \leq x</math> mit <math>p \equiv l \pmod{N}</math>, so gilt für teilerfremde <math>l</math> und <math>N</math> bereits<ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 116.</ref>
- <math> \pi(x; N, l) \sim \frac{\mathrm{Li}(x)}{\varphi(N)} \qquad (x \to \infty).</math>
Dabei bezeichnet <math>\mathrm{Li}(x) := \textstyle \int_2^x \frac{\mathrm{d}t}{\log(t)}</math> den Integrallogarithmus. Wegen <math>\mathrm{Li}(x) \to \infty</math> für <math>x \to \infty</math> ist diese Aussage stärker als der Satz von Dirichlet, denn sie gibt zusätzlich eine quantitative Vorstellung von der Verteilung der Primzahlen in arithmetischen Progressionen. Wegen <math>\mathrm{Li}(x) \sim \tfrac{x}{\log(x)}</math> kann sie auch durch elementare Funktionen ausgedrückt werden:<ref>Gerald Tenenbaum: Introduction to Analytic and Probabilistic Number Theory, Graduate Studies in Mathematics, American Mathematical Society, Third Edition, S. 359.</ref>
- <math> \pi(x; N, l) \sim \frac{1}{\varphi(N)} \frac{x}{\log(x)}.</math>
Als Spezialfall impliziert dies den Primzahlsatz. Zudem folgt, dass für festes <math>N</math> die asymptotischen Häufigkeiten gleich sind. Ist also <math>\pi(x)</math> die Anzahl aller Primzahlen <math>p \leq x</math>, folgt
- <math> \lim_{x \to \infty} \frac{\pi(x; N, l)}{\pi(x)} = \frac{1}{\varphi(N)},</math>
sofern <math>l</math> und <math>N</math> teilerfremd sind. Da die rechte Seite nicht mehr von <math>l</math> abhängt, sind die Primzahlen in den in Frage kommenden Restklassen asymptotisch gesehen gleichverteilt. Der Beweis für den Primzahlsatz in arithmetischen Progressionen ist deutlich anspruchsvoller als der des Satzes von Dirichlet. Er erfordert ein detailliertes Studium der Funktionen <math>L(s; \chi)</math> in den komplexen Zahlen. Ein wichtiger Zwischenschritt ist die Aussage, dass <math>L(1+it;\chi) \not= 0</math> für alle <math>t \in \R</math> und Charaktere <math>\chi</math>. Dies ist eine deutliche Verschärfung des oberen Nichtverschwindungslemmas. Für die Nullstellenfreiheit kann die Ungleichung
- <math> L(\sigma; \chi_0)^3 |L(\sigma+it;\chi)|^4 |L(\sigma + 2it; \chi^2)| \geq 1</math>
für alle <math>\sigma > 1</math> und <math>t \in \R</math> genutzt werden.<ref>Gerald Tenenbaum: Introduction to Analytic and Probabilistic Number Theory, Graduate Studies in Mathematics, American Mathematical Society, Third Edition, S. 377.</ref> Im Anschluss kann die Aussage aus einem Taubersatz gewonnen werden, etwa jenem von Donald Newman, der auch für einen Beweis des Primzahlsatzes herangezogen werden kann.<ref>Ivan Soprounov: A short proof of the prime number theorem for arithmetic progressions, (PDF).</ref>
Mittels nullstellenfreier Gebiete für Dirichletsche L-Funktionen kann der Primzahlsatz für arithmetische Progressionen verschärft werden. Der Satz von Siegel-Walfisz besagt, dass es für jedes <math>A > 0</math> eine Konstante <math>C_A > 0</math> gibt, sodass für alle Moduln <math>N \leq (\log(x))^A</math> bereits
- <math> \pi(x; N, l) = \frac{\mathrm{Li}(x)}{\varphi(N)} + O\left( xe^{-C_A \sqrt{\log(x)}}\right)</math>
gilt.<ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 114–116.</ref>
Schärfere Aussagen zur Gleichverteilung
Hinsichtlich der asymptotischen Gleichverteilung von Primzahlen in den geeigneten Restklassen sind im 20. Jahrhundert Fortschritte erzielt worden. Dabei spielte vor allen Dingen die Siebtheorie eine wichtige Rolle. Es wird in diesem Kontext vor allem die zu <math>\pi(x; N, l)</math> verwandte Funktion
- <math>\psi(x; N, l) := \sum_{{p \ \text{Primzahl} \atop p \leq x} \atop p \equiv l \pmod{N}} \log(p)</math>
studiert. Ein Satz von M. B. Barban, Harold Davenport und Heini Halberstam besagt, dass für <math>1 \leq Q \leq x</math> und jedes <math>A > 0</math> bereits
- <math> \sum_{N \leq Q} \sum_{a=1 \atop \mathrm{ggT}(a,N) = 1}^N \left| \psi(x; N,a) - \frac{x}{\varphi(N)}\right|^2 = O\left( Q x \log(x) + \frac{x^2}{\log(x)^A}\right)</math>
gilt. Dies schätzt also die Mittelwerte der quadrierten Fehlerterme in der Approximation von <math>\psi(x;N,a)</math> durch <math>\tfrac{x}{\varphi(N)}</math> ab, die eine äquivalente Alternative zur Approximation <math>\pi(x;N,l) \approx \tfrac{\mathrm{Li}(x)}{\varphi(N)}</math> darstellt.<ref>Jörg Brüdern: Einführung in die analytische Zahlentheorie. Springer Verlag, S. 189.</ref>
Eine hierzu verwandte Aussage ist der Satz von Bombieri und Winogradow, der für eine feste Konstante <math>A > 0</math> Folgendes besagt: Ist <math>Q \geq 1</math> und <math>x \geq 1</math>, so gilt
- <math> \sum_{N \leq Q} \max_{\mathrm{ggT}(a, N) = 1 \atop y \leq x}\left| \psi(y; N, a) - \frac{y}{\varphi(N)}\right| = O\left( \frac{x}{\log(x)^A} + \sqrt{x} Q \log(Qx)^4\right).</math>
Wichtiges Werkzeug zu dessen Beweis ist das große Sieb. Es kann die Konstante 4 im letzteren Exponenten durch <math>\tfrac{5}{2} + \varepsilon</math> für jedes <math>\varepsilon > 0</math> verbessert werden. Die bis heute offene Vermutung von Elliott und Halberstam besagt, dass die linke Seite im Satz von Bombieri und Winogradow für <math>Q \leq x^{1-\varepsilon}</math> mit beliebigem <math>\varepsilon > 0</math> bereits <math>o(x)</math> ist, also im Quotienten mit <math>x</math> für <math>x \to \infty</math> gegen 0 strebt. Ihre Richtigkeit würde in den meisten zahlentheoretischen Anwendungen sogar stärkere Folgerungen nach sich ziehen als die verallgemeinerte Riemannsche Vermutung.<ref>Gerald Tenenbaum: Introduction to Analytic and Probabilistic Number Theory, Graduate Studies in Mathematics, American Mathematical Society, Third Edition, S. 403.</ref>
Darstellung von Primzahlen mittels Polynomen
Der Satz von Dirichlet besagt, dass jedes der linearen Polynome <math>f(x) = Nx + a</math> für teilerfremde natürliche <math>a</math> und <math>N</math> und <math>x \in \Z</math> unendlich viele Primzahlen generiert. Analoge Aussagen für nichtkonstante Polynome in einer Variablen mit mindestens Grad 2 sind bis heute nicht bewiesen. So weiß man etwa nicht, ob unendlich viele Primzahlen die Gestalt <math>n^2+1</math> haben.<ref name="WN4142">Władysław Narkiewicz: The Development in Prime Number Theory, Springer Monographs in Mathematics, S. 41–42.</ref> Allerdings konnte Henryk Iwaniec im Jahr 1978 zeigen, dass es unendlich viele <math>n</math> gibt, sodass <math>n^2+1</math> höchstens 2 Primfaktoren besitzt.<ref name="MO28">Marius Overholt: A Course in Analytic Number Theory, Graduate Studies in Mathematics, American Mathematical Society, Vol. 160, S. 28.</ref>
Es wurden Erfolge für Polynome in mehreren Variablen erzielt. So konnte gezeigt werden, dass <math>(x,y) \mapsto Q(x,y) + c</math>, wobei <math>Q</math> eine ganzzahlige quadratische Form mit nicht-verschwindender Diskriminante, die keine Quadratzahl ist, und <math>c \in \Z</math>, unendlich viele Primzahlen erzeugt. Ein bekanntes Beispiel ist die quadratische Form <math>Q(x,y) = x^2 + y^2</math>. Es kann gezeigt werden, dass sich genau jede Primzahl <math>p = 2</math> oder <math>p \equiv 1 \pmod{4}</math> als Summe von zwei Quadraten schreiben lässt. Etwa ist
- <math> 2 = 1^2 + 1^2, \quad 5 = 1^2 + 2^2, \quad 13 = 2^2 + 3^2, \quad 17 = 1^2 + 4^2, \quad 29 = 2^2 + 5^2, \quad 37 = 1^2 + 6^2, \quad 41 = 4^2 + 5^2, \quad \dots </math>
Der Beweis kann mittels algebraischer Zahlentheorie geführt werden, durch die Primfaktorzerlegung in den Gaußschen Zahlen <math>\Z[i]</math>.<ref>Jürgen Neukirch: Algebraische Zahlentheorie. Springer, 1992, S. 1–5.</ref> Ebenfalls mittels algebraischer Zahlentheorie, insbesondere Hilbertscher Klassenkörper, konnte ein Kriterium erarbeitet werden, zu entscheiden, wann eine Primzahl <math>p</math> von der Form <math>x^2 + ny^2</math> mit <math>x,y,n \in \N_0</math> ist. Dies gilt genau dann, wenn <math>p</math> im Hilbertschen Klassenkörper von <math>K = \Q(\sqrt{-n})</math> voll zerlegt ist.<ref>David A. Cox: Primes of the form <math>x^2 + ny^2</math>. Pure and Applied Mathematics, Wiley, 1993, S. 98.</ref>
John Friedlander und Henryk Iwaniec zeigten 1998, dass es unendlich viele Primzahlen der Form <math>x^2 + y^4</math> gibt. Roger Heath-Brown zeigte 2001, dass unendlich viele Primzahlen von der Form <math>x^3 + 2y^3</math> sind.<ref name="MO28" />
Satz von Green-Tao
{{#if: Satz von Green-Tao|{{#ifexist:Satz von Green-Tao|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Im Jahr 2004 zeigten Ben Green und Terence Tao den Satz von Green-Tao, dass es in der Folge der Primzahlen beliebig lange arithmetische Progressionen gibt.<ref>Ben Green, Terence Tao: The primes contain arbitrarily long arithmetic progressions. In: Annals of Mathematics. Serie 2, Bd. 167, Nr. 2, 2008, S. 481–547.</ref> Zum Beispiel ist 3, 5, 7 eine Progression von Primzahlen der Länge 3. Die längste bekannte (Stand 2020) arithmetische Progression von Primzahlen hat die Länge 27.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:PrimeGrid’s AP27 Search|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=PrimeGrid’s AP27 Search}}]{{#if:PDF; 219 kB| (PDF; 219 kB)}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://www.primegrid.com/download/AP27-81292139.pdf%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=PrimeGrid’s AP27 Search}}}}|[{{#invoke:URLutil|getNormalized|1=https://www.primegrid.com/download/AP27-81292139.pdf}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=PrimeGrid’s AP27 Search}}}}]}}{{#if:PDF; 219 kB| (PDF; 219 kB{{#if:PrimeGrid.com{{#if: 2021-01-01 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.primegrid.com/download/AP27-81292139.pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.primegrid.com/download/AP27-81292139.pdf}}%7C%7C}}}}{{#if:PrimeGrid’s AP27 Search|{{#if:{{#invoke:WLink|isValidLinktext|1=PrimeGrid’s AP27 Search|lines=0}}||}}}}{{#if: PrimeGrid.com| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=PrimeGrid.com}}}}{{#if: | {{{hrsg}}}{{#if: |,|{{#if: 2021-01-01 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
|{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2021-01-01 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2021-01-01 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:345741||(?)}}}}}}{{#if: 2021-01-01|;}}}}{{#if: 2021-01-01| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2021-01-01 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2021-01-01|class=Zitationswartung}} }} {{#invoke:DateTime|format|2021-01-01|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:PrimeGrid.com{{#if: 2021-01-01 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if:PDF; 219 kB | | (}}
}}{{#ifeq:{{#if:en|en|de}}|de||
{{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2021-01-01 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: https://www.primegrid.com/download/AP27-81292139.pdf | {{#if: | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://www.primegrid.com/download/AP27-81292139.pdf | {{#if:{{#invoke:URLutil|isWebURL|https://www.primegrid.com/download/AP27-81292139.pdf}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.primegrid.com/download/AP27-81292139.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://www.primegrid.com/download/AP27-81292139.pdf | {{#if:{{#invoke:URLutil|isWebURL|https://www.primegrid.com/download/AP27-81292139.pdf}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[https://www.primegrid.com/download/AP27-81292139.pdf }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: https://www.primegrid.com/download/AP27-81292139.pdf | {{#if: | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://www.primegrid.com/download/AP27-81292139.pdf | {{#if:{{#invoke:URLutil|isWebURL|https://www.primegrid.com/download/AP27-81292139.pdf}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.primegrid.com/download/AP27-81292139.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://www.primegrid.com/download/AP27-81292139.pdf | {{#if:{{#invoke:URLutil|isWebURL|https://www.primegrid.com/download/AP27-81292139.pdf}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[https://www.primegrid.com/download/AP27-81292139.pdf }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref> Explizit ist sie gegeben durch
- <math>224\,584\,605\,939\,537\,911 + 18\,135\,696\,597\,948\,930\,n, \, \, \, n=0, \dotsc, 26.</math>
Dünne Primzahlmengen
Der Satz von Dirichlet identifiziert Teilmengen der natürlichen Zahlen, gegeben durch aufsteigende arithmetische Progressionen, die unendlich viele Primzahlen enthalten. Diese Teilmengen haben asymptotisch betrachtet aber eine positive Dichte. So hat etwa die Menge aller ungeraden Zahlen die Dichte <math>\tfrac12</math>. Allgemein gilt für <math>a, N \in \N</math>:
- <math> \lim_{x \to \infty} \frac{|\{ K = a, a+N, a+2N, \dots \mid K \leq x \}|}{x} = \frac{1}{N} > 0.</math>
Im Jahr 2019 konnte James Maynard eine Teilmenge der natürlichen Zahlen angeben, die unendlich viele Primzahlen enthält, aber asymptotisch die Dichte 0 hat. Maynard bewies zum Beispiel, dass es unendlich viele Primzahlen gibt, die nicht die Ziffer 7 beinhalten. Die ersten dieser Primzahlen sind
- <math>3, 5, 11, 13, 19, 23, 29, 31, 41, \dots</math>
Sein Resultat gilt aber auch für alle anderen möglichen Ziffern von 0 bis 9. Der Beweis ist kompliziert und verwendet unter anderem die Kreismethode sowie Techniken aus der Fourier-Analysis.<ref>James Maynard: Primes with restricted digits. Invent. Math. 217, 2019, no. 1, 127–218.</ref> Im August 2022 wurde Maynard unter anderem für diese Leistung mit der Fields-Medaille ausgezeichnet.
Anwendungen
Der Satz von Dirichlet findet Anwendung in einigen Bereichen der reinen Mathematik, besonders in zahlentheoretischen Kontexten. So wird er an einer kritischen Stelle bei den Vorbereitungen des Beweises des Satzes von Hasse-Minkowski benötigt im Kontext mit Hilbert-Symbolen. Dies ist insofern bemerkenswert, da dieser Beweis ansonsten ausschließlich mit algebraischen und nicht analytischen Mitteln erbracht wird.<ref>Jean-Pierre Serre: A course in arithmetic, Springer, S. v.</ref> Der Satz von Hasse-Minkowski liefert ein notwendiges und hinreichendes Kriterium dafür, dass quadratische Gleichungen mit rationalen Koeffizienten in mehreren Variablen lösbar sind. Damit gelten Gleichungen dieses Typs gewissermaßen als „verstanden“. Das Kriterium benutzt für jede Primzahl <math>p</math> eine „Neuinterpretation“ der Gleichung in einem zu dieser Primzahl zugehörigen „Definitionsbereich“.
Ferner wird der Satz von Dirichlet beim Beweis des Umkehrsatzes von Weil gebraucht. Dieser verallgemeinert den Umkehrsatz von Hecke, der eine 1:1-Korrespondenz zwischen Modulformen zur vollen Modulgruppe und gewissen L-Funktionen aufstellt. Im Fall von Weil dehnt sich dieses Resultat auf Kongruenzuntergruppen aus. Hierbei wird für primitive Dirichlet-Charaktere ein hinreichend großer Vorrat von Primzahlen in bestimmten Restklassen benötigt – und dieser unendliche Vorrat wird durch den Satz von Dirichlet garantiert.<ref>Henri Cohen, Fredrik Strömberg: Modular Forms. A Classical Approach, American Mathematical Society, Graduate Studies in Mathematics, Vol. 179, S. 392–397.</ref> Modulformen gehören zu den bedeutendsten Objekten der Mathematik. Sie finden Anwendung zum Beispiel in der algebraischen Geometrie, der Darstellungstheorie, der Topologie, aber auch in der Physik. In Verbindung mit ihren L-Funktionen stehen Modulformen jedoch besonders im Zentrum der Zahlentheorie. So korrespondiert etwa zu jeder (nicht-singulären) elliptischen Kurve <math>E</math> über <math>\Q</math>, mit der Gestalt <math> E \colon y^2 = x^3 + ax + b</math> (<math>a,b, \in \Q</math>), eine Modulform. Diese Aussage ist auch als Modularitätssatz bekannt. Dass die L-Funktion dieser Modulform etwas über die Anzahl der rationalen Punkte auf <math>E</math> aussagt, ist eines der sieben Millennium-Probleme der Mathematik und auch als Vermutung von Birch und Swinnerton-Dyer bekannt.
Literatur
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- P. G. L. Dirichlet: Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält. In: Abhand. Ak. Wiss. Berlin, 48, 1837 (<templatestyles src="Webarchiv/styles.css" />{{#if:20110718035057
| {{#ifeq: 20110718035057 | *
| {{#if: bbaw.de | {{#invoke:WLink|getEscapedTitle|bbaw.de}} | {{#invoke:Webarchiv|getdomain|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20110718035057}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: bbaw.de | {{#invoke:WLink|getEscapedTitle|bbaw.de}} | {{#invoke:Webarchiv|getdomain|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20110718035057}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: bbaw.de | {{#invoke:WLink|getEscapedTitle|bbaw.de}} | {{#invoke:Webarchiv|getdomain|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: bbaw.de | {{#invoke:WLink|getEscapedTitle|bbaw.de}} | {{#invoke:Webarchiv|getdomain|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: bbaw.de | {{#invoke:WLink|getEscapedTitle|bbaw.de}} | {{#invoke:Webarchiv|getdomain|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: bbaw.de | {{#invoke:WLink|getEscapedTitle|bbaw.de}} | {{#invoke:Webarchiv|getdomain|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20110718035057|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286}}
|| {{#if: || }}
}}{{#if: bbaw.de
| {{#if: {{#invoke:WLink|isBracketedLink|bbaw.de}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286 }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}}).
- Recherches sur diverses applications de l’analyse à la théorie des nombres. In: Journal für Reine und Angewandte Mathematik, Band 19, 1839, S. 324–369, Band 21, 1840, S. 1–12, 134–155 (und Dirichlet, Werke, Band 1).
- Winfried Scharlau, Hans Opolka: Von Fermat bis Minkowski. Springer, 1985, ISBN 978-3-540-10086-7.
- Władysław Narkiewicz: The development of prime number theory. Springer, 2000, ISBN 978-3-642-08557-4.
- {{#invoke:Vorlage:Literatur|f}}
Weblinks
- {{#if: | {{{author}}} | Eric W. Weisstein }}: Dirichlet’s Theorem. In: MathWorld (englisch). {{#if: DirichletsTheorem | {{#ifeq: {{#property:P2812}} | DirichletsTheorem | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
- A. Granville, G. Martin: Prime Number Races. 2004, Vorlage:ArXiv.
- Ivan Soprounov: A short proof of the prime number theorem for arithmetic progressions.
Anmerkungen
<references group="Anm." />
Einzelnachweise
<references />
Vorlage:Hinweisbaustein{{#ifeq: 0 | 0 | {{#if: 23. November 2022 | | }} {{#if: {{#invoke:Expr|figure|228032076|set=Z}} | | }} {{#if: {{#invoke:Vorlage:Seitenbewertung|fulfils|match=17437796}} | | }} }}
- Wikipedia:Vorlagenfehler/Vorlage:Zitat
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Parameter:Datum
- Wikipedia:Vorlagenfehler/Vorlage:"
- Wikipedia:Weblink offline fix-attempted
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link/URL fehlt
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Archiv-URL
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Linktext fehlt
- Wikipedia:Wikidata P2812 verschieden
- Wikipedia:Wikidata P2812 fehlt
- Wikipedia:Exzellent
- Wikipedia:Vorlagenfehler/Bewertungsbaustein
- Wikipedia:Vorlagenfehler/Bewertungsbaustein/Wikidata
- Satz (Mathematik)
- Primzahl
- Peter Gustav Lejeune Dirichlet