Innerer Punkt

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

Jedes Element einer Teilmenge M {\displaystyle M} eines topologischen Raums X {\displaystyle X} , zu dem sich eine Umgebung in X {\displaystyle X} finden lässt, die vollständig in M {\displaystyle M} liegt, ist ein innerer Punkt von M {\displaystyle M} . Die Menge aller inneren Punkte von M {\displaystyle M} heißt Inneres oder offener Kern von M {\displaystyle 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.

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

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

• 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 ∖ M ) ∘ = X ∖ M ¯ {\displaystyle (X\setminus M)^{\circ }=X\setminus {\overline {M}}} und X ∖ M ¯ = X ∖ M ∘ {\displaystyle {\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.

Nimm die folgende Menge M {\displaystyle M} und die Zahl a {\displaystyle a} :

a {\displaystyle a} ist ein innerer Punkt von M {\displaystyle M} , weil es ein ϵ > 0 {\displaystyle \epsilon >0} gibt, sodass ( a − ϵ , a + ϵ ) {\displaystyle (a-\epsilon ,a+\epsilon )} eine Teilmenge von M {\displaystyle M} ist:

• Die inneren Punkte des kompakten Intervalls [ a , b ] {\displaystyle \left[a,b\right]} sind genau die zum offenen Intervall ( a , b ) {\displaystyle \left(a,b\right)} gehörenden Punkte.
• Ebenso sind die inneren Punkte des halboffenen Intervalls [ a , b ) {\displaystyle \left[a,b\right)} oder des halboffenen Intervalls ( a , b ] {\displaystyle \left(a,b\right]} genau die zum offenen Intervall ( a , b ) {\displaystyle \left(a,b\right)} gehörenden Punkte.
• Alle Punkte des offenen Intervalls ( a , b ) {\displaystyle \left(a,b\right)} sind innere Punkte.

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

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