Límite superior y límite inferior

En matemática se define límite superior y límite inferior de una sucesión (x_n) como el mayor y menor límite convergente de las subsecuencias de (x_n). Análogamente a este, el límite superior y límite inferior para funciones reales se define de la misma manera. El límite superior y el límite inferior son un sustituto parcial para el límite, si es que este no existe. Por definición no se puede superar al límite superior.

Formalmente el límite inferior de una sucesión ${displaystyle (x_{n})}$ se define como

o también como

y se denota como ${displaystyle liminf _{n ightarrow infty }x_{n}}$ o como ${displaystyle varliminf _{n ightarrow infty }x_{n}}$. Análogamente se define ${displaystyle limsup _{n ightarrow infty }x_{n}=varlimsup _{n ightarrow infty }x_{n}=inf _{ngeq 0},sup _{kgeq n}x_{k}=lim _{n ightarrow infty }left(sup _{kgeq n}x_{k} ight)}$.

Estas definiciones son útiles en un conjunto parcialmente ordenado en un sentido cuantitativo, y proporcionan que el supremo y el ínfimo existan. En una red reticular completa siempre existen estos valores, por lo que en este caso, cada secuencia tiene un límite inferior y límite superior asociado.

Si existe el límite inferior y el límite superior de una sucesión ${displaystyle (x_{n})}$, se cumple que ${displaystyle liminf _{n ightarrow infty }x_{n}leq limsup _{n ightarrow infty }x_{n};.}$

Además se verifica que si el límite de la sucesión existe, este es igual tanto al límite inferior como al superior.