$\limsup_{n\to\infty} x_n $ y $\liminf_{n\to\infty} x_n $ surgen naturalmente al tratar de entender las subsecuencias convergentes de la secuencia $ (x_n) $ . La idea es la siguiente ( Vamos a ver las secuencias reales en todo momento ) :
Las secuencias convergentes tienen buenas propiedades ( por ejemplo, la acotación, $ \lim_{n\to\infty} (xa_n + yb_n) = x(\lim_{n\to\infty} a_n) + y(\lim_{n\to\infty} b_n) $ etc.), y la noción es bastante central, ya que muchas otras nociones pueden replantearse en términos de ésta ( por ejemplo, " $ f : A (\subseteq \mathbb{R} ) \rightarrow \mathbb{R} $ es continua en un punto $ p \in A $ " si y sólo si "para cada secuencia $ (a_n) $ en $ A $ convergiendo a $ p $ tenemos $ f(a_n) $ convergiendo a $ f(p) $ " ). En general una secuencia no converge, pero lo más parecido que podemos tener es una subsecuencia convergente (Recordemos que una subsecuencia de $ x_1, x_2, x_3, \cdots $ es sólo una secuencia $ x_{j_1}, x_{j_2}, x_{j_3}, \cdots $ con $ j_1 < j_2 < j_3 < \cdots $ ). ¿Cuándo una secuencia $ (x_n) $ tiene una subsecuencia convergente? Y cuando la tenga, ¿qué podemos decir sobre $ \{ \text{ limits of convergent subsequences of } (x_n) \: \} $ ?
Centrémonos primero en la segunda cuestión, es decir, en lo que ocurre si una secuencia $ (x_n) $ tiene una subsecuencia convergente $ (x_{n_k}) $ . Suponiendo la acotación de $ (x_n) $ tenemos $ \beta_{n_k} \leq x_{n_k}, x_{n_{k+1}}, x_{n_{k+2}}, \cdots \leq \alpha_{n_k} $ donde $ \alpha_j := \sup \{ x_j, x_{j+1}, x_{j+2}, \cdots \} $ y $ \beta_j := \inf \{ x_j, x_{j+1}, x_{j+2}, \cdots \} $ . Desde $ (\alpha_j) $ es no creciente y acotado por debajo tiene un límite $ \alpha = \inf \alpha_j $ , y de forma similar $ (\beta_j) $ siendo no decreciente y acotado por encima tiene un límite $ \beta = \sup \beta_j $ . Ahora tomando $ k \to \infty $ da $ \beta \leq \lim_{k\to\infty} x_{n_k} \leq \alpha $ .
En resumen: Dejemos que $ (x_n) $ sea una secuencia acotada con una subsecuencia convergente $ (x_{n_k}) $ . Entonces $ \lim x_{n_k} \in [ \beta, \alpha ] $ , donde $ \alpha $ y $ \beta $ son los límites de $ \alpha_j := \sup \{ x_j, x_{j+1}, \cdots \} $ y $ \beta_j := \inf \{ x_j, x_{j+1}, \cdots \} $ respectivamente.
Ahora abordemos la primera cuestión (nótese que en la discusión anterior sólo necesitábamos la acotación de $ (x_n) $ para hablar de $ \alpha_j, \beta_j $ y sus límites $ \alpha $ , $ \beta $ ). Si $ (x_n) $ es una secuencia acotada, porque intuitivamente "hay términos de la secuencia que se pegan cerca de $ \alpha_j $ s, y el $ \alpha_j $ s convergen a $ \alpha $ " y de forma similar para $ \beta $ esperamos que haya subsecuentes que converjan a $ \alpha $ & $ \beta $ . Es realmente cierto: Deja que $ (x_n) $ sea una secuencia acotada. Como siempre $ \alpha_j := \sup \{ x_j, x_{j+1}, \cdots \} $ , $ \beta_j := \inf \{ x_j, x_{j+1}, \cdots \} $ con sus respectivos límites $ \alpha = \inf \alpha_j $ y $ \beta = \sup \beta_j $ . Existe un $ n_1 $ tal que $ \alpha_1 - 1 < x_{n_1} \leq \alpha_1 $ . Ahora existe $ n_2 ( \geq n_1 + 1 > n_1 ) $ tal que $ \alpha_{{n_1} + 1} - \frac{1}{2} < x_{n_2} \leq \alpha_{{n_1} + 1} $ . Y ahora existe $ n_3 ( \geq n_2 + 1 > n_2 ) $ tal que $ \alpha_{{n_2}+1} - \frac{1}{3} < x_{n_3} \leq \alpha_{{n_2}+1} $ y así sucesivamente. Por lo tanto, obtenemos $ n_1 < n_2 < \cdots $ tal que $ \alpha_{{n_{j-1}}+1} - \frac{1}{j} < x_{n_{j}} \leq \alpha_{{n_{j-1}}+1} $ para todos $ j \geq 1 $ ( tomaremos $ n_0 = 0 $ para dar sentido a la $ j = 1 $ desigualdad ). Así que tomando $ j \to \infty $ Finalmente conseguimos $ \lim_{j \to \infty} x_{n_j} = \alpha $ . Del mismo modo, se puede construir una sucesión de $ (x_n) $ convergiendo a $ \beta $ .
Para resumir toda la discusión : Dejemos que $ (x_n) $ sea una secuencia acotada. Entonces $ S := \{ \text{ limits of convergent subsequences of } (x_n) \: \} $ es no vacía, con $ \max(S) = \alpha $ y $ \min(S) = \beta $ , donde $ \alpha = \inf \alpha_j $ y $ \beta = \sup \beta_j $ son los límites de $ \alpha_j := \sup \{ x_j, x_{j+1}, \cdots \} $ y $ \beta_j := \inf \{ x_j, x_{j+1}, \cdots \} $ respectivamente.
Nota: : Aquí el hecho de que $ S \neq \varnothing $ La teoría de Bolzano-Weierstrass, es decir, que toda secuencia acotada de reales tiene una subsecuencia convergente, se llama tradicionalmente teorema de Bolzano-Weierstrass. Es fundamental para el análisis, y también puede demostrarse mediante un argumento de bisección.