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

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.

Eine Teilmenge $M$ eines Vektorraums $X$ heißt sternförmig um $x_{0}\in M$ , wenn für jedes $x\in M$ das abgeschlossene Intervall $\left[x_{0},x\right]\subseteq M$ ist. Eine Menge $M$ wird als sternförmiges Gebiet bezeichnet, wenn es einen Punkt $x_{0}\in M$ gibt, sodass $M$ um $x_{0}$ sternförmig 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.

Siehe auch

Problem der Museumswächter

Literatur

Konrad Königsberger: Analysis 2. 1. Auflage. Springer, 1993, ISBN 3-540-54723-1, S. 345

Weblinks

sternförmiges Gebiet in Kurvenintegrale und konservative Vektorfelder auf Mathematik Online (Uni Stuttgart)
Eric W. Weisstein: star convex. In: MathWorld (englisch).
star shaped auf PlanetMath (englisch)