Satz von Krasnoselski
# Satz von Krasnoselski

Der Satz von Krasnoselski (englisch Krasnosselsky’s theorem bzw. Krasnoselsky’s theorem bzw. Krasnosel'skii’s theorem) ist einer der klassischen Lehrsätze des mathematischen Teilgebiets der Konvexgeometrie und als solcher angesiedelt im Übergangsfeld zwischen Geometrie und Analysis. Er geht zurück auf eine wissenschaftliche Arbeit des sowjetischen Mathematikers Mark Alexandrowitsch Krasnoselski aus dem Jahre 1946. Der Satz behandelt die Frage, unter welchen Bedingungen gewisse Teilmengen des Euklidischen Raums sternförmige Mengen sind. Er ist verwandt mit (und sogar eine Folgerung aus) dem Satz von Helly.

## Formulierung des Satzes

Der Satz lässt sich zusammengefasst darstellen wie folgt:
    Gegeben seien eine natürliche Zahl $n$ und eine aus unendlich vielen Raumpunkten bestehenden kompakte Teilmenge $X\subset \mathbb {R} ^{n}$. Hier gebe es zu jeder aus $n+1$ Raumpunkten bestehenden Teilmenge $T\subset X$ einen zugehörigen Raumpunkt $p_{T}\in X$ dergestalt, dass jedes $t\in T$ von $p_{T}$ aus sichtbar (s. u.) ist.
    Dann gilt:
    $X$ ist sternförmig.
    Zusatz: Die Behauptung des Satzes gilt auch dann noch, wenn man die obige Sichtbarkeitsbedingung abschwächt und sie lediglich für jede aus $n+1$ ordentlichen (s. u.) Raumpunkten bestehende Teilmenge $T\subset X$ fordert.

### Erläuterungen

* Für zwei Punkte $p,q\in X$ ist $p$ von $q$ aus (in $X$) sichtbar – und umgekehrt! –, wenn ihre Verbindungsstrecke eine Teilmenge von $X$ ist, wenn also für ihre konvexe Hülle die Beziehung $\operatorname {conv} \{p,q\}\subseteq X$ gilt.
* Ein ordentlicher Punkt von $X$ ist ein Randpunkt $p\in \partial {X}$, der zugleich ein Stützpunkt von $X$ ist. Es ist dabei ein Stützpunkt von $X$ ein Raumpunkt $p\in \mathbb {R} ^{n}$, zu dem ein lineares Funktional $f\colon \mathbb {R} ^{n}\to \mathbb {R}$ existiert, welches nicht die Nullabbildung ist und dabei die Beziehung $\sup _{x\in X}{f(x)}=f(p)$ erfüllt.