Dichte Teilmenge - LinkFang.de





Dichte Teilmenge


Im mathematischen Fachgebiet Topologie ist eine dichte Teilmenge eines metrischen oder topologischen Raumes eine Teilmenge dieses Raumes mit besonderen Eigenschaften. Der Begriff dichte Teilmenge wird in seiner allgemeinen Form in der Topologie definiert. Er wird auch in vielen anderen Teildisziplinen der Mathematik, etwa der Analysis, der Funktionalanalysis und der Numerik angewandt, zum Beispiel bei der Approximation von stetigen Funktionen durch Polynome.

Man sagt von einer Teilmenge, sie liege dicht in einem metrischen Raum, wenn man jeden Punkt des Gesamtraums beliebig genau durch einen Punkt aus der Teilmenge approximieren kann. So bilden die rationalen Zahlen [math]\Bbb{Q}[/math] eine dichte Teilmenge in der Menge der reellen Zahlen [math]\Bbb{R}[/math]. Das bedeutet, dass man irrationale Zahlen beliebig genau durch rationale Brüche beziehungsweise durch endliche Dezimalzahlen approximieren kann. Allgemeiner sagt man von einer Teilmenge [math]A[/math], sie liege dicht in einem topologischen Raum [math]X[/math], wenn jede Umgebung eines beliebigen Punktes [math]x[/math] aus [math]X[/math] immer auch ein Element aus [math]A[/math] enthält.

Ein Spezialfall dieses topologischen Begriffes dicht ergibt sich durch die Anwendung auf geordnete Mengen. Eine Teilmenge [math]S[/math] einer streng totalgeordneten Menge [math](M, \lt)[/math] heißt dicht (in [math]M[/math]), wenn es zu allen [math]x[/math] und [math]y[/math] aus [math]M[/math] mit [math]x \lt y[/math] ein [math]z[/math] aus [math]S[/math] gibt, so dass [math]x \lt z \lt y[/math]. Dieser Spezialfall ergibt sich durch die Ordnungstopologie auf [math]M[/math] und wird dort näher erläutert. Der vorliegende Artikel behandelt den allgemeineren topologischen Begriff.

Definition

Sei [math](X, T)[/math] ein topologischer Raum. Eine Teilmenge [math]M[/math] liegt genau dann dicht in [math]X[/math], wenn eine (und damit jede) der folgenden gleichwertigen Aussagen zutrifft:

  • Der Abschluss [math]\overline M[/math] von [math]M[/math] stimmt mit [math]X[/math] überein.
  • Jede Umgebung in [math]X[/math] enthält einen Punkt aus [math]M[/math].

Nirgends dichte Teilmenge

Ein komplementäres Konzept ist das der nirgends dichten Mengen: Eine Menge heißt genau dann nirgends dicht, wenn die Menge in keiner Umgebung eines ihrer Elemente dicht liegt. Dies ist äquivalent dazu, dass das Innere des Abschlusses der Menge leer ist, d. h. die größte und einzige offene Menge, die im Abschluss enthalten ist, ist die leere Menge.

Eigenschaften

  • Inklusion: [math]A\text{ dicht in }X\text{, }A\subseteq B \Rightarrow B \text{ dicht in }X[/math]
  • Transitivität: [math]X\text{ dicht in }Y\text{, }Y\text{ dicht in }Z\Rightarrow X \text{ dicht in }Z[/math]
  • Erhaltung unter stetigen Abbildungen: Ist [math]A[/math] dicht in [math]X[/math] und [math]f\colon X\to Y[/math] eine stetige Abbildung, so liegt [math]f(A)[/math] dicht in [math]f(X)[/math].

wobei dicht im Sinne der Unterraumtopologie gemeint ist.

Beispiele

  • Die Menge der rationalen Zahlen [math]\Bbb{Q}[/math] liegt dicht in der Menge der reellen Zahlen [math]\Bbb{R}[/math].
  • Die Menge der irrationalen Zahlen liegt dicht in der Menge der reellen Zahlen [math]\Bbb{R}[/math].
  • Die Menge der Polynome liegt dicht in der Menge der stetigen Funktionen auf einem kompakten Intervall.
  • Die Menge der Testfunktionen liegt dicht in der Menge der Lebesgue-Integrierbaren Funktionen.
  • Sei [math]M[/math] eine Teilmenge eines mittels [math]\|\cdot\|[/math] normierten Raums [math]X[/math]. Bezeichnet man mit [math]\overline{M}[/math] die abgeschlossene Hülle dieser Menge bezüglich der Norm [math]\|\cdot\|[/math], so liegt [math]M[/math] dicht in [math]\overline{M}[/math].
  • Die Menge der natürlichen Zahlen [math]\Bbb{N}[/math] liegt nicht dicht in der Menge der rationalen Zahlen [math]\Bbb{Q}[/math], sie ist sogar nirgends dicht in [math]\Bbb{Q}[/math].
  • Die Cantor-Menge ist eine überabzählbare, abgeschlossene und nirgends dichte Teilmenge der reellen Zahlen.
  • Das Intervall [math][-1,1][/math] liegt nicht dicht in den reellen Zahlen, ist aber auch nicht nirgends dicht, denn es liegt dicht in [math][-1,1][/math], was eine Umgebung der Null ist.

Siehe auch

  • Ein Raum, der eine abzählbare dichte Teilmenge besitzt, heißt separabel.
  • Eine abzählbare Vereinigung nirgends dichter Mengen nennt man auch mager.

Literatur

  • Boto von Querenburg: Mengentheoretische Topologie (= Springer-Lehrbuch). 3., neu bearbeitete und erweiterte Auflage. Springer, Berlin u. a. 2001, ISBN 3-540-67790-9.
  • Thorsten Camps, Stefan Kühling, Gerhard Rosenberger: Einführung in die mengentheoretische und die algebraische Topologie (= Berliner Studienreihe zur Mathematik. Bd. 15). Heldermann, Lemgo 2006, ISBN 3-88538-115-X.

Kategorien: Mengentheoretische Topologie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Dichte Teilmenge (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.