Offene Mengen in metrischen Räumen

A⊆MA\subseteq M heißt offen genau dann, wenn sie nur innere Punkte enthält, also A⊆A°A\subseteq A° (A=A°A=A° wegen Satz 5226A) gilt.

Beispiel

In R\domR sind die offenen Intervalle ]a,b[]a,b[ offene Mengen.

Satz 5225J (Eigenschaften offener Mengen)

  1. Die leere Menge ∅\emptyset und MM sind offen.
  2. Wenn II eine beliebige Indexmenge ist und für i∈Ii\in I die Ai⊆MA_i\subseteq M sämtlich offen sind, dann ist auch die Vereinigung ⋃i∈IAi\bigcup\limits_{i\in I} A_i offen.
  3. Wenn A,B⊂MA,B\subset M offen sind, dann ist auch der Durchschnitt A∩BA\cap B offen. Also ist auch der Durchschnitt endlich vieler offener Mengen offen.
  4. AA ist genau dann offen, wenn für jeden Punkt x∈Ax\in A eine Umgebung U(x)U(x) existiert, sodass U(x)⊆AU(x)\subseteq A, sie also für jeden ihrer Punkte eine Umgebung ist.
  5. Alle ϵ\epsilon-Umgebungen sind offen.

Beweis

(i) folgt aus Satz 5226A iv.
(ii) ⋃i∈IAi⊆⋃i∈IAi°\bigcup\limits_{i\in I} A_i \subseteq \bigcup\limits_{i\in I} A_i°, da alle AiA_i offen und Ai⊆Ai°A_i\subseteq A_i°   ⟹  ⋃i∈IAi⊆(⋃i∈IAi)°\implies \bigcup\limits_{i\in I} A_i \subseteq \left(\bigcup\limits_{i\in I} A_i\right)° (Satz 16RD)
(iii) erschließt man analog zu (ii) mit Satz 16RD iii.
(iv) trivial, denn offene Mengen sind genau als die Mengen, die alle ihre inneren Punkte enthalten charakterisiert.
(v) wegen (iii) und Bemerkung 16RE. □\qed

Man mag sich wundern, dass man beliebig viele offene Mengen vereinigen kann und wieder eine offene Menge erhält, aber man sich beim Durchschnitt auf endlich viele beschränken muss.
Was passieren kann, wenn man unendlich viele offene Mengen schneidet, zeigt folgendes Beispiel.
Gegeben seien offene Intervalle der Form In=]−1n,1n[I_n=]-\dfrac 1 n, \dfrac 1 n[. Für alle diese Intervalle gilt: 0∈In0\in I_n; für jede andere Zahl aa können wir wenigstens ein nn finden mit a∉Ina\notin I_n. Daher ist:
I=⋂i=1∞In={0}I=\bigcap\limits_{i=1}^\infty I_n=\{0\}.
II ist nicht offen (denn jede ϵ\epsilon-Umgebung um 00 ist unendlich); jedoch als endliche Menge nach Satz 5910A abgeschlossen.

Satz 16RF (Offene Mengen und offener Kern)

Der offene Kern A°A° ist offen, er ist als Vereinigung aller offenen Teilmengen von AA die größte offene Teilmenge von AA.

Beweis

A°°=A°A°°=A° (Satz 5226A) daher ist A°A° offen. Damit gehört A°A° zur Vereinigung aller offenen Teilmengen, also müssen wir nur noch zeigen, dass A°A° diese Vereinigung enthält. Sei O⊆AO\subseteq A offen. Nach Satz 5225J iv ist OO für jeden ihrer Punkte Umgebung, und ebenso ist AA für jeden Punkt aus OO Umgebung. Nach Satz 5226A v ist dann O⊆A°O\subseteq A° Da dies für jede offene Menge O⊆AO\subseteq A gilt, gilt es auch für deren Vereinigung. □\qed
 
 

Wer die erhabene Weisheit der Mathematik tadelt, nährt sich von Verwirrung.

Leonardo da Vinci

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе
Datenschutzerklärung

 

Metrische Räume