?
für die Ausgangsfrage hab' ich eine Lösung gefunden, die ohne Dichte auskommt:
sei X topol. Raum, M c X als topol. Raum irreduzibel.
zeigen: M_ (Abschluß in X) irred. top. Raum:
angnumma, M_ ist nicht irreduzibel, und M_ = A v B eine entsprechende Disjunktion
=> de Morgan: M = M n M_ = M n (A v B) = (M n A) v (M n B) (#)
da A, B abgeschlossen in der M_-relativen Top. von X sind, sind M n A, M n B abgeschlossen in der M-relativen Top. von X
Wäre M n A = {}, dann M = M n B => M c B => M_ c B_ = B => M_ = B, Widerspruch.
Wäre M n A = M, dann M c A => M_ c A_ = A, Widerspruch
=> (#) ist nicht-triviale Disjunktion
=> M nicht irreduzibel, Widerspruch.