Escolar Documentos
Profissional Documentos
Cultura Documentos
alise
Matem
atica I
Daniel V. Tausk
Sum
ario
Captulo 1.
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
2.1.
2.2.
2.3.
2.4.
2.5.
2.6.
Riemann x Lebesgue..................................................... 65
2.7.
3.3.
3.4.
SUMARIO
A.2.
iv
CAPITULO 1
1.1. ARITMETICA
NA RETA ESTENDIDA
1.1. ARITMETICA
NA RETA ESTENDIDA
a = b + c = a c = b
s
ao v
alidas apenas quando c IR. A implicacao:
a < b = a + c < b + c
e tambem apenas v
alida para c IR e a implicacao:
a < b = ac < bc
e valida apenas para 0 < c < +.
1.1.1. Limites de seq
u
encias na reta estendida. Limites de seq
uencias em IR podem ser definidos atraves da introducao de uma topologia
em IR (veja Exerccio 1.8). Para o leitor nao familiarizado com a nocao de
espaco topologico, definimos a nocao de limite de seq
uencia em IR diretamente.
o. Seja (ak )k1 uma seq
1.1.6. Definic
a
uencia em IR. Dizemos que
(ak )k1 converge para um elemento a IR e escrevemos ak a se uma das
situacoes abaixo ocorre:
a IR e para todo > 0 existe k0 1 tal que ak ]a , a + [
para todo k k0 ;
a = + e para todo M < + existe k0 1 tal que ak > M para
todo k k0 ;
a = e para todo M > existe k0 1 tal que ak < M para
todo k k0 .
1.1. ARITMETICA
NA RETA ESTENDIDA
k1 rk
k1 rk
Temos a seguinte:
o. Seja (ak )k1 uma seq
1.1.10. Proposic
a
uencia em IR. Ent
ao:
lim inf ak lim sup ak ,
k
1.1. ARITMETICA
NA RETA ESTENDIDA
ai = sup
iI
iF
iI
ai
ai = lim
i=1
ai .
i=1
ai +
iI
bi ;
iI
ai ;
iI
ai ;
iI
iI
a .
iI
Ji
jJ
aij =
(i,j)IJ
aij ,
jJ
iI
An =
n=1
(An );
n=1
Ak =
k=1
(Ak );
k=1
(f) se A B IR ent
ao (A) (B);
(g) dados a, b IR com a b ent
ao [a, b] < +.
o.
Demonstrac
a
Prova de (d).
Tome A1 = [0, 1] e An = para n 2 na propriedade (a) e use a
propriedade (c).
Prova de (e).
Tome Ak = para k > n e use as propriedades (a) e (d).
Prova de (f).
Basta observar que a propriedade (e) implica que:
(B) = (A) + (B \ A),
onde (B \ A) 0.
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[ =
[a + k, a + k + 1[
k=0
n1
[a + k, a + k + 1] ,
k=0
para todos x, y [0, 1]. E facil ver que e uma relacao de equivalencia em
[0, 1]. Seja A [0, 1] um conjunto escolha para , i.e., A possui exatamente
um elemento de cada classe de equivalencia. Temos entao que x y Q,
para todos x, y A com x = y. Em particular, os conjuntos (A + q)qQ sao
dois a dois disjuntos. Note tambem que para todo x [0, 1] existe y A
com x y Q; na verdade, temos x y Q [1, 1], ja que x, y [0, 1].
Segue entao que:
[0, 1]
(A + q) [1, 2].
qQ[1,1]
(A + q) =
qQ[1,1]
(A) [1, 2] .
qQ[1,1]
B=
i=1
|B| =
|b|.
bP
|B| = |B |(bn an ) =
|b |
b P
(ti+1 ti ) =
i=0
b P
i=0,...,k1
b [ti , ti+1 ] .
P r.
r=1,...,t
|Br |>0
|B| =
|b|
bP
r=1,...,t
|Br |>0
|b| =
bP r
|Br |.
r=1
10
onde:
(1.4.1)
C(A) =
|Bk | : A
k=1
para todo k 1 .
temos A
k=1 |Bk | = |B| < +. Verek=1 Bk e portanto m (A)
mos logo adiante (Corolarios 1.4.6 e 1.4.7) que a recproca dessa afirmacao
nao e verdadeira, i.e., subconjuntos de IRn com medida exterior finita nao
precisam ser limitados.
1.4.3. Lema. Se B IRn e um bloco retangular n-dimensional ent
ao:
m (B) = |B|,
ou seja, a medida exterior de um bloco retangular n-dimensional coincide
com seu volume.
o. Tomando B1 = B e Bk = para k 2, obtemos
Demonstrac
a
uma cobertura (Bk )k1 de B por blocos retangulares com
k=1 |Bk | = |B|;
isso mostra que m (B) |B|. Para mostrar a desigualdade oposta, devemos
escolher uma cobertura arbitraria B
k=1 Bk de B por blocos retangulares
|B
|.
Seja
dado > 0 e seja para cada k 1,
Bk e mostrar que |B|
k
k=1
Bk um bloco retangular n-dimensional que contem Bk no seu interior e tal
que |Bk | (1 + )|Bk |. Os interiores dos blocos Bk , k 1, constituem entao
uma cobertura aberta do compacto B e dessa cobertura aberta podemos
extrair uma subcobertura finita; existe portanto t 1 tal que B tk=1 Bk .
Usando o Lema 1.3.5 obtemos:
t
|B|
|Bk | (1 + )
k=1
|Bk | (1 + )
k=1
|Bk |.
k=1
11
1.4.5. Lema. Se A1 , . . . , At s
ao subconjuntos de IRn ent
ao:
t
m (Ak ).
Ak
k=1
k=1
m (Ak ).
Ak
k=1
k=1
m ()
o. Como
Demonstrac
a
= 0, tomando Ak = para k > t, podemos considerar apenas o caso de uma seq
uencia infinita de subconjuntos de
j
n
IR . Seja dado > 0. Para cada k 1 existe uma cobertura Ak
j=1 Bk
de Ak por blocos retangulares n-dimensionais Bkj de modo que:
|Bkj | m (Ak ) +
j=1
.
2k
Da (Bkj )k,j1
Ak
k=1
|Bkj |
k=1 j=1
m (Ak ) + k
2
k=1
k=1 Ak
por blocos
m (Ak ) + .
=
k=1
k=1 Bk ,
12
(1.4.3)
m (U ) m
Bk
k=1
|Bk |
m (Bk ) =
k=1
k=1
+
2
|Bk | +
k=1
2k+1
|Bk | m (A) + .
k=1
Note que n
ao podemos concluir do Lema 1.4.12 que m (U \ A) ,
nem mesmo se m (A) < +; quando A tem medida exterior finita, o Corolario 1.4.9 nos garante que m (U ) m (A) m (U \ A), mas veremos
adiante que e possvel que a desigualdade estrita ocorra.
13
m (U \ A) < .
o. Obviamente, todo aberto em IRn e mensuravel;
1.4.14. Observac
a
de fato, se A IRn e aberto, podemos tomar U = A na Definicao 1.4.13,
para todo > 0.
1.4.15. Lema. A uni
ao de uma colec
ao enumer
avel de subconjuntos mensur
aveis de IRn e mensur
avel.
o. Seja (Ak )k1 uma seq
Demonstrac
a
uencia de subconjuntos mensuraveis de IRn . Dado > 0 entao, para cada k 1, podemos encontrar um
aberto Uk contendo Ak tal que m (Uk \ Ak ) < 2k . Tomando U =
k=1 Uk
entao U e aberto, U contem A =
A
e:
k=1 k
m (U \ A) m
m (Uk \ Ak ) <
(Uk \ Ak )
k=1
k=1
IRn
k=1
= .
2k
n
2 2 . Dados x IRn
entre os pontos x, y IRn , i.e., d(x, y) =
i=1 (xi yi )
n
e um subconjunto nao vazio A IR denotamos por d(x, A) a dist
ancia
entre x e A definida por:
(1.4.4)
m (A1 ) + m (A2 )
|Bk |.
k=1
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 particao
Pk de Bk de modo que os sub-blocos de Bk determinados por Pk tenham
todos diametro menor do que . Seja Pk1 (respectivamente, Pk2 ) o conjunto
dos sub-blocos de Bk determinados por Pk que interceptam A1 (respectivamente, interceptam A2 ). Um bloco de diametro menor do que nao pode
interceptar ambos os conjuntos A1 e A2 e portanto Pk1 e Pk2 sao subconjuntos
disjuntos de Pk . Segue do Lema 1.3.3 que:
|b| +
(1.4.5)
bPk1
|b| |Bk |.
bPk2
Como A1
cao formada pelos blocos Bk com
k=1 Bk , temos que a cole
|Bk | = 0 e pelos blocos pertencentes a Pk1 para algum k com |Bk | > 0 constitui uma cobertura enumeravel de A1 por blocos retangulares n-dimensionais;
logo:
m (A1 )
(1.4.6)
|b|.
k1 bP 1
k
|Bk |>0
Similarmente:
m (A2 )
(1.4.7)
|b|.
k1 bP 2
k
|Bk |>0
Br m
r=1
r=1
m (Br ) =
Br =
r=1
|Br | (1 )
r=1
|Br |.
r=1
15
Br
r=1
|Br |.
r=1
|Br |.
Br =
r=1
r=1
Br m
r=1
r=1
|Br |,
Br =
r=1
Br
r=1
|Br |.
r=1
a1 a1 +1
, 2k
2k
an an +1
, 2k
2k
: a1 , . . . , an Z .
16
k=1
k=1
k=1
Bk m (U ).
Bk = m K
|Bk | = m (K) + m
m (K) +
m (K)
< + e portanto
|Bk | m (U ) m (K) .
k=1
k=1 |Bk |
e, finalmente, o
17
n
o. Se F IRn e fechado entao F =
e
Demonstrac
a
k=1 F [k, k]
uma uniao enumeravel de compactos. A conclusao segue do Lema 1.4.15.
e um G que contem
A tal que m (Uk \A) < k1 . Da o conjunto Z =
k=1 Uk
A e:
1
m (Z \ A) m (Uk \ A) < ,
k
para todo k 1. Logo m (Z \ A) = 0.
rio. O complementar de um subconjunto mensur
1.4.29. Corola
avel de
IRn tambem e mensur
avel.
o. Seja A IRn um subconjunto mensuravel. Pelo LeDemonstrac
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 e de tipo F e portanto mensuravel, pelo Corolario 1.4.27. A
conclusao segue dos Lemas 1.4.15 e 1.4.16.
rio. Se A IRn e mensur
1.4.30. Corola
avel ent
ao para todo > 0
existe um subconjunto fechado F IRn contido em A tal que m (A \ F ) < .
o. Pelo Corolario 1.4.29, Ac e mensuravel e portanto
Demonstrac
a
existe um aberto U IRn contendo Ac tal que m (U \ Ac ) < . Tomando
F = U c entao F e fechado e F A. Como A \ F = U \ Ac , segue que
m (A \ F ) < .
rio. Se A IRn e mensur
1.4.31. Corola
avel ent
ao existe um subconn
18
A.
k=1 k
19
c
c c A.
Ak A para todo k 1 e portanto k=1 Ak =
k=1 Ak
rio. A intersec
1.4.38. Corola
ao de uma colec
ao enumer
avel de subconn
juntos mensur
aveis de IR e mensur
avel e a diferenca de dois subconjuntos
mensur
aveis de IRn e mensur
avel.
o. Segue do Teorema 1.4.34 e do Lema 1.4.37.
Demonstrac
a
1.4.39. Lema. Para todo A IRn com m (A) < + e para todo > 0
existe um subconjunto limitado A0 A tal que:
m (A) m (A0 ) m (A \ A0 ) < .
Alem do mais, se A e mensur
avel, podemos escolher o conjunto A0 tambem
mensur
avel.
o. Pelo Lema 1.4.12 existe um aberto U IRn contendo
Demonstrac
a
|Bk | = m (U ) < +;
portanto a serie
k=1
e
k=1 |Bk |
|Bk | < .
k=t+1
t
Seja A0 = A
e limitado. Note que se
k=1 Bk . Temos que A0 A e A0
A e mensuravel entao A0 tambem e mensuravel. Como A
k=1 Bk segue
m (A \ A0 ) m
Bk
k=t+1
|Bk | < .
k=t+1
20
(1.4.8)
m (Ar ).
Ar =
r=1
r=1
(1.4.9)
m (Ar ).
Ar =
r=1
r=1
Ar m
r=1
r=1
m (Kr ) >
Kr =
r=1
m (Ar )
r=1
t
m (Ar ) .
=
r=1
m (Ar ).
Ar
r=1
r=1
Ar m
r=1
m (Ar ),
Ar =
r=1
r=1
m (Ar ).
Ar
r=1
r=1
21
(1.4.10)
Ak =
k=1
(Ak ).
k=1
22
k=1 Bk =
k=1 Ak ; logo:
(1.4.11)
Ak =
k=1
Bk =
k=1
(Bk ).
k=1
k=1
(Ak ) (Ak1 )
(Bk ) =
k=1
k=1
= lim (Ar ).
r
O item (a) segue entao de (1.4.11) e (1.4.12). Passemos `a prova do item (b).
Se (A1 ) < + entao (Ak ) < + para todo k 1. Como (A1 \ Ak )k1
e uma seq
uencia de elementos de A e (A1 \ Ak )
(A1 \ A), segue do item
(a) que:
lim (A1 \ Ak ) = (A1 \ A).
k
o. Um envelope mensur
1.4.49. Definic
a
avel de um subconjunto A de
e um subconjunto mensuravel E de IRn tal que A E e m (A) = m(E).
23
m (Ak ).
Ak =
k=1
k=1
m (Ak ).
Ak =
k=1
k=1
A desigualdade m
k=1 Ak
m (Ak ).
m(Ek )
Ek =
k=1
k=1
k=1
k=1 m (Ak )
k=1
m (A) = m (A E) + m (A E c ).
(Zk E c ).
k1
24
Logo m (A) supr1 m(Kr ) = + = m (A). Suponha agora que as medidas interior e exterior de A sao iguais e finitas e mostremos que A e
25
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 conclusao segue.
rio. Se A IRn e mensur
1.4.58. Corola
avel ent
ao:
m(A) = sup m(K) : K A, K compacto .
1.4.59. Lema. Seja E IRn um subconjunto mensur
avel e sejam A1 ,
A2 tais que E = A1 A2 e A1 A2 = . Ent
ao:
m(E) = m (A1 ) + m (A2 ).
o. Seja K IRn um subconjunto compacto de A2 . Da
Demonstrac
a
A1 E \ K. Alem do mais, K e E \ K sao subconjuntos disjuntos mensuraveis de E com E = K (E \ K) e portanto:
m(E) = m(E \ K) + m(K) m (A1 ) + m(K).
Tomando o supremo com respeito a todos os subconjuntos compactos K de
A2 obtemos:
m(E) m (A1 ) + m (A2 ).
Para provar a desigualdade oposta, seja Z um envelope mensuravel de A1 .
Da E \ Z e um subconjunto mensuravel de A2 , donde:
m(E \ Z) = m (E \ Z) m (A2 ),
pelo Lema 1.4.57 e pelo resultado do Exerccio 1.26. Alem do mais, E Z e
E \Z sao subconjuntos disjuntos mensuraveis de E com E = (E Z)(E \Z)
e portanto:
m(E) = m(E Z) + m(E \ Z) m(E Z) + m (A2 ).
Como A1 E Z Z, conclumos que m (A1 ) = m(E Z), o que mostra
que m(E) m (A1 ) + m (A2 ) e completa a demonstracao.
26
Note que a < c < d < b, de modo que (I, ; 0) e (I, ; 1) sao dois intervalos
fechados e limitados disjuntos de comprimento positivo contidos em I; mais
especificamente:
1
(|I| ).
2
Dados um intervalo fechado e limitado I de comprimento positivo, um inteiro
n 1, escalares positivos 1 , . . . , n com ni=1 i < |I| e 1 , . . . , n {0, 1},
vamos definir um intervalo limitado e fechado I, (i )ni=1 ; ( i )ni=1 tal que:
(I, ; 0) = (I, ; 1) =
(1.5.2)
1
= n |I|
2
I, (i )ni=1 ; ( i )ni=1
i > 0.
i=1
n+1
I, (i )n+1
i=1 ; ( i )i=1
1
2n+1
n+1
|I|
i > 0.
i=1
Segue entao por inducao que temos uma famlia de intervalos fechados e
limitados I, (i )ni=1 ; ( i )ni=1 satisfazendo (1.5.2).
Fixemos entao um intervalo fechado e limitado I de comprimento positivo e uma seq
uencia (i )i1 de escalares positivos tal que
i=1 i |I|. Note
n
que i=1 i < |I|, para todo n 1. Para simplificar a notacao, escrevemos:
I( ) = I( 1 , . . . ,
n)
= I, (i )ni=1 ; ( i )ni=1 ,
I I( 1 ) I( 1 ,
2)
I( 1 , . . . ,
n)
27
k)
= (J, k ;
k ),
I( 1 , . . . ,
k)
= (J, k ;
k ).
Kn =
{0,1}n
m(Kn ) = |I|
(1.5.4)
i .
i=1
o. O conjunto K =
e chamado o conjunto de
1.5.1. Definic
a
n=1 Kn
Cantor determinado pelo intervalo fechado e limitado I e pela seq
uencia
|I|.
(i )i1 de escalares positivos com
i
i=1
Para cada seq
uencia ( i )i1 em {0, 1} temos que (1.5.3) e uma seq
uencia
decrescente de intervalos fechados e limitados cujos comprimentos tendem
a zero; de fato:
I( 1 , . . . ,
(1.5.5)
n)
1
|I|
2n
i
i=1
1
|I| 0.
n
2n
Pelo princpio dos intervalos encaixantes, existe exatamente um ponto pertencente `a intersecao de todos os intervalos em (1.5.3). Definimos entao uma
aplicacao:
: {0, 1} =
{0, 1}
= ( i )i1 ( ) K,
i=1
de modo que:
(1.5.6)
I( 1 , . . . ,
n)
= ( ) ,
n=1
i |I|.
i=1
28
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 21n |I| ni=1 i . Segue de (1.5.5) que nenhum intervalo de
comprimento positivo pode estar contido em Kn para todo n 1. Logo
K=
ao pode conter um intervalo aberto nao vazio.
n=1 Kn n
Prova de (d).
facil ver que a funcao definida em (1.5.6) e bijetora. A conclusao
E
segue do fato bem conhecido que {0, 1} tem a mesma cardinalidade
de IR.
Prova de (e).
Seja x K. Como e bijetora, existe {0, 1} tal que x = ( ).
Escolhendo {0, 1} com = e ( 1 , . . . , n ) = ( 1 , . . . , n ) entao
( ) e um ponto de K distinto de x. Alem do mais, ( ) e x ambos
pertencem ao intervalo I( 1 , . . . , n ) e portanto:
1
x ( ) I( 1 , . . . , n ) = n |I|
2
i
i=1
1
|I|.
2n
MENSURAVEIS
29
subconjunto compacto de IR com interior vazio e medida de Lebesgue positiva. Na verdade, para todo > 0 podemos escolher os escalares i com
(A + q) [1, 2]n .
qQn [1,1]n
Usando o Lema 1.4.10 e o resultado do Exerccio 1.10, vemos que a mensurabilidade de A implicaria em:
0 < 1 = m [0, 1]n
qQn [1,1]n
m U (U + x) m(U ) + .
1
k
MENSURAVEIS
30
MENSURAVEIS
31
MENSURAVEIS
32
y tem a mesma paridade. De fato, se (xi )pi=0 e (xi )qi=0 sao caminhos em G
comecando em x e terminando em y entao:
x = x0 , x1 , . . . , xp = y = xq , xq1 , . . . , x0 = x,
e um circuito em G de comprimento p + q. Logo p + q e par e portanto
p e q possuem a mesma paridade. Fixamos agora um vertice x0 V e
definimos f : V {0, 1} fazendo f (x) = 0 se todo caminho comecando em
x0 e terminando em x tem comprimento par e f (x) = 1 se todo caminho
facil ver
comecando em x0 e terminando em x tem comprimento mpar. E
que f e um 2-colorimento para G.
o. Seja S um subconjunto de IRn que nao contem a ori1.6.10. Definic
a
gem. O grafo de Cayley associado ao par (IRn , S), denotado por G(IRn , S),
e o grafo (V, E) tal que V = IRn e:
E = (x, y) IRn IRn : x y S ou y x S .
1.6.11. Lema. Seja S um subconjunto de IRn que n
ao contem a origem.
O grafo de Cayley G(IRn , S) e 2-colorvel se e somente se S possui a seguinte
propriedade:
() dados s1 , . . . , sk S e n1 , . . . , nk Z com
k
e par.
i=1 ni
k
i=1 ni si
= 0 ent
ao
p1
(xi+1 xi ) = xp x0 = 0
ni si =
i=0
i=0
p1
e logo p1
e par. Mas p1
i=0 ni
i=0 |ni | tem a mesma paridade que
i=0 ni e
p1
n
portanto i=0 |ni | = p e par. Reciprocamente, suponha que G(IR , S) nao
possui circuito de comprimento mpar e mostremos que S possui a propriedade (). Sejam s1 , . . . , sk S e n1 , . . . , nk Z com ki=1 ni si = 0. Escreva
si = si se ni 0 e si = si se ni < 0, de modo que ni si = |ni |si e si S ou
si S, para todo i = 1, . . . , k. Temos que ki=1 |ni |si = 0, ou seja:
(1.6.2) s1 + s1 + + s1 + s2 + s2 + + s2 + +sk + sk + + sk = 0.
|n1 | termos
|n2 | termos
|nk | termos
k
Sejam p =
i=1 |ni |, x0 = 0 e, para j = 1, 2, . . . , p, seja xj a soma dos
primeiros j termos da soma que aparece do lado esquerdo da identidade
(1.6.2). Temos que (xj )pj=0 e um circuito em G(IRn , S) de comprimento p
k
i=1 |ni |
33
k
i=1 ni
tem a mesma
1
m
B = B [0, 1]n ,
34
Exerccio 1.3. Dadas famlias (ai )iI e (bj )jJ em IR tais que a soma
ai + bj e bem definida para todos i I, j J, mostre que:
sup ai + bj : i I, j J = sup ai + sup bj ,
iI
jJ
desde que a soma supiI ai + supjJ bj esteja bem definida. Mostre tambem
que:
inf ai + bj : i I, j J = inf ai + inf bj ,
iI
jJ
lim ak
lim bk .
a, b IR, a < b,
[, a[ ,
a IR, a > ,
]a, +] ,
a IR, a < +,
,
se x = 1,
x
, se x ]1, 1[,
f (x) =
1 x2
+,
se x = 1,
e um homeomorfismo.
Mostre que uma seq
uencia (ak )k1 em IR converge para um elemento a IR com respeito `a topologia introduzida acima se e somente
se (ak )k1 converge para a de acordo com a Definicao 1.1.6.
Mostre que a funcao D+ (a, b) a + b IR e contnua, onde:
D+ = ( IR IR ) \ (, +), (+, )
e munido da topologia induzida pela topologia produto de IR IR.
Mostre que a funcao IR IR (a, b) ab IR e contnua, exceto
nos pontos (+, 0), (, 0), (0, +) e (0, ).
35
B = (A \ B) (B \ A).
B).
36
uma seq
uencia de elementos de A. Mostre que
k=1 (Ak ).
k=1 Ak
Exerccio 1.19. Seja (X, A, ) um espaco de medida e seja (Ak )k1 uma
seq
uencia de elementos de A tal que (Ak Al ) = 0, para todos k, l 1
37
I( ) =
i=1
a bijecao :
{0, 1}
= ( 1, . . . ,
2 i 1
,
+
3i 3n
n
i=1
( ) =
i=1
para todo
n)
= ( i )i1 {0, 1} .
2 i
,
3i
38
CAPITULO 2
Integrando Fun
c
oes em Espa
cos de Medida
2.1. Fun
c
oes Mensur
aveis
Recorde da Definicao 1.4.42 que um espaco mensuravel e um conjunto
X do qual destacamos uma certa colecao de subconjuntos A (X) (mais
precisamente, uma -algebra de partes de X) aos quais damos o nome de
mensuraveis. A palavra mensuravel nesse contexto nao indica que os
conjuntos possam ser medidos de alguma forma ou que estamos assumindo a
existencia de alguma medida nao trivial definida em A. Um mesmo conjunto
X admite em geral diversas -algebras; por exemplo, {, X} e (X) sao
sempre exemplos (triviais) de -algebras de partes de X. Portanto, o termo
mensuravel so deve ser usado quando uma -algebra especfica estiver
fixada pelo contexto. No conjunto IRn , temos dois exemplos importantes de
-algebras; a -algebra de Borel B(IRn ) e a -algebra M(IRn ) de conjuntos
Lebesgue mensuraveis. No que segue, precisaremos tambem introduzir uma
-algebra de Borel para a reta estendida IR; temos a seguinte:
o. Um subconjunto A IR e dito Boreleano quando
2.1.1. Definic
a
A IR for um Boreleano de IR.
facil ver que os subconjuntos Boreleanos de IR constituem de fato uma
E
-algebra de partes de IR. Tal -algebra sera chamada a -
algebra de Borel
de IR e sera denotada por B(IR).
A -algebra A de um espaco mensuravel (X, A) pode ser entendida
como uma estrutura que colocamos no conjunto subjacente X (assim como,
digamos, as operacoes de um espaco vetorial constituem uma estrutura no
conjunto subjacente). Devemos entao introduzir uma nocao de func
ao que
preserva a estrutura de um espaco mensuravel.
o. Sejam (X, A), (X , A ) espacos mensuraveis. Uma
2.1.2. Definic
a
func
ao mensur
avel f : (X, A) (X , A ) e uma funcao f : X X tal que
para todo conjunto E A temos que f 1 (E) pertence a A.
Em outras palavras, uma funcao e mensuravel se a imagem inversa de
conjuntos mensuraveis e mensuravel. Quando as -algebras em questao
estiverem subentendidas pelo contexto, nos referiremos apenas `a mensurabilidade da funcao f : X X , omitindo a mencao explcita a A e A .
O conjunto IRn aparecera com muita freq
uencia como domnio ou contradomnio de nossas funcoes e introduzimos abaixo uma convencao que evita a
necessidade de especificar a -algebra considerada em IRn em cada situacao.
39
2.1. FUNC
OES
MENSURAVEIS
40
E (X ) : f 1 (E) A
2.1. FUNC
OES
MENSURAVEIS
41
A|Y = E Y : E A ;
2.1. FUNC
OES
MENSURAVEIS
42
2.1. FUNC
OES
MENSURAVEIS
43
Prova de (c).
Se f0 e mensuravel entao f = i f0 e mensuravel, pelo Lema 2.1.9
e pelo item (a) acima. Reciprocamente, suponha que f e mensuravel.
Dado E1 A|Y , devemos mostrar que f01 (E1 ) (que e igual a f 1 (E1 ))
pertence a A . Mas E1 = E Y para algum E A e portanto, como
Im(f ) Y , temos f 1 (E1 ) = f 1 (E) A .
2.1.13. Lema. Sejam (X, A), (X , A ) espacos mensur
aveis e seja dada
X = iI Xi uma cobertura enumer
avel de X por conjuntos mensur
aveis
Xi A. Ent
ao uma func
ao f : X X e mensur
avel se e somente se
f |Xi : Xi X e mensur
avel para todo i I.
o. Se f e mensuravel entao f |Xi e mensuravel para todo
Demonstrac
a
i I, pelo Lema 2.1.12. Reciprocamente, suponha que f |Xi seja mensuravel
para todo i I. Dado E A , temos:
(f |Xi )1 (E) = f 1 (E) Xi A|Xi ,
para todo i I. Como Xi A, temos A|Xi = A (Xi ) e portanto
f 1 (E) Xi A, para todo i I. Como I e enumeravel segue que:
f 1 (E) =
f 1 (E) Xi A,
iI
Y \ IR = Y {+, } B(IR)|Y .
Segue do Lema 2.1.13 que f e Borel mensuravel se e somente se suas restricoes a Y \ IR e a Y IR sao Borel mensuraveis. Mas todos os quatro
subconjuntos de {+, } sao Boreleanos de IR e portanto a -algebra
induzida por B(IR)|Y em Y \ IR e (Y \ IR). Em particular, a restricao de f
a Y \IR e Borel mensuravel, seja qual for f : Y X. A conclusao segue.
2.1.15. Lema. Dado um subconjunto arbitr
ario Y IRm , ent
ao toda
n
func
ao contnua f : Y IR e Borel mensur
avel.
o. Pelo Corolario 2.1.6, e suficiente mostrar que:
Demonstrac
a
f 1 (U ) B(IRm )|Y ,
para todo aberto U IRn . Mas, como f e contnua, temos que f 1 (U ) e
aberto relativamente a Y , i.e., existe um aberto V IRm com:
f 1 (U ) = V Y ;
da V B(IRm ) e portanto f 1 (U ) = V Y B(IRm )|Y .
2.1. FUNC
OES
MENSURAVEIS
44
fi1 [ai , bi ] .
fi1
x f1 (x), . . . , fn (x) X
e mensur
avel.
o. Pelo Lema 2.1.16 e pelo item (c) do Lema 2.1.12 teDemonstrac
a
mos que a funcao (f1 , . . . , fn ) : X Y e mensuravel. A conclusao segue do
Lema 2.1.9.
Se f : X IRn , g : X IRn sao funcoes definidas num conjunto
arbitrario X entao, como e usual, definimos a soma f + g : X IRn
das funcoes f e g fazendo (f + g)(x) = f (x) + g(x), para todo x X;
para n = 1, podemos definir tambem o produto f g : X IRn fazendo
(f g)(x) = f (x)g(x), para todo x X.
rio. Seja (X, A) um espaco mensur
2.1.18. Corola
avel. Dadas func
oes
mensur
aveis f : X IRn , g : X IRn ent
ao:
a soma f + g : X IRn e uma func
ao mensur
avel;
se n = 1, o produto f g : X IR e uma func
ao mensur
avel.
o. As funcoes:
Demonstrac
a
IRn IRn
(x, y) x + y IRn
IR IR
(x, y) xy IR
2.1. FUNC
OES
MENSURAVEIS
45
f 1 ]0, +] g 1 (+) ,
f 1 () g 1 [, 0[
f 1 [, 0[ g 1 () ,
f 1 (+) g 1 [, 0[
f 1 [, 0[ g 1 (+) ,
f 1 () g 1 ]0, +]
f 1 ]0, +] g 1 () .
x, se x 0,
0, se x < 0,
x =
0,
x,
se x > 0,
se x 0.
2.1. FUNC
OES
MENSURAVEIS
46
|f | = f + + f ,
func
ao mensur
avel ent
ao as func
oes f , f e |f | tambem s
ao mensur
aveis.
o. Segue do Lema 2.1.15 e do Corolario 2.1.14 que as
Demonstrac
a
funcoes:
IR
x x+ IR,
IR
x x IR,
IR
x |x| IR
sao Borel mensuraveis; de fato, observe que suas restricoes a IR sao funcoes
contnuas. A conclusao segue do Lema 2.1.9.
2.1.22. Lema. Seja (X, A) um espaco mensur
avel e seja (fk )k1 uma
seq
uencia de func
oes mensur
aveis fk : X IR. Ent
ao as func
oes:
sup fk : X
x sup fk (x) IR
k1
inf fk : X
k1
k1
x inf fk (x) IR
k1
s
ao mensur
aveis.
o. Note que para todo x X temos supk1 fk (x) c se
Demonstrac
a
e somente se fk (x) c para todo k 1; logo:
fk1 [, c] A,
x X : sup fk (x) c =
k1
k=1
para todo c IR. Alem do mais, para todo x X, temos inf k1 fk (x) c
se e somente se para todo r 1 existe k 1 tal que fk (x) c + 1r ; logo:
fk1
x X : inf fk (x) c =
k1
, c +
1
r
A,
r=1 k=1
lim inf fk : X
k
s
ao mensur
aveis.
o. Basta observar que:
Demonstrac
a
lim sup fk = inf sup fk ,
k
r1 kr
r1 kr
2.1. FUNC
OES
MENSURAVEIS
47
x lim fk (x) IR
k
e mensur
avel.
o. Basta observar que:
Demonstrac
a
lim fk = lim inf fk = lim sup fk .
2.1.1. Fun
c
oes Simples.
o. Uma funcao e dita simples quando sua imagem e
2.1.25. Definic
a
um conjunto finito.
2.1.26. Lema. Seja X um conjunto e sejam f : X IR, g : X IR
func
oes simples.
se a soma f (x) + g(x) estiver bem definida para todo x X ent
ao
a func
ao f + g e simples;
o produto f g e uma func
ao simples.
o. A imagem de f + g esta contida no conjunto:
Demonstrac
a
a + b : a Im(f ), b Im(g) e a soma a + b esta bem definida ;
tal conjunto e obviamente finito. Similarmente, a imagem de f g esta contida
no conjunto finito {ab : a Im(f ), b Im(g) .
2.1.27. Lema. Sejam (X, A) um espaco mensur
avel e f : X IR uma
func
ao simples. Ent
ao f e mensur
avel se e somente se f 1 (c) A para
todo c Im(f ).
o. Se f e uma funcao mensuravel entao f 1 (c) A
Demonstrac
a
para todo c Im(f ), ja que {c} e um Boreleano de IR. Reciprocamente,
se f 1 (c) A para todo c Im(f ) entao a mensurabilidade de f segue do
Lema 2.1.13, ja que:
X=
f 1 (c)
cIm(f )
2.1. FUNC
OES
MENSURAVEIS
48
ci Ai : X IR
(2.1.3)
i=1
e simples e mensuravel, desde que esteja bem definida (i.e., desde que nao
ocorra Ai Aj = com ci = + e cj = ). De fato, isso segue da
Proposicao 2.1.19, do Lema 2.1.26 e da Observacao 2.1.29. Reciprocamente,
se f : X IR e uma funcao simples e mensuravel, podemos escreve-la na
forma (2.1.3), com Ai A e ci IR, i = 1, . . . , k. De fato, basta tomar
Ai = f 1 (ci ), onde c1 , . . . , ck sao os elementos (distintos) do conjunto finito
Im(f ). Note que os conjuntos Ai assim construdos constituem uma particao
de X.
2.1.31. Lema. Sejam (X, A) um espaco mensur
avel, f : X IR uma
func
ao e Y A. Ent
ao:
(a) f |Y e mensur
avel se e somente se f Y e mensur
avel;
(b) f |Y e simples se e somente se f Y e simples.
o. Temos X = Y Y c , com Y, Y c A; alem do mais,
Demonstrac
a
f |Y = (f Y )|Y e (f Y )|Y c 0. Tendo em mente essas observacoes, o item
(a) segue do Lema 2.1.13. O item (b) segue da igualdade:
f (Y ) \ {0} = Im(f Y ) \ {0}.
o. Seja (fk )k1 uma seq
2.1.32. Notac
a
uencia de funcoes fk : X IR
e seja f : X IR uma funcao, onde X e um conjunto arbitrario. Escrevemos fk
f quando fk (x) fk+1 (x) para todo x X e todo k 1 e
limk fk (x) = f (x) para todo x X. Similarmente, escrevemos fk
f
quando fk (x) fk+1 (x) para todo x X e todo k 1 e limk fk (x) =
f (x) para todo x X.
o. Sejam (X, A) um espaco mensur
2.1.33. Proposic
a
avel. Para toda
func
ao mensur
avel f : X [0, +] existe uma seq
uencia (fk )k1 de func
oes
simples e mensur
aveis fk : X [0, +[ tal que fk
f.
o. Para cada k 1 particionamos o intervalo [0, k[ em
Demonstrac
a
intervalos disjuntos de comprimento 21k ; mais explicitamente, consideramos
os intervalos:
(2.1.4)
r r+1
,
2k 2k
r = 0, 1, . . . , k2k 1.
NEGATIVAS
2.2. INTEGRANDO FUNC
OES
SIMPLES NAO
49
fk = k
f 1
[k,+]
r=0
2k f 1
r r+1
,
2k 2k
(2.1.5)
(2.1.6)
A integral
c f 1 (c) .
cIm(f )
NEGATIVAS
2.2. INTEGRANDO FUNC
OES
SIMPLES NAO
50
f d =
Y
f Y d.
o. Temos:
Demonstrac
a
f d =
Y
c (f |Y )1 (c) =
cf (Y )
f Y d =
c (f |Y )1 (c) ,
cf (Y )
c=0
c (f Y )1 (c) =
cIm(f Y )
c (f Y )1 (c) .
cIm(f Y )
c=0
(2.2.1)
ci Ai d =
X i=1
ci (Ai ).
i=1
f 1 (c) =
Ai
i=1
ci =c
NEGATIVAS
2.2. INTEGRANDO FUNC
OES
SIMPLES NAO
51
e portanto:
k
f 1 (c) =
(Ai ).
i=1
ci =c
Logo:
k
f d =
X
c f
c f
(c) =
(c) =
c(Ai )
cIm(f ) i=1
c=0 ci =c
cIm(f )
c=0
cIm(f )
ci (Ai ) =
cIm(f ) i=1
c=0 ci =c
ci (Ai ),
i=1
onde na u
ltima igualdade usamos o fato que o conjunto {1, . . . , k} e uniao
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, +] func
oes simples
e mensur
aveis. Ent
ao:
f + g d =
f d +
g d.
o. Podemos escrever:
Demonstrac
a
k
f=
ci Ai ,
g=
i=1
dj Bj ,
j=1
Bj = 1
j=1
e portanto:
l
Ai Bj =
Ai =
j=1
Ai Bj ,
j=1
(2.2.2)
f=
ci Ai Bj .
i=1 j=1
(2.2.3)
ci (Ai Bj ).
f d =
X
i=1 j=1
NEGATIVAS
2.2. INTEGRANDO FUNC
OES
SIMPLES NAO
52
(2.2.4)
g=
dj Bj Ai
j=1 i=1
e portanto:
l
(2.2.5)
dj (Bj Ai ).
g d =
X
j=1 i=1
f +g =
(ci + dj )Ai Bj ;
i=1 j=1
(2.2.6)
(ci + dj )(Ai Bj ).
f + g d =
X
i=1 j=1
ci Ai d =
X i=1
ci (Ai ).
i=1
ci Ai d =
X i=1
ci Ai d =
i=1
ci (Ai ).
i=1
g d.
X
NEGATIVAS
2.3. INTEGRANDO FUNC
OES
MENSURAVEIS
NAO
53
ja que
h d
f d +
g d =
f d,
X
h d 0.
f d.
X
o. Escreva:
Demonstrac
a
k
f=
ci Ai ,
i=1
cf =
cci Ai .
i=1
cf d =
X
cci (Ai ) = c
i=1
ci (Ai ) = c
f d.
X
i=1
tal que f
[0, +].
NEGATIVAS
2.3. INTEGRANDO FUNC
OES
MENSURAVEIS
NAO
54
f (x) d(x).
X
f d =
Y
g d.
X
n X
fn d.
n X
fn d
f d.
X
lim
n X
fn d
d,
X
NEGATIVAS
2.3. INTEGRANDO FUNC
OES
MENSURAVEIS
NAO
55
fn
ci Ani ;
i=1
ci (Ani ).
fn d
(2.3.3)
X
i=1
Note que para todo x Ai temos f (x) (x) = ci > ci e portanto, como
fn
f , temos que Ani
Ai . O Lema 1.4.48 nos da entao:
lim (Ani ) = (Ai );
(2.3.4)
lim
n X
fn d
ci (Ai ).
i=1
(2.3.5)
lim
n X
fn d
ci,m (Ai ),
i=1
lim
n X
fn d
ci (Ai ) =
d,
X
i=1
f Y d.
fn Y d,
56
f d,
X
para todo Y A.
o. Temos:
Demonstrac
a
f d =
Y
f Y d
f d,
X
onde na u
ltima desigualdade usamos o Lema 2.3.2.
2.3.6. Lema. Sejam f : X [0, +], g : X [0, +] func
oes mensur
aveis. Ent
ao:
X
f d,
cf d = c
g d,
f d +
f + g d =
X
fn d +
X
gn d,
X
cfn d = c
X
fn d.
X
Temos (fn + gn )
(f + g) e (cfn )
(cf ) (veja Lema 1.1.8 e Exerccio 1.5).
A conclusao segue portanto do Teorema 2.3.3 fazendo n nas igualdades
acima.
2.4. Defini
c
ao da Integral: o Caso Geral
Ao longo de toda esta secao consideramos fixado um espaco de medida
(X, A, ). Dada uma funcao mensuravel arbitraria f : X IR entao, como
vimos no Lema 2.1.21, temos f = f + f , onde a parte positiva f + e a
parte negativa f de f sao funcoes mensuraveis nao negativas definidas em
X. Obviamente, se f ja e nao negativa entao f + = f e f = 0, de modo que
+
cao, introduzimos
X f d = X f d X f d. Em vista dessa observa
a seguinte:
o. Diremos que uma funcao f : X IR e quase inte2.4.1. Definic
a
gr
avel quando f for mensuravel e a diferenca X f + d X f d estiver
bem-definida, ou seja, quando X f + d < + ou X f d < +; nesse
caso, definimos a integral de f fazendo:
X
f d IR.
f + d
f d =
X
57
f (x) d(x).
Y
f dm =
a
f (x) dm(x)
a
def
f (x) dm(x) =
f dm =
a
f.
f dm =
a
f (x) dm(x)
a
def
f (x) dm(x) =
f dm =
+
f dm.
a
58
f (x) dm(x)
f dm =
def
f (x) dm(x) =
f dm =
f dm.
f Y d.
(f |Y ) = f |Y ,
(f Y ) = f Y .
e f2 = f + h.
o. Observe em primeiro lugar que f + f1 . De fato, se
Demonstrac
a
+
f (x) 0 entao f (x) = f (x) = f1 (x) f2 (x) f1 (x) e se f (x) < 0 entao
f + (x) = 0 f1 (x). Definimos h fazendo:
+
1
f1 (x),
se x f 1 ().
Claramente h e nao negativa; a mensurabilidade de h segue do Lema 2.1.13
e da Proposicao 2.1.19. Verifiquemos que f1 = f + + h e f2 = f + h. Para
x f 1 (IR), temos:
f + (x) + h(x) = f + (x) + f1 (x) f + (x) = f1 (x),
f (x) + h(x) = f (x) + f1 (x) f + (x) = f1 (x) f (x) = f2 (x).
59
Se x f 1 (+) entao:
f + (x) + h(x) = + = f1 (x),
finalmente, se x f 1 ():
f + (x) + h(x) = h(x) = f1 (x),
f + g = (f + g) + h.
(2.4.1)
X
g + d =
X
f d +
(2.4.2)
X
(f + g)+ d +
X
g d =
X
h d,
X
(f + g) d +
X
h d.
X
f d,
f + d
f d =
X
g d.
g + d
g d =
X
cf + d = c
X
(cf ) d =
X
f + d,
f d.
cf d = c
X
cf d = c
(cf ) d =
f + d,
(c)f + d = (c)
X
f d. Se c < 0
f d,
(c)f d = (c)
(cf )+ d =
X
60
f d
g + d,
X
g d.
X
f d + +
f d +
X1
X2
f d
Xk
est
a bem definida ent
ao f e quase integr
avel e
soma (2.4.3).
f d e igual `
a
f d
f + d,
X
f d,
X
f Xi d,
2.5. TEOREMAS DE CONVERGENCIA
61
f d = 0. A conclusao
f d.
f d +
f d =
X\X
X\X
f d =
X
g d =
X
g d.
X
2.5. TEOREMAS DE CONVERGENCIA
62
lim
n X
gn d =
g d.
X
Note que como X f1 d > e X gn d 0, o item (a) da Proposicao 2.4.7 nos diz que fn = gn + f1 e quase integravel e:
(2.5.2)
fn d =
X
gn d +
X
f1 d;
X
X n
fn d;
X
lim sup
n
lim sup fn d.
X
kn X
fk d.
Claramente gn
(lim inf k fk ) e portanto a conclusao segue do item (a)
do Teorema 2.5.1, fazendo n na desigualdade acima.
o. Se (fn )n1 e uma seq
2.5.3. Notac
a
uencia de funcoes fn : X IR
e f : X IR e uma funcao entao 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 convergencia dominada). Seja (fn )n1 uma seq
uencia de func
oes mensur
aveis fn : X IR tal que fn f q. s., onde
f : X IR e uma func
ao mensur
avel. Se existe uma func
ao integr
avel
: X [0, +] tal que |fn | q. s. para todo n 1 ent
ao fn e integr
avel
para todo n 1, f e integr
avel e:
lim
n X
f d.
fn d =
X
fn d lim sup
X n
lim sup fn d =
X
Logo limn
fn d =
fn d
X
f d.
X
f d.
yy0
f (x, y) d(x) =
X
X yy0
g(y) =
X
2.5. TEOREMAS DE CONVERGENCIA
64
n X
fn d = lim g(yn ).
n
yy0
f (x, y) d(x) =
X
X yy0
f (x, y0 ) d(x),
X
y=y0
f (x, y) d(x) =
X
f
(x, y0 ) d(x).
y
f (x, y) d(x),
X
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| entao o Teorema do Valor
Medio nos da:
f
f (x, y0 + h) f (x, y0 )
=
(x, y0 + h) (x),
(2.5.5)
h
y
onde ]0, 1[. A conclusao segue da Proposicao 2.5.5 e de (2.5.4) e (2.5.5),
fazendo h 0 em (2.5.3).
(2.5.4)
lim
h0
s(f ; P ) =
bP
S(f ; P ) =
bP
Obviamente:
s(f ; P ) S(f ; P ),
(2.6.1)
MP =
Mais explicitamente, dado x B, se x pertence ao interior de algum subbloco b de B determinado por P entao o valor da funcao mP (resp., da
66
mP dm = s(f ; P ),
(2.6.2)
int(b);
bP
como a uniao das fronteiras dos blocos b P tem medida nula, segue que as
desigualdades em (2.6.3) valem para quase todo x B. Se Q e uma particao
de B que refina P entao afirmamos que:
(2.6.4) mP (x) mQ (x),
MQ (x) MP (x),
para todo x
int(b);
bQ
S(f ; Q) S(f ; P ).
67
(R)
(R)
(R)
f = (R)
f = (R)
f.
f (R)
(R)
f.
yB
d(y,x)<
yB
d(y,x)<
para todo x B.
Temos o seguinte:
2.6.6. Lema. Dado x B ent
ao m(x) = M (x) se e somente se f e
contnua no ponto x.
o. Suponha que f e contnua no ponto x. Dado > 0
Demonstrac
a
entao existe > 0 tal que f (x) < f (y) < f (x) + , para todo y B com
d(y, x) < . Da:
inf f (y) f (x) ,
yB
d(y,x)<
e portanto:
f (x) m(x) M (x) f (x) + .
Como > 0 e arbitrario, segue que m(x) = M (x). Reciprocamente, suponha
que m(x) = M (x); da, por (2.6.5), temos m(x) = f (x) = M (x). Portanto,
para todo > 0, existem 1 , 2 > 0 tais que:
inf f (y) > f (x) ,
yB
d(y,x)<1
68
Tome = min{1 , 2 } > 0; da, para todo y B com d(y, x) < , temos:
f (x) < f (y) < f (x) + ,
o que prova que f e contnua no ponto x.
Se P e uma particao de B, observamos que:
(2.6.6)
mP (x) m(x),
M (x) MP (x),
para todo x
int(b);
bP
yb
yb
yB
d(y,x)<1
Seja k0 tal que Pk < min{1 , 2 }, para todo k k0 . Vamos mostrar que:
(2.6.7)
yB
d(y,x)<1
yB
d(y,x)<2
69
rio. As func
2.6.8. Corola
oes m e M s
ao Lebesgue integr
aveis e:
m dm = (R)
f,
M dm = (R)
f.
f.
k B
mPk dm =
m dm.
B
f.
M dm.
B
m dm = (R)
B
f = (R)
f.
70
f.
(R)
a
f = lim
(R)
f,
(R)
a
desde que o limite acima exista em IR. Quando esse limite e finito, dizemos
que a integral impropria de f e convergente.
o. Seja f : [a, +[ IR uma func
2.6.12. Proposic
a
ao tal que para
todo u ]a, +[, a restric
ao de f ao intervalo [a, u] e limitada e Riemann
integr
avel. Ent
ao f e mensur
avel. Alem do mais, se f e Lebesgue quase
integr
avel ent
ao a integral impr
opria de Riemann de f existe em IR e:
+
(2.6.9)
f=
(R)
a
f dm.
a
(2.6.10)
un
f dm = (R)
a
f,
a
(2.6.11)
lim
n a
f dm =
f dm,
a
71
Fatou, temos:
+
f dm =
f [a,un ] dm
un
= lim inf
f dm.
un
a
+
f
a
un
f dm
+
n
un
f dm lim sup
f dm lim inf
f dm
f dm,
a
lim
n a
un
f + dm,
f + dm =
lim
n a
f dm =
f dm;
|f | dm 0.
ak =
k
f + dm =
(2.6.12)
0
ak ,
0
k=0
k par
Alem do mais:
n1
(1)k ak ,
f dm =
0
f dm =
k=0
ak .
k=1
k mpar
72
e portanto:
lim
f dm = lim
n 0
n1
n
n
(1)k ak .
(1) ak =
k=0
k=0
ak
ak+1 =
(k+1)
sen x
dm(x) =
x
(k+1)
=
k
(k+1)
k
sen(x + )
dm(x)
x+
sen x
dm(x)
x+
(k+1)
k
sen x
dm(x) = ak ;
x
(1)k ak = L IR.
k=0
(2.6.13)
lim
u+ 0
f dm = L.
L
k=0
(1)k ak < ,
2
an < ,
2
para todo n n0 . Dado u IR, u n0 , seja n n0 o maior inteiro tal
que n u; da n u < (n + 1) e:
u
(n+1)
(n+1)
f dm
f dm =
(n+1)
(1)k ak
f dm =
k=0
f dm.
u
73
Da:
n
(n+1)
(1)k ak +
f dm L
L
0
f dm
u
k=0
(1)k ak + an < ,
L
k=0
f = L IR.
(R)
0
Vamos agora mostrar que f nao e Lebesgue quase integravel. Para isso,
fazemos uma estimativa inferior para os n
umeros ak . Dado um inteiro k 0
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
f + dm = + =
0
f dm.
Ax = i1
x (A),
74
IRm
x m(Ax ) [0, +]
e mensur
avel e vale a igualdade:
(2.7.3)
Note que usamos a notacao m indistintamente para a medida de Lebesgue de IRm , IRn e IRm+n ; mais especificamente, em (2.7.2) usamos a medida
de Lebesgue de IRn , a integral do lado esquerdo da igualdade em (2.7.3) e feita com respeito `a medida de Lebesgue de IRm e no lado direito da igualdade
em (2.7.3) usamos a medida de Lebesgue de IRm+n .
o do Lema 2.7.2. Denote por C a colecao de todos os
Demonstrac
a
Boreleanos A de IRm+n para os quais a funcao (2.7.2) e mensuravel e a
igualdade (2.7.3) e satisfeita. A ideia da prova e mostrar varias propriedades
da colecao C ate que finalmente conclumos que ela coincide com a classe de
todos os Boreleanos de IRm+n .
Passo 1. Os blocos retangulares (m + n)-dimensionais pertencem a C.
Se A e um bloco retangular (m + n)-dimensional entao podemos
escrever A = A1 A2 , onde A1 e A2 sao respectivamente um bloco
retangular m-dimensional e um bloco retangular n-dimensional. Para
todo x IRm , temos:
Ax =
A2 , se x A1 ,
, se x A1 ,
e portanto:
m(Ax ) = |A2 | A1 (x),
para todo x IRm . Segue que (2.7.2) e uma funcao simples mensuravel
cuja integral e igual a |A2 | |A1 | = |A|.
Passo 2. Se A, B C e A e B s
ao disjuntos ent
ao A B C.
Segue de (2.7.1) que (A B)x = Ax Bx e que Ax e Bx sao disjuntos
para todo x IRm ; logo:
m (A B)x = m(Ax ) + m(Bx ),
75
m(Bx ) dm(x)
m(Ax ) dm(x) +
IRm
IRm
IRm
m (A \ B)x dm(x) =
m(Bx ) dm(x)
IRm
IRm
IRm
IRm .
para todo x
Segue que a funcao x m(Ax ) e mensuravel,
sendo um limite de funcoes mensuraveis. Pelo Teorema da Convergencia
Monotonica, temos:
m(Ax ) dm(x) = lim
IRm
k IRm
Usamos inducao em k. O caso k = 1 segue do passo 1. Suponha que a uniao de qualquer colecao de k blocos retangulares (m + n)dimensionais pertence a C e sejam dados blocos retangulares (m + n)dimensionais B1 , . . . , Bk+1 . Como qualquer subconjunto de uma uniao
finita de blocos retangulares e sempre um conjunto limitado, em virtude
k
a em C e
do passo 6, para mostrar que k+1
i=1 Bi Bk+1 est
i=1 Bi =
k
suficiente mostrar que
a em C. Mas:
i=1 Bi Bk+1 est
k
Bi Bk+1 =
i=1
(Bi Bk+1 ),
i=1
Ak =
Ui ,
i=0
76
77
m(Ax ) dm(x) =
IRm
IRm
78
(2.7.4)
f (x, y) =
ci Ai (y),
x
i=1
f (x, y) dm(y) =
Y
Y i=1
ci m(Aix ).
ci Ai (y) dm(y) =
x
i=1
Logo:
k
IRm i=1
ci m(Aix ) dm(x)
ci m(Ai )
=
i=1
k Y
fk (x, y) dm(y),
79
k X
= lim
k XY
fk (x, y) dm(x, y) =
(2.7.5)
X
(2.7.6)
XY
f (x, y) dm(x, y)
f + (x, y) dm(x, y)
=
XY
XY
80
XY
n + i, se 1 i m,
i m, se m + 1 i m + n,
de modo que:
(y1 , . . . , yn , x1 , . . . , xm ) = (x1 , . . . , xm , y1 , . . . , yn ),
para todos x IRm , y IRn . Temos que:
1 (X Y ) = Y X IRn IRm
= IRm+n .
Em vista das observacoes que precedem o enunciado do corolario, temos que
f |Y X : Y X IR e quase integravel e tem a mesma integral que f . A
conclusao e obtida aplicando o Teorema 2.7.4 `a funcao f |Y X , trocando
os papeis de m e n.
possvel que uma funcao mensuravel f : X Y IR seja tal que as inE
tegrais iteradas X Y f (x, y) dm(y) dm(x) e Y X f (x, y) dm(x) dm(y)
sejam ambas bem-definidas, porem distintas; em vista do Corolario 2.7.5,
isso somente e possvel quando a funcao f nao e quase integravel.
2.7.6. Exemplo. Seja (aij )i,j1 uma seq
uencia dupla de n
umeros reais
tal que as series:
(2.7.7)
aij ,
i = 1, 2, . . . ,
j=1
i=1
j=1
(2.7.8)
aij ,
j = 1, 2, . . . ,
i=1
j=1
i=1
aij ,
aij ,
j=1
i=1
aij =
i=1
j=1
aij .
81
se i = j,
1,
aij = 1, se i + 1 = j,
0,
caso contrario,
de modo que todas as series em (2.7.7) e (2.7.8) tem apenas um n
umero
finito de termos nao nulos e:
i=1
j=1
j=1
i=1
aij = 0,
aij = 1.
f=
aij [i1,i[[j1,j[ ,
i,j=1
f (x, y) =
para todo y [0, +[, onde i 1 e tal que x [i 1, i[. Como a serie
f (x, y) dm(y) =
0
aij ;
j=1
da:
+
i=1
j=1
i=1
f (x, y) dm(y) =
0
e absolutamente
para todo x [0, +[. Como a serie
j=1 aij
convergente, usando novamente o resultado do Exerccio 2.23, conclumos
+
que a funcao x 0 f (x, y) dm(y) e integravel e:
+
i=1
j=1
j=1
i=1
aij .
aij ,
e portanto:
+
82
cos y ,
yn
f (x, y) =
2,
n=1 n
Q (x + y),
e Borel mensuravel.
Exerccio 2.7. Sejam X IRn um subconjunto mensuravel e (X , A )
um espaco mensuravel. Dada uma funcao f : X X , mostre que:
(a) se existe X1 X tal que X \ X1 tem medida nula e tal que f |X1 e
mensuravel entao f e mensuravel;
(b) se f e mensuravel e se g : X X e igual a f quase sempre entao
g tambem e mensuravel;
(c) se (fk )k1 e uma seq
uencia de funcoes mensuraveis fk : X IR e
se fk g q. s. entao g : X IR tambem e mensuravel.
Exerccio 2.8. Denote por : IRm+n IRm a projecao nas m primeiras coordenadas. Mostre que a funcao:
: IRm+n , M(IRm+n ) IRm , M(IRm ) ,
e mensuravel (note que nao estamos seguindo a convencao 2.1.3).
Exerccio 2.9. Seja f : X IRn uma funcao definida num subconjunto
X de IRm . Recorde que o gr
afico de f e o conjunto:
(2.7.9)
Mostre que:
gr(f ) =
x, f (x) : x X IRm+n .
83
|f | d.
Exerccio 2.11. Seja (X, A, ) um espaco de medida e seja (fk )k1 uma
seq
uencia de funcoes mensuraveis fk : X [0, +]. Se f (x) =
k=1 fk (x),
mostre que:
f d =
X
fk d.
k=1
f d,
E A,
r
def
f d =
A
f d = lim
k=1
Ak
f d;
k=1
Ak
f d = lim
A
k Ak
f d;
84
f d =
X
E X,
(2.7.11)
f d =
X
f (n);
n=1
g d,
X
85
f dm,
F (t) =
t0
yi xi < =
i=1
f dm = G(b) G(a),
a
para todos a, b I.
Exerccio 2.22. (integrac
ao por partes) Se f : [a, b] IR, g : [a, b] IR
sao funcoes de classe C 1 , mostre que:
b
f (x)g(x) dm(x).
a
Teoremas de Converg
encia.
|fk | d < +.
k=1
Mostre que:
a serie
x X;
k=1 fk (x)
86
k=1 fk
q. s.
fk d IR.
f d =
X
k=1
k Ak
f d.
g2 (t) =
IR
f (x)sen(tx) dm(x),
IR
lim g2 (t) = 0.
ex cos(tx) dm(x),
(t) =
IR
ex dm(x).
c=
IR
87
(t) =
etx
sen x
dm(x),
x
sen x
dm(x) + et cos 1
x
0
para todo t > 0.
(e) Mostre que:
(t) =
etx
cos x etx
1 + tx
dm(x),
x2
,
t0
2
0
onde f : [0, +[ IR e definida por f (x) =
f (0) = 1.
lim (t) = (R)
f=
sen x
x ,
para x > 0 e
(x, y) f (x)g(y) IR
f dm
g dm .
xi 1 .
i=1
(1 t)n1 dm(t),
an = an1
0
para todo n 1.
(c) Determine m(n ).
CAPITULO 3
O Teorema de Mudan
ca de Vari
aveis para
Integrais de Lebesgue
3.1. O Efeito de Aplica
c
oes Lipschitzianas sobre a Medida de
Lebesgue
o. Dado x IRn , escrevemos:
3.1.1. Notac
a
x
= max |xi | : i = 1, . . . , n ,
= max |xi yi | : i = 1, . . . , n .
Claramente se B e um cubo n-dimensional com aresta a (veja Definicao 1.4.22) entao d (x, y) a, para todos x, y B. Provamos agora a
seguinte recproca para essa afirmacao:
3.1.2. Lema. Sejam A IRn e a 0 tais que d (x, y) a, para todos
x, y A. Ent
ao A est
a contido em um cubo n-dimensional de aresta a; em
particular:
m (A) an .
o. Se A e vazio, nao ha nada para se mostrar. Senao,
Demonstrac
a
seja i : IRn IR a projecao sobre a i-esima coordenada e considere o
conjunto Ai = i (A). Temos |t s| a, para todos t, s Ai e portanto
sup Ai inf Ai a; se ai = inf Ai , segue que:
Ai [ai , ai + a]
e portanto:
n
Ai
i=1
[ai , ai + a].
i=1
3.1. APLICAC
OES
LIPSCHITZIANAS
89
m
BR
o. Pelo Lema 1.4.12 existe um aberto U em IRn contenDemonstrac
a
do A tal que m(U ) m (A) + e pelo Lema 1.4.23 existe um conjunto
enumeravel R de cubos n-dimensionais com interiores dois a dois disjuntos
tal que U = BR B. Da:
|B| = m(U ) m (A) + .
BR
(3.1.1)
BR
Da (A)
(3.1.2)
BR (B
X) e portanto:
m (A)
m (B X) .
BR
m (B X) (ka)n = k n |B|.
|B| k n m (A) + .
BR
T = sup
x
T (x)
entao:
T (x)
3.1. APLICAC
OES
LIPSCHITZIANAS
90
(Uxi A).
(A) =
i=1
3.2. APLICAC
OES
LINEARES
91
Em (3.2.1) denotamos por det T o determinante de T , ou seja, o determinante da matriz que representa T na base canonica de IRn . No que segue,
sempre identificaremos aplicac
oes lineares de IRm em IRn com as respectivas
matrizes n m que as representam com respeito `
as bases can
onicas.
O restante da secao e dedicado `a demonstracao do Teorema 3.2.1. Note que a mensurabilidade de T (A) ja e garantida pelo Corolario 3.1.13.
Note tambem que se T nao e inversvel entao o Teorema 3.2.1 segue do
Corolario 3.1.9, ja que a imagem de T e um subespaco proprio de IRn e
det T = 0. Se T e inversvel, a estrategia da prova do Teorema 3.2.1 e a
seguinte. Inicialmente, observamos que se T1 : IRn IRn e T2 : IRn IRn
sao aplicacoes lineares tais que a igualdade (3.2.1) vale para T = T1 e para
T = T2 , para todo subconjunto mensuravel A de IRn , entao a igualdade
(3.2.1) tambem vale para T = T1 T2 ; de fato, dado A IRn mensuravel,
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 aplicacoes lineares que chamaremos de
elementares; mostraremos entao que a igualdade (3.2.1) vale para aplicacoes
lineares elementares e que toda aplicacao linear inversvel pode ser escrita
como um produto de aplicacoes lineares elementares.
o. Uma aplicacao linear E : IRn IRn e dita elementar
3.2.2. Definic
a
quando e de um dos seguintes tipos:
tipo 1. E = Li,j;c , onde i, j = 1, . . . , n sao distintos, c IR e:
(3.2.2) Li,j;c (x1 , . . . , xi , . . . , xj , . . . , xn ) = (x1 , . . . , xi + cxj , . . . , xj , . . . , xn );
3.2. APLICAC
OES
LINEARES
92
D (x1 , . . . , xn ) = (1 x1 , . . . , n xn ).
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
93
x IRn1 , y IR.
Dado A IRn entao para todo x IRn1 , a fatia vertical T (A)x do conjunto
T (A) coincide com a translacao Ax + cx1 da fatia vertical Ax de A. Se A e
mensuravel, temos que T (A) tambem e mensuravel (vide Corolario 3.1.13);
segue entao da Proposicao 2.7.3 que:
m T (A) =
m T (A)x dm(x) =
IRn1
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
94
y f (y)
det d(y) IR
e mensur
avel;
a func
ao f e quase integr
avel se e somente se a func
ao (3.3.1) e
quase integr
avel e, nesse caso, vale a igualdade:
f (y)
f (x) dm(x) =
(3.3.2)
(A)
xU
Ux possui
1 (E) Uxi ,
(E) =
i=1
1 (E)
e mensuravel.
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
95
e uma func
ao mensur
avel f : (A) X ent
ao a func
ao f |A : A X e
mensur
avel.
o. Basta observar que f |A e igual `a composta das
Demonstrac
a
funcoes mensuraveis:
|A : A, M(IRn )|A (A), M(IRn )|(A) ,
f : (A), M(IRn )|(A) (X, A).
3.3.4. Lema. Seja : U IRn uma func
ao de classe C 1 num aberto
n
U IR e suponha que a diferencial d(y0 ) e um isomorfismo de IRn , para
um certo y0 U . Ent
ao, para todo > 0, existe uma vizinhanca aberta V
de y0 contida em U tal que para todo conjunto mensur
avel A IRn contido
em V temos que (A) e mensur
avel e vale a desigualdade:
(3.3.3)
m (A) (1 + )
T 1 d(y) < 1 + ,
m T 1 (A) (1 + )n m(A).
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
96
De (3.3.5), obtemos:
(3.3.8)
(1 + )
V yi \
i1
j=1 Vyj ,
V y1 ,
se i 2,
se i = 1,
(A Wi ).
(A) =
i=1
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
97
m (A)
m (A Wi ) (1 + )
i=1
i=1
= (1 + )
A
onde na u
ltima igualdade usamos o resultado do Exerccio 2.13. A conclusao
final e obtida agora fazendo 0.
rio. Seja : U IRn uma func
3.3.6. Corola
ao de classe C 1 num
aberto U IRn e suponha que a diferencial d(y) e um isomorfismo de IRn ,
para todo y U . Ent
ao, dado um conjunto mensur
avel A IRn contido
em U e uma func
ao mensur
avel f : (A) [0, +] temos que (A) e
mensur
avel, a func
ao (3.3.1) e mensur
avel e vale a desigualdade:
f (x) dm(x)
(3.3.9)
(A)
f (y)
A
f=
ci Ei ,
i=1
para i = 1, . . . , k e portanto:
k
ci m(Ei )
f (x) dm(x) =
(A)
i=1
ci
Ai
i=1
k
ci
A
i=1
Ei (y)
f (y)
=
A
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
98
f ; da:
det d(y) dm(y),
fk (y)
A
det d(y) ,
y A,
(3.3.10)
(B)
g (x)
= f (x),
f (x) dm(x),
(A)
(3.3.11)
(A)
f (x) dm(x) =
(3.3.12)
f + (y)
f (y)
(A)
y f + (y)
det d(y) ,
y f (y)
det d(y)
DE CALCULO
3.4. RECORDAC
AO
NO IRn
99
3.4. Ap
endice `
a Se
c
ao 3.3: recorda
c
ao de C
alculo no IRn
Seja U IRm um aberto e : U IRn uma funcao. Recorde que e dita
diferenci
avel num ponto x U se existe uma aplicacao linear T : IRm IRn
tal que (recorde Notacao 3.1.1):
(3.4.1)
(x + h) (x) T (h)
= 0;
h0
h
lim
1
x1 (x)
xm (x)
.. ,
..
d(x) = ...
.
.
T (v) = lim
t0
n
x1 (x)
n
xm (x)
i
onde = (1 , . . . , n ) e x
(x) denota a derivada parcial no ponto x da
j
funcao coordenada i com respeito `a j-esima variavel. Se uma aplicacao
e diferenciavel num ponto x entao e contnua nesse ponto.
Intuitivamente, (3.4.1) diz que T = d(x) e uma boa aproximacao linear para numa vizinhanca de x. Mais explicitamente, quando o ponto
x IRm sofre um deslocamento (vetorial) x entao o ponto y = (x) IRn
sofre um deslocamento (vetorial) y = (x + x) (x) e a diferenciabilidade de no ponto x nos diz que y e aproximadamente uma funcao linear
def
de x; mais precisamente, existe uma aplicacao linear d(x) = T , tal que
y difere de T (x) por uma quantidade que vai a zero mais rapido que
x , quando x 0.
Quando uma aplicacao : U IRn definida num aberto U de IRm
e diferenciavel em todos os pontos de U dizemos simplesmente que ela e
diferenci
avel em U ; dizemos que e de classe C 1 em U se e diferenciavel
em U e se a funcao U x d(x) e contnua. Sabe-se que uma func
ao
i
1
e de classe C num aberto U se e somente se as derivadas parciais xj (x),
i = 1, . . . , n, j = 1, . . . , m, existem e s
ao contnuas em todos os pontos
x U.
Enunciamos agora alguns teoremas basicos de Calculo no IRn que usamos
na Secao 3.3.
3.4.1. Teorema (regra da cadeia). Sejam : U IRn , : V IRp
func
oes tais que (U ) V , onde U e um aberto de IRm e V e um aberto de
n
IR . Se e diferenci
avel num ponto x U e e diferenci
avel no ponto (x)
DE CALCULO
3.4. RECORDAC
AO
NO IRn
100
ent
ao a func
ao composta e diferenci
avel no ponto x e sua diferencial
e dada por:
d( )(x) = d (x) d(x).
Segue diretamente da definicao de diferenciabilidade que toda aplicacao
linear T : IRm IRn e diferenciavel em IRm e dT (x) = T , para todo
x IRm . Dessa observacao e da regra da cadeia obtemos:
rio. Seja : U IRn uma func
3.4.2. Corola
ao definida num aberto
m
U IR , diferenci
avel num ponto x U . Se T : IRn IRp e uma aplicac
ao
linear ent
ao T e diferenci
avel no ponto x e sua diferencial e dada por:
d(T )(x) = T d(x).
Para o teorema a seguir, o leitor deve recordar a Notacao 3.1.1 e a
Observacao 3.1.7, onde definimos a norma de uma aplicacao linear.
3.4.3. Teorema (desigualdade do valor medio). Seja : U IRn uma
func
ao definida num aberto U IRm e sejam fixados dois pontos x, y U .
Suponha que a func
ao e contnua em todos os pontos do segmento de reta
fechado:
[x, y] = x + (y x) : 0 1
e e diferenci
avel em todos os pontos do segmento de reta aberto:
]x, y[ = x + (y x) : 0 < < 1 .
Ent
ao existe ]0, 1[ tal que vale a desigualdade:
(y) (x)
d x + (y x)
yx
IRn
d(x)
= d(1 ) (x) .
101
n+1
ai pi : ai 0, i = 1, . . . , n + 1,
(3.4.3)
i=1
ai = 1 .
i=1
102
ex dm(x)
e(x
2 +y 2 )
dm(x, y),
onde Q = [0, +[ [0, +[; use essa identidade, juntamente com uma
2
+
mudanca de variaveis apropriada, para calcular a integral 0 ex dm(x).
APENDICE
A
Solu
c
oes para os Exerccios Propostos
A.1. Exerccios do Captulo 1
Exerccio 1.9. Pelo Lema 1.4.4, temos m (A) m (U ) = m(U ), para
todo aberto U IRn contendo A. Logo m (A) e uma conta inferior do conjunto m(U ) : U A aberto . Para ver que m (A) e a maior cota inferior
desse conjunto, devemos mostrar que para todo > 0 existe U A aberto
com m(U ) m (A)+. Mas esse e precisamente o resultado do Lema 1.4.12.
Exerccio 1.10. Como A e mensuravel entao, para todo > 0 existe
um aberto U A com m (U \ A) < . Da U + x e um aberto em IRn
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) < .
Exerccio 1.11.
(a) O resultado e claro se B e vazio. Senao, B =
n
i=1 [ai , bi ]
(B) =
[a(i) , b(i) ]
i=1
|(B)| =
(b(i) a(i) ) =
i=1
(bi ai ) = |B|.
i=1
|(Bk )| =
k=1
|Bk |.
k=1
Isso mostra que C(A) C (A) (recorde (1.4.1)). Por outro lado,
se = 1 entao A = (A) e da o mesmo argumento mostra
que C (A) C(A); logo:
m (A) = inf C(A) = inf C (A) = m (A) .
103
104
n
i=1 [ai , bi ]
D (B) =
[ai , bi ],
i=1
|D (B)| =
(bi ai ) =
i=1
(b) Se A
e uma cobertura de A por blocos retangulares
k=1 Bk
e uma cobertura de
n-dimensionais entao D (A)
k=1 D (Bk )
D (A) por blocos retangulares n-dimensionais e
|D (Bk )| = | det D |
k=1
|Bk |.
k=1
(A.1.2)
105
Exerccio 1.13. Temos B A (B \ A) A (A B) e portanto m (B) m (A) + m (A B) = m (A). De modo analogo mostra-se
que m (A) m (B) e portanto m (A) = m (B). Suponha agora que A e
mensuravel. Entao:
B = A \ (A \ B) (B \ A).
(A.1.3)
Como A \ B A B e B \ A A B entao m (A \ B) = 0 e m (B \ A) = 0.
Segue do Lema 1.4.16 que A \ B e B \ A sao ambos mensuraveis; logo
(A.1.3) implica que B e mensuravel. Da mesma forma mostra-se que a
mensurabilidade de B implica na mensurabilidade de A.
Exerccio 1.14. Seja U A um aberto tal que m(U \ A) < 2 . Pelo
Lema 1.4.23 podemos escrever U =
e uma seq
uencia
k=1 Bk , onde (Bk )k1
de blocos retangulares n-dimensionais com interiores dois a dois disjuntos;
pelo Corolario 1.4.21 temos:
|Bk |.
m(U ) =
k=1
e
Note que m(U ) = m(U \ A) + m(A) < + e portanto a serie
k=1 |Bk |
convergente; existe portanto t 1 tal que k>t |Bk | < 2 . Observe agora
que:
t
Bk
A (U \ A)
Bk
k>t
k=1
e portanto:
m
t
k=1 Bk
A m(U \ A) +
|Bk | <
k>t
+ = .
2 2
m (B)
(A.1.4)
B) e portanto:
B).
B);
m (B) m (A) m (A
B).
106
k=1 Ak =
k=1 Bk . Obviamente,
k=1 Bk
k=1 Ak . Por outro lado,
(A.1.6)
Ak =
k=1
k=1
(Bk )
Bk =
k=1
(Ak ).
k=1
Ak Bk
(Ai Ak );
i=0
(Ak ) (Bk ) +
(Ai Ak ) = (Bk ),
i=0
modo que
k=1 Ak Ai para todo i I e portanto
k=1 Ak A.
(b) Se 1 [C] e 2 [C] sao ambas -algebras de partes de X satisfazendo as
propriedades (1) e (2) que aparecem na Definicao 1.4.35, mostremos
que 1 [C] = 2 [C]. De fato, como 1 [C] e uma -algebra de partes
107
a k1 , b ,
[a, b] =
a k1 , b = ], b] \ , a
1
k
k=1
Exerccio 1.24. Suponha por absurdo que F e um fechado de IR contido propriamente em I com m(F ) = |I|. Seja x I \ F . Como F e fechado,
existe > 0 com [x , x + ] F = . Se x e um ponto interior de I
entao podemos escolher > 0 de modo que [x , x + ] I; senao, se x
e uma extremidade de I, podemos ao menos garantir que um dos intervalos
[x , x], [x, x + ] esta contido em I, para > 0 suficientemente pequeno.
Em todo caso, conseguimos um intervalo J contido em I, disjunto de F , com
|J| > 0. Da F e J sao subconjuntos mensuraveis disjuntos de I e portanto:
|I| = m(I) m(F J) = m(F ) + m(J) = |I| + |J| > |I|,
o que nos da uma contradicao e prova que F = I. Em particular, vemos que
F nao pode ter interior vazio.
108
109
Vk
k=1
Ak = A.
k=1
Como m(Vk ) = m (Ak ) < + para algum k 1, o Lema 1.4.48 nos da:
lim m(Vk ) = m
Vk m (A),
Vk = m
k=1
k=1
e portanto:
lim m (Ak ) m (A).
Exerccio 1.30.
(a) Consideramos primeiro o caso em que A e B tem medida exterior
finita. Seja dado > 0 e sejam (Qk )k1 e (Ql )l1 respectivamente uma seq
uencia de blocos retangulares m-dimensionais e uma
seq
uencia de blocos retangulares n-dimensionais tais que:
Qk ,
k=1
Ql
l=1
e tais que:
l=1
m (A B)
|Qk Ql | =
k,l1
|Qk | |Ql | =
k,l1
|Qk |
k=1
|Ql |
l=1
110
Temos A =
k=1 Ak e m (Ak ) < +, para todo k 1. Logo:
0 m (Ak B) m (Ak )m (B) = 0,
ou seja, m (Ak B) = 0, para todo k 1. Como:
AB =
(Ak B),
k=1
segue que m (A B) = 0.
(b) Consideramos primeiro o caso que m(A) < + e m(B) < +.
Dado > 0, existem abertos U IRm e V IRn contendo A e B
respectivamente, de modo que m(U ) < m(A) + 1, m(V ) < m(B) + 1
e:
m(U \ A) <
, m(V \ B) <
.
2 m(B) + 1
2 m(A) + 1
Da U V e um aberto de IRm+n contendo A B; alem do mais:
(U V ) \ (A B) (U \ A) V U (V \ B) .
Usando o resultado do item (a) obtemos portanto:
m (U V ) \ (A B) m (U \ A) V + m U (V \ B)
m(U \ A)m(V ) + m(U )m(V \ B)
m(U \ A) m(B) + 1 + m(V \ B) m(A) + 1 < ,
o que mostra que A B e mensuravel. Para o caso geral, definimos
Ak = A [k, k]m , Bk = B [k, k]n . Da Ak Bk e mensuravel
em AB
para todo k 1 e AB =
k=1 (Ak Bk ); portanto tamb
e mensuravel.
(c) Mostremos primeiro que se U IRm , V IRn sao abertos entao:
m(U V ) = m(U )m(V ).
(A.1.7)
e
Pelo Lema 1.4.23 podemos escrever U =
k=1 Qk , onde (Qk )k1
uma seq
uencia de blocos retangulares m-dimensionais com interiores dois a dois disjuntos; podemos tambem escrever V =
l=1 Ql ,
onde (Ql )l1 e uma seq
uencia de blocos retangulares n-dimensionais
com interiores dois a dois disjuntos. Note que (Qk Ql )k,l1 e uma
famlia enumeravel de blocos retangulares (m + n)-dimensionais
com interiores dois a dois disjuntos e U V = k,l1 (Qk Ql ).
Da, pelo Corolario 1.4.21, obtemos:
m(U V ) =
|Qk Ql | =
k,l1
|Qk | |Ql | =
k,l1
|Qk |
k=1
|Ql |
l=1
= m(U )m(V ).
111
Bk = B [k, k]n ,
A, Bk
B, Ak Bk
AB e
onde na u
ltima igualdade usamos o resultado do Exerccio 1.5.
A.2. Exerccios do Captulo 2
Exerccio 2.1. Se f : X X e constante entao para todo subconjunto
A de X temos f 1 (A) = ou f 1 (A) = X; em todo caso, f 1 (A) A.
Exerccio 2.2. Temos que A|Y e uma -algebra de partes de Y que
contem C|Y ; logo A|Y contem [C|Y ]. Para mostrar que A|Y esta contido
em [C|Y ], considere a colecao:
A = A X : A Y [C|Y ] .
Verifica-se diretamente que A e uma -algebra de partes de X; obviamente,
C A . Logo A A , o que prova que A Y [C|Y ], para todo A A,
i.e., A|Y [C|Y ].
Exerccio 2.3. De acordo com a definicao da -algebra de Borel de IR,
se A B(IR) entao A IR B(IR); logo B(IR)|IR B(IR). Por outro lado,
se A B(IR) entao tambem A B(IR) (ja que A IR = A e um Boreleano
de IR) e portanto A IR = A B(IR)|IR .
112
(A.2.2)
IR [C].
{} =
[, k],
[, k]c ,
{+} =
k=1
k=1
], c] : c IR
[C]|IR = B(IR).
Seja A B(IR), de modo que A IR B(IR). Por (A.2.3), temos que existe
A [C] tal que A IR = A IR. Da (A.2.2) implica que A IR [C].
Finalmente, (A.2.1) implica que A {+, } [C], o que prova que
A = (A IR) A {+, } [C].
Exerccio 2.5. Pelo Corolario 2.1.18, a funcao
h : f 1 (IR) g 1 (IR) IR
definida por h(x) = f (x) g(x) e mensuravel. Logo o conjunto:
h1 (0) = x f 1 (IR) g 1 (IR) : f (x) = g(x)
e mensuravel. A conclusao segue da igualdade:
x X : f (x) = g(x) = f 1 (+)g 1 (+) f 1 ()g 1 ()
x f 1 (IR) g 1 (IR) : f (x) = g(x) .
Exerccio 2.6. Vamos usar o Lema 2.1.13. Temos que os conjuntos:
(A.2.4a)
(x, y) IR2 : y 1 ,
(A.2.4b)
(A.2.4c)
(x, y) IR2 : y 1 ,
suficiente
constituem uma cobertura enumeravel de IR2 por Boreleanos. E
entao mostrar que a restricao de f a cada um desses Boreleanos e Borel
mensuravel. A restricao de f ao conjunto (A.2.4a) e contnua, e portanto
Borel mensuravel (veja Lema 2.1.15). A restricao de f ao conjunto (A.2.4b)
e um limite pontual de funcoes contnuas e portanto e Borel mensuravel, pelo
Corolario 2.1.24 (na verdade, essa restricao de f tambem e contnua, ja que
a serie em questao converge uniformemente, pelo teste M de Weierstrass).
Finalmente, a restricao de f ao conjunto (A.2.4c) e Borel mensuravel, sendo
113
114
(b) Temos:
f d
f + d
f d =
f d
f + d +
f + + f d =
|f | d.
X
uencia de
Exerccio 2.11. Seja gn = nk=1 fk . Da (gn )n1 e uma seq
funcoes mensuraveis nao negativas com gn
f . Segue do Teorema 2.3.3
que:
fk d = lim
fk d = lim
k=1
n X
k=1
f d.
gn d =
X
f E =
f Ek ,
k=1
f (Ek ) =
k=1
k=1
f Ek d =
f E d = f (E).
Exerccio 2.13.
(a) Se a funcao f e nao negativa, a afirmacao segue do resultado do
Exerccio 2.12. No caso geral, temos:
f d =
f d,
f d =
k=1
Ak
f d,
k=1
Ak
k Ak
f d = lim
f + d,
A
k Ak
f d,
A1 f d < + e A1 f d < +.
LISTA DE SMBOLOS
115
Lista de Smbolos
+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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(IRn , S). . . . . . . . . . . . . . . . . . . . . .32
I( ) . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Li,j;c . . . . . . . . . . . . . . . . . . . . . . . . . . 91
S(f ; P ). . . . . . . . . . . . . . . . . . . . . . . .65
[x, y] . . . . . . . . . . . . . . . . . . . . . . . . . 100
B(IRn ) . . . . . . . . . . . . . . . . . . . . . . . . 18
B(IR) . . . . . . . . . . . . . . . . . . . . . . . . . 39
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
dim(V ). . . . . . . . . . . . . . . . . . . . . . . .90
gr(f ) . . . . . . . . . . . . . . . . . . . . . . . . . . 82
int(A) . . . . . . . . . . . . . . . . . . . . . . . . . 12
M(IRn ) . . . . . . . . . . . . . . . . . . . . . . . 21
Q .............................. 6
IR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
P . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
x . . . . . . . . . . . . . . . . . . . . . . . . . .88
Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6
A . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
d(x) . . . . . . . . . . . . . . . . . . . . . . . . . 99
det T . . . . . . . . . . . . . . . . . . . . . . . . . . 91
v (x) . . . . . . . . . . . . . . . . . . . . . . . . . 99
inf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
f d . . . . . . . . . . . . . . . . . . . . . . . . . 83
(R)
f . . . . . . . . . . . . . . . . . . . . . . . . . 67
b
(R)
a f . . . . . . . . . . . . . . . . . . . . . . . . 70
X f (x) d(x) . . . . . . . . . . 49, 54, 57
X f d . . . . . . . . . . . . . . . . 49, 54, 56
b
a f (x) dm(x) . . . . . . . . . . . . . . . . . 57
b
a f dm . . . . . . . . . . . . . . . . . . . . . . . 57
+
f (x) dm(x) . . . . . . . . . . . . . . . 57
a
+
f dm . . . . . . . . . . . . . . . . . . . . . 57
a
. . . . . . . . . . . . . . . . . . . . . . . . 67
f . . . . . . . . . . . . . . . . . . . . . . . . 67
I, (i )ni=1 ; ( i )ni=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
IR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
[C] . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
sup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
|B| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
. . . . . . . . . . . . . . . . . . . . . . . . . . 35, 92
(X) . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
ak a . . . . . . . . . . . . . . . . . . . . . . . . . 3
d(A, B) . . . . . . . . . . . . . . . . . . . . . . . 13
d(x, A) . . . . . . . . . . . . . . . . . . . . . . . . 13
d(x, y) . . . . . . . . . . . . . . . . . . . . . . . . 13
d (x, y) . . . . . . . . . . . . . . . . . . . . . . . 88
f g . . . . . . . . . . . . . . . . . . . . . . . . . 52
f + . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
f . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
fk
f . . . . . . . . . . . . . . . . . . . . . . . . 48
fk
f . . . . . . . . . . . . . . . . . . . . . . . . 48
s(f ; P ) . . . . . . . . . . . . . . . . . . . . . . . . 65
(R)
(R)
INDICE REMISSIVO
116
Indice Remissivo
A
aberta
aplicacao. . . . . . . . . . . . . . . . .101
algebra . . . . . . . . . . . . . . . . . . . . . . . . 18
anti-reflexividade . . . . . . . . . . . . . . . 1
aplicacao
aberta . . . . . . . . . . . . . . . . . . . 101
aplicacao linear
elementar . . . . . . . . . . . . . . . . . 91
area . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
aresta
de um cubo . . . . . . . . . . . . . . . 15
associatividade . . . . . . . . . . . . . . . . . 2
B
Baire
teorema de . . . . . . . . . . . . . . . . 37
bloco retangular . . . . . . . . . . . . . . . . 7
volume de . . . . . . . . . . . . . . . . . . 8
Borel
-algebra de . . . . . . . . . . . . . . 18
de IR. . . . . . . . . . . . . . . . . . . .39
Borel mensuravel
funcao . . . . . . . . . . . . . . . . . . . . 40
Boreleano . . . . . . . . . . . . . . . . . . . . . 18
em IR . . . . . . . . . . . . . . . . . . . . . 39
C
cadeia
regra da. . . . . . . . . . . . . . . . . . .99
caminho . . . . . . . . . . . . . . . . . . . . . . . 31
Cantor
conjunto de . . . . . . . . . . . . . . . 27
conjunto ternario de . . . . . . . 37
Caratheodory . . . . . . . . . . . . . . . . . 23
Cayley
grafo de . . . . . . . . . . . . . . . . . . . 32
circuito . . . . . . . . . . . . . . . . . . . . . . . 31
classe C 1
funcao de . . . . . . . . . . . . . . . . . 99
colorimento . . . . . . . . . . . . . . . . . . . 31
componente conexa
de um grafo . . . . . . . . . . . . . . . 31
comprimento
de um caminho. . . . . . . . . . . .31
de um intervalo . . . . . . . . . . . . 8
comutatividade . . . . . . . . . . . . . . . . . 3
cone . . . . . . . . . . . . . . . . . . . . . . . . . 101
conjunto
Boreleano . . . . . . . . . . . . . . . . . 18
em IR . . . . . . . . . . . . . . . . . . . 39
convexo . . . . . . . . . . . . . . . . . . 100
das diferencas . . . . . . . . . . . . . 30
de Cantor . . . . . . . . . . . . . . . . . 27
ternario . . . . . . . . . . . . . . . . . 37
de geradores
para uma -algebra . . . . . 18
de tipo F . . . . . . . . . . . . . . . . 17
de tipo G . . . . . . . . . . . . . . . . 17
escolha . . . . . . . . . . . . . . . . . . . . . 7
magro . . . . . . . . . . . . . . . . . . . . . 37
mensuravel . . . . . . . . . . . . 13, 21
constante
de Lipschitz . . . . . . . . . . . . . . . 88
convergencia
em IR . . . . . . . . . . . . . . . . . . . . . . 3
convergencia dominada
teorema da . . . . . . . . . . . . . . . . 63
convergencia monotonica
teorema da . . . . . . . . . . . . 54, 61
convexo
conjunto . . . . . . . . . . . . . . . . . 100
cubo
n-dimensional . . . . . . . . . . . . . 15
D
desigualdade
do valor medio . . . . . . . . . . . 100
determinante . . . . . . . . . . . . . . . . . . 91
difeomorfismo . . . . . . . . . . . . . . . . 100
diferenca simetrica . . . . . . . . . . . . 35
diferencas
conjunto das . . . . . . . . . . . . . . 30
diferencial
INDICE REMISSIVO
117
de uma funcao . . . . . . . . . . . . 99
diferenciavel
funcao . . . . . . . . . . . . . . . . . . . . 99
distancia
entre conjuntos. . . . . . . . . . . .13
entre ponto e conjunto . . . . 13
Euclideana . . . . . . . . . . . . . . . . 13
simples. . . . . . . . . . . . . . . . . . . .47
integral de . . . . . . . . . . . . . . 49
funcao inversa
teorema da. . . . . . . . . . . . . . .101
funcoes
produto de . . . . . . . . . . . . 44, 45
soma de . . . . . . . . . . . . . . . 44, 45
E
elementar
aplicacao linear . . . . . . . . . . . 91
transformacao . . . . . . . . . . . . . 92
elemento neutro . . . . . . . . . . . . . . . . 3
envelope mensuravel . . . . . . . . . . . 22
escalonamento . . . . . . . . . . . . . . . . . 92
espaco
de medida. . . . . . . . . . . . . . . . .21
mensuravel . . . . . . . . . . . . 21, 39
subespaco de . . . . . . . . . . . . 42
G
geradores
para uma -algebra . . . . . . . 18
grafico . . . . . . . . . . . . . . . . . . . . . . . . 82
grafo . . . . . . . . . . . . . . . . . . . . . . . . . . 30
colorimento de . . . . . . . . . . . . 31
conexo . . . . . . . . . . . . . . . . . . . . 31
de Cayley . . . . . . . . . . . . . . . . . 32
k-colorvel. . . . . . . . . . . . . . . . .31
F
fatia vertical . . . . . . . . . . . . . . . . . . 73
Fatou
lema de . . . . . . . . . . . . . . . . . . . 62
finito . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Fubini
teorema de . . . . . . . . . . . . . . . . 77
funcao
Borel mensuravel . . . . . . . . . . 40
caracterstica . . . . . . . . . . . . . . 47
de classe C 1 . . . . . . . . . . . . . . . 99
diferenciavel . . . . . . . . . . . . . . 99
estritamente crescente . . . . . 38
grafico de . . . . . . . . . . . . . . . . . 82
integravel . . . . . . . . . . . . . . . . . 56
Lipschitziana . . . . . . . . . . . . . . 88
localmente Lipschitziana . . 90
mensuravel . . . . . . . . . . . . . . . . 39
a valores em IRn ou IR . . 40
definida em IRn . . . . . . . . . 40
integral de. . . . . . . . . . .54, 56
integral num subespaco . 57
quase integravel . . . . . . . . . . . 56
num subespaco . . . . . . . . . . 57
que preserva medida . . . . . . 83
I
nfimo . . . . . . . . . . . . . . . . . . . . . . . . . . 2
infinito . . . . . . . . . . . . . . . . . . . . . . . . . 1
integracao por partes . . . . . . . . . . 85
integrais iteradas . . . . . . . . . . . . . . 80
integral
de Lebesgue . . . . . . . . . . . . . . . 57
de Riemann . . . . . . . . . . . . . . . 67
de uma funcao mensuravel 56
num subespaco . . . . . . . . . . 57
de uma funcao mensuravel nao
negativa . . . . . . . . . . . . . . 54
de uma funcao simples nao negativa . . . . . . . . . . . . . . . . . 49
impropria de Riemann . . . . 70
indefinida . . . . . . . . . . . . . . . . . 83
inferior de Riemann . . . . . . . 67
superior de Riemann . . . . . . 67
integral impropria
convergente . . . . . . . . . . . . . . . 70
integravel
funcao . . . . . . . . . . . . . . . . . . . . 56
Lebesgue . . . . . . . . . . . . . . . . . . 57
interior de um conjunto . . . . . . . 12
intervalo
comprimento de . . . . . . . . . . . . 8
na reta estendida . . . . . . . . . . . 2
INDICE REMISSIVO
J
Jacobiana
matriz . . . . . . . . . . . . . . . . . . . . 99
K
k-colorimento . . . . . . . . . . . . . . . . . 31
k-colorvel . . . . . . . . . . . . . . . . . . . . . 31
L
Lebesgue
integral de . . . . . . . . . . . . . . . . 57
integravel . . . . . . . . . . . . . . . . . 57
medida de. . . . . . . . . . . . . . . . .21
medida exterior de . . . . . . . . . 9
medida interior de. . . . . . . . .24
mensuravel . . . . . . . . . . . . . . . . 13
quase integravel . . . . . . . . . . . 57
lema
de Fatou . . . . . . . . . . . . . . . . . . 62
limite
em IR . . . . . . . . . . . . . . . . . . . . . . 4
inferior . . . . . . . . . . . . . . . . . . . . . 4
superior . . . . . . . . . . . . . . . . . . . . 4
Lipschitz
constante de . . . . . . . . . . . . . . 88
Lipschitziana
funcao . . . . . . . . . . . . . . . . . . . . 88
localmente . . . . . . . . . . . . . . . . 90
localmente
Lipschitziana . . . . . . . . . . . . . . 90
M
magro . . . . . . . . . . . . . . . . . . . . . . . . . 37
matriz
Jacobiana . . . . . . . . . . . . . . . . . 99
medida . . . . . . . . . . . . . . . . . . . . . . . . 21
de contagem . . . . . . . . . . . . . . 84
de Lebesgue . . . . . . . . . . . . . . . 21
espaco de . . . . . . . . . . . . . . . . . 21
exterior . . . . . . . . . . . . . . . . . . . . 9
interior. . . . . . . . . . . . . . . . . . . .24
menor que . . . . . . . . . . . . . . . . . . . . . . 1
mensuravel . . . . . . . . . . . . . . . . . . . . 13
espaco . . . . . . . . . . . . . . . . . 21, 39
funcao . . . . . . . . . . . . . . . . . . . . 39
a valores em IRn ou IR . . 40
118
definida em IRn . . . . . . . . . 40
funcao Borel . . . . . . . . . . . . . . 40
subespaco . . . . . . . . . . . . . . . . . 42
modulo . . . . . . . . . . . . . . . . . . . . . . . . . 2
-q. s. . . . . . . . . . . . . . . . . . . . . . . . . . 61
mudanca de variaveis
teorema de . . . . . . . . . . . . . . . . 93
N
norma
de uma aplicacao linear . . . 89
de uma particao . . . . . . . . . . . 65
O
operacao
associativa . . . . . . . . . . . . . . . . . 2
comutativa . . . . . . . . . . . . . . . . . 3
P
parte negativa . . . . . . . . . . . . . . . . . 45
de uma funcao . . . . . . . . . . . . 45
parte positiva . . . . . . . . . . . . . . . . . 45
de uma funcao . . . . . . . . . . . . 45
particao . . . . . . . . . . . . . . . . . . . . . . . . 8
norma de . . . . . . . . . . . . . . . . . 65
refinamento de . . . . . . . . . . . . 65
permutacao . . . . . . . . . . . . . . . . 35, 79
preserva medida
funcao que . . . . . . . . . . . . . . . . 83
produto
de funcoes . . . . . . . . . . . . . 44, 45
na reta estendida . . . . . . . . . . . 2
propriedade (). . . . . . . . . . . . . . . .32
Q
q. s. . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
quase integravel
funcao . . . . . . . . . . . . . . . . . . . . 56
num subespaco . . . . . . . . . . 57
Lebesgue . . . . . . . . . . . . . . . . . . 57
quase sempre . . . . . . . . . . . . . . . . . . 61
R
refinamento
de uma particao . . . . . . . . . . . 65
regra
INDICE REMISSIVO
da cadeia . . . . . . . . . . . . . . . . . 99
relacao
anti-reflexiva . . . . . . . . . . . 1, 30
de equivalencia . . . . . . . . . . . . . 7
simetrica . . . . . . . . . . . . . . . . . . 30
transitiva. . . . . . . . . . . . . . . . . . .1
relacao de ordem
lexicografica . . . . . . . . . . . . . . . 38
na reta estendida . . . . . . . . . . . 1
total . . . . . . . . . . . . . . . . . . . . . . . 1
reta estendida . . . . . . . . . . . . . . . . . . 1
Boreleanos da . . . . . . . . . . . . . 39
retangulo
area de . . . . . . . . . . . . . . . . . . . . . 8
Riemann
integral de . . . . . . . . . . . . . . . . 67
integral impropria de . . . . . . 70
integral inferior de . . . . . . . . 67
integral superior de . . . . . . . 67
integravel . . . . . . . . . . . . . . . . . 67
soma inferior de . . . . . . . . . . . 65
soma superior de . . . . . . . . . . 65
S
segmento de reta . . . . . . . . . . . . . 100
seq
uencia
convergente em IR . . . . . . . . . . 4
-algebra . . . . . . . . . . . . . . . . . . . . . . 18
de Borel . . . . . . . . . . . . . . . . . . 18
de IR. . . . . . . . . . . . . . . . . . . .39
gerada por uma colecao
de conjuntos . . . . . . . . . . 18
induzida num subconjunto 42
simplexo . . . . . . . . . . . . . . . . . . . . . 101
padrao . . . . . . . . . . . . . . . . . . . . 87
soma
de funcoes . . . . . . . . . . . . . 44, 45
de uma famlia . . . . . . . . . . . . . 5
inferior de Riemann . . . . . . . 65
na reta estendida . . . . . . . . . . . 2
superior de Riemann . . . . . . 65
sub-bloco
determinado por
uma particao . . . . . . . . . . . 8
sub-intervalo
119
determinado por
uma particao . . . . . . . . . . . 8
subespaco
de um espaco mensuravel. .42
subgrafo
cheio . . . . . . . . . . . . . . . . . . . . . . 31
supremo . . . . . . . . . . . . . . . . . . . . . . . . 2
T
teorema
da convergencia dominada . 63
da convergencia monotonica . . . . . . . . . . . . . . . 54, 61
da funcao inversa . . . . . . . . 101
de Baire . . . . . . . . . . . . . . . . . . 37
de FubiniTonelli. . . . . . . . . .77
de mudanca de variaveis. . .93
fundamental do calculo . . . . 85
Tonelli
teorema de . . . . . . . . . . . . . . . . 77
transformacao
elementar . . . . . . . . . . . . . . . . . 92
transitividade . . . . . . . . . . . . . . . . . . 1
translacao . . . . . . . . . . . . . . . . . . 6, 12
tricotomia . . . . . . . . . . . . . . . . . . . . . . 2
V
valor medio
desigualdade do . . . . . . . . . . 100
vertices
adjacentes. . . . . . . . . . . . . . . . .31
de um grafo . . . . . . . . . . . . . . . 31
volume . . . . . . . . . . . . . . . . . . . . . . . . . 8