Hilbert-Metrik
In der Geometrie sind Hilbert-Metriken gewisse Metriken auf beschränkten konvexen Teilmengen des euklidischen Raumes, die das Beltrami-Klein-Modell der hyperbolischen Geometrie verallgemeinern.
Definition
[Bearbeiten | Quelltext bearbeiten]![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Convex_set.svg/220px-Convex_set.svg.png)
Sei eine beschränkte, offene, konvexe Menge. Zu je zwei Punkten gibt es dann eine eindeutige Gerade durch und zwei eindeutige Schnittpunkte dieser Geraden mit dem Rand . Die beiden Schnittpunkte seien mit bezeichnet, wobei näher an und näher an liege. Der Hilbert-Abstand ist dann auf definiert durch die Formel
für und .
Die Hilbert-Metrik stammt nicht immer von einer Riemannschen Metrik, aber immer von einer Finsler-Metrik definiert durch
für .
Eigenschaften
[Bearbeiten | Quelltext bearbeiten]Im Folgenden seien zwei kompakte, konvexe Mengen und die den beiden Mengen zugeordneten Hilbert-Metriken.
- Aus folgt für alle .
- Wenn es eine lineare Abbildung mit gibt, dann ist für alle .
Beispiele
[Bearbeiten | Quelltext bearbeiten]- Sei die Einheitskugel und der Abstand im Beltrami-Klein-Modell des hyperbolischen Raumes, dann gilt
- .
Projektive Geometrie
[Bearbeiten | Quelltext bearbeiten]Sei eine eigentliche, offene, konvexe Teilmenge des projektiven Raumes. (Eine Menge heißt eigentlich, wenn es eine enthaltende affine Karte gibt, in der einer beschränkten Menge entspricht.) Man definiert dann die Hilbert-Metrik auf durch die Hilbert-Metrik auf . Weil die Hilbert-Metrik invariant unter linearen Abbildungen ist, hängt die so definierte Metrik nicht von der Wahl der affinen Karte ab.
Innerhalb der projektiven Geometrie kann man interpretieren als das Doppelverhältnis der vier Punkte auf der durch und bestimmten projektiven Geraden.
Die Gruppe der Kollineationen
ist eine Lie-Gruppe und wirkt durch Isometrien der Hilbert-Metrik, sie lässt sich isomorph zu einer Untergruppe von hochheben.
Anwendungen
[Bearbeiten | Quelltext bearbeiten]Die Hilbert-Metrik auf wird in Birkhoffs Beweis des Satzes von Perron-Fronenius verwendet.
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Images des Maths: Géométrie de Hilbert
Literatur
[Bearbeiten | Quelltext bearbeiten]- Yves Benoist: A survey on divisible convex sets (PDF; 165 kB)
- Ludovic Marquis: Around groups in Hilbert geometry (PDF; 2,5 MB)