# Satz von Toponogow

In der Geometrie stellt der Satz von Toponogow den Zusammenhang zwischen Riemannscher Geometrie und synthetischer metrischer Geometrie her. Anschaulich besagt er, dass in einer Mannigfaltigkeit mit nach oben beschränkter Krümmung Dreiecke nicht dicker sind als im Vergleichsraum konstanter Krümmung.
Er wurde 1958 von Wiktor Andrejewitsch Toponogow bewiesen.

## Vergleichsräume

Zu jeder Zahl $\delta \in \mathbb {R}$ und jedem $n\in \mathbb {N}$ gibt es eine eindeutige einfach zusammenhängende $n$-dimensionale Riemannsche Mannigfaltigkeit $E_{\delta }^{n}$ der Schnittkrümmung konstant $\delta$. Für $\delta >0$ ist dies die Sphäre vom Radius ${\frac {1}{\sqrt {\delta }}}$, für $\delta =0$ der euklidische Raum $\mathbb {R} ^{n}$ und für $\delta <0$ der mit dem Faktor ${\frac {1}{\sqrt {-\delta }}}$ skalierte hyperbolische Raum.

## Vergleichsdreieck

Ein geodätisches Dreieck $\Delta (a,b,c)$ in einer Riemannschen Mannigfaltigkeit $M$ ist ein Dreieck mit Ecken $a,b,c\in M$, dessen drei Seiten minimierende Geodäten sind.
Sei $\delta \in \mathbb {R}$ eine obere Schranke für die Schnittkrümmungen in $M$, also $K_{M}\leq \delta$. Dann gibt es zu jedem geodätischen Dreieck $\Delta (a,b,c)$ mit Seitenlängen $d(a,b),d(a,c),d(b,c)\leq {\frac {\pi }{\sqrt {\delta }}}$ (insbesondere zu jedem geodätischen Dreieck falls $\delta <0$) ein Vergleichsdreieck $\Delta (a^{\prime },b^{\prime },c^{\prime })$ in $E_{\delta }^{2}\subset E_{\delta }^{n}$ mit
    $d(a,b)=\lVert a^{\prime }-b^{\prime }\rVert ,\ d(a,c)=\lVert a^{\prime }-c^{\prime }\rVert ,\ d(b,c)=\lVert b^{\prime }-c^{\prime }\rVert$.
Dieses Dreieck ist bis auf Kongruenz eindeutig, wenn entweder $\delta \leq 0$ oder $\delta >0$ und alle Seitenlängen kleiner als ${\frac {\pi }{\sqrt {\delta }}}$ sind. Man hat dann eine Vergleichsabbildung
    $\partial \Delta (a,b,c)\rightarrow \partial \Delta (a^{\prime },b^{\prime },c^{\prime })$,
die (zum Beispiel) jedem Punkt $x$ auf der Seite $(a,b)$ den entsprechenden Punkt $x^{\prime }$ auf der Seite $(a^{\prime },b^{\prime })$ (d. h. den eindeutigen Punkt mit $\lVert x^{\prime }-a^{\prime }\rVert =d(x,a)$) zuordnet, analog für die beiden anderen Seiten.

## Satz von Toponogow
### Untere Krümmungsschranken

Es sei $M$ eine Riemannsche Mannigfaltigkeit der Schnittkrümmung $K_{M}\geq \delta$ für eine Zahl $\delta \in \mathbb {R}$. Sei
    $\Delta (a^{\prime },b^{\prime },c^{\prime })\subset E_{\delta }^{2}$
ein Vergleichsdreieck zu einem geodätischen Dreieck
    $\Delta (a,b,c)\subset M$.
Dann gilt
    $d_{E_{\delta }^{2}}(x^{\prime },c^{\prime })\leq d_{M}(x,c)$
für alle $x\in \left[a,b\right]\subset \partial \Delta (a,b,c)\subset M$.

### Obere Krümmungsschranken

Ein entsprechender Satz gilt für obere Krümmungsschranken, wobei man hier weitere Voraussetzungen benötigt.
Sei $M$ eine Riemannsche Mannigfaltigkeit der Schnittkrümmung $K_{M}\leq \delta$. Falls $\delta \leq 0$ sei $M$ einfach zusammenhängend, und falls $\delta >0$ habe das geodätische Dreieck $\Delta (a,b,c)\subset M$ Seitenlängen höchstens ${\frac {\pi }{\sqrt {\delta }}}$.
Dann gilt für das Vergleichsdreieck $\Delta (a^{\prime },b^{\prime },c^{\prime })\subset E_{\delta }^{2}$
    $d_{E_{\delta }^{2}}(x^{\prime },c^{\prime })\geq d_{M}(x,c)$
für alle $x\in \left[a,b\right]\subset \partial \Delta (a,b,c)\subset M$.

## Folgerungen

Aus dem Satz von Toponogow folgt, dass Hadamard-Mannigfaltigkeiten (einfach zusammenhängende Mannigfaltigkeiten nichtpositiver Schnittkrümmung) CAT(0)-Räume sind und alle dementsprechenden Eigenschaften haben: sie sind zusammenziehbar, je zwei Punkte lassen sich durch eine eindeutige Geodäte verbinden und für Geodäten $\gamma _{1},\gamma _{2}$ ist die Funktion $d(\gamma _{1}(t),\gamma _{2}(t))$ konvex.