# Satz von Tietze (Konvexgeometrie)

In der Konvexgeometrie, einem der Teilgebiete der Mathematik, ist der Satz von Tietze einer derjenigen Lehrsätze, welche sich mit der Frage der Charakterisierung der Konvexität von Teilmengen des euklidischen Raums und (allgemeiner) der reellen linearen Hausdorffräume mit Hilfe lokaler Stützeigenschaften befassen. Der Satz ist damit angesiedelt im Übergangsfeld zwischen Geometrie und der Theorie der topologischen Vektorräume. Er geht wesentlich auf eine wissenschaftliche Arbeit des Mathematikers Heinrich Tietze aus dem Jahr 1929 zurück.

## Formulierung des Satzes

Der Satz lässt sich zusammengefasst wie folgt formulieren:
    Ist ein hausdorffscher topologischer $\mathbb {R}$-Vektorraum $X$ gegeben und ist $U\subseteq X$ eine darin enthaltene offene und zusammenhängende Teilmenge, die in jedem ihrer Randpunkte lokal schwach gestützt wird, so ist $U$ in $X$ konvex. Dies gilt insbesondere für den Fall, dass $X$ der $n$-dimensionale euklidische Raum $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$ ist.

## Verwandte Resultate

Dem Satz von Tietze ging ein Satz voraus, welcher von einer Reihe bedeutender Mathematiker bewiesen wurde, nicht zuletzt von Constantin Carathéodory im Jahre 1907 sowie von Hermann Brunn bzw. Hermann Minkowski im Jahre 1910. Er lässt sich folgendermaßen formulieren:
    Ist ein hausdorffscher topologischer $\mathbb {R}$-Vektorraum $X$ gegeben und ist $A\subseteq X$ eine darin enthaltene abgeschlossene Teilmenge mit mindestens einem inneren Punkt $x\in A^{\circ }$, so ist die Teilmenge $A$ in $X$ genau dann konvex, wenn durch jeden ihrer Randpunkte eine Stützhyperebene von $A$ geht.
In der Differentialgeometrie ist ein anderer Satz bekannt, der von Jacques Hadamard im Jahre 1897 vorgelegt wurde:
    Eine Eifläche $M$ im dreidimensionalen euklidischen Raum $\mathbb {R} ^{3}$ ist streng konvex in dem Sinne, dass für jeden darin enthaltenen Raumpunkt $p\in M$ die Fläche $M$ ganz auf einer Seite der bei $p$ anliegenden Tangentialebene $T_{p}{M}$ gelegen ist.

## Erläuterungen

* Der euklidische Raum $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$ wird wie üblich als mit dem Standardskalarprodukt (sowie der damit gegebenen geometrischen und metrischen Struktur) und insbesondere als mit der euklidischen Abstandsfunktion versehen betrachtet.
* In Bezug auf einen (hausdorffschen) topologischen Vektorraum $X$, eine darin liegende Teilmenge $T\subseteq X$ und einen $T$-Randpunkt $x\in \partial {T}$ sagt man, $T$ werde in $x$ lokal schwach gestützt, wenn es eine Umgebung $U(x)$ von $x$ gibt sowie ein nicht mit dem Nullfunktional identisches lineares Funktional $f\colon X\rightarrow \mathbb {R}$, so dass Folgendes gilt: Aus $y\in U(x)\setminus \{x\}$ und $f(y)>f(x)$ folgt stets $y\not \in T$.
* Eine im dreidimensionalen euklidischen Raums gelegene Teilmenge $M\subset \mathbb {R} ^{3}$ ist eine Eifläche, wenn sie dort eine kompakte reguläre Fläche ist und in jedem ihrer Punkte positive gaußsche Krümmung hat. Der Begriff geht auf Wilhelm Blaschke zurück.
* Jede Tangentialebene $T_{p}{M}$ an einen Punkt $p$ einer regulären Fläche $M$ ist eine Hyperebene des dreidimensionalen euklidischen Raums.
* Zu einer Hyperebene $H\subset \mathbb {R} ^{3}$ gehört die Überdeckung des $\mathbb {R} ^{3}$ durch die beiden zugehörigen abgeschlossenen Halbräume, die so beschaffen ist, dass jeder Raumpunkt in einem der beiden liegt. Ist hier eine gegebene Teilmenge $T\subset \mathbb {R} ^{3}$ entweder Teilmenge des einen oder aber Teilmenge des anderen, so sagt man, $T$ sei ganz auf einer Seite der Hyperebene gelegen.