P. 1
Medeiros - A Integral de Lebesgue

Medeiros - A Integral de Lebesgue

|Views: 20|Likes:
Published by jhorckham

More info:

Published by: jhorckham on Nov 06, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/30/2014

pdf

text

original

At´e aqui consideramos a integral para fun¸c˜oes definidas num intervalo

limitado (a,b). O caso dos intervalos n˜ao limitados como (a,+),

(−∞,b), (−∞,) n˜ao apresenta dificuldade. Com pequenas modi-

fica¸c˜oes nas defini¸c˜oes poderemos obter todos os resultados j´a vistos

at´e agora para o caso do intervalo limitado. Neste par´agrafo deno-

taremos por J um intervalo n˜ao limitado de qualquer um dos tipos

mencionados acima. Uma fun¸c˜ao ϕ definida em J ´e dita fun¸c˜ao es-

cada se existe um intervalo limitado (a,b) contido em J, fora do qual

ϕ ´e nula e no qual ϕ ´e fun¸c˜ao escada no sentido da defini¸c˜ao dada na

Se¸c˜ao 1.3.

2.30 Exemplo: A fun¸c˜ao ψ definida por

ψ(x) =

maior inteiro menor que x se |x|< 5
0 se |x|≥5

´e uma fun¸c˜ao escada definida em toda reta.

Se ϕ for uma fun¸c˜ao escada definida em J e se denotarmos por Ck os

valores assumidos por ϕ sobre os intervalos limitados Ik(a,b)J,

k = 1,...,n a sua integral ´e definida por

J

ϕ =

n
k=1

Ck amp(Ik) =

b
a

ϕ.

As defini¸c˜oes de fun¸c˜oes mensur´aveis e integr´aveis sobre J s˜ao feitas

de modo an´alogo ao caso do intervalo finito e todos os resultados vistos

at´e agora s˜ao v´alidos, com exce¸c˜ao dos que fazem apelo `a integrabi-

lidade das fun¸c˜oes constantes. Embora as fun¸c˜oes constantes sejam

mensur´aveis nos intervalos ilimitados, n˜ao s˜ao, contudo, integr´aveis

nesses intervalos (a fun¸c˜ao u constante e igual a c no intervalo (0,+),

por exemplo, ´e mensur´avel porque ´e o limite da sucess˜ao (cX(0,n)) de

Se¸c˜ao 2.3

A integral sobre um intervalo n˜ao limitado 57

fun¸c˜oes escada, mas n˜ao ´e integr´avel porque se fosse, sua suposta in-

tegral deveria ser maior que

cX(0,n) = nc,n N, uma vez que
u > cX(0,n), o que n˜ao ´e poss´ıvel). Como conseq¨uˆencia, o Corol´ario

2.26 n˜ao ´e v´alido nos intervalos ilimitados e, desse modo, a Proposi¸c˜ao

2.27, que permanece v´alida nos intervalos ilimitados, deve ter sua de-

monstra¸c˜ao revista pois faz apelo `aquele corol´ario. Para demonstr´a-la

no caso ilimitado devemos substituir a fun¸c˜ao constante e igual a 1

que figura no numerador de vn por uma fun¸c˜ao h integr´avel e essenci-

almente positiva; as fun¸c˜oes ˆvn = h

1+un

s˜ao integr´aveis pela Proposi¸c˜ao

2.24, pois ˆvn ´e mensur´avel e 0 < ˆvn h. Os demais argumentos da

demonstra¸c˜ao permanecem v´alidos. (Uma fun¸c˜ao integr´avel e estrita-

mente positiva em (0,+), por exemplo, pode ser constru´ıda como

segue: seja uk = 1

2k X(k1,k), k = 1,..., e hn =

n
k=1

uk ; ent˜ao (hn) ´e

uma sucess˜ao crescente de fun¸c˜oes escada cuja sucess˜ao das integrais

´e limitada pois

hn =

n
k=1

1/2k

< 1. Pela forma crescente do Teorema

de Beppo Levi, (hn) converge para uma fun¸c˜ao integr´avel h e, como ´e

imediato, h > 0 em (0,+)).

58 Integral `a Lebesgue-Riesz

Cap. 2

Exerc´ıcios

2.1 Prove que dada u integr´avel em (a,b) tal que 0 u M, ent˜ao

existe uma fun¸c˜ao escada ϕ tal que |uϕ|< M e

|uϕ|< ε.

Sugest˜ao: Aplicar Proposi¸c˜ao 2.8.

2.2 Mostre que E (a,b) tem medida nula se e s´o se existe uma

seq¨uˆencia (uk) de fun¸c˜oes escada n˜ao negativas tais que a s´erie
uk ´e divergente nos pontos de E e a s´erie das integrais

uk

´e convergente.

2.3 Prove que uma fun¸c˜ao u: (a,b)R´e mensur´avel se e s´o se Tv(u)

´e integr´avel em (a,b) qualquer que seja a fun¸c˜ao v0, integr´avel

em (a,b).

2.4 Com exemplos mostre que de u,v L(a,b) n˜ao decorre que

u·vL(a,b).

2.5 Mostre que se u ´e mensur´avel e limitada e v ´e integr´avel, ent˜ao

uv ´e integr´avel.

2.6 Seja un = nX(n,n+1) . Ent˜ao (un) converge a u = 0 em (0,) mas
u = lim

un . Por que o Teorema da Convergˆencia Limitada

n˜ao se aplica a este caso?

2.7 Seja un =1

nX(0,n) . Ent˜ao (un) converge a u = 0 em (0,) e
uliminf

n→∞

un.

Por que este exemplo n˜ao contraria o lema de Fatou?

2.8 Demonstre a seguinte forma generalizada do Lema de Fatou: se

(un) ´e uma sucess˜ao de fun¸c˜oes de L(u0), ent˜ao liminf

n→∞

un ´e in-

tegr´avel e

b
a

liminf

n→∞

unliminf
n→∞

b
a

un.

3

Conjuntos e Fun¸c˜oes Mensur´aveis

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->