P-adische Zahl - LinkFang.de





P-adische Zahl


Für jede Primzahl [math]p[/math] bilden die [math]p[/math]-adischen Zahlen einen Erweiterungskörper [math]\Bbb Q_p[/math] des Körpers [math]\Bbb Q[/math] der rationalen Zahlen; sie wurden 1897 erstmals von Kurt Hensel beschrieben. Diese Körper werden benutzt, um Probleme in der Zahlentheorie zu lösen, oftmals unter Verwendung des Lokal-Global-Prinzips von Helmut Hasse, das – vereinfacht gesprochen – aussagt, dass eine Gleichung genau dann über den rationalen Zahlen gelöst werden kann, wenn sie über den reellen Zahlen [math]\R[/math] und über allen [math]\Bbb Q_p[/math] gelöst werden kann (was aber nicht so allgemein zutrifft, für die genaue Bedeutung siehe dort). Als metrischer Raum ist [math]\Bbb Q_p[/math] vollständig und erlaubt so die Entwicklung einer [math]p[/math]-adischen Analysis analog zur reellen Analysis.

Motivation

Ist p eine fest gewählte Primzahl, dann kann jede ganze Zahl in einer [math]p[/math]-adischen Entwicklung der Form

[math]\pm\sum_{i=0}^n a_i \cdot p^i[/math]

geschrieben werden (man sagt, die Zahl wird zur Basis [math]p[/math] notiert, siehe auch Stellenwertsystem), wobei die [math]a_i[/math] Zahlen aus [math]\{0,1,\ldots,p-1\}[/math] sind. So ist etwa die [math]2[/math]-adische Entwicklung gerade die Binärdarstellung; zum Beispiel schreibt man:

[math]35 \;=\; 1\cdot 2^5 + 0\cdot 2^4 + 0\cdot 2^3 + 0\cdot 2^2 + 1\cdot 2^1 + 1\cdot 2^0 \;=\; 100011_2[/math]

Die bekannte Verallgemeinerung dieser Beschreibung auf größere Zahlmengen (rationale und reelle) ist die Zulassung unendlicher Summen am unteren Ende, d. h. der folgenden Form:

[math]\pm\sum_{i=-\infty}^n a_i \cdot p^i[/math]

Diese Reihen sind konvergent bezüglich des gewöhnlichen Absolutbetrags. Zum Beispiel ist [math]0{,}\overline{13} = 0{,}131313\dots_5[/math] die 5-adische Darstellung von [math]\tfrac 13[/math] zur Basis [math]b = 5[/math]. In diesem System sind die ganzen Zahlen genau diejenigen, für die [math]a_i=0[/math] für alle [math]i\lt0[/math] gilt. Man kann aber auch einen Konvergenzbegriff definieren, bei dem die Summen am anderen Ende ins Unendliche verlängert werden und so Reihen der Form

[math]\sum_{i=k}^\infty a_i \cdot p^i [/math]                         (1)

erzeugen, wobei [math]k[/math] eine beliebige ganze Zahl ist. Auf diese Weise erhalten wir den Körper [math]\Bbb Q_p[/math] der [math]p[/math]-adischen Zahlen (in Gegenüberstellung zu den (reellen) Zahlen, die in einem (gewöhnlichen) [math]b[/math]-adischen Stellenwertsystem dargestellt sind). Diejenigen [math]p[/math]-adischen Zahlen, für die [math]a_i=0[/math] für alle [math]i\lt0[/math] gilt, heißen [math]p[/math]-adische ganze Zahlen. Analog zur gewöhnlichen [math]p[/math]-adischen Entwicklung kann man diese Reihen als (nach links unendlich fortgesetzte) Ziffernfolge schreiben:

[math]\dotsb + 2\cdot 5^4 + 3\cdot 5^3 + 2\cdot 5^2 + 3\cdot 5^1 + 2\cdot 5^0 + 3\cdot 5^{-1} = \ldots 23232{,}3_5[/math]
Bemerkung
Die Konvention, die Auslassungspünktchen auf die linke Seite zu setzen, spiegelt zwar die Leserichtung, hat aber den Vorteil, dass endliche Symbolfolgen, die ja in beiden Fällen dieselbe Bedeutung haben, sich in der Notation nicht unterscheiden.

Anschaulich besteht also die gewöhnliche [math]p[/math]-adische Entwicklung aus Summen, die sich nach rechts fortsetzen mit immer kleineren (negativen) Potenzen von [math]p[/math], und die [math]p[/math]-adischen Zahlen haben Entwicklungen, die sich nach links fortsetzen mit immer größeren [math]p[/math]-Potenzen.[1]

