EDB — 13Y

[13Y] Sia \((X,𝜏)\) uno spazio topologico e \(f:X→ℝ\) una funzione; sia \(\overline x∈ X\) un punto di accumulazione; Sia \(A\) l’insieme di tutti i limiti \(\lim _ n f(x_ n)\) (quando esistono) per tutte le successioni \((x_ n)⊂ X\) tali che \(x_ n→ \overline x\); allora

inoltre se \((X,𝜏)\) soddisfa il primo assioma di numerabilità, allora l’uguaglianza vale e \(\inf A=\min A\).