Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
alise
Matem
atica I
Daniel V. Tausk
Sum
ario
Captulo 1.
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
Conjuntos n
ao Mensuraveis .......................................... 29
2.1.
Func
oes Mensuraveis .................................................... 39
2.2.
2.3.
2.4.
Definic
ao da Integral: o Caso Geral ............................. 56
2.5.
2.6.
Riemann x Lebesgue..................................................... 65
2.7.
3.3.
3.4.
Apendice `
a Secao 3.3: recordacao de Calculo no IRn ... 99
Soluc
oes para os Exerccios Propostos................. 103
SUMARIO
A.2.
iv
CAPITULO 1
1.1. ARITMETICA
NA RETA ESTENDIDA
1.1. ARITMETICA
NA RETA ESTENDIDA
1.1. ARITMETICA
NA RETA ESTENDIDA
se {|a|, |b|} =
6 {0, +} ent
ao limk ak bk = ab.
o. Veja Exerccio 1.4.
Demonstrac
a
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.2. Somas infinitas em [0, +]. Se (ai )iI e uma famlia finita
a que a soma de IR e associativa e comutativa, podemos definir
em IR ent
Pao, j
a soma iI ai de maneira obvia, desde que ai 6= + para todo i I ou
ai 6= para todo i I. Definiremos a seguir um significado para somas
possvel tambem
de famlias infinitas de elementos nao negativos de IR. E
definir somas de famlias que contenham elementos negativos de IR, mas esse
conceito n
ao ser
a necess
ario no momento.
1.1. ARITMETICA
NA RETA ESTENDIDA
iF
Se I e o conjunto
dos inteiros positivos entao denotamos a soma
P
tambem por i=1 ai ; segue facilmente do Lema 1.1.7 que:
k
X
ai = lim
i=1
iI
ai
ai .
i=1
iI
iI
iI
iI
iI
Ji
A u
ltima propriedade no enunciado da Proposicao 1.1.12 implica em
particular que:
XX
X
XX
aij =
aij =
aij ,
iI
jJ
(i,j)IJ
jJ
iI
X
[
An =
(An );
n=1
n=1
Ak =
k=1
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:
X
n1
[a, b] [a, a + n[ =
[a + k, a + k + 1[
k=0
n1
X
[a + k, a + k + 1] ,
k=0
qQ[1,1]
Agora, se (A) = 0 conclumos que
[0,
1]
= 0, contradizendo (c); se
(A) > 0 conclumos que [1, 2] = +, contradizendo (g).
1.3. Volume de Blocos Retangulares
o. Um bloco retangular n-dimensional e um subconjunto
1.3.1. Definic
a
n
B de IR (n 1) que e ou vazio, ou da forma:
n
Y
B=
[ai , bi ] = [a1 , b1 ] [an , bn ],
i=1
n
Y
i=1
|B| = |B |(bn an ) =
X
b0 P 0
k1
X
X
b0 [ti , ti+1 ].
|b |
(ti+1 ti ) =
0
i=0
b0 P 0
i=0,...,k1
A conclus
ao segue observando que os blocos b0 [ti , ti+1 ] com b0 P 0 e
i = 0, . . . , k 1 s
ao precisamente os sub-blocos de B determinados pela
partic
ao P .
o. Note que a intersecao de dois blocos retangulares n1.3.4. Observac
a
dimensionais e tambem um bloco retangular n-dimensional. Note tambem
que se B e B 0 s
ao blocos retangulares n-dimensionais com B B 0 entao
0
|B| |B |.
1.3.5. S
Lema. Sejam B, B1 , .P
. . , Bt blocos retangulares n-dimensionais
com B tr=1 Br . Ent
ao |B| tr=1 |Br |.
o. Em vista da Observacao 1.3.4, substituindo cada bloDemonstrac
a
co Br por Br B e descartando os ndices
Str com Br B = , podemos
supor sem perda de generalidade que B = r=1 Br e que Br 6= para todo
r = 1, . . . , t. Podemos
Q e trivial.
Q supor tambem que |B| > 0, senao o resultado
Escreva ent
ao B = ni=1 [ai , bi ] com ai < bi , i = 1, . . . , n, e Br = ni=1 [ari , bri ]
com ari bri , i = 1, . . . , n. Para cada i = 1, . . . , n, o conjunto
Pi = {ai , bi } {ari , bri ; r = 1, . . . , t}
e uma partic
ao do intervalo [ai , bi ] e portanto P = (P1 , . . . , Pn ) e uma
partic
ao do bloco B. Para cada r = 1, . . . , t com |Br | > 0, tomamos
Pir = Pi [ari , bri ], i = 1, . . . , n e P r = (P1r , . Q
. . , Pnr ), de modo que P r e
uma partic
ao do bloco Br . Temos que se b = ni=1 [i , i ] e um sub-bloco
de B determinado pela particao P entao existe um ndice r = 1, . . . , t tal
que |Br | > 0 e b e um sub-bloco de Br determinado pela partiacao P r .
Q
S
De fato, como B = tr=1 Br entao ni=1 ]i , i [ intercepta Br , para algum
r = 1, . . . , t tal que1 |Br | > 0. Da e facil ver que [i , i ] e um sub-intervalo
de [ari , bri ] determinado pela particao Pir para i = 1, . . . , n e portanto b e um
sub-bloco de Br determinado pela particao P r . Mostramos entao que:
[
P
P r.
r=1,...,t
|Br |>0
A conclus
ao segue agora do Lema 1.3.3 observando que:
|B| =
X
bP
|b|
r=1,...,t bP r
|Br |>0
|b| =
t
X
|Br |.
r=1
[
n
a
o
pode
estar
contido
na
uni
a
o
dos
blocos
B
de
volume
zero.
i
i
r
i=1
10
e uma seq
uencia de blocos retangulares n-dimensionais com A
em smbolos:
m (A) = inf C(A),
onde:
k=1 Bk ;
(1.4.1)
C(A) =
nX
|Bk | : A
k=1
k=1
o
para todo k 1 .
k=1 k
P
Bk e mostrar que |B|
k=1 |Bk |. Seja dado > 0 e seja para cada k 1,
Bk0 um bloco retangular n-dimensional que contem Bk no seu interior e tal
que |Bk0 | |Bk | + 2k . Os interiores dos blocos Bk0 , k 1, constituem entao
uma cobertura aberta do compacto B e dessa cobertura aberta S
podemos
extrair uma subcobertura finita; existe portanto t 1 tal que B tk=1 Bk0 .
Usando o Lema 1.3.5 obtemos:
t
t
X
X
X
|B|
|Bk0 |
|Bk | + k
|Bk | + .
2
k=1
k=1
k=1
11
1.4.5. Lema. Se A1 , . . . , At s
ao subconjuntos de IRn ent
ao:
t
t
[
X
m
Ak
m (Ak ).
k=1
k=1
[
X
m
Ak
m (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
S
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
S
e uma cobertura enumeravel do conjunto
k=1 Ak por blocos
retangulares n-dimensionais e portanto:
X
X
[
X
X
j
Ak
|Bk |
m (Ak ) + k =
m
m (Ak ) + .
2
Da (Bkj )k,j1
k=1
k=1 j=1
k=1
k=1
rio. A uni
1.4.6. Corola
ao de uma colec
ao enumer
avel de conjuntos de
medida exterior nula tem medida exterior nula. Em particular, todo conjunto
enumer
avel tem medida exterior nula.
1.4.7. Corolario.
Dado i = 1, . . . , n e c IR ent
ao todo subconjunto
do hiperplano afim x = (x1 , . . . , xn ) IRn : xi = c tem medida exterior
nula.
S
o. Basta observar que x IRn : xi = c =
Demonstrac
a
k=1 Bk ,
onde:
Bk = x IRn : xi = c e |xj | k, j = 1, . . . , n, j 6= i
e um bloco retangular n-dimensional de volume zero.
rio. Todo subconjunto da fronteira de um bloco retangular
1.4.8. Corola
n-dimensional tem medida exterior nula.
o. Basta observar que a fronteira de um bloco retangular
Demonstrac
a
n-dimensional e uma uni
ao finita de blocos retangulares n-dimensionais de
volume zero.
rio. Sejam A1 , A2 IRn tais que m (A1 ) < + ou
1.4.9. Corola
m (A2 ) < +; ent
ao:
(1.4.2)
12
(1.4.3)
m
k
k=1
2
k 1, seja Bk0 um bloco retangular
que
cont
e
m
B
no
seu
interior
e tal que
k
S
0 ). Temos que U
|Bk0 | |Bk | + 2k+1
int(B
e
aberto
e
U A;
. Seja U =
k=1
k
alem do mais, usando os Lemas 1.4.4 e 1.4.5 obtemos:
m (U ) m
[
k=1
Bk0
(Bk0 )
k=1
|Bk0 |
k=1
X
k=1
X
k=1
|Bk | +
2k+1
|Bk | + m (A) + .
2
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 Corol
ario 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 mensur
aveis de IRn . Dado > 0 entao, para cada k 1, podemos encontrar
S um
[
X
X
m (U \ A) m
(Uk \ Ak )
= .
m (Uk \ Ak ) <
2k
k=1
k=1
IRn
k=1
y
)
entre os pontos x, y IRn , i.e., d(x, y) =
i
i
i=1
e um subconjunto n
ao vazio A IRn denotamos por d(x, A) a dist
ancia
entre x e A definida por:
d(x, A) = inf d(x, y) : y A ,
e dados subconjuntos n
ao vazios A, B IRn denotamos por d(A, B) a
dist
ancia entre os conjuntos A e B definida por:
d(A, B) = inf d(x, y) : x A, y B .
1.4.18. Lema. Dados subconjuntos A1 , A2 IRn com d(A1 , A2 ) > 0
ent
ao m (A1 A2 ) = m (A1 ) + m (A2 ).
o. Em vista do Lema 1.4.5 e suficiente mostrar a desiDemonstrac
a
gualdade:
m (A1 A2 ) m (A1 ) + m (A2 ).
S
Para isso, seja A1 A2
k=1 Bk uma cobertura de A1 A2 por blocos
retangulares n-dimensionais Bk e vamos mostrar que:
(1.4.4)
m (A1 ) + m (A2 )
X
k=1
|Bk |.
14
Como d(A1 , A2 ) > 0, existe > 0 tal que d(x, y) , para todos x A1 ,
y A2 . Para cada k 1 com |Bk | > 0, podemos escolher uma particao
Pk de Bk de modo que os sub-blocos de Bk determinados por Pk tenham
todos di
ametro 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:
X
X
(1.4.5)
|b| +
|b| |Bk |.
bPk1
bPk2
S
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 enumer
avel de A1 por blocos retangulares n-dimensionais;
logo:
X X
|b|.
(1.4.6)
m (A1 )
k1 bP 1
k
|Bk |>0
Similarmente:
m (A2 )
(1.4.7)
X X
|b|.
k1 bP 2
k
|Bk |>0
t
[
r=1
t
t
t
t
[
X
X
X
Br m
Br0 =
m (Br0 ) =
|Br0 | (1 )
|Br |.
r=1
r=1
r=1
r=1
15
Br
|Br |.
m
r=1
r=1
X
[
Br =
|Br |.
m
r=1
r=1
X
[
[
Br =
|Br |,
Br m
m
r=1
r=1
r=1
[
X
m
Br
|Br |.
r=1
r=1
16
t
X
|Bk | = m (K) + m
t
[
t
[
Bk m (U ).
Bk = m K
k=1
k=1
k=1
m (K)
< + e portanto
|Bk | m (U ) m (K) .
k=1
Como t 1 e arbitr
ario, conclumos que
Corol
ario 1.4.21 nos d
a m (U \ K) .
k=1 |Bk |
e, finalmente, o
17
S
n
o. Se F IRn e fechado entao F =
e
Demonstrac
a
k=1 F [k, k]
uma uni
ao enumer
avel de compactos. A conclusao segue do Lema 1.4.15.
o. Um subconjunto de IRn e dito de tipo G (ou, sim1.4.26. Definic
a
plesmente, um conjunto G ) se pode ser escrito como uma intersecao de
uma colec
ao enumer
avel de abertos de IRn . Similarmente, um subconjunto
n
de IR e dito de tipo F (ou, simplesmente, um conjunto F ) se pode ser
escrito como uma uni
ao de uma colecao enumeravel de fechados de IRn .
Obviamente o complementar de um conjunto de tipo G e de tipo F (e
vice-versa).
rio. Todo subconjunto de IRn de tipo F e mensur
1.4.27. Corola
avel.
o. Segue do Corolario 1.4.25 e do Lema 1.4.15.
Demonstrac
a
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
conclus
ao 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 ent
ao 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
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
A tal S
que m (U ) m (A) + 1 < +. O Lema 1.4.23 nos permite escrever
e uma seq
uencia de blocos retangulares nU =
k=1 Bk , onde (Bk )k1
dimensionais com interiores dois a dois disjuntos. O Corolario 1.4.21 nos
d
a:
X
|Bk | = m (U ) < +;
k=1
portanto a serie
k=1 |Bk |
|Bk | < .
k=t+1
St
Seja A0 = A
e limitado.
k=1 Bk . Temos que A0 A e A0
SNote que se
A e mensur
avel
ent
a
o
A
tamb
e
m
e
mensur
a
vel.
Como
A
0
k=1 Bk segue
S
que A \ A0 k=t+1 Bk e portanto:
m (A \ A0 ) m
[
k=t+1
X
|Bk | < .
Bk
k=t+1
20
o. Se A1 , . . . , At s
1.4.41. Proposic
a
ao subconjuntos mensur
aveis dois
a dois disjuntos de IRn ent
ao:
(1.4.8)
t
[
Ar =
t
X
r=1
m (Ar ).
r=1
[
X
(1.4.9)
m
Ar =
m (Ar ).
r=1
r=1
t
[
t
t
t
[
X
X
Ar m
Kr =
m (Kr ) >
m (Ar ) t
r=1
r=1
r=1
r=1
t
X
m (Ar ) .
r=1
t
[
t
X
Ar
m (Ar ).
r=1
r=1
[
Ar m
r=1
t
[
Ar =
r=1
t
X
m (Ar ),
r=1
[
X
m
Ar
m (Ar ).
r=1
r=1
21
[
X
(1.4.10)
Ak =
(Ak ).
k=1
k=1
Os elementos da -
algebra A sao ditos subconjuntos mensur
aveis de X. A
trinca (X, A, ) e chamada um espaco de medida .
Se (X, A, ) e um espaco de medida e se A1 , . . . , At e uma
cao finita
cole
S
P
de elementos dois a dois disjuntos de A entao tk=1 Ak = tk=1 (Ak ).
De fato, basta tomar Ak = para k > t e usar (1.4.10).
o. Denotaremos por M(IRn ) a -algebra de todos os
1.4.43. Notac
a
subconjuntos Lebesgue mensuraveis de IRn e por m : M(IRn ) [0, +] a
restric
ao `
a M(IRn ) da funcao m : (IRn ) [0, +] que associa a cada
parte de IRn sua medida exterior de Lebesgue.
o. Se A IRn e um subconjunto mensuravel entao o
1.4.44. Definic
a
escalar m(A) [0, +] e chamado a medida de Lebesgue de A.
Note que m(A) = m (A) para todo A M(IRn ), i.e., a medida de
Lebesgue de um conjunto mensuravel simplesmente coincide com sua medida
exterior de Lebesgue; apenas nos permitimos remover o adjetivo exterior
quando lidamos com conjuntos mensuraveis.
Provamos o seguinte:
1.4.45. Teorema. A trinca IRn , M(IRn ), m e um espaco de medida.
o. Segue do Teorema 1.4.34 e da Proposicao 1.4.41.
Demonstrac
a
1.4.46. Lema. Seja (X, A, ) um espaco de medida e sejam A1 , A2 A
com A1 A2 . Ent
ao (A1 ) (A2 ); alem do mais, se (A1 ) < + ent
ao:
(A2 \ A1 ) = (A2 ) (A1 ).
o. Basta observar que A2 = A1 (A2 \ A1 ) e uma uniao
Demonstrac
a
disjunta de elementos de A e portanto (A2 ) = (A1 ) + (A2 \ A1 ).
o. Se (Ak )k1 e uma seq
1.4.47. Notac
a
uencia de conjuntos entao a
notac
ao Ak % A indica que Ak S
Ak+1 para todo k 1 (i.e., a seq
uencia
(Ak )k1 e crescente) e que A =
A
.
Analogamente,
escreveremos
k=1 k
Ak & A para indicar que Ak T
Ak+1 para todo k 1 (i.e., a seq
uencia
(Ak )k1 e decrescente) e que A =
A
.
k
k=1
1.4.48. Lema. Seja (X, A, ) um espaco de medida e seja (Ak )k1 uma
seq
uencia de elementos de A. Temos:
(a) se Ak % A ent
ao (A) = limk (Ak );
(b) se Ak & A e se (A1 ) < + ent
ao (A) = limk (Ak ).
22
B
=
k=1 k
k=1 Ak ; logo:
(1.4.11)
[
[
X
Ak =
Bk =
(Bk ).
k=1
k=1
k=1
X
X
X
(Ak ) (Ak1 )
(Bk ) =
(Ak ) (Ak1 ) = lim
k=1
k=1
k=1
= lim (Ar ).
r
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 =
m (Ak ).
k=1
k=1
[
X
m
Ak =
m (Ak ).
k=1
k=1
X
[
[
X
0
0
m (Ak ).
m(Ek )
Ek =
Ak = m(E) m
m
k=1
k=1
k=1
A desigualdade m
k=1 Ak
k=1 m (Ak )
k=1
m (A) = m (A E) + m (A E c ).
Da Z \E e mensur
avel e portanto E = Z \(Z \E) tambem e mensuravel.
24
o. Temos que a seq
Demonstrac
a
uencia m (Ak ) k1 e crescente e limitada superiormente por m (A), donde o limite limk m (Ak ) existe (em
[0, +]) e e menor ou igual a m (A). Para provar que m (A) e menor ou
igual aTlimk m (Ak ), escolha um envelope mensuravel Ek para Ak e defina
Fk = rk Er , para todo k 1. Da cada Fk e mensuravel e Ak Fk Ek ,
donde tambem Fk e um envelope mensuravel de Ak . Alem do mais, temos
Fk % F , onde F e um conjunto mensuravel que contem A. A conclusao
segue agora do Lema 1.4.48 observando que:
m (A) m(F ) = lim m(Fk ) = lim m (Ak ).
k
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
mensur
avel. Seja dado > 0. Temos que existe um subconjunto compacto
K A tal que:
m(U ) m (A) + .
2
Portanto:
m (U \ A) m(U \ K) = m(U ) m(K)
= m(U ) m (A) + m (A) m(K) .
A conclus
ao segue.
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:
(I, ; 0) = (I, ; 1) = 1 (|I| ).
2
Dados um intervalo fechado e limitado I deP
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:
(1.5.2)
n
X
1
n
n
i > 0.
I, (i )i=1 ; (i )i=1 = n |I|
2
i=1
A definic
ao ser
a feita recursivamente. Para n = 1, a definicao ja foi dada em
(1.5.1). Dados um intervalo fechado e limitado I de comprimento positivo,
P
escalares positivos 1 , . . . , n+1 com n+1
i=1 i < |I| e 1 , . . . , n+1 {0, 1},
definimos:
n+1
n+1
n
n
I, (i )n+1
;
(
)
=
I,
(
)
;
(
)
,
;
i i=1
i i=1
i i=1
n+1 .
i=1
2n
n+1
Assumindo (1.5.2), e f
acil ver que I, (i )n+1
a bem definido e
i=1 ; (i )i=1 est
que:
n+1
X
1
n+1
n+1
i > 0.
I, (i )i=1 ; (i )i=1 = n+1 |I|
2
i=1
Segue ent
ao por induc
ao que temos uma famlia de intervalos fechados e
n
limitados I, (i )i=1 ; (i )ni=1 satisfazendo (1.5.2).
Fixemos ent
ao um intervalo fechado e limitado I de comprimento
positiP
vo e P
uma seq
uencia (i )i1 de escalares positivos tal que
|I|.
Note
i=1 i
que ni=1 i < |I|, para todo n 1. Para simplificar a notacao, escrevemos:
I() = I(1 , . . . , n ) = I, (i )ni=1 ; (i )ni=1 ,
para todo n 1 e todo = (1 , . . . , n ) {0, 1}n . Dada uma seq
uencia
(i )i1 em {0, 1} obtemos uma seq
uencia decrescente de intervalos fechados
e limitados:
(1.5.3)
27
Afirmamos que, para todo n 1, os intervalos I(), {0, 1}n , sao dois
a dois disjuntos. De fato, sejam dados , 0 {0, 1}n , com 6= 0 . Seja
k {1, . . . , n} o menor ndice tal que k 6= 0k . Temos I() I(1 , . . . , k ),
I(0 ) I(01 , . . . , 0k ), J = I(1 , . . . , k1 ) = I(01 , . . . , 0k1 ) e:
k
k
I(1 , . . . , k ) = J, k1 ; k , I(01 , . . . , 0k ) = J, k1 ; 0k .
2
2
k
k
0
0
Como k 6= k , os intervalos J, 2k1 ; k e J, 2k1 ; k sao disjuntos e
portanto tambem I() I(0 ) = . Para cada n 1 definimos:
[
I().
Kn =
{0,1}n
|I|.
(i )i1 de escalares positivos com
i=1 i
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:
n
X
1
I(1 , . . . , n ) = 1 |I|
(1.5.5)
n |I| 0.
i
n
n
2
2
i=1
: {0, 1} =
{0, 1} 3 = (i )i1 7 () K,
i=1
de modo que:
(1.5.6)
I(1 , . . . , n ) = () ,
n=1
X
i=1
i |I|.
28
n |I|.
i
n
2
2
i=1
MENSURAVEIS
29
Usando o Lema 1.4.10 e o resultado do Exerccio 1.10, vemos que a mensurabilidade de A implicaria em:
X
0 < 1 = m [0, 1]n
m(A) m [1, 2]n = 3n < +,
qQn [1,1]n
j
a que Qn [1, 1]n e enumeravel. Obtemos entao uma contradicao, o que
mostra que A e um subconjunto nao mensuravel do bloco [0, 1]n .
No que segue, investigaremos mais a fundo o fenomeno da nao mensurabilidade, produzindo alguns exemplos mais radicais de conjuntos nao
mensur
aveis. Comecamos com alguns lemas.
1.6.2. Lema. Seja U IRn um aberto. Ent
ao, dado > 0, existe > 0
tal que para todo x IRn com kxk < , temos:
(1.6.1)
m U (U + x) m(U ) + .
o. A desigualdade (1.6.1) e trivial para m(U ) = +, de
Demonstrac
a
modo que podemos supor que m(U ) < +. Para cada k 1, consideramos
o conjunto Uk definido por:
Uk = x IRn : d(x, U c ) > k1 .
Como U e aberto,S temos que d(x, U c ) > 0 se e somente se x U ; isso
implica que U =
cao
k=1 Uk e portanto Uk % U . A continuidade da fun
x 7 d(x, U c ) implica que cada Uk e aberto e portanto mensuravel. Pelo
Lema 1.4.48, temos m(U ) = limk m(Uk ) e portanto existe k 1 tal que:
m(Uk ) m(U ) .
MENSURAVEIS
30
MENSURAVEIS
31
Os elementos de V s
ao chamados os vertices do grafo G. Dados vertices
x, y V com (x, y) E entao dizemos que x e y sao vertices adjacentes no
grafo G.
Se V 0 e um subconjunto de V entao E 0 = E (V 0 V 0 ) e um relacao
bin
aria anti-reflexiva e simetrica em V 0 , de modo que G0 = (V 0 , E 0 ) e um
grafo. Dizemos que G0 = (V 0 , E 0 ) e o subgrafo cheio de G determinado pelo
conjunto de vertices V 0 .
o. Seja G = (V, E) um grafo. Um colorimento para G e
1.6.7. Definic
a
uma func
ao f definida em V tal que f (x) 6= f (y), para todo (x, y) E. Para
cada x V , dizemos que f (x) e a cor do vertice x. Se k e um inteiro positivo
ent
ao um k-colorimento de G e um colorimento f : V {0, 1, . . . , k 1} de
G. Quando G admite um k-colorimento dizemos que G e k-colorvel.
o. Seja G = (V, E) um grafo. Um caminho em G e uma
1.6.8. Definic
a
seq
uencia finita (xi )pi=0 , p 0, de vertices de G tal que (xi , xi+1 ) E para
todo i = 0, . . . , p 1; dizemos tambem que (xi )pi=0 e um caminho comecando
em x0 e terminando em xp . O caminho (xi )pi=0 e dito de comprimento p. Por
convenc
ao, uma seq
uencia unitaria formada por um u
nico vertice x0 V e
um caminho de comprimento zero comecando em x0 e terminando em x0 .
Quando existe um caminho em G comecando em x e terminando em y para
todos x, y V , dizemos que G e um grafo conexo. Um circuito em G e um
caminho (xi )pi=0 em G tal que x0 = xp .
f
E
acil ver que a relac
ao binaria em V definida por:
x y existe um caminho em G comecando em x e terminando em y,
e uma relac
ao de equivalencia em V . Seja V0 V uma classe de equivalencia
determinada por . Verifica-se facilmente que o subgrafo cheio G0 de G
determinado por V0 e conexo; dizemos que G0 e uma componente conexa do
grafo G.
1.6.9. Lema. Um grafo G = (V, E) e 2-colorvel se e somente se n
ao
possui circuitos de comprimento mpar.
o. Assuma que o grafo G e 2-colorvel, i.e., existe um
Demonstrac
a
2-colorimento f : V {0, 1} de G. Seja (xi )pi=0 um circuito de G. Mostremos que p e par. Para fixar as ideias, assuma que f (x0 ) = 0. Como os
vertices x0 e x1 s
ao adjacentes, temos f (x1 ) 6= f (x0 ) e portanto f (x1 ) = 1.
Similarmente, vemos que f (x2 ) = 0 e, mais geralmente, f (xi ) = 0 para i par
e f (xi ) = 1 para i mpar. Como f (xp ) = f (x0 ) = 0, conclumos que p deve
ser par. Reciprocamente, assuma agora que o grafo G nao possui circuito
facil ver que:
de comprimento mpar e mostremos que G e 2-colorvel. E
nenhuma componente conexa de G possui um circuito de comprimento mpar;
se cada componente conexa de G e 2-colorvel entao G e 2-colorvel.
Podemos ent
ao supor que G e conexo. Dados vertices x, y V de G entao
os comprimentos de dois caminhos em G comecando em x e terminando em
MENSURAVEIS
32
y tem a mesma paridade. De fato, se (xi )pi=0 e (x0i )qi=0 sao caminhos em G
comecando em x e terminando em y entao:
x = x0 , x1 , . . . , xp = y = x0q , x0q1 , . . . , x00 = 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:
Pk
ao
() dados s1 , . . . , sk S e n1 , . . . , nk Z com
i=1 ni si = 0 ent
Pk
n
e
par.
i=1 i
o. Em vista do Lema 1.6.9, basta mostrar que G(IRn , S)
Demonstrac
a
n
ao possui circuito de comprimento mpar se e somente se S possui a propriedade (). Assuma que S possui a propriedade () e que (xi )pi=0 e um circuito
de G(IRn , S). Mostremos que p e par. Para cada i = 0, . . . , p 1 temos que
xi+1 xi S ou xi xi+1 S; podemos entao escrever xi+1 xi = ni si ,
com ni {1} e si S. Da:
p1
X
i=0
ni s i =
p1
X
(xi+1 xi ) = xp x0 = 0
i=0
P
P
P
e logo p1
ni e par. Mas p1
|ni | tem a mesma paridade que p1
i=0
i=0
i=0 ni e
Pp1
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 proprieP
dade (). Sejam s1 , . . . , sk S e n1 , . . . , nk Z com ki=1 ni si = 0. Escreva
s0i = si se ni 0 e s0i = si se ni < 0, de modo que ni si = |ni |s0i e s0i S ou
P
s0i S, para todo i = 1, . . . , k. Temos que ki=1 |ni |s0i = 0, ou seja:
(1.6.2) s01 + s01 + + s01 + s02 + s02 + + s02 + +s0k + s0k + + s0k = 0.
|
{z
} |
{z
}
|
{z
}
|n1 | termos
Pk
|n2 | termos
|nk | termos
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
Pk
i=1 |ni |
33
Pk
i=1 ni
tem a mesma
B 0 = 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
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+ 3 (a, b) 7 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 3 (a, b) 7 ab IR e contnua, exceto
nos pontos (+, 0), (, 0), (0, +) e (0, ).
35
36
uma seq
uencia de elementos de A. Mostre que
A
k=1 (Ak ).
k=1 k
Exerccio 1.19. Seja (X, A, ) um espaco de medida e seja (Ak )k1 uma
seq
uencia de elementos deSA tal que
(A
Pk Al ) = 0, para todos k, l 1
A
=
com k 6= l. Mostre que
k=1 (Ak ).
k=1 k
Exerccio 1.20. Seja X um conjunto arbitrario.
(a) Se (Ai )iI e umaTfamlia nao vazia de -algebras de partes de X,
mostre que A = iI Ai tambem e uma -algebra de partes de X.
(b) Mostre que, fixada uma colecao C (X) de partes de X, existe
no m
aximo uma -algebra [C] de partes de X satisfazendo as
propriedades (1) e (2) que aparecem na Definicao 1.4.35.
(c) Dada uma colec
ao arbitraria C (X) de partes de X, mostre que
a intersec
ao de todas as -algebras de partes de X que contem C
e uma -
algebra de partes de X que satisfaz as propriedades (1) e
(2) que aparecem na Definicao 1.4.35 (note que sempre existe ao
menos uma -
algebra de partes de X contendo C, a saber, (X)).
Exerccio 1.21. Seja X um conjunto arbitrario e sejam C1 , C2 (X)
colec
oes arbitr
arias de partes de X. Se C1 [C2 ] e C2 [C1 ], mostre que
[C1 ] = [C2 ].
Exerccio 1.22. Mostre que todo subconjunto de IRn de tipo G ou de
tipo F e Boreleano.
Exerccio 1.23. Mostre que a -algebra de Borel de IR coincide com a
-
algebra gerada pelos intervalos da forma ], c], c IR.
Exerccio 1.24. Se I e um intervalo fechado e limitado de comprimento
positivo, mostre que o u
nico subconjunto fechado F I com m(F ) = |I| e
F = I. Conclua que n
ao existe um subconjunto fechado com interior vazio
F I tal que m(F ) = |I| (compare com o Exemplo 1.5.4).
Exerccio 1.25. Dado A IRn , mostre que m (A) m (A).
Exerccio 1.26. Mostre que a medida interior de Lebesgue e monotonica, i.e., se A1 A2 IRn entao m (A1 ) m (A2 ).
Exerccio 1.27. Dado A IRn , mostre que:
m (A) = sup m(E) : E A, E mensuravel .
Mais geralmente, mostre que se M0 e um subconjunto de M(IRn ) que contem
todos os subconjuntos compactos de IRn entao:
m (A) = sup m(E) : E A, E M0 .
37
n
hX
2
i=1
a bijec
ao :
{0, 1}
i
,
i
3
X 2i i
1
+
;
3n
3i
i=1
X
2i
i=1
3i
38
CAPITULO 2
Integrando Funco
es em Espacos de Medida
2.1. Fun
c
oes Mensur
aveis
Recorde da Definic
ao 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
mensur
aveis. 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
mensur
avel s
o 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 mensur
aveis. 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.
f
E
acil ver que os subconjuntos Boreleanos de IR constituem de fato uma
-
algebra de partes de IR. Tal -algebra sera chamada a -
algebra de Borel
a denotada por B(IR).
de IR e ser
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 operac
oes 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 0 , A0 ) espacos mensuraveis. Uma
2.1.2. Definic
a
func
ao mensur
avel f : (X, A) (X 0 , A0 ) e uma funcao f : X X 0 tal que
para todo conjunto E A0 temos que f 1 (E) pertence a A.
Em outras palavras, uma funcao e mensuravel se a imagem inversa de
conjuntos mensur
aveis e mensuravel. Quando as -algebras em questao
estiverem subentendidas pelo contexto, nos referiremos apenas `a mensurabilidade da func
ao f : X X 0 , omitindo a mencao explcita a A e A0 .
O conjunto IRn aparecera com muita freq
uencia como domnio ou contradomnio de nossas func
oes 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
(X,
A)
e
uma
fun
c
a
o
f
:
I
R
X
tal
que
Borel mensur
a
vel
f
:
f : IR, B(IR) (X, A) e uma funcao mensuravel.
Para verificar a mensurabilidade de uma funcao f : (X, A) (X 0 , A0 )
n
ao e necess
ario verificar que f 1 (E) A para todo E A0 , mas apenas
para E pertencente a um conjunto de geradores de A0 . Esse e o conte
udo
do seguinte:
2.1.5. Lema. Sejam (X, A), (X 0 , A0 ) espacos mensur
aveis e seja C um
0
conjunto de geradores para a -
algebra A . Uma funca
o f : X X 0 e
1
mensur
avel se e somente se f (E) A, para todo E C.
o. Como C A0 , temos obviamente que f 1 (E) A
Demonstrac
a
para todo E C, caso f seja mensuravel. Suponha entao que f 1 (E) A
para todo E C. Verifica-se diretamente que a colecao:
(2.1.1)
E (X 0 ) : f 1 (E) A
e uma -
algebra de partes de X 0 . Por hipotese, (2.1.1) contem C e portanto
contem A0 = [C]. Isso mostra que f 1 (E) A para todo E A0 , i.e., f e
mensur
avel.
2.1. FUNC
OES
MENSURAVEIS
41
2.1. FUNC
OES
MENSURAVEIS
42
2.1. FUNC
OES
MENSURAVEIS
43
Prova de (c).
Se f0 e mensur
avel 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 A0 . Mas E1 = E Y para algum E A e portanto, como
Im(f ) Y , temos f 1 (E1 ) = f 1 (E) A0 .
2.1.13.
Lema. Sejam (X, A), (X 0 , A0 ) espacos mensur
aveis e seja dada
S
X = iI Xi uma cobertura enumer
avel de X por conjuntos mensur
aveis
0
Xi A. Ent
ao uma func
ao f : X X e mensur
avel se e somente se
f |Xi : Xi X 0 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 A0 , 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 .
2.1. FUNC
OES
MENSURAVEIS
44
n
\
fi1 [ai , bi ] .
i=1
fi1
[ai , bi ] A para todo i e portanto
IR IR 3 (x, y) 7 xy IR
2.1. FUNC
OES
MENSURAVEIS
45
s
ao contnuas e portanto Borel mensuraveis, pelo Lema 2.1.15. A conclusao
segue do Corol
ario 2.1.17.
Note que para func
oes f : X IR, g : X IR a valores na reta
estendida, tambem podemos definir a soma f + g : X IR, desde que a
soma f (x) + g(x) esteja bem definida (i.e., nao seja da forma (+) + ()
ou () + (+)) para todo x X. O produto f g : X IR pode ser
definido sempre, sem nenhuma restricao sobre f e g.
o. Seja (X, A) um espaco mensur
2.1.19. Proposic
a
avel. Sejam dadas
func
oes mensur
aveis f : X IR e g : X IR. Ent
ao:
se a soma f (x) + g(x) estiver bem definida para todo x X ent
ao
ao mensur
avel;
a func
ao f + g : X IR e uma func
o produto f g : X IR e uma func
ao mensur
avel.
o. Considere os seguintes subconjuntos de X:
Demonstrac
a
f 1 (IR) g 1 (IR),
f 1 (+) g 1 (+),
f 1 () g 1 ();
todos eles pertencem a A e sua uniao e igual a X. A restricao de f + g
a cada um deles e mensuravel; de fato, a restricao de f + g ao primeiro
deles e mensur
avel pelo Corolario 2.1.18 e a restricao de f + g aos outros e
uma func
ao constante (veja Exerccio 2.1). Segue entao do Lema 2.1.13 que
f + g e mensur
avel. A mensurabilidade de f g e mostrada de forma similar
considerando as restric
oes de f g aos conjuntos:
f 1 (IR) g 1 (IR),
1
f (+) g 1
1
f () g 1
1
f (+) g 1
1
f () g 1
f 1 (0) g 1 (0),
]0, +] f 1 ]0, +] g 1 (+) ,
[, 0[ f 1 [, 0[ g 1 () ,
[, 0[ f 1 [, 0[ g 1 (+) ,
]0, +] f 1 ]0, +] g 1 () .
x =
x =
0, se x < 0,
x, se x 0.
Se f e uma func
ao tomando valores em IR entao a parte positiva e a parte
negativa de f , denotadas respectivamente por f + e f , sao definidas por
f + (x) = [f (x)]+ e f (x) = [f (x)] , para todo x no domnio de f .
2.1. FUNC
OES
MENSURAVEIS
46
f
E
acil ver que x = x+ x e |x| = x+ + x , para todo x IR; em
particular, se f e uma funcao tomando valores em IR entao:
f = f+ f
|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
func
oes:
IR 3 x 7 x+ IR,
IR 3 x 7 x IR,
IR 3 x 7 |x| IR
s
ao Borel mensur
aveis; de fato, observe que suas restricoes a IR sao funcoes
contnuas. A conclus
ao 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 3 x 7 sup fk (x) IR
k1
k1
k1
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:
n
o \
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:
[
n
o \
x X : inf fk (x) c =
fk1 , c + 1r A,
k1
r=1 k=1
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
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 ), j
a 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, j
a que:
[
X=
f 1 (c)
cIm(f )
2.1. FUNC
OES
MENSURAVEIS
48
k
X
ci Ai : X IR
i=1
e simples e mensur
avel, desde que esteja bem definida (i.e., desde que nao
ocorra Ai Aj 6= com ci = + e cj = ). De fato, isso segue da
Proposic
ao 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}.
NEGATIVAS
2.2. INTEGRANDO FUNC
OES
SIMPLES NAO
49
f 1
[k,+]
+
k 1
k2
X
r=0
2k f 1
r r+1
,
2k 2k
h .
Temos ent
ao que fk e uma funcao simples e mensuravel para todo k 1
(veja Observac
ao 2.1.30). Note que:
fk (x) f (x) < 1 ,
(2.1.5)
2k
para todo x X com f (x) < k. Afirmamos que limk fk = f . De
fato, seja x X fixado. Se f (x) < + entao vale (2.1.5) para k > f (x)
e portanto limk fk (x) = f (x). Se f (x) = + entao fk (x) = k para
todo k 1 e portanto limk fk (x) = + = f (x). Para completar a
demonstrac
ao, vamos mostrar agora que:
fk (x) fk+1 (x),
(2.1.6)
A integral
R
X
cIm(f )
f d ser
a tambem a`s vezes denotada por:
Z
f (x) d(x).
X
NEGATIVAS
2.2. INTEGRANDO FUNC
OES
SIMPLES NAO
50
o. Temos:
Demonstrac
a
Z
X
X
f d =
c (f |Y )1 (c) =
c (f |Y )1 (c) ,
Y
cf (Y )
Z
X
f Y d =
cf (Y )
c6=0
X
c (f Y )1 (c) =
c (f Y )1 (c) .
cIm(f Y )
cIm(f Y )
c6=0
A conclus
ao segue das igualdades acima observando que para todo c 6= 0,
temos c f (Y ) se e somente se c Im(f Y ) e, nesse caso:
(f |Y )1 (c) = f 1 (c) Y = (f Y )1 (c).
i=1
k
[
i=1
ci =c
Ai
NEGATIVAS
2.2. INTEGRANDO FUNC
OES
SIMPLES NAO
51
e portanto:
k
X
f 1 (c) =
(Ai ).
i=1
ci =c
Logo:
Z
f d =
X
c f
k
X X
X
1
c f (c) =
c(Ai )
(c) =
cIm(f ) i=1
c6=0 ci =c
cIm(f )
c6=0
cIm(f )
k
X X
ci (Ai ) =
cIm(f ) i=1
c6=0 ci =c
k
X
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 6= 0.
2.2.4. Lema. Sejam f : X [0, +], g : X [0, +] func
oes simples
e mensur
aveis. Ent
ao:
Z
Z
Z
f + g d =
f d +
g d.
X
o. Podemos escrever:
Demonstrac
a
f=
k
X
ci Ai ,
g=
i=1
l
X
dj Bj ,
j=1
Bj = 1
j=1
e portanto:
Ai =
l
X
Ai Bj =
j=1
l
X
Ai Bj ,
j=1
f=
k X
l
X
ci Ai Bj .
i=1 j=1
i=1 j=1
NEGATIVAS
2.2. INTEGRANDO FUNC
OES
SIMPLES NAO
52
g=
l X
k
X
dj Bj Ai
j=1 i=1
e portanto:
Z
(2.2.5)
g d =
X
l X
k
X
dj (Bj Ai ).
j=1 i=1
k X
l
X
(ci + dj )Ai Bj ;
i=1 j=1
i=1 j=1
A conclus
ao segue de (2.2.3), (2.2.5) e (2.2.6).
i=1
i=1
i=1
NEGATIVAS
2.3. INTEGRANDO FUNC
OES
MENSURAVEIS
NAO
53
Segue ent
ao do Lema 2.2.4 que:
Z
Z
Z
Z
f d,
h d
f d +
g d =
j
a que
h d 0.
o. Escreva:
Demonstrac
a
f=
k
X
ci Ai ,
i=1
k
X
cci Ai .
i=1
i=1
i=1
NEGATIVAS
2.3. INTEGRANDO FUNC
OES
MENSURAVEIS
NAO
54
n X
o. A mensurabilidade
Demonstrac
a
de f segue do Corolario 2.1.24. O
R
Lema 2.3.2 implica que X fn d n1 e uma seq
uencia crescente e que:
Z
Z
lim
fn d
f d.
n X
NEGATIVAS
2.3. INTEGRANDO FUNC
OES
MENSURAVEIS
NAO
55
i=1
Note que para todo x Ai temos f (x) (x) = ci > c0i e portanto, como
fn % f , temos que Ani % Ai . O Lema 1.4.48 nos da entao:
lim (Ani ) = (Ai );
i=1
i=1
(c0i,m )m1
i=1
56
para todo Y A.
o. Temos:
Demonstrac
a
Z
Z
Z
f d =
f Y d
f d,
Y
onde na u
ltima desigualdade usamos o Lema 2.3.2.
e
ao negativa entao f + = f e f = 0, de modo que
R
R
R n
+
cao, introduzimos
X f d = X f d X f d. Em vista dessa observa
a seguinte:
o. Diremos que uma funcaRo f : X RIR e quase inte2.4.1. Definic
a
gr
avel quando f for mensuravelR e a diferenca X f +R 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:
Z
Z
Z
+
f d =
f d
f d IR.
X
R
+
Quando
f
e
quase
integr
a
vel
e
f
d
I
R
(ou
seja,
se
X
X f d < + e
R
57
Como na Sec
ao 2.3, introduzimos tambem a notacao alternativa:
Z
f (x) d(x),
X
Se a I, I e ilimitado `
a direita e f e quase integravel em [a, +[ entao
denotamos por:
Z +
Z +
f dm =
f (x) dm(x)
a
58
Claramente a restric
ao de f ao intervalo degenerado [a, a] = {a} e uma
func
ao simples integr
avel e:
Z a
f dm = f + (a)m {a} f (a)m {a} = 0.
a
(f |Y ) = f |Y ,
(f Y ) = f Y .
A conclus
ao segue ent
ao das igualdades acima e do Lema 2.3.4.
e f2 = f + h.
o. Observe em primeiro lugar que f + f1 . De fato, se
Demonstrac
a
+
f (x) 0 ent
ao f (x) = f (x) = f1 (x) f2 (x) f1 (x) e se f (x) < 0 entao
+
f (x) = 0 f1 (x). Definimos h fazendo:
+
1
f1 (x),
se x f 1 ().
Claramente h e n
ao negativa; a mensurabilidade de h segue do Lema 2.1.13
e da Proposic
ao 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 (+) ent
ao:
f + (x) + h(x) = + = f1 (x),
finalmente, se x f 1 ():
f + (x) + h(x) = h(x) = f1 (x),
f + g = (f + g) + h.
Por definic
ao temos:
Z
Z
Z
+
f d =
f d
f d,
X
g d
g d =
X
g d.
A quase
das funcoes f e g juntamente com o fato que a
R integrabilidade
R
soma X f d + X g d est
a bem definida implicam que o lado esquerdo de
pelo menos uma das igualdades (2.4.1) e (2.4.2) e finito. Isso
R implica+ que
a
integral
de
h
e
finita
e
que
pelo
menos
uma
das
integrais
X (f + g) d,
R
d
(f
+
g)
e
finita,
i.e.,
f
+
g
e
quase
integr
a
vel.
A
demonstra
cao do
X
item (a) e obtida ent
ao subtraindo a igualdade (2.4.2) da igualdade (2.4.1).
Para demonstrar o item (b), consideramos primeiramente o caso que
c 0. Nesse caso, usando o Lema 2.3.6, temos:
Z
Z
Z
(cf )+ d =
cf + d = c
f + d,
ZX
ZX
ZX
(cf ) d =
cf d = c
f d.
X
60
R
R
Isso mostra que cf e quase integravel e X cf d = c X f d. Se c < 0
temos:
Z
Z
Z
+
f d,
(c)f d = (c)
(cf ) d =
X
X
X
Z
Z
Z
+
f + d,
(c)f d = (c)
(cf ) d =
X
f d
g d,
f d
g d.
X
A conclus
ao e obtida subtraindo as duas desigualdades acima.
X2
Xk
est
a bem definida ent
ao f e quase integr
avel e
soma (2.4.3).
R
X
f d e igual a
`
2.5. TEOREMAS DE CONVERGENCIA
61
X0
X0
X0
1
e
lim
f
d
=
f
d;
n
n
X
X
R
(b) se X f1 d < + e fn & fR q. s. ent
aoRf e fn s
ao quase integr
aveis
para todo n 1 e limn X fn d = X f d.
suficiente provar o item (a), ja que o item (b) se o. E
Demonstrac
a
gue doR item (a) trocando fn por fn e f por f . Em primeiro lugar,
como X f1 d > , segue do resultado do Exerccio 2.16 que f1 >
quase sempre; existe portanto um subconjunto mensuravel X 0 de X com
2.5. TEOREMAS DE CONVERGENCIA
62
complementar de medida nula tal que f1 (x) > e fn (x) % f (x), para
todo x X 0 . Em vista do Corolario 2.4.11, e suficiente mostrar a tese do
teorema para as restric
oes a X 0 das funcoes em questao. Para cada n 1,
defina gn : X 0 [0, +] fazendo gn (x) = fn (x) f1 (x), se f1 (x) < + e
gn (x) = 0, se f1 (x) = +; da gn e mensuravel e fn = gn + f1 . De modo
an
alogo, definimos g : X 0 [0, +] mensuravel com f = g +f1 . Da gn % g
e portanto o Teorema 2.3.3 nos da:
Z
Z
(2.5.1)
lim
gn d =
g d.
n X 0
X0
R
R
Note que como X 0 f1 d > e X 0 gn d 0, o item (a) da Proposic
ao 2.4.7 nos diz que fn = gn + f1 e quase integravel e:
Z
Z
Z
(2.5.2)
fn d =
gn d +
f1 d;
X0
X0
X0
R
R
R
similarmente, f e quase integravel e X 0 f d = X 0 g d + X 0 f1 d. A
conclus
ao e obtida agora fazendo n em (2.5.2) e usando (2.5.1).
o (Lema de Fatou). Seja (fn )n1 uma seq
2.5.2. Proposic
a
uencia de
ao:
func
oes mensur
aveis fn : X IR. Ent
(a) se existe uma func
ao quase
integr
avel : X IR tal que fn
R
ao fn e quase integr
avel
q. s. para todo n 1 e X d > ent
para todo n 1, lim inf n fn e quase integr
avel e:
Z
Z
lim inf fn d lim inf
fn d;
X n
kn X
fk d.
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:
Z
Z
f d.
fn d =
lim
n X
Logo limn
R
X
fn d =
R
X
f d.
X yy0
2.5. TEOREMAS DE CONVERGENCIA
64
n X
X yy0
65
Obviamente:
f (x, y0 + h) f (x, y0 )
f
=
(x, y0 ),
h
y
para todo x X. Se h 6= 0, y0 + h I e |h| entao o Teorema do Valor
Medio nos d
a:
f (x, y + h) f (x, y ) f
0
0
(2.5.5)
= (x, y0 + h) (x),
h
y
onde ]0, 1[. A conclus
ao 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
Obviamente:
s(f ; P ) S(f ; P ),
(2.6.1)
bP
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
func
ao MP ) no ponto x e igual ao nfimo (resp., o supremo) de f no bloco b;
se x pertence `
a fronteira de algum sub-bloco de B determinado por P entao
mP (x) = MP (x) = 0. Obviamente mP e MP sao funcoes simples Lebesgue
integr
aveis e:
Z
Z
MP dm = S(f ; P ),
mP dm = s(f ; P ),
(2.6.2)
B
j
a que m int(b) = m(b) = |b|, para todo b P (vide Corolario 1.4.8).
Temos:
(2.6.3)
int(b);
bP
como a uni
ao das fronteiras dos blocos b P tem medida nula, segue que as
desigualdades em (2.6.3) valem para quase todo x B. Se Q e uma particao
de B que refina P ent
ao afirmamos que:
[
int(b);
(2.6.4) mP (x) mQ (x), MQ (x) MP (x), para todo x
bQ
S(f ; Q) S(f ; P ).
67
(R)
f = inf S(f ; P ) : P particao de B .
(R)
f = (R)
f = (R)
f.
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
ent
ao 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 arbitr
ario, segue que m(x) = M (x). Reciprocamente, suponha
que m(x) = M (x); da, por (2.6.5), temos m(x) = f (x) = M (x). Portanto,
para todo > 0, existem 1 , 2 > 0 tais que:
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 partic
ao 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 kPk k < 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:
Z
Z
Z
Z
m dm = (R) f,
M dm = (R)
f.
k B
De modo totalmente an
alogo, mostra-se que a integral de Lebesgue de M e
igual `
a integral superior de Riemann de f .
Estamos em condic
oes agora de provar o resultado principal desta secao.
o. Seja B um bloco retangular n-dimensional com
2.6.9. Proposic
a
|B| > 0 e seja f : B IR uma func
ao limitada. Ent
ao:
(a) f e Riemann integr
avel se e somente se o conjunto das descontinuidades de f tem medida nula;
(b) se f e Riemann integr
avel ent
ao f e Lebesgue integr
avel e:
Z
Z
f dm = (R) f.
B
70
desde que o limite acima exista em IR. Quando esse limite e finito, dizemos
que a integral impr
opria de f e convergente.
o. Seja f : [a, +[ IR uma funca
2.6.12. Proposic
a
o 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:
Z +
Z +
(R)
(2.6.9)
f=
f dm.
a
Fatou, temos:
Z
Z +
f dm =
71
Z
lim inf f [a,un ] dm lim inf
n
f [a,un ] dm
Z un
= lim inf
f dm.
n
R un
R +
a
un
+
+
f dm;
f dm =
f dm, lim
f dm =
lim
n a
n a
a conclus
ao e obtida subtraindo as duas igualdades acima.
Resultados an
alogos aos da Proposicao 2.6.12 podem ser mostrados para outros tipos de integrais improprias de Riemann (por exemplo, integrais
de func
oes ilimitadas em intervalos limitados). O passo central da demonstrac
ao de tais resultados e dado pelo resultado do Exerccio 2.25. Note, por
exemplo, que o resultado desse exerccio pode ser usado para justificar a
igualdade (2.6.11) na demonstracao da Proposicao 2.6.12.
possvel que uma funcao f : [a, +[ IR admita
2.6.13. Exemplo. E
uma integral impr
opria de Riemann convergente mas nao seja Lebesgue
quase integr
avel. Considere a funcao f : [0, +[ IR definida por:
sen x
f (x) =
,
x
para x > 0 e f (0) = 1. Temos que f e contnua e portanto f |[0,u] e limitada
e Riemann integr
avel para todo u ]0, +[. Temos que f se anula nos
pontos k, com k inteiro positivo, f e positiva nos intervalos da forma
]k, (k + 1)[ com k inteiro positivo par e f e negativa nos intervalos da
forma ]k, (k + 1)[ com k inteiro positivo mpar. Para cada inteiro k 0,
seja:
Z (k+1)
ak =
|f | dm 0.
k
X
X
+
(2.6.12)
f dm =
ak ,
f dm =
ak .
0
k=0
k par
Alem do mais:
Z
f dm =
0
n1
X
(1)k ak ,
k=0
k=1
k mpar
72
e portanto:
Z
lim
n 0
f dm = lim
n1
X
(1) ak =
k=0
(1)k ak .
k=0
Facamos
estimativas sobre os n
umeros ak . Para x [k, (k + 1)],
algumas
1
temos senx x k
e portanto:
ak
1
1
(k + 1) k = ,
k
k
(1)k ak = L IR.
k=0
lim
u+ 0
f dm = L.
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:
Z u
Z (n+1)
Z (n+1)
Z (n+1)
n
X
f dm =
f dm
f dm =
(1)k ak
f dm.
0
k=0
Da:
Z
L
n
Z
X
k
f dm L
(1) ak +
(n+1)
k=0
73
f dm
n
X
L
(1)k ak + an < ,
k=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
ent
ao, para k + 4 x (k + 1) 4 temos:
sen x 2
2
1
|sen x|
,
,
2
x
2 (k + 1)
e portanto:
Z (k+1)
Z (k+1)
4 sen x
2
1
ak =
|f | dm
.
dm(x)
x
2 (k + 1) 2
k+
k
4
Logo f n
ao e Lebesgue quase integravel.
No Exerccio 2.28 pedimos ao leitor
para computar explicitamente o valor
R +
da integral impr
opria de Riemann (R) 0 f da funcao f do Exemplo 2.6.13.
2.7. O Teorema de Fubini em IRn
Ao longo desta sec
ao consideramos fixados inteiros positivos m e n e
m+n
identificamos IR
com o produto IRm IRn atraves da aplicacao:
IRm IRn 3 (x, y) 7 (x1 , . . . , xm , y1 , . . . , yn ) IRm+n .
Dado um subconjunto A de IRm+n e dado x IRm denotamos por Ax a
fatia vertical de A correspondente `
a abscissa x definida por:
Ax = y IRn : (x, y) A .
Se ix : IRn IRm+n denota a funcao ix (y) = (x, y) entao obviamente:
(2.7.1)
Ax = i1
x (A),
74
e mensur
avel e vale a igualdade:
Z
(2.7.3)
m(Ax ) dm(x) = m(A).
IRm
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 colec
ao 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:
(
A2 , se x A1 ,
Ax =
, se x 6 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 ),
para todo x IRm . Segue que a funcao x 7 m (A B)x e mensuravel,
sendo uma soma de func
oes mensuraveis; sua integral e dada por:
Z
Z
Z
m(Bx ) dm(x)
m(Ax ) dm(x) +
m (A B)x dm(x) =
IRm
IRm
IRm
IRm
IRm
IRm .
para todo x
Segue que a funcao x 7 m(Ax ) e mensuravel,
sendo um limite de func
oes mensuraveis. Pelo Teorema da Convergencia
Monot
onica, temos:
Z
Z
m(Ax ) dm(x) = lim
m(Akx ) dm(x) = lim m(Ak ) = m(A).
IRm
k IRm
75
Usamos induc
ao em k. O caso k = 1 segue do passo 1. Suponha que a uni
ao 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 conjuntolimitado, em virtude
Sk
S
a em C e
Bi =
do passo 6, para mostrar que k+1
i=1 Bi Bk+1 est
i=1
Sk
suficiente mostrar que
a em C. Mas:
i=1 Bi Bk+1 est
k
[
Bi Bk+1 =
i=1
k
[
(Bi Bk+1 ),
i=1
k
\
Ui ,
i=0
ent
ao Ak e um aberto limitado para todo k 1 e Ak & Z. Segue dos
passos 5 e 8 que Z C.
Seja agora Z IRm+n um G arbitrario. Temos que
Zk = Z ]k, k[ m+n
e um G limitado para todo k 1 e portanto Zk C, pelo que mostramos acima. A conclus
ao segue do passo 4, ja que Zk % Z.
Passo 10. A colec
ao C coincide com a colec
ao de todos os subconjuntos
Boreleanos de IRm+n .
Seja A IRm+n um Boreleano. Pelo Lema 1.4.28 existe um subconjunto Z de IRm+n de tipo G com A Z e m(Z \ A) = 0. Pelo Lema 1.4.50, existe um subconjunto E de IRm+n de tipo G com Z \A E
e m(E) = m(Z \ A) = 0. O passo 9 nos garante que E e Z estao em C.
Logo:
Z
m(Ex ) dm(x) = m(E) = 0;
IRm
76
77
IRm
78
XY
k
X
f (x, y) =
ci Ai (y),
x
i=1
Z X
k
Y i=1
ci Ai (y) dm(y) =
k
X
ci m(Aix ).
i=1
Logo:
Z Z
X
Z
f (x, y) dm(y) dm(x) =
k
X
IRm i=1
ci m(Aix ) dm(x)
k
X
ci m(Ai )
i=1
Z
=
e mensur
avel para todo x X \ N . Pelo Teorema da Convergencia
Monot
onica, temos:
Z
Z
f (x, y) dm(y) = lim
fk (x, y) dm(y),
Y
k Y
79
R
para todo x X \ N . Logo a funcao x 7 Y f (x, y) dm(y) e mensuravel
e, usando novamente o Teorema da Convergencia Monotonica, obtemos:
Z Z
Z Z
fk (x, y) dm(y) dm(x)
f (x, y) dm(y) dm(x) = lim
k X
Y
X
Y
Z
Z
fk (x, y) dm(x, y) =
f (x, y) dm(x, y).
= lim
k XY
XY
(2.7.6)
f (x, y) dm(y) dm(x) =
f (x, y) dm(x, y).
X
XY
80
b(y1 , . . . , yn , x1 , . . . , xm ) = (x1 , . . . , xm , y1 , . . . , yn ),
para todos x IRm , y IRn . Temos que:
b1 (X Y ) = Y X IRn IRm
= IRm+n .
Em vista das observac
oes que precedem o enunciado do corolario, temos que
f
b|Y X : Y X IR e quase integravel e tem a mesma integral que f . A
conclus
ao e obtida aplicando o Teorema 2.7.4 `a funcao f
b|Y X , trocando
os papeis de m e n.
possvel que uma funcao mensuravel f : X Y IR seja tal que as inE
R
R R
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-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
(2.7.8)
aij ,
j = 1, 2, . . . ,
i=1
X
X
i=1
aij ,
j=1
X
X
j=1
aij ,
i=1
s
ao todas absolutamente convergentes, mas:
X
X
i=1
j=1
X
X
aij =
6
aij .
j=1
i=1
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 n
ao nulos e:
X
X
X
X
aij = 0,
aij = 1.
i=1
j=1
j=1
i=1
Considere a func
ao f : [0, +[ [0, +[ IR definida por:
f=
aij [i1,i[[j1,j[ ,
i,j=1
ou seja, a restric
ao de f ao retangulo [i 1, i[ [j 1, j[ e igual a aij , para
todos i, j 1. Fixado x [0, +[ entao:
f (x, y) =
j=1
para
P todo y [0, +[, onde i 1 e tal que x [i 1, i[. Como a serie
e absolutamente convergente, segue do resultado do Exerccio 2.23
j=1 aij
que a func
ao y 7 f (x, y) e integravel e:
Z +
X
f (x, y) dm(y) =
aij ;
0
da:
Z
f (x, y) dm(y) =
0
j=1
X
X
i=1
aij [i1,i[ (x),
j=1
P
e absolutamente
para todo x [0, +[. Como a serie
i=1
j=1 aij
convergente, usando
novamente o resultado do Exerccio 2.23, conclumos
R +
que a func
ao x 7 0 f (x, y) dm(y) e integravel e:
Z + Z +
X
X
aij .
f (x, y) dm(y) dm(x) =
0
i=1
j=1
De modo an
alogo, mostra-se que:
Z + Z +
X
X
f (x, y) dm(x) dm(y) =
aij ,
0
e portanto:
Z + Z +
0
j=1
Z
f (x, y) dm(y) dm(x) 6=
0
+ Z +
0
i=1
f (x, y) dm(x) dm(y).
82
cos y ,
P yn
f (x, y) =
2,
n=1 n
Q (x + y),
e Borel mensur
avel.
83
k=1
f d,
E A,
e uma medida
(a medida f e chamada a integral indefinida de f e e denotada
R
por f = f d).
Exerccio 2.13. Sejam (X, A, ) um espaco de medida e f : X IR
uma func
ao quase integr
avel. Mostre que:
(a) se (Ak )k1 e uma seq
S uencia de conjuntos mensuraveis dois a dois
ao:
disjuntos e se A =
k=1 Ak ent
Z
Z
r Z
X
X
def
f d =
f d = lim
f d;
A
k=1
Ak
k=1
Ak
k Ak
84
E X,
X
(2.7.11)
f d =
f (n);
X
n=1
P
uma func
ao f : X IR e integravel se e somente se a serie
f
(n)
e absolutamente convergente e nesse caso vale a identin=1
dade (2.7.11).
Exerccio 2.16. Sejam (X, A, ) um espaco de medida e f : X IR
uma func
ao quase integr
avel. Mostre que:
R
se RX f d < + entao f (x) < + para quase todo x X;
se X f d > entao f (x) > para quase todo x X;
se f e integr
avel entao f (x) IR para quase todo x X.
Exerccio 2.17. Sejam (X, A, ) um espaco de medida e f : X IR,
oes mensur
aveis, com g quase integravel. Mostre que:
g : X IR func
R
se
R X g d > e f g q. s. entao f e quase integravel e
f d > ;
XR
Rse X g d < + e f g q. s. entao f e quase integravel e
X f d < +;
se g e integr
avel e |f | g q. s. entao f e integravel.
Exerccio 2.18. Seja (X, A, ) um espa
R co de medida. Dada uma funcao
mensur
avel f : X [0, +], mostre que X f d = 0 se e somente se f = 0
quase sempre.
Exerccio 2.19. Seja (X, A, ) um espaco de medida. Dadas funcoes
integr
aveis f : X IR, g : X IR tais que f g e:
Z
Z
f d =
g d,
X
85
yi xi < =
i=1
n
X
i=1
para todos a, b I.
Exerccio 2.22. (integrac
ao por partes) Se f : [a, b] IR, g : [a, b] IR
s
ao func
oes de classe C 1 , mostre que:
Z b
Z b
f (x)g 0 (x) dm(x) = f (b)g(b) f (a)g(a)
f 0 (x)g(x) dm(x).
a
Teoremas de Converg
encia.
Mostre que:
a serie
x X;
k=1 fk (x)
k=1
86
k=1 fk
q. s.
Z
f d = lim
k Ak
f d.
IR
s
ao contnuas e que:
lim g1 (t) = 0,
lim g2 (t) = 0.
87
para todo n 1.
(c) Determine m(n ).
CAPITULO 3
n
Y
i=1
Ai
n
Y
[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
enumer
avel R
S de cubos n-dimensionais com interiores dois a dois disjuntos
tal que U = BR B. Da:
X
|B| = m(U ) m (A) + .
BR
Da (A)
(3.1.2)
X) e portanto:
X
m (A)
m (B X) .
BR (B
BR
A conclus
ao segue fazendo 0.
kT k = sup kT (x)k ,
kxk 1
ent
ao:
kT (x)k kT kkxk ,
3.1. APLICAC
OES
LIPSCHITZIANAS
90
(Uxi A).
i=1
3.2. APLICAC
OES
LINEARES
91
3.2. APLICAC
OES
LINEARES
92
tipo 2. E =
b, onde : {1, . . . , n} {1, . . . , n} e uma bijecao e:
(3.2.3)
D (x1 , . . . , xn ) = (1 x1 , . . . , n xn ).
Obviamente as express
oes (3.2.2), (3.2.3) e (3.2.4) definem isomorfismos
n
lineares de IR ; em (3.2.2) escrevemos a definicao de Li,j;c assumindo que
i < j, mas obviamente uma formula analoga define Li,j;c se i > j. O
efeito da multiplicac
ao `
a esquerda de uma matriz T por uma matriz que
representa uma aplicac
ao linear elementar E nos da o que chamamos de
uma transformac
ao elementar de matrizes; mais explicitamente, se T e uma
matriz n n cujas linhas s
ao vetores `1 , . . . , `n IRn e se E e uma aplicacao
linear elementar ent
ao ET e a matriz cujas linhas sao:
`1 , . . . , `i + c`j , . . . , `j , . . . , `n , se E = Li,j;c ;
`(1) , . . . , `(n) , se E =
b;
1 `1 , . . . , n `n , se E = D .
As transformac
oes elementares de matrizes associadas `a multicacao `a esquerda por uma aplicac
ao elementar de tipos 1, 2 e 3 serao respectivamente
chamadas de transformac
oes elementares de tipos 1, 2 e 3.
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
93
b1 Li,j;c
b = L(i),(j);c ,
para todos i, j = 1, . . . , n distintos e todo c IR. Podemos entao reduzir a
demonstrac
ao do lema apenas ao caso em que T = Ln,1;c , c IR. No que
segue, identificamos IRn com o produto IRn1 IR e usamos a notacao da
Sec
ao 2.7; a aplicac
ao T escreve-se na forma:
T (x, y) = (x, y + cx1 ),
x IRn1 , y IR.
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
94
(A)
(E) =
1 (E) Uxi ,
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
func
oes mensur
aveis:
|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:
Z
det d(y) dm(y).
(3.3.3)
m (A) (1 + )
A
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
96
De (3.3.5), obtemos:
(3.3.8) det d(y0 ) m(A) =
det d(y0 ) (y) dm(y)
A
A
Z
0
det d(y) dm(y).
(1 + )
A
(A Wi ).
i=1
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
97
Vemos ent
ao que (A) e mensuravel e alem disso:
X
X
m (A)
m (A Wi ) (1 + )
i=1
det d(y) dm(y)
AWi
i=1
Z
= (1 + )
det d(y) dm(y),
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:
Z
Z
f (x) dm(x)
f (y) det d(y) dm(y).
(3.3.9)
(A)
para i = 1, . . . , k e portanto:
Z
f (x) dm(x) =
(A)
k
X
ci m(Ei )
i=1
k
X
i=1
k
X
det d(y) dm(y)
ci
Ai
Ei (y) det d(y) dm(y)
ci
A
i=1
Z
=
f (y) det d(y) dm(y).
Demonstramos ent
ao a desigualdade (3.3.9) no caso em que f e simples
e mensur
avel. Seja agora f : (A) [0, +] uma funcao mensuravel
arbitr
aria. Temos que existe uma seq
uencia (fk )k1 de funcoes simples e
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
98
mensur
aveis fk : (A) [0, +] tal que fk % f ; da:
Z
Z
fk (x) dm(x)
fk (y) det d(y) dm(y),
(A)
f (x) dm(x),
(A)
a conclus
ao segue subtraindo (3.3.12) de (3.3.11), tendo em mente que as
func
oes:
A 3 y 7 f + (y) det d(y), A 3 y 7 f (y) det d(y)
s
ao respectivamente a parte positiva e a parte negativa da funcao (3.3.1).
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 Notac
ao 3.1.1):
(3.4.1)
(x + h) (x) T (h)
= 0;
h0
khk
lim
essa aplicac
ao linear e u
nica quando existe e e dada por:
(x + tv) (x) def
=
(x),
t
v
para todo v IRm . A aplicacao linear T e chamada a diferencial de
no ponto x e e denotada por d(x). A matriz que representa a diferencial
d(x) com respeito `
as bases canonicas e chamada a matriz Jacobiana de
no ponto x. No que segue, usaremos a mesma notac
ao para a diferencial
d(x) e para a matriz Jacobiana de no ponto x. Temos:
1
1
x1 (x)
xm (x)
.. ,
..
d(x) = ...
.
.
T (v) = lim
t0
n
x1 (x)
n
xm (x)
i
onde = (1 , . . . , n ) e x
(x) denota a derivada parcial no ponto x da
j
func
ao coordenada i com respeito `a j-esima variavel. Se uma aplicacao
e diferenci
avel 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
kxk , quando x 0.
Quando uma aplicac
ao : U IRn definida num aberto U de IRm
e diferenci
avel em todos os pontos de U dizemos simplesmente que ela e
diferenci
avel em U ; dizemos que e de classe C 1 em U se e diferenciavel
em U e se a func
ao U 3 x 7 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 Sec
ao 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 observac
ao 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).
101
n n+1
X
ai pi : ai 0, i = 1, . . . , n + 1,
i=1
n+1
X
o
ai = 1 .
i=1
102
Considere a func
ao : IRn ]0, 1[ IRn+1 definida por:
(x, t) = (x, 0) + t p (x, 0) ,
para todos x IRn , t ]0, 1[. Mostre que:
e injetora, de classe C 1 e det d(x, t) = (1 t)n pn+1 , para todos
x IRn , t ]0, 1[;
se A e mensur
avel entao o cone C(A, p) e mensuravel e sua medida
de Lebesgue e dada por:
m(A)|pn+1 |
m C(A, p) =
.
n+1
Exerccio 3.5. Mostre que:
2 Z
Z +
2
2
x2
e(x +y ) dm(x, y),
e
dm(x) =
0
onde Q = [0, +[ [0, +[; use essa identidade, juntamente com uma
R +
2
mudanca de vari
aveis 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 =
b(B) =
Qn
i=1 [ai , bi ]
n
Y
[a(i) , b(i) ]
i=1
n
n
Y
Y
(b(i) a(i) ) =
(bi ai ) = |B|.
i=1
i=1
S
e uma cobertura
de A por blocos ratangulares n(b) Se A
k=1 Bk
S
b
e uma cobertura de
b(A)
dimensionais ent
ao
b(A)
k=1 (Bk )
por blocos retangulares n-dimensionais e
|b
(Bk )| =
k=1
|Bk |.
k=1
Isso mostra que C(A) C
b(A) (recorde (1.4.1)). Por outro lado,
se = 1 ent
ao A = b
b(A) e da o mesmo argumento mostra
que C
b(A) C(A); logo:
m (A) = inf C(A) = inf C
b(A) = m
b(A) .
103
104
(c) Se A e mensur
avel entao para todo > 0 existe um aberto U IRn
contendo A tal que m (U \ A) < . Da
b(U ) e um aberto contendo
b(A) e:
m
b(U ) \
b(A) = m
b(U \ A) = m (U \ A) < ,
provando que
b(A) e mensuravel.
Exerccio 1.12.
(a) O resultado e claro se B e vazio. Senao, B =
D (B) =
n
Y
Qn
i=1 [ai , bi ]
[a0i , b0i ],
i=1
i=1
|D (Bk )| = | det D |
k=1
|Bk |.
k=1
105
Exerccio 1.13. Temos B A (B \ A) A (A 4 B) e portanto m (B) m (A) + m (A 4 B) = m (A). De modo analogo mostra-se
que m (A) m (B) e portanto m (A) = m (B). Suponha agora que A e
mensur
avel. Ent
ao:
(A.1.3)
B = A \ (A \ B) (B \ A).
Como A \ B A 4 B e B \ A A 4 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.
m(U ) =
|Bk |.
k=1
P
e
Note que m(U ) = m(U \ A) + m(A) < + P
e portanto a serie
k=1 |Bk |
convergente; existe portanto t 1 tal que k>t |Bk | < 2 . Observe agora
que:
t
[
[
Bk
Bk 4 A (U \ A)
k>t
k=1
e portanto:
S
X
t
B
4
A
m(U
\
A)
+
|Bk | < + = .
m
k
k=1
2 2
k>t
A conclus
ao segue de (A.1.4) e (A.1.5).
Exerccio 1.16. Temos:
m (A) m (E 0 ) m (E) = m(E)
com m (A) = m(E) e portanto m(E 0 ) = m (E 0 ) = m (A). Como E 0 e
mensur
avel e contem A, segue que E 0 e um envelope mensuravel de A.
106
e Bl Al , de modo queSBk Bl = .
Afirmamos tambem que
k
S Al = S
S
A
=
B
.
Obviamente,
B
k
k=1 S
k=1 k
k=1 k
k=1 Ak . Por outro lado,
A
,
seja
k
1
o
menor
inteiro
tal
que
x Ak ; da x Ak e
se x
Sk1k=1 k
x 6 i=0 Ai , i.e., x Bk . Finalmente, temos:
(A.1.6)
[
[
X
X
Ak =
Bk =
(Bk )
(Ak ).
k=1
k=1
k=1
k=1
k1
[
(Ai Ak );
i=0
k1
X
(Ai Ak ) = (Bk ),
i=0
A
para
todo
k
1
e
todo
i
I, de
i
k
S
S
modo que
A
A
para
todo
i
I
e
portanto
A
A.
i
k=1 k
k=1 k
(b) Se 1 [C] e 2 [C] s
ao 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 = ], b] \ , a k1 .
[a, b] =
a k1 , b ,
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
ent
ao 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 + ] est
a 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 s
ao subconjuntos mensuraveis disjuntos de I e portanto:
|I| = m(I) m(F J) = m(F ) + m(J) = |I| + |J| > |I|,
o que nos d
a uma contradicao e prova que F = I. Em particular, vemos que
F n
ao 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
Vk m (A),
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 (Q0l )l1 respectivamente uma seq
uencia de blocos retangulares m-dimensionais e uma
seq
uencia de blocos retangulares n-dimensionais tais que:
A
Qk ,
k=1
Q0l
l=1
e tais que:
k=1
l=1
X
k,l1
|Qk Q0l | =
X
k,l1
|Qk | |Q0l | =
X
k=1
|Qk |
X
|Q0l |
l=1
< m (A) + m (B) + .
A conclus
ao e obtida fazendo 0. Consideramos agora o caso que
m (A) = + ou m (B) = +. Se m (A) > 0 e m (B) > 0 entao
m (A)m (B) = + e nao ha nada para mostrar. Suponha entao
que m (A) = 0 ou m (B) = 0, de modo que m (A)m (B) = 0; devemos mostrar entao que m (A B) = 0 tambem. Consideraremos
apenas o caso que m (A) = + e m (B) = 0 (o caso m (A) = 0 e
110
m (B) = +
e an
alogo). Para cada k 1, seja Ak = A [k, k]m .
S
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(V \ B) <
.
m(U \ A) <
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 = BS [k, k]n . Da Ak Bk e mensuravel
em AB
para todo k 1 e AB =
k=1 (Ak Bk ); portanto tamb
e mensur
avel.
(c) Mostremos primeiro que se U IRm , V IRn sao abertos entao:
m(U V ) = m(U )m(V ).
(A.1.7)
S
e
Pelo Lema 1.4.23 podemos escrever U =
k=1 Qk , onde (Qk )k1
uma seq
uencia de blocos retangulares m-dimensionais comSinterio0
res dois a dois disjuntos; podemos tambem escrever V =
l=1 Ql ,
0
onde (Ql )l1 e uma seq
uencia de blocos retangulares n-dimensionais
com interiores dois a dois disjuntos. Note que (Qk Q0l )k,l1 e uma
famlia enumer
avel de blocos retangulares (m +Sn)-dimensionais
com interiores dois a dois disjuntos e U V = k,l1 (Qk Q0l ).
Da, pelo Corol
ario 1.4.21, obtemos:
m(U V ) =
X
k,l1
|Qk
Q0l |
X
k,l1
|Qk | |Q0l |
X
k=1
X
|Qk |
|Q0l |
l=1
= m(U )m(V ).
111
Bk = B [k, k]n ,
para todo k 1. Da Ak % A, Bk % B, Ak Bk % A B e
portanto:
m(A B) = lim m(Ak Bk ) = lim m(Ak )m(Bk ) = m(A)m(B),
k
onde na u
ltima igualdade usamos o resultado do Exerccio 1.5.
A.2. Exerccios do Captulo 2
Exerccio 2.1. Se f : X X 0 e constante entao para todo subconjunto
A de X 0 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:
A0 = A X : A Y [C|Y ] .
Verifica-se diretamente que A0 e uma -algebra de partes de X; obviamente,
C A0 . Logo A A0 , 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) ent
ao A IR B(IR); logo B(IR)|IR B(IR). Por outro lado,
se A B(IR) ent
ao 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]|IR = B(IR).
Seja A B(IR), de modo que A IR B(IR). Por (A.2.3), temos que existe
A0 [C] tal que A IR = A0 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 mensur
avel. A conclus
ao segue da igualdade:
x X : f (x) = g(x) = f 1 (+)g 1 (+) f 1 ()g 1 ()
x f 1 (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)
(x, y) IR2 : 1 < y < 1 ,
(A.2.4c)
(x, y) IR2 : y 1 ,
suficiente
constituem uma cobertura enumeravel de IR2 por Boreleanos. E
ent
ao mostrar que a restricao de f a cada um desses Boreleanos e Borel
mensur
avel. A restric
ao de f ao conjunto (A.2.4a) e contnua, e portanto
Borel mensur
avel (veja Lema 2.1.15). A restricao de f ao conjunto (A.2.4b)
e um limite pontual de func
oes contnuas e portanto e Borel mensuravel, pelo
Corol
ario 2.1.24 (na verdade, essa restricao de f tambem e contnua, ja que
a serie em quest
ao converge uniformemente, pelo teste M de Weierstrass).
Finalmente, a restric
ao de f ao conjunto (A.2.4c) e Borel mensuravel, sendo
113
igual `
a composic
ao da funcao contnua (x, y) 7 x + y com a funcao Borel
mensur
avel Q .
Exerccio 2.7.
(a) Como X \ X1 tem medida nula, temos que todo subconjunto de
X \ X1 e mensur
avel (recorde Lema 1.4.16). Portanto, a restricao
de f a X \ X1 e automaticamente mensuravel (seja la qual for a
func
ao f ). Como os conjuntos X \ X1 e X1 = X \ (X \ X1 ) sao
mensur
aveis, segue do Lema 2.1.13 que f e mensuravel.
(b) Como f = g quase sempre, existe um subconjunto X1 de X tal que
X \ X1 tem medida nula e tal que f e g coincidem em X1 . Como f
e mensur
avel, segue que g|X1 = f |X1 tambem e mensuravel; logo,
o resultado do item (a) implica que g e mensuravel.
(c) Basta observar que g = lim inf k fk quase sempre e usar o resultado do item (b) juntamente com o Corolario 2.1.23.
Exerccio 2.8. Devemos mostrar que se A e um subconjunto Lebesgue
mensur
avel de IRm ent
ao 1 (A) e um subconjunto Lebesgue mensuravel
de IRm+n . Mas 1 (A) = A IRn e portanto a conclusao segue do resultado
do item (b) do Exerccio 1.30.
Exerccio 2.9. Considere a funcao : X IRn IRn definida por
(x, y) = y f (x), para todos x X, y IRn . Obviamente:
gr(f ) = 1 (0).
Considere a projec
ao : IRm+n IRm nas primeiras m coordenadas. Temos
que e contnua e portanto Borel mensuravel; da X IRn = 1 (X) e Boreleano, caso X seja Boreleano. Alem do mais, pelo resultado do Exerccio 2.8,
X IRn e Lebesgue mensuravel, caso X seja Lebesgue mensuravel. Para
concluir a demonstrac
ao, vamos verificar que:
e Borel mensur
avel se f for Borel mensuravel;
e mensur
avel se f for mensuravel.
De fato, temos que e igual `a diferenca entre a funcao contnua (x, y) 7 y
e a func
ao (x, y) 7 f (x), que e simplesmente a composicao da restricao de
a X IRn com f . A conclusao segue do resultado do Exerccio 2.8.
Exerccio 2.10.
(a) Se f e integr
avel entao, por definicao, f + e f sao integraveis, donde |f | = f + + f e integravel. Reciprocamente, se |f | e integravel
ent
ao f + e f s
ao integraveis, ja que 0 f + |f | e 0 f |f |.
Segue que f e integravel.
114
(b) Temos:
Z
Z
Z
Z
Z
+
f d
f d +
f d
f d
f d =
X
X
X
X
X
Z
Z
+
|f | d.
f + f d =
=
X
Pn
uencia de
Exerccio 2.11. Seja gn = k=1 fk . Da (gn )n1 e uma seq
func
oes mensur
aveis n
ao negativas com gn % f . Segue do Teorema 2.3.3
que:
Z
Z
n Z
Z
X
X
f d.
gn d =
fk d = lim
fk d = lim
X
k=1
k=1
n X
X
f E =
f Ek ,
k=1
Z
X
X
f (Ek ) =
f Ek d =
f E d = f (E).
k=1
k=1
Exerccio 2.13.
(a) Se a func
ao f e nao negativa, a afirmacao segue do resultado do
Exerccio 2.12. No caso geral, temos:
Z
Z
Z
Z
X
X
+
+
f d,
f d =
f d,
f d =
A
k=1
Ak
k=1
Ak
e a conclus
ao segue subtraindo as duas igualdades acima.
(b) Se a func
ao f e nao negativa, a afirmacao segue do resultado do
Exerccio 2.12 e do Lema 1.4.48. No caso geral, temos:
Z
Z
Z
Z
+
+
f d = lim
f d,
f d = lim
f d,
A
k Ak
k Ak
e a conclus
ao segue subtraindo as duas igualdades acima.
(c) RAn
alogo ao item (b),
que se f |A1 e integravel entao
R observando
+ d < + e
d < +.
f
f
A1
A1
LISTA DE SMBOLOS
115
Lista de Smbolos
+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
A + x . . . . . . . . . . . . . . . . . . . . . . . 6, 12
A 4 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
kP k . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
kxk . . . . . . . . . . . . . . . . . . . . . . . . . .88
Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6
A . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
d(x) . . . . . . . . . . . . . . . . . . . . . . . . . 99
det T . . . . . . . . . . . . . . . . . . . . . . . . . . 91
v (x) . . . . . . . . . . . . . . . . . . . . . . . . . 99
inf
R ............................. 2
fR d . . . . . . . . . . . . . . . . . . . . . . . . . 83
(R)
f . . . . . . . . . . . . . . . . . . . . . . . . . 67
Rb
(R)
R a f . . . . . . . . . . . . . . . . . . . . . . . . 70
RX f (x) d(x) . . . . . . . . . . 49, 54, 57
f d . . . . . . . . . . . . . . . . 49, 54, 56
RXb
f (x) dm(x) . . . . . . . . . . . . . . . . . 57
Rab
f dm . . . . . . . . . . . . . . . . . . . . . . . 57
Ra+
f (x) dm(x) . . . . . . . . . . . . . . . 57
Ra+
f dm . . . . . . . . . . . . . . . . . . . . . 57
a
R
f . . . . . . . . . . . . . . . . . . . . . . . . 67
R
(R)
f . . . . . . . . . . . .. . . . . . . . . . . . 67
I, (i )ni=1 ; (i )ni=1 . . . . . . . . . . . 26
m(A) . . . . . . . . . . . . . . . . . . . . . . . . . . 21
m (A) . . . . . . . . . . . . . . . . . . . . . . . . . 10
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
b . . . . . . . . . . . . . . . . . . . . . . . . . . 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)
INDICE REMISSIVO
116
Indice Remissivo
A
aberta
aplicac
ao. . . . . . . . . . . . . . . . .101
algebra . . . . . . . . . . . . . . . . . . . . . . . . 18
anti-reflexividade . . . . . . . . . . . . . . . 1
aplicac
ao
aberta . . . . . . . . . . . . . . . . . . . 101
aplicac
ao linear
elementar . . . . . . . . . . . . . . . . . 91
area . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
aresta
de um cubo . . . . . . . . . . . . . . . 15
associatividade . . . . . . . . . . . . . . . . . 2
B
Baire
teorema de . . . . . . . . . . . . . . . . 37
bloco retangular . . . . . . . . . . . . . . . . 7
volume de . . . . . . . . . . . . . . . . . . 8
Borel
-
algebra de . . . . . . . . . . . . . . 18
de IR. . . . . . . . . . . . . . . . . . . .39
Borel mensur
avel
func
ao . . . . . . . . . . . . . . . . . . . . 40
Boreleano . . . . . . . . . . . . . . . . . . . . . 18
em IR . . . . . . . . . . . . . . . . . . . . . 39
C
cadeia
regra da . . . . . . . . . . . . . . . . . . .99
caminho . . . . . . . . . . . . . . . . . . . . . . . 31
Cantor
conjunto de . . . . . . . . . . . . . . . 27
conjunto tern
ario de . . . . . . . 37
Caratheodory . . . . . . . . . . . . . . . . . 23
Cayley
grafo de . . . . . . . . . . . . . . . . . . . 32
circuito . . . . . . . . . . . . . . . . . . . . . . . 31
classe C 1
func
ao de . . . . . . . . . . . . . . . . . 99
colorimento . . . . . . . . . . . . . . . . . . . 31
componente conexa
de um grafo . . . . . . . . . . . . . . . 31
comprimento
de um caminho. . . . . . . . . . . .31
de um intervalo . . . . . . . . . . . . 8
comutatividade . . . . . . . . . . . . . . . . . 3
cone . . . . . . . . . . . . . . . . . . . . . . . . . 101
conjunto
Boreleano . . . . . . . . . . . . . . . . . 18
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 func
ao . . . . . . . . . . . . 99
diferenci
avel
func
ao . . . . . . . . . . . . . . . . . . . . 99
dist
ancia
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
aplicac
ao linear . . . . . . . . . . . 91
transformac
ao . . . . . . . . . . . . . 92
elemento neutro . . . . . . . . . . . . . . . . 3
envelope mensur
avel . . . . . . . . . . . 22
escalonamento . . . . . . . . . . . . . . . . . 92
espaco
de medida. . . . . . . . . . . . . . . . .21
mensur
avel . . . . . . . . . . . . 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
func
ao
Borel mensur
avel . . . . . . . . . . 40
caracterstica . . . . . . . . . . . . . . 47
de classe C 1 . . . . . . . . . . . . . . . 99
diferenci
avel . . . . . . . . . . . . . . 99
estritamente crescente . . . . . 38
gr
afico de . . . . . . . . . . . . . . . . . 82
integr
avel . . . . . . . . . . . . . . . . . 56
Lipschitziana . . . . . . . . . . . . . . 88
localmente Lipschitziana . . 90
mensur
avel . . . . . . . . . . . . . . . . 39
a valores em IRn ou IR . . 40
definida em IRn . . . . . . . . . 40
integral de. . . . . . . . . . .54, 56
integral num subespaco . 57
quase integr
avel . . . . . . . . . . . 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
integr
avel . . . . . . . . . . . . . . . . . 57
medida de. . . . . . . . . . . . . . . . .21
medida exterior de . . . . . . . . . 9
medida interior de. . . . . . . . .24
mensur
avel . . . . . . . . . . . . . . . . 13
quase integr
avel . . . . . . . . . . . 57
lema
de Fatou . . . . . . . . . . . . . . . . . . 62
limite
em IR . . . . . . . . . . . . . . . . . . . . . . 4
inferior . . . . . . . . . . . . . . . . . . . . . 4
superior . . . . . . . . . . . . . . . . . . . . 4
Lipschitz
constante de . . . . . . . . . . . . . . 88
Lipschitziana
func
ao . . . . . . . . . . . . . . . . . . . . 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
mensur
avel . . . . . . . . . . . . . . . . . . . . 13
espaco . . . . . . . . . . . . . . . . . 21, 39
func
ao . . . . . . . . . . . . . . . . . . . . 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
relac
ao
anti-reflexiva . . . . . . . . . . . 1, 30
de equivalencia . . . . . . . . . . . . . 7
simetrica . . . . . . . . . . . . . . . . . . 30
transitiva. . . . . . . . . . . . . . . . . . .1
relac
ao de ordem
lexicogr
afica . . . . . . . . . . . . . . . 38
na reta estendida . . . . . . . . . . . 1
total . . . . . . . . . . . . . . . . . . . . . . . 1
reta estendida . . . . . . . . . . . . . . . . . . 1
Boreleanos da . . . . . . . . . . . . . 39
ret
angulo
area de . . . . . . . . . . . . . . . . . . . . . 8
Riemann
integral de . . . . . . . . . . . . . . . . 67
integral impr
opria de . . . . . . 70
integral inferior de . . . . . . . . 67
integral superior de . . . . . . . 67
integr
avel . . . . . . . . . . . . . . . . . 67
soma inferior de . . . . . . . . . . . 65
soma superior de . . . . . . . . . . 65
S
segmento de reta . . . . . . . . . . . . . 100
seq
uencia
convergente em IR . . . . . . . . . . 4
-
algebra . . . . . . . . . . . . . . . . . . . . . . 18
de Borel . . . . . . . . . . . . . . . . . . 18
de IR. . . . . . . . . . . . . . . . . . . .39
gerada por uma colec
ao
de conjuntos . . . . . . . . . . 18
induzida num subconjunto 42
simplexo . . . . . . . . . . . . . . . . . . . . . 101
padr
ao . . . . . . . . . . . . . . . . . . . . 87
soma
de func
oes . . . . . . . . . . . . . 44, 45
de uma famlia . . . . . . . . . . . . . 5
inferior de Riemann . . . . . . . 65
na reta estendida . . . . . . . . . . . 2
superior de Riemann . . . . . . 65
sub-bloco
determinado por
uma partic
ao . . . . . . . . . . . 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