Mit diesen formalen Laurent-Reihen in [math]p[/math] kann man rechnen wie mit den gewöhnlichen [math]p[/math]-adischen Entwicklungen reeller Zahlen: Addition von rechts nach links mit Übertrag, Multiplikation nach Schulmethode. Beachten muss man nur, dass sich Überträge ins Unendliche fortsetzen können, beispielsweise ergibt die Addition von [math]\ldots 44444_5[/math] und [math]1_5[/math] die Zahl [math]0_5[/math] . Das fehlende Vorzeichen ist also tatsächlich nicht nötig, da auch alle Inversennegative Zahlen gibt es nicht ‒ eine [math]p[/math]-adische Darstellung (1) haben.

Des Weiteren lässt sich die Subtraktion nach Schulmethode von rechts nach links durchführen, unter Umständen mit einem unendlich oft auftretenden Rückübertrag (man versuche es bei [math]0_5-1_5=\dots444_5[/math]).

Die Division dagegen wird im Gegensatz zur Schulmethode auch von rechts nach links durchgeführt, dadurch wird das Ergebnis nach links fortgesetzt, falls die Division nicht aufgeht.

Ein technisches Problem ist nun, ob diese Reihen überhaupt sinnvoll sind, d. h. ob sie in irgendeinem Sinne konvergieren. Zwei Lösungen dafür werden nun vorgestellt.

Konstruktion

Analytische Konstruktion

Die reellen Zahlen können konstruiert werden als Vervollständigung der rationalen Zahlen. Sie werden dabei aufgefasst als Äquivalenzklassen von rationalen Cauchy-Folgen. Dies erlaubt uns zum Beispiel, die Zahl [math]1[/math] als [math]1{,}00\dots[/math] oder als [math]0{,}99\dots[/math] zu schreiben, da in [math]\R[/math] [math]0{,}\overline 9 = 1[/math] gilt.

Jedoch hängt bereits die Definition einer Cauchy-Folge von der verwendeten Metrik ab, und indem man statt der üblichen euklidischen (archimedischen) Metrik, die vom Absolutbetrag erzeugt wird, eine andere Metrik benutzt, erhält man andere Vervollständigungen anstelle der reellen Zahlen.

p-adischer Betrag

Für eine fest vorgegebene Primzahl [math]p[/math] definieren wir den [math]p[/math]-adischen Betrag auf [math]\Bbb Q[/math]: Jede rationale Zahl [math]x \neq 0[/math] lässt sich in der Form [math]x=\pm \tfrac{a}{b} \; p^n[/math] schreiben mit einer eindeutig bestimmten ganzen Zahl [math]n[/math] und zwei natürlichen Zahlen [math]a[/math] und [math]b[/math], die beide nicht durch [math]p[/math] teilbar sind. Wir setzen dann [math]|x|_p \,:=p^{-n}[/math] und [math]|0|_p\,:=0[/math]. Dies ist ein nichtarchimedischer Betrag.

Zum Beispiel gilt für [math]x=\tfrac{63}{550}=2^{-1}\cdot 3^2\cdot 5^{-2}\cdot 7\cdot 11^{-1}[/math] und damit weiter:

[math]|x|_2=2, |x|_3=\tfrac{1}{9}, |x|_5=25, |x|_7=\tfrac{1}{7}, |x|_{11}=11[/math]
[math]|x|_p=1[/math] für jede andere Primzahl [math]p[/math]

Im Sinne dieses Betrags [math]|x|_p[/math] sind große Potenzen von [math]p[/math] betragsmäßig klein. Damit wird auf den [math]p[/math]-adischen Zahlen ein diskreter Bewertungsring definiert.

p-adische Metrik

Die [math]p[/math]-adische Metrik [math]d_p[/math] auf [math]\Bbb Q[/math] definiert man über den Betrag:[2]

[math]d_p(x,y)=|x-y|_p[/math]

Damit ist beispielsweise die Folge [math](1,5,5^2,5^3,5^4,\ldots)[/math] in [math]\Bbb Q[/math] bezüglich der 5-adischen Metrik eine Nullfolge, wohingegen die Folge [math](1, \tfrac{1}{2}, \tfrac{1}{4}, \tfrac{1}{8},\ldots)[/math] beschränkt, aber keine Cauchy-Folge ist, denn für jedes [math]n[/math] gilt:

[math]d_5\left(\tfrac{1}{2^n}, \tfrac{1}{2^{n+1}}\right)=\left|\tfrac{1}{2^{n+1}}\right|_5 = 1[/math]

