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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T \subseteq X} und einen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} -Randpunkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \in \partial {T}} sagt man, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} werde in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} lokal schwach gestützt, wenn es eine Umgebung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U(x)} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} gibt sowie ein nicht mit dem Nullfunktional identisches lineares Funktional Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon X \rightarrow \R} , so dass Folgendes gilt: Aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y \in U(x) \setminus \{ x \}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(y) > f(x)} folgt stets Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y \not\in T} .
• Eine im dreidimensionalen euklidischen Raums gelegene Teilmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M \subset \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_p {M}} an einen Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} einer regulären Fläche Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} ist eine Hyperebene des dreidimensionalen euklidischen Raums.
• Zu einer Hyperebene Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H \subset \R^3} gehört die Überdeckung des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T \subset \R^3} entweder Teilmenge des einen oder aber Teilmenge des anderen, so sagt man, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} sei ganz auf einer Seite der Hyperebene gelegen.

Literatur

• H. Brunn: Zur Theorie der Eigebiete. In: Archiv der Mathematik und Physik. Band 17, 1910, S. 289–300. 
• C. Carathéodory: Über den Variabilitätsbereich der Koeffizienten von Potenzreihen, die gegebene Werte nicht annehmen. In: Mathematische Annalen. Band 64, 1907, S. 95–115 (MR1511425). 
• J. Hadamard: Sur certaines propriétés des trajectoires en dynamique. In: Journal de mathématiques pures et appliquées (5). Band 3, 1897, S. 331–387. 
• Wilhelm Klingenberg: Eine Vorlesung über Differentialgeometrie (= Heidelberger Taschenbücher. Band 107). Springer Verlag, Berlin, Heidelberg, New York 1973 (MR0415512). 
• Steven R. Lay: Convex Sets and Their Applications (= Pure and Applied Mathematics). John Wiley & Sons, New York, Chichester, Brisbane, Toronto, Singapore 1982, ISBN 0-471-09584-2 (MR0655598). 
• Hermann Minkowski: Geometrie der Zahlen. B. G. Teubner Verlag, Leipzig, Berlin: 1910, S. 1–256 ([1]). 
• Heinrich Tietze: Bemerkungen über konvexe und nicht-konvexe Figuren. In: Journal für die reine und angewandte Mathematik. Band 160, 1929, S. 67–69 (MR1581176). 
• Frederick A. Valentine: Konvexe Mengen. Übersetzung aus dem Englischen durch E. Heil (= BI-Hochschultaschenbücher. Band 402/402a). Bibliographisches Institut, Mannheim 1968 (MR0226495).