7.

Limite superior e limite inferior

7.1. Definição. Seja (xn ) uma sequência de números reais.
(a) Diremos que (xn ) tende a infinito, e escreveremos xn → ∞ ou limn→∞ xn =
∞, se dado N > 0, existe n0 ∈ N tal que

xn > N para todo n ≥ n0 .

(b) Diremos que (xn ) tende a menos infinito, e escreveremos xn → −∞ ou

limn→∞ xn = −∞, se dado N > 0, existe n0 ∈ N tal que

xn < −N para todo n ≥ n0 .

7.2. Exemplo. Se xn = n para cada n ∈ N, é fácil ver que limn→∞ xn = ∞.

A seguir vamos definir o limite superior de uma sequência de números

reais.
7.3. Definição. Seja (xn ) uma sequência de números reais. Suponhamos
primeiro que (xn ) seja limitada superiormente, ou seja existe b ∈ R tal que
xn ≤ b para todo n ∈ N. Seja (bn ) definida por

bn = sup{xn , xn+1 , xn+2 , ...} = sup xk .

k≥n

É claro que a sequência (bn ) é decrescente. Se (bn ) é limitada inferiormente,

então segue da Proposição 6.11 que (bn ) é convergente. Se (bn ) não é limitada
inferiormente, então (bn ) tende a menos infinito. Em qualquer dos casos nós
definimos
lim sup xn = lim bn .
n→∞ n→∞

Se (xn ) não é limitada superiormente, nós definimos

lim sup xn = ∞.
n→∞

7.4. Exemplo. Seja xn = (−1)n para cada n ∈ N, ou seja (xn ) é a

sequência
−1, 1, −1, 1, −1, 1, ...
Neste caso é claro que (bn ) é a sequência 1, 1, 1, ..., e portanto

lim sup xn = lim bn = 1.

n→∞ n→∞

(−1)n
7.5. Exemplo. Seja xn = n para cada n ∈ N, ou seja (xn ) é a sequência

1 −1 1 −1 1
−1, , , , , , ...
2 3 4 5 6

30
Neste caso (bn ) é a sequência
1 1 1 1 1 1
, , , , , , ...,
2 2 4 4 6 6
e portanto
lim sup xn = lim bn = 0.
n→∞ n→∞

7.6. Exemplo. Seja xn = (−1)n n para cada n ∈ N, ou seja (xn ) é a

sequência
−1, 2, −3, 4, −5, 6, ...
Neste caso (xn ) não é limitada superiormente, e portanto

lim sup xn = ∞.
n→∞

De maneira análoga podemos definir o limite inferior de uma sequência de

números reais.
7.7. Definição. Seja (xn ) uma sequência de números reais. Suponhamos
primeiro que (xn ) seja limitada inferiormente, ou seja existe a ∈ R tal que
a ≤ xn para todo n ∈ N. Seja (an ) definida por

an = inf{xn , xn+1 , xn+2 , ...} = inf xk .

k≥n

É claro que a sequência (an ) é crescente. Se (an ) é limitada superiormente,

então segue da Proposição 6.11 que (an ) é convergente. Se (an ) não é limitada
superiormente, então (an ) tende a infinito. Em qualquer dos casos nós definimos

lim inf xn = lim an .

n→∞ n→∞

Se (xn ) não é limitada inferiormente, nós definimos

lim inf xn = −∞.

n→∞

7.8. Exemplo. Se xn = (−1)n para cada n, então an = −1 para cada cada

n, e portanto
lim inf xn = lim an = −1.
n→∞ n→∞

(−1)n
7.9. Exemplo. Se xn = n para cada n, então (an ) é a sequência

1 1 1 1
−1, − , − , − , − , ...,
3 3 5 5
e portanto
lim inf xn = lim an = 0.
n→∞ n→∞

31
 7.10. Exemplo. Se xn = (−1)n n para cada n ∈ N, então (xn ) não é
limitada inferiormente, e portanto

lim inf xn = −∞.

n→∞

7.11. Observação. Seja (xn ) uma sequência de números reais. Então, com
a notação das Definições 7.3 e 7.7 temos que

an ≤ bn para todo n ∈ N,

e portanto
lim inf xn ≤ lim sup xn .
n→∞ n→∞

7.12. Teorema. Seja (xn ) uma sequência de números reais. Então

lim xn = L se e só se lim sup xn = lim inf xn = L.

n→∞ n→∞ n→∞

Demonstração. Primeiro suponhamos que L ∈ R.

(⇒) Por hipótese limn→∞ xn = L. Logo, dado  > 0, existe n0 ∈ N tal que

