Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 11/latex
\setcounter{section}{11}
\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
Fakt *****
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 \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, es gibt also im gewissen Sinn wenig Quadrate. Für jede unendliche Teilmenge
\mathl{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.
}
{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. Für
\mathl{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.
}
\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, folgende Funktion einzuführen, die 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. Für einige wichtige Eigenschaften des Logarithmus siehe hier.
{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} {}
\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.