Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 11/latex
\setcounter{section}{11}
\zwischenueberschrift{Die Unendlichkeit der Primzahlen}
\inputfaktbeweis
{Primzahlen/Unendlich viele/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Es gibt unendlich viele Primzahlen.}
\faktzusatz {}
\faktzusatz {}
}
{
Angenommen, die Menge aller Primzahlen sei endlich, sagen wir
\mathl{\{p_1,p_2 , \ldots , p_r\}}{.} Man betrachtet die Zahl
\mavergleichskettedisp
{\vergleichskette
{N
}
{ =} {p_1\cdot p_2\cdot p_3 { \cdots } p_r\ + 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Zahl ist durch keine der Primzahlen $p_i$ teilbar, da bei Division von $N$ durch $p_i$ immer ein Rest $1$ verbleibt. Damit sind die Primfaktoren von $N$, die es nach
Korollar 3.9
geben muss, nicht in der Ausgangsmenge enthalten - Widerspruch.
Eine Liste aller Primzahlen
\mathl{\leq 100 000}{} findet sich hier.
Kann man weitere Aussagen darüber machen, wie viele Primzahlen es gibt? Wir werden zunächst die Frage betrachten, was man über die Reihe
\mathdisp {\sum_{p \in {\mathbb P} } { \frac{ 1 }{ p } }} { }
sagen kann. Dies ist also die Summe aller Kehrwerte von Primzahlen,
\mathdisp {\frac{1}{2} + \frac{1}{3} + \frac{1}{5}+ \frac{1}{7} + \frac{1}{11} + \ldots} { . }
Bekanntlich divergiert die
\definitionsverweis {harmonische Reihe}{}{,}
also die Summe über aller Kehrwerte von positiven ganzen Zahlen. Dagegen konvergiert die Summe über alle Kehrwerte von Quadraten
\zusatzklammer {und zwar gegen \mathlk{{ \frac{ \pi^2 }{ 6 } }}{}} {} {,}
es gibt also im gewissen Sinn wenig Quadrate. Für jede unendliche Teilmenge
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist es eine interessante und meistens schwierige Frage, ob
\mathl{\sum_{n \in M} \frac{1}{n}}{} konvergiert oder divergiert. Für die Primzahlen werden wir das hier in Kürze beantworten. Die Beantwortung hängt eng mit der Riemannschen $\zeta$-Funktion zusammen. Die hier benutzten Methoden gehören zur analytischen Zahlentheorie.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Georg_Friedrich_Bernhard_Riemann.jpeg} }
\end{center}
\bildtext {Georg Friedrich Bernhard Riemann (1826-1866)} }
\bildlizenz { Georg Friedrich Bernhard Riemann.jpeg } {} {Ævar Arnfjörð Bjarmason} {Commons} {PD} {http://www.sil.si.edu/digitalcollections/hst/scientific-identity/explore.htm}
\inputdefinition
{}
{
Die \definitionswort {Riemannsche $\zeta$-Funktion}{} ist für
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit Realteil
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( s \right) }
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch
\mavergleichskettedisp
{\vergleichskette
{ \zeta(s)
}
{ =} { \sum_{n = 1}^\infty \frac{1}{n^s}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert.
}
Wir erinnern an die Konvergenz der geometrischen Reihe.
{Geometrische Reihe/Komplex/Konvergenzbeschreibung/Fakt}
{Satz}
{}
{
Für alle
\definitionsverweis {komplexen Zahlen}{}{}
$z$ mit
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
konvergiert die Reihe
\mathl{\sum^\infty_{k = 0} z^k}{}
\definitionsverweis {absolut}{}{}
und es gilt
\mavergleichskettedisp
{\vergleichskette
{ \sum^\infty_{k = 0} z^k
}
{ =} { { \frac{ 1 }{ 1-z } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Dies wird in der Grundvorlesung Analysis bewiesen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Zeta.png} }
\end{center}
\bildtext {} }
\bildlizenz { Zeta.png } {} {Anarkman} {Commons} {CC-by-sa 3.0} {}
\inputfaktbeweis
{Riemannsche Zetafunktion/Endliche Produktdarstellung/Fakt}
{Lemma}
{}
{
Es sei $T$ eine endliche Menge von Primzahlen und sei $s$ eine komplexe Zahl mit
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( s \right) }
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mathl{M(T)}{} die Menge aller natürlichen Zahlen, die sich als Produkt von Primzahlen aus $T$ darstellen lassen. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \prod_{p \in T} \frac{1}{1-p^{-s} }
}
{ =} {\sum_{n \in M(T)} \frac{1}{n^s}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Es sei
\mathl{T=\{p_1, \ldots, p_k\}}{.} Es ist
\mathl{{{|}}p^{-s}{{|}} < 1}{} nach Voraussetzung über den Realteil. Unter Verwendung der
geometrischen Reihe ergibt sich
\mavergleichskettealign
{\vergleichskettealign
{ \prod_{p \in T} \frac{1}{1-p^{-s} }
}
{ =} { \frac{1}{1-p_1^{-s} } \cdots \frac{1}{1-p_k^{-s} }
}
{ =} { \left(\sum_{i=0}^\infty (p_1^{-s})^{i}\right) \cdots \left(\sum_{i=0}^\infty (p_k^{-s})^{i}\right)
}
{ =} { \sum_{0 \leq i_1, \ldots, i_k < \infty} (p_1^{-s})^{i_1} \cdots (p_k^{-s})^{i_k}
}
{ =} { \sum_{0 \leq i_1, \ldots, i_k < \infty} ( p_1^{i_1} \cdots p_k^{i_k})^{-s}
}
}
{
\vergleichskettefortsetzungalign
{ =} { \sum_{n \in M(T)} n^{-s}
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Aus dieser Aussage ergibt sich sofort ein neuer Beweis dafür, dass es unendlich viele Primzahlen gibt. Wenn es nämlich nur endlich viele Primzahlen gäbe, so könnte man $T$ als die endliche Menge aller Primzahlen ansetzen. Es wäre dann
\mavergleichskette
{\vergleichskette
{M(T)
}
{ = }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für
\mavergleichskette
{\vergleichskette
{ s
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stünde dann links eine reelle Zahl, und rechts würde die Summe über alle natürlichen Kehrwerte stehen. Dies ist aber die harmonische Reihe, und diese divergiert!
\inputfaktbeweis
{Riemannsche Zetafunktion/Produktdarstellung/Fakt}
{Satz}
{}
{
Es sei $s$ eine komplexe Zahl mit
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( s \right) }
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt für die
\definitionsverweis {Riemannsche $\zeta$-Funktion}{}{}
die Produktdarstellung
\mavergleichskettedisp
{\vergleichskette
{ \zeta(s)
}
{ =} { \sum_{n = 1}^\infty \frac{1}{n^s}
}
{ =} { \prod_{p \in {\mathbb P} } \frac{1}{1-p^{-s} }
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Dies folgt aus Lemma 11.4, wenn man für $T$ die Menge der ersten $k$ Primzahlen überhaupt ansetzt und dann $k$ gegen unendlich laufen lässt. Die Konvergenz der linken Seite, also die Wohldefiniertheit der $\zeta$-Funktion, sichert dabei auch die Konvergenz der rechten Seite.
\inputfaktbeweis
{Riemannsche Zetafunktion/Divergenz der Produktdarstellung für s ist 1/Fakt}
{Korollar}
{}
{
Das unendliche Produkt
\mathdisp {\prod_{p \in {\mathbb P} } \frac{1}{1-p^{-1} }} { }
divergiert.
}
{
Dies folgt aus
Lemma 11.4
für
\mavergleichskette
{\vergleichskette
{ s
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man hat die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ \prod_{p \in T_k} \frac{1}{1-p^{-1} }
}
{ =} { \sum_{n \in M(T_k)} \frac{1}{n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $T_k$ die ersten $k$ Primzahlen umfasse. Für
\mathl{k \rightarrow \infty}{} ergibt sich rechts die
\definitionsverweis {harmonische Reihe}{}{,}
die bekanntlich divergiert. Also divergiert auch das Produkt links.
Wir können nun die oben formulierte Frage beantworten.
\inputfaktbeweis
{Primzahlverteilung/Divergenz der Primzahlkehrwerte/Fakt}
{Satz}
{}
{
Die
\definitionsverweis {Reihe}{}{}
der Kehrwerte der
\definitionsverweis {Primzahlen}{}{,}
also
\mathdisp {\sum_{p \in {\mathbb P} } \frac{1}{p}} { }
\definitionsverweis {divergiert}{}{.}
}
{
Das Produkt
\mathl{\prod_{i=1}^k \frac{1}{1-p_i^{-1} }}{} divergiert für
\mathl{k \rightarrow \infty}{} aufgrund von
Korollar 11.6
und ist insbesondere unbeschränkt. Daher ist auch der natürliche Logarithmus davon unbeschränkt. Dieser ist
\mavergleichskettedisp
{\vergleichskette
{ \ln { \left( \prod_{i = 1}^k \frac{1}{1-p_i^{-1} } \right) }
}
{ =} {\sum_{i = 1}^k \ln { \left( \frac{1}{1-p_i^{-1} } \right) }
}
{ =} { - \sum_{i = 1}^k \ln { \left( 1-p_i^{-1} \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Potenzreihenentwicklung des natürlichen Logarithmus ist
\mavergleichskettedisp
{\vergleichskette
{ \ln (1-x)
}
{ =} {- \sum_{j = 1}^\infty \frac{x^{j} }{j}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ < }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Angewendet auf die vorstehende Situation ergibt das
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^k { \left( \sum_{j = 1}^\infty \frac{(p_i^{-1})^{j} }{j} \right) }
}
{ =} {\sum_{i = 1}^k \frac{1}{p_i} + \sum_{i = 1}^k \left(\sum_{j = 2}^\infty \frac{(p_i^{-1})^{j} }{j}\right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für die hinteren Summanden hat man die Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{ \sum_{j = 2}^\infty \frac{(p_i^{-1})^{j} }{j}
}
{ \leq} { \sum_{j = 2}^\infty { \left( \frac{1}{p_i} \right) }^{j}
}
{ =} { { \left( \frac{1}{p_i} \right) }^{2} { \left( \sum_{j = 0}^\infty { \left( \frac{1}{p_i} \right) }^{j} \right) }
}
{ =} { { \left( \frac{1}{p_i} \right) }^{2} \frac{1}{1-p_i^{-1} }
}
{ \leq} { \frac{2}{p_i^2}
}
}
{}{}{,}
wobei hinten wieder die geometrische Reihe benutzt wurde. Damit ist insgesamt
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^k \left(\sum_{j = 2}^\infty \frac{(p_i^{-1})^{j} }{j}\right)
}
{ \leq} { \sum_{i = 1}^k\frac{2}{p_i^2}
}
{ \leq} { 2\sum_{n \in \N_+} \frac{1}{n^2}
}
{ } {
}
{ } {
}
}
{}{}{.}
Da die Summe der reziproken Quadrate konvergiert, ist diese Gesamtsumme beschränkt. Daher ist die Summe
\mathl{\sum_{i=1}^k \frac{1}{p_i}}{} unbeschränkt, was die Behauptung ist.
\inputbemerkung
{
}
{
Ein \stichwort {Primzahlzwilling} {} ist ein Paar bestehend aus $p$ und
\mathl{p+2}{,} wobei diese beiden Zahlen Primzahlen sind. Die ersten Beispiele sind
\mathdisp {(3,5),\, (5,7), \,(11,13),\,(17,19),\,(29,31), \ldots} { . }
Es ist ein offenes Problem der Zahlentheorie, ob es unendlich viele Primzahlzwillinge gibt
\zusatzklammer {was aber stark vermutet wird} {} {.}
Dagegen ist bekannt, dass die zugehörige Reihe, also
\mathdisp {\sum_{p, p+2 \in \mathbb P} \frac{1}{p}} { }
konvergiert. In diesem Sinne gibt es also, verglichen mit der Gesamtzahl der Primzahlen, wenige Primzahlzwillinge.
}
\inputbemerkung
{}
{
Die Frage, ob es unendlich viele Primzahlzwillinge gibt, besitzt verschiedene schwächere Varianten. Man kann sich zum Beispiel fragen, ob es unendlich oft vorkommt, dass es in einem Zehnerintervall zwei Primzahlen gibt, oder dass es in einem Hunderterintervall zwei Primzahlen gibt, und so weiter. Die ersten Primzahlen vermitteln dabei ein Bild, dass Primzahlen ziemlich häufig sind. Sie werden aber zunehmend seltener, sodass es für hohe Hunderterintervalle, sagen wir für die Zahlen von
\mathdisp {1 000 000 000 000 000 \text{ bis } 1 000 000 000 000 100} { }
ziemlich unwahrscheinlich ist, eine Primzahl zu enthalten, geschweige denn zwei Primzahlen. Bis vor kurzem war es nicht bekannt, ob es überhaupt eine Zahl $m$ mit der Eigenschaft gibt, dass es unendlich viele Intervalle der Länge $m$ gibt, die zwei Primzahlen enthalten
\zusatzklammer {\mathlk{m=2}{} wäre die positive Lösung des Primzahlzwillingsproblems} {} {.}
Im Jahr 2013 bewies Zhang Yitang, dass man
\mavergleichskette
{\vergleichskette
{m
}
{ = }{70 000 000
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nehmen kann, dass es also unendlich viele Intervalle der Form
\mathdisp {[k,k+70 000 000]} { }
gibt, in denen zwei Primzahlen liegen. Dieses Resultat ist ein Durchbruch in der Primzahlzwillingforschung, da es erstmals zeigt, dass sich Primzahlen unendlich oft \anfuehrung{ziemlich nahe}{} kommen. Zwischenzeitlich wurde die Schranke von
\mathl{70 000 000}{} auf
\mathl{252}{} gesenkt, siehe http://arxiv.org/pdf/1402.4849v2.pdf.
}
\zwischenueberschrift{Die Funktion $\pi(x)$}
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 $n^2$? Gibt es stets eine Primzahl zwischen $n$ und $2n$? Gibt es stets eine Primzahl zwischen $n^2$ und
\mathl{(n+1)^2}{?}
Es ist hilfreich, die folgende Funktion einzuführen, die \stichwort {Primzahlfunktion} {} genannt wird.
\inputdefinition
{}
{
Die für
\mathl{x\in \R}{} definierte Funktion
\mathdisp {x \longmapsto \pi (x) \defeq { \# \left( { \left\{ p \leq x \mid p \text{ Primzahl} \right\} } \right) }} { }
heißt \definitionswort {Primzahlfunktion}{.}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {De La_Vallee_Poussin.jpg} }
\end{center}
\bildtext {Charles-Jean de La Vallée Poussin (1866 Löwen - 1962 Brüssel)} }
\bildlizenz { De La Vallée Poussin.jpg } {} {Sonuwe} {Commons} {PD} {http://math.unipa.it/~circmat/Opere4.html}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Hadamard2.jpg} }
\end{center}
\bildtext {Jacques Salomon Hadamard (1865 Versailles - 1963 Paris)} }
\bildlizenz { Hadamard2.jpg } {} {Gian-} {en.wikipedia.org} {PD} {}
\inputbemerkung
{}
{
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 monton 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 $\pi(x)$ in etwa so verhält wie
\mathl{x/\ln(x)}{,} also dass der Quotient der beiden Funktionen gegen $1$ konvergiert. Hier tritt der natürliche Logarithmus
\zusatzklammer {zur Basis $e$} {} {}
auf.
{Zahlentheorie/Primzahlfunktion/Primzahlsatz/Fakt}
{Satz}
{}
{
Es gilt die asymptotische Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \pi(x)
}
{ \sim} { \frac{x}{\ln (x)}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Das heißt
\mavergleichskettedisp
{\vergleichskette
{ \lim_{x \rightarrow \infty} \frac{\pi(x)}{ \frac{x}{\ln (x)} }
}
{ =} { \lim_{x \rightarrow \infty}\frac{\pi(x) \ln (x)}{x}
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Dies ist ein Satz der analytischen Zahlentheorie, den wir hier nicht beweisen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {PrimeNumberTheorem.png} }
\end{center}
\bildtext {} }
\bildlizenz { PrimeNumberTheorem.png } {FredStober} {} {Commons} {PD} {}
Den Primzahlsatz kann man auch so verstehen, dass die Wahrscheinlichkeit, dass eine Zahl in der Größenordnung $x$ eine Primzahl ist, gleich
\mathl{{ \frac{ 1 }{ \ln x } }}{} ist. In der Tat ist sogar das Integral dazu, also der sogenannte \stichwort {Integrallogarithmus} {}
\mavergleichskette
{\vergleichskette
{ \operatorname{Li}(x)
}
{ = }{ \int_2^x { \frac{ 1 }{ \ln t } } dt
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine bessere Approximation für $\pi(x)$ als
\mathl{x/ \ln x}{.} Für
\mavergleichskette
{\vergleichskette
{x
}
{ = }{1000000
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \pi(x)
}
{ = }{ 78 498
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ \operatorname{ Li} (x)
}
{ = }{78 628
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ { \frac{ x }{ \ln x } }
}
{ = }{72 382
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {die beiden letzten Werte gerundet} {} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Peter_Gustav_Lejeune_Dirichlet.jpg} }
\end{center}
\bildtext {Peter Gustav Lejeune Dirichlet (1805-1859)} }
\bildlizenz { Peter Gustav Lejeune Dirichlet.jpg } {} {Magnus Manske} {Commons} {PD} {}
Wir erwähnen abschließend ohne Beweis noch den Satz von Dirichlet. Einzelne Spezialfälle werden in den Aufgaben besprochen.
{Primzahlverteilung/Satz von Dirichlet/Fakt}
{Satz}
{}
{
Es sei $n$ eine natürliche Zahl und $a$ eine zu $n$ teilerfremde Zahl. Dann gibt es unendlich viele Primzahlen, die modulo $n$ den Rest $a$ haben.
}
{
Dies ist ein Satz der analytischen Zahlentheorie, den wir im Rahmen dieser Vorlesung nicht beweisen können.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Paul_Erdos_with_Terence_Tao.jpg} }
\end{center}
\bildtext {Generationenübergreifend forschen. Hier Paul Erdős und Terence Tao.} }
\bildlizenz { Paul_Erdos_with_Terence_Tao.jpg } {} {PaulTheOctopus} {Commons} {CC-by-sa 2.0} {}
Der folgende Satz wurde 2004 von Ben Green und Terence Tao bewiesen.
{Primzahlverteilung/Arithmetische Progression/Green-Tao/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Zu jedem $k$ gibt es arithmetische Progressionen der Länge $k$, die nur aus Primzahlen bestehen.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies können wir hier nicht beweisen.
Eine arithmetische Progression innerhalb der Primzahlen der Länge $7$ ist
\mathdisp {7,157,307,457,607,757,907} { . }
Die derzeit längste bekannte arithmetische Progression besitzt $26$ Glieder, nämlich
\mathdisp {43 142 746 595 714 191 + 23 681 770 \cdot 223 092 870 \cdot n, \text{ für } n = 0 , \ldots , 25} { . }
| << | Kurs:Zahlentheorie (Osnabrück 2016-2017) | >> |
|---|