áá Dimostrazione

 

 

 

X soddisfa il secondo assioma di numerabilitÓ Ů $ B base di aperti al pi¨ numerabile per una topologia t su X, definisco come in prop. 4.7:

" x X, B (x) = {BB | x B};

questo Ŕ una base di intorni aperti di x e, per come Ŕ definita, Ŕ al pi¨ numerabile.