Spazio compatto e di Hausdorff

la.spina.simone
Sia $(X,s)$ uno spazio di Hausdorff, e sia $(X,t)$ compatto, con $s\subseteq t$. Dimostrare che $s=t$

non capisco proprio come si faccia...

Risposte
j18eos
Inizio con una domanda facile: \((X;\mathcal{T})\) è uno spazio di Hausdorff?

la.spina.simone
si lo è poichè contiene la prima topologia

j18eos
Considera un insieme chiuso di \((X;\mathcal{S})\), poi...

la.spina.simone
Faccio vedere che è un compatto, e compatti disgiunti sono contenuti in aperti disgiunti, dunque ..?

j18eos
"MrJack":
Faccio vedere che è un compatto...
In che topologia? Eppoi come utilizzeresti questo per dimostrare che \(\mathcal{S}=\mathcal{T}\)? Da quanto premesso io ragionerei con gli insiemi chiusi!

la.spina.simone
:oops: non ti seguo allora...

regim
hint : prendi la funzione identica $ i : (X,t)->(X,s)$, è un omeomorfismo?

PS
Come suggerito, ad un certo punto conviene ragionare con i chiusi.

j18eos
Se ragioni con calma, riconoscendo che a priori stai lavorando con due spazi topologici distinti, arriverai a concludere che i chiusi dell'uno sono tutti e soli e chiusi dell'altro: questo era il mio ragionamento; altrimenti puoi dimostrare in modo più elegante che tali spazi topologici sono omeomorfi mediante l'identità \(1_X\) come suggerito da regim.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.