You are on page 1of 123

Notas Para o Curso de Anlise a Matemtica I a Daniel V.

Tausk

Sumrio a
Cap tulo 1. 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. Medida de Lebesgue e Espaos de Medida............ 1 c

Aritmtica na Reta Estendida...................................... 1 e O Problema da Medida ................................................ 6 Volume de Blocos Retangulares.................................... 7 Medida de Lebesgue em I n ......................................... 9 R Conjuntos de Cantor .................................................... 26 Conjuntos no Mensurveis .......................................... 29 a a

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 Funes em Espaos de Medida .......... 39 co c

Funes Mensurveis .................................................... 39 co a Integrando Funes Simples no Negativas .................. 49 co a Integrando Funes Mensurveis no Negativas........... 53 co a a Denio da Integral: o Caso Geral ............................. 56 ca Teoremas de Convergncia ........................................... 61 e Riemann x Lebesgue..................................................... 65 O Teorema de Fubini em I n ....................................... 73 R O Teorema de Mudana de Variveis para Integrais c a de Lebesgue ............................................................. 88 O Efeito de Aplicaes Lipschitzianas sobre a Medida co de Lebesgue......................................................... 88 O Efeito de Aplicaes Lineares sobre a Medida de Leco besgue ................................................................. 91 O Teorema de Mudana de Variveis ........................... 93 c a Apndice ` Seo 3.3: recordao de Clculo no I n ... 99 e a ca ca a R

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 Apndice A. e A.1. Solues para os Exerc co 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 Espaos de Medida c


1.1. Aritmtica na Reta Estendida e Medidas associam nmeros reais no negativos a conjuntos, mas a alguns u a conjuntos ca associado o valor innito. Precisamos ento tratar innitudes a como objetos que podem ser operados com somas e produtos. Introduzimos ento formalmente a reta estendida que a reta real usual acrescida a e de dois objetos +, e com operaes e relao de ordem denidas de co ca maneira natural. Por uma questo de completude, listamos nesta seo em a ca detalhes vrias denies e propriedades relacionadas ` reta estendida. Na a co a Subseo 1.1.1 denimos o conceito de limite de uma seqncia na reta esca ue tendida e na Subseo 1.1.2 formalizamos o conceito de soma de uma fam ca lia (possivelmente innita) de elementos no negativos da reta estendida. a As noes formalizadas nesta seo so de carter bastante intuitivo e co ca a a acreditamos que o leitor pode optar pela omisso de sua leitura sem preju a zo signicativo de compreenso das sees seguintes. a co 1.1.1. Notacao. Denotamos por I o corpo ordenado dos nmeros reais. R u Escolha dois objetos quaisquer no pertencentes ` reta real I e denotea a R os por + e . R R a 1.1.2. Definicao. O conjunto I = I {+, } ser chamado a reta estendida. Um elemento a I dito nito (resp., innito) quando R e a I (resp., a I R R). A natureza dos objetos + e totalmente irrelevante; o que impore ta a forma como eles interagem com os nmeros reais atravs das operaes e u e co R. e relaes que deniremos a seguir em I co 1.1.3. Definicao. Dados a, b I escrevemos a < b e dizemos que a R, e menor que b quando uma das seguintes condies satisfeita: co e a, b I e a < b na ordem usual de I R 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 relao binria < dene uma relao de ordem total na reta estendida ca a ca I ou seja, possui as seguintes propriedades: R, R, a e (anti-reexividade) para todo a I no o caso que a < a; (transitividade) para todos a, b, c I se a < b e b < c ento a < c; R, a
1

1.1. ARITMETICA NA RETA ESTENDIDA

(tricotomia) dados a, b I ento a < b, b < a ou a = b. R a A relao de ordem em I nos permite introduzir as notaes de intervalo ca R co R, e [a, b], ]a, b], [a, b[ e ]a, b[, com a, b I da maneira usual. Se A um subconjunto de I podemos denir tambm o supremo (resp., o R e 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 denotado por sup A Re (resp., inf A); se (ai )iI uma fam em I denotamos tambm o supremo e lia R, e (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. 1.1.4. Definicao. A soma na reta estendida denida da seguinte for e ma: se a, b I ento a + b igual ` soma usual de a e b em I R a e a R; R (+) + a = a + (+) = +, se a I e a = ; () + a = a + () = , se a I e a = +. R As somas (+) + () e () + (+) so consideradas indenidas. Para a R R co a I denotamos por a o elemento de I denido pelas condies: se a I ento a o inverso de a com relao ` soma de I R a e ca a R; se a = + ento a = ; a se a = ento a = +. a R, e o Para a, b I escrevemos a b = a + (b). Denimos tambm o mdulo de a I fazendo |a| = a para a 0 e |a| = a para a < 0. O produto na R reta estendida denido da seguinte forma: e se a, b I ento a b (ou, simplesmente, ab) igual ao produto R a e usual de a e b em I R; R ab = 0 se a, b I e a = 0 ou b = 0; ab = ba = a, se a {+, } e b > 0; ab = ba = a, se a {+, } e b < 0. Note que o produto uma operao binria no conjunto I mas a soma e ca a R, R, a a apenas uma operao binria parcialmente denida em I j que no atrie ca a bu mos signicado para (+) + () e () + (+). Note tambm que, e de acordo com nossas convenes, 0 () = () 0 = 0; essa conveno co ca e conveniente em teoria da medida, embora possa parecer estranha para quem est acostumado com as propriedades usuais de limites de funes. a co Na proposio abaixo resumimos as propriedades da ordem e das opeca raes de I a demonstrao obtida simplesmente por uma vericao co R; ca e ca tediosa de diversos casos. 1.1.5. Proposicao. A ordem e as operaes da reta estendida satisfa co zem as seguintes propriedades: a soma associativa onde estiver bem-denida, i.e., (a + b) + c = e a + (b + c), para todos a, b, c I desde que ou a, b, c = + ou R, a, b, c = ;

1.1. ARITMETICA NA RETA ESTENDIDA

a soma comutativa onde estiver bem-denida, i.e., a + b = b + a, e para todos a, b I desde que ou a, b = + ou a, b = ; R, R, o zero de I o elemento neutro para a soma de I i.e., a + 0 = Re 0 + a = a, para todo a I R; o produto associativo, i.e., (ab)c = a(bc), para todos a, b, c I e R; o produto comutativo, i.e., ab = ba, para todos a, b I e R; a unidade de I o elemento neutro para o produto de I i.e., R e R, a 1 = 1 a = a, para todo a I R; a soma distributiva com relao ao produto, i.e., (a+b)c = ac+bc, e ca R, para todos a, b, c I desde que as somas a + b e ac + bc estejam bem-denidas; a ordem compat com a soma, i.e., se a b ento a + c b + c, e vel a para todos a, b, c I desde que as somas a + c e b + c estejam R, bem-denidas; a ordem compat com o produto, i.e., se a b ento ac bc, e vel a R para todos a, b, c I com c 0. Algumas observaes importantes seguem. A identidade a + (a) = 0 co vlida apenas para a I os elementos + e no possuem inverso e a R; a com respeito ` soma. Em particular, as implicaes: a co a + c = b + c = a = b e a = b + c = a c = b

