Satz von Helly
# 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. 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:

    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}}|\geq 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}}|\leq 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.

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

## 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.

