Satz von Cartan (Lie-Gruppen)

aus Wikipedia, der freien Enzyklopädie

In der Mathematik besagt der Satz von Cartan, in der englischsprachigen Literatur auch als Closed Subgroup Theorem bezeichnet, dass abgeschlossene Untergruppen einer Lie-Gruppe eingebettete Untermannigfaltigkeiten und insbesondere Unter-Lie-Gruppen sind. Er wurde 1930 von Élie Cartan und für Matrixgruppen bereits 1929 von John von Neumann bewiesen. Er ist von Bedeutung für die Klassifikation linearer Gruppen und für die Konstruktion homogener Räume.

Erläuterungen und Beispiele

Torus

Eine Untergruppe einer Lie-Gruppe muss nicht notwendig abgeschlossen in der Topologie der Lie-Gruppe sein. Beispielsweise sind die Untergruppen des Torus

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 G = \mathbb{T}^2 = \left\{\left .\left(\begin{matrix}e^{2\pi i\theta} & 0\\0 & e^{2\pi i\phi}\end{matrix}\right)\right| \theta, \phi \in \mathbb{R}\right\}}

von der Form

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 H_\alpha = \left\{\left .\left(\begin{matrix}e^{2\pi i\theta} & 0\\0 & e^{2\pi i\alpha\theta}\end{matrix}\right) \right| \theta \in \mathbb{R}\right\}}

für ein 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 \alpha\in\R} . Während man für eine abgeschlossene Untergruppe 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 H_\alpha\subset G} erhält, liegen für irrationale 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 \alpha\not\in \Q} die Untergruppen 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 H_\alpha} dicht in 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 G} und sind insbesondere nicht abgeschlossen.

Wenn die Untergruppe 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 H} nicht abgeschlossen in 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 G} ist, dann stimmt die von der Topologie 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 G} erzeugte Unterraumtopologie von nicht mit der Lie-Gruppen-Topologie 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 H} überein. Im obigen Beispiel sind für 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 \alpha\not\in\Q} die Untergruppen 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 H_\alpha} zwar abstrakt (als Gruppen) isomorph zu 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 \R} , die vom Torus induzierte Topologie stimmt aber nicht der Topologie der Lie-Gruppe überein. Dagegen sind für 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 \alpha\in\Q} die abgeschlossenen Untergruppen 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 H_\alpha} auch als Lie-Gruppen isomorph zur Kreisgruppe 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 S^1} .

Satz von Cartan: Eine Untergruppe einer Lie-Gruppe 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 G} ist genau dann eine eingebettete Unter-Lie-Gruppe, wenn sie abgeschlossen ist.

Literatur

  • John von Neumann: Über die analytischen Eigenschaften von Gruppen linearer Transformationen und ihrer Darstellungen. Math. Z. 30 (1929), no. 1, 3–42.
  • Elie Cartan: La théorie des groupes finis et continus et l'Analysis Situs. Mémorial Sc. Math. XLII, pp. 1–61 (1930).
Abgerufen von „https://de.wikiup.org/index.php?title=Satz_von_Cartan_(Lie-Gruppen)&oldid=199857072“