Die Vervollständigung des metrischen Raums [math](\Bbb Q,d_p)[/math] ist der metrische Raum [math]\Bbb Q_p[/math] der [math]p[/math]-adischen Zahlen. Er besteht aus Äquivalenzklassen von Cauchy-Folgen, wobei zwei Cauchy-Folgen äquivalent seien, wenn die Folge ihrer punktweisen [math]p[/math]-adischen Abstände eine Nullfolge ist. Auf diese Weise erhält man einen vollständigen metrischen Raum, der (durch die wohldefinierten komponentenweisen Verknüpfungen der Cauchy-Folgen-Äquivalenzklassen) außerdem ein Körper ist, in dem [math]\Bbb Q[/math] enthalten ist.

Da die so definierte Metrik eine Ultrametrik ist, konvergieren Reihen bereits dann, wenn die Summanden eine Nullfolge bilden. In diesem Körper sind also die oben erwähnten Reihen der Form

[math]\sum_{i=k}^\infty a_i \cdot p^i[/math]

sofort als konvergent zu erkennen, falls [math]k[/math] eine ganze Zahl ist und die [math]a_i[/math] in [math]\{0,1,\ldots,p-1\}[/math] liegen. Man kann zeigen, dass sich jedes Element von [math]\Bbb Q_p[/math] als Grenzwert genau einer solchen Reihe darstellen lässt.

Algebraische Konstruktion

Hier wird zuerst der Ring [math]\Z_p[/math] der [math]p[/math]-adischen ganzen Zahlen definiert, und danach dessen Quotientenkörper [math]\Q_p[/math].

Wir definieren [math]\Z_p[/math] als projektiven Limes

[math]\Z_p=\varprojlim_{n\in\N}\Z/p^n\Z[/math]

der Ringe [math]\Z/p^n\Z[/math] (siehe Restklassenkongruenz): Eine [math]p[/math]-adische ganze Zahl ist dann eine Folge [math](a_n)[/math] von Restklassen [math]a_n[/math] aus [math]\Bbb Z/p^n\Bbb Z[/math], die die Verträglichkeitsbedingung (des projektiven Limes)

[math]1\le n\ltm \Rightarrow a_n \equiv a_m \pmod{p^n} [/math]

erfüllen. Für jede ganze Zahl [math]m[/math] ist die (stationäre) Folge [math]\textstyle \left(m+p^n\Z\right)_{n\in\N}[/math] ein Element von [math]\Z_p[/math].[3]

Die komponentenweise definierte Addition und Multiplikation sind wohldefiniert, da Addition und Multiplikation ganzer Zahlen mit der Restklassenbildung vertauschbar sind. Damit hat jede [math]p[/math]-adische ganze Zahl [math](a_n)[/math] die additive Inverse [math](p^n-a_n)[/math], und jede Zahl, deren erste Komponente [math]a_1[/math] nicht [math]0[/math] ist, hat eine multiplikative Inverse, denn in dem Fall sind alle [math]a_n[/math] zu [math]p^n[/math] teilerfremd, haben also ein Inverses [math]b_n[/math] modulo [math]p^n[/math], und die Folge [math](b_n)[/math] (welche die Kongruenzeigenschaft des projektiven Limes hat) ist dann die Inverse zu [math](a_n)[/math].

Jede [math]p[/math]-adische Zahl kann auch als Reihe der oben beschriebenen Form (1) dargestellt werden, dabei sind die Partialsummen gerade die Komponenten der Folge. Zum Beispiel kann man die [math]3[/math]-adische Folge [math](2, 8, 8, 35, 35, 35, \ldots)[/math] auch als [math]2+2\cdot 3+0\cdot 3^2+1\cdot 3^3+0\cdot 3^4+0 \cdot 3^5 + \dotsb[/math] schreiben oder in der verkürzten Schreibweise als [math]\dots001022_3[/math].

Der Ring der [math]p[/math]-adischen ganzen Zahlen ist nullteilerfrei, deshalb können wir den Quotientenkörper bilden und erhalten [math]\Q_p,[/math] den Körper der [math]p[/math]-adischen Zahlen. Jedes von [math]0[/math] verschiedene Element dieses Körpers kann man in der Form [math]u p^n[/math] darstellen, wobei [math]n[/math] eine ganze Zahl und [math]u[/math] eine invertierbare [math]p[/math]-adische ganze Zahl (also mit erster Komponente [math]u_0 \ne 0[/math]) ist. Diese Darstellung ist eindeutig.

Ferner ist [math]\Q_p = \left\{p^{-n} \mid n\in \N_0 \right\} \cdot \Z_p = \Q \cdot \Z_p = \Q+\Z_p.[/math]

Unterschiede zu den archimedischen Systemen

Abgesehen von der anderen Konvergenz der [math]p[/math]-adischen Metrik gegenüber der unter Stellenwertsystem beschriebenen archimedischen Metrik gibt es noch folgende Unterschiede:

  1. Die [math]p[/math]-adischen Basen sind Primzahlen oder Primelemente, weil das maximale Ideal des (diskreten) Bewertungsrings ein Primideal (und Hauptideal) ist.
  2. Zu einer gegebenen Basis ist die Darstellung der Zahlen als unendlicher Summe (1) eindeutig. Es gibt also keine Zahlen wie die endlichen Brüche bei manchen Stellenwertsystemen, für die es zwei Darstellungen als unendliche Summe gibt, wie bei [math]1{,}0=0{,}\overline 9[/math] in [math]\R[/math] dargestellt zur Basis [math]10[/math].
  3. Bei den Algorithmen z. B. für die Grundrechenarten laufen Potenzen und Überläufe in die gleiche aufsteigende Richtung. Wird die Rechnung abgebrochen, kann man sofort die Größe des Fehlers angeben.
    Bei den Stellenwertsystemen kann man bei Brüchen, die in Bezug auf eine Basis endlich sind, ebenfalls bei den niedrigen Potenzen beginnen und zu höheren Potenzen fortschreitend die Überträge einarbeiten. Will man bei einer irrationalen Zahl jedoch im Endlichen (bei hohen Potenzen) beginnen und zu kleinen Potenzen im Unendlichen fortschreiten, dann wirken die Überläufe in die Gegenrichtung und es ist eine Fehlerabschätzung für das Sicherstellen der Richtigkeit der auszuwerfenden Ziffer erforderlich.
  4. Ein Vorzeichen wie bei den reellen Zahlen gibt es nicht, auch keine „negativen“ Zahlen. Die Darstellung von [math]-1[/math] als unendliche Summe (1) ist [math]-1 = \sum_{i=0}^\infty (p-1) \cdot p^i[/math].
  5. Da für alle Primzahlen [math]p[/math] die Zahl [math]-1[/math] in [math]\Q_p[/math] als Summe von Quadraten dargestellt werden kann, kann [math]\Q_p[/math] nicht angeordnet werden.
  6. Eine nichtarchimedische Metrik [math]d_p[/math] definiert zu jedem [math]\varepsilon \in \R^+[/math] eine Äquivalenzrelation
          [math]x \sim y \quad :\Longleftrightarrow \quad d_p(x,y) \leq \varepsilon[/math].
  7. Für [math]\varepsilon = 1[/math] und [math]y=0[/math] erhält man so einen Bewertungsring, wie [math]\Z_p[/math] einer ist, der für [math]x\neq 0[/math] immer wenigstens eines, [math]x[/math] oder [math]x^{-1}[/math], enthält, aber nicht den ganzen Körper darstellt. Bei den archimedischen Systemen gibt es nichts Vergleichbares.

Eigenschaften

Die Menge [math]\Bbb Q_p[/math] der [math]p[/math]-adischen Zahlen ist überabzählbar.

Der Körper der [math]p[/math]-adischen Zahlen enthält [math]\Bbb Q[/math] und hat deshalb Charakteristik [math]0[/math], kann aber nicht angeordnet werden.

Der topologische Raum [math]\Z_p[/math] der [math]p[/math]-adischen ganzen Zahlen ist ein total unzusammenhängender kompakter Raum, der Raum aller [math]p[/math]-adischen Zahlen ist lokalkompakt und total unzusammenhängend. Als metrische Räume sind beide vollständig.

Die Primelemente von [math]\Z_p[/math] sind genau die zur Zahl [math]p[/math] assoziierten Elemente. Dies sind auch genau die Elemente, deren Betrag gleich [math]|p| = 1/p[/math] ist; dieser Betrag ist der größte in [math]\Bbb Q_p[/math] vorkommende Betrag, der kleiner ist als [math]1[/math]. Die Primelemente von endlichen Erweiterungen von [math]\Bbb Q_p[/math] sind Teiler von [math]p[/math].

[math]\Z_p[/math] ist ein lokaler Ring, genauer ein diskreter Bewertungsring. Sein maximales Ideal wird von [math]p[/math] (oder einem beliebigen anderen Primelement) erzeugt.

Die reellen Zahlen haben nur eine einzige echte algebraische Erweiterung, den Körper der komplexen Zahlen, der bereits durch Adjunktion einer Quadratwurzel entsteht und algebraisch abgeschlossen ist. Im Gegensatz dazu hat der algebraische Abschluss von [math]\Bbb Q_p[/math] einen unendlichen Erweiterungsgrad. [math]\Bbb Q_p[/math] hat also unendlich viele inäquivalente algebraische Erweiterungen.

Die Metrik auf [math]\Bbb Q_p[/math] lässt sich zu einer Metrik auf dem algebraischen Abschluss fortsetzen, allerdings ist diese dann nicht vollständig. Die Vervollständigung des algebraischen Abschlusses bezüglich dieser Metrik führt zum Körper [math]\Bbb C_p[/math], der bezüglich seiner Analysis etwa den komplexen Zahlen entspricht.

p-adische Funktionentheorie

Die übliche Definition der Exponentialfunktion

[math]\exp(x) := \sum_{n=0}^\infty \frac{x^n}{n!}[/math]

konvergiert für alle [math]x[/math] mit [math]|x|_p\ltp^{ \frac{-1}{p-1} }[/math]. Dieser Konvergenzradius gilt für alle algebraischen Erweiterungen von [math]\Bbb Q_p[/math] und deren Vervollständigungen, einschließlich [math]\Bbb C_p[/math].

Damit liegt [math]\exp(p)[/math] in [math]\Bbb Q_p[/math] für alle [math]p\gt2[/math]; in [math]\Bbb Q_2[/math] liegt [math]\exp(4)[/math]. Es gibt algebraische Erweiterungen von [math]\Bbb Q_p[/math], in denen die [math]p[/math]-te Wurzel von [math]\exp(p)[/math] bzw. die vierte Wurzel von [math]\exp(4)[/math] liegt; diese Wurzeln könnte man als [math]p[/math]-adische Entsprechungen der Eulerschen Zahl auffassen. Diese Zahlen haben aber mit der reellen Eulerschen Zahl [math]e = 2{,}718\ldots[/math] wenig zu tun.

Funktionen von [math]\R[/math] nach [math]\R[/math] mit Ableitung [math]0[/math] sind konstant. Für Funktionen von [math]\Bbb Q_p[/math] nach [math]\Bbb Q_p[/math] gilt dieser Satz nicht; zum Beispiel hat die Funktion

[math]f\colon \Bbb Q_p\to\Bbb Q_p, \; x\mapsto \left( \frac{1}{|x|_p} \right)^2[/math] für [math]x\neq 0[/math], [math]f(0) = 0[/math]

auf ganz [math]\Bbb Q_p[/math] die Ableitung [math]0[/math], ist aber nicht einmal lokal konstant in [math]0[/math]. Dabei ist die Ableitung analog zum reellen Fall über den Grenzwert der Differenzenquotienten definiert, und die Ableitung in [math]0[/math] ist

[math]\lim_{h\to 0}\left|\frac{1}{h} \left( \frac{1}{|h|_p} \right)^2\right|_p = \lim_{h\to 0}|h|_p = 0[/math].

Approximationssatz

Sind [math]r_\infty, r_2, r_3, r_5, r_7, \ldots[/math] Elemente von [math]\Bbb Q_\infty (:=\R), \Bbb Q_2, \Bbb Q_3, \Bbb Q_5, \Bbb Q_7, \ldots[/math], dann gibt es eine Folge [math](x_{\nu})[/math] in [math]\Bbb Q[/math], sodass für jedes [math]p[/math] (einschließlich [math]\infty[/math][math]r_p[/math] der Grenzwert von [math](x_{\nu})[/math] in [math]\Bbb Q_p[/math] unter [math]|\cdot|_p[/math] ist. (Diese Aussage wird manchmal Näherungssatz oder Approximationssatz genannt.)

Siehe auch

Literatur

  • Armin Leutbecher: Zahlentheorie. Eine Einführung in die Algebra. Springer, Berlin u. a. 1996, ISBN 3-540-58791-8, S. 116–130.

Einzelnachweise und Anmerkungen

  1. Konvergenz kann aber nur auf einer der beiden Seiten stattfinden, so dass die Entwicklung auf mindestens einer Seite endlich sein muss.
  2. Leutbecher, 1996, S. 118 f.
  3. Leutbecher, 1996, S. 117 f.

Kategorien: Algebraische Zahlentheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/P-adische Zahl (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.