Innerer Punkt

Innerer Punkt sowie Inneres bzw. offener Kern sind Begriffe aus der Topologie, einem Teilgebiet der Mathematik.

Jedes Element einer Teilmenge $M$ eines topologischen Raums $X$, zu dem sich eine Umgebung in $X$ finden lässt, die vollständig in $M$ liegt, ist ein innerer Punkt von $M$. Die Menge aller inneren Punkte von $M$ heißt Inneres oder offener Kern von $M$.

Beispiel: Betrachtet man eine Kreisscheibe als Teil der Ebene, dann sind die Punkte auf dem Rand des Kreises keine inneren Punkte (sondern Randpunkte). Dagegen sind alle Punkte zwischen dem Kreisrand und dem Kreismittelpunkt und der Kreismittelpunkt selber innere Punkte der Kreisfläche.

Definition

Sei $M$ eine beliebige Teilmenge eines topologischen Raums $X$. Dann ist ein Punkt $x_0$ aus $M$ genau dann ein innerer Punkt von $M$, wenn $M$ eine Umgebung von $x_0$ in $X$ ist, d. h. wenn es eine Teilmenge $U\subseteq M$ gibt, die $x_0$ enthält und in $X$ offen ist.

Die Menge aller inneren Punkte von $M$ heißt Inneres oder offener Kern von $M$; sie ist die größte offene Teilmenge von $M$. Sie wird üblicherweise mit $M^\circ$ oder insbesondere in englischsprachiger Literatur mit $\operatorname{Int}(M)$ oder $\operatorname{int}(M)$ bezeichnet.

Eigenschaften

• Eine Teilmenge eines topologischen Raumes ist genau dann offen, wenn sie gleich ihrem Inneren ist.
• Das Innere des Komplements ist das Komplement des Abschlusses und umgekehrt:

$(X\setminus M)^\circ=X\setminus\overline{M}$ und $\overline{X\setminus M}=X\setminus M^\circ.$.

Das Innere des Komplements heißt auch das Äußere von M. Der Raum X zerfällt also in Inneres, Rand und Äußeres von M.

Siehe auch

• Kernoperator
• Insbesondere im Kontext von konvexen Teilmengen reeller Vektorräume betrachtet man das Innere bezüglich der affinen Hülle; man spricht dann von relativ inneren Punkten.

Literatur

• Boto von Querenburg: Mengentheoretische Topologie. 3. neu bearbeitete und erweiterte Auflage. Springer-Verlag, Berlin u. a. 2001, ISBN 3-540-67790-9 (Springer-Lehrbuch).