Definizione
2
[2GW] Sia \(E\subseteq X\), \(x_ 0∈ X\) punto di accumulazione di \(E\), \(f:E→ ℝ\) funzione. Si definiscono
\begin{align} \limsup _{x→ x_ 0} f(x) = \inf _{U \text{~ intorno di ~ } x_ 0}~ \sup _{x∈ U∩ E} f(x) \label{eq:limsup_ X}\\ \liminf _{x→ x_ 0} f(x) = \sup _{U \text{~ intorno di ~ } x_ 0}~ \inf _{x∈ U∩ E} f(x) \label{eq:liminf_ X} \end{align}
dove il primo “inf” (risp. il “sup”) si esegue rispetto alla famiglia di tutti gli intorni \(U\) di \(x_ 0\) (sempre del tipo “col buco”). 1