Diskrete Topologie

Im mathematischen Teilgebiet d​er Topologie i​st ein topologischer Raum diskret, w​enn alle Punkte isoliert sind, d. h. w​enn in e​iner hinreichend kleinen Umgebung d​es Punktes k​eine weiteren Punkte liegen.

Definition

Es sei eine Menge. Dann ist die diskrete Topologie auf die Topologie, unter der alle Teilmengen von offen sind. Ein Raum, der die diskrete Topologie trägt, heißt diskret.

Das heißt, trägt gerade die Potenzmenge als Topologie.

Teilmengen topologischer Räume heißen diskret, wenn sie mit der Teilraumtopologie diskret sind. Das ist äquivalent dazu, dass es zu jedem Punkt eine Umgebung von gibt, die als einzigen Punkt von enthält, d. h. .

Eigenschaften

  • Ein topologischer Raum ist genau dann diskret, wenn für jeden Punkt die Menge offen ist.
  • In einem diskreten topologischen Raum ist der Umgebungsfilter eines jeden Punktes die Menge aller Teilmengen mit Er ist ein Ultrafilter.
  • In einem diskreten topologischen Raum ist der Filter genau dann konvergent, wenn er der Umgebungsfilter eines Punktes ist. Dieser Punkt ist dann der Limespunkt des Filters
  • Eine Folge aus einem diskreten topologischen Raum konvergiert dann und nur dann, wenn sie sie ab einem bestimmten Folgenglied konstant wird (m. a. W. stationär ist).
  • Diskrete Räume sind stets hausdorffsch. Sie sind genau dann kompakt, wenn sie nur endlich viele Punkte enthalten.
  • Diskrete Räume sind lokalkompakt.
  • Das kartesische Produkt endlich vieler diskreter topologischer Räume ist wieder diskret.
  • Diskrete Räume sind total unzusammenhängend: Jedweder Teilraum mit mindestens zwei Elementen ist unzusammenhängend, zerfällt also in (mindestens) zwei disjunkte offene Mengen.
  • Diskrete Räume sind 0-dimensional, sowohl bzgl. der kleinen und großen induktiven Dimension als auch bzgl. der Lebesgue'schen Überdeckungsdimension.
  • Jede Abbildung von einem diskreten topologischen Raum in einen beliebigen topologischen Raum ist stetig.
  • Eine stetige Abbildung von einem topologischen Raum in einen diskreten topologischen Raum ist lokal konstant.

Diskrete Metriken

Ein diskreter topologischer Raum lässt sich mit einer diskreten Metrik[1]

ausstatten, d​ie die diskrete Topologie induziert.

Die Ausstattung mit dieser Metrik bietet keinen wesentlichen Informationsgewinn. Immerhin werden durch sie Begriffe wie Cauchy-Folge und Vollständigkeit anwendbar.

Nachweis der Metrikaxiome

Die Erfüllung d​er positiven Definitheit u​nd der Symmetrie i​st unmittelbar a​us der Definition ersichtlich.

Für d​en Nachweis d​er Dreiecksungleichung

sind z​wei Fälle z​u unterscheiden:

  1. Ist so ist die linke Seite gleich 0 und die Ungleichung sicher erfüllt.
  2. Ist , so muss oder sein, da nicht mit zwei verschiedenen Elementen übereinstimmen kann. Das heißt, dass wenigstens eine der beiden Zahlen oder gleich 1 sein muss, weshalb
gilt.

Überdies ist eine Ultrametrik, denn ist nur bei und damit nur bei der Gleichheit möglich. In allen anderen Fällen ist so dass die verschärfte Dreiecksungleichung

für alle gilt.

Metrische Eigenschaften

Bei einer gleichmäßig diskreten Metrik ist eine Folge genau dann eine Cauchy-Folge, wenn sie stationär ist. Jeder mit einer gleichmäßig diskreten Metrik ausgestattete metrische Raum ist vollständig, das heißt: jede Cauchy-Folge konvergiert.

Beispiel einer nicht-gleichmäßig diskreten Metrik

Sei der mit der Betragsmetrik ausgestattete metrische Raum Zu jedem Punkt gibt es die Umgebung

aller Punkte, die näher bei liegen als der Punkt Sie besteht nur aus dem einen Punkt Somit sind alle Punkte isoliert, und die durch induzierte Topologie ist ebenfalls die diskrete.

Andererseits gibt es zu jedem ein und einen Punkt derart, dass für alle   weshalb die Diskretheit der Metrik keine gleichmäßige ist.

Außerdem ist festzuhalten, dass die Folge eine Cauchy-Folge ist, die keinen Grenzwert in hat. Denn trägt als Teilraum der reellen Zahlen die Teilraumtopologie, und in hat den Grenzwert 0, den es in nicht gibt.

Kategorientheoretischer Hintergrund

Aus kategorientheoretischer Sicht ist die diskrete Topologie auf einer Menge die freie Topologie auf dieser Menge. Dazu betrachte man den Funktor von der Kategorie aller Mengen (mit allen Mengenabbildungen als Morphismen) in die Kategorie aller topologischen Räume (mit allen stetigen Abbildungen als Morphismen), welcher jeder Menge den diskreten Topologischen Raum zuweist und jeder Mengenabbildung dieselbe Abbildung zwischen den zugehörigen diskreten Räumen. Dieser Funktor ist nun linksadjungiert zum Vergissfunktor . Üblicherweise werden die Bilder von Mengen unter solchen Funktoren jedoch als freie Konstruktionen bezeichnet, beispielsweise freie Gruppen, freie abelsche Gruppen, freie Moduln. In ähnlicher Weise ist die indiskrete Topologie als Funktor rechtsadjungiert zum oben genannten Vergissfunktor. Das heißt, die indiskrete Topologie ist der duale Begriff zur diskreten Topologie.

Einzelnachweise

  1. Cigler und Reichel

Siehe auch

Literatur

  • Boto von Querenburg: Mengentheoretische Topologie (= Springer-Lehrbuch). 3., neu bearbeitete und erweiterte Auflage. Springer, Berlin u. a. 2001, ISBN 3-540-67790-9.
  • Johann Cigler, Hans-Christian Reichel: Topologie. Eine Grundvorlesung (= BI-Hochschultaschenbücher. Bd. 121). Bibliographisches Institut, Mannheim u. a. 1978, ISBN 3-411-00121-6, § 3.1 Metrische Räume.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.