Abgeschlossene offene Menge

Im Teilgebiet Topologie der Mathematik ist eine abgeschlossene offene Menge (im Englischen clopen set, im Deutschen selten auch abgeschloffene Menge) eine Teilmenge eines topologischen Raums, die gleichzeitig abgeschlossen und offen ist.

Dies erscheint auf den ersten Blick seltsam; man muss aber bedenken, dass die Begriffe "offen" und "abgeschlossen" in der Topologie eine andere Bedeutung als in der Alltagssprache haben.

Beispiele

In jedem topologischen Raum sind die leere Menge und der ganze Raum abgeschlossen und offen. In einem zusammenhängenden topologischen Raum sind dies die einzigen Teilmengen, die abgeschlossen und offen sind.

Im topologischen Raum X, der aus der Vereinigung der beiden Intervalle [0,1] und [2,3] besteht, versehen mit der aus der Standardtopologie auf \mathbb{R} induzierten Topologie, ist die Menge [0,1] abgeschlossen und offen.

Im Allgemeinen ist eine Zusammenhangskomponente eines Raumes nicht offen und abgeschlossen: In der Alexandroff-Kompaktifizierung der Menge der \N der natürlichen Zahlen bildet der unendlich ferne Punkt eine Zusammenhangskomponente, die nicht offen ist.

Betrachte die Menge \mathbb{Q} der rationalen Zahlen mit der Standardtopologie, und darin die Teilmenge A aller rationalen Zahlen, die größer als (oder hier äquivalent: mindestens so groß wie) die Quadratwurzel von 2 sind. Da \sqrt{2} irrational ist, kann man leicht zeigen, dass A abgeschlossen und offen ist. Beachte aber, dass A als Teilmenge der reellen Zahlen weder abgeschlossen noch offen ist; die Menge aller reellen Zahlen größer als \sqrt{2} ist offen aber nicht abgeschlossen, während die Menge aller reellen Zahlen, die mindestens so groß wie \sqrt{2} sind, abgeschlossen aber nicht offen ist.

Eigenschaften

  • Eine Teilmenge eines topologischen Raumes ist genau dann offen und abgeschlossen, wenn ihr Rand leer ist.
  • Ein topologischer Raum X ist genau dann zusammenhängend, wenn die einzigen abgeschlossenen offenen Mengen die leere Menge und X sind.
  • Jede abgeschlossene offene Teilmenge lässt sich als (möglicherweise unendliche) Vereinigung von Zusammenhangskomponenten darstellen.
  • Wenn jede Zusammenhangskomponente offen ist (was zum Beispiel dann der Fall ist, wenn X nur endlich viele Komponenten hat, oder wenn X lokal zusammenhängend ist), dann ist auch jede Vereinigung von Zusammenhangskomponenten abgeschlossen und offen.
  • Ein topologischer Raum ist genau dann diskret, wenn jede Teilmenge abgeschlossen und offen ist.
  • Eine offene Untergruppe einer topologischen Gruppe ist auch abgeschlossen. Eine abgeschlossene Untergruppe von endlichem Index ist auch offen.

Literatur


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Offene Menge — In dem Teilgebiet Topologie der Mathematik ist eine offene Menge eine Menge mit einer genau definierten Eigenschaft (siehe unten). Anschaulich ist eine Menge offen, wenn ihre Elemente nur von Elementen dieser Menge umgeben sind, mit anderen… …   Deutsch Wikipedia

  • Abgeschlossene Menge — In dem Teilgebiet Topologie der Mathematik ist eine abgeschlossene Menge M eine Teilmenge eines topologischen Raums X, deren Komplement X M eine offene Menge ist. Dieser topologische Raum kann z. B. ein metrischer oder euklidischer Raum sein …   Deutsch Wikipedia

  • Offene Abbildung — In dem Teilgebiet Topologie der Mathematik ist eine offene Menge eine Menge mit einer genau definierten Eigenschaft (siehe unten). Anschaulich ist eine Menge offen, wenn ihre Elemente nur von Elementen dieser Menge umgeben sind, mit anderen… …   Deutsch Wikipedia

  • Offene Funktion — In dem Teilgebiet Topologie der Mathematik ist eine offene Menge eine Menge mit einer genau definierten Eigenschaft (siehe unten). Anschaulich ist eine Menge offen, wenn ihre Elemente nur von Elementen dieser Menge umgeben sind, mit anderen… …   Deutsch Wikipedia

  • Offene Kugel — In dem Teilgebiet Topologie der Mathematik ist eine offene Menge eine Menge mit einer genau definierten Eigenschaft (siehe unten). Anschaulich ist eine Menge offen, wenn ihre Elemente nur von Elementen dieser Menge umgeben sind, mit anderen… …   Deutsch Wikipedia

  • Offene Teilmenge — In dem Teilgebiet Topologie der Mathematik ist eine offene Menge eine Menge mit einer genau definierten Eigenschaft (siehe unten). Anschaulich ist eine Menge offen, wenn ihre Elemente nur von Elementen dieser Menge umgeben sind, mit anderen… …   Deutsch Wikipedia

  • Abgeschlossene Hülle — In der Topologie und der Analysis ist die abgeschlossene Hülle (auch Abschließung oder Abschluss) einer Teilmenge U eines topologischen oder metrischen Raums die kleinste abgeschlossene Obermenge von U. Inhaltsverzeichnis 1 Definition 2 Der… …   Deutsch Wikipedia

  • Perfekte Menge — In der Analysis ist ein Häufungspunkt einer Menge anschaulich ein Punkt, der unendlich viele weitere Punkte in seiner Nähe hat. Ein Verdichtungspunkt einer Folge ist ein Punkt, der Grenzwert einer Teilfolge ist. Beide Begriffe sind eng… …   Deutsch Wikipedia

  • Fette Menge — Der Satz von Baire, auch als bairescher Kategoriensatz bezeichnet, gilt für eine Vielzahl topologischer Räume, die in verschiedenen Teilgebieten der Mathematik, wie der Maßtheorie und der Funktionalanalysis verwendet werden. In seiner klassischen …   Deutsch Wikipedia

  • Magere Menge — Der Satz von Baire, auch als bairescher Kategoriensatz bezeichnet, gilt für eine Vielzahl topologischer Räume, die in verschiedenen Teilgebieten der Mathematik, wie der Maßtheorie und der Funktionalanalysis verwendet werden. In seiner klassischen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”