Homogener Raum
Ein homogener Raum (seltener Kleinscher Raum oder Kleinsche Geometrie nach Felix Klein) ist in der Mathematik ein Raum mit einer transitiven Gruppenwirkung. Die entsprechende Gruppe wird Bewegungsgruppe genannt.
Anschaulich bedeutet diese Homogenität, dass der Raum „in jedem Punkt gleich aussieht“. Beispielsweise sind zusammenhängende differenzierbare Mannigfaltigkeiten homogen, denn zu je zwei Punkten <math>x, y</math> gibt es einen Diffeomorphismus, der <math>x</math> auf <math>y</math> abbildet. Eine wichtige Klasse der homogenen Räume sind die Riemannschen homogenen Räume.
Definition
Sei <math>M</math> eine Menge, auf der die Gruppe <math>G</math> transitiv operiert. Das heißt, es gibt eine Abbildung
- <math>G \times M \to M</math>
- <math>(g,x) \mapsto gx</math>
mit folgenden Eigenschaften:
- Für alle <math>g, h \in G</math> und alle <math>x \in M</math> gilt
- <math>(gh)x = g(hx)</math>.
- Für alle <math>x \in M</math> gilt:
- <math>ex = x</math>,
- wobei <math>e \in G</math> das neutrale Element ist.
- Für alle <math>x, y \in M</math> gibt es ein <math>g \in G</math> mit
- <math>y = gx</math>.
Das Tupel <math>(M,G)</math> heißt dann homogener Raum und <math>G</math> nennt man die Bewegungsgruppe des homogenen Raums.<ref name="LexikonMathematikHomogenerRaum">{{#invoke:Vorlage:Literatur|f}}</ref>
Beispiele
Oft hat die zugrundeliegende Menge des homogenen Raums eine zusätzliche Struktur, etwa im Rahmen der mathematischen Teilgebiete Gruppentheorie, Topologie oder Riemannschen Differentialgeometrie.
Nebenklassenraum
Ein Beispiel eines homogenen Raums ist die Menge <math>G/H</math> aller Linksnebenklassen <math>xH</math> einer Gruppe <math>G</math> mit einer Untergruppe <math>H \leq G</math>. Die Gruppe <math>G</math> operiert durch
- <math>g(xH) = (gx)H</math>
auf <math>G/H</math>, wodurch <math>(G/H,G)</math> zu einem homogenen Raum wird.<ref name="LexikonMathematikHomogenerRaum" />
Riemannscher homogener Raum
{{#if: Riemannscher homogener Raum|{{#ifexist:Riemannscher homogener Raum|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Oft sind Riemannsche homogene Räume gemeint, wenn von homogenen Räumen die Rede ist. Hier gibt es zu je zwei Punkten <math>x, y</math> eine Isometrie, die <math>x</math> auf <math>y</math> abbildet. Riemannsche homogene Räume sind eine wichtige Klasse von Beispielen in der Riemannschen Geometrie. Ihre Krümmung kann oft mit algebraischen Methoden berechnet werden.
Eigenschaften
Falls die transitiv wirkende Gruppe <math>G</math> endlich ist, gilt für die Mächtigkeit der Menge <math>M</math>
- <math>\vert M\vert = \frac{ \vert G\vert} {\vert G_x\vert}</math>,
wobei <math>G_x</math> den Stabilisator eines (beliebigen) Elements <math>x\in M</math> bezeichnet.
Siehe auch
Literatur
- Kai Köhler: Differentialgeometrie und homogene Räume. S. 151 ff., Springer Spektrum, Wiesbaden 2014, ISBN 978-3-8348-1569-9 ({{#if: B3u8BAAAQBAJ
| {{#if: {{#if: ||1}} {{#if: B3u8BAAAQBAJ ||1}}
| <0|&pg={{#if:|RA{{{Band}}}-}}PA|&pg=}}{{#if:|&q=}}#v=onepage|{{#if:PA151|&pg=PA151|}}{{#if:|&q=}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:|{{#invoke:WLink|getEscapedTitle|{{{Linktext}}}}}|eingeschränkte Vorschau}}{{#if:|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: B3u8BAAAQBAJ |{{#invoke: Vorlage:GoogleBook|fine |id=B3u8BAAAQBAJ |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}}
}}
| Es darf nur genau einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}
| Es muss mindestens einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check
|all=
|opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText=
|cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}}
|template= Vorlage:Google Buch
|format=
}}{{#if:|{{#if:{{#invoke:WLink|isBracketedLink|{{{Linktext}}}}}|}}}}).
- Jeff Cheeger, David G. Ebin: Comparison theorems in Riemannian geometry. North-Holland Mathematical Library, Vol. 9. North-Holland Publishing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York 1975.
Einzelnachweise
<references />