Escolar Documentos
Profissional Documentos
Cultura Documentos
Integra
c
ao
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 .................................................... 40
2.2.
2.3.
2.4.
Definic
ao da Integral: o Caso Geral ............................. 57
2.5.
2.6.
Riemann x Lebesgue..................................................... 66
2.7.
2.8.
3.3.
3.4.
Apendice `
a Secao 3.3: recordacao de Calculo no Rn .... 108
SUMARIO
4.1.
4.2.
Aplicac
oes Lineares Contnuas ..................................... 119
4.3.
4.4.
4.5.
Apendice `
a Secao 4.4: funcoes convexas....................... 131
5.1.
5.2.
5.3.
Produto de -Algebras
................................................. 190
6.2.
6.3.
6.4.
Apendice A.
Soluc
oes para os Exerccios Propostos................. 209
A.1.
A.2.
Referencias Bibliogr
aficas ........................................................... 222
Lista de Smbolos................................................................... 223
Indice Remissivo .................................................................... 225
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
ao:
1.1.10. Proposic
a
uencia em R. Ent
lim inf ak lim sup ak ,
k
1.1. ARITMETICA
NA RETA ESTENDIDA
1.1.2. Somas infinitas em [0, +]. Se (ai )iI e uma famlia finita
em R ent
ao, j
a que a soma de R e associativa e comutativa, podemos definir
P
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 R. E
definir somas de famlias que contenham elementos negativos de R, mas esse
conceito n
ao ser
a necess
ario no momento.
1.1.11.
ao. Seja (ai )iI uma famlia arbitraria em [0, +]. A
P Definic
soma iI ai e definida por:
nX
o
X
ai = sup
ai : F I um subconjunto finito .
iI
iF
Se I e o conjunto
dos inteiros positivos entao denotamos a soma
P
tambem por
a
;
i=1 i 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 R ent
ao (A) (B);
(g) dados a, b R com a b ent
ao [a, b] < +.
o.
Demonstrac
a
Prova de (d).
Tome A1 = [0, 1] e An = para n 2 na propriedade (a) e use a
propriedade (c).
Prova de (e).
Tome Ak = para k > n e use as propriedades (a) e (d).
Prova de (f).
Basta observar que a propriedade (e) implica que:
(B) = (A) + (B \ A),
onde (B \ A) 0.
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).
n
Y
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
|B| |B 0 |.
1.3.5. S
Lema. Sejam B, B1 , .P
. . , Bt blocos retangulares n-dimensionais
ao |B| tr=1 |Br |.
com B tr=1 Br . Ent
o. Em vista da Observacao 1.3.4, substituindo cada bloDemonstrac
a
co Br por Br B e descartando os ndices
S r com Br B = , podemos
supor sem perda de generalidade que B = tr=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 .
S
Q
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
[
n
a
o
pode
estar
contido
na
uni
a
o
dos
blocos
B
de
volume
zero.
i
i
r
i=1
10
A conclus
ao segue agora do Lema 1.3.3 observando que:
|B| =
|b|
bP
|b| =
r=1,...,t bP r
|Br |>0
t
X
|Br |.
r=1
nX
k=1
|Bk | : A
k=1
o
para todo k 1 .
temos A k=1 Bk e portanto m (A) k=1 |Bk | = |B| < +. Veremos logo adiante (Corol
arios 1.4.6 e 1.4.7) que a recproca dessa afirmacao
n
ao e verdadeira, i.e., subconjuntos de Rn com medida exterior finita nao
precisam ser limitados.
1.4.3. Lema. Se B Rn e um bloco retangular n-dimensional ent
ao:
m (B) = |B|,
ou seja, a medida exterior de um bloco retangular n-dimensional coincide
com seu volume.
o. Tomando B1 = B e Bk = para k 2, obtemos
Demonstrac
a
P
uma cobertura (Bk )k1 de B por blocos retangulares com
k=1 |Bk | = |B|;
isso mostra que m (B) |B|. Para mostrar
a
desigualdade
oposta,
devemos
S
escolher uma cobertura arbitr
a
ria
B
B
de
B
por
blocos
retangulares
k
k=1
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 podemos
11
X
X
X
0
|B|
|Bk |
|Bk | + k
|Bk | + .
2
k=1
k=1
0
k=1 Bk .
k=1
St
Rn
ent
ao
m (A
1)
m (A
2 ).
k=1
[
X
m
Ak
m (Ak ).
k=1
k=1
|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
m (Ak ) + k =
Ak
|Bkj |
m (Ak ) + .
m
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 R ent
ao todo subconjunto
do hiperplano afim x = (x1 , . . . , xn ) Rn : xi = c tem medida exterior
nula.
S
o. Basta observar que x Rn : xi = c =
Demonstrac
a
k=1 Bk ,
onde:
Bk = x Rn : xi = c e |xj | k, j = 1, . . . , n, j 6= i
e um bloco retangular n-dimensional de volume zero.
12
m (A2 )
(1.4.2)
com A U e m (U ) m (A) + .
S
o. Seja A
Demonstrac
a
de A por blocos
k=1
PBk uma cobertura
13
0
|Bk0 | |Bk | + 2k+1
e aberto e U A;
. Seja U =
k=1 int(Bk ). Temos que U
alem do mais, usando os Lemas 1.4.4 e 1.4.5 obtemos:
m (U ) m
[
X
X
X
Bk0
m (Bk0 ) =
|Bk0 |
|Bk | +
k=1
k=1
k=1
X
k=1
k=1
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.
o. Um subconjunto A Rn e dito (Lebesgue) men1.4.13. Definic
a
sur
avel se para todo > 0, existe um aberto U Rn contendo A tal que
m (U \ A) < .
o. Obviamente, todo aberto em Rn e mensuravel;
1.4.14. Observac
a
n
de fato, se A R 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 Rn e mensur
avel.
o. Seja (Ak )k1 uma seq
Demonstrac
a
uencia de subconjuntos menn
sur
aveis de R . Dado > 0 entao, para cada k 1, podemos encontrar
S um
aberto Uk contendo Ak tal que m (Uk \ Ak ) < 2k . Tomando U =
k=1 Uk
S
A
e:
ent
ao U e aberto, U contem A =
k=1 k
m (U \ A) m
[
X
X
m (Uk \ Ak ) <
(Uk \ Ak )
= .
2k
k=1
k=1
k=1
14
e dados subconjuntos n
ao vazios A, B Rn 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 Rn 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:
m (A1 ) + m (A2 )
(1.4.4)
|Bk |.
k=1
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
Similarmente:
(1.4.7)
m (A2 )
X X
|b|.
k1 bP 2
k
|Bk |>0
15
r=1
r=1
r=1
r=1
r=1
[
X
m
Br =
|Br |.
r=1
r=1
t
t
[
[
X
m
Br m
Br =
|Br |,
r=1
r=1
r=1
[
X
m
Br
|Br |.
r=1
r=1
16
,
:
a
,
.
.
.
,
a
Z
.
1
n
k
2k
2k
Cada Rk e portanto um conjunto enumeravel de cubos n-dimensionais. As
seguintes propriedades s
ao de facil verificacao:
(a) os cubos pertencentes a Rk possuem interiores dois a dois disjuntos,
para todo
S k 1;
(b) Rn = BRk B, para todo k 1;
(c) dados k, l 1 com k l entao todo cubo pertencente a Rk esta
contido em algum cubo pertencente a Rl ;
17
t
X
|Bk | = m (K) + m
k=1
t
[
t
[
Bk = m K
Bk m (U ).
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
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.
Rn
18
rio. Se A Rn e mensur
1.4.30. Corola
avel ent
ao para todo > 0
existe um subconjunto fechado F Rn 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 Rn 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 Rn e mensur
1.4.31. Corola
avel ent
ao existe um subconn
junto W de R de tipo F tal que W A e m (A \ W ) = 0.
o. Pelo Corolario 1.4.29, Ac tambem e mensuravel e porDemonstrac
a
tanto, pelo Lema 1.4.28 existe um subconjunto Z de Rn de tipo G tal que
Ac Z e m (Z \ Ac ) = 0. Tomando W = Z c entao W e de tipo F e
W A. Como A \ W = Z \ Ac , segue que m (A \ W ) = 0.
o. Seja X um conjunto arbitrario. Uma
1.4.32. Definic
a
algebra de
partes de X e um subconjunto nao vazio A (X) satisfazendo as seguintes
condic
oes:
(a) se A A ent
ao Ac A;
(b) se A, B A ent
ao A B A.
Uma -
algebra de partes de X e um subconjunto nao vazio A (X)
satisfazendo a condic
ao (a) acima e tambem a condicao:
S
(b) se (Ak )k1 e uma seq
uencia de elementos de A entao
k=1 Ak A.
Note que toda -
algebra de partes de X e tambem uma algebra de
partes de X. De fato, se A e uma -algebra de partes de X e se A, B A,
podemos S
tomar A1 = A e Ak = B para todo k 2 na condicao (b); da
AB =
k=1 Ak A.
o. Se A e uma algebra (em particular, se A e uma
1.4.33. Observac
a
-
algebra) de partes de X entao X A e A. De fato, como A 6= ,
existe algum elemento A A. Da Ac A e portanto X = A Ac A;
alem do mais, = X c A.
1.4.34. Teorema. A colec
ao de todos os subconjuntos mensur
aveis de
Rn e uma -
algebra de partes de Rn que contem todos os subconjuntos abertos de Rn e todos os subconjuntos de Rn com medida exterior nula.
o. Segue da Observacao 1.4.14, dos Lemas 1.4.15 e 1.4.16
Demonstrac
a
e do Corol
ario 1.4.29.
o. Se X e um conjunto arbitrario e se C (X) e uma
1.4.35. Definic
a
colec
ao arbitr
aria de partes de X entao a -
algebra de partes de X gerada
por C, denotada por [C], e a menor -algebra de partes de X que contem
C, i.e., [C] e uma -
algebra de partes de X tal que:
(1) C [C];
(2) se A e uma -
algebra de partes de X tal que C A entao [C] A.
19
A.
ent
ao
k
k=1
o. Se A e uma algebra e A, B A entao Ac , B c A e
Demonstrac
a
portanto A B = (Ac B c )c A; alem do mais, A \ B = A B c A.
Se A e uma -
algebra e (Ak )k1 e uma seq
uencia de elementos
de A entao
c
S
T
c
c
A.
Ak A para todo k 1 e portanto k=1 Ak =
k=1 Ak
rio. A intersec
1.4.38. Corola
ao de uma colec
ao enumer
avel de subconjuntos mensur
aveis de Rn e mensur
avel e a diferenca de dois subconjuntos
mensur
aveis de Rn e mensur
avel.
o. Segue do Teorema 1.4.34 e do Lema 1.4.37.
Demonstrac
a
1.4.39. Lema. Para todo A Rn 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 Rn 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
X
k=t+1
|Bk | < .
20
St
e limitado.
Seja A0 = A
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
[
X
Bk
|Bk | < .
k=t+1
A desigualdade
m (A) m (A
0)
k=t+1
m (A \ A
0)
rio. Se A Rn e mensur
1.4.40. Corola
avel e m (A) < + ent
ao
para todo > 0 existe um subconjunto compacto K Rn contido em A tal
que:
m (A) m (K) m (A \ K) < .
o. Pelo Lema 1.4.39, existe um subconjunto limitado
Demonstrac
a
mensur
avel A0 A tal que m (A \ A0 ) < 2 e pelo Corolario 1.4.30 existe
um subconjunto fechado K Rn contido em A0 tal que m (A0 \ K) < 2 .
Obviamente K A e K e compacto. Como A \ K = (A \ A0 ) (A0 \ K),
obtemos:
m (A \ K) m (A \ A0 ) + m (A0 \ K) < .
A desigualdade m (A) m (K) m (A \ K) segue do Corolario 1.4.9.
o. Se A1 , . . . , At s
1.4.41. Proposic
a
ao subconjuntos mensur
aveis dois
a dois disjuntos de Rn ent
ao:
(1.4.8)
t
[
Ar =
r=1
t
X
m (Ar ).
r=1
(1.4.9)
[
Ar =
r=1
m (Ar ).
r=1
t
[
r=1
t
t
t
[
X
X
Ar m
Kr =
m (Kr ) >
m (Ar ) t
r=1
r=1
r=1
t
X
r=1
m (Ar ) .
21
t
[
t
X
Ar
m (Ar ).
r=1
r=1
[
t
t
X
[
Ar =
m (Ar ),
Ar m
r=1
r=1
r=1
[
X
m
Ar
m (Ar ).
r=1
r=1
[
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(Rn ) a -algebra de todos os
1.4.43. Notac
a
subconjuntos Lebesgue mensuraveis de Rn e por m : M(Rn ) [0, +] a
restric
ao `
a M(Rn ) da funcao m : (Rn ) [0, +] que associa a cada
parte de Rn sua medida exterior de Lebesgue.
o. Se A Rn 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(Rn ), 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 Rn , M(Rn ), m e um espaco de medida.
o. Segue do Teorema 1.4.34 e da Proposicao 1.4.41.
Demonstrac
a
22
r
[
[
A=
Bk , Ar =
Bk ,
k=1
k=1
X
X
(Bk ) = lim (Ar ).
(Bk ) = lim
(A) =
k=1
k=1
Passemos `
a prova do item (b). Se (A1 ) < + entao (Ak ) < + para
todo k 1. Como (A1 \ Ak )k1 e uma seq
uencia de elementos de A e
(A1 \ Ak ) % (A1 \ A), segue do item (a) que:
lim (A1 \ Ak ) = (A1 \ A).
o. Um envelope mensur
1.4.49. Definic
a
avel de um subconjunto A de
e um subconjunto mensuravel E de Rn tal que A E e m (A) = m(E).
1.4.50. Lema. Para todo A Rn existe um subconjunto E de Rn de
tipo G contendo A tal que m (A) = m(E).
Rn
23
t
[
t
X
Ak =
m (Ak ).
k=1
k=1
[
X
m (Ak ).
m
Ak =
k=1
k=1
[
Ak
X
[
X
0
0
m (Ak ).
m(Ek )
= m(E) m
Ek =
k=1
k=1
k=1
A desigualdade
k=1 Ak
k=1
m (A
k)
k=1
m (A) = m (A E) + m (A E c ).
24
Da Z \E e mensur
avel e portanto E = Z \(Z \E) tambem e mensuravel.
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
25
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
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.
rio. Se A Rn e mensur
1.4.58. Corola
avel ent
ao:
m(A) = sup m(K) : K A, K compacto .
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,
(
)
;
(
)
=
|I|
i i=1
i i=1
i > 0.
2n
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
i
n+1
i=1
i=1
i=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|
i > 0.
I,
(
)
;
(
)
=
i i=1
i i=1
2n+1
i=1
Segue ent
ao por induc
ao que temos uma famlia de intervalos fechados e
limitados I, (i )ni=1 ; (i )ni=1 satisfazendo (1.5.2).
Fixemos ent
ao um intervalo fechado e limitado I de comprimento
positiP
vo e uma seq
uencia (i )i1 de escalares positivos tal que
|I|.
Note
i
i=1
que
Pn
i=1 i
27
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)
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:
[
Kn =
I().
{0,1}n
T
o. O conjunto K =
e chamado o conjunto de
1.5.1. Definic
a
n=1 Kn
Cantor determinado pelo intervaloPfechado e limitado I e pela seq
uencia
|I|.
(i )i1 de escalares positivos com
i
i=1
Para cada seq
uencia (i )i1 em {0, 1} temos que (1.5.3) e uma seq
uencia
decrescente de intervalos fechados e limitados cujos comprimentos tendem
a zero; de fato:
n
X
1
1
I(1 , . . . , n ) = n |I|
(1.5.5)
i n |I| 0.
n
2
2
i=1
Y
: {0, 1} =
{0, 1} 3 = (i )i1 7 () K,
i=1
de modo que:
(1.5.6)
\
n=1
I(1 , . . . , n ) = () ,
28
i |I|.
i=1
K e um subconjunto compacto de I;
P
a medida de Lebesgue de K e m(K) = |I|
i=1 i ;
K tem interior vazio;
K tem a mesma cardinalidade que a reta R (e e portanto n
ao enumer
avel);
(e) K n
ao tem pontos isolados.
o.
Demonstrac
a
Prova de (a).
Basta observar que K e uma intersecao de subconjuntos compactos
de I.
Prova de (b).
Segue de (1.5.4) e do Lema 1.4.48, observando que Kn & K.
Prova de (c).
Um intervalo contido em Kn deve estar contido em algum dos intervalos I(), P{0, 1}n, e portanto deve ter comprimento menor ou
igual a 21n |I| ni=1 i . Segue de (1.5.5) que nenhum intervalo de
comprimento
positivo pode estar contido em Kn para todo n 1. Logo
T
ao pode conter um intervalo aberto nao vazio.
K = n=1 Kn n
Prova de (d).
f
E
acil ver que a funcao definida em (1.5.6) e bijetora. A conclusao
segue do fato bem conhecido que {0, 1} tem a mesma cardinalidade
de R.
Prova de (e).
Seja x K. Como e bijetora, existe {0, 1} tal que x = ().
Escolhendo 0 {0, 1} com 0 6= e (01 , . . . , 0n ) = (1 , . . . , n ) entao
(0 ) e um ponto de K distinto de x. Alem do mais, (0 ) e x ambos
pertencem ao intervalo I(1 , . . . , n ) e portanto:
n
X
1
x (0 ) I(1 , . . . , n ) = 1 |I|
i n |I|.
2n
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 Rn um aberto. Ent
ao, dado > 0, existe > 0
n
tal que para todo x R com kxk < , temos:
(1.6.1)
m U (U + x) m(U ) + .
MENSURAVEIS
30
Tome =
e seja x Rn com kxk < . Para todo y Uk , temos
d(y, y x) = kxk < k1 e portanto y x U , i.e., y U + x. Segue entao
que Uk U (U + x) e portanto:
m U (U + x) m(U ) .
A conclus
ao e obtida agora do calculo abaixo:
m U (U + x) = m(U ) + m(U + x) m U (U + x)
= 2m(U ) m U (U + x) m(U ) + ,
onde usamos o Lema 1.4.10 e o resultado do Exerccio 1.18.
MENSURAVEIS
31
MENSURAVEIS
32
ni s i =
p1
X
i=0
(xi+1 xi ) = xp x0 = 0
MENSURAVEIS
33
P
Pp1
P
e logo p1
ni e par. Mas i=0
|ni | tem a mesma paridade que p1
i=0
i=0 ni e
Pp1
n
portanto i=0 |ni | = p e par. Reciprocamente, suponha que G(R , 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
|n2 | termos
|nk | termos
Pk
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(Rn , S) de comprimento p
P
P
e portanto p e par. Finalmente, como ki=1 |ni | e ki=1 ni tem a mesma
Pk
paridade, segue que i=1 ni e par.
1.6.12. Lema. Seja S Rn \ {0} e suponha que exista um 2-colorimento
f : Rn {0, 1} do grafo de Cayley G(Rn , S). Se a origem e um ponto de
acumulac
ao de S ent
ao os conjuntos A = f 1 (0) e B = f 1 (1) possuem
medida interior nula.
o. Dados x, y A entao f (x) = f (y) = 0 e portanto os
Demonstrac
a
vertices x e y n
ao podem ser adjacentes no grafo G(Rn , S). Em particular,
x y 6 S, o que mostra que o conjunto das diferencas A e disjunto de S.
Como a origem e um ponto de acumulacao de S, segue que A nao pode
conter uma vizinhanca da origem e portanto, pelo Corolario 1.6.5, A tem
medida interior nula. Analogamente, vemos que B S = e portanto
m (B) = 0.
1.6.13. Exemplo. Em vista dos Lemas 1.6.11 e 1.6.12, se exibirmos um
subconjunto S Rn \{0} com a propriedade () e que possui a origem como
ponto de acumulac
ao ent
ao obteremos uma particao Rn = A B de Rn tal
que m (A) = m (B) = 0. Por exemplo, e facil mostrar que o conjunto:
1
S= m
: m inteiro mpar R \ {0}
tem a propriedade () e obviamente a origem e ponto de acumulucao de S.
Em Rn , podemos considerar o conjunto S n (ou ate mesmo S {0}n1 ), que
tambem tem a propriedade () e a origem como ponto de acumulacao.
1.6.14. Exemplo. Sejam A, B Rn conjuntos disjuntos de medida
interior nula tais que Rn = A B (vide Exemplo 1.6.13). Definindo:
A0 = A [0, 1]n ,
B 0 = B [0, 1]n ,
34
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 R, a < b,
[, a[ ,
a R, a > ,
]a, +] ,
a R, a < +,
,
se x = 1,
x
, se x ]1, 1[,
f (x) =
1 x2
+,
se x = 1,
e um homeomorfismo.
35
36
m (B)
k1
[
Ai ,
i=0
para todo k 1, onde A0 = . Mostre que os conjuntos (Bk )k1 sao dois a
dois disjuntos e que:
[
[
Ak =
Bk .
k=1
k=1
37
[
X
m
Ak
m (Ak ).
k=1
k=1
38
Conjuntos de Cantor.
o 1.2. Um subconjunto de Rn e dito magro quando esta conDefinic
a
tido numa reuni
ao enumer
avel de subconjuntos fechados de Rn com interior
vazio.
O famoso Teorema de Baire implica que todo subconjunto magro de Rn
tem interior vazio.
Exerccio 1.34. Mostre que:
existe um subconjunto magro e mensuravel A [0, 1] tal que
m(A) = 1 (compare com o Exerccio 1.26);
se A e o conjunto do item anterior, mostre que [0, 1] \ A e um
conjunto de medida de Lebesgue zero que nao e magro.
Exerccio 1.35. Considere o intervalo I = [0, 1] e a seq
uencia (i )i1
definida por:
2i1
i = i ,
3
para todo i 1. O conjunto de Cantor K associado a I e `a seq
uencia (i )i1
e conhecido como o conjunto tern
ario de Cantor. Mostre que:
m(K) = 0;
para todo n 1 e todo = (1 , . . . , n ) {0, 1}n o intervalo I() e
dado por:
n
n
hX
X
2i i
2i 1
,
+
;
I() =
3i 3n
3i
i=1
i=1
a bijec
ao :
{0, 1}
X
2i
i=1
3i
39
Conjuntos n
ao Mensur
aveis.
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 Rn , temos dois exemplos importantes de
-
algebras; a -
algebra de Borel B(Rn ) e a -algebra M(Rn ) de conjuntos
Lebesgue mensur
aveis. No que segue, precisaremos tambem introduzir uma
-
algebra de Borel para a reta estendida R; temos a seguinte:
o. Um subconjunto A R e dito Boreleano quando
2.1.1. Definic
a
A R for um Boreleano de R.
f
E
acil ver que os subconjuntos Boreleanos de R constituem de fato uma
-
algebra de partes de R. Tal -algebra sera chamada a -
algebra de Borel
a denotada por B(R).
de R 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 Rn 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 Rn em cada situacao.
40
2.1. FUNC
OES
MENSURAVEIS
41
(X,
A)
e
uma
fun
c
a
o
f
:
R
X
tal
que
Borel mensur
a
vel
f
:
f : R, B(R) (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
42
2.1. FUNC
OES
MENSURAVEIS
43
2.1. FUNC
OES
MENSURAVEIS
44
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 \ R = Y {+, } B(R)|Y .
2.1. FUNC
OES
MENSURAVEIS
45
n
\
fi1 [ai , bi ] .
i=1
fi1
[ai , bi ] A para todo i e portanto
e R R 3 (x, y) 7 xy R
2.1. FUNC
OES
MENSURAVEIS
46
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 R, g : X R a valores na reta
estendida, tambem podemos definir a soma f + g : X R, 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 R 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 R e g : X R. 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 R e uma func
o produto f g : X R e uma func
ao mensur
avel.
o. Considere os seguintes subconjuntos de X:
Demonstrac
a
f 1 (R) g 1 (R),
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 (R) g 1 (R),
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 R 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
47
f
E
acil ver que x = x+ x e |x| = x+ + x , para todo x R; em
particular, se f e uma funcao tomando valores em R 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:
R 3 x 7 x+ R,
R 3 x 7 x R,
R 3 x 7 |x| R
s
ao Borel mensur
aveis; de fato, observe que suas restricoes a R 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 R. Ent
ao as func
oes:
sup fk : X 3 x 7 sup fk (x) R
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
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
48
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 R, g : X R
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 R 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 R. 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
49
k
X
ci Ai : X R
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 R e uma funcao simples e mensuravel, podemos escreve-la na
forma (2.1.3), com Ai A e ci R, 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 R 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
50
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
51
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
52
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
53
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
54
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
55
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
56
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
57
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 RR 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 R.
X
R
+
Quando
f
e
quase
integr
a
vel
e
f
d
R
(ou
seja,
se
X
X f d < + e
R
58
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
59
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 (R), temos:
f + (x) + h(x) = f + (x) + f1 (x) f + (x) = f1 (x),
f (x) + h(x) = f (x) + f1 (x) f + (x) = f1 (x) f (x) = f2 (x).
60
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),
o. Sejam f : X R, g : X R func
2.4.7. Proposic
a
oes quase
integr
aveis e seja c R.
R
R
(a) Se as somas X f d+ X g d e f +g
ao
R estiverem bem-definidas
R
R ent
a func
ao f +g e quase integr
avel eR X f +g d =
f
d+
g
d.
X
R X
(b) A func
ao cf e quase integr
avel e X cf d = c X f d.
o. Temos:
Demonstrac
a
f + g = (f + f ) + (g + g ) = (f + + g + ) (f + g );
pelo Lema 2.4.6 existe uma funcao mensuravel h : X [0, +] tal que:
f + + g + = (f + g)+ + h,
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
61
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
62
fun
ao mensur
avel arbitr
aria entao X f d = X f d = 0 e portanto
R c
f
d
=
0.
X
rio. Se X 0 A e tal que (X \ X 0 ) = 0 ent
2.4.11. Corola
ao uma
func
ao mensur
avel f : X RR e quaseRintegr
avel se e somente se f |X 0 e
quase integr
avel e nesse caso X f d = X 0 f d.
R
o. Pelo Lema 2.4.10 temos X\X 0 f d = 0. A conclusao
Demonstrac
a
segue do Lema 2.4.9, j
a que:
Z
Z
Z
f d.
f d +
f d =
X\X 0
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.19 que f1 >
quase sempre; existe portanto um subconjunto mensuravel X 0 de X com
2.5. TEOREMAS DE CONVERGENCIA
63
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
g d.
(2.5.1)
lim
gn 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
f1 d;
gn d +
fn d =
(2.5.2)
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
func
oes mensur
aveis fn : X R. Ent
ao:
(a) se existe uma func
ao quase
integr
avel : X R 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
2.5. TEOREMAS DE CONVERGENCIA
64
seq
uencia (fn )n1 converge para f pontualmente quase sempre, i.e., se existe
X 0 A tal que (X \ X 0 ) = 0 e tal que limn fn (x) = f (x) para todo
x X 0.
2.5.4. Teorema (da convergencia dominada). Seja (fn )n1 uma seq
uencia de func
oes mensur
aveis fn : X R tal que fn f q. s., onde
f : X R 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
lim sup fn d =
f d.
X n
X
R
R
Logo limn X fn d = X f d.
o. Sejam Y um subconjunto de Rn , y0 Rn um ponto
2.5.5. Proposic
a
de acumulac
ao de Y e f : X Y R uma func
ao tal que:
para todo y Y , a func
ao X 3 x 7 f (x, y) R e integr
avel;
para todo x X o limite limyy0 f (x, y) existe em R;
existe uma func
ao integr
avel : X R e uma vizinhanca V de y0
em Rn tal que |f (x, y)| (x), para todo x X e todo y V Y
com y 6= y0 .
Ent
ao, aR func
ao X 3 x 7 limyy0 f (x, y) R e integr
avel, o limite
limyy0 X f (x, y) d(x) existe e:
Z
Z
lim
f (x, y) d(x) =
lim f (x, y) d(x).
yy0
X yy0
2.5. TEOREMAS DE CONVERGENCIA
65
n X
X yy0
66
f (x, y0 + h) f (x, y0 )
f
=
(x, y0 ),
h0
h
y
lim
Obviamente:
(2.6.1)
para toda partic
ao P de B.
s(f ; P ) S(f ; P ),
67
N
os consideramos as seguintes funcoes mP : B R, MP : B R
associadas a uma partic
ao P de B:
X
X
mP =
inf f (b) int(b) , MP =
sup f (b) int(b) .
bP
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
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:
[
(2.6.4) mP (x) mQ (x), MQ (x) MP (x), para todo x
int(b);
bQ
S(f ; Q) S(f ; P ).
68
(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
69
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
70
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 R 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
71
desde que o limite acima exista em R. Quando esse limite e finito, dizemos
que a integral impr
opria de f e convergente.
o. Seja f : [a, +[ R uma func
2.6.12. Proposic
a
ao tal que para
todo u ]a, +[, a restric
ao de f ao intervalo [a, u] e limitada e Riemann
integr
avel. Ent
ao f e mensur
avel. Alem do mais, se f e Lebesgue quase
integr
avel ent
ao a integral impr
opria de Riemann de f existe em R e:
Z +
Z +
(R)
(2.6.9)
f=
f dm.
a
Fatou, temos:
Z
Z +
f dm =
72
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.29. 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, +[ R 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, +[ R 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
73
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 R.
k=0
lim
u+ 0
f dm = L.
an < ,
2
para todo n n0 . Dado u R, 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
ENCIAS
Da:
Z
L
n
Z
X
k
f dm L
(1) ak +
(n+1)
k=0
74
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
1
2
,
,
|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.32 pedimos ao leitor
para computar explicitamente o valor
R +
(R)
f da funcao f do Exemplo 2.6.13.
da integral impr
opria de Riemann
0
2.7. Mais sobre Converg
encia de Seq
u
encias de Fun
c
oes
Recorde que, dado um conjunto X, uma seq
uencia (fn )n1 de funcoes
fn : X R e uma funcao f : X R, dizemos que (fn )n1 converge
pontualmente para f e escrevemos fn f quando limn fn (x) = f (x),
para todo x X. Se as funcoes fn e f tomam valores em R, isso significa
que para todo x X e todo > 0, existe n0 1 (possivelmente dependendo
de x) tal que |fn (x) f (x)| < , para todo n n0 ; dizemos que (fn )n1
u
converge uniformemente para f e escrevemos fn f , se para todo > 0
existe n0 1 tal que |fn (x) f (x)| < , para todo n n0 e todo x X.
Alternativamente, temos que (fn )n1 converge uniformemente para f se:
lim sup fn (x) f (x) = 0.
n xX
ENCIAS
75
func
oes fn : X R, ent
ao dizemos que (fn )n1 converge para f : X R
pontualmente quase sempre e escrevemos fn f q. s. quando existe X 0 A
tal que (X \X 0 ) = 0 e limn fn (x) = f (x), para todo x X 0 . Precisamos
agora de uma vers
ao da nocao de convergencia uniforme que ignore conjuntos
de medida nula. Temos a seguinte:
o. Sejam (X, A, ) um espaco de medida, (fn )n1 uma
2.7.1. Definic
a
seq
uencia de func
oes fn : X R e f : X R uma funcao. Dizemos que
u
(fn )n1 converge para f uniformemente quase sempre e escrevemos fn f
u
q. s. se existe X 0 A tal que (X \ X 0 ) = 0 e tal que fn |X 0 f |X 0 .
Evidentemente, convergencia uniforme quase sempre implica em convergencia pontual quase sempre.
2.7.2. Exemplo. Seja (An )n1 uma seq
uencia de subconjuntos de R de
medida nula e seja (fn )n1 a seq
uencia de funcoes fn : R R definida
por fn = An , para todo n 1. Temos que (fn )n1 converge uniformeS
mente quase sempre para a funcao nula. De fato, tomando A =
n=1 An
ent
ao A tem medida nula e todas as funcoes fn sao identicamente nulas no
complementar de A.
2.7.3. Exemplo. Seja (fn )n1 a seq
uencia de funcoes fn : [0, 1] R
n
definida por fn (x) = x , para todo n 1 e todo x [0, 1]. Temos que
(fn )n1 converge pontualmente para a funcao f = {1} . Vamos determinar
u
xS\{1}
ENCIAS
76
\
c
[
c
Ak =
Ak
k=1
e obviamente
quase sempre.
k=1 Ak
k=1
[
\
(2.7.1)
y X : fn (y) f (y) < k1 .
n0 =1 n=n0
\
[
y X : fn (y) f (y) k1 .
n0 =1 n=n0
S
1
Temos que a seq
uencia de conjuntos
n=n0 y X : |fn (y) f (y)| k
(indexada em n0 ) e decrescente e portanto, como (X) < +, temos (Lema 1.4.48):
[
(2.7.2)
lim
y X : fn (y) f (y) k1
= 0.
n0
n=n0
Seja > 0 fixado. De (2.7.2), segue que para cada k 1 podemos encontrar
nk 1 tal que (Ak ) < 2k , onde:
Ak =
[
y X : fn (y) f (y) k1 .
n=nk
ENCIAS
77
P
S
Seja A =
k=1 (Ak ) < . Afirmamos que (fn )n1
k=1 Ak ; temos (A)
converge uniformemente para f em Ac . De fato, para todo k 1 e todo
x Ac temos que x 6 Ak , o que significa que |fn (x) f (x)| < k1 , para todo
n nk . Isso completa a demonstracao.
2.7.8. Exemplo. Seja (fn )n1 a seq
uencia de funcoes fn : R R definida por:
x
fn (x) = ,
n
para todo x R e todo n 1. Temos que (fn )n1 converge pontualmente
para a func
ao nula. Dado S R, entao:
1
sup fn (x) = sup |x|,
n xS
xS
donde (fn )n1 converge uniformemente para a funcao nula em S se e somente
se o conjunto S e limitado. Mas se A R tem medida finita entao S = Ac
n
ao pode ser limitado, pois se S e limitado entao A = S c contem um intervalo
qu
ilimitado. Logo n
ao e o caso que fn f , embora fn f pontualmente.
Note que n
ao temos uma contradicao com o Teorema 2.7.7, ja que R nao
tem medida finita.
o. Sejam (X, A, ) um espaco de medida, (fn )n1 uma
2.7.9. Definic
a
seq
uencia de func
oes mensuraveis fn : X R e f : X R uma funcao
mensur
avel. Dizemos que (fn )n1 converge para f em medida e escrevemos
2.7.10. Lema. Sejam (X, A, ) um espaco de medida, (fn )n1 uma seq
uencia de func
oes mensur
aveis fn : X R e f : X R uma funca
o
qu
mensur
avel. Se fn f ent
ao fn f .
qu
ENCIAS
78
para todo x [0, 1], existem infinitos ndices n com x In e infinitos ndices n com x 6 In .
Por exemplo, uma possvel seq
uencia (In )n1 e:
1 1 1 1 2 2
[0, 1], 0, 2 , 2 , 1 , 0, 3 , 3 , 3 , 3 , 1 , . . . ,
k1
1 1 2 2 3
0, k , k , k , k , k , . . . , ki , i+1
k ,...,
k ,1 ,...
Seja (fn )n1 a seq
uencia de funcoes fn : [0, 1] R definida por fn = In ,
para todo n 1. Afirmamos que (fn )n1 converge em medida para a funcao
nula. De fato, fixado > 0 entao:
x [0, 1] : fn (x) In ,
mensur
avel. Se fn f ent
ao existe uma subseq
uencia (fnk )k1 de (fn )n1
qu
tal que fnk f ; em particular, pelo Lema 2.7.6, fnk f q. s..
o. Vamos contruir indutivamente uma seq
Demonstrac
a
uencia de ndices (nk )k1 tal que n1 < n2 < e tal que:
1
x X : fnk (x) f (x) k1
< k,
2
X
1
1
= t1 ,
2
2k
k=t
e tome:
A=
[
k=t
x X : fnk (x) f (x) k1 ;
ENCIAS
da (A) <
portanto:
1
k=t 2k
79
1
k
1
sup fnk (x) f (x) ,
k
xAc
para todo k t. Segue ent
ao que (fnk )k1 converge uniformemente para f
em Ac .
A cada uma das noc
oes de convergencia que consideramos ate agora esta
associada uma correspondente nocao de seq
uencia de Cauchy. Enunciamos
a seguinte:
o. Seja X um conjunto e (fn )n1 uma seq
2.7.13. Definic
a
uencia de
func
oes fn : X R. Dizemos que:
a seq
uencia (fn )n1 e pontualmente de Cauchy se para todo x X
a seq
uencia fn (x) n1 e de Cauchy em R;
a seq
uencia (fn )n1 e uniformemente de Cauchy se para todo > 0
existe n0 1 tal que |fn (x) fm (x)| < , para todos n, m n0 e
todo x X.
Se (X, A, ) e um espaco de medida, dizemos que:
a seq
uencia (fn )n1 e pontualmente de Cauchy
quase sempre se
para quase todo x X a seq
uencia fn (x) n1 e de Cauchy em R,
0
i.e., se existe X A com (X \ X 0 ) = 0 tal que fn (x) n1 e de
Cauchy em R para todo x X 0 ;
a seq
uencia (fn )n1 e uniformemente de Cauchy quase sempre se
existe X 0 A tal que (X \X 0 ) = 0 e tal que a seq
uencia (fn |X 0 )n1
e uniformemente de Cauchy;
a seq
uencia (fn )n1 e quase uniformemente de Cauchy se para todo
> 0 existe A A com (A) < de modo que a seq
uencia
(fn |Ac )n1 e uniformemente de Cauchy.
Supondo tambem que as funcoes fn sao todas mensuraveis, dizemos que a
seq
uencia (fn )n1 e de Cauchy em medida se para todo > 0 e todo > 0,
existe n0 1 tal que:
x X : fn (x) fm (x) < ,
para todos n, m n0 .
Evidentemente, toda seq
uencia uniformemente de Cauchy (resp., quase
sempre) e pontualmente de Cauchy (resp., quase sempre) e toda seq
uencia
pontualmente convergente (resp., quase sempre) e pontualmente de Cauchy
(resp., quase sempre). Alem do mais, se (fn )n1 e uma seq
uencia pontualmente de Cauchy ent
ao existe uma (
unica) funcao f tal que fn f
pontualmente. Outras propriedades simples dos varios tipos de seq
uencias
de Cauchy definidos acima sao exploradas nos Exerccios 2.34, 2.35, 2.36,
2.37, 2.38, 2.39.
Temos a seguinte vers
ao do Lema 2.7.12 para seq
uencias de Cauchy.
ENCIAS
80
X
1
1
= t1
k
2
2
k=t
e defina:
A=
[
x X : fnk (x) fnk+1 (x)
1
2k
k=t
P
1
Claramente, (A) <
uencia (fnk )k1
k=t 2k . Vamos mostrar que a seq
c
c
e uniformemente de Cauchy em A . Se x A entao:
fn (x) fn (x) < 1 ,
k
k+1
2k
para todo k t. Da, se l k t, temos:
l1
l1
X
X
X
1
1
1
fn (x) fn (x)
fn (x) fn (x)
<
= k1 ,
i
i+1
k
l
i
i
2
2
2
i=k
Ac .
i=k
i=k
para todo x
Conclui-se entao que a seq
uencia (fnk )k1 e uniformemente de Cauchy em Ac ; de fato, dado > 0, escolhemos k0 t com 2k011
e da:
fn (x) fn (x) < 1 ,
k
l
2k0 1
para todo x Ac e todos k, l k0 .
81
(2.8.2)
Rm 3 x 7 m(Ax ) [0, +]
e mensur
avel e vale a igualdade:
Z
(2.8.4)
m(Ax ) dm(x) = m(A).
Rm
Note que usamos a notacao m indistintamente para a medida de Lebesgue de Rm , Rn e Rm+n ; mais especificamente, em (2.8.3) usamos a medida
de Lebesgue de Rn , a integral do lado esquerdo da igualdade em (2.8.4) e feita com respeito `
a medida de Lebesgue de Rm e no lado direito da igualdade
em (2.8.4) usamos a medida de Lebesgue de Rm+n .
o do Lema 2.8.2. Denote por C a colecao de todos os
Demonstrac
a
Boreleanos A de Rm+n para os quais a funcao (2.8.3) e mensuravel e a
igualdade (2.8.4) 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 Rm+n .
para todo x
Segue que (2.8.3) 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.8.2) que (A B)x = Ax Bx e que Ax e Bx sao disjuntos
para todo x Rm ; logo:
m (A B)x = m(Ax ) + m(Bx ),
para todo x Rm . 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 (A B)x dm(x) =
m(Ax ) dm(x) +
m(Bx ) dm(x)
Rm
Rm
Rm
Rm
Rm
Rm .
para todo x
Segue que a funcao x 7 m(Ax ) e mensuravel,
sendo um limite de func
oes mensuraveis. Pelo Teorema da Convergencia
82
Monot
onica, temos:
Z
Z
m(Ax ) dm(x) = lim
k Rm
Rm
Bi Bk+1 =
i=1
k
[
(Bi Bk+1 ),
i=1
k
\
i=0
Ui ,
83
84
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 Rm+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 Rm+n .
Seja A Rm+n um Boreleano. Pelo Lema 1.4.28 existe um subconjunto Z de Rm+n de tipo G com A Z e m(Z \ A) = 0. Pelo Lema 1.4.50, existe um subconjunto E de Rm+n de tipo G com Z \A E
e m(E) = m(Z \ A) = 0. O passo 9 nos garante que E e Z estao em C.
Logo:
Z
m(Ex ) dm(x) = m(E) = 0;
Rm
Rm
85
o. Se A e um subconjunto mensur
2.8.3. Proposic
a
avel de Rm+n ent
ao
m
para quase todo x R a fatia vertical Ax e um subconjunto mensur
avel
de Rn , a func
ao x 7 m(Ax ) e mensur
avel e a medida de A e dada pela
igualdade (2.8.4).
o. Basta repetir os argumentos da demonstracao do pasDemonstrac
a
so 10 do Lema 2.8.2; a u
nica diferenca e que nao sabemos a priori que as
fatias de A s
ao mensur
aveis. Mas sabemos que Ex tem medida nula para
quase todo x Rm e portanto (Z \ A)x e mensuravel e tem medida nula
para quase todo x Rm ; como:
Ax = Zx \ (Z \ A)x ,
segue que tambem Ax e mensuravel para quase todo x Rm .
XY
f (x, y) =
k
X
ci Ai (y),
x
i=1
Z X
k
Y i=1
ci Ai (y) dm(y) =
k
X
i=1
ci m(Aix ).
86
Logo:
Z Z
X
k
X
ci m(Aix ) dm(x) =
i=1
k
X
ci m(Ai )
i=1
Z
f (x, y) dm(x, y).
=
XY
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),
k Y
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
f (x, y) dm(y) dm(x) = lim
fk (x, y) dm(y) dm(x)
k X
X
Y
Y
Z
Z
= lim
fk (x, y) dm(x, y) =
f (x, y) dm(x, y).
k XY
XY
Como f e f s
ao funcoes mensuraveis nao negativas, temos:
Z
Z Z
+
(2.8.6)
f (x, y) dm(y) dm(x) =
f + (x, y) dm(x, y),
XY
X
Y
Z Z
Z
(2.8.7)
f (x, y) dm(y) dm(x) =
f (x, y) dm(x, y).
X
XY
vem:
Z Z
X
Z Z
f (x, y) dm(y) dm(x)
ZY
f (x, y) dm(x, y)
XY
Z
=
f (x, y) dm(x, y).
f (x, y) dm(x, y)
f + (x, y) dm(y) dm(x)
ZX ZY
X
87
XY
XY
b(y1 , . . . , yn , x1 , . . . , xm ) = (x1 , . . . , xm , y1 , . . . , yn ),
para todos x Rm , y Rn . Temos que:
b1 (X Y ) = Y X Rn Rm
= Rm+n .
Em vista das observac
oes que precedem o enunciado do corolario, temos que
f
b|Y X : Y X R e quase integravel e tem a mesma integral que f . A
88
conclus
ao e obtida aplicando o Teorema 2.8.4 `a funcao f
b|Y X , trocando
os papeis de m e n.
possvel que uma funcao mensuravel f : X Y R 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.8.5,
isso somente e possvel quando a funcao f nao e quase integravel.
2.8.6. Exemplo. Seja (aij )i,j1 uma seq
uencia dupla de n
umeros reais
tal que as series:
X
X
aij , i = 1, 2, . . . ,
(2.8.8)
aij , j = 1, 2, . . . ,
j=1
i=1
X
(2.8.9)
i=1
aij ,
j=1
X
X
j=1
aij ,
i=1
s
ao todas absolutamente convergentes, mas:
X
X
X
X
aij 6=
aij .
i=1
j=1
j=1
i=1
se i = j,
1,
aij = 1, se i + 1 = j,
0,
caso contrario,
de modo que todas as series em (2.8.8) e (2.8.9) 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, +[ R definida por:
X
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:
X
f (x, y) =
aij [j1,j[ (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.27
j=1 aij
que a func
ao y 7 f (x, y) e integravel e:
Z +
X
f (x, y) dm(y) =
aij ;
0
j=1
89
da:
Z
f (x, y) dm(y) =
0
X
X
i=1
j=1
P P
e absolutamente
para todo x [0, +[. Como a serie
j=1 aij
i=1
convergente, usando
novamente o resultado do Exerccio 2.27, conclumos
R +
que a func
ao x 7 0 f (x, y) dm(y) e integravel e:
Z + Z +
X
X
f (x, y) dm(y) dm(x) =
aij .
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 +
i=1
f (x, y) dm(x) dm(y).
cos y ,
P yn
f (x, y) =
2,
n=1 n
Q (x + y),
90
f : R2 R definida por:
se y 1,
se 1 < y < 1,
se y 1,
e Borel mensur
avel.
Exerccio 2.10. Seja f : X Rn uma funcao definida num subconjunto X de Rm . Recorde que o gr
afico de f e o conjunto:
(2.8.10)
gr(f ) = x, f (x) : x X Rm+n .
Mostre que:
se X e Boreleano e f e Borel mensuravel entao gr(f ) e Boreleano;
se X e mensur
avel e f e mensuravel entao gr(f ) e mensuravel.
Defini
c
ao da Integral.
Exerccio 2.11. Sejam (X, A, ) um espaco de medida e f : X R
uma func
ao mensur
avel. Mostre que:
(a) f e integr
avel se e somente se |f | e integravel;
(b) se f e quase integravel entao:
Z
Z
f d
|f | d.
X
k=1
91
f (E) =
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.14. Sejam (X, A, ) um espaco de medida e f : X R
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 =
f d = lim
A
k=1
Ak
k=1
Ak
k Ak
Exerccio 2.17. Sejam (X, A, ) um espaco de medida, A0 uma algebra de partes de X contida em A e 0 a restricao de a A0 . Dada uma
func
ao mensur
avel f : (X, A0 ) R, mostre que f e quase integravel com
92
respeito
se f e quase integravel com respeito a 0 e, nesse
R a se eR somente
0
caso X f d = X f d .
o 2.2. Seja X um conjunto. A aplicacao : (X) [0, +]
Definic
a
definida por:
(E) = n
umero de elementos do conjunto E,
E X,
X
f d =
(2.8.12)
f (n);
X
n=1
uma
ao f : X R e integravel se e somente se a serie
P func
f
(n)
e absolutamente convergente e nesse caso vale a identin=1
dade (2.8.12).
Exerccio 2.19. Sejam (X, A, ) um espaco de medida e f : X R
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) R para quase todo x X.
Exerccio 2.20. Sejam (X, A, ) um espaco de medida e f : X R,
oes mensur
aveis, com g quase integravel. Mostre que:
g : X R 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.21. 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.22. Seja (X, A, ) um espaco de medida. Dadas funcoes
integr
aveis f : X R, g : X R tais que f g e:
Z
Z
f d =
g d,
X
93
i=1
para todos a, b I.
Exerccio 2.25. (integrac
ao por partes) Se f : [a, b] R, g : [a, b] R
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.
Exerccio 2.26. Sejam (X, A, ) um espaco de medida e (fk )k1 uma
seq
uencia de func
oes integraveis (resp., quase integraveis) fk : X R.
Suponha que (fk )k1 converge uniformemente para uma funcao f : X R,
i.e., para todo > 0 existe k0 1 tal que |fk (x) f (x)| < , para todo
x X e todo k k0 . Se (X) < +, mostre que f tambem e integravel
(resp., quase integr
avel) e que:
Z
Z
f d = lim
fk d.
k X
Mostre que:
P
a serie
e absolutamente convergente para quase todo
k=1 fk (x)
x X;
k=1
94
k=1 fk
q. s.
Z
f d = lim
k Ak
f d.
s
ao contnuas e que:
lim g1 (t) = 0,
lim g2 (t) = 0.
para todo t R.
(a) Mostre que e derivavel e que:
t
0 (t) = (t),
2
para todo t R.
t2
95
t0
f=
(R)
0
,
2
sen x
x ,
para x > 0 e
96
toda seq
uencia de funcoes mensuraveis que e convergente em medida e de Cauchy em medida.
Exerccio 2.38. Seja (X, A, ) um espaco de medida com (X) < +
e seja (fn )n1 uma seq
uencia de funcoes mensuraveis fn : X R. Mostre
que se (fn )n1 e pontualmente de Cauchy quase sempre entao (fn )n1 e
quase uniformemente de Cauchy.
Exerccio 2.39. Mostre que se uma seq
uencia de funcoes mensuraveis
e quase uniformemente de Cauchy entao ela e de Cauchy em medida.
Exerccio 2.40. Sejam (X, A, ) um espaco de medida, (fn )n1 uma
seq
uencia de func
oes mensuraveis fn : X R que e de Cauchy em medida
uencia de (fn )n1 que converge em medida para uma
e (fnk )k1 uma subseq
func
ao mensur
avel f : X R. Mostre que (fn )n1 tambem converge em
medida para f .
Exerccio 2.41. Sejam (X, A, ) um espaco de medida, (fn )n1 uma
seq
uencia de func
oes mensuraveis fn : X R e f : X R, g : X R
func
oes mensur
aveis. Se fn f e fn g, mostre que f (x) = g(x) para
quase todo x X.
O Teorema de Fubini em R n .
Exerccio 2.42. Seja f : X Rn uma funcao definida num subconjunto X de Rm . Mostre que se o grafico de f (recorde (2.8.10)) e mensuravel
ent
ao m gr(f ) = 0.
Exerccio 2.43. Sejam X Rm , Y Rn conjuntos mensuraveis e
f : X R, g : Y R funcoes integraveis. Mostre que a funcao:
X Y 3 (x, y) 7 f (x)g(y) R
e integr
avel e que sua integral e dada por:
Z
Z
Z
f (x)g(y) dm(x, y) =
f dm
g dm .
XY
para todo n 1.
(c) Determine m(n ).
CAPITULO 3
n
Y
i=1
n
Y
Ai
[ai , ai + a].
i=1
3.1. APLICAC
OES
LIPSCHITZIANAS
98
m
BR
o. Pelo Lema 1.4.12 existe um aberto U em Rn 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
99
(Uxi A).
i=1
3.2. APLICAC
OES
LINEARES
100
3.2. APLICAC
OES
LINEARES
101
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 R ; 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 Rn 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
102
b1 Li,j;c
b = L(i),(j);c ,
para todos i, j = 1, . . . , n distintos e todo c R. Podemos entao reduzir a
demonstrac
ao do lema apenas ao caso em que T = Ln,1;c , c R. No que
segue, identificamos Rn com o produto Rn1 R e usamos a notacao da
Sec
ao 2.8; a aplicac
ao T escreve-se na forma:
T (x, y) = (x, y + cx1 ),
x Rn1 , y R.
Dado A Rn ent
ao para todo x Rn1 , a fatia vertical T (A)x do conjunto
T (A) coincide com a translacao Ax + cx1 da fatia vertical Ax de A. Se A e
mensur
avel, temos que T (A) tambem e mensuravel (vide Corolario 3.1.13);
segue ent
ao da Proposic
ao 2.8.3 que:
Z
Z
m T (A) =
m T (A)x dm(x) =
m(Ax + cx1 ) dm(x)
Rn1
Rn1
Z
=
m(Ax ) dm(x) = m(A),
Rn1
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
103
(A)
(E) =
1 (E) Uxi ,
i=1
1 (E)
e mensuravel.
3.3. O TEOREMA DE MUDANC
A DE VARIAVEIS
104
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(Rn )|A (A), M(Rn )|(A) ,
f : (A), M(Rn )|(A) (X, A).
3.3.4. Lema. Seja : U Rn uma funca
o de classe C 1 num aberto
n
U R e suponha que a diferencial d(y0 ) e um isomorfismo de Rn , 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 Rn 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
105
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
106
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.14. A conclusao
final e obtida agora fazendo 0.
rio. Seja : U Rn uma func
3.3.6. Corola
ao de classe C 1 num
aberto U Rn e suponha que a diferencial d(y) e um isomorfismo de Rn ,
para todo y U . Ent
ao, dado um conjunto mensur
avel A Rn 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
107
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 Rn
108
3.4. Ap
endice `
a Se
c
ao 3.3: recorda
c
ao de C
alculo no R n
Seja U Rm um aberto e : U Rn uma funcao. Recorde que e dita
diferenci
avel num ponto x U se existe uma aplicacao linear T : Rm Rn
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 Rm . 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 Rm sofre um deslocamento (vetorial) x entao o ponto y = (x) Rn
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 Rn definida num aberto U de Rm
e diferenci
avel em todos os pontos de U dizemos simplesmente que ela e
diferenci
avel em U ; dizemos que e de classe C 1 em U se e 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 Rn que usamos
na Sec
ao 3.3.
3.4.1. Teorema (regra da cadeia). Sejam : U Rn , : V Rp
func
oes tais que (U ) V , onde U e um aberto de Rm e V e um aberto de
n
R . Se e diferenci
avel num ponto x U e e diferenci
avel no ponto (x)
DE CALCULO
3.4. RECORDAC
AO
NO Rn
109
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 : Rm Rn e diferenciavel em Rm e dT (x) = T , para todo x Rm .
Dessa observac
ao e da regra da cadeia obtemos:
rio. Seja : U Rn uma func
3.4.2. Corola
ao definida num aberto
m
U R , diferenci
avel num ponto x U . Se T : Rn Rp 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).
110
n n+1
X
ai pi : ai 0, i = 1, . . . , n + 1,
i=1
n+1
X
o
ai = 1 .
i=1
111
Considere a func
ao : Rn ]0, 1[ Rn+1 definida por:
(x, t) = (x, 0) + t p (x, 0) ,
para todos x Rn , t ]0, 1[. Mostre que:
e injetora, de classe C 1 e det d(x, t) = (1 t)n pn+1 , para todos
x Rn , 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).
CAPITULO 4
Alguns T
opicos de An
alise Funcional
Neste captulo sup
oe-se que o leitor tenha familiaridade com conceitos
b
asicos da teoria dos espacos metricos.
4.1. Espa
cos Normados e com Produto Interno
Seja E um espaco vetorial sobre K, onde K denota o corpo dos n
umeros
reais ou o corpo dos n
umeros complexos.
o. Uma semi-norma em E e uma aplicacao:
4.1.1. Definic
a
E 3 x 7 kxk R
satisfazendo as seguintes condicoes:
(a) kxk 0, para todo x E;
(b) kxk = ||kxk, para todo K e todo x E;
(c) kx + yk kxk + kyk, para todos x, y E (desigualdade triangular).
Uma norma em E e uma semi-norma que satisfaz a condicao adicional:
(d) kxk > 0, para todo x E com x 6= 0.
Um espaco vetorial normado sobre K (ou, mais abreviadamente, um espaco
normado) e um par (E, k k), onde E e um espaco vetorial sobre K e k k e
uma norma em E.
Note que fazendo = 0 na condicao (b) obtemos:
k0k = 0.
Dado um espaco vetorial normado (E, k k), nos definimos:
(4.1.1)
d(x, y) = kx yk,
4.1. ESPAC
OS NORMADOS E COM PRODUTO INTERNO
113
(f )(x) = f (x),
4.1. ESPAC
OS NORMADOS E COM PRODUTO INTERNO
114
e portanto:
hx, 0i = 0, h0, yi = 0,
para todos x, y E. Fazendo x0 = 0, y 0 = 0 na condicao (a) obtemos entao:
yi,
hx, yi = hx, yi, hx, yi = hx,
para todos x, y E e todo K.
O primeiro resultado n
ao trivial sobre produtos internos que provaremos
e o seguinte:
4.1.5. Lema (desigualdade de CauchySchwarz). Seja E um espaco vetorial sobre K e h, i um produto interno em E. Ent
ao:
1
1
hx, yi hx, xi 2 hy, yi 2 ,
(4.1.2)
para todos x, y E; a igualdade em (4.1.2) vale se e somente se x e y s
ao
linearmente dependentes.
o. Se x e y sao linearmente dependentes entao ou y = x
Demonstrac
a
ou x = y, para algum K; da e facil ver que vale a igualdade em (4.1.2).
Suponhamos ent
ao que x e y sao linearmente independentes e provemos que
vale a desigualdade estrita em (4.1.2). Provemos primeiramente que:
<hx, yi < hx, xi 12 hy, yi 12 ,
(4.1.3)
onde < denota a parte real de um n
umero complexo . Considere a funcao
p : R R definida por:
p(t) = hx + ty, x + tyi,
para todo t R. Temos:
p(t) = hx, xi + thx, yi + thy, xi + t2 hy, yi = hx, xi + 2t<hx, yi + t2 hy, yi,
para todo t R. Como x e y sao linearmente independentes, temos que x+ty
e n
ao nulo, para todo t R e portanto p(t) > 0, para todo t R. Mas p e
uma func
ao polinomial do segundo grau e portanto seu discriminante:
2
= 4 <hx, yi 4hx, xihy, yi
4.1. ESPAC
OS NORMADOS E COM PRODUTO INTERNO
115
kxk = hx, xi 2 ,
A norma definida em (4.1.4) e chamada a norma associada ao (ou determinada pelo) produto interno h, i.
o. Seja E um espaco vetorial sobre K e h, i um produto
4.1.7. Definic
a
interno em E. O par (E, h, i) e chamado um espaco pre-Hilbertiano sobre
K. Se a metrica associada `a norma associada ao produto interno h, i for
completa, dizemos que (E, h, i) e um espaco de Hilbert sobre K.
N
os sempre assumiremos que um espaco pre-Hilbertiano (E, h, i) est
a
munido da norma (4.1.4) associada ao seu produto interno. Vemos entao
que todo espaco pre-Hilbertiano e um espaco normado e todo espaco de
Hilbert e um espaco de Banach. Nem toda norma esta associada a um
produto interno, como segue facilmente do seguinte:
4.1.8. Lema (identidade do paralelogramo). Se E e um espaco vetorial
sobre K, h, i e um produto interno em E e k k e a norma associada a h, i
ent
ao:
(4.1.5)
kx + yk2 + kx yk2 = 2 kxk2 + kyk2 ,
1Dado um n
umero complexo z, evidentemente existe um n
umero complexo de
m
odulo 1 tal que z e real; basta tomar =
,
|z|
se z 6= 0 e = 1 se z = 0.
4.1. ESPAC
OS NORMADOS E COM PRODUTO INTERNO
116
para todos x, y E.
o. Temos:
Demonstrac
a
kx + yk2 = hx + y, x + yi = hx, xi + hx, yi + hy, xi + hy, yi,
donde:
(4.1.6)
similarmente:
(4.1.7)
A conclus
ao e obtida somando (4.1.6) e (4.1.7).
2Esse n
ao fechados. Por exemplo, se
ao e o caso
se supusermos apenas que F e K s
4.1. ESPAC
OS NORMADOS E COM PRODUTO INTERNO
117
da func
ao nula ate H e igual a 1, mas que nao existe nenhuma funcao
f H com dsup (0, f ) = kf ksup = 1. Em primeiro lugar, mostremos que nao
existe f H com kf ksup 1. De fato, suponha por absurdo que f H e
R1
kf ksup 1. Da 1 f 0 e 0 (1 f ) dm = 0, donde f = 1 quase sempre;
mas f (0) = f (1) = 0 e a continuidade de f implicam que f e menor que
1 numa vizinhanca de {0, 1}, o que nos da uma contradicao. Vamos agora
mostrar que para todo > 0 existe f H com kf ksup 1 + . Obviamente
1+
se 0 x ,
x,
f (x) = 1 + ,
se x 1 ,
1+
(1 x), se 1 x 1.
f
E
acil ver que f H e que kf ksup = 1 + . Logo dsup (0, H) = 1, mas nao
existe f H com kf ksup = 1.
o. Seja (E, h, i) um espaco pre-Hilbertiano sobre K
4.1.10. Proposic
a
e seja C E um subconjunto completo, n
ao vazio, tal que 21 (p + q) C,
para todos p, q C. Ent
ao para todo x E existe um u
nico ponto p C tal
que d(x, p) = d(x, C).
o. Sejam x E, p, q C. Aplicando a identidade do
Demonstrac
a
paralelogramo (4.1.5) aos vetores x p, x q, obtemos:
k2x p qk2 + kp qk2 = 2 kx pk2 + kx qk2 ,
e portanto:
(4.1.8)
2
kp qk2 = 2 kx pk2 + kx qk2 2
x 12 (p + q)
.
4.1. ESPAC
OS NORMADOS E COM PRODUTO INTERNO
118
<hx p, vi = 0,
4.2. APLICAC
OES
LINEARES CONTINUAS
119
4.2. APLICAC
OES
LINEARES CONTINUAS
120
(c)(d).
Por hip
otese, existem r > 0 e c 0 tais que kT (x)kF c, para
todo x E com kxkE r. Da, se x E e tal que kxkE 1 entao
krxkE r e portanto kT (rx)kF c; logo kT (x)kF rc , para todo
x E com kxkE 1.
(d)(e).
Trivial.
(e)(f).
Seja c 0 tal que kT (x)kF c, para todo x E com kxkE = 1.
Afirmamos que kT (x)kF ckxkE , para todo x E. De fato, se x = 0
x
, de modo que
essa desigualdade e trivial. Se x 6= 0, tomamos y = kxk
E
kykE = 1 e:
T (x)
F
=
T (y)
c.
F
kxkE
A conclus
ao segue.
(f)(g).
Seja c 0 tal que kT (x)kF ckxkE , para todo x E. Dados,
x, y E, ent
ao:
T (x) T (y)
=
T (x y)
ckx yk ,
E
F
4.2. APLICAC
OES
LINEARES CONTINUAS
121
(4.2.2)
T (x)
kxkE
=
T (y)
kT k,
F
donde kS T k kSkkT k.
para todos n, m 1; segue que Tn (x) n1 e uma seq
uencia de Cauchy em
F . Como F e completo, podemos definir uma aplicacao T : E F fazendo:
T (x) = lim Tn (x),
n
4.2. APLICAC
OES
LINEARES CONTINUAS
122
(x),
T (x) = T
123
contra-domnio (veja Exerccios 4.19, 4.20, 4.21 e 4.22). Tal observacao permite obter de forma imediata as versoes para aplicacoes lineares-conjugadas
dos resultados que demonstramos sobre aplicacoes lineares.
o. Seja (E, k kE ), (F, k kF ) espacos vetoriais sobre K
4.2.8. Definic
a
e seja T : E F uma aplicacao linear (resp., linear conjugada). Dizemos
que T e uma imers
ao isometrica linear (resp., imers
ao isometrica linearconjugada) se:
T (x)
= kxk ,
(4.2.3)
E
F
124
(4.3.1)
v,
v =
E 3 v 7 v E
(y)
(x) .
4.4. ESPAC
OS Lp
125
(4.4.2)
4.4. ESPAC
OS Lp
126
donde:
kf kp = || kf kp .
(4.4.3)
(4.4.4)
v
alida para quaisquer n
umeros reais nao negativos a, b. Para provar (4.4.4),
seja c = max{a, b}, de modo que cp = max{ap , bp } e a + b c + c = 2c;
temos:
(a + b)p (2c)p = 2p cp 2p (ap + bp ).
Agora, dadas f, g Lp (X, A, ; K), entao:
|f + g|p 2p |f |p + |g|p ,
de modo que:
Z
|f + g| d 2
X
e portanto f + g
Z
X
p
L (X, A, ; K).
|f | d +
|g|p d < +,
Nosso pr
oximo objetivo e estabelecer que k kp e uma semi-norma no
espaco vetorial Lp (X, A, ; K).
4.4.3. Lema (desigualdade de Minkowski). Seja (X, A, ) um espaco
de medida e sejam f : X C, g : X C func
oes mensur
aveis. Dado
p [1, +[, ent
ao:
(4.4.5)
kf + gkp kf kp + kgkp .
4.4. ESPAC
OS Lp
127
(4.4.7)
ou
|f |p = |g|q q. s..
= kf kp + kgkp .
p
Suponha agora que p > 1 e seja q = p1
]1, +[, de modo que p1 + 1q = 1.
Temos:
Z
Z
p
p
(4.4.8) kf + gkp =
|f + g| d =
|f + g|p1 |f + g| d
X
X
Z
p1
|f + g|
|f | + |g| d
X
Z
Z
p1
=
|f ||f + g|
d +
|g||f + g|p1 d.
X
p
= kf kp kf + gkp q ,
Z
1
Z
p1
p1
p q
|g||f + g|
d kgkp |f + g|
=
kgk
|f
+
g|
p
q
X
= kgkp kf + gkp
p
q
da:
Z
(4.4.9)
|f ||f +g|p1 d+
p
|g||f +g|p1 d kf kp +kgkp kf +gkp q .
p
p
kf kp + kgkp kf + gkp q ,
e:
(4.4.10)
kf + gkp kf + gkp
p
q
p
kf kp + kgkp kf + gkp q .
4.4. ESPAC
OS Lp
128
x1 1 xnn 1 x1 + + n xn .
1
p
1
q
= 1 e a, b 0.
4.4. ESPAC
OS Lp
129
Sejam:
|f |
|g|
f =
, g =
.
kf kp
kgkq
A desigualdade de H
older (4.4.6) e equivalente a:
Z
(4.4.14)
fg d 1.
X
k
g kq = 1.
Usando o Corol
ario 4.4.7, obtemos:
(4.4.15)
fp gq
fg
+ ;
p
q
integrando, vem:
Z
Z p
p 1
q
1
gq
1 1
f
d = kfkp + k
+
g kq = + = 1,
fg d
(4.4.16)
p
q
p
q
p q
X
X
provando (4.4.14) (e tambem (4.4.6)). Temos que a igualdade em (4.4.6) e
equivalente `
a igualdade em (4.4.14) que, por sua vez, e equivalente `a afirmac
ao que a desigualdade que aparece em (4.4.16) e uma igualdade; usando
(4.4.15) e o resultado do Exerccio 2.22, vemos entao que a igualdade em
(4.4.6) e equivalente a:
(4.4.17)
fp gq
fg =
+
q. s..
p
q
Pelo Corol
ario 4.4.7, (4.4.17) e equivalente a:
fp = gq q. s.,
que, por sua vez, e equivalente a (4.4.13). Isso completa a demonstracao.
Em vista de (4.4.2), temos que k kp nao e em geral uma norma em
Para obtermos um espaco normado, consideramos um quociente de Lp (X, A, ; K) (veja Exerccio 4.6). Considere o seguinte subespaco
de Lp (X, A, ; K):
(4.4.18)
f Lp (X, A, ; K) : kf kp = 0 = f Lp (X, A, ; K) : f = 0 q. s. .
Lp (X, A, ; K).
4.4. ESPAC
OS Lp
130
X m
|fn fm |p d p ,
e portanto:
Z
|fn f | d =
X
X m
4.5. FUNC
OES
CONVEXAS
131
o da Proposic
o 4.4.8. Seja (fn )n1 uma seq
Demonstrac
a
a
uencia
p
de Cauchy em L (X, A, ; K). Pelo Lema 4.4.10, a seq
uencia (fn )n1 tambem e de Cauchy em medida e portanto, pelo Lema 2.7.14, existe uma
subseq
uencia (fnk )k1 de (fn )n1 que converge pontualmente quase sempre
para uma func
ao mensur
avel f : X K. O Lema 4.4.9 nos diz entao que f
est
a em Lp (X, A, ; K) e que (fnk )k1 converge para f em Lp (X, A, ; K).
A conclus
ao segue da seguinte observacao elementar: se uma seq
uencia de
Cauchy num espaco metrico possui uma subseq
uencia convergente entao a
pr
opria seq
uencia de Cauchy tambem e convergente (para o mesmo limite).
4.5. Ap
endice `
a Se
c
ao 4.4: fun
c
oes convexas
o. Seja I R um intervalo. Uma funcao f : I R e
4.5.1. Definic
a
dita convexa quando para todos x, y I e todo t [0, 1] vale a desigualdade:
(4.5.1)
f (1 t)x + ty (1 t)f (x) + tf (y).
Dizemos que f e estritamente convexa quando para todos x, y I com x 6= y
e todo t ]0, 1[ vale a desigualdade estrita:
(4.5.2)
f (1 t)x + ty < (1 t)f (x) + tf (y).
Claramente a igualdade vale em (4.5.1) quando x = y ou t {0, 1}; alem
do mais, as desigualdades (4.5.1) e (4.5.2) nao se alteram quando trocamos x
por y e t por 1t. Vemos entao que f e convexa (resp., estritamente convexa)
se e somente se a desigualdade (4.5.1) (resp., a desigualdade estrita (4.5.2))
vale para todos x, y I com x < y e para todo t ]0, 1[. Evidentemente
toda func
ao estritamente convexa e convexa.
Geometricamente, a desigualdade
(4.5.1) diz que o trecho do grafico de f
entre os pontos x, f (x) e y, f (y) esta abaixo da correspondente reta secante. Vamos explorar algumas conseq
uencias da definicao de convexidade.
Dados x, y I com x 6= y, vamos denotar
por c(f ; x,
y) o coeficiente angular
da reta que passa pelos pontos x, f (x) e y, f (y) ; mais explicitamente:
f (y) f (x)
= c(f ; y, x).
yx
Se x, y R e x < y, temos uma bijecao estritamente crescente:
c(f ; x, y) =
(4.5.3)
4.5. FUNC
OES
CONVEXAS
132
wx
[0, 1].
yx
yw
wx
f (x) +
f (y) = f (x) + c(f ; x, y)(w x)
yx
yx
= f (y) + c(f ; x, y)(w y),
e:
(4.5.9)
Temos ent
ao o seguinte:
4.5.2. Lema. Seja f : I R uma func
ao definida num intervalo I R.
As seguintes condic
oes s
ao equivalentes:
f e convexa;
c(f ; x, w) c(f ; x, y), para todos x, y, w I com x < w < y;
c(f ; x, y) c(f ; w, y), para todos x, y, w I com x < w < y;
c(f ; x, w) c(f ; w, y), para todos x, y, w I com x < w < y.
Similarmente, s
ao equivalentes as condico
es:
f e estritamente convexa;
c(f ; x, w) < c(f ; x, y), para todos x, y, w I com x < w < y;
4.5. FUNC
OES
CONVEXAS
133
Uma func
ao convexa s
o deixa de ser estritamente convexa se for afim em
algum trecho de seu domnio. Esse e o conte
udo do seguinte:
rio. Seja f : I R uma func
4.5.3. Corola
ao convexa num intervalo
I R. Dados x, y I com x < y ent
ao s
a
o
equivalentes:
(a) existe t ]0, 1[ tal que f (1 t)x + ty = (1 t)f (x) + tf (y);
(b) f e afim no intervalo [x, y], i.e., existem a, b R com f (w) = aw + b,
para todo w [x, y];
(c) f (1 t)x + ty = (1 t)f (x) + tf (y), para todo t [0, 1].
o.
Demonstrac
a
(a)(b).
Seja t0 ]0, 1[ com f (1 t0 )x + t0 y = (1 t0 )f (x) + t0 f (y) e seja
w0 ]x, y[ relacionado com t0 pela bijecao (4.5.3). Por (4.5.6), temos:
(4.5.10)
I ], y[ 3 w 7 c(f ; w, y),
s
ao crescentes e portanto (4.5.10) implica que c(f ; x, w) = c(f ; x, y),
para todo w [w0 , y] e que c(f ; w, y) = c(f ; x, y), para todo w [x, w0 ].
Da:
f (w) = c(f ; x, y)(w x) + f (x),
para todo w [w0 , y] e:
(4.5.4)
4.5. FUNC
OES
CONVEXAS
134
h0+
f (x + h) f (x)
= lim c(f ; x, y) R,
h
yx+
desde que esse limite exista em R. Similarmente, se x I nao e a extremidade esquerda de I, denotamos por d f (x) a derivada `
a esquerda de f no
ponto x, definida por:
d f (x) = lim
h0
f (x + h) f (x)
= lim c(f ; x, y) R,
h
yx
d f (x) d+ f (x).
I ]x, +[ 3 v 7 c(f ; x, v)
v>x
vI
I ], x[ 3 u 7 c(f ; u, x)
u<x
uI
4.5. FUNC
OES
CONVEXAS
135
u<x
uI
provando (4.5.13). Finalmente, se f e estritamente convexa entao o Lema 4.5.2 nos diz que as funcoes (4.5.14) e (4.5.15) sao estritamente crescentes, o que prova as desigualdades estritas em (4.5.11) e (4.5.12).
rio. Seja f : I R uma func
4.5.6. Corola
ao convexa num intervalo
I R. Dados x, y I com x < y ent
ao:
d+ f (x) d f (y).
A desigualdade e estrita se f e estritamente convexa.
o. Os Lemas 4.5.2 e 4.5.5 implicam que para todo w em
Demonstrac
a
]x, y[, temos:
d+ f (x) c(f ; x, w) c(f ; w, y) d f (y).
Se f e estritamente convexa entao:
d+ f (x) < c(f ; x, w) < c(f ; w, y) < d f (y).
yx
4.5. FUNC
OES
CONVEXAS
136
4.5. FUNC
OES
CONVEXAS
137
(b)(c).
Seja x I fixado e considere a funcao g : I R definida por:
g(y) = f (y) f (x) + f 0 (x)(y x) ,
para todo y I. Temos g 0 (y) = f 0 (y) f 0 (x) 0, se y I ], x] e
g 0 (y) 0, se y I [x, +[; segue que g e decrescente em I ], x]
e crescente em I [x, +[. Como g(x) = 0, conclumos que g(y) 0,
para todo y I.
(c)(a).
Segue do Corol
ario 4.5.10.
4.5. FUNC
OES
CONVEXAS
138
f (1 x1 + + n xn ) 1 f (x1 ) + + n f (xn );
139
em (4.5.19) s
ao igualdades e portanto:
(4.5.20)
10 x1 + + n0 xn = xn+1 ,
e:
f (10 x1 + + n0 xn ) = 10 f (x1 ) + + n0 f (xn ).
Como 10 , . . . , n0 > 0, a hipotese de inducao nos da x1 = = xn . Finalmente, (4.5.20) implica que x1 = = xn = xn+1 .
Exerccios para o Captulo 4
Espa
cos Normados e com Produto Interno.
Exerccio 4.1. Sejam E um espaco vetorial sobre K e k k uma seminorma em E. Mostre que:
kxk kyk kx yk,
para todos x, y E. Conclua que se (E, k k) e um espaco normado entao
a norma k k : E R e uma aplicacao Lipschitziana (e portanto uniformemente contnua), se E e munido da metrica associada a k k.
Exerccio 4.2. Seja (E, k k) um espaco normado sobre K. Se E e
munido da metrica associada a k k, mostre que as aplicacoes:
E E 3 (x, y) 7 x + y E,
K E 3 (, x) 7 x E,
s
ao contnuas.
Exerccio 4.3. Seja (E, k k) um espaco normado sobre K. Mostre que
a metrica d associada `
a norma k k satisfaz as seguintes condicoes:
(a) d(x + z, y + z) = d(x, y), para todos x, y, z E (invari
ancia por
translac
oes);
(b) d(x, y) = || d(x, y), para todo K e todos x, y E.
Reciprocamente, se d e uma metrica num espaco vetorial E sobre K que
satisfaz as condic
oes (a) e (b) acima, mostre que existe uma u
nica norma
k k em E tal que d e a metrica associada a k k.
Exerccio 4.4. Seja E um espaco vetorial real. Para que uma metrica
d em E seja a metrica associada a uma norma em E, mostre que e suficiente
que d satisfaca a condic
ao (a) que esta no enunciado do Exerccio 4.3 e a
condic
ao:
(b) d(x, y) = d(x, y), para todo > 0 e todos x, y E (homogeneidade positiva).
Exerccio 4.5. Sejam E um espaco vetorial e S E um subespaco
vetorial de E. Mostre que:
a relac
ao bin
aria em E definida por:
x y x y S,
x, y E,
e uma relac
ao de equivalencia em E;
140
x, y E,
x, y E,
define um produto interno h, i em E tal que hx, yi0 = <hx, yi, para todos
x, y E.
141
Exerccio 4.10. Seja X um conjunto com mais de um ponto. Mostre que a norma do supremo (Exemplo 4.1.3) definida no espaco vetorial
Bd(X, K) das func
oes limitadas f : X K nao satisfaz a identidade do
paralelogramo (veja (4.1.5)). Conclua que essa norma nao esta associada a
nenhum produto interno.
Exerccio 4.11 (f
ormula de polarizacao). Seja E um espaco vetorial
sobre K e h, i um produto interno em E. Se K = R, mostre que:
1
hx, yi = kx + yk2 kxk2 kyk2 ,
(4.5.21)
2
1
(4.5.22)
hx, yi = kx + yk2 kx yk2 ,
4
para todos x, y E. Para K = C, mostre que:
1
<hx, yi = kx + yk2 kxk2 kyk2 ,
2
1
<hx, yi = kx + yk2 kx yk2 ,
4
para todos x, y E. Use a formula que esta no item (c) do Exerccio 4.8
para concluir que, tambem no caso K = C, podemos escrever uma formula
para hx, yi usando apenas a norma k k.
Exerccio 4.12. Seja (E, h, i) um espaco pre-Hilbertiano sobre K. Se
E e munido da metrica associada `a norma associada a h, i, mostre que o
produto interno h, i : E E K e uma aplicacao contnua.
Exerccio 4.13. Este exerccio contem um resultado preparatorio que
ser
a usado na resoluc
ao do Exerccio 4.14. Sejam E, E 0 espacos vetoriais
sobre Q e seja T : E E 0 um homomorfismo de grupos aditivos, i.e.,
T (x + y) = T (x) + T (y), para todos x, y E. Mostre que T e linear, i.e.,
mostre que T (x) = T (x), para todos x E, Q.
Exerccio 4.14. Seja E um espaco vetorial sobre K e k k uma norma
em E que satisfaz a identidade do paralelogramo (4.1.5). O objetivo deste
exerccio e mostrar que k k esta associada a um u
nico produto interno no
espaco vetorial E.
(a) Mostre que:
kx + yk2 + kx + zk2 + ky + zk2 = kx + y + zk2 + kxk2 + kyk2 + kzk2 ,
para todos x, y, z E.
(b) Defina h, i : E E R atraves da formula (4.5.21) e use o
resultado do item (a) para concluir que hx + y, zi = hx, zi + hy, zi,
para todos x, y, z E.
(c) Use o resultado do item (b) e o resultado do Exerccio 4.13 para
concluir que hx, yi = hx, yi, para todos x, y E e todo Q.
(d) Use o resultado do item (d) e o resultado dos Exerccios 4.1 e 4.2
para concluir que hx, yi = hx, yi, para todos x, y E e todo
R.
142
E E 3 (x, y) 7 hx, yi C
143
CAPITULO 5
Construc
ao de Medidas
5.1. Medidas em Classes de Conjuntos
Recorde da Definic
ao 1.4.42 que um espaco de medida consiste de um
conjunto X, de uma -
algebra A de partes de X e de uma medida definida nessa -
algebra. Uma -algebra de partes de X e uma colecao de
subconjuntos de X que inclui o proprio conjunto X e que e fechada por todas as operac
oes conjuntistas, desde que realizadas apenas uma quantidade
enumer
avel de vezes (veja Definicao 1.4.32 e Observacao 1.4.33). Espacos de
medida s
ao ambientes confortaveis para o desenvolvimento de uma teoria de
integrac
ao (veja Captulo 2) justamente porque a classe dos conjuntos mensur
aveis (i.e., a -
algebra) e fechada pelas varias operacoes conjuntistas que
precisamos fazer durante o desenvolvimento da teoria. Em contra-partida,
-
algebras s
ao muitas vezes classes de conjuntos um tanto complexas e nao
e sempre f
acil construir exemplos nao triviais de medidas definidas em algebras (considere, por exemplo, o trabalho que tivemos na Secao 1.4 para
construir a medida de Lebesgue). Nosso objetivo agora e o de mostrar como
construir uma medida numa -algebra a partir de uma medida definida a
priori apenas em uma classe de conjuntos mais simples. Comecamos entao
definindo a noc
ao de medida em uma classe de conjuntos arbitraria.
o. Seja C uma classe1 de conjuntos tal que o conjunto
5.1.1. Definic
a
vazio pertence a C. Uma medida finitamente aditiva em C e uma funcao
uencia
: C [0, +] tal que () = 0 e tal que, se (Ak )tk=1 e uma seq
St
a
finita de elementos dois a dois disjuntos de C tal que k=1 Ak tambem est
em C, ent
ao:
(5.1.1)
t
[
t
X
Ak =
(Ak ).
k=1
k=1
k=1 Ak
(5.1.2)
145
tambem est
a em C, entao:
[
k=1
Ak =
(Ak ).
k=1
146
f
acil exibir ent
ao medidas em C para as quais as teses dos Lemas 1.4.46 e
1.4.48 n
ao s
ao satisfeitas.
o. Seja C uma classe de conjuntos com C e seja
5.1.5. Observac
a
: C [0, +] uma funcao tal que () = 0. Para verificar que e uma
medida finitamente aditiva em C, n
ao e suficiente verificar que:
(5.1.3)
(A B) = (A) + (B),
t
X
(Ak );
k=1
X
k=1
(Ak ).
147
t
[
A0k .
k=1
Observamos que
A0k
t
[
k=1
A0k =
t
[
Bk .
k=1
k=1
j
a que Bk A0k Ak , para todo k = 1, . . . , t. Isso completa a demonstracao
do item (e). A demonstracao do item (f) e totalmente analoga, basta trocar
t por no argumento acima.
Temos pouco interesse em estudar medidas em classes de conjuntos totalmente arbitr
arias. Vamos entao introduzir algumas classes de conjuntos
sobre as quais ser
a interessante definir medidas. Recorde da Definicao 1.4.32
(veja tambem Observac
ao 1.4.33) que uma algebra de partes de um conjunto X e uma colec
ao de partes de X que inclui o proprio X e que e fechada
por uni
ao finita e complementacao. Embora durante o estudo da teoria de
integrac
ao seja interessante assumir que o espaco X subjacente a um espaco
de medida (X, A, ) seja um conjunto mensuravel, quando desenvolvemos a
teoria de construc
ao de medidas e pratico trabalhar tambem com medidas
definidas em classes de conjuntos C (X) que nao incluem o espaco X
entre seus elementos. Temos entao a seguinte:
o. Seja R uma classe de conjuntos. Dizemos que R e
5.1.7. Definic
a
um anel se R e n
ao vazio e se as seguintes condicoes sao satisfeitas:
(a) A \ B R, para todos A, B R;
(b) A B R, para todos A, B R.
2Na verdade, o Exerccio 1.19 considera uma seq
uencia infinita de conjuntos, mas
148
[
\
Ak = A1 \
(A1 \ Ak ) ,
k=1
e portanto
k=1 Ak
R.
k=1
Infelizmente, a classe dos intervalos da reta real nao e um anel, pois nao
e fechada por uni
oes finitas. Para incluir essa importante classe de conjuntos
na nossa teoria, precisamos da seguinte:
o. Seja S uma classe de conjuntos. Dizemos que S e
5.1.10. Definic
a
um semi-anel se S e n
ao vazio e se as seguintes condicoes sao satisfeitas:
(a) A B S, para todos A, B S;
(b) se A, B S ent
ao existem k 1 e conjuntos C1 , . . . , Ck S, dois
S
a dois disjuntos, de modo que A \ B = ki=1 Ci .
Segue diretamente do Lema 5.1.9 que todo anel e um semi-anel (note
que se A \ B S ent
ao podemos tomar k = 1 e C1 = A \ B na condicao
(b)).
o. Se S e um semi-anel entao S. De fato, como
5.1.11. Observac
a
S e n
ao vazio, existe um elemento A S; da existem k 1 e conjuntos
S
C1 , . . . , Ck S dois a dois disjuntos de modo que = A \ A = ki=1 Ci .
Portanto Ci = , para todo i = 1, . . . , k.
149
U2 = (A1 B1 ) (A2 \ B2 ),
U3 = (A1 \ B1 ) (A2 \ B2 ).
Os conjuntos Ui , i = 1, 2, 3 sao dois a dois disjuntos; para completar a demonstrac
ao, basta ver que cada Ui e uma uniao finita disjunta de elementos
de S1 S2 . Como S1 , S2 s
ao semi-aneis, podemos escrever:
A1 \ B 1 =
k
[
Ci ,
A2 \ B2 =
i=1
l
[
Dj ,
j=1
k
[
Ci (A2 B2 ) ,
U2 =
i=1
l
[
(A1 B1 ) Dj ,
j=1
U3 =
k [
l
[
(Ci Dj ),
i=1 j=1
150
k
[
i=1
]ai , bi ]
151
F (b) F (a) =
k
X
F (bi ) F (ai ) .
i=1
Se ]a, b] = ent
ao ]ai , bi ] = para todo i = 1, . . . , k e os dois lados de (5.1.8)
s
ao nulos. Suponha ent
ao que a < b. Podemos desconsiderar os ndices i tais
que ]ai , bi ] = , pois isso n
ao altera o lado direito de (5.1.8); suponha entao
que ai < bi , para todo i = 1, . . . , k. Fazendo, se necessario, uma permutacao
nos ndices i, podemos supor que a1 a2 ak . O Lema 5.1.17 que
provaremos logo a seguir nos diz entao que:
a = a1 < b1 = a2 < b2 = = ai < bi = = ak < bk = b,
donde a igualdade (5.1.8) segue. Isso completa a demonstracao do fato que
F e uma medida finitamente aditiva finita em S. Note que se F : R R,
G : R R s
ao func
oes crescentes entao F = G se e somente se:
F (b) F (a) = F ]a, b] = G ]a, b] = G(b) G(a),
para todos a, b R com a b; logo F = G se e somente se:
F (b) G(b) = F (a) G(a),
para todos a, b R com a b. Isso prova que F = G se e somente se
F G e uma func
ao constante. Finalmente, seja : S [0, +[ uma
medida finitamente aditiva finita em S e vamos mostrar que existe uma
func
ao crescente F : R R tal que = F . Defina F : R R fazendo:
(
]0, x] , se x 0,
F (x) =
]x, 0] , se x < 0.
Vamos mostrar que:
(5.1.9)
]a, b] = F (b) F (a),
152
k
[
]ai , bi ]
i=1
ai < c bi ,
153
154
A \ B e A B est
ao em R. Pela condicao (c), temos que A B R; como:
A \ B = A \ (A B),
e A B A, segue da condicao (a) que A \ B esta em R. Tambem, como:
A B = (A \ B) B,
e os conjuntos A \ B R e B R sao disjuntos, segue da condicao (b) que
A B R.
5.1.21. Lema. Seja S um semi-anel. O anel R gerado por S e igual ao
conjunto das uni
oes finitas disjuntas de elementos de S, ou seja:
R=
t
n[
Ak : A1 , . . . , At S dois a dois disjuntos, t 1 .
k=1
l=1
(5.1.10)
t
[
(Ak \ B),
k=1
St
r
\
(A \ Bl ),
l=1
155
S
onde B = rl=1 Bl e B1 , . . . , Bl S sao dois a dois disjuntos. Como A R
e Bl S, temos que A \ Bl R, para todo l = 1, . . . , r, pelo que acabamos
de demonstrar; conclumos entao que A \ B R, ja que R e fechado por
intersec
oes finitas.
rio. Se S e um semi-anel ent
5.1.22. Corola
ao toda uni
ao finita de
elementos de S e tambem igual a uma uni
ao finita disjunta de (possivelmente outros) elementos de S; em particular, o anel gerado por S coincide
tambem com o conjunto das uni
oes finitas (n
ao necessariamente disjuntas)
de elementos de S.
o. Toda uniao finita de elementos de S pertence ao anel
Demonstrac
a
R gerado por S; mas, pelo Lema 5.1.21, todo elemento de R e igual a uma
uni
ao finita disjunta de elementos de S.
Estamos agora em condicoes de prova o seguinte:
5.1.23. Teorema (pequeno teorema da extensao). Seja : S [0, +]
uma medida finitamente aditiva num semi-anel S e seja R o anel gerado por
S. Ent
ao:
(a) existe uma u
nica medida finitamente aditiva
: R [0, +] em
R tal que
|S = ;
(b) e uma medida -aditiva em S se e somente se
e uma medida
-aditiva em R.
o. Pelo Lema 5.1.21, todo A R se escreve na forma
Demonstrac
a
St
e uma medida
A = k=1 Ak , com A1 , . . . , At S dois a dois disjuntos. Se
finitamente aditiva em R que estende entao obrigatoriamente:
(5.1.11)
(A) =
t
X
(Ak ),
k=1
est
a bem definida, j
a que e possvel que:
A=
t
[
Ak =
k=1
r
[
A0l ,
l=1
t
X
k=1
(Ak ) =
r
X
(A0l ).
l=1
156
(Ak ) =
r
X
(Ak A0l ).
l=1
De maneira an
aloga, vemos que:
(A0l )
(5.1.14)
t
X
(A0l Ak ),
k=1
(Ak ) =
t X
r
X
(Ak A0l ) =
k=1 l=1
r X
t
X
(A0l Ak ) =
l=1 k=1
r
X
(A0l ),
l=1
(A B) =
(A) +
(B),
para todos A, B R com A B = (veja Observacao 5.1.5). Dados
A, B R com A B = , escrevemos:
A=
t
[
Ak ,
B=
r
[
Bl ,
l=1
k=1
(A B) =
t
X
(Ak ) +
k=1
r
X
(Bl ) =
(A) +
(B).
l=1
e
ncia
de
elementos
dois
a
dois
disjuntos
de R e suponha
S
que A =
A
R;
devemos
mostrar
que:
k=1 k
(5.1.15)
(A) =
(Ak ).
k=1
rk
[
u=1
Aku ,
157
(A) = (A) =
rk
X
X
(Aku ).
u=1
k=1
Pk
(Aku ),
(Ak ) = ru=1
[
[
Ak = Ak A =
(Ak Bl ), Bl = Bl A =
(Bl Ak ),
l=1
k=1
r
X
X
(Bl Ak ).
(Ak Bl ),
(Bl ) =
(Ak ) =
k=1
l=1
Ent
ao:
(A) =
r
X
l=1
(Bl ) =
r X
(Bl Ak ) =
l=1 k=1
X
r
X
k=1 l=1
(Ak Bl ) =
(Ak ),
k=1
rio. As afirmac
5.1.24. Corola
oes que aparecem nos itens (a), (c), (d),
(e) e (f ) do enunciado do Lema 5.1.6 s
ao verdadeiras sob a hip
otese de que
a classe de conjuntos C seja um semi-anel; a afirmac
ao que aparece no item
(b) tambem e verdadeira, sob a hip
otese de que A2 \ A1 esteja em C.
o. Seja R o anel gerado pelo semi-anel C e seja
Demonstrac
a
a
medida finitamente aditiva em R que estende : C [0, +]. Como o
anel R e fechado por diferencas, o Lema 5.1.6 pode ser aplicado `a medida
finitamente aditiva
. A conclusao segue.
5.1.25. Exemplo. Seja F : R R uma funcao crescente e considere
a medida finitamente aditiva finita F : S [0, +[ correspondente a F
definida no enunciado da Proposicao 5.1.16. Vamos determinar uma condic
ao necess
aria sobre F para que F seja uma medida -aditiva. Note em
primeiro lugar que, como a funcao F e crescente, entao para todo a R o
limite `
a direita:
def
F (a+ ) = lim F (x) R
xa+
158
existe e e maior ou igual a F (a). Suponha que F seja uma medida -aditiva
e seja a R fixado. N
os temos:
a, a + n1 & ;
pelo Corol
ario 5.1.24, isso nos da:
0 = F () = lim F a, a + n1 = lim F a+ n1 F (a) = F (a+ )F (a).
n
Ckc ,
k=1
159
Ent
ao e uma medida -aditiva.
Note que as hip
oteses da Proposicao 5.1.28 implicam em particular que
a medida finitamente aditiva e finita; de fato, a desigualdade (5.1.16)
implica que (A) < +.
Antes de demonstrar a Proposicao 5.1.28, precisamos de alguns resultados preparat
orios. O pr
oximo lema nos da um criterio para a -aditividade
de medidas finitamente aditivas em aneis.
5.1.29. Lema. Seja : R [0, +] uma medida finitamente aditiva
num anel R. Suponha que para toda seq
uencia (Ak )k1 em R tal que Ak &
temos limk (Ak ) = 0. Ent
ao e uma medida -aditiva em R.
o. Seja (Bk )k1 uma seq
Demonstrac
a
uencia de elementos dois a dois
S
B
esta em
disjuntosPde R tal que a uniao B =
k
k=1
SR; vamos mostrar que
(B
).
Para
cada
k
1,
seja
A
=
(B) =
k
k
i=k+1 Bi ; temos:
k=1
(5.1.17)
B = B1 . . . Bk Ak ,
onde a uni
ao em (5.1.17) e disjunta. Note que cada Ak esta em R, ja que
Ak = B \ (B1 . . . Bk ). Como e uma medida finitamente aditiva em R,
obtemos:
(5.1.18)
(B) = (Ak ) +
k
X
(Bi ).
i=1
lim (Ak ) = 0.
\
\
Ck
Ak = ,
k=1
k=1
t
[
Tt
k=1 Ck
Tt
= ; da
t
[
(At \ Bk )
k=1
k=1 Bk
160
= e portanto:
(Ak \ Bk ).
k=1
t
X
(Ak \ Bk ) =
k=1
t
X
k=1
t
X
X
<
= .
(Ak ) (Bk ) <
k
2
2k
k=1
k=1
Logo (Ak ) (At ) < , para todo k t, o que prova (5.1.19) e completa
a demonstrac
ao.
Para demonstrar a Proposicao 5.1.28 nos consideraremos a medida finitamente aditiva
que estende para o anel R gerado por S e nos usaremos
uma classe compacta Ce de modo que
e Ce satisfacam as hipoteses da Proposic
ao 5.1.28.
5.1.31. Lema. Seja C uma classe compacta e seja Ce a classe formada
por todas as uni
oes finitas de elementos de C, isto e:
Ce =
t
n[
o
Ck : C1 , . . . , Ct C, t 1 .
k=1
Ent
ao Ce tambem e uma classe compacta.
ek )k1 uma seq
o. Seja (C
Demonstrac
a
uencia de elementos de Ce tal
T
T e
ek = .
que k=1 Ck = ; devemos mostrar que existe t 1 tal que tk=1 C
Tt
e
Suponha por absurdo que k=1 Ck 6= , para todo t 1. Para cada k 1
escrevemos:
[
ek =
C
Cki ,
iIk
(5.1.20)
xt
t
\
Ckit 6= .
k
k=1
N
os vamos construir uma seq
uencia (jk )k1
k=1 Ik
Ckjk 6= ;
k=1
\
k=1
Ckjk
\
k=1
ek 6= ,
C
tal que:
161
(5.1.22)
1
a
igualdade
(5.1.22)
e
satisfeita
(jk )k1
k
k=1
para uma infinidade de ndices t k; em particular, para todo k 1 existe
t k tal que a igualdade (5.1.22) e satisfeita e da, usando (5.1.20), obtemos:
k
\
Crjr =
r=1
k
\
Critr
r=1
t
\
Critr 6= .
r=1
Tk
Como
T C e uma classe compacta e r=1 Crjr 6= para todo k 1, segue que
ao (5.1.21), o que nos da uma contradicao e
r=1 Crjr 6= . Obtivemos ent
completa a demonstrac
ao.
o da Proposic
o 5.1.28. Seja R o anel gerado por S
Demonstrac
a
a
e
: R [0, +] a u
nica medida finitamente aditiva em R que estende
(veja Teorema 5.1.23); n
os vamos mostrar que
e uma medida -aditiva em
e
R e isso completar
a a demonstracao. Seja C a classe compacta definida no
enunciado do Lema 5.1.31; vamos mostrar que para todo A R e para todo
> 0 existem B R, C Ce tais que B C A e
(A) <
(B)+. Seguira
ent
ao do Corol
ario 5.1.30
que
e
uma
medida
-aditiva.
Pelo
Lema 5.1.21,
S
podemos escrever A = tk=1 Ak , com A1 , . . . , At S dois a dois disjuntos e
t 1. Para cada k = 1, . . . , t, existem Bk S e Ck C com Bk Ck Ak
S
S
e (Ak ) < (Bk ) + t . Tomando B = tk=1 Bk R e C = tk=1 Ck Ce
ent
ao B C A e:
(A) =
t
X
k=1
(Ak ) <
t
X
(Bk ) +
=
(B) + ,
k=1
j
a que os conjuntos B1 , . . . , Bt S sao dois a dois disjuntos. Isso completa
a demonstrac
ao.
5.2. CLASSES MONOTONICAS
E CLASSES -ADITIVAS
162
Como aplicac
ao da Proposicao 5.1.28, nos vamos determinar para quais
func
oes crescentes F : R R a medida finitamente aditiva correspondente
F e -aditiva.
o. Seja F : R R uma func
5.1.32. Proposic
a
ao crescente e seja
F : S [0, +[ a medida finitamente aditiva finita correspondente a F
definida no enunciado da Proposic
ao 5.1.16. Ent
ao F e uma medida aditiva se e somente se a funca
o F e contnua `
a direita.
o. N
Demonstrac
a
os ja vimos no Exemplo 5.1.25 que se F e uma
medida -aditiva ent
ao a funcao F e contnua `a direita. Reciprocamente, suponha que F e contnua `a direita e vamos demonstrar que a medida
finitamente aditiva F e uma medida -aditiva. Seja:
C = {} [a, b] : a, b R, a b ;
pelo Exemplo 5.1.27, C e uma classe compacta. Vamos verificar as hipoteses
da Proposic
ao 5.1.28. Sejam dados A S e > 0. Se A = , tomamos
B = C = . Se A 6= entao A = ]a, b] com a, b R, a < b e, como
F e contnua `
a direita no ponto a, existe > 0 tal que a < a + < b e
F (a + ) < F (a) + . Tomamos entao B = ]a + , b] S, C = [a + , b] C,
de modo que B C A e:
F (A) = F (b) F (a) < F (b) F (a + ) + = F (B) + .
5.2. CLASSES MONOTONICAS
E CLASSES -ADITIVAS
163
5.2. CLASSES MONOTONICAS
E CLASSES -ADITIVAS
164
AA:A\B E .
B A:A\B E .
De forma an
aloga ao que foi feito no passo 3, prova-se que (5.2.4) e uma
classe monot
onica usando o fato que Bk % B (resp., Bk & B) implica
em (A \ Bk ) & (A \ B) (resp., (A \ Bk ) % (A \ B)). Finalmente, o
que provamos no passo 3 implica que (5.2.4) contem R e da segue que
(5.2.4) contem E. Logo A \ B E, para todos A, B E.
5.2.5. Lema (lema da classe -aditiva). Seja C uma classe de conjuntos
fechada por intersec
oes finitas, i.e., A B C, para todos A, B C. Ent
ao
5.2. CLASSES MONOTONICAS
E CLASSES -ADITIVAS
165
a classe -aditiva gerada por C coincide com o -anel gerado por C. Em particular, toda classe -aditiva que contem uma classe fechada por intersec
oes
finitas C contem tambem o -anel gerado por C.
o. Seja A o -anel gerado por C e seja E a classe Demonstrac
a
aditiva gerada por C. Evidentemente todo -anel e uma classe -aditiva e
portanto A contem E. Para mostrar que E contem A, basta verificar que E
e um -anel. Assuma por um momento que ja tenhamos mostrado que E e
fechado por intersec
oes finitas. Segue entao do Lema 5.1.20 queS
E e um anel.
t
Alem do mais, se (Ak )k1
uencia
Se uma seq
S em E entao Bt = k=1 Ak E
para todo t 1 e Bt % k=1 Ak , donde k=1 Ak E. Conclumos entao que
E e um -anel. Para completar a demonstracao, verificaremos que AB E,
para todos A, B E. Seja B A fixado e considere a classe de conjuntos:
(5.2.5)
AA:AB E .
Afirmamos que (5.2.5) e uma classe -aditiva. Em primeiro lugar, o conjunto
vazio est
a em (5.2.5), pois B = E. Dados A1 e A2 em (5.2.5) com
A1 A2 = ent
ao A1 B, A2 B E e (A1 B) (A2 B) = ; como E e
uma classe -aditiva, segue que (A1 B) (A2 B) = (A1 A2 ) B E e
portanto A1 A2 est
a em (5.2.5). Suponha agora que A1 e A2 sao elementos
de (5.2.5) com A1 A2 . Temos A1 B, A2 B E e A1 B A2 B; segue
ent
ao que (A2 B)\(A1 B) E. Como (A2 B)\(A1 B) = (A2 \A1 )B,
conclumos que A2 \ A1 esta em (5.2.5). Para concluir a demonstracao de
que (5.2.5) e uma classe -aditiva, seja (Ak )k1 uma seq
uencia em (5.2.5)
com Ak % A. Da Ak B E, para todo k 1 e (Ak B) % (A B);
segue ent
ao que A B E e portanto A esta em (5.2.5). Demonstramos
ent
ao que (5.2.5) e uma classe -aditiva. Se o conjunto B pertence a C entao
A B C E, para todo A C e portanto (5.2.5) contem C; conclumos
ent
ao que (5.2.5) contem E, isto e, A B E, para todo A E e todo
B C. Seja agora B E arbitrario. Pelo que acabamos de mostrar, (5.2.5)
contem C e portanto contem E; conclumos entao que A B E, para todos
A, B E.
Vejamos agora algumas aplicacoes interessantes dos Lemas 5.2.4 e 5.2.5.
5.2.6. Lema. Sejam : A [0, +[, : A [0, +[ medidas finitas
num -anel A. Seja C A uma classe fechada por intersec
oes finitas tal
que A e o -anel gerado por C. Se (A) = (A) para todo A C ent
ao
= .
o. Como vimos no Exemplo 5.2.2, a classe (5.2.1) forDemonstrac
a
mada pelos conjuntos onde e coincidem e uma classe -aditiva. Como
(5.2.1) contem C e C e fechada por intersecoes finitas, segue do Lema 5.2.5
que (5.2.1) contem A. Logo = .
O Lema 5.2.6 pode ser pensado como um lema de unicidade de extensao
de medidas; de fato, um enunciado alternativo para o Lema 5.2.6 e o seguinte: uma medida finita numa classe de conjuntos C fechada por intersecoes
5.2. CLASSES MONOTONICAS
E CLASSES -ADITIVAS
166
finitas extende-se no m
aximo de uma maneira a uma medida finita no anel gerado por C. Logo adiante apresentaremos uma generalizacao desse
resultado.
Outro resultado interessante e o seguinte lema de aproximacao.
5.2.7. Lema. Seja : A [0, +[ uma medida finita num -anel A e
seja R A um anel tal que A e o -anel gerado por R. Ent
ao para todo
A A e todo > 0 existe B R tal que (A 4 B)
<
.
Em
particular,
pelo
resultado do Exerccio 5.12, temos (A) (B) < .
o. Considere a classe de conjuntos:
Demonstrac
a
(5.2.6)
A A : para todo > 0, existe B R tal que (A 4 B) < .
Evidentemente (5.2.6) contem o anel R. Se mostrarmos que (5.2.6) e uma
classe monot
onica, a tese seguira do Lema 5.2.4. Seja (Ak )k1 uma seq
uencia
em (5.2.6) tal que Ak % A (resp., tal que Ak & A) e seja dado > 0. Temos
que Ak 4 A = A \ Ak (resp., que Ak 4 A = Ak \ A) e portanto (Ak 4 A) & .
Como a medida e finita, obtemos limk (Ak 4 A) = 0 e portanto existe
k 1 tal que (Ak 4 A) < 2 . Como Ak esta em (5.2.6), existe B R tal
que (Ak 4 B) < 2 . Mas (veja Exerccio 5.11):
A 4 B (A 4 Ak ) (Ak 4 B)
e portanto, pelo item (e) do Lema 5.1.6:
+ = .
2 2
Isso prova que A est
a em (5.2.6) e completa a demonstracao.
(A 4 B) (A 4 Ak ) + (Ak 4 B) <
A hip
otese de finitude das medidas nos Lemas 5.2.6 e 5.2.7 e muito
restritiva. Vamos agora relaxar essa hipotese.
o. Seja C uma classe de conjuntos com C e seja
5.2.8. Definic
a
: C [0, +] uma medida em C. Dizemos que um conjunto A (nao
necessariamente em C) e -finito
uencia
S com respeito a se existe uma seq
A
e
(A
)
<
+,
para
todo
k
1.
(Ak )k1 em C tal que A
k
k
k=1
Dizemos que a medida e -finita se todo conjunto A em C e -finito com
respeito a .
Evidentemente, se A C e (A) < + entao A e -finito com respeito
a ; em particular, toda medida finita e -finita. Note que se A e -finito
com respeito a e B A entao B tambem e -finito com respeito a . Em
particular, se X e um conjunto tal que C (X) e X C entao e -finita
se e somente se X e -finito com respeito aS, isto e, se somente se existe
uma seq
uencia (Ak )k1 em C tal que X =
k=1 Ak e (Ak ) < +, para
todo k 1.
o. Seja C uma classe de conjuntos com C e seja
5.2.9. Observac
a
: C [0, +] uma medida em C; denote por A o -anel gerado por C. Se
a medida e -finita ent
ao todo elemento A de A e -finito com respeito a
. De fato, pelo resultado do Exerccio 5.20, todo A A pode ser coberto
por uma uni
ao enumer
avel de elementos de C; mas cada elemento de C pode
5.2. CLASSES MONOTONICAS
E CLASSES -ADITIVAS
167
5.2. CLASSES MONOTONICAS
E CLASSES -ADITIVAS
168
S
em C com A
k=1 Xk e (Xk ) < +, para todo k 1. Para cada k 1
Sk1
seja Yk = Xk \ i=0 Xi , onde X0 = . Pelo resultado
do Exerc
S cio 1.19, os
S
X
=
conjuntos
(Y
)
s
a
o
dois
a
dois
disjuntos
e
k
k
k1
k=1 Yk . Temos
k=1
S
A=
(Y
A)
e
portanto:
k=1 k
(A) =
(Yk A),
(A) =
k=1
(Yk A).
k=1
alem do mais, (R \ Q) = (R \ Q) = 0, {x} = 1 e {x} 1, para
todo x Q. No entanto, temos |A 6= |A , ja que {0} = 1 e {0} = 0.
Generalizamos agora o Lema 5.2.7.
5.2.15. Lema. Seja : A [0, +] uma medida num -anel A e seja
R A um anel tal que A e o -anel gerado por R. Suponha que A A
e -finito com respeito a |R (pela Observac
ao 5.2.9, esse e o caso, por
exemplo, se a medida |R e -finita). Se (A) < + ent
ao para todo > 0
existe B R tal que (A 4 B) < . Em particular, pelo resultado do
Exerccio 5.12, temos (A) (B) < .
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
169
1.
Para
cada
k 1 seja
com A
k
Sk k=1 k
Yk = i=1 Xi , de modo que Yk R, (Yk ) < + e (A \ Yk ) & . Como
(A) < +, temos limk (A \ Yk ) = 0 e portanto existe k 1 tal que
(A \ Yk ) < 2 . Seja A0 = A Yk ; da A 4 A0 = A \ Yk e portanto:
(A 4 A0 ) < ,
2
e A0 A (Yk ) = A|Yk . Vamos agora aplicar o Lema 5.2.7 `a medida
finita |A|Y ; para isso, note que, pelo Exerccio 5.18, R|Yk e um anel e,
k
pelo Lema 5.2.11, A|Yk e o -anel gerado por R|Yk . Vemos entao que existe
B R|Yk R tal que (A0 4 B) < 2 . Da (veja Exerccio 5.11):
A 4 B (A 4 A0 ) (A0 4 B)
e portanto:
(A 4 B) (A 4 A0 ) + (A0 4 B) <
+ = ,
2 2
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
170
X
[
(Ak ).
Ak
(5.3.1)
k=1
k=1
Claramente, se
: H [0, +] e uma medida exterior, entao dados
A1 , . . . , At H temos:
t
[
k=1
t
X
(Ak );
Ak
k=1
(A) = (A E) + (A \ E).
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
171
X
[
A
Ek =
(A Ek );
k=1
k=1
(c) a restrica
o de
a M e uma medida -aditiva;
(d) se E H e tal que (E) = 0 ent
ao E M.
o. Seja X um conjunto arbitrario tal que A X, para
Demonstrac
a
S
todo A H (tome, por exemplo, X = AH A). Convencionando que
complementares s
ao sempre tomados com respeito a X, podemos reescrever
a condic
ao (5.3.2) na forma mais conveniente:
(A) = (A E) + (A E c ).
A demonstrac
ao do teorema sera dividida em varios passos.
Passo 1. Se E1 , E2 M ent
ao E1 E2 M.
Seja dado A H. Usando o fato que E1 e E2 sao -mensuraveis,
obtemos:
(5.3.4) (A) = (A E1 ) + (A E1c ) = (A E1 )
+ (A E1c E2 ) + (A E1c E2c )
= (A E1 ) + (A E1c E2 ) + A (E1 E2 )c ;
mas A (E1 E2 ) = (A E1 ) (A E1c E2 ) e portanto:
(5.3.5)
A (E1 E2 ) (A E1 ) + (A E1c E2 ).
De (5.3.4) e (5.3.5) vem:
(A) = (A E1 ) + (A E1c E2 ) + A (E1 E2 )c
A (E1 E2 ) + A (E1 E2 )c ,
o que prova que E1 E2 M.
Passo 2. Se E1 , E2 M, A H e E1 E2 = ent
ao:
(5.3.6)
A (E1 E2 ) = (A E1 ) + (A E2 ).
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
172
M.
de M ent
ao
k=1 k
S
Usando induc
ao e os passos 1 e 2 obtemos que tk=1 Ek M e:
t
[
Ek =
k=1
t
X
(A Ek ),
k=1
(A) =
t
[
Ek +
k=1
t
[
Ek
c
k=1
t
X
k=1
t
[
c
(A Ek ) + A
Ek
.
k=1
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
Como A
St
k=1 Ek
c
(A)
(5.3.9)
A
t
X
k=1 Ek
c
173
, obtemos:
[
c
(A Ek ) + A
Ek
;
k=1
k=1
(5.3.10) (A)
X
(A Ek ) +
[
k=1
Ek
c
k=1
Ek + A
k=1
[
Ek
c
(A),
k=1
(A) =
X
[
c
(A Ek ) + A
Ek
,
k=1
k=1
E
em
(5.3.11).
A
k=1 k
Passo 10. O item (c) S
da tese do teorema vale.
Basta fazer A =
k=1 Ek em (5.3.3).
Passo 11. O item (d) da tese do teorema vale.
Sejam E H com (E) = 0 e A H. Segue da monotonicidade
de que:
(A E) + (A E c ) (E) + (A) = (A).
Logo E e -mensur
avel.
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
174
-mensur
avel. Segue ent
ao do Teorema 5.3.7 que a colecao de conjuntos
-mensur
aveis e uma -
algebra de partes de X (veja o Exerccio 5.3).
bem possvel que o -anel de conjuntos -mensu5.3.9. Exemplo. E
r
aveis associado a uma medida exterior seja completamente trivial. De
fato, seja X um conjunto arbitrario e seja H (X) o -anel hereditario
constitudo pelos subconjuntos enumeraveis de X. Defina : H [0, +]
fazendo:
(
|A| + 1, se A 6= ,
(A) =
0,
se A = ,
facil ver
onde |A| N {+} denota o n
umero de elementos de A. E
n
o
[
(5.3.12) H = A : existe uma seq
uencia (Ak )k1 em C com A
Ak .
k=1
que
que
que
que
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
175
S
0 para toda seq
uencia (Ak )k1 de elementos
contem C ent
ao
k=1 Ak H , S
de C; logo todo subconjunto de
A
est
a
em
H0 , donde H H0 .
k=1 k
5.3.12. Exemplo. Seja C uma classe de conjuntos tal que C e seja
dada uma aplicac
ao : C [0, +] (nao necessariamente uma medida)
tal que () = 0. Seja H (veja (5.3.12)) o -anel hereditario gerado por
C. Vamos definir uma medida exterior em H associada a . Para cada
A H, seja:
C (A) =
nX
(Ak ) : A
k=1
o
Ak , Ak C, para todo k 1 ,
k=1
e defina:
(A) = inf C (A).
Evidentemente, (A) [0, +], para todo A H (note que C (A) 6= , ja
que A H). Observe tambem que para todo A C, temos:
(A) (A);
(5.3.13)
de fato, basta tomar A1 = A e Ak = para todo k 2 para ver que (A) esta
em C (A). Vamos mostrar que e uma medida exterior em H. De (5.3.13)
segue que () = 0. Se A, B H e A B entao C (B) C (A), donde
(A) (B), provando a monotonicidade de . Finalmente, provemos
a -subaditividade de . Seja (Ak )k1 uma seq
uencia em H. Dado > 0
ent
ao para todo k 1 existe uma seq
uencia (Aki )i1 em C tal que:
Ak
Aki
i=1
X
i=1
(Aki ) (Ak ) +
.
2k
S
P
P
Da k=1 Ak k=1 i=1 Aki e
k=1 Ak ; pork=1
i=1 (Aki ) C
tanto:
[
X
X
X
Ak
(Aki )
(Ak ) + k =
(Ak ) + .
2
k=1
S S
k=1 i=1
k=1
k=1
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
176
(A)
(Ak ) =
k=1
t
X
(Ak ) =
(A).
k=1
(A)
(Bk ) =
k=1 Bk
(Bk ),
k=1
k=1
donde
(A) (A). Provamos entao que (A) =
(A). Seja agora
(5.3.14)
(Ak ) (A E) + (A \ E).
k=1
(Ak ) =
k=1
(Ak E) +
k=1
(A E)
X
k=1
(Ak E),
(Ak \ E).
k=1
k=1 (Ak
(A \ E)
X
k=1
(Ak \ E).
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
177
Como conseq
uencia direta do Lema 5.3.15 e do Teorema 5.3.7 obtemos
o seguinte:
5.3.16. Teorema (teorema da extensao). Seja : S [0, +] uma
medida num semi-anel S. Ent
ao estende-se a uma medida no -anel
gerado por S; se e -finita ent
ao essa extens
ao e u
nica e -finita.
o. Seja a medida exterior determinada por ; pelo
Demonstrac
a
Teorema 5.3.7, a colec
ao M dos conjuntos -mensuraveis e um -anel e a
restric
ao de a M e uma medida. Mas, pelo Lema 5.3.15, M contem S e
e uma extens
ao de ; logo M contem o -anel gerado por S e a restricao
de a esse -anel e uma medida que estende . Se e -finita entao essa
extens
ao e u
nica e -finita, pelo Corolario 5.2.13.
5.3.17. Exemplo. Seja S o semi-anel constitudo pelos intervalos da
forma ]a,
b], a, b R (veja (5.1.5)) e seja : S [0, +] definida por
]a, b] = ba, para todos a, b R com a b. Segue da Proposicao 5.1.32
que e uma medida em S. O -anel A = B(R) gerado por S e precisamente
a -
algebra de Borel de R (veja Exerccio 5.9). Como e finita (e portanto
-finita), o Teorema 5.3.16 nos diz que estende-se de modo u
nico a uma
medida em B(R). Note que a medida de Lebesgue m : M(R) [0, +]
construda na Sec
ao 1.4 restrita ao -anel B(R) e uma medida em B(R) que
estende . Conclumos entao que a restricao da medida de Lebesgue m a
B(R) e precisamente a u
nica extensao da medida ao -anel B(R).
5.3.18. Exemplo. Sejam S o semi-anel constitudo pelos intervalos da
forma ]a, b], a, b R (veja (5.1.5)), F : R R uma fun
cao crescente e
contnua `
a direita e F : S [0, +] definida por F ]a, b] = F (b)F (a),
para todos a, b R com a b. Segue da Proposicao 5.1.32 que F e uma
medida em S. Como F e finita (e portanto -finita), o Teorema 5.3.16 nos
diz que F estende-se de modo u
nico a uma medida (tambem -finita) no
-anel A = B(R) gerado por S. Vamos denotar essa extensao de F tambem
por F . A medida F : B(R) [0, +] e chamada a medida de Lebesgue
Stieltjes associada `
a funcao crescente e contnua `a direita F : R R.
Note que se : B(R) [0, +] e uma medida arbitraria que seja finita
sobre intervalos limitados entao a Proposicao 5.1.16 nos diz que existe uma
func
ao crescente F : R R tal que F = |S ; a funcao F e u
nica, a
menos da possvel adic
ao de constantes. Como |S e uma medida -aditiva,
a Proposic
ao 5.1.32 nos diz que F e contnua `a direita. Temos portanto que
e a u
nica extens
ao de F : S [0, ] a B(R). Conclumos entao que toda
medida em B(R) que seja finita sobre intervalos limitados e a medida de
LebesgueStieltjes associada a alguma func
ao crescente e contnua `
a direita
F : R R; a funca
o F e u
nica, a menos da possvel adic
ao de constantes.
Note que se : S [0, +] e uma medida num semi-anel S entao
a extens
ao de que construmos esta definida num -anel M que pode ser
maior do que o -anel gerado por S. Por exemplo, se S e sao definidos como
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
178
ao An A, A An e da
k=1 (Ank ) (A) + n ; se An =
k=1 Ank ent
-subaditividade de vem:
(An )
(Ank ) =
Tomando E =
n=1 An
(Ank ) (A) +
k=1
k=1
1
.
n
entao E A, A E e:
1
,
n
(A Xk )
k=1
Ek = E;
k=1
alem do mais:
E\A
Ek \ (A Xk ) ,
k=1
e portanto:
(E \ A)
X
k=1
Ek \ (A Xk ) = 0.
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
179
em M tal que A
k
k=1 k
definic
ao de , se (Ak ) < + entao Ak esta contido numa uniao
enumer
avel de elementos de S de medida finita; logo A esta contido
numa uni
ao enumer
avel de elementos de S de medida finita.
5.3.22. Exemplo. Seja X um conjunto nao vazio. Considere o semianel S = {, X} e a medida : S [0, +] definida por () = 0 e
(X) = +. Temos que o -anel A gerado por S e igual a S e o -anel
facil ver que a medida
heredit
ario gerado por S e igual a H = (X). E
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
180
conjuntos -mensur
aveis e igual a (X). Esse exemplo ilustra a necessidade
da hip
otese de -finitude no item (b) do Lema 5.3.19.
5.3.1. Completamento de medidas. Seja : A [0, +] uma
perfeitamente possvel que exista um conjunto
medida num -anel A. E
A A com (A) = 0 tal que nem todo subconjunto de A esta em A.
o. Uma medida : A [0, +] num -anel A e dita
5.3.23. Definic
a
completa se para todo A A com (A) = 0 e para todo B A temos
B A.
o. Seja : H [0, +] uma medida exterior num
5.3.24. Proposic
a
-anel heredit
ario H. Se M denota a colec
ao dos conjuntos -mensur
aveis
ent
ao a medida |M e completa.
o. Segue diretamente do item (d) do Teorema 5.3.7.
Demonstrac
a
5.3.25. Lema. Seja : A [0, +] uma medida num -anel A. A
classe de conjuntos:
A = A N : A A e existe M A com N M e (M ) = 0
e um -anel que contem A e existe uma u
nica medida
: A [0, +] em
A que estende . A medida
e a menor extensao completa de , no sentido
que:
e uma medida completa;
se 0 : A0 [0, +] e uma medida completa num -anel A0 con.
tendo A e se 0 estende ent
ao A0 contem A e 0 estende
o. Evidentemente A A. Seja (Ak Nk )k1 uma seDemonstrac
a
q
uencia em A, onde para cada k 1, Ak A e existe Mk A com Nk Mk
e (Mk ) = 0. Temos:
[
[
[
Nk A,
(Ak Nk ) =
Ak
(5.3.17)
k=1
j
a que
k=1 Ak
A,
k=1
k=1 Nk
[
k=1
k=1 Mk
Mk
k=1
A e:
(Mk ) = 0.
k=1
Sejam A1 N1 , A2 N2 A, com A1 , A2 A, N1 M1 , N2 M2 ,
M1 , M2 A e (M1 ) = (M2 ) = 0. Se A = A1 \ (A2 M2 ) entao A A e:
A (A1 N1 ) \ (A2 N2 );
podemos ent
ao escrever:
(A1 N1 ) \ (A2 N2 ) = A N,
facil ver que N N1 M2 M1 M2 .
onde N = [(A1 N1 )\(A2 N2 )]\A. E
Como M1 M2 A e (M1 M2 ) = 0, segue que (A1 N1 ) \ (A2 N2 ) A.
5.3. MEDIDAS EXTERIORES E O TEOREMA DA EXTENSAO
181
(A N ) = (A),
[
(5.3.17) [
X
X
(Ak Nk )
=
Ak =
(Ak ) =
(Ak Nk ),
k=1
k=1
k=1
k=1
182
183
{0, 1, 2} = 2.
184
S2 = , {1}, {2}, {3}, {1, 2, 3} .
185
186
(a) Dados A S e S
> 0, mostrePque existe uma seq
uencia (An )n1
em S tal que A
A
e
(A
)
.
n
n=1 n
n=1
(b) Conclua que n
ao e uma medida -aditiva.
Exerccio 5.16. Seja X um espaco topologico Hausdorff e seja C uma
classe arbitr
aria de subconjuntos compactos de X. Mostre que C e uma
classe compacta.
Classes Monot
onicas e Classes -aditivas.
Exerccio 5.17.
(a) Se (Ei )iI e uma famlia nao vazia de T
classes monotonicas (resp., de
classes -aditivas), mostre que E = iI Ei tambem e uma classe
monot
onica (resp., uma classe -aditiva).
(b) Mostre que, fixada uma classe de conjuntos C, existe no m
aximo
uma classe monotonica (resp., classe -aditiva) E satisfazendo as
propriedades (1) e (2) que aparecem na Definicao 5.2.3.
(c) Seja C uma classe de conjuntos arbitraria e seja
S X um conjunto
tal que C (X) (por exemplo, tome X = AC A). Mostre
que a intersec
ao de todas as classes monotonicas (resp., classes aditivas) E (X) que contem C e uma classe monotonica (resp.,
classe -aditiva) que satisfaz as propriedades (1) e (2) que aparecem
na Definic
ao 5.2.3 (note que sempre existe ao menos uma classe
monot
onica (resp., classe -aditiva) E (X) contendo C, a saber,
(X)).
Exerccio 5.18. Sejam X um conjunto e A um anel (resp., um -anel).
Mostre que A|X e tambem um anel (resp., um -anel).
Exerccio 5.19. Seja : S [0, +] uma medida -finita num semianel S. Mostre que para todo X S, a medida |S|X tambem e -finita.
Exerccio 5.20. Seja C uma classe de conjuntos nao vazia. Mostre que
a colec
ao de conjuntos:
n
o
[
A : existe uma seq
uencia (Ak )k1 em C com A
Ak
k=1
187
(c) n
ao possui a propriedade do envelope mensuravel.
Exerccio 5.26. Seja : H [0, +] uma medida exterior num
-anel heredit
ario H. Mostre que as seguintes condicoes sao equivalentes:
(a) existe um semi-anel S e uma medida : S [0, +] tal que
H e o -anel hereditario gerado por S e e a medida exterior
determinada por ;
(b) possui a propriedade do envelope mensuravel;
(c) H e o -anel hereditario gerado por M e e a medida exterior determinada pela medida |M , onde M denota o -anel de conjuntos
-mensur
aveis.
Exerccio 5.27. Seja : H [0, +] uma medida exterior num
-anel heredit
ario H; suponha que possui a propriedade do envelope
188
mensur
avel. Se (Ak )k1 e uma seq
uencia em H com Ak % A, mostre que
(A) = limk (Ak ).
o 5.4. Seja : H [0, +] uma medida exterior num Definic
a
anel heredit
ario H. A medida interior determinada por e a aplicacao
: H [0, +] definida por:
(A) = sup (E) : E A e E e -mensuravel [0, +],
para todo A H.
Exerccio 5.28. Seja : H [0, +] uma medida exterior num anel heredit
ario H e seja : H [0, +] a medida interior determinada
por . Mostre que:
(a) para todo A H temos (A) (A);
(b) para todo A H existe um conjunto -mensuravel E contido em
A tal que (E) = (A);
(c) (A) = (A), para todo conjunto -mensuravel A;
(d) dados A, B H com A B entao (A) (B);
(e) dada uma seq
uencia (Ak )k1 de elementos dois a dois disjuntos de
H ent
ao:
X
[
(Ak );
Ak
k=1
k=1
(f) se
possui a propriedade do envelope mensuravel e se A H e
tal que (A) = (A) < + entao A e -mensuravel.
Completamento de Medidas.
Exerccio 5.29. Sejam : A [0, +] uma medida num -anel A,
189
CAPITULO 6
2 : (X Y, A B) (Y, B)
s
ao mensur
aveis;
se P e uma -
algebra de partes de X Y e se as projec
oes:
1 : (X Y, P) (X, A),
2 : (X Y, P) (Y, B)
s
ao mensur
aveis ent
ao A B P.
o. Para todo A A, temos:
Demonstrac
a
11 (A) = A Y A B A B,
donde 1 e mensur
avel se X Y e munido da -algebra produto. Similarmente, 2 e mensur
avel se X Y e munido da -algebra produto. Seja
agora P uma -
algebra de partes de X Y que torna as projecoes 1 e 2
ambas mensur
aveis. Da:
11 (A) 21 (B) = A B P,
190
6.1. PRODUTO DE -ALGEBRAS
191
No Exerccio 6.1 pedimos ao leitor para demonstrar que a propriedade constante do enunciado do Lema 6.1.3 caracteriza completamente a algebra produto.
6.1.4. Exemplo. Sejam (X, A), (Y, B) espacos mensuraveis. Se os produtos X Y e Y X s
ao munidos respectivamente das -algebras A B e
B A ent
ao segue do Lema 6.1.3 que a funcao:
: X Y 3 (x, y) 7 (y, x) Y X
e uma bijec
ao mensur
avel cuja aplicacao inversa 1 tambem e mensuravel.
De fato, as func
oes coordenadas de sao as projecoes do produto cartesiano X Y e as func
oes coordenadas de 1 sao as projecoes do produto
cartesiano Y X. Temos em particular que a bijecao induz uma bijecao:
A B 3 U 7 (U ) B A
da -
algebra A B sobre a -algebra B A.
6.1.5. Exemplo. Sejam (X, A), (Y, B) espacos mensuraveis. Fixado
x X ent
ao segue do Lema 6.1.3 que a funcao:
ix : (Y, B) 3 y 7 (x, y) (X Y, A B)
e mensur
avel; de fato, a primeira coordenada de ix e uma funcao constante
(veja Exerccio 2.1) e a segunda coordenada de ix e a aplicacao identidade.
Similarmente, fixado y Y , ve-se que a aplicacao:
iy : (X, A) 3 x 7 (x, y) (X Y, A B)
e mensur
avel.
6.1. PRODUTO DE -ALGEBRAS
192
6.1.6. Exemplo. Sejam (X, A), (Y, B), (Z, C) espacos mensuraveis. Seja
f : X Y Z uma func
ao mensuravel, onde X Y e munido da -algebra
produto A B. Temos que para todo x X a funcao:
Y 3 y 7 f (x, y) Z
(6.1.1)
e mensur
avel e para todo y Y a funcao:
X 3 x 7 f (x, y) Z
(6.1.2)
e mensur
avel. De fato, a funcao (6.1.1) e igual a f ix e a funcao (6.1.2) e
igual a f iy (veja Exemplo 6.1.5).
6.1.7. Exemplo. Identificando Rm Rn com Rm+n (veja (2.8.1)) entao
o produto da -
algebra de Borel de Rm pela -algebra de Borel de Rn
coincide com a -
algebra de Borel de Rm+n , ou seja:
B(Rm+n ) = B(Rm ) B(Rn ).
(6.1.3)
De fato, as projec
oes 1 : Rm+n Rm , 2 : Rm+n Rn sao contnuas
e portanto s
ao Borel mensuraveis, pelo Lema 2.1.15. Mais explicitamente,
temos que se Rm+n e munido da -algebra de Borel B(Rm+n ) entao 1 e 2
s
ao ambas mensur
aveis; segue entao do Lema 6.1.2 que:
B(Rm ) B(Rn ) B(Rm+n ).
Para mostrar a inclus
ao oposta, e suficiente mostrar que todo aberto U de
Rm+n pertence `
a -
algebra produto B(Rm ) B(Rn ). Temos que para todo
n
z U existem abertos Vz Rm , W
Sz R tais que z Vz Wz U . Alem
do mais, a cobertura aberta U = zU (Vz Wz ) possui uma subcobertura
enumer
avel, i.e., existe um subconjunto enumeravel E de U tal que:
[
U=
(Vz Wz ).
zE
B(Rm ),
B(Rn )
6.1. PRODUTO DE -ALGEBRAS
193
6.1.9. Exemplo. Sejam (X, A), (Y, B) espacos mensuraveis e C, D conjuntos de geradores para as -algebras A e B respectivamente. Em geral,
n
ao e verdade que C D e um conjunto de geradores para
pro a -algebra
c
duto A B. Por
exemplo, se X = Y = R, A = B = , [0, 1], [0, 1] , R e
C = D = [0, 1] ent
ao:
C D = [0, 1] [0, 1]
e a -
algebra gerada por C D e igual a:
c
(C D) = , [0, 1] [0, 1], [0, 1] [0, 1] , R2 .
No entanto, a -
algebra produto A B e igual a:
A B = , [0, 1] [0, 1], [0, 1] [0, 1]c , [0, 1] R, [0, 1]c [0, 1],
[0, 1]c [0, 1]c , [0, 1]c R, R [0, 1], R [0, 1]c ,
c
c
c
[0, 1] [0, 1] , [0, 1] [0, 1]c , [0, 1]c [0, 1] ,
R [0, 1] [0, 1] R ,
[0, 1] [0, 1] [0, 1]c [0, 1]c , [0, 1]c [0, 1] [0, 1] [0, 1]c , R2 .
Apesar do que vimos no Exemplo 6.1.9, temos o seguinte:
6.1.10. Lema. Sejam (X, A), (Y, B) espacos mensur
aveis e C, D conjuntos de geradores para as -
algebras A e B respectivamente. Suponha que
X e igual a uma uni
ao enumer
avel de elementos de C e que Y e igual a uma
uni
ao enumer
avel de elementos de D (esse e o caso, por exemplo, se X C
e Y D). Ent
ao C D e um conjunto de geradores para a -
algebra A B.
o. Seja P a -algebra gerada por C D. Como C D
Demonstrac
a
est
a contido em A B, temos que P A B. Pelo Lema 6.1.2, para provar
a inclus
ao oposta e suficiente verificar que as projecoes 1 : X Y X,
2 : X Y Y s
ao mensuraveis quando X Y e munido da -algebra P.
Para todo A C, temos:
11 (A) = A Y ;
por hip
otese,
S existe uma famlia enumeravel (Yi )iI de elementos de D tal
que Y = iI Yi . Da A Yi C D, para todo i I e:
[
11 (A) = A Y = (A Yi ) P.
iI
6.1. PRODUTO DE -ALGEBRAS
194
Em vista do Corol
ario 6.1.11, podemos escrever expressoes como:
A1 An
sem nos preocuparmos com a colocacao de parenteses.
rio. Sejam (X1 , A1 ), . . . , (Xn , An ) espacos mensur
6.1.12. Corola
aveis. Ent
ao A1 An coincide com a -
algebra gerada pela classe de
conjuntos:
A1 An = A1 An : Ai Ai , i = 1, . . . , n .
o. Segue facilmente do Lema 6.1.10 usando inducao.
Demonstrac
a
o. Dados conjuntos X, Y e um subconjunto U de X Y
6.1.13. Notac
a
ent
ao para todo x X n
os denotamos por Ux Y a fatia vertical de U
definida por:
(6.1.4)
Ux = y Y : (x, y) U
e para todo y Y n
os denotamos por U y X a fatia horizontal de U
definida por:
U y = x X : (x, y) U .
o. Se as aplicacoes ix : Y X Y e iy : X X Y
6.1.14. Observac
a
s
ao definidas como no Exemplo 6.1.5 entao:
Ux = i1
x (U ),
U y = (iy )1 (U ),
Temos o seguinte:
6.1.15. Lema. Sejam (X, A) um espaco mensur
avel e (Y, B, ) um espaco
de medida. Se U A B e se a medida e -finita ent
ao a func
ao (6.1.5)
e mensur
avel.
6.1. PRODUTO DE -ALGEBRAS
195
para todo x U .
Para ver que (6.1.6) contem A B, sejam A A, B B e U = A B;
temos:
(Ux ) = (B) A (x),
para todo x X. Logo (6.1.5) e mensuravel e U = A B esta em (6.1.6).
Isso completa a demonstracao do lema no caso em que a medida e finita.
Passemos ao caso geral. ComoSa medida e -finita, existe uma seq
uencia
Y
e
(Y
)
<
+,
para
todo
k
1;
(Yk )k1 em B tal que Y =
k
k
Sk1 k=1
substituindo Yk por Yk \ i=1 Yi para k 2, nos podemos supor que os
conjuntos (Yk )k1 s
ao dois a dois disjuntos S
(veja Exerccio 1.19). Da, para
todo U A B e todo x X temos Ux =
k=1 (Ux Yk ) e:
(6.1.7)
(Ux ) =
(Ux Yk ).
k=1
Mas Ux Yk = U (X Yk ) x , para todo x X e:
U (X Yk ) (A B)|XYk = A (B|Yk ),
onde na u
ltima igualdade usamos o Lema 6.1.8. Como a medida |B|Y e
k
finita, a primeira parte da demonstracao implica que a funcao:
X 3 x 7 U (X Yk ) x = (Ux Yk ) [0, +]
196
e mensur
avel para todo k 1; segue entao de (6.1.7) que a funcao (6.1.5) e
mensur
avel. Isso completa a demonstracao.
o. Se (X, A, ) e um espaco de medida, (Y, B) e um
6.1.16. Observac
a
espaco mensur
avel e se a medida e -finita entao evidentemente para todo
U A B temos que a funcao:
Y 3 y 7 (U y ) [0, +]
e mensur
avel. Isso pode ser demonstrado fazendo as modificacoes obvias na
demonstrac
ao do Lema 6.1.15 ou aplicando o resultado do Lema 6.1.15 ao
conjunto (U ) B A, onde e definida como no Exemplo 6.1.4.
6.2. Medidas Produto
Sejam (X, A, ), (Y, B, ) espacos de medida. Nos definimos uma aplicac
ao : A B [0, +] fazendo:
(6.2.1)
( )(A B) = (A)(B),
Z
(Ex ) d(x) = ( )(E);
X
X
k=1
(Exk ).
197
X
X
k
( )(E) =
(Ex ) d(x) =
(Ex ) d(x) =
( )(E k ).
X
k=1
k=1
Se (X, A, ), (Y, B, ) sao espacos de medida entao A B e um semianel (Lema 5.1.14) e o -anel gerado por A B coincide com a -algebra de
partes de X Y gerada por A B, ja que X Y A B (Exerccio 5.8).
Segue ent
ao do Teorema 5.3.16 que a medida em A B estende-se
a uma medida na -
algebra produto A B. Tal extensao nao e u
nica em
geral. No entanto, se as medidas e sao ambas -finitas
ent
a
o
a
Smedida
S
X
,
Y
=
em A B tambem e -finita; de fato, se X =
k=1 Yk
k=1 k
com Xk SA, YS
B,
(X
)
<
+
e
(Y
)
<
+
para
todo
k
1
entao
k
k
k
198
(Ak Bk ).
k=1
[
R=
(Ak Bk ).
k=1
Afirmamos que existe algum ndice i 1 tal que m(Ai ) > 0 e tal que o
conjunto Bi e infinito. De fato, caso contrario, teramos que para todo
i 1, m(Ai ) = 0 ou Bi e finito; mas isso implicaria que m(Ai Bi ) = 0,
para todo i 1 e portanto m(R) = 0, uma contradicao. Se i 1 e tal que
m(Ai ) > 0 e tal que Bi e infinito entao ( )(Ai Bi ) = + e a fortiori:
X
( )(Ak Bk ) = +.
k=1
) ()
m(E ) =
m(Eky ).
k=1
Da:
(E) =
m(E y ) =
yR
XX
m(Eky ) =
yR k=1
X
X
k=1 yR
m(Eky ) =
(Ek ).
k=1
m {y} = 0.
yR
Da e (
.
) |
AB
s
ao duas medidas distintas em A B que estendem
199
X Y =
(Xk Yl ),
k=1 l=1
200
Em vista do Corol
ario 6.2.6, podemos escrever expressoes como:
1 n
sem nos preocupar com a colocacao de parenteses. No Exerccio 6.5 nos
pedimos ao leitor para demonstrar uma versao do Lema 6.2.4 para o caso
de um produto de um n
umero finito arbitrario de medidas.
o. Sejam (X, A, ), (Y, B, ) espacos de medida com
6.2.7. Observac
a
e -finitas e sejam X0 A, Y0 B. As medidas |A|X0 e |B|Y0 tambem
s
ao -finitas (veja Exerccio 5.19) e a medida produto (|A|X0 ) (|B|Y0 )
coincide com a restric
ao a (A B)|X0 Y0 de . De fato, o Lema 6.1.8
nos diz que:
(A|X0 ) (B|Y0 ) = (A B)|X0 Y0
e obviamente a restric
ao de a (AB)|X0 Y0 e uma medida que avaliada
em A B d
a (A)(B), para todo A A|X0 e todo B B|Y0 .
6.2.8. Exemplo. Se denota a restricao `a B(Rm ) da medida de Lebesgue de Rm e denota a restricao `a B(Rn ) da medida de Lebesgue de Rn
ent
ao e igual `
a restricao `a B(Rm+n ) da medida de Lebesgue de Rm+n .
De fato, vimos no Exemplo 6.1.7 que B(Rm+n ) = B(Rm )B(Rn ); o fato que
e exatamente a restricao da medida de Lebesgue segue do Lema 6.2.4,
tomando X = Rm , A = B(Rm ), Y = Rn , B = B(Rn ), C como sendo a
classe dos blocos retangulares m-dimensionais, D como sendo a classe dos
blocos retangulares n-dimensionais e como sendo a restricao a B(Rm+n )
da medida de Lebesgue de Rm+n (tenha em mente que, pelo Lema 1.4.23,
a -
algebra de Borel e gerada pelos blocos retangulares).
Em vista do Exemplo 6.2.8 e do resultado do Exerccio 1.17, vemos que
poderamos definir a medida de Lebesgue em Rn como sendo o completamento do produto de n c
opias da restricao a B(R) da medida de Lebesgue
de R. Podemos ent
ao definir a medida de Lebesgue em Rn sem usar a teoria
desenvolvida no Captulo 1.
Uma pergunta natural agora seria: que resultado obtemos se fizermos
o produto da medida de Lebesgue de Rm pela medida de Lebesgue de Rn
(sem tomar restric
oes `
as -algebras de Borel)? A resposta e que nesse caso
obtemos a restric
ao da medida de Lebesgue a uma -algebra intermediaria
entre B(Rm+n ) e M(Rm+n ) (veja Lema 6.4.1).
Vejamos agora como a medida produto pode ser escrita usando
uma integral.
201
(Uxk ),
k=1
X
X
(E) =
(Ex ) d(x) =
(Exk ) d(x) =
(E k ).
X
k=1
k=1
( )(U ) =
Y
202
Z
X0
f (x, y) =
k
X
ci Ai (y),
x
i=1
Z X
k
f (x, y) d(y) d(x) =
ci (Aix ) d(x)
X i=1
k
X
i=1
Z
ci
(Aix ) d(x) =
k
X
ci ( )(Ai )
i=1
Z
f (x, y) d( )(x, y).
=
XY
Z
f (x, y) d(y) = lim
k Y
fk (x, y) d(y),
203
R
para todo x X. Logo a funcao x 7 Y f (x, y) d(y) e mensuravel e,
usando novamente o Teorema da Convergencia Monotonica, obtemos:
Z Z
Z Z
fk (x, y) d(y) d(x)
f (x, y) d(y) d(x) = lim
k X
Y
X
Y
Z
Z
f (x, y) d( )(x, y).
fk (x, y) d( )(x, y) =
= lim
k XY
XY
(6.3.3)
f (x, y) d(y) d(x) =
f (x, y) d( )(x, y).
X
XY
204
205
XY
Temos X \ X0 (X \ X1 ) N e (X \ X1 ) N = 0; portanto, como e
completa, X \ X0 e X0 s
ao mensuraveis e (X \ X0 ) = 0. Seja:
R = (X0 X1 ) \ N ;
temos X \ R (X \ X0 ) (X \ X1 ) N , donde (R) = 0. Da (veja
Corol
ario 2.4.11):
Z Z
Z Z
(6.4.3)
g(x, y) d(y) d(x) =
g(x, y) d(y) d(x)
X1
R
Z YZ
Z Y Z
(6.4.1)
=
f (x, y) d(y) d(x) =
f (x, y) d(y) d(x).
R
X0
A conclus
ao segue de (6.4.2) e (6.4.3), observando que:
Z
Z
g(x, y) d( )(x, y) =
g(x, y) d( )(x, y)
XY
XY
Z
=
f (x, y) d( )(x, y),
XY
onde na primeira igualdade usamos o resultado do Exerccio 2.17 e na segunda usamos o Corol
ario 2.4.13.
206
Produto de -Algebras.
Exerccio 6.1. Sejam (X, A), (Y, B) espacos mensuraveis e seja P uma
-
algebra de partes de X Y . Mostre que as seguintes condicoes sao equivalentes:
(a) P = A B;
(b) para todo espaco mensuravel (Z, C) e toda funcao f : Z X Y
com func
oes coordenadas f1 : Z X, f2 : Z Y , temos que
f : Z (X Y, P) e mensuravel se e somente se f1 e f2 sao ambas
mensur
aveis.
207
CAPITULO 7
208
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 Rn contendo
A. Logo m (A) e uma conta inferior do conjunto m(U ) : U A aberto . Para ver que m (A) e a maior cota inferior
desse conjunto, devemos mostrar que para todo > 0 existe U A aberto
com m(U ) m (A)+. Mas esse e precisamente o resultado do Lema 1.4.12.
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 Rn
contendo A + x e (U + x) \ (A
+ x) = (U \ A) + x. Logo, pelo Lema 1.4.10,
temos m (U + x) \ (A + x) = m (U \ A) < .
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) .
209
210
(c) Se A e mensur
avel entao para todo > 0 existe um aberto U Rn
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
211
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.
212
B
.
Obviamente,
A
=
Vamos mostrar que
k
k
k
k=1 Ak .
k=1
k=1
k=1
S
Por outro lado, se x k=1 Ak , seja k 1 o menor inteiro tal que x Ak ;
S
B .
da x Ak e x 6 k1
i=0 Ai , de modo que, x
Sk1 k
Exerccio 1.20. Sejam Bk = Ak \ i=0 Ai , para todo k 1, onde
A0 = . Note que Bk Ak e Bk A para todo k 1. Pelo resultado do
Exerccio 1.19, os conjuntos (Bk )k1 sao dois a dois disjuntos e:
Ak =
k=1
Bk .
k=1
Da:
(A.1.6)
[
k=1
[
X
X
Ak =
Bk =
(Bk )
(Ak ).
k=1
k=1
k=1
k1
[
i=0
(Ai Ak );
213
k1
X
(Ai Ak ) = (Bk ),
i=0
A
para
todo
k
1
e
todo
i
I, de
i
k
S
S
A
A.
A
A
para
todo
i
I
e
portanto
modo que
i
k
k
k=1
k=1
(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
de X que contem C e como 2 [C] satisfaz a propriedade (2), temos
que 2 [C] 1 [C]. De modo similar mostra-se que 1 [C] 2 [C].
(c) Seja [C] a intersecao de todas as -algebras de partes de X que
contem C; pelo resultado do item (a), [C] e uma -algebra de
partes de X e obviamente C [C], ja que [C] e a intersecao de
uma colec
ao de conjuntos que contem C. Alem do mais, se A e uma
-
algebra de partes de X que contem C entao A e um dos membros
da colec
ao cuja intersecao resultou em [C]; logo [C] A.
Exerccio 1.23. Como [C2 ] e uma -algebra de partes de X que contem
C1 e como [C1 ] satisfaz a propriedade (2) que aparece na Definicao 1.4.35
temos que [C1 ] [C2 ]. Similarmente, C2 [C1 ] implica que [C2 ] [C1 ].
Exerccio 1.24. A -
algebra de Borel de Rn e uma -algebra de parn
tes de R que contem os abertos de Rn . Logo todo aberto de Rn e toda
intersec
ao enumer
avel de abertos de Rn pertence `a -algebra de Borel de
n
R (veja Lema 1.4.37). Como todo fechado e complementar de um aberto,
segue que os fechados de Rn e as unioes enumeraveis de fechados de Rn
pertencem `
a -
algebra de Borel de Rn .
Exerccio 1.25. Seja A a -algebra gerada pelos intervalos da forma
]a, b], com a < b, a, b R. Como a -algebra de Borel B(R) e a -algebra
gerada pelos abertos de R, o resultado do Exerccio 1.23 nos diz que, para
mostrar que A = B(R), e suficiente mostrar as seguintes afirmacoes:
(i) todo intervalo da forma ]a, b] e um Boreleano de R;
(ii) todo aberto de R pertence a A.
A afirmac
ao (i) e trivial, j
a que ]a, b] = ]a, b[ {b}, onde ]a, b[ e um subconjunto aberto de R e {b} e um subconjunto fechado de R. Para mostrar a
afirmac
ao (ii), observe que o Lema 1.4.23 implica que todo aberto de R e
214
uma uni
ao enumer
avel de intervalos compactos; e suficiente mostrar entao
que [a, b] A, para todos a, b R com a b. Mas isso segue da igualdade:
[a, b] =
\
a k1 , b .
k=1
[
[
A
Qk , B
Q0l
k=1
l=1
e tais que:
X
|Qk | < m (A) + ,
k=1
l=1
m (A B)
X
k,l1
|Qk
Q0l |
X
k,l1
|Qk | |Q0l |
X
k=1
X
|Qk |
|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
215
(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 Rm e V Rn 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 Rm+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 Rm , V Rn sao abertos entao:
(A.1.7)
216
|Qk
k,l1
Q0l |
|Qk | |Q0l |
k,l1
X
X
|Qk |
|Q0l |
k=1
l=1
= m(U )m(V ).
Isso prova (A.1.7). Dados agora A Rm , B Rn mensuraveis
com m(A) < + e m(B) < + podemos, como no item (b), obter
abertos U Rm , V Rn contendo A e B respectivamente de
modo que:
m (U V ) \ (A B) < .
Como os conjuntos U V e A B sao mensuraveis e, pelo item
(a), m(A B) m(A)m(B) < +, obtemos:
m (U V ) \ (A B) = m(U V ) m(A B),
e portanto m(U V ) m(A B) < . Usando agora (A.1.7)
conclumos que:
m(A B) > m(U V ) = m(U )m(V ) m(A)m(B) ;
fazendo 0, obtemos m(A B) m(A)m(B). Provamos entao a
igualdade m(A B) = m(A)m(B), ja que a desigualdade oposta ja
foi provada no item (a). Sejam agora A Rm , B Rn conjuntos
mensur
aveis arbitrarios e defina:
Ak = A [k, k]m ,
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.
Exerccio 1.28. Se K A e compacto entao m(K) = m (K) m (A),
pelo Lema 1.4.4. Logo m (A) e uma cota superior do conjunto:
m(K) : K A compacto
e portanto e maior ou igual ao seu supremo, que e m (A).
Exerccio 1.29. Observe que:
m(K) : K A1 compacto m(K) : K A2 compacto
e portanto:
m (A1 ) = sup m(K) : K A1 compacto
sup m(K) : K A2 compacto = m (A2 ).
217
X
[
X
m
Wk =
m(Wk ) =
m (Ak ).
k=1
k=1
k=1
S
Mas k=1 Wk e um subconjunto mensuravel de
k=1 Ak e portanto o Corol
ario 1.4.59 nos d
a:
[
[
X
m
Ak m
Wk =
m (Ak ).
k=1
k=1
k=1
Exerccio 1.33. O resultado do Exerccio 1.29 implica que m (Ak ) k1
e uma seq
uencia decrescente e que m (Ak ) m (A), para todo k 1; logo
m (Ak ) k1 e convergente e:
lim m (Ak ) m (A).
218
\
\
Vk
Ak = A.
k=1
k=1
Como m(Vk ) = m (Ak ) < + para algum k 1, o Lema 1.4.48 nos da:
\
lim m(Vk ) = m
Vk m (A),
k
k=1
e portanto:
lim m (Ak ) m (A).
[
[
A0k =
Ak Y
k=1
k=1
Y \ A0 = Y \ (A Y ) = (X \ A) Y.
Como X \ A est
a em A, segue que Y \ A0 A|Y .
Exerccio 2.3. Pelo resultado do 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 est
a 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.4. De acordo com a definicao da -algebra de Borel de R,
se A B(R) ent
ao A R B(R); logo B(R)|R B(R). Por outro lado, se
219
A B(R) ent
ao tambem A B(R) (ja que A R = A e um Boreleano de
R) e portanto A R = A B(R)|R .
Exerccio 2.5. Seja C a colecao formada pelos intervalos da forma
[, c], c R. Claramente C B(R) e portanto [C] B(R). Vamos
mostrar ent
ao que B(R) [C]. Em primeiro lugar, afirmamos que:
(A.2.1)
(A.2.2)
R [C].
[, k],
k=1
{+} =
[, k]c ,
k=1
{+, }c .
Note que:
[C]|R = B(R).
Seja A B(R), de modo que A R B(R). Por (A.2.3), temos que existe
A0 [C] tal que A R = A0 R. Da (A.2.2) implica que A R [C].
Finalmente, (A.2.1) implica que A {+, } [C], o que prova que
A = (A R) A {+, } [C].
Exerccio 2.6. Pelo Corolario 2.1.18, a funcao
h : f 1 (R) g 1 (R) R
definida por h(x) = f (x) g(x) e mensuravel. Logo o conjunto:
h1 (0) = x f 1 (R) g 1 (R) : f (x) = g(x)
e mensur
avel. A conclus
ao segue da igualdade:
x X : f (x) = g(x) = f 1 (+)g 1 (+) f 1 ()g 1 ()
x f 1 (R) g 1 (R) : f (x) = g(x) .
Exerccio 2.7. Vamos usar o Lema 2.1.13. Temos que os conjuntos:
(A.2.4a)
(x, y) R2 : y 1 ,
(A.2.4b)
(x, y) R2 : 1 < y < 1 ,
(A.2.4c)
(x, y) R2 : y 1 ,
suficiente
constituem uma cobertura enumeravel de R2 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
220
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
igual `
a composic
ao da funcao contnua (x, y) 7 x + y com a funcao Borel
mensur
avel Q .
Exerccio 2.8.
(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.9. Devemos mostrar que se A e um subconjunto Lebesgue
mensur
avel de Rm ent
ao 1 (A) e um subconjunto Lebesgue mensuravel de
m+n
1
R
. Mas (A) = A Rn e portanto a conclusao segue do resultado do
item (b) do Exerccio 1.27.
Exerccio 2.10. Considere a funcao : X Rn Rn definida por
(x, y) = y f (x), para todos x X, y Rn . Obviamente:
gr(f ) = 1 (0).
Considere a projec
ao : Rm+n Rm nas primeiras m coordenadas. Temos
que e contnua e portanto Borel mensuravel; da X Rn = 1 (X) e Boreleano, caso X seja Boreleano. Alem do mais, pelo resultado do Exerccio 2.9,
X Rn e Lebesgue mensur
avel, 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 Rn com f . A conclusao segue do resultado do Exerccio 2.9.
Exerccio 2.11.
(a) Se f e integr
avel entao, por definicao, f + e f sao integraveis, don+
de |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.
221
(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.12. 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.14.
(a) Se a func
ao f e nao negativa, a afirmacao segue do resultado do
Exerccio 2.13. 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.13 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
Refer
encias Bibliogr
aficas
[1] E. Mendelson, Introduction to mathematical logic, Chapman & Hall, London, 1997,
x+440 pgs.
222
LISTA DE SMBOLOS
223
Lista de Smbolos
+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
A + x . . . . . . . . . . . . . . . . . . . . . . . 6, 12
A 4 B . . . . . . . . . . . . . . . . . . . . . . . . 35
A . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Ak % A . . . . . . . . . . . . . . . . . . . . . . . 22
Ak & A . . . . . . . . . . . . . . . . . . . . . . . 22
Ax . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
C(A, p) . . . . . . . . . . . . . . . . . . . . . . 110
C(X, K) . . . . . . . . . . . . . . . . . . . . . 113
D . . . . . . . . . . . . . . . . . . . . . . . 35, 101
E/S . . . . . . . . . . . . . . . . . . . . . . . . . 140
E|R . . . . . . . . . . . . . . . . . . . . . . . . . . 140
E . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
F (a+ ) . . . . . . . . . . . . . . . . . . . . . . . . 157
G(Rn , S) . . . . . . . . . . . . . . . . . . . . . . 32
I() . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Li,j;c . . . . . . . . . . . . . . . . . . . . . . . . . 100
S(f ; P ). . . . . . . . . . . . . . . . . . . . . . . .66
S . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
U y . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
Ux . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
[x, y] . . . . . . . . . . . . . . . . . . . . . . . . . 109
B(Rn ) . . . . . . . . . . . . . . . . . . . . . . . . . 19
B(R) . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Bd(X, K) . . . . . . . . . . . . . . . . . . . . 113
Cb (X, K). . . . . . . . . . . . . . . . . . . . .113
X . . . . . . . . . . . . . . . . . . . . . . . . . . 208
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
dim(V ). . . . . . . . . . . . . . . . . . . . . . . .99
gr(f ) . . . . . . . . . . . . . . . . . . . . . . . . . . 90
= . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
int(A) . . . . . . . . . . . . . . . . . . . . . . . . . 12
K . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
KX . . . . . . . . . . . . . . . . . . . . . . . . . . 113
M(Rn ) . . . . . . . . . . . . . . . . . . . . . . . 21
Lin(E, F ) . . . . . . . . . . . . . . . . . . . . 120
N . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
Q .............................. 6
R .............................. 1
< . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
kP k . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
v (x) . . . . . . . . . . . . . . . . . . . . . . . . 108
inf
R ............................. 2
fR d . . . . . . . . . . . . . . . . . . . . . . . . . 91
(R)
f . . . . . . . . . . . . . . . . . . . . . . . . . 68
Rb
(R)
R a f . . . . . . . . . . . . . . . . . . . . . . . . 71
RX f (x) d(x) . . . . . . . . . . 50, 55, 58
f d . . . . . . . . . . . . . . . . 50, 55, 57
RXb
f (x) dm(x) . . . . . . . . . . . . . . . . . 58
Rab
f dm . . . . . . . . . . . . . . . . . . . . . . . 58
Ra+
f (x) dm(x) . . . . . . . . . . . . . . . 58
Ra+
a R f dm . . . . . . . . . . . . . . . . . . . . . 58
(R)
f . . . . . . . . . . . . . . . . . . . . . . . . 68
R
(R)
f . . . . . . . . . . . .. . . . . . . . . . . . 68
I, (i )ni=1 ; (i )ni=1 . . . . . . . . . . . 26
h, i . . . . . . . . . . . . . . . . . . . . . . . . . . 113
m(A) . . . . . . . . . . . . . . . . . . . . . . . . . . 21
m (A) . . . . . . . . . . . . . . . . . . . . . . . . . 10
m (A) . . . . . . . . . . . . . . . . . . . . . . . . . 24
]x, y[ . . . . . . . . . . . . . . . . . . . . . . . . . 109
limk ak . . . . . . . . . . . . . . . . . . . . . . 4
lim inf k ak . . . . . . . . . . . . . . . . . . .4
lim supk ak . . . . . . . . . . . . . . . . . . 4
A B . . . . . . . . . . . . . . . . . . . . . . . . 190
A|Y . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
C(A) . . . . . . . . . . . . . . . . . . . . . . . . . . 10
C|X . . . . . . . . . . . . . . . . . . . . . . . . . . 167
C1 C2 . . . . . . . . . . . . . . . . . . . . . . . 149
C (A) . . . . . . . . . . . . . . . . . . . . . . . . 175
I(f ) . . . . . . . . . . . . . . . . . . . . . . . . . . 54
LISTA DE SMBOLOS
Lp (X, A, ; K) . . . . . . . . . . . . . . . 125
. . . . . . . . . . . . . . . . . . . . . . . . 197
F . . . . . . . . . . . . . . . . . . . . . . 150, 177
P .............................. 8
R .............................. 1
A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
. . . . . . . . . . . . . . . . . . . . . . . . . . . 91
[C] . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
sup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
|B| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
|E| . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
b . . . . . . . . . . . . . . . . . . . . . . . . . 35, 101
(X) . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
ak a . . . . . . . . . . . . . . . . . . . . . . . . . 3
d(A, B) . . . . . . . . . . . . . . . . . . . . . . . 14
d(x, A) . . . . . . . . . . . . . . . . . . . . . . . . 13
d(x, y) . . . . . . . . . . . . . . . . . . . . 13, 112
d (x, y) . . . . . . . . . . . . . . . . . . . . . . . 97
f g . . . . . . . . . . . . . . . . . . . . . . . . . 53
f + . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
f . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
fk % f . . . . . . . . . . . . . . . . . . . . . . . . 49
fk & f . . . . . . . . . . . . . . . . . . . . . . . . 49
u
fn f . . . . . . . . . . . . . . . . . . . . . . . 74
u
fn f q. s. . . . . . . . . . . . . . . . . . . 75
fn f . . . . . . . . . . . . . . . . . . . . . . . 77
qu
fn f . . . . . . . . . . . . . . . . . . . . . . 75
fn f . . . . . . . . . . . . . . . . . . . . . . . . 63
fn f q. s. . . . . . . . . . . . . . . . . . . . 63
iy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
ix . . . . . . . . . . . . . . . . . . . . . . . . 81, 191
s(f ; P ) . . . . . . . . . . . . . . . . . . . . . . . . 66
224
INDICE REMISSIVO
225
Indice Remissivo
A
aberta
aplicac
ao. . . . . . . . . . . . . . . . .110
afim
func
ao . . . . . . . . . . . . . . . . . . . 133
algebra . . . . . . . . . . . . . . . . . . . . . . . . 18
gerada por uma colec
ao
de conjuntos . . . . . . . . . 153
anel . . . . . . . . . . . . . . . . . . . . . . . . . . 147
gerado por uma colec
ao
de conjuntos . . . . . . . . . 153
angular
coeficiente . . . . . . . . . . . . . . . 131
anti-reflexividade . . . . . . . . . . 1, 184
aplicac
ao
aberta . . . . . . . . . . . . . . . . . . . 110
de Riesz . . . . . . . . . . . . . . . . . 124
linear-conjugada . . . . . . . . . 122
aplicac
ao linear
elementar . . . . . . . . . . . . . . . . 100
limitada . . . . . . . . . . . . . . . . . 120
norma de . . . . . . . . . . . . . . . . 121
aplicac
ao linear-conjugada
limitada . . . . . . . . . . . . . . . . . 122
norma de . . . . . . . . . . . . . . . . 122
area . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
aresta
de um cubo . . . . . . . . . . . . . . . 15
associatividade . . . . . . . . . . . . . . . . . 2
B
Baire
teorema de . . . . . . . . . . . . . . . . 38
Banach
espaco de . . . . . . . . . . . . . . . . 113
bloco retangular . . . . . . . . . . . . . . . . 8
volume de . . . . . . . . . . . . . . . . . . 8
Borel
-
algebra de . . . . . . . . . . . . . . 19
de R . . . . . . . . . . . . . . . . . . . . 40
Borel mensur
avel
func
ao . . . . . . . . . . . . . . . . . . . . 41
Boreleano . . . . . . . . . . . . . . . . . . . . . 19
em R . . . . . . . . . . . . . . . . . . . . . 40
C
cadeia
regra da . . . . . . . . . . . . . . . . . 108
caminho . . . . . . . . . . . . . . . . . . . . . . . 31
Cantor
conjunto de . . . . . . . . . . . . . . . 27
conjunto ternario de . . . . . . . 38
Caratheodory . . . . . . . . . . . . . . . . . 23
CauchySchwarz
desigualdade de . . . . . . . . . . 114
Cayley
grafo de . . . . . . . . . . . . . . . . . . . 32
circuito . . . . . . . . . . . . . . . . . . . . . . . 31
classe . . . . . . . . . . . . . . . . . . . . . . . . 144
compacta . . . . . . . . . . . . . . . . 158
criterio da . . . . . . . . . . . . . 159
fechada
por intersecoes finitas . . 164
por unioes finitas . . . . . . 146
monotonica . . . . . . . . . . . . . . 162
gerada por uma colecao
de conjuntos . . . . . . . . . 163
lema da . . . . . . . . . . . . . . . . 163
-aditiva . . . . . . . . . . . . . . . . . 163
gerada por uma colecao
de conjuntos . . . . . . . . . 163
lema da . . . . . . . . . . . . . . . . 164
classe C 1
funcao de . . . . . . . . . . . . . . . . 108
coeficiente
angular . . . . . . . . . . . . . . . . . . 131
coenumeravel
subconjunto . . . . . . . . . . . . . . 189
colorimento . . . . . . . . . . . . . . . . . . . 31
compacta
classe de conjuntos . . . . . . . 158
criterio da classe . . . . . . . . . 159
complemento
ortogonal . . . . . . . . . . . . . . . . 117
INDICE REMISSIVO
completa
medida . . . . . . . . . . . . . . . . . . 180
completamento
de um espaco de medida . 181
de uma medida . . . . . . . . . . 181
componente conexa
de um grafo . . . . . . . . . . . . . . . 31
comprimento
de um caminho. . . . . . . . . . . .31
de um intervalo . . . . . . . . . . . . 8
comutatividade . . . . . . . . . . . . . . . . . 3
cone . . . . . . . . . . . . . . . . . . . . . . . . . 110
conjugada
linear . . . . . . . . . . . . . . . . . . . . 122
conjugado
de um espaco vetorial . . . . 142
conjunto
Boreleano . . . . . . . . . . . . . . . . . 19
em R . . . . . . . . . . . . . . . . . . . 40
coenumer
avel . . . . . . . . . . . . 189
convexo . . . . . . . . . . . . . . . . . . 109
das diferencas . . . . . . . . . . . . . 30
de Cantor . . . . . . . . . . . . . . . . . 27
tern
ario . . . . . . . . . . . . . . . . . 38
de geradores
para um anel . . . . . . . . . . 153
para um -anel . . . . . . . . 153
para um -anel hereditario
174
para uma
algebra . . . . . . 153
para uma classe
monot
onica . . . . . . . . . . 163
para uma classe
-aditiva . . . . . . . . . . . . . 163
para uma -
algebra . . . . . 19
de tipo F . . . . . . . . . . . . . . . . 17
de tipo G . . . . . . . . . . . . . . . . 17
escolha . . . . . . . . . . . . . . . . . . . . . 7
magro . . . . . . . . . . . . . . . . . . . . . 38
mensur
avel . . . . . . . . . . . . 13, 21
com respeito `
a uma medida
exterior . . . . . . . . . . . . . . 170
-mensur
avel . . . . . . . . . . . 170
-finito . . . . . . . . . . . . . . . . . . 166
totalmente ordenado . . . . . 184
226
constante
de Lipschitz . . . . . . . . . . . . . . . 97
continuidade
`a direita . . . . . . . . . . . . . . . . . 157
convergencia
em medida . . . . . . . . . . . . . . . . 77
em R . . . . . . . . . . . . . . . . . . . . . . 3
pontual. . . . . . . . . . . . . . . .63, 74
quase sempre (q. s.). .64, 75
quase uniforme . . . . . . . . . . . . 75
uniforme . . . . . . . . . . . . . . 74, 93
quase sempre (q. s.) . . . . . 75
convergencia dominada
teorema da . . . . . . . . . . . . . . . . 64
convergencia monotonica
teorema da . . . . . . . . . . . . 55, 62
convexa
funcao . . . . . . . . . . . . . . . . . . . 131
convexo
conjunto . . . . . . . . . . . . . . . . . 109
crescente
funcao . . . . . . . . . . . . . . 150, 185
seq
uencia. . . . . . . . . . . . . . . . . . .4
criterio
da classe compacta . . . . . . . 159
cubo
n-dimensional . . . . . . . . . . . . . 15
D
decrescente
funcao . . . . . . . . . . . . . . 150, 185
seq
uencia. . . . . . . . . . . . . . . . . . .4
derivada
`a direita . . . . . . . . . . . . . . . . . 134
`a esquerda . . . . . . . . . . . . . . . 134
desigualdade
de Holder . . . . . . . . . . . . . . . . 126
de Minkowski . . . . . . . . . . . . 126
do valor medio . . . . . . . . . . . 109
entre as medias . . . . . . . . . . 128
desigualdade de
CauchySchwarz . . . . . . . . . 114
determinante . . . . . . . . . . . . . . . . . 100
diagonal . . . . . . . . . . . . . . . . . . . . . 208
difeomorfismo . . . . . . . . . . . . . . . . 109
INDICE REMISSIVO
diferenca pr
opria . . . . . . . . . . . . . 146
diferenca simetrica . . . . . . . . . . . . 35
diferencas
conjunto das . . . . . . . . . . . . . . 30
diferencial
de uma func
ao . . . . . . . . . . . 108
diferenci
avel
func
ao . . . . . . . . . . . . . . . . . . . 108
dist
ancia
entre conjuntos. . . . . . . . . . . .14
entre ponto e conjunto . . . . 13
Euclideana . . . . . . . . . . . . . . . . 13
dual
espaco . . . . . . . . . . . . . . . . . . . 123
E
Egoroff
teorema de . . . . . . . . . . . . . . . . 76
elementar
aplicac
ao linear . . . . . . . . . . 100
transformac
ao. . . . . . . . . . . .101
elemento neutro . . . . . . . . . . . . . . . . 3
envelope mensur
avel . . . . . . 22, 187
propriedade do . . . . . . . . . . . 187
escalonamento . . . . . . . . . . . . . . . 101
espaco
de Banach . . . . . . . . . . . . . . . 113
de Hilbert. . . . . . . . . . . . . . . .115
de medida. . . . . . . . . . . . . . . . .21
completamento de . . . . . 181
produto . . . . . . . . . . . . . . . . 197
dual . . . . . . . . . . . . . . . . . . . . . 123
mensur
avel . . . . . . . . . . . . 21, 40
produto . . . . . . . . . . . . . . . . 190
subespaco de . . . . . . . . . . . . 43
normado . . . . . . . . . . . . . . . . . 112
pre-Hilbertiano. . . . . . . . . . .115
espaco vetorial
conjugado . . . . . . . . . . . . . . . . 142
normado . . . . . . . . . . . . . . . . . 112
quociente . . . . . . . . . . . . . . . . 140
estritamente convexa
func
ao . . . . . . . . . . . . . . . . . . . 131
estritamente crescente
func
ao . . . . . . . . . . . . . . . . . . . 150
227
estritamente decrescente
funcao . . . . . . . . . . . . . . . . . . . 150
extensao
teorema da. . . . . . . . . . . . . . .177
F
fatia
horizontal . . . . . . . . . . . . . . . . 194
vertical . . . . . . . . . . . . . . . 81, 194
Fatou
lema de . . . . . . . . . . . . . . . . . . . 63
fechada
por intersecoes finitas . . . . 164
por unioes finitas. . . . . . . . .146
finitamente aditiva
medida . . . . . . . . . . . . . . . . . . 144
finito . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
formula
de polarizacao . . . . . . . . . . . 141
Fubini
teorema de . . . . . . . . . . . . . . . . 85
abstrato . . . . . . . . . . . . . . . 201
para o completamento . 204
funcao
afim . . . . . . . . . . . . . . . . . . . . . 133
Borel mensuravel . . . . . . . . . . 41
caracterstica . . . . . . . . . . . . . . 48
contnua
`a direita . . . . . . . . . . . . . . . 157
convexa . . . . . . . . . . . . . . . . . . 131
estritamente . . . . . . . . . . . 131
crescente . . . . . . . . . . . . 150, 185
estritamente . . . . . . . . . . . 150
de classe C 1 . . . . . . . . . . . . . .108
decrescente . . . . . . . . . . 150, 185
estritamente . . . . . . . . . . . 150
diferenciavel . . . . . . . . . . . . . 108
estritamente crescente . . . . . 38
grafico de . . . . . . . . . . . . . . . . . 90
integravel . . . . . . . . . . . . . . . . . 57
Lipschitziana . . . . . . . . . . . . . . 97
localmente Lipschitziana . . 99
mensuravel . . . . . . . . . . . . . . . . 40
a valores em Rn ou R . . . 41
definida em Rn . . . . . . . . . .41
INDICE REMISSIVO
228
INDICE REMISSIVO
mensur
avel . . . . . . . . . . . . . . . . 13
quase integr
avel . . . . . . . . . . . 58
LebesgueStieltjes
medida de . . . . . . . . . . . . . . . 177
lema
da classe monot
onica . . . . . 163
da classe -aditiva . . . . . . . 164
de Fatou . . . . . . . . . . . . . . . . . . 63
limitada
aplicac
ao linear . . . . . . . . . . 120
aplicac
ao linear-conjugada122
limitado
funcional linear . . . . . . . . . . 123
limite
a direita . . . . . . . . . . . . . . . . . 157
`
em R . . . . . . . . . . . . . . . . . . . . . . 4
inferior . . . . . . . . . . . . . . . . . . . . . 4
superior . . . . . . . . . . . . . . . . . . . . 4
linear
aplicac
ao
norma de . . . . . . . . . . . . . . 121
aplicac
ao limitada . . . . . . . . 120
funcional . . . . . . . . . . . . . . . . . 123
linear-conjugada
aplicac
ao. . . . . . . . . . . . . . . . .122
norma de . . . . . . . . . . . . . . 122
aplicac
ao limitada . . . . . . . . 122
Lipschitz
constante de . . . . . . . . . . . . . . 97
Lipschitziana
func
ao . . . . . . . . . . . . . . . . . . . . 97
localmente . . . . . . . . . . . . . . . . 99
localmente
Lipschitziana . . . . . . . . . . . . . . 99
M
magro . . . . . . . . . . . . . . . . . . . . . . . . . 38
matriz
Jacobiana . . . . . . . . . . . . . . . . 108
meidas
desigualdade entre as . . . . 128
medida . . . . . . . . . . . . . . . . . . . . . . . . 21
completa . . . . . . . . . . . . . . . . . 180
completamento de. . . . . . . .181
convergencia em. . . . . . . . . . .77
229
de contagem . . . . . . . . . . . . . . 92
de Lebesgue . . . . . . . . . . . . . . . 21
de LebesgueStieltjes. . . . .177
espaco de . . . . . . . . . . . . . . . . . 21
exterior . . . . . . . . . . . . . . . . . . 170
de Lebesgue . . . . . . . . . . . . . 10
determinada por . . . . . 175
finita . . . . . . . . . . . . . . . . . . . . 150
finitamente aditiva . . . . . . . 144
imagem de . . . . . . . . . . . . . . . . 91
interior. . . . . . . . . . . . . . . . . . . .24
determinada por uma medida exterior . . . . . . . . . . . 188
numa classe de conjuntos.144
produto . . . . . . . . . . . . . . . . . . 197
-aditiva . . . . . . . . . . . . . . . . . 145
-finita . . . . . . . . . . . . . . . . . . 166
menor que . . . . . . . . . . . . . . . . . . . . . . 1
mensuravel . . . . . . . . . . . . . . . . . . . . 13
com respeito `a uma medida
exterior . . . . . . . . . . . . . . 170
envelope. . . . . . . . . . . . . .22, 187
espaco . . . . . . . . . . . . . . . . . 21, 40
funcao . . . . . . . . . . . . . . . . . . . . 40
a valores em Rn ou R . . . 41
definida em Rn . . . . . . . . . .41
funcao Borel . . . . . . . . . . . . . . 41
subespaco . . . . . . . . . . . . . . . . . 43
metrica
associada a uma norma . . 112
do supremo . . . . . . . . . . . . . . 113
invariante por translacoes 139
positivamente homogenea 139
Minkowski
desigualdade de . . . . . . . . . . 126
modulo . . . . . . . . . . . . . . . . . . . . . . . . . 2
monotona
seq
uencia. . . . . . . . . . . . . . . . . . .4
monotonica
classe . . . . . . . . . . . . . . . . . . . . 162
monotonicidade . . . . . . . . . . . . . . 170
-mensuravel. . . . . . . . . . . . . . . .170
-q. s. . . . . . . . . . . . . . . . . . . . . . . . . . 62
mudanca de variaveis
teorema de . . . . . . . . . . . . . . . 102
INDICE REMISSIVO
N
naturais
n
umeros . . . . . . . . . . . . . . . . . 145
norma . . . . . . . . . . . . . . . . . . . . . . . 112
associada a um produto interno . . . . . . . . . . . . . . . . . . . 115
de um funcional linear . . . 123
de uma aplicac
ao linear . . . 98,
121
de uma aplicac
ao linearconjugada . . . . . . . . . . . 122
de uma partic
ao . . . . . . . . . . . 66
do supremo . . . . . . . . . . . . . . 113
Euclideana . . . . . . . . . . . . . . . . 13
normado
espaco vetorial . . . . . . . . . . . 112
n
umero complexo
parte imagin
aria de . . . . . . 118
parte real de . . . . . . . . . . . . . 114
n
umeros naturais . . . . . . . . . . . . . 145
O
operac
ao
associativa . . . . . . . . . . . . . . . . . 2
comutativa . . . . . . . . . . . . . . . . . 3
ortogonal
complemento . . . . . . . . . . . . . 117
projec
ao . . . . . . . . . . . . . . . . . 118
vetor . . . . . . . . . . . . . . . . . . . . . 117
P
paralelogramo
identidade do . . . . . . . . . . . . 115
parte imagin
aria
de um n
umero complexo . 118
parte negativa . . . . . . . . . . . . . . . . . 46
de uma func
ao . . . . . . . . . . . . 46
parte positiva . . . . . . . . . . . . . . . . . 46
de uma func
ao . . . . . . . . . . . . 46
parte real
de um n
umero complexo . 114
partic
ao . . . . . . . . . . . . . . . . . . . . . . . . 8
norma de . . . . . . . . . . . . . . . . . 66
refinamento de . . . . . . . . . . . . 66
pequeno
230
INDICE REMISSIVO
relac
ao
anti-reflexiva . . . . . . . 1, 31, 184
de equivalencia . . . . . . . . . . . . . 7
simetrica . . . . . . . . . . . . . . . . . . 31
transitiva . . . . . . . . . . . . . . 1, 184
relac
ao de ordem
lexicogr
afica . . . . . . . . . . . . . . . 38
na reta estendida . . . . . . . . . . . 1
total . . . . . . . . . . . . . . . . . . 1, 184
reta
secante. . . . . . . . . . . . . . . . . . .131
suporte . . . . . . . . . . . . . . . . . . 136
reta estendida . . . . . . . . . . . . . . . . . . 1
Boreleanos da . . . . . . . . . . . . . 40
ret
angulo
area de . . . . . . . . . . . . . . . . . . . . . 8
Riemann
integral de . . . . . . . . . . . . . . . . 68
integral impr
opria de . . . . . . 71
integral inferior de . . . . . . . . 68
integral superior de . . . . . . . 68
integr
avel . . . . . . . . . . . . . . . . . 68
soma inferior de . . . . . . . . . . . 66
soma superior de . . . . . . . . . . 66
Riesz
aplicac
ao de. . . . . . . . . . . . . .124
teorema de representacao de
124
S
secante
reta . . . . . . . . . . . . . . . . . . . . . . 131
segmento de reta . . . . . . . . . . . . . 109
semi-
algebra . . . . . . . . . . . . . 149, 183
semi-anel . . . . . . . . . . . . . . . . . . . . . 148
semi-norma . . . . . . . . . . . . . . . . . . 112
separ
avel
-
algebra . . . . . . . . . . . . . . . . 189
seq
uencia
convergente em medida. . . .77
convergente em R . . . . . . . . . . 4
crescente . . . . . . . . . . . . . . . . . . . 4
de Cauchy em medida . . . . . 79
decrescente . . . . . . . . . . . . . . . . . 4
mon
otona . . . . . . . . . . . . . . . . . . 4
231
INDICE REMISSIVO
sub-bloco
determinado por
uma partic
ao . . . . . . . . . . . 8
sub-intervalo
determinado por
uma partic
ao . . . . . . . . . . . 8
subaditividade
-. . . . . . . . . . . . . . . . . . . . . . . .170
subconjunto
coenumer
avel . . . . . . . . . . . . 189
subespaco
de um espaco mensur
avel. .43
subgrafo
cheio . . . . . . . . . . . . . . . . . . . . . . 31
suporte
reta . . . . . . . . . . . . . . . . . . . . . . 136
supremo . . . . . . . . . . . . . . . . . . . . . . . . 2
T
teorema
da convergencia dominada . 64
da convergencia monotonica . . . . . . . . . . . . . . . 55, 62
da extens
ao . . . . . . . . . . . . . . 177
pequeno . . . . . . . . . . . . . . . 155
da func
ao inversa . . . . . . . . 110
de Baire . . . . . . . . . . . . . . . . . . 38
de Egoroff . . . . . . . . . . . . . . . . . 76
de FubiniTonelli. . . . . . . . . .85
abstrato . . . . . . . . . . . . . . . 201
para o completamento . 204
de mudanca de vari
aveis . 102
de Pit
agoras . . . . . . . . . . . . . 142
de representac
ao de Riesz 124
fundamental do c
alculo . . . . 93
Tonelli
teorema de . . . . . . . . . . . . . . . . 85
abstrato . . . . . . . . . . . . . . . 201
para o completamento . 204
totalmente ordenado
conjunto . . . . . . . . . . . . . . . . . 184
transformac
ao
elementar . . . . . . . . . . . . . . . . 101
transitividade. . . . . . . . . . . . . .1, 184
translac
ao . . . . . . . . . . . . . . . . . . 6, 12
232
tricotomia . . . . . . . . . . . . . . . . . 2, 184
U
uniforme
convergencia. . . . . . . . . . .74, 93
quase sempre (q. s.) . . . . . 75
V
valor medio
desigualdade do . . . . . . . . . . 109
vertices
adjacentes. . . . . . . . . . . . . . . . .31
de um grafo . . . . . . . . . . . . . . . 31
vetores
ortogonais . . . . . . . . . . . . . . . 117
volume . . . . . . . . . . . . . . . . . . . . . . . . . 8