Satz von Helly
Der Satz von Helly ist ein mathematischer Satz, welcher auf den österreichischen Mathematiker Eduard Helly zurückgeht. Der Satz wird dem Gebiet der Konvexgeometrie zugerechnet. Hier steht er in engem Zusammenhang mit einer Reihe anderer klassischer Theoreme.<ref>V. L. Klee: Convexity. 1963, S. 101 ff.</ref> Seine Wirkung reicht auch in andere Gebiete der Mathematik wie etwa in die Diskrete Mathematik, wo er zum Ausgangspunkt für die Untersuchung von Mengensystemen mit der sogenannten Helly-Eigenschaft wurde.
Formulierung des Satzes
Der Satz von Helly lässt sich wie folgt formulieren:<ref>T. Bonnesen, W. Fenchel: Theorie der konvexen Körper. Berichtigter Reprint. 1974, S. 3.</ref><ref>F. A. Valentine: Konvexe Mengen. 1968, S. 78.</ref>
- Gegeben seien eine natürliche Zahl <math>n </math> und ein Mengensystem <math>\mathcal A </math> von konvexen Teilmengen eines <math>n</math>-dimensionalen normierten Vektorraums <math>\mathcal L </math> über <math>{\mathbb R}</math> und dabei gelte <math>|\mathcal A| \ge n+1 </math> . In dem gesamten Mengensystem <math>\mathcal A </math> seien nur endlich viele Teilmengen vorhanden oder aber jede dieser Teilmengen sei kompakt in <math>\mathcal L </math> .
- Dann gilt:
- Notwendig und hinreichend dafür, dass die in <math> \mathcal A </math> vorkommenden Teilmengen einen Punkt gemeinsam haben, ist die Bedingung, dass je <math>(n+1)</math> dieser Teilmengen einen Punkt gemeinsam haben.
- Anders ausgedrückt: Hinsichtlich der Schnittmengen gilt <math>\bigcap \mathcal{A} \not= \emptyset</math> genau dann, wenn <math>A_0\cap A_1 \cap \ldots \cap A_n \not= \emptyset</math> für alle <math>A_0, A_1, \,\ldots , A_n \in \mathcal A </math>.
In anderer Formulierung lässt sich der Satz von Helly auch so ausdrücken:
- Unter den oben angegebenen Voraussetzungen ist dann und nur dann die Schnittmenge <math>\bigcap \mathcal{A} = \emptyset</math> , wenn schon für ein einziges endliches <math> \mathcal{B} \subseteq \mathcal{A} </math> mit <math>|\mathcal B| \le n+1 </math> die Schnittmenge <math>\bigcap \mathcal{B} = \emptyset</math> ist.
Die oben genannten allgemeinen Voraussetzungen lassen sich sogar noch abschwächen, und zwar dahingehend, dass für den unendlichen Fall nur gefordert wird:
- Jede dieser Teilmengen sei abgeschlossen in <math>\mathcal L </math> und zumindest eine dieser Teilmengen sei kompakt.<ref>A. Brøndsted: An introduction to convex polytopes. 1983, S. 18.</ref>
Historisches, Beweise, verwandte Ergebnisse
Den ersten Beweis des Satzes von Helly lieferte der österreichische Mathematiker Johann Radon in 1921. Er benutzte dazu ein Resultat, das heute als Satz von Radon bekannt ist. Eduard Helly hatte allerdings den Satz schon spätestens im Jahre 1913 gefunden und Johann Radon bewies den Satz erst, nachdem Eduard Helly ihn darauf hingewiesen hatte.<ref>J. Radon: Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten. 1921, S. 113.</ref><ref>S. R. Lay: Convex sets and their applications. 1982, S. 47.</ref> Eduard Helly selbst veröffentlichte in der Folge dann zwei eigene Arbeiten,<ref>E. Helly: Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. 1923.</ref><ref>E. Helly: Über Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten. 1930.</ref> welche einen anderen Zugang zu diesem Thema geben. Von anderen Autoren wurden noch weitere Beweise gefunden.<ref>F. A. Valentine: Valentine. 1968, S. 78 ff.</ref> Der Satz von Helly ist auch ein wichtiges Hilfsmittel beim Beweis anderer klassischer Theoreme der Konvexgeometrie, wie etwa beim Satz von Krasnoselskii<ref>S. R. Lay: Convex sets and their applications. 1982, S. 53 ff.</ref> oder beim Satz von Jung.<ref>K. Leichtweiß: Konvexe Mengen. 1980, S. 70 ff.</ref>
Abgrenzung
Es gibt in der Analysis einen weiteren Satz von Helly, welcher auch als Auswahlsatz von Helly bekannt ist bzw. in der englischsprachigen Literatur als Helly's selection theorem. Dieser behandelt Konvergenz von Funktionenfolgen.
Literatur
Originalarbeiten
- Eduard Helly: Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. In: Jahrb. Deut. Math. Verein. Band 32, 1923, S. 175–176.
- Eduard Helly: Über Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten. In: Monatsh. Math. Band 37, 1930, S. 281–302.
- Johann Radon: Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten. In: Math. Ann. Band 83, 1921, S. 113–115.
Monographien
- Tommy Bonnesen, Werner Fenchel: Theorie der konvexen Körper. Berichtigter Reprint. Springer-Verlag, Berlin u. a. 1974, ISBN 3-540-06234-3.
- Arne Brøndsted: An introduction to convex polytopes. Springer-Verlag, New York u. a. 1983, ISBN 0-387-90722-X.
- W. A. Coppel: Foundations of Convex Geometry. Cambridge University Press, Cambridge 1998, ISBN 0-521-63970-0.
- Peter M. Gruber: Convex and Discrete Geometrie. Springer-Verlag, Berlin u. a. 2007, ISBN 978-3-540-71132-2.
- Isaak M. Jaglom und W. G. Boltjanskij: Konvexe Figuren. Deutscher Verlag der Wissenschaften, Berlin 1956.
- Victor L. Klee (Hrsg.): Convexity. Proceedings of the Seventh Symposium in Pure Mathematics of the American Mathematical Society, held at the University of Washington, Seattle, Washington, June 13 - 15, 1961. American Mathematical Society, Providence, RI 1963.
- Steven R. Lay: Convex sets and their applications. John Wiley & Sons, New York u. a. 1982, ISBN 0-471-09584-2.
- Kurt Leichtweiß: Konvexe Mengen. Springer-Verlag, Berlin u. a. 1980, ISBN 3-540-09071-1.
- Jürg T. Marti: Konvexe Analysis. Birkhäuser, Basel u. a. 1977, ISBN 3-7643-0839-7.
- Frederick A. Valentine: Konvexe Mengen (= BI-Hochschultaschenbücher. Band 402/402a). Bibliographisches Institut, Mannheim 1968.
Weblinks
- Eduard Helly: Über Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten. In: Monatsh. Math. 37, 1930. springerlink.com
- Ivan Izmestiev: Einführung in die Konvexgeometrie. (PDF; 548 kB) FU Berlin, WS 03/04 (Skript)
Einzelnachweise
<references />