Homogener Raum
# 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 $x,y$ gibt es einen Diffeomorphismus, der $x$ auf $y$ abbildet. Eine wichtige Klasse der homogenen Räume sind die Riemannschen homogenen Räume.

## Definition

Sei $M$ eine Menge, auf der die Gruppe $G$ transitiv operiert. Das heißt, es gibt eine Abbildung

    $G\times M\to M$
    $(g,x)\mapsto gx$

mit folgenden Eigenschaften:

* Für alle $g,h\in G$ und alle $x\in M$ gilt

       $(gh)x=g(hx)$.
* Für alle $x\in M$ gilt:

       $ex=x$,
    wobei $e\in G$ das neutrale Element ist.
* Für alle $x,y\in M$ gibt es ein $g\in G$ mit

       $y=gx$.

Das Tupel $(M,G)$ heißt dann homogener Raum und $G$ nennt man die Bewegungsgruppe des homogenen Raums.

## 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 $G/H$ aller Linksnebenklassen $xH$ einer Gruppe $G$ mit einer Untergruppe $H\leq G$. Die Gruppe $G$ operiert durch

    $g(xH)=(gx)H$

auf $G/H$, wodurch $(G/H,G)$ zu einem homogenen Raum wird.

### Riemannscher homogener Raum

Oft sind Riemannsche homogene Räume gemeint, wenn von homogenen Räumen die Rede ist. Hier gibt es zu je zwei Punkten $x,y$ eine Isometrie, die $x$ auf $y$ 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 $G$ endlich ist, gilt für die Mächtigkeit der Menge $M$

    $\vert M\vert ={\frac {\vert G\vert }{\vert G_{x}\vert }}$,

wobei $G_{x}$ den Stabilisator eines (beliebigen) Elements $x\in M$ bezeichnet.