so vlidas apenas quando c I A implicao: a a R. ca a < b = a + c < b + c tambm apenas vlida para c I e a implicao: e e a R ca a < b = ac < bc vlida apenas para 0 < c < +. e a 1.1.1. Limites de seqncias na reta estendida. Limites de seue qncias em I podem ser denidos atravs da introduo de uma topologia ue R e ca em I (veja Exerc 1.8). Para o leitor no familiarizado com a noo de R cio a ca espao topolgico, denimos a noo de limite de seqncia em I diretac o ca ue R mente. R. Dizemos que 1.1.6. Definicao. Seja (ak )k1 uma seqncia em I ue (ak )k1 converge para um elemento a I e escrevemos ak a se uma das R situaes abaixo ocorre: co a I e para todo > 0 existe k0 1 tal que ak ]a , a + [ R 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 .

1.1. ARITMETICA NA RETA ESTENDIDA

Quando existe a I com ak a dizemos que a seqncia (ak )k1 R ue e R. e a R e e convergente em I Nesse caso, fcil mostrar que tal a I unico e chamado o limite da seqncia (ak )k1 ; denotmo-lo por limk ak . ue a Deixamos a demonstrao do seguinte resultado simples a cargo do leitor. ca 1.1.7. Lema. Toda seqncia montona em I convergente em I ue o R e R. Mais especicamente, se (ak )k1 uma seqncia crescente (resp., decrese ue cente) em I ento limk ak = supk1 ak (resp., limk ak = inf k1 ak ). R a Demonstracao. Veja Exerc 1.2. cio Enunciamos a seguir as propriedades operatrias dos limites na reta o estendida: R, 1.1.8. Lema. Sejam (ak )k1 , (bk )k1 seqncias convergentes em I ue com limk ak = a e limk bk = b. Ento: a se a soma a + b estiver bem-denida ento a soma ak + bk est a a bem-denida para todo k sucientemente grande e:
k

lim ak + bk = a + b;

se {|a|, |b|} = {0, +} ento limk ak bk = ab. a Demonstracao. Veja Exerc 1.4. cio R. 1.1.9. Definicao. Seja (ak )k1 uma seqncia em I O limite superior ue e o limite inferior da seqncia (ak )k1 , denotados respectivamente por ue lim supk ak e lim inf k ak , so denidos por: a lim sup ak = inf sup ar ,
k k1 rk

lim inf ak = sup inf ar .


k k1 rk

Temos a seguinte: 1.1.10. Proposicao. Seja (ak )k1 uma seqncia em I Ento: ue R. a lim inf ak lim sup ak ,
k k

sendo que a igualdade vale se e somente se a seqncia (ak )k1 converue e gente; nesse caso:
k

lim ak = lim inf ak = lim sup ak .


k k

Demonstracao. Veja Exerc 1.6 cio 1.1.2. Somas innitas em [0, +]. Se (ai )iI uma fam nita e lia R a a Re em I ento, j que a soma de I associativa e comutativa, podemos denir a soma iI ai de maneira bvia, desde que ai = + para todo i I ou o ai = para todo i I. Deniremos a seguir um signicado para somas de fam lias innitas de elementos no negativos de I E poss tambm a R. vel e denir somas de fam lias que contenham elementos negativos de I mas esse R, conceito no ser necessrio no momento. a a a

1.1. ARITMETICA NA RETA ESTENDIDA

1.1.11. Definicao. Seja (ai )iI uma fam arbitrria em [0, +]. A lia a soma iI ai denida por: e ai = sup
iI iF iI

ai : F I um subconjunto nito . ai

Se I o conjunto dos inteiros positivos ento denotamos a soma e a tambm por i=1 ai ; segue facilmente do Lema 1.1.7 que: e
k

ai = lim
i=1

ai .
i=1

Deixamos a demonstrao do seguinte resultado a cargo do leitor. ca 1.1.12. Proposicao. Somas de fam lias em [0, +] satisfazem as seguintes propriedades: se (ai )iI e (bi )iI so fam a lias em [0, +] ento: a (ai + bi ) =
iI iI

ai +
iI

bi ;

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


iI iI

ai ;

se (ai )iI uma fam em [0, +] e se : I I uma funo e lia e ca bijetora ento: a a(i) =
iI iI

ai ;

se (a ) uma fam em [0, +] e se (Ji )iI uma fam de e lia e lia conjuntos dois a dois disjuntos com = iI Ji ento: a a =
iI Ji

a .

Demonstracao. Veja Exerc 1.7. cio A ultima propriedade no enunciado da Proposio 1.1.12 implica em ca particular que: aij =
iI jJ

aij =
jJ iI

aij ,

(i,j)IJ

onde (aij )(i,j)IJ uma fam em [0, +]. Basta tomar = I J e e lia Ji = {i} J, para todo i I.

1.2. O PROBLEMA DA MEDIDA

1.2. O Problema da Medida 1.2.1. Notacao. Denotamos por (X) o conjuntos de todas as partes de um conjunto X, por Q o corpo ordenado dos nmeros racionais e por Z u o anel dos nmeros inteiros. u Queremos investigar a existncia de uma funo : (I [0, +] e ca R) satisfazendo as seguintes propriedades: (a) dada uma seqncia (An )n1 de subconjuntos de I dois a dois ue R disjuntos ento: a

n=1

An =
n=1

(An );

(b) (A + x) = (A), para todo A I e todo x I onde: R R, A+x= a+x:aA denota a translaao de A por x; c (c) 0 < [0, 1] < +. Nosso objetivo mostrar que tal funo no existe. Antes disso, observae ca a mos algumas conseqncias simples das propriedades (a), (b) e (c) acima. ue 1.2.2. Lema. Se uma funo : (I [0, +] satisfaz as propriedaca R) des (a), (b) e (c) acima ento ela tambm satisfaz as seguintes propriedades: a e (d) () = 0; R (e) dada uma coleo nita (Ak )n de subconjuntos de I dois a dois ca k=1 disjuntos ento: a
n n

k=1

Ak =
k=1

(Ak );

(f) se A B I ento (A) (B); R a (g) dados a, b I com a b ento [a, b] < +. R a Demonstracao. 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: 1.2.3. Proposicao. No existe uma funo : (I [0, +] satis a ca R) fazendo as propriedades (a), (b) e (c) acima. Demonstracao. Pelo Lema 1.2.2, as propriedades (a), (b) e (c) impli cam as propriedades (d), (e), (f) e (g). Considere a relao binria no ca a intervalo [0, 1] denida por: x y x y Q, fcil ver que uma relao de equivalncia em para todos x, y [0, 1]. E a e ca e [0, 1]. Seja A [0, 1] um conjunto escolha para , i.e., A possui exatamente um elemento de cada classe de equivalncia. Temos ento que x y Q, e a para todos x, y A com x = y. Em particular, os conjuntos (A + q)qQ so a dois a dois disjuntos. Note tambm que para todo x [0, 1] existe y A e com x y Q; na verdade, temos x y Q [1, 1], j que x, y [0, 1]. a Segue ento que: a [0, 1] (A + q) [1, 2].
qQ[1,1]

Como Q [1, 1] enumervel, as propriedades (a), (b) e (f) implicam: e a [0, 1] (A + q) = (A) [1, 2] .
qQ[1,1] qQ[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 1.3.1. Definicao. Um bloco retangular n-dimensional um subconjunto e n (n 1) que ou vazio, ou da forma: B de I R e
n

B=
i=1

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

1.3. VOLUME DE BLOCOS RETANGULARES

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


n

|B| =
i=1

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

e por |B| = 0, caso B = . Quando n = 1 ento um bloco retangular n-dimensional B simplesa e mente um intervalo fechado e limitado (possivelmente um conjunto unitrio a ou vazio) e o escalar |B| ser chamado tambm o comprimento de B. Quana e do n = 2, um bloco retangular n-dimensional B ser chamado tambm um a e retngulo e o escalar |B| ser chamado tambm a rea de B. a a e a 1.3.2. Definicao. Dados a, b I a < b, ento uma partio do in R, a ca tervalo [a, b] um subconjunto nito P [a, b] com a, b P ; tipicamente e escrevemos P : a = t0 < t1 < < tk = b quando P = {t0 , t1 , . . . , tk }. Os sub-intervalos de [a, b] determinados pela partio P so os intervalos ca a [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 [ai , bi ] um bloco retangular n-dimensional com |B| > 0 (ou e i=1 seja, ai < bi , para i = 1, . . . , n), ento uma partio de B uma n-upla a ca e P = (P1 , . . . , Pn ), onde Pi uma partio do intervalo [ai , bi ], para cada e ca i = 1, . . . , n. Os sub-blocos de B determinados pela partio P so os blocos ca a n e retangulares n-dimensionais da forma r=1 Ir , onde Ir um sub-intervalo de [ar , br ] determinado pela partio Pr , para r = 1, . . . , n. Denotamos por ca P o conjunto dos sub-blocos de B determinados por P , ou seja: P = I1 In : Ir Pr , r = 1, . . . , n . e 1.3.3. Lema. Se B = n [ai , bi ] um bloco retangular n-dimensional i=1 com |B| > 0 e se P = (P1 , . . . , Pn ) uma partio de B ento: e ca a |B| =
bP

|b|.

Demonstracao. Usamos induo em n. O caso n = 1 trivial. Su ca e ponha ento que n > 1 e que o resultado vlido para blocos retangulares a e a de dimenso menor que n. Sejam B = n1 [ai , bi ] e P = (P1 , . . . , Pn1 ), a i=1 de modo que P uma partio do bloco retangular (n 1)-dimensional B . e ca Escrevendo Pn : an = t0 < t1 < < tk = bn temos:
k1

|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 n R

A concluso segue observando que os blocos b [ti , ti+1 ] com b P e a i = 0, . . . , k 1 so precisamente os sub-blocos de B determinados pela a partio P . ca 1.3.4. Observacao. Note que a interseo de dois blocos retangulares n ca dimensionais tambm um bloco retangular n-dimensional. Note tambm e e e que se B e B so blocos retangulares n-dimensionais com B B ento a a |B| |B |. 1.3.5. Lema. Sejam B, B1 , . . . , Bt blocos retangulares n-dimensionais com B t Br . Ento |B| t |Br |. a r=1 r=1 Demonstracao. Em vista da Observao 1.3.4, substituindo cada blo ca co Br por Br B e descartando os ndices r com Br B = , podemos supor sem perda de generalidade que B = t Br e que Br = para todo r=1 r = 1, . . . , t. Podemos supor tambm que |B| > 0, seno o resultado trivial. e a e n n Escreva ento B = i=1 [ai , bi ] com ai < bi , i = 1, . . . , n, e Br = i=1 [ar , br ] a i i com ar br , i = 1, . . . , n. Para cada i = 1, . . . , n, o conjunto i i Pi = {ai , bi } {ar , br ; r = 1, . . . , t} i i uma partio do intervalo [ai , bi ] e portanto P = (P1 , . . . , Pn ) uma e ca e partio do bloco B. Para cada r = 1, . . . , t com |Br | > 0, tomamos ca r r Pir = Pi [ar , br ], i = 1, . . . , n e P r = (P1 , . . . , Pn ), de modo que P r e i i n uma partio do bloco Br . Temos que se b = i=1 [i , i ] um sub-bloco ca e de B determinado pela partio P ento existe um ca a ndice r = 1, . . . , t tal que |Br | > 0 e b um sub-bloco de Br determinado pela partiao P r . e ca n t a De fato, como B = r=1 Br ento i=1 ]i , i [ intercepta Br , para algum r = 1, . . . , t. Da fcil ver que [i , i ] um sub-intervalo de [ar , br ] detere a e i i minado pela partio Pir para i = 1, . . . , n e portanto b um sub-bloco de ca e Br determinado pela partio P r . Mostramos ento que: ca a P P r.
r=1,...,t |Br |>0

A concluso segue agora do Lema 1.3.3 observando que: a


t

|B| =
bP

|b|
r=1,...,t |Br |>0 bP r

|b| =
r=1

|Br |.

1.4. Medida de Lebesgue em IRn 1.4.1. Definicao. Seja A I n um subconjunto arbitrrio. A medida R a exterior de Lebesgue de A, denotada por m (A), denida como sendo o e nmo do conjunto de todas as somas da forma |Bk |, onde (Bk )k1 k=1 uma seqncia de blocos retangulares n-dimensionais com A Bk ; e ue k=1 em s mbolos: m (A) = inf C(A),

1.4. MEDIDA DE LEBESGUE EM I n R

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 sempre poss cobrir um subconjunto A de I n com uma e vel R coleo enumervel de blocos retangulares n-dimensionais (i.e., C(A) = ), j ca a a n = n . Obviamente temos m (A) [0, +], que, por exemplo, I R k=1 [k, k] para todo A I n . R 1.4.2. Observacao. Todo subconjunto limitado de I n possui medida R exterior nita. De fato, se A I n limitado ento existe um bloco retanR e a gular n-dimensional B contendo A. Tomando B1 = B e Bk = para k 2, temos A Bk e portanto m (A) |Bk | = |B| < +. Verek=1 k=1 mos logo adiante (Corolrios 1.4.6 e 1.4.7) que a rec a proca dessa armao ca no verdadeira, i.e., subconjuntos de I n com medida exterior nita no a e R a precisam ser limitados. 1.4.3. Lema. Se B I n um bloco retangular n-dimensional ento: R e a m (B) = |B|, ou seja, a medida exterior de um bloco retangular n-dimensional coincide com seu volume. Demonstracao. Tomando B1 = B e Bk = para k 2, obtemos uma cobertura (Bk )k1 de B por blocos retangulares com |Bk | = |B|; k=1 isso mostra que m (B) |B|. Para mostrar a desigualdade oposta, devemos escolher uma cobertura arbitrria B Bk de B por blocos retangulares a k=1 Bk e mostrar que |B| |Bk |. Seja dado > 0 e seja para cada k 1, k=1 e Bk um bloco retangular n-dimensional que contm Bk no seu interior e tal que |Bk | (1 + )|Bk |. Os interiores dos blocos Bk , k 1, constituem ento a uma cobertura aberta do compacto B e dessa cobertura aberta podemos extrair uma subcobertura nita; existe portanto t 1 tal que B t Bk . k=1 Usando o Lema 1.3.5 obtemos:
t t

|B|
k=1

|Bk | (1 + )
k=1

|Bk | (1 + )
k=1

|Bk |.

Como > 0 arbitrrio, a concluso segue. e a a 1.4.4. Lema. Se A1 A2 I n ento m (A1 ) m (A2 ). R a Demonstracao. Basta observar que C(A2 ) C(A1 ) (recorde (1.4.1)).

1.4. MEDIDA DE LEBESGUE EM I n R

11

1.4.5. Lema. Se A1 , . . . , At so subconjuntos de I n ento: a R a


t t

m
k=1

Ak
k=1

m (Ak ).

Alm do mais, se (Ak )k1 uma seqncia de subconjuntos de I n ento: e e ue R a


m
k=1

Ak
k=1

m (Ak ).

Demonstracao. Como = 0, tomando Ak = para k > t, podemos considerar apenas o caso de uma seqncia innita de subconjuntos de ue j n . Seja dado > 0. Para cada k 1 existe uma cobertura A I R k 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,j1

m ()

. 2k
k=1 Ak

uma cobertura enumervel do conjunto e a 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 arbitrrio, a concluso segue. e a a 1.4.6. Corolario. A unio de uma coleo enumervel de conjuntos de a ca a medida exterior nula tem medida exterior nula. Em particular, todo conjunto enumervel tem medida exterior nula. a 1.4.7. Corolario. Dado i = 1, . . . , n e c I ento todo subconjunto R a do hiperplano am x = (x1 , . . . , xn ) I n : xi = c tem medida exterior R nula. Demonstracao. Basta observar que x I n : xi = c = R onde: Bk = x I n : xi = c e |xj | k, j = 1, . . . , n, j = i R um bloco retangular n-dimensional de volume zero. e
k=1 Bk ,

1.4.8. Corolario. Todo subconjunto da fronteira de um bloco retangular n-dimensional tem medida exterior nula. Demonstracao. Basta observar que a fronteira de um bloco retangular n-dimensional uma unio nita de blocos retangulares n-dimensionais de e a volume zero. 1.4.9. Corolario. Sejam A1 , A2 I n tais que m (A1 ) < + ou R (A ) < +; ento: m a 2 (1.4.2) m (A1 ) m (A2 ) m (A1 \ A2 ).

1.4. MEDIDA DE LEBESGUE EM I n R

12

Demonstracao. Como A1 (A1 \ A2 ) A2 , os Lemas 1.4.4 e 1.4.5 implicam que: (1.4.3) m (A1 ) m (A1 \ A2 ) + m (A2 ).

Se m (A2 ) = + e m (A1 ) < +, a desigualdade (1.4.2) trivial; se e m (A2 ) < +, ela segue de (1.4.3). 1.4.10. Lema. A medida exterior invariante por translao, i.e., dados e ca um subconjunto A de I n e x I n ento: R R a m (A + x) = m (A), onde A + x = a + x : a A denota a translao de A por x. ca a Demonstracao. E fcil ver que se B um bloco retangular n-dimen e sional ento B + x tambm um bloco retangular n-dimensional e: a e e |B + x| = |B|; e em particular, se A Bk uma cobertura de A por blocos retangulares k=1 e n-dimensionais ento A + x (Bk + x) uma cobertura de A + x a k=1 por blocos retangulares n-dimensionais e k=1 |Bk + x| = |Bk |. Isso k=1 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). 1.4.11. Notacao. Dado um subconjunto A I n , denotamos por A ou R por int(A) o interior do conjunto A. 1.4.12. Lema. Dados A I n e > 0 ento existe um aberto U I n R a R (U ) m (A) + . com A U e m Demonstracao. Seja A Bk uma cobertura de A por blocos k=1 retangulares n-dimensionais tal que k=1 |Bk | m (A) + 2 . Para cada k 1, seja Bk um bloco retangular que contm Bk no seu interior e tal que e |Bk | |Bk | + 2k+1 . Seja U = int(Bk ). Temos que U aberto e U A; e k=1 alm do mais, usando os Lemas 1.4.4 e 1.4.5 obtemos: e

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 no podemos concluir do Lema 1.4.12 que m (U \ A) , a nem mesmo se m (A) < +; quando A tem medida exterior nita, o Corolrio 1.4.9 nos garante que m (U ) m (A) m (U \ A), mas veremos a adiante que poss que a desigualdade estrita ocorra. e vel

1.4. MEDIDA DE LEBESGUE EM I n R

13

1.4.13. Definicao. Um subconjunto A I n dito (Lebesgue) men R e survel se para todo > 0, existe um aberto U I n contendo A tal que a R m (U \ A) < . 1.4.14. Observacao. Obviamente, todo aberto em I n mensurvel; R e a n aberto, podemos tomar U = A na Denio 1.4.13, de fato, se A I e R ca para todo > 0. 1.4.15. Lema. A unio de uma coleo enumervel de subconjuntos mena ca a surveis de I n mensurvel. a R e a Demonstracao. Seja (Ak )k1 uma seqncia de subconjuntos men ue surveis de I n . Dado > 0 ento, para cada k 1, podemos encontrar um a R a aberto Uk contendo Ak tal que m (Uk \ Ak ) < 2k . Tomando U = Uk k=1 ento U aberto, U contm A = Ak e: a e e k=1

m (U \ A) m
k=1

(Uk \ Ak )
k=1

m (Uk \ Ak ) <
k=1

= . 2k

1.4.16. Lema. Todo subconjunto de survel. a

I n R

com medida exterior nula mene

Demonstracao. Seja A I n com m (A) = 0. Dado > 0 ento, R a pelo Lema 1.4.12, existe um aberto U I n contendo A tal que m (U ) . R Conclu mos ento que: a m (U \ A) m (U ) . 1.4.17. Notacao. No que segue, d(x, y) denota a distncia Euclideana a
n 2 2 . Dados x I n R entre os pontos x, y I n , i.e., d(x, y) = R i=1 (xi yi ) n denotamos por d(x, A) a distncia e um subconjunto no vazio A I a R a entre x e A denida por:
1

d(x, A) = inf d(x, y) : y A , e dados subconjuntos no vazios A, B I n denotamos por d(A, B) a a R distncia entre os conjuntos A e B denida por: a d(A, B) = inf d(x, y) : x A, y B . 1.4.18. Lema. Dados subconjuntos A1 , A2 I n com d(A1 , A2 ) > 0 R ento m (A1 A2 ) = m (A1 ) + m (A2 ). a Demonstracao. Em vista do Lema 1.4.5 suciente mostrar a desi e gualdade: m (A1 A2 ) m (A1 ) + m (A2 ). Para isso, seja A1 A2 Bk uma cobertura de A1 A2 por blocos k=1 retangulares n-dimensionais Bk e vamos mostrar que:

(1.4.4)

m (A1 ) + m (A2 )
k=1

|Bk |.

1.4. MEDIDA DE LEBESGUE EM I n R

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 partio ca Pk de Bk de modo que os sub-blocos de Bk determinados por Pk tenham 1 2 todos dimetro menor do que . Seja Pk (respectivamente, Pk ) o conjunto a dos sub-blocos de Bk determinados por Pk que interceptam A1 (respectivamente, interceptam A2 ). Um bloco de dimetro menor do que no pode a a 1 2 a interceptar ambos os conjuntos A1 e A2 e portanto Pk e Pk so subconjuntos disjuntos de Pk . Segue do Lema 1.3.3 que: (1.4.5)
1 bPk

|b| +
2 bPk

|b| |Bk |.

Como A1 Bk , temos que a coleo formada pelos blocos Bk com ca k=1 1 |Bk | = 0 e pelos blocos pertencentes a Pk para algum k com |Bk | > 0 constitui uma cobertura enumervel de A1 por blocos retangulares n-dimensionais; a logo: (1.4.6) m (A1 )
k1 bP 1 k |Bk |>0

|b|.

Similarmente: (1.4.7) m (A2 )


k1 bP 2 k |Bk |>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 demonstrao. ca 1.4.19. Corolario. Se K1 , . . . , Kt so subconjuntos compactos dois a a t t n ento m dois disjuntos de I R a i=1 Ki = i=1 m (Ki ). Demonstracao. O caso t = 2 segue do Lema 1.4.18, observando que a distncia entre compactos disjuntos positiva. O caso geral segue por a e induo. ca 1.4.20. Corolario. Se B1 , . . . , Bt so blocos retangulares n-dimensioa t t nais com interiores dois a dois disjuntos ento m a r=1 Br = r=1 |Br |. Demonstracao. Dado > 0, podemos para cada r = 1, . . . , t en 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 so subconjuntos compactos dois a dois a disjuntos de I n e portanto o Corolrio 1.4.19 nos d: R a 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 |.

1.4. MEDIDA DE LEBESGUE EM I n R

15

Como > 0 arbitrrio, conclu e a mos que:


t t

r=1

Br
r=1

|Br |.

A desigualdade oposta segue do Lema 1.4.5. 1.4.21. Corolario. Se (Br )r1 uma seqncia de blocos retangulares e ue n-dimensionais com interiores dois a dois disjuntos ento: a

m
r=1

Br =
r=1

|Br |.

Demonstracao. O Corolrio 1.4.20 nos d: a 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. 1.4.22. Definicao. Um cubo n-dimensional um bloco retangular n e dimensional no vazio B = n [ai , bi ] tal que: a i=1 b1 a1 = b2 a2 = = bn an ; o valor comum aos escalares bi ai chamado a aresta de B. e 1.4.23. Lema. Se U I n um aberto ento existe um conjunto enuR e a mervel R de cubos n-dimensionais com interiores dois a dois disjuntos tal a que U = BR B. Em particular, U igual ` unio de uma coleo enue a a ca mervel de blocos retangulares n-dimensionais com interiores dois a dois a disjuntos. Demonstracao. Para cada k 1 seja Rk o conjunto de todos os cubos n-dimensionais de aresta 21 e com vrtices em pontos de I n cujas e R k 1 coordenadas so mltiplos inteiros de 2k ; mais precisamente: a u Rk =
a1 a1 +1 , 2k 2k

an an +1 , 2k 2k

: a1 , . . . , an Z .

Cada Rk portanto um conjunto enumervel de cubos n-dimensionais. As e a seguintes propriedades so de fcil vericao: a a ca (a) os cubos pertencentes a Rk possuem interiores dois a dois disjuntos, para todo k 1; (b) I n = BRk B, para todo k 1; R (c) dados k, l 1 com k l ento todo cubo pertencente a Rk est a a contido em algum cubo pertencente a Rl ; n (d) todo cubo pertencente a Rk tem dimetro igual a 2k . a

1.4. MEDIDA DE LEBESGUE EM I n R

16

Construiremos agora indutivamente uma seqncia (Rk )k1 onde cada Rk ue um subconjunto de Rk . Seja R1 o conjunto dos cubos B R1 tais que e B U . Supondo Ri constru para i = 1, . . . , k, seja Rk+1 o conjunto do dos cubos B Rk+1 que esto contidos em U e que tem interior disjunto a do interior de todos os cubos pertencentes a k Ri . Tome R = Rk . i=1 k=1 Como cada Rk enumervel, segue que R enumervel. Armamos que e a e a 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 ento, por construo, o interior de B1 disjunto do interior a ca e k1 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 demonstrao, ca veriquemos que U = BR B. Obviamente temos BR B U . Seja x U .Como U aberto, existe k 1 tal que a bola fechada de centro x e n e raio 2k est contida em U . Em vista das propriedades (b) e (d) acima, a vemos que existe B Rk com x B e, alm disso, B U . Se B Rk e ento x B R; caso contrrio, existem l < k e um cubo B1 Rl tal que a a 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 ento que B1 = B2 e portanto a x B B2 = B1 R. Em qualquer caso, mostramos que x BR B, o que completa a demonstrao. ca 1.4.24. Lema. Todo subconjunto compacto de I n mensurvel. R e a Demonstracao. Seja K I n um subconjunto compacto e seja dado R > 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 unio enumervel U \K = Bk de blocos retangulares a a k=1 n-dimensionais com interiores dois a dois disjuntos. Para cada t 1 os conjuntos K e t Bk so compactos e disjuntos; os Corolrios 1.4.19 e a a k=1 1.4.20 implicam ento que: a
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 limitado, a Observao 1.4.2 nos diz que e ca a desigualdade acima implica que:
t

m (K)

|Bk | m (U ) m (K) .
k=1

Como t 1 arbitrrio, conclu e a mos que Corolrio 1.4.21 nos d m (U \ K) . a a

k=1 |Bk |

e, nalmente, o

1.4.25. Corolario. Todo subconjunto fechado de I n mensurvel. R e a

1.4. MEDIDA DE LEBESGUE EM I n R

17

e Demonstracao. Se F I n fechado ento F = F [k, k]n R e a k=1 uma unio enumervel de compactos. A concluso segue do Lema 1.4.15. a a a 1.4.26. Definicao. Um subconjunto de I n dito de tipo G (ou, sim R e plesmente, um conjunto G ) se pode ser escrito como uma interseo de ca n . Similarmente, um subconjunto uma coleo enumervel de abertos de I ca a R de I n dito de tipo F (ou, simplesmente, um conjunto F ) se pode ser R e escrito como uma unio de uma coleo enumervel de fechados de I n . a ca a R Obviamente o complementar de um conjunto de tipo G de tipo F (e e vice-versa). 1.4.27. Corolario. Todo subconjunto de I n de tipo F mensurvel. R e a Demonstracao. Segue do Corolrio 1.4.25 e do Lema 1.4.15. a 1.4.28. Lema. Se A I n mensurvel ento existe um subconjunto Z R e a a de I n de tipo G tal que A Z e m (Z \ A) = 0. R Demonstracao. Para todo k 1 existe um aberto Uk I n contendo R 1 e e A tal que m (Uk \A) < k . Da o conjunto Z = Uk um G que contm k=1 A e: 1 m (Z \ A) m (Uk \ A) < , k para todo k 1. Logo m (Z \ A) = 0. 1.4.29. Corolario. O complementar de um subconjunto mensurvel de a I n tambm mensurvel. R e e a Demonstracao. Seja A I n um subconjunto mensurvel. Pelo Le R a ma 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 de tipo F e portanto mensurvel, pelo Corolrio 1.4.27. A e a a concluso segue dos Lemas 1.4.15 e 1.4.16. a 1.4.30. Corolario. Se A I n mensurvel ento para todo > 0 R e a a existe um subconjunto fechado F I n contido em A tal que m (A \ F ) < . R Demonstracao. Pelo Corolrio 1.4.29, Ac mensurvel e portanto a e a existe um aberto U I n contendo Ac tal que m (U \ Ac ) < . Tomando R F = U c ento F fechado e F A. Como A \ F = U \ Ac , segue que a e (A \ F ) < . m 1.4.31. Corolario. Se A I n mensurvel ento existe um subconR e a a n de tipo F tal que W A e m (A \ W ) = 0. junto W de I R Demonstracao. Pelo Corolrio 1.4.29, Ac tambm mensurvel e por a e e a tanto, pelo Lema 1.4.28 existe um subconjunto Z de I n de tipo G tal que R Ac Z e m (Z \ Ac ) = 0. Tomando W = Z c ento W de tipo F e a e W A. Como A \ W = Z \ Ac , segue que m (A \ W ) = 0.

1.4. MEDIDA DE LEBESGUE EM I n R

18

1.4.32. Definicao. Seja X um conjunto arbitrrio. Uma lgebra de a a partes de X um subconjunto no vazio A (X) tal que: e a se A, B A ento A B A; a se A A ento Ac A. a Uma -lgebra de partes de X um subconjunto no vazio A (X) tal a e a que: se (Ak )k1 uma seqncia de elementos de A ento Ak A; e ue a k=1 c A. se A A ento A a Note que toda -lgebra tambm uma lgebra. De fato, se A uma a e e a e -lgebra de partes de X e se A, B A, podemos tomar A1 = A e Ak = B a para k 2; da A B = Ak A. k=1 1.4.33. Observacao. Se A uma lgebra (em particular, se A uma e a e -lgebra) de partes de X ento X A e A. De fato, como A = , a a existe algum elemento A A. Da Ac A e portanto X = A Ac A; alm do mais, = X c A. e 1.4.34. Teorema. A coleo de todos os subconjuntos mensurveis de ca a I n uma -lgebra de partes de I n que contm todos os subconjuntos R e a R e abertos de I n e todos os subconjuntos de I n com medida exterior nula. R R Demonstracao. Segue da Observao 1.4.14, dos Lemas 1.4.15 e 1.4.16 ca e do Corolrio 1.4.29. a 1.4.35. Definicao. Se X um conjunto arbitrrio e se C (X) uma e a e coleo arbitrria de partes de X ento a -lgebra de partes de X gerada ca a a a por C, denotada por [C], a menor -lgebra de partes de X que contm e a e C, i.e., [C] uma -lgebra de partes de X tal que: e a (1) C [C]; (2) se A uma -lgebra de partes de X tal que C A ento [C] A. e a a Dizemos tambm que C um conjunto de geradores para a -lgebra [C]. e e a A -lgebra de partes de I n gerada pela coleo de todos os subconjuntos a R ca abertos de I n chamada a -lgebra de Borel de I n e denotada por R e a R e B(I n ). Os elementos de B(I n ) so chamados conjuntos Boreleanos de I n . R R a R No Exerc 1.20 pedimos ao leitor para justicar o fato que a -lgebra cio a gerada por uma coleo C (X) est de fato bem denida, ou seja, existe ca a uma unica -lgebra [C] satisfazendo as propriedades (1) e (2) acima. a 1.4.36. Corolario. Todo conjunto Boreleano de I n mensurvel. R e a Demonstracao. Pelo Teorema 1.4.34, os conjuntos mensurveis for a mam uma -lgebra que contm os abertos de I n ; portanto, deve conter a e R tambm a -lgebra de Borel. e a 1.4.37. Lema. Se A uma lgebra de partes de um conjunto X e se e a A, B A ento A B e A \ B pertencem a A. Alm do mais, se A uma a e e -lgebra de partes de X e se (Ak )k1 uma seqncia de elementos de A a e ue ento Ak A. a k=1

1.4. MEDIDA DE LEBESGUE EM I n R

19

Demonstracao. Se A uma lgebra e A, B A ento Ac , B c A e e a a portanto A B = (Ac B c )c A; alm do mais, A \ B = A B c A. e Se A uma -lgebra e (Ak )k1 uma seqncia de elementos de A ento e a e ue a c A para todo k 1 e portanto c c A. Ak k=1 Ak = k=1 Ak 1.4.38. Corolario. A interseo de uma coleo enumervel de subconca ca a n mensurvel e a diferena de dois subconjuntos juntos mensurveis de I e a R a c mensurveis de I n mensurvel. a R e a Demonstracao. Segue do Teorema 1.4.34 e do Lema 1.4.37. 1.4.39. Lema. Para todo A I n com m (A) < + e para todo > 0 R existe um subconjunto limitado A0 A tal que: m (A) m (A0 ) m (A \ A0 ) < . Alm do mais, se A mensurvel, podemos escolher o conjunto A0 tambm e e a e mensurvel. a Demonstracao. Pelo Lema 1.4.12 existe um aberto U I n contendo R A tal que m (U ) m (A) + 1 < +. O Lema 1.4.23 nos permite escrever e ue U = Bk , onde (Bk )k1 uma seqncia de blocos retangulares nk=1 dimensionais com interiores dois a dois disjuntos. O Corolrio 1.4.21 nos a d: a

|Bk | = m (U ) < +; portanto a srie e


k=1 e k=1 |Bk |

convergente e existe t 1 tal que:

|Bk | < .
k=t+1 t Seja A0 = A e k=1 Bk . Temos que A0 A e A0 limitado. Note que se A mensurvel ento A0 tambm mensurvel. Como A Bk segue e a a e e a k=1 Bk e portanto: que A \ A0 k=t+1

m (A \ A0 ) m
k=t+1

Bk
k=t+1

|Bk | < .

A desigualdade m (A) m (A0 ) m (A \ A0 ) segue do Corolrio 1.4.9. a 1.4.40. Corolario. Se A I n mensurvel e m (A) < + ento R e a a para todo > 0 existe um subconjunto compacto K I n contido em A tal R que: m (A) m (K) m (A \ K) < . Demonstracao. Pelo Lema 1.4.39, existe um subconjunto limitado mensurvel A0 A tal que m (A \ A0 ) < 2 e pelo Corolrio 1.4.30 existe a a n contido em A tal que m (A \ K) < . um subconjunto fechado K I R 0 0 2

1.4. MEDIDA DE LEBESGUE EM I n R

20

Obviamente K A e K compacto. Como A \ K = (A \ A0 ) (A0 \ K), e obtemos: m (A \ K) m (A \ A0 ) + m (A0 \ K) < . A desigualdade m (A) m (K) m (A \ K) segue do Corolrio 1.4.9. a 1.4.41. Proposicao. Se A1 , . . . , At so subconjuntos mensurveis dois a a a dois disjuntos de I n ento: R a
t t

(1.4.8)

r=1

Ar =
r=1

m (Ar ).

Alm do mais, se (Ar )r1 uma seqncia de subconjuntos mensurveis e e ue a dois a dois disjuntos de I n ento: R a

(1.4.9)

m
r=1

Ar =
r=1

m (Ar ).

Demonstracao. Comecemos provando (1.4.8). Se m (Ar ) = + para t algum r = 1, . . . , t ento tambm m a e a a r=1 Ar = + e portanto no h (A ) < + para todo r = 1, . . . , t ento para todo nada a mostrar. Se m a r > 0 o Corolrio 1.4.40 nos d um subconjunto compacto Kr de Ar tal que a a (A ) m (K ) < . Usando o Corolrio 1.4.19 obtemos: m a r r t
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 arbitrrio, conclu e a mos que:


t t

m
r=1

Ar
r=1

m (Ar ).

O Lema 1.4.5 nos d a desigualdade oposta, provando (1.4.8). Passemos a ento ` prova de (1.4.9). A identidade (1.4.8) nos d: a a 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).

1.4. MEDIDA DE LEBESGUE EM I n R

21

1.4.42. Definicao. Sejam X um conjunto e A uma -lgebra de partes a de X. O par (X, A) chamado um espao mensurvel ; uma medida no e c a espao mensurvel (X, A) uma funo : A [0, +] tal que () = 0 c a e ca e tal que, se (Ak )k1 uma seqncia de elementos dois a dois disjuntos de e ue A ento: a

(1.4.10)

k=1

Ak =
k=1

(Ak ).

Os elementos da -lgebra A so ditos subconjuntos mensurveis de X. A a a a trinca (X, A, ) chamada um espao de medida . e c Se (X, A, ) um espao de medida e se A1 , . . . , At uma coleo nita e c e ca de elementos dois a dois disjuntos de A ento t Ak = t (Ak ). a k=1 k=1 De fato, basta tomar Ak = para k > t e usar (1.4.10). 1.4.43. Notacao. Denotaremos por M(I n ) a -lgebra de todos os R a subconjuntos Lebesgue mensurveis de I n e por m : M(I n ) [0, +] a a R R restrio ` M(I n ) da funo m : (I n ) [0, +] que associa a cada ca a R ca R parte de I n sua medida exterior de Lebesgue. R 1.4.44. Definicao. Se A I n um subconjunto mensurvel ento o R e a a escalar m(A) [0, +] chamado a medida de Lebesgue de A. e Note que m(A) = m (A) para todo A M(I n ), i.e., a medida de R Lebesgue de um conjunto mensurvel simplesmente coincide com sua medida a exterior de Lebesgue; apenas nos permitimos remover o adjetivo exterior quando lidamos com conjuntos mensurveis. a Provamos o seguinte: 1.4.45. Teorema. A trinca I n , M(I n ), m um espao de medida. R R e c Demonstracao. Segue do Teorema 1.4.34 e da Proposio 1.4.41. ca 1.4.46. Lema. Seja (X, A, ) um espao de medida e sejam A1 , A2 A c com A1 A2 . Ento (A1 ) (A2 ); alm do mais, se (A1 ) < + ento: a e a (A2 \ A1 ) = (A2 ) (A1 ). Demonstracao. Basta observar que A2 = A1 (A2 \ A1 ) uma unio e a disjunta de elementos de A e portanto (A2 ) = (A1 ) + (A2 \ A1 ). 1.4.47. Notacao. Se (Ak )k1 uma seqncia de conjuntos ento a e ue a notao Ak ca A indica que Ak Ak+1 para todo k 1 (i.e., a seqncia ue (Ak )k1 crescente) e que A = Ak . Analogamente, escreveremos e k=1 Ak A para indicar que Ak Ak+1 para todo k 1 (i.e., a seqncia ue (Ak )k1 decrescente) e que A = Ak . e k=1 1.4.48. Lema. Seja (X, A, ) um espao de medida e seja (Ak )k1 uma c seqncia de elementos de A. Temos: ue (a) se Ak A ento (A) = limk (Ak ); a (b) se Ak A e se (A1 ) < + ento (A) = limk (Ak ). a

1.4. MEDIDA DE LEBESGUE EM I n R

22

Demonstracao. Provemos inicialmente o item (a). Se (Ar ) = + para algum r 1 ento, (Ak ) = + para todo k r e (A) = +, a donde limk (Ak ) = + = (A). Suponha ento que (Ak ) < + a para todo k 1. Dena A0 = e Bk = Ak \ Ak1 para todo k 1. E fcil ver que os conjuntos Bk pertencem a A, so dois a dois disjuntos e a a Bk = Ak ; logo: k=1 k=1

(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 ento de (1.4.11) e (1.4.12). Passemos ` prova do item (b). a a Se (A1 ) < + ento (Ak ) < + para todo k 1. Como (A1 \ Ak )k1 a uma seqncia de elementos de A e (A1 \ Ak ) e ue (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 concluso segue. a I n R 1.4.49. Definicao. Um envelope mensurvel de um subconjunto A de a um subconjunto mensurvel E de I n tal que A E e m (A) = m(E). e a R

1.4.50. Lema. Para todo A I n existe um subconjunto E de I n de R R tipo G contendo A tal que m (A) = m(E). Demonstracao. Para cada k 1 o Lema 1.4.12 nos d um aberto a 1 Uk contendo A tal que m(Uk ) m (A) + k . Da E = Uk um G e k=1 contendo A e: 1 m (A) m(E) m(Uk ) m (A) + , k para todo k 1. A concluso segue. a 1.4.51. Corolario. Todo subconjunto de I n admite um envelope menR survel. a Demonstracao. Basta observar que todo G mensurvel (vide Co e a rolrio 1.4.38). a

1.4. MEDIDA DE LEBESGUE EM I n R

23

1.4.52. Lema. Sejam A1 , . . . , At subconjuntos de I n e suponha que R existam subconjuntos mensurveis dois a dois disjuntos E1 , . . . , Et de I n a R de modo que Ak Ek , para k = 1, . . . , t. Ento: a
t t

k=1

Ak =
k=1

m (Ak ).

Alm do mais, se (Ak )k1 uma seqncia de subconjuntos de I n tal que e e ue R existe uma seqncia (Ek )k1 de subconjuntos mensurveis de I n dois a ue a R dois disjuntos de modo que Ak Ek para todo k 1 ento: a

m
k=1

Ak =
k=1

m (Ak ).

Demonstracao. Tomando Ak = Ek = para k > t, podemos consi derar apenas o caso de uma seqncia innita de subconjuntos de I n . Seja ue R E um envelope mensurvel do conjunto Ak . Da para todo k 1, o a , k=1 conjunto Ek = E Ek mensurvel e Ak Ek . Como os conjuntos Ek so e a a dois a dois disjuntos e Ek E, temos: k=1

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.

1.4.53. Proposicao (Carathodory). Um subconjunto E I n men e R e survel se e somente se para todo A I n vale: a R (1.4.13) m (A) = m (A E) + m (A E c ).

Demonstracao. Se E mensurvel ento A = (AE)(AE c ), onde e a a c esto respectivamente contidos nos conjuntos mensurveis AE e AE a a 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 n . R n e seja Z um envelope mensurvel Para cada k 1 seja Ek = E [k, k] a k 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 limitado, temos que m (Ek ) < + (vide Observao 1.4.2) e e ca (Z E c ) = 0. Em particular, pelo Lema 1.4.16, Z E c portanto m e k k mensurvel. Tomando Z = k1 Zk vemos que E Z, Z mensurvel e: a e a Z \ E = Z Ec =
k1

(Zk E c ).

Da Z \E mensurvel e portanto E = Z \(Z \E) tambm mensurvel. e a e e a

1.4. MEDIDA DE LEBESGUE EM I n R

24

1.4.54. Observacao. Na verdade, a demonstrao apresentada para a ca Proposio 1.4.53 mostra algo mais forte: se a identidade (1.4.13) vale para ca todo conjunto mensurvel A I n ento E mensurvel. Em vista do Lea R a e a n admite um envelope mensurvel de tipo ma 1.4.50, todo subconjunto de I R a G e portanto a demonstrao que apresentamos para a Proposio 1.4.53 ca ca mostra at mesmo o seguinte: se a identidade (1.4.13) vale para todo sube conjunto A de I n de tipo G ento E mensurvel. R a e a 1.4.55. Lema. Seja (Ak )k1 uma seqncia de subconjuntos (no necesue a n tal que A sariamente mensurveis) de I a R A. Ento: a k m (A) = lim m (Ak ).
k

Demonstracao. Temos que a seqncia m (Ak ) k1 crescente e li ue e (A), donde o limite lim (A ) existe (em mitada superiormente por m k m k [0, +]) e menor ou igual a m (A). Para provar que m (A) menor ou e e igual a limk m (Ak ), escolha um envelope mensurvel Ek para Ak e dena a Fk = rk Er , para todo k 1. Da cada Fk mensurvel e Ak Fk Ek , e a donde tambm Fk um envelope mensurvel de Ak . Alm do mais, temos e e a e Fk F , onde F um conjunto mensurvel que contm A. A concluso e a e a 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 util para e entender melhor o fenmeno da no mensurabilidade de um subconjunto de o a I n. R 1.4.56. Definicao. Seja A um subconjunto de I n . A medida interior R de Lebesgue de A denida por: e m (A) = sup m(K) : K A, K compacto [0, +]. 1.4.57. Lema. Se A I n mensurvel ento m (A) = m (A). ReciproR e a a n com m (A) = m (A) < + ento A mensurvel. camente, dado A I R a e a Demonstracao. Suponha que A mensurvel e mostremos que as e a medidas interior e exterior de A coincidem. Em primeiro lugar, se A tem medida exterior nita isso segue diretamente do Corolrio 1.4.40. Suponha a ento que m (A) = +. Pelo Corolrio 1.4.30, existe um subconjunto a a fechado F I n contido em A tal que m (A \ F ) < 1. Da R : 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 compacto e Kr e 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 so iguais e nitas e mostremos que A a e

1.4. MEDIDA DE LEBESGUE EM I n R

25

mensurvel. Seja dado > 0. Temos que existe um subconjunto compacto a K A tal que: m(K) m (A) = m (A) . 2 2 n contendo A tal que: Pelo Lema 1.4.12, existe um aberto U I R 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 concluso segue. a 1.4.58. Corolario. Se A I n mensurvel ento: R e a a m(A) = sup m(K) : K A, K compacto . 1.4.59. Lema. Seja E I n um subconjunto mensurvel e sejam A1 , R a A2 tais que E = A1 A2 e A1 A2 = . Ento: a m(E) = m (A1 ) + m (A2 ). Demonstracao. Seja K I n um subconjunto compacto de A2 . Da R A1 E \ K. Alm do mais, K e E \ K so subconjuntos disjuntos mene a surveis de E com E = K (E \ K) e portanto: a 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 mensurvel de A1 . a Da E \ Z um subconjunto mensurvel de A2 , donde: e a m(E \ Z) = m (E \ Z) m (A2 ), pelo Lema 1.4.57 e pelo resultado do Exerc 1.26. Alm do mais, E Z e cio e E \Z so subconjuntos disjuntos mensurveis de E com E = (E Z)(E \Z) a a 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 (A ) + m (A ) e completa a demonstrao. que m(E) m ca 1 2

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 ento por (I, ; 0) e (I, ; 1) os dois intervalos remanescentes aps remover a o J de I. Mais precisamente, sejam c = 1 (a + b ) e d = 1 (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) so dois intervalos a 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 < |I| e 1 , . . . , n {0, 1}, i=1 vamos denir um intervalo limitado e fechado I, (i )n ; ( i )n i=1 i=1 tal que: (I, ; 0) = (I, ; 1) = (1.5.2) I, (i )n ; ( i )n i=1 i=1 1 = n |I| 2
n

i > 0.
i=1

A denio ser feita recursivamente. Para n = 1, a denio j foi dada em ca a ca a (1.5.1). Dados um intervalo fechado e limitado I de comprimento positivo, escalares positivos 1 , . . . , n+1 com n+1 i < |I| e 1 , . . . , n+1 {0, 1}, i=1 denimos: n+1 I, (i )n+1 ; ( i )n+1 = I, (i )n ; ( i )n , n ; n+1 . i=1 i=1 i=1 i=1 2 Assumindo (1.5.2), fcil ver que I, (i )n+1 ; ( i )n+1 est bem denido e e a a i=1 i=1 que: I, (i )n+1 ; ( i )n+1 i=1 i=1 = 1 2n+1
n+1

|I|
i=1

i > 0.

Segue ento por induo que temos uma fam de intervalos fechados e a ca lia n ; ( )n limitados I, (i )i=1 i i=1 satisfazendo (1.5.2). Fixemos ento um intervalo fechado e limitado I de comprimento positia vo e uma seqncia (i )i1 de escalares positivos tal que i |I|. Note ue i=1 que n i < |I|, para todo n 1. Para simplicar a notao, escrevemos: ca i=1 I( ) = I( 1 , . . . ,
n)

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

para todo n 1 e todo = ( 1 , . . . , n ) {0, 1}n . Dada uma seqncia ue ( i )i1 em {0, 1} obtemos uma seqncia decrescente de intervalos fechados ue e limitados: (1.5.3) I I( 1 ) I( 1 ,
2)

I( 1 , . . . ,

n)

1.5. CONJUNTOS DE CANTOR

27

Armamos que, para todo n 1, os intervalos I( ), {0, 1}n , so dois a 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 ) so disjuntos e portanto a tambm I( ) I( ) = . Para cada n 1 denimos: e Kn = I( ).
{0,1}n

Note que cada Kn uma unio disjunta de 2n intervalos fechados e limitados e a de comprimento 21 |I| n i . Em particular, cada Kn compacto e e n i=1 sua medida de Lebesgue dada por: e
n

(1.5.4)

m(Kn ) = |I|
i=1

i .

e 1.5.1. Definicao. O conjunto K = Kn chamado o conjunto de n=1 Cantor determinado pelo intervalo fechado e limitado I e pela seqncia ue (i )i1 de escalares positivos com i |I|. i=1 Para cada seqncia ( i )i1 em {0, 1} temos que (1.5.3) uma seqncia ue e ue 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 ` interseo de todos os intervalos em (1.5.3). Denimos ento uma a ca a aplicao: ca

: {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 seqncia de escalares positivos tal que: ue

i |I|.
i=1

1.5. CONJUNTOS DE CANTOR

28

Seja K o conjunto de Cantor determinado por I e por (i )i1 . Ento: a (a) K um subconjunto compacto de I; e (b) a medida de Lebesgue de K m(K) = |I| i ; e i=1 (c) K tem interior vazio; (d) K tem a mesma cardinalidade que a reta I (e portanto no R e a enumervel); a (e) K no tem pontos isolados. a Demonstracao. Prova de (a). Basta observar que K uma interseo de subconjuntos compactos e ca 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 igual a 21 |I| n i . Segue de (1.5.5) que nenhum intervalo de n i=1 comprimento positivo pode estar contido em Kn para todo n 1. Logo K = Kn no pode conter um intervalo aberto no vazio. a a n=1 Prova de (d). a E fcil ver que a funo denida em (1.5.6) bijetora. A concluso ca e a segue do fato bem conhecido que {0, 1} tem a mesma cardinalidade de I R. Prova de (e). Seja x K. Como bijetora, existe {0, 1} tal que x = ( ). e Escolhendo {0, 1} com = e ( 1 , . . . , n ) = ( 1 , . . . , n ) ento a ( ) um ponto de K distinto de x. Alm do mais, ( ) e x ambos e e 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 vizinhana de x contm um ponto de K distinto c e de x, i.e., x um ponto de acumulao de K. e ca 1.5.3. Exemplo. Escolhendo os escalares i com i = |I| ento a i=1 o conjunto de Cantor K correspondente nos fornece um exemplo de um subconjunto no enumervel de I (com a mesma cardinalidade de I e a a R R) com medida de Lebesgue zero. 1.5.4. Exemplo. Escolhendo os escalares i com i < |I| ento a i=1 o conjunto de Cantor K correspondente nos fornece um exemplo de um

1.6. CONJUNTOS NAO MENSURAVEIS

29

subconjunto compacto de I com interior vazio e medida de Lebesgue poR sitiva. Na verdade, para todo > 0 podemos escolher os escalares i com i=1 i < e da o conjunto de Cantor K correspondente nos fornece um exemplo de um subconjunto compacto do intervalo I com interior vazio e m(K) > |I| . 1.6. Conjuntos no Mensurveis a a Uma forma de construir um exemplo de um subconjunto no mensurvel a a de I n repetir os passos da demonstrao da Proposio 1.2.3. R e ca ca 1.6.1. Exemplo. Considere a relao binria no bloco [0, 1]n denida ca a por: x y x y Qn , a para todos x, y [0, 1]n . E fcil ver que uma relao de equivalncia e ca e em [0, 1]n . Seja A um conjunto escolha para . Como na demonstrao ca a da Proposio 1.2.3, vemos que os conjuntos (A + q)qQn so dois a dois ca disjuntos e que: [0, 1]n (A + q) [1, 2]n .
qQn [1,1]n

Usando o Lema 1.4.10 e o resultado do Exerc 1.10, vemos que a mensucio rabilidade de A implicaria em: 0 < 1 = m [0, 1]n m(A) m [1, 2]n = 3n < +,
qQn [1,1]n

j que Qn [1, 1]n enumervel. Obtemos ento uma contradio, o que a e a a ca mostra que A um subconjunto no mensurvel do bloco [0, 1]n . e a a No que segue, investigaremos mais a fundo o fenmeno da no meno a surabilidade, produzindo alguns exemplos mais radicais de conjuntos no a mensurveis. Comeamos com alguns lemas. a c 1.6.2. Lema. Seja U I n um aberto. Ento, dado > 0, existe > 0 R a tal que para todo x I n com x < , temos: R (1.6.1) m U (U + x) m(U ) + .

Demonstracao. A desigualdade (1.6.1) trivial para m(U ) = +, de e modo que podemos supor que m(U ) < +. Para cada k 1, consideramos o conjunto Uk denido por: Uk = x I n : d(x, U c ) > R d(x, U c )
1 k

Como U aberto, temos que e > 0 se e somente se x U ; isso implica que U = k=1 Uk e portanto Uk U . A continuidade da funo ca x d(x, U c ) implica que cada Uk aberto e portanto mensurvel. Pelo e a Lema 1.4.48, temos m(U ) = limk m(Uk ) e portanto existe k 1 tal que: m(Uk ) m(U ) .

1.6. CONJUNTOS NAO MENSURAVEIS

30

1 Tome = k e seja x I n com x < . Para todo y Uk , temos R 1 d(y, y x) = x < k e portanto y x U , i.e., y U + x. Segue ento a que Uk U (U + x) e portanto:

m U (U + x) m(U ) . A concluso obtida agora do clculo abaixo: a e a 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 1.17. cio 1.6.3. Definicao. Se A um subconjunto de I n , ento o conjunto das e R a diferenas de A denido por: c e A = x y : x, y A . 1.6.4. Lema. Se A I n um conjunto mensurvel com medida de R e a Lebesgue positiva ento A contm uma vizinhana da origem. a e c Demonstracao. Se m(A) = + ento A contm um conjunto men a e survel A0 tal que 0 < m(A0 ) < + (isso segue, por exemplo, do Coa rolrio 1.4.58). Como A A , podemos considerar apenas o caso em que a 0 m(A) < +. Pelo Lema 1.4.12, existe um aberto U I n contendo A tal R 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 n com R contm a bola aberta de centro na origem e x < . Armamos que A e raio . Seno, existiria x I n com x < e x A ; da A e A + x seriam a R conjuntos mensurveis disjuntos (veja Exerc 1.10) e portanto, usando o a cio 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 contradio. ca 1.6.5. Corolario. Seja A um subconjunto de I n . Se A no contm R a e uma vizinhana da origem ento m (A) = 0. c a Demonstracao. Dado um compacto K A ento K mensurvel e a e a K no contm uma vizinhana da origem. Segue ento do Lema 1.6.4 que a e c a m(K) = 0. Para construir exemplos de conjuntos no mensurveis, vamos aplicar a a algumas tcnicas da teoria de colorimento de grafos. e 1.6.6. Definicao. Um grafo um par ordenado G = (V, E), onde V e e um conjunto arbitrrio e E uma relao binria anti-reexiva e simtrica a e ca a e em V ; mais precisamente, E um subconjunto de V V tal que: e (x, x) E, para todo x V ; (x, y) E implica (y, x) E, para todos x, y V .

1.6. CONJUNTOS NAO MENSURAVEIS

31

Os elementos de V so chamados os vrtices do grafo G. Dados vrtices a e e x, y V com (x, y) E ento dizemos que x e y so vrtices adjacentes no a a e grafo G. Se V um subconjunto de V ento E = E (V V ) um relao e a e ca binria anti-reexiva e simtrica em V , de modo que G = (V , E ) um a e e grafo. Dizemos que G = (V , E ) o subgrafo cheio de G determinado pelo e conjunto de vrtices V . e 1.6.7. Definicao. Seja G = (V, E) um grafo. Um colorimento para G e uma funo f denida em V tal que f (x) = f (y), para todo (x, y) E. Para ca cada x V , dizemos que f (x) a cor do vrtice x. Se k um inteiro positivo e e e ento um k-colorimento de G um colorimento f : V {0, 1, . . . , k 1} de a e G. Quando G admite um k-colorimento dizemos que G k-color e vel. 1.6.8. Definicao. Seja G = (V, E) um grafo. Um caminho em G uma e seqncia nita (xi )p , p 0, de vrtices de G tal que (xi , xi+1 ) E para ue e i=0 todo i = 0, . . . , p 1; dizemos tambm que (xi )p um caminho comeando e c i=0 e p em x0 e terminando em xp . O caminho (xi )i=0 dito de comprimento p. Por e conveno, uma seqncia unitria formada por um unico vrtice x0 V ca ue a e e um caminho de comprimento zero comeando em x0 e terminando em x0 . c Quando existe um caminho em G comeando em x e terminando em y para c todos x, y V , dizemos que G um grafo conexo. Um circuito em G um e e caminho (xi )p em G tal que x0 = xp . i=0 a E fcil ver que a relao binria em V denida por: ca a x y existe um caminho em G comeando em x e terminando em y, c uma relao de equivalncia em V . Seja V0 V uma classe de equivalncia e ca e e determinada por . Verica-se facilmente que o subgrafo cheio G0 de G determinado por V0 conexo; dizemos que G0 uma componente conexa do e e grafo G. 1.6.9. Lema. Um grafo G = (V, E) 2-color e vel se e somente se no a possui circuitos de comprimento mpar. Demonstracao. Assuma que o grafo G 2-color e 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 par. Para xar as idias, assuma que f (x0 ) = 0. Como os e e vrtices x0 e x1 so adjacentes, temos f (x1 ) = f (x0 ) e portanto f (x1 ) = 1. e a 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 no possui circuito a a de comprimento mpar e mostremos que G 2-color e vel. E fcil ver que: nenhuma componente conexa de G possui um circuito de comprimento mpar; se cada componente conexa de G 2-color ento G 2-color e vel a e vel. Podemos ento supor que G conexo. Dados vrtices x, y V de G ento a e e a os comprimentos de dois caminhos em G comeando em x e terminando em c

1.6. CONJUNTOS NAO MENSURAVEIS

32

y tm a mesma paridade. De fato, se (xi )p e (xi )q so caminhos em G e i=0 i=0 a comeando em x e terminando em y ento: c a x = x0 , x1 , . . . , xp = y = xq , xq1 , . . . , x0 = x, um circuito em G de comprimento p + q. Logo p + q par e portanto e e p e q possuem a mesma paridade. Fixamos agora um vrtice x0 V e e denimos f : V {0, 1} fazendo f (x) = 0 se todo caminho comeando em c x0 e terminando em x tem comprimento par e f (x) = 1 se todo caminho a comeando em x0 e terminando em x tem comprimento c mpar. E fcil ver que f um 2-colorimento para G. e 1.6.10. Definicao. Seja S um subconjunto de I n que no contm a ori R a e n , S), denotado por G(I n , S), gem. O grafo de Cayley associado ao par (I R R o grafo (V, E) tal que V = I n e: e R E = (x, y) I n I n : x y S ou y x S . R R 1.6.11. Lema. Seja S um subconjunto de I n que no contm a origem. R a e O grafo de Cayley G(I n , S) 2-color se e somente se S possui a seguinte R e vel propriedade: () dados s1 , . . . , sk S e n1 , . . . , nk Z com k e i=1 ni par.
k i=1 ni si

= 0 ento a

Demonstracao. Em vista do Lema 1.6.9, basta mostrar que G(I n , S) R no possui circuito de comprimento a mpar se e somente se S possui a propriedade (). Assuma que S possui a propriedade () e que (xi )p um circuito i=0 e n , S). Mostremos que p par. Para cada i = 0, . . . , p 1 temos que de G(I R e xi+1 xi S ou xi xi+1 S; podemos ento escrever xi+1 xi = ni si , a com ni {1} e si S. Da :
p1 p1

ni si =
i=0 i=0

(xi+1 xi ) = xp x0 = 0

e logo p1 ni par. Mas p1 |ni | tem a mesma paridade que p1 ni e e i=0 i=0 i=0 p1 portanto i=0 |ni | = p par. Reciprocamente, suponha que G(I n , S) no e R a possui circuito de comprimento mpar e mostremos que S possui a propriedade (). Sejam s1 , . . . , sk S e n1 , . . . , nk Z com k ni si = 0. Escreva i=1 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 |ni |si = 0, ou seja: i=1 (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 um circuito em G(I n , S) de comprimento p R j=0 e

EXERC ICIOS PARA O CAP ITULO 1

33 k i=1 ni

e portanto p par. Finalmente, como e paridade, segue que k ni par. e i=1

k i=1 |ni |

tm a mesma e

1.6.12. Lema. Seja S I n \{0} e suponha que exista um 2-colorimento R f : I n {0, 1} do grafo de Cayley G(I n , S). Se a origem um ponto de R R e acumulao de S ento os conjuntos A = f 1 (0) e B = f 1 (1) possuem ca a medida interior nula. Demonstracao. Dados x, y A ento f (x) = f (y) = 0 e portanto os a vrtices x e y no podem ser adjacentes no grafo G(I n , S). Em particular, e a R x y S, o que mostra que o conjunto das diferenas A disjunto de S. c e Como a origem um ponto de acumulao de S, segue que A no pode e ca a conter uma vizinhana da origem e portanto, pelo Corolrio 1.6.5, A tem c a 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 n \{0} com a propriedade () e que possui a origem como R ponto de acumulao ento obteremos uma partio I n = A B de I n tal ca a ca R R que m (A) = m (B) = 0. Por exemplo, fcil mostrar que o conjunto: e a S=
1 m

: m inteiro mpar I \ {0} R

tem a propriedade () e obviamente a origem ponto de acumuluo de S. e ca Em I n , podemos considerar o conjunto S n (ou at mesmo S {0}n1 ), que R e tambm tem a propriedade () e a origem como ponto de acumulao. e ca n conjuntos disjuntos de medida 1.6.14. Exemplo. Sejam A, B I R interior nula tais que I n = A B (vide Exemplo 1.6.13). Denindo: R A = A [0, 1]n , B = B [0, 1]n , obtemos uma partio [0, 1]n = A B do bloco [0, 1]n em conjuntos A , B ca 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 ento subconjuntos do bloco [0, 1]n com medida interior nula e medida exa terior igual a 1. Obtivemos tambm uma partio do bloco [0, 1]n em dois e ca 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 Aritmtica na Reta Estendida. e 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.

EXERC ICIOS PARA O CAP ITULO 1

34

Exerc cio 1.3. Dadas fam lias (ai )iI e (bj )jJ em I tais que a soma R ai + bj bem denida para todos i I, j J, mostre que: e sup ai + bj : i I, j J = sup ai + sup bj ,
iI jJ

desde que a soma supiI ai + supjJ bj esteja bem denida. Mostre tambm e que: inf ai + bj : i I, j J = inf ai + inf bj ,
iI jJ

desde que a soma inf iI ai + inf jJ bj esteja bem denida. Exerc cio 1.4. Prove o Lema 1.1.8. Exerc cio 1.5. Sejam (ak )k1 e (bk )k1 seqncias crescentes no interue valo [0, +]. Mostre que:
k

lim ak bk =

lim ak

lim bk .

Exerc cio 1.6. Prova a Proposio 1.1.10. ca Exerc cio 1.7. Prove a Proposio 1.1.12. ca *Exerc cio 1.8. Mostre que os conjuntos: ]a, b[ , [, a[ , ]a, +] , R, a, b I a < b, R, a I a > , a I a < +, R,

constituem uma base de abertos para uma topologia em I R. R Mostre que a aplicao f : [1, 1] I denida por: ca se x = 1, , x , se x ]1, 1[, f (x) = 1 x2 +, se x = 1, um homeomorsmo. e R Mostre que uma seqncia (ak )k1 em I converge para um elemenue to a I com respeito ` topologia introduzida acima se e somente R a se (ak )k1 converge para a de acordo com a Denio 1.1.6. ca Mostre que a funo D+ (a, b) a + b I cont ca Re nua, onde: D+ = ( I I ) \ (, +), (+, ) R R R R. munido da topologia induzida pela topologia produto de I I e Re nua, exceto Mostre que a funo I I ca R R (a, b) ab I cont nos pontos (+, 0), (, 0), (0, +) e (0, ).

EXERC ICIOS PARA O CAP ITULO 1

35

Medida de Lebesgue em IRn . Exerc cio 1.9. Dado A I n , mostre que: R m (A) = inf m(U ) : U aberto em I n e A U . R Exerc cio 1.10. Se A I n um conjunto mensurvel, mostre que R e a A + x tambm mensurvel para todo x I n . e e a R Exerc cio 1.11. Seja uma permutao de n elementos, ou seja, uma ca bijeo do conjunto {1, . . . , n} sobre si prprio. Considere o isomorsmo ca o linear : I n I n denido por: R R (x1 , . . . , xn ) = (x(1) , . . . , x(n) ), para todo (x1 , . . . , xn ) I n . Mostre que: R (a) se B um bloco retangular n-dimensional ento (B) tambm e a e e um bloco retangular n-dimensional e |(B)| = |B|; (b) para todo A I n , vale a igualdade m (A) = m (A); R n mensurvel ento (A) tambm mensurvel. (c) se A I e R a a e e a Exerc cio 1.12. Dado um vetor = (1 , . . . , n ) I n com todas as R coordenadas no nulas, consideramos o isomorsmo linear D : I n I n a R R denido por: D (x1 , . . . , xn ) = (1 x1 , . . . , n xn ), para todo (x1 , . . . , xn ) I n . Mostre que: R (a) se B um bloco retangular n-dimensional ento D (B) tambm e a e e um bloco retangular n-dimensional e: |D (B)| = |1 | |n | |B| = | det D | |B|; (b) para todo A I n , vale a igualdade m D (A) = | det D | m (A); R (c) se A I n mensurvel ento D (A) tambm mensurvel. R e a a e e a Definicao 1.1. Dados conjuntos A e B ento a diferena simtrica de a c e A e B denida por: e A B = (A \ B) (B \ A). Exerc cio 1.13. Sejam A, B I n tais que m (A B) = 0. Mostre R que: m (A) = m (B); A mensurvel se e somente se B mensurvel. e a e a Exerccio 1.14. Dado um subconjunto mensurvel A I n tal que a R 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 n com m (A) < + ou R (B) < +, mostre que: m m (A) m (B) m (A B).

EXERC ICIOS PARA O CAP ITULO 1

36

Exerc cio 1.16. Seja A I n e seja E I n um envelope mensurvel R R a de A. Se E um conjunto mensurvel tal que A E E, mostre que E e a tambm um envelope mensurvel de A. e e a Exerc cio 1.17. Seja (X, A, ) um espao de medida. Dados A, B A c com (A B) < +, mostre que: (A B) = (A) + (B) (A B). Exerc cio 1.18. Seja (X, A, ) um espao de medida e seja (Ak )k1 c uma seqncia de elementos de A. Mostre que Ak (Ak ). ue k=1 k=1 Exerc cio 1.19. Seja (X, A, ) um espao de medida e seja (Ak )k1 uma c seqncia de elementos de A tal que (Ak Al ) = 0, para todos k, l 1 ue com k = l. Mostre que Ak = (Ak ). k=1 k=1 Exerc cio 1.20. Seja X um conjunto arbitrrio. a (a) Se (Ai )iI uma fam no vazia de -lgebras de partes de X, e lia a a mostre que A = iI Ai tambm uma -lgebra de partes de X. e e a (b) Mostre que, xada uma coleo C (X) de partes de X, existe ca no mximo uma -lgebra [C] de partes de X satisfazendo as a a propriedades (1) e (2) que aparecem na Denio 1.4.35. ca (c) Dada uma coleo arbitrria C (X) de partes de X, mostre que ca a a interseo de todas as -lgebras de partes de X que contm C ca a e uma -lgebra de partes de X que satisfaz as propriedades (1) e e a (2) que aparecem na Denio 1.4.35 (note que sempre existe ao ca menos uma -lgebra de partes de X contendo C, a saber, (X)). a Exerc cio 1.21. Seja X um conjunto arbitrrio e sejam C1 , C2 (X) a colees arbitrrias de partes de X. Se C1 [C2 ] e C2 [C1 ], mostre que co a [C1 ] = [C2 ]. Exerc cio 1.22. Mostre que todo subconjunto de I n de tipo G ou de R tipo F Boreleano. e Exerc cio 1.23. Mostre que a -lgebra de Borel de I coincide com a a R -lgebra gerada pelos intervalos da forma ], c], c I a R. Exerc cio 1.24. Se I um intervalo fechado e limitado de comprimento e positivo, mostre que o unico subconjunto fechado F I com m(F ) = |I| e F = I. Conclua que no existe um subconjunto fechado com interior vazio a F I tal que m(F ) = |I| (compare com o Exemplo 1.5.4). Exerc cio 1.25. Dado A I n , mostre que m (A) m (A). R Exerc cio 1.26. Mostre que a medida interior de Lebesgue monote o nica, i.e., se A1 A2 I n ento m (A1 ) m (A2 ). R a Exerc cio 1.27. Dado A I n , mostre que: R m (A) = sup m(E) : E A, E mensurvel . a Mais geralmente, mostre que se M um subconjunto de M(I n ) que contm e R e todos os subconjuntos compactos de I n ento: R a m (A) = sup m(E) : E A, E M .

