toplogie: Abschluß irreduzibler Menge

OK, du hast recht. Du musst dann nur noch (X - X_2)_ = X_1 zeigen.

Ich nochmal: Wegen X = X_1 u X_2 sollte (X - X_2) = ((X_1 u X_2) - X_2) = X_1 - X_2 sein.

hallo helferlein,

hab's selber rausgefunden:

X = X1 v X2 nicht-triviale disjunktion von in X abgeschlossenen Mengen
=> X - X1 offen in X 
=> X - X1 dicht in X (nach Annahme)
=> jede abgeschl. Menge M, die X - X1 enthält, ist gleich X.
=> mit M:=X2 folgt X2 = X, Widerspruch.

und grüß Düsentrieb.

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.