Diskrete Topologie (Beweis) |
21.05.2006, 14:19 | phi | Auf diesen Beitrag antworten » | ||||||
Diskrete Topologie (Beweis) Definition von Diskreter Topologie (ohne dem Begriff der offenen Mengen):
Aufgabe:
Die drei definierenden Axiome einer Topologie:
Aus (i) und der Definition von folgt schonmal daß X , die leere Menge, und alle unendlichen Teilmengen in liegen; bleibt also nur zu zeigen, daß auch alle endliche Mengen in liegen. Für Schnittmengen von zwei oder endlich vielen unendlichen Mengen, kommen drei Möglichkeiten in Frage: (X oder unendliche Teilmenge, liegen eh schon in tau) , diese endlichen Schnittmengen sind die , die uns noch gefehlt haben. Also folgt aus (iii) daß auch alle endlichen Teilmengen C_n in liegen, somit ist die diskrete Topologie auf X. Reicht das schon ? Danke schonmal und mfg, phi |
||||||||
21.05.2006, 17:44 | Abakus | Auf diesen Beitrag antworten » | ||||||
RE: Diskrete Topologie (Beweis) Du musst zeigen, dass jede endliche Teilmenge von X offen ist (d.h. in der Topologie drin ist). Dass es für den Durchschnitt unendlicher Mengen 3 Möglichkeiten gibt, reicht dazu nicht. Grüße Abakus |
||||||||
22.05.2006, 10:11 | phi | Auf diesen Beitrag antworten » | ||||||
Hallo Abakus, im online-Buch "Topologie without tears" wird der Begriff der offenen Menge erst nach obiger Aufgabe eingeführt. Aber mit dem "topologischen de Morgan" was im nächsten Abschnitt drankommt, gilt ja dann
Und da die unendlichen Teilmengen von clopen, also auch offen sind, sind auch alle endlichen Teilmengen der Form offen. (Genauer gesagt sind sie clopen, aber schließlich sind bei diskreten Topologien alle Teilmengen von X clopen). Danke, jetzt bin ich einigermaßen fit fürs nächste Kapitel! (Bis auf die Sternchen-Aufgabe, siehe Thread "Topologien auf IR, Q, IR\Q" ) mfg, phi |
||||||||
22.05.2006, 14:26 | Abakus | Auf diesen Beitrag antworten » | ||||||
Tolles Buch, macht Spass und ist exzellent erklärt! Ich werd da auch mal etwas schmökern... Wenn du benutzt, dass alle unendlichen Mengen auch abgeschlossen sind, wäre das noch zu zeigen (die Eigenschaften einer diskreten Topologie sind nicht benutzbar, denn die Diskretheit ist erst zu zeigen). Wenn du das hast, sind alle endlichen Mengen als Komplemente offen und der Satz ist gezeigt. Grüße Abakus |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|