Vollständiger Körper

Im mathematischen Teilgebiet der Algebra ist ein vollständiger Körper (auch vollständiger bewerteter Körper) ein bewerteter Körper, der mit der aus der Bewertung resultierenden Metrik ein vollständiger Raum ist.

Standardbeispiel für einen vollständigen Körper ist $\mathbb {R}$, für einen unvollständigen Körper $\mathbb {Q}$. In diesen beiden Körpern liefert der Absolutbetrag die Bewertung.

Für geordnete Körper hat man damit neben der Ordnungsvollständigkeit einen zweiten Vollständigkeitsbegriff (metrische Vollständigkeit oder Cauchy-Vollständigkeit), doch für archimedische Körper (wie $\mathbb {Q}$ oder $\mathbb {R}$) sind die beiden äquivalent: Ein geordneter Körper ist genau dann archimedisch und Cauchy-vollständig, wenn er ordnungsvollständig ist. Es gibt jedoch nicht-angeordnete Körper (wie $\mathbb {Q} _{p}$ oder $\mathbb {C}$), die metrisch vollständig sind.

Erläuterungen

Ein bewerteter Körper ist ein Körper $(K,+,\cdot )$ mit einer Bewertung, d. h. einer Abbildung in die reellen Zahlen

$\phi \colon K\to \mathbb {R} _{\geq 0}$,

die die Bedingungen

$\phi (a)>0$ für $a\not =0$, und $\phi (0)=0$

$\phi (a\cdot b)=\phi (a)\cdot _{\mathbb {R} }\phi (b)$ für alle $a,b$

$\phi (a+b)\leq \phi (a)+_{\mathbb {R} }\phi (b)$ für alle $a,b$

erfüllt.

Die Bewertung induziert eine Metrik $d$ auf $K$ durch

$d(x,y):=\phi (x-y)$.

Ein bewerteter Körper heißt vollständig, wenn in $K$ mit der induzierten Metrik jede Cauchy-Folge konvergiert.

Verallgemeinerungen

Die Bezeichnung „vollständiger Körper“ legt nahe, nicht nur bewertete Körper zu betrachten, sondern allgemeiner, mit einer Metrik versehene Körper. Das nLab definiert einen vollständigen Körper als einen vollständigen Raum und fordert zusätzlich die Stetigkeit der Körperoperationen, also dass die Abbildungen

1. $+\colon K\times K\to K$
2. $\cdot \colon K\times K\to K$

bzgl. der von der Metrik erzeugten Topologie stetig sind. Aus den oben genannten Eigenschaften einer Bewertung folgt diese Stetigkeit automatisch.

Beispiele

• Der Körper der reellen Zahlen $\mathbb {R}$ mit der Metrik $d(x,y)=|x-y|$.
• Der Körper der komplexen Zahlen $\mathbb {C}$ mit der Metrik $d(x,y)=|x-y|$.
• Der Körper der p-adischen Zahlen $\mathbb {Q} _{p}$ mit der durch die p-adische Norm $|.|_{p}$ definierten Metrik $d(x,y)=|x-y|_{p}$.
• Der Schiefkörper $\mathbb {H}$ der Quaternionen mit der Metrik $d(x,y)=|x-y|$.

Vervollständigung bewerteter Körper

Definition

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ein bewerteter Körper und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d} die von der Bewertung induzierte Metrik. Die Vervollständigung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} bzgl. dieser Metrik ist ein vollständiger Körper, der mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{K}} bezeichnet wird.

Beispiele

• Ausgehend vom Körper der rationalen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q} mit der p-adischen Bewertung erhält man als Vervollständigung den Körper der p-adischen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q_p} .
• Ausgehend vom Körper der rationalen Zahlen mit dem Absolutbetrag erhält man als Vervollständigung den Körper der reellen Zahlen.
• Ausgehend vom rationalen Funktionenkörper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q(x)} und der durch die Nullstellenordnung im Nullpunkt gegebenen Bewertung erhält man als Vervollständigung den Körper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q((x))} der formalen Laurent-Reihen.

Weblinks

• Ramanathan: Lectures on the algebraic theory of fields (Kapitel 8.4)