Anch'io non ho capito bene dove sta il problema. Infatti
[quote=&quot;tommy1996q&quot;:ezscwdmb]
Nella dimostrazione si fa uso della caratterizzazione dei relativamente compatti, per cui servirebbe che per ogni [latex:ezscwdmb]r&gt;0[/latex:ezscwdmb] esista un compatto [latex:ezscwdmb]K_r[/latex:ezscwdmb] [...][/quote:ezscwdmb]
ma nella caratterizzazione basta in realtà totalmente limitato.