An Lise Real

Notas Para o Curso de An alise Matem atica I Daniel V.
Tausk
Sum ario
Cap tulo 1. 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. Medida de Lebesgue e Espa cos de Medida............ 1
Aritm etica na Reta Estendida...................................... 1 O Problema da Medida ................................................ 6 Volume de Blocos Retangulares.................................... 7 Medida de Lebesgue em I Rn ......................................... 9 Conjuntos de Cantor .................................................... 26 Conjuntos n ao Mensur aveis .......................................... 29
Exerc cios para o Cap tulo 1.................................................. 33 Cap tulo 2. 2.1. 2.2. 2.3. 2.4. 2.5. 2.6. 2.7. Integrando Fun c oes em Espa cos de Medida .......... 39
Fun c oes Mensur aveis .................................................... 39 Integrando Fun c oes Simples n ao Negativas .................. 49 Integrando Fun c oes Mensur aveis n ao Negativas........... 53 Deni c ao da Integral: o Caso Geral ............................. 56 Teoremas de Converg encia ........................................... 61 Riemann x Lebesgue..................................................... 65 O Teorema de Fubini em I Rn ....................................... 73 O Teorema de Mudan ca de Vari aveis para Integrais de Lebesgue ............................................................. 88 O Efeito de Aplica c oes Lipschitzianas sobre a Medida de Lebesgue......................................................... 88 O Efeito de Aplica c oes Lineares sobre a Medida de Lebesgue ................................................................. 91 O Teorema de Mudan ca de Vari aveis ........................... 93 Ap endice ` a Se c ao 3.3: recorda c ao de C alculo no I Rn ... 99
Exerc cios para o Cap tulo 2.................................................. 82 Cap tulo 3. 3.1. 3.2. 3.3. 3.4.
Exerc cios para o Cap tulo 3.................................................. 101 Ap endice A. A.1. Solu c oes para os Exerc cios Propostos................. 103
iii
Exerc cios do Cap tulo 1.............................................. 103
SUMARIO
iv
A.2.
Exerc cios do Cap tulo 2.............................................. 111
Lista de S mbolos................................................................... 115 Indice Remissivo .................................................................... 116
CAP ITULO 1
Medida de Lebesgue e Espa cos de Medida

1.1. Aritm etica na Reta Estendida Medidas associam n umeros reais n ao negativos a conjuntos, mas a alguns conjuntos ca associado o valor innito. Precisamos ent ao tratar innitudes como objetos que podem ser operados com somas e produtos. Introduzimos ent ao formalmente a reta estendida que e a reta real usual acrescida de dois objetos +, e com opera c oes e rela c ao de ordem denidas de maneira natural. Por uma quest ao de completude, listamos nesta se c ao em detalhes v arias deni c oes e propriedades relacionadas ` a reta estendida. Na Subse c ao 1.1.1 denimos o conceito de limite de uma seq u encia na reta estendida e na Subse c ao 1.1.2 formalizamos o conceito de soma de uma fam lia (possivelmente innita) de elementos n ao negativos da reta estendida. As no c oes formalizadas nesta se c ao s ao de car ater bastante intuitivo e acreditamos que o leitor pode optar pela omiss ao de sua leitura sem preju zo signicativo de compreens ao das se c oes seguintes. o. Denotamos por I 1.1.1. Notac a R o corpo ordenado dos n umeros reais. Escolha dois objetos quaisquer n ao pertencentes ` a reta real I R e denoteos por + e . o. O conjunto I R = I R {+, } ser a chamado a 1.1.2. Definic a reta estendida. Um elemento a I R e dito nito (resp., innito) quando aI R (resp., a I R). A natureza dos objetos + e e totalmente irrelevante; o que importa e a forma como eles interagem com os n umeros reais atrav es das opera c oes R. e rela c oes que deniremos a seguir em I o. Dados a, b I 1.1.3. Definic a R, escrevemos a < b e dizemos que a e menor que b quando uma das seguintes condi c oes e satisfeita: a, b I R e a < b na ordem usual de I R; b = + e a = +; a = e b = . Escrevemos a > b quando b < a, a b quando a < b ou a = b e escrevemos a b quando b a. A rela c ao bin aria < dene uma rela c ao de ordem total na reta estendida I R, ou seja, possui as seguintes propriedades: R, n ao e o caso que a < a; (anti-reexividade) para todo a I (transitividade) para todos a, b, c I R, se a < b e b < c ent ao a < c;
1
1.1. ARITMETICA NA RETA ESTENDIDA
(tricotomia) dados a, b I R ent ao a < b, b < a ou a = b. A rela c ao de ordem em I R nos permite introduzir as nota c oes de intervalo R, da maneira usual. Se A e um subcon[a, b], ]a, b], [a, b[ e ]a, b[, com a, b I junto de I R podemos denir tamb em o supremo (resp., o nmo ) de A em I R como sendo a menor cota superior (resp., a maior cota inferior) de A em I R. O supremo (resp., o nmo) de um conjunto A I R e denotado por sup A (resp., inf A); se (ai )iI e uma fam lia em I R, denotamos tamb em o supremo (resp., o nmo) do conjunto {ai : i I } por supiI ai (resp., inf iI ai ). No Exerc cio 1.1 pedimos ao leitor para mostrar que todo subconjunto de I R possui supremo e nmo. o. A soma na reta estendida 1.1.4. Definic a e denida da seguinte forma: se a, b I R ent ao a + b e igual ` a soma usual de a e b em I R; R e a = ; (+) + a = a + (+) = +, se a I () + a = a + () = , se a I R e a = +. As somas (+) + () e () + (+) s ao consideradas indenidas. Para R denotamos por a o elemento de I R denido pelas condi c oes: aI se a I R ent ao a e o inverso de a com rela c ao ` a soma de I R; se a = + ent ao a = ; se a = ent ao a = +. R, escrevemos a b = a + (b). Denimos tamb em o m odulo Para a, b I de a I R fazendo |a| = a para a 0 e |a| = a para a < 0. O produto na reta estendida e denido da seguinte forma: se a, b I R ent ao a b (ou, simplesmente, ab) e igual ao produto usual de a e b em I R; R e a = 0 ou b = 0; ab = 0 se a, b I ab = ba = a, se a {+, } e b > 0; ab = ba = a, se a {+, } e b < 0. Note que o produto e uma opera c ao bin aria no conjunto I R, mas a soma R, j a que n ao atri e apenas uma opera c ao bin aria parcialmente denida em I bu mos signicado para (+) + () e () + (+). Note tamb em que, de acordo com nossas conven c oes, 0 () = () 0 = 0; essa conven c ao e conveniente em teoria da medida, embora possa parecer estranha para quem est a acostumado com as propriedades usuais de limites de fun c oes. Na proposi c ao abaixo resumimos as propriedades da ordem e das opera c oes de I R; a demonstra c ao e obtida simplesmente por uma verica c ao tediosa de diversos casos. o. A ordem e as opera 1.1.5. Proposic a c oes da reta estendida satisfazem as seguintes propriedades: a soma e associativa onde estiver bem-denida, i.e., (a + b) + c = a + (b + c), para todos a, b, c I R, desde que ou a, b, c = + ou a, b, c = ;
a soma e comutativa onde estiver bem-denida, i.e., a + b = b + a, para todos a, b I R, desde que ou a, b = + ou a, b = ; R, i.e., a + 0 = o zero de I R e o elemento neutro para a soma de I 0 + a = a, para todo a I R; o produto e associativo, i.e., (ab)c = a(bc), para todos a, b, c I R; o produto e comutativo, i.e., ab = ba, para todos a, b I R; a unidade de I R e o elemento neutro para o produto de I R, i.e., a 1 = 1 a = a, para todo a I R; a soma e distributiva com rela c ao ao produto, i.e., (a + b)c = ac + bc, R, desde que as somas a + b e ac + bc estejam para todos a, b, c I bem-denidas; a ordem e compat vel com a soma, i.e., se a b ent ao a + c b + c, para todos a, b, c I R, desde que as somas a + c e b + c estejam bem-denidas; a ordem e compat vel com o produto, i.e., se a b ent ao ac bc, R com c 0. para todos a, b, c I Algumas observa c oes importantes seguem. A identidade a + (a) = 0 e v alida apenas para a I R; os elementos + e n ao possuem inverso com respeito ` a soma. Em particular, as implica c oes: a + c = b + c = a = b e a = b + c = a c = b
s ao v alidas apenas quando c I R. A implica c ao: a < b = a + c < b + c e tamb em apenas v alida para c I R e a implica c ao: a < b = ac < bc e v alida apenas para 0 < c < +. 1.1.1. Limites de seq u encias na reta estendida. Limites de seq u encias em I R podem ser denidos atrav es da introdu c ao de uma topologia em I R (veja Exerc cio 1.8). Para o leitor n ao familiarizado com a no c ao de espa co topol ogico, denimos a no c ao de limite de seq u encia em I R diretamente. o. Seja (ak )k1 uma seq R. Dizemos que 1.1.6. Definic a u encia em I (ak )k1 converge para um elemento a I R e escrevemos ak a se uma das situa c oes abaixo ocorre: aI R e para todo > 0 existe k0 1 tal que ak ]a , a + [ para todo k k0 ; a = + e para todo M < + existe k0 1 tal que ak > M para todo k k0 ; a = e para todo M > existe k0 1 tal que ak < M para todo k k0 .
Quando existe a I R com ak a dizemos que a seq u encia (ak )k1 e R. Nesse caso, e f acil mostrar que tal a I R eu nico e e convergente em I chamado o limite da seq u encia (ak )k1 ; denot amo-lo por limk ak . Deixamos a demonstra c ao do seguinte resultado simples a cargo do leitor. 1.1.7. Lema. Toda seq u encia mon otona em I R e convergente em I R. Mais especicamente, se (ak )k1 e uma seq u encia crescente (resp., decrescente) em I R ent ao limk ak = supk1 ak (resp., limk ak = inf k1 ak ). o. Veja Exerc Demonstrac a cio 1.2. Enunciamos a seguir as propriedades operat orias dos limites na reta estendida: R, 1.1.8. Lema. Sejam (ak )k1 , (bk )k1 seq u encias convergentes em I com limk ak = a e limk bk = b. Ent ao: se a soma a + b estiver bem-denida ent ao a soma ak + bk est a bem-denida para todo k sucientemente grande e:
k
lim ak + bk = a + b;
se {|a|, |b|} = {0, +} ent ao limk ak bk = ab. o. Veja Exerc Demonstrac a cio 1.4. o. Seja (ak )k1 uma seq R. O limite superior 1.1.9. Definic a u encia em I e o limite inferior da seq u encia (ak )k1 , denotados respectivamente por lim supk ak e lim inf k ak , s ao denidos por: lim sup ak = inf sup ar ,
k k 1 r k
lim inf ak = sup inf ar .

k k 1 r k
Temos a seguinte: o. Seja (ak )k1 uma seq 1.1.10. Proposic a u encia em I R. Ent ao: lim inf ak lim sup ak ,
k k
sendo que a igualdade vale se e somente se a seq u encia (ak )k1 e convergente; nesse caso:
k
lim ak = lim inf ak = lim sup ak .

k k
o. Veja Exerc Demonstrac a cio 1.6 1.1.2. Somas innitas em [0, +]. Se (ai )iI e uma fam lia nita R ent ao, j a que a soma de I R e associativa e comutativa, podemos denir em I a soma iI ai de maneira obvia, desde que ai = + para todo i I ou ai = para todo i I . Deniremos a seguir um signicado para somas poss de fam lias innitas de elementos n ao negativos de I R. E vel tamb em denir somas de fam lias que contenham elementos negativos de I R, mas esse conceito n ao ser a necess ario no momento.
o. Seja (ai )iI uma fam 1.1.11. Definic a lia arbitr aria em [0, +]. A soma iI ai e denida por: ai = sup
iI iF iI
ai : F I um subconjunto nito . ai
Se I e o conjunto dos inteiros positivos ent ao denotamos a soma tamb em por i=1 ai ; segue facilmente do Lema 1.1.7 que:
k
ai = lim
i=1
ai .
i=1
Deixamos a demonstra c ao do seguinte resultado a cargo do leitor. o. Somas de fam 1.1.12. Proposic a lias em [0, +] satisfazem as seguintes propriedades: se (ai )iI e (bi )iI s ao fam lias em [0, +] ent ao: (ai + bi ) =
iI iI
ai +
iI
bi ;
se (ai )iI e uma fam lia em [0, +] e c [0, +] ent ao c ai = c

iI iI
ai ;
se (ai )iI e uma fam lia em [0, +] e se : I I e uma fun c ao bijetora ent ao: a(i) =
iI iI
ai ;
se (a ) e uma fam lia em [0, +] e se (Ji )iI e uma fam lia de conjuntos dois a dois disjuntos com = iI Ji ent ao: a =
iI Ji
a .
o. Veja Exerc Demonstrac a cio 1.7. A u ltima propriedade no enunciado da Proposi c ao 1.1.12 implica em particular que: aij =
iI j J
aij =
j J iI
aij ,
(i,j )I J
onde (aij )(i,j )I J e uma fam lia em [0, +]. Basta tomar = I J e Ji = {i} J , para todo i I .
1.2. O PROBLEMA DA MEDIDA
1.2. O Problema da Medida o. Denotamos por (X ) o conjuntos de todas as partes 1.2.1. Notac a de um conjunto X , por Q o corpo ordenado dos n umeros racionais e por Z o anel dos n umeros inteiros. Queremos investigar a exist encia de uma fun c ao : (I R) [0, +] satisfazendo as seguintes propriedades: (a) dada uma seq u encia (An )n1 de subconjuntos de I R dois a dois disjuntos ent ao:

n=1
An =
n=1
(An );
(b) (A + x) = (A), para todo A I R e todo x I R, onde: A+x= a+x:aA denota a transla ca o de A por x; (c) 0 < [0, 1] < +. Nosso objetivo e mostrar que tal fun c ao n ao existe. Antes disso, observamos algumas conseq u encias simples das propriedades (a), (b) e (c) acima. 1.2.2. Lema. Se uma fun c ao : (I R) [0, +] satisfaz as propriedades (a), (b) e (c) acima ent ao ela tamb em satisfaz as seguintes propriedades: (d) () = 0; R dois a dois (e) dada uma cole c ao nita (Ak )n k=1 de subconjuntos de I disjuntos ent ao:
n n
k=1
Ak =
k=1
(Ak );
(f) se A B I R ent ao (A) (B ); (g) dados a, b I R com a b ent ao [a, b] < +. o. Demonstrac a Prova de (d). Tome A1 = [0, 1] e An = para n 2 na propriedade (a) e use a propriedade (c). Prova de (e). Tome Ak = para k > n e use as propriedades (a) e (d). Prova de (f). Basta observar que a propriedade (e) implica que: (B ) = (A) + (B \ A), onde (B \ A) 0.
1.3. VOLUME DE BLOCOS RETANGULARES
Prova de (g). Seja n um inteiro positivo tal que b < a + n. As propriedades (e) e (f) implicam que:
n1
[a, b] [a, a + n[ =
k=0
[a + k, a + k + 1[
n1
k=0
[a + k, a + k + 1] ,
e as propriedades (b) e (c) implicam que: [a + k, a + k + 1] = [0, 1] < +, para todo k . Finalmente, mostramos a seguinte: o. N 1.2.3. Proposic a ao existe uma fun c ao : (I R) [0, +] satisfazendo as propriedades (a), (b) e (c) acima. o. Pelo Lema 1.2.2, as propriedades (a), (b) e (c) impliDemonstrac a cam as propriedades (d), (e), (f) e (g). Considere a rela c ao bin aria no intervalo [0, 1] denida por: x y x y Q, para todos x, y [0, 1]. E f acil ver que e uma rela c ao de equival encia em [0, 1]. Seja A [0, 1] um conjunto escolha para , i.e., A possui exatamente um elemento de cada classe de equival encia. Temos ent ao que x y Q, para todos x, y A com x = y . Em particular, os conjuntos (A + q )qQ s ao dois a dois disjuntos. Note tamb em que para todo x [0, 1] existe y A com x y Q; na verdade, temos x y Q [1, 1], j a que x, y [0, 1]. Segue ent ao que: [0, 1] (A + q ) [1, 2].
q Q[1,1]
Como Q [1, 1] e enumer avel, as propriedades (a), (b) e (f) implicam: [0, 1] (A + q ) = (A) [1, 2] .
q Q[1,1] q Q[1,1]
Agora, se (A) = 0 conclu mos que [0, 1] = 0, contradizendo (c); se (A) > 0 conclu mos que [1, 2] = +, contradizendo (g). 1.3. Volume de Blocos Retangulares o. Um bloco retangular n-dimensional 1.3.1. Definic a e um subconjunto n B de I R (n 1) que e ou vazio, ou da forma:
n
B=
i=1
[ai , bi ] = [a1 , b1 ] [an , bn ],
1.3. VOLUME DE BLOCOS RETANGULARES
onde ai , bi I R, ai bi , para i = 1, 2, . . . , n. O volume do bloco B acima e denido por:

n
|B | =
i=1
(bi ai ) = (b1 a1 ) (bn an ),
e por |B | = 0, caso B = . Quando n = 1 ent ao um bloco retangular n-dimensional B e simplesmente um intervalo fechado e limitado (possivelmente um conjunto unit ario ou vazio) e o escalar |B | ser a chamado tamb em o comprimento de B . Quando n = 2, um bloco retangular n-dimensional B ser a chamado tamb em um ret angulo e o escalar |B | ser a chamado tamb em a area de B . o. Dados a, b I 1.3.2. Definic a R, a < b, ent ao uma parti c ao do intervalo [a, b] e um subconjunto nito P [a, b] com a, b P ; tipicamente escrevemos P : a = t0 < t1 < < tk = b quando P = {t0 , t1 , . . . , tk }. Os sub-intervalos de [a, b] determinados pela parti c ao P s ao os intervalos [ti , ti+1 ], i = 0, . . . , k 1. Denotamos por P o conjunto dos sub-intervalos de [a, b] deterninados por P , ou seja: P = [ti , ti+1 ]; i = 0, 1, . . . , k 1 . Se B = n e um bloco retangular n-dimensional com |B | > 0 (ou i=1 [ai , bi ] seja, ai < bi , para i = 1, . . . , n), ent ao uma parti c ao de B e uma n-upla P = (P1 , . . . , Pn ), onde Pi e uma parti c ao do intervalo [ai , bi ], para cada i = 1, . . . , n. Os sub-blocos de B determinados pela parti c ao P s ao os blocos n e um sub-intervalo retangulares n-dimensionais da forma r=1 Ir , onde Ir de [ar , br ] determinado pela parti c ao Pr , para r = 1, . . . , n. Denotamos por P o conjunto dos sub-blocos de B determinados por P , ou seja: P = I1 In : Ir Pr , r = 1, . . . , n . e um bloco retangular n-dimensional 1.3.3. Lema. Se B = n i=1 [ai , bi ] com |B | > 0 e se P = (P1 , . . . , Pn ) e uma parti c ao de B ent ao: |B | =
bP
|b|.
o. Usamos indu Demonstrac a c ao em n. O caso n = 1 e trivial. Suponha ent ao que n > 1 e que o resultado e v alido para blocos retangulares 1 de dimens ao menor que n. Sejam B = n i=1 [ai , bi ] e P = (P1 , . . . , Pn1 ), de modo que P e uma parti c ao do bloco retangular (n 1)-dimensional B . Escrevendo Pn : an = t0 < t1 < < tk = bn temos:
k 1
|B | = |B |(bn an ) =
b P
|b |
i=0
(ti+1 ti ) =
b P i=0,...,k1
b [ti , ti+1 ] .
1.4. MEDIDA DE LEBESGUE EM I Rn
A conclus ao segue observando que os blocos b [ti , ti+1 ] com b P e i = 0, . . . , k 1 s ao precisamente os sub-blocos de B determinados pela parti c ao P . o. Note que a interse 1.3.4. Observac a c ao de dois blocos retangulares ndimensionais e tamb em um bloco retangular n-dimensional. Note tamb em que se B e B s ao blocos retangulares n-dimensionais com B B ent ao |B | |B |. 1.3.5. Lema. Sejam B , B1 , . . . , Bt blocos retangulares n-dimensionais com B t ao |B | t r =1 Br . Ent r=1 |Br |. o. Em vista da Observa Demonstrac a c ao 1.3.4, substituindo cada bloco Br por Br B e descartando os ndices r com Br B = , podemos supor sem perda de generalidade que B = t r =1 Br e que Br = para todo r = 1, . . . , t. Podemos supor tamb em que |B | > 0, sen ao o resultado e trivial. n n r Escreva ent ao B = i=1 [ai , bi ] com ai < bi , i = 1, . . . , n, e Br = i=1 [ar i , bi ] r r com ai bi , i = 1, . . . , n. Para cada i = 1, . . . , n, o conjunto
r Pi = {ai , bi } {ar i , bi ; r = 1, . . . , t}
e uma parti c ao do intervalo [ai , bi ] e portanto P = (P1 , . . . , Pn ) e uma parti c ao do bloco B . Para cada r = 1, . . . , t com |Br | > 0, tomamos r r r r r e Pir = Pi [ar i , bi ], i = 1, . . . , n e P = (P1 , . . . , Pn ), de modo que P n uma parti c ao do bloco Br . Temos que se b = i=1 [i , i ] e um sub-bloco de B determinado pela parti c ao P ent ao existe um ndice r = 1, . . . , t tal que |Br | > 0 e b e um sub-bloco de Br determinado pela partia c ao P r . n t ao i=1 ]i , i [ intercepta Br , para algum De fato, como B = r=1 Br ent r r = 1, . . . , t. Da e f acil ver que [i , i ] e um sub-intervalo de [ar i , bi ] deterr minado pela parti c ao Pi para i = 1, . . . , n e portanto b e um sub-bloco de Br determinado pela parti c ao P r . Mostramos ent ao que: P P r.
r =1,...,t |B r | > 0
A conclus ao segue agora do Lema 1.3.3 observando que:

t
|B | =
bP
|b|
r =1,...,t | B r |> 0 bP r
|b| =
r =1
|Br |.
1.4. Medida de Lebesgue em IRn o. Seja A I 1.4.1. Definic a Rn um subconjunto arbitr ario. A medida exterior de Lebesgue de A, denotada por m (A), e denida como sendo o nmo do conjunto de todas as somas da forma k=1 |Bk |, onde (Bk )k1 e uma seq u encia de blocos retangulares n-dimensionais com A k=1 Bk ; em s mbolos: m (A) = inf C (A),
10
onde: (1.4.1)

C (A) =
k=1
|Bk | : A
k=1
Bk , Bk bloco retangular n-dimensional, para todo k 1 .
Note que e sempre poss vel cobrir um subconjunto A de I Rn com uma cole c ao enumer avel de blocos retangulares n-dimensionais (i.e., C (A) = ), j a n n que, por exemplo, I R = k=1 [k, k ] . Obviamente temos m (A) [0, +], para todo A I Rn . o. Todo subconjunto limitado de I 1.4.2. Observac a Rn possui medida n exterior nita. De fato, se A I R e limitado ent ao existe um bloco retangular n-dimensional B contendo A. Tomando B1 = B e Bk = para k 2, temos A k=1 |Bk | = |B | < +. Verek=1 Bk e portanto m (A) mos logo adiante (Corol arios 1.4.6 e 1.4.7) que a rec proca dessa arma c ao n ao e verdadeira, i.e., subconjuntos de I Rn com medida exterior nita n ao precisam ser limitados. 1.4.3. Lema. Se B I Rn e um bloco retangular n-dimensional ent ao: m (B ) = |B |, ou seja, a medida exterior de um bloco retangular n-dimensional coincide com seu volume. o. Tomando B1 = B e Bk = para k 2, obtemos Demonstrac a uma cobertura (Bk )k1 de B por blocos retangulares com k=1 |Bk | = |B |; isso mostra que m (B ) |B |. Para mostrar a desigualdade oposta, devemos escolher uma cobertura arbitr aria B k=1 Bk de B por blocos retangulares Bk e mostrar que |B | k=1 |Bk |. Seja dado > 0 e seja para cada k 1, em Bk no seu interior e tal Bk um bloco retangular n-dimensional que cont que |Bk | (1 + )|Bk |. Os interiores dos blocos Bk , k 1, constituem ent ao uma cobertura aberta do compacto B e dessa cobertura aberta podemos extrair uma subcobertura nita; existe portanto t 1 tal que B t k=1 Bk . Usando o Lema 1.3.5 obtemos:
t t
|B |
k=1
|Bk | (1 + )
k=1
|Bk | (1 + )
k=1
|Bk |.
Como > 0 e arbitr ario, a conclus ao segue. 1.4.4. Lema. Se A1 A2 I Rn ent ao m (A1 ) m (A2 ). o. Basta observar que C (A2 ) C (A1 ) (recorde (1.4.1)). Demonstrac a
11
1.4.5. Lema. Se A1 , . . . , At s ao subconjuntos de I Rn ent ao:

t t
m
k=1
Ak
k=1
m (Ak ).
Al em do mais, se (Ak )k1 e uma seq u encia de subconjuntos de I Rn ent ao:

m
k=1
Ak
k=1
m (Ak ).
o. Como Demonstrac a = 0, tomando Ak = para k > t, podemos considerar apenas o caso de uma seq u encia innita de subconjuntos de j n I R . Seja dado > 0. Para cada k 1 existe uma cobertura Ak j =1 Bk j de Ak por blocos retangulares n-dimensionais Bk de modo que:
j |Bk | m (Ak ) + j =1 j Da (Bk )k,j 1
m ()
. 2k
k=1 Ak
e uma cobertura enumer avel do conjunto retangulares n-dimensionais e portanto:

j |Bk | k=1 j =1
por blocos
k=1
Ak
k=1
m (Ak ) + k 2
=
k=1
m (Ak ) + .
Como > 0 e arbitr ario, a conclus ao segue. rio. A uni 1.4.6. Corola ao de uma cole c ao enumer avel de conjuntos de medida exterior nula tem medida exterior nula. Em particular, todo conjunto enumer avel tem medida exterior nula. rio. Dado i = 1, . . . , n e c I 1.4.7. Corola R ent ao todo subconjunto do hiperplano am x = (x1 , . . . , xn ) I Rn : xi = c tem medida exterior nula. o. Basta observar que x I Demonstrac a Rn : xi = c = onde: Bk = x I Rn : xi = c e |xj | k , j = 1, . . . , n, j = i e um bloco retangular n-dimensional de volume zero.
k=1 Bk ,
rio. Todo subconjunto da fronteira de um bloco retangular 1.4.8. Corola n-dimensional tem medida exterior nula. o. Basta observar que a fronteira de um bloco retangular Demonstrac a n-dimensional e uma uni ao nita de blocos retangulares n-dimensionais de volume zero. rio. Sejam A1 , A2 I 1.4.9. Corola Rn tais que m (A1 ) < + ou m (A2 ) < +; ent ao: (1.4.2) m (A1 ) m (A2 ) m (A1 \ A2 ).
12
o. Como A1 (A1 \ A2 ) A2 , os Lemas 1.4.4 e 1.4.5 Demonstrac a implicam que: (1.4.3) m (A1 ) m (A1 \ A2 ) + m (A2 ).
Se m (A2 ) = + e m (A1 ) < +, a desigualdade (1.4.2) e trivial; se m (A2 ) < +, ela segue de (1.4.3). 1.4.10. Lema. A medida exterior e invariante por transla c ao, i.e., dados um subconjunto A de I Rn e x I Rn ent ao: m (A + x) = m (A), onde A + x = a + x : a A denota a transla c ao de A por x. f o. E Demonstrac a acil ver que se B e um bloco retangular n-dimensional ent ao B + x tamb em e um bloco retangular n-dimensional e: |B + x| = |B |; e uma cobertura de A por blocos retangulares em particular, se A k=1 Bk e uma cobertura de A + x n-dimensionais ent ao A + x k=1 (Bk + x) por blocos retangulares n-dimensionais e k=1 |Bk + x| = k=1 |Bk |. Isso mostra que C (A) C (A + x) (recorde (1.4.1)). Como A = (A + x) + (x), o mesmo argumento mostra que C (A + x) C (A); logo: m (A) = inf C (A) = inf C (A + x) = m (A + x). o. Dado um subconjunto A I 1.4.11. Notac a Rn , denotamos por A ou por int(A) o interior do conjunto A. 1.4.12. Lema. Dados A I Rn e > 0 ent ao existe um aberto U I Rn com A U e m (U ) m (A) + . o. Seja A Demonstrac a k=1 Bk uma cobertura de A por blocos retangulares n-dimensionais tal que k=1 |Bk | m (A) + 2 . Para cada k 1, seja Bk um bloco retangular que cont em Bk no seu interior e tal que |Bk | |Bk | + 2k ). Temos que U e aberto e U A; int( B +1 . Seja U = k=1 k al em do mais, usando os Lemas 1.4.4 e 1.4.5 obtemos:

m (U ) m
k=1
Bk
k=1
m (Bk ) =
k=1
|Bk |
k=1
|Bk | +
2k+1
+ 2
|Bk | m (A) + .
k=1
Note que n ao podemos concluir do Lema 1.4.12 que m (U \ A) , nem mesmo se m (A) < +; quando A tem medida exterior nita, o Corol ario 1.4.9 nos garante que m (U ) m (A) m (U \ A), mas veremos adiante que e poss vel que a desigualdade estrita ocorra.
13
o. Um subconjunto A I 1.4.13. Definic a Rn e dito (Lebesgue) mensur avel se para todo > 0, existe um aberto U I Rn contendo A tal que m (U \ A) < . o. Obviamente, todo aberto em I 1.4.14. Observac a Rn e mensur avel; n de fato, se A I R e aberto, podemos tomar U = A na Deni c ao 1.4.13, para todo > 0. 1.4.15. Lema. A uni ao de uma cole c ao enumer avel de subconjuntos mensur aveis de I Rn e mensur avel. o. Seja (Ak )k1 uma seq Demonstrac a u encia de subconjuntos mensur aveis de I Rn . Dado > 0 ent ao, para cada k 1, podemos encontrar um aberto Uk contendo Ak tal que m (Uk \ Ak ) < 2k . Tomando U = k=1 Uk ent ao U e aberto, U cont em A = A e: k=1 k

m (U \ A) m
k=1
(Uk \ Ak )
k=1
m (Uk \ Ak ) <
k=1
= . 2k
1.4.16. Lema. Todo subconjunto de sur avel.
I Rn
com medida exterior nula e men-
o. Seja A I Demonstrac a Rn com m (A) = 0. Dado > 0 ent ao, pelo Lema 1.4.12, existe um aberto U I Rn contendo A tal que m (U ) . Conclu mos ent ao que: m (U \ A) m (U ) . o. No que segue, d(x, y ) denota a dist 1.4.17. Notac a ancia Euclideana
n 2 2 . Dados x I Rn entre os pontos x, y I Rn , i.e., d(x, y ) = i=1 (xi yi ) n e um subconjunto n ao vazio A I R denotamos por d(x, A) a dist ancia entre x e A denida por:
1
d(x, A) = inf d(x, y ) : y A , e dados subconjuntos n ao vazios A, B I Rn denotamos por d(A, B ) a dist ancia entre os conjuntos A e B denida por: d(A, B ) = inf d(x, y ) : x A, y B . 1.4.18. Lema. Dados subconjuntos A1 , A2 I Rn com d(A1 , A2 ) > 0 ent ao m (A1 A2 ) = m (A1 ) + m (A2 ). o. Em vista do Lema 1.4.5 Demonstrac a e suciente mostrar a desigualdade: m (A1 A2 ) m (A1 ) + m (A2 ). Para isso, seja A1 A2 k=1 Bk uma cobertura de A1 A2 por blocos retangulares n-dimensionais Bk e vamos mostrar que:
(1.4.4)
m (A1 ) + m (A2 )
k=1
|Bk |.
14
Como d(A1 , A2 ) > 0, existe > 0 tal que d(x, y ) , para todos x A1 , y A2 . Para cada k 1 com |Bk | > 0, podemos escolher uma parti c ao Pk de Bk de modo que os sub-blocos de Bk determinados por Pk tenham 1 (respectivamente, P 2 ) o conjunto todos di ametro menor do que . Seja Pk k dos sub-blocos de Bk determinados por Pk que interceptam A1 (respectivamente, interceptam A2 ). Um bloco de di ametro menor do que n ao pode 1 e P 2 s interceptar ambos os conjuntos A1 e A2 e portanto Pk a o subconjuntos k disjuntos de Pk . Segue do Lema 1.3.3 que: (1.4.5)
1 bPk
|b| +
2 bPk
|b| |Bk |.
Como A1 c ao formada pelos blocos Bk com k=1 Bk , temos que a cole 1 para algum k com |B | > 0 consti|Bk | = 0 e pelos blocos pertencentes a Pk k tui uma cobertura enumer avel de A1 por blocos retangulares n-dimensionais; logo: (1.4.6) m (A1 )
k1 bP 1 k | B k |> 0
|b|.
Similarmente: (1.4.7) m (A2 )

k1 bP 2 k | B k |> 0
|b|.
Somando as desigualdades (1.4.6) e (1.4.7) e usando (1.4.5) obtemos (1.4.4), o que completa a demonstra c ao. rio. Se K1 , . . . , Kt s 1.4.19. Corola ao subconjuntos compactos dois a t t n dois disjuntos de I R ent ao m i=1 Ki = i=1 m (Ki ). o. O caso t = 2 segue do Lema 1.4.18, observando que Demonstrac a a dist ancia entre compactos disjuntos e positiva. O caso geral segue por indu c ao. rio. Se B1 , . . . , Bt s 1.4.20. Corola ao blocos retangulares n-dimensiot t nais com interiores dois a dois disjuntos ent ao m r =1 Br = r =1 |Br |. o. Dado > 0, podemos para cada r = 1, . . . , t enDemonstrac a contrar um bloco retangular n-dimensional Br contido no interior de Br e satisfazendo |Br | (1 )|Br | (note que no caso |Br | = 0 podemos tomar Br = ). Os blocos Br , r = 1, . . . , t s ao subconjuntos compactos dois a dois disjuntos de I Rn e portanto o Corol ario 1.4.19 nos d a:
t t t t t
m
r=1
Br m
r =1
Br =
r =1
m (Br ) =
r =1
|Br | (1 )
r =1
|Br |.
15
Como > 0 e arbitr ario, conclu mos que:

t t
r =1
Br
r =1
|Br |.
A desigualdade oposta segue do Lema 1.4.5. rio. Se (Br )r1 1.4.21. Corola e uma seq u encia de blocos retangulares n-dimensionais com interiores dois a dois disjuntos ent ao:

m
r =1
Br =
r =1
|Br |.
o. O Corol Demonstrac a ario 1.4.20 nos d a:

t t
m
r=1
Br m
r =1
Br =
r=1
|Br |,
para todo t 1. Fazendo t obtemos: m

r =1
Br
r =1
|Br |.
A desigualdade oposta segue do Lema 1.4.5. o. Um cubo n-dimensional 1.4.22. Definic a e um bloco retangular ndimensional n ao vazio B = n [ a , b ] tal que: i i i=1 b1 a1 = b2 a2 = = bn an ; o valor comum aos escalares bi ai e chamado a aresta de B . 1.4.23. Lema. Se U I Rn e um aberto ent ao existe um conjunto enumer avel R de cubos n-dimensionais com interiores dois a dois disjuntos tal que U = B R B . Em particular, U e igual ` a uni ao de uma cole c ao enumer avel de blocos retangulares n-dimensionais com interiores dois a dois disjuntos. o. Para cada k 1 seja Rk o conjunto de todos os Demonstrac a cubos n-dimensionais de aresta 21 ertices em pontos de I Rn cujas k e com v coordenadas s ao m ultiplos inteiros de 21 k ; mais precisamente: Rk =
a1 a1 +1 , 2k 2k
an an +1 , 2k 2k
: a1 , . . . , an Z .
Cada Rk e portanto um conjunto enumer avel de cubos n-dimensionais. As seguintes propriedades s ao de f acil verica c ao: (a) os cubos pertencentes a Rk possuem interiores dois a dois disjuntos, para todo k 1; (b) I Rn = B Rk B , para todo k 1; (c) dados k, l 1 com k l ent ao todo cubo pertencente a Rk est a contido em algum cubo pertencente a Rl ; n (d) todo cubo pertencente a Rk tem di ametro igual a 2k .
16
Construiremos agora indutivamente uma seq u encia (Rk )k1 onde cada Rk e um subconjunto de Rk . Seja R1 o conjunto dos cubos B R1 tais que B U . Supondo Ri constru do para i = 1, . . . , k , seja Rk+1 o conjunto dos cubos B Rk+1 que est ao contidos em U e que tem interior disjunto do interior de todos os cubos pertencentes a k i=1 Ri . Tome R = k=1 Rk . Como cada Rk e enumer avel, segue que R e enumer avel. Armamos que os cubos pertencentes a R possuem interiores dois a dois disjuntos. De fato, sejam B1 , B2 R cubos distintos, digamos B1 Rk e B2 Rl com k l. Se k > l ent ao, por constru c ao, o interior de B1 e disjunto do interior k 1 de qualquer cubo pertencente a i=1 Ri ; em particular, o interior de B1 e disjunto do interior de B2 . Se k = l, segue da propriedade (a) acima que os cubos B1 e B2 possuem interiores disjuntos. Para terminar a demonstra c ao, veriquemos que U = B R B . Obviamente temos B R B U . Seja x U .Como U e aberto, existe k 1 tal que a bola fechada de centro x n e raio 2k est a contida em U . Em vista das propriedades (b) e (d) acima, vemos que existe B Rk com x B e, al em disso, B U . Se B Rk ent ao x B R; caso contr ario, existem l < k e um cubo B1 Rl tal que os interiores de B e B1 se interceptam. Em vista da propriedade (c), existe um cubo B2 Rl contendo B . Da B1 , B2 Rl e os interiores de B1 e B2 se interceptam; a propriedade (a) implica ent ao que B1 = B2 e portanto x B B2 = B1 R. Em qualquer caso, mostramos que x B R B , o que completa a demonstra c ao. 1.4.24. Lema. Todo subconjunto compacto de I Rn e mensur avel. o. Seja K I Demonstrac a Rn um subconjunto compacto e seja dado > 0. Pelo Lema 1.4.12 existe um aberto U K tal que m (U ) m (K )+. Vamos mostrar que m (U \K ) . Pelo Lema 1.4.23, o aberto U \K pode ser escrito como uma uni ao enumer avel U \ K = k=1 Bk de blocos retangulares n-dimensionais com interiores dois a dois disjuntos. Para cada t 1 os conjuntos K e t ao compactos e disjuntos; os Corol arios 1.4.19 e k=1 Bk s 1.4.20 implicam ent ao que:
t t t
m (K ) +
k=1
|Bk | = m (K ) + m
k=1
Bk = m K
k=1
Bk m (U ). < + e portanto
Como K e limitado, a Observa c ao 1.4.2 nos diz que a desigualdade acima implica que:
t
m (K )
|Bk | m (U ) m (K ) .
k=1
Como t 1 e arbitr ario, conclu mos que Corol ario 1.4.21 nos d a m (U \ K ) .
k=1 |Bk |
e, nalmente, o
rio. Todo subconjunto fechado de I 1.4.25. Corola Rn e mensur avel.
17
n o. Se F I e Demonstrac a Rn e fechado ent ao F = k=1 F [k, k ] uma uni ao enumer avel de compactos. A conclus ao segue do Lema 1.4.15.
o. Um subconjunto de I 1.4.26. Definic a Rn e dito de tipo G (ou, simplesmente, um conjunto G ) se pode ser escrito como uma interse c ao de n uma cole c ao enumer avel de abertos de I R . Similarmente, um subconjunto de I Rn e dito de tipo F (ou, simplesmente, um conjunto F ) se pode ser escrito como uma uni ao de uma cole c ao enumer avel de fechados de I Rn . Obviamente o complementar de um conjunto de tipo G e de tipo F (e vice-versa). rio. Todo subconjunto de I 1.4.27. Corola Rn de tipo F e mensur avel. o. Segue do Corol Demonstrac a ario 1.4.25 e do Lema 1.4.15. 1.4.28. Lema. Se A I Rn e mensur avel ent ao existe um subconjunto Z n de I R de tipo G tal que A Z e m (Z \ A) = 0. o. Para todo k 1 existe um aberto Uk I Demonstrac a Rn contendo 1 e um G que cont em A tal que m (Uk \ A) < k . Da o conjunto Z = k=1 Uk A e: 1 m (Z \ A) m (Uk \ A) < , k para todo k 1. Logo m (Z \ A) = 0. rio. O complementar de um subconjunto mensur 1.4.29. Corola avel de I Rn tamb em e mensur avel. o. Seja A I Demonstrac a Rn um subconjunto mensur avel. Pelo Lema 1.4.28 existe um conjunto Z de tipo G contendo A tal que m (Z \ A) = 0. Da Z c Ac e Ac \ Z c = Z \ A; logo: Ac = Z c (Z \ A). O conjunto Z c e de tipo F e portanto mensur avel, pelo Corol ario 1.4.27. A conclus ao segue dos Lemas 1.4.15 e 1.4.16. rio. Se A I 1.4.30. Corola Rn e mensur avel ent ao para todo > 0 existe um subconjunto fechado F I Rn contido em A tal que m (A \ F ) < . o. Pelo Corol Demonstrac a ario 1.4.29, Ac e mensur avel e portanto n existe um aberto U I R contendo Ac tal que m (U \ Ac ) < . Tomando F = U c ent ao F e fechado e F A. Como A \ F = U \ Ac , segue que m (A \ F ) < . rio. Se A I 1.4.31. Corola Rn e mensur avel ent ao existe um subconn junto W de I R de tipo F tal que W A e m (A \ W ) = 0. o. Pelo Corol Demonstrac a ario 1.4.29, Ac tamb em e mensur avel e portanto, pelo Lema 1.4.28 existe um subconjunto Z de I Rn de tipo G tal que Ac Z e m (Z \ Ac ) = 0. Tomando W = Z c ent ao W e de tipo F e W A. Como A \ W = Z \ Ac , segue que m (A \ W ) = 0.
18
o. Seja X um conjunto arbitr 1.4.32. Definic a ario. Uma algebra de partes de X e um subconjunto n ao vazio A (X ) tal que: se A, B A ent ao A B A; se A A ent ao Ac A. Uma - algebra de partes de X e um subconjunto n ao vazio A (X ) tal que: se (Ak )k1 e uma seq u encia de elementos de A ent ao k=1 Ak A; c se A A ent ao A A. Note que toda - algebra e tamb em uma algebra. De fato, se A e uma - algebra de partes de X e se A, B A, podemos tomar A1 = A e Ak = B para k 2; da AB = k=1 Ak A. o. Se A 1.4.33. Observac a e uma algebra (em particular, se A e uma - algebra) de partes de X ent ao X A e A. De fato, como A = , existe algum elemento A A. Da Ac A e portanto X = A Ac A; c al em do mais, = X A. 1.4.34. Teorema. A cole c ao de todos os subconjuntos mensur aveis de I Rn e uma - algebra de partes de I Rn que cont em todos os subconjuntos abertos de I Rn e todos os subconjuntos de I Rn com medida exterior nula. o. Segue da Observa Demonstrac a c ao 1.4.14, dos Lemas 1.4.15 e 1.4.16 e do Corol ario 1.4.29. o. Se X 1.4.35. Definic a e um conjunto arbitr ario e se C (X ) e uma cole c ao arbitr aria de partes de X ent ao a - algebra de partes de X gerada por C , denotada por [C ], e a menor - algebra de partes de X que cont em C , i.e., [C ] e uma - algebra de partes de X tal que: (1) C [C ]; (2) se A e uma - algebra de partes de X tal que C A ent ao [C ] A. Dizemos tamb em que C e um conjunto de geradores para a - algebra [C ]. A - algebra de partes de I Rn gerada pela cole c ao de todos os subconjuntos abertos de I Rn e chamada a - algebra de Borel de I Rn e e denotada por n n B (I R ). Os elementos de B (I R ) s ao chamados conjuntos Boreleanos de I Rn . No Exerc cio 1.20 pedimos ao leitor para justicar o fato que a - algebra gerada por uma cole c ao C (X ) est a de fato bem denida, ou seja, existe uma u nica - algebra [C ] satisfazendo as propriedades (1) e (2) acima. rio. Todo conjunto Boreleano de I 1.4.36. Corola Rn e mensur avel. o. Pelo Teorema 1.4.34, os conjuntos mensur Demonstrac a aveis formam uma - algebra que cont em os abertos de I Rn ; portanto, deve conter tamb em a - algebra de Borel. 1.4.37. Lema. Se A e uma algebra de partes de um conjunto X e se A, B A ent ao A B e A \ B pertencem a A. Al em do mais, se A e uma - algebra de partes de X e se (Ak )k1 e uma seq u encia de elementos de A ent ao k=1 Ak A.
19
o. Se A Demonstrac a e uma algebra e A, B A ent ao Ac , B c A e c c c portanto A B = (A B ) A; al em do mais, A \ B = A B c A. Se A e uma - algebra e (Ak )k1 e uma seq u encia de elementos de A ent ao c c c Ak A para todo k 1 e portanto k=1 Ak = A. k=1 Ak rio. A interse 1.4.38. Corola c ao de uma cole c ao enumer avel de subconn juntos mensur aveis de I R e mensur avel e a diferen ca de dois subconjuntos mensur aveis de I Rn e mensur avel. o. Segue do Teorema 1.4.34 e do Lema 1.4.37. Demonstrac a 1.4.39. Lema. Para todo A I Rn com m (A) < + e para todo > 0 existe um subconjunto limitado A0 A tal que: m (A) m (A0 ) m (A \ A0 ) < . Al em do mais, se A e mensur avel, podemos escolher o conjunto A0 tamb em mensur avel. o. Pelo Lema 1.4.12 existe um aberto U I Demonstrac a Rn contendo A tal que m (U ) m (A) + 1 < +. O Lema 1.4.23 nos permite escrever e uma seq u encia de blocos retangulares nU = k=1 Bk , onde (Bk )k1 dimensionais com interiores dois a dois disjuntos. O Corol ario 1.4.21 nos d a:
|Bk | = m (U ) < +; portanto a s erie

k=1 e k=1 |Bk |
convergente e existe t 1 tal que:
|Bk | < .
k=t+1 t Seja A0 = A e limitado. Note que se k=1 Bk . Temos que A0 A e A0 A e mensur avel ent ao A0 tamb em e mensur avel. Como A k=1 Bk segue que A \ A0 k=t+1 Bk e portanto:
m (A \ A0 ) m
k=t+1
Bk
k=t+1
|Bk | < .
A desigualdade m (A) m (A0 ) m (A \ A0 ) segue do Corol ario 1.4.9. rio. Se A I 1.4.40. Corola Rn e mensur avel e m (A) < + ent ao para todo > 0 existe um subconjunto compacto K I Rn contido em A tal que: m (A) m (K ) m (A \ K ) < . o. Pelo Lema 1.4.39, existe um subconjunto limitado Demonstrac a mensur avel A0 A tal que m (A \ A0 ) < 2 e pelo Corol ario 1.4.30 existe n um subconjunto fechado K I R contido em A0 tal que m (A0 \ K ) < 2 .
20
Obviamente K A e K e compacto. Como A \ K = (A \ A0 ) (A0 \ K ), obtemos: m (A \ K ) m (A \ A0 ) + m (A0 \ K ) < . A desigualdade m (A) m (K ) m (A \ K ) segue do Corol ario 1.4.9. o. Se A1 , . . . , At s 1.4.41. Proposic a ao subconjuntos mensur aveis dois a dois disjuntos de I Rn ent ao:
t t
(1.4.8)
r =1
Ar =
r =1
m (Ar ).
Al em do mais, se (Ar )r1 e uma seq u encia de subconjuntos mensur aveis dois a dois disjuntos de I Rn ent ao:

(1.4.9)
m
r =1
Ar =
r =1
m (Ar ).
o. Comecemos provando (1.4.8). Se m (Ar ) = + para Demonstrac a t algum r = 1, . . . , t ent ao tamb em m ao h a r =1 Ar = + e portanto n nada a mostrar. Se m (Ar ) < + para todo r = 1, . . . , t ent ao para todo > 0 o Corol ario 1.4.40 nos d a um subconjunto compacto Kr de Ar tal que m (Ar ) m (Kr ) < t . Usando o Corol ario 1.4.19 obtemos:
t t t t
m
r =1
Ar m
r =1
Kr =
r =1
m (Kr ) >
r =1
m (Ar )
t
=
r =1
m (Ar ) .
Como > 0 e arbitr ario, conclu mos que:

t t
m
r=1
Ar
r =1
m (Ar ).
O Lema 1.4.5 nos d a a desigualdade oposta, provando (1.4.8). Passemos ent ao ` a prova de (1.4.9). A identidade (1.4.8) nos d a:
t t
r =1
Ar m
r =1
Ar =
r=1
m (Ar ),
para todo t 1. Fazendo t conclu mos que:

m
r=1
Ar
r =1
m (Ar ).
Novamente a desigualdade oposta segue do Lema 1.4.5, o que prova (1.4.9).
21
o. Sejam X um conjunto e A uma - 1.4.42. Definic a algebra de partes de X . O par (X, A) e chamado um espa co mensur avel ; uma medida no espa co mensur avel (X, A) e uma fun c ao : A [0, +] tal que () = 0 e tal que, se (Ak )k1 e uma seq u encia de elementos dois a dois disjuntos de A ent ao:

(1.4.10)
k=1
Ak =
k=1
(Ak ).
Os elementos da - algebra A s ao ditos subconjuntos mensur aveis de X . A trinca (X, A, ) e chamada um espa co de medida . Se (X, A, ) e um espa co de medida e se A1 , . . . , At e uma cole c ao nita t de elementos dois a dois disjuntos de A ent ao t A = k=1 k k=1 (Ak ). De fato, basta tomar Ak = para k > t e usar (1.4.10). o. Denotaremos por M(I 1.4.43. Notac a Rn ) a - algebra de todos os n subconjuntos Lebesgue mensur aveis de I R e por m : M(I Rn ) [0, +] a n n restri c ao ` a M(I R ) da fun c ao m : (I R ) [0, +] que associa a cada parte de I Rn sua medida exterior de Lebesgue. o. Se A I 1.4.44. Definic a Rn e um subconjunto mensur avel ent ao o escalar m(A) [0, +] e chamado a medida de Lebesgue de A. Note que m(A) = m (A) para todo A M(I Rn ), i.e., a medida de Lebesgue de um conjunto mensur avel simplesmente coincide com sua medida exterior de Lebesgue; apenas nos permitimos remover o adjetivo exterior quando lidamos com conjuntos mensur aveis. Provamos o seguinte: 1.4.45. Teorema. A trinca I Rn , M(I Rn ), m e um espa co de medida. o. Segue do Teorema 1.4.34 e da Proposi Demonstrac a c ao 1.4.41. 1.4.46. Lema. Seja (X, A, ) um espa co de medida e sejam A1 , A2 A com A1 A2 . Ent ao (A1 ) (A2 ); al em do mais, se (A1 ) < + ent ao: (A2 \ A1 ) = (A2 ) (A1 ). o. Basta observar que A2 = A1 (A2 \ A1 ) Demonstrac a e uma uni ao disjunta de elementos de A e portanto (A2 ) = (A1 ) + (A2 \ A1 ). o. Se (Ak )k1 1.4.47. Notac a e uma seq u encia de conjuntos ent ao a nota c ao Ak A indica que Ak Ak+1 para todo k 1 (i.e., a seq u encia (Ak )k1 e crescente) e que A = k=1 Ak . Analogamente, escreveremos Ak A para indicar que Ak Ak+1 para todo k 1 (i.e., a seq u encia (Ak )k1 e decrescente) e que A = A . k k=1 1.4.48. Lema. Seja (X, A, ) um espa co de medida e seja (Ak )k1 uma seq u encia de elementos de A. Temos: (a) se Ak A ent ao (A) = limk (Ak ); (b) se Ak A e se (A1 ) < + ent ao (A) = limk (Ak ).
22
o. Provemos inicialmente o item (a). Se (Ar ) = + Demonstrac a para algum r 1 ent ao, (Ak ) = + para todo k r e (A) = +, donde limk (Ak ) = + = (A). Suponha ent ao que (Ak ) < + para todo k 1. Dena A0 = e Bk = Ak \ Ak1 para todo k 1. E f acil ver que os conjuntos Bk pertencem a A, s ao dois a dois disjuntos e B = A ; logo: k=1 k k=1 k

(1.4.11)
k=1
Ak =
k=1
Bk =
k=1
(Bk ).
Usando o Lema 1.4.46 obtemos: (1.4.12)

r
(Bk ) =
k=1 k=1
(Ak ) (Ak1 ) = lim
(Ak ) (Ak1 )
k=1
= lim (Ar ).
r
O item (a) segue ent ao de (1.4.11) e (1.4.12). Passemos ` a prova do item (b). Se (A1 ) < + ent ao (Ak ) < + para todo k 1. Como (A1 \ Ak )k1 e uma seq u encia de elementos de A e (A1 \ Ak ) (A1 \ A), segue do item (a) que: lim (A1 \ Ak ) = (A1 \ A).
k
Usando o Lema 1.4.46 obtemos:

k
lim (A1 ) (Ak ) = (A1 ) (A).
Como (A1 ) < +, a conclus ao segue. I Rn o. Um envelope mensur 1.4.49. Definic a avel de um subconjunto A de e um subconjunto mensur avel E de I Rn tal que A E e m (A) = m(E ).
1.4.50. Lema. Para todo A I Rn existe um subconjunto E de I Rn de tipo G contendo A tal que m (A) = m(E ). o. Para cada k 1 o Lema 1.4.12 nos d Demonstrac a a um aberto 1 Uk contendo A tal que m(Uk ) m (A) + k . Da E = e um G k=1 Uk contendo A e: 1 m (A) m(E ) m(Uk ) m (A) + , k para todo k 1. A conclus ao segue. rio. Todo subconjunto de I 1.4.51. Corola Rn admite um envelope mensur avel. o. Basta observar que todo G Demonstrac a e mensur avel (vide Corol ario 1.4.38).
23
1.4.52. Lema. Sejam A1 , . . . , At subconjuntos de I Rn e suponha que existam subconjuntos mensur aveis dois a dois disjuntos E1 , . . . , Et de I Rn de modo que Ak Ek , para k = 1, . . . , t. Ent ao:
t t
k=1
Ak =
k=1
m (Ak ).
Al em do mais, se (Ak )k1 e uma seq u encia de subconjuntos de I Rn tal que existe uma seq u encia (Ek )k1 de subconjuntos mensur aveis de I Rn dois a dois disjuntos de modo que Ak Ek para todo k 1 ent ao:

m
k=1
Ak =
k=1
m (Ak ).
o. Tomando Ak = Ek = para k > t, podemos consiDemonstrac a derar apenas o caso de uma seq u encia innita de subconjuntos de I Rn . Seja E um envelope mensur avel do conjunto k=1 Ak . Da , para todo k 1, o conjunto Ek = E Ek e mensur avel e Ak Ek . Como os conjuntos Ek s ao E , temos: E dois a dois disjuntos e k=1 k

k=1
Ak = m(E ) m
k=1 k=1 Ak
Ek =
k=1 k=1 m (Ak )
m(Ek )
k=1
m (Ak ).
A desigualdade m
segue do Lema 1.4.5.
o (Carath 1.4.53. Proposic a eodory). Um subconjunto E I Rn e menn sur avel se e somente se para todo A I R vale: (1.4.13) m (A) = m (A E ) + m (A E c ).
o. Se E Demonstrac a e mensur avel ent ao A = (A E ) (A E c ), onde c A E e A E est ao respectivamente contidos nos conjuntos mensur aveis disjuntos E e E c . A identidade (1.4.13) segue portanto do Lema 1.4.52. Reciprocamente, suponha que a identidade (1.4.13) vale para todo A I Rn . Para cada k 1 seja Ek = E [k, k ]n e seja Zk um envelope mensur avel para Ek . A identidade (1.4.13) com A = Zk nos d a: m (Ek ) = m(Zk ) = m (Zk E ) + m (Zk E c ). Como Zk E Ek vemos que: m (Ek ) m (Ek ) + m (Zk E c ) m (Ek ); como Ek e limitado, temos que m (Ek ) < + (vide Observa c ao 1.4.2) e c portanto m (Zk E ) = 0. Em particular, pelo Lema 1.4.16, Zk E c e mensur avel. Tomando Z = k1 Zk vemos que E Z , Z e mensur avel e: Z \ E = Z Ec =
k 1
(Zk E c ).
Da Z \E e mensur avel e portanto E = Z \ (Z \ E ) tamb em e mensur avel.
24
o. Na verdade, a demonstra 1.4.54. Observac a c ao apresentada para a Proposi c ao 1.4.53 mostra algo mais forte: se a identidade (1.4.13) vale para todo conjunto mensur avel A I Rn ent ao E e mensur avel. Em vista do Len ma 1.4.50, todo subconjunto de I R admite um envelope mensur avel de tipo G e portanto a demonstra c ao que apresentamos para a Proposi c ao 1.4.53 mostra at e mesmo o seguinte: se a identidade (1.4.13) vale para todo subconjunto A de I Rn de tipo G ent ao E e mensur avel. 1.4.55. Lema. Seja (Ak )k1 uma seq u encia de subconjuntos (n ao necesn sariamente mensur aveis) de I R tal que Ak A. Ent ao: m (A) = lim m (Ak ).
k
o. Temos que a seq Demonstrac a u encia m (Ak ) k1 e crescente e li mitada superiormente por m (A), donde o limite limk m (Ak ) existe (em [0, +]) e e menor ou igual a m (A). Para provar que m (A) e menor ou igual a limk m (Ak ), escolha um envelope mensur avel Ek para Ak e dena Fk = rk Er , para todo k 1. Da cada Fk e mensur avel e Ak Fk Ek , donde tamb em Fk e um envelope mensur avel de Ak . Al em do mais, temos Fk F , onde F e um conjunto mensur avel que cont em A. A conclus ao segue agora do Lema 1.4.48 observando que: m (A) m(F ) = lim m(Fk ) = lim m (Ak ).
k k
1.4.1. Medida interior. O conceito de medida interior e u til para entender melhor o fen omeno da n ao mensurabilidade de um subconjunto de I Rn . o. Seja A um subconjunto de I 1.4.56. Definic a Rn . A medida interior de Lebesgue de A e denida por: m (A) = sup m(K ) : K A, K compacto [0, +]. 1.4.57. Lema. Se A I Rn e mensur avel ent ao m (A) = m (A). Reciprocamente, dado A I Rn com m (A) = m (A) < + ent ao A e mensur avel. o. Suponha que A Demonstrac a e mensur avel e mostremos que as medidas interior e exterior de A coincidem. Em primeiro lugar, se A tem medida exterior nita isso segue diretamente do Corol ario 1.4.40. Suponha ent ao que m (A) = +. Pelo Corol ario 1.4.30, existe um subconjunto fechado F I Rn contido em A tal que m (A \ F ) < 1. Da : m (A) = m F (A \ F ) m (F ) + m (A \ F ) m (F ) + 1, e portanto m (F ) = +. Para cada r 1, seja Kr = F [r, r]n . Da cada Kr e compacto e Kr F ; o Lema 1.4.48 nos d a:
r
lim m(Kr ) = m(F ) = +.
Logo m (A) supr1 m(Kr ) = + = m (A). Suponha agora que as medidas interior e exterior de A s ao iguais e nitas e mostremos que A e
25
mensur avel. Seja dado > 0. Temos que existe um subconjunto compacto K A tal que: m(K ) m (A) = m (A) . 2 2 n Pelo Lema 1.4.12, existe um aberto U I R contendo A tal que: m(U ) m (A) + . 2 Portanto: m (U \ A) m(U \ K ) = m(U ) m(K ) = m(U ) m (A) + m (A) m(K ) . A conclus ao segue. rio. Se A I 1.4.58. Corola Rn e mensur avel ent ao: m(A) = sup m(K ) : K A, K compacto . 1.4.59. Lema. Seja E I Rn um subconjunto mensur avel e sejam A1 , A2 tais que E = A1 A2 e A1 A2 = . Ent ao: m(E ) = m (A1 ) + m (A2 ). o. Seja K I Demonstrac a Rn um subconjunto compacto de A2 . Da A1 E \ K . Al em do mais, K e E \ K s ao subconjuntos disjuntos mensur aveis de E com E = K (E \ K ) e portanto: m(E ) = m(E \ K ) + m(K ) m (A1 ) + m(K ). Tomando o supremo com respeito a todos os subconjuntos compactos K de A2 obtemos: m(E ) m (A1 ) + m (A2 ). Para provar a desigualdade oposta, seja Z um envelope mensur avel de A1 . Da E\Z e um subconjunto mensur avel de A2 , donde: m(E \ Z ) = m (E \ Z ) m (A2 ), pelo Lema 1.4.57 e pelo resultado do Exerc cio 1.26. Al em do mais, E Z e E \ Z s ao subconjuntos disjuntos mensur aveis de E com E = (E Z ) (E \ Z ) e portanto: m(E ) = m(E Z ) + m(E \ Z ) m(E Z ) + m (A2 ). Como A1 E Z Z , conclu mos que m (A1 ) = m(E Z ), o que mostra que m(E ) m (A1 ) + m (A2 ) e completa a demonstra c ao.
1.5. CONJUNTOS DE CANTOR
26
1.5. Conjuntos de Cantor Seja I = [a, b], a < b, um intervalo fechado e limitado de comprimento positivo. Dado um escalar > 0, < b a = |I |, consideramos o intervalo aberto J de comprimento que possui o mesmo centro que I ; denotamos ent ao por (I, ; 0) e (I, ; 1) os dois intervalos remanescentes ap os remover 1 J de I . Mais precisamente, sejam c = 1 ( a + b ) e d = ( a + b + ), de 2 2 modo que J = ]c, d[; denimos: (1.5.1) (I, ; 0) = [a, c], (I, ; 1) = [d, b].
Note que a < c < d < b, de modo que (I, ; 0) e (I, ; 1) s ao dois intervalos fechados e limitados disjuntos de comprimento positivo contidos em I ; mais especicamente: 1 (|I | ). 2 Dados um intervalo fechado e limitado I de comprimento positivo, um inteiro n 1, escalares positivos 1 , . . . , n com n i=1 i < |I | e 1 , . . . , n {0, 1}, n vamos denir um intervalo limitado e fechado I, (i )n i=1 ; ( i )i=1 tal que: (I, ; 0) = (I, ; 1) = (1.5.2)
n I, (i )n i=1 ; ( i )i=1
1 = n |I | 2
i > 0.
i=1
A deni c ao ser a feita recursivamente. Para n = 1, a deni c ao j a foi dada em (1.5.1). Dados um intervalo fechado e limitado I de comprimento positivo, +1 escalares positivos 1 , . . . , n+1 com n i=1 i < |I | e 1 , . . . , n+1 {0, 1}, denimos: n+1 +1 n+1 n n I, (i )n ; n+1 . i=1 ; ( i )i=1 = I, (i )i=1 ; ( i )i=1 , 2n
+1 n+1 Assumindo (1.5.2), e f acil ver que I, (i )n a bem denido e i=1 ; ( i )i=1 est que:
+1 n+1 I, (i )n i=1 ; ( i )i=1
1 2n+1
n+1
|I |
i=1
i > 0.
Segue ent ao por indu c ao que temos uma fam lia de intervalos fechados e n n limitados I, (i )i=1 ; ( i )i=1 satisfazendo (1.5.2). Fixemos ent ao um intervalo fechado e limitado I de comprimento positivo e uma seq u encia (i )i1 de escalares positivos tal que i=1 i |I |. Note que n < | I | , para todo n 1. Para simplicar a nota c ao, escrevemos: i=1 i I ( ) = I ( 1, . . . ,
n) n = I, (i )n i=1 ; ( i )i=1 ,
para todo n 1 e todo = ( 1 , . . . , n ) {0, 1}n . Dada uma seq u encia ( i )i1 em {0, 1} obtemos uma seq u encia decrescente de intervalos fechados e limitados: (1.5.3) I I ( 1) I ( 1,
2)
I ( 1, . . . ,
n)
27
Armamos que, para todo n 1, os intervalos I ( ), {0, 1}n , s ao dois a dois disjuntos. De fato, sejam dados , {0, 1}n , com = . Seja k {1, . . . , n} o menor ndice tal que k = k . Temos I ( ) I ( 1 , . . . , k ), I ( ) I ( 1 , . . . , k ), J = I ( 1 , . . . , k1 ) = I ( 1 , . . . , k1 ) e: I ( 1, . . . ,
k)
= (J, k ;
k ),
I ( 1, . . . ,
k)
= (J, k ;
k ).
Como k = k , os intervalos (J, k ; k ) e (J, k ; k ) s ao disjuntos e portanto tamb em I ( ) I ( ) = . Para cada n 1 denimos: Kn = I ( ).
{0,1}n
Note que cada Kn e uma uni ao disjunta de 2n intervalos fechados e limitados 1 de comprimento 2n |I | n e compacto e i=1 i . Em particular, cada Kn sua medida de Lebesgue e dada por:
n
(1.5.4)
m(Kn ) = |I |
i=1
i .
o. O conjunto K = e chamado o conjunto de 1.5.1. Definic a n=1 Kn Cantor determinado pelo intervalo fechado e limitado I e pela seq u encia | I | . (i )i1 de escalares positivos com i i=1 Para cada seq u encia ( i )i1 em {0, 1} temos que (1.5.3) e uma seq u encia decrescente de intervalos fechados e limitados cujos comprimentos tendem a zero; de fato: (1.5.5) I ( 1, . . . ,
n)
1 |I | 2n
i
i=1
1 |I | 0. n 2n
Pelo princ pio dos intervalos encaixantes, existe exatamente um ponto pertencente ` a interse c ao de todos os intervalos em (1.5.3). Denimos ent ao uma aplica c ao:
: {0, 1} =
i=1
{0, 1}
= ( i )i1 ( ) K,
de modo que:
(1.5.6)
n=1
I ( 1, . . . ,
n)
= ( ) ,
para todo = ( i )i1 {0, 1} . As principais propriedades do conjunto K podem ser sumarizadas no seguinte: 1.5.2. Teorema. Seja I um intervalo fechado e limitado de comprimento positivo e seja (i )i1 uma seq u encia de escalares positivos tal que:
i |I |.
i=1
28
Seja K o conjunto de Cantor determinado por I e por (i )i1 . Ent ao: (a) K e um subconjunto compacto de I ; (b) a medida de Lebesgue de K e m(K ) = |I | i=1 i ; (c) K tem interior vazio; (d) K tem a mesma cardinalidade que a reta I R (e e portanto n ao enumer avel); (e) K n ao tem pontos isolados. o. Demonstrac a Prova de (a). Basta observar que K e uma interse c ao de subconjuntos compactos de I . Prova de (b). Segue de (1.5.4) e do Lema 1.4.48, observando que Kn K.
Prova de (c). Um intervalo contido em Kn deve estar contido em algum dos intervalos I ( ), {0, 1}n , e portanto deve ter comprimento menor ou n igual a 21 n |I | i=1 i . Segue de (1.5.5) que nenhum intervalo de comprimento positivo pode estar contido em Kn para todo n 1. Logo K= ao pode conter um intervalo aberto n ao vazio. n=1 Kn n Prova de (d). f E acil ver que a fun c ao denida em (1.5.6) e bijetora. A conclus ao segue do fato bem conhecido que {0, 1} tem a mesma cardinalidade de I R. Prova de (e). Seja x K . Como e bijetora, existe {0, 1} tal que x = ( ). Escolhendo {0, 1} com = e ( 1 , . . . , n ) = ( 1 , . . . , n ) ent ao ( ) e um ponto de K distinto de x. Al em do mais, ( ) e x ambos pertencem ao intervalo I ( 1 , . . . , n ) e portanto: 1 x ( ) I ( 1 , . . . , n ) = n |I | 2
n
i
i=1
1 |I |. 2n
Conclu mos que toda vizinhan ca de x cont em um ponto de K distinto de x, i.e., x e um ponto de acumula c ao de K . 1.5.3. Exemplo. Escolhendo os escalares i com ao i=1 i = |I | ent o conjunto de Cantor K correspondente nos fornece um exemplo de um subconjunto n ao enumer avel de I R (com a mesma cardinalidade de I R) e com medida de Lebesgue zero. 1.5.4. Exemplo. Escolhendo os escalares i com ao i=1 i < |I | ent o conjunto de Cantor K correspondente nos fornece um exemplo de um
MENSURAVEIS 1.6. CONJUNTOS NAO
29
subconjunto compacto de I R com interior vazio e medida de Lebesgue positiva. Na verdade, para todo > 0 podemos escolher os escalares i com o conjunto de Cantor K correspondente nos fornece um i=1 i < e da exemplo de um subconjunto compacto do intervalo I com interior vazio e m(K ) > |I | . 1.6. Conjuntos n ao Mensur aveis Uma forma de construir um exemplo de um subconjunto n ao mensur avel de I Rn e repetir os passos da demonstra c ao da Proposi c ao 1.2.3. 1.6.1. Exemplo. Considere a rela c ao bin aria no bloco [0, 1]n denida por: x y x y Qn , f para todos x, y [0, 1]n . E acil ver que e uma rela c ao de equival encia em [0, 1]n . Seja A um conjunto escolha para . Como na demonstra c ao ao dois a dois da Proposi c ao 1.2.3, vemos que os conjuntos (A + q )qQn s disjuntos e que: [0, 1]n (A + q ) [1, 2]n .
q Qn [1,1]n
Usando o Lema 1.4.10 e o resultado do Exerc cio 1.10, vemos que a mensurabilidade de A implicaria em: 0 < 1 = m [0, 1]n m(A) m [1, 2]n = 3n < +,
q Qn [1,1]n
j a que Qn [1, 1]n e enumer avel. Obtemos ent ao uma contradi c ao, o que mostra que A e um subconjunto n ao mensur avel do bloco [0, 1]n . No que segue, investigaremos mais a fundo o fen omeno da n ao mensurabilidade, produzindo alguns exemplos mais radicais de conjuntos n ao mensur aveis. Come camos com alguns lemas. 1.6.2. Lema. Seja U I Rn um aberto. Ent ao, dado > 0, existe > 0 n tal que para todo x I R com x < , temos: (1.6.1) m U (U + x) m(U ) + .
o. A desigualdade (1.6.1) Demonstrac a e trivial para m(U ) = +, de modo que podemos supor que m(U ) < +. Para cada k 1, consideramos o conjunto Uk denido por: Uk = x I Rn : d(x, U c ) > d(x, U c )
1 k
Como U e aberto, temos que > 0 se e somente se x U ; isso implica que U = k=1 Uk e portanto Uk U . A continuidade da fun c ao x d(x, U c ) implica que cada Uk e aberto e portanto mensur avel. Pelo Lema 1.4.48, temos m(U ) = limk m(Uk ) e portanto existe k 1 tal que: m(Uk ) m(U ) .
30
1 Tome = k e seja x I Rn com x < . Para todo y Uk , temos 1 d(y, y x) = x < k e portanto y x U , i.e., y U + x. Segue ent ao que Uk U (U + x) e portanto:
m U (U + x) m(U ) . A conclus ao e obtida agora do c alculo abaixo: m U (U + x) = m(U ) + m(U + x) m U (U + x) = 2m(U ) m U (U + x) m(U ) + , onde usamos o Lema 1.4.10 e o resultado do Exerc cio 1.17. o. Se A 1.6.3. Definic a e um subconjunto de I Rn , ent ao o conjunto das diferen cas de A e denido por: A = x y : x, y A . 1.6.4. Lema. Se A I Rn e um conjunto mensur avel com medida de Lebesgue positiva ent ao A cont em uma vizinhan ca da origem. o. Se m(A) = + ent Demonstrac a ao A cont em um conjunto mensur avel A0 tal que 0 < m(A0 ) < + (isso segue, por exemplo, do Co rol ario 1.4.58). Como A 0 A , podemos considerar apenas o caso em que m(A) < +. Pelo Lema 1.4.12, existe um aberto U I Rn contendo A tal que m(U ) < 2m(A). Seja > 0 tal que m(U ) + < 2m(A). Pelo Lema 1.6.2, existe > 0 tal que m U (U + x) m(U ) + , para todo x I Rn com x < . Armamos que A cont em a bola aberta de centro na origem e raio . Sen ao, existiria x I Rn com x < e x A ; da A e A + x seriam conjuntos mensur aveis disjuntos (veja Exerc cio 1.10) e portanto, usando o Lema 1.4.10, concluir amos que: 2m(A) = m(A) + m(A + x) = m A (A + x) m(U (U + x) m(U ) + < 2m(A), e obter amos portanto uma contradi c ao. rio. Seja A um subconjunto de I 1.6.5. Corola Rn . Se A n ao cont em uma vizinhan ca da origem ent ao m (A) = 0. o. Dado um compacto K A ent Demonstrac a ao K e mensur avel e K n ao cont em uma vizinhan ca da origem. Segue ent ao do Lema 1.6.4 que m(K ) = 0. Para construir exemplos de conjuntos n ao mensur aveis, vamos aplicar algumas t ecnicas da teoria de colorimento de grafos. o. Um grafo 1.6.6. Definic a e um par ordenado G = (V, E ), onde V e um conjunto arbitr ario e E e uma rela c ao bin aria anti-reexiva e sim etrica em V ; mais precisamente, E e um subconjunto de V V tal que: (x, x) E , para todo x V ; (x, y ) E implica (y, x) E , para todos x, y V .
31
Os elementos de V s ao chamados os v ertices do grafo G. Dados v ertices x, y V com (x, y ) E ent ao dizemos que x e y s ao v ertices adjacentes no grafo G. Se V e um subconjunto de V ent ao E = E (V V ) e um rela c ao bin aria anti-reexiva e sim etrica em V , de modo que G = (V , E ) e um grafo. Dizemos que G = (V , E ) e o subgrafo cheio de G determinado pelo conjunto de v ertices V . o. Seja G = (V, E ) um grafo. Um colorimento para G 1.6.7. Definic a e uma fun c ao f denida em V tal que f (x) = f (y ), para todo (x, y ) E . Para cada x V , dizemos que f (x) e a cor do v ertice x. Se k e um inteiro positivo ent ao um k -colorimento de G e um colorimento f : V {0, 1, . . . , k 1} de G. Quando G admite um k -colorimento dizemos que G e k -color vel. o. Seja G = (V, E ) um grafo. Um caminho em G 1.6.8. Definic a e uma seq u encia nita (xi )p , p 0, de v e rtices de G tal que ( x , x ) E para i i+1 i=0 todo i = 0, . . . , p 1; dizemos tamb em que (xi )p e um caminho come c ando i=0 em x0 e terminando em xp . O caminho (xi )p i=0 e dito de comprimento p. Por conven c ao, uma seq u encia unit aria formada por um u nico v ertice x0 V e um caminho de comprimento zero come cando em x0 e terminando em x0 . Quando existe um caminho em G come cando em x e terminando em y para todos x, y V , dizemos que G e um grafo conexo. Um circuito em G e um caminho (xi )p em G tal que x = x . 0 p i=0 f E acil ver que a rela c ao bin aria em V denida por: x y existe um caminho em G come cando em x e terminando em y, e uma rela c ao de equival encia em V . Seja V0 V uma classe de equival encia determinada por . Verica-se facilmente que o subgrafo cheio G0 de G determinado por V0 e conexo; dizemos que G0 e uma componente conexa do grafo G. 1.6.9. Lema. Um grafo G = (V, E ) e 2-color vel se e somente se n ao possui circuitos de comprimento mpar. o. Assuma que o grafo G Demonstrac a e 2-color vel, i.e., existe um 2-colorimento f : V {0, 1} de G. Seja (xi )p um circuito de G. Mosi=0 tremos que p e par. Para xar as id eias, assuma que f (x0 ) = 0. Como os v ertices x0 e x1 s ao adjacentes, temos f (x1 ) = f (x0 ) e portanto f (x1 ) = 1. Similarmente, vemos que f (x2 ) = 0 e, mais geralmente, f (xi ) = 0 para i par e f (xi ) = 1 para i mpar. Como f (xp ) = f (x0 ) = 0, conclu mos que p deve ser par. Reciprocamente, assuma agora que o grafo G n ao possui circuito f de comprimento mpar e mostremos que G e 2-color vel. E acil ver que: nenhuma componente conexa de G possui um circuito de comprimento mpar; se cada componente conexa de G e 2-color vel ent ao G e 2-color vel. Podemos ent ao supor que G e conexo. Dados v ertices x, y V de G ent ao os comprimentos de dois caminhos em G come cando em x e terminando em
32
q y t em a mesma paridade. De fato, se (xi )p ao caminhos em G i=0 e (xi )i=0 s come cando em x e terminando em y ent ao:
x = x0 , x1 , . . . , xp = y = xq , xq1 , . . . , x0 = x, e um circuito em G de comprimento p + q . Logo p + q e par e portanto p e q possuem a mesma paridade. Fixamos agora um v ertice x0 V e denimos f : V {0, 1} fazendo f (x) = 0 se todo caminho come cando em x0 e terminando em x tem comprimento par e f (x) = 1 se todo caminho f come cando em x0 e terminando em x tem comprimento mpar. E acil ver que f e um 2-colorimento para G. o. Seja S um subconjunto de I 1.6.10. Definic a Rn que n ao cont em a orin gem. O grafo de Cayley associado ao par (I R , S ), denotado por G(I Rn , S ), n e o grafo (V, E ) tal que V = I R e: E = (x, y ) I Rn I Rn : x y S ou y x S . 1.6.11. Lema. Seja S um subconjunto de I Rn que n ao cont em a origem. n O grafo de Cayley G(I R , S) e 2-color vel se e somente se S possui a seguinte propriedade: () dados s1 , . . . , sk S e n1 , . . . , nk Z com k e par. i=1 ni
k i=1 ni si
= 0 ent ao
o. Em vista do Lema 1.6.9, basta mostrar que G(I Demonstrac a Rn , S ) n ao possui circuito de comprimento mpar se e somente se S possui a propriedade (). Assuma que S possui a propriedade () e que (xi )p e um circuito i=0 n de G(I R , S ). Mostremos que p e par. Para cada i = 0, . . . , p 1 temos que xi+1 xi S ou xi xi+1 S ; podemos ent ao escrever xi+1 xi = ni si , com ni {1} e si S . Da :
p1 p1
ni si =
i=0 i=0
(xi+1 xi ) = xp x0 = 0
1 1 p1 e logo p e par. Mas p i=0 ni i=0 |ni | tem a mesma paridade que i=0 ni e p1 n portanto i=0 |ni | = p e par. Reciprocamente, suponha que G(I R , S ) n ao possui circuito de comprimento mpar e mostremos que S possui a propriedade (). Sejam s1 , . . . , sk S e n1 , . . . , nk Z com k i=1 ni si = 0. Escreva si = si se ni 0 e si = si se ni < 0, de modo que ni si = |ni |si e si S ou si S , para todo i = 1, . . . , k . Temos que k i=1 |ni |si = 0, ou seja:
(1.6.2) s1 + s1 + + s1 + s2 + s2 + + s2 + +sk + sk + + sk = 0.
|n1 | termos |n2 | termos |nk | termos k Sejam p = i=1 |ni |, x0 = 0 e, para j = 1, 2, . . . , p, seja xj a soma dos primeiros j termos da soma que aparece do lado esquerdo da identidade (1.6.2). Temos que (xj )p e um circuito em G(I Rn , S ) de comprimento p j =0
EXERC ICIOS PARA O CAP ITULO 1
33 k i=1 ni
e portanto p e par. Finalmente, como paridade, segue que k e par. i=1 ni
k i=1 |ni |
t em a mesma
1.6.12. Lema. Seja S I Rn \{0} e suponha que exista um 2-colorimento n f :I R {0, 1} do grafo de Cayley G(I Rn , S ). Se a origem e um ponto de acumula c ao de S ent ao os conjuntos A = f 1 (0) e B = f 1 (1) possuem medida interior nula. o. Dados x, y A ent Demonstrac a ao f (x) = f (y ) = 0 e portanto os v ertices x e y n ao podem ser adjacentes no grafo G(I Rn , S ). Em particular, x y S , o que mostra que o conjunto das diferen cas A e disjunto de S . Como a origem e um ponto de acumula c ao de S , segue que A n ao pode conter uma vizinhan ca da origem e portanto, pelo Corol ario 1.6.5, A tem medida interior nula. Analogamente, vemos que B S = e portanto m (B ) = 0. 1.6.13. Exemplo. Em vista dos Lemas 1.6.11 e 1.6.12, se exibirmos um subconjunto S I Rn \{0} com a propriedade () e que possui a origem como ponto de acumula c ao ent ao obteremos uma parti c ao I Rn = A B de I Rn tal que m (A) = m (B ) = 0. Por exemplo, e f acil mostrar que o conjunto: S=
1 m
: m inteiro mpar I R \ { 0}
tem a propriedade () e obviamente a origem e ponto de acumulu c ao de S . Em I Rn , podemos considerar o conjunto S n (ou at e mesmo S {0}n1 ), que tamb em tem a propriedade () e a origem como ponto de acumula c ao. n 1.6.14. Exemplo. Sejam A, B I R conjuntos disjuntos de medida interior nula tais que I Rn = A B (vide Exemplo 1.6.13). Denindo: A = A [0, 1]n , B = B [0, 1]n , obtemos uma parti c ao [0, 1]n = A B do bloco [0, 1]n em conjuntos A , B de medida interior nula. Usando o Lema 1.4.59 vemos que: 1 = m [0, 1]n = m (A ) + m (B ) = m (A ) e portanto m (A ) = 1. Similarmente, vemos que m (B ) = 1. Obtivemos ent ao subconjuntos do bloco [0, 1]n com medida interior nula e medida exterior igual a 1. Obtivemos tamb em uma parti c ao do bloco [0, 1]n em dois conjuntos de medida exterior igual a 1; note que: 1 = m [0, 1]n < m (A ) + m (B ) = 2, com [0, 1]n = A B e A , B disjuntos! Exerc cios para o Cap tulo 1 Aritm etica na Reta Estendida. Exerc cio 1.1. Mostre que todo subconjunto da reta estendida possui supremo e nmo. Exerc cio 1.2. Prove o Lema 1.1.7.
34
Exerc cio 1.3. Dadas fam lias (ai )iI e (bj )j J em I R tais que a soma ai + bj e bem denida para todos i I , j J , mostre que: sup ai + bj : i I, j J = sup ai + sup bj ,
iI j J
desde que a soma supiI ai + supj J bj esteja bem denida. Mostre tamb em que: inf ai + bj : i I, j J = inf ai + inf bj ,
iI j J
desde que a soma inf iI ai + inf j J bj esteja bem denida. Exerc cio 1.4. Prove o Lema 1.1.8. Exerc cio 1.5. Sejam (ak )k1 e (bk )k1 seq u encias crescentes no intervalo [0, +]. Mostre que:
k
lim ak bk =
lim ak
lim bk .
Exerc cio 1.6. Prova a Proposi c ao 1.1.10. Exerc cio 1.7. Prove a Proposi c ao 1.1.12. *Exerc cio 1.8. Mostre que os conjuntos: ]a, b[ , [, a[ , ]a, +] , R, a < b, a, b I R, a > , aI aI R, a < +,
constituem uma base de abertos para uma topologia em I R. R denida por: Mostre que a aplica c ao f : [1, 1] I , se x = 1, x , se x ]1, 1[, f (x) = 1 x2 +, se x = 1, e um homeomorsmo. R converge para um elemen Mostre que uma seq u encia (ak )k1 em I to a I R com respeito ` a topologia introduzida acima se e somente se (ak )k1 converge para a de acordo com a Deni c ao 1.1.6. Mostre que a fun c ao D+ (a, b) a + b I R e cont nua, onde: D+ = ( I RI R ) \ (, +), (+, ) RI R. e munido da topologia induzida pela topologia produto de I RI R (a, b) ab I R e cont nua, exceto Mostre que a fun c ao I nos pontos (+, 0), (, 0), (0, +) e (0, ).
35
Medida de Lebesgue em IRn . Exerc cio 1.9. Dado A I Rn , mostre que: m (A) = inf m(U ) : U aberto em I Rn e A U . Exerc cio 1.10. Se A I Rn e um conjunto mensur avel, mostre que A + x tamb em e mensur avel para todo x I Rn . Exerc cio 1.11. Seja uma permuta c ao de n elementos, ou seja, uma bije c ao do conjunto {1, . . . , n} sobre si pr oprio. Considere o isomorsmo linear : I Rn I Rn denido por: (x1 , . . . , xn ) = (x(1) , . . . , x(n) ), para todo (x1 , . . . , xn ) I Rn . Mostre que: (a) se B e um bloco retangular n-dimensional ent ao (B ) e tamb em um bloco retangular n-dimensional e | (B )| = |B |; (b) para todo A I Rn , vale a igualdade m (A) = m (A); (c) se A I Rn e mensur avel ent ao (A) tamb em e mensur avel. Exerc cio 1.12. Dado um vetor = (1 , . . . , n ) I Rn com todas as coordenadas n ao nulas, consideramos o isomorsmo linear D : I Rn I Rn denido por: D (x1 , . . . , xn ) = (1 x1 , . . . , n xn ), para todo (x1 , . . . , xn ) I Rn . Mostre que: (a) se B e um bloco retangular n-dimensional ent ao D (B ) e tamb em um bloco retangular n-dimensional e: |D (B )| = |1 | |n | |B | = | det D | |B |; (b) para todo A I Rn , vale a igualdade m D (A) = | det D | m (A); n (c) se A I R e mensur avel ent ao D (A) tamb em e mensur avel. o 1.1. Dados conjuntos A e B ent Definic a ao a diferen ca sim etrica de AeB e denida por: A B = (A \ B ) (B \ A). Exerc cio 1.13. Sejam A, B I Rn tais que m (A B ) = 0. Mostre que: m (A) = m (B ); A e mensur avel se e somente se B e mensur avel. Exerccio 1.14. Dado um subconjunto mensur avel A I Rn tal que m(A) < +, mostre que, para todo > 0, existem blocos retangulares n-dimensionais B1 , . . . , Bt com interiores dois a dois disjuntos de modo que: t m A < . k=1 Bk Exerc cio 1.15. Dados subconjuntos A, B I Rn com m (A) < + ou m (B ) < +, mostre que: m (A) m (B ) m (A B ).
36
Exerc cio 1.16. Seja A I Rn e seja E I Rn um envelope mensur avel de A. Se E e um conjunto mensur avel tal que A E E , mostre que E tamb em e um envelope mensur avel de A. Exerc cio 1.17. Seja (X, A, ) um espa co de medida. Dados A, B A com (A B ) < +, mostre que: (A B ) = (A) + (B ) (A B ). Exerc cio 1.18. Seja (X, A, ) um espa co de medida e seja (Ak )k1 uma seq u encia de elementos de A. Mostre que k=1 (Ak ). k=1 Ak Exerc cio 1.19. Seja (X, A, ) um espa co de medida e seja (Ak )k1 uma seq u encia de elementos de A tal que (Ak Al ) = 0, para todos k, l 1 com k = l. Mostre que k=1 (Ak ). k=1 Ak = Exerc cio 1.20. Seja X um conjunto arbitr ario. (a) Se (Ai )iI e uma fam lia n ao vazia de - algebras de partes de X , mostre que A = iI Ai tamb em e uma - algebra de partes de X . (b) Mostre que, xada uma cole c ao C (X ) de partes de X , existe no m aximo uma - algebra [C ] de partes de X satisfazendo as propriedades (1) e (2) que aparecem na Deni c ao 1.4.35. (c) Dada uma cole c ao arbitr aria C (X ) de partes de X , mostre que a interse c ao de todas as - algebras de partes de X que cont em C e uma - algebra de partes de X que satisfaz as propriedades (1) e (2) que aparecem na Deni c ao 1.4.35 (note que sempre existe ao menos uma - algebra de partes de X contendo C , a saber, (X )). Exerc cio 1.21. Seja X um conjunto arbitr ario e sejam C1 , C2 (X ) cole c oes arbitr arias de partes de X . Se C1 [C2 ] e C2 [C1 ], mostre que [C1 ] = [C2 ]. Exerc cio 1.22. Mostre que todo subconjunto de I Rn de tipo G ou de tipo F e Boreleano. Exerc cio 1.23. Mostre que a - algebra de Borel de I R coincide com a - algebra gerada pelos intervalos da forma ], c], c I R. Exerc cio 1.24. Se I e um intervalo fechado e limitado de comprimento positivo, mostre que o u nico subconjunto fechado F I com m(F ) = |I | e F = I . Conclua que n ao existe um subconjunto fechado com interior vazio F I tal que m(F ) = |I | (compare com o Exemplo 1.5.4). Exerc cio 1.25. Dado A I Rn , mostre que m (A) m (A). Exerc cio 1.26. Mostre que a medida interior de Lebesgue e monot onica, i.e., se A1 A2 I Rn ent ao m (A1 ) m (A2 ). Exerc cio 1.27. Dado A I Rn , mostre que: m (A) = sup m(E ) : E A, E mensur avel . Mais geralmente, mostre que se M e um subconjunto de M(I Rn ) que cont em n todos os subconjuntos compactos de I R ent ao: m (A) = sup m(E ) : E A, E M .
37
Exerc cio 1.28. Dado um subconjunto A I Rn , mostre que existe um n subconjunto W de I R de tipo F tal que W A e m(W ) = m (A). Exerc cio 1.29. Seja (Ak )k1 uma seq u encia de subconjuntos de I Rn tal que Ak A e m (Ak ) < + para algum k 1. Mostre que: m (A) = lim m (Ak ).
k
*Exerc cio 1.30. Sejam dados conjuntos A I Rm , B I Rn , de modo m n m + n que A B I R I R =I R . (a) Mostre que m (A B ) m (A)m (B ). (b) Mostre que se A e B s ao mensur aveis ent ao A B tamb em e mensur avel. (c) Mostre que se A e B s ao mensur aveis ent ao m(A B ) = m(A)m(B ). Conjuntos de Cantor. o 1.2. Um subconjunto de I Definic a Rn e dito magro quando est a contido numa reuni ao enumer avel de subconjuntos fechados de I Rn com interior vazio. O famoso Teorema de Baire implica que todo subconjunto magro de I Rn tem interior vazio. Exerc cio 1.31. Mostre que: existe um subconjunto magro e mensur avel A [0, 1] tal que m(A) = 1 (compare com o Exerc cio 1.24); se A e o conjunto do item anterior, mostre que [0, 1] \ A e um conjunto de medida de Lebesgue zero que n ao e magro. Exerc cio 1.32. Considere o intervalo I = [0, 1] e a seq u encia (i )i1 denida por: 2i1 i = i , 3 para todo i 1. O conjunto de Cantor K associado a I e ` a seq u encia (i )i1 e conhecido como o conjunto tern ario de Cantor. Mostre que: m(K ) = 0; para todo n 1 e todo dado por:
n
= ( 1, . . . , 2 i 1 , + 3i 3n
n) n i=1
{0, 1}n o intervalo I ( ) e 2 i ; 3i
I( ) =
i=1
a bije c ao :
{0, 1}
K denida em (1.5.6) e dada por:
( ) =
i=1
2 i , 3i
para todo
= ( i )i1 {0, 1} .
38
Exerc cio 1.33. Considere a rela c ao de ordem lexicogr aca no conjunto {0, 1} , i.e., para = ( i )i1 , = ( i )i1 {0, 1} dizemos que < quando existe um ndice i 1 tal que ( 1 , . . . , i1 ) = ( 1 , . . . , i1 ) e i < i . Mostre que a fun c ao : {0, 1} K denida em (1.5.6) e estritamente crescente, i.e., se < ent ao ( ) < ( ). Exerc cio 1.34. Utilizando a nota c ao da Se c ao 1.5, mostre que pan , a extremidade esquerda ra todo n 1 e todo = ( i )n { 0 , 1 } i=1 do intervalo I ( ) e ( 1 , . . . , n , 0, 0, . . .) e a extremidade direita de I ( ) e ( 1 , . . . , n , 1, 1, . . .). Conjuntos n ao Mensur aveis. Exerccio 1.35. Mostre que existe um subconjunto n ao mensur avel A de I Rn tal que m (A) = m (A) = +.
CAP ITULO 2
Integrando Fun c oes em Espa cos de Medida

2.1. Fun c oes Mensur aveis Recorde da Deni c ao 1.4.42 que um espa co mensur avel e um conjunto X do qual destacamos uma certa cole c ao de subconjuntos A (X ) (mais precisamente, uma - algebra de partes de X ) aos quais damos o nome de mensur aveis. A palavra mensur avel nesse contexto n ao indica que os conjuntos possam ser medidos de alguma forma ou que estamos assumindo a exist encia de alguma medida n ao trivial denida em A. Um mesmo conjunto X admite em geral diversas - algebras; por exemplo, {, X } e (X ) s ao sempre exemplos (triviais) de - algebras de partes de X . Portanto, o termo mensur avel s o deve ser usado quando uma - algebra espec ca estiver xada pelo contexto. No conjunto I Rn , temos dois exemplos importantes de - algebras; a - algebra de Borel B (I Rn ) e a - algebra M(I Rn ) de conjuntos Lebesgue mensur aveis. No que segue, precisaremos tamb em introduzir uma R; temos a seguinte: - algebra de Borel para a reta estendida I o. Um subconjunto A I 2.1.1. Definic a R e dito Boreleano quando AI R for um Boreleano de I R. E f acil ver que os subconjuntos Boreleanos de I R constituem de fato uma - algebra de partes de I R. Tal - algebra ser a chamada a - algebra de Borel R e ser a denotada por B (I R). de I A - algebra A de um espa co mensur avel (X, A) pode ser entendida como uma estrutura que colocamos no conjunto subjacente X (assim como, digamos, as opera c oes de um espa co vetorial constituem uma estrutura no conjunto subjacente). Devemos ent ao introduzir uma no c ao de fun c ao que preserva a estrutura de um espa co mensur avel. o. Sejam (X, A), (X , A ) espa 2.1.2. Definic a cos mensur aveis. Uma fun c ao mensur avel f : (X, A) (X , A ) e uma fun c ao f : X X tal que para todo conjunto E A temos que f 1 (E ) pertence a A. Em outras palavras, uma fun c ao e mensur avel se a imagem inversa de conjuntos mensur aveis e mensur avel. Quando as - algebras em quest ao estiverem subentendidas pelo contexto, nos referiremos apenas ` a mensurabilidade da fun c ao f : X X , omitindo a men c ao expl cita a A e A . O conjunto I Rn aparecer a com muita freq u encia como dom nio ou contradom nio de nossas fun c oes e introduzimos abaixo uma conven c ao que evita a necessidade de especicar a - algebra considerada em I Rn em cada situa c ao.
39
2.1. FUNC OES MENSURAVEIS
40
o. A menos de men 2.1.3. Convenc a c ao expl cita em contr ario, o conjunto I Rn ser a considerado munido da - algebra de Borel B (I Rn ) sempre que o mesmo aparecer no contra-dom nio de uma fun c ao; mais explicitamente, se (X, A) e um espa co mensur avel ent ao por uma fun c ao mensur avel f : (X, A) I Rn entenderemos uma fun c ao f : X I Rn tal que f 1 (E ) A, para todo Boreleano E B (I Rn ). Similarmente, a reta estendida I R ser a considerada munida da - algebra de Borel B (I R), sempre que a mesma aparecer no contra-dom nio de uma fun c ao. Por outro lado, o conjunto I Rn ser a sempre considerado munido da - algebra M(I Rn ) de conjuntos Lebesgue mensur aveis, quando o mesmo aparecer no dom nio de uma fun c ao; mais explicitamente, uma fun c ao mensur avel f : I Rn (X, A) e uma fun c ao f : I Rn X tal que f 1 (E ) M(I Rn ), para todo E A. Por exemplo, em vista da conven c ao 2.1.3 acima, uma fun c ao mensur avel f :I RI R e uma fun c ao tal que f 1 (E ) M(I R), para todo E B (I R). N os dicilmente teremos qualquer interesse em considerar a - algebra M(I Rn ) em I Rn quando o mesmo aparece no contra-dom nio de uma fun c ao; por outro lado, em algumas situa c oes e interessante considerar a - algebra B (I Rn ) em I Rn quando o mesmo aparece no dom nio de uma fun c ao (contrariando, portanto, a conven c ao 2.1.3). Introduzimos ent ao a seguinte terminologia. o. Seja (X, A) um espa 2.1.4. Definic a co mensur avel. Uma fun c ao n n Borel mensur avel f : I R (X, A) e uma fun c ao f : I R X tal que f : I Rn , B (I Rn ) (X, A) e uma fun c ao mensur avel, i.e., tal que f 1 (E ) e um Boreleano de I Rn para todo E A. Similarmente, uma fun c ao R (X, A) e uma fun c ao f : I R X tal que Borel mensur avel f : I R, B (I R) (X, A) e uma fun c ao mensur avel. f: I Para vericar a mensurabilidade de uma fun c ao f : (X, A) (X , A ) n ao e necess ario vericar que f 1 (E ) A para todo E A , mas apenas para E pertencente a um conjunto de geradores de A . Esse e o conte udo do seguinte: 2.1.5. Lema. Sejam (X, A), (X , A ) espa cos mensur aveis e seja C um conjunto de geradores para a - algebra A . Uma fun c ao f : X X e mensur avel se e somente se f 1 (E ) A, para todo E C . o. Como C A , temos obviamente que f 1 (E ) A Demonstrac a para todo E C , caso f seja mensur avel. Suponha ent ao que f 1 (E ) A para todo E C . Verica-se diretamente que a cole c ao: (2.1.1) E (X ) : f 1 (E ) A
e uma - algebra de partes de X . Por hip otese, (2.1.1) cont em C e portanto cont em A = [C ]. Isso mostra que f 1 (E ) A para todo E A , i.e., f e mensur avel.
41
rio. Se (X, A) 2.1.6. Corola e um espa co mensur avel ent ao uma fun c ao f :X I Rn e mensur avel se e somente se f 1 (U ) A, para todo aberto U I Rn . rio. Se (X, A) 2.1.7. Corola e um espa co mensur avel ent ao uma fun c ao f :XI R e mensur avel se e somente se o conjunto: f 1 ], c] = x X : f (x) c est a em A para todo c I R. o. Segue do Lema 2.1.5, tendo em mente o resultado do Demonstrac a Exerc cio 1.23. rio. Se (X, A) 2.1.8. Corola e um espa co mensur avel ent ao uma fun c ao f :XI R e mensur avel se e somente se o conjunto: f 1 [, c] = x X : f (x) c est a em A para todo c I R. o. Segue do Lema 2.1.5, tendo em mente o resultado do Demonstrac a Exerc cio 2.4. 2.1.9. Lema. A composta de duas fun c oes mensur aveis e uma fun c ao mensur avel, i.e., se (X, A), (X , A ), (X , A ) s ao espa cos mensur aveis e se f : (X, A) (X , A ), g : (X , A ) (X , A ) s ao fun c oes mensur aveis ent ao a fun c ao g f : (X, A) (X , A ) tamb em e mensur avel. o. Dado E A devemos vericar que (g f )1 (E ) A. Demonstrac a 1 Mas (g f ) (E ) = f 1 g 1 (E ) ; temos g 1 (E ) A , pois g e mensur avel, e f 1 g 1 (E ) A, pois f e mensur avel. necess E ario c uidado na utiliza c ao do Lema 2.1.9; para concluir a mensurabilidade de g f a partir da mensurabilidade de f e de g e necess ario que a - algebra xada para o contra-dom nio de f e para o dom nio de g sejam as mesmas. Em vista da conven c ao 2.1.3, se f : (X, A) I Rn e n g:I R (X , A ) s ao fun c oes mensur aveis ent ao n ao podemos usar o Lema 2.1.9 para concluir que g f e mensur avel j a que adotamos a - algebra de Borel para o contra-dom nio de f e a - algebra de conjuntos Lebesgue mensur aveis para o dom nio de g . N os poder amos utilizar o Lema 2.1.9 para concluir que g f e mensur avel caso soub essemos, por exemplo, que f e mensur avel e que g e Borel mensur avel. Se f e uma fun c ao denida num espa co mensur avel (X, A) ent ao em muitas situa c oes e interessante considerar restri c oes de f a subconjuntos de X e gostar amos que tais subconjuntos de X pudessem ser encarados como espa cos mensur aveis. Dado ent ao um subconjunto Y X , denimos: (2.1.2) A|Y = E Y : E A ;
e f acil ver que A|Y e uma - algebra de partes de Y .
42
o. Se A 2.1.10. Definic a e uma - algebra de partes de um conjunto X e se Y e um subconjunto de X ent ao a - algebra A|Y de partes de Y denida em (2.1.2) e chamada a - algebra induzida em Y por A. Dizemos ent ao que (Y, A|Y ) e um subespa co do espa co mensur avel (X, A). Observe que se (X, A) e um espa co mensur avel e se Y A ent ao os elementos da - algebra induzida A|Y s ao precisamente os elementos de A que est ao contidos em Y ; em s mbolos: A|Y = A (Y ). Em outras palavras, se Y e mensur avel ent ao os subconjuntos mensur aveis do subespa co mensur avel Y de X s ao precisamente os subconjuntos mensur aveis de X que est ao contidos em Y . o. Se (X, A) 2.1.11. Convenc a e um espa co mensur avel e se Y e um subconjunto de X ent ao, a menos de men c ao expl cita em contr ario, consideraremos sempre o conjunto Y munido da - algebra induzida A|Y . Em vista das conven c oes 2.1.11 e 2.1.3, observamos que: se um subconjunto Y de I Rn (resp., um subconjunto Y de I R) aparece no contra-dom nio de uma fun c ao, consideramo-lo munido da - algebra B (I Rn )|Y induzida da - algebra de Borel de I Rn (resp., R)|Y induzida da - algebra de Borel de I R); da - algebra B (I n se um subconjunto Y de I R aparece no dom nio de uma fun c ao, consideramo-lo munido da - algebra M(I Rn )|Y induzida da - algebra de subconjuntos Lebesgue mensur aveis de I Rn ; R) e se se Y e um subconjunto de I Rn (resp., um subconjunto de I (X, A) e um espa co mensur avel ent ao uma fun c ao f : Y (X, A) e dita Borel mensur avel quando a fun c ao f : Y, B (I Rn )|Y (X, A) R)|Y (X, A)) for mensur avel. (resp., a fun c ao f : Y, B (I 2.1.12. Lema. Sejam (X, A), (X , A ) espa cos mensur aveis e Y X um subconjunto. Ent ao: (a) a aplica c ao inclus ao i : Y X e mensur avel; (b) se f : X X e uma fun c ao mensur avel ent ao f |Y : Y X tamb em e mensur avel; (c) dada uma fun c ao f : X X com imagem contida em Y , se f0 : X Y denota a fun c ao que difere de f apenas pelo contradom nio ent ao f e mensur avel se e somente se f0 e mensur avel. o. Demonstrac a Prova de (a). Basta observar que i1 (E ) = E Y A|Y , para todo E A. Prova de (b). Basta observar que f |Y = f i e usar o Lema 2.1.9 juntamente com o item (a) acima.
43
Prova de (c). Se f0 e mensur avel ent ao f = i f0 e mensur avel, pelo Lema 2.1.9 e pelo item (a) acima. Reciprocamente, suponha que f e mensur avel. 1 1 Dado E1 A|Y , devemos mostrar que f0 (E1 ) (que e igual a f (E1 )) pertence a A . Mas E1 = E Y para algum E A e portanto, como Im(f ) Y , temos f 1 (E1 ) = f 1 (E ) A . 2.1.13. Lema. Sejam (X, A), (X , A ) espa cos mensur aveis e seja dada X = iI Xi uma cobertura enumer avel de X por conjuntos mensur aveis Xi A. Ent ao uma fun c ao f : X X e mensur avel se e somente se f |Xi : Xi X e mensur avel para todo i I . o. Se f Demonstrac a e mensur avel ent ao f |Xi e mensur avel para todo i I , pelo Lema 2.1.12. Reciprocamente, suponha que f |Xi seja mensur avel para todo i I . Dado E A , temos: (f |Xi )1 (E ) = f 1 (E ) Xi A|Xi , para todo i I . Como Xi A, temos A|Xi = A (Xi ) e portanto f 1 (E ) Xi A, para todo i I . Como I e enumer avel segue que: f 1 (E ) =
iI
f 1 (E ) Xi A,
e portanto f e uma fun c ao mensur avel. rio. Sejam (X, A) um espa 2.1.14. Corola co mensur avel e Y um subconjunto de I R. Uma fun c ao f : Y X e Borel mensur avel se e somente se f |Y I RX e Borel mensur avel. R :Y I o. Temos que Y = (Y \ I Demonstrac a R) (Y I R), onde: Y I R B (I R)|Y , Y \I R = Y {+, } B (I R)|Y . Segue do Lema 2.1.13 que f e Borel mensur avel se e somente se suas restri c oes a Y \ I R e a Y I R s ao Borel mensur aveis. Mas todos os quatro R e portanto a - algebra subconjuntos de {+, } s ao Boreleanos de I R)|Y em Y \ I R e (Y \ I R). Em particular, a restri c ao de f induzida por B (I a Y \I R e Borel mensur avel, seja qual for f : Y X . A conclus ao segue. 2.1.15. Lema. Dado um subconjunto arbitr ario Y I Rm , ent ao toda n fun c ao cont nua f : Y I R e Borel mensur avel. o. Pelo Corol Demonstrac a ario 2.1.6, e suciente mostrar que: f 1 (U ) B (I Rm )|Y , para todo aberto U I Rn . Mas, como f e cont nua, temos que f 1 (U ) e aberto relativamente a Y , i.e., existe um aberto V I Rm com: f 1 (U ) = V Y ; da V B (I Rm ) e portanto f 1 (U ) = V Y B (I Rm )|Y .
44
2.1.16. Lema. Seja (X, A) um espa co mensur avel e seja f : X I Rn uma fun c ao com fun c oes coordenadas fi : X I R, i = 1, . . . , n. Ent ao f : X I Rn e mensur avel se e somente se fi : X I R for mensur avel, para todo i = 1, . . . , n. o. Temos fi = i f , onde i : I Demonstrac a Rn I R denota a i esima proje c ao. A fun c ao i e cont nua e portanto Borel mensur avel, pelo Lema 2.1.15; segue ent ao do Lema 2.1.9 que a mensurabilidade de f implica na mensurabilidade de cada fi . Reciprocamente, suponha que cada fi e mensur avel. Em vista do Lema 1.4.23, a - algebra de Borel de I Rn coincide com a - algebra gerada pelos blocos retangulares n-dimensionais. Segue ent ao do Lema 2.1.5 que, para mostrar a mensurabilidade de f , e suciente 1 mostrar que f (B ) A para todo bloco retangular n-dimensional B . Se B= n ao: i=1 [ai , bi ], ent
n
(B ) = x X : fi (x) [ai , bi ], i = 1, . . . , n =
i=1
fi1 [ai , bi ] .
Como cada fi e mensur avel, temos 1 f (B ) A.
fi1
[ai , bi ] A para todo i e portanto
rio. Sejam (X, A), (X , A ) espa 2.1.17. Corola cos mensur aveis e sejam fi : X I R, i = 1, . . . , n, fun c oes mensur aveis. Dada uma fun c ao Borel mensur avel : Y X denida num subconjunto Y I Rn tal que: f1 (x), . . . , fn (x) Y, para todo x X ent ao a fun c ao: (f1 , . . . , fn ) : X e mensur avel. o. Pelo Lema 2.1.16 e pelo item (c) do Lema 2.1.12 teDemonstrac a mos que a fun c ao (f1 , . . . , fn ) : X Y e mensur avel. A conclus ao segue do Lema 2.1.9. Se f : X I Rn , g : X I Rn s ao fun c oes denidas num conjunto arbitr ario X ent ao, como e usual, denimos a soma f + g : X I Rn das fun c oes f e g fazendo (f + g )(x) = f (x) + g (x), para todo x X ; para n = 1, podemos denir tamb em o produto f g : X I Rn fazendo (f g )(x) = f (x)g (x), para todo x X . rio. Seja (X, A) um espa 2.1.18. Corola co mensur avel. Dadas fun c oes mensur aveis f : X I Rn , g : X I Rn ent ao: a soma f + g : X I Rn e uma fun c ao mensur avel; se n = 1, o produto f g : X I R e uma fun c ao mensur avel. o. As fun Demonstrac a c oes: I Rn I Rn (x, y ) x + y I Rn e I RI R (x, y ) xy I R x f1 (x), . . . , fn (x) X
45
s ao cont nuas e portanto Borel mensur aveis, pelo Lema 2.1.15. A conclus ao segue do Corol ario 2.1.17. Note que para fun c oes f : X I R, g : X I R a valores na reta estendida, tamb em podemos denir a soma f + g : X I R, desde que a soma f (x) + g (x) esteja bem denida (i.e., n ao seja da forma (+) + () ou () + (+)) para todo x X . O produto f g : X I R pode ser denido sempre, sem nenhuma restri c ao sobre f e g . o. Seja (X, A) um espa 2.1.19. Proposic a co mensur avel. Sejam dadas fun c oes mensur aveis f : X I R eg:XI R. Ent ao: se a soma f (x) + g (x) estiver bem denida para todo x X ent ao R e uma fun c ao mensur avel; a fun c ao f + g : X I o produto f g : X I R e uma fun c ao mensur avel. o. Considere os seguintes subconjuntos de X : Demonstrac a f 1 (I R) g 1 (I R), f 1 (+) g 1 (+), f 1 () g 1 (); todos eles pertencem a A e sua uni ao e igual a X . A restri c ao de f + g a cada um deles e mensur avel; de fato, a restri c ao de f + g ao primeiro deles e mensur avel pelo Corol ario 2.1.18 e a restri c ao de f + g aos outros e uma fun c ao constante (veja Exerc cio 2.1). Segue ent ao do Lema 2.1.13 que f +g e mensur avel. A mensurabilidade de f g e mostrada de forma similar considerando as restri c oes de f g aos conjuntos: f 1 (I R) g 1 (I R), f 1 (0) g 1 (0), f 1 (+) g 1 ]0, +] f 1 () g 1 [, 0[ f 1 (+) g 1 [, 0[ f 1 () g 1 ]0, +] f 1 ]0, +] g 1 (+) , f 1 [, 0[ g 1 () , f 1 [, 0[ g 1 (+) , f 1 ]0, +] g 1 () .
o. Dado x I R ent ao a parte positiva e a parte negativa 2.1.20. Definic a + de x, denotadas respectivamente por x e x , s ao denidas por: x+ = x, se x 0, 0, se x < 0, x = 0, x, se x > 0, se x 0.
R ent ao a parte positiva e a parte Se f e uma fun c ao tomando valores em I negativa de f , denotadas respectivamente por f + e f , s ao denidas por f + (x) = [f (x)]+ e f (x) = [f (x)] , para todo x no dom nio de f .
46
f E acil ver que x = x+ x e |x| = x+ + x , para todo x I R; em particular, se f e uma fun c ao tomando valores em I R ent ao: f = f+ f e |f | = f + + f ,
onde, obviamente, |f | denota a fun c ao |f |(x) = |f (x)|. R e uma 2.1.21. Lema. Seja (X, A) um espa co mensur avel. Se f : X I + fun c ao mensur avel ent ao as fun c oes f , f e |f | tamb em s ao mensur aveis. o. Segue do Lema 2.1.15 e do Corol Demonstrac a ario 2.1.14 que as fun c oes: I R x x+ I R, I R x x I R, I R x |x| I R
s ao Borel mensur aveis; de fato, observe que suas restri c oes a I R s ao fun c oes cont nuas. A conclus ao segue do Lema 2.1.9. 2.1.22. Lema. Seja (X, A) um espa co mensur avel e seja (fk )k1 uma seq u encia de fun c oes mensur aveis fk : X I R. Ent ao as fun c oes: sup fk : X
k 1
x sup fk (x) I R
k 1
k 1
inf fk : X
x inf fk (x) I R
k 1
s ao mensur aveis. o. Note que para todo x X temos supk1 fk (x) c se Demonstrac a e somente se fk (x) c para todo k 1; logo:
x X : sup fk (x) c =
k 1 k=1
1 fk [, c] A,
para todo c I R. Al em do mais, para todo x X , temos inf k1 fk (x) c se e somente se para todo r 1 existe k 1 tal que fk (x) c + 1 r ; logo:
1 fk r=1 k=1
x X : inf fk (x) c =
k 1
, c +
1 r
A,
para todo c I R. A conclus ao segue do Corol ario 2.1.8. rio. Seja (X, A) um espa 2.1.23. Corola co mensur avel e seja (fk )k1 uma seq u encia de fun c oes mensur aveis fk : X I R. Ent ao as fun co es: lim sup fk : X
k
x lim sup fk (x) I R,

k
lim inf fk : X
k
x lim inf fk (x) I R

k
s ao mensur aveis. o. Basta observar que: Demonstrac a lim sup fk = inf sup fk ,
k r 1 k r
lim inf fk = sup inf fk .

k r 1 k r
47
rio. Seja (X, A) um espa 2.1.24. Corola co mensur avel e seja (fk )k1 uma seq u encia de fun c oes mensur aveis fk : X I R. Se para todo x X a seq u encia fk (x) k1 converge em I R ent ao a fun c ao:
k
lim fk : X
x lim fk (x) I R
k
e mensur avel. o. Basta observar que: Demonstrac a

k
lim fk = lim inf fk = lim sup fk .

k k
2.1.1. Fun c oes Simples. o. Uma fun 2.1.25. Definic a c ao e dita simples quando sua imagem e um conjunto nito. 2.1.26. Lema. Seja X um conjunto e sejam f : X I R, g : X I R fun c oes simples. se a soma f (x) + g (x) estiver bem denida para todo x X ent ao a fun c ao f + g e simples; o produto f g e uma fun c ao simples. o. A imagem de f + g est Demonstrac a a contida no conjunto: a + b : a Im(f ), b Im(g ) e a soma a + b est a bem denida ; tal conjunto e obviamente nito. Similarmente, a imagem de f g est a contida no conjunto nito {ab : a Im(f ), b Im(g ) . 2.1.27. Lema. Sejam (X, A) um espa co mensur avel e f : X I R uma 1 fun c ao simples. Ent ao f e mensur avel se e somente se f (c) A para todo c Im(f ). o. Se f Demonstrac a e uma fun c ao mensur avel ent ao f 1 (c) A R. Reciprocamente, para todo c Im(f ), j a que {c} e um Boreleano de I se f 1 (c) A para todo c Im(f ) ent ao a mensurabilidade de f segue do Lema 2.1.13, j a que: X= f 1 (c)
cIm(f )
e uma cobertura nita de X por conjuntos mensur aveis e a restri c ao de f a 1 cada conjunto f (c) e mensur avel (veja Exerc cio 2.1). o. Seja X um conjunto e seja A X um subconjunto 2.1.28. Definic a de X . A fun c ao caracter stica de A, denida em X , e a fun c ao A : X I R denida por A (x) = 1 para x A e A (x) = 0 para x X \ A. Observe que a nota c ao A n ao deixa expl cito qual seja o dom nio X da fun c ao caracter stica de A que est a sendo considerada; em geral, tal dom nio deve ser deixado claro pelo contexto.
48
o. Se (X, A) 2.1.29. Observac a e um espa co mensur avel e se A X e um subconjunto ent ao a fun c ao caracter stica A : X I R e uma fun c ao simples. Segue do Lema 2.1.27 que A e uma fun c ao mensur avel se e somente se A A. o. Se (X, A) 2.1.30. Observac a e um espa co mensur avel ent ao, dados A1 , . . . , Ak A e c1 , . . . , ck I R, temos que a fun c ao:
k
(2.1.3)
i=1
ci Ai : X I R
e simples e mensur avel, desde que esteja bem denida (i.e., desde que n ao ocorra Ai Aj = com ci = + e cj = ). De fato, isso segue da Proposi c ao 2.1.19, do Lema 2.1.26 e da Observa c ao 2.1.29. Reciprocamente, R e uma fun c ao simples e mensur avel, podemos escrev e-la na se f : X I R, i = 1, . . . , k . De fato, basta tomar forma (2.1.3), com Ai A e ci I Ai = f 1 (ci ), onde c1 , . . . , ck s ao os elementos (distintos) do conjunto nito Im(f ). Note que os conjuntos Ai assim constru dos constituem uma parti c ao de X . 2.1.31. Lema. Sejam (X, A) um espa co mensur avel, f : X I R uma fun c ao e Y A. Ent ao: (a) f |Y e mensur avel se e somente se f Y e mensur avel; (b) f |Y e simples se e somente se f Y e simples. o. Temos X = Y Y c , com Y, Y c A; al Demonstrac a em do mais, f |Y = (f Y )|Y e (f Y )|Y c 0. Tendo em mente essas observa c oes, o item (a) segue do Lema 2.1.13. O item (b) segue da igualdade: f (Y ) \ {0} = Im(f Y ) \ {0}. o. Seja (fk )k1 uma seq R 2.1.32. Notac a u encia de fun c oes fk : X I e seja f : X I R uma fun c ao, onde X e um conjunto arbitr ario. Escrevemos fk f quando fk (x) fk+1 (x) para todo x X e todo k 1 e limk fk (x) = f (x) para todo x X . Similarmente, escrevemos fk f quando fk (x) fk+1 (x) para todo x X e todo k 1 e limk fk (x) = f (x) para todo x X . o. Sejam (X, A) um espa 2.1.33. Proposic a co mensur avel. Para toda fun c ao mensur avel f : X [0, +] existe uma seq u encia (fk )k1 de fun c oes simples e mensur aveis fk : X [0, +[ tal que fk f. o. Para cada k 1 particionamos o intervalo [0, k [ em Demonstrac a intervalos disjuntos de comprimento 21 k ; mais explicitamente, consideramos os intervalos: (2.1.4)
r r +1 , 2k 2k
r = 0, 1, . . . , k 2k 1.
Para cada x X temos f (x) k ou ent ao f (x) pertence a exatamente um dos intervalos (2.1.4); se f (x) k denimos fk (x) = k e, caso contr ario,
NEGATIVAS 2.2. INTEGRANDO FUNC OES SIMPLES NAO
49
tomamos fk (x) como sendo a extremidade esquerda do intervalo da cole c ao (2.1.4) ao qual f (x) pertence. Em s mbolos, temos:
k 2k 1
fk = k
f 1
[k,+]
+
r=0
r 2k f 1
r r+1 , 2k 2k
Temos ent ao que fk e uma fun c ao simples e mensur avel para todo k 1 (veja Observa c ao 2.1.30). Note que: 1 , 2k para todo x X com f (x) < k . Armamos que limk fk = f . De fato, seja x X xado. Se f (x) < + ent ao vale (2.1.5) para k > f (x) e portanto limk fk (x) = f (x). Se f (x) = + ent ao fk (x) = k para todo k 1 e portanto limk fk (x) = + = f (x). Para completar a demonstra c ao, vamos mostrar agora que: (2.1.5) fk (x) f (x) < (2.1.6) fk (x) fk+1 (x),
para todos x X e k 1. Sejam x X e k 1 xados. Se f (x) k + 1, ent ao fk (x) = k e fk+1 (x) = k + 1, donde (2.1.6) e satisfeita. Sen ao, seja r r +1 k +1 r = 0, . . . , (k + 1)2 1 o u nico inteiro tal que 2k+1 f (x) < 2 k+1 ; r temos fk+1 (x) = 2kr Seja s o maior inteiro menor ou igual a 2 ; da +1 . r+1 r s 2 < 2 s + 1 e portanto: s r r+1 s+1 k+1 f (x) < k+1 k . k 2 2 2 2 r s ario, se Se f (x) [0, k [, segue que fk (x) = 2k 2k+1 = fk+1 (x). Caso contr r k +1 f (x) [k, k + 1[ ent ao r k 2 e fk+1 (x) = 2k+1 k = fk (x). Em todo caso, a desigualdade (2.1.6) e satisfeita. 2.2. Integrando Fun c oes Simples n ao Negativas Ao longo de toda esta se c ao consideramos xado um espa co de medida (X, A, ). Recorde que uma fun c ao f : X [0, +] e simples e mensur avel 1 se e somente se Im(f ) e um subconjunto nito de [0, +] e f (c) A para todo c Im(f ) (vide Deni c ao 2.1.25 e Lema 2.1.27). o. Se f : X [0, +] 2.2.1. Definic a e uma fun c ao simples, mensur avel e n ao negativa ent ao a integral de f e denida por: f d =
X
c f 1 (c) .
cIm(f )
A integral
f d ser a tamb em ` as vezes denotada por: f (x) d(x).

X
50
Obviamente, para toda fun c ao simples mensur avel f : X [0, +], temos: f d 0.
X
Se Y A e um conjunto mensur avel ent ao e f acil ver que a restri c ao de ` a - algebra A|Y = A (Y ) e tamb em uma medida, de modo que a trinca (Y, A|Y , |(A|Y ) ) e um espa co de medida. Se f e uma fun c ao a valores em I R cujo dom nio cont em Y e tal que f |Y e simples, mensur avel e n ao negativa ent ao a integral de f |Y ser a denotada por: f d =
Y Y
f (x) d(x).
2.2.2. Lema. Seja f : X I R uma fun c ao e seja Y A. Suponha que f |Y e simples, mensur avel e n ao negativa (pelo Lema 2.1.31 isso equivale a dizer que f Y e simples, mensur avel e n ao negativa). Ent ao: f d =
Y X
f Y d.
o. Temos: Demonstrac a f d =
Y
c (f |Y )1 (c) =
c (f |Y )1 (c) ,
c f (Y )
c f ( Y ) c=0
f Y d =
c (f Y )1 (c) =
c (f Y )1 (c) .
cIm(f Y )
cIm(f Y ) c=0
A conclus ao segue das igualdades acima observando que para todo c = 0, temos c f (Y ) se e somente se c Im(f Y ) e, nesse caso: (f |Y )1 (c) = f 1 (c) Y = (f Y )1 (c). 2.2.3. Lema. Sejam A1 , . . . , Ak A conjuntos dois a dois disjuntos e sejam c1 , . . . , ck [0, +]. Ent ao:
k k
(2.2.1)
X i=1
ci Ai d =
i=1
ci (Ai ).
o. Eliminando os Demonstrac a ndices i tais que ci = 0 ou Ai = n ao alteramos o resultado de nenhum dos dois lados da igualdade (2.2.1); podemos portanto supor que ci = 0 e Ai = para todo i = 1, . . . , k . Seja f = k e poss vel ter i=1 ci Ai . Temos Im(f ) \ {0} = {c1 , . . . , ck }; note que ci = cj para i = j . Para c Im(f ), c = 0, temos:
k
f 1 (c) =
i=1 ci = c
Ai
51
e portanto:
k
f 1 (c) =
i=1 ci = c
(Ai ).
Logo:
k
f d =
X
c f
(c) =
c f
(c) =
cIm(f ) i=1 c=0 ci =c k
c(Ai )
k
cIm(f )
cIm(f ) c=0
=
cIm(f ) i=1 c=0 ci =c
ci (Ai ) =
i=1
ci (Ai ),
onde na u ltima igualdade usamos o fato que o conjunto {1, . . . , k } e uni ao disjunta dos conjuntos i {1, . . . , k } : ci = c , com c Im(f ), c = 0. 2.2.4. Lema. Sejam f : X [0, +], g : X [0, +] fun c oes simples e mensur aveis. Ent ao: f + g d =
X X
f d +
X
g d.
o. Podemos escrever: Demonstrac a

k l
f=
i=1
ci Ai ,
g=
j =1
dj Bj ,
onde tanto os conjuntos A1 , . . . , Ak A como os conjuntos B1 , . . . , Bl A constituem uma parti c ao de X (veja Observa c ao 2.1.30). Temos:
l
Bj = 1
j =1
e portanto:
l l
Ai =
j =1
Ai Bj =
j =1
Ai Bj ,
para todo i = 1, . . . , k ; da :
k l
(2.2.2)
f=
i=1 j =1
ci Ai Bj .
Como os conjuntos Ai Bj , i = 1, . . . , k , j = 1, . . . , l s ao dois a dois disjuntos, o Lema 2.2.3 nos d a:

k l
(2.2.3)
X
f d =
i=1 j =1
ci (Ai Bj ).
52
Analogamente, mostra-se que:

l k
(2.2.4) e portanto:
g=
j =1 i=1
dj Bj Ai
(2.2.5)
X
g d =
j =1 i=1
dj (Bj Ai ).
De (2.2.2) e (2.2.4) obtemos:

k l
f +g =
i=1 j =1
(ci + dj )Ai Bj ;
novamente, o Lema 2.2.3 nos d a:

k l
(2.2.6)
X
f + g d =
i=1 j =1
(ci + dj )(Ai Bj ).
A conclus ao segue de (2.2.3), (2.2.5) e (2.2.6). rio. Dados A1 , . . . , Ak A (conjuntos n 2.2.5. Corola ao necessariamente disjuntos) e c1 , . . . , ck [0, +] ent ao:
k k
ci Ai d =
X i=1 i=1
ci (Ai ).
o. Basta observar que: Demonstrac a

k k k
ci Ai d =
X i=1 i=1 X
ci Ai d =
i=1
ci (Ai ).
o. Se f : X I R, g : X I R s ao fun c oes ent ao escreve2.2.6. Notac a mos f g quando f (x) g (x), para todo x X . rio. Sejam f : X [0, +], g : X [0, +] fun 2.2.7. Corola c oes simples mensur aveis. Se f g ent ao: f d
X X
g d.
o. Dena h : X [0, +] fazendo: Demonstrac a h(x) = g (x) f (x), se x f 1 [0, +[ , 0, se x f 1 (+),
para todo x X . Temos g = f + h. A fun c ao h e mensur avel, pelo Lema 2.1.13 e pela Proposi c ao 2.1.19. Al em do mais, a fun c ao h e simples j a que sua imagem est a contida no conjunto nito: {0} a b : a Im(g ), b Im(f ) e b < + .
NEGATIVAS 2.3. INTEGRANDO FUNC OES MENSURAVEIS NAO
53
Segue ent ao do Lema 2.2.4 que: g d =

X X
f d +
X
h d
X
f d,
j a que
h d 0.
2.2.8. Lema. Sejam f : X [0, +] uma fun c ao simples mensur avel e c [0, +]. Ent ao: cf d = c
X X
f d.
o. Escreva: Demonstrac a
k
f=
i=1
ci Ai ,
onde os conjuntos A1 , . . . , Ak A constituem uma parti c ao de X . Da :

k
cf =
i=1
cci Ai .
O Lema 2.2.3 nos d a ent ao:

k k
cf d =
X i=1
cci (Ai ) = c
i=1
ci (Ai ) = c
X
f d.
2.3. Integrando Fun c oes Mensur aveis n ao Negativas Ao longo de toda esta se c ao consideramos xado um espa co de medida (X, A, ). Dada uma fun c ao mensur avel n ao negativa f : X [0, +] consideramos o conjunto: (2.3.1) I (f ) =
X
d : : X [0, +] e fun c ao simples mensur avel tal que f [0, +].
Observe que o conjunto I (f ) n ao e vazio, j a que a fun c ao 0 e simples, mensur avel, n ao negativa e menor ou igual a f , de modo que 0 I (f ). Armamos que se f : X [0, +] e uma fun c ao simples mensur avel ent ao: f d = sup I (f ).
X
De fato, nesse caso f e uma fun c ao simples, mensur avel, n ao negativa e menor ou igual a f , de modo que X f d I (f ) e sup I (f ) X f d. Por outro lado, o Corol ario 2.2.7 implica que X d X f d para toda fun c ao simples mensur avel : X [0, +] tal que f ; portanto X f d e uma cota superior de I (f ) e sup I (f ) X f d. Em vista das considera c oes acima podemos introduzir a seguinte:
54
o. Se f : X [0, +] 2.3.1. Definic a e uma fun c ao mensur avel n ao negativa ent ao a integral de f e denida por: f d = sup I (f ) [0, +],
X
onde I (f ) e o conjunto denido em (2.3.1). Como no caso de fun c oes simples, a integral vezes denotada por: f (x) d(x).
X
f d ser a tamb em ` as
Al em do mais, se Y A e se f e uma fun c ao a valores em I R cujo dom nio cont em Y e tal que f |Y e mensur avel e n ao negativa ent ao a integral de f |Y com respeito ` a medida |(A|Y ) ser a denotada por: f d =
Y Y
f (x) d(x).
2.3.2. Lema. Sejam f : X [0, +], g : X [0, +] fun c oes mensur aveis. Se f g ent ao: f d
X X
g d.
o. Se : X [0, +] Demonstrac a e uma fun c ao simples mensur avel tal que f ent ao tamb em g ; isso implica que I (f ) I (g ) e portanto sup I (f ) sup I (g ). 2.3.3. Teorema (da converg encia monot onica). Seja (fn )n1 uma seq u encia de fun c oes mensur aveis n ao negativas fn : X [0, +]. Se fn f ent ao f : X [0, +] e mensur avel e: f d = lim
X n X
fn d.
o. A mensurabilidade de f segue do Corol Demonstrac a ario 2.1.24. O Lema 2.3.2 implica que X fn d n1 e uma seq u encia crescente e que:
n X
lim
fn d
X
f d.
Para mostrar a desigualdade oposta, e suciente vericar que: (2.3.2)

n X
lim
fn d
X
d,
para toda fun c ao simples mensur avel : X [0, +] tal que f . k Escreva = i=1 ci Ai , com c1 , . . . , ck ]0, +] e A1 , . . . , Ak A dois a dois disjuntos e n ao vazios. Fixados c1 , . . . , ck > 0 com ci < ci , i = 1, . . . , k , denimos:
1 An [ci , +] Ai A, i = x Ai : fn (x) ci = fn
55
para todo n 1. Para n 1 xado, os conjuntos An ao dois i , i = 1, . . . , k s a dois disjuntos e:

k
fn
i=1
ci An ; i
os Lemas 2.3.2 e 2.2.3 nos d ao ent ao:

k
(2.3.3)
X
fn d
i=1
ci (An i ).
Note que para todo x Ai temos f (x) (x) = ci > ci e portanto, como fn f , temos que An Ai . O Lema 1.4.48 nos d a ent ao: i
n
lim (An i ) = (Ai );
fazendo n em (2.3.3) obtemos (veja Exerc cio 1.5):

k
(2.3.4)
n X
lim
fn d
i=1
ci (Ai ).
Como a desigualdade (2.3.4) vale para quaisquer ci ]0, ci [, temos:

k
(2.3.5)
n X
lim
fn d
i=1
ci,m (Ai ),
para todo m 1, onde (ci,m )m1 e uma seq u encia crescente (arbitrariamente escolhida) em ]0, ci [ que converge para ci . Fazendo m em (2.3.5) obtemos:
k n X
lim
fn d
i=1
ci (Ai ) =
X
d,
o que prova (2.3.2) e completa a demonstra c ao. R uma fun c ao e seja Y A. Suponha que 2.3.4. Lema. Seja f : X I f |Y e mensur avel e n ao negativa (pelo Lema 2.1.31 isso equivale a dizer que f Y e mensur avel e n ao negativa). Ent ao: f d =
Y X
f Y d.
o. Pela Proposi Demonstrac a c ao 2.1.33 existe uma seq u encia (fn )n1 de fun c oes simples mensur aveis fn : X [0, +[ tal que fn f Y . Como cada fn e simples o Lema 2.2.2 nos d a: fn d =
Y X
fn Y d,
para todo n 1. Obviamente fn |Y f |Y e (fn Y ) (f Y ). A conclus ao segue portanto do Teorema 2.3.3 fazendo n na igualdade acima.
DA INTEGRAL: O CASO GERAL 2.4. DEFINIC AO
56
rio. Se f : X [0, +] 2.3.5. Corola e uma fun c ao mensur avel ent ao: f d
Y X
f d,
para todo Y A. o. Temos: Demonstrac a f d =

Y X
f Y d
f d,
X
onde na u ltima desigualdade usamos o Lema 2.3.2. 2.3.6. Lema. Sejam f : X [0, +], g : X [0, +] fun c oes mensur aveis. Ent ao: f + g d =
X X
f d +
X
g d,
X
cf d = c
X
f d,
para qualquer c [0, +]. o. Pela Proposi Demonstrac a c ao 2.1.33 existem seq u encias (fn )n1 , (gn )n1 de fun c oes simples mensur aveis fn : X [0, +[, gn : X [0, +[ tais que fn f e gn g . Como as fun c oes fn e gn s ao simples, os Lemas 2.2.4 e 2.2.8 nos d ao: fn + gn d =
X X
fn d +
X
gn d,
X
cfn d = c
X
fn d.
Temos (fn + gn ) (f + g ) e (cfn ) (cf ) (veja Lema 1.1.8 e Exerc cio 1.5). A conclus ao segue portanto do Teorema 2.3.3 fazendo n nas igualdades acima. 2.4. Deni c ao da Integral: o Caso Geral Ao longo de toda esta se c ao consideramos xado um espa co de medida R ent ao, como (X, A, ). Dada uma fun c ao mensur avel arbitr aria f : X I vimos no Lema 2.1.21, temos f = f + f , onde a parte positiva f + e a parte negativa f de f s ao fun c oes mensur aveis n ao negativas denidas em X . Obviamente, se f j a e n ao negativa ent ao f + = f e f = 0, de modo que + c ao, introduzimos X f d = X f d X f d. Em vista dessa observa a seguinte: o. Diremos que uma fun 2.4.1. Definic a c ao f : X I R e quase inte+ gr avel quando f for mensur avel e a diferen ca X f d X f d estiver + bem-denida, ou seja, quando X f d < + ou X f d < +; nesse caso, denimos a integral de f fazendo: f d =
X X
f + d
X
f d I R.
Quando f e quase integr avel e X f d I R (ou seja, se X f + d < + e ao dizemos que a fun c ao f e integr avel. X f d < +) ent
57
Como na Se c ao 2.3, introduzimos tamb em a nota c ao alternativa: f (x) d(x),

X
para a integral de f . Tamb em, se Y A e se f e uma fun c ao a valores em I R cujo dom nio cont em Y ent ao dizemos que f e quase integr avel em Y (resp., integr avel em Y ) se a fun c ao f |Y for quase integr avel (resp., integr avel) com respeito ` a medida |(A|Y ) ; quando f for quase integr avel em Y , a integral de f |Y com respeito ` a medida |(A|Y ) ser a denotada por: f d =
Y Y
f (x) d(x).
o. Seja X M(I 2.4.2. Convenc a Rn ) um subconjunto Lebesgue menn sur avel de I R e seja f : X I R uma fun c ao mensur avel; como sempre (recorde Conven c oes 2.1.3 e 2.1.11) assumimos que X e munido da - algebra M(I Rn )|X constitu da pelos subconjuntos Lebesgue mensur aveis de I Rn que est ao contidos em X . Nesse contexto, a menos de men c ao expl cita em contr ario, quando usamos os adjetivos quase integr avel e integr avel , subentendemos que a - algebra M(I Rn )|X e munida da (restri c ao da) medida n de Lebesgue m : M(I R ) [0, +]. Quando for necess ario enfatizar essa conven c ao, diremos tamb em que f e Lebesgue quase integr avel ou Lebesgue integr avel, dependendo do caso. o. Se X M(I 2.4.3. Definic a Rn ) e um subconjunto Lebesgue menn R e uma fun c ao quase integr avel ent ao a integral sur avel de I R e se f : X I de f com respeito ` a (restri c ao ` a M(I Rn )|X ) da medida de Lebesgue m ser a chamada a integral de Lebesgue de f e ser a denotada (seguindo as nota c oes anteriormente introduzidas) por X f dm ou por X f (x) dm(x). o. Seja f : I I R uma fun c ao denida num intervalo 2.4.4. Notac a I I R. Dados a, b I com a b ent ao, se f for quase integr avel no intervalo [a, b], denotamos por:
b b
f dm =
a a
f (x) dm(x)
a integral de Lebesgue de f |[a,b] . Se b < a e se f e quase integr avel em [b, a] ent ao escrevemos:
b b
f dm =
a a
f (x) dm(x) =
b
def
f.
Se a I , I e ilimitado ` a direita e f e quase integr avel em [a, +[ ent ao denotamos por:

+ +
f dm =
a a a a
f (x) dm(x)
a integral de Lebesgue de f |[a,+[ ; escrevemos tamb em: f dm =

+ +
f (x) dm(x) =
a
def
f dm.
58
Similarmente, se a I , I e ilimitado ` a esquerda e f e quase integr avel em ], a] ent ao denotamos por:

a a
f dm =

f (x) dm(x)
a integral de Lebesgue de f |],a] ; escrevemos tamb em:

f dm =
a a
f (x) dm(x) =
def
f dm.
Claramente a restri c ao de f ao intervalo degenerado [a, a] = {a} e uma fun c ao simples integr avel e:
a a
f dm = f + (a)m {a} f (a)m {a} = 0.
2.4.5. Lema. Seja f : X I R uma fun c ao e seja Y A. Ent ao f |Y e quase integr avel se e somente se f Y e quase integr avel; nesse caso: f d =
Y X
f Y d.
o. Pelo Lema 2.1.31, temos que f |Y Demonstrac a e mensur avel se e somente se f Y e mensur avel. Al em do mais, temos: (f |Y )+ = f + |Y , (f Y )+ = f + Y , (f |Y ) = f |Y , (f Y ) = f Y .
A conclus ao segue ent ao das igualdades acima e do Lema 2.3.4. 2.4.6. Lema. Sejam f1 : X [0, +], f2 : X [0, +] fun c oes mensur aveis n ao negativas tais que a diferen ca f = f1 f2 esteja bemdenida (i.e., n ao existe x X com f1 (x) = f2 (x) = +). Ent ao existe uma fun c ao mensur avel n ao negativa h : X [0, +] tal que f1 = f + + h e f2 = f + h. o. Observe em primeiro lugar que f + f1 . De fato, se Demonstrac a + f (x) 0 ent ao f (x) = f (x) = f1 (x) f2 (x) f1 (x) e se f (x) < 0 ent ao + f (x) = 0 f1 (x). Denimos h fazendo: + 1 R), f1 (x) f (x), se x f (I h(x) = f2 (x), se x f 1 (+), f1 (x), se x f 1 (). Claramente h e n ao negativa; a mensurabilidade de h segue do Lema 2.1.13 e da Proposi c ao 2.1.19. Veriquemos que f1 = f + + h e f2 = f + h. Para x f 1 (I R), temos: f + (x) + h(x) = f + (x) + f1 (x) f + (x) = f1 (x), f (x) + h(x) = f (x) + f1 (x) f + (x) = f1 (x) f (x) = f2 (x).
59
Se x f 1 (+) ent ao: f + (x) + h(x) = + = f1 (x), nalmente, se x f 1 (): f + (x) + h(x) = h(x) = f1 (x), f (x) + h(x) = + = f2 (x). f (x) + h(x) = h(x) = f2 (x);
o. Sejam f : X I 2.4.7. Proposic a R, g : X I R fun c oes quase integr aveis e seja c I R. (a) Se as somas X f d + X g d e f + g estiverem bem-denidas ent ao a fun c ao f + g e quase integr avel e X f + g d = X f d + X g d. (b) A fun c ao cf e quase integr avel e X cf d = c X f d. o. Temos: Demonstrac a f + g = (f + f ) + (g + g ) = (f + + g + ) (f + g ); pelo Lema 2.4.6 existe uma fun c ao mensur avel h : X [0, +] tal que: f + + g + = (f + g )+ + h, O Lema 2.3.6 nos d a: (2.4.1)
X
f + g = (f + g ) + h.
f + d +
X
g + d =
X
(f + g )+ d +
X
h d, h d.
X
(2.4.2)
X
f d +
X
g d =
X
(f + g ) d +
Por deni c ao temos: f d =

X X
f + d
X
f d,
X
g d =
X
g + d
X
g d.
A quase integrabilidade das fun c oes f e g juntamente com o fato que a soma X f d + X g d est a bem denida implicam que o lado esquerdo de pelo menos uma das igualdades (2.4.1) e (2.4.2) e nito. Isso implica que a integral de h e nita e que pelo menos uma das integrais X (f + g )+ d, e nita, i.e., f + g e quase integr avel. A demonstra c ao do X (f + g ) d item (a) e obtida ent ao subtraindo a igualdade (2.4.2) da igualdade (2.4.1). Para demonstrar o item (b), consideramos primeiramente o caso que c 0. Nesse caso, usando o Lema 2.3.6, temos: (cf )+ d =
X X
cf + d = c
X
f + d, f d.
X
(cf ) d =
X X
cf d = c
60
Isso mostra que cf e quase integr avel e temos: (cf )+ d =

X X
cf d = c
f d. Se c < 0
(c)f d = (c)
X
f d, f + d,
X
(cf ) d =
X X
(c)f + d = (c)
o que completa a demonstra c ao do item (b). 2.4.8. Lema. Sejam f : X I R, g : X I R fun c oes quase integr aveis. Se f g ent ao X f d X g d. o. Verica-se facilmente que f + g + e f g , donde, Demonstrac a pelo Lema 2.3.2: f + d
X X
g + d,
X
f d
X
g d.
A conclus ao e obtida subtraindo as duas desigualdades acima. R, temos: 2.4.9. Lema. Dada uma fun c ao f : X I (a) se f e quase integr avel ent ao f |Y tamb em e quase integr avel para todo Y A; (b) se X1 , . . . , Xk A s ao conjuntos dois a dois disjuntos tais que k e quase integr avel para i = 1, . . . , k e tais que a X = i=1 Xi , f |Xi soma: (2.4.3)
X1
f d +
X2
f d + +
Xk
f d
X
est a bem denida ent ao f e quase integr avel e soma (2.4.3). o. Pelos Corol Demonstrac a ario 2.3.5 temos: f + d
Y X
f d e igual ` a
f + d,
Y
f d
X
f d,
o que prova o item (a). Passemos ` a prova do item (b). Temos: f = f X1 + f X2 + + f Xk . Pelo Lema 2.4.5, as fun c oes f Xi s ao quase integr aveis e: f d =
Xi X
f Xi d,
para i = 1, . . . , k . A conclus ao segue da Proposi c ao 2.4.7. 2.4.10. Lema. Se (X ) = 0 ent ao sur avel f : X I R.
X
f d = 0 para toda fun c ao men-
2.5. TEOREMAS DE CONVERGENCIA
61
o. Se : X [0, +] Demonstrac a e uma fun c ao simples mensur avel ent ao X d = 0, j a que 1 (c) = 0, para todo c Im(). Da , se f e n ao negativa ent ao X f d = 0, j a que X d = 0 para toda fun c ao simples mensur avel n ao negativa f . Finalmente, se f : X I R e uma fun c ao mensur avel arbitr aria ent ao X f + d = X f d = 0 e portanto X f d = 0. rio. Se X A 2.4.11. Corola e tal que (X \ X ) = 0 ent ao uma fun c ao mensur avel f : X I R e quase integr avel se e somente se f |X e quase integr avel e nesse caso X f d = X f d. o. Pelo Lema 2.4.10 temos Demonstrac a segue do Lema 2.4.9, j a que: f d =
X X X \X
f d = 0. A conclus ao
f d +
X \X
f d.
A seguinte terminologia e extremamente conveniente: 2.4.12. Definic ao. Dizemos que uma propriedade P referente a pontos do espa co de medida X e v alida quase sempre (ou em quase todo ponto de X ) se existe um conjunto X A tal que (X \ X ) = 0 e tal que a propriedade P e v alida em todos os pontos de X . Dizemos tamb em que a propriedade P e satisfeita q. s. (ou -q. s.). rio. Sejam f : X I 2.4.13. Corola R, g : X I R fun c oes mensur aveis. Se f = g quase sempre ent ao f e quase integr avel se e somente se g e quase integr avel e, nesse caso, X f d = X g d. o. Por hip Demonstrac a otese existe X A tal que (X \ X ) = 0 e f |X = g |X . A conclus ao segue do Corol ario 2.4.11, j a que: f d =
X X
f d =
X
g d =
X
g d.
2.5. Teoremas de Converg encia No que segue, (X, A, ) denota sempre um espa co de medida. 2.5.1. Teorema (da converg encia monot onica). Seja (fn )n1 uma seq u encia de fun c oes mensur aveis fn : X I R e seja f : X I R uma fun c ao mensur avel. Suponha que f1 e quase integr avel. Ent ao: (a) se X f1 d > e fn f q. s. ent ao f e fn s ao quase integr aveis para todo n 1 e limn X fn d = X f d; (b) se X f1 d < + e fn f q. s. ent ao f e fn s ao quase integr aveis para todo n 1 e limn X fn d = X f d. suciente provar o item (a), j o. E Demonstrac a a que o item (b) segue do item (a) trocando fn por fn e f por f . Em primeiro lugar, como X f1 d > , segue do resultado do Exerc cio 2.16 que f1 > quase sempre; existe portanto um subconjunto mensur avel X de X com
62
complementar de medida nula tal que f1 (x) > e fn (x) f (x), para todo x X . Em vista do Corol ario 2.4.11, e suciente mostrar a tese do teorema para as restri c oes a X das fun c oes em quest ao. Para cada n 1, dena gn : X [0, +] fazendo gn (x) = fn (x) f1 (x), se f1 (x) < + e gn (x) = 0, se f1 (x) = +; da gn e mensur avel e fn = gn + f1 . De modo an alogo, denimos g : X [0, +] mensur avel com f = g + f1 . Da gn g e portanto o Teorema 2.3.3 nos d a: (2.5.1)
n X
lim
gn d =
X
g d.
Note que como X f1 d > e X gn d 0, o item (a) da Proposi c ao 2.4.7 nos diz que fn = gn + f1 e quase integr avel e: (2.5.2)
X
fn d =
X
gn d +
X
f1 d;
similarmente, f e quase integr avel e X f d = X g d + X f1 d. A conclus ao e obtida agora fazendo n em (2.5.2) e usando (2.5.1). o (Lema de Fatou). Seja (fn )n1 uma seq 2.5.2. Proposic a u encia de R. Ent ao: fun c oes mensur aveis fn : X I R tal que fn (a) se existe uma fun c ao quase integr avel : X I ao fn e quase integr avel q. s. para todo n 1 e X d > ent para todo n 1, lim inf n fn e quase integr avel e:
X n
lim inf fn d lim inf

n X
fn d;
(b) se existe uma fun c ao quase integr avel : X I R tal que fn q. s. para todo n 1 e X d < + ent ao fn e quase integr avel para todo n 1, lim supn fn e quase integr avel e: lim sup
n X
fn d
X
lim sup fn d.
n
suciente mostrar o item (a), j o. E Demonstrac a a que o item (b) segue do item (a) trocando fn por fn e por . Em primeiro lugar, a quase integrabilidade das fun c oes fn segue do resultado do Exerc cio 2.17. Para cada n 1 seja gn = inf kn fk . Da gn q. s., de modo que gn e quase integr avel e X gn d > ; al em do mais, gn fk para todo k n e portanto: gn d inf
X k n X
fk d.
Claramente gn (lim inf k fk ) e portanto a conclus ao segue do item (a) do Teorema 2.5.1, fazendo n na desigualdade acima. o. Se (fn )n1 2.5.3. Notac a e uma seq u encia de fun c oes fn : X I R R e uma fun c ao ent ao escrevemos fn f quando (fn )n1 e f : X I convergir para f pontualmente, i.e., limn fn (x) = f (x) para todo x X .
63
2.5.4. Teorema (da converg encia dominada). Seja (fn )n1 uma seq u encia de fun c oes mensur aveis fn : X I R tal que fn f q. s., onde f : X I R e uma fun c ao mensur avel. Se existe uma fun c ao integr avel : X [0, +] tal que |fn | q. s. para todo n 1 ent ao fn e integr avel para todo n 1, f e integr avel e:
n X
lim
fn d =
X
f d.
o. A integrabilidade das fun Demonstrac a c oes fn , f segue das desigualdades |fn | q. s. e |f | q. s. e do resultado do Exerc cio 2.17. Como fn q. s. para todo n 1 e X d I R, estamos dentro das hip oteses de ambos os itens da Proposi c ao 2.5.2 e portanto: f d =
X
X n
lim inf fn d lim inf

n X
fn d lim sup
n X
fn d f d.
X
lim sup fn d =
n
Logo limn
fn d =
f d.
o. Sejam Y um subconjunto de I 2.5.5. Proposic a R n , y0 I Rn um ponto de acumula c ao de Y e f : X Y I R uma fun c ao tal que: para todo y Y , a fun c ao X x f (x, y ) I R e integr avel; para todo x X o limite limyy0 f (x, y ) existe em I R; existe uma fun c ao integr avel : X I R e uma vizinhan ca V de y0 em I Rn tal que |f (x, y )| (x), para todo x X e todo y V Y com y = y0 . Ent ao, a fun c ao X x limyy0 f (x, y ) I R e integr avel, o limite limyy0 X f (x, y ) d(x) existe e:
y y0
lim
f (x, y ) d(x) =
X
X y y0
lim f (x, y ) d(x).
o. Considere a aplica Demonstrac a c ao g : Y I R denida por: g (y ) =

X
f (x, y ) d(x),
para todo y Y e a aplica c ao h : X I R denida por: h(x) = lim f (x, y ),

y y0
para todo x X . Devemos mostrar que h e integr avel e que o limite limyy0 g (y ) existe e e igual ` a integral de h. Seja (yn )n1 uma seq u encia em Y com yn = y0 para todo n 1 e limn yn = y0 . Para cada n 1, considere a fun c ao fn : X I R denida por fn (x) = f (x, yn ), para todo x X . Temos que fn e integr avel, para todo n 1 e que fn h. Para
64
n sucientemente grande temos yn V e portanto |fn | . Segue do Teorema 2.5.4 que h e integr avel e que: h d = lim
X n X
fn d = lim g (yn ).
n
Como (yn )n1 e uma seq u encia arbitr aria em Y \ {y0 } convergindo para y0 , segue que limyy0 g (y ) = X h d. rio. Seja Y um subconjunto de I 2.5.6. Corola Rn , y0 um ponto de Y e f :X Y I R uma fun c ao tal que: para todo y Y , a fun c ao X x f (x, y ) I R e integr avel; para todo x X , a fun c ao Y y f (x, y ) I R e cont nua no ponto y0 ; existe uma fun c ao integr avel : X I R e uma vizinhan ca V de y0 em I Rn tal que |f (x, y )| (x), para todo x X e todo y V Y com y = y0 . Ent ao, a fun c ao Y y X f (x, y ) d(x) I R e cont nua no ponto y0 . o. Se y0 Demonstrac a e um ponto isolado de Y ent ao n ao h a nada para ser mostrado, j a que toda fun c ao e cont nua em pontos isolados de seu dom nio. Se y0 e um ponto de acumula c ao de Y , a Proposi c ao 2.5.5 nos d a:
y y0
lim
f (x, y ) d(x) =
X
X y y0
lim f (x, y ) d(x) =

X
f (x, y0 ) d(x),
o que completa a demonstra c ao. o. Sejam I I 2.5.7. Proposic a R um intervalo com mais de um ponto, y0 um ponto de I e f : X I I R uma fun c ao tal que: para todo y I , a fun c ao X x f (x, y ) I R e integr avel; para todo x X , a fun c ao I y f (x, y ) I R e deriv avel; existe uma fun c ao integr avel : X I R e > 0 tal que: f (x, y ) (x), y para todo x X e todo y I ]y0 , y0 + [ com y = y0 . Ent ao a fun c ao I y X f (x, y ) d(x) I R e deriv avel no ponto y0 , a f fun c ao X x y (x, y0 ) I R e integr avel e: d dy
y = y0
f (x, y ) d(x) =
X X
f (x, y0 ) d(x). y
o. Considere a fun Demonstrac a c ao g : I I R denida por: g (x, y ) =

X
f (x, y ) d(x),
para todo y I . Dado h = 0 com y0 + h I ent ao: g (y0 + h) g (y0 ) f (x, y0 + h) f (x, y0 ) (2.5.3) = d(x). h h X
2.6. RIEMANN X LEBESGUE
65
Obviamente: f (x, y0 + h) f (x, y0 ) f = (x, y0 ), h y para todo x X . Se h = 0, y0 + h I e |h| ent ao o Teorema do Valor M edio nos d a: f f (x, y0 + h) f (x, y0 ) = (x, y0 + h) (x), (2.5.5) h y onde ]0, 1[. A conclus ao segue da Proposi c ao 2.5.5 e de (2.5.4) e (2.5.5), fazendo h 0 em (2.5.3). (2.5.4)
h0
lim
2.6. Riemann x Lebesgue No que segue usaremos sistematicamente a terminologia e nota c ao introduzidas nas Deni c oes 1.3.1 e 1.3.2. Introduzimos mais alguma terminologia sobre parti c oes e blocos. o. Seja B um bloco retangular n-dimensional tal que 2.6.1. Definic a |B | > 0 e seja P = (P1 , . . . , Pn ) uma parti c ao do bloco B . Uma parti c ao Q = (Q1 , . . . , Qn ) de B e dita um renamento de P se Qi Pi , para i = 1, . . . , n. A norma da parti c ao P , denotada por P , e denida como o m aximo dos di ametros dos sub-blocos de B determinados por P . Claramente se uma parti c ao Q rena uma parti c ao P ent ao todo subbloco de B determinado por Q est a contido em algum sub-bloco de B determinado por P . No que segue, consideramos xado um bloco retangular n-dimensional B com |B | > 0 e uma fun c ao limitada f : B I R. o. Se P 2.6.2. Definic a e uma parti c ao de B ent ao a soma inferior de Riemann de f com respeito a P e denida por: s(f ; P ) =
bP
inf f (b) |b|,
e a soma superior de Riemann de f com respeito a P e denida por: S (f ; P ) =

bP
sup f (b) |b|.
Obviamente: (2.6.1) s(f ; P ) S (f ; P ), para toda parti c ao P de B . N os consideramos as seguintes fun c oes mP : B I R , MP : B I R associadas a uma parti c ao P de B : mP =
bP
inf f (b) int(b) ,
MP =
bP
sup f (b) int(b) .
Mais explicitamente, dado x B , se x pertence ao interior de algum subbloco b de B determinado por P ent ao o valor da fun c ao mP (resp., da
66
fun c ao MP ) no ponto x e igual ao nmo (resp., o supremo) de f no bloco b; se x pertence ` a fronteira de algum sub-bloco de B determinado por P ent ao mP (x) = MP (x) = 0. Obviamente mP e MP s ao fun c oes simples Lebesgue integr aveis e: (2.6.2)
B
mP dm = s(f ; P ),
B
MP dm = S (f ; P ),
j a que m int(b) = m(b) = |b|, para todo b P (vide Corol ario 1.4.8). Temos: (2.6.3) inf f (B ) mP (x) f (x) MP (x) sup f (B ), para todo x
bP
int(b);
como a uni ao das fronteiras dos blocos b P tem medida nula, segue que as desigualdades em (2.6.3) valem para quase todo x B . Se Q e uma parti c ao de B que rena P ent ao armamos que: (2.6.4) mP (x) mQ (x), MQ (x) MP (x), para todo x
bQ
int(b);
de fato, se x int(b), para algum bloco b Q ent ao b est a contido em algum bloco b P , donde int(b) int(b ) e portanto: mP (x) = inf f (b ) inf f (b) = mQ (x), MQ (x) = sup f (b) sup f (b ) = MP (x). 2.6.3. Lema. Dadas parti c oes P e Q de B , se Q rena P ent ao: s(f ; P ) s(f ; Q), S (f ; Q) S (f ; P ).
o. Note que as desigualdades em (2.6.4) valem para quaDemonstrac a se todo x B . Basta ent ao usar integra c ao e as igualdades (2.6.2). rio. Para quaisquer parti 2.6.4. Corola c oes P e Q de B temos: s(f ; P ) S (f ; Q). o. Se P = (P1 , . . . , Pn ) e Q = (Q1 , . . . , Qn ), denotamos Demonstrac a por P Q a parti c ao de B dada por P Q = (P1 Q1 , . . . , Pn Qn ); da P Q rena tanto P como Q. Usando o Lema 2.6.3 e a desigualdade (2.6.1) obtemos: s(f ; P ) s(f ; P Q) S (f ; P Q) S (f ; Q).
67
o. A integral inferior de Riemann e a integral superior 2.6.5. Definic a de Riemann de uma fun c ao limitada f : B I R s ao denidas respectivamente por:
(R )
f = sup s(f ; P ) : P parti c ao de B ,

(R )
f = inf S (f ; P ) : P parti c ao de B .
Quando a integral inferior e a integral superior de f coincidem dizemos que f e Riemann integr avel e nesse caso a integral de Riemann de f e denida por:
(R )
f = (R )
f = (R )
f.
Note que o Corol ario 2.6.4 implica que:

(R )
f (R )
f.
Vamos agora determinar condi c oes necess arias e sucientes para que uma fun c ao f seja Riemann integr avel e vamos comparar a integral de Riemann de f com a integral de Lebesgue de f . Consideraremos as fun c oes m : B I R, M : B I R denidas por: m(x) = sup inf f (y ),
>0 y B d(y,x)<
M (x) = inf sup f (y ),

>0 y B d(y,x)<
para todo x B . Claramente: (2.6.5) inf f (B ) m(x) f (x) M (x) sup f (B ), para todo x B . Temos o seguinte: 2.6.6. Lema. Dado x B ent ao m(x) = M (x) se e somente se f e cont nua no ponto x. o. Suponha que f Demonstrac a e cont nua no ponto x. Dado > 0 ent ao existe > 0 tal que f (x) < f (y ) < f (x) + , para todo y B com d(y, x) < . Da :
y B d(y,x)<
inf f (y ) f (x) ,
sup f (y ) f (x) + ,
y B d(y,x)<
e portanto: f (x) m(x) M (x) f (x) + . Como > 0 e arbitr ario, segue que m(x) = M (x). Reciprocamente, suponha que m(x) = M (x); da , por (2.6.5), temos m(x) = f (x) = M (x). Portanto, para todo > 0, existem 1 , 2 > 0 tais que:
y B d(y,x)<1
inf f (y ) > f (x) ,
sup f (y ) < f (x) + .

y B d(y,x)<2
68
Tome = min{1 , 2 } > 0; da , para todo y B com d(y, x) < , temos: f (x) < f (y ) < f (x) + , o que prova que f e cont nua no ponto x. Se P e uma parti c ao de B , observamos que: (2.6.6) mP (x) m(x), M (x) MP (x), para todo x
bP
int(b);
de fato, basta observar que se x pertence ao interior de um bloco b P ent ao existe > 0 tal que a bola de centro x e raio est a contida em b e portanto: mP (x) = inf f (y ) inf f (y ) m(x),
y b y B d(y,x)< y b
M (x) sup f (y ) sup f (y ) = MP (x).

y B d(y,x)<
Al em do mais, temos o seguinte: 2.6.7. Lema. Se (Pk )k1 e uma seq u encia de parti c oes do bloco retangular B tal que Pk 0 ent ao mPk m q. s. e MPk M q. s.. o. Seja A a uni Demonstrac a ao das fronteiras de todos os sub-blocos de B determinados por todas as parti c oes Pk ; como a quantidade de blocos em quest ao e enumer avel, temos que A tem medida nula. Seja x B , x A; vamos mostrar que mPk (x) m(x) e MPk (x) M (x). Seja dado > 0. Temos que existem 1 , 2 > 0 tais que:
y B d(y,x)<1
inf f (y ) > m(x) ,
sup f (y ) < M (x) + .

y B d(y,x)<2
Seja k0 tal que Pk < min{1 , 2 }, para todo k k0 . Vamos mostrar que: (2.6.7) mPk (x) > m(x) , MPk (x) < M (x) + , para todo k k0 . Fixado k k0 , seja b Pk tal que x pertence ao interior de b. Como o di ametro de b e menor que min{1 , 2 }, temos que b est a contido na bola de centro x e raio 1 e na bola de centro x e raio 2 , de modo que: mPk (x) = inf f (y ) inf f (y ) > m(x) ,
y b y B d(y,x)<1
MPk (x) = sup f (y ) sup f (y ) < M (x) + ,

y b y B d(y,x)<2
provando (2.6.7). Usando (2.6.6) e (2.6.7) conclu mos agora que: m(x) < mPk (x) m(x), o que completa a demonstra c ao. M (x) MPk (x) < M (x) + ,
69
rio. As fun 2.6.8. Corola c oes m e M s ao Lebesgue integr aveis e:
m dm = (R)
B
f,
B
M dm = (R)
f.
o. Segue do Lema 2.6.7 e do resultado do item (c) do Demonstrac a Exerc cio 2.7 que as fun c oes m e M s ao mensur aveis. Seja agora (Pk )k1 uma seq u encia de parti c oes de B tal que: (2.6.8)
k
lim s(f ; Pk ) = (R)
f.
Podemos renar cada parti c ao Pk de modo que Pk 0; o Lema 2.6.3 garante que a condi c ao (2.6.8) continua satisfeita. Como o bloco B tem medida nita, qualquer fun c ao constante nita denida em B e integr avel; logo, as desigualdades em (2.6.3) implicam que a seq u encia de fun c oes (mPk )k1 satisfaz as hip otese do Teorema da Converg encia Dominada. Usando o Lema 2.6.7 e as identidades (2.6.2) obtemos ent ao:
k
lim s(f ; Pk ) = lim
k B
mPk dm =
B
m dm.
De modo totalmente an alogo, mostra-se que a integral de Lebesgue de M e igual ` a integral superior de Riemann de f . Estamos em condi c oes agora de provar o resultado principal desta se c ao. o. Seja B um bloco retangular n-dimensional com 2.6.9. Proposic a |B | > 0 e seja f : B I R uma fun c ao limitada. Ent ao: (a) f e Riemann integr avel se e somente se o conjunto das descontinuidades de f tem medida nula; (b) se f e Riemann integr avel ent ao f e Lebesgue integr avel e: f dm = (R)
B
f.
o. Em vista do Corol Demonstrac a ario 2.6.8, f e Riemann integr avel se e somente se: m dm =
B B
M dm.
Como m M , o resultado do Exerc cio 2.19 implica que f e Riemann integr avel se e somente se M = m quase sempre. O item (a) segue portanto do Lema 2.6.6. Passemos ` a demonstra cao do item (b). Suponha que f e Riemann integr avel. Ent ao M = m quase sempre e de (2.6.5) segue que m = f = M quase sempre. O resultado do item (b) do Exerc cio 2.7 implica ent ao que f e mensur avel; al em do mais: f dm =
B B
m dm = (R)
f = (R )
f.
70
2.6.1. A integral impr opria de Riemann. Na Deni c ao 2.6.5 introduzimos a no c ao de integral de Riemann para fun c oes limitadas denidas em blocos retangulares. A no c ao de integral de Riemann pode ser estendida para contextos mais gerais, envolvendo fun c oes n ao limitadas denidas em dom nios n ao limitados. Tais extens oes s ao normalmente conhecidas como integrais impr oprias de Riemann e s ao denidas atrav es de limites de integrais pr oprias (i.e., integrais de fun c oes limitadas em conjuntos limitados). o. Seja [a, b] I 2.6.10. Notac a R um intervalo com a < b. Se f e uma fun c ao a valores reais denida num conjunto que cont em [a, b] e se f |[a,b] e limitada e Riemann integr avel ent ao a integral de Riemann de f |[a,b] ser a denotada por:
b (R ) a
f.
o. Seja f : [a, +[ I 2.6.11. Definic a R uma fun c ao tal que para todo u ]a, +[, a restri c ao de f ao intervalo [a, u] e limitada e Riemann integr avel. A integral impr opria de Riemann de f e denida por:
+ (R ) a u
f = lim
(R ) a
f,
desde que o limite acima exista em I R. Quando esse limite e nito, dizemos que a integral impr opria de f e convergente. o. Seja f : [a, +[ I 2.6.12. Proposic a R uma fun c ao tal que para todo u ]a, +[, a restri c ao de f ao intervalo [a, u] e limitada e Riemann integr avel. Ent ao f e mensur avel. Al em do mais, se f e Lebesgue quase integr avel ent ao a integral impr opria de Riemann de f existe em I R e:
+ +
(2.6.9)
(R ) a
f=
a
f dm.
o. Seja (un )n1 uma seq Demonstrac a u encia arbitr aria em ]a, +[ tal que un +. Pela Proposi c ao 2.6.9, a restri c ao de f ao intervalo [a, un ] e Lebesgue integr avel e:
un un
(2.6.10)
a
f dm = (R)
a
f,
para todo n 1. Obviamente:

n
lim f [a,un ] = f ;
como f [a,un ] e mensur avel para todo n 1, conclu mos que f e mensur avel. Em vista de (2.6.10), para mostrar (2.6.9), e suciente mostrar que:
un +
(2.6.11)
n a
lim
f dm =
a
f dm,
para toda seq u encia (un )n1 em ]a, +[ com un +. Veriquemos (2.6.11) primeiramente no caso em que f e n ao negativa. Pelo Lema de
71
Fatou, temos:
+ + +
f dm =
a a
lim inf f [a,un ] dm lim inf

n n
f [a,un ] dm
un
= lim inf
n a
f dm.
Por outro lado,

+
un a
f dm
n
+ f a un
dm para todo n 1, donde:

un +
f dm lim inf
a a
f dm lim sup
n a
f dm
a
f dm,
provando (2.6.11) no caso f 0. Em geral, se f : [a, +[ I R e uma fun c ao quase integr avel qualquer ent ao (2.6.11) e satisfeita para f + e f , ou seja:
un n a +
lim
f + dm =
a
f + dm,
un n a
lim
f dm =
a
f dm;
a conclus ao e obtida subtraindo as duas igualdades acima. Resultados an alogos aos da Proposi c ao 2.6.12 podem ser mostrados para outros tipos de integrais impr oprias de Riemann (por exemplo, integrais de fun c oes ilimitadas em intervalos limitados). O passo central da demonstra c ao de tais resultados e dado pelo resultado do Exerc cio 2.25. Note, por exemplo, que o resultado desse exerc cio pode ser usado para justicar a igualdade (2.6.11) na demonstra c ao da Proposi c ao 2.6.12. poss 2.6.13. Exemplo. E vel que uma fun c ao f : [a, +[ I R admita uma integral impr opria de Riemann convergente mas n ao seja Lebesgue quase integr avel. Considere a fun c ao f : [0, +[ I R denida por: sen x f (x) = , x para x > 0 e f (0) = 1. Temos que f e cont nua e portanto f |[0,u] e limitada e Riemann integr avel para todo u ]0, +[. Temos que f se anula nos pontos k , com k inteiro positivo, f e positiva nos intervalos da forma ]k, (k + 1) [ com k inteiro positivo par e f e negativa nos intervalos da forma ]k, (k + 1) [ com k inteiro positivo mpar. Para cada inteiro k 0, seja:
(k+1)
ak =
k +
|f | dm 0.
+
Em vista do resultado do Exerc cio 2.13 temos: (2.6.12)

0
f + dm =
k=0 k par n
ak ,
0
f dm =
k=1 k mpar
ak .
Al em do mais: f dm =
0
n1
(1)k ak ,
k=0
72
e portanto:
n n 0 n1
lim
f dm = lim
(1) ak =
k=0 k=0
(1)k ak .
Fa camos algumas estimativas sobre os n umeros ak . Para x [k, (k + 1) ], x 1 temos sen e portanto: x k ak 1 1 (k + 1) k = , k k
para todo k 1. Segue que ak 0. Vamos mostrar que a seq u encia (ak )k0 e decrescente. Temos:
(k+2)
ak+1 =
(k+1)
sen x dm(x) = x
(k+1)
(k+1) k
sen(x + ) dm(x) x+
(k+1) k
=
k
sen x dm(x) x+
sen x dm(x) = ak ; x
a segunda igualdade acima pode ser justicada fazendo a mudan ca de va( k +2) sen x ri avel y = x na integral de Riemann (R) (k+1) x dx ou utilizando o resultado do Exerc cio 2.14 e o fato que a fun c ao x x + preserva medida (veja Lema 1.4.10 e Deni c ao 2.1). Como a seq u encia (ak )k0 e decrescente e tende a zero, segue do crit erio de Dirichlet (ou crit erio da s erie alternada) k que a s erie k=0 (1) ak converge; dena:
(1)k ak = L I R.
k=0
Vamos mostrar agora que:

u
(2.6.13)
u+ 0
lim
f dm = L.
Dado > 0, temos que existe n0 tal que:

n
L
k=0
(1)k ak < , 2
para todo n n0 . Podemos escolher n0 tamb em de modo que: an < , 2 para todo n n0 . Dado u I R, u n0 , seja n n0 o maior inteiro tal que n u; da n u < (n + 1) e:
u (n+1) (n+1) n (n+1)
f dm =
0 0
f dm
u
f dm =
k=0
(1)k ak
u
f dm.
2.7. O TEOREMA DE FUBINI EM I Rn
73
Da :
u n (n+1)
L
0
f dm L
k=0
(1)k ak +
u
f dm
n
L
k=0
(1)k ak + an < ,
para todo u n0 . Isso prova (2.6.13). Conclu mos ent ao que:

+ (R ) 0
f =LI R.
Vamos agora mostrar que f n ao e Lebesgue quase integr avel. Para isso, fazemos uma estimativa inferior para os n umeros ak . Dado um inteiro k 0 ent ao, para k + 4 x (k + 1) 4 temos: 2 2 sen x 1 |sen x| , , 2 x 2 (k + 1) e portanto: (k+1) (k+1) 4 sen x 2 1 ak = |f | dm dm(x) . x 2 (k + 1) 2 k + k
4
Segue que as s eries em (2.6.12) s ao divergentes e portanto:

+ +
f + dm = + =
0 0
f dm.
Logo f n ao e Lebesgue quase integr avel. No Exerc cio 2.28 pedimos ao leitor para computar explicitamente o valor + c ao f do Exemplo 2.6.13. da integral impr opria de Riemann (R) 0 f da fun 2.7. O Teorema de Fubini em IRn Ao longo desta se c ao consideramos xados inteiros positivos m e n e m + n identicamos I R com o produto I Rm I Rn atrav es da aplica c ao: I Rm I Rn (x, y ) (x1 , . . . , xm , y1 , . . . , yn ) I Rm+n . Dado um subconjunto A de I Rm+n e dado x I Rm denotamos por Ax a fatia vertical de A correspondente ` a abscissa x denida por: Ax = y I Rn : (x, y ) A . Se ix : I Rn I Rm+n denota a fun c ao ix (y ) = (x, y ) ent ao obviamente: (2.7.1)
1 Ax = i x (A),
para todo x I Rm . Temos portanto o seguinte: 2.7.1. Lema. Se A e um Boreleano de I Rm+n ent a o Ax e um Boreleano n m de I R para todo x I R .
74
o. A fun Demonstrac a c ao ix e cont nua e portanto Borel mensur avel (veja Lema 2.1.15). A conclus ao segue de (2.7.1). Segue do Lema 2.7.1 que se A e um Boreleano de I Rm+n ent ao faz sentido considerar a medida de Lebesgue m(Ax ) da fatia Ax , para cada x I Rm . 2.7.2. Lema. Se A e um Boreleano de I Rm+n ent ao a fun c ao: (2.7.2) I Rm x m(Ax ) [0, +]
e mensur avel e vale a igualdade: (2.7.3)

I Rm
m(Ax ) dm(x) = m(A).
Note que usamos a nota c ao m indistintamente para a medida de Lebesgue de I Rm , I Rn e I Rm+n ; mais especicamente, em (2.7.2) usamos a medida de Lebesgue de I Rn , a integral do lado esquerdo da igualdade em (2.7.3) e feim ta com respeito ` a medida de Lebesgue de I R e no lado direito da igualdade em (2.7.3) usamos a medida de Lebesgue de I Rm+n . o do Lema 2.7.2. Denote por C a cole Demonstrac a c ao de todos os Boreleanos A de I Rm+n para os quais a fun c ao (2.7.2) e mensur avel e a igualdade (2.7.3) e satisfeita. A id eia da prova e mostrar v arias propriedades da cole c ao C at e que nalmente conclu mos que ela coincide com a classe de m + n todos os Boreleanos de I R . Passo 1. Os blocos retangulares (m + n)-dimensionais pertencem a C . Se A e um bloco retangular (m + n)-dimensional ent ao podemos escrever A = A1 A2 , onde A1 e A2 s ao respectivamente um bloco retangular m-dimensional e um bloco retangular n-dimensional. Para todo x I Rm , temos: Ax = e portanto: m(Ax ) = |A2 | A1 (x), para todo x I Rm . Segue que (2.7.2) e uma fun c ao simples mensur avel cuja integral e igual a |A2 | |A1 | = |A|. Passo 2. Se A, B C e A e B s ao disjuntos ent ao A B C . Segue de (2.7.1) que (A B )x = Ax Bx e que Ax e Bx s ao disjuntos para todo x I Rm ; logo: m (A B )x = m(Ax ) + m(Bx ), A2 , se x A1 , , se x A1 ,
75
para todo x I Rm . Segue que a fun c ao x m (A B )x e mensur avel, sendo uma soma de fun c oes mensur aveis; sua integral e dada por: m (A B )x dm(x) =
I Rm I Rm
m(Ax ) dm(x) +
I Rm
m(Bx ) dm(x)
= m(A) + m(B ) = m(A B ). Passo 3. Se A, B C , B A e B e limitado ent ao A \ B C . Como B e limitado ent ao m(B ) < + e m(Bx ) < +, para todo xI Rm . Segue de (2.7.1) que Bx Ax e (A \ B )x = Ax \ Bx , para todo xI Rm ; logo: m (A \ B )x = m(Ax ) m(Bx ), para todo x I Rm , provando que a fun c ao x m (A \ B )x e mensur avel. Al em do mais: m (A \ B )x dm(x) =
I Rm I Rm
m(Ax ) dm(x)
I Rm
m(Bx ) dm(x)
= m(A) m(B ) = m(A \ B ). Passo 4. Se (Ak )k1 e uma seq u encia de elementos de C e se Ak A ent ao A C . Segue de (2.7.1) que Ak Ax , para todo x I Rm ; logo, pelo x Lema 1.4.48: m(Ax ) = lim m(Ak x ),
k
para todo x Segue que a fun c ao x m(Ax ) e mensur avel, sendo um limite de fun c oes mensur aveis. Pelo Teorema da Converg encia Monot onica, temos: m(Ax ) dm(x) = lim
I Rm k I Rm k m(Ak x ) dm(x) = lim m(A ) = m(A). k
I Rm .
Passo 5. Se (Ak )k1 e uma seq u encia de elementos de C , A1 e limitado k eA A ent ao A C . Como A1 e limitado, temos m(Ak ) < + e m(Ak x ) < +, para todos k 1 e x I Rm . Essa observa c ao permite demonstrar o passo 5 de forma an aloga ` a demonstra c ao do passo 4. Passo 6. Se A, B C , A B C e A B e limitado ent ao A B C . Segue dos passos 2 e 3, observando que: A B = (A \ B ) B = A \ (A B ) B, sendo que os conjuntos A \ (A B ) e B s ao disjuntos. Passo 7. Se B1 , . . . , Bk s ao blocos retangulares (m + n)-dimensionais k ent ao i=1 Bi C .
76
Usamos indu c ao em k . O caso k = 1 segue do passo 1. Suponha que a uni ao de qualquer cole c ao de k blocos retangulares (m + n)dimensionais pertence a C e sejam dados blocos retangulares (m + n)dimensionais B1 , . . . , Bk+1 . Como qualquer subconjunto de uma uni ao nita de blocos retangulares e sempre um conjunto limitado, em virtude k +1 a em C e do passo 6, para mostrar que k i=1 Bi Bk+1 est i=1 Bi = k suciente mostrar que a em C . Mas: i=1 Bi Bk+1 est
k k
Bi Bk+1 =
i=1 i=1
(Bi Bk+1 ),
sendo que Bi Bk+1 e um bloco retangular (m + n)-dimensional para k i = 1, . . . , k . Segue da hip otese de indu c ao que i=1 Bi Bk+1 C . Passo 8. Todo subconjunto aberto de I Rm+n pertence a C . m + n Se U I R e aberto ent ao o Lema 1.4.23 nos permite escrever B , onde cada B e um bloco retangular (m + n)-dimensional. U= i i=1 i k ao Ak C , pelo passo 7 e Ak U. A Denindo Ak = i=1 Bi ent conclus ao segue do passo 4. Passo 9. Todo subconjunto de I Rm+n de tipo G est a em C . m + n Seja Z I R um G . Assumimos inicialmente que Z e limitado. m + n Seja (Uk )k1 uma seq u encia de abertos de I R com Z = k=1 Uk e seja U0 um aberto limitado de I Rm+n que cont em Z . Denindo:
k
Ak =
i=0
Ui ,
ent ao Ak e um aberto limitado para todo k 1 e Ak Z . Segue dos passos 5 e 8 que Z C . Seja agora Z I Rm+n um G arbitr ario. Temos que Zk = Z ]k, k [ m+n e um G limitado para todo k 1 e portanto Zk C , pelo que mostramos acima. A conclus ao segue do passo 4, j a que Zk Z. Passo 10. A cole c ao C coincide com a cole c ao de todos os subconjuntos Boreleanos de I Rm+n . Seja A I Rm+n um Boreleano. Pelo Lema 1.4.28 existe um subconjunto Z de I Rm+n de tipo G com A Z e m(Z \ A) = 0. Pelo Lema 1.4.50, existe um subconjunto E de I Rm+n de tipo G com Z \ A E e m(E ) = m(Z \ A) = 0. O passo 9 nos garante que E e Z est ao em C . Logo: m(Ex ) dm(x) = m(E ) = 0;
I Rm
77
como m(Ex ) 0, para todo x, o resultado do Exerc cio 2.18 implica que m(Ex ) = 0 para quase todo x I Rm+n . Como (Z \ A)x Ex , para todo xI Rm , segue que m (Z \ A)x = 0 para quase todo x I Rm . Temos ent ao: m(Zx ) = m(Ax ) + m (Z \ A)x = m(Ax ), para quase todo x I Rm , j a que Zx e uni ao disjunta de Ax e (Z \ A)x , para todo x. Vemos ent ao que a fun c oes x m(Zx ) e x m(Ax ) s ao iguais quase sempre, o que implica que x m(Ax ) e uma fun c ao mensur avel pelo resultado do item (b) do Exerc cio 2.7. Al em do mais: m(Ax ) dm(x) =
I Rm I Rm
m(Zx ) dm(x) = m(Z ) = m(A),
provando que A C . Isso completa a demonstra c ao. Se A e um subconjunto mensur avel de I Rm+n ent ao n ao e verdade em geral que as fatias verticais Ax s ao mensur aveis para todo x I Rm ; por n exemplo, se B e um subconjunto n ao mensur avel de I R ent ao A = {0} B e um subconjunto mensur avel de I Rm+n (com medida exterior nula), mas a fatia A0 = B n ao e mensur avel. No entanto, mostraremos abaixo que se A e mensur avel ent ao quase todas as fatias Ax de A s ao mensur aveis. Faz sentido tamb em ent ao considerar a integral em (2.7.3), tendo em mente a seguinte conven c ao: se X e um subconjunto mensur avel de I Rn e se f (x) e uma express ao que faz sentido apenas para quase todo x X ent ao escrevemos X f (x) dm(x), entendendo que valores arbitr arios de I R podem ser atribu dos ` a express ao f (x) no conjunto de medida nula no qual ela n ao est a denida. Em vista do resultado do Exerc cio 2.7 e do Corol ario 2.4.11, essa conven c ao dene o s mbolo X f (x) dm(x) de forma inequ voca. o. Se A 2.7.3. Proposic a e um subconjunto mensur avel de I Rm+n ent ao m para quase todo x I R a fatia vertical Ax e um subconjunto mensur avel de I Rn , a fun c ao x m(Ax ) e mensur avel e a medida de A e dada pela igualdade (2.7.3). o. Basta repetir os argumentos da demonstra Demonstrac a c ao do passo 10 do Lema 2.7.2; a u nica diferen ca e que n ao sabemos a priori que as fatias de A s ao mensur aveis. Mas sabemos que Ex tem medida nula para quase todo x I Rm e portanto (Z \ A)x e mensur avel e tem medida nula para quase todo x I Rm ; como: Ax = Zx \ (Z \ A)x , segue que tamb e m Ax e mensur avel para quase todo x I Rm . Observamos que se X e um subconjunto mensur avel de I Rm e se Y e um n subconjunto mensur avel de I R ent ao X Y e um subconjunto mensur avel m + n de I R (veja Exerc cio 1.30). 2.7.4. Teorema (FubiniTonelli). Sejam X I Rm , Y I Rn conjuntos R uma fun c ao quase integr avel. Ent ao: mensur aveis e f : X Y I
78
para quase todo x X , a fun c ao Y y f (x, y ) I R e quase integr avel; R e quase integr avel; a fun c ao x Y f (x, y ) dm(y ) I vale a igualdade: f (x, y ) dm(y ) dm(x) =
X Y X Y
f (x, y ) dm(x, y ).
o. Dividimos a demonstra Demonstrac a c ao em itens. O teorema vale se f e simples, mensur avel e n ao negativa. k Podemos escrever f = i=1 ci Ai , com ci [0, +] e Ai um subconjunto mensur avel de X Y , para i = 1, . . . , k . Note que, se x X , temos:
k
(2.7.4)
f (x, y ) =
i=1
ci Ai (y ),
x
para todo y Y . Pela Proposi c ao 2.7.3, existe para cada i = 1, . . . , k um conjunto de medida nula Ni I Rm tal que Ai e mensur avel para x k m todo x I R \ Ni . Da N = i=1 Ni tem medida nula e segue de (2.7.4) que para x I Rm \ N , a fun c ao y f (x, y ) e mensur avel e sua integral e dada por:
k k
f (x, y ) dm(y ) =
Y Y i=1
ci Ai (y ) dm(y ) =
x
ci m(Ai x ).
i=1
Logo:
k k
f (x, y ) dm(y ) dm(x) =

X Y I Rm i=1
ci m(Ai x ) dm(x) =
X Y
=
i=1
ci m(Ai )
f (x, y ) dm(x, y ).
O teorema vale se f e mensur avel e n ao negativa. Seja (fk )k1 uma seq u encias de fun c oes fk : X Y [0, +] simples e mensur aveis com fk f . Seja Nk I Rm um conjunto de medida nula tal que a fun c ao y fk (x, y ) e mensur avel para todo x X \ Nk . Da N= N tem medida nula e a fun c ao: k=1 k Y y f (x, y ) = lim fk (x, y ) [0, +]
k
e mensur avel para todo x X \ N . Pelo Teorema da Converg encia Monot onica, temos: f (x, y ) dm(y ) = lim
Y k Y
fk (x, y ) dm(y ),
79
para todo x X \ N . Logo a fun c ao x Y f (x, y ) dm(y ) e mensur avel e, usando novamente o Teorema da Converg encia Monot onica, obtemos: f (x, y ) dm(y ) dm(x) = lim
X Y k X
fk (x, y ) dm(y ) dm(x)

Y
= lim
k X Y
fk (x, y ) dm(x, y ) =
X Y
f (x, y ) dm(x, y ).
O teorema vale se f e quase integr avel. Como f + e f s ao fun c oes mensur aveis n ao negativas, temos: (2.7.5)
X Y
f + (x, y ) dm(y ) dm(x) =

X Y
f + (x, y ) dm(x, y ), f (x, y ) dm(x, y ).

X Y
(2.7.6)
X Y
f (x, y ) dm(y ) dm(x) = f+
Como f e quase integr avel, temos que e integr avel ou f e integr avel; para xar as id eias, vamos supor que X Y f dm < +. Tendo em mente o resultado do Exerc cio 2.16, segue de (2.7.6) que: f (x, y ) dm(y ) < +,
Y
para quase todo x X . Segue que a fun c ao y f (x, y ) e quase integr avel para quase todo x X ; al em do mais, de (2.7.5) e (2.7.6) vem: f (x, y ) dm(y ) dm(x) =
X Y X Y
f + (x, y ) dm(y ) dm(x) f (x, y ) dm(y ) dm(x)

X Y
=
X Y
f + (x, y ) dm(x, y )
X Y
f (x, y ) dm(x, y ) =
X Y
f (x, y ) dm(x, y ).
Seja : {1, . . . , m + n} {1, . . . , m + n} uma aplica c ao bijetora (i.e., uma permuta c ao de m + n elementos) e considere o isomorsmo linear de I Rm+n denido por: (z1 , . . . , zm+n ) = (z(1) , . . . , z(m+n) ), para todo (z1 , . . . , zm+n ) I Rm+n . Segue do resultado do Exerc cio 1.11 que preserva medida, i.e., m 1 (A) = m(A), para todo subconjunto mensur avel A de I Rm+n (veja Deni c ao 2.1). Pelo resultado do Exerc cio 2.14, R e quase integr avel se e somente se f e quase uma fun c ao f : I Rm+n I integr avel e, nesse caso, as integrais de f e f coincidem. Em vista dessas observa c oes, temos o seguinte:
80
rio. Sejam X I 2.7.5. Corola Rm , Y I Rn conjuntos mensur aveis e f :X Y I R uma fun c ao quase integr avel. Ent ao: R e quase para quase todo y Y , a fun c ao X x f (x, y ) I integr avel; a fun c ao y X f (x, y ) dm(x) I R e quase integr avel; vale a igualdade: f (x, y ) dm(x) dm(y ) =
Y X X Y
f (x, y ) dm(x, y ) f (x, y ) dm(y ) dm(x).

X Y
o. Considere a permuta Demonstrac a c ao de m + n elementos dada por: (i) = de modo que: (y1 , . . . , yn , x1 , . . . , xm ) = (x1 , . . . , xm , y1 , . . . , yn ), para todos x I Rm , y I Rn . Temos que: 1 (X Y ) = Y X I Rn I Rm Rm+n . =I Em vista das observa c oes que precedem o enunciado do corol ario, temos que f |Y X : Y X I R e quase integr avel e tem a mesma integral que f . A conclus ao e obtida aplicando o Teorema 2.7.4 ` a fun c ao f |Y X , trocando os pap eis de m e n. poss E vel que uma fun c ao mensur avel f : X Y I R seja tal que as integrais iteradas X Y f (x, y ) dm(y ) dm(x) e Y X f (x, y ) dm(x) dm(y ) sejam ambas bem-denidas, por em distintas; em vista do Corol ario 2.7.5, isso somente e poss vel quando a fun c ao f n ao e quase integr avel. 2.7.6. Exemplo. Seja (aij )i,j 1 uma seq u encia dupla de n umeros reais tal que as s eries:

n + i, se 1 i m, i m, se m + 1 i m + n,
(2.7.7)
j =1
aij ,
i = 1, 2, . . . ,
i=1
aij ,
j = 1, 2, . . . ,
(2.7.8)
i=1 j =1
aij ,
j =1 i=1
aij ,
s ao todas absolutamente convergentes, mas:

i=1
aij =
j =1 j =1 i=1
aij .
81
Tome, por exemplo: se i = j, 1, aij = 1, se i + 1 = j, 0, caso contr ario, de modo que todas as s eries em (2.7.7) e (2.7.8) t em apenas um n umero nito de termos n ao nulos e:
i=1
aij = 0,
j =1 j =1 i=1
aij = 1.
Considere a fun c ao f : [0, +[ [0, +[ I R denida por:
f=
i,j =1
aij [i1,i[[j 1,j [ ,
ou seja, a restri c ao de f ao ret angulo [i 1, i[ [j 1, j [ e igual a aij , para todos i, j 1. Fixado x [0, +[ ent ao:
f (x, y ) =
j =1
aij [j 1,j [ (y ),
para todo y [0, +[, onde i 1 e tal que x [i 1, i[. Como a s erie a e absolutamente convergente, segue do resultado do Exerc cio 2.23 j =1 ij que a fun c ao y f (x, y ) e integr avel e:
+
f (x, y ) dm(y ) =
0 j =1
aij ;
da :
+
f (x, y ) dm(y ) =
0 i=1 j =1 i=1
aij [i1,i[ (x),
e absolutamente para todo x [0, +[. Como a s erie j =1 aij convergente, usando novamente o resultado do Exerc cio 2.23, conclu mos + que a fun c ao x 0 f (x, y ) dm(y ) e integr avel e: + 0 0 +
f (x, y ) dm(y ) dm(x) =

i=1 j =1
aij .
De modo an alogo, mostra-se que:

+ 0 0 +
f (x, y ) dm(x) dm(y ) =

j =1 i=1
aij ,
e portanto:
+ 0 0 + + +
f (x, y ) dm(y ) dm(x) =

0 0
f (x, y ) dm(x) dm(y ).
82
Exerc cios para o Cap tulo 2 Fun c oes Mensur aveis. Exerc cio 2.1. Sejam (X, A), (X , A ) espa cos mensur aveis arbitr arios. Mostre que toda fun c ao constante f : X X e mensur avel. Exerc cio 2.2. Sejam X um conjunto e Y X um subconjunto. Se C e um conjunto de geradores para uma - algebra A de partes de X , mostre que o conjunto: C|Y = E Y : E C e um conjunto de geradores para a - algebra A|Y de partes de Y ; em s mbolos: [C ]|Y = [C|Y ]. Exerccio 2.3. Mostre que B (I R)|I R). R = B (I Exerc cio 2.4. Mostre que os intervalos [, c], c I R, constituem um conjunto de geradores para a - algebra de Borel de I R. Exerc cio 2.5. Seja (X, A) um espa co mensur avel e sejam f : X I R, R fun c oes mensur aveis. Mostre que o conjunto: g:XI x X : f (x) = g (x) e mensur avel. Exerc cio 2.6. Mostre que a fun c ao x cos y , yn f (x, y ) = 2, n=1 n Q (x + y ), f :I R2 I R denida por: se y 1, se 1 < y < 1, se y 1,
e Borel mensur avel. Exerccio 2.7. Sejam X I Rn um subconjunto mensur avel e (X , A ) um espa co mensur avel. Dada uma fun c ao f : X X , mostre que: (a) se existe X1 X tal que X \ X1 tem medida nula e tal que f |X1 e mensur avel ent ao f e mensur avel; (b) se f e mensur avel e se g : X X e igual a f quase sempre ent ao g tamb em e mensur avel; (c) se (fk )k1 e uma seq u encia de fun c oes mensur aveis fk : X I Re se fk g q. s. ent ao g : X I R tamb em e mensur avel. Exerc cio 2.8. Denote por : I Rm+n I Rm a proje c ao nas m primeiras coordenadas. Mostre que a fun c ao: : I Rm+n , M(I Rm+n ) I Rm , M(I Rm ) , e mensur avel (note que n ao estamos seguindo a conven c ao 2.1.3). n Exerccio 2.9. Seja f : X I R uma fun c ao denida num subconjunto X de I Rm . Recorde que o gr aco de f e o conjunto: (2.7.9) Mostre que: gr(f ) = x, f (x) : x X I Rm+n .
83
se X e Boreleano e f e Borel mensur avel ent ao gr(f ) e Boreleano; se X e mensur avel e f e mensur avel ent ao gr(f ) e mensur avel. Deni c ao da Integral. Exerc cio 2.10. Sejam (X, A, ) um espa co de medida e f : X I R uma fun c ao mensur avel. Mostre que: (a) f e integr avel se e somente se |f | e integr avel; (b) se f e quase integr avel ent ao: f d
X X
|f | d.
Exerc cio 2.11. Seja (X, A, ) um espa co de medida e seja (fk )k1 uma seq u encia de fun c oes mensur aveis fk : X [0, +]. Se f (x) = k=1 fk (x), mostre que:
f d =
X k=1 X
fk d.
Exerc cio 2.12. Seja (X, A, ) um espa co de medida. Dada uma fun c ao mensur avel f : X [0, +], mostre que a aplica c ao f : A [0, +] denida por: f (E ) =
E
f d,
E A,
e uma medida (a medida f e chamada a integral indenida de f e e denotada por f = f d). Exerc cio 2.13. Sejam (X, A, ) um espa co de medida e f : X I R uma fun c ao quase integr avel. Mostre que: (a) se (Ak )k1 e uma seq u encia de conjuntos mensur aveis dois a dois A ent a o: disjuntos e se A = k=1 k
r
f d =
A k=1 Ak
f d = lim
def
f d;
k=1 Ak
(b) se (Ak )k1 e uma seq u encia de conjuntos mensur aveis e Ak ent ao: (2.7.10)
A
f d = lim
k Ak
f d;
(c) se (Ak )k1 e uma seq u encia de conjuntos mensur aveis, Ak Ae se f |A1 e integr avel ent ao vale a igualdade (2.7.10). o 2.1. Sejam (X, A, ) e (X , A , ) espa Definic a cos de medida. Dizemos que uma fun c ao : X X preserva medida se e mensur avel e se 1 (A) = (A), para todo A A . Exerc cio 2.14. Sejam (X, A, ) e (X , A , ) espa cos de medida e seja : X X uma fun c ao que preserva medida. Dada uma fun c ao mensur avel
84
f :X I R, mostre que f e quase integr avel se e somente se f e quase integr avel e, nesse caso: f d =
X X
f d.
o 2.2. Seja X um conjunto. A aplica Definic a c ao : (X ) [0, +] denida por: (E ) = n umero de elementos do conjunto E, e chamada a medida de contagem. Exerc cio 2.15. Seja X o conjunto dos n umeros inteiros positivos e seja : (X ) [0, +] a medida de contagem. Mostre que: dada uma fun c ao f : X [0, +] ent ao:
E X,
(2.7.11)
X
f d =
n=1
f (n);
R e integr avel se e somente se a s erie uma fun c ao f : X I f ( n ) e absolutamente convergente e nesse caso vale a identin=1 dade (2.7.11). Exerc cio 2.16. Sejam (X, A, ) um espa co de medida e f : X I R uma fun c ao quase integr avel. Mostre que: se X f d < + ent ao f (x) < + para quase todo x X ; se X f d > ent ao f (x) > para quase todo x X ; se f e integr avel ent ao f (x) I R para quase todo x X . Exerc cio 2.17. Sejam (X, A, ) um espa co de medida e f : X I R, R fun c oes mensur aveis, com g quase integr avel. Mostre que: g:XI g d > e f g q. s. ent ao f e quase integr avel e X f d > ; se X g d < + e f g q. s. ent ao f e quase integr avel e f d < + ; X se g e integr avel e |f | g q. s. ent ao f e integr avel.
X
se
Exerc cio 2.18. Seja (X, A, ) um espa co de medida. Dada uma fun c ao mensur avel f : X [0, +], mostre que X f d = 0 se e somente se f = 0 quase sempre. Exerc cio 2.19. Seja (X, A, ) um espa co de medida. Dadas fun c oes integr aveis f : X I R, g : X I R tais que f g e: f d =
X X
g d,
mostre que f = g quase sempre.
85
Exerc cio 2.20. Sejam (X, A, ) um espa co de medida e f : X I R uma fun c ao integr avel. Mostre que para todo > 0 existe um > 0 tal que para todo conjunto mensur avel A A com (A) < temos: f d < .
A
R uma fun c ao integr avel denida num Exerc cio 2.21. Seja f : I I intervalo I I R. Fixado t0 I , considere a fun c ao F : I I R denida por:
t
F (t) =
t0
f dm,
para todo t I . Mostre que: (a) F e cont nua; (b) dado > 0, existe > 0 tal que dados n 1 e intervalos abertos dois a dois disjuntos ]xi , yi [ I , i = 1, . . . , n, ent ao:
n n
yi xi < =
i=1 i=1
|F (yi ) F (xi )| < ;
(c) se f e limitada ent ao F e Lipschitziana com constante de Lipschitz igual a suptI |f (t)|; (d) (teorema fundamental do c alculo) se f e cont nua num ponto t I ent ao F e deriv avel no ponto t e F (t) = f (t); (e) se f e cont nua e G : I I R e uma primitiva qualquer de f (i.e., G = f ) ent ao:
b
f dm = G(b) G(a),
a
para todos a, b I . Exerc cio 2.22. (integra c ao por partes) Se f : [a, b] I R, g : [a, b] I R s ao fun c oes de classe C 1 , mostre que:
b b
f (x)g (x) dm(x) = f (b)g (b) f (a)g (a)

a a
f (x)g (x) dm(x).
Teoremas de Converg encia. Exerccio 2.23. Sejam (X, A, ) um espa co de medida e (fk )k1 uma seq u encia de fun c oes integr aveis fk : X I R tal que:
|fk | d < +.
k=1 X
Mostre que: a s erie x X;

k=1 fk (x)
e absolutamente convergente para quase todo
86 k=1 fk
se f : X I R e uma fun c ao mensur avel tal que f = ent ao f e integr avel e:
q. s.
f d =
X k=1 X
fk d I R.
Exerc cio 2.24. Sejam (X, A, ) um espa co de medida e f : X I R uma fun c ao integr avel. Mostre que para todo > 0 existe uma fun c ao simples integr avel : X I R tal que: |f | d < .
X
Exerc cio 2.25. Sejam (X, A, ) um espa co de medida, (Ak )k1 uma seq u encia de subconjuntos mensur aveis de X e f : X I R uma fun c ao quase integr avel. Assuma que para todo x X o conjunto: k 1 : x Ak e nito. Mostre que: f d = lim
X k Ak
f d.
Exerc cio 2.26. Seja f : I RI R uma fun c ao integr avel. Mostre que as fun c oes: g1 (t) =
I R
f (x) cos(tx) dm(x),
g2 (t) =
I R
f (x)sen(tx) dm(x),
s ao cont nuas e que:

t
lim g1 (t) = 0,
lim g2 (t) = 0.
Exerc cio 2.27. Considere a fun c ao : I RI R denida por: (t) =

I R
ex cos(tx) dm(x),
para todo t I R. (a) Mostre que e deriv avel e que: t (t) = (t), 2 para todo t I R. (b) Mostre que (t) = ce 4 , para todo t I R, onde: (2.7.12) c=
I R
t2
ex dm(x).
No Exerc cio 3.5 pediremos ao leitor para calcular explicitamente a integral em (2.7.12).
87
Exerc cio 2.28. Considere a fun c ao : ]0, +[ I R denida por:

+
(t) =
0
etx
sen x dm(x), x
para todo t > 0. 1 (a) Mostre que e deriv avel e que (t) = 1+ , para todo t > 0. t2 (b) Mostre que limt+ (t) = 0. (c) Conclua que (t) = 2 arctan t, para todo t > 0. (d) Usando integra c ao por partes, verique que: (t) = sen x dm(x) + et cos 1 x 0 para todo t > 0. (e) Mostre que: etx
+ 1 + 1
cos x etx
1 + tx dm(x), x2
, t0 2 0 onde f : [0, +[ I R e denida por f (x) = f (0) = 1. lim (t) = (R) f=
sen x x ,
para x > 0 e
O Teorema de Fubini em IRn . Exerc cio 2.29. Seja f : X I Rn uma fun c ao denida num subconm junto X de I R . Mostre que se o gr aco de f (recorde (2.7.9)) e mensur avel ent ao m gr(f ) = 0. Exerc cio 2.30. Sejam X I Rm , Y I Rn conjuntos mensur aveis e f :XI R, g : Y I R fun c oes integr aveis. Mostre que a fun c ao: X Y R (x, y ) f (x)g (y ) I e integr avel e que sua integral e dada por: f (x)g (y ) dm(x, y ) =
X Y X
f dm
Y
g dm .
Exerc cio 2.31. Seja n o simplexo padr ao n-dimensional denido por:

n
n = (x1 , . . . , xn ) [0, +[n :

i=1
xi 1 .
(a) Mostre que n e mensur avel para todo n 1. (b) Se an = m(n ), mostre que:
1
an = an1
0
(1 t)n1 dm(t),
para todo n 1. (c) Determine m(n ).
CAP ITULO 3
O Teorema de Mudan ca de Vari aveis para Integrais de Lebesgue

3.1. O Efeito de Aplica c oes Lipschitzianas sobre a Medida de Lebesgue o. Dado x I 3.1.1. Notac a Rn , escrevemos: x
= max |xi | : i = 1, . . . , n ,
e para x, y I Rn , escrevemos: d (x, y ) = x y
= max |xi yi | : i = 1, . . . , n .
Claramente se B e um cubo n-dimensional com aresta a (veja Deni c ao 1.4.22) ent ao d (x, y ) a, para todos x, y B . Provamos agora a seguinte rec proca para essa arma c ao: 3.1.2. Lema. Sejam A I Rn e a 0 tais que d (x, y ) a, para todos x, y A. Ent ao A est a contido em um cubo n-dimensional de aresta a; em particular: m (A) an . o. Se A Demonstrac a e vazio, n ao h a nada para se mostrar. Sen ao, seja i : I Rn I R a proje c ao sobre a i- esima coordenada e considere o conjunto Ai = i (A). Temos |t s| a, para todos t, s Ai e portanto sup Ai inf Ai a; se ai = inf Ai , segue que: Ai [ai , ai + a] e portanto:
n n
A
i=1
Ai
i=1
[ai , ai + a].
o. Seja : X I 3.1.3. Definic a Rn uma fun c ao denida num subconm junto X de I R . Dizemos que e Lipschitziana se existe uma constante k 0 tal que: d (x), (y ) k d (x, y ), para todos x, y X . A constante k e dita uma constante de Lipschitz para a fun c ao . Claramente toda fun c ao Lipschitziana e (uniformemente) cont nua.
88
3.1. APLICAC OES LIPSCHITZIANAS
89
3.1.4. Lema. Seja A um subconjunto de I Rn . Dado > 0, existe um conjunto enumer avel R de cubos n-dimensionais tal que A B R B e (A) + . | B | m B R o. Pelo Lema 1.4.12 existe um aberto U em I Demonstrac a Rn contendo A tal que m(U ) m (A) + e pelo Lema 1.4.23 existe um conjunto enumer avel R de cubos n-dimensionais com interiores dois a dois disjuntos tal que U = B R B . Da : |B | = m(U ) m (A) + .
B R
o. Seja : X I 3.1.5. Proposic a Rn uma fun c ao Lipschitziana com constante de Lipschitz k 0, onde X e um subconjunto de I Rn . Ent ao, para todo subconjunto A de X , temos: m (A) k n m (A). o. Dado > 0 ent Demonstrac a ao, pelo Lema 3.1.4 existe um conjunto enumer avel R de cubos n-dimensionais tal que A B R B e: (3.1.1)
B R
|B | m (A) + .
B R (B
Da (A) (3.1.2)
X ) e portanto: m (B X ) .
B R
m (A)
Fixado um cubo B R ent ao, se a denota a aresta de B , temos: d (x), (y ) k d (x, y ) ka, para todos x, y B X . Segue do Lema 3.1.2 que: (3.1.3) m (B X ) (ka)n = k n |B |. m (A) k n
B R
De (3.1.1), (3.1.2) e (3.1.3) vem: |B | k n m (A) + .
A conclus ao segue fazendo 0. rio. Se : X I 3.1.6. Corola Rn e uma fun c ao Lipschitziana denida n num subconjunto X de I R ent ao leva subconjuntos de X de medida nula em subconjuntos de medida nula de I Rn . o. Recorde que toda aplica 3.1.7. Observac a c ao linear T : I Rm I Rn e Lipschitziana. Mais explicitamente, se a norma da aplica c ao linear T e denida por: (3.1.4) ent ao: T (x)
T = sup
x
1
T (x)
3.1. APLICAC OES LIPSCHITZIANAS
90
para todo x I Rm , donde segue facilmente que T e uma constante de Lipschitz para T . A nitude do supremo em (3.1.4) segue, por exemplo, do fato que a aplica c ao x T (x) e cont nua e a bola x : x 1 e compacta. rio. Uma aplica 3.1.8. Corola c ao linear de I Rn em I Rn leva subconjunn tos de medida nula de I R em subconjuntos de medida nula de I Rn . o. Segue do Corol Demonstrac a ario 3.1.6 e da Observa c ao 3.1.7. rio. Todo subespa 3.1.9. Corola co vetorial pr oprio de I Rn tem medida nula. o. Se V Demonstrac a e um subespa co vetorial pr oprio de I Rn ent ao n n n 1 existe uma aplica c ao linear T : I R I R tal que T I R {0} = V ; de fato, podemos escolher uma aplica c ao linear T que leva os n 1 primeiros n vetores da base can onica de I R sobre uma base qualquer de V (note que dim(V ) n 1). A conclus ao segue do Corol ario 1.4.7 e do Corol ario 3.1.8. o. Uma fun 3.1.10. Definic a c ao : X I Rn denida num subconjunto X de I Rm e dita localmente Lipschitziana se todo x X possui uma vizinhan ca V em I Rm tal que a fun c ao |V X e Lipschitziana. n o. Se : X I 3.1.11. Proposic a R e uma fun c ao localmente Lipschitziana denida num subconjunto X de I Rn ent ao leva subconjuntos de X de medida nula em subconjuntos de medida nula de I Rn . o. Para cada x X seja Ux um aberto em I Demonstrac a Rn contendo x tal que a restri c ao de a Ux X seja Lipschitziana. A cobertura aberta avel X X xX Ux possui uma subcobertura enumer i=1 Uxi . Agora, dado qualquer subconjunto A de X com m(A) = 0, segue do Corol ario 3.1.6 que: m (Uxi A) = 0, para todo i. A conclus ao e obtida agora da igualdade:
(A) =
i=1
(Uxi A).
o. Seja : X I 3.1.12. Proposic a Rn uma fun c ao localmente Lipschitziana denida num subconjunto X de I Rn . Ent ao, para todo subconjunto mensur avel A de I Rn contido em X , temos que (A) e mensur avel. o. Como A Demonstrac a e mensur avel, pelo Corol ario 1.4.31, existe um subconjunto W de I Rn de tipo F com W A e m(A \ W ) = 0; temos ent ao que A = W N , onde W e um F e N = A \ W tem medida nula. Como e localmente Lipschitziana ent ao e localmente cont nua e portanto cont nua; da leva compactos em compactos. Como W e uma uni ao enumer avel de fechados e todo fechado e uma uni ao enumer avel de
3.2. APLICAC OES LINEARES
91
compactos, segue que W e uma uni ao enumer avel de compactos; portanto tamb em (W ) e uma uni ao enumer avel de compactos. Temos ent ao: (A) = (W ) (N ), onde (W ) e um F e (N ) ( e mensur avel e) tem medida nula, pela Proposi c ao 3.1.11. rio. Se T : I 3.1.13. Corola Rn I Rn e uma aplica c ao linear ent ao T n leva subconjuntos mensur aveis de I R em subconjuntos mensur aveis de I Rn . o. Segue da Observa Demonstrac a c ao 3.1.7 e da Proposi c ao 3.1.12. 3.2. O Efeito de Aplica c oes Lineares sobre a Medida de Lebesgue O objetivo desta se c ao e provar o seguinte: 3.2.1. Teorema. Seja T : I Rn I Rn uma aplica c ao linear. Para todo n subconjunto mensur avel A de I R temos que T (A) e mensur avel e: (3.2.1) m T (A) = | det T | m(A).
Em (3.2.1) denotamos por det T o determinante de T , ou seja, o determinante da matriz que representa T na base can onica de I Rn . No que segue, sempre identicaremos aplica c oes lineares de I Rm em I Rn com as respectivas matrizes n m que as representam com respeito ` as bases can onicas. O restante da se c ao e dedicado ` a demonstra c ao do Teorema 3.2.1. Note que a mensurabilidade de T (A) j a e garantida pelo Corol ario 3.1.13. Note tamb em que se T n ao e invers vel ent ao o Teorema 3.2.1 segue do Corol ario 3.1.9, j a que a imagem de T e um subespa co pr oprio de I Rn e det T = 0. Se T e invers vel, a estrat egia da prova do Teorema 3.2.1 e a seguinte. Inicialmente, observamos que se T1 : I Rn I R n e T2 : I Rn I Rn s ao aplica c oes lineares tais que a igualdade (3.2.1) vale para T = T1 e para T = T2 , para todo subconjunto mensur avel A de I Rn , ent ao a igualdade (3.2.1) tamb em vale para T = T1 T2 ; de fato, dado A I Rn mensur avel, temos: m (T1 T2 )(A) = | det T1 | m T2 (A) = | det T1 | | det T2 | m(A) = | det(T1 T2 )| m(A). A seguir, selecionamos alguns tipos de aplica c oes lineares que chamaremos de elementares; mostraremos ent ao que a igualdade (3.2.1) vale para aplica c oes lineares elementares e que toda aplica c ao linear invers vel pode ser escrita como um produto de aplica c oes lineares elementares. o. Uma aplica 3.2.2. Definic a c ao linear E : I Rn I Rn e dita elementar quando e de um dos seguintes tipos: tipo 1. E = Li,j ;c , onde i, j = 1, . . . , n s ao distintos, c I R e: (3.2.2) Li,j ;c (x1 , . . . , xi , . . . , xj , . . . , xn ) = (x1 , . . . , xi + cxj , . . . , xj , . . . , xn );
3.2. APLICAC OES LINEARES
92
tipo 2. E = , onde : {1, . . . , n} {1, . . . , n} e uma bije c ao e: (3.2.3) (x1 , . . . , xn ) = (x(1) , . . . , x(n) ); D (x1 , . . . , xn ) = (1 x1 , . . . , n xn ). tipo 3. E = D , onde = (1 , . . . , n ) I Rn , i = 0 para i = 1, . . . , n e: (3.2.4) Obviamente as express oes (3.2.2), (3.2.3) e (3.2.4) denem isomorsmos n lineares de I R ; em (3.2.2) escrevemos a deni c ao de Li,j ;c assumindo que i < j , mas obviamente uma f ormula an aloga dene Li,j ;c se i > j . O efeito da multiplica c ao ` a esquerda de uma matriz T por uma matriz que representa uma aplica c ao linear elementar E nos d a o que chamamos de uma transforma c ao elementar de matrizes; mais explicitamente, se T e uma matriz n n cujas linhas s ao vetores 1 , . . . , n I Rn e se E e uma aplica c ao linear elementar ent ao ET e a matriz cujas linhas s ao: 1 , . . . , i + c j , . . . , j , . . . , n , se E = Li,j ;c ; (1) , . . . , (n) , se E = ; 1 1 , . . . , n n , se E = D . As transforma c oes elementares de matrizes associadas ` a multica c ao ` a esquerda por uma aplica c ao elementar de tipos 1, 2 e 3 ser ao respectivamente chamadas de transforma c oes elementares de tipos 1, 2 e 3. O seguinte resultado e padr ao em textos elementares de Algebra Linear. n n 3.2.3. Lema. Se T : I R I R e uma aplica c ao linear invers vel ent ao existe uma seq u encia nita de transforma c oes elementares de matrizes que leva T at e a matriz identidade. o. Fazemos uma descri Demonstrac a c ao sucinta do algor tmo que e conhecido como escalonamento de matrizes. Em primeiro lugar, como T e invers vel ent ao algum elemento da primeira coluna de T e n ao nulo; realizando uma transforma c ao elementar de tipo 2, podemos assumir que o elemento T11 e n ao nulo e depois realizando uma transforma c ao elementar de tipo 3 podemos assumir que T11 = 1. Agora, uma seq u encia de n 1 transforma c oes elementares de tipo 1 nos permite anular os elementos Tj 1 , com j = 2, . . . , n. Nesse ponto, a primeira coluna de T coincide com o primeiro vetor da base can onica de I Rn ; da a submatriz de T obtida removendo a primeira linha e a primeira coluna e invers vel e podemos portanto repetir o algor tmo recursivamente na mesma. Obteremos ent ao uma matriz T triangular superior em que todos os elementos da diagonal s ao iguais a 1. n(n1) transforma c oes elementaPodemos agora realizar uma seq u encia de 2 res de tipo 1 para anular os elementos de T que est ao acima da diagonal, obtendo assim a matriz identidade. rio. Toda aplica 3.2.4. Corola c ao linear invers vel T : I Rn I Rn e um produto de aplica c oes lineares elementares. o. Segue do Lema 3.2.3 que existem aplica Demonstrac a c oes lineares elementares E1 , . . . , Ek de modo que E1 Ek T e igual ` a matriz identidade.
3.3. O TEOREMA DE MUDANC A DE VARIAVEIS
93
1 1 Da T = Ek E1 . A conclus ao segue da observa c ao simples de que a inversa de uma aplica c ao linear elementar e novamente uma aplica c ao linear elementar (de mesmo tipo).
Em vista do Corol ario 3.2.4 e das observa c oes feitas anteriormente nesta se c ao, temos que a demonstra c ao do Teorema 3.2.1 car a conclu da assim que demonstrarmos o seguinte: 3.2.5. Lema. Se T : I Rn I Rn e uma aplica c ao linear elementar ent ao a igualdade (3.2.1) vale para todo subconjunto mensur avel A de I Rn . o. Se T Demonstrac a e de tipo 2 ou 3 ent ao a tese do lema segue respectivamente dos resultados dos Exerc cios 1.11 e 1.12 (note que as aplica c oes lineares elementares de tipo 2 tem determinante igual a 1). Resta ent ao considerar o caso em que T e uma aplica c ao linear elementar de tipo 1. E f acil vericar que se : {1, . . . , n} {1, . . . , n} e uma bije c ao ent ao: 1 Li,j ;c = L(i),(j );c , para todos i, j = 1, . . . , n distintos e todo c I R. Podemos ent ao reduzir a demonstra c ao do lema apenas ao caso em que T = Ln,1;c , c I R. No que n n 1 segue, identicamos I R com o produto I R I R e usamos a nota c ao da Se c ao 2.7; a aplica c ao T escreve-se na forma: T (x, y ) = (x, y + cx1 ), xI Rn1 , y I R. Dado A I Rn ent ao para todo x I Rn1 , a fatia vertical T (A)x do conjunto T (A) coincide com a transla c ao Ax + cx1 da fatia vertical Ax de A. Se A e mensur avel, temos que T (A) tamb em e mensur avel (vide Corol ario 3.1.13); segue ent ao da Proposi c ao 2.7.3 que: m T (A) =
I Rn1
m T (A)x dm(x) =
I Rn1
m(Ax + cx1 ) dm(x) m(Ax ) dm(x) = m(A),
=
I Rn1
onde na terceira igualdade usamos o Lema 1.4.10. Como T e uma matriz triangular com elementos da diagonal iguais a 1, temos que det T = 1 e portanto a igualdade (3.2.1) ca demonstrada. 3.3. O Teorema de Mudan ca de Vari aveis Nesta se c ao n os provaremos o Teorema de Mudan ca de Vari aveis para integais de Lebesgue em I Rn . Para um entendimento completo do conte udo desta se c ao ser ao necess arios alguns conhecimentos b asicos de C alculo no I Rn , sobre os quais fazemos uma r apida revis ao na Se c ao 3.4. O enunciado do teorema e o seguinte: 3.3.1. Teorema (mudan ca de vari aveis). Seja : U I Rn uma apli1 ca c ao injetora de classe C denida num subconjunto aberto U de I Rn ; sun ponha que a diferencial d(x) e um isomorsmo de I R , para todo x U .
94
Dados um conjunto mensur avel A I Rn contido em U e uma fun c ao mensur avel f : (A) I R ent ao: o conjunto (A) e mensur avel; a fun c ao: (3.3.1) A y f (y ) det d(y ) I R
e mensur avel; a fun c ao f e quase integr avel se e somente se a fun c ao (3.3.1) e quase integr avel e, nesse caso, vale a igualdade: (3.3.2)
(A)
f (x) dm(x) =
A
f (y )
det d(y ) dm(y ).
Note que, pelo Teorema da Fun c ao Inversa (Teorema 3.4.7), as hip oteses sobre no enunciado do Teorema 3.3.1 s ao equivalentes ` a condi c ao de que (U ) seja aberto em I Rn e que : U (U ) seja um difeomorsmo C 1 . Note tamb em que a mensurabilidade de (A) e garantida pela Proposi c ao 3.1.12, j a que : U I Rn e uma fun c ao localmente Lipschitziana (veja Corol ario 3.4.5). Para demonstrar o Teorema 3.3.1, precisamos de alguns lemas preparat orios. 3.3.2. Lema. Seja : U I Rn uma fun c ao de classe C 1 num aberto n U I R e suponha que a diferencial d(x) e um isomorsmo de I Rn , para todo x U . Ent ao, para todo subconjunto mensur avel E de I Rn temos que 1 (E ) e mensur avel; em outras palavras, a fun c ao: : U, M(I Rn )|U I Rn , M(I Rn ) e mensur avel. o. Pelo Teorema da Fun Demonstrac a c ao Inversa (Teorema 3.4.7), cada x U possui uma vizinhan ca aberta Ux contida em U tal que (Ux ) e aberto em I Rn e |Ux : Ux (Ux ) e um difeomorsmo C 1 . Da a 1 fun c ao x = (|Ux ) : (Ux ) Ux e localmente Lipschitziana (veja Corol ario 3.4.5) e portanto, pela Proposi c ao 3.1.12, o conjunto x E (Ux ) = 1 E (Ux ) Ux = 1 (E ) Ux e mensur avel, para todo x U . A cobertura aberta U = uma subcobertura enumer avel U = i=1 Uxi e portanto:
x U
Ux possui
donde segue que
(E ) =
i=1
1 (E ) Uxi ,
1 (E )
e mensur avel.
rio. Seja : U I 3.3.3. Corola Rn uma fun c ao de classe C 1 num n aberto U I R tal que a diferencial d(x) e um isomorsmo de I Rn , para todo x U . Dados um subconjunto A de U , um espa co mensur avel (X, A)
95
e uma fun c ao mensur avel f : (A) X ent ao a fun c ao f |A : A X e mensur avel. o. Basta observar que f |A Demonstrac a e igual ` a composta das fun c oes mensur aveis: |A : A, M(I Rn )|A (A), M(I Rn )|(A) , f : (A), M(I Rn )|(A) (X, A). 3.3.4. Lema. Seja : U I Rn uma fun c ao de classe C 1 num aberto n U I R e suponha que a diferencial d(y0 ) e um isomorsmo de I Rn , para um certo y0 U . Ent ao, para todo > 0, existe uma vizinhan ca aberta V de y0 contida em U tal que para todo conjunto mensur avel A I Rn contido em V temos que (A) e mensur avel e vale a desigualdade: (3.3.3) m (A) (1 + )
A
det d(y ) dm(y ).
o. Em primeiro lugar, observe que a mensurabilidade de Demonstrac a (A) segue da Proposi c ao 3.1.12, j a que e localmente Lipschitziana (veja Corol ario 3.4.5). Seja > 0 tal que: (1 + )n+1 1 + . Denote por T a diferencial de no ponto y0 . Como T 1 d(y0 ) e igual ` a 1 aplica c ao identidade e como a fun c ao y T d(y ) e cont nua, segue que: (3.3.4) T 1 d(y ) < 1 + ,
para todo y em uma vizinhan ca sucientemente pequena de y0 . Usando tamb em a continuidade da fun c ao y det d(y ) , vemos que: (3.3.5) det d(y0 ) < (1 + ) det d(y ) ,
para todo y em uma vizinhan ca sucientemente pequena de y0 . Seja V uma bola aberta centrada em y0 contida em U tal que (3.3.4) e (3.3.5) valem para todo y V . Seja A um subconjunto mensur avel de V e provemos (3.3.3). Usando o Teorema 3.2.1, obtemos: (3.3.6) m (A) = m T T 1 (A) = | det T | m T 1 (A) = det d(y0 ) m T 1 (A) . Para todo y V , segue da regra da cadeia (veja Corol ario 3.4.2) que: d(T 1 )(y ) = T 1 d(y ) < 1 + , e portanto, pela desigualdade do valor m edio (veja Corol ario 3.4.4), a fun c ao T 1 |V e Lipschitziana com constante de Lipschitz 1 + . Usando a Proposi c ao 3.1.5, obtemos: (3.3.7) m T 1 (A) (1 + )n m(A).
96
De (3.3.5), obtemos: (3.3.8) det d(y0 ) m(A) =

A
det d(y0 ) A (y ) dm(y ) (1 + )

A
det d(y ) dm(y ).
De (3.3.6), (3.3.7) e (3.3.8), vem: m (A) (1 + )n det d(y0 ) m(A) (1 + )n+1

A
det d(y ) dm(y )
(1 + )
A
det d(y ) dm(y ).
3.3.5. Lema. Seja : U I Rn uma fun c ao de classe C 1 num aberto U I Rn e suponha que a diferencial d(y ) e um isomorsmo de I Rn , para n todo y U . Ent ao, dado um conjunto mensur avel A I R contido em U , temos que (A) e mensur avel e vale a desigualdade: m (A)
A
det d(y ) dm(y ).
o. Seja dado > 0. Pelo Lema 3.3.4, todo ponto y0 U Demonstrac a possui uma vizinhan ca aberta Vy0 contida em U com a seguinte propriedade: se A I Rn e um conjunto mensur avel contido em Vy0 ent ao (A) e mensur avel e vale a desigualdade (3.3.3). Da cobertura aberta U = yU Vy , podemos extrair uma subcobertura enumer avel U = i=1 Vyi . Para cada i 1, denimos: Wi = V yi \
i1 j =1 Vyj ,
V y1 ,
se i 2, se i = 1,
e mensur avel (n ao necessariamente de modo que U = i=1 Wi , cada Wi aberto), Wi Vyi e os conjuntos Wi s ao dois a dois disjuntos. Agora, dado um conjunto mensur avel arbitr ario A I Rn contido em U , temos:
(A) =
i=1
(A Wi ).
Como A Wi e um subconjunto mensur avel de Vyi , segue que (A Wi ) e mensur avel e vale a desigualdade: m (A Wi ) (1 + )
AWi
det d(y ) dm(y ).
97
Vemos ent ao que (A) e mensur avel e al em disso:

m (A)
i=1
m (A Wi ) (1 + )
i=1 AWi
det d(y ) dm(y ) = (1 + )

A
det d(y ) dm(y ),
onde na u ltima igualdade usamos o resultado do Exerc cio 2.13. A conclus ao nal e obtida agora fazendo 0. rio. Seja : U I 3.3.6. Corola Rn uma fun c ao de classe C 1 num aberto U I Rn e suponha que a diferencial d(y ) e um isomorsmo de I Rn , n para todo y U . Ent ao, dado um conjunto mensur avel A I R contido em U e uma fun c ao mensur avel f : (A) [0, +] temos que (A) e mensur avel, a fun c ao (3.3.1) e mensur avel e vale a desigualdade: (3.3.9)
(A)
f (x) dm(x)
A
f (y )
det d(y ) dm(y ).
o. Note que a mensurabilidade da fun Demonstrac a c ao (3.3.1) segue do Corol ario 3.3.3. Para provar a desigualdade (3.3.9), suponhamos inicialmente que f : (A) [0, +] e simples e mensur avel. Ent ao podemos escrever:
k
f=
i=1
ci Ei ,
onde ci [0, +] e Ei e um subconjunto mensur avel de (A), para todo i = 1, . . . , k . Seja Ai = 1 (Ei ) A, de modo que Ai e mensur avel (veja Lema 3.3.2) e (Ai ) = Ei . Segue do Lema 3.3.5 que: m(Ei ) = m (Ai )
Ai
det d(y ) dm(y ),
para i = 1, . . . , k e portanto:
k k
f (x) dm(x) =
(A) i=1
ci m(Ei )
i=1 k
ci
Ai
det d(y ) dm(y )
=
i=1
ci
A
Ei (y ) f (y )
A
det d(y ) dm(y ) det d(y ) dm(y ).
Demonstramos ent ao a desigualdade (3.3.9) no caso em que f e simples e mensur avel. Seja agora f : (A) [0, +] uma fun c ao mensur avel arbitr aria. Temos que existe uma seq u encia (fk )k1 de fun c oes simples e
98
mensur aveis fk : (A) [0, +] tal que fk fk (x) dm(x)

(A) A
f ; da : det d(y ) dm(y ),
fk (y )
para todo k 1. A desigualdade (3.3.9) e obtida agora fazendo k e usando o Teorema da Converg encia Monot onica. Prova do Teorema 3.3.1. Come camos supondo que f e n ao negativa. A mensurabilidade de (A) e da fun c ao (3.3.1) j a foram estabelecidas no Corol ario 3.3.6. J a temos tamb em a desigualdade (3.3.9). A desigualdade oposta segue da aplica c ao do pr oprio Corol ario 3.3.6 num contexto diferente. Recorde que, pelo Teorema da Fun c ao Inversa (Teorema 3.4.7), (U ) e um aberto de I Rn e : U (U ) e um difeomorsmo C 1 ; aplicamos ent ao o Corol ario 3.3.6 ao difeomorsmo inverso = 1 : (U ) I Rn , ` a fun c ao g : A [0, +] denida por: g (y ) = f (y ) det d(y ) , y A,
e ao conjunto mensur avel B = (A) (U ). Obtemos a desigualdade: (3.3.10)

(B )
g (y ) dm(y )
B
g (x)
det d (x) dm(x).
Temos (veja (3.4.2)): g (x) det d (x) = f (x) det d(y ) det d(1 ) (y ) = f (x),
onde y = 1 (x). Da (3.3.10) nos d a: f (y )

A
det d(y ) dm(y )

(A)
f (x) dm(x),
provando (3.3.2). Finalmente, se f : (A) I R e uma fun c ao mensur avel arbitr aria ent ao: (3.3.11)
(A)
f + (x) dm(x) =
A
f + (y ) f (y )
A
det d(y ) dm(y ), det d(y ) dm(y );
(3.3.12)
(A)
f (x) dm(x) =
a conclus ao segue subtraindo (3.3.12) de (3.3.11), tendo em mente que as fun c oes: A y f + (y ) det d(y ) , A y f (y ) det d(y )
s ao respectivamente a parte positiva e a parte negativa da fun c ao (3.3.1).
DE CALCULO 3.4. RECORDAC AO NO I Rn
99
3.4. Ap endice ` a Se c ao 3.3: recorda c ao de C alculo no IRn Seja U I Rm um aberto e : U I Rn uma fun c ao. Recorde que e dita diferenci avel num ponto x U se existe uma aplica c ao linear T : I Rm I Rn tal que (recorde Nota c ao 3.1.1): (3.4.1) (x + h) (x) T (h) = 0; h0 h lim
essa aplica c ao linear eu nica quando existe e e dada por: (x + tv ) (x) def = (x), t v para todo v I Rm . A aplica c ao linear T e chamada a diferencial de no ponto x e e denotada por d(x). A matriz que representa a diferencial d(x) com respeito ` as bases can onicas e chamada a matriz Jacobiana de no ponto x. No que segue, usaremos a mesma nota c ao para a diferencial d(x) e para a matriz Jacobiana de no ponto x. Temos: 1 1 x1 (x) xm (x) . . .. . d(x) = . . . . , T (v ) = lim
t0 n x1 (x)
n xm (x)
i onde = (1 , . . . , n ) e x (x) denota a derivada parcial no ponto x da j fun c ao coordenada i com respeito ` a j - esima vari avel. Se uma aplica c ao e diferenci avel num ponto x ent ao e cont nua nesse ponto. Intuitivamente, (3.4.1) diz que T = d(x) e uma boa aproxima c ao linear para numa vizinhan ca de x. Mais explicitamente, quando o ponto xI Rm sofre um deslocamento (vetorial) x ent ao o ponto y = (x) I Rn sofre um deslocamento (vetorial) y = (x + x) (x) e a diferenciabilidade de no ponto x nos diz que y e aproximadamente uma fun c ao linear def de x; mais precisamente, existe uma aplica c ao linear d(x) = T , tal que y difere de T (x) por uma quantidade que vai a zero mais r apido que x , quando x 0. Quando uma aplica c ao : U I Rn denida num aberto U de I Rm e diferenci avel em todos os pontos de U dizemos simplesmente que ela e diferenci avel em U ; dizemos que e de classe C 1 em U se e diferenci avel em U e se a fun c ao U x d(x) e cont nua. Sabe-se que uma fun c ao i 1 e de classe C num aberto U se e somente se as derivadas parciais xj (x), i = 1, . . . , n, j = 1, . . . , m, existem e s ao cont nuas em todos os pontos x U. Enunciamos agora alguns teoremas b asicos de C alculo no I Rn que usamos na Se c ao 3.3. 3.4.1. Teorema (regra da cadeia). Sejam : U I Rn , : V I Rp m fun c oes tais que (U ) V , onde U e um aberto de I R eV e um aberto de I Rn . Se e diferenci avel num ponto x U e e diferenci avel no ponto (x)
DE CALCULO 3.4. RECORDAC AO NO I Rn
100
ent ao a fun c ao composta e diferenci avel no ponto x e sua diferencial e dada por: d( )(x) = d (x) d(x). Segue diretamente da deni c ao de diferenciabilidade que toda aplica c ao m n m linear T : I R I R e diferenci avel em I R e dT (x) = T , para todo xI Rm . Dessa observa c ao e da regra da cadeia obtemos: rio. Seja : U I 3.4.2. Corola Rn uma fun c ao denida num aberto m U I R , diferenci avel num ponto x U . Se T : I Rn I Rp e uma aplica c ao linear ent ao T e diferenci avel no ponto x e sua diferencial e dada por: d(T )(x) = T d(x). Para o teorema a seguir, o leitor deve recordar a Nota c ao 3.1.1 e a Observa c ao 3.1.7, onde denimos a norma de uma aplica c ao linear. 3.4.3. Teorema (desigualdade do valor m edio). Seja : U I Rn uma fun c ao denida num aberto U I Rm e sejam xados dois pontos x, y U . Suponha que a fun c ao e cont nua em todos os pontos do segmento de reta fechado: [x, y ] = x + (y x) : 0 1 e e diferenci avel em todos os pontos do segmento de reta aberto: ]x, y [ = x + (y x) : 0 < < 1 . Ent ao existe ]0, 1[ tal que vale a desigualdade: (y ) (x)
d x + (y x) I Rn
yx
Recorde que um subconjunto X de e dito convexo se para todos x, y X o segmento de reta [x, y ] est a contido em X . rio. Sejam : U I 3.4.4. Corola Rn uma fun c ao denida num aberto m U I R e suponha que e diferenci avel em todos os pontos de um subconjunto convexo X de U . Se existe k 0 tal que d(x) k , para todo x X ent ao a fun c ao |X e Lipschitziana com constante de Lipschitz k . 3.4.5. Corolario. Uma fun c ao : U I Rn de classe C 1 num aberto m U I R e localmente Lipschitziana. o. Segue do Corol Demonstrac a ario 3.4.4, observando que a fun c ao x d(x) e cont nua e portanto limitada numa bola sucientemente pequena centrada num ponto dado x U . o. Se U , V I 3.4.6. Definic a Rn s ao abertos ent ao um difeomorsmo de U para V e uma bije c ao diferenci avel : U V cuja inversa 1 : V U tamb em e diferenci avel. Dizemos que : U V e um difeomorsmo C 1 se 1 1 e bijetora e se e s ao ambas de classe C . Se : U V e um difeomorsmo ent ao segue da regra da cadeia que para todo x U a diferencial d(x) : I Rn I Rn e um isomorsmo de I Rn cujo inverso e dado por: (3.4.2) d(x)
1
= d(1 ) (x) .
101
Temos a seguinte rec proca para essa arma c ao: 3.4.7. Teorema (da fun c ao inversa). Seja : U I Rn uma fun c ao de 1 n classe C denida num aberto U I R . Se x U e tal que a diferencial d(x) e um isomorsmo de I Rn ent ao existe uma vizinhan ca aberta U0 de n e um x contida em U tal que (U0 ) e aberto em I R e |U0 : U0 (U0 ) difeomorsmo C 1 . Al em do mais, se d(x) e um isomorsmo de I Rn para todo x U ent ao: e uma aplica c ao aberta, i.e., leva subconjuntos abertos de U em subconjuntos abertos de I Rn ; e injetora se U0 e um aberto qualquer contido em U tal que |U0 ent ao |U0 : U0 (U0 ) e um difeomorsmo C 1 . Exerc cios para o Cap tulo 3 O Efeito de Aplica c oes Lineares sobre a Medida de Lebesgue. Exerc cio 3.1. Dados pontos p1 , . . . , pn+1 I Rn , ent ao o simplexo de v ertices p1 , . . . , pn+1 e denido por:
n+1 n+1
(3.4.3)
i=1
ai pi : ai 0, i = 1, . . . , n + 1,
i=1
ai = 1 .
Mostre que o simplexo (3.4.3) e mensur avel e determine uma express ao para a sua medida de Lebesgue. O Teorema de Mudan ca de Vari aveis. Exerc cio 3.2. Dados (x0 , y0 ) I R2 e r > 0, mostre que o disco: (x, y ) I R2 : (x x0 )2 + (y y0 )2 r2 e mensur avel e determine sua medida de Lebesgue. Exerc cio 3.3. Considere a aplica c ao : ]0, +[ I RI R2 denida por: (, ) = ( cos , sen), para todos ]0, +[, I R. Calcule det d(, ). Se A = ]0, 1] [0, 4 ] e f : I R2 I R denota a fun c ao constante e igual a 1, calcule as integrais: f (x, y ) dm(x, y ),
(A) A
det d(, ) dm(, ).
Explique o que est a acontecendo, em vista do Teorema 3.3.1. Exerc cio 3.4. Seja A um subconjunto de I Rn e p = (p1 , . . . , pn+1 ) um n +1 n ponto de I R com pn+1 = 0. Identiquemos I R +1 com o produto I Rn I R. O cone de base A e v ertice p e denido por: C (A, p) = [(x, 0), p] = (x, 0) + t p (x, 0) : x A, t [0, 1] .
x A
102
Considere a fun c ao : I Rn ]0, 1[ I Rn+1 denida por: (x, t) = (x, 0) + t p (x, 0) , para todos x I Rn , t ]0, 1[. Mostre que: e injetora, de classe C 1 e det d(x, t) = (1 t)n pn+1 , para todos xI Rn , t ]0, 1[; se A e mensur avel ent ao o cone C (A, p) e mensur avel e sua medida de Lebesgue e dada por: m(A)|pn+1 | m C (A, p) = . n+1 Exerc cio 3.5. Mostre que:
+ 0
ex dm(x)
=
Q
e(x
2 +y 2 )
dm(x, y ),
onde Q = [0, +[ [0, +[; use essa identidade, juntamente com uma 2 + mudan ca de vari aveis apropriada, para calcular a integral 0 ex dm(x).
APENDICE A
Solu c oes para os Exerc cios Propostos

A.1. Exerc cios do Cap tulo 1 Exerc cio 1.9. Pelo Lema 1.4.4, temos m (A) m (U ) = m(U ), para todo aberto U I Rn contendo A. Logo m (A) e uma conta inferior do conjunto m(U ) : U A aberto . Para ver que m (A) e a maior cota inferior desse conjunto, devemos mostrar que para todo > 0 existe U A aberto com m(U ) m (A)+ . Mas esse e precisamente o resultado do Lema 1.4.12. Exerc cio 1.10. Como A e mensur avel ent ao, para todo > 0 existe um aberto U A com m (U \ A) < . Da U +x e um aberto em I Rn contendo A + x e (U + x) \ (A + x) = (U \ A) + x. Logo, pelo Lema 1.4.10, temos m (U + x) \ (A + x) = m (U \ A) < . Exerc cio 1.11. (a) O resultado e claro se B e vazio. Sen ao, B =
n n i=1 [ai , bi ]
(B ) =
i=1
[a(i) , b(i) ]
tamb em e um bloco retangular n-dimensional e:

n n
| (B )| =
i=1
(b(i) a(i) ) =
i=1
(bi ai ) = |B |.
e uma cobertura de A por blocos ratangulares n(b) Se A k=1 Bk e uma cobertura de (A) dimensionais ent ao (A) k=1 (Bk ) por blocos retangulares n-dimensionais e

| (Bk )| =
k=1 k=1
|Bk |.
Isso mostra que C (A) C (A) (recorde (1.4.1)). Por outro lado, se = 1 ent ao A = (A) e da o mesmo argumento mostra que C (A) C (A); logo: m (A) = inf C (A) = inf C (A) = m (A) .
103
A.1. EXERC ICIOS DO CAP ITULO 1
104
(c) Se A e mensur avel ent ao para todo > 0 existe um aberto U I Rn contendo A tal que m (U \ A) < . Da (U ) e um aberto contendo (A) e: m (U ) \ (A) = m (U \ A) = m (U \ A) < , provando que (A) e mensur avel. Exerc cio 1.12. (a) O resultado e claro se B e vazio. Sen ao, B =
n n i=1 [ai , bi ]
D (B ) =
i=1
[ai , bi ],
onde ai = i ai , bi = i bi se i > 0 e ai = i bi , bi = i ai se i < 0; em todo caso:

n n
|D (B )| =
i=1
(bi ai ) =
i=1
|i |(bi ai ) = | det D | |B |.
(b) Se A e uma cobertura de A por blocos retangulares k=1 Bk e uma cobertura de n-dimensionais ent ao D (A) k=1 D (Bk ) D (A) por blocos retangulares n-dimensionais e

|D (Bk )| = | det D |
k=1 k=1
|Bk |.
Isso mostra que (recorde (1.4.1)): (A.1.1) | det D | C (A) = | det D | a : a C (A) C D (A) .
1 ent ao A = D D (A) e da o , . . . , 1 Por outro lado, se = n 1 mesmo argumento mostra que:
(A.1.2)
| det D | C D (A) C (A). Como | det D | = | det D |1 , de (A.1.1) e (A.1.2) vem: C D (A) = | det D | C (A). Conclu mos ent ao que:
m D (A) = inf C D (A) = | det D | inf C (A) = | det D | m (A). (c) Se A e mensur avel ent ao para todo > 0 existe um aberto U I Rn contendo A tal que m (U \ A) < | det D |1 . Da D (U ) e um aberto que cont em D (A) e: m D (U ) \ D (A) = m D (U \ A) = | det D | m (U \ A) < , provando que D (A) e mensur avel.
105
Exerc cio 1.13. Temos B A (B \ A) A (A B ) e portanto m (B ) m (A) + m (A B ) = m (A). De modo an alogo mostra-se que m (A) m (B ) e portanto m (A) = m (B ). Suponha agora que A e mensur avel. Ent ao: (A.1.3) B = A \ (A \ B ) (B \ A). Como A \ B A B e B \ A A B ent ao m (A \ B ) = 0 e m (B \ A) = 0. Segue do Lema 1.4.16 que A \ B e B \ A s ao ambos mensur aveis; logo (A.1.3) implica que B e mensur avel. Da mesma forma mostra-se que a mensurabilidade de B implica na mensurabilidade de A.
Exerc cio 1.14. Seja U A um aberto tal que m(U \ A) < 2 . Pelo Lema 1.4.23 podemos escrever U = B , onde ( B ) e uma seq u encia k k k 1 k=1 de blocos retangulares n-dimensionais com interiores dois a dois disjuntos; pelo Corol ario 1.4.21 temos:
m(U ) =
k=1
|Bk |.
e Note que m(U ) = m(U \ A) + m(A) < + e portanto a s erie k=1 |Bk | . Observe agora convergente; existe portanto t 1 tal que k>t |Bk | < 2 que:
t
Bk
k=1
A (U \ A)
k>t
Bk
e portanto: m
t k=1 Bk
A m(U \ A) +
k>t
|Bk | <
+ = . 2 2 B ) e portanto:
Exerc cio 1.15. Temos A B (A \ B ) B (A m (A) m (B ) + m (A Se m (B ) < + segue que: m (A) m (B ) m (A B ); B ).
(A.1.4)
note que (A.1.4) tamb em e v alida se m (B ) = + j a que, nesse caso, m (A) < + e m (A) m (B ) = . Trocando os pap eis de A e B em (A.1.4) obtemos: (A.1.5) m (B ) m (A) m (A B ).
A conclus ao segue de (A.1.4) e (A.1.5). Exerc cio 1.16. Temos: m (A) m (E ) m (E ) = m(E ) com m (A) = m(E ) e portanto m(E ) = m (E ) = m (A). Como E e mensur avel e cont em A, segue que E e um envelope mensur avel de A.
106
Exerc cio 1.17. Temos que A B e uni ao disjunta dos conjuntos A \ B , A B e B \ A; logo: (A B ) = (A \ B ) + (A B ) + (B \ A). Como (A B ) < +, segue do Lema 1.4.46 que: (A \ B ) = A \ (A B ) = (A) (A B ), e similarmente (B \ A) = (B ) (A B ). Logo: (A B ) = (A) (A B ) + (A B ) + (B ) (A B ) = (A) + (B ) (A B ).
k 1 Exerc cio 1.18. Sejam A0 = e Bk = Ak \ i =0 Ai , para todo k 1. Note que Bk Ak e Bk A para todo k 1. Armamos que os conjuntos Bk s ao dois a dois disjuntos. Sejam k, l 1 com k = l, digamos, k > l. Da Bk Al = e Bl Al , de modo que Bk Bl = . Armamos tamb em que k=1 Ak = k=1 Bk . Obviamente, k=1 Bk k=1 Ak . Por outro lado, x Ak e se x k=1 Ak , seja k 1 o menor inteiro tal que x Ak ; da k 1 x i=0 Ai , i.e., x Bk . Finalmente, temos:
(A.1.6)
k=1
Ak =
k=1
Bk =
k=1
(Bk )
k=1
(Ak ).
Exerc cio 1.19. Denimos os conjuntos Bk , k 1, como na resolu c ao do Exerc cio 1.18. Por (A.1.6), e suciente mostrarmos que (Bk ) = (Ak ) para todo k 1. Obviamente (Bk ) (Ak ). Por outro lado, temos:
k 1
Ak Bk
i=0
(Ai Ak );
aplicando o resultado do Exerc cio 1.18 obtemos:

k 1
(Ak ) (Bk ) +
i=0
(Ai Ak ) = (Bk ),
o que completa a demonstra c ao. Exerc cio 1.20. (a) Temos X Ai para todo i I , de modo que X A e A = . Dado A A temos A Ai para todo i I e portanto Ac Ai , para todo i I ; segue que Ac A. Seja (Ak )k1 uma seq u encia de elementos de A. Da Ak Ai para todo k 1 e todo i I , de modo que k=1 Ak Ai para todo i I e portanto k=1 Ak A. (b) Se 1 [C ] e 2 [C ] s ao ambas - algebras de partes de X satisfazendo as propriedades (1) e (2) que aparecem na Deni c ao 1.4.35, mostremos que 1 [C ] = 2 [C ]. De fato, como 1 [C ] e uma - algebra de partes
107
de X que cont em C e como 2 [C ] satisfaz a propriedade (2), temos que 2 [C ] 1 [C ]. De modo similar mostra-se que 1 [C ] 2 [C ]. (c) Seja [C ] a interse c ao de todas as - algebras de partes de X que cont em C ; pelo resultado do item (a), [C ] e uma - algebra de partes de X e obviamente C [C ], j a que [C ] e a interse c ao de uma cole c ao de conjuntos que cont em C . Al em do mais, se A e uma - algebra de partes de X que cont em C ent ao A e um dos membros da cole c ao cuja interse c ao resultou em [C ]; logo [C ] A. Exerc cio 1.21. Como [C2 ] e uma - algebra de partes de X que cont em C1 e como [C1 ] satisfaz a propriedade (2) que aparece na Deni c ao 1.4.35 temos que [C1 ] [C2 ]. Similarmente, C2 [C1 ] implica que [C2 ] [C1 ]. Exerc cio 1.22. A - algebra de Borel de I Rn e uma - algebra de partes n n de I R que cont em os abertos de I R . Logo todo aberto de I Rn e toda interse c ao enumer avel de abertos de I Rn pertence ` a - algebra de Borel de n I R (veja Lema 1.4.37). Como todo fechado e complementar de um aberto, segue que os fechados de I Rn e as uni oes enumer aveis de fechados de I Rn n pertencem ` a - algebra de Borel de I R . Exerc cio 1.23. Seja A a - algebra gerada pelos intervalos da forma ], c], c I R. Como a - algebra de Borel B (I R) e a - algebra gerada pelos abertos de I R, o resultado do Exerc cio 1.21 nos diz que, para mostrar que A = B (I R), e suciente mostrar as seguintes arma c oes: (i) todo intervalo da forma ], c] e um Boreleano de I R; (ii) todo aberto de I R pertence a A. A arma c ao (i) e trivial, j a que ], c] e um subconjunto fechado de I R. Para mostrar a arma c ao (ii), observe que o Lema 1.4.23 implica que todo aberto de I R e uma uni ao enumer avel de intervalos compactos; e suciente mostrar ent ao que [a, b] A, para todos a, b I R com a b. Essa arma c ao segue das identidades abaixo:
[a, b] =
k=1
1 ,b , a k
1 a k , b = ], b] \ , a
1 k
Exerc cio 1.24. Suponha por absurdo que F e um fechado de I R contido propriamente em I com m(F ) = |I |. Seja x I \ F . Como F e fechado, existe > 0 com [x , x + ] F = . Se x e um ponto interior de I ent ao podemos escolher > 0 de modo que [x , x + ] I ; sen ao, se x e uma extremidade de I , podemos ao menos garantir que um dos intervalos [x , x], [x, x + ] est a contido em I , para > 0 sucientemente pequeno. Em todo caso, conseguimos um intervalo J contido em I , disjunto de F , com |J | > 0. Da F e J s ao subconjuntos mensur aveis disjuntos de I e portanto: |I | = m(I ) m(F J ) = m(F ) + m(J ) = |I | + |J | > |I |, o que nos d a uma contradi c ao e prova que F = I . Em particular, vemos que F n ao pode ter interior vazio.
108
Exerc cio 1.25. Se K A e compacto ent ao m(K ) = m (K ) m (A), pelo Lema 1.4.4. Logo m (A) e uma cota superior do conjunto: m(K ) : K A compacto e portanto e maior ou igual ao seu supremo, que e m (A). Exerc cio 1.26. Observe que: m(K ) : K A1 compacto m(K ) : K A2 compacto e portanto: m (A1 ) = sup m(K ) : K A1 compacto sup m(K ) : K A2 compacto = m (A2 ). Exerc cio 1.27. Se M M(I Rn ) cont em todos os subconjuntos comn pactos de I R ent ao: m(K ) : K A compacto m(E ) : E A, E M e portanto: m (A) = sup m(K ) : K A compacto sup m(E ) : E A, E M . Por outro lado, se E M e E A ent ao segue do Lema 1.4.57 e do resultado do Exerc cio 1.26 que: m(E ) = m (E ) m (A); isso mostra que m (A) e uma cota superior do conjunto: m(E ) : E A, E M e portanto m (A) sup m(E ) : E A, E M . Exerc cio 1.28. Se m (A) < + ent ao para todo r 1 existe um compacto Kr A com m(Kr ) > m (A) 1 e um F W = r =1 Kr r ; da contido em A e: 1 m (A) < m(Kr ) m(W ) = m (W ) m (A), r para todo r 1, onde usamos o Lema 1.4.57 e o resultado do Exerc cio 1.26. Segue que m(W ) = m (A). Se m (A) = + ent ao para todo r 1 existe um compacto Kr A com m(Kr ) > r e da W = e um F contido r=1 Kr em A tal que: m(W ) m(Kr ) > r, para todo r 1; logo m(W ) = + = m (A). Exerc cio 1.29. O resultado do Exerc cio 1.26 implica que m (Ak ) k1 e uma seq u encia decrescente e que m (Ak ) m (A), para todo k 1; logo m (Ak ) k1 e convergente e:
k
lim m (Ak ) m (A).
109
Para cada k 1, o resultado do Exerc cio 1.28 nos d a um subconjunto Wk de Ak de tipo F tal que m(Wk ) = m (Ak ). Dena Vk = Vk r=k Wr . Da e mensur avel e Wk Vk Ak , donde: m (Ak ) = m(Wk ) m(Vk ) = m (Vk ) m (Ak ), onde usamos tamb em o Lema 1.4.57. Mostramos ent ao que m(Vk ) = m (Ak ), para todo k 1. Obviamente Vk Vk+1 para todo k 1 e:

Vk
k=1 k=1
Ak = A.
Como m(Vk ) = m (Ak ) < + para algum k 1, o Lema 1.4.48 nos d a:

k
lim m(Vk ) = m
k=1
Vk = m
k=1
Vk m (A),
e portanto:
k
lim m (Ak ) m (A).
Exerc cio 1.30. (a) Consideramos primeiro o caso em que A e B t em medida exterior nita. Seja dado > 0 e sejam (Qk )k1 e (Ql )l1 respectivamente uma seq u encia de blocos retangulares m-dimensionais e uma seq u encia de blocos retangulares n-dimensionais tais que:

A
k=1
Qk ,
B
l=1
Ql
e tais que:

|Qk | < m (A) + ,

k=1 l=1
|Ql | < m (B ) + .
e uma fam lia enumer avel de blocos retangulares Da (Qk Ql )k,l1 (m + n)-dimensionais tal que A B k,l1 (Qk Ql ). Logo:

m (A B )
k,l1
|Qk Ql | =
k,l1
|Qk | |Ql | =
k=1
|Qk |
l=1
|Ql |
< m (A) + m (B ) + . A conclus ao e obtida fazendo 0. Consideramos agora o caso que m (A) = + ou m (B ) = +. Se m (A) > 0 e m (B ) > 0 ent ao m (A)m (B ) = + e n ao h a nada para mostrar. Suponha ent ao que m (A) = 0 ou m (B ) = 0, de modo que m (A)m (B ) = 0; devemos mostrar ent ao que m (A B ) = 0 tamb em. Consideraremos apenas o caso que m (A) = + e m (B ) = 0 (o caso m (A) = 0 e
110
m (B ) = + e an alogo). Para cada k 1, seja Ak = A [k, k ]m . Temos A = k=1 Ak e m (Ak ) < +, para todo k 1. Logo: 0 m (Ak B ) m (Ak )m (B ) = 0, ou seja, m (Ak B ) = 0, para todo k 1. Como:
AB =
k=1
(Ak B ),
segue que m (A B ) = 0. (b) Consideramos primeiro o caso que m(A) < + e m(B ) < +. Dado > 0, existem abertos U I Rm e V I Rn contendo A e B respectivamente, de modo que m(U ) < m(A) + 1, m(V ) < m(B ) + 1 e: m(U \ A) < , m(V \ B ) < . 2 m(B ) + 1 2 m(A) + 1 Da U V e um aberto de I Rm+n contendo A B ; al em do mais: (U V ) \ (A B ) (U \ A) V U (V \ B ) . Usando o resultado do item (a) obtemos portanto: m (U V ) \ (A B ) m (U \ A) V + m U (V \ B ) m(U \ A)m(V ) + m(U )m(V \ B ) m(U \ A) m(B ) + 1 + m(V \ B ) m(A) + 1 < , o que mostra que A B e mensur avel. Para o caso geral, denimos Ak = A [k, k ]m , Bk = B [k, k ]n . Da Ak Bk e mensur avel em A B para todo k 1 e A B = k=1 (Ak Bk ); portanto tamb e mensur avel. (c) Mostremos primeiro que se U I Rm , V I Rn s ao abertos ent ao: (A.1.7) m(U V ) = m(U )m(V ). e Pelo Lema 1.4.23 podemos escrever U = k=1 Qk , onde (Qk )k1 uma seq u encia de blocos retangulares m-dimensionais com interiores dois a dois disjuntos; podemos tamb em escrever V = l=1 Ql , onde (Ql )l1 e uma seq u encia de blocos retangulares n-dimensionais com interiores dois a dois disjuntos. Note que (Qk Ql )k,l1 e uma fam lia enumer avel de blocos retangulares (m + n)-dimensionais com interiores dois a dois disjuntos e U V = k,l1 (Qk Ql ). Da , pelo Corol ario 1.4.21, obtemos:

m(U V ) =
k,l1
|Qk Ql | =
k,l1
|Qk | |Ql | =
k=1
|Qk |
l=1
|Ql | = m(U )m(V ).
111
Isso prova (A.1.7). Dados agora A I Rm , B I Rn mensur aveis com m(A) < + e m(B ) < + podemos, como no item (b), obter abertos U I Rm , V I Rn contendo A e B respectivamente de modo que: m (U V ) \ (A B ) < . Como os conjuntos U V e A B s ao mensur aveis e, pelo item (a), m(A B ) m(A)m(B ) < +, obtemos: m (U V ) \ (A B ) = m(U V ) m(A B ), e portanto m(U V ) m(A B ) < . Usando agora (A.1.7) conclu mos que: m(A B ) > m(U V ) = m(U )m(V ) m(A)m(B ) ; fazendo 0, obtemos m(A B ) m(A)m(B ). Provamos ent ao a igualdade m(A B ) = m(A)m(B ), j a que a desigualdade oposta j a foi provada no item (a). Sejam agora A I Rm , B I Rn conjuntos mensur aveis arbitr arios e dena: Ak = A [k, k ]m , para todo k 1. Da Ak portanto:
k
Bk = B [k, k ]n , A, Bk B , Ak Bk AB e
m(A B ) = lim m(Ak Bk ) = lim m(Ak )m(Bk ) = m(A)m(B ),

k
onde na u ltima igualdade usamos o resultado do Exerc cio 1.5. A.2. Exerc cios do Cap tulo 2 Exerc cio 2.1. Se f : X X e constante ent ao para todo subconjunto A de X temos f 1 (A) = ou f 1 (A) = X ; em todo caso, f 1 (A) A. Exerc cio 2.2. Temos que A|Y e uma - algebra de partes de Y que cont em C|Y ; logo A|Y cont em [C|Y ]. Para mostrar que A|Y est a contido em [C|Y ], considere a cole c ao: A = A X : A Y [C|Y ] . Verica-se diretamente que A e uma - algebra de partes de X ; obviamente, C A . Logo A A , o que prova que A Y [C|Y ], para todo A A, i.e., A|Y [C|Y ]. Exerc cio 2.3. De acordo com a deni c ao da - algebra de Borel de I R, se A B (I R) ent ao A I R B (I R); logo B (I R)|I B ( I R ). Por outro lado, R R) (j a que A I R=A e um Boreleano se A B (I R) ent ao tamb em A B (I de I R) e portanto A I R = A B (I R)|I R.
112
Exerc cio 2.4. Seja C a cole c ao formada pelos intervalos da forma [, c], c I R. Claramente C B (I R) e portanto [C ] B (I R). Vamos mostrar ent ao que B (I R) [C ]. Em primeiro lugar, armamos que: (A.2.1) (A.2.2)
, {+}, {}, {+, } [C ], I R [C ].
De fato, (A.2.1) segue das igualdades: {} =

k=1
[, k ],
{+} =
k=1
[, k ]c ,
e (A.2.2) segue de (A.2.1), j a que I R = {+, }c . Note que: C|I R = ], c] : c I R e portanto o resultado do Exerc cio 1.23 nos d a [C|I R); da , o R ] = B (I resultado do Exerc cio 2.2 implica que: (A.2.3) [C ]|I R). R = B (I R), de modo que A I R B (I R). Por (A.2.3), temos que existe Seja A B (I A [C ] tal que A I R = A I R. Da (A.2.2) implica que A I R [C ]. Finalmente, (A.2.1) implica que A {+, } [C ], o que prova que A = (A I R) A {+, } [C ]. Exerc cio 2.5. Pelo Corol ario 2.1.18, a fun c ao h : f 1 (I R) g 1 (I R) I R denida por h(x) = f (x) g (x) e mensur avel. Logo o conjunto: h1 (0) = x f 1 (I R) g 1 (I R) : f (x) = g (x) e mensur avel. A conclus ao segue da igualdade: x X : f (x) = g (x) = f 1 (+) g 1 (+) f 1 () g 1 () x f 1 (I R) g 1 (I R) : f (x) = g (x) . Exerc cio 2.6. Vamos usar o Lema 2.1.13. Temos que os conjuntos: (A.2.4a) (A.2.4b) (A.2.4c) (x, y ) I R2 : y 1 , (x, y ) I R2 : 1 < y < 1 , (x, y ) I R2 : y 1 ,
suciente constituem uma cobertura enumer avel de I R2 por Boreleanos. E ent ao mostrar que a restri c ao de f a cada um desses Boreleanos e Borel mensur avel. A restri c ao de f ao conjunto (A.2.4a) e cont nua, e portanto Borel mensur avel (veja Lema 2.1.15). A restri c ao de f ao conjunto (A.2.4b) e um limite pontual de fun c oes cont nuas e portanto e Borel mensur avel, pelo Corol ario 2.1.24 (na verdade, essa restri c ao de f tamb em e cont nua, j a que a s erie em quest ao converge uniformemente, pelo teste M de Weierstrass). Finalmente, a restri c ao de f ao conjunto (A.2.4c) e Borel mensur avel, sendo
113
igual ` a composi c ao da fun c ao cont nua (x, y ) x + y com a fun c ao Borel mensur avel Q . Exerc cio 2.7. (a) Como X \ X1 tem medida nula, temos que todo subconjunto de X \ X1 e mensur avel (recorde Lema 1.4.16). Portanto, a restri c ao de f a X \ X1 e automaticamente mensur avel (seja l a qual for a fun c ao f ). Como os conjuntos X \ X1 e X1 = X \ (X \ X1 ) s ao mensur aveis, segue do Lema 2.1.13 que f e mensur avel. (b) Como f = g quase sempre, existe um subconjunto X1 de X tal que X \ X1 tem medida nula e tal que f e g coincidem em X1 . Como f e mensur avel, segue que g |X1 = f |X1 tamb em e mensur avel; logo, o resultado do item (a) implica que g e mensur avel. (c) Basta observar que g = lim inf k fk quase sempre e usar o resultado do item (b) juntamente com o Corol ario 2.1.23. Exerc cio 2.8. Devemos mostrar que se A e um subconjunto Lebesgue mensur avel de I Rm ent ao 1 (A) e um subconjunto Lebesgue mensur avel de I Rm+n . Mas 1 (A) = A I Rn e portanto a conclus ao segue do resultado do item (b) do Exerc cio 1.30. Exerc cio 2.9. Considere a fun c ao : X I Rn I Rn denida por n (x, y ) = y f (x), para todos x X , y I R . Obviamente: gr(f ) = 1 (0). Considere a proje c ao : I Rm+n I Rm nas primeiras m coordenadas. Temos que e cont nua e portanto Borel mensur avel; da X I Rn = 1 (X ) e Boreleano, caso X seja Boreleano. Al em do mais, pelo resultado do Exerc cio 2.8, XI Rn e Lebesgue mensur avel, caso X seja Lebesgue mensur avel. Para concluir a demonstra c ao, vamos vericar que: e Borel mensur avel se f for Borel mensur avel; e mensur avel se f for mensur avel. De fato, temos que e igual ` a diferen ca entre a fun c ao cont nua (x, y ) y e a fun c ao (x, y ) f (x), que e simplesmente a composi c ao da restri c ao de a X I Rn com f . A conclus ao segue do resultado do Exerc cio 2.8. Exerc cio 2.10. (a) Se f e integr avel ent ao, por deni c ao, f + e f s ao integr aveis, don+ de |f | = f + f e integr avel. Reciprocamente, se |f | e integr avel ent ao f + e f s ao integr aveis, j a que 0 f + |f | e 0 f |f |. Segue que f e integr avel.
114
(b) Temos: f d =
X X
f + d
X
f d
X
f + d +
X
f d |f | d.
X
=
X
f + + f d =
(gn )n1 e uma seq u encia de Exerc cio 2.11. Seja gn = n k=1 fk . Da fun c oes mensur aveis n ao negativas com gn f . Segue do Teorema 2.3.3 que:
n
fk d = lim
k=1 X
fk d = lim
k=1 X
n X
gn d =
X
f d.
Exerc cio 2.12. Obviamente f () = 0, pelo Lema 2.4.10. Seja (Ek )k1 uma seq u encia de subconjuntos mensur aveis dois a dois disjuntos de X . Temos:
f E =
k=1
f Ek ,
e portanto o Lema 2.3.4 e o resultado do Exerc cio 2.11 implicam: f (Ek ) =

k=1 k=1 X
f Ek d =
f E d = f (E ).
Exerc cio 2.13. (a) Se a fun c ao f e n ao negativa, a arma c ao segue do resultado do Exerc cio 2.12. No caso geral, temos:

f d =
A k=1 Ak
f d,
A
f d =
k=1 Ak
f d,
e a conclus ao segue subtraindo as duas igualdades acima. (b) Se a fun c ao f e n ao negativa, a arma c ao segue do resultado do Exerc cio 2.12 e do Lema 1.4.48. No caso geral, temos: f + d = lim
A k Ak
f + d,
A
f d = lim
k Ak
f d,
e a conclus ao segue subtraindo as duas igualdades acima. (c) An alogo ao item (b), observando que se f |A1 e integr avel ent ao + d < + e d < +. f f A1 A1
LISTA DE S MBOLOS
115
Lista de S mbolos
+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A + x . . . . . . . . . . . . . . . . . . . . . . . 6, 12 A B . . . . . . . . . . . . . . . . . . . . . . . . 35 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 Ak A . . . . . . . . . . . . . . . . . . . . . . . 21 Ak A . . . . . . . . . . . . . . . . . . . . . . . 21 Ax . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 C (A, p) . . . . . . . . . . . . . . . . . . . . . . 101 D . . . . . . . . . . . . . . . . . . . . . . . . 35, 92 G(I Rn , S ). . . . . . . . . . . . . . . . . . . . . .32 I ( ) . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Li,j ;c . . . . . . . . . . . . . . . . . . . . . . . . . . 91 S (f ; P ). . . . . . . . . . . . . . . . . . . . . . . .65 [x, y ] . . . . . . . . . . . . . . . . . . . . . . . . . 100 B (I Rn ) . . . . . . . . . . . . . . . . . . . . . . . . 18 B (I R) . . . . . . . . . . . . . . . . . . . . . . . . . 39 n . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 dim(V ). . . . . . . . . . . . . . . . . . . . . . . .90 gr(f ) . . . . . . . . . . . . . . . . . . . . . . . . . . 82 int(A) . . . . . . . . . . . . . . . . . . . . . . . . . 12 M(I Rn ) . . . . . . . . . . . . . . . . . . . . . . . 21 Q .............................. 6 I R..............................1 P . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 x . . . . . . . . . . . . . . . . . . . . . . . . . .88 Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 d(x) . . . . . . . . . . . . . . . . . . . . . . . . . 99 det T . . . . . . . . . . . . . . . . . . . . . . . . . . 91 v (x) . . . . . . . . . . . . . . . . . . . . . . . . . 99 inf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 f d . . . . . . . . . . . . . . . . . . . . . . . . . 83 (R ) f . . . . . . . . . . . . . . . . . . . . . . . . . 67 b (R ) a f . . . . . . . . . . . . . . . . . . . . . . . . 70 X f (x) d(x) . . . . . . . . . . 49, 54, 57 X f d . . . . . . . . . . . . . . . . 49, 54, 56 b a f (x) dm(x) . . . . . . . . . . . . . . . . . 57 b a f dm . . . . . . . . . . . . . . . . . . . . . . . 57 + f (x) dm(x) . . . . . . . . . . . . . . . 57 a + f dm . . . . . . . . . . . . . . . . . . . . . 57 a . . . . . . . . . . . . . . . . . . . . . . . . 67 f . . . . . . . . . . . . . . . . . . . . . . . . 67 n I, (i )n i=1 ; ( i )i=1 . . . . . . . . . . . 26 m(A) . . . . . . . . . . . . . . . . . . . . . . . . . . 21 m (A) . . . . . . . . . . . . . . . . . . . . . . . . . . 9 m (A) . . . . . . . . . . . . . . . . . . . . . . . . . 24 ]x, y [ . . . . . . . . . . . . . . . . . . . . . . . . . 100 limk ak . . . . . . . . . . . . . . . . . . . . . . 4 lim inf k ak . . . . . . . . . . . . . . . . . . .4 lim supk ak . . . . . . . . . . . . . . . . . . 4 A|Y . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 C (A) . . . . . . . . . . . . . . . . . . . . . . . . . . 10 I (f ) . . . . . . . . . . . . . . . . . . . . . . . . . . 53 P .............................. 8 I R..............................1 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 [C ] . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 sup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 |B | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 . . . . . . . . . . . . . . . . . . . . . . . . . . 35, 92 (X ) . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 ak a . . . . . . . . . . . . . . . . . . . . . . . . . 3 d(A, B ) . . . . . . . . . . . . . . . . . . . . . . . 13 d(x, A) . . . . . . . . . . . . . . . . . . . . . . . . 13 d(x, y ) . . . . . . . . . . . . . . . . . . . . . . . . 13 d (x, y ) . . . . . . . . . . . . . . . . . . . . . . . 88 f g . . . . . . . . . . . . . . . . . . . . . . . . . 52 f + . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 f . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 fk f . . . . . . . . . . . . . . . . . . . . . . . . 48 fk f . . . . . . . . . . . . . . . . . . . . . . . . 48 s(f ; P ) . . . . . . . . . . . . . . . . . . . . . . . . 65
(R ) (R )
INDICE REMISSIVO
116
Indice Remissivo
A aberta aplica c ao. . . . . . . . . . . . . . . . .101 algebra . . . . . . . . . . . . . . . . . . . . . . . . 18 anti-reexividade . . . . . . . . . . . . . . . 1 aplica c ao aberta . . . . . . . . . . . . . . . . . . . 101 aplica c ao linear elementar . . . . . . . . . . . . . . . . . 91 area . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 aresta de um cubo . . . . . . . . . . . . . . . 15 associatividade . . . . . . . . . . . . . . . . . 2 B Baire teorema de . . . . . . . . . . . . . . . . 37 bloco retangular . . . . . . . . . . . . . . . . 7 volume de . . . . . . . . . . . . . . . . . . 8 Borel - algebra de . . . . . . . . . . . . . . 18 de I R . . . . . . . . . . . . . . . . . . . .39 Borel mensur avel fun c ao . . . . . . . . . . . . . . . . . . . . 40 Boreleano . . . . . . . . . . . . . . . . . . . . . 18 em I R . . . . . . . . . . . . . . . . . . . . . 39 C cadeia regra da. . . . . . . . . . . . . . . . . . .99 caminho . . . . . . . . . . . . . . . . . . . . . . . 31 Cantor conjunto de . . . . . . . . . . . . . . . 27 conjunto tern ario de . . . . . . . 37 Carath eodory . . . . . . . . . . . . . . . . . 23 Cayley grafo de . . . . . . . . . . . . . . . . . . . 32 circuito . . . . . . . . . . . . . . . . . . . . . . . 31 classe C 1 fun c ao de . . . . . . . . . . . . . . . . . 99 colorimento . . . . . . . . . . . . . . . . . . . 31 componente conexa de um grafo . . . . . . . . . . . . . . . 31 comprimento de um caminho. . . . . . . . . . . .31 de um intervalo . . . . . . . . . . . . 8 comutatividade . . . . . . . . . . . . . . . . . 3 cone . . . . . . . . . . . . . . . . . . . . . . . . . 101 conjunto Boreleano . . . . . . . . . . . . . . . . . 18 R . . . . . . . . . . . . . . . . . . . 39 em I convexo . . . . . . . . . . . . . . . . . . 100 das diferen cas . . . . . . . . . . . . . 30 de Cantor . . . . . . . . . . . . . . . . . 27 tern ario . . . . . . . . . . . . . . . . . 37 de geradores para uma - algebra . . . . . 18 de tipo F . . . . . . . . . . . . . . . . 17 de tipo G . . . . . . . . . . . . . . . . 17 escolha . . . . . . . . . . . . . . . . . . . . . 7 magro . . . . . . . . . . . . . . . . . . . . . 37 mensur avel . . . . . . . . . . . . 13, 21 constante de Lipschitz . . . . . . . . . . . . . . . 88 converg encia R ...................... 3 em I converg encia dominada teorema da . . . . . . . . . . . . . . . . 63 converg encia monot onica teorema da . . . . . . . . . . . . 54, 61 convexo conjunto . . . . . . . . . . . . . . . . . 100 cubo n-dimensional . . . . . . . . . . . . . 15 D desigualdade do valor m edio . . . . . . . . . . . 100 determinante . . . . . . . . . . . . . . . . . . 91 difeomorsmo . . . . . . . . . . . . . . . . 100 diferen ca sim etrica . . . . . . . . . . . . 35 diferen cas conjunto das . . . . . . . . . . . . . . 30 diferencial
INDICE REMISSIVO
117
de uma fun c ao . . . . . . . . . . . . 99 diferenci avel fun c ao . . . . . . . . . . . . . . . . . . . . 99 dist ancia entre conjuntos. . . . . . . . . . . .13 entre ponto e conjunto . . . . 13 Euclideana . . . . . . . . . . . . . . . . 13 E elementar aplica c ao linear . . . . . . . . . . . 91 transforma c ao . . . . . . . . . . . . . 92 elemento neutro . . . . . . . . . . . . . . . . 3 envelope mensur avel . . . . . . . . . . . 22 escalonamento . . . . . . . . . . . . . . . . . 92 espa co de medida. . . . . . . . . . . . . . . . .21 mensur avel . . . . . . . . . . . . 21, 39 subespa co de . . . . . . . . . . . . 42 F fatia vertical . . . . . . . . . . . . . . . . . . 73 Fatou lema de . . . . . . . . . . . . . . . . . . . 62 nito . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Fubini teorema de . . . . . . . . . . . . . . . . 77 fun c ao Borel mensur avel . . . . . . . . . . 40 caracter stica . . . . . . . . . . . . . . 47 de classe C 1 . . . . . . . . . . . . . . . 99 diferenci avel . . . . . . . . . . . . . . 99 estritamente crescente . . . . . 38 gr aco de . . . . . . . . . . . . . . . . . 82 integr avel . . . . . . . . . . . . . . . . . 56 Lipschitziana . . . . . . . . . . . . . . 88 localmente Lipschitziana . . 90 mensur avel . . . . . . . . . . . . . . . . 39 R . . 40 a valores em I Rn ou I n denida em I R . . . . . . . . . 40 integral de. . . . . . . . . . .54, 56 integral num subespa co . 57 quase integr avel . . . . . . . . . . . 56 num subespa co . . . . . . . . . . 57 que preserva medida . . . . . . 83
simples. . . . . . . . . . . . . . . . . . . .47 integral de . . . . . . . . . . . . . . 49 fun c ao inversa teorema da. . . . . . . . . . . . . . .101 fun c oes produto de . . . . . . . . . . . . 44, 45 soma de . . . . . . . . . . . . . . . 44, 45 G geradores para uma - algebra . . . . . . . 18 gr aco . . . . . . . . . . . . . . . . . . . . . . . . 82 grafo . . . . . . . . . . . . . . . . . . . . . . . . . . 30 colorimento de . . . . . . . . . . . . 31 conexo . . . . . . . . . . . . . . . . . . . . 31 de Cayley . . . . . . . . . . . . . . . . . 32 k -color vel. . . . . . . . . . . . . . . . .31 I nmo . . . . . . . . . . . . . . . . . . . . . . . . . . 2 innito . . . . . . . . . . . . . . . . . . . . . . . . . 1 integra c ao por partes . . . . . . . . . . 85 integrais iteradas . . . . . . . . . . . . . . 80 integral de Lebesgue . . . . . . . . . . . . . . . 57 de Riemann . . . . . . . . . . . . . . . 67 de uma fun c ao mensur avel 56 num subespa co . . . . . . . . . . 57 de uma fun c ao mensur avel n ao negativa . . . . . . . . . . . . . . 54 de uma fun c ao simples n ao negativa . . . . . . . . . . . . . . . . . 49 impr opria de Riemann . . . . 70 indenida . . . . . . . . . . . . . . . . . 83 inferior de Riemann . . . . . . . 67 superior de Riemann . . . . . . 67 integral impr opria convergente . . . . . . . . . . . . . . . 70 integr avel fun c ao . . . . . . . . . . . . . . . . . . . . 56 Lebesgue . . . . . . . . . . . . . . . . . . 57 interior de um conjunto . . . . . . . 12 intervalo comprimento de . . . . . . . . . . . . 8 na reta estendida . . . . . . . . . . . 2
INDICE REMISSIVO
118
J Jacobiana matriz . . . . . . . . . . . . . . . . . . . . 99 K k -colorimento . . . . . . . . . . . . . . . . . 31 k -color vel . . . . . . . . . . . . . . . . . . . . . 31 L Lebesgue integral de . . . . . . . . . . . . . . . . 57 integr avel . . . . . . . . . . . . . . . . . 57 medida de. . . . . . . . . . . . . . . . .21 medida exterior de . . . . . . . . . 9 medida interior de. . . . . . . . .24 mensur avel . . . . . . . . . . . . . . . . 13 quase integr avel . . . . . . . . . . . 57 lema de Fatou . . . . . . . . . . . . . . . . . . 62 limite R ...................... 4 em I inferior . . . . . . . . . . . . . . . . . . . . . 4 superior . . . . . . . . . . . . . . . . . . . . 4 Lipschitz constante de . . . . . . . . . . . . . . 88 Lipschitziana fun c ao . . . . . . . . . . . . . . . . . . . . 88 localmente . . . . . . . . . . . . . . . . 90 localmente Lipschitziana . . . . . . . . . . . . . . 90 M magro . . . . . . . . . . . . . . . . . . . . . . . . . 37 matriz Jacobiana . . . . . . . . . . . . . . . . . 99 medida . . . . . . . . . . . . . . . . . . . . . . . . 21 de contagem . . . . . . . . . . . . . . 84 de Lebesgue . . . . . . . . . . . . . . . 21 espa co de . . . . . . . . . . . . . . . . . 21 exterior . . . . . . . . . . . . . . . . . . . . 9 interior. . . . . . . . . . . . . . . . . . . .24 menor que . . . . . . . . . . . . . . . . . . . . . . 1 mensur avel . . . . . . . . . . . . . . . . . . . . 13 espa co . . . . . . . . . . . . . . . . . 21, 39 fun c ao . . . . . . . . . . . . . . . . . . . . 39 R . . 40 a valores em I Rn ou I
denida em I Rn . . . . . . . . . 40 fun c ao Borel . . . . . . . . . . . . . . 40 subespa co . . . . . . . . . . . . . . . . . 42 m odulo . . . . . . . . . . . . . . . . . . . . . . . . . 2 -q. s. . . . . . . . . . . . . . . . . . . . . . . . . . 61 mudan ca de vari aveis teorema de . . . . . . . . . . . . . . . . 93 N norma de uma aplica c ao linear . . . 89 de uma parti c ao . . . . . . . . . . . 65 O opera c ao associativa . . . . . . . . . . . . . . . . . 2 comutativa . . . . . . . . . . . . . . . . . 3 P parte negativa . . . . . . . . . . . . . . . . . 45 de uma fun c ao . . . . . . . . . . . . 45 parte positiva . . . . . . . . . . . . . . . . . 45 de uma fun c ao . . . . . . . . . . . . 45 parti c ao . . . . . . . . . . . . . . . . . . . . . . . . 8 norma de . . . . . . . . . . . . . . . . . 65 renamento de . . . . . . . . . . . . 65 permuta c ao . . . . . . . . . . . . . . . . 35, 79 preserva medida fun c ao que . . . . . . . . . . . . . . . . 83 produto de fun c oes . . . . . . . . . . . . . 44, 45 na reta estendida . . . . . . . . . . . 2 propriedade (). . . . . . . . . . . . . . . .32 Q q. s. . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 quase integr avel fun c ao . . . . . . . . . . . . . . . . . . . . 56 num subespa co . . . . . . . . . . 57 Lebesgue . . . . . . . . . . . . . . . . . . 57 quase sempre . . . . . . . . . . . . . . . . . . 61 R renamento de uma parti c ao . . . . . . . . . . . 65 regra
INDICE REMISSIVO
119
da cadeia . . . . . . . . . . . . . . . . . 99 rela c ao anti-reexiva . . . . . . . . . . . 1, 30 de equival encia . . . . . . . . . . . . . 7 sim etrica . . . . . . . . . . . . . . . . . . 30 transitiva. . . . . . . . . . . . . . . . . . .1 rela c ao de ordem lexicogr aca . . . . . . . . . . . . . . . 38 na reta estendida . . . . . . . . . . . 1 total . . . . . . . . . . . . . . . . . . . . . . . 1 reta estendida . . . . . . . . . . . . . . . . . . 1 Boreleanos da . . . . . . . . . . . . . 39 ret angulo area de . . . . . . . . . . . . . . . . . . . . . 8 Riemann integral de . . . . . . . . . . . . . . . . 67 integral impr opria de . . . . . . 70 integral inferior de . . . . . . . . 67 integral superior de . . . . . . . 67 integr avel . . . . . . . . . . . . . . . . . 67 soma inferior de . . . . . . . . . . . 65 soma superior de . . . . . . . . . . 65 S segmento de reta . . . . . . . . . . . . . 100 seq u encia R..........4 convergente em I - algebra . . . . . . . . . . . . . . . . . . . . . . 18 de Borel . . . . . . . . . . . . . . . . . . 18 de I R . . . . . . . . . . . . . . . . . . . .39 gerada por uma cole c ao de conjuntos . . . . . . . . . . 18 induzida num subconjunto 42 simplexo . . . . . . . . . . . . . . . . . . . . . 101 padr ao . . . . . . . . . . . . . . . . . . . . 87 soma de fun c oes . . . . . . . . . . . . . 44, 45 de uma fam lia . . . . . . . . . . . . . 5 inferior de Riemann . . . . . . . 65 na reta estendida . . . . . . . . . . . 2 superior de Riemann . . . . . . 65 sub-bloco determinado por uma parti c ao . . . . . . . . . . . 8 sub-intervalo
determinado por uma parti c ao . . . . . . . . . . . 8 subespa co de um espa co mensur avel. .42 subgrafo cheio . . . . . . . . . . . . . . . . . . . . . . 31 supremo . . . . . . . . . . . . . . . . . . . . . . . . 2 T teorema da converg encia dominada . 63 da converg encia monot onica . . . . . . . . . . . . . . . 54, 61 da fun c ao inversa . . . . . . . . 101 de Baire . . . . . . . . . . . . . . . . . . 37 de FubiniTonelli. . . . . . . . . .77 de mudan ca de vari aveis. . .93 fundamental do c alculo . . . . 85 Tonelli teorema de . . . . . . . . . . . . . . . . 77 transforma c ao elementar . . . . . . . . . . . . . . . . . 92 transitividade . . . . . . . . . . . . . . . . . . 1 transla c ao . . . . . . . . . . . . . . . . . . 6, 12 tricotomia . . . . . . . . . . . . . . . . . . . . . . 2 V valor m edio desigualdade do . . . . . . . . . . 100 v ertices adjacentes. . . . . . . . . . . . . . . . .31 de um grafo . . . . . . . . . . . . . . . 31 volume . . . . . . . . . . . . . . . . . . . . . . . . . 8

An Lise Real

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

An Lise Real

Enviado por

Direitos autorais:

Formatos disponíveis

Notas Para o Curso de An alise Matem atica I Daniel V.

Exerc cios do Cap tulo 1.............................................. 103

Exerc cios do Cap tulo 2.............................................. 111

Lista de S mbolos................................................................... 115 Indice Remissivo .................................................................... 116

Medida de Lebesgue e Espa cos de Medida

1.1. ARITMETICA NA RETA ESTENDIDA

1.1. ARITMETICA NA RETA ESTENDIDA

1.1. ARITMETICA NA RETA ESTENDIDA

lim inf ak = sup inf ar .

lim ak = lim inf ak = lim sup ak .

1.1. ARITMETICA NA RETA ESTENDIDA

se (ai )iI e uma fam lia em [0, +] e c [0, +] ent ao c ai = c

1.2. O PROBLEMA DA MEDIDA

1.3. VOLUME DE BLOCOS RETANGULARES

[ai , bi ] = [a1 , b1 ] [an , bn ],

1.3. VOLUME DE BLOCOS RETANGULARES

onde ai , bi I R, ai bi , para i = 1, 2, . . . , n. O volume do bloco B acima e denido por:

(bi ai ) = (b1 a1 ) (bn an ),

1.4. MEDIDA DE LEBESGUE EM I Rn

A conclus ao segue agora do Lema 1.3.3 observando que:

1.4. MEDIDA DE LEBESGUE EM I Rn

Bk , Bk bloco retangular n-dimensional, para todo k 1 .

1.4. MEDIDA DE LEBESGUE EM I Rn

1.4.5. Lema. Se A1 , . . . , At s ao subconjuntos de I Rn ent ao:

Al em do mais, se (Ak )k1 e uma seq u encia de subconjuntos de I Rn ent ao:

e uma cobertura enumer avel do conjunto retangulares n-dimensionais e portanto:

1.4. MEDIDA DE LEBESGUE EM I Rn

1.4. MEDIDA DE LEBESGUE EM I Rn

1.4.16. Lema. Todo subconjunto de sur avel.

com medida exterior nula e men-

1.4. MEDIDA DE LEBESGUE EM I Rn

Similarmente: (1.4.7) m (A2 )

1.4. MEDIDA DE LEBESGUE EM I Rn

Como > 0 e arbitr ario, conclu mos que:

o. O Corol Demonstrac a ario 1.4.20 nos d a:

para todo t 1. Fazendo t obtemos: m

1.4. MEDIDA DE LEBESGUE EM I Rn

rio. Todo subconjunto fechado de I 1.4.25. Corola Rn e mensur avel.

1.4. MEDIDA DE LEBESGUE EM I Rn

1.4. MEDIDA DE LEBESGUE EM I Rn

1.4. MEDIDA DE LEBESGUE EM I Rn

|Bk | = m (U ) < +; portanto a s erie

convergente e existe t 1 tal que:

1.4. MEDIDA DE LEBESGUE EM I Rn

Como > 0 e arbitr ario, conclu mos que:

para todo t 1. Fazendo t conclu mos que:

Novamente a desigualdade oposta segue do Lema 1.4.5, o que prova (1.4.9).

1.4. MEDIDA DE LEBESGUE EM I Rn

1.4. MEDIDA DE LEBESGUE EM I Rn

Usando o Lema 1.4.46 obtemos: (1.4.12)

(Ak ) (Ak1 ) = lim

Usando o Lema 1.4.46 obtemos:

lim (A1 ) (Ak ) = (A1 ) (A).

1.4. MEDIDA DE LEBESGUE EM I Rn

segue do Lema 1.4.5.

Da Z \E e mensur avel e portanto E = Z \ (Z \ E ) tamb em e mensur avel.

1.4. MEDIDA DE LEBESGUE EM I Rn

lim m(Kr ) = m(F ) = +.

1.4. MEDIDA DE LEBESGUE EM I Rn

1.5. CONJUNTOS DE CANTOR

+1 n+1 I, (i )n i=1 ; ( i )i=1

1.5. CONJUNTOS DE CANTOR

1.5. CONJUNTOS DE CANTOR