Kondensationspunkt (Mathematik)

Im mathematischen Teilgebiet der Topologie sind Kondensationspunkte einer Teilmenge eines 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 <math>U</math> von <math>x</math> der 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 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 Einheitsintervalls 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 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ä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ä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 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"> {{#invoke:Vorlage:Literatur|f}} </ref> <ref name="Kuratowski"> {{#invoke:Vorlage:Literatur|f}} </ref> <ref name="Pervin"> {{#invoke:Vorlage:Literatur|f}} </ref> <ref name="Kharazishvili"> {{#invoke:Vorlage:Literatur|f}} </ref> </references>