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

Beispiel

Nimm die folgende Menge $M$ und die Zahl $a$ :

$a$ ist ein innerer Punkt von $M$ , weil es ein $\epsilon >0$ gibt, sodass $(a-\epsilon ,a+\epsilon )$ eine Teilmenge von $M$ ist:

Inneres von Intervallen

Das Innere eines Intervalls von $a$ nach $b$ (egal, ob es das offene $\left(a,b\right)$ , die halboffenen $\left[a,b\right)$ bzw. $\left(a,b\right]$ oder das kompakte Intervall $\left[a,b\right]$ ist) ist genau das entsprechende offene Intervall $\left(a,b\right)$ . Insbesondere sind damit offene Intervalle ihr eigenes Inneres.

Siehe auch

Kernoperator
Abgeschlossene Hülle
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).