Dichte Teilmenge

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Dicht liegen)
Zur Navigation springen Zur Suche springen

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 eine dichte Teilmenge in der Menge der reellen Zahlen . Das bedeutet, dass man irrationale Zahlen beliebig genau durch rationale Brüche beziehungsweise durch endliche Dezimalzahlen approximieren kann. Allgemeiner sagt man von einer Teilmenge , sie liege dicht in einem topologischen Raum , wenn jede Umgebung eines beliebigen Punktes aus immer auch ein Element aus enthält.

Definition in metrischen Räumen

[Bearbeiten | Quelltext bearbeiten]

Gegeben sei ein metrischer Raum (wie beispielsweise ein normierter Raum mit der Metrik ).

Dann heißt eine Menge dicht in , wenn eine der folgenden äquivalenten Aussagen zutrifft:

  • Zu jedem und jedem existiert ein Punkt , so dass ist.
  • Zu jedem und jedem existiert ein Punkt , so dass ist. Dabei bezeichnet die offene Kugel um mit Radius .
  • Zu jedem existiert eine Folge von Punkten aus , so dass ist.
  • Die abgeschlossene Hülle der Menge ist der ganze Raum, also .

Die obige Definition durch den Grenzwert einer Folge ist so nicht auf allgemeine topologische Räume übertragbar. Die Konvergenz von Folgen muss hierfür durch die Filterkonvergenz oder die Konvergenz von Netzen verallgemeinert werden.

  • Die Menge der rationalen Zahlen liegt dicht in der Menge der reellen Zahlen .
  • Die Menge der irrationalen Zahlen liegt dicht in der Menge der reellen Zahlen .
  • 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 eine Teilmenge eines mittels normierten Raums . Bezeichnet man mit die abgeschlossene Hülle dieser Menge bezüglich der Norm , so liegt dicht in .
  • Die Menge der natürlichen Zahlen liegt nicht dicht in der Menge der rationalen Zahlen , sie ist sogar nirgends dicht in .
  • Die Cantor-Menge ist eine überabzählbare, abgeschlossene und nirgends dichte Teilmenge der reellen Zahlen.
  • Das Intervall liegt nicht dicht in den reellen Zahlen, ist aber auch nicht nirgends dicht, denn es liegt dicht in , was eine Umgebung der Null ist.
  • Der Raum der auf glatten Funktionen mit kompaktem Träger liegt dicht im Raum der quadratintegrierbaren Funktionen.

Definition in topologischen Räumen

[Bearbeiten | Quelltext bearbeiten]

Gegeben sei ein topologischer Raum . Dann ist eine Menge genau dann dicht (in ), wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:

  • Der Abschluss von entspricht der Obermenge, es gilt also .
  • Die Menge schneidet jede nichtleere offene Menge, es ist also für alle .
  • Jede Umgebung in enthält einen Punkt aus .

Eine Menge heißt dicht in , wenn sie dicht bezüglich der Teilraumtopologie ist. Teils werden dann die in der Obermenge dichten Mengen auch überall dicht genannt.[1]

  • Inklusion: Ist dicht in und , so liegt auch dicht in .
  • Transitivität: Ist dicht in und dicht in , so liegt schon dicht in .
  • Erhaltung unter stetigen Abbildungen: Ist dicht in und eine stetige Abbildung, so liegt dicht in .

In der letzten Eigenschaft wird mit der Unterraumtopologie von versehen; der Begriff der dichten Teilmenge ist dann bezüglich dieser Unterraumtopologie zu verstehen.

Linear geordnete Mengen

[Bearbeiten | Quelltext bearbeiten]

Ein Spezialfall des topologischen Begriffes dicht ergibt sich durch die Anwendung auf geordnete Mengen. Eine Teilmenge einer streng totalgeordneten Menge heißt dicht (in ), wenn es zu allen und aus mit ein aus gibt, so dass . Dieser Spezialfall ergibt sich durch die Ordnungstopologie auf und wird dort näher erläutert.

Partiell geordnete Mengen

[Bearbeiten | Quelltext bearbeiten]

In partiell geordneten Mengen, die in der Forcing-Theorie verwendet werden, ist eine andere Topologie üblich. Für eine partiell geordnete Menge bilden die Mengen (für ) die Basis einer Topologie . Eine Menge genau dann dicht bezüglich , wenn es für jedes Element von ein Element gibt, welches erfüllt.

Weiterführende Begriffe

[Bearbeiten | Quelltext bearbeiten]

Nirgends dichte Mengen

[Bearbeiten | Quelltext bearbeiten]

Eine nirgends dichte Menge ist eine Teilmenge eines topologischen Raumes, bei der das Innere ihres Abschlusses leer ist. Es gilt also

.

Entgegen ihrem Namen sind nirgends dichte Mengen nicht das Gegenteil oder Komplement von dichten bzw. überall dichten Mengen. Genauer ist eine Menge genau dann nirgends dicht, wenn sie in keiner (nichtleeren) offenen Menge dicht ist. Somit sind dichte Mengen nie nirgends dicht, da sie immer in der offenen Menge dicht sind. Umgekehrt gibt es aber sowohl nicht dichte Mengen, die nirgends dicht sind (wie die ganzen Zahlen in ) als auch nicht dichte Mengen, die nicht nirgends dicht sind (wie das Intervall in .)

Separable und polnische Räume

[Bearbeiten | Quelltext bearbeiten]

Ein topologischer Raum heißt ein separabler Raum, wenn er eine abzählbare, dichte Menge enthält. Dies erleichtert häufig die Beweisführung, somit sind separable Räume „leichter“ zu handhaben. Noch stärker ist der Begriff des polnischen Raumes, dies ist ein topologischer Raum, der eine abzählbare dichte Teilmenge enthält und vollständig metrisierbar ist.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. M.I. Voitsekhovskii: Dense set. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).