EDB — 13W

[13W]Sia \((X,𝜏)\) uno spazio topologico e \(f:X→ℝ\) una funzione; sia \(\overline x∈ X\) un punto di accumulazione; sia infine \(U_ n\) una famiglia di intorni aperti di \(\overline x\) con \(U_ n⊇ U_{n+1}\). Allora esiste una successione \((x_ n)⊂ X\) con \(x_ n∈ U_ n\) e \(x_ n≠ \overline x\) e tale che

(Si noti che in generale non pretendiamo né ci aspettiamo che \(x_ n→\overline x\)).