Buongiorno,
la proposizione a cui mi riferisco e' la seguente:
"Sia \(X\) T2 e loc. compatto, \(G\) agisce su \(X\) con un'azione propria allora \(^X/_G\) e' T2".
Durante la dimostrazione si usa il fatto che \(g_i\cdot x \neq y\) per trovare due aperti disgiunti usando
l'ipotesi che \(X\) e' T2.
Come facciamo a sapere che sono diversi?
Grazie in anticipo per la disponibilita'.
Riguardando bene sembra seguire dal fatto che \([x]\neq[y] \implies \not\exists g\) t.c. \(g\cdot x = y\).
Ciao Davide,
sì, segue da quell'ipotesi.
sì, segue da quell'ipotesi.