EDB — 13W

[13W]Sia $(X,𝜏)$ uno spazio topologico e $f:X\to ℝ$ una funzione; sia $\bar{x}\in X$ un punto di accumulazione; sia infine $U_n$ una famiglia di intorni aperti di $\bar{x}$ con $U_n\supseteq U_{n+1}$. Allora esiste una successione $(x_n)\subset X$ con $x_n\in U_n$ e $x_n\ne \bar{x}$ e tale che

(Si noti che in generale non pretendiamo né ci aspettiamo che $x_n\to \bar{x}$).