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 tomamos conhecimento dos espa¸cos Lp

com 1 p <.

Nesta se¸c˜ao iremos estudar o caso p = que num certo sentido,

como iremos ver, ´e um caso limite.

Um n´umero real λ ´e dito majorante essencial de uma fun¸c˜ao u

quando u(x)λ quase sempre, isto ´e, quando o conjunto dos pontos

x para os quais u(x) > λ tem medida nula. ´

E claro que se λ ´e um

majorante essencial de u ent˜ao qualquer n´umero maior que λ tamb´em

o ´e.

Seja A o conjunto de todos os majorantes essenciais de uma fun¸c˜ao

u. Define-se o supremo essencial de u, e denota-se por supess u, como

Se¸c˜ao 4.2

Os Espa¸cos L∞ 93

sendo o ´ınfimo do conjunto A, isto ´e,

(4.23)

supess u = inf A.

Observemos que supess u pode n˜ao ser finito; basta para isto que

se tenha A = ou A = R. Se A = convencionaremos que supess

u = + e se A =R escreveremos que supess u =−∞.

4.12 Proposi¸c˜ao. Seja u uma fun¸c˜ao real e L = supessu. Ent˜ao L

possui as seguintes propriedades:

i) u(x)L quase sempre.

ii) Se L ´e finito, para cada ε > 0 existe um conjunto B de medida

positiva tal que u(x) > Lε para todo xB.

Demonstra¸c˜ao: Seja A como definido acima. Ent˜ao L = inf A. Se

L = + ent˜ao u(x) L para todo x e portanto u(x) L quase

sempre. Se L = + ent˜ao A = e por defini¸c˜ao de ´ınfimo existe

uma sucess˜ao (λn) de elementos de A tal que L = lim
n→∞

λn (mesmo

no caso L = −∞). Para cada n seja Fn o conjunto dos pontos x

para os quais u(x) > λn . Pela defini¸c˜ao de majorante essencial tem-

se que a medida de Fn ´e nula e portanto F =

n=1

Fn tamb´em tem

medida nula. Se x n˜ao pertence a F ent˜ao u(x) λn para todo n

e portanto u(x) lim

n→∞

λn = L. Portanto u(x) L quase sempre,

ficando provado o item (i). Suponhamos, agora, que n˜ao exista um

conjunto B nas condi¸c˜oes do item (ii). Neste caso a cole¸c˜ao dos pontos

x tais que u(x) > Lε teria medida nula e conseq¨uentemente Lε

seria um elemento de A. Como L > Lε seguir-se-ia que L = inf A

o que contradiz a defini¸c˜ao de L.

Diz-se que uma fun¸c˜ao u ´e essencialmente limitada quando supess

|u| ´e finito.

94 Os Espa¸cos Lp

; Fun¸c˜oes de V´arias Vari´aveis

Cap. 4

4.13 Proposi¸c˜ao. Seja u uma fun¸c˜ao mensur´avel, essencialmente

limitada, definida num intervalo limitado (a,b). Ent˜ao

i) uLp

(a,b) para todo p1.

ii) supess |u|= lim

p→∞

||u||p .

Demonstra¸c˜ao: Seja M = supess |u|. Ent˜ao |u(x)| ≤ M quase

sempre (pela proposi¸c˜ao anterior). Portanto, para cada p 1, tem-

se |u(x)|p

Mp

quase sempre, e pelo Corol´ario 2.26 segue-se que

|u|p

´e integr´avel e como u ´e mensur´avel (por hip´otese) conclui-se que

uLp

(a,b), ficando provado o item (i). Do fato de que |u(x)|p

Mp

quase sempre em (a,b) decorre ainda que

(4.24) ||u||p =

b
a

|u|p 1/p

Mp

(ba)

1/p

= M(ba)1p

.

Como lim

p→∞

(ba)1/p

= 1 decorre de (4.24) que

(4.25)

limsup

p→∞

||u||pM.

Por outro lado, pela Proposi¸c˜ao 4.12, existe, para cada ε > 0, um

conjunto B tal que r = µ(B) > 0 e |u(x)|> Mε para todo x em B.

Portanto

||u||p =

b
a

|u|p 1/p

B

|u|p 1/p

(Mε)p

r

1/p

(4.26)

= (Mε)r1/p

.

Decorre de (4.26) que liminf

p→∞

||u||pMε e conseq¨uentemente, como

ε ´e arbitr´ario,

(4.27)

liminf

p→∞

||u||pM.

De (4.25) e (4.27) obt´em-se que M = lim

p→∞

||u||p .

Se¸c˜ao 4.3

Convergˆencia Fraca nos Espa¸cos Lp

95

4.14 Defini¸c˜ao. O conjunto de todas as fun¸c˜oes mensur´aveis u es-

sencialmente limitadas em (a,b) ´e representado por L(a,b) e para

todo uL(a,b) define-se a norma de u por

(4.28)

||u||∞ = supess |u|.
Naturalmente, esta nota¸c˜ao ´e motivada pela Proposi¸c˜ao 4.13. Sim-

ples ´e verificar que L(a,b) ´e um espa¸co vetorial e a express˜ao (4.28)

define, realmente, uma norma sobreL(a,b), desde que identifiquemos

as fun¸c˜oes que diferem apenas nos pontos de um conjunto de medida

nula. Tamb´em n˜ao apresentam dificuldades as demonstra¸c˜oes das de-

sigualdades de H¨older e Minkowski para o caso p =. O teorema de

Riesz-Fischer tamb´em ´e v´alido em L(a,b) e portanto L(a,b) ´e um

espa¸co de Banach.

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)//-->