Hauptmenü öffnen

Topologische Gruppe

mathematisch "verträgliche" Gruppenstruktur in der Topologie

In der Mathematik ist eine topologische Gruppe eine Gruppe, die eine mit der Gruppenstruktur „verträgliche“ Topologie hat. Die topologische Struktur erlaubt es zum Beispiel, Grenzwerte in dieser Gruppe zu betrachten, und von stetigen Homomorphismen zu sprechen.

DefinitionBearbeiten

Eine Gruppe   heißt topologische Gruppe, wenn sie mit einer Topologie versehen ist, so dass gilt:

  1. Die Gruppenverknüpfung   ist stetig. Dabei wird   mit der Produkttopologie versehen.
  2. Die Inversenabbildung   ist stetig.

BeispieleBearbeiten

Die reellen Zahlen   mit der Addition und der gewöhnlichen Topologie bilden eine topologische Gruppe. Allgemeiner ist der  -dimensionale euklidische Raum   mit der Vektoraddition und der Standard-Topologie eine topologische Gruppe. Auch jeder Banachraum und Hilbertraum ist eine topologische Gruppe bezüglich der Addition.

Die obigen Beispiele sind alle abelsch. Ein wichtiges Beispiel für eine nichtabelsche topologische Gruppe ist die Gruppe   aller invertierbaren reellen  Matrizen. Die Topologie entsteht dabei, indem man diese Gruppe als Teilmenge des euklidischen Vektorraums   auffasst.

  ist ebenso wie   eine Lie-Gruppe, das heißt eine topologische Gruppe, bei der die topologische Struktur die einer Mannigfaltigkeit ist.

Ein Beispiel einer topologischen Gruppe, die keine Lie-Gruppe ist, bildet die additive Gruppe der rationalen Zahlen   (sie ist eine abzählbare Menge, die nicht mit der diskreten Topologie versehen ist). Ein nichtabelsches Beispiel ist die Untergruppe der Drehgruppe des  , die erzeugt wird von zwei Drehungen um irrationale Vielfache von   (der Kreiszahl Pi) um verschiedene Achsen.

In jeder unitären Banach-Algebra bildet die Menge der invertierbaren Elemente mit der Multiplikation eine topologische Gruppe.

EigenschaftenBearbeiten

Die algebraische und die topologische Struktur für eine topologische Gruppe   sind eng miteinander verknüpft. So ist zum Beispiel in einer beliebigen topologischen Gruppe die Zusammenhangskomponente des Neutralelementes eine abgeschlossene normale Untergruppe von  .

Ist   ein Element einer topologischen Gruppe  , dann sind die Linksmultiplikation und die Rechtsmultiplikation mit   Homöomorphismen von   nach  , ebenso die Inversenabbildung.

Jede topologische Gruppe kann als uniformer Raum aufgefasst werden. Zwei elementare uniforme Strukturen, die sich aus der Gruppenstruktur ergeben, sind die linke und die rechte uniforme Struktur. Die linke uniforme Struktur macht die Linksmultiplikation gleichmäßig stetig, die rechte uniforme Struktur macht die Rechtsmultiplikation gleichmäßig stetig. Für nicht-abelsche Gruppen unterscheiden sich diese beiden uniformen Strukturen im Allgemeinen. Die uniformen Strukturen erlauben es insbesondere, Begriffe wie Vollständigkeit, gleichmäßige Stetigkeit und gleichmäßige Konvergenz zu definieren.

Wie jede von einem uniformen Raum erzeugte Topologie ist die Topologie einer topologischen Gruppe vollständig regulär. Insbesondere gilt, dass eine topologische Gruppe, welche   erfüllt (d. h., die ein Kolmogoroff-Raum ist), sogar ein Hausdorff-Raum ist.

Der natürlichste Begriff eines Homomorphismus zwischen topologischen Gruppen ist derjenige eines stetigen Gruppenhomomorphismus. Die topologischen Gruppen zusammen mit den stetigen Gruppenhomomorphismen bilden eine Kategorie.

Jede Untergruppe einer topologischen Gruppe ist mit der Teilraumtopologie wiederum eine topologische Gruppe. Für eine Untergruppe   von   bilden die Links- und Rechtsnebenklassen   zusammen mit der Quotiententopologie einen topologischen Raum.

Falls   eine normale Untergruppe von   ist, so wird   eine topologische Gruppe. Zu beachten ist aber, dass, falls   in der Topologie von   nicht abgeschlossen ist, die resultierende Topologie auf   das Axiom   nicht erfüllt. Es ist deshalb natürlich, sich auf die Kategorie von   topologischen Gruppen einzuschränken und den Begriff von normal als normal und abgeschlossen zu definieren.

Falls   eine Untergruppe von   ist, so ist auch die abgeschlossene Hülle von   wiederum eine Untergruppe. Ebenso ist der Abschluss eines Normalteilers wieder normal.

LiteraturBearbeiten

  • Lew Pontrjagin: Topologische Gruppen. 2 Bände. Teubner, Leipzig 1957–1958.
  • Guido Mislin (Hrsg.): The Hilton symposium 1993. Topics in Topology and Group Theory (= CRM Proceedings & Lecture Notes. Bd. 6). American Mathematical Society, Providence RI 1994, ISBN 0-8218-0273-9.
  • Terence Tao: Hilbert's fifth problem and related topics (= Graduate Studies in Mathematics. Bd. 153). American Mathematical Society, Providence RI 2014, ISBN 978-1-4704-1564-8 online.