Topologischer Ring

In der Mathematik ist ein topologischer Ring ein Ring, welcher bezüglich der Addition eine topologische Gruppe ist und dessen Multiplikation in der gegebenen Topologie ebenfalls stetig ist. Ist R sogar ein Körper, und ist auch die multiplikative Inversenbildung stetig, dann spricht man von einem topologischen Körper. Entsprechend kann man einen topologischen Schiefkörper definieren. Im Gegensatz zu den nichtkommutativen topolologischen Ringen (wie den Endomorphismenringen s. u.) sind „echte“ topologische Schiefkörper von geringem Interesse. Wo in diesem Artikel nicht ausdrücklich darauf hingewiesen wird, gelten die über Körper gemachten Aussagen auch für Schiefkörper.

Nach seiner Definition trifft für einen topologischer Ring R alles zu, was über eine topologische Gruppe gesagt werden kann, wichtig ist insbesondere, dass der Ring als topologischer Raum uniform ist und daher in einen vollständigen uniformen Raum S eingebettet werden kann, der selbst wieder ein Ring ist und R als dichten Unterring enthält.

Lokale Charakterisierung der Stetigkeit

Die Stetigkeit der Multiplikation bzw. der Inversenbildung kann man in einem Ring R, der bezüglich seiner Addition eine topologische Gruppe ist, allein mit Nullumgebungen charakterisieren. Sei dazu B(0) eine Basis von 0 (Nullumgebungsbasis):
Die Linksmultiplikation mit einem festen Element c ist auf R genau dann stetig, wenn

für jede Umgebung U in B(0) eine Umgebung V in B(0) existiert, so dass $c\cdot V\subseteq U$ gilt.

Entsprechend lässt sich die Stetigkeit der Rechtsmultiplikation mit c charkaterisieren. Im Fall eines kommutativen Ringes sind die beiden Bedingungen gleichwertig. Ist die Links- und Rechtsmultiplikation mit jedem Element c stetig und gilt dann noch

für alle U in B(0) existiert V in B(0), so dass $V\cdot V\subseteq U$ gilt,

dann ist die Multiplikation stetig und R ein topologischer Ring.
Die Inversenbildung ist genau dann stetig im invertierbaren Element $x\in R^{\times }$, wenn zu jedem U in B(0) ein V in B(0) existiert, so dass die Inversen von $x+V$ alle in $x^{-1}+U$ liegen. Ist R also ein Körper und trifft dies für alle seine Elemente $x\neq 0$ zu, dann ist R ein topologischer Körper.

Beispiele

Topologische Körper

• Die Körper der rationalen, reellen und komplexen Zahlen sind topologische Körper bezüglich der üblichen Topologie (des durch die Betragsfunktion definierten metrischen Raumes).
• Etwas allgemeiner sind alle bewerteten Körper topologische Körper. Hierzu gehören wieder die rationalen Zahlen mit einer p-adischen Bewertung (p Primzahl). Bezüglich jeder p-adischen Bewertung kann $\mathbb {Q}$ zu einem vollständigen metrischen Raum, wieder einem topologischen Körper, dem Körper der p-adischen Zahlen komplettiert werden.
• Ein Beispiel für einen „echten“ topologischen Schiefkörper ist der Quaternionenschiefkörper $\mathbb {R} (Q)$.

Endomorphismenringe

• Wichtige Beispiele für topologische Ringe liefern die Algebren A von stetigen linearen Selbstabbildungen F eines normierten Vektorraumes V über einem Körper K mit $\mathbb {Q} \subseteq K\subseteq \mathbb {C}$. Als Norm legt man hier die Abbildungsnorm zugrunde:

$||F||_{A}:=\sup _{x\in V,\,||x||_{V}=1}\;||Fx||_{V}$

• Hierzu gehören als einfachste Beispiele die vollen Matrixringe $R={\mathcal {M}}_{n\times n}(K)$ der quadratischen Matrizen mit Einträgen aus K. Die Norm kann hier anstelle der Abbildungsnorm jede beliebige Norm auf R sein, da alle dieselbe Topologie induzieren.

Beachte: Die vollen Endomorphismenringe sind, von Trivialfällen abgesehen, nicht kommutativ und auch keine Schiefkörper. Häufig sind Unterringe von Interesse, die gelegentlich eine dieser Eigenschaften haben:

• Der Ring D der Diagonalmatrizen ist ein (für n>1 echter) kommutativer Unterring von ${\mathcal {M}}_{n\times n}(K)$ und damit ein topologischer Ring.
• Allgemein lassen sich alle endlichdimensionalen Algebren über einem bewerteten Körper als Matrixringe darstellen und so mit einer Topologie versehen, die mit ihren Verknüpfungen verträglich ist.

Funktionenräume

vollständige topologische Ringe in der Funktionalanalysis

• Jede Banachalgebra. Ein besonders wichtiges Beipiele ist C(T), die Menge der stetigen Funktionen auf einem kompakten topologischen Raum T.

topologische Ringe in der Funktionentheorie

• Die Menge der holomorphen Funktionen auf einem Gebiet $G\subseteq \mathbb {C}$ ist ein topologischer Ring (sogar ein Integritätsring), als Quotientenkörper dieses Ringes bilden die meromorphen Funktionen einen topologischen Körper. Die Topologie auf diesen topologischen Ringen ist die Topologie der kompakten Konvergenz.
  Auf speziellen Gebieten in der komplexen Zahlenebene sind eindeutige Darstellungen der dort holomorphen Funktionen möglich:
• Ist G das Innere einer Kreisscheibe, dann besitzt jede auf G holomorphe Funktion eine eindeutige Darstellung als kompakt konvergente Potenzreihe.
• Ist G eine (rechte) Halbebene der komplexen Zahlenebene (d. h. G besteht aus allen Zahlen z mit Re(z)>σ für eine feste reelle Zahl σ), dann existiert eine eindeutige Darstellung durch eine auf G kompakt konvergente Dirichletreihe.

Literatur

• Seth Warner: Topological Rings. North-Holland, July 1993, ISBN 0444894462
• Vladimir I. Arnautov, S. T. Glavatsky and Aleksandr V. Michalev: Introduction to the Theory of Topological Rings and Modules. Marcel Dekker Inc, February 1996, ISBN 0824793234.

Zu den Anwendungen in der Funktionalanalysis und Funktionentheorie kann jedes einführende Lehrbuch zu diesen Gebieten herangezogen werden. Siehe etwa diese Literaturangaben zu Funktionalanalysis und diese zur Funktionentheorie.