EXERC ICIOS PARA O CAP ITULO 1

37

Exerc cio 1.28. Dado um subconjunto A I n , mostre que existe um R subconjunto W de I n de tipo F tal que W A e m(W ) = m (A). R Exerc cio 1.29. Seja (Ak )k1 uma seqncia de subconjuntos de I n ue R 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 m , B I n , de modo R R m I n I m+n . que A B I R R = R (a) Mostre que m (A B) m (A)m (B). (b) Mostre que se A e B so mensurveis ento A B tambm mena a a e e survel. a (c) Mostre que se A e B so mensurveis ento m(AB) = m(A)m(B). a a a Conjuntos de Cantor. Definicao 1.2. Um subconjunto de I n dito magro quando est con R e a tido numa reunio enumervel de subconjuntos fechados de I n com interior a a R vazio. O famoso Teorema de Baire implica que todo subconjunto magro de I n R tem interior vazio. Exerc cio 1.31. Mostre que: existe um subconjunto magro e mensurvel A [0, 1] tal que a m(A) = 1 (compare com o Exerc 1.24); cio se A o conjunto do item anterior, mostre que [0, 1] \ A um e e conjunto de medida de Lebesgue zero que no magro. a e Exerc cio 1.32. Considere o intervalo I = [0, 1] e a seqncia (i )i1 ue denida por: 2i1 i = i , 3 para todo i 1. O conjunto de Cantor K associado a I e ` seqncia (i )i1 a ue conhecido como o conjunto ternrio de Cantor. Mostre que: e a 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 bijeo : ca

{0, 1}

K denida em (1.5.6) dada por: e

( ) =
i=1

2 i , 3i

para todo

= ( i )i1 {0, 1} .

EXERC ICIOS PARA O CAP ITULO 1

38

Exerc cio 1.33. Considere a relao de ordem lexicogrca no conjunto ca a {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 funo : {0, 1} K denida em (1.5.6) estritamente ca e crescente, i.e., se < ento ( ) < ( ). a Exerc cio 1.34. Utilizando a notao da Seo 1.5, mostre que paca ca ra todo n 1 e todo = ( i )n {0, 1}n , a extremidade esquerda i=1 do intervalo I( ) ( 1 , . . . , n , 0, 0, . . .) e a extremidade direita de I( ) e e ( 1 , . . . , n , 1, 1, . . .). Conjuntos no Mensurveis. a a Exerccio 1.35. Mostre que existe um subconjunto no mensurvel A a a de I n tal que m (A) = m (A) = +. R

CAP ITULO 2

Integrando Funes em Espaos de Medida co c


2.1. Funes Mensurveis co a Recorde da Denio 1.4.42 que um espao mensurvel um conjunto ca c a e X do qual destacamos uma certa coleo de subconjuntos A (X) (mais ca precisamente, uma -lgebra de partes de X) aos quais damos o nome de a mensurveis. A palavra mensurvel nesse contexto no indica que os a a a conjuntos possam ser medidos de alguma forma ou que estamos assumindo a existncia de alguma medida no trivial denida em A. Um mesmo conjunto e a X admite em geral diversas -lgebras; por exemplo, {, X} e (X) so a a sempre exemplos (triviais) de -lgebras de partes de X. Portanto, o termo a mensurvel s deve ser usado quando uma -lgebra espec a o a ca estiver xada pelo contexto. No conjunto I n , temos dois exemplos importantes de R -lgebras; a -lgebra de Borel B(I n ) e a -lgebra M(I n ) de conjuntos a a R a R Lebesgue mensurveis. No que segue, precisaremos tambm introduzir uma a e R; -lgebra de Borel para a reta estendida I temos a seguinte: a 2.1.1. Definicao. Um subconjunto A I dito Boreleano quando R e A I for um Boreleano de I R R. fcil ver que os subconjuntos Boreleanos de I constituem de fato uma E a R -lgebra de partes de I Tal -lgebra ser chamada a -lgebra de Borel a R. a a a R a R). de I e ser denotada por B(I A -lgebra A de um espao mensurvel (X, A) pode ser entendida a c a como uma estrutura que colocamos no conjunto subjacente X (assim como, digamos, as operaes de um espao vetorial constituem uma estrutura no co c conjunto subjacente). Devemos ento introduzir uma noo de funo que a ca ca preserva a estrutura de um espao mensurvel. c a 2.1.2. Definicao. Sejam (X, A), (X , A ) espaos mensurveis. Uma c a funo mensurvel f : (X, A) (X , A ) uma funo f : X X tal que ca a e ca para todo conjunto E A temos que f 1 (E) pertence a A. Em outras palavras, uma funo mensurvel se a imagem inversa de ca e a conjuntos mensurveis mensurvel. Quando as -lgebras em questo a e a a a estiverem subentendidas pelo contexto, nos referiremos apenas ` mensuraa bilidade da funo f : X X , omitindo a meno expl ca ca cita a A e A . O conjunto I n aparecer com muita freqncia como dom ou contraR a ue nio dom de nossas funes e introduzimos abaixo uma conveno que evita a nio co ca necessidade de especicar a -lgebra considerada em I n em cada situao. a R ca
39

2.1. FUNCOES MENSURAVEIS

40

2.1.3. Convencao. A menos de meno expl ca cita em contrrio, o cona junto I n ser considerado munido da -lgebra de Borel B(I n ) sempre R a a R que o mesmo aparecer no contra-dom nio de uma funo; mais explicica tamente, se (X, A) um espao mensurvel ento por uma funo mene c a a ca survel f : (X, A) I n entenderemos uma funo f : X I n tal que a R ca R f 1 (E) A, para todo Boreleano E B(I n ). Similarmente, a reta esR tendida I ser considerada munida da -lgebra de Borel B(I R a a R), sempre que a mesma aparecer no contra-dom nio de uma funo. Por outro lado, ca o conjunto I n ser sempre considerado munido da -lgebra M(I n ) de R a a R conjuntos Lebesgue mensurveis, quando o mesmo aparecer no dom a nio de uma funo; mais explicitamente, uma funo mensurvel f : I n (X, A) ca ca a R uma funo f : I n X tal que f 1 (E) M(I n ), para todo E A. e ca R R Por exemplo, em vista da conveno 2.1.3 acima, uma funo mensurvel ca ca a f : I I uma funo tal que f 1 (E) M(I R Re ca R), para todo E B(I R). Ns dicilmente teremos qualquer interesse em considerar a -lgebra o a M(I n ) em I n quando o mesmo aparece no contra-dom de uma funo; R R nio ca por outro lado, em algumas situaes interessante considerar a -lgebra co e a B(I n ) em I n quando o mesmo aparece no dom R R nio de uma funo (conca trariando, portanto, a conveno 2.1.3). Introduzimos ento a seguinte terca a minologia. 2.1.4. Definicao. Seja (X, A) um espao mensurvel. Uma funo c a ca n (X, A) uma funo f : I n X tal que Borel mensurvel f : I a R e ca R f : I n , B(I n ) (X, A) uma funo mensurvel, i.e., tal que f 1 (E) R R e ca a um Boreleano de I n para todo E A. Similarmente, uma funo e R ca R e ca R Borel mensurvel f : I (X, A) uma funo f : I X tal que a R, R) (X, A) uma funo mensurvel. e ca a f : I B(I Para vericar a mensurabilidade de uma funo f : (X, A) (X , A ) ca no necessrio vericar que f 1 (E) A para todo E A , mas apenas a e a para E pertencente a um conjunto de geradores de A . Esse o contedo e u do seguinte: 2.1.5. Lema. Sejam (X, A), (X , A ) espaos mensurveis e seja C um c a conjunto de geradores para a -lgebra A . Uma funo f : X X a ca e mensurvel se e somente se f 1 (E) A, para todo E C. a Demonstracao. Como C A , temos obviamente que f 1 (E) A para todo E C, caso f seja mensurvel. Suponha ento que f 1 (E) A a a para todo E C. Verica-se diretamente que a coleo: ca (2.1.1) E (X ) : f 1 (E) A

uma -lgebra de partes de X . Por hiptese, (2.1.1) contm C e portanto e a o e contm A = [C]. Isso mostra que f 1 (E) A para todo E A , i.e., f e e mensurvel. a

2.1. FUNCOES MENSURAVEIS

41

2.1.6. Corolario. Se (X, A) um espao mensurvel ento uma funo e c a a ca f : X I n mensurvel se e somente se f 1 (U ) A, para todo aberto R e a U I n. R 2.1.7. Corolario. Se (X, A) um espao mensurvel ento uma funo e c a a ca f : X I mensurvel se e somente se o conjunto: Re a f 1 ], c] = x X : f (x) c est em A para todo c I a R. Demonstracao. Segue do Lema 2.1.5, tendo em mente o resultado do Exerc 1.23. cio 2.1.8. Corolario. Se (X, A) um espao mensurvel ento uma funo e c a a ca f : X I mensurvel se e somente se o conjunto: Re a f 1 [, c] = x X : f (x) c est em A para todo c I a R. Demonstracao. Segue do Lema 2.1.5, tendo em mente o resultado do Exerc 2.4. cio 2.1.9. Lema. A composta de duas funes mensurveis uma funo co a e ca mensurvel, i.e., se (X, A), (X , A ), (X , A ) so espaos mensurveis e a a c a se f : (X, A) (X , A ), g : (X , A ) (X , A ) so funes mensurveis a co a ento a funo g f : (X, A) (X , A ) tambm mensurvel. a ca e e a Demonstracao. Dado E A devemos vericar que (gf )1 (E) A. 1 (E) = f 1 g 1 (E) ; temos g 1 (E) A , pois g mensurvel, Mas (g f ) e a e f 1 g 1 (E) A, pois f mensurvel. e a E necessrio cidado na utilizao do Lema 2.1.9; para concluir a mena u ca surabilidade de g f a partir da mensurabilidade de f e de g necessrio e a que a -lgebra xada para o contra-dom a nio de f e para o dom nio de g sejam as mesmas. Em vista da conveno 2.1.3, se f : (X, A) I n e ca R g : I n (X , A ) so funes mensurveis ento no podemos usar o LeR a co a a a ma 2.1.9 para concluir que g f mensurvel j que adotamos a -lgebra e a a a de Borel para o contra-dom nio de f e a -lgebra de conjuntos Lebesgue a mensurveis para o dom a nio de g. Ns poder o amos utilizar o Lema 2.1.9 para concluir que g f mensurvel caso soubssemos, por exemplo, que f e a e mensurvel e que g Borel mensurvel. e a e a Se f uma funo denida num espao mensurvel (X, A) ento em e ca c a a muitas situaes interessante considerar restries de f a subconjuntos de co e co X e gostar amos que tais subconjuntos de X pudessem ser encarados como espaos mensurveis. Dado ento um subconjunto Y X, denimos: c a a (2.1.2) A|Y = E Y : E A ;

fcil ver que A|Y uma -lgebra de partes de Y . e a e a

2.1. FUNCOES MENSURAVEIS

42

2.1.10. Definicao. Se A uma -lgebra de partes de um conjunto X e e a se Y um subconjunto de X ento a -lgebra A|Y de partes de Y denida e a a em (2.1.2) chamada a -lgebra induzida em Y por A. Dizemos ento que e a a (Y, A|Y ) um subespao do espao mensurvel (X, A). e c c a Observe que se (X, A) um espao mensurvel e se Y A ento os e c a a elementos da -lgebra induzida A|Y so precisamente os elementos de A a a que esto contidos em Y ; em s a mbolos: A|Y = A (Y ). Em outras palavras, se Y mensurvel ento os subconjuntos mensurveis e a a a do subespao mensurvel Y de X so precisamente os subconjuntos menc a a surveis de X que esto contidos em Y . a a 2.1.11. Convencao. Se (X, A) um espao mensurvel e se Y um e c a e subconjunto de X ento, a menos de meno expl a ca cita em contrrio, consia deraremos sempre o conjunto Y munido da -lgebra induzida A|Y . a Em vista das convenes 2.1.11 e 2.1.3, observamos que: co se um subconjunto Y de I n (resp., um subconjunto Y de I apaR R) rece no contra-dom nio de uma funo, consideramo-lo munido da ca -lgebra B(I n )|Y induzida da -lgebra de Borel de I n (resp., a R a R R)| a R); da -lgebra B(I Y induzida da -lgebra de Borel de I a n aparece no dom se um subconjunto Y de I R nio de uma funo, ca consideramo-lo munido da -lgebra M(I n )|Y induzida da -la R a gebra de subconjuntos Lebesgue mensurveis de I n ; a R R) se Y um subconjunto de I n (resp., um subconjunto de I e se e R (X, A) um espao mensurvel ento uma funo f : Y (X, A) e c a a ca e dita Borel mensurvel quando a funo f : Y, B(I n )|Y (X, A) a ca R R)| a (resp., a funo f : Y, B(I Y (X, A)) for mensurvel. ca 2.1.12. Lema. Sejam (X, A), (X , A ) espaos mensurveis e Y X c a um subconjunto. Ento: a (a) a aplicao incluso i : Y X mensurvel; ca a e a (b) se f : X X uma funo mensurvel ento f |Y : Y X e ca a a tambm mensurvel; e e a (c) dada uma funo f : X X com imagem contida em Y , se ca f0 : X Y denota a funo que difere de f apenas pelo contraca dom nio ento f mensurvel se e somente se f0 mensurvel. a e a e a Demonstracao. 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.

2.1. FUNCOES MENSURAVEIS

43

Prova de (c). Se f0 mensurvel ento f = i f0 mensurvel, pelo Lema 2.1.9 e a a e a e pelo item (a) acima. Reciprocamente, suponha que f mensurvel. e a 1 1 (E )) Dado E1 A|Y , devemos mostrar que f0 (E1 ) (que igual a f e 1 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 ) espaos mensurveis e seja dada c a X = iI Xi uma cobertura enumervel de X por conjuntos mensurveis a a Xi A. Ento uma funo f : X X mensurvel se e somente se a ca e a f |Xi : Xi X mensurvel para todo i I. e a Demonstracao. Se f mensurvel ento f |Xi mensurvel para todo e a a e a i I, pelo Lema 2.1.12. Reciprocamente, suponha que f |Xi seja mensurvel a 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 enumervel segue que: e a f 1 (E) =
iI

