Hadamard-Raum
# Hadamard-Raum

Ein Hadamard-Raum ist ein mathematisches Objekt aus der Geometrie metrischer Räume. Benannt ist er nach dem Mathematiker Jacques Hadamard.

## Definition

Ein Hadamard-Raum ist ein vollständiger CAT(0)-Raum.

## Äquivalente Definitionen

Sei $X$ ein vollständiger metrischer Raum.
Nach Definition ist $X$ genau dann ein Hadamard-Raum, wenn er ein CAT(0)-Raum ist, das heißt, wenn er ein geodätischer metrischer Raum ist und alle geodätischen Dreiecke mindestens so dünn wie ihre Vergleichsdreiecke in der euklidischen Ebene sind. Letztere Bedingung lässt sich umformulieren in die Bedingung
    $d^{2}(z,m)\leq {\frac {1}{2}}(d^{2}(z,x)+d^{2}(z,y))-{\frac {1}{4}}d^{2}(x,y)$
für alle $x,y,z\in X$, wobei $m\in X$ den Mittelpunkt der Geodäte zwischen $x$ und $y$ bezeichnet.
Auf Bruhat-Tits geht folgende äquivalente Definition zurück:
    Ein vollständiger metrischer Raum $X$ ist genau dann ein Hadamard-Raum, wenn es zu jedem Paar von Punkten $x,y\in X$ einen „Mittelpunkt“ $m\in X$ gibt, so dass
    $d^{2}(z,m)\leq {\frac {1}{2}}(d^{2}(z,x)+d^{2}(z,y))-{\frac {1}{4}}d^{2}(x,y)$
für alle $z\in X$ gilt.

## Beispiele

* Hadamard-Mannigfaltigkeiten: einfach zusammenhängende, vollständige Riemannsche Mannigfaltigkeiten nichtpositiver Schnittkrümmung
* metrische Bäume
* Bruhat-Tits-Gebäude
* Hilbert-Räume

## Eigenschaften

Für Hadamard-Räume gilt eine Verallgemeinerung des Satzes von Cartan-Hadamard. Zu beliebigen $x,y\in X$ gibt es eine eindeutige Geodäte $\sigma _{xy}:\left[0,1\right]\rightarrow X$ mit $\sigma _{xy}(0)=x,\sigma _{xy}(1)=y$. Die Geodäte $\sigma _{xy}$ hängt stetig von $x$ und $y$ ab.
Weiterhin gelten für Hadamard-Räume alle Eigenschaften von CAT(0)-Räumen.