Quelltext der Seite Kondensationspunkt (Mathematik)

Im [[Teilgebiete der Mathematik|mathematischen Teilgebiet]] der [[Topologie (Mathematik)|Topologie]] sind '''Kondensationspunkte''' einer [[Teilmenge]] eines [[Topologischer Raum|topologischen Raums]] Punkte mit einer speziellen Eigenschaft.

== Definition ==
Sei <math>X</math> ein topologischer Raum und <math>Y\subset X</math> eine Teilmenge. Ein Punkt <math>x\in X</math> heißt Kondensationspunkt von <math>Y</math>, wenn für jede (offene) [[Umgebung (Mathematik)|Umgebung]] <math>U</math> von <math>x</math> der [[Schnittmenge|Durchschnitt]] <math>U\cap Y</math> eine [[überabzählbare Menge]] ist.<ref name="GeneralTopology" />

== Bemerkungen ==
* Anschaulich bedeutet obige Definition, dass in der Nähe von <math>x</math> eine große Anzahl von Punkten aus <math>Y</math> liegt, genauer, dass sich die Punkte aus <math>Y</math> in jeder Umgebung von <math>x</math> derart häufen, dass sogar mehr als nur eine approximierende [[Folge (Mathematik)|Folge]] von ihnen in der Umgebung liegt.
* In obiger Definition wird nicht verlangt, dass der Punkt <math>x</math> selbst zu <math>Y</math> gehört. Beispielsweise ist der Punkt <math>0\in X=[0,1]</math> des [[Einheitsintervall]]s mit der üblichen euklidischen Topologie ein Kondensationspunkt von <math>Y=(0,1]</math> ohne selbst zu <math>Y</math> zu gehören.
* Offenbar ist jeder Kondensationspunkt von <math>Y</math> auch ein [[Häufungspunkt]] von <math>Y</math>, die Umkehrung gilt im Allgemeinen nicht.
* Die Menge der Kondensationspunkte von <math>Y</math> ist abgeschlossen.

== Existenz von Kondensationspunkten ==
In einem [[Diskreter Raum|diskreten Raum]] hat jeder Punkt eine Umgebung, die nur aus diesem einen Punkt besteht. Es kann daher in einem solchen Raum keine Kondensationspunkte geben. Zur Existenz von Kondensationspunkten benötigt man also weitergehende Voraussetzungen.
* Ist <math>X</math> ein topologischer Raum mit [[Abzählbare Basis|abzählbarer Basis]], <math>Y\subset X</math> und <math>\mathrm{cp}(Y)</math> die Menge der Kondensationspunkte von <math>Y</math>, so ist <math>Y\setminus \mathrm{cp}(Y)</math> [[Abzählbare Menge|abzählbar]].<ref name="Kuratowski" />

Ist also <math>Y</math> in der Situation obiger Aussage überabzählbar, so muss <math>\mathrm{cp}(Y) \not= \emptyset </math> sein, das heißt <math>Y</math> hat Kondensationspunkte.<ref name="Pervin" /> Zur Existenz von Kondensationspunkten kommt man mit einer schwächeren Bedingung aus, verliert aber die Aussage über die Abzählbarkeit der Restmenge:
*  Ist <math>X</math> ein [[Lindelöf-Raum]] und <math>Y\subset X</math> überabzählbar, so hat <math>Y</math> mindestens einen Kondensationspunkt.

Sei <math>X=\omega_1^+</math> der Nachfolger der kleinsten überabzählbaren [[Ordinalzahl]] <math>\omega_1</math> mit der [[Ordnungstopologie]] und <math>Y=\omega_1</math>. Beachte, dass <math>\omega_1</math> sowohl Teilmenge als auch Element von <math>X</math> ist. 
<math>X</math> ist ein [[kompakter Raum]], insbesondere ein Lindelöf-Raum.
Der Punkt <math>\omega_1 \in X</math> ist der einzige Kondensationspunkt von <math>Y</math> und die Restmenge <math>Y\setminus\mathrm{cp}(Y) = Y = \omega_1</math> ist überabzählbar. Der Teilraum <math>Y</math> selbst ist überabzählbar und hat in <math>Y</math> keine Kondensationspunkte, er kann nach obigem also kein Lindelöf-Raum sein.<ref name="Kharazishvili" />

Für ein anderes Beispiel dieser Art sei <math>Y</math> eine überabzählbare Menge mit der [[Diskrete Topologie|diskreten Topologie]] und <math>X</math> die [[Einpunktkompaktifizierung]] von <math>Y</math> mit dem unendlichen Punkt <math>\infty</math>. Dann ist <math>X</math> kompakt, insbesondere ein Lindelöf-Raum, und <math>\infty</math> der einzige Kondensationspunkt von <math>Y</math> in <math>X</math>. Der Teilraum <math>Y</math> selbst ist diskret, hat also keine Kondensationspunkte.<ref name="Kharazishvili" />

== Einzelnachweise ==
<references>
<ref name="GeneralTopology">
{{Literatur
 |Titel=Encyclopedia of General Topology
 |Herausgeber=Klaas Pieter Hart, Jun-iti Nagata, Jerry E. Vaughan
 |Verlag=Elsevier Science Ltd.
 |Datum=2004
 |ISBN=0-444-50355-2
 |Fundstelle=Seite 4
 |Sprache=en}}
</ref>
<ref name="Kuratowski">
{{Literatur
 |Autor=Kazmierz Kuratowski
 |Titel=Introduction to Set Theory and Topology
 |Verlag=Pergamon Press
 |Datum=1972
 |Fundstelle=Seite 184
 |Sprache=en}}
</ref>
<ref name="Pervin">
{{Literatur
 |Autor=William J. Pervin
 |Titel=Foundations of General Topology
 |Herausgeber=Ralph P. Boas
 |Verlag=Academic Press
 |Datum=2014
 |ISBN=1-483-22515-1
 |Fundstelle=Theorem 5.3.9
 |Seiten=83
 |Sprache=en}}
</ref>
<ref name="Kharazishvili">
{{Literatur
 |Autor=Alexander B. Kharazishvili
 |Titel=Set Theoretical Aspects of Real Analysis
 |Sammelwerk=Monographs and Research Notes in Mathematics
 |Verlag=CRC Press
 |Datum=2014
 |ISBN=1-482-24201-X
 |Fundstelle=Aufgabe 20
 |Seiten=17
 |Kommentar=leicht für diesen Artikel adaptiert
 |Sprache=en}}
</ref>
</references>

[[Kategorie:Topologie]]