f 1 (E) Xi A,

e portanto f uma funo mensurvel. e ca a 2.1.14. Corolario. Sejam (X, A) um espao mensurvel e Y um subc a conjunto de I Uma funo f : Y X Borel mensurvel se e somente R. ca e a se f |Y I : Y I X Borel mensurvel. R e a R Demonstracao. Temos que Y = (Y \ I (Y I R) R), onde: Y I B(I Y , R R)| Y \ I = Y {+, } B(I Y . R R)| Segue do Lema 2.1.13 que f Borel mensurvel se e somente se suas rese a tries a Y \ I e a Y I so Borel mensurveis. Mas todos os quatro co R R a a R a subconjuntos de {+, } so Boreleanos de I e portanto a -lgebra a R)| Re R). Em particular, a restrio de f ca induzida por B(I Y em Y \ I (Y \ I a Y \I Borel mensurvel, seja qual for f : Y X. A concluso segue. Re a a 2.1.15. Lema. Dado um subconjunto arbitrrio Y I m , ento toda a R a n Borel mensurvel. funo cont ca nua f : Y I e R a Demonstracao. Pelo Corolrio 2.1.6, suciente mostrar que: a e f 1 (U ) B(I m )|Y , R para todo aberto U I n . Mas, como f cont R e nua, temos que f 1 (U ) e aberto relativamente a Y , i.e., existe um aberto V I m com: R f 1 (U ) = V Y ; da V B(I m ) e portanto f 1 (U ) = V Y B(I m )|Y . R R

2.1. FUNCOES MENSURAVEIS

44

2.1.16. Lema. Seja (X, A) um espao mensurvel e seja f : X I n c a R uma funo com funes coordenadas fi : X I i = 1, . . . , n. Ento ca co R, a f : X I n mensurvel se e somente se fi : X I for mensurvel, R e a R a para todo i = 1, . . . , n. Demonstracao. Temos fi = i f , onde i : I n I denota a i R R sima projeo. A funo i cont e ca ca e nua e portanto Borel mensurvel, pelo a Lema 2.1.15; segue ento do Lema 2.1.9 que a mensurabilidade de f implica a na mensurabilidade de cada fi . Reciprocamente, suponha que cada fi e mensurvel. Em vista do Lema 1.4.23, a -lgebra de Borel de I n coincide a a R com a -lgebra gerada pelos blocos retangulares n-dimensionais. Segue a ento do Lema 2.1.5 que, para mostrar a mensurabilidade de f , suciente a e 1 (B) A para todo bloco retangular n-dimensional B. Se mostrar que f B = n [ai , bi ], ento: a i=1
n

(B) = x X : fi (x) [ai , bi ], i = 1, . . . , n =


i=1

fi1 [ai , bi ] .

Como cada fi mensurvel, temos e a 1 (B) A. f

fi1

[ai , bi ] A para todo i e portanto

2.1.17. Corolario. Sejam (X, A), (X , A ) espaos mensurveis e sec a jam fi : X I i = 1, . . . , n, funes mensurveis. Dada uma funo R, co a ca Borel mensurvel : Y X denida num subconjunto Y I n tal que: a R f1 (x), . . . , fn (x) Y, para todo x X ento a funo: a ca (f1 , . . . , fn ) : X mensurvel. e a Demonstracao. Pelo Lema 2.1.16 e pelo item (c) do Lema 2.1.12 te mos que a funo (f1 , . . . , fn ) : X Y mensurvel. A concluso segue do ca e a a Lema 2.1.9. Se f : X I n , g : X I n so funes denidas num conjunto R R a co arbitrrio X ento, como usual, denimos a soma f + g : X I n a a e R das funes f e g fazendo (f + g)(x) = f (x) + g(x), para todo x X; co para n = 1, podemos denir tambm o produto f g : X I n fazendo e R (f g)(x) = f (x)g(x), para todo x X. 2.1.18. Corolario. Seja (X, A) um espao mensurvel. Dadas funes c a co mensurveis f : X I n , g : X I n ento: a R R a a soma f + g : X I n uma funo mensurvel; R e ca a se n = 1, o produto f g : X I uma funo mensurvel. Re ca a Demonstracao. As funes: co I nI n R R (x, y) x + y I n R e I I R R (x, y) xy I R x f1 (x), . . . , fn (x) X

2.1. FUNCOES MENSURAVEIS

45

so cont a nuas e portanto Borel mensurveis, pelo Lema 2.1.15. A concluso a a segue do Corolrio 2.1.17. a Note que para funes f : X I g : X I a valores na reta co R, R estendida, tambm podemos denir a soma f + g : X I desde que a e R, soma f (x) + g(x) esteja bem denida (i.e., no seja da forma (+) + () a ou () + (+)) para todo x X. O produto f g : X I pode ser R denido sempre, sem nenhuma restrio sobre f e g. ca 2.1.19. Proposicao. Seja (X, A) um espao mensurvel. Sejam dadas c a funes mensurveis f : X I e g : X I Ento: co a R R. a se a soma f (x) + g(x) estiver bem denida para todo x X ento a Re ca a a funo f + g : X I uma funo mensurvel; ca o produto f g : X I uma funo mensurvel. Re ca a Demonstracao. Considere os seguintes subconjuntos de X: f 1 (I g 1 (I R) R), f 1 (+) g 1 (+), f 1 () g 1 (); todos eles pertencem a A e sua unio igual a X. A restrio de f + g a e ca a cada um deles mensurvel; de fato, a restrio de f + g ao primeiro e a ca deles mensurvel pelo Corolrio 2.1.18 e a restrio de f + g aos outros e a a ca e uma funo constante (veja Exerc 2.1). Segue ento do Lema 2.1.13 que ca cio a f + g mensurvel. A mensurabilidade de f g mostrada de forma similar e a e considerando as restries de f g aos conjuntos: co f 1 (I g 1 (I R) 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 () .

R a 2.1.20. Definicao. Dado x I ento a parte positiva e a parte negativa + e x , so denidas por: de x, denotadas respectivamente por x a x+ = x, se x 0, 0, se x < 0, x = 0, x, se x > 0, se x 0.

R a Se f uma funo tomando valores em I ento a parte positiva e a parte e ca negativa de f , denotadas respectivamente por f + e f , so denidas por a f + (x) = [f (x)]+ e f (x) = [f (x)] , para todo x no dom nio de f .

2.1. FUNCOES MENSURAVEIS

46

a E fcil ver que x = x+ x e |x| = x+ + x , para todo x I em R; particular, se f uma funo tomando valores em I ento: e ca R a f = f+ f e |f | = f + + f ,

onde, obviamente, |f | denota a funo |f |(x) = |f (x)|. ca Re 2.1.21. Lema. Seja (X, A) um espao mensurvel. Se f : X I uma c a + , f e |f | tambm so mensurveis. funo mensurvel ento as funes f ca a a co e a a Demonstracao. Segue do Lema 2.1.15 e do Corolrio 2.1.14 que as a funes: co I R x x+ I R, I R x x I R, I R x |x| I R

so Borel mensurveis; de fato, observe que suas restries a I so funes a a co R a co cont nuas. A concluso segue do Lema 2.1.9. a 2.1.22. Lema. Seja (X, A) um espao mensurvel e seja (fk )k1 uma c a seqncia de funes mensurveis fk : X I Ento as funes: ue co a R. a co sup fk : X
k1

x sup fk (x) I R
k1

k1

inf fk : X

x inf fk (x) I R
k1

so mensurveis. a a Demonstracao. Note que para todo x X temos supk1 fk (x) c se e somente se fk (x) c para todo k 1; logo:

x X : sup fk (x) c =
k1 k=1

1 fk [, c] A,

para todo c I Alm do mais, para todo x X, temos inf k1 fk (x) c R. e se e somente se para todo r 1 existe k 1 tal que fk (x) c + 1 ; logo: r
1 fk r=1 k=1

x X : inf fk (x) c =
k1

, c +

1 r

A,

para todo c I A concluso segue do Corolrio 2.1.8. R. a a 2.1.23. Corolario. Seja (X, A) um espao mensurvel e seja (fk )k1 c a uma seqncia de funes mensurveis fk : X I Ento as funes: ue co a R. a co 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

so mensurveis. a a Demonstracao. Basta observar que: lim sup fk = inf sup fk ,


k r1 kr

lim inf fk = sup inf fk .


k r1 kr

2.1. FUNCOES MENSURAVEIS

47

2.1.24. Corolario. Seja (X, A) um espao mensurvel e seja (fk )k1 c a uma seqncia de funes mensurveis fk : X I Se para todo x X a ue co a R. seqncia fk (x) k1 converge em I ento a funo: ue R a ca
k

lim fk : X

x lim fk (x) I R
k

mensurvel. e a Demonstracao. Basta observar que:


k

lim fk = lim inf fk = lim sup fk .


k k

2.1.1. Funes Simples. co 2.1.25. Definicao. Uma funo dita simples quando sua imagem ca e e um conjunto nito. 2.1.26. Lema. Seja X um conjunto e sejam f : X I g : X I R, R funes simples. co se a soma f (x) + g(x) estiver bem denida para todo x X ento a a funo f + g simples; ca e o produto f g uma funo simples. e ca Demonstracao. A imagem de f + g est contida no conjunto: a a + b : a Im(f ), b Im(g) e a soma a + b est bem denida ; a tal conjunto obviamente nito. Similarmente, a imagem de f g est contida e a no conjunto nito {ab : a Im(f ), b Im(g) . 2.1.27. Lema. Sejam (X, A) um espao mensurvel e f : X I uma c a R 1 (c) A para funo simples. Ento f mensurvel se e somente se f ca a e a todo c Im(f ). Demonstracao. Se f uma funo mensurvel ento f 1 (c) A e ca a a R. para todo c Im(f ), j que {c} um Boreleano de I Reciprocamente, a e se f 1 (c) A para todo c Im(f ) ento a mensurabilidade de f segue do a Lema 2.1.13, j que: a X= f 1 (c)
cIm(f )

uma cobertura nita de X por conjuntos mensurveis e a restrio de f a e a ca 1 (c) mensurvel (veja Exerc cada conjunto f e a cio 2.1). 2.1.28. Definicao. Seja X um conjunto e seja A X um subconjunto de X. A funo caracter ca stica de A, denida em X, a funo A : X I e ca R denida por A (x) = 1 para x A e A (x) = 0 para x X \ A. Observe que a notao A no deixa expl ca a cito qual seja o dom nio X da funo caracter ca stica de A que est sendo considerada; em geral, tal dom a nio deve ser deixado claro pelo contexto.

2.1. FUNCOES MENSURAVEIS

48

2.1.29. Observacao. Se (X, A) um espao mensurvel e se A X e c a e um subconjunto ento a funo caracter a ca stica A : X I uma funo R e ca simples. Segue do Lema 2.1.27 que A uma funo mensurvel se e somente e ca a se A A. 2.1.30. Observacao. Se (X, A) um espao mensurvel ento, dados e c a a A1 , . . . , Ak A e c1 , . . . , ck I temos que a funo: R, ca
k

(2.1.3)
i=1

ci Ai : X I R

simples e mensurvel, desde que esteja bem denida (i.e., desde que no e a a ocorra Ai Aj = com ci = + e cj = ). De fato, isso segue da Proposio 2.1.19, do Lema 2.1.26 e da Observao 2.1.29. Reciprocamente, ca ca Re ca a e se f : X I uma funo simples e mensurvel, podemos escrev-la na R, forma (2.1.3), com Ai A e ci I i = 1, . . . , k. De fato, basta tomar Ai = f 1 (ci ), onde c1 , . . . , ck so os elementos (distintos) do conjunto nito a Im(f ). Note que os conjuntos Ai assim constru dos constituem uma partio ca de X. 2.1.31. Lema. Sejam (X, A) um espao mensurvel, f : X I uma c a R funo e Y A. Ento: ca a (a) f |Y mensurvel se e somente se f Y mensurvel; e a e a (b) f |Y simples se e somente se f Y simples. e e Demonstracao. Temos X = Y Y c , com Y, Y c A; alm do mais, e f |Y = (f Y )|Y e (f Y )|Y c 0. Tendo em mente essas observaes, o item co (a) segue do Lema 2.1.13. O item (b) segue da igualdade: f (Y ) \ {0} = Im(f Y ) \ {0}. R 2.1.32. Notacao. Seja (fk )k1 uma seqncia de funes fk : X I ue co e seja f : X I uma funo, onde X um conjunto arbitrrio. EscreR ca e a vemos 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. 2.1.33. Proposicao. Sejam (X, A) um espao mensurvel. Para toda c a funo mensurvel f : X [0, +] existe uma seqncia (fk )k1 de funes ca a ue co simples e mensurveis fk : X [0, +[ tal que fk a f. Demonstracao. Para cada k 1 particionamos o intervalo [0, k[ em intervalos disjuntos de comprimento 21 ; mais explicitamente, consideramos k os intervalos: (2.1.4)
r r+1 , 2k 2k

r = 0, 1, . . . , k2k 1.

Para cada x X temos f (x) k ou ento f (x) pertence a exatamente um a dos intervalos (2.1.4); se f (x) k denimos fk (x) = k e, caso contrrio, a

2.2. INTEGRANDO FUNCOES SIMPLES NAO NEGATIVAS

49

tomamos fk (x) como sendo a extremidade esquerda do intervalo da coleo ca (2.1.4) ao qual f (x) pertence. Em s mbolos, temos:
k2k 1

fk = k

f 1

[k,+]

+
r=0

r 2k f 1

r r+1 , 2k 2k

Temos ento que fk uma funo simples e mensurvel para todo k 1 a e ca a (veja Observao 2.1.30). Note que: ca 1 , 2k para todo x X com f (x) < k. Armamos que limk fk = f . De fato, seja x X xado. Se f (x) < + ento vale (2.1.5) para k > f (x) a e portanto limk fk (x) = f (x). Se f (x) = + ento fk (x) = k para a todo k 1 e portanto limk fk (x) = + = f (x). Para completar a demonstrao, vamos mostrar agora que: ca (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, ento fk (x) = k e fk+1 (x) = k + 1, donde (2.1.6) satisfeita. Seno, seja a e a r r+1 k+1 1 o unico inteiro tal que r = 0, . . . , (k + 1)2 f (x) < 2k+1 ; 2k+1 r r temos fk+1 (x) = 2k+1 . Seja s o maior inteiro menor ou igual a 2 ; da 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 a Se f (x) [0, k[, segue que fk (x) = 2k 2k+1 = fk+1 (x). Caso contrrio, se r k+1 e f f (x) [k, k + 1[ ento r k2 a k+1 (x) = 2k+1 k = fk (x). Em todo caso, a desigualdade (2.1.6) satisfeita. e 2.2. Integrando Funes Simples no Negativas co a Ao longo de toda esta seo consideramos xado um espao de medida ca c (X, A, ). Recorde que uma funo f : X [0, +] simples e mensurvel ca e a 1 (c) A para se e somente se Im(f ) um subconjunto nito de [0, +] e f e todo c Im(f ) (vide Denio 2.1.25 e Lema 2.1.27). ca 2.2.1. Definicao. Se f : X [0, +] uma funo simples, men e ca survel e no negativa ento a integral de f denida por: a a a e f d =
X

c f 1 (c) .

cIm(f )

A integral

f d ser tambm `s vezes denotada por: a e a f (x) d(x).


X

2.2. INTEGRANDO FUNCOES SIMPLES NAO NEGATIVAS

50

Obviamente, para toda funo simples mensurvel f : X [0, +], ca a temos: f d 0.


X

Se Y A um conjunto mensurvel ento fcil ver que a restrio de e a a e a ca ` -lgebra A|Y = A (Y ) tambm uma medida, de modo que a trinca a a e e (Y, A|Y , |(A|Y ) ) um espao de medida. Se f uma funo a valores em I e c e ca R cujo dom nio contm Y e tal que f |Y simples, mensurvel e no negativa e e a a ento a integral de f |Y ser denotada por: a a f d =
Y Y

f (x) d(x).

2.2.2. Lema. Seja f : X I uma funo e seja Y A. Suponha que R ca f |Y simples, mensurvel e no negativa (pelo Lema 2.1.31 isso equivale a e a a dizer que f Y simples, mensurvel e no negativa). Ento: e a a a f d =
Y X

f Y d.

Demonstracao. Temos: f d =
Y

c (f |Y )1 (c) =

c (f |Y )1 (c) ,

cf (Y )

cf (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 concluso segue das igualdades acima observando que para todo c = 0, a 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, +]. Ento: a
k k

(2.2.1)
X i=1

ci Ai d =
i=1

ci (Ai ).

Demonstracao. Eliminando os ndices i tais que ci = 0 ou Ai = no alteramos o resultado de nenhum dos dois lados da igualdade (2.2.1); a podemos portanto supor que ci = 0 e Ai = para todo i = 1, . . . , k. Seja f = k ci Ai . Temos Im(f ) \ {0} = {c1 , . . . , ck }; note que poss ter e vel i=1 ci = cj para i = j. Para c Im(f ), c = 0, temos:
k

f 1 (c) =
i=1 ci =c

Ai

2.2. INTEGRANDO FUNCOES SIMPLES NAO NEGATIVAS

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 ultima igualdade usamos o fato que o conjunto {1, . . . , k} unio e a 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, +] funes simples co e mensurveis. Ento: a a f + g d =
X X

f d +
X

g d.

Demonstracao. Podemos escrever:


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 partio de X (veja Observao 2.1.30). Temos: ca ca
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 so dois a dois disjuntos, a o Lema 2.2.3 nos d: a


k l

(2.2.3)
X

f d =
i=1 j=1

ci (Ai Bj ).

2.2. INTEGRANDO FUNCOES SIMPLES NAO NEGATIVAS

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 concluso segue de (2.2.3), (2.2.5) e (2.2.6). a 2.2.5. Corolario. Dados A1 , . . . , Ak A (conjuntos no necessariaa mente disjuntos) e c1 , . . . , ck [0, +] ento: a
k k

ci Ai d =
X i=1 i=1

ci (Ai ).

Demonstracao. Basta observar que:


k k k

ci Ai d =
X i=1 i=1 X

ci Ai d =
i=1

ci (Ai ).

R, R a co a 2.2.6. Notacao. Se f : X I g : X I so funes ento escreve mos f g quando f (x) g(x), para todo x X. 2.2.7. Corolario. Sejam f : X [0, +], g : X [0, +] funes co simples mensurveis. Se f g ento: a a f d
X X

g d.

Demonstracao. Dena h : X [0, +] fazendo: 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 funo h mensurvel, pelo ca e a Lema 2.1.13 e pela Proposio 2.1.19. Alm do mais, a funo h simples ca e ca e j que sua imagem est contida no conjunto nito: a a {0} a b : a Im(g), b Im(f ) e b < + .

2.3. INTEGRANDO FUNCOES MENSURAVEIS NAO NEGATIVAS

53

Segue ento do Lema 2.2.4 que: a g d =


X X

f d +
X

h d
X

f d,

j que a

h d 0.

2.2.8. Lema. Sejam f : X [0, +] uma funo simples mensurvel e ca a c [0, +]. Ento: a cf d = c
X X

f d.

Demonstracao. Escreva:
k

f=
i=1

ci Ai ,

onde os conjuntos A1 , . . . , Ak A constituem uma partio de X. Da ca :


k

cf =
i=1

cci Ai .

O Lema 2.2.3 nos d ento: a a


k k

cf d =
X i=1

cci (Ai ) = c
i=1

ci (Ai ) = c
X

f d.

2.3. Integrando Funes Mensurveis no Negativas co a a Ao longo de toda esta seo consideramos xado um espao de medida ca c (X, A, ). Dada uma funo mensurvel no negativa f : X [0, +] ca a a consideramos o conjunto: (2.3.1) I(f ) =
X

d : : X [0, +] funo simples mensurvel e ca a tal que f [0, +].

Observe que o conjunto I(f ) no vazio, j que a funo 0 simples, a e a ca e mensurvel, no negativa e menor ou igual a f , de modo que 0 I(f ). a a Armamos que se f : X [0, +] uma funo simples mensurvel ento: e ca a a f d = sup I(f ).
X

De fato, nesse caso f uma funo simples, mensurvel, no negativa e e ca a a menor ou igual a f , de modo que X f d I(f ) e sup I(f ) X f d. Por outro lado, o Corolrio 2.2.7 implica que X d X f d para toda a funo simples mensurvel : X [0, +] tal que f ; portanto X f d ca a uma cota superior de I(f ) e sup I(f ) X f d. e Em vista das consideraes acima podemos introduzir a seguinte: co

2.3. INTEGRANDO FUNCOES MENSURAVEIS NAO NEGATIVAS

54

2.3.1. Definicao. Se f : X [0, +] uma funo mensurvel no e ca a a negativa ento a integral de f denida por: a e f d = sup I(f ) [0, +],
X

onde I(f ) o conjunto denido em (2.3.1). e Como no caso de funes simples, a integral co vezes denotada por: f (x) d(x).
X

f d ser tambm `s a e a

Alm do mais, se Y A e se f uma funo a valores em I cujo dom e e ca R nio contm Y e tal que f |Y mensurvel e no negativa ento a integral de f |Y e e a a a com respeito ` medida |(A|Y ) ser denotada por: a a f d =
Y Y

f (x) d(x).

2.3.2. Lema. Sejam f : X [0, +], g : X [0, +] funes menco surveis. Se f g ento: a a f d
X X

g d.

Demonstracao. Se : X [0, +] uma funo simples mensurvel e ca a tal que f ento tambm g; isso implica que I(f ) I(g) e portanto a e sup I(f ) sup I(g). 2.3.3. Teorema (da convergncia monotnica). Seja (fn )n1 uma see o qncia de funes mensurveis no negativas fn : X [0, +]. Se fn ue co a a f ento f : X [0, +] mensurvel e: a e a f d = lim
X n X

fn d.

Demonstracao. A mensurabilidade de f segue do Corolrio 2.1.24. O a Lema 2.3.2 implica que X fn d n1 uma seqncia crescente e que: e ue
n X

lim

fn d
X

f d.

Para mostrar a desigualdade oposta, suciente vericar que: e (2.3.2)


n X

lim

fn d
X

d,

para toda funo simples mensurvel : X [0, +] tal que f . ca a k Escreva = i=1 ci Ai , com c1 , . . . , ck ]0, +] e A1 , . . . , Ak A dois a dois disjuntos e no vazios. Fixados c1 , . . . , ck > 0 com ci < ci , i = 1, . . . , k, a denimos:
1 An = x Ai : fn (x) ci = fn [ci , +] Ai A, i

2.3. INTEGRANDO FUNCOES MENSURAVEIS NAO NEGATIVAS

55

para todo n 1. Para n 1 xado, os conjuntos An , i = 1, . . . , k so dois a i a dois disjuntos e:


k

fn
i=1

ci An ; i

os Lemas 2.3.2 e 2.2.3 nos do ento: a a


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 ento: a a i
n

lim (An ) = (Ai ); i

fazendo n em (2.3.3) obtemos (veja Exerc 1.5): cio


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 uma seqncia crescente (arbitrariamente e ue 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 demonstrao. ca R ca 2.3.4. Lema. Seja f : X I uma funo e seja Y A. Suponha que f |Y mensurvel e no negativa (pelo Lema 2.1.31 isso equivale a dizer que e a a f Y mensurvel e no negativa). Ento: e a a a f d =
Y X

f Y d.

Demonstracao. Pela Proposio 2.1.33 existe uma seqncia (fn )n1 ca ue de funes simples mensurveis fn : X [0, +[ tal que fn co a f Y . Como cada fn simples o Lema 2.2.2 nos d: e a fn d =
Y X

fn Y d,

para todo n 1. Obviamente fn |Y f |Y e (fn Y ) (f Y ). A concluso a segue portanto do Teorema 2.3.3 fazendo n na igualdade acima.

2.4. DEFINICAO DA INTEGRAL: O CASO GERAL

56

2.3.5. Corolario. Se f : X [0, +] uma funo mensurvel ento: e ca a a f d


Y X

f d,

para todo Y A. Demonstracao. Temos: f d =


Y X

f Y d

f d,
X

onde na ultima desigualdade usamos o Lema 2.3.2. 2.3.6. Lema. Sejam f : X [0, +], g : X [0, +] funes menco surveis. Ento: a a f + g d =
X X

f d +
X

g d,
X

cf d = c
X

f d,

para qualquer c [0, +]. Demonstracao. Pela Proposio 2.1.33 existem seqncias (fn )n1 , ca ue (gn )n1 de funes simples mensurveis fn : X [0, +[, gn : X [0, +[ co a tais que fn f e gn g. Como as funes fn e gn so simples, os co a Lemas 2.2.4 e 2.2.8 nos do: a 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 1.5). cio A concluso segue portanto do Teorema 2.3.3 fazendo n nas igualdades a acima. 2.4. Denio da Integral: o Caso Geral ca Ao longo de toda esta seo consideramos xado um espao de medida ca c R a (X, A, ). Dada uma funo mensurvel arbitrria f : X I ento, como ca a a vimos no Lema 2.1.21, temos f = f + f , onde a parte positiva f + e a parte negativa f de f so funes mensurveis no negativas denidas em a co a a X. Obviamente, se f j no negativa ento f + = f e f = 0, de modo que ae a a + ca X f d = X f d X f d. Em vista dessa observao, introduzimos a seguinte: 2.4.1. Definicao. Diremos que uma funo f : X I quase inte ca Re + d grvel quando f for mensurvel e a diferena X f a a c X f d estiver + d < + ou d < +; nesse bem-denida, ou seja, quando X f Xf caso, denimos a integral de f fazendo: f d =
X X

f + d
X

f d I R.

Quando f quase integrvel e X f d I (ou seja, se X f + d < + e e a R f d < +) ento dizemos que a funo f integrvel. a ca e a X

2.4. DEFINICAO DA INTEGRAL: O CASO GERAL

57

Como na Seo 2.3, introduzimos tambm a notao alternativa: ca e ca f (x) d(x),


X

para a integral de f . Tambm, se Y A e se f uma funo a valores em I e e ca R cujo dom nio contm Y ento dizemos que f quase integrvel em Y (resp., e a e a integrvel em Y ) se a funo f |Y for quase integrvel (resp., integrvel) com a ca a a respeito ` medida |(A|Y ) ; quando f for quase integrvel em Y , a integral a a de f |Y com respeito ` medida |(A|Y ) ser denotada por: a a f d =
Y Y

f (x) d(x).

2.4.2. Convencao. Seja X M(I n ) um subconjunto Lebesgue men R survel de I n e seja f : X I uma funo mensurvel; como sempre (rea R R ca a corde Convenes 2.1.3 e 2.1.11) assumimos que X munido da -lgebra co e a M(I n )|X constitu pelos subconjuntos Lebesgue mensurveis de I n que R da a R esto contidos em X. Nesse contexto, a menos de meno expl a ca cita em contrrio, quando usamos os adjetivos quase integrvel e integrvel , subena a a n )| tendemos que a -lgebra M(I a R X munida da (restrio da) medida e ca de Lebesgue m : M(I n ) [0, +]. Quando for necessrio enfatizar essa R a conveno, diremos tambm que f Lebesgue quase integrvel ou Lebesgue ca e e a integrvel, dependendo do caso. a 2.4.3. Definicao. Se X M(I n ) um subconjunto Lebesgue men R e n e se f : X I uma funo quase integrvel ento a integral Re ca a a survel de I a R de f com respeito ` (restrio ` M(I n )|X ) da medida de Lebesgue m ser a ca a R a chamada a integral de Lebesgue de f e ser denotada (seguindo as notaes a co anteriormente introduzidas) por X f dm ou por X f (x) dm(x). R ca 2.4.4. Notacao. Seja f : I I uma funo denida num intervalo I I R. Dados a, b I com a b ento, se f for quase integrvel no a a 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 quase integrvel em [b, a] e a ento escrevemos: a


b b

f dm =
a a

f (x) dm(x) =
b

def

f.

Se a I, I ilimitado ` direita e f quase integrvel em [a, +[ ento e a e a a denotamos por:


+ +

f dm =
a a a a

f (x) dm(x)

a integral de Lebesgue de f |[a,+[ ; escrevemos tambm: e f dm =


+ +

f (x) dm(x) =
a

def

f dm.

2.4. DEFINICAO DA INTEGRAL: O CASO GERAL

58

Similarmente, se a I, I ilimitado ` esquerda e f quase integrvel em e a e a ], a] ento denotamos por: a


a a

f dm =

f (x) dm(x)

a integral de Lebesgue de f |],a] ; escrevemos tambm: e


f dm =
a a

f (x) dm(x) =

def

f dm.

Claramente a restrio de f ao intervalo degenerado [a, a] = {a} uma ca e funo simples integrvel e: ca a
a a

f dm = f + (a)m {a} f (a)m {a} = 0.

2.4.5. Lema. Seja f : X I uma funo e seja Y A. Ento f |Y R ca a e quase integrvel se e somente se f Y quase integrvel; nesse caso: a e a f d =
Y X

f Y d.

Demonstracao. Pelo Lema 2.1.31, temos que f |Y mensurvel se e e a somente se f Y mensurvel. Alm do mais, temos: e a e (f |Y )+ = f + |Y , (f Y )+ = f + Y , (f |Y ) = f |Y , (f Y ) = f Y .

A concluso segue ento das igualdades acima e do Lema 2.3.4. a a 2.4.6. Lema. Sejam f1 : X [0, +], f2 : X [0, +] funes co mensurveis no negativas tais que a diferena f = f1 f2 esteja bema a c denida (i.e., no existe x X com f1 (x) = f2 (x) = +). Ento existe a a uma funo mensurvel no negativa h : X [0, +] tal que f1 = f + + h ca a a e f2 = f + h. Demonstracao. Observe em primeiro lugar que f + f1 . De fato, se f (x) 0 ento f + (x) = f (x) = f1 (x) f2 (x) f1 (x) e se f (x) < 0 ento a a + (x) = 0 f (x). Denimos h fazendo: f 1 f1 (x) f + (x), se x f 1 (I R), 1 (+), h(x) = f2 (x), se x f f1 (x), se x f 1 (). Claramente h no negativa; a mensurabilidade de h segue do Lema 2.1.13 e a e da Proposio 2.1.19. Veriquemos que f1 = f + + h e f2 = f + h. Para ca 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).

2.4. DEFINICAO DA INTEGRAL: O CASO GERAL

59

Se x f 1 (+) ento: a 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);

2.4.7. Proposicao. Sejam f : X I g : X I funes quase R, R co integrveis e seja c I a R. (a) Se as somas X f d+ X g d e f +g estiverem bem-denidas ento a a funo f +g quase integrvel e X f +g d = X f d+ X g d. ca e a (b) A funo cf quase integrvel e X cf d = c X f d. ca e a Demonstracao. Temos: f + g = (f + f ) + (g + g ) = (f + + g + ) (f + g ); pelo Lema 2.4.6 existe uma funo mensurvel h : X [0, +] tal que: ca a 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 denio temos: ca f d =


X X

f + d
X

f d,
X

g d =
X

g + d
X

g d.

A quase integrabilidade das funes f e g juntamente com o fato que a co soma X f d + X g d est bem denida implicam que o lado esquerdo de a pelo menos uma das igualdades (2.4.1) e (2.4.2) nito. Isso implica que e a integral de h nita e que pelo menos uma das integrais X (f + g)+ d, e e e a ca X (f + g) d nita, i.e., f + g quase integrvel. A demonstrao do item (a) obtida ento subtraindo a igualdade (2.4.2) da igualdade (2.4.1). e a 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

2.4. DEFINICAO DA INTEGRAL: O CASO GERAL

60

Isso mostra que cf quase integrvel e e a 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 demonstrao do item (b). ca 2.4.8. Lema. Sejam f : X I g : X I funes quase integrveis. R, R co a Se f g ento X f d X g d. a Demonstracao. Verica-se facilmente que f + g + e f g , donde, pelo Lema 2.3.2: f + d
X X

g + d,
X

f d
X

g d.

A concluso obtida subtraindo as duas desigualdades acima. a e R, 2.4.9. Lema. Dada uma funo f : X I temos: ca (a) se f quase integrvel ento f |Y tambm quase integrvel para e a a e e a todo Y A; (b) se X1 , . . . , Xk A so conjuntos dois a dois disjuntos tais que a k e a X = i=1 Xi , f |Xi quase integrvel para i = 1, . . . , k e tais que a soma: (2.4.3)
X1

f d +
X2

f d + +
Xk

f d
X

est bem denida ento f quase integrvel e a a e a soma (2.4.3). Demonstracao. Pelos Corolrio 2.3.5 temos: a f + d
Y X

f d igual ` e a

f + d,
Y

f d
X

f d,

o que prova o item (a). Passemos ` prova do item (b). Temos: a f = f X1 + f X2 + + f Xk . Pelo Lema 2.4.5, as funes f Xi so quase integrveis e: co a a f d =
Xi X

f Xi d,

para i = 1, . . . , k. A concluso segue da Proposio 2.4.7. a ca 2.4.10. Lema. Se (X) = 0 ento a survel f : X I a R.
X

f d = 0 para toda funo menca

2.5. TEOREMAS DE CONVERGENCIA

61

Demonstracao. Se : X [0, +] uma funo simples mensurvel e ca a ento X d = 0, j que 1 (c) = 0, para todo c Im(). Da se f a a , no negativa ento X f d = 0, j que X d = 0 para toda funo e a a a ca simples mensurvel no negativa f . Finalmente, se f : X I uma a a Re funo mensurvel arbitrria ento X f + d = X f d = 0 e portanto ca a a a f d = 0. X 2.4.11. Corolario. Se X A tal que (X \ X ) = 0 ento uma e a funo mensurvel f : X I quase integrvel se e somente se f |X ca a R e a e quase integrvel e nesse caso X f d = X f d. a Demonstracao. Pelo Lema 2.4.10 temos segue do Lema 2.4.9, j que: a f d =
X X X\X

f d = 0. A concluso a

f d +
X\X

f d.

A seguinte terminologia extremamente conveniente: e o. Dizemos que uma propriedade P referente a pontos 2.4.12. Definica do espao de medida X vlida quase sempre (ou em quase todo ponto c e a de X) se existe um conjunto X A tal que (X \ X ) = 0 e tal que a propriedade P vlida em todos os pontos de X . Dizemos tambm que a e a e propriedade P satisfeita q. s. (ou -q. s.). e 2.4.13. Corolario. Sejam f : X I g : X I funes menR, R co surveis. Se f = g quase sempre ento f quase integrvel se e somente se a a e a g quase integrvel e, nesse caso, X f d = X g d. e a Demonstracao. Por hiptese existe X A tal que (X \ X ) = 0 e o f |X = g|X . A concluso segue do Corolrio 2.4.11, j que: a a a f d =
X X

f d =
X

g d =
X

g d.

2.5. Teoremas de Convergncia e No que segue, (X, A, ) denota sempre um espao de medida. c 2.5.1. Teorema (da convergncia monotnica). Seja (fn )n1 uma see o qncia de funes mensurveis fn : X I e seja f : X I uma funo ue co a R R ca mensurvel. Suponha que f1 quase integrvel. Ento: a e a a (a) se X f1 d > e fn f q. s. ento f e fn so quase integrveis a a a para todo n 1 e limn X fn d = X f d; (b) se X f1 d < + e fn f q. s. ento f e fn so quase integrveis a a a para todo n 1 e limn X fn d = X f d. Demonstracao. E suciente provar o item (a), j que o item (b) se a gue do item (a) trocando fn por fn e f por f . Em primeiro lugar, como X f1 d > , segue do resultado do Exerc 2.16 que f1 > cio quase sempre; existe portanto um subconjunto mensurvel X de X com a

2.5. TEOREMAS DE CONVERGENCIA

62

complementar de medida nula tal que f1 (x) > e fn (x) f (x), para todo x X . Em vista do Corolrio 2.4.11, suciente mostrar a tese do a e teorema para as restries a X das funes em questo. Para cada n 1, co co a dena gn : X [0, +] fazendo gn (x) = fn (x) f1 (x), se f1 (x) < + e gn (x) = 0, se f1 (x) = +; da gn mensurvel e fn = gn + f1 . De modo e a anlogo, denimos g : X [0, +] mensurvel com f = g +f1 . Da gn a a 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 Proposio 2.4.7 nos diz que fn = gn + f1 quase integrvel e: ca e a (2.5.2)
X

fn d =
X

gn d +
X

f1 d;

similarmente, f quase integrvel e X f d = X g d + X f1 d. A e a concluso obtida agora fazendo n em (2.5.2) e usando (2.5.1). a e 2.5.2. Proposicao (Lema de Fatou). Seja (fn )n1 uma seqncia de ue R. a funes mensurveis fn : X I Ento: co a R (a) se existe uma funo quase integrvel : X I tal que fn ca a a e a q. s. para todo n 1 e X d > ento fn quase integrvel para todo n 1, lim inf n fn quase integrvel e: e a
X n

lim inf fn d lim inf


n X

fn d;

(b) se existe uma funo quase integrvel : X I tal que fn ca a R q. s. para todo n 1 e X d < + ento fn quase integrvel a e a para todo n 1, lim supn fn quase integrvel e: e a lim sup
n X

fn d
X

lim sup fn d.
n

Demonstracao. E suciente mostrar o item (a), j que o item (b) a segue do item (a) trocando fn por fn e por . Em primeiro lugar, a quase integrabilidade das funes fn segue do resultado do Exerc 2.17. co cio Para cada n 1 seja gn = inf kn fk . Da gn q. s., de modo que gn e quase integrvel e X gn d > ; alm do mais, gn fk para todo k n a e e portanto: gn d inf
X kn X

fk d.

Claramente gn (lim inf k fk ) e portanto a concluso segue do item (a) a do Teorema 2.5.1, fazendo n na desigualdade acima. 2.5.3. Notacao. Se (fn )n1 uma seqncia de funes fn : X I e ue co R R e ca a e f : X I uma funo ento escrevemos fn f quando (fn )n1 convergir para f pontualmente, i.e., limn fn (x) = f (x) para todo x X.

2.5. TEOREMAS DE CONVERGENCIA

63

2.5.4. Teorema (da convergncia dominada). Seja (fn )n1 uma see qncia de funes mensurveis fn : X I tal que fn f q. s., onde ue co a R f : X I uma funo mensurvel. Se existe uma funo integrvel R e ca a ca a : X [0, +] tal que |fn | q. s. para todo n 1 ento fn integrvel a e a para todo n 1, f integrvel e: e a
n X

lim

fn d =
X

f d.

Demonstracao. A integrabilidade das funes fn , f segue das desi co gualdades |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 estamos dentro R, das hipteses de ambos os itens da Proposio 2.5.2 e portanto: o ca 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.

2.5.5. Proposicao. Sejam Y um subconjunto de I n , y0 I n um ponto R R de acumulao de Y e f : X Y I uma funo tal que: ca R ca para todo y Y , a funo X x f (x, y) I integrvel; ca Re a para todo x X o limite limyy0 f (x, y) existe em I R; existe uma funo integrvel : X I e uma vizinhana V de y0 ca a R c em I n tal que |f (x, y)| (x), para todo x X e todo y V Y R com y = y0 . Ento, a funo X a ca x limyy0 f (x, y) I integrvel, o limite R e a limyy0 X f (x, y) d(x) existe e:
yy0

lim

f (x, y) d(x) =
X

X yy0

lim f (x, y) d(x).

Demonstracao. Considere a aplicao g : Y I denida por: ca R g(y) =


X

f (x, y) d(x),

para todo y Y e a aplicao h : X I denida por: ca R h(x) = lim f (x, y),


yy0

para todo x X. Devemos mostrar que h integrvel e que o limite e a limyy0 g(y) existe e igual ` integral de h. Seja (yn )n1 uma seqncia e a ue em Y com yn = y0 para todo n 1 e limn yn = y0 . Para cada n 1, considere a funo fn : X I denida por fn (x) = f (x, yn ), para todo ca R x X. Temos que fn integrvel, para todo n 1 e que fn h. Para e a

2.5. TEOREMAS DE CONVERGENCIA

64

n sucientemente grande temos yn V e portanto |fn | . Segue do Teorema 2.5.4 que h integrvel e que: e a h d = lim
X n X

fn d = lim g(yn ).
n

Como (yn )n1 uma seqncia arbitrria em Y \ {y0 } convergindo para y0 , e ue a segue que limyy0 g(y) = X h d. 2.5.6. Corolario. Seja Y um subconjunto de I n , y0 um ponto de Y e R f : X Y I uma funo tal que: R ca para todo y Y , a funo X x f (x, y) I integrvel; ca Re a para todo x X, a funo Y ca y f (x, y) I cont R e nua no ponto y0 ; existe uma funo integrvel : X I e uma vizinhana V de y0 ca a R c em I n tal que |f (x, y)| (x), para todo x X e todo y V Y R com y = y0 . Ento, a funo Y y X f (x, y) d(x) I cont a ca Re nua no ponto y0 . Demonstracao. Se y0 um ponto isolado de Y ento no h nada e a a a para ser mostrado, j que toda funo cont a ca e nua em pontos isolados de seu dom nio. Se y0 um ponto de acumulao de Y , a Proposio 2.5.5 nos d: e ca ca a
yy0

lim

f (x, y) d(x) =
X

X yy0

lim f (x, y) d(x) =


X

f (x, y0 ) d(x),

o que completa a demonstrao. ca 2.5.7. Proposicao. Sejam I I um intervalo com mais de um ponto, R y0 um ponto de I e f : X I I uma funo tal que: R ca para todo y I, a funo X x f (x, y) I integrvel; ca Re a para todo x X, a funo I y f (x, y) I derivvel; ca Re a existe uma funo integrvel : X I e > 0 tal que: ca a R f (x, y) (x), y para todo x X e todo y I ]y0 , y0 + [ com y = y0 . Ento a funo I a ca y X f (x, y) d(x) I derivvel no ponto y0 , a R e a f funo X x y (x, y0 ) I integrvel e: ca Re a d dy
y=y0

f (x, y) d(x) =
X X

f (x, y0 ) d(x). y

Demonstracao. Considere a funo g : I I denida por: ca R g(x, y) =


X

f (x, y) d(x),

para todo y I. Dado h = 0 com y0 + h I ento: a 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| ento o Teorema do Valor a Mdio nos d: e a f f (x, y0 + h) f (x, y0 ) = (x, y0 + h) (x), (2.5.5) h y onde ]0, 1[. A concluso segue da Proposio 2.5.5 e de (2.5.4) e (2.5.5), a ca 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 notao introca duzidas nas Denies 1.3.1 e 1.3.2. Introduzimos mais alguma terminologia co sobre parties e blocos. co 2.6.1. Definicao. Seja B um bloco retangular n-dimensional tal que |B| > 0 e seja P = (P1 , . . . , Pn ) uma partio do bloco B. Uma partio ca ca Q = (Q1 , . . . , Qn ) de B dita um renamento de P se Qi Pi , para e i = 1, . . . , n. A norma da partio P , denotada por P , denida como o ca e mximo dos dimetros dos sub-blocos de B determinados por P . a a Claramente se uma partio Q rena uma partio P ento todo subca ca a bloco de B determinado por Q est contido em algum sub-bloco de B dea terminado por P . No que segue, consideramos xado um bloco retangular n-dimensional B com |B| > 0 e uma funo limitada f : B I ca R. 2.6.2. Definicao. Se P uma partio de B ento a soma inferior de e ca a Riemann de f com respeito a P denida por: e s(f ; P ) =
bP

inf f (b) |b|,

e a soma superior de Riemann de f com respeito a P denida por: e S(f ; P ) =


bP

sup f (b) |b|.

Obviamente: (2.6.1) s(f ; P ) S(f ; P ), para toda partio P de B. ca Ns consideramos as seguintes funes mP : B I MP : B I o co R, R associadas a uma partio P de B: ca 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 ento o valor da funo mP (resp., da a ca

2.6. RIEMANN X LEBESGUE

66

funo MP ) no ponto x igual ao ca e nmo (resp., o supremo) de f no bloco b; se x pertence ` fronteira de algum sub-bloco de B determinado por P ento a a mP (x) = MP (x) = 0. Obviamente mP e MP so funes simples Lebesgue a co integrveis e: a (2.6.2)
B

mP dm = s(f ; P ),
B

MP dm = S(f ; P ),

j que m int(b) = m(b) = |b|, para todo b P (vide Corolrio 1.4.8). a a Temos: (2.6.3) inf f (B) mP (x) f (x) MP (x) sup f (B), para todo x
bP

int(b);

como a unio das fronteiras dos blocos b P tem medida nula, segue que as a desigualdades em (2.6.3) valem para quase todo x B. Se Q uma partio e ca de B que rena P ento armamos que: a (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 ento b est contido em a a 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 parties P e Q de B, se Q rena P ento: co a s(f ; P ) s(f ; Q), S(f ; Q) S(f ; P ).

Demonstracao. Note que as desigualdades em (2.6.4) valem para qua se todo x B. Basta ento usar integrao e as igualdades (2.6.2). a ca 2.6.4. Corolario. Para quaisquer parties P e Q de B temos: co s(f ; P ) S(f ; Q). Demonstracao. Se P = (P1 , . . . , Pn ) e Q = (Q1 , . . . , Qn ), denotamos por P Q a partio de B dada por P Q = (P1 Q1 , . . . , Pn Qn ); da ca 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).

2.6. RIEMANN X LEBESGUE

67

2.6.5. Definicao. A integral inferior de Riemann e a integral superior de Riemann de uma funo limitada f : B I so denidas respectivaca R a mente por:
(R)

f = sup s(f ; P ) : P partio de B , ca


(R)

f = inf S(f ; P ) : P partio de B . ca

Quando a integral inferior e a integral superior de f coincidem dizemos que f Riemann integrvel e nesse caso a integral de Riemann de f denida e a e por:
(R)

f = (R)

f = (R)

f.

Note que o Corolrio 2.6.4 implica que: a


(R)

f (R)

f.

Vamos agora determinar condies necessrias e sucientes para que uma co a funo f seja Riemann integrvel e vamos comparar a integral de Riemann ca a de f com a integral de Lebesgue de f . Consideraremos as funes m : B I M : B I denidas por: co R, R m(x) = sup inf f (y),
>0 yB d(y,x)<

M (x) = inf sup f (y),


>0 yB 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 ento m(x) = M (x) se e somente se f a e cont nua no ponto x. Demonstracao. Suponha que f cont e nua no ponto x. Dado > 0 ento existe > 0 tal que f (x) < f (y) < f (x) + , para todo y B com a d(y, x) < . Da :
yB d(y,x)<

inf f (y) f (x) ,

sup f (y) f (x) + ,


yB d(y,x)<

e portanto: f (x) m(x) M (x) f (x) + . Como > 0 arbitrrio, segue que m(x) = M (x). Reciprocamente, suponha e a 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:
yB d(y,x)<1

inf f (y) > f (x) ,

sup f (y) < f (x) + .


yB d(y,x)<2

2.6. RIEMANN X LEBESGUE

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 cont e nua no ponto x. Se P uma partio de B, observamos que: e ca (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 ento existe > 0 tal que a bola de centro x e raio est contida em b e a a portanto: mP (x) = inf f (y) inf f (y) m(x),
yb yB d(y,x)< yb

M (x) sup f (y) sup f (y) = MP (x).


yB d(y,x)<

Alm do mais, temos o seguinte: e 2.6.7. Lema. Se (Pk )k1 uma seqncia de parties do bloco retane ue co gular B tal que Pk 0 ento mPk m q. s. e MPk M q. s.. a Demonstracao. Seja A a unio das fronteiras de todos os sub-blocos a de B determinados por todas as parties Pk ; como a quantidade de blocos co em questo enumervel, temos que A tem medida nula. Seja x B, x A; a e a vamos mostrar que mPk (x) m(x) e MPk (x) M (x). Seja dado > 0. Temos que existem 1 , 2 > 0 tais que:
yB d(y,x)<1

inf f (y) > m(x) ,

sup f (y) < M (x) + .


yB 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 dimetro de b menor que min{1 , 2 }, temos que b est a e 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) ,
yb yB d(y,x)<1

MPk (x) = sup f (y) sup f (y) < M (x) + ,


yb yB 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 demonstrao. ca M (x) MPk (x) < M (x) + ,

2.6. RIEMANN X LEBESGUE

69

2.6.8. Corolario. As funes m e M so Lebesgue integrveis e: co a a

m dm = (R)
B

f,
B

M dm = (R)

f.

Demonstracao. Segue do Lema 2.6.7 e do resultado do item (c) do Exerc cio 2.7 que as funes m e M so mensurveis. Seja agora (Pk )k1 co a a uma seqncia de parties de B tal que: ue co (2.6.8)
k

lim s(f ; Pk ) = (R)

f.

Podemos renar cada partio Pk de modo que Pk 0; o Lema 2.6.3 ca garante que a condio (2.6.8) continua satisfeita. Como o bloco B tem meca dida nita, qualquer funo constante nita denida em B integrvel; logo, ca e a as desigualdades em (2.6.3) implicam que a seqncia de funes (mPk )k1 ue co satisfaz as hiptese do Teorema da Convergncia Dominada. Usando o Leo e ma 2.6.7 e as identidades (2.6.2) obtemos ento: a
k

lim s(f ; Pk ) = lim

k B

mPk dm =
B

m dm.

De modo totalmente anlogo, mostra-se que a integral de Lebesgue de M a e igual ` integral superior de Riemann de f . a Estamos em condies agora de provar o resultado principal desta seo. co ca 2.6.9. Proposicao. Seja B um bloco retangular n-dimensional com |B| > 0 e seja f : B I uma funo limitada. Ento: R ca a (a) f Riemann integrvel se e somente se o conjunto das descontie a nuidades de f tem medida nula; (b) se f Riemann integrvel ento f Lebesgue integrvel e: e a a e a f dm = (R)
B

f.

Demonstracao. Em vista do Corolrio 2.6.8, f Riemann integrvel a e a se e somente se: m dm =


B B

M dm.

Como m M , o resultado do Exerc cio 2.19 implica que f Riemann e integrvel se e somente se M = m quase sempre. O item (a) segue portanto a do Lema 2.6.6. Passemos ` demonstraao do item (b). Suponha que f a c e Riemann integrvel. Ento M = m quase sempre e de (2.6.5) segue que a a m = f = M quase sempre. O resultado do item (b) do Exerc 2.7 implica cio ento que f mensurvel; alm do mais: a e a e f dm =
B B

m dm = (R)

f = (R)

f.

2.6. RIEMANN X LEBESGUE

70

2.6.1. A integral imprpria de Riemann. Na Denio 2.6.5 introo ca duzimos a noo de integral de Riemann para funes limitadas denidas ca co em blocos retangulares. A noo de integral de Riemann pode ser estendida ca para contextos mais gerais, envolvendo funes no limitadas denidas em co a dom nios no limitados. Tais extenses so normalmente conhecidas como a o a integrais imprprias de Riemann e so denidas atravs de limites de inteo a e grais prprias (i.e., integrais de funes limitadas em conjuntos limitados). o co 2.6.10. Notacao. Seja [a, b] I um intervalo com a < b. Se f uma R e funo a valores reais denida num conjunto que contm [a, b] e se f |[a,b] ca e e limitada e Riemann integrvel ento a integral de Riemann de f |[a,b] ser a a a denotada por:
b (R) a

f.

2.6.11. Definicao. Seja f : [a, +[ I uma funo tal que para R ca todo u ]a, +[, a restrio de f ao intervalo [a, u] limitada e Riemann ca e integrvel. A integral imprpria de Riemann de f denida por: a o e
+ (R) a u

f = lim

(R) a

f,

desde que o limite acima exista em I Quando esse limite nito, dizemos R. e que a integral imprpria de f convergente. o e 2.6.12. Proposicao. Seja f : [a, +[ I uma funo tal que para R ca todo u ]a, +[, a restrio de f ao intervalo [a, u] limitada e Riemann ca e integrvel. Ento f mensurvel. Alm do mais, se f Lebesgue quase a a e a e e integrvel ento a integral imprpria de Riemann de f existe em I e: a a o R
+ +

(2.6.9)

(R) a

f=
a

f dm.

Demonstracao. Seja (un )n1 uma seqncia arbitrria em ]a, +[ tal ue a que un +. Pela Proposio 2.6.9, a restrio de f ao intervalo [a, un ] ca ca e Lebesgue integrvel e: a
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 ] mensurvel para todo n 1, conclu e a mos que f mensurvel. e a Em vista de (2.6.10), para mostrar (2.6.9), suciente mostrar que: e
un +

(2.6.11)

n a

lim

f dm =
a

f dm,

para toda seqncia (un )n1 em ]a, +[ com un +. Veriquemos ue (2.6.11) primeiramente no caso em que f no negativa. Pelo Lema de e a

2.6. RIEMANN X LEBESGUE

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 uma R e funo quase integrvel qualquer ento (2.6.11) satisfeita para f + e f , ca a a e ou seja:
un n a +

lim

f + dm =
a

f + dm,

un n a

lim

f dm =
a

f dm;

a concluso obtida subtraindo as duas igualdades acima. a e Resultados anlogos aos da Proposio 2.6.12 podem ser mostrados paa ca ra outros tipos de integrais imprprias de Riemann (por exemplo, integrais o de funes ilimitadas em intervalos limitados). O passo central da demonsco trao de tais resultados dado pelo resultado do Exerc 2.25. Note, por ca e cio exemplo, que o resultado desse exerc cio pode ser usado para justicar a igualdade (2.6.11) na demonstrao da Proposio 2.6.12. ca ca 2.6.13. Exemplo. E poss que uma funo f : [a, +[ I admita vel ca R uma integral imprpria de Riemann convergente mas no seja Lebesgue o a quase integrvel. Considere a funo f : [0, +[ I denida por: a ca R sen x f (x) = , x para x > 0 e f (0) = 1. Temos que f cont e nua e portanto f |[0,u] limitada e e Riemann integrvel para todo u ]0, +[. Temos que f se anula nos a pontos k, com k inteiro positivo, f positiva nos intervalos da forma e ]k, (k + 1)[ com k inteiro positivo par e f negativa nos intervalos da e 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 2.13 temos: cio (2.6.12)


0

f + dm =
k=0 k par n

ak ,
0

f dm =
k=1 k mpar

ak .

Alm do mais: e f dm =
0

n1

(1)k ak ,
k=0

2.6. RIEMANN X LEBESGUE

72

e portanto:
n n 0 n1

lim

f dm = lim

(1) ak =
k=0 k=0

(1)k ak .

Faamos algumas estimativas sobre os nmeros ak . Para x [k, (k + 1)], c u 1 temos sen x k e portanto: x ak 1 1 (k + 1) k = , k k

para todo k 1. Segue que ak 0. Vamos mostrar que a seqncia (ak )k0 ue decrescente. Temos: e
(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 mudana de vac (k+2) sen x rivel y = x na integral de Riemann (R) (k+1) x dx ou utilizando o a resultado do Exerc 2.14 e o fato que a funo x x + preserva medida cio ca (veja Lema 1.4.10 e Denio 2.1). Como a seqncia (ak )k0 decrescente ca ue e e tende a zero, segue do critrio de Dirichlet (ou critrio da srie alternada) e e e que a srie (1)k ak converge; dena: e k=0

(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 tambm de modo que: e an < , 2 para todo n n0 . Dado u I u n0 , seja n n0 o maior inteiro tal R, 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 n R

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 ento que: a


+ (R) 0

f =LI R.

Vamos agora mostrar que f no Lebesgue quase integrvel. Para isso, a e a fazemos uma estimativa inferior para os nmeros ak . Dado um inteiro k 0 u ento, para k + x (k + 1) temos: a 4 4 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 sries em (2.6.12) so divergentes e portanto: e a


+ +

f + dm = + =
0 0

f dm.

Logo f no Lebesgue quase integrvel. a e a No Exerc 2.28 pedimos ao leitor para computar explicitamente o valor cio + ca da integral imprpria de Riemann (R) 0 f da funo f do Exemplo 2.6.13. o 2.7. O Teorema de Fubini em IRn Ao longo desta seo consideramos xados inteiros positivos m e n e ca m+n com o produto I m I n atravs da aplicao: identicamos I R R R e ca I mI n R R (x, y) (x1 , . . . , xm , y1 , . . . , yn ) I m+n . R Dado um subconjunto A de I m+n e dado x I m denotamos por Ax a R R fatia vertical de A correspondente ` abscissa x denida por: a Ax = y I n : (x, y) A . R Se ix : I n I m+n denota a funo ix (y) = (x, y) ento obviamente: R R ca a (2.7.1) Ax = i1 (A), x para todo x I m . Temos portanto o seguinte: R 2.7.1. Lema. Se A um Boreleano de I m+n ento Ax um Boreleano e R a e de I n para todo x I m . R R

2.7. O TEOREMA DE FUBINI EM I n R

74

Demonstracao. A funo ix cont ca e nua e portanto Borel mensurvel a (veja Lema 2.1.15). A concluso segue de (2.7.1). a Segue do Lema 2.7.1 que se A um Boreleano de I m+n ento faz sentido e R a considerar a medida de Lebesgue m(Ax ) da fatia Ax , para cada x I m . R 2.7.2. Lema. Se A um Boreleano de I m+n ento a funo: e R a ca (2.7.2) I m R x m(Ax ) [0, +]

mensurvel e vale a igualdade: e a (2.7.3)


I m R

m(Ax ) dm(x) = m(A).

Note que usamos a notao m indistintamente para a medida de Lebesca gue de I m , I n e I m+n ; mais especicamente, em (2.7.2) usamos a medida R R R de Lebesgue de I n , a integral do lado esquerdo da igualdade em (2.7.3) feiR e m e no lado direito da igualdade ta com respeito ` medida de Lebesgue de I a R em (2.7.3) usamos a medida de Lebesgue de I m+n . R Demonstracao do Lema 2.7.2. Denote por C a coleo de todos os ca Boreleanos A de I m+n para os quais a funo (2.7.2) mensurvel e a R ca e a igualdade (2.7.3) satisfeita. A idia da prova mostrar vrias propriedades e e e a da coleo C at que nalmente conclu ca e 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 um bloco retangular (m + n)-dimensional ento podemos e a escrever A = A1 A2 , onde A1 e A2 so respectivamente um bloco a retangular m-dimensional e um bloco retangular n-dimensional. Para todo x I m , temos: R Ax = e portanto: m(Ax ) = |A2 | A1 (x), para todo x I m . Segue que (2.7.2) uma funo simples mensurvel R e ca a cuja integral igual a |A2 | |A1 | = |A|. e Passo 2. Se A, B C e A e B so disjuntos ento A B C. a a Segue de (2.7.1) que (A B)x = Ax Bx e que Ax e Bx so disjuntos a para todo x I m ; logo: R m (A B)x = m(Ax ) + m(Bx ), A2 , se x A1 , , se x A1 ,

2.7. O TEOREMA DE FUBINI EM I n R

75

para todo x I m . Segue que a funo x m (A B)x mensurvel, R ca e a sendo uma soma de funes mensurveis; sua integral dada por: co a e m (A B)x dm(x) =
I m R I m R

m(Ax ) dm(x) +
I m R

m(Bx ) dm(x)

= m(A) + m(B) = m(A B). Passo 3. Se A, B C, B A e B limitado ento A \ B C. e a Como B limitado ento m(B) < + e m(Bx ) < +, para todo e a x I m . Segue de (2.7.1) que Bx Ax e (A \ B)x = Ax \ Bx , para todo R x I m ; logo: R m (A \ B)x = m(Ax ) m(Bx ), para todo x I m , provando que a funo x m (A \ B)x menR ca e survel. Alm do mais: a e m (A \ B)x dm(x) =
I m R I m R

m(Ax ) dm(x)
I m R

m(Bx ) dm(x)

= m(A) m(B) = m(A \ B). Passo 4. Se (Ak )k1 uma seqncia de elementos de C e se Ak e ue A ento A C. a Segue de (2.7.1) que Ak Ax , para todo x I m ; logo, pelo R x Lema 1.4.48: m(Ax ) = lim m(Ak ), x
k

para todo x Segue que a funo x m(Ax ) mensurvel, ca e a sendo um limite de funes mensurveis. Pelo Teorema da Convergncia co a e Monotnica, temos: o m(Ax ) dm(x) = lim
I m R k I m R

I m. R

m(Ak ) dm(x) = lim m(Ak ) = m(A). x


k

Passo 5. Se (Ak )k1 uma seqncia de elementos de C, A1 limitado e ue e k eA A ento A C. a Como A1 limitado, temos m(Ak ) < + e m(Ak ) < +, para e x todos k 1 e x I m . Essa observao permite demonstrar o passo 5 R ca de forma anloga ` demonstrao do passo 4. a a ca Passo 6. Se A, B C, A B C e A B limitado ento A B C. e a 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 so disjuntos. a Passo 7. Se B1 , . . . , Bk so blocos retangulares (m + n)-dimensionais a k ento i=1 Bi C. a

2.7. O TEOREMA DE FUBINI EM I n R

76

Usamos induo em k. O caso k = 1 segue do passo 1. Supoca nha que a unio de qualquer coleo de k blocos retangulares (m + n)a ca dimensionais pertence a C e sejam dados blocos retangulares (m + n)dimensionais B1 , . . . , Bk+1 . Como qualquer subconjunto de uma unio a nita de blocos retangulares sempre um conjunto limitado, em virtude e k a e do passo 6, para mostrar que k+1 Bi = i=1 Bi Bk+1 est em C i=1 k suciente mostrar que a i=1 Bi Bk+1 est em C. Mas:
k k

Bi Bk+1 =
i=1 i=1

(Bi Bk+1 ),

sendo que Bi Bk+1 um bloco retangular (m + n)-dimensional para e k i = 1, . . . , k. Segue da hiptese de induo que o ca i=1 Bi Bk+1 C. Passo 8. Todo subconjunto aberto de I m+n pertence a C. R Se U I m+n aberto ento o Lema 1.4.23 nos permite escrever R e a e U = Bi , onde cada Bi um bloco retangular (m + n)-dimensional. i=1 k a U. A Denindo Ak = i=1 Bi ento Ak C, pelo passo 7 e Ak concluso segue do passo 4. a Passo 9. Todo subconjunto de I m+n de tipo G est em C. R a Seja Z I m+n um G . Assumimos inicialmente que Z limitado. R e m+n com Z = Seja (Uk )k1 uma seqncia de abertos de I ue R k=1 Uk e seja U0 um aberto limitado de I m+n que contm Z. Denindo: R e
k

Ak =
i=0

Ui ,

ento Ak um aberto limitado para todo k 1 e Ak a e Z. Segue dos passos 5 e 8 que Z C. Seja agora Z I m+n um G arbitrrio. Temos que R a Zk = Z ]k, k[ m+n um G limitado para todo k 1 e portanto Zk C, pelo que mostrae mos acima. A concluso segue do passo 4, j que Zk a a Z. Passo 10. A coleo C coincide com a coleo de todos os subconjuntos ca ca Boreleanos de I m+n . R Seja A I m+n um Boreleano. Pelo Lema 1.4.28 existe um subR conjunto Z de I m+n de tipo G com A Z e m(Z \ A) = 0. Pelo LeR ma 1.4.50, existe um subconjunto E de I m+n de tipo G com Z \A E R e m(E) = m(Z \ A) = 0. O passo 9 nos garante que E e Z esto em C. a Logo: m(Ex ) dm(x) = m(E) = 0;
I m R

2.7. O TEOREMA DE FUBINI EM I n R

77

como m(Ex ) 0, para todo x, o resultado do Exerc 2.18 implica que cio m(Ex ) = 0 para quase todo x I m+n . Como (Z \ A)x Ex , para todo R x I m , segue que m (Z \ A)x = 0 para quase todo x I m . Temos R R ento: a m(Zx ) = m(Ax ) + m (Z \ A)x = m(Ax ), para quase todo x I m , j que Zx unio disjunta de Ax e (Z \ A)x , R a e a para todo x. Vemos ento que a funes x m(Zx ) e x m(Ax ) a co so iguais quase sempre, o que implica que x m(Ax ) uma funo a e ca mensurvel pelo resultado do item (b) do Exerc 2.7. Alm do mais: a cio e m(Ax ) dm(x) =
I m R I m R

m(Zx ) dm(x) = m(Z) = m(A),

provando que A C. Isso completa a demonstrao. ca Se A um subconjunto mensurvel de I m+n ento no verdade em e a R a a e geral que as fatias verticais Ax so mensurveis para todo x I m ; por a a R exemplo, se B um subconjunto no mensurvel de I n ento A = {0} B e a a R a um subconjunto mensurvel de I m+n (com medida exterior nula), mas e a R a fatia A0 = B no mensurvel. No entanto, mostraremos abaixo que se a e a A mensurvel ento quase todas as fatias Ax de A so mensurveis. Faz e a a a a sentido tambm ento considerar a integral em (2.7.3), tendo em mente a e a seguinte conveno: se X um subconjunto mensurvel de I n e se f (x) ca e a R e uma expresso que faz sentido apenas para quase todo x X ento escrea a vemos X f (x) dm(x), entendendo que valores arbitrrios de I podem ser a R atribu dos ` expresso f (x) no conjunto de medida nula no qual ela no est a a a a denida. Em vista do resultado do Exerc 2.7 e do Corolrio 2.4.11, essa cio a conveno dene o s ca mbolo X f (x) dm(x) de forma inequ voca. 2.7.3. Proposicao. Se A um subconjunto mensurvel de I m+n ento e a R a m a fatia vertical A um subconjunto mensurvel para quase todo x I R a x e de I n , a funo x m(Ax ) mensurvel e a medida de A dada pela R ca e a e igualdade (2.7.3). Demonstracao. Basta repetir os argumentos da demonstrao do pas ca so 10 do Lema 2.7.2; a unica diferena que no sabemos a priori que as c e a fatias de A so mensurveis. Mas sabemos que Ex tem medida nula para a a quase todo x I m e portanto (Z \ A)x mensurvel e tem medida nula R e a para quase todo x I m ; como: R Ax = Zx \ (Z \ A)x , segue que tambm Ax mensurvel para quase todo x I m . e e a R Observamos que se X um subconjunto mensurvel de I m e se Y um e a R e subconjunto mensurvel de I n ento X Y um subconjunto mensurvel a R a e a m+n (veja Exerc de I R cio 1.30). 2.7.4. Teorema (FubiniTonelli). Sejam X I m , Y I n conjuntos R R R ca a a mensurveis e f : X Y I uma funo quase integrvel. Ento: a

2.7. O TEOREMA DE FUBINI EM I n R

78

para quase todo x X, a funo Y ca y f (x, y) I quase R e integrvel; a Re a a funo x Y f (x, y) dm(y) I quase integrvel; ca vale a igualdade: f (x, y) dm(y) dm(x) =
X Y XY

f (x, y) dm(x, y).

Demonstracao. Dividimos a demonstrao em itens. ca O teorema vale se f simples, mensurvel e no negativa. e a a k Podemos escrever f = i=1 ci Ai , com ci [0, +] e Ai um subconjunto mensurvel de X Y , para i = 1, . . . , k. Note que, se x X, a temos:
k

(2.7.4)

f (x, y) =
i=1

ci Ai (y),
x

para todo y Y . Pela Proposio 2.7.3, existe para cada i = 1, . . . , k ca um conjunto de medida nula Ni I m tal que Ai mensurvel para R a x e todo x I m \ Ni . Da N = k Ni tem medida nula e segue de (2.7.4) R i=1 que para x I m \ N , a funo y f (x, y) mensurvel e sua integral R ca e a dada por: e
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 m i=1 R

ci m(Ai ) dm(x) x =
XY

=
i=1

ci m(Ai )

f (x, y) dm(x, y).

O teorema vale se f mensurvel e no negativa. e a a Seja (fk )k1 uma seqncias de funes fk : X Y [0, +] ue co simples e mensurveis com fk a f . Seja Nk I m um conjunto de R medida nula tal que a funo y fk (x, y) mensurvel para todo ca e a x X \ Nk . Da N = Nk tem medida nula e a funo: ca k=1 Y y f (x, y) = lim fk (x, y) [0, +]
k

mensurvel para todo x X \ N . Pelo Teorema da Convergncia e a e Monotnica, temos: o f (x, y) dm(y) = lim
Y k Y

fk (x, y) dm(y),

2.7. O TEOREMA DE FUBINI EM I n R

79

para todo x X \ N . Logo a funo x Y f (x, y) dm(y) mensurvel ca e a e, usando novamente o Teorema da Convergncia Monotnica, obtemos: e o f (x, y) dm(y) dm(x) = lim
X Y

k X

fk (x, y) dm(y) dm(x)


Y

= lim

k XY

fk (x, y) dm(x, y) =
XY

f (x, y) dm(x, y).

O teorema vale se f quase integrvel. e a Como f + e f so funes mensurveis no negativas, temos: a co a a (2.7.5)
X Y

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


XY

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


XY

(2.7.6)
X Y

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

Como f quase integrvel, temos que e a integrvel ou f integrvel; e a e a dm < +. Tendo em para xar as idias, vamos supor que XY f e mente o resultado do Exerc 2.16, segue de (2.7.6) que: cio f (x, y) dm(y) < +,
Y

para quase todo x X. Segue que a funo y f (x, y) quase ca e integrvel para quase todo x X; alm do mais, de (2.7.5) e (2.7.6) a e 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

=
XY

f + (x, y) dm(x, y)
XY

f (x, y) dm(x, y) =
XY

f (x, y) dm(x, y).

Seja : {1, . . . , m + n} {1, . . . , m + n} uma aplicao bijetora (i.e., ca uma permutao de m + n elementos) e considere o isomorsmo linear de ca I m+n denido por: R (z1 , . . . , zm+n ) = (z(1) , . . . , z(m+n) ), para todo (z1 , . . . , zm+n ) I m+n . Segue do resultado do Exerc 1.11 que R cio preserva medida, i.e., m 1 (A) = m(A), para todo subconjunto mensurvel A de I m+n (veja Denio 2.1). Pelo resultado do Exerc 2.14, a R ca cio Re a e uma funo f : I m+n I quase integrvel se e somente se f quase ca R integrvel e, nesse caso, as integrais de f e f coincidem. Em vista dessas a observaes, temos o seguinte: co

2.7. O TEOREMA DE FUBINI EM I n R

80

2.7.5. Corolario. Sejam X I m , Y I n conjuntos mensurveis e R R a f : X Y I uma funo quase integrvel. Ento: R ca a a R e para quase todo y Y , a funo X ca x f (x, y) I quase integrvel; a a funo y X f (x, y) dm(x) I quase integrvel; ca Re a vale a igualdade: f (x, y) dm(x) dm(y) =
Y X XY

f (x, y) dm(x, y) f (x, y) dm(y) dm(x).


X Y

Demonstracao. Considere a permutao de m + n elementos dada ca por: (i) = de modo que: (y1 , . . . , yn , x1 , . . . , xm ) = (x1 , . . . , xm , y1 , . . . , yn ), para todos x I m , y I n . Temos que: R R 1 (X Y ) = Y X I n I m I m+n . R R = R Em vista das observaes que precedem o enunciado do corolrio, temos que co a f |Y X : Y X I quase integrvel e tem a mesma integral que f . A Re a concluso obtida aplicando o Teorema 2.7.4 ` funo f |Y X , trocando a e a ca os papis de m e n. e E poss que uma funo mensurvel f : X Y I seja tal que as invel ca a R tegrais iteradas X Y f (x, y) dm(y) dm(x) e Y X f (x, y) dm(x) dm(y) sejam ambas bem-denidas, porm distintas; em vista do Corolrio 2.7.5, e a isso somente poss quando a funo f no quase integrvel. e vel ca a e a 2.7.6. Exemplo. Seja (aij )i,j1 uma seqncia dupla de nmeros reais ue u tal que as sries: e

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 ,

so todas absolutamente convergentes, mas: a


i=1

aij =
j=1 j=1 i=1

aij .

2.7. O TEOREMA DE FUBINI EM I n R

81

Tome, por exemplo: 1, se i = j, aij = 1, se i + 1 = j, 0, caso contrrio, a de modo que todas as sries em (2.7.7) e (2.7.8) tm apenas um nmero e e u nito de termos no nulos e: a
i=1

aij = 0,
j=1 j=1 i=1

aij = 1.

Considere a funo f : [0, +[ [0, +[ I denida por: ca R

f=
i,j=1

aij [i1,i[[j1,j[ ,

ou seja, a restrio de f ao retngulo [i 1, i[ [j 1, j[ igual a aij , para ca a e todos i, j 1. Fixado x [0, +[ ento: a

f (x, y) =
j=1

aij [j1,j[ (y),

para todo y [0, +[, onde i 1 tal que x [i 1, i[. Como a srie e e aij absolutamente convergente, segue do resultado do Exerc 2.23 e cio j=1 que a funo y f (x, y) integrvel e: ca e a
+

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 para todo x [0, +[. Como a srie e j=1 aij absolutamente convergente, usando novamente o resultado do Exerc cio 2.23, conclu mos + que a funo x 0 f (x, y) dm(y) integrvel e: ca e a + 0 0 +

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


i=1 j=1

aij .

De modo anlogo, mostra-se que: a


+ 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).

EXERC ICIOS PARA O CAP ITULO 2

82

Exerc cios para o Cap tulo 2 Funes Mensurveis. co a Exerc cio 2.1. Sejam (X, A), (X , A ) espaos mensurveis arbitrrios. c a a Mostre que toda funo constante f : X X mensurvel. ca e a Exerc cio 2.2. Sejam X um conjunto e Y X um subconjunto. Se C um conjunto de geradores para uma -lgebra A de partes de X, mostre e a que o conjunto: C|Y = E Y : E C um conjunto de geradores para a -lgebra A|Y de partes de Y ; em e a s mbolos: [C]|Y = [C|Y ]. Exerccio 2.3. Mostre que B(I I = B(I R)| R R). Exerc cio 2.4. Mostre que os intervalos [, c], c I constituem R, um conjunto de geradores para a -lgebra de Borel de I a R. Exerc cio 2.5. Seja (X, A) um espao mensurvel e sejam f : X I c a R, R co a g : X I funes mensurveis. Mostre que o conjunto: x X : f (x) = g(x) mensurvel. e a Exerc cio 2.6. Mostre que a funo ca cos x , y yn f (x, y) = n=1 n2 , Q (x + y), f : I 2 I denida por: R R se y 1, se 1 < y < 1, se y 1,

Borel mensurvel. e a Exerccio 2.7. Sejam X I n um subconjunto mensurvel e (X , A ) R a um espao mensurvel. Dada uma funo f : X X , mostre que: c a ca (a) se existe X1 X tal que X \ X1 tem medida nula e tal que f |X1 e mensurvel ento f mensurvel; a a e a (b) se f mensurvel e se g : X X igual a f quase sempre ento e a e a g tambm mensurvel; e e a (c) se (fk )k1 uma seqncia de funes mensurveis fk : X I e e ue co a R se fk g q. s. ento g : X I tambm mensurvel. a R e e a Exerc cio 2.8. Denote por : I m+n I m a projeo nas m primeiR R ca ras coordenadas. Mostre que a funo: ca : I m+n , M(I m+n ) I m , M(I m ) , R R R R mensurvel (note que no estamos seguindo a conveno 2.1.3). e a a ca n uma funo denida num subconjunto Exerccio 2.9. Seja f : X I R ca X de I m . Recorde que o grco de f o conjunto: R a e (2.7.9) Mostre que: gr(f ) = x, f (x) : x X I m+n . R

EXERC ICIOS PARA O CAP ITULO 2

83

se X Boreleano e f Borel mensurvel ento gr(f ) Boreleano; e e a a e se X mensurvel e f mensurvel ento gr(f ) mensurvel. e a e a a e a Denio da Integral. ca Exerc cio 2.10. Sejam (X, A, ) um espao de medida e f : X I c R uma funo mensurvel. Mostre que: ca a (a) f integrvel se e somente se |f | integrvel; e a e a (b) se f quase integrvel ento: e a a f d
X X

|f | d.

Exerc cio 2.11. Seja (X, A, ) um espao de medida e seja (fk )k1 uma c seqncia de funes mensurveis fk : X [0, +]. Se f (x) = fk (x), ue co a k=1 mostre que:

f d =
X k=1 X

fk d.

Exerc cio 2.12. Seja (X, A, ) um espao de medida. Dada uma funo c ca mensurvel f : X [0, +], mostre que a aplicao f : A [0, +] a ca denida por: f (E) =
E

f d,

E A,

uma medida (a medida f chamada a integral indenida de f e denotada e e e por f = f d). Exerc cio 2.13. Sejam (X, A, ) um espao de medida e f : X I c R uma funo quase integrvel. Mostre que: ca a (a) se (Ak )k1 uma seqncia de conjuntos mensurveis dois a dois e ue a a disjuntos e se A = Ak ento: k=1
r

f d =
A k=1 Ak

f d = lim

def

f d;
k=1 Ak

(b) se (Ak )k1 uma seqncia de conjuntos mensurveis e Ak e ue a ento: a (2.7.10)


A

f d = lim

k Ak

f d;

(c) se (Ak )k1 uma seqncia de conjuntos mensurveis, Ak e ue a Ae se f |A1 integrvel ento vale a igualdade (2.7.10). e a a Definicao 2.1. Sejam (X, A, ) e (X , A , ) espaos de medida. Di c zemos que uma funo : X X preserva medida se mensurvel e se ca e a 1 (A) = (A), para todo A A . Exerc cio 2.14. Sejam (X, A, ) e (X , A , ) espaos de medida e seja c : X X uma funo que preserva medida. Dada uma funo mensurvel ca ca a

EXERC ICIOS PARA O CAP ITULO 2

84

f : X I mostre que f quase integrvel se e somente se f quase R, e a e integrvel e, nesse caso: a f d =


X X

f d.

Definicao 2.2. Seja X um conjunto. A aplicao : (X) [0, +] ca denida por: (E) = nmero de elementos do conjunto E, u chamada a medida de contagem. e Exerc cio 2.15. Seja X o conjunto dos nmeros inteiros positivos e seja u : (X) [0, +] a medida de contagem. Mostre que: dada uma funo f : X [0, +] ento: ca a

E X,

(2.7.11)
X

f d =
n=1

f (n);

R e a e uma funo f : X I integrvel se e somente se a srie ca f (n) absolutamente convergente e nesse caso vale a identie n=1 dade (2.7.11). Exerc cio 2.16. Sejam (X, A, ) um espao de medida e f : X I c R uma funo quase integrvel. Mostre que: ca a se X f d < + ento f (x) < + para quase todo x X; a se X f d > ento f (x) > para quase todo x X; a se f integrvel ento f (x) I para quase todo x X. e a a R Exerc cio 2.17. Sejam (X, A, ) um espao de medida e f : X I c R, R co a a g : X I funes mensurveis, com g quase integrvel. Mostre que: g d > e f g q. s. ento f quase integrvel e a e a X f d > ; se X g d < + e f g q. s. ento f quase integrvel e a e a f d < +; X se g integrvel e |f | g q. s. ento f integrvel. e a a e a
X

se

Exerc cio 2.18. Seja (X, A, ) um espao de medida. Dada uma funo c ca mensurvel f : X [0, +], mostre que X f d = 0 se e somente se f = 0 a quase sempre. Exerc cio 2.19. Seja (X, A, ) um espao de medida. Dadas funes c co integrveis f : X I g : X I tais que f g e: a R, R f d =
X X

g d,

mostre que f = g quase sempre.

EXERC ICIOS PARA O CAP ITULO 2

85

Exerc cio 2.20. Sejam (X, A, ) um espao de medida e f : X I c R uma funo integrvel. Mostre que para todo > 0 existe um > 0 tal que ca a para todo conjunto mensurvel A A com (A) < temos: a f d < .
A

R ca a Exerc cio 2.21. Seja f : I I uma funo integrvel denida num intervalo I I Fixado t0 I, considere a funo F : I I denida por: R. ca R
t

F (t) =
t0

f dm,

para todo t I. Mostre que: (a) F cont e nua; (b) dado > 0, existe > 0 tal que dados n 1 e intervalos abertos dois a dois disjuntos ]xi , yi [ I, i = 1, . . . , n, ento: a
n n

yi xi < =
i=1 i=1

|F (yi ) F (xi )| < ;

(c) se f limitada ento F Lipschitziana com constante de Lipschitz e a e igual a suptI |f (t)|; (d) (teorema fundamental do clculo) se f cont a e nua num ponto t I ento F derivvel no ponto t e F (t) = f (t); a e a (e) se f cont e nua e G : I I uma primitiva qualquer de f (i.e., Re G = f ) ento: a
b

f dm = G(b) G(a),
a

para todos a, b I. Exerc cio 2.22. (integrao por partes) Se f : [a, b] I g : [a, b] I ca R, R so funes de classe C 1 , mostre que: a co
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 Convergncia. e Exerccio 2.23. Sejam (X, A, ) um espao de medida e (fk )k1 uma c seqncia de funes integrveis fk : X I tal que: ue co a R

|fk | d < +.
k=1 X

Mostre que: a srie e x X;


k=1 fk (x)

absolutamente convergente para quase todo e

EXERC ICIOS PARA O CAP ITULO 2

86 k=1 fk

se f : X I uma funo mensurvel tal que f = Re ca a ento f integrvel e: a e a

q. s.

f d =
X k=1 X

fk d I R.

Exerc cio 2.24. Sejam (X, A, ) um espao de medida e f : X I c R uma funo integrvel. Mostre que para todo > 0 existe uma funo ca a ca simples integrvel : X I tal que: a R |f | d < .
X

Exerc cio 2.25. Sejam (X, A, ) um espao de medida, (Ak )k1 uma c seqncia de subconjuntos mensurveis de X e f : X I uma funo ue a R ca quase integrvel. Assuma que para todo x X o conjunto: a k 1 : x Ak nito. Mostre que: e f d = lim
X k Ak

f d.

Exerc cio 2.26. Seja f : I I uma funo integrvel. Mostre que R R ca a as funes: co g1 (t) =
I R

f (x) cos(tx) dm(x),

g2 (t) =
I R

f (x)sen(tx) dm(x),

so cont a nuas e que:


t

lim g1 (t) = 0,

lim g2 (t) = 0.

Exerc cio 2.27. Considere a funo : I I denida por: ca R R (t) =


I R

ex cos(tx) dm(x),

para todo t I R. (a) Mostre que derivvel e que: e a t (t) = (t), 2 para todo t I R. (b) Mostre que (t) = ce 4 , para todo t I onde: R, (2.7.12) c=
I R
t2

ex dm(x).

No Exerc 3.5 pediremos ao leitor para calcular explicitamente a incio tegral em (2.7.12).

EXERC ICIOS PARA O CAP ITULO 2

87

Exerc cio 2.28. Considere a funo : ]0, +[ I denida por: ca R


+

(t) =
0

etx

sen x dm(x), x

para todo t > 0. 1 (a) Mostre que derivvel e que (t) = 1+t2 , para todo t > 0. e a (b) Mostre que limt+ (t) = 0. (c) Conclua que (t) = arctan t, para todo t > 0. 2 (d) Usando integrao por partes, verique que: ca (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 denida por f (x) = R e 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 n uma funo denida num subconR ca junto X de I m . Mostre que se o grco de f (recorde (2.7.9)) mensurvel R a e a ento m gr(f ) = 0. a Exerc cio 2.30. Sejam X I m , Y I n conjuntos mensurveis e R R a f : X I g : Y I funes integrveis. Mostre que a funo: R, R co a ca X Y R (x, y) f (x)g(y) I integrvel e que sua integral dada por: e a e f (x)g(y) dm(x, y) =
XY X

f dm
Y

g dm .

Exerc cio 2.31. Seja n o simplexo padro n-dimensional denido por: a


n

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


i=1

xi 1 .

(a) Mostre que n mensurvel para todo n 1. e a (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 Mudana de Variveis para c a Integrais de Lebesgue


3.1. O Efeito de Aplicaes Lipschitzianas sobre a Medida de co Lebesgue 3.1.1. Notacao. Dado x I n , escrevemos: R x

= max |xi | : i = 1, . . . , n ,

e para x, y I n , escrevemos: R d (x, y) = x y

= max |xi yi | : i = 1, . . . , n .

Claramente se B um cubo n-dimensional com aresta a (veja Dee nio 1.4.22) ento d (x, y) a, para todos x, y B. Provamos agora a ca a seguinte rec proca para essa armao: ca 3.1.2. Lema. Sejam A I n e a 0 tais que d (x, y) a, para todos R x, y A. Ento A est contido em um cubo n-dimensional de aresta a; em a a particular: m (A) an . Demonstracao. Se A vazio, no h nada para se mostrar. Seno, e a a a seja i : I n I a projeo sobre a i-sima coordenada e considere o R R ca e 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].

3.1.3. Definicao. Seja : X I n uma funo denida num subcon R ca junto X de I m . Dizemos que Lipschitziana se existe uma constante R e k 0 tal que: d (x), (y) k d (x, y), para todos x, y X. A constante k dita uma constante de Lipschitz para e a funo . ca Claramente toda funo Lipschitziana (uniformemente) cont ca e nua.
88

3.1. APLICACOES LIPSCHITZIANAS

89

3.1.4. Lema. Seja A um subconjunto de I n . Dado > 0, existe um R conjunto enumervel R de cubos n-dimensionais tal que A BR B e a BR |B| m (A) + . Demonstracao. Pelo Lema 1.4.12 existe um aberto U em I n conten R (A) + e pelo Lema 1.4.23 existe um conjunto do A tal que m(U ) m enumervel R de cubos n-dimensionais com interiores dois a dois disjuntos a tal que U = BR B. Da : |B| = m(U ) m (A) + .
BR

3.1.5. Proposicao. Seja : X I n uma funo Lipschitziana com R ca constante de Lipschitz k 0, onde X um subconjunto de I n . Ento, para e R a todo subconjunto A de X, temos: m (A) k n m (A). Demonstracao. Dado > 0 ento, pelo Lema 3.1.4 existe um conjunto a enumervel R de cubos n-dimensionais tal que A BR B e: a (3.1.1)
BR

|B| m (A) + .
BR (B

Da (A) (3.1.2)

X) e portanto: m (B X) .
BR

m (A)

Fixado um cubo B R ento, se a denota a aresta de B, temos: a 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
BR

De (3.1.1), (3.1.2) e (3.1.3) vem: |B| k n m (A) + .

A concluso segue fazendo 0. a 3.1.6. Corolario. Se : X I n uma funo Lipschitziana denida R e ca num subconjunto X de I n ento leva subconjuntos de X de medida nula R a em subconjuntos de medida nula de I n . R 3.1.7. Observacao. Recorde que toda aplicao linear T : I m I n ca R R Lipschitziana. Mais explicitamente, se a norma da aplicao linear T e ca e denida por: (3.1.4) ento: a T (x)

T = sup
x
1

T (x)

3.1. APLICACOES LIPSCHITZIANAS

90

para todo x I m , donde segue facilmente que T uma constante de R e Lipschitz para T . A nitude do supremo em (3.1.4) segue, por exemplo, do fato que a aplicao x T (x) cont ca e nua e a bola x : x 1 e compacta. 3.1.8. Corolario. Uma aplicao linear de I n em I n leva subconjunca R R tos de medida nula de I n em subconjuntos de medida nula de I n . R R Demonstracao. Segue do Corolrio 3.1.6 e da Observao 3.1.7. a ca 3.1.9. Corolario. Todo subespao vetorial prprio de I n tem medida c o R nula. Demonstracao. Se V um subespao vetorial prprio de I n ento e c o R a existe uma aplicao linear T : I n I n tal que T I n1 {0} = V ; de ca R R R fato, podemos escolher uma aplicao linear T que leva os n 1 primeiros ca n sobre uma base qualquer de V (note que vetores da base cannica de I o R dim(V ) n 1). A concluso segue do Corolrio 1.4.7 e do Corolrio 3.1.8. a a a 3.1.10. Definicao. Uma funo : X I n denida num subcon ca R m dita localmente Lipschitziana se todo x X possui uma junto X de I R e vizinhana V em I m tal que a funo |V X Lipschitziana. c R ca e n uma funo localmente Lips3.1.11. Proposicao. Se : X I e R ca chitziana denida num subconjunto X de I n ento leva subconjuntos de R a X de medida nula em subconjuntos de medida nula de I n . R Demonstracao. Para cada x X seja Ux um aberto em I n contendo R x tal que a restrio de a Ux X seja Lipschitziana. A cobertura aberta ca a X xX Ux possui uma subcobertura enumervel X Uxi . Agora, i=1 dado qualquer subconjunto A de X com m(A) = 0, segue do Corolrio 3.1.6 a que: m (Uxi A) = 0, para todo i. A concluso obtida agora da igualdade: a e

(A) =
i=1

(Uxi A).

3.1.12. Proposicao. Seja : X I n uma funo localmente Lips R ca chitziana denida num subconjunto X de I n . Ento, para todo subconjunto R a mensurvel A de I n contido em X, temos que (A) mensurvel. a R e a Demonstracao. Como A mensurvel, pelo Corolrio 1.4.31, existe e a a um subconjunto W de I n de tipo F com W A e m(A \ W ) = 0; temos R ento que A = W N , onde W um F e N = A \ W tem medida a e nula. Como localmente Lipschitziana ento localmente cont e a e nua e portanto cont nua; da leva compactos em compactos. Como W uma e unio enumervel de fechados e todo fechado uma unio enumervel de a a e a a

3.2. APLICACOES LINEARES

91

compactos, segue que W uma unio enumervel de compactos; portanto e a a tambm (W ) uma unio enumervel de compactos. Temos ento: e e a a a (A) = (W ) (N ), onde (W ) um F e (N ) ( mensurvel e) tem medida nula, pela Propoe e a sio 3.1.11. ca 3.1.13. Corolario. Se T : I n I n uma aplicao linear ento T R R e ca a leva subconjuntos mensurveis de I n em subconjuntos mensurveis de I n . a R a R Demonstracao. Segue da Observao 3.1.7 e da Proposio 3.1.12. ca ca 3.2. O Efeito de Aplicaes Lineares sobre a Medida de Lebesgue co O objetivo desta seo provar o seguinte: ca e 3.2.1. Teorema. Seja T : I n I n uma aplicao linear. Para todo R R ca subconjunto mensurvel A de I n temos que T (A) mensurvel e: a R e a (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 cannica de I n . No que segue, o R m em I n com as respectivas sempre identicaremos aplicaes lineares de I co R R matrizes n m que as representam com respeito `s bases cannicas. a o O restante da seo dedicado ` demonstrao do Teorema 3.2.1. Noca e a ca te que a mensurabilidade de T (A) j garantida pelo Corolrio 3.1.13. a e a Note tambm que se T no invers e a e vel ento o Teorema 3.2.1 segue do a Corolrio 3.1.9, j que a imagem de T um subespao prprio de I n e a a e c o R det T = 0. Se T invers e vel, a estratgia da prova do Teorema 3.2.1 a e e seguinte. Inicialmente, observamos que se T1 : I n I n e T2 : I n I n R R R R so aplicaes lineares tais que a igualdade (3.2.1) vale para T = T1 e para a co T = T2 , para todo subconjunto mensurvel A de I n , ento a igualdade a R a (3.2.1) tambm vale para T = T1 T2 ; de fato, dado A I n mensurvel, e R a 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 aplicaes lineares que chamaremos de co elementares; mostraremos ento que a igualdade (3.2.1) vale para aplicaes a co lineares elementares e que toda aplicao linear invers pode ser escrita ca vel como um produto de aplicaes lineares elementares. co 3.2.2. Definicao. Uma aplicao linear E : I n I n dita elementar ca R R e quando de um dos seguintes tipos: e tipo 1. E = Li,j;c , onde i, j = 1, . . . , n so distintos, c I e: a R (3.2.2) Li,j;c (x1 , . . . , xi , . . . , xj , . . . , xn ) = (x1 , . . . , xi + cxj , . . . , xj , . . . , xn );

3.2. APLICACOES LINEARES

92

tipo 2. E = , onde : {1, . . . , n} {1, . . . , n} uma bijeo e: e ca (3.2.3) (x1 , . . . , xn ) = (x(1) , . . . , x(n) ); D (x1 , . . . , xn ) = (1 x1 , . . . , n xn ). tipo 3. E = D , onde = (1 , . . . , n ) I n , i = 0 para i = 1, . . . , n e: R (3.2.4) Obviamente as expresses (3.2.2), (3.2.3) e (3.2.4) denem isomorsmos o n ; em (3.2.2) escrevemos a denio de L lineares de I R ca i,j;c assumindo que i < j, mas obviamente uma frmula anloga dene Li,j;c se i > j. O o a efeito da multiplicao ` esquerda de uma matriz T por uma matriz que ca a representa uma aplicao linear elementar E nos d o que chamamos de ca a uma transformao elementar de matrizes; mais explicitamente, se T uma ca e matriz n n cujas linhas so vetores 1 , . . . , n I n e se E uma aplicao a R e ca linear elementar ento ET a matriz cujas linhas so: a e a 1 , . . . , i + c j , . . . , j , . . . , n , se E = Li,j;c ; (1) , . . . , (n) , se E = ; 1 1 , . . . , n n , se E = D . As transformaes elementares de matrizes associadas ` multicao ` esco a ca a querda por uma aplicao elementar de tipos 1, 2 e 3 sero respectivamente ca a chamadas de transformaes elementares de tipos 1, 2 e 3. co O seguinte resultado padro em textos elementares de Algebra Linear. e a n I n uma aplicao linear invers 3.2.3. Lema. Se T : I R R e ca vel ento a existe uma seqncia nita de transformaes elementares de matrizes que ue co leva T at a matriz identidade. e Demonstracao. Fazemos uma descrio sucinta do algor ca tmo que e conhecido como escalonamento de matrizes. Em primeiro lugar, como T invers ento algum elemento da primeira coluna de T no nulo; ree vel a e a alizando uma transformao elementar de tipo 2, podemos assumir que o ca elemento T11 no nulo e depois realizando uma transformao elementar e a ca de tipo 3 podemos assumir que T11 = 1. Agora, uma seqncia de n 1 ue transformaes elementares de tipo 1 nos permite anular os elementos Tj1 , co com j = 2, . . . , n. Nesse ponto, a primeira coluna de T coincide com o primeiro vetor da base cannica de I n ; da a submatriz de T obtida remoo R vendo a primeira linha e a primeira coluna invers e podemos portanto e vel repetir o algor tmo recursivamente na mesma. Obteremos ento uma matriz a T triangular superior em que todos os elementos da diagonal so iguais a 1. a n(n1) transformaes elementaco Podemos agora realizar uma seqncia de ue 2 res de tipo 1 para anular os elementos de T que esto acima da diagonal, a obtendo assim a matriz identidade. 3.2.4. Corolario. Toda aplicao linear invers T : I n I n um ca vel R R e produto de aplicaes lineares elementares. co Demonstracao. Segue do Lema 3.2.3 que existem aplicaes lineares co elementares E1 , . . . , Ek de modo que E1 Ek T igual ` matriz identidade. e a

3.3. O TEOREMA DE MUDANCA DE VARIAVEIS

93

1 1 Da T = Ek E1 . A concluso segue da observao simples de que a a ca inversa de uma aplicao linear elementar novamente uma aplicao linear ca e ca elementar (de mesmo tipo).

Em vista do Corolrio 3.2.4 e das observaes feitas anteriormente nesta a co seo, temos que a demonstrao do Teorema 3.2.1 car conclu assim ca ca a da que demonstrarmos o seguinte: 3.2.5. Lema. Se T : I n I n uma aplicao linear elementar ento R R e ca a a igualdade (3.2.1) vale para todo subconjunto mensurvel A de I n . a R Demonstracao. Se T de tipo 2 ou 3 ento a tese do lema segue e a respectivamente dos resultados dos Exerc cios 1.11 e 1.12 (note que as aplicaes lineares elementares de tipo 2 tem determinante igual a 1). Resta co ento considerar o caso em que T uma aplicao linear elementar de tipo 1. a e ca fcil vericar que se : {1, . . . , n} {1, . . . , n} uma bijeo ento: E a e ca a 1 Li,j;c = L(i),(j);c , para todos i, j = 1, . . . , n distintos e todo c I Podemos ento reduzir a R. a demonstrao do lema apenas ao caso em que T = Ln,1;c , c I No que ca R. n com o produto I n1 I e usamos a notao da segue, identicamos I R R R ca Seo 2.7; a aplicao T escreve-se na forma: ca ca T (x, y) = (x, y + cx1 ), x I n1 , y I R R. Dado A I n ento para todo x I n1 , a fatia vertical T (A)x do conjunto R a R T (A) coincide com a translao Ax + cx1 da fatia vertical Ax de A. Se A ca e mensurvel, temos que T (A) tambm mensurvel (vide Corolrio 3.1.13); a e e a a segue ento da Proposio 2.7.3 que: a ca m T (A) =
I n1 R

m T (A)x dm(x) =
I n1 R

m(Ax + cx1 ) dm(x) =


I n1 R

m(Ax ) dm(x) = m(A),

onde na terceira igualdade usamos o Lema 1.4.10. Como T uma matriz e 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 Mudana de Variveis c a Nesta seo ns provaremos o Teorema de Mudana de Variveis para ca o c a integais de Lebesgue em I n . Para um entendimento completo do contedo R u desta seo sero necessrios alguns conhecimentos bsicos de Clculo no ca a a a a I n , sobre os quais fazemos uma rpida reviso na Seo 3.4. R a a ca O enunciado do teorema o seguinte: e 3.3.1. Teorema (mudana de variveis). Seja : U I n uma aplic a R 1 denida num subconjunto aberto U de I n ; sucao injetora de classe C ca R ponha que a diferencial d(x) um isomorsmo de I n , para todo x U . e R

3.3. O TEOREMA DE MUDANCA DE VARIAVEIS

94

Dados um conjunto mensurvel A I n contido em U e uma funo mena R ca survel f : (A) I ento: a R a o conjunto (A) mensurvel; e a a funo: ca (3.3.1) A y f (y) det d(y) I R

mensurvel; e a a funo f quase integrvel se e somente se a funo (3.3.1) ca e a ca e quase integrvel e, nesse caso, vale a igualdade: a (3.3.2)
(A)

f (x) dm(x) =
A

f (y)

det d(y) dm(y).

Note que, pelo Teorema da Funo Inversa (Teorema 3.4.7), as hipteses ca o sobre no enunciado do Teorema 3.3.1 so equivalentes ` condio de que a a ca (U ) seja aberto em I n e que : U (U ) seja um difeomorsmo R C 1 . Note tambm que a mensurabilidade de (A) garantida pela Proe e posio 3.1.12, j que : U I n uma funo localmente Lipschitziana ca a R e ca (veja Corolrio 3.4.5). a Para demonstrar o Teorema 3.3.1, precisamos de alguns lemas preparatrios. o 3.3.2. Lema. Seja : U I n uma funo de classe C 1 num aberto R ca U I n e suponha que a diferencial d(x) um isomorsmo de I n , para R e R todo x U . Ento, para todo subconjunto mensurvel E de I n temos que a a R 1 (E) mensurvel; em outras palavras, a funo: e a ca : U, M(I n )|U I n , M(I n ) R R R mensurvel. e a Demonstracao. Pelo Teorema da Funo Inversa (Teorema 3.4.7), ca ca da x U possui uma vizinhana aberta Ux contida em U tal que (Ux ) c aberto em I n e |Ux : Ux (Ux ) um difeomorsmo C 1 . Da a e R e funo x = (|Ux )1 : (Ux ) Ux localmente Lipschitziana (veja Coca e rolrio 3.4.5) e portanto, pela Proposio 3.1.12, o conjunto a ca x E (Ux ) = 1 E (Ux ) Ux = 1 (E) Ux mensurvel, para todo x U . A cobertura aberta U = e a uma subcobertura enumervel U = Uxi e portanto: a i=1
xU

Ux possui

donde segue que

(E) =
i=1

1 (E) Uxi ,

1 (E)

mensurvel. e a

3.3.3. Corolario. Seja : U I n uma funo de classe C 1 num R ca n tal que a diferencial d(x) um isomorsmo de I n , para aberto U I R e R todo x U . Dados um subconjunto A de U , um espao mensurvel (X, A) c a

3.3. O TEOREMA DE MUDANCA DE VARIAVEIS

95

e uma funo mensurvel f : (A) X ento a funo f |A : A X ca a a ca e mensurvel. a Demonstracao. Basta observar que f |A igual ` composta das e a funes mensurveis: co a |A : A, M(I n )|A (A), M(I n )|(A) , R R f : (A), M(I n )|(A) (X, A). R 3.3.4. Lema. Seja : U I n uma funo de classe C 1 num aberto R ca U I n e suponha que a diferencial d(y0 ) um isomorsmo de I n , para R e R um certo y0 U . Ento, para todo > 0, existe uma vizinhana aberta V a c de y0 contida em U tal que para todo conjunto mensurvel A I n contido a R em V temos que (A) mensurvel e vale a desigualdade: e a (3.3.3) m (A) (1 + )
A

det d(y) dm(y).

Demonstracao. Em primeiro lugar, observe que a mensurabilidade de (A) segue da Proposio 3.1.12, j que localmente Lipschitziana (veja ca a e Corolrio 3.4.5). Seja > 0 tal que: a (1 + )n+1 1 + . Denote por T a diferencial de no ponto y0 . Como T 1 d(y0 ) igual ` e a 1 d(y) cont aplicao identidade e como a funo y T ca ca e nua, segue que: (3.3.4) T 1 d(y) < 1 + ,

para todo y em uma vizinhana sucientemente pequena de y0 . Usando c tambm a continuidade da funo y det d(y) , vemos que: e ca (3.3.5) det d(y0 ) < (1 + ) det d(y) ,

para todo y em uma vizinhana sucientemente pequena de y0 . Seja V uma c 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 mensurvel de V e provemos (3.3.3). a 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 Corolrio 3.4.2) que: a d(T 1 )(y) = T 1 d(y) < 1 + , e portanto, pela desigualdade do valor mdio (veja Corolrio 3.4.4), a funo e a ca T 1 |V Lipschitziana com constante de Lipschitz 1 + . Usando a e Proposio 3.1.5, obtemos: ca (3.3.7) m T 1 (A) (1 + )n m(A).

3.3. O TEOREMA DE MUDANCA DE VARIAVEIS

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 n uma funo de classe C 1 num aberto R ca n e suponha que a diferencial d(y) um isomorsmo de I n , para U I R e R todo y U . Ento, dado um conjunto mensurvel A I n contido em U , a a R temos que (A) mensurvel e vale a desigualdade: e a m (A)
A

det d(y) dm(y).

Demonstracao. Seja dado > 0. Pelo Lema 3.3.4, todo ponto y0 U possui uma vizinhana aberta Vy0 contida em U com a seguinte propriedade: c se A I n um conjunto mensurvel contido em Vy0 ento (A) menR e a a e survel e vale a desigualdade (3.3.3). Da cobertura aberta U = yU Vy , a podemos extrair uma subcobertura enumervel U = Vyi . Para cada a i=1 i 1, denimos: Wi = V yi \
i1 j=1 Vyj ,

V y1 ,

se i 2, se i = 1,

e a a de modo que U = Wi , cada Wi mensurvel (no necessariamente i=1 aberto), Wi Vyi e os conjuntos Wi so dois a dois disjuntos. Agora, dado a um conjunto mensurvel arbitrrio A I n contido em U , temos: a a R

(A) =
i=1

(A Wi ).

Como A Wi um subconjunto mensurvel de Vyi , segue que (A Wi ) e a e mensurvel e vale a desigualdade: a m (A Wi ) (1 + )


AWi

det d(y) dm(y).

3.3. O TEOREMA DE MUDANCA DE VARIAVEIS

97

Vemos ento que (A) mensurvel e alm disso: a e a e


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 ultima igualdade usamos o resultado do Exerc 2.13. A concluso cio a nal obtida agora fazendo 0. e 3.3.6. Corolario. Seja : U I n uma funo de classe C 1 num R ca n e suponha que a diferencial d(y) um isomorsmo de I n , aberto U I R e R para todo y U . Ento, dado um conjunto mensurvel A I n contido a a R em U e uma funo mensurvel f : (A) [0, +] temos que (A) ca a e mensurvel, a funo (3.3.1) mensurvel e vale a desigualdade: a ca e a (3.3.9)
(A)

f (x) dm(x)
A

f (y)

det d(y) dm(y).

Demonstracao. Note que a mensurabilidade da funo (3.3.1) segue ca do Corolrio 3.3.3. Para provar a desigualdade (3.3.9), suponhamos inicia almente que f : (A) [0, +] simples e mensurvel. Ento podemos e a a escrever:
k

f=
i=1

ci Ei ,

onde ci [0, +] e Ei um subconjunto mensurvel de (A), para todo e a i = 1, . . . , k. Seja Ai = 1 (Ei ) A, de modo que Ai mensurvel (veja e a 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 ento a desigualdade (3.3.9) no caso em que f simples a e e mensurvel. Seja agora f : (A) [0, +] uma funo mensurvel a ca a arbitrria. Temos que existe uma seqncia (fk )k1 de funes simples e a ue co

3.3. O TEOREMA DE MUDANCA DE VARIAVEIS

98

mensurveis fk : (A) [0, +] tal que fk a fk (x) dm(x)


(A) A

f ; da : det d(y) dm(y),

fk (y)

para todo k 1. A desigualdade (3.3.9) obtida agora fazendo k e e usando o Teorema da Convergncia Monotnica. e o Prova do Teorema 3.3.1. Comeamos supondo que f no negativa. c e a A mensurabilidade de (A) e da funo (3.3.1) j foram estabelecidas no ca a Corolrio 3.3.6. J temos tambm a desigualdade (3.3.9). A desigualdade a a e oposta segue da aplicao do prprio Corolrio 3.3.6 num contexto diferente. ca o a Recorde que, pelo Teorema da Funo Inversa (Teorema 3.4.7), (U ) um ca e aberto de I n e : U (U ) um difeomorsmo C 1 ; aplicamos ento o R e a Corolrio 3.3.6 ao difeomorsmo inverso = 1 : (U ) I n , ` funo a R a ca g : A [0, +] denida por: g(y) = f (y) det d(y) , y A,

e ao conjunto mensurvel B = (A) (U ). Obtemos a desigualdade: a (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 uma funo mensurvel Re ca a arbitrria ento: a a (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 concluso segue subtraindo (3.3.12) de (3.3.11), tendo em mente que as a funes: co A y f + (y) det d(y) , A y f (y) det d(y)

so respectivamente a parte positiva e a parte negativa da funo (3.3.1). a ca

3.4. RECORDACAO DE CALCULO NO I n R

99

3.4. Apndice ` Seo 3.3: recordao de Clculo no IRn e a ca ca a Seja U I m um aberto e : U I n uma funo. Recorde que dita R R ca e diferencivel num ponto x U se existe uma aplicao linear T : I m I n a ca R R tal que (recorde Notao 3.1.1): ca (3.4.1) (x + h) (x) T (h) = 0; h0 h lim

essa aplicao linear unica quando existe e dada por: ca e e (x + tv) (x) def = (x), t v para todo v I m . A aplicao linear T chamada a diferencial de R ca e no ponto x e denotada por d(x). A matriz que representa a diferencial e d(x) com respeito `s bases cannicas chamada a matriz Jacobiana de a o e no ponto x. No que segue, usaremos a mesma notao para a diferencial ca 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 xj (x) denota a derivada parcial no ponto x da funo coordenada i com respeito ` j-sima varivel. Se uma aplicao ca a e a ca diferencivel num ponto x ento cont e a a e nua nesse ponto. Intuitivamente, (3.4.1) diz que T = d(x) uma boa aproximao lie ca near para numa vizinhana de x. Mais explicitamente, quando o ponto c x I m sofre um deslocamento (vetorial) x ento o ponto y = (x) I n R a R sofre um deslocamento (vetorial) y = (x + x) (x) e a diferenciabilidade de no ponto x nos diz que y aproximadamente uma funo linear e ca def de x; mais precisamente, existe uma aplicao linear d(x) = T , tal que ca y difere de T (x) por uma quantidade que vai a zero mais rpido que a x , quando x 0. Quando uma aplicao : U I n denida num aberto U de I m ca R R diferencivel em todos os pontos de U dizemos simplesmente que ela e a e diferencivel em U ; dizemos que de classe C 1 em U se diferencivel a e e a em U e se a funo U x d(x) cont ca e nua. Sabe-se que uma funo ca 1 num aberto U se e somente se as derivadas parciais i (x), de classe C e xj i = 1, . . . , n, j = 1, . . . , m, existem e so cont a nuas em todos os pontos x U. Enunciamos agora alguns teoremas bsicos de Clculo no I n que usamos a a R na Seo 3.3. ca 3.4.1. Teorema (regra da cadeia). Sejam : U I n , : V I p R R m e V um aberto de funes tais que (U ) V , onde U um aberto de I co e R e I n . Se diferencivel num ponto x U e diferencivel no ponto (x) R e a e a

3.4. RECORDACAO DE CALCULO NO I n R

100

ento a funo composta diferencivel no ponto x e sua diferencial a ca e a dada por: e d( )(x) = d (x) d(x). Segue diretamente da denio de diferenciabilidade que toda aplicao ca ca m I n diferencivel em I m e dT (x) = T , para todo linear T : I R R e a R x I m . Dessa observao e da regra da cadeia obtemos: R ca 3.4.2. Corolario. Seja : U I n uma funo denida num aberto R ca U I m , diferencivel num ponto x U . Se T : I n I p uma aplicao R a R R e ca linear ento T diferencivel no ponto x e sua diferencial dada por: a e a e d(T )(x) = T d(x). Para o teorema a seguir, o leitor deve recordar a Notao 3.1.1 e a ca Observao 3.1.7, onde denimos a norma de uma aplicao linear. ca ca 3.4.3. Teorema (desigualdade do valor mdio). Seja : U I n uma e R m e sejam xados dois pontos x, y U . funo denida num aberto U I ca R Suponha que a funo cont ca e nua em todos os pontos do segmento de reta fechado: [x, y] = x + (y x) : 0 1 e diferencivel em todos os pontos do segmento de reta aberto: e a ]x, y[ = x + (y x) : 0 < < 1 . Ento existe ]0, 1[ tal que vale a desigualdade: a (y) (x)

d x + (y x) I n R

yx

Recorde que um subconjunto X de dito convexo se para todos e x, y X o segmento de reta [x, y] est contido em X. a 3.4.4. Corolario. Sejam : U I n uma funo denida num aberto R ca U I m e suponha que diferencivel em todos os pontos de um subR e a conjunto convexo X de U . Se existe k 0 tal que d(x) k, para todo x X ento a funo |X Lipschitziana com constante de Lipschitz k. a ca e rio. Uma funo : U I n de classe C 1 num aberto 3.4.5. Corola ca R U I m localmente Lipschitziana. R e Demonstracao. Segue do Corolrio 3.4.4, observando que a funo a ca x d(x) cont e nua e portanto limitada numa bola sucientemente pequena centrada num ponto dado x U . 3.4.6. Definicao. Se U , V I n so abertos ento um difeomorsmo R a a de U para V uma bijeo diferencivel : U V cuja inversa 1 : V U e ca a tambm diferencivel. Dizemos que : U V um difeomorsmo C 1 se e e a e bijetora e se e 1 so ambas de classe C 1 . e a Se : U V um difeomorsmo ento segue da regra da cadeia que e a para todo x U a diferencial d(x) : I n I n um isomorsmo de I n R R e R cujo inverso dado por: e (3.4.2) d(x)
1

= d(1 ) (x) .

EXERC ICIOS PARA O CAP ITULO 3

101

Temos a seguinte rec proca para essa armao: ca 3.4.7. Teorema (da funo inversa). Seja : U I n uma funo de ca R ca classe C 1 denida num aberto U I n . Se x U tal que a diferencial R e d(x) um isomorsmo de I n ento existe uma vizinhana aberta U0 de e R a c n e | e x contida em U tal que (U0 ) aberto em I e R U0 : U0 (U0 ) um difeomorsmo C 1 . Alm do mais, se d(x) um isomorsmo de I n para e e R todo x U ento: a uma aplicao aberta, i.e., leva subconjuntos abertos de U e ca em subconjuntos abertos de I n ; R e se U0 um aberto qualquer contido em U tal que |U0 injetora e ento |U0 : U0 (U0 ) um difeomorsmo C 1 . a e Exerc cios para o Cap tulo 3 O Efeito de Aplicaes Lineares sobre a Medida de Lebesgue. co Exerc cio 3.1. Dados pontos p1 , . . . , pn+1 I n , ento o simplexo de R a vrtices p1 , . . . , pn+1 denido por: e e
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) mensurvel e determine uma expresso para e a a a sua medida de Lebesgue. O Teorema de Mudana de Variveis. c a Exerc cio 3.2. Dados (x0 , y0 ) I 2 e r > 0, mostre que o disco: R (x, y) I 2 : (x x0 )2 + (y y0 )2 r2 R mensurvel e determine sua medida de Lebesgue. e a Exerc cio 3.3. Considere a aplicao : ]0, +[ I I 2 denida ca R R por: (, ) = ( cos , sen), para todos ]0, +[, I R. Calcule det d(, ). Se A = ]0, 1] [0, 4] e f : I 2 I denota a funo constante e R R ca igual a 1, calcule as integrais: f (x, y) dm(x, y),
(A) A

det d(, ) dm(, ).

Explique o que est acontecendo, em vista do Teorema 3.3.1. a Exerc cio 3.4. Seja A um subconjunto de I n e p = (p1 , . . . , pn+1 ) um R ponto de I n+1 com pn+1 = 0. Identiquemos I n+1 com o produto I n I R R R R. O cone de base A e vrtice p denido por: e e C(A, p) = [(x, 0), p] = (x, 0) + t p (x, 0) : x A, t [0, 1] .
xA

EXERC ICIOS PARA O CAP ITULO 3

102

Considere a funo : I n ]0, 1[ I n+1 denida por: ca R R (x, t) = (x, 0) + t p (x, 0) , para todos x I n , t ]0, 1[. Mostre que: R injetora, de classe C 1 e det d(x, t) = (1 t)n pn+1 , para todos e x I n , t ]0, 1[; R se A mensurvel ento o cone C(A, p) mensurvel e sua medida e a a e a de Lebesgue dada por: e 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 + mudana de variveis apropriada, para calcular a integral 0 ex dm(x). c a

APENDICE A

Solues para os Exerc co 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 n contendo A. Logo m (A) uma conta inferior do conR e junto m(U ) : U A aberto . Para ver que m (A) a maior cota inferior e desse conjunto, devemos mostrar que para todo > 0 existe U A aberto com m(U ) m (A)+. Mas esse precisamente o resultado do Lema 1.4.12. e Exerc cio 1.10. Como A mensurvel ento, para todo > 0 existe e a a um aberto U A com m (U \ A) < . Da U + x um aberto em I n e R 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 claro se B vazio. Seno, B = e e a
n n i=1 [ai , bi ]

(B) =
i=1

[a(i) , b(i) ]

tambm um bloco retangular n-dimensional e: e e


n n

|(B)| =
i=1

(b(i) a(i) ) =
i=1

(bi ai ) = |B|.

e (b) Se A Bk uma cobertura de A por blocos ratangulares nk=1 e dimensionais ento (A) (Bk ) uma cobertura de (A) a k=1 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 ento A = (A) e da o mesmo argumento mostra a 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 mensurvel ento para todo > 0 existe um aberto U I n e a a R contendo A tal que m (U \ A) < . Da (U ) um aberto contendo e (A) e: m (U ) \ (A) = m (U \ A) = m (U \ A) < , provando que (A) mensurvel. e a Exerc cio 1.12. (a) O resultado claro se B vazio. Seno, B = e e a
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 Bk uma cobertura de A por blocos retangulares e k=1 e n-dimensionais ento D (A) D (Bk ) uma cobertura de a k=1 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 a Por outro lado, se = 1 , . . . , 1 ento A = D D (A) e da o n 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 ento que: a

m D (A) = inf C D (A) = | det D | inf C(A) = | det D | m (A). (c) Se A mensurvel ento para todo > 0 existe um aberto U I n e a a R (U \ A) < | det D |1 . Da D (U ) um contendo A tal que m e aberto que contm D (A) e: e m D (U ) \ D (A) = m D (U \ A) = | det D | m (U \ A) < , provando que D (A) mensurvel. e a

A.1. EXERC ICIOS DO CAP ITULO 1

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 anlogo mostra-se a que m (A) m (B) e portanto m (A) = m (B). Suponha agora que A e mensurvel. Ento: a a (A.1.3) B = A \ (A \ B) (B \ A). Como A \ B A B e B \ A A B ento m (A \ B) = 0 e m (B \ A) = 0. a Segue do Lema 1.4.16 que A \ B e B \ A so ambos mensurveis; logo a a (A.1.3) implica que B mensurvel. Da mesma forma mostra-se que a e 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 = Bk , onde (Bk )k1 uma seqncia e ue k=1 de blocos retangulares n-dimensionais com interiores dois a dois disjuntos; pelo Corolrio 1.4.21 temos: a

m(U ) =
k=1

|Bk |.

e Note que m(U ) = m(U \ A) + m(A) < + e portanto a srie |Bk | e k=1 convergente; existe portanto t 1 tal que k>t |Bk | < 2 . Observe agora 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) tambm vlida se m (B) = + j que, nesse caso, e e a a m (A) < + e m (A) m (B) = . Trocando os papis de A e B em e (A.1.4) obtemos: (A.1.5) m (B) m (A) m (A B).

A concluso segue de (A.1.4) e (A.1.5). a 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 mensurvel e contm A, segue que E um envelope mensurvel de A. a e e a

A.1. EXERC ICIOS DO CAP ITULO 1

106

Exerc cio 1.17. Temos que A B unio disjunta dos conjuntos A \ B, e a 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).
k1 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 so dois a dois disjuntos. Sejam k, l 1 com k = l, digamos, k > l. Da a Bk Al = e Bl Al , de modo que Bk Bl = . Armamos tambm que e k=1 Ak = k=1 Bk . Obviamente, k=1 Bk k=1 Ak . Por outro lado, se x k=1 Ak , seja k 1 o menor inteiro tal que x Ak ; da x Ak e k1 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 resoluo ca do Exerc 1.18. Por (A.1.6), suciente mostrarmos que (Bk ) = (Ak ) cio e para todo k 1. Obviamente (Bk ) (Ak ). Por outro lado, temos:
k1

Ak Bk
i=0

(Ai Ak );

aplicando o resultado do Exerc 1.18 obtemos: cio


k1

(Ak ) (Bk ) +
i=0

(Ai Ak ) = (Bk ),

o que completa a demonstrao. ca 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 seqncia ue de elementos de A. Da Ak Ai para todo k 1 e todo i I, de modo que Ak Ai para todo i I e portanto Ak A. k=1 k=1 (b) Se 1 [C] e 2 [C] so ambas -lgebras de partes de X satisfazendo as a a propriedades (1) e (2) que aparecem na Denio 1.4.35, mostremos ca que 1 [C] = 2 [C]. De fato, como 1 [C] uma -lgebra de partes e a

A.1. EXERC ICIOS DO CAP ITULO 1

107

de X que contm C e como 2 [C] satisfaz a propriedade (2), temos e que 2 [C] 1 [C]. De modo similar mostra-se que 1 [C] 2 [C]. (c) Seja [C] a interseo de todas as -lgebras de partes de X que ca a contm C; pelo resultado do item (a), [C] uma -lgebra de e e a partes de X e obviamente C [C], j que [C] a interseo de a e ca uma coleo de conjuntos que contm C. Alm do mais, se A uma ca e e e -lgebra de partes de X que contm C ento A um dos membros a e a e da coleo cuja interseo resultou em [C]; logo [C] A. ca ca Exerc cio 1.21. Como [C2 ] uma -lgebra de partes de X que contm e a e C1 e como [C1 ] satisfaz a propriedade (2) que aparece na Denio 1.4.35 ca temos que [C1 ] [C2 ]. Similarmente, C2 [C1 ] implica que [C2 ] [C1 ]. Exerc cio 1.22. A -lgebra de Borel de I n uma -lgebra de partes a R e a n que contm os abertos de I n . Logo todo aberto de I n e toda de I R e R R n pertence ` -lgebra de Borel de interseo enumervel de abertos de I ca a R a a I n (veja Lema 1.4.37). Como todo fechado complementar de um aberto, R e segue que os fechados de I n e as unies enumerveis de fechados de I n R o a R pertencem ` -lgebra de Borel de I n . a a R Exerc cio 1.23. Seja A a -lgebra gerada pelos intervalos da forma a ], c], c I Como a -lgebra de Borel B(I a -lgebra gerada pelos R. a R) e a abertos de I o resultado do Exerc 1.21 nos diz que, para mostrar que R, cio A = B(I suciente mostrar as seguintes armaes: R), e co (i) todo intervalo da forma ], c] um Boreleano de I e R; (ii) todo aberto de I pertence a A. R A armao (i) trivial, j que ], c] um subconjunto fechado de I ca e a e R. Para mostrar a armao (ii), observe que o Lema 1.4.23 implica que todo ca aberto de I uma unio enumervel de intervalos compactos; suciente Re a a e mostrar ento que [a, b] A, para todos a, b I com a b. Essa armao a R ca segue das identidades abaixo:

[a, b] =
k=1

1 a k,b ,

1 a k , b = ], b] \ , a

1 k

Exerc cio 1.24. Suponha por absurdo que F um fechado de I cone R tido propriamente em I com m(F ) = |I|. Seja x I \ F . Como F fechado, e existe > 0 com [x , x + ] F = . Se x um ponto interior de I e ento podemos escolher > 0 de modo que [x , x + ] I; seno, se x a a uma extremidade de I, podemos ao menos garantir que um dos intervalos e [x , x], [x, x + ] est contido em I, para > 0 sucientemente pequeno. a Em todo caso, conseguimos um intervalo J contido em I, disjunto de F , com |J| > 0. Da F e J so subconjuntos mensurveis disjuntos de I e portanto: a a |I| = m(I) m(F J) = m(F ) + m(J) = |I| + |J| > |I|, o que nos d uma contradio e prova que F = I. Em particular, vemos que a ca F no pode ter interior vazio. a

A.1. EXERC ICIOS DO CAP ITULO 1

108

Exerc cio 1.25. Se K A compacto ento m(K) = m (K) m (A), e a pelo Lema 1.4.4. Logo m (A) uma cota superior do conjunto: e m(K) : K A compacto e portanto maior ou igual ao seu supremo, que m (A). e e 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 n ) contm todos os subconjuntos comR e n ento: pactos de I R a 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 ento segue do Lema 1.4.57 e do a resultado do Exerc 1.26 que: cio m(E) = m (E) m (A); isso mostra que m (A) uma cota superior do conjunto: e m(E) : E A, E M e portanto m (A) sup m(E) : E A, E M . Exerc cio 1.28. Se m (A) < + ento para todo r 1 existe um a compacto Kr A com m(Kr ) > m (A) 1 ; da W = Kr um F e r=1 r 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 1.26. cio Segue que m(W ) = m (A). Se m (A) = + ento para todo r 1 existe a um compacto Kr A com m(Kr ) > r e da W = Kr um F contido e r=1 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 1.26 implica que m (Ak ) k1 cio uma seqncia decrescente e que m (Ak ) m (A), para todo k 1; logo e ue m (Ak ) k1 convergente e: e
k

lim m (Ak ) m (A).

A.1. EXERC ICIOS DO CAP ITULO 1

109

Para cada k 1, o resultado do Exerc 1.28 nos d um subconjunto Wk cio a de Ak de tipo F tal que m(Wk ) = m (Ak ). Dena Vk = Wr . Da Vk r=k mensurvel e Wk Vk Ak , donde: e a m (Ak ) = m(Wk ) m(Vk ) = m (Vk ) m (Ak ), onde usamos tambm o Lema 1.4.57. Mostramos ento que m(Vk ) = m (Ak ), e a 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 tm medida exterior e nita. Seja dado > 0 e sejam (Qk )k1 e (Ql )l1 respectivamente uma seqncia de blocos retangulares m-dimensionais e uma ue seqncia de blocos retangulares n-dimensionais tais que: ue

A
k=1

Qk ,

B
l=1

Ql

e tais que:

|Qk | < m (A) + ,


k=1 l=1

|Ql | < m (B) + .

e lia a Da (Qk Ql )k,l1 uma fam enumervel de blocos retangulares (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 concluso obtida fazendo 0. Consideramos agora o caso que a e m (A) = + ou m (B) = +. Se m (A) > 0 e m (B) > 0 ento a m (A)m (B) = + e no h nada para mostrar. Suponha ento a a a que m (A) = 0 ou m (B) = 0, de modo que m (A)m (B) = 0; devemos mostrar ento que m (A B) = 0 tambm. Consideraremos a e apenas o caso que m (A) = + e m (B) = 0 (o caso m (A) = 0 e

A.1. EXERC ICIOS DO CAP ITULO 1

110

m (B) = + anlogo). Para cada k 1, seja Ak = A [k, k]m . e a Temos A = Ak e m (Ak ) < +, para todo k 1. Logo: k=1 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 m e V I n contendo A e B R R 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 um aberto de I m+n contendo A B; alm do mais: e R e (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 mensurvel. Para o caso geral, denimos e a Ak = A [k, k]m , Bk = B [k, k]n . Da Ak Bk mensurvel e a e para todo k 1 e AB = k=1 (Ak Bk ); portanto tambm AB mensurvel. e a (c) Mostremos primeiro que se U I m , V I n so abertos ento: R R a a (A.1.7) m(U V ) = m(U )m(V ). e Pelo Lema 1.4.23 podemos escrever U = Qk , onde (Qk )k1 k=1 uma seqncia de blocos retangulares m-dimensionais com interioue res dois a dois disjuntos; podemos tambm escrever V = Ql , e l=1 onde (Ql )l1 uma seqncia de blocos retangulares n-dimensionais e ue com interiores dois a dois disjuntos. Note que (Qk Ql )k,l1 uma e fam enumervel de blocos retangulares (m + n)-dimensionais lia a com interiores dois a dois disjuntos e U V = k,l1 (Qk Ql ). Da pelo Corolrio 1.4.21, obtemos: , a

m(U V ) =
k,l1

|Qk Ql | =
k,l1

|Qk | |Ql | =
k=1

|Qk |
l=1

|Ql | = m(U )m(V ).

A.2. EXERC ICIOS DO CAP ITULO 2

111

Isso prova (A.1.7). Dados agora A I m , B I n mensurveis R R a com m(A) < + e m(B) < + podemos, como no item (b), obter abertos U I m , V I n contendo A e B respectivamente de R R modo que: m (U V ) \ (A B) < . Como os conjuntos U V e A B so mensurveis e, pelo item a a (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 ento a a igualdade m(A B) = m(A)m(B), j que a desigualdade oposta j a a foi provada no item (a). Sejam agora A I m , B I n conjuntos R R mensurveis arbitrrios e dena: a a 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 ultima igualdade usamos o resultado do Exerc 1.5. cio A.2. Exerc cios do Cap tulo 2 Exerc cio 2.1. Se f : X X constante ento para todo subconjunto e a 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 uma -lgebra de partes de Y que e a contm C|Y ; logo A|Y contm [C|Y ]. Para mostrar que A|Y est contido e e a em [C|Y ], considere a coleo: ca A = A X : A Y [C|Y ] . Verica-se diretamente que A uma -lgebra de partes de X; obviamente, e a 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 denio da -lgebra de Borel de I ca a R, se A B(I ento A I B(I R) a R R); logo B(I I B(I R)| R R). Por outro lado, R) a R e se A B(I ento tambm A B(I (j que A I = A um Boreleano R) a e de I e portanto A I = A B(I I . R) R R)| R

A.2. EXERC ICIOS DO CAP ITULO 2

112

Exerc cio 2.4. Seja C a coleo formada pelos intervalos da forma ca [, c], c I Claramente C B(I e portanto [C] B(I R. R) R). Vamos mostrar ento que B(I [C]. Em primeiro lugar, armamos que: a R) (A.2.1) (A.2.2)

, {+}, {}, {+, } [C], I [C]. R

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 que I = {+, }c . Note que: a R C|I = R ], c] : c I R e portanto o resultado do Exerc cio 1.23 nos d [C|I ] = B(I a R); da o , R resultado do Exerc 2.2 implica que: cio (A.2.3) [C]|I = B(I R). R R), R R). Por (A.2.3), temos que existe Seja A B(I de modo que A I B(I A [C] tal que A I = A I Da (A.2.2) implica que A I [C]. R R. R Finalmente, (A.2.1) implica que A {+, } [C], o que prova que A = (A I A {+, } [C]. R) Exerc cio 2.5. Pelo Corolrio 2.1.18, a funo a ca h : f 1 (I g 1 (I R) R) I R denida por h(x) = f (x) g(x) mensurvel. Logo o conjunto: e a h1 (0) = x f 1 (I g 1 (I : f (x) = g(x) R) R) mensurvel. A concluso segue da igualdade: e a a x X : f (x) = g(x) = f 1 (+)g 1 (+) f 1 ()g 1 () x f 1 (I g 1 (I : f (x) = g(x) . R) R) 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 2 : y 1 , R (x, y) I 2 : 1 < y < 1 , R (x, y) I 2 : y 1 , R

constituem uma cobertura enumervel de I 2 por Boreleanos. E suciente a R ento mostrar que a restrio de f a cada um desses Boreleanos Borel a ca e mensurvel. A restrio de f ao conjunto (A.2.4a) cont a ca e nua, e portanto Borel mensurvel (veja Lema 2.1.15). A restrio de f ao conjunto (A.2.4b) a ca um limite pontual de funes cont e co nuas e portanto Borel mensurvel, pelo e a Corolrio 2.1.24 (na verdade, essa restrio de f tambm cont a ca e e nua, j que a a srie em questo converge uniformemente, pelo teste M de Weierstrass). e a Finalmente, a restrio de f ao conjunto (A.2.4c) Borel mensurvel, sendo ca e a

A.2. EXERC ICIOS DO CAP ITULO 2

113

igual ` composio da funo cont a ca ca nua (x, y) x + y com a funo Borel ca mensurvel Q . a Exerc cio 2.7. (a) Como X \ X1 tem medida nula, temos que todo subconjunto de X \ X1 mensurvel (recorde Lema 1.4.16). Portanto, a restrio e a ca de f a X \ X1 automaticamente mensurvel (seja l qual for a e a a funo f ). Como os conjuntos X \ X1 e X1 = X \ (X \ X1 ) so ca a mensurveis, segue do Lema 2.1.13 que f mensurvel. a e a (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 mensurvel, segue que g|X1 = f |X1 tambm mensurvel; logo, e a e e a o resultado do item (a) implica que g mensurvel. e a (c) Basta observar que g = lim inf k fk quase sempre e usar o resultado do item (b) juntamente com o Corolrio 2.1.23. a Exerc cio 2.8. Devemos mostrar que se A um subconjunto Lebesgue e mensurvel de I m ento 1 (A) um subconjunto Lebesgue mensurvel a R a e a de I m+n . Mas 1 (A) = A I n e portanto a concluso segue do resultado R R a do item (b) do Exerc 1.30. cio Exerc cio 2.9. Considere a funo : X I n I n denida por ca R R (x, y) = y f (x), para todos x X, y I n . Obviamente: R gr(f ) = 1 (0). Considere a projeo : I m+n I m nas primeiras m coordenadas. Temos ca R R que cont e nua e portanto Borel mensurvel; da X I n = 1 (X) Borea R e leano, caso X seja Boreleano. Alm do mais, pelo resultado do Exerc 2.8, e cio X I n Lebesgue mensurvel, caso X seja Lebesgue mensurvel. Para R e a a concluir a demonstrao, vamos vericar que: ca Borel mensurvel se f for Borel mensurvel; e a a mensurvel se f for mensurvel. e a a De fato, temos que igual ` diferena entre a funo cont e a c ca nua (x, y) y e a funo (x, y) f (x), que simplesmente a composio da restrio de ca e ca ca a X I n com f . A concluso segue do resultado do Exerc 2.8. R a cio Exerc cio 2.10. (a) Se f integrvel ento, por denio, f + e f so integrveis, done a a ca a a + + f integrvel. Reciprocamente, se |f | integrvel de |f | = f e a e a ento f + e f so integrveis, j que 0 f + |f | e 0 f |f |. a a a a Segue que f integrvel. e a

A.2. EXERC ICIOS DO CAP ITULO 2

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 =

e ue Exerc cio 2.11. Seja gn = n fk . Da (gn )n1 uma seqncia de k=1 funes mensurveis no negativas com gn co a a 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 seqncia de subconjuntos mensurveis dois a dois disjuntos de X. ue a Temos:

f E =
k=1

f Ek ,

e portanto o Lema 2.3.4 e o resultado do Exerc 2.11 implicam: cio f (Ek ) =


k=1 k=1 X

f Ek d =

f E d = f (E).

Exerc cio 2.13. (a) Se a funo f no negativa, a armao segue do resultado do ca e a ca Exerc 2.12. No caso geral, temos: cio

f d =
A k=1 Ak

f d,
A

f d =
k=1 Ak

f d,

e a concluso segue subtraindo as duas igualdades acima. a (b) Se a funo f no negativa, a armao segue do resultado do ca e a ca Exerc 2.12 e do Lema 1.4.48. No caso geral, temos: cio f + d = lim
A k Ak

f + d,
A

f d = lim

k Ak

f d,

e a concluso segue subtraindo as duas igualdades acima. a (c) Anlogo ao item (b), observando que se f |A1 integrvel ento a e a a f + d < + e A1 f d < +. 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 n , S). . . . . . . . . . . . . . . . . . . . . .32 R I( ) . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Li,j;c . . . . . . . . . . . . . . . . . . . . . . . . . . 91 S(f ; P ). . . . . . . . . . . . . . . . . . . . . . . .65 [x, y] . . . . . . . . . . . . . . . . . . . . . . . . . 100 B(I n ) . . . . . . . . . . . . . . . . . . . . . . . . 18 R B(I . . . . . . . . . . . . . . . . . . . . . . . . . 39 R) n . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 dim(V ). . . . . . . . . . . . . . . . . . . . . . . .90 gr(f ) . . . . . . . . . . . . . . . . . . . . . . . . . . 82 int(A) . . . . . . . . . . . . . . . . . . . . . . . . . 12 M(I n ) . . . . . . . . . . . . . . . . . . . . . . . 21 R Q .............................. 6 I ..............................1 R 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 I, (i )n ; ( i )n i=1 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 ..............................1 R 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 aplicao. . . . . . . . . . . . . . . . .101 ca lgebra . . . . . . . . . . . . . . . . . . . . . . . . 18 a anti-reexividade . . . . . . . . . . . . . . . 1 aplicao ca aberta . . . . . . . . . . . . . . . . . . . 101 aplicao linear ca elementar . . . . . . . . . . . . . . . . . 91 rea . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 a aresta de um cubo . . . . . . . . . . . . . . . 15 associatividade . . . . . . . . . . . . . . . . . 2 B Baire teorema de . . . . . . . . . . . . . . . . 37 bloco retangular . . . . . . . . . . . . . . . . 7 volume de . . . . . . . . . . . . . . . . . . 8 Borel -lgebra de . . . . . . . . . . . . . . 18 a de I . . . . . . . . . . . . . . . . . . .39 R. Borel mensurvel a funo . . . . . . . . . . . . . . . . . . . . 40 ca Boreleano . . . . . . . . . . . . . . . . . . . . . 18 em I . . . . . . . . . . . . . . . . . . . . . 39 R C cadeia regra da. . . . . . . . . . . . . . . . . . .99 caminho . . . . . . . . . . . . . . . . . . . . . . . 31 Cantor conjunto de . . . . . . . . . . . . . . . 27 conjunto ternrio de . . . . . . . 37 a Carathodory . . . . . . . . . . . . . . . . . 23 e Cayley grafo de . . . . . . . . . . . . . . . . . . . 32 circuito . . . . . . . . . . . . . . . . . . . . . . . 31 classe C 1 funo de . . . . . . . . . . . . . . . . . 99 ca 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 em I . . . . . . . . . . . . . . . . . . . 39 convexo . . . . . . . . . . . . . . . . . . 100 das diferenas . . . . . . . . . . . . . 30 c de Cantor . . . . . . . . . . . . . . . . . 27 ternrio . . . . . . . . . . . . . . . . . 37 a de geradores para uma -lgebra . . . . . 18 a de tipo F . . . . . . . . . . . . . . . . 17 de tipo G . . . . . . . . . . . . . . . . 17 escolha . . . . . . . . . . . . . . . . . . . . . 7 magro . . . . . . . . . . . . . . . . . . . . . 37 mensurvel . . . . . . . . . . . . 13, 21 a constante de Lipschitz . . . . . . . . . . . . . . . 88 convergncia e R em I . . . . . . . . . . . . . . . . . . . . . . 3 convergncia dominada e teorema da . . . . . . . . . . . . . . . . 63 convergncia monotnica e o teorema da . . . . . . . . . . . . 54, 61 convexo conjunto . . . . . . . . . . . . . . . . . 100 cubo n-dimensional . . . . . . . . . . . . . 15 D desigualdade do valor mdio . . . . . . . . . . . 100 e determinante . . . . . . . . . . . . . . . . . . 91 difeomorsmo . . . . . . . . . . . . . . . . 100 diferena simtrica . . . . . . . . . . . . 35 c e diferenas c conjunto das . . . . . . . . . . . . . . 30 diferencial

INDICE REMISSIVO

117

de uma funo . . . . . . . . . . . . 99 ca diferencivel a funo . . . . . . . . . . . . . . . . . . . . 99 ca distncia a entre conjuntos. . . . . . . . . . . .13 entre ponto e conjunto . . . . 13 Euclideana . . . . . . . . . . . . . . . . 13 E elementar aplicao linear . . . . . . . . . . . 91 ca transformao . . . . . . . . . . . . . 92 ca elemento neutro . . . . . . . . . . . . . . . . 3 envelope mensurvel . . . . . . . . . . . 22 a escalonamento . . . . . . . . . . . . . . . . . 92 espao c de medida. . . . . . . . . . . . . . . . .21 mensurvel . . . . . . . . . . . . 21, 39 a subespao de . . . . . . . . . . . . 42 c F fatia vertical . . . . . . . . . . . . . . . . . . 73 Fatou lema de . . . . . . . . . . . . . . . . . . . 62 nito . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Fubini teorema de . . . . . . . . . . . . . . . . 77 funo ca Borel mensurvel . . . . . . . . . . 40 a caracter stica . . . . . . . . . . . . . . 47 de classe C 1 . . . . . . . . . . . . . . . 99 diferencivel . . . . . . . . . . . . . . 99 a estritamente crescente . . . . . 38 grco de . . . . . . . . . . . . . . . . . 82 a integrvel . . . . . . . . . . . . . . . . . 56 a Lipschitziana . . . . . . . . . . . . . . 88 localmente Lipschitziana . . 90 mensurvel . . . . . . . . . . . . . . . . 39 a R a valores em I n ou I . . 40 R n . . . . . . . . . 40 denida em I R integral de. . . . . . . . . . .54, 56 integral num subespao . 57 c quase integrvel . . . . . . . . . . . 56 a num subespao . . . . . . . . . . 57 c que preserva medida . . . . . . 83

simples. . . . . . . . . . . . . . . . . . . .47 integral de . . . . . . . . . . . . . . 49 funo inversa ca teorema da. . . . . . . . . . . . . . .101 funes co produto de . . . . . . . . . . . . 44, 45 soma de . . . . . . . . . . . . . . . 44, 45 G geradores para uma -lgebra . . . . . . . 18 a grco . . . . . . . . . . . . . . . . . . . . . . . . 82 a grafo . . . . . . . . . . . . . . . . . . . . . . . . . . 30 colorimento de . . . . . . . . . . . . 31 conexo . . . . . . . . . . . . . . . . . . . . 31 de Cayley . . . . . . . . . . . . . . . . . 32 k-color vel. . . . . . . . . . . . . . . . .31 I nmo . . . . . . . . . . . . . . . . . . . . . . . . . . 2 innito . . . . . . . . . . . . . . . . . . . . . . . . . 1 integrao por partes . . . . . . . . . . 85 ca integrais iteradas . . . . . . . . . . . . . . 80 integral de Lebesgue . . . . . . . . . . . . . . . 57 de Riemann . . . . . . . . . . . . . . . 67 de uma funo mensurvel 56 ca a num subespao . . . . . . . . . . 57 c de uma funo mensurvel no ca a a negativa . . . . . . . . . . . . . . 54 de uma funo simples no neca a gativa . . . . . . . . . . . . . . . . . 49 imprpria de Riemann . . . . 70 o indenida . . . . . . . . . . . . . . . . . 83 inferior de Riemann . . . . . . . 67 superior de Riemann . . . . . . 67 integral imprpria o convergente . . . . . . . . . . . . . . . 70 integrvel a funo . . . . . . . . . . . . . . . . . . . . 56 ca 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 . . . . . . . . . . . . . . . . . . . . . 31 vel L Lebesgue integral de . . . . . . . . . . . . . . . . 57 integrvel . . . . . . . . . . . . . . . . . 57 a medida de. . . . . . . . . . . . . . . . .21 medida exterior de . . . . . . . . . 9 medida interior de. . . . . . . . .24 mensurvel . . . . . . . . . . . . . . . . 13 a quase integrvel . . . . . . . . . . . 57 a lema de Fatou . . . . . . . . . . . . . . . . . . 62 limite R em I . . . . . . . . . . . . . . . . . . . . . . 4 inferior . . . . . . . . . . . . . . . . . . . . . 4 superior . . . . . . . . . . . . . . . . . . . . 4 Lipschitz constante de . . . . . . . . . . . . . . 88 Lipschitziana funo . . . . . . . . . . . . . . . . . . . . 88 ca localmente . . . . . . . . . . . . . . . . 90 localmente Lipschitziana . . . . . . . . . . . . . . 90 M magro . . . . . . . . . . . . . . . . . . . . . . . . . 37 matriz Jacobiana . . . . . . . . . . . . . . . . . 99 medida . . . . . . . . . . . . . . . . . . . . . . . . 21 de contagem . . . . . . . . . . . . . . 84 de Lebesgue . . . . . . . . . . . . . . . 21 espao de . . . . . . . . . . . . . . . . . 21 c exterior . . . . . . . . . . . . . . . . . . . . 9 interior. . . . . . . . . . . . . . . . . . . .24 menor que . . . . . . . . . . . . . . . . . . . . . . 1 mensurvel . . . . . . . . . . . . . . . . . . . . 13 a espao . . . . . . . . . . . . . . . . . 21, 39 c funo . . . . . . . . . . . . . . . . . . . . 39 ca R a valores em I n ou I . . 40 R

denida em I n . . . . . . . . . 40 R funo Borel . . . . . . . . . . . . . . 40 ca subespao . . . . . . . . . . . . . . . . . 42 c mdulo . . . . . . . . . . . . . . . . . . . . . . . . . 2 o -q. s. . . . . . . . . . . . . . . . . . . . . . . . . . 61 mudana de variveis c a teorema de . . . . . . . . . . . . . . . . 93 N norma de uma aplicao linear . . . 89 ca de uma partio . . . . . . . . . . . 65 ca O operao ca associativa . . . . . . . . . . . . . . . . . 2 comutativa . . . . . . . . . . . . . . . . . 3 P parte negativa . . . . . . . . . . . . . . . . . 45 de uma funo . . . . . . . . . . . . 45 ca parte positiva . . . . . . . . . . . . . . . . . 45 de uma funo . . . . . . . . . . . . 45 ca partio . . . . . . . . . . . . . . . . . . . . . . . . 8 ca norma de . . . . . . . . . . . . . . . . . 65 renamento de . . . . . . . . . . . . 65 permutao . . . . . . . . . . . . . . . . 35, 79 ca preserva medida funo que . . . . . . . . . . . . . . . . 83 ca produto de funes . . . . . . . . . . . . . 44, 45 co na reta estendida . . . . . . . . . . . 2 propriedade (). . . . . . . . . . . . . . . .32 Q q. s. . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 quase integrvel a funo . . . . . . . . . . . . . . . . . . . . 56 ca num subespao . . . . . . . . . . 57 c Lebesgue . . . . . . . . . . . . . . . . . . 57 quase sempre . . . . . . . . . . . . . . . . . . 61 R renamento de uma partio . . . . . . . . . . . 65 ca regra

INDICE REMISSIVO

119

da cadeia . . . . . . . . . . . . . . . . . 99 relao ca anti-reexiva . . . . . . . . . . . 1, 30 de equivalncia . . . . . . . . . . . . . 7 e simtrica . . . . . . . . . . . . . . . . . . 30 e transitiva. . . . . . . . . . . . . . . . . . .1 relao de ordem ca lexicogrca . . . . . . . . . . . . . . . 38 a na reta estendida . . . . . . . . . . . 1 total . . . . . . . . . . . . . . . . . . . . . . . 1 reta estendida . . . . . . . . . . . . . . . . . . 1 Boreleanos da . . . . . . . . . . . . . 39 retngulo a a rea de . . . . . . . . . . . . . . . . . . . . . 8 Riemann integral de . . . . . . . . . . . . . . . . 67 integral imprpria de . . . . . . 70 o integral inferior de . . . . . . . . 67 integral superior de . . . . . . . 67 integrvel . . . . . . . . . . . . . . . . . 67 a soma inferior de . . . . . . . . . . . 65 soma superior de . . . . . . . . . . 65 S segmento de reta . . . . . . . . . . . . . 100 seqncia ue R convergente em I . . . . . . . . . . 4 -lgebra . . . . . . . . . . . . . . . . . . . . . . 18 a de Borel . . . . . . . . . . . . . . . . . . 18 de I . . . . . . . . . . . . . . . . . . .39 R. gerada por uma coleo ca de conjuntos . . . . . . . . . . 18 induzida num subconjunto 42 simplexo . . . . . . . . . . . . . . . . . . . . . 101 padro . . . . . . . . . . . . . . . . . . . . 87 a soma de funes . . . . . . . . . . . . . 44, 45 co de uma fam . . . . . . . . . . . . . 5 lia inferior de Riemann . . . . . . . 65 na reta estendida . . . . . . . . . . . 2 superior de Riemann . . . . . . 65 sub-bloco determinado por uma partio . . . . . . . . . . . 8 ca sub-intervalo

determinado por uma partio . . . . . . . . . . . 8 ca subespao c de um espao mensurvel. .42 c a subgrafo cheio . . . . . . . . . . . . . . . . . . . . . . 31 supremo . . . . . . . . . . . . . . . . . . . . . . . . 2 T teorema da convergncia dominada . 63 e da convergncia monote o nica . . . . . . . . . . . . . . . 54, 61 da funo inversa . . . . . . . . 101 ca de Baire . . . . . . . . . . . . . . . . . . 37 de FubiniTonelli. . . . . . . . . .77 de mudana de variveis. . .93 c a fundamental do clculo . . . . 85 a Tonelli teorema de . . . . . . . . . . . . . . . . 77 transformao ca elementar . . . . . . . . . . . . . . . . . 92 transitividade . . . . . . . . . . . . . . . . . . 1 translao . . . . . . . . . . . . . . . . . . 6, 12 ca tricotomia . . . . . . . . . . . . . . . . . . . . . . 2 V valor mdio e desigualdade do . . . . . . . . . . 100 vrtices e adjacentes. . . . . . . . . . . . . . . . .31 de um grafo . . . . . . . . . . . . . . . 31 volume . . . . . . . . . . . . . . . . . . . . . . . . . 8