Sterngebiet

sternförmige Menge mit Zentrum $x_{0}$ , ihr Inneres (grün) ist ein Sterngebiet

In der Mathematik versteht man unter einer sternförmigen Menge eine Teilmenge 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 .

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

Formale Definition

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

Bemerkungen

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.

Basierend auf einem Artikel in:

Wikipedia.de