L −  < xn < L +  para todo n ≥ n0 .

Por um lado
bn = sup xk ≤ L +  para todo n ≥ n0 .
k≥n

Por outro lado

an = inf xk ≥ L −  para todo n ≥ n0 .

k≥n

Logo
L −  ≤ an ≤ bn ≤ L +  para todo n ≥ n0 ,
e portanto
lim sup an = lim inf bn = L.
n→∞ n→∞

(⇐) Por hipótese

lim an = lim bn = L.
n→∞ n→∞

Seja  > 0 dado. Como (bn ) é decrescente e converge a L, existe n1 ∈ N tal que

sup xk = bn1 < L + .

k≥n1

De maneira análoga, como (an ) é crescente e converge a L, existe n2 ∈ N tal

que
inf xk = an2 > L − .
k≥n2

32
Seja n0 = max{n1 , n2 }. Então

L −  < xn < L +  para todo n ≥ n0 ,

e portanto
lim xn = L.
n→∞

A seguir suponhamos que L = ∞.

(⇒) Por hipótese lim xn = ∞. Logo, dado N > 0, existe n0 ∈ N tal que

xn > N para todo n ≥ n0 .

Logo
an = inf xk ≥ N para todo n ≥ n0 .
k≥n

Segue que
bn ≥ an ≥ N para todo n ≥ n0 ,
e portanto
lim bn = lim an = ∞,
n→∞ n→∞

ou seja
lim sup xn = lim inf xn = ∞.
n→∞ n→∞

(⇐) Por hipótese lim supn→∞ xn = lim inf n→∞ xn = ∞, em particular

limn→∞ an = lim inf n→∞ xn = ∞. Logo, dado N > 0, existe n0 ∈ N tal
que
an = inf xk > N para todo n ≥ n0 .
k≥n

Logo
xn > N para todo n ≥ n0 ,
e portanto limn→∞ xn = ∞.
Se L = −∞, a demonstração é análoga.
7.13. Teorema Seja (xn )∞
n=1 uma sequência limitada de números reais, e
sejam
b = lim sup xn , a = lim inf xn .
n→∞ n→∞

Então:
(a) Existe uma subsequência (xnj )∞ ∞
j=1 de (xn )n=1 que converge a b.
(b) Existe uma subsequência (xmj )∞ ∞
j=1 de (xn )n=1 que converge a a.

Demonstração. Provaremos (a), pois a demonstração de (b) é análoga.

Sabemos que

b = lim sup xn = lim bp , onde bp = sup xn .

n→∞ p→∞ n≥p

33
Seja p1 = 1. Como bp1 = supn≥p1 xn , existe n1 ≥ p1 tal que

bp1 − 1 < xn1 ≤ bp1 .

Seja p2 > n1 . Como bp2 = supn≥p2 xn , existe n2 ≥ p2 tal que

1
bp2 − < xn2 ≤ bp2 .
2
Por indução vamos achar uma sequência de números naturais

p1 ≤ n1 < p2 ≤ n2 < ... < pj ≤ nj < ...

tais que
1
bpj − < xnj ≤ bpj para cada j ∈ N.
j
Sabemos que limp→∞ bp = b, e portanto limj→∞ bpj = b. Segue do teorema do
sanduı́che que limj→∞ xnj = b.
7.14. Corolário. Cada sequência limitada de números reais admite uma
subsequência convergente.

Exercı́cios
7.A. Sejam (xn ) e (yn ) duas sequências tais que xn ≤ yn para todo n ∈ N.
Se lim xn = ∞, prove que lim yn = ∞.
7.B. Seja (xn ) uma sequência tal que xn > 0 para todo n ∈ N. Prove que
1
lim xn = ∞ se e só se lim = 0.
xn
7.C. Determine o limite superior e o limite inferior de cada uma das seguintes
sequências.
(a) 1, 2, 3, 1, 2, 3, 1, 2, 3, ...


∞
(b) sin nπ 2 n=1
.
1


∞
(c) 1 + n cos nπ n=1 .
7.D. Seja (xn ) uma sequência de números reais.
(a) Se xn ≤ b para cada n, prove que lim sup xn ≤ b.
(b) Se xn ≥ a para cada n, prove que lim inf xn ≥ a.
7.E. Sejam (xn ) e (yn ) duas sequências limitadas de números reais. Prove
que:
(a) lim sup(xn + yn ) ≤ lim sup xn + lim sup yn ,
(b) lim inf(xn + yn ) ≥ lim inf xn + lim inf yn .

34