Satz von Helly

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

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 [1]. 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[Bearbeiten]

Der Satz von Helly lässt sich wie folgt formulieren [2] [3] :

Gegeben seien eine natürliche Zahl n und ein Mengensystem \mathcal A von konvexen Teilmengen eines n-dimensionalen normierten Vektorraums \mathcal L über {\mathbb R} und dabei gelte  |\mathcal A| \ge n+1 . In dem gesamten Mengensystem \mathcal A seien nur endlich viele Teilmengen vorhanden oder aber jede dieser Teilmengen sei kompakt in \mathcal L .
Dann gilt:
Notwendig und hinreichend dafür, dass die in  \mathcal A   vorkommenden Teilmengen einen Punkt gemeinsam haben, ist die Bedingung, dass je (n+1) dieser Teilmengen einen Punkt gemeinsam haben.
Anders ausgedrückt: Hinsichtlich der Schnittmengen gilt   \bigcap \mathcal{A} \not= \emptyset genau dann, wenn A_0\cap A_1 \cap \ldots \cap A_n \not= \emptyset für alle A_0, A_1, \,\ldots , A_n \in \mathcal A .


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   \bigcap \mathcal{A} = \emptyset   , wenn schon für ein einziges endliches    \mathcal{B} \subseteq \mathcal{A} mit    |\mathcal B| \le n+1   die Schnittmenge   \bigcap \mathcal{B} = \emptyset   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 \mathcal L und zumindest eine dieser Teilmengen sei kompakt [4].

Historisches, Beweise, verwandte Ergebnisse[Bearbeiten]

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 [5] [6]. Eduard Helly selbst veröffentlichte in der Folge dann zwei eigene Arbeiten[7][8], welche einen anderen Zugang zu diesem Thema geben. Von anderen Autoren wurden noch weitere Beweise gefunden [9]. Der Satz von Helly ist auch ein wichtiges Hilfsmittel beim Beweis anderer klassischer Theoreme der Konvexgeometrie, wie etwa beim Satz von Krasnoselskii[10] oder beim Satz von Jung[11].

Abgrenzung[Bearbeiten]

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[Bearbeiten]

Originalarbeiten[Bearbeiten]

  • Eduard Helly: Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. In: Jahrb. Deut. Math. Verein. 32, 1923, S. 175–176.
  • Eduard Helly: Über Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten. In: Monatsh. Math.. 37, 1930, S. 281–302.
  • Johann Radon: Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten. In: Math. Ann.. 83, 1921, S. 113–115.

Monographien[Bearbeiten]

  •  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.
  •  Kurt Leichtweiß: Konvexe Mengen. Springer-Verlag, Berlin [u.a.] 1980, ISBN 3-540-09071-1.

Weblinks[Bearbeiten]

  • [1] Link zu "Über Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten" von Eduard Helly (Monatsh. Math. 37, 1930)
  • [2] (PDF-Datei; 535 kB) Link zu "Einführung in die Konvexgeometrie" (Skript von Dr. Ivan Izmestiev, WS 03/04, damals FU Berlin)

Einzelnachweise[Bearbeiten]

  1.  Klee: S. 101 ff.
  2.  Bonnesen / Fenchel: S. 3.
  3.  Valentine: S. 78.
  4.  Brøndsted: S. 18.
  5.  Radon: S. 113.
  6.  Lay: S. 47.
  7.  Helly (1923):
  8.  Helly (1930):
  9.  Valentine: S. 78 ff.
  10.  Lay: S. 53 ff.
  11.  Leichtweiß: S. 70 ff.