Ciao
Ho fatto questa dimostrazione e la vedo bene, però non si sa mai.
dato $(X,d)$ spazio metrico e $KsubsetX$ con la topologia delle palle aperte.
$K$ è compatto per successioni $=>$ $K$ chiuso e limitato.
$•$ $K$ è chiuso(facile)
Mostro che ogni successione convergente, converge a un punto di $K$.
Sia $(x_n)$ una successione di $K$ convergente in $X$ a $x$
Allora ogni sottosuccessione di $(x_n)$ converge anch’essa a $x$
Essendo $K$ compatto è possibile estrarre una sottosuccessione convergente verso un punto di $K$.
Quindi $x inK$
(Suona bene a parole)
$•$ $K$ è limitato
Uso la definizione di limitatezza $existsx inXexistsMinRR^(+):KsubseteqB(x,M)$
Supponiamo per assurdo che non lo sia. Allora fisso $x inX$ e $forallMinRR^(+)existsk inK:d(k,x)geqM$
Facciamo variare $M in{2^n:n inNN}$ e otteniamo una successione $(k_n)subseteqK$ con la proprietà che
$d(k_n,x)geq2^n,foralln inNN=>d(k_n,x)->+infty$
Poche $K$ è compatto allora estraiamo una sottosuccessione convergente ad un punto di $K$ e sia essa
$(k_(n_t))_(t inNN):(exists k inK:d(k_(n_t),k)->0)$
Quindi $d(k_(n_t),x)geq2^(n_t),forallt inNN$ pertanto la distanza può essere sempre minorata.
Ma si ottiene anche $d(k_(n_t),x)leqd(k_(n_t),k)+d(k,x),forallt inNN$
Quindi si ottiene la bella contraddizione.
L’unica perplessità l’avevo nel passare da $d(k_n,x)geq2^n$ a $d(k_(n_t),x)geq2^(n_t)$ ma è subito stata mandata via dal fatto che $n_t inNN,forallt inNN$ e valendo per ogni $n inNN$ vale anche per tutte le immagini della funzione $(n_k)_(k inNN)subseteqNN$
Mi sembra a posto.