Sterngebiet

In der Mathematik versteht man unter einer sternförmigen Menge eine Teilmenge $M$ des $\mathbb {R} ^{n}$ , zu der es einen Punkt $x_{0}$ gibt (ein Sternzentrum bzw. einen Sternmittelpunkt), von dem aus alle Punkte der Menge „sichtbar“ sind, das heißt, jede gerade Verbindungsstrecke von $x_{0}$ zu einem beliebigen Punkt $x\in M$ liegt vollständig in $M$ .

Ist eine sternförmige Menge zusätzlich offen, so spricht man von einem Sterngebiet.

Formale Definition[Bearbeiten | Quelltext bearbeiten]

Eine Menge $M\subseteq \mathbb {R} ^{n}$ heißt sternförmig, wenn es ein $x_{0}\in M$ gibt, so dass für alle $x\in M$ die Strecke

[x_{0}\,x]=\left\{x_{0}+t(x-x_{0})\;\colon \;t\in [0,1]\right\}

eine Teilmenge von $M$ ist.

Bemerkungen[Bearbeiten | Quelltext bearbeiten]

Jede nichtleere konvexe Menge ist sternförmig.
Die Menge der möglichen Sternzentren heißt auch Zentrum der Menge. Man kann zeigen, dass es stets konvex ist. Eine Menge stimmt genau dann mit ihrem Zentrum überein, wenn sie konvex ist.
Sternförmige Mengen sind kontrahierbar. Daraus folgt:
Sternförmige Mengen sind einfach zusammenhängend, also insbesondere wegzusammenhängend.
Ein Sterngebiet ist ein Gebiet.