Kofinite Topologie separabel?

Neue Frage »

StrunzMagi Auf diesen Beitrag antworten »
Kofinite Topologie separabel?
Meine Frage:
Ich verstehe noch nicht ganz warum die kofinite Topologie auf X: separabel ist.

Meine Ideen:
Hallo,
Ist X abzählbar ist es klar.
Für X überabzählbar nimmt man laut Skript eine abzählbare Teilmenge von K.
ZZ.: D.h. für jedes und jede Umgebung
Sei . Sei eine Umgebung von U, so folgt , D.h. ist endlich.
Um jetzt zu garantieren muss K eine unendlich abzählbare Menge sein. Aber eine abzählbare Menge kann doch auch endlich sein wenn K nur mit abzählbar betitelt wird?

Danke,
MaGi
Guppi12 Auf diesen Beitrag antworten »

Hallo,

es funktioniert natürlich nicht, wenn endlich ist. Es ist hier so gemeint, dass man abzählbar unendlich wählt.

Es gibt in diesem Kontext auch zwei verschiedene Terminologien.

Die eine ist die, die du verwendest, 'abzählbar' bedeutet, entweder gleichmächtig zu oder endlich und man sagt 'abzählbar unendlich', wenn man den endlichen Fall ausschließen will.

Die andere Terminologie bezeichnet mit 'abzählbar' das, was du mit 'abzählbar unendlich' betitelst. Abzählbare Mengen können also nicht endlich sein. Will man das ausdrücken, was in der anderen Terminologie 'abzählbar' bedeutet, so sagt man 'höchstens abzählbar'. Ich nehme mal an, dass hier eben die zweite Terminologie gewählt wurde.
StrunzMagi Auf diesen Beitrag antworten »

Danke, dass du meine Verwirrung geklärt hast!

LG,
MaGi
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »