Medida e Integra c ao. Departamento de F sica e Matem atica. USP-RP. Prof. Rafael A.

Rosales

8 de mar co de 2009.

Preliminares1 1 lim sup, lim inf

Seja (xn ), n N, uma seq u encia de n umeros reais, e l o limite desta seq u encia, i.e., n0 N tal que n > n0 |xn l| < para qualquer > 0. Mostraremos agora que l R e limite de uma subseq u encia de (xn ) se, e somente se, para todo > 0, o conjunto {n N : xn (l , l + )} e um subconjunto innito de N. Teorema 1. A m de que l R seja limite de uma subseq u encia de (xn ) e necess ario e suciente que, para todo > 0, exista uma innidade de ndices n tais que xn (l , l + ). Demonstra c ao. Teorema 9, pagina 120 em [0]. Um n umero real l chama-se de valor de ader encia de uma seq u encia (xn ) quando l e limite de alguma subseq u encia de (xn ). Do Teorema acima temos que l e valor de ader encia de (xn ) se, e somente se, todo intervalo aberto de centro l cont em termos xn com com ndices arbitrariamente grandes. Por outro lado, l = limn xn signica que qualquer intervalo aberto de centro l cont em todos os termos xn com ndices sucientemente grandes. u encia limitada de n umeros reais. O conjunto dos Seja agora (xn ) uma seq valores de ader encia de (xn ) n ao e vazio, mais ainda, existe um que e o menor de todos e outro que e o maior. Finalmente a seq u encia converge se, e somente se, possui apenas um valor de ader encia. A demonstra c ao destas arma c oes constitui o conte udo do resto desta se c ao.
1 As seguintes notas foram tomadas do material encontrado no livro [0]: Elon Lages Lima, Curso de An alise, Vol. 1. Projeto Euclides, 11. Ed, 2004; e de um curso de medida baseado em [1]: Boas, R. P. A primer of Real Functions. The Carus Mathematical Monographs, N. 13. Math. Assoc. of America (1981), [2]: Gelbaum B. R., Olmsted J. M. Counterexamples in Analysis. Holden-Day (1966), e da referencia cl assica [3]: Halmos, P. R. Measure Theory. Van Nostrand-Reinhold (1950).

O maior e o menor valor de ader encia s ao generaliza c oes do limite para o caso de seq u encias limitadas que podem n ao ser convergentes. Formalmente, sejam (an ), (bn ) duas seq u encias denidas por an = sup xm ,
mn

bn = inf xm .
mn

Destas deni c oes podemos ver que a medida que n aumenta o supremo e o nmo s ao calculados sobre conjuntos de menor tamanho por tanto a1 a2 an , b 1 b2 bn ,

isto e, (an ) e (bn ) s ao seq u encias mon otonas. Neste caso temos que lim an = inf an ,
n n

lim bn = sup bn ,
n n

os quais sempre existem2 , mesmo que estes n ao sejam nitos. A nota c ao usualmente utilizada para estas opera c oes e a = lim sup xn = lim an ,
n n

b = lim inf xn = lim bn ,

n n

mas tamb em e comum encontrar lim sup = lim , e lim inf = lim . Diremos que a e o limite superior e b o limite inferior de (xn ). Teorema 2. Seja (xn ) uma seq u encia limitada. Ent ao lim inf xn e o menor valor de ader encia e lim sup xn e o maior valor de ader encia de (xn ). Demonstra c ao. Provemos inicialmente que a = lim inf xn e valor de ader encia de (xn ). Para isto ser a utilizado o Teorema 1. Dados arbitrariamente > n e n0 N, mostraremos que existe n N tal que n > n0 e xn (a , a + ). Como a = lim bn existe n1 > n0 tal que a < bn1 < a + . Como bn1 = inf {xn1 , xn1 +1 , . . .}, segue-se da u ltima desigualdade que a + (sendo maior do que bn1 ) n ao e cota inferior de {xn1 , xn1 +1 , . . .}. Logo existe n n1 tal que bn1 xn a + . Isto nos d a n > n0 com a < xn < a + , como quer amos. Mostremos, agora, que nenhum n umero c < a pode ser valor de ader encia de (xn ). Ora, como a = lim bn , segue-se de c < a que existe n0 N tal que c < bn0 a. Como bn0 = inf {xn0 , xn0 +1 , . . .}, conclu mos que n n0 c < bn0 xn . Pondo = bn0 c, vemos que c + = bn0 , logo o intervalo (c , c + ) n ao cont em termo xn algum com n n0 . Isto exclui a possibilidade de c ser valor de ader encia de (xn ). A demonstra c ao para lim sup e realizada de modo semelhante. Corol ario 1. Uma seq u encia limitada de n umeros reais (xn ) e convergente se, e somente se, lim inf xn = lim sup xn , isto e, se, e somente se, possui um u nico valor de ader encia. Demonstra c ao. Veja a pagina 123 em [0].
2 veja

o Teorema 4 em [0], pagina 111.

e, a seq u encia Exemplo 1. Seja xn = (1)n , isto 1, +1, 1, +1, 1, . . . . Logo an = supmn xm = +1, m N, portanto inf n an = +1 e ent ao conclu mos que lim supn xn = +1. De forma an aloga obtemos que lim inf n xn = 1. Exemplo 2. Seja n, xn = 1, 0, Ent ao lim sup xn = +,
n

se n par se n = 1 se n mpar e n = 1. lim inf xn = 0.

n

Exemplo 3. Seja xn = n2 sen2 (n/2). Neste caso lim inf n xn = 0, e lim supn xn = +. Exerc cio 1. Encontre lim sup e lim inf para as seguintes seq u encias xn = {1, 0, 1, 1, 0, 1, 1, 0, 1, . . .} xn = cos(n ) n n xn = sen cos 2 2 (1)n n xn = (1 + n)n 1 se n par (n+2)/2 2 xn = 1 1 se n mpar 2(n+2)/2 (a) (b) (c) (d)

(e)

u encias de n umeros reais. Demonstre Exerc cio 2. Sejam (xn ) e (yn ) duas seq as seguintes rela c oes. (a) lim (xn ) = lim xn .
n n

(b) lim xn + lim yn lim (xn + yn )

n n n

lim xn + lim yn lim (xn + yn )

n n n n n

lim xn + lim yn . (sempre e quando n ao existam termos da forma + ). (c) Se xn 0, yn 0, ent ao lim (xn yn ) (lim xn )(lim yn ).
n n n

(sempre e quando o produto na direita n ao seja da forma 0 ). Exerc cio 3. (Limite superior e inferior de uma fun c ao) Seja f : R R num ponto. O limite da fun c ao em x s ao denidos como lim sup f (x) = inf
xy >0

sup
0<|xy |<

f (x) f (x) .

lim inf f (x) = sup

xy >0

0<|xy |<

inf

Mostre (a) Se lim supxy f (x) = L, e (xn ) e uma seq u encia tal que xn = y n e limn xn = y , ent ao lim supn f (xn ) L. (b) Se lim supxy f (x) = L, ent ao existe uma seq u encia (xn ) com xn = y n tal que y = lim xn , e L = lim f (xn ).
n n

tal que Forne ca um exemplo de uma fun c ao f : R R lim sup f (x) = lim inf f (x).
x0 x0

1.1

Seq u encias de Conjuntos

u encia de subconjuntos de X . Seja X um conjunto. Seja (An ), n N uma seq Denimos

sup An =
n1 n=1

An An
n=1

n1

inf An =

B = lim sup An =
n n=1 mn

Am = inf sup Am
n1 mn

C = lim inf An =
n n=1 mn

Am = sup inf Am
n1 mn

Se lim supn An = lim inf n An , diremos que a seq u encia An tem limite e neste caso escrevemos lim An = lim sup An = lim inf An .
n n n

O lim supn An esta constitu do por aqueles elementos que pertencem a An para innitos ndices n, e o lim inf n An esta constitu do pelos elementos que pertencem a An menos um n umero nito de ndices n. Esta interpreta c ao e mostrada no Exercicio 4. 4

1 1 ,1 + n ), ent ao para k N temos que Exemplo 4. Seja X = R, e An = ( n

An = 0 , 1 +
n=k

1 , k

An =
n=k

1 ,1 , k

portanto lim supn An = lim inf n An = (0, 1]. Uma seq u encia de conjuntos An e crescente se para todo n N, An An+1 e decrescente se para todo n N, An An+1 . As seq u encias crescentes e decrescentes sempre possuim um limite (veja o Exercicio 5). Exerc cio 4. Mostre que se (An ) e uma seq u encia de subconjuntos de X , ent ao (a) lim supn An = {x X : x An para innitos ndices n}. (b) lim inf n Bn = {x X : x An menos para um n umero nito de ndices n}. Exerc cio 5. Demonstre que se (An ) e crescente ent ao lim sup An = lim inf An =
n n n1

An ,

e se (An ) e decrescente ent ao lim sup An = lim inf An =

n n n1

An .

Exerc cio 6. Demonstre que toda uni ao pode ser escrita como uma uni ao crescente e como uma uni ao disjunta, isto e: se (An ) e uma fam lia de subconjuntos de X , ent ao (a) Existe uma fam lia (Bn ) de subconjuntos de X tal que Bn Bn+1 para todo n e n1 An = n1 Bn . (b) Existe uma fam lia (Dn ) de subconjuntos de X tal que Di Dj se i = j e n1 An = n1 Bn .

Resposta (Exercicio 4) (i) Se x B , ent ao,

x
m=n

Am

para todo n.

(1)

Da deni c ao da opera c ao de uni ao, se x m=1 Am , ent ao x Am1 para algum m1 . Embora, seguindo (1) temos x m=m1 +1 Am , portanto x Am2 , para algum m2 > m1 . Analogamente, x m=m2 +1 Am , e assim x Am3 , para algum m3 > m2 . Desta forma obtemos uma seq u encia crescente de inteiros positivos m1 < m2 < m3 < . . ., tais que x Amn para todo n 1. Conclu mos desta forma que x pertence a um n umero innito dos Am . Reciprocamente, se ao, x m=n Am , para todo n, x pertence a um n umero innito dos Am , ent de modo que x B . Desta forma, x B se, e somente se x pertence a um n umero innito dos An . Mostramos agora que o evento C e equivalente ao evento x x : x An para todo n sucientemente grande . Observamos primeiro que x C se, e somente se

x
m=n0

Am

para algum n0 , ou seja, x Am para todo m sucientemente grande (m > n0 ).