Lı́mites de oscilación

Vamos a trabajar en la recta real ampliada

IR = IR ∪ {−∞, +∞},
dotada de la relación de orden natural que coincide con la de IR para los
reales y, además,
−∞ < x < +∞ para todo x ∈ IR.
En la recta real ampliada, cualquier subconjunto no vacı́o (acotado o no)
tiene supremo e ı́nfimo (si bien dichos valores pueden no ser finitos). Por
ejemplo,
sup IN = +∞ (Compruébalo usando la definición de supremo).

Definición. Un lı́mite de oscilación de una sucesión es un lı́mite (real o

±∞) de alguna de sus subsucesiones.

Ejemplo. La sucesión {xn }n∈IN definida por


 n, si n = 3k,
xn = −1, si n = 3k − 1,
1/n, si n = 3k − 2,


tiene lı́mites de oscilación −1, 0 y +∞.

Teorema.Cualquier sucesión tiene al menos un lı́mite de oscilación.

Definición. Sea {xn }n∈IN una sucesión y sea E el conjunto de sus lı́mites
de oscilación.
Se define el lı́mite superior de {xn }n∈IN como
lim sup xn = sup E (también se denota por lim xn ),
y se define el lı́mite inferior de {xn }n∈IN como
lim inf xn = inf E (también lim xn ).

Ejemplo. En el ejemplo anterior E = {−1, 0, +∞}, de donde

lim sup xn = +∞ y lim inf xn = −1.
Teorema. Sean {xn }n∈IN una sucesión y a ∈ IR. Se verifica que
lim xn = a ⇔ lim sup xn = a = lim inf xn .
n→∞