Académique Documents
Professionnel Documents
Culture Documents
Armando Machado
UNIVERSIDADE DE LISBOA
Faculdade de Cincias
Departamento de Matemtica
2011
ii
Introduo v
Captulo I. Medidas em 5 -lgebras
1. Somas e produtos no contexto positivo 1
2. Medidas em 5 -lgebras 11
3. Medidas em semianis 20
4. Prolongamento de medidas em semianis 31
5. Aplicaes mensurveis 50
Captulo II. O integral
1. Integrao de funes positivas 67
2. Integrao de funes com valores num espao de Banach 101
3. Propriedades elementares do integral indefinido 148
4. Produto de medidas e teorema de Fubini 166
5. Medida de Lebesgue em dimenses superiores 187
6. Integrais paramtricos 216
Captulo III. Espaos funcionais e aplicaes
1. Aplicaes convexas e desigualdades 229
2. Os espaos P: 240
3. Decomposio de Lebesgue e teorema de Radon-Nikodym 268
4. Medidas de Radon em localmente compactos 277
5. Translaes e produto de convoluo em 8 310
6. Aplicaes do produto de convoluo e derivadas fracas 334
7. Medidas vetoriais e resultados de dualidade 363
8. O integral indefinido revisitado 412
9. Aplicaes de variao limitada e medidas
de Lebesgue-Stieltjes vetoriais 425
Apndice 1. Uma verso do teorema de Sard 457
ndice de Smbolos 467
ndice Remissivo 471
Bibliografia 475
INTRODUO
Na Teoria da Medida associamos aos conjuntos a sua medida, que vai ser,
idealmente, um nmero real maior ou igual a !, mas que temos neces-
sidade de permitir que possa ser tambm _. Examinamos assim neste
pargrafo o modo de trabalharmos, algbrica e analiticamente, no conjun-
to constitudo pelos nmeros reais maiores ou iguais a ! e pelo elemento
extra _.
1Note-se que frequente utilizar-se esta notao para o intervalo aberto ! _, em vez
do intervalo fechado.
2 Cap. I. Medidas em 5 -lgebras
2Intuitivamente, podemos dizer que estamos a dar ao ! mais fora que ao _, no que
respeita multiplicao.
1. Somas e produtos no contexto positivo 3
3M
definidas, por recurso no nmero de elementos do conjunto de ndices M ,
pela exigncia de se ter
" B3 !
3g
e, para cada 3! M ,
" B3 B3! " B3 . 3
3M 3M3!
3Propomos, como exerccio no fim do captulo (cf. o exerccio I.1.1), a verificao de que
esta definio legtima (independncia da escolha de 3! em M ), assim como a verificao
das propriedades familiares dos somatrios finitos explicitadas a seguir.
4No sentido que j foram, sem dvida, utilizadas, porventura sem terem sido explici-
tamente enunciadas, no contexto dos nmeros reais.
4 Cap. I. Medidas em 5 -lgebras
3M
b) (Mudana de ndices) Seja M w outro conjunto de ndices e : M w M uma
aplicao bijetiva. Tem-se ento
" B3 " B:4 .
3M 4M w
4M
4N
! B4 _.
tambm que, se, para cada 4, B4 B ! e o conjunto N infinito, ento
4N
Repare-se que, no caso em que N finito, esta soma coincide com a j
conhecida, tendo em conta a propriedade de monotonia referida na alnea c)
de I.1.5, que implica que o supremo , neste caso, um mximo, igual soma
no sentido finito.
I.1.7 (Mudana de ndices) Sejam B4 4N uma famlia, finita ou infinita, de
elementos de , N w outro conjunto de ndices e : N w N uma aplicao
bijetiva. Tem-se ento
" B3 " B:3 .
4N 3N w
:
em da sucesso de elementos W8 .
Em particular, no caso em que os B8 so finitos, a srie ! B: convergente
_
:
6 Cap. I. Medidas em 5 -lgebras
" B: " B: .
_
:" :
:M
:M
4N w 4N
4M 4N
consequncia de M ser tambm uma parte finita de N .
I.1.10 (Segunda propriedade de monotonia) Seja B4 4N uma famlia, finita
ou infinita, de elementos de e seja, para cada 4 N , C4 B4 . Tem-se
ento
" C4 " B4
4N 4N
4M 4N
resulta do que referimos na alnea f) de I.1.5, visto que podemos escrever
" C4 " B4 " B4 .
4M 4M 4N
4M " F 4N"
ento M N finito. Seja E a parte finita de F constituda pelos " tais que
M N" g (no mximo um " para cada elemento de M ). Tem-se ento que o
conjunto finito M a unio finita dos conjuntos M N" , com " E, que so
disjuntos dois a dois, pelo que, tendo em conta o referido nas alneas d) e f)
de I.1.4, podemos escrever
" B4 " " B4 " " B4 " " B4 ,
4M " E 4MN" " E 4N" " F 4N"
4N " F 4N"
4N"
do segundo membro como um supremo, bastar provar que, fixado E F
finito, se tem
" B4 " " B4 .
4N " E 4N"
4N " E 4N"
podemos, para cada " E, considerar M" N" finito tal que
" B4 " B4
$
4M" 4N"
5
e, sendo M o conjunto finito unio dos M" , com " E, obtemos, tendo em
conta a associatividade finita referida na alnea d) de I.1.5,
8 Cap. I. Medidas em 5 -lgebras
4M 4N " E 4N"
C " B4 " C B4 ,
4N 4N
como queramos.
I.1.14 (Produto de dois somatrios) Sejam B4 4N e C5 5O duas famlias,
finitas ou infinitas, de elementos de . Tem-se ento
" B4 " C5 " B4 C5 .
4N 5O 45N O
"
4N 5O 4N 5O 4N 5O
B4 C5 .
45N O
Exerccios
" 8 "B8 .
B #
8
"B
"
_
" #!
,
8"
8! #! #
W5 "
5
"
8"
8!
1. Somas e produtos no contexto positivo 11
verifica
"
"
_.
8#
8 ln8
2. Medidas em 5 -lgebras.
E4 `, ento - E4 `.7
3) Se N um conjunto finito ou numervel de ndices e se, para cada 4 N ,
4N
E4 `, ento + E4 `;
4N
5) \ `;
6) Se E ` e F `, ento a diferena
E F B \ B E B F
tambm pertence a `.
Dem: A concluso de 4) resulta de que se pode escrever
, E4 \ . \ E4 .
4N 4N
` E \ E ] U] .
4N 4N
de \ , a qual vai conter os abertos Y de \ , para os quais Y ] aberto em
] , em particular pertence a U] . Conclumos assim que U\ `, e portanto,
se E U\ ] , vem E U\ ` donde E E ] U] , o que mostra
que U\ ] U] .
I.2.10 (Medida numa 5 -lgebra) Sejam \ um conjunto e ` uma 5 -lgebra de
partes de \ . Chama-se medida na 5 -lgebra ` a uma aplicao
. ` verificando as seguintes propriedades:
1) .g !;
2) (Aditividade) Qualquer que seja a famlia contvel E4 4N de conjuntos
disjuntos dois a dois, pertencentes a `,
.. E4 " .E4 .
4N 4N
4N 4N
E4w E4 . E5 ,
54
16 Cap. I. Medidas em 5 -lgebras
6) Se E F `, ento
.E F .E F .E .F.
., E8 lim .E8 .
8
4N 4N
E4w `, E4w E4 e os E4w disjuntos dois a dois, tendo-se ento
.E4w .E4 , portanto
: : :8
2. Medidas em 5 -lgebras 17
: : :"
8
concluses de 3) e 5),
.E" ., E8 .E" , E8 lim .E" E8
8 8
lim .E" .E8 ,
donde
., E8 .E" lim .E" .E8 lim .E8 .
8
Exerccios
! " . D F " #,
DN
" " .D F $,
DN
., E8 lim .E8 .
8
E7 . F8
_
87
3. Medidas em semianis.
3M
Dem: Trata-se de uma consequncia da propriedade 2) da definio de
seminanel, por induo no nmero de elementos, maior ou igual a ", do
conjunto de ndices.
I.3.6 (O anel associado) Sejam \ um conjunto e f um semianel de partes de \ .
Notemos T a classe dos subconjuntos de \ que so unio de alguma famlia
finita de conjuntos G3 3M disjuntos dois a dois e pertencentes a f . Tem-se
ento que a classe T contm f e goza das seguintes propriedades:
ento + E3 T;
1) Se E3 3M uma famlia finita no vazia de conjuntos pertencentes a T,
3M
2) Se E T e F T, ento E F T.
22 Cap. I. Medidas em 5 -lgebras
3M
no estamos a exigir que os conjuntos sejam disjuntos dois a dois.
A propriedade 1) resulta por induo no nmero de elementos, maior ou
3M 4N
e H4 4N so duas famlias finitas de conjuntos de f , em ambos os casos
disjuntos dois a dois, tem-se
EF . G3 H4 ,
34MN
4N
no vazia de conjuntos de f disjuntos dois a dois e tem-se ento
E F , E H4 ,
4N
3M
3M
vimos no caso particular j estudado, cada G3 F T. Como referimos no
incio, daqui decorre que E F T.
Uma vez que g f T , podemos provar 3) por induo no nmero de
elementos, maior ou igual a ", do conjunto de ndices M . Para isso, basta
mostrarmos que, se E T e F T, ento E F T. Ora, isso resulta
mais uma vez do que se disse no incio, uma vez que se tem
E F E F E,
onde os conjuntos E e F E pertencem a T e so disjuntos.
3. Medidas em semianis 23
4N
.. E4 " .E4 .
4N 4N
camente, de se ter - E4 f .
caso, no era necessrio explicitar em 2) a hiptese, verificada automati-
4N
Provamos em seguida algumas propriedades das medidas em semianis,
que decorrem das que j conhecemos no caso em que o semianel uma
5-lgebra, mas que necessitam aqui de argumentos mais completos.
Apenas nos debruamos sobre propriedades que sero utilizadas no pro-
cesso de prolongamento das medidas 5 -lgebra gerada, uma vez que,
obtido um tal prolongamento, as restantes propriedades decorrem do que
se conhece para as 5 -lgebras.
F f e se - E4 F , ento
3) Se E4 4N uma famlia de conjuntos em f disjuntos dois a dois, se
4N
4N
24 Cap. I. Medidas em 5 -lgebras
.E " .F4 .
4N
4N
F . E4 . G5 ,
4N 5O
escrever tambm E -E4w , com E4w E4 e os E4w disjuntos dois a dois, onde
em particular E4 F4 e E4 f . Tendo em conta o lema I.2.11, podemos
De se ter
E . E4w . . G454 ,
4N 4N 54 O4
4M
Dem: Por uma mudana do conjunto de ndices, podemos j supor que
M ou M " # R . Basta ento definirmos $4 $ #4 , lembrando a
caracterizao da soma dos termos de uma srie geomtrica.
I.3.11 (A medida de Lebesgue-Stieltjes nos intervalos semiabertos) Sejam
N - . um intervalo aberto no vazio, com cada extremidade finita
ou infinita, e 1 N uma funo crescente (no sentido lato). Tem ento
lugar uma medida -1 , no semianel f dos N -intervalos semiabertos, definida
por
-1 + , 1, 1+ ,
11O conjunto X pode assim ser, alm do prprio , um intervalo de um dos tipos + ,,
com + , em , + _ ou _ +, com + .
12Reparar que, por I.1.15, se N no contvel impossvel existir uma tal famlia.
13Repare-se que, no caso em que a funo crescente 1 contnua direita, podemos
escrever, mais simplesmente, -1 + , 1, 1+. frequente fazer-se esta exi-
26 Cap. I. Medidas em 5 -lgebras
-1 E " -1 E4 .
4M
-1 E " -1 E4 " -1 E4 ,
44! 4M
" -1 E4 .
44!
4M
-1 E " -1 E4 ,
4M
4M
Tendo em conta a definio da soma, para 4 M , como supremo de todas as
28 Cap. I. Medidas em 5 -lgebras
Sendo
$ -1 E " -1 E4 !,
4M
4M
+ +w , e 1+w 1+ #$ , assim como, para cada 4 M , ,4w N onde a
funo 1 seja contnua, com ,4 ,4w e 1,4w 1,4 $4 . Como o compacto
+w , de , est contido em + , - +4 ,4 , e portanto tambm na unio
4M
dos abertos +4 ,4w , 4 M , a propriedade das coberturas dos compactos14
garante a existncia de uma parte finita M de M tal que +w , - +4 ,4w e
4M
portanto, por maioria de razo, Ew +w , est contido na unio, com 4 M ,
dos E4w +4 ,4w . Podemos assim aplicar o que vimos em 3) para deduzir que
$ $
-1 E 1, 1+ 1, 1+w
.1 Ew
# #
" -1 E4w " 1,4w 1+4
$ $
4M
# 4M
#
4M
Exerccios
1B
.B! B, se B B!
.
.B B! , se B B!
. . E4 " . E4 .
4N 4N
4N
E4 4N de E, se estas existirem, e como sendo _ se E no admite
nenhuma f -cobertura contvel15, obtemos uma medida exterior
. c \ , que prolonga ., no sentido de se ter . E .E, para
cada E f .
Dizemos que . a medida exterior em \ associada medida . no
semianel f .
4N
resulta, pela definio de nfimo, que .E . E. Mas uma das
f-coberturas contveis de E a constituda pelo nico conjunto E e daqui
resulta que . E .E, e portanto . E .E. Em particular, por ser
g f , tem-se . g .g !. Sejam agora agora E e F subconjuntos de
\ com E F . Uma vez que toda a f -cobertura contvel de F tambm
uma f -cobertura contvel de E, conclumos que . E . F.
Consideremos, enfim, E4 4N famlia contvel de partes de \ , e mostremos
que
. . E4 " . E4 ,
4N 4N
4N
Para cada 4 N , consideremos uma f -cobertura contvel F4#4 #4 >4 de E4
tal que
" .F4#4 . E4 $4 .
#4 >4
4N
propriedade associativa dos somatrios, que
4N 4N 4N
. . E4 " . E4 ,
4N 4N
$ . . E4 " . E4 ,
4N 4N
I.4.3 Apesar de isso no ter sido necessrio para a definio da medida exterior
associada no resultado precedente, so especialmente cmodos, e nalguns
casos essenciais, os semianis f de partes dum conjunto \ para os quais o
prprio \ , e portanto qualquer parte de \ , admite uma f -cobertura contvel.
. . F E4 " . F E4 .
4N 4N
4N
tambm . -mensurvel.
Subdem: Trata-se de uma consequncia de 2) e 4), uma vez que g
. -mensurvel e que se pode escrever
. E4 \ , \ E4 .
4N 4N
. . F E4 . . F E4 E4! . . F E4 E4!
. F E4! . . F E4
4N 4N 4N
4N 4! 4N
4N
. -mensurvel e, para cada F \ ,
. . F E4 " . F E4 .
4N 4N
4N 4N
" . F E4 . . F E4 ,
4N 4N
4N
. -mensurvel, basta, tendo em conta 1), mostrar que, para cada conjunto
F \,
. F . E4 . F . E4 . F,
4N 4N
4N 4M
" . F E4 . F . E4
. F .E4 . F .E4 . F,
4M 4N
4M 4M
donde
" . F E4 . F . F . E4 ,
4M 4N
o que, tendo em conta a definio das somas como supremo das somas par-
ciais finitas, implica que
" . F E4 . F . F . E4 ,
4N 4N
F - E4 a unio dos F E4 , 4 N ,
donde, lembrando que . uma medida exterior e reparando que
4N
4. Prolongamento de medidas em semianis 37
. F . E4 . F . E4
" . F E4 . F . E4 . F,
4N 4N
4N 4N
como queramos.
8) A classe ` s uma 5 -lgebra de partes de \ e a restrio de . a ` s
uma medida.
Subdem: J verificmos, em 2), que g ` s e que \ E ` s, para
cada E ` s, em 3), que a interseco de dois conjuntos em ` s ainda est
s
em `, em 5), que a unio de uma famlia finita de conjuntos em ` s ainda
s
pertence a ` e, em 7), que a unio de uma famlia contvel de conjuntos em
`s disjuntos dois a dois ainda pertence a ` s. Para verificarmos que ` s
- E4 - E4w , com os E4w disjuntos dois a dois e, pelo que referimos atrs,
ainda pertence a `s. Ora, isso resulta do lema I.2.11, que garante que se tem
4N 4N
E4w
` s. O facto de a restrio a ` s da medida exterior . ser uma medida
resulta de que . g ! e da aditividade contvel, provada em 7).
3M
G3 , 3 M , que so disjuntos dois a dois, obtemos
38 Cap. I. Medidas em 5 -lgebras
4N 4N
dois, tal que ! .E4 ! .F5 . Ora, tendo em conta I.2.11, existem
f-cobertura contvel E4 4N de E, esta com os conjuntos disjuntos dois a
conjuntos disjuntos dois a dois F5w F5 , com -F5w -F5 , onde cada F5w ,
4N 5O
E . F5 . F5w . E53
5 5 53
e
" .E53 " .
sE53 " .
sF5w " .
sF5 " .F5 ,
53 53 5 5 5
como queramos.
4N
isso acontecer, o seminanel f , em particular, 5 -total (cf. I.4.3).
Uma vez que uma 5 -lgebra , em particular, um semianel, a noo de
medida 5 -finita faz naturalmente tambm sentido para medidas em 5 -lge-
bras.
I.4.10 Por exemplo, se N - . um intervalo aberto no vazio de , com
extremidades finitas ou infinitas, e 1 N uma funo crescente (no
40 Cap. I. Medidas em 5 -lgebras
E \4 , que pertencem a f .
I.4.12 (Teorema de extenso de Hahn precisado) Sejam \ um conjunto, f um
semianel de partes de \ e . f uma medida 5 -finita. Sendo ` a
5 -lgebra gerada por f , tem-se ento que o prolongamento de Hahn
.
s ` , que trivialmente ainda uma medida 5 -finita, a nica medida
na 5 -lgebra ` cuja restrio a f ..
Tendo em conta este facto, frequente utilizarmos o mesmo smbolo . para
designar a medida 5 -finita no semianel e o seu prolongamento de Hahn
5-lgebra gerada.
Dem: Suponhamos que .w ` uma medida cuja restrio a f seja ..
Comecemos por verificar que, para cada E `, .w E . sE, para o que
podemos j supor que . sE _. Ora, se E4 4N uma f -cobertura
contvel de E arbitrria, vem
.w E .w . E4 " .w E4 " .E4 ,
4N 4N 4N
4N 4N
4N
Uma vez que os F4 esto nas condies j estudadas anteriormente, e
verificam portanto .w F4 .
sF4 , obtemos
.w E " .w F4 " .
sF4 .
sE
4N 4N
b) Para cada + N ,
-1 + . 1. 1+ ,
Exerccios
E +E8 .
contvel de conjuntos em f ) com F E8 e . sE8 . F 8" e tomar
(cf. I.2.16).
Ex I.4.8 Sejam \ um conjunto, f um semianel de partes de \ e . f uma
medida. Sejam . c \ a medida exterior associada, ` s a 5 -lgebra
dos conjuntos . -mensurveis e ` ` s a 5 -lgebra gerada por f e lembre-
mos que a restrio de . a ` s uma medida e que a sua restrio a ` ,
por definio, o prolongamento de Hahn de ..
O objetivo deste exerccio encontrar argumentos no sentido de mostrar que,
pelo menos quando . f 5 -finita, no se perde muito ao considerar o
prolongamento de Hahn definido apenas em ` e no na totalidade de ` s.
a) Concluir da alnea a) do exerccio I.4.4 que, se E ` verifica s
. E _, ento existe F ` com E F e . F E !.
b) No caso em que a medida . f 5 -finita, mostrar, mais
geralmente, que, para cada E ` s, existe F ` com E F e
. F E !.
4N
c) Ainda no caso em que a medida . f 5 -finita, mostrar que, para
cada E ` s, existem F G ` com G E F e . F G !.
Sugesto: Aplicar b) ao conjunto E, para construir F , e ao conjunto \ E,
para construir G , a partir do seu complementar.
Ex I.4.9 (Semianel associado a uma partio) Sejam \ um conjunto e \4 4N
uma famlia finita de subconjuntos de \ , no vazios, disjuntos dois a dois e
de unio \ (uma partio de \ por conjuntos no vazios).
46 Cap. I. Medidas em 5 -lgebras
int. G4 g.22
4N
Y: . <8 .
" "
<8
8
: "#8" : "#8"
"
Verificar que Y: um aberto de com -Y: :" e que Y: contm todos
os racionais do intervalo ! ". Deduzir que G: ! " Y: um subcon-
junto fechado de com interior vazio, em particular um conjunto magro, e,
no entanto, -G: !.
d) Continuando com as notaes de c), seja
E , Y: .
:
GR :8 8" "
_
:8
.
8"
R "8
26Para sermos mais precisos, este apenas o exemplo mais simples de uma famlia de
subconjuntos de a que se d o nome de conjuntos de Cantor, mas no vamos ter
necessidade dessa generalidade.
4. Prolongamento de medidas em semianis 49
27Repare-se que, apenas com mudanas mnimas na demonstrao, o resultado pode ser
adaptado ao caso em que se pede apenas que E seja fechado nalgum subconjunto aberto
Y de , obtendo-se ento um prolongamento contnuo de 0! a Y . Analogamente,
podamos substituir o intervalo N por um subconjunto convexo no vazio de um
espao vetorial normado.
50 Cap. I. Medidas em 5 -lgebras
5. Aplicaes mensurveis.
28No possvel deixar de fazer um paralelo com as funes contnuas entre espaos
topolgicos: Uma aplicao 0 \ ] contnua se, e s se, para cada aberto Z de ] ,
0 " Z um aberto de \ .
29Mais uma vez, impe-se naturalmente um paralelo com o que se passa num espao
topolgico \ : Se \ w \ um aberto (o que corresponde, para os espaos mensurveis
exigncia de que \ w seja mensurvel), ento os abertos de \ w so exatamente os abertos
de \ que esto contidos em \ w .
5. Aplicaes mensurveis 51
4N
aplicao tal que, para cada 4 N , 0\4 \4 ] seja uma aplicao
mensurvel de \4 `\4 para ] a , ento 0 mensurvel de \ `
para ] a .30
Dem: Para cada F a , tem-se
0 " F . 0\4 " F,
4N
onde cada 0\4 " F pertence a `\4 , e portanto a `, o que implica que
0 " F `.
I.5.7 (Condio suficiente de mensurabilidade) Sejam \ ` e ] a
espaos mensurveis e W uma classe de partes de ] tal que a 5 -lgebra de
partes de ] gerada por W seja a . Tem-se ento que uma aplicao
0 \ ] mensurvel se, e s se, para cada F W, 0 " F `.
Dem: Se 0 mensurvel, ento, para cada F a , 0 " F `, e portanto
30Mais uma vez, impe-se uma comparao com o que se passa no contexto dos espaos
topolgicos: Para verificar que uma funo contnua, basta verificar que so contnuas
as suas restries aos conjuntos de uma certa cobertura aberta. Aqui, em vez de
coberturas abertas arbitrrias, temos coberturas mensurveis contveis mas o que se
perde com a exigncia de as coberturas serem contveis ganha-se com o facto de, em
geral, os conjuntos mensurveis serem muito mais numerosos que os abertos.
52 Cap. I. Medidas em 5 -lgebras
4N 4N
cada B , 7B -invariante.
Dem: O facto de estas aplicaes serem bimensurveis uma consequncia
de se tratar de homeomorfismos, cujos inversos so, respetivamente, 5 e 7B .
Notemos . e, para cada B , .B as medidas na 5 -lgebra U imagens
diretas de - pelas aplicaes mensurveis 5 e 7B . O que
temos que mostrar que se tem . .B -. Ora, isso resulta da definio da
medida de Lebesgue em I.4.15 e das propriedades desta em I.4.16, visto que,
sempre que + , em ,
.+ , -+ , -, + + , , +,
.B + , -B + , -+ B , B
, B + B , +.
0 " . F4 . 0 " F4 .
4N 4N
Outra situao que ser importante nas aplicaes aquela em que consi-
deramos o produto cartesiano de conjuntos munidos de 5 -lgebras.
E Ew . E3 , F F w . F4
3M 4N
e tem-se ento
E F Ew F w E Ew F E Ew F F w
. E3 F . E Ew F4 ,
3M 4N
31Trata-se de um abuso de notao, uma vez que V W tambm designa o conjunto dos
pares E F com E V e F W. O significado que se d notao ser claro no
contexto.
5. Aplicaes mensurveis 57
so aplicaes mensurveis.
b) Sejam ^ c um espao mensurvel, 0 ^ \ ] uma aplicao e
0" ^ \ e 0# ^ ] as respetivas componentes, definidas por
0 D 0" D 0# D.
Tem-se ento que 0 mensurvel se, e s se, 0" e 0# so ambas mensurveis.
Dem: a) Temos uma consequncia de que, para cada E `,
1"" E E ] ` a ` a
e, para cada F a ,
1#" F \ F ` a ` a .
Se 0 mensurvel, a concluso de a) e I.5.2 implicam que 0" e 0# so
mensurveis, uma vez que 0" 1" 0 e 0# 1# 0 . Suponhamos, recipro-
camente, que 0" e 0# so aplicaes mensurveis. Para cada E ` e
F a , tem-se ento 0"" E c e 0#" F c , e portanto tambm
0 " E F 0"" E 0#" F c.
Tendo em conta I.5.7, conclumos que 0 mensurvel.
I.5.22 (Compatibilidade com as restries de 5 -lgebras) Sejam \ ` e
] a dois espaos mensurveis e consideremos o espao mensurvel
produto \ ] ` a . Sejam \ w ` e ] w a e consideremos as
5 -lgebras restrio `\ w e a] w , de partes de \ w e ] w , respetivamente (cf.
I.2.5). Tem-se ento que a 5 -lgebra produto `\ w a] w , de partes de
58 Cap. I. Medidas em 5 -lgebras
3M 4N
Sendo ` a 5 -lgebra de partes de \ gerada por V e a a 5 -lgebra de partes
de ] gerada por W, tem-se ento que ` a a 5 -lgebra de partes de
\ ] gerada por V W.
Dem: Uma vez que, para cada E V e F W, tem-se E ` e F a ,
donde
E F ` a ` a,
conclumos que V W ` a . Resta-nos mostrar que, se c uma 5 -l-
gebra arbitrria de partes de \ ] tal que V W c , ento tem-se neces-
sariamente ` a c . Dividimos a prova desse facto em trs partes:
1) Vamos mostrar que V a c .
Subdem: Fixemos E V. Notemos aE a classe dos conjuntos F ]
tais que E F c . O facto de se ter E g g c mostra que g aE .
Se F aE , o facto de se ter, para cada 4 N , E ]4 V W c , e
portanto
E ] . E ]4 c,
4N
implica que
E ] F E ] E F c,
ou seja, ] F aE . Sendo agora F5 5O uma famlia contvel de
conjuntos em aE , o facto de se ter, para cada 5 , E F5 c implica que
E . F5 . E F5 c,
5O 5O
implica que
\ E F \ F E F c,
ou seja, \ E `F . Sendo agora E5 5O uma famlia contvel de
conjuntos em `F , o facto de se ter, para cada 5 , E5 F c implica que
. E5 F . E5 F c,
5O 5O
:B C B C, <B C B C,
so mensurveis.
Dem: Comecemos por reparar que, uma vez que e induzem a mesma
topologia em ! _ (a topologia induzida pela da reta acabada ),
conclumos que as 5 -lgebras U e U tm a mesma restrio a ,
nomeadamente a 5 -lgebra U dos borelianos de (cf. I.2.9). Tendo em
conta I.5.22, conclumos que as 5 -lgebras U U e U U tm
tambm a mesma restrio a , nomeadamente U U , pelo que
conclumos do resultado precedente que : e < tm restries mensurveis ao
subconjunto mensurvel do seu domnio. Apesar de a ideia ser
semelhante, separemos agora o exame dos dois casos:
1) O domnio unio de trs subconjuntos mensurveis, nomeada-
mente
, _ , _,
_ !, ! _,
Exerccios
Ex I.5.1 Para cada nmero racional B, seja denB o menor natural ; " tal que
B :; , para algum : . Considerando em a 5 -lgebra dos borelianos,
utilizar I.5.6 para mostrar que mensurvel a aplicao 0 definida
por
0 B
denB, se B ,
lnlBl, se B .
5. Aplicaes mensurveis 63
\ . D ] $Q $Q
DN
bimensurvel.
Ex I.5.9 Consideremos em a 5 -lgebra dos borelianos U e em a
5 -lgebra produto U U . Verificar que so mensurveis os
subconjuntos Y Z e ? de , definidos por
Y B C B C,
Z B C B C,
? B C B C. 35
35Uma tentao bvia seria descrever ? como o conjunto dos pares B C tais que
B C !, mas isso no possvel, uma vez que no existe subtrao no contexto de .
5. Aplicaes mensurveis 65
.B C
lB Cl, se B e C
_, se B _ ou C _ 36
36Quem tenha uma preferncia por definir ._ _ !, pode faz-lo sem alterar a
concluso do exerccio, mas a definio que apresentmos ser-nos- conveniente adiante.
66 Cap. I. Medidas em 5 -lgebras
37Reparar que, no caso da alnea a), no fazia sentido considerar a funo 0 1, uma vez
que no se pode definir a diferena de elementos arbitrrios de
68 Cap. II. O integral
F+ . E+ 8" ,
8
\_ , F8 ,
8
38Estas concluses j foram encontradas por quem resolveu o exerccio I.5.10. Tal como
referimos a propsito desse exerccio, poderamos ser tentados a transformar a condio
0 B 1B em 0 B 1B !, mas iso no possvel, uma vez que no existe
subtrao no contexto de .
39A restrio N g desnecessria para quem aceitar pensar no nfimo e no supremo de
uma famlia vazia, no contexto de , como sendo respetivamente _ e !. claro que,
nesse caso a concluso trivial, por 0 e J serem aplicaes constantes.
70 Cap. II. O integral
B \ 0 B + , B \ 04 B +
4N
B \ J B + . B \ 04 B +
4N
tem-se
0 B sup 18 B.
8
41Repare-se que os +4 esto bem determinados para os ndices 4 tais que \4 g mas que,
se \4 g, qualquer +4 verifica a condio referida. Anloga observao vale evi-
dentemente para os ,5 .
72 Cap. II. O integral
Para concluir a igualdade do enunciado, basta assim verificar que, para cada
par 4 5 N O
+4 .\4 \5w ,5 .\4 \5w
( 0 . . ( 0 B . .B " +4 .\4 ,
4N
' 0 . . _.
.\ _, tem-se evidentemente, para cada funo simples 0 \ ,
( ! . . !.
E B
", se B E,
!, se B E,
( E . . .E
0 B " +4 \4 B.
4N
( 0 . . ( 1 . .;
( 0 1 . . ( 0 . . ( 1 . .;
( +0 . . +( 0 . ..
Por outro lado, uma vez que 0 1 e +0 so funes que em cada \4 tomam
os valores constantes +4 ,4 e ++4 , respetivamente, vemos que estas funes
so simples e que
( 0 1 . . " +4 ,4 .\4
4N
( 0 . . ( 0 B . .B,
( 0 B . .B.
\
( 0 B .B ( 0 B .B,
( ! . .B !
( 0 B . .B !,
( 0 B . .B ( 1B . .B;
( +0 B . .B +( 0 B . .B.
( 2B . .B ( +2B . .B ( +0 B . .B,
" "
+ +
o que implica, tendo em conta a definio de ' 0 .. como um supremo, que
( 0 B . .B ( +0 B . .B,
"
+
e portanto
+( 0 B . .B ( +0 B . .B.
( +0 B . .B + ( +0 B . .B
"
+
+( +0 B . .B +( 0 B . .B.
"
+
.2 E ( 2E B . .E B ( 2BE B . .B.
( 2E B . .E B " +4 .E \4
! .\ E " +4 .E \4
4N
(1)
4N
( 2BE B . .B.
5O
a unio da famlia contvel de conjuntos mensurveis disjuntos dois a dois
E5 \4 e portanto, tendo em conta a frmula para .2 E obtida acima e a
propriedade de Fubini para as somas em I.1.12,
.2 E " +4 .E \4 " +4 ".E5 \4
".2 E5 ,
4N 5O 5O 4N
5O
( 08 B . .B ( 0 B . .B.
j8 ( 08 B . .B
j ( 0 B . .B
e, nesse sentido, reparamos, desde j, que, uma vez que, para cada 8 ,
08 B 0 B, para cada B \ , vem
j8 ( 08 B . .B ( 0 B . .B,
j ( 0 B . .B.
( 0 B . .B j
( 2B . .B j.
(1) j ( 2B . .B.
(2) j 3( 2B . .B
1. Integrao de funes positivas 79
\8 B \ 32B 08 B,
conjunto que mensurvel por II.1.3.42 O facto de a sucesso dos 08 B ser
8
B \8 para todo o 8 , ou 2B ! e ento 32B 2B 0 B,
donde, por 0 B ser o supremo dos 08 B, 32B 08 B, para algum
8 , para o qual se tem portanto B \8 . Consideremos agora a medida
.32 associada funo simples 32 \ (cf. II.1.17). O facto de, para
cada 8 e B \ , se ter 32B\8 B 08 B (se B \8 , o primeiro
membro ! e, se B \8 , o primeiro membro 32B) implica que
.32 \8 ( 32B\8 B . .B ( 08 B . .B j8 j
42Este o primeiro ponto onde intervm, de modo essencial, o facto de estarmos a consi-
derar funes mensurveis.
80 Cap. II. O integral
18 B
:"
#8 , se B \8: ,
_, se B \_ ,.
funo que mensurvel por ter restrio constante, em particular mensu-
rvel, a cada um dos conjuntos mensurveis \_ e \8: , : , de unio \
(cf. I.5.6).43
3) Vamos agora verificar que, para cada B \ , a sucesso 18 B8
crescente e com 18 B 0 B.
Subdem: Se B \_ , isto , se 0 B _, isso resulta de se ter
18 B _, para todo o B. Caso contrrio, tem-se 0 B _ e a
afirmao resulta de que, como veremos, para cada 8 , 18 B 18" B
e
"
(1) 0 B 18 B 0 B.
#8
Ora, sendo : tal que B \8: , vem
:" :
(2) 0 B 8 ,
#8 #
isto ,
"
18 B 0 B 18 B ,
#8
condies equivalentes a (1), e, por outro lado, escrevendo (2) na forma
#: # #:
0 B 8" ,
#8" #
vemos que, ou
#: # #: "
0 B 8" ,
#8" #
ou
#: " #:
0 B 8" ,
#8" #
tendo-se, no primeiro caso, B \8"#:" e portanto 18" B #:#
#8" e, no
segundo caso, B \8"#: e portanto 18" B #:"
#8" , em ambos os casos,
43Asfunes 18 no sero, em geral, simples, uma vez que podem tomar o valor _ e
um nmero infinito de valores reais (embora discreto).
1. Integrao de funes positivas 81
:" #: #
18 B 8" 18" B.
#8 #
4) Seja, para cada 8 , 08 \ a funo mensurvel definida por
08 B min18 B 8
(cf. II.1.4), funo que simples, por tomar apenas um nmero finito de
valores, nomeadamente os da forma #:8 , com : e ! : #8 8 (na
figura a seguir, representamos, para os primeiros valores de 8, os valores
possveis para 08 B).
conclumos que
08 B min18" B 8 " 08" B.
Se B \_ , tem-se 0 B _ e 18 B _, pelo que 08 B 8, o que
implica que 08 B _ 0 B. Se B \_ , tem-se 0 B _ e,
escolhendo 8! tal que 8! 0 B, tem-se, para cada 8 8! ,
18 B 0 B 8, donde
08 B min18 B 8 18 B,
pelo que, por ser 18 B 0 B, tem-se tambm 08 B 0 B.
II.1.20 (Aditividade) Sejam \ ` . um espao de medida e 0 1 \
duas aplicaes mensurveis. Tem-se ento
( 0 B 1B . .B ( 0 B . .B ( 1B . .B.
( 08 B 18 B . .B ( 08 B . .B ( 18 B . .B
( 0 B 1B . .B ( 0 B . .B ( 1B . .B.
4N 4N 4N
4"
Uma vez que, pelo caso finito, os W8 \ so funes mensurveis,
com
( W8 B . .B " ( 04 B . .B,
8
4"
4 4"
" ( 04 B . .B.
4
.0 E ( 0E B . .E B ( 0 BE B . .B,
( 0E B . .E B lim ( 08 E B . .E B
lim ( 08 BE B . .B ( 0 BE B . .B.
4N
.0 E ( 0 BE B . .B " ( 0 BE4 B . .B
" .0 E4 ,
4N
4N
( 0 B . .B
E
( 0 B .B.
E
.0 E ( 0 B . .B.
E
( 0 B . .B ( 0 B . .B.
\ \]
( 0 B . .B .0 \ .0 \ ] .0 ]
\
( 0 B . .B.
\]
( _ 0 B . .B _ ( 0 B . .B.
( _ 0 B . .B lim ( 80 B . .B lim 8( 0 B . .B
_ ( 0 B . .B.
( _ . .B _. 45
\
( " . .B .\ !,
\
deduzimos que
( _ . .B ( _ " . .B _ .\ _.
\ \
( 0 B . .B !.
\
_ ( 0 B . .B ( _ 0 B . .B
( _ . .B _,
\
portanto ' 0 B . .B !.
II.1.28 Em geral, no contexto de um espao de medida \ ` ., diz-se que
uma propriedade relativa aos pontos B \ verdadeira quase sempre (ou
verdadeira em quase todos os pontos de \ )46 se existir ] `, com
( 0 B . .B _.
( _ . .B .0 ] .0 \ ( 0 B . .B _,
] \
( 0 B . .B !
( 0 B . .B ( 0 B . .B !.
\ \]
( 0 B . .B .0 ] .0 \ ( 0 B . .B !
] \
( 0 B . .B ( 1B . .B.
\ \
( 0 B . .B ( 1B . .B. 48
\ \
( 0 B . .B ( 0 B . .B ( 1B . .B
\ \] \]
( 1B . .B.
\
( 0 B . / B " 0 B.
\ B\
3M B\3 B\
" 0 B ( 0 B . / B.
B\ \
( 0 BE B . / B ( 0 B . / B.
\ \
( 0 B . / B " 0 B,
\ B\
( 1B . / B " 1B " 0 B,
\ B\ B\
j ( 0 B . .B,
j ( 08 B . .B. 51
( 18 B . .B ( 0 B . .B.
( 1B . .B _
\
( 08 B . .B ( 0 B . .B.
\ \
( 1B . .B ( 1B 0 B . .B ( 0 B . .B,
\ \ \
( 1B . .B ( 1B 08 B . .B ( 08 B . .B,
(1)
\ \ \
( 0 8 . . ( 0 . . $ ,
( 1 0 8 . . ( 1 0 . . $ ,
em que a segunda desigualdade, tendo em conta (1) pode ser escrita nas
formas equivalentes
( 1 . . ( 0 8 . . ( 1 . . ( 0 . . $ ,
( 0 8 . . ( 0 . . $ .
( 0 . . $ ( 0 8 . . ( 0 . . $ ,
( 1C . .C .1 \ ] .1 \ ( 1B . .B _,
\] \
( 08 B . .B ( 08 B . .B ( 0 B . .B ( 0 B . .B,
\ \] \] \
( 1B . .0 B ( 1B 0 B . .B.
92 Cap. II. O integral
( E B . .0 B .0 E ( E B0 B . .B.
4N
II.1.16,
( 1B . .0 B " +4 ( \4 B . .0 B
4N
" +4 ( \4 B0 B . .B
4N
( " +4 \4 B0 B . .B ( 1B 0 B . .B.
4N
( 1B0 B . .B.
( 0 B . .B ( 0 B . . B.
w
\ \
( 2B . .B ( 2B . . B ( 0 B . . B
w w
\ \ \
( 0 B .. . B ( 0 B . .B ( 0 B . . B;
w w
\ \ \
( 0 B .+.B +( 0 B . .B.
\ \
( 0 B .. . B " +3 .\3 . \3
w w
3M 3M
( 0 B . .B ( 0 B . .w B
\ \
e, do mesmo modo,
+( 0 B . .B.
\
( 0 B .. . B lim ( 08 B .. . B
w w
\ \
lim ( 08 B . .B ( 08 B . .w B
\ \
lim ( 08 B . .B lim ( 08 B . .w B
\ \
( 0 B . .B ( 0 B . .w B
\ \
+ lim( 08 B . .B +( 0 B . .B
\ \
( 0 C . . C ( 0 :B . .B.
w
] \
convergncia montona,
( 0 C . . C lim ( 08 C . . C lim ( 08 :B . .B
w w
] ] \
( 0 :B . .B.
\
Exerccios
caracterizar o integral
( 0 B . .B! B.
\
( 0 B . .B " !B0 B
\ B\
( 0 B . .B " +4 .\4
\ 4N
( 0 B . .B _.
\
( 0 B . .B _, ( 1B . .B _.
\ \
( 2B . .B _.
\
( 0 B .B lim ( 0 B .B.
88
8_
5" 5"
( 0 B .B !,
( 0 B . .B ( 1B . .B _.
\ \
4N
conjunto dos B \ tais que B E4 , para um nmero infinito de valores de
4. Mostrar que E um conjunto mensurvel e que .E !.
Sugesto: Considerar a funo 0 \ definida por
0 B " E4 B.
4N
1. Integrao de funes positivas 99
lim (
#8# cos88
.B #.
!" 8# B&
lim ( 0 B8 . .B .E.
\
( 0 B . .B _.
\
Mostrar que, para cada $ !, existe & ! tal que, sempre que E `
verifica .E &, tem-se
( 0 B . .B $.
E
lim ( 0 B . .B ( 0 B . .B !,
\8 \_
(
$
0 B . .B .
\8 #
7 8 e B \ , ento
( 078 B . .B ( 0 B . .B.
\ \
com WM ! B4 .
4N
4M
b) Sejam \ ` um espao mensurvel e 04 4N uma sucesso
generalizada de funes mensurveis 04 \ tal que, para cada B \ ,
a sucesso generalizada dos elementos 04 B tenha limite 0 B em .
Verificar que, apesar de 0 B admitir uma caracterizao, em termos de
nfimos e supremos, anloga referida em II.1.5, isso no nos permite
concluir que a funo 0 \ tenha que ser mensurvel.
c) Suponhamos que o espao mensurvel \ ` tal que os conjuntos
unitrios B, com B \ , so mensurveis. Mostrar que qualquer funo
0 \ , mensurvel ou no, limite, ponto a ponto, de uma sucesso
generalizada de funes mensurveis \ . Sugesto: Considerar, para
1. Integrao de funes positivas 101
vem
( 04 B . .B ( 0 B . .B.
\ \
- ]4 tambm separvel.
d) Se ]4 4N uma famlia contvel de subconjuntos separveis de \ , ento
4N
e) Se ] \ compacto, ento ] separvel.
Dem: a) Temos uma consequncia de ] ser uma parte densa em ] .
b) A concluso resulta de II.2.1 e da alnea a) de I.5.25.
c) Se F ] um conjunto contvel denso em ] , F tambm denso em
ad] , uma vez que adF, sendo um fechado de \ que contm ] , contm
tambm ad] .
4N 4N
e) Para cada 8 , a propriedade das coberturas dos conjuntos compactos
garante a existncia de uma parte finita F8 ] tal que a unio das bolas
abertas F"8 B, com B F8 , contenha ] . Tem-se ento que a unio F dos
F8 , com 8 , um subconjunto contvel de ] que denso em ] , uma vez
que, para cada C ] e $ !, podemos escolher 8 tal que 8" $ e
B F8 F tal que C F"8 B, e ento B ] F$ C.
II.2.3 (Imagem por uma aplicao contnua) Sejam \ um espao topolgico
s um espao mtrico e 0 \ \
de base contvel, \ s uma aplicao contnua.
Tem-se ento que 0 \ \ s separvel.
Dem: Seja h uma base contvel de abertos de \ e escolhamos, para cada
Y h, com Y g, um elemento BY Y . Vemos verificar que o
subconjunto contvel F 0 \, cujos elementos so os 0 BY , denso em
0 \. Ora, se C 0 \ e $ !, vem C 0 B, para um certo B \
donde, pela continuidade de 0 em B, existe um aberto Y w de \ , com B Y w
tal que 0 Y w F$ C e, sendo Y h tal que B Y Y w tem-se
0 BY F F$ C.
II.2.4 (Aplicaes topologicamente mensurveis) Sejam \ ` um espao
mensurvel, I um espao de Banach54 e 0 \ I uma aplicao. Vamos
dizer que 0 topologicamente mensurvel se 0 mensurvel, quando se
considera em I a 5 -lgebra UI dos borelianos, e 0 \ separvel.
mD Am maxmDm mAm,
que sabemos definir a topologia produto e tornar I J um espao de
Banach. Sejam \ ` um espao mensurvel e 0 \ I e 1 \ J
duas aplicaes topologicamente mensurveis. ento tambm topologica-
mente mensurvel a aplicao 2 \ I J , definida por
2B 0 B 1B. 55
55Este resultado uma das razes pelas quais temos que trabalhar com aplicaes topo-
logicamente mensurveis. Se 0 e 1 fossem apenas aplicaes mensurveis, no consegui-
ramos mostrar que 2 mensurvel, sem as hipteses de I e J serem de separveis.
56No caso de :, topologicamente mensurvel o mesmo que mensurvel, uma vez que
, igual a ou # , separvel.
106 Cap. II. O integral
4N
0 \ I uma aplicao tal que, para cada 4 N , 0\4 \4 I seja topo-
logicamente mensurvel. Tem-se ento que 0 \ I topologicamente
mensurvel.
Dem: A aplicao mensurvel, tendo em conta I.5.6, e o facto de 0 \ ser
separvel uma consequncia de se tratar da unio dos 0 \4 , que so
separveis (cf. a alnea d) de II.2.2).
II.2.12 Sejam \ ` um espao mensurvel, ] um espao mtrico e 08 8
uma sucesso de aplicaes mensurveis tal que, para cada B \ ,
08 B 0 B. Tem-se ento que a aplicao 0 \ ] , assim definida,
mensurvel.
Dem: Tendo em conta I.5.7, tudo o que temos que verificar que, para cada
aberto Z de ] , 0 " Z `, podendo j afastar-se o caso trivial em que
Z ] , e portanto 0 " Z \ . Lembrando que, no contexto dos espaos
mtricos, a distncia a um conjunto fechado no vazio uma funo contnua
que se anula exatamente nesse conjunto fechado, podemos, para cada 7 ,
considerar o aberto Z7 Z , definido por
"
Z7 C ] .C ] Z .
7
Vamos mostrar em seguida que se tem
0 " Z . , 08" Z7 ,
75 85
.08 B ] Z .0 B ] Z ,
B . , 08" Z7 .
75 85
8
conclumos que
0 \ ad. 08 \
8
( m0 Bm . .B _.
_ ( m0 Bm . .B " ( m0 Bm . .B
\ 4N \4
( m0 Bm . .B .\4! mA4! m,
\4!
58Repare-seque os D4 esto bem determinados para os ndices 4 tais que \4 g mas que,
se \4 g, qualquer D4 I verifica a condio referida. Anloga observao vale evi-
dentemente para os A5 .
110 Cap. II. O integral
Para concluir a igualdade do enunciado, basta assim verificar que, para cada
par 4 5 N! O!
.\4 \5w A4 .\4 \5w D5
( 0 . . ( 0 B . .B " .\4 A4 ,
4N!
funo simples (cf. II.1.6) e com ' 0 . . _ e que, nesse caso, o integral
uma funo 0 \ uma aplicao em escada se, e s se, uma
( ! . . !.
( 0 B 1B . .B ( 0 B . .B ( 1B . .B.
( 0 B 1B . .B " .\4 D4 A4
4N! 4N!
( 0 B . .B ( 1B . .B.
( !0 B . .B !( 0 B . .B. 59
!( 0 B . .B.
( +0 B . .B +( 0 B . .B;
( 0 B A . .B ( 0 B . .B A.
( 0 B . .B ( m0 Bm . .B.
E85 B \ a m0 B A5 m m0 B A4 m,
"48
conjunto que mensurvel por ser a interseco, para " 4 8, das ima-
gens recprocas de ! _ pelas funes mensurveis \ ,
B m0 B A4 m m0 B A5 m.
Para cada 8 , a unio dos E85 , com " 5 8, igual a \ , uma vez
que, para cada B \ , dos vetores A" A8 , h pelo menos um a distncia
mnima de 0 B. Alm disso, se B E85 , tem-se
m0 B A5 m m0 B A" m m0 Bm,
donde
mA5 m mA5 0 B 0 Bm mA5 0 Bm m0 Bm #m0 Bm.
Apesar de, para cada 8 , os conjuntos E85 no serem necessariamente
disjuntos dois a dois, por poder existir na sequncia A" A8 mais que um
vetor a distncia mnima de 0 B, podemos deduzir do lema I.2.11 a
existncia de conjuntos mensurveis disjuntos dois a dois F85 E85 , para
" 5 8, ainda com unio igual a \ .
Defina-se agora, para cada 8 , uma aplicao 08 \ I pela condio
de se ter 08 B A5 , para cada B F85 , aplicao que verifica, como
mostrmos atrs, m08 Bm #m0 Bm, e para a qual
08 \ A" A8 0 \ !,
As aplicaes 08 so topologicamente mensurveis, por terem restries
constantes, em particular topologicamente mensurveis, aos conjuntos F85
de unio \ , e, no caso em que 0 integrvel, so mesmo aplicaes em
escada, por terem imagem finita e verificarem
( m08 Bm . .B ( #m0 Bm . .B #( m0 Bm . .B _.
( m0!: B 0" : Bm . .B
(1)
o que mostra que a sucesso dos reais m0!: B 0" : Bm tem limite !.
para deduzir que a sucesso dos integrais ' m0!: B 0" : Bm . .B tem
Podemos assim aplicar o teorema da convergncia dominada (cf. II.1.34)
':
Sejam : :
s B . . B _, tais que, m08 Bm :B e m0s 8 Bm :
sB. Pela
continuidade da soma, do produto e da norma, nos espaos vetoriais
normados, tem-se, para cada B \ ,
116 Cap. II. O integral
m08 B s0 8 Bm m0 B 0 Bm !,
onde
m08 B s0 8 Bm m08 Bm m0
s 8 Bm :B :
sB,
com
( :B :
sB . .B ( :B . .B ( :
sB . .B _,
( m08 B s0 8 Bm . .B ( ! . .B !
( 08 B . .B ( s0 8 B . .B ( 08 B s0 8 B . .B
( m08 B s0 8 Bm . .B,
vem
s lim ( 08 B . .B ( s0 8 B . .B !,
mA Am
( 0 . . ( 0 B . .B ( 0 B . .B,
\
( 0 B .B ( 0 B .B.
integrvel, igual, por definio ao limite dos integrais ' 08 . ., coincide com
convergncia montona (cf. II.1.18) que o integral de 0 , como funo
( 0 B . .B !.
\
( 0 B s0 B . .B ( 0 B . .B ( s0 B . .B.
! 04 \ I e
de aplicaes integrveis 04 \ I , tambm integrvel a aplicao
4N
60O que permite que utilizemos sem risco, como estamos a fazer, a mesmo notao nos
dois casos.
118 Cap. II. O integral
( 0 B s0 B . .B lim( 08 B s0 8 B . .B
lim( 08 B . .B lim( s0 8 B . .B
( 0 B . .B ( s0 B . .B.
( !0 B . .B !( 0 B . .B.
61Que o torna portanto tambm um espao de Banach distinto, uma vez que a sucesses
convergentes para um dado vetor e as sucesses de Cauchy so as mesmas para duas
normas equivalentes.
2. Integrao de funes com valores num espao de Banach 119
( m!0 Bm . .B ( Q m0 Bm . .B Q ( m0 Bm . .B _,
!lim( 08 B . .B !( 0 B . .B.
( +0 B . .B +( 0 B . .B;
( 0 B A . .B ( 0 B . .B A.
( 0 B . .B ( m0 Bm . .B.
para cada 8 ,
Uma vez que, por definio, tem-se ' 0 B . .B lim ' 08 B . .B, e
portanto tambm ' 0 B . .B lim ' 08 B . .B e que, pelo teore-
( 0 B . .B ( m0 Bm . .B.
( 0 B . .B lim ( 08 B . .B.
( m0 Bm . .B ( :B . .B _.
( m08 B 0 Bm . .B ( ! . .B !
( 08 B . .B ( 0 B . .B ( 08 B 0 B . .B
( m08 B 0 Bm . .B,
tambm
( 08 B . .B ( 0 B . .B !,
.0 E ( 0E B . .E B ( E B0 B . .B.
E \
(1) ( 0E B . .E B ( E B0 B . .B.
E \
(2) ( 0E B . .E B " .E \5 A5 .
E 5O!w
(3) ( E B0 B . .B " .E \5 A5
\ 5O!w
( :E B . .E B .: E .: \ ( :B . .B _
E \
( 08 E B . .E B ( 0E B . .E B,
E E
( E B08 B . .B ( E B0 B . .B.
\ \
( 08 E B . .E B ( E B08 B . .B,
E \
podemos concluir que se tem efetivamente (1), para cada funo integrvel
0 \ I e cada E `, o que nos permite definir .0 E I por
qualquer das duas expresses no enunciado.
O facto de se ter .0 E !, sempre que .E !, uma consequncia da
primeira caracterizao, tendo em conta II.2.33. O facto de, sempre que
zao, tendo em conta II.2.34, uma vez que, sendo E - E4 , tem-se, para
4M 4M
4M
cada B \ ,
E B0 B " E4 B0 B.
4M
( 0 B . .B
E
( 0 B .B.
E
.0 E ( 0 B . .B.
E
124 Cap. II. O integral
( 0 B . .B ( 0 B . .B.
\ \]
( 0 B . .B .0 \ .0 \ ] .0 ]
\
.0 \ ] ( 0 B . .B.
\]
( 0 B . .B ( s0 B . .B.
\ \
( 0 B . .B ( 0 B . .B ( s0 B . .B
\ \] \]
( s0 B . .B.
\
( 0 B . .B ( 1B . .B
\ \
( 1B . .B ( 0 B . .B ( 1B 0 B . .B,
( 0 B . .B ( 1B . .B,
\ \
sempre. claro que, nesta forma, o resultado deixa de ser vlido para
aplicaes integrveis com valores num espao de Banach (considerar,
por exemplo uma funo em escada que tome valores simtricos em dois
conjuntos com igual medida e se anule no restante do domnio). O melhor
que conseguimos nesta direo vai ser um corolrio do resultado que
apresentamos em seguida.
( 0 B . .B G .
"
.E E
Tem-se ento 0 B G quase sempre, isto , existe ] ` com .] !
tal que 0 B G , para cada B \ ] .
Dem: Vamos dividir a demonstrao em duas partes:
1) Sejam A I e < ! tais que F< A I G , onde F< A a bola
aberta de I com centro A e raio <. Vamos mostrar que se tem quase sempre
0 B F< A.
Subdem: Seja 1 \ a aplicao mensurvel definida por 1B
m0 B Am e reparemos que, para cada E f , tem-se
63Como exemplos tpicos de situaes deste tipo, temos aquele em . uma medida
5 -finita numa 5 -lgebra ` e tomamos para f a classe dos E ` com .E _ (cf.
I.4.11) e aquele em que ` a 5 -lgebra dos borelianos de um intervalo aberto X de , .
a medida de Lebesgue-Stieltjes associada a uma certa funo 1 e f a classe dos
X-intervalos semiabertos (cf. I.4.10). Repare-se que nestes exemplos os conjuntos dos
semianel tm todos medida finita.
126 Cap. II. O integral
.1 E ( 1B . .B ( m0 Bm mAm . .B
E E
( m0 Bm . .B .EmAm _,
E
" '
tambm 5 -finita. Seja E f arbitrrio. Se .E !, o facto de se ter
.E E 0 B . .B G implica que
( 0 B . .B A <
"
.E E
donde
.1 E ( m0 B Am . .B ( 0 B A . .B
E E
( 0 B . .B .EA
E
.E ( 0 B . .B A <.E,
"
.E E
e portanto .1 E <.E, desigualdade que tambm vlida, trivialmente,
no caso em que .E !. Uma vez que a medida <. ` tem tambm
restrio 5 -finita ao semianel f , podemos deduzir de I.4.17 que a desigual-
dade .1 E <.E vlida, mais geralmente, para todo o E `.
Seja agora E `,
E B \ 0 B F< A B \ 1B <
4N
\4 E ` verifica .\4 E _, deduzimos de II.2.44 que
.1 \4 E ( 1B . .B ( < . .B <.\4 E
\4 E \4 E
4N
.E " .\4 E !,
4N
.] ! .]8 !
8
tem-se ] `, e, para cada B \ ],
0 B - F8 , portanto 0 B G . Ficou assim provado que se tem
8
8
efetivamente 0 B G quase sempre.
II.2.46 (Corolrio) Sejam \ ` . um espao de medida e f ` um
semianel tal que a 5 -lgebra gerada por f seja ` e que a restrio de . a f
seja 5 -finita. Sejam I um espao de Banach e 0 \ I uma aplicao
topologicamente mensurvel tal que, sempre que E f , se tenha
.E _, 0E E I integrvel e
( 0 B . .B !.
E
64Para um estudo mais aprofundado das famlias somveis num espao de Banach, ver,
por exemplo [9].
128 Cap. II. O integral
A " A4 $.
4M
Tem-se ento:
a) Se a famlia somvel, no existe mais que um vetor A com a propriedade
referida, pelo que legtimo definir a soma de uma famlia somvel, notada
" A4
4N
4N
notao seria ambgua).
4N
palavras, mais uma vez, a notao no ambgua).
d) (Mudana de ndices) Sejam A4 4N uma famlia de vetores de I , N w
outro conjunto de ndices e : N w N uma aplicao bijetiva. Tem-se ento
que a famlia A4 4N somvel se, e s se, a famlia A:3 3N w somvel e,
quando isso acontecer,
" A3 " A:3 .
4N 3N w
W8 " A:
8
:"
A " A 4 $ , A w " A4 $ .
4M 4M w
#$ mA Aw m A " A4 Aw " A4
4M 4M
A " A 4 A " A4 $ $ # $ ,
w
4M 4M
4M!
+ $ e o facto de se ter +4 ! implica ento que, para cada parte finita
M M! , tem-se
+ $ "+4 "+4 +,
4M! 4M
4M
finita arbitrria M , por M! M ser uma parte finita contendo M! ,
"+4 " +4 + ",
4M 4M! M
" A4 ( A4 . / 4,
4N N
tendo-se, em particular,
j que esta condio implica, em particular, que mA4 m ! para cada 4 fora de
uma certa parte contvel de N , pelo que o conjunto dos A4 contvel e
portanto a famlia mesmo uma aplicao topologicamente mensurvel.
67Comparar com II.1.32. Note-se que no afirmamos que uma famlia somvel tenha que
ser absolutamente somvel (embora se possa provar que isso acontece no caso em que
I ou, mais geralmente, em que I tenha dimenso finita, ver, por exemplo, os
exerccios da seco 2.5 de [9]).
2. Integrao de funes com valores num espao de Banach 131
portanto
" mA4 m $.
4N M!
( A4 . / 4 " A4 ( A4 . / 4 ( A4 . / 4
N 4M N M
( A4 . / 4 ( mA4 m . / 4
" mA4 m $,
N M N M
4N M
" m04 Bm 1B
4N
4N
tem-se que 0 integrvel e
( 0 B . .B " ( 04 B . .B,
\ 4N \
Dem: Comecemos por notar que, no caso em que o conjunto dos ndices N
finito, o resultado uma consequncia de II.2.34. Resta-nos mostrar o
resultado no caso em que N numervel, caso em que, por uma mudana do
conjunto de ndices, podemos supor que N Nesse caso, sabemos que se
tem 0 B lim =8 B onde =8 B ! 04 B, e portanto os =8 \ I so
8
4"
aplicaes integrveis e com integrais
( =8 B . .B " ( 04 B . .B.
8
\ 4" \
4" 4N
( " m04 Bm . .B
\ 4N
( 1B . .B _
\
4" \ 4N \
.0 E ( 0E B . .E B ( E B0 B . .B
E \
3M
dente, considerando para 1 \ a funo definida por 1B m0 Bm e
para 03 \ I a aplicao definida por 03 B E3 B0 B, reparando que,
para cada B \ E, 03 B !, para todo o 4, e, para cada B E3! ,
" A4 ( A4 . / 4, " A4 ( A4 . / 4.
4N N 4N3 N3
14 A" A# AR A4 ,
+4 A4 ! ! A4 ! !.
( 0 B . .B ( 0" B . .B ( 0# B . .B ( 0R B . .B.
\ \ \ \
0 B " +4 04 B.
R
4"
Tal como fizmos na seco II.1, vamos agora examinar alguns resultados
que estudam o comportamento do integral quando se altera a medida con-
siderada.
( 0 B . .: B ( :B0 B . .B.
( :B0 B . .B ( ":B\4 B A4 . .B
4N!
".: \4 A4 ( 0 B . .: B.
4N!
em conta II.1.35,
( :B<B . .B ( <B . .: B _,
( :B08 B . .B ( 08 B . .: B
deduzir que
( 0 B . .: B.
( 0 B .. . B ( 0 B . .B ( 0 B . . B,
w w
\ \ \
( 0 B .+.B +( 0 B . .B.
\ \
( m0 Bm .. . B ( m0 Bm . .B ( m 0 Bm . . B _,
w w
\ \ \
( m0 Bm .+.B +( m0 Bm . .B _.
\ \
( 0 B .. . B " .\4 . \4 A4
w w
\
4N! 4N!
( 0 B . .B " .\4 A4 ,
\ 4N!
( 0 B . . B " . \4 A4 ,
w w
(2)
\ 4N!
onde, em cada caso, podero ter ficado a faltar parcelas nos segundos
membros, correspondentes a alguns dos ndices 4 em N N! , mas todas iguais
a ! por ser A4 !. Comparando as igualdades destacadas em (1) e (2)
obtemos assim, neste caso particular, as igualdades no enunciado.
Passemos agora ao caso geral em que 0 integrvel relativamente a . e a .w ,
e portanto tambm relativamente a . .w e a +.. Relativamente a . .w ,
podemos considerar uma sucesso dominada 08 8 de funes em escada
m08 Bm :B, para cada B \ e 8 . Uma vez que, por II.1.37, tem-se
( :B .. . B ( :B . .B ( :B . . B,
w w
\ \ \
( :B .+.B +( :B . .B,
\ \
( 0 B .. . B lim ( 08 B .. . B
w w
\ \
lim( 08 B . .B ( 08 B . .w B
\ \
lim( 08 B . .B lim( 08 B . .w B
\ \
( 0 B . .B ( 0 B . . B w
\ \
e, do mesmo modo,
+ lim( 08 B . .B +( 0 B . .B.
\ \
138 Cap. II. O integral
( 0 C . . C ( 0 :B . .B.
w
] \
( m0 :Bm . .B ( m0 Cm . . C.
w
\ ]
( <:B . .B ( <C . . C _
w
\ ]
( 0 C . . C lim ( 08 C . . C lim ( 08 :B . .B
w w
] ] \
( 0 :B . .B.
\
2. Integrao de funes com valores num espao de Banach 139
Exerccios
1B
0 B, se m0 Bm racional
!, se m0 Bm irracional
( 1B . .B ( 2B . .B ( s1B . .B ( 2B
s ..B,
\ \ \ \
( 0 B . .B ( 1B . .B ( 2B . .B,
\ \ \
( 0 B s0 B . .B ( 0 B . .B ( s0 B . .B,
\ \ \
( +0 B . .B +( 0 B . .B,
\ \
( 0 B . .B ( l0 Bl . .B.
\ \
72Oselementos da forma =A >D , com = > e = > ", podem ser encarados como
mdias pesadas de A e D associadas aos pesos = e >.
2. Integrao de funes com valores num espao de Banach 143
-" H I convexo.
e) Seja I um espao vetorial normado. Mostrar que, para cada A I e
< !, as bolas aberta e fechada de centro em A e raio <, F< A e F < A, so
conjuntos convexos. Mostrar que, se G I um conjunto convexo, ento a
aderncia adG um conjunto convexo.
f) Sejam I um espao vetorial normado e G I um conjunto convexo.
Mostrar que o interior intG tambm um conjunto convexo e, mais do que
isso, que, se A intG e D adG, ento A D D intG. Deduzir,
em particular, que, se G I um conjunto convexo com intG g, ento
qualquer D aderente a G tambm aderente a intG.
Sugesto: Fixado C " >A >D , para um certo ! > ", tem-se
C >D
A ,
" >
pelo que existe & ! tal que, para cada Cw F& C e D w F& D
Cw >D w
G;
" >
fixando D w F& D G , concluir que F& C G .
g) Sejam I um espao vetorial, G I um conjunto convexo, A" A8
elementos de G e >" >8 com >" >8 ". Mostrar, por
induo em 8, que
>" A" >8 A8 G . 73
h) (Integral e conjuntos convexos) Sejam I um espao de Banach e G I
um conjunto convexo. Sejam \ ` . um espao de medida com
.\ " (um espao de probabilidade) e 0 \ G I uma aplicao
integrvel. Mostrar que
( 0 B . .B adG. 74
\
73Como no caso 8 #, >" A" >8 A8 pode ser encarado como uma mdia pesada
74Mais uma vez, o integral ' 0 B . .B G pode ser encarado como uma mdia
dos vetores A" A8 , associada aos pesos >" >8 .
\
pesada dos valores de 0 , com a distribuio de pesos definida pela medida de
probabilidade .
75A concluso de g) tambm podia ter sido reformulada no mesmo sentido.
144 Cap. II. O integral
( 0 B . .B adG.
"
.E E
( 0 B . .B frG,
\
( 0 B . .B intG.
\
( 0 B . .B intG
"
.E E
( 0 B . .B intG,
"
.E E
(
"
0 B . .B adG.
.\ E \E
( 0 B . .B adG.
\
( 0 B . .B frG,
\
( 0 B . .B intG.
\
( 0 B . .B intG,
"
.E E
e portanto tambm 'E 0 B . .B intG. Aplicar ento a concluso de b),
reparando que
( 0 B . .B ( 0 B . .B ( 0 B . .B.
\ E \E
( 0 B . .B ( 0 B . .B.
\ ]
( B . .B.
"
B\
.\ \
( 04 B . .B ( 0 B . .B.
\ \
( 0 B . .B " ( 04 B . .B.78
\ 4N \
que
( -0 B . .B -( 0 B . .B.
\ \
" ( m04 Bm . .B _.
4N \
0 integrvel e
( 0 B . .B " ( 04 B . .B, 80
] 4N \
somvel de vetores de I .
4N
conjunto dos B tais que :B _ e aplicando II.2.49 s restries a ] das
aplicaes 04 .
81Esta observao permite fazer a ponte com a definio mais geral de aplicao local-
mente integrvel que ser apresentada adiante em III.4.15.
3. Propriedades elementares do integral indefinido 149
( m0 Bm .B ( - .B -, + _,
M M
( 0 B.B ( 0 B .B (
,
0 B .B
+ +, +,
( 0 B .B ( 0 B .B.
+, +,
( 0 B.B ( 0 B.B.
, +
+ ,
(
+
0 B .B !,
+
( 0 B .B ( 0 B .B,
+ ,
, +
( 0 B .B ( 0 B .B ( 0 B .B.
- , -
+ + ,
( 0 B .B ( 0 B .B ( 0 B .B (
-
0 B .B
+ +- +, ,-
( 0 B .B ( 0 B .B.
, -
+ ,
( 0 B .B ( 0 B .B ( 0 B .B ( 0 B .B
- + , +
+ - - ,
( 0 B .B ( 0 B .B.
, -
+ ,
A frmula est assim estabelecida nos casos em que , est entre + e - (no
sentido lato) e passamos a estabelec-la nos casos em que + est entre , e - e
em que - est entre + e , . Ora, tendo em conta o caso j estudado, temos, no
primeiro caso,
( 0 B .B ( 0 B .B ( 0 B .B ( 0 B .B ( 0 B .B,
- + - , -
, , + + +
e, no segundo caso,
( 0 B .B ( 0 B .B ( 0 B .B ( 0 B .B ( 0 B .B,
, - , - -
+ + - + ,
s0 > ( 0 B .B.
>
>!
M8 o intervalo > >8 ou o intervalo >8 >, conforme > >8 ou >8 >, e repa-
remos que
s >8 s0 >m ( 0 B .B ( 0 B .B
>8
m0
> M8
(1)
( m0 Bm.B ( M8 Bm0 Bm .B.
M8 +,
0 1 N I e +0 N I so derivveis em >! e
0 1w >! 0 w >! 1w >! , +0 w >! +0 w >! .
- -0 w >! .
- 0 >8 - 0 >! 0 >8 0 >!
>8 >! >8 >!
e) Sejam J K L trs espaos de Banach e 0 J K L uma aplicao
bilinear contnua, que encaramos como uma multiplicao, notando, para
cada A J e D K,
A D 0A D L .
Se 0 N J e 1 N K so duas aplicaes derivveis em >! , ento a
aplicao 0 1 N L , 0 1> 0 > 1>, tambm derivvel em >!
e com
0 1w >! 0 w >! 1>! 0 >! 1w >! .
Dem:83 Uma vez que o caso + , trivial vamos supor j que + , . Tendo
em conta a continuidade de 0 , para mostrar a desigualdade do enunciado
basta mostrar que, para cada + +w , se tem
m0 , 0 +w m Q , +w .
Fixemos um tal +w e seja $ ! arbitrrio. Consideremos o conjunto G dos
> +w , tais que
m0 > 0 +w m Q $ > +w .
Trata-se de um subconjunto fechado de +w ,, que no vazio, por conter +w ,
pelo que podemos considerar o mximo - do conjunto G , que verifica
portanto a desigualdade
m0 - 0 +w m Q $ - +w .
Se se tivesse - , , ento o facto de se ter
lim m0 w -m Q Q $
0 > 0 -
>- >-
implicava a possibilidade de escolher >, com - > , tal que
Q $,
0 > 0 -
>-
de onde deduzamos que
m0 > 0 +w m m0 > 0 -m m0 - 0 +w m
Q $ > - Q $ - +w Q $ > +w ,
ou seja, > G , o que contrariava a hiptese de - ser o mximo de G . Tem-se
assim - , , ou seja, m0 , 0 +w m Q $ , +w . Por fim, uma vez
que $ ! arbitrrio, a desigualdade anterior implica que se tem mesmo
m0 , 0 +w m Q l, +w l, como queramos.
II.3.8 (Corolrio) Sejam + , em , I um espao de Banach e 0 + , I
uma aplicao contnua tal que, para cada > + ,, 0 seja derivvel em > e
0 w > !. Tem-se ento que 0 uma aplicao constante.
83A demonstrao que vamos fazer a simplificao de uma, devida a J. Dieudonn, para
um resultado mais forte em que se permite a existncia de um conjunto contvel de
pontos do intervalo onde no se exige a derivabilidade de 0 (cf. [3]). Ver o exerccio
II.3.2, no fim do captulo, para uma verso desse resultado mais forte.
154 Cap. II. O integral
s0 > ( 0 B .B.
>
>!
w
Se 0 contnua em >" N , ento s0 derivvel em >" e com s0 >" 0 >" .
Dem: Seja $ ! arbitrrio. Seja & ! tal que, para cada > N com
>" & > >" &, se tenha m0 > 0 >" m $ . Para cada > N >"
nessas condies, tem-se ento, notando M >" & >" & o intervalo
fechado de extremidades >" e >,
s > s0 >" > >" 0 >" m
m0
>! >!
( 0 B .B ( 0 >" .B ( 0 B 0 >" .B
> >
>" >" M
donde
0 >" $,
s0 > s0 >"
> >"
s0 >0
s >"
o que mostra que se tem de facto >>" 0 >" , quando > >" .
( 0 B .B 0 , 0 +.
,
s0 > ( 0 B .B,
>
0 , ( 0 B .B 0 , s0 , 0 + s0 + 0 +,
,
ou seja,
( 0 B .B 0 , 0 +.
,
+
-: E ( :w B .B,
E
-:w + , ( :w B .B ( :w B .B :, :+.
,
+, +
156 Cap. II. O integral
( 0 B .B lim (
C
0 B .B.
+, C, +
C+,
( 0 B .B lim (
+
0 B .B.
-+ C- C
C-+
( 0 B .B.
+,
( 0 B .B ( (
A
0 D .D lim 0 D .D
-+ +- A- +
A+-
( 0 B .B lim (
+ +
lim 0 B .B.
A- A C- C
A+- C-+
3. Propriedades elementares do integral indefinido 157
( 0 B .B lim (
C
0 B .B.
+, C, +
C+,
( 0 B .B lim (
+
0 B .B.
-+ C- C
C-+
Dem: a) Temos que mostrar que, qualquer que seja a sucesso de elementos
C8 + ,, com C8 ,, tem-se
( 0 B .B lim (
C8
0 B .B.
+, +
( 0 B .B (
C8
+C8 B 0 B .B
+ +,
( 0 C .C ( 0 :B l: Bl .B.
w
Nw N
( 0 C .C ( l: Bl 0 :B .B.
w
Nw N
: .- w . w .:" - w . w .- . ( :w B .B
-.
(
.
:w B .B :. :- . w - w -- w . w
-
-F ( <w C .C ( :w C .C
<" F :" F
( :w B .B ( l:w Bl .B,
:" F :" F
( 0 C .C ( 0 :B . .B ( 0 :B l: Bl .B.
w
Nw N N
( 0 C .C ( 0 :B . .B ( 0 :B l: Bl .B.
w
Nw N N
( 0 C .C ( 0 :B l: Bl .B.
w
Nw N
( 0 C .C ( l: Bl 0 :B .B.
w
Nw N
: .- w . w .:" - w . w ( :w B .B (
.
:w B .B
-. -
:. :- . w - -- w . w ,
w
N B N :B +w ,
N0 B N :B +w ,w ,
N B N :B ,w ,
onde o primeiro e o ltimo podem eventualmente ser vazios, e
:(N! +w ,w . Tem-se .N .N ! visto que cada um destes
intervalos ou de interior vazio, e nesse caso tem medida de Lebesgue !, ou
tem interior no vazio, e nesse caso :w B !, para cada B no intervalo.
Aplicando o que vimos em 2) restrio :N! N! +w ,w , obtemos
-F -F +w ,w .:N
"
!
F .:" F N!
.:" F N! .:" F N .:" F N
.:" F,
-F ( <w C .C ( :w C .C
<" F :" F
( :w B .B ( l:w Bl .B,
:" F :" F
( 0 C .C ( 0 :B . .B ( 0 :B l: Bl .B.
w
Nw N N
( 0 C .C ( 0 :B . .B ( 0 :B l: Bl .B.
w
Nw N N
162 Cap. II. O integral
Exerccios
0 >0 =
Sugesto: Verificar que, para cada = + >, >= pertence ao segmento
de I de extremidades 0 +0
+=
=
e 0 >0
>+
+
.
Ex II.3.4 Sejam N um intervalo, I um espao de Banach e 0 N I uma
aplicao integrvel (e no s localmente integrvel). Dado >! N , mostrar
que o integral indefinido s0 N I , definido por
s0 > ( 0 B .B,
>
>!
3. Propriedades elementares do integral indefinido 163
1= > ( 0 B .B,
>
a) ( B! .B _ ! ";
!+
b) ( B! .B _ ! ".
+_
Mostrar que
( :B .B _.
+_
(
lB%
"
.B.
!_"
$
B# l
A D 0A D L .
Sejam + , em e 0 + , J e 1 + , K duas aplicaes derivveis
em todos os pontos e com derivadas contnuas. Mostrar que
( 0 B 1B .B 0 , 1, 0 + 1+ ( 0 B 1 B .B.
, ,
w w
+ +
c) Verificar que >" " e deduzir, por induo em 8, que, para cada
8 ,
>8 8 "x.
81 ,
1 &1
81
' '
onde 8 ! inteiro e nula fora da unio destes intervalos. Verificar que a
funo 1 tem integral _, calculando o seu integral como soma de uma
srie.
b) Mostrar que existe e finito o limite dos integrais
lim (
C
0 B .B. 86
C_ !
Sugesto: Para cada C ", utilizar uma integrao por partes para concluir
que
( cos" (
C C
cosC cosB
0 B .B .B
" C " B#
e mostrar que o integral no segundo membro tem limite finito quando
C _, mostrando que a funo B cosB
B# integrvel em " _ e
utilizando II.3.13.
Ex II.3.13 (Generalizao trivial de II.3.15) Sejam N um intervalo de
interior no vazio e : N uma funo montona (no sentido lato),
derivvel em todos os pontos e com derivada contnua :w N e
consideremos o correspondente intervalo N w :N . Mostrar que:
a) Se 0 N w uma funo mensurvel e F N w um boreliano, ento
( 0 C .C ( 0 :B l:w Bl .B.
F :" F
( 0 C .C ( 0 :B l:w Bl .B,
F :" F
( 0 B . .B . F ( E B . .B .E. F . . G,
w w w
\ \
( 04 B . .B . F4 ( E4 B . .B .E4 . F4 . . G4 .
w w w
\ \
87A razo desta observao est em que se pode ter, por exemplo, g F g g F w ,
com F F w , pelo que poderia haver a priori ambiguidade na definio de . .w g.
4. Produto de medidas e teorema de Fubini 167
0 B " 04 B,
4N
. .w G ( 0 B . .B " ( 04 B . .B " . .w G4 ,
\ 4N \ 4N
como queramos.
5O
Tem-se ento c Y .
Dem: Vamos dividir a demonstrao em vrias partes:
1) Vamos dizer, em geral, que uma classe Y de partes de ^ razovel90 se
verificar as condies 1) e 2) no enunciado. Uma vez que a classe c^, de
todas as partes de ^ , razovel e que a interseco de uma famlia arbitrria
de classes razoveis trivialmente uma classe razovel, podemos chamar Y!
interseco de todas as classes razoveis que contm f , que vai ser uma
classe razovel contendo f e contida em qualquer classe razovel que
contenha f (podemos dizer que Y! a classe razovel gerada por f ). O
lema ficar provado se verificarmos que c Y! , para o que bastar provar
que Y! uma 5 -lgebra,91 e isso que vamos fazer em seguida.
2) Para cada conjunto G ^ , seja
YG E ^ E G Y! .
Tem-se ento que YG uma classe razovel.
Subdem: Sendo E F YG , com F E, tem-se F G E G ,
donde
E F G E G F G Y! ,
o que mostra que E F YG . Sendo E5 5O uma famlia contvel de
conjuntos de YG disjuntos dois a dois, os conjuntos E5 G so tambm
disjuntos dois a dois, donde
. E5 G . E5 G Y! ,
5O 5O
Com efeito, tendo em conta o lema I.2.11, podemos escrever -E4 -E4w ,
onde os conjuntos E4w so disjuntos dois a dois e, tendo em conta b) e c),
pertencem a Y! .
II.4.6 (Teorema de Fubini para conjuntos) Sejam \ ` . e ] a .w dois
espaos de medida 5 -finitos e consideremos a medida produto . .w na
5 -lgebra ` a . Seja G ` a . Tem-se ento:
a) Para cada B \ , o conjunto
GB C ] B C G
. .w G ( .w GB . .B.
\
. .w G ( .GC . .w C.
]
Dem: Basta-nos provar apenas a), uma vez que b) resulta de aplicar a) ao
s a `,
conjunto G
s C B ] \ B C G,
G
. .w G .E.w F ( .w GB . .B,
\
( . GB .
w w
GBw . .B
\
( .w G G w B . .B,
\
. .w G " . .w G4 " ( .w G4 B . .B
4N 4N \
( " .w G4 B . .B ( .w GB . .B,
\ 4N \
portanto G Y .
Verificmos assim que a classe Y contm o semianel ` a (que inclui
\ ] ) e verifica as hipteses 1) e 2) do lema II.4.5 pelo que, por esse lema,
Y contm a 5 -lgebra gerada ` a , que exatamente o que pretendemos.
2) Passemos agora demonstrao de a) no caso geral. O facto de a medida
. ser 5 -finita permite-nos, por uma mudana de conjunto de ndices,
":8
. .w G8 ( .w G8 B . .B,
\8
. .w G8 ( .w G8 B . .B.
\
( . GB . .B lim ( . G8 B . .B lim . . G8 . . G,
w w w w
\ \
como queramos.
II.4.8 (Nota) A determinao que acabamos de fazer far pouco sentido para
quem 1 seja, por definio, a rea do crculo referido; , em particular, o que
acontece quando nos colocamos no contexto da definio geomtrica das
funes trigonomtricas. Essa determinao j faz, no entanto, todo o sentido
quando nos colocamos num contexto em que definimos as funes trigono-
mtricas de forma no geomtrica, por exemplo por
174 Cap. II. O integral
B '] 0 B C . .w C e tem-se
0B C 0 B C. Alm disso, mensurvel a funo \ definida por
( 0 B C . . .w B C ( ( 0 B C . .w C . .B.
\] \ ]
C '\ 0 B C . .B e tem-se
0C B 0 B C. Alm disso, mensurvel a funo ] definida por
( 0 B C . . .w B C ( ( 0 B C . .B . .w C.
\] ] \
Dem: Basta-nos provar apenas a), uma vez que b) resulta de aplicar a)
aplicao mensurvel s0 ] \ definida por s0 C B 0 B C, para
a qual se tem
( s0 C B . .w .C B ( 0 B C . . .w B C
\] \]
( 0 B C . . C " +4 . ^4 B .
w w
] 4N
( ( 0 B C . . C . .B " +4 ( . ^4 B . .B
w w
\ ] \
" +4 . .w ^4
4N
4N
( 0 B C . . .w B C.
\]
( 0 B C . . C lim( 08 B C . . C.
w w
] ]
B '] 08 B C . .w C
Uma vez que, mais uma vez pelo que vimos em 1), as funes \ ,
so mensurveis e que, por ser
08 B C 08" B C, vem
( 08 B C . . C ( 08" B C . . C,
w w
] ]
mensurvel de \ em e que
( ( 0 B C . . C . .B lim ( ( 08 B C . . C . .B
w w
\ ] \ ]
lim ( 08 B C . . .w B C
\]
( 0 B C . . .w B C.
\]
176 Cap. II. O integral
B ( 0 B C . .w C.
]
( 0 B C . . .w B C ( ( 0 B C . .w C . .B.
\] \\_ ]
C ( 0 B C . .B.
\
( 0 B C . . .w B C ( ( 0 B C . .B . .w C.
\] ] ]_ \
Dem: Basta-nos provar apenas a), uma vez que b) resulta de aplicar a)
aplicao topologicamente mensurvel s0 ] \ I definida por
s0 C B 0 B C, que, no caso em que 0 \ ] I integrvel,
integrvel e com
( s0 C B . .w .C B ( 0 B C . . .w B C
\] \]
( m0 B Cm . . C _
w
]
( ( m0 B Cm . . C . .B (
w
m0 B Cm . . .w B C _,
\ ] \]
0 B C " ^4 B C A4 ,
4N
e portanto, se B \ \_ ,
( ^4 B C . . C ( m0 B Cm . . C _.
w " w
] mA4 m ]
B ( ^4 B C . .w C
]
( 0 B C . . C " ( ^4 B C . . C A4 ,
w w
] 4N ]
178 Cap. II. O integral
B ( 0 B C . .w C.
]
( (
"
^4 B C . . .w B C m0 B Cm . . .w B C _
\] mA4 m \]
( ^4 B C . . .w B C ( ( ^4 B C . .w C . .B
\] \ ]
( ( ^4 B C . .w C . .B
\\_ ]
B ( ^4 B C . .w C.
]
( 0 B C . . .w B C " ( ^4 B C . . .w B C A4
\] 4N \]
" ( ( ^4 B C . .w C . .B A4
4N \\_ ]
( "( ^4 B C . .w CA4 . .B
\\_ 4N ]
( ( " ^4 B C A4 . .w C . .B
\\_ ] 4N
( ( 0 B C . .w C . .B.
\\_ ]
( m08 B Cm . . C ( # m0 B Cm . . C
w w
] ]
#( m0 B Cm . .w C _
]
( 08 B C . . C ( 0 B C . . C
w w
] ]
( m08 B Cm . . C _,
w
]
B ( 0 B C . .w C.
]
( m08 B Cm . . .w B C ( # m0 B Cm . . .w B C
\] \]
#( m0 B Cm . . .w B C _
\]
( 08 B C . .w C ( m08 B Cm . .w C ( #m0 B Cm . .w C,
] ] ]
onde
( #m0 B Cm . . .w B C _,
\]
lim ( 08 B C .. .w B C
\]
( 0 B C .. .w B C.
\]
( 0 B C . . .w B C
\]
( 0 B C . .B . .w C,
\]
Exerccios
pertence a `, por outras palavras, esta parte das concluses das alneas a) e
b) de II.4.6 no depende da considerao das medidas . e .w e, muito menos,
do facto de estas serem 5 -finitas. Sugesto: Reparar que estes conjuntos so
imagens recprocas de G por aplicaes mensurveis convenientes.
Ex II.4.2 (Cf. Halmos [6]) Reparar que, se \ ` . e ] a .w so espaos
de medida, no necessariamente 5 -finitos, faz sentido generalizar a definio
4. Produto de medidas e teorema de Fubini 181
( / GB . -B ",
!"
( -GC . / C !.
!"
( 0 B . .B . -E.
\
. -F ( l0 B 1Bl . .B.
\
( BC .B .C.
$
E
" A4 ( A4 . / 4.
4N
8_
: :"
4N
mostrar que 0 integrvel e
( 0 B . .B " ( 04 B . .B,
\ 4N \
ento
( 0 B . .B " ( 0 B . .B,
E 4N E4
(
#1 8
"
sinB /B> .B " /#18> .
! " >#
b) Mostrar que, para cada B ! em , tem-se
(
"
/B> .> .
!_ B
( .B (
sinB " /#18>
.>.
!#18 B !_ " >#
lim (
sinB 1
.B ,
8_ !#18 B #
( 0 B . -: B :, 0 , :+ 0 + ( :B0 w B .B.
,
+, +
( 0 C . -: B .C,
w
G
( 0 B . -: B, ( 0 B . -: B, ( 0 B . -: B.
+, +, +,
s0 B ( s1B (
B B
0 > .>, 1> .>.
+ +
Sugesto: Fixado >, reparar que + > + > a unio disjunta dos subcon-
4. Produto de medidas e teorema de Fubini 187
( 0 B s1B .B ( 0 B 1C .B .C
>
+ E>
e que
( s0 B 1B .B ( s0 C 1C .C ( 0 B 1C .B .C.
> >
+ + F>
conclumos que -# - -.
5. Medida de Lebesgue em dimenses superiores 189
"
toma o valor " em ! "8 , tendo-se assim, por I.5.8, -. -8 , portanto
. - -8 .
II.5.10 (O coeficiente de dilatao de um isomorfismo) Seja 0 8 8 um
isomorfismo. Existe ento um nico real -0 ! _ tal que, para cada
boreliano E 8 , -8 0E -0 -8 E. Dizemos que -0 o coeficiente de
dilatao do isomorfismo 0
Dem: Que no pode existir mais que um nmero real -0 nas condies
anteriores uma consequncia de que, escolhendo um boreliano E com
! -8 E _ (por exemplo uma bola de raio maior que !, que
limitada e de interior no vazio), no pode deixar de ser -0 -8-80E
E
.
Considere-se agora a medida . nos borelianos de 8 definida por
.E -8 0E (a medida imagem direta de -8 pela aplicao mensurvel
0" 8 8 , medida para a qual se tem, para cada B 8 ,
.B E -8 0B E -8 0B 0E -8 0E .E,
ou seja, invariante por translao. Por outro lado, uma vez que a aplicao
linear 0 8 8 contnua (como qualquer aplicao linear 8 8 ,
sabemos que existe Q ! tal que m0Cm Q mCm, para cada C 8 , e
daqui resulta que, se E 8 um boreliano limitado, o boreliano 0E
tambm limitado, e portanto .E -8 0E _. Deduzimos agora
de II.5.9 que existe -0 ! _ tal que . -0 -8 , isto , tal que, para cada
boreliano E de 8 , -8 0E -0 -8 E, tendo-se mesmo -0 !, uma vez
que
_ -8 8 -8 08 -0 -8 8 .
como queramos.
8 8
II.5.12 (Mudana de variveis linear num integral) Seja 0 um
isomorfismo, com coeficiente de dilatao -0 . Tem-se ento:
a) Para cada funo mensurvel 1 8 ,
194 Cap. II. O integral
( 1C . -8 C -0 ( 10B . -8 B.
8 8
( 1C . -8 C -0 ( 10B . -8 B.
8 8
( 1C . -8 C ( 10B . .B
8 8
onde, por II.1.35, nas hipteses de a), e por II.2.54, nas hipteses de b)),
( 10B . .B -0 ( 10 B . -8 B.
8 Y
-" !
! !
!
-#
! -8
!
O caso em que 8 " uma consequncia de II.5.11, uma vez que 3" B
est contido no subespao vetorial B de dimenso " 8 ".
(
8"
+8"
,
. .W8 B
E 8"
,8" +8"
.W8 E,
8"
o que mostra que
F"
-8" + , E - .W8 : + , E _.
( " mBm# 1 . -8 B.
F " !
Podemos agora calcular este ltimo integral com o auxlio das coordenadas
polares generalizadas, isto , considerando o homeomorfismo
F ! _ W8" 8 !, F> B >B,
(cf. II.5.21) e obtemos, tendo em conta mais uma vez o teorema de Fubini,
1 .W8" W8" (
"
>8" >8" .>
!
" " #1"8
18"8 .
8 8# 8#
-8 0 E ( -H0B . -8 B _.
E
Dem: Vamos dividir a prova em vrias partes, cada uma tendo eventual-
mente a sua prpria demonstrao.
a) O conjunto E um boreliano, por ser um produto cartesiano de borelianos
de , e o facto de 0 ser, em particular, um homeomorfismo, e portanto
bimensurvel, implica que 0 E tambm um boreliano. Observe-se
tambm que -8 E " e que, sendo Q o mximo no compacto O da
202 Cap. II. O integral
( -H0B . -8 B Q -8 E Q _.
E
Lembrando que as bolas aberta e fechada de centro , e raio < !, para esta
norma, so respetivamente
F< , ," < ," < ,8 < ,8 <,
F < , ," < ," < ,8 < ,8 <,
notaremos
F<w , ," < ," < ,8 < ,8 <,
e) Vamos mostrar que, quaisquer que sejam , O e ! < & tais que
F<w , O , tem-se
portanto
mH0, " 0 B 0 ,m
mH0, " 0 B 0 , B , B ,m
V $ mB ,m mB ,m " V $ <,
isto ,
H0, " 0 B 0 , F "V$ < !,
ou ainda
0 B 0 , H0, F "V$ < !.
e portanto
tais que E4 F<w 4 ,4 , com ! <4 &, tal que E -E4 . Uma vez que o
finita E4 4N de borelianos disjuntos dois a dois nas condies de e), isto ,
-8 0 E ( -H0B . -8 B,
E
-8 0 E ( -H0B . -8 B.
E
tem
-8 0 E ( -H0B . -8 B _
E
s.
+"w ,"w +8w ,8w ] 0" +" ," +8 ,8 Y
(1) -8 0 E -8 0 s ( - s . -8 B _.
s E
H0 B
s
E
s B H00B 0,
Mas, do teorema de derivao da funo composta, vem H0
donde
-H0s B -H00B -0
.E -8 0 E, .w E ( -H0B . -8 B,
E
-8 0 E ( -H0B . -8 B.
E
Dem: Tendo em conta o lema II.5.25, j sabemos que, para cada boreliano
E Y , 0 E boreliano e
5. Medida de Lebesgue em dimenses superiores 207
(1) -8 0 E ( -H0B . -8 B,
E
-8 0 " F ( -H0C" . -8 C,
F
.F -8 0 " F, .w F ( -H0C" . -8 C,
F
( 1C . .C ( 1C . . C,
w
Z Z
( 10 B . - 8 B ( 1C -H0C" . -8 C.
Y Z
( -H0B . -8 B ( " . -8 C -8 0 E,
E 0 E
( 1C . -8 C ( 10 B-H0B . -8 B.
Z Y
( 1C . -8 C ( 10 B-H0B . -8 B.
Z Y
.E -8 0 E, .E ( -H0B . -8 B.
E
( 1C . -8 C ( 10 B . .B
Z Y
e que, pela caracterizao do integral para a medida definida por uma funo
mensurvel positiva (II.1.35, nas hipteses de a), e II.2.54, nas hipteses de
b)), tem-se
( 10 B . .B ( 10 B-H0B . -8 B.
Y Y
Exerccios
s 8 " 106
.Ws 8 W .
8x
c) Reparar que Ws ! " e . s " " e mostrar que, se 8 ", tem-se
W!
s 8 (comparar com II.5.20).
. s B !, para cada B W
W8
d) (Coordenadas simpliciais generalizadas) Adaptando trivialmente a
demonstrao de II.5.21, mostrar que, para cada 8 !, tem lugar um
homeomorfismo
F s 8 8"
s ! _ W !, F> B >B,
106Em particular, por exemplo no caso 8 ", esta medida no o que esperaramos ser o
comprimento do conjunto em questo.
5. Medida de Lebesgue em dimenses superiores 211
0! B mBm
"
! , se B !
,
!, se B !
( 0! B . -8 B _ ! 8,
F < !
( 0! B . -8 B _ ! 8.
8 F < !
( / .B 1,
#
B
# # # #
tendo em conta a identidade /B C /B /C e calculando o integral
desta funo em # de dois modos distintos, utilizando, por um lado, o
107O valor da funo no ponto ! evidentemente irrelevante para efeitos do clculo dos
integrais e s exibido para fixar ideias. Com este valor, a funo fica contnua em ! se, e
s se, ! !.
212 Cap. II. O integral
( 18" ,
# "
B8 /B .B
!_ 8 ""8"
18" ,
" 8" "
>
# # 8 ""8"
em particular,
> 1.
"
#
-8 E . O
s 7 !.
7
111Estas propriedades sero reencontradas adiante, num contexto mais geral, em III.4.6.
primeira costume dar o nome de regularidade exterior e segunda o de regularidade
interior.
5. Medida de Lebesgue em dimenses superiores 215
1 1
: W" W# TR TW , :B ) cos)B ! sin)TR
# #
Diremos que B W" a longitude generalizada de :B ) e, como j
referimos, ) a sua latitude. Mostrar que a aplicao : um
homeomorfismo, em particular : e :" so aplicaes mensurveis.
b) Sejam E W" um boreliano e 1# )! 1# fixados e consideremos as
correspondentes calotes aberta e fechada FE)! F E)! W# , constitudas
pelos pontos de W# TR TW cuja latitude , respetivamente maior e maior
ou igual a )! e a longitude generalizada pertence a E, definidas portanto por
FE)! cos)B ! sin)TR )! )1# BE
F E)! cos)B ! sin)TR )! )1# BE
1 1
(cf. a figura a seguir, em que )! ' e E um arco de amplitude "# .
e mostrar por que razo a concluso pretendida decorre deste facto. Ter
tambm em conta a alnea b) do exerccio II.5.8.
6. Integrais paramtricos.
2C ( 0 B C . .B
\
( m0 B Cm . .B ( :B . .B _
\ \
6. Integrais paramtricos 217
w `0
0B > B > I .
`>
2w > (
`0
B > . .B,
\ `>
onde, em particular, estamos a afirmar que integrvel a aplicao no
integral precedente.
Dem: Seja >! N arbitrrio. Escolhamos uma sucesso arbitrria de
elementos >8 N >! com >8 >! . Para cada B \ , tem-se ento
`0 0 B >8 0 B >!
B >! lim .
`> >8 >!
Por outro lado, para cada 8 , resulta da hiptese 3) do enunciado, pelo
teorema da mdia em II.3.7, aplicado ao intervalo fechado de extremidades >!
e >8 , que
m0 B >8 0 B >! m :B l>8 >! l,
donde
218 Cap. II. O integral
0 B >8 0 B >!
m m :B,
>8 >!
pelo que, pelo teorema da convergncia dominada em II.2.39, conclumos
que integrvel a aplicao \ I , B `0
`> B >! e que
( B >! . .B lim (
`0 0 B >8 0 B >!
. .B
\ `> \ >8 >!
2>8 2>!
lim .
>8 >!
Tendo em conta a arbitrariedade da sucesso >8 , vemos que existe
(
2> 2>! `0
lim B >! . .B,
>>! > >! \ `>
2w > (
`0
B > . .B
\ `>
w
e a continuidade da aplicao 2 N I ento uma consequncia direta de
II.6.1.
! !0 w D! .
! 0 D8 ! 0 D! 0 D8 0 D!
D8 D! D8 D!
e) (Lema de reduo varivel real) Sejam 0 Y I uma aplicao,
D A e N um intervalo de interior no vazio tais que, para cada
> N , D >A Y . Se >! N tal que 0 seja derivvel, no sentido
complexo, em D >! A, ento derivvel, no sentido real, em >! a aplicao
: N I,
220 Cap. II. O integral
:> 0 D >A,
e com
:w >! A 0 w D >! A.
Dem: Tendo em conta o lema na alnea e), podemos considerar uma aplica-
o : ! " I ,
:> 0 D! >A! D! ,
a qual derivvel, no sentido real, em cada > ! " e com
m:w >m mA! D! 0 w D! >A! D! m Q lA! D! l,
donde, pelo teorema da mdia em II.3.7,
m0 A! 0 D! m m:" :!m
Q lA! D! l" ! Q lA! D! l.
112Temos assm uma condio sobre a derivabilidade e o valor da derivada nos pontos do
segmento que une D! a A! .
113Por exemplo, I
6. Integrais paramtricos 221
w `0
0B D B D I .
`D
para cada B D \ Y ,
`0
m B Dm :B.
`D
Definindo ento uma aplicao 2 Y I ,
2D ( 0 B D . .B,
\
2w D (
`0
B D . .B,
\ `D
onde, em particular, estamos a afirmar que integrvel a aplicao no
integral precedente.
Dem: Seja D! Y arbitrrio. Para estudar a derivabilidade de 2 em D! , basta
estudar a derivabilidade da sua restrio a uma bola aberta F< D! que esteja
contida em Y . Escolhamos uma sucesso arbitrria de elementos
D8 F< D! D! com D8 D! . Para cada B \ , tem-se ento
`0 0 B D8 0 B D!
B D! lim .
`D D8 D!
Por outro lado, para cada 8 , resulta da hiptese 3) do enunciado, pelo
teorema da mdia na alnea f) de II.6.4, que
m0 B D8 0 B D! m :B lD8 D! l,
donde
0 B D8 0 B D!
m m :B,
D8 D!
pelo que, pelo teorema da convergncia dominada em II.2.39, conclumos
que integrvel a aplicao \ I , B `0
`D B D! e que
( B D! . .B lim (
`0 0 B D8 0 B D!
. .B
\ `D \ D8 D!
2D8 2D!
lim .
D8 D!
Tendo em conta a arbitrariedade da sucesso D8 , vemos que existe
222 Cap. II. O integral
(
2D 2D! `0
lim B D! . .B,
DD! D D! \ `D
`0
m B Dm :3 B.
`D3
Definindo ento uma aplicao 2 Y I ,
2D ( 0 B D . .B,
\
D (
`2 `0
B D . .B,
`D3 \ `D3
' `0
Dem: Dado D! Y arbitrrio, para mostrar que existe a derivada parcial
`2
`D3 D! e igual a \ `D3 B D! . .B, basta ter em conta II.6.2, para a
aplicao
B D3 0 B D! " D3 D! 7
que, por restrio, se pode considerar definida no produto cartesiano de \
por um intervalo aberto de contendo D! 3 . No caso em que, para cada
`0
" 3 7 e cada B \ , a aplicao Y I , D `D 3
B D contnua, o
`2
facto de as aplicaes `D3 Y I serem contnuas uma consequncia
direta de II.6.1.
Exerccios
expD "
" :
D
:!
:x
(onde se faz a conveno !! "), srie essa que tambm a soma de uma
famlia absolutamente somvel de nmeros complexos (cf. o exerccio
II.4.8).
a) Mostrar que se tem
exp! ", expD expD,
e, para B ,
expB /B , exp3B cosB 3 senB,
essa varivel, para concluir que a aplicao 2 tem derivada parcial relativamente a essa
varivel, caracterizada pelo integral acima.
115Por outras palavras, se, para cada B \ , 0 Y I de classe G " , ento 2 de
B
classe G " .
224 Cap. II. O integral
Sugesto: A mesma que para a alnea precedente, sendo alm disso de ter em
conta que, para cada & !,
lim ln> >& !.
>!
onde, por definio, para cada > ! em , >D expln>D. Verificar que
esta funo contnua, derivvel em cada ponto D H e com derivada
contnua e que se tem
Verificar ainda que, tal como na alnea b) do exerccio II.3.11, tem-se, para
cada D H, >D " D >D.
Ex II.6.3 Na teoria do integral pelos mtodos de Riemann, costumam-se
demonstrar os dois resultados seguintes:
1) Sejam I um espao de Banach, M e O dois intervalos fechados e limitados
com
2w C (
`0
B C .B.
M `C
Verificar que estes dois resultados podem ser demonstrados a partir dos
teoremas sobre o integral paramtrico em II.6.1 e II.6.2.
Ex II.6.4 Seja 2 ! _ a funo definida por
2B ( B /B> .>.
!_
s0 C ( exp#13BC 0 B .B
s0 + C l " l s0 " C.
+ +
Em particular, a aplicao integrvel 1 I definida por 1B 0 B
tem transformada de Fourier s1 definida por s1C s0 C.
Ex II.6.6 (Exemplos de transformadas de Fourier) a) Seja 0 a
funo definida por
0 B
/B , se B !,
0, se B !.
226 Cap. II. O integral
s0 C "
" #13C
b) Seja 1 a funo definida por
1B /lBl .
Reparar que se tem quase sempre 1B 0 B 0 B e deduzir que 1
integrvel e que a sua transformada de Fourier s1 est definida por
#
s1C .
" %1 # C #
sen#1C cos#1C"
s0 C #1 C #1 C 3, se C !
.
", se C !
s1C
sen#1C
1C , se C !
.
#, se C !
116Em rigor esta condio s colocada aqui para simplificar o exerccio, uma vez que se
pode verificar ser implicada pelas restantes: O facto de m0 w Bm ter integral finito em
implica que, para + e , prximos de _, m0 , 0 +m pequeno, o que implica
uma condio do tipo Cauchy, que arrasta a existncia de limite para 0 B, quando
6. Integrais paramtricos 227
s1C #13C s0 C.
Sugesto: Reparar que o integral em o limite dos integrais em 8 8 e,
para o clculo destes, utilizar uma integrao por partes.
Ex II.6.10 (Transformada de Fourier aplicada duas vezes) Sejam I um
espao de Banach e 0 I uma aplicao contnua, limitada e integrvel,
cuja transformada de Fourier s0 I seja tambm integrvel. Sendo
s
s0 I a transformada de Fourier de s0 I , tem-se ento, para cada
D
s
s0 D 0 D.
s0 D ( exp#13DC s0 C .C
s
B _, e esse limite tem que ser !, sem o que 0 no seria integrvel; O exame do
limite quando B _ anlogo.
CAPTULO III
Espaos funcionais e aplicaes
( 0 B . .B G .
"
.\ \
4N
"
.\4
",
4N
.\
2) Vamos admitir que 0 pode ser uma aplicao integrvel, mas fazemos a
hiptese de se ter ! G . Nesse caso, podemos deduzir de II.2.29 a existncia
de uma sucesso dominada de aplicaes em escada 08 \ G I com
" '
08 B 0 B, para cada B \ . O que vimos em 1) garante que, para cada
8, .\ \ 08 . . G e portanto
( 0 B . .B 8_ ( 08 B . .B G .
" "
lim
.\ \ .\ \
( s0 B . .B C! G ,
"
.\ \
e portanto
( 0 B . .B ( s0 B . .B ( C! . .B
" " "
.\ \ .\ \ .\ \
( s0 B . .B C! G .
"
.\ \
um conjunto convexo.
117O que trivialmente equivalente a exigir que, dados A D G e > ! ", tem-se
0 " >D >A " >0 D >0 A. Repare-se que, no caso em que I , e
portanto G um intervalo, esta noo corresponde a exigir que 0 tem o grfico com a
concavidade voltada para cima, tal como se estuda num curso bsico de Anlise Real.
232 Cap. III. Espaos funcionais e aplicaes
= ! e > " ou = " e > !, casos em que temos mesmo uma igualdade.
Por eventual troca dos papis das variveis podemos tambm j supor que
+ ,. Tem-se ento + =+ >, , e o teorema de Lagrange garante a
existncia de + - =+ >, . , tais que
0 =+ >, 0 + 0 =+ >, 0 +
0 w -
>, + =+ >, +
0 , 0 =+ >, 0 , 0 =+ >,
0 w .
=, + , =+ >,
e portanto, por a aplicao 0 w ser crescente,
0 =+ >, 0 + 0 , 0 =+ >,
,
>, + =, +
ou ainda
= 0 =+ >, 0 + >0 , 0 =+ >,,
o que tambm pode ser escrito na forma
0 =+ >, =0 =+ >, >0 =+ >, =0 + >0 ,.
" '
aplicao integrvel tal que 0 \ G e que 1 0 \ seja integrvel.
Tem-se ento .\ \ 0 B . .B G e
234 Cap. III. Espaos funcionais e aplicaes
( 0 B . .B ( 10 B . .B.
" "
1
.\ \ .\ \
( 0 B . .B ( 10 B . .B
" "
.\ \ .\ \
( 2B . .B I:31 ,
"
.\ \
o que implica a concluso do enunciado.
III.1.12 (Desigualdade de Jensen para funes positivas) Seja \ um espao
de medida, com ! .\ _. Seja 1 uma funo convexa,
contnua, crescente e tal que lim 1B _ e estendamos 1 como
B_
aplicao , pondo 1_ _ Se : \ uma funo
mensurvel, ento
1 ( :B . .B ( 1:B . .B.
" "
.\ \ .\ \
"
.\4
"
4N
.\
1 ( :B . .B 1" +4 "
" .\4 .\4
1+4
.\ \ 4N
.\ 4N
.\
( 1:B . .B.
"
.\ \
1 ( :8 B . .B ( 1:8 B . .B
" "
.\ \ .\ \
conclumos, por passagem ao limite, tendo em conta o teorema da
convergncia montona, que
1 ( :B . .B ( 1:B . .B.
" "
.\ \ .\ \
C" C8
8
C" C8 .
8
m:m< ( :B< . .B .
"
<
Repare-se que, apesar de a notao sugerir que se est a definir uma norma,
tal no certamente o caso, uma vez que o conjunto das funes : \
no um espao vetorial e que o valor m:m< pode ser _. No entanto, se
: ", a definio de m:m< vai intervir na caracterizao de uma norma que
ser estudada na prxima seco (cf. III.2.5).
III.1.17 (Desigualdade de Hlder) Sejam \ ` . um espao de medida,
: " e ; " dois expoentes conjugados e : < \ duas funes
mensurveis. Tem-se ento
Dem: Sejam + , ,
\ \
( : ( :B . .B ",
"
sB: . .B :
\ +: \
( <s B; . .B " ( <B; . .B ",
\ ,; \
( :sB<s B . .B " ( :B<B . .B,
\ +, \
em particular, o resultado ficar provado se verificarmos que
( : s B . .B ".
sB<
\
s B :
sB: : <
s B; ; " "s ;
" "
:
sB< sB: <
: B ,
: ;
visto que esta desigualdade trivial no caso em que um dos valores :
sB e
s B ! ou _ e, no caso em que ambos so finitos e no nulos, temos um
<
caso particular da desigualdade em III.1.13. Deduzimos daqui que
( : ( :
sB: . .B ( <
s B . .B " " s B; . .B
sB<
\ : \ ; \
" "
",
: ;
o que termina a demonstrao.
III.1.18 (Desigualdade de Minkowsky) Sejam \ ` . um espao de medi-
da, : " um real e : < \ duas aplicaes mensurveis. Tem-se
ento
m: < m: m: m: m< m: .
m:m: ( : < . .
"
:"; ;
m<m: ( : <:"; . .
"
;
obtemos
( : <: . .
" ";
m: m: m< m:
\
"
o que, por ser " ; :" , precisamente a desigualdade do enunciado.
Exerccios
ento C" C# C8 .
b) Sejam B C ! e : " tais que
B C: #:" B: C: .
Mostrar que se tem ento B C .
Ex III.1.5 Sejam C" C8 nmeros reais, com C4 !, e >" >8 nmeros
reais, com >4 ! e >" >8 " (um sistema de pesos). Chama-se mdia
harmnica pesada dos C4 ao inverso da mdia aritmtica pesada dos inversos
dos C4 , isto , ao nmero
"
.
>" C"" >8 C"8
( :B<B . .B ( :B . .B ( <B . .B ,
" "
: :
; ;
\ \ \
2. Os espaos P: .
III.2.4 (Valor num ponto duma classe contnua) Seja Y 8 um aberto, para
o qual consideramos a restrio da medida de Lebesgue -8 aos respetivos
borelianos. Sejam I um espao de Banach e 0 s0 Y I duas aplicaes
contnuas tais que 0 0 s em Q /8=Y I. Tem-se ento, para cada
s
B Y , 0 B 0 B.
Faz assim sentido dizer que uma classe 0 Q /8=Y I contnua se
existir uma aplicao contnua s0 Y I tal que 0 0 s e, para uma tal
classe, definir o seu valor 0 B no ponto B pela igualdade 0 B s0 B.
118O que est aqui em jogo o facto geral de, no contexto de um espao de medida,
sempre que temos duas propriedades verdadeiras quase sempre, a respetiva conjuno ser
ainda verdadeira quase sempre, facto esse j referido em I.2.28 e cuja justificao
decalcada pela que acabamos de fazer.
242 Cap. III. Espaos funcionais e aplicaes
0 m0 m: ( m0 Bm: . .B
"
:
Q /8=\ I ,
\
( m0 Bm . .B ( m1Bm . .B.
: :
\ \
\ \
l+l( m0 Bm: . .B ,
"
:
( m0 B 1Bm: . .B ( m0 Bm m1Bm: . .B
" "
: :
\ \
( m0 Bm . .B ( m1Bm: . .B ,
" "
: : :
\ \
( m0 Bm . .B !,
:
\
:
com m0 Bm , para cada B \ , pelo que, tendo em conta II.1.30,
m0 Bm: ! quase sempre, donde 0 B ! quase sempre, ou seja, 0 !,
o que mostra que temos efetivamente uma norma.
III.2.6 (Nota) Um caso particular muito frequente nas aplicaes aquele em
que o espao de Banach I ou , com a norma mAm lAl. Nesse caso, a
frmula de definio da norma toma o aspeto
m0 m: ( l0 Bl: . .B .
"
:
" m18 m: _
_
8"
1B " 18 B
_
8"
1 " 18
_
8"
4"
4" 4"
isto ,
( 58 B . .B " m14 m: ,
_ :
:
\ 4"
8_
4"
1B 4"
se B \ ]
!, se B ]
(onde a famlia dos 14 B absolutamente somvel). Lembrando a caracteri-
zao da soma de uma srie como limite da sucesso das somas parciais,
vemos que, para cada B \ ] , tem-se 1B lim =8 B, onde as
8_
aplicaes topologicamente mensurveis =8 \ I , com =8 P: \ I,
esto definidas por
=8 B " 14 B
8
4"
" m14 m: $
_
48! "
donde,
( m1B =8 Bm . .B (
:
m1B =8 Bm: . .B $ : .
\ \]
4"
vetorial normado P: \ I.
III.2.9 (Teorema de completude) Sejam \ ` . um espao de medida, I
um espao de Banach e : " um nmero real. Tem-se ento:
a) O espao vetorial normado P: \ I completo (portanto um espao de
Banach).
b) Sejam 0 Mens\ I e 08 8 uma sucesso de aplicaes de
Mens\ I tais que 0 P: \ I, 08 P: \ I e 08 0 em
P: \ I. Existe ento uma subsucesso de aplicaes 25 0!5 tal que
25 B 0 B quase sempre.120
Dem: Seja 08 8 uma sucesso de aplicaes de Mens\ I, com
4"
4"
mint0 m ( 0 B . .B ( m0 Bm . .B m0 m" .
\ \
B ,
" "
0 B 1B
se B " % B, se B "
" "
,
B# , se B " B, se B "
Tem-se ento :; " pelo que podemos considerar " " definido pela
condio :; "" ", isto , o expoente conjugado de :; . Pela desigualdade de
Hlder relativa a estes expoentes conjugados (cf. III.1.17), podemos agora
escrever
( :B . .B ( :B " . .B
: :
\ \
( :B: : . .B ( "" . .B
: "
; ; "
\ \
( :B; . .B .\
:
; "
"
m:m; .\ ": ,
\
" :
e portanto
"
m:m: .\ ": m:m; ,
b) Se I um espao de Banach
P: \ I P; \ I P< \ I
e, para cada 0 P: \ I P; \ I
m0 m< maxm0 m: m0 m; .
" "
Pela desigualdade de Hlder, relativa ao expoentes conjugados ! e ",
podemos agora escrever
( :B . .B ( :B :B . .B
< !: ";
\ \
( :B . .B ( :B; . .B ,
! "
:
\ \
!: ";
e portanto, tendo em conta o facto de se ter < < ",
!: ";
m:m< m:m:< m:m;<
!: ";
maxm:m: m:m; < <
maxm:m: m:m; .
e que tem lugar uma norma neste espao vetorial, definida, por transporte por
meio do isomorfismo, por
250 Cap. III. Espaos funcionais e aplicaes
m0 m: m0 m: " m0 4m:
":
.
4N
Dem: Uma vez que se tem :B m:m_ quase sempre e <B m<m_
quase sempre, conclumos que se tem quase sempre simutaneamente as duas
desigualdades, portanto quase sempre
:B <B m:m_ m<m_ ,
o que significa que m:m_ m<m_ um majorante essencial de : <. O
facto de m: <m_ ser o menor dos majorantes essenciais implica assim que
m : < m _ m: m _ m< m_ .
III.2.20 Sejam \ ` . um espao de medida e I um espao de Banach.
Podemos ento definir uma aplicao
Q /8=\ I , 0 m0 m_ supess m0 Bm
B\
_
e ficamos com um subespao vetorial P \ I de Q /8=\ I,
constitudo pelos 0 tais que m0 m_ _ e com uma norma m m_ neste
espao vetorial, definida por 0 m0 m_ , norma essa que a que se
considera implicitamente.121
Dem: O facto de a aplicao 0 m0 m_ estar bem definida em
Q /8=\ I resulta de que, se 0 1, ou seja, se 0 B 1B quase
m08 B 07 Bm m08 07 m_
quase sempre implica a existncia de um conjunto mensurvel ]78 , com
.]78 !, tal que m08 B 07 Bm m08 07 m_ , para cada
B \ ]78 . Seja ] a unio de todos os conjuntos ]78 , que um conjunto
mensurvel com .] !. Para cada B \ ] , a sucesso dos 08 B
uma sucesso de Cauchy de elementos de I , visto que, dado $ !, existe 8!
tal que, sempre que 7 8 8! , m08 07 m_ $ e ento tem-se tambm
m08 B 07 Bm m08 07 m_ $.
Podemos assim concluir que, para cada B \ ] , a sucesso dos 08 B
converge em I e isso permite-nos definir uma aplicao topologicamente
mensurvel 0 \ I por
0 B
lim 08 B, se B ]
!, se B ]
b) Se I um espao de Banach
P: \ I P_ \ I P< \ I
e, para cada 0 P: \ I P_ \ I
m0 m< maxm0 m: m0 m_
( :B . .B ( :B m:m_ . .B
< : <:
\ \
m:m<:
_ m: m:
:
e portanto
( $ m0 Bm . .B $ ( m0 Bm . .B _,
: : : :
\ \
\
:
portanto que 08 0 em P \ I.
F -F4 ,
finita F4 4M de conjuntos de f disjuntos dois a dois tais que, sendo
( lE B F Bl . .B $.
\
" .F4 .E .
$
(1)
4N
#
isto ,
" .F4
$
(2) .
4N M
#
.F E .. F4 E ".F4 .E
$
,
4N 4N
#
.E F .. F4 F .. F4
$
4N 4N M
#
( lE B F Bl . .B ( EF B FE B . .B
\ \
.E F .F E $.
( lE B F Bl . .B
$:
.
\ mAm:
Reparamos agora que a aplicao \ I , B F BA, uma aplicao em
f-escada, por tomar o valor constante A em cada F4 W e ser nula fora da
sua unio F e que se tem
( mE BA F BAm . .B ( lE B F BlmAm . .B $ ,
: : :
\ \
mE A F Am: ( lE B F Bl: . .B
":
$,
\
como queramos.
0 1 ( 0 B 1B . .B,
\
( l 0 B 1Bl . .B ( m0 Bm . .B ( m1Bm . .B _,
# #
\ \ \
m0 m# ( m0 Bm# . .B ( 0 B 0 B . .B
"
#
0 0 ,
\ \
0 1 ( 0 B 1B ..B,
\
0 1 ( 0 B 1B ..B.
\
125No caso em que o corpo dos escalares , consideramos antilinear como sinnimo
de linear, tal como interpretamos, mais geralmente, o conjugado + de um real + como
sendo o prprio +.
262 Cap. III. Espaos funcionais e aplicaes
0 1 " 0 4 14,
4N
b) Tem-se
m : < m _ m : m _ m< m_ .
( :B<B . .B
<
\
\ \
e portanto
m: <m< ( :B<B< . .B
"<
\
( :B: . .B ( <B; . .B
": ";
m:m: m<m; .
\ \
b) Uma vez que :B m:m_ quase sempre e <B m<m_ quase sempre,
tem-se :B <B m:m_ m<m_ quase sempre, donde a desigualdade.
c) O mais simples talvez adapatar a demonstrao de III.2.18, que no
mais do que o caso particular : " do enunciado. Ora, sendo ] ` com
.] ! tal que :B m:m_ para cada B \ ] , tem-se. para cada
2. Os espaos P: 263
B \],
:B: <B: m:m_
:
<B: ,
donde
( :B<B . .B (
:
:B<B: . .B
\ \]
( m:m:_ <B: . .B
\]
m:m:_ ( <B: . .B
\
e portanto
m: <m: ( :B<B: . .B
":
m: m_ m< m: .
\
b) Se : ", ; " e < " so nmeros reais tais que :" "; "< , obtm-se,
por restrio da aplicao bilinear em a), uma aplicao bilinear contnua
P: \ J P; \ K P< \ L,
que verifica
m0 1m< Q m0 m: m1m; .
P_ \ J P_ \ K P_ \ L,
que verifica
m0 1m_ Q m0 m_ m1m_ .
Exerccios
por
.w E ( :B< . .B,
E
assinalar com uma linha as normas relativas a esta medida, mostrar que
m:mw_ m:m_ (utilizar a ltima observao em II.1.28) e reparar que, para
cada : <,
:<
m:m: m:mw:< : .
:> ( 0 = sin>= + .=
.: E ( :E B . .E B ( :BE B . .B,
E \
\48 B \4 :B 8.
127Para uma explicao para este nome, ver a concluso do exerccio I.2.6, vlida com a
restrio de a medida .
s ser finita.
3. Decomposio de Lebesgue e teorema de Radon-Nikodym 269
F5 B E5 <B :B B E5 :B <B !.
Tem-se ento
( <B . .B ( :B . .B .: F5 .< E5 _,
F5 F5
( :B . .B .: F5 .< F5 ( <B . .B
F5 F5
( <B . .B ( :B . .B.
F5 F5
Uma vez que <B :B, para cada B F5 , deduzimos de II.2.44 que se
5O
cada B \ F , tem-se B E5 F5 , para algum 5 , donde :B <B.
Ficou assim provado que :B <B quase sempre.
4) O que vimos em 2) e 3) prova a concluso de b). Para provarmos c) basta
agora termos em conta b) e o facto de se ter .: .< se, e s se, para cada
E `, .: E .< E e .< E .: E e de se ter :B <B
quase sempre se, e s se, :B <B quase sempre e <B :B quase
sempre.
4N
$4
aplicao mensurvel 3 \ ! _ pela condio de se ter 3B .\4 ,
para cada B \4 . Considerando a medida .w .3 ` , tem-se
.w E !, sempre que E ` verifica .E ! e vem
! ( 3B . .B ( E B3B . .B,
E \
( 2B . .
sB ( <B 2B . .B,
\ \
sE ( <B . .B.
.
E
s ( 2B 2B
2 2 s . .B.
\
( l2Bl . .
sB ( l2Bl . .B ( l2Bl " . .B
\ \ \
"
m2m# m"m# .\ # m2m# ,
em particular 2 integrvel relativamente medida .
se
l( 2B . .
sBl ( l2Bl . .
"
sB .\ # m2m# .
\ \
Fica assim bem definida uma aplicao linear contnua 0 P#. \ por
02 ( 2B . .
sB.
\
num espao de Hilbert, vai existir 1 P#. \ P". \ tal que, para
cada 2 P#. \ 02 1 2, isto
( 2B . .
sB ( 1B 2B . .B.
\ \
e obtemos
sE ( 1B . .B.
.
E
sEw ( 1B . .B ( ! . .B !,
!.
Ew Ew
<B
!, se B Ew
1B, se B Ew
para a qual se tem <B 1B quase sempre, pelo que < verifica as
propriedades enunciadas.
3) Consideremos uma funo mensurvel < \ verificando as condi-
es enunciadas em 2) e notemos F B \ <B ". Tem-se ento
F ` e .F !.
Dem: Uma vez que " <B, para cada B F , podemos escrever
.F ( " . .B ( <B . .B .
sF
F F
:B "<B
<B
, se B F
.
!, se B F
( 2B . .
sB ( <B 2B . .
sB ( <B 2B . .B,
\ \ \
portanto
( " <B 2B . .
sB ( <B 2B . .B.
\ \
2B
"<B8
"<B , se B E F
,
!, se B E F
( sB (
" <B8 . . :B" <B8 . .B
EF EF
e portanto, uma vez que, par cada B E F , os " <B8 constituem uma
sucesso crescente convergente para ", o teorema da convergncia montona
e o facto de ser .: E F .: F ! implica que
3. Decomposio de Lebesgue e teorema de Radon-Nikodym 275
. sE F (
s+ E . sB (
" .. :B . .B
EF EF
.: E F .: E F .: E F .: E.
s+ E ( s= E (
" "
. sw B,
.. . sw B.
..
E 3B +
s E 3B =
s
w
Se E ` verifica .E !, tem-se tambm . E !, donde . sw+ E !,
o que implica, por definio, que .
s+ E 0. Provmos assim que a medida
s+ .-absolutamente contnua. Seja agora F `, com .w F !, tal que
.
sw= \ F !. Tem-se ento .F ! e
.
s= \ F (
"
. s=w B !,
..
\F 3
sB
s= E ( sw B (
" "
.
s+ E . .. ..sw B
3B +
sE 3B =
E s
( sw= B (
" "
..sw+ . sw B
..
3
E s B 3
E s B
(
"
3B . .
s sB . sE,
E 3
sB
conclumos que . s+ .
s= efetivamente uma decomposio de Lebesgue de
.
s relativamente a ..
b) Suponhamos agora que . s .-absolutamente contnua. Tem-se ento que
276 Cap. III. Espaos funcionais e aplicaes
.: E ( :B . .B ( 3B . .B (
:w B :w B w
. . B
E E s3B 3B
E s
( sw B (
" "
.. 3B . .
s sB .
sE,
3B
E s 3B
E s
Exerccios
!B
", se B E
!, se B E
e seja .
s a restrio aos borelianos de da medida associada a esta famlia
pelo mtodo descrito em I.2.14, isto , a definida por
sF " !B .
.
BF
129Alguns autores, como Halmos [6], usam em vez de medida de Radon a designao
medida de Borel. Note-se tambm que a definio de medida de Radon poderia ter sido
dada sem a exigncia do espao ter base contvel, mas essa exigncia vai importante para
a maioria dos resultados que vamos estabelecer.
278 Cap. III. Espaos funcionais e aplicaes
BN
.O " .ZB _.
BN
7N
78
131Para provarmos b), o que temos assim que mostrar que . E .E, para cada
boreliano E.
4. Medidas de Radon em localmente compactos 281
(2) . E Y . E Y . Z ,
e, atendendo a que se tem ento . Z .Z , . E Y . Z Y
.Z Y e . E Y . Z Y , para provarmos (2) ser suficiente
mostrarmos que, quaisquer que sejam os abertos Y e Z de \ ,
(3) .Z Y . Z Y .Z .
A igualdade (3) trivial se .Z _, pelo que podemos j supor que
.Z _, e portanto tambm .Z Y _ e . Z Y _, por
Z Y e Z Y estarem contidos no aberto Z , caso em que (3) se pode
escrever na forma equivalente
(4) .Z Y .Z . Z Y .
Tendo em conta a concluso da parte 2), para mostrarmos (4), basta
mostrarmos que, para cada compacto O Z Y ,
(5) .O .Z . Z Y .
Seja $ ! arbitrrio. Aplicando, mais uma vez, a concluso de (2), agora ao
aberto Z O , que contm Z Y , conclumos a existncia de um compacto
O w Z O tal que
.O w .Z O $ . Z Y $
e, uma vez que O O w g e O O w Z , obtemos
.Z .O O w .O .O w .O . Z Y $
donde, pela arbitrariedade de $ ,
.Z .O . Z Y
e temos a desigualdade (5), como queramos.
5) Para cada boreliano E de \ , tem-se .E . E.
Subdem: Para cada aberto Y de \ , com E Y , tem-se .E .Y
pelo que, tendo em conta a definio de . E como um nfimo, tem-se
efetivamente .E . E.
6) Seja E \ um boreliano tal que E O , para algum compacto O \ .
Tem-se ento .E . E.
Subdem: Suponhamos, por absurdo, que isso no acontecia ou seja,
tendo em conta a concluso de 5), que .E . E. Tendo em conta a
alnea a) do lema III.4.5, podamos considerar um aberto Y de \ com
.Y _ (por Y estar contido num compacto de \ que, por hiptese,
tem medida finita) e obtnhamos ento, por se ter tambm
.Y E . Y E, o absurdo
.Y .E .Y E . E . Y E . Y .Y .
282 Cap. III. Espaos funcionais e aplicaes
.E .G .E G + $ .E,
o que era absurdo. Reparamos agora que, escolhendo uma sucesso crescente
O8 8 de compactos de unio \ , G a unio da sucesso crescente de
compactos G O8 , pelo que .G lim .G O8 , o que implica que
8
existe 8 tal que o compacto G O8 E verifica + .G O8 . Ficou
assim provado que .E o supremo referido.
mZ E m: ( lZ B E Bl: . .B ( " . .B
": ":
\ Y O
.Y O": $ ,
como queramos.
4) Seja I! uma parte contvel densa de I . Notemos W W>\ I o
conjunto contvel das classes 1 com 1 \ I aplicao em escada da
forma B Z BA, com Z h0 38 e A I! . Vamos mostrar que, para cada
$ ! e cada aplicao em escada 0 \ I da forma 0 B E BD , com
E U\ , .E _, e D I , existe 1 W tal que m0 1m: $ .
Subdem: Podemos j afastar os casos triviais em que D ! ou
.E !, casos em que se teria 0 ! e se podia tomar 1 !,
correspondente a Z g h0 38 e A I! arbitrrio. Escolhamos A I! tal
que
$
mD Am minmDm ,
#.E":
em particular A !, e, tendo em conta a concluso de 3), escolhamos
Z h0 38 tal que
$
mZ E m:
#mAm
e consideremos o correspondente 1 W, com 1B Z BA. Notando 2 a
aplicao em escada definda por 2B E BA, obtemos
4. Medidas de Radon em localmente compactos 285
m0 2m: ( mD Am: . .B
": $
mD Am.E": ,
E #
m2 1m: ( lZ B E Bl: mAm: . .B
":
\
$
mZ E m: mAm ,
#
portanto
m0 1m: m0 2m: m2 1m: $,
como queramos.
5) Notemos W0 38 W>\ I o conjunto contvel das somas finitas de
elementos de W. Vamos mostrar que W0 38 denso em W>\ I, para a
norma mm: , o que, como referimos em 1), terminar a demonstrao do nosso
resultado.
Subdem: Sejam ento 0 W>\ I e $ ! arbitrrios. Do que
referimos em II.2.18, conclumos a existncia de um nmero finito de
elementos 0" 05 W>\ I, cada um dos quais da forma particular
estudada em 4), tais que 0 0" 05 , pelo que, para cada
" 4 5 , podemos considerar 14 W com m04 14 m: 5$ . Tem-se ento
que 1 1" 15 W0 38 e
:
4" 4"
( m0 Bm . .B ( m0 Bm . .B .O + _,
: : :
\ O
portanto 0 P: \ I.
134Estaparte pode ser dispensada, do ponto de vista estritamente lgico, por quem quiser
examinar a demonstrao do caso geral.
288 Cap. III. Espaos funcionais e aplicaes
:B
!, se B Y!
.
sup= B Y= , se B Y!
4N
Costuma-se dizer que as funes :4 constituem uma partio da unidade do
compacto O subordinada cobertura aberta finita constituda pelos Y4 .
Dem: Vamos dividir a demonstrao em duas partes:
tais que O - O4 .
1) Vamos provar a existncia de conjuntos compactos O4 Y4 , onde 4 N ,
sB " :
: s4 B,
4N
" :4 B
:
sB
"
4N
:
sB " <B
" :4 B
:
sB
".
4N
:
sB " <B
mE :m: ( mE B :Bm: . .B
":
\
( " . .B
":
.Y O": $ .
Y O
3) Vamos agora verificar que, para cada 1 W>\ I (cf. III.2.26) e cada
$ !, existe 0 G- \ I tal que
m1 0 m: $.
:
4" 4"
136A hiptese de 0 ser topologicamente mensurvel poderia ser dispensada, por decorrer
da de cada restrio a Y4 ser topologicamente mensurvel (cf. a alnea a) do exerccio
III.4.7 adiante).
4. Medidas de Radon em localmente compactos 293
( m0 Bm . .B ( + . .B +.O _.
O O
08 18 0 1 e +08 +0 em P"69- \ I.
Dem: Temos consequncias imediatas da definio, tendo em conta, para
cada compacto O \ , as propriedades correspondentes da convergncia de
sucesses no espao de Banach P" O I.
III.4.21 Sejam \ um espao topolgico localmente compacto separado e de base
contvel, . U\ uma medida de Radon e I um espao de Banach. Se
0 \ I uma aplicao topologicamente mensurvel tal que
0 P: \ I, para algum :, com " : _, ento 0 localmente
integrvel. Vemos assim que cada P: \ I, com " : _, um
subespao vetorial de P"69- \ I.
Alm disso, se 08 , onde 8 , uma sucesso de elementos de P: \ I
que convirja para 0 P: \ I neste espao de Banach, ento tem-se
tambm 08 0 em P"69- \ I.
Dem: Tendo em conta III.2.12 ou III.2.23, conforme : _ ou : _,
vemos que, para cada compacto O \ , P: O I P" O I e existe
uma constante - ! tal que, para cada 0 P: \ I,
m0O m" -m0O m: -m0 m:
e, se 18 1 em P"69- \ K e 0 V- \ J , ento 0 18 0 1 em
L.
Dem: a) Seja O \ um compacto, que podemos j supor no vazio.
Tem-se ento que a funo contnua B m0 Bm atinge um mximo em O ,
e portanto 0O P_ O J . Uma vez que 1O P" O K, deduzimos
de III.2.35 que 0O 1O P" O L. Do mesmo modo, no caso em que
18 1 em P"69- \ K, vem 18 O 1O em P" O K e portanto,
pela continuidade da aplicao bilinear em III.2.35, 0 18 O
0O 18 O converge em P" O L para 0O 1O 0 1O
b) Suponhamos que 0 V- \ J e que 1 \ K localmente integrvel.
Consideremos um compacto O \ tal que 0 B !, para cada B \ O
e reparemos que se tem tambm 0 B 1B !, para cada B \ O .
Tendo em conta o que vimos em a), tem-se ento
( m0 B 1Bm . .B ( m0 B 1Bm . .B _,
\ O
0 1 ( 0 B 1B . .B L .
\
( 0 B 18 B . .B ( 0 B 18 B . .B
\ O
converge em L para
( 0 B 1B . .B ( 0 B 1B . .B.
O \
.w F ( m1Bm . .B,
F
138Mesmo que o corpo dos escalares de I seja , podemos multiplicar nmeros reais por
vetores de I .
4. Medidas de Radon em localmente compactos 297
( lE B :Blm1Bm . .B ( lE B :Bl . . B $
w
\ \
( 1B . .B ( E B :B 1B . .B
E \
( lE B :Blm1Bm . .B $ ,
\
( 1B . .B !.
E
F. V- \ , F. : ( :B . .B
\
F: ( :B . .B ( Y B . .B .Y .
\ \
+ .O ( O B . .B ( :B . .B F:,
\ \
. . Y4 " . Y4 . 139
4N 4N
4M
:B " :4 B :B,
4M
(1) . . E4 " . E4 ,
4N 4N
F: . Z . Z O
ou seja, escrito de outra forma,
(8) . Z O . Z F:.
Mais uma vez, tendo em conta a definio de . Z O como um supremo,
para provar (8) basta provar que, para cada < Z O tem-se
F< . Z F:,
ou, o que equivalente,
(9) F: < . Z .
Mas, sendo O w Z O um compacto tal que <B ! para cada B O w ,
tem-se que O O w um compacto contido em Z tal que :B <B !
para cada B O O w e o facto de, para cada B \ com :B !, ser
B O , e portanto B O w , donde <B !, implica que, para cada B \ ,
:B <B ", e portanto : < Z . A desigualdade (9), que nos
faltava provar, assim uma consequncia da definio de . Z como um
supremo.
e) Sejam E \ boreliano, + ! e : V- \ tal que :B +, para
cada B E. Tem-se ento F: +.E.
Subdem: Podemos j afastar o caso trivial em que + !. Consideremos
- " arbitrrio. Consideremos o aberto Y de \ ,
-
Y B \ :B ",
+
que contm E. Sendo < Y arbitrrio, tem-se <B +- :B, para cada
B \ , uma vez que, se B Y , <B " +- :B e, se B Y , <B !, e
conclumos agora da propriedade de monotonia referida em III.4.25 que se
tem
- -
F< F : F:.
+ +
A definio de .Y . Y como um supremo implica agora que se tem
.Y +- F:, e portanto, por ser .E .Y , tambm
-
.E F:.
+
Tendo em conta a arbitrariedade de - , podemos considerar, para cada 8 ,
- " 8" , e, passando ao limite a sucesso de desigualdades obtida, vemos
que .E +" F:, ou seja, F: +.E.
f) Em particular, deduzimos de e) que . uma medida de Radon.
Subdem: Se O \ um compacto, o lema de Urysohn em III.4.11
garante a existncia de : \ tal que :B " para cada B O , o que
302 Cap. III. Espaos funcionais e aplicaes
implica que .O F: _.
g) Sejam O \ compacto, , ! e : V- \ tal que :\ ! , e
:B !, para cada B O . Tem-se ento F: ,.O.
Subdem: Podemos j afastar o caso trivial em que , !, e portanto
: !. Se Y um aberto arbitrrio com O Y , vemos que ", : Y e
portanto, pela definio de . Y como um supremo,
" "
F: F : . Y .
, ,
A definio de .O . O como um nfimo implica agora que se tem
"
, F: .O.
h) Sejam, mais geralmente, E \ boreliano, , ! e : V- \ tal que
:\ ! , e :B !, para cada B E. Tem-se ento F: ,.E.
Subdem: Podemos j afastar o caso trivial em que , !, e portanto
: !. Seja O \ um compacto tal que :B !, para cada B O . Seja
Y um aberto arbitrrio de \ tal que E Y . Seja & ! arbitrrio. Sendo
s B \ :B ,&, que um aberto de \ com \ Y Y
Y s, o
teorema da partio da unidade em III.4.12 garante a existncia de funes
s \ ! " tais que < Y , <
contnuas de suporte compacto < < sYs , tais
s
que <B <B ", para cada B O . Para cada B \ tem-se ento
" " " s B
:B :B<B :B<
, , ,
(ambos os membros so ! se B O ), onde ", :< Y (< Y e ", :B ")
e a aplicao de suporte compacto \ ! _, B ", :B< s B anula-se
s " s
fora de O e fora de Y e, por esta ltima razo, verifica , :B<B & para
cada B \ . Tendo em conta a definio de . Y como um supremo,
vemos que F ", :< . Y e, tendo em conta a concluso de g), vemos
s &.O, pelo que podemos garantir que
que F ", :<
" " " s
F : F :< F :< . Y &.O.
, , ,
Tendo em conta a arbitrariedade de & !, podemos considerar, para cada
8 , & 8" e, passando ao limite a sucesso de desigualdades obtida,
vemos que F ", : . Y . Tendo em conta a definio de .E . E
como um nfimo, deduzimos agora que ", F: F ", : .E, que
equivalente desigualdade enunciada.
i) Seja : V- \ . Tem-se ento
F: ( :B . .B.
\
Q
Q 5" Q 5" Q5
:B
8,
8 , se 8 8 ,
Q5
se 8 : B,
cada uma das quais contnua, por ter restrio contnua a trs fechados cuja
unio \ (os correspondentes a cada um dos casos da definio respetiva) e
tem suporte compacto, uma vez que, para cada B O , :B !, e portanto
tambm :5 B !. Reparemos que, para cada B \ , tem-se
:B :" B :# B :8 B,
uma vez que existe " 5 8, no necessariamente nico, tal que
Q 5"
8 :B Q85 e que, para um tal 5 , tem-se :4 B !, para cada
4 5 , :5 B :B Q 5"
8 e :4 B Q 8 , para cada " 4 8 ".
Consideremos os borelianos \" \# \8 , disjuntos dois a dois e de unio
O, definidos por
Q 5 " Q5
\5 B O :B
8 8
e reparemos que, aplicando a concluso de h) a :5 , que verifica :5 B !
para cada B \5 \5" \8 , conclumos que
Q Q
F:5 .\5 \8 .\5 .\8 ,
8 8
e portanto que
F: F:" F:# F:8
.\" #.\# 8.\8 .
(10) Q
8
Q 5"
Por outro lado, uma vez que, para cada B \5 , :B 8 , podemos
escrever
( :B . .B ( :B . .B " (
8
:B . .B
\ O 5" \5
"(
8
Q 5 "
. .B
5" \5 8
F: ( :B . .B.
\
( :B . .B Q ( <B. .B
\ \
( :B . .B Q .Y
\
e portanto
F: ( :B . .B Q .Y .O ( :B . .B Q &.
\ \
Mais uma vez, tendo em conta a arbitrariedade de &, podemos substituir & por
"
8 e tomar o limite de ambos os membros para deduzir a desigualdade preten-
dida.
k) Sendo : V- \ arbitrrio, podemos aplicar o que vimos em j)
funo : V- \ para deduzir que
4. Medidas de Radon em localmente compactos 305
F: F: ( :B . .B ( :B . .B,
\ \
portanto
F: ( :B . .B,
\
F: ( :B . .B F. :.
\
e portanto F: F: F:
s F:
s . O facto de a aplicao F
Exerccios
E . . E5Y .
5 Y V5
144A prova seguindo as linhas desta sugesto devida a Loeb e Talvila, [8]
4. Medidas de Radon em localmente compactos 309
tendo-se
7! 0 0 , 7B 7Bw 0 7BBw 0 ,
e portanto tambm 7B 7B 0 0 .
III.5.2 Nas condies anteriores, se E 8 um boreliano e B 8 , tem-se,
para a funo indicatriz E 8 ,
7B E 7B E . 145
7B E C E 7B C
", se C B E
,
!, se C B E
( m0 Dm: . -8 D _,
8
145Este
resultado explica a razo, porventura considerada estranha, de termos utilizado a
composio com 7B na definio de 7B 0 .
312 Cap. III. Espaos funcionais e aplicaes
( $ : Q . -8 C $ : ,
FV" !
:<B ( :B C<C . -8 C.
8
( :<B . -8 B ( :B . -8 B ( <B . -8 B,
8 8 8
( :<B . -8 B ( :B C<C . -8 -8 B C
8 8 8
( ( :B C<C . -8 B . -8 C
8 8
( ( :B C . -8 B <C . -8 C
8 8
( ( :D . -8 D <C . -8 C
8 8
( :D . -8 D ( <C . -8 C
8 8
:<B ( :B C<C . -8 C
8
( :B 7B D<7B D . -8 D
8
( :D<BD . -8 D <:B.
8
:<B ( :B C<C . -8 C
8
( :B C<
s C . -8 C :<
s B.
8
( :B C . -8 C ( :B C: . -8 C (
:
:D: .-8 D,
8 8 8
.E ( :B: . -8 B, .w E ( <B; . -8 B,
E E
148Reparar que o resultado precedente o caso limite deste em que < _. Reparar
tambm que um dos casos particulares deste resultado aquele em que : ; < " e
que, nesse caso, vimos em III.5.6 que temos mesmo uma igualdade. Reparar tambm na
diferena relativamente situao tratada em III.2.34, em que, em vez do produto de
convoluo, temos a multiplicao usual.
5. Translaes e produto de convoluo em 8 317
:<B: ( :B C<C . -8 C
:
( :B C<C"; <C; . -8 C
:
8 E!
( :B C<C"; . .w C
:
8 E!
( :B C: <C::; . .w C
8 E !
( :B C: <C:;:; . -8 C
8 E!
( :B C: <C:;< . -8 C.
8
( <B C; :C: . -8 C.
8
m:<m<< ( :<B< . -8 B
8
( ( <B C; :C: . -8 C . -8 B
8 8
( ( <B C; :C: . -8 B . -8 C
8 8
( ( <D; . -8 D :C: . -8 C
8 8
e portanto tambm
m : < m < " m: m: m< m; ,
! m<m;; ( <C; . -8 C,
8
:<B ( :B C<C . -8 C !,
8
s B "
:
s< :<B
+,
pelo que, tendo em conta o que se viu no caso particular estudado em a),
m:<m< +,m: s m< +, m:m: m<m; ,
s <
como queramos.
0 1 8 L , 0 1B ( 0 B C 1C . -8 C,
8
( m0 B C 1Cm . -8 C Q ( m0 B Cmm1Cm . -8 C
8 8
Q :<B
0 1B ( 0 B C 1C . -8 C
8
( 0 B 7B D 17B D . -8 D
8
( 0 D 1BD . -8 D
8
( 1BD w 0 D . -8 D 1w 0 B,
8
0 1B ( 0 B C 1C . -8 C
8
( 0 B C s1C . -8 C 0 1B
s .
8
m0 1m_ Q m0 m: m1m; .
153De facto, verifica-se facilmente que a segunda igualdade vlida, mais geralmente,
para cada B 8 , por ambos os membros serem identicamente nulos, no caso em que
+ !, e quando + !, por ambos os membros serem nulos para cada B W0" 1 W+0" 1 .
O facto de no se passar o mesmo com a primeira igualdade o castigo que sofremos
pela arbitrariedade da definio que demos do produto de convoluo nos pontos fora do
domnio de convoluo e resulta de que podem existir pontos em W0" 0# 1 que no esto
nem em W0" 1 nem em W0# 1 .
5. Translaes e produto de convoluo em 8 325
m0 1Bm ( 0 B C 1C . -8 C
8
( m0 B C 1Cm . -8 C
8
m0 1B 0 1Cm ( 0 B D 0 C D 1C .-8 C
8
( 7CB 0 C D 0 C D 1C . -8 C
8
Q m7CB 0 0 m" m1m_ $ ,
m0 1m< Q m0 m: m1m; .
m0 1Bm ( 0 B C 1C . -8 C
8
Q ( m0 B Cmm1Cm . -8 C Q :<B,
8
como queremos.
III.5.21 (Outras condies suficientes para a convolucionabilidade forte I)
Sejam J K L trs espaos de Banach e 0 J K L uma aplicao
bilinear contnua.
Sejam 0 8 J uma aplicao contnua e de suporte compacto (cf. III.4.8)
e 1 8 K uma aplicao localmente integrvel (cf. III.4.15). Tem-se
ento que 0 e 1 so fortemente convolucionveis e a aplicao 0 1 8 L
contnua.
Dem: Lembrando que a continuidade uma propriedade local, basta provar-
mos que, para cada B! 8 e < !, a bola aberta F< B! est contida no
domnio de convoluo W0 1 e a restrio de 0 1 a esta bola aberta
contnua. Fixemos ento B! 8 e < !. Seja O 8 um compacto, que
podemos j supor no vazio, tal que 0 B !, para cada B O e seja V o
mximo em O da funo contnua B m0 Bm Notando F < B! a bola
fechada de centro ! e raio <, consideremos o compacto O w F < B! O ,
imagem do compacto F < B! O de 8 8 pela aplicao contnua
A D A D . Consideremos uma constante Q ! tal que
m0A Aw m Q mAmmAw m.
5. Translaes e produto de convoluo em 8 327
( m0 B Cmm1Cm . -8 C V ( m1Cm . -8 C _,
8 Ow
( Q V O w C m1Cm Q V ( m1Cm . -8 C _,
8 Ow
B( 0 B C 1C . -8 C 0 1B.
8
III.5.22 (Caso do suporte compacto) Suponhamos que, para alm das hipteses
do resultado precedente, a aplicao localmente integrvel 1 8 K
tambm de suporte compacto154. Tem-se ento que a aplicao contnua
0 1 8 L de suporte compacto.
Mais precisamente, se O P 8 so dois compactos tais que 0 B ! para
cada B O e 1B ! para cada B P, ento O P 8 um compacto
tal que 0 1B ! para cada B O P.
Dem: O facto de O P ser compacto resulta de se tratar da imagem do
compacto O P 8 8 pela aplicao contnua B C B C . A
concluso resulta agora de que, se B O P, ento, para todo o C 8 ,
0 B C 1C !, e portanto
0 1B ( 0 B C 1C . -8 C !.
8
( m0 Cmm1B Cm . -8 C
8
0 1B ( 0 C 1B C . -8 C.
8
( m0 B Cmm1Cm . -8 C V ( m0 Cm . -8 C _,
8 Ow
( Q V m0 Cm Q V ( m0 Cm . -8 C _,
8 8
B( 0 B C 1C . -8 C 0 1B.
8
5. Translaes e produto de convoluo em 8 329
( Q V O w C m1Cm Q V ( m1Cm . -8 C _,
8 Ow
0 1B ( 0 B C 1C . -8 C
8
(
`0 `0
B! C 1C . -8 C 1B! .
8 `B3 `B3
0 1B ( 0 C 1B C . -8 C,
8
B ( 0 C
`1 `1
0 B C . -8 C.
`B3 8 `B 3
m0A Aw m Q mAmmAw m.
`1
Considerando B F< B! , tem-se m `B 3
B Cm V sempre que C O e
8
daqui resulta que, para cada C ,
`1 `1
m0 C B Cm Q m0 Cmm B Cm Q Vm0 Cm,
`B3 `B3
onde
( Q Vm0 Cm Q V ( m0 Cm . -8 C _,
8 8
0 1B ( 0 C 1B C . -8 C
8
(
`1 `0
0 C B! C . -8 C 1B! .
8 `B3 `B3
Exerccios
:>
! , se > !
.
/"> , se > !
:: >
! , se > !
" ,
>: /"> , se > !
aplicao que contnua uma vez que se verifica, por induo em :, utili-
zando a regra de Cauchy para levantar indeterminaes, que
=:
lim =: /= lim !.
=_ =_ /=
+( :" mBm# . -8 B,
8
( FB . -8 B ",
8
( F5 B . -8 B ",
8
( F5 B . -8 B (
" "
F5 C . 8 -8 C
8 8 5 5
8 ( 5 FC . -8 C ".
" 8
5 8
O O F 5# ! . F 5# B Y ,
BO
ww
BO
:B ( F5 C O w B C . -8 C ( F5 C . -8 C.
8 BO w
! :B ( F5 C . -8 C ",
8
e portanto
:B ( F5 C . -8 C ( F5 C . -8 C "
BO w 8
e portanto
:B ( F5 C . -8 C !,
BO w
4N
tais que O - O4 .
1) Vamos provar a existncia de conjuntos compactos O4 Y4 , onde 4 N ,
sB " :
: s4 B,
4N
" :4 B
:
sB
"
4N
:
sB " <B
340 Cap. III. Espaos funcionais e aplicaes
" :4 B
:
sB
".
4N
sB " <B
:
mF5 0 B 0 Bm ( F5 C0 B C. -8 C ( F5 C. -8 C0 B
8 8
( F5 C 0 B C 0 B . -8 C
8
( F5 C m0 B C 0 Bm . -8 C
F"5 !
( F5 C $ . -8 C $ .
F"5 !
( :B 1B . -8 B (
`:
B 0 B . -8 B.
Y Y `B3
No caso particular em que 8 ", redundante explicitar qual a varivel
envolvida na derivao, pelo que dizemos simplesmente que 1 uma
derivada fraca de 0 .
III.6.10 (Unicidade das derivadas fracas) Sejam I um espao de Banach,
Y 8 um aberto e 0 P"69- Y I admitindo como derivadas fracas
6. Aplicaes do produto de convoluo e derivadas fracas 343
( 0 > .> !.
w
Y
( 03 B . -8 B !.
Y
( s0 3 B" B8 .B3 (
`0s
B" B8 .B3
VV `B3
( 03 B . -8 B ( s0 3 B . -8 B
Y 8
Y Y Y
`:
0 B :B0 B, 0 3 B B0 B :B03 B.
`B3
Estas aplicaes tm restries contnuas a Y B! e, para cada
`0
B Y B! , tem-se `B 3
B 0 3 B. Tendo em conta a alnea b) do lema
III.6.11, vem assim
! ( 0 3 B . -8 B ( B0 B . -8 B ( :B03 B .-8 B,
`:
Y Y `B3 Y
( :B03 B . -8 B (
`:
B0 B . -8 B.
Y Y `B3
c) No caso em que 8 ", temos uma mera reformulao de a) e no caso em
que 8 #, comeamos por afastar o caso trivial em que Y g e fixando
arbitrariamente B! Y , reparamos que, uma vez que as aplicaes contnuas
so localmente integrveis, temos uma consequncia direta de b).
III.6.13 (Compatibilidade com as restries) Sejam I um espao de Banach,
Y 8 um aberto e 0 P"69- Y I admitindo 1 P69- "
Y I como
derivada fraca relativamente varivel 3. Para cada aberto Z Y tem-se
ento que 0Z P"69- Y I admite 1Z P69-
"
Y I como derivada
fraca relativamente varivel 3, ou seja,
H3 0 Z H3 0 Z .
( :B B . -8 B ( :
`0Z `0
sB B . -8 B
Z `B3 Y `B3
( B 0 B . -8 B (
`:s `:
B 0Z B . -8 B.
Y `B 3 Z `B 3
4M
teorema da partio da unidade em III.6.4, consideremos funes
<4 8 de classe G _ , onde 4 M , tais que cada, para cada 4 M , exista
4M
uma funo :4 Y de classe G _ definida por :4 B <4 B:B, para
qual se tem, no s :4 V-_ Y , mas tambm :4 Y4 V-_ Y4 , por ser
4M
j que, para cada cada B O , ambos os membros so !, deduzimos que se
tem tambm, para cada B Y ,
B "
`: ` :4
B,
`B3 4M
`B3
e portanto
( :B 1B . -8 B " ( :4 B 1B . -8 B
Y 4M Y
" ( :4 Y4 B 1Y4 B . -8 B
4M Y4
" (
` :4 Y4
B 0Y4 B . -8 B
4M Y4 `B3
" (
` :4
B 0 B . -8 B
4M Y `B3
(
`:
B 0 B . -8 B,
Y `B3
o que prova o resultado.
III.6.15 (Enunciado alternativo do carter local) Sejam I um espao de
Banach, Y 8 um aberto, 0 1 P"69- Y I e " 3 8. Suponhamos
que, para cada B! Y , existe um aberto Z de 8 , com B! Z Y , tal que
0Z P"69- Y4 I admita 1Z P69-
"
Y4 I como derivada fraca relati-
vamente varivel 3. Tem-se ento que 0 admite 1 como derivada fraca
relativamente varivel 3.
Dem: Sendo, para cada B Y , ZB um aberto com B ZB Y nas condies
do enunciado, a famlia ZB BY verifica as hipteses em III.6.14.
348 Cap. III. Espaos funcionais e aplicaes
( :B 1" B 1# B . -8 B
Y
( :B 1" B . -8 B ( :B 1" B . -8 B
Y Y
( B 0" B . -8 B (
`: `:
B 0# B . -8 B
Y `B3 Y `B3
(
`:
B 0" B 0# B . -8 B.
Y `B 3
( :B 01B . -8 B ( 0:B1B . -8 B
Y Y
0( :B 1B . -8 B 0( B 0 B . -8 B
`:
Y Y `B 3
( 0 B0 B . -8 B (
`: `:
B 00 B . -8 B,
Y `B3 Y `B3
s0 > ( 0 = .=
>
s0 N I ,
>!
s0 > - ( 0 = .=,
>
( : >0
s > .> ( :w > ( 0 = .= .>
>
w
N +, +
( :, := 0 = .= ( := 0 = .=,
+, N
: V-_ Y arbitrrio. Uma vez que se tem tambm :< V-_ Y , vem
( :B<B1B . -8 B :< 1
`:<
0
Y `B3
( B<B0 B. -8 B ( :B
`: `<
B0 B . -8 B
Y `B3 Y `B3
e portanto
`<
: 0 <1
`B3
( :B B0 B . -8 B ( :B<B1B .-8 B
`<
Y `B3 Y
(
`: `:
B<B0 B. -8 B <0 .
Y `B 3 `B 3
s0 B <B0 B, se B Y
!, se B Y
!,
`<
s0 3 B `B3 B0 B <B03 B, se B Y
se B Y
352 Cap. III. Espaos funcionais e aplicaes
( mF5 1B 1Bm: . -8 C
":
Ow
mF5 1 1m: ( . -8 C $ ,
$: ":
w
O w -8 O
s B ( F5 B C0
F5 0 s C. -8 C ( F5 B C0
s C. -8 C
8 Ow
( F5 B C0 C. -8 C ( F5 B C0 C. -8 C F5 0 B,
Ow 8
354 Cap. III. Espaos funcionais e aplicaes
F5 H3 0 B F5 1B ( F5 B C1C . -8 C
8
(
` F5 ` F5
B C0 C . -8 C 0 B
8 `B3 `B3
`F5 0
B.
`B3
`05 s
` F5 0
B s B,
B F5 H3 0
`B3 `B3
`0 15 `0 `15
B B 15 B 0 B B
`B3 `B3 `B3
`0 15
pelo que conclumos, em particular, que `B3 Y L contnua e
portanto, por III.6.12, `0`B13 5 H3 0 15 . Tendo em conta III.4.22 e
III.4.20, vemos que, em P"69- Z L,
0 15 Z 0 Z 15 Z 0 Z 1Z ,
`0 15 `0
Z Z 1Z 0 Z H3 1Z ,
`B3 `B3
e daqui deduzimos finalmente, tendo em conta III.6.18, que
`0
H3 0 Z 1Z Z 1Z 0 Z H3 1Z ,
`B3
como queramos.
4N w
verificar que 0 B A! , para cada B Y E, o que mostrar que 0
efetivamente uma classe constante com valor A! . Ora, se B Y E,
podemos considerar um aberto Z com B Z Y tal que 0Z seja
constante de valor A! e escolher 4 N tal que B Z4 Z , tendo-se ento
tambm 0Z4 constante de valor A! , isto , 4 N w , e por ser B E4 , tem-se
efetivamente 0 B A! .
III.6.28 (Classes localmente constantes de domnio conexo) Sejam Y 8
um aberto conexo, I um espao de Banach e 0 Q /8=Y I uma classe
localmente constante. Tem-se ento que 0 mesmo uma classe constante.
Dem: Vamos afastar j o caso trivial em que Y g. Seja B! Y fixado e
seja A! I tal que 0 seja localmente constante em B! , com valor A! . Seja
Y w o conjunto dos B Y tais que 0 seja localmente constante em B com
valor A! . Se B" Y w , podemos considerar um aberto Z com B" Z Y tal
que 0Z seja constante com valor A! e ento vem Z Y w . Provmos assim
que Y w aberto. Analogamente, se B" Y Y w , podemos considerar um
aberto Z com B" Z Y tal que 0Z seja constante com valor A" A! e
ento vem Z Y Y w . Provmos assim que Y Y w tambm aberto. Uma
vez que Y conexo e que B! Y w , conclumos que Y Y w g, isto , que
Y w Y . Provmos assim que 0 localmente constante com o mesmo valor
A! em todos os pontos donde deduzimos, por III.6.27, que 0 uma classe
constante com valor A! .
358 Cap. III. Espaos funcionais e aplicaes
+A5 ( 05 B . -8 B ( 0 B . -8 B,
Z Z
portanto A5 A em I , com
( 0 B . -8 B I .
"
A
+ Z
Mas, de se ter
( mA 05 Bm . -8 B ( mA A5 m . -8 B +mA A5 m !,
Z Z
B F5 13 B ( F5 B C13 C . -8 C
`F5 0
`B3 8
B ( F5 B C13 C . -8 C !.
`F5 0
`B3 Y
O facto de o aberto F< B! ser conexo implica assim que a restrio a F< B!
da aplicao F5 0 tem um valor constante A5 . Mas, por III.6.22, a sucesso
das classes F5 0 converge em P"69- 8 I para 0 , e portanto a sucesso
das classes F5 0F< B! converge em P"69- F< B! I para 0F< B! . Tendo
em conta o lema III.6.29 e III.6.28, conclumos que 0F< B! uma classe
localmente constante, e portanto constante. Acabmos asim de provar que a
classe 0Y localmente constante.
III.6.31 (Teorema das derivadas nulas) Sejam I um espao de Banach,
Y 8 um aberto e 0 P"69- Y I admitindo, para cada " 3 8, uma
derivada fraca H3 0 ! P"69- Y I. Tem-se ento que 0 uma classe
localmente constante.
Dem: Seja B! Y arbitrrio. Seja < ! tal que o compacto F < B! esteja
contido em Y . Tendo em conta o lema de extenso III.6.20, podemos
considerar uma classe 0 s P" 8 I admitindo, para cada " 3 8,
69-
uma derivada fraca H3 0 s P" 8 I e tal que 0F B 0
s F B . Em
69- < ! < !
s
particular tem-se, para cada " 3 8, H3 0 F< B! H3 0F< B! !, pelo
que, pelo lema III.6.30, 0F< B! 0 s F B uma classe localmente
< !
e F5 1B
s ! para cada B O F "5 !. Fixando 5 5! tal que 5" &,
tem-se assim, em particular F5 1Bs ! para cada B O w e podemos
s a Y , que pertence a V-_ Y I e verifica
considerar a restrio 2 de F5 1
m1 2m: m1
s F5 1
s m: $.
Exerccios
0 B 1B
B, se B ! ", se B !
, .
!, se B ! !, se B !
0! B mBm
"
! , se B !
,
!, se B !
0 1P# ( 0 B 1B . -8 B.
Y
" "#
usual notar L Y I (ou [ Y I) o subconjunto de Q /8=Y I
constitudo pelas classes 0 que pertencem a P# Y I (em particular so
localmente integrveis) e tm derivadas fracas em relao a cada uma das
variveis, com H3 0 P# Y I.
Os espaos L " Y I fazem parte de uma famlia mais larga de espaos
muito importantes em Anlise Funcional, conhecidos como espaos de
Sobolev e que podem envolver derivadas fracas de ordem superior a " e
espaos P: em vez dos espaos P" .
a) Verificar que L " Y I um subespao vetorial de Q /8=Y I e que se
pode definir um produto interno neste espao vetorial por
3"
H3 1 0 "
8
`04
H4 1 0 .
4"
`B3
162De facto esta hiptese desnecessria, por resultar da aditividade em 2), se repararmos
que se tem g g g.
163A condio de termos a soma de uma famlia absolutamente somvel mais forte do
que a condio usual de termos apenas uma famlia somvel e veremos adiante que ela
implica que as medidas vetoriais que utilizamos so apenas aquelas que tm variao total
finita. De qualquer modo, so apenas estas ltimas as que nos interessaro e, ao exigir
esta condio mais forte, limitamos o conhecimento que seria necessrio possuir sobre
famlias somves mais gerais.
364 Cap. III. Espaos funcionais e aplicaes
=. E8 lim =E8 .
8
:8
: : :"
=, E8 =\ =\ ,E8 =\ lim =\ E8
8
lim =\ =\ E8 lim =E8 . 164
3M
de ` disjuntos dois a dois e com F3 E. Alm disso:
a) Para cada E F `, com F E, tem-se m=Fm l=lE, em particu-
lar m=Em l=lE;
b) Se E `, tem-se l=lE ! se, e s se, =F !, para todo o F `
com F E.
c) Se + \ tal que + `, ento l=l+ m=+m
Dem: Comecemos por reparar que, para cada E ` existem sempre
famlias finitas F3 3M de conjuntos de ` disjuntos dois a dois contidos em
E, como as famlias com um nico conjunto igual a F , onde F ` e
F E (por exemplo F E, o que mostra que faz sentido considerar o
supremo referido e que se tem m=Fm l=lE, para cada F nas condies
referidas. Se for =F !, para todo o F E, todas as somas cujo supremo
define l=lE so iguais a !, o que mostra que l=lE !. Reciprocamente,
se l=lE !, ento, para cada F ` com F E, tem-se
m=Fm l=lE !,
portanto =F !. Em particular, j podemos concluir que l=lg !. No
caso em que + `, tem-se mesmo l=l+ m=+m, uma vez que j
sabemos que m=+m l=l+ e a desigualdade oposta resulta de que,
para cada famlia finita F3 3M de conjuntos de ` disjuntos dois a dois e
4N 4N
demonstrao. Dividimos essa prova em duas partes, em cada uma das quais
justificamos uma desigualdade.
1) Mostremos que se tem
" l=lE4 l l=lE.
4N
4M
finito, o que implica que se tem tambm l=lE4 _ para cada 4 M .
Fixemos ento um tal conjunto finito M N , que podemos j supor no
vazio, seja 8 o nmero de elementos de M e seja $ ! arbitrrio. Para cada
4 M , podemos considerar uma famlia finita F45 5O4 de conjuntos de `
disjuntos dois a dois e contidos em E4 tal que
l=lE.
Tendo em conta a arbitrariedade de $ , conclumos que
366 Cap. III. Espaos funcionais e aplicaes
como queramos.
2) Provemos agora a desigualdade oposta
l=lE " l=lE4 l.
4N
como queramos.
III.7.5 (A medida de variao total finita) Sejam I um espao de Banach,
\ ` um espao mensurvel e = ` I uma I -medida. Tem-se ento
que a medida de variao total l=l ` verifica l=l\ _.
Dem: Vamos dividir a demonstrao vrias partes, cada uma eventual-
mente com a sua prpria demonstrao.
1) Comecemos por reparar que, tendo em conta a condio 2) na definio
4N
2) Apenas para efeito desta demonstrao, vamos dizer que um conjunto
E ` =-limitado se existir O ! tal que, para cada F ` com
F E, m=Fm O .165
3) Se E Ew ` so dois conjuntos =-limitados, ento E Ew tambm
=-limitado.
Subdem: Sejam O O w ! tais que m=Fm O , para cada F E, e
165 claro que, depois de demonstrado este resultado, podemos concluir que todo o
conjunto =-limitado, bastando tomar l=l\ como constante O .
7. Medidas vetoriais e resultados de dualidade 367
8
que absurdo, tendo em conta 1). Para fazer a construo recursiva referida,
comeamos por utilizar 4), com E \ , para considerar \" ` tal que
m=\" m " e que \ \" no seja =-limitado e, supondo j construdos
\" \8 nas condies referidas, utilizamos de novo 4), com
E \ \" \8 , para considerar \8" \ \" \8 , tal
que \8" `, m=\8" m " e
\ \" \8 \8" \ \" \8"
no =-limitado.
6) Vamos mostrar que, se E ` verifica l=lE _, ento existe uma
E -F3 , que se tem mesmo -F3 E. Seja 8! 8 o menor natural tal que
" m=F3 m O .
8!
3"
" m=F3 m #O
8!
3"
e portanto 8! 8 e
" m=F3 m O .
8
38! "
E w . F3 , Eww . F3 ,
8! 8
3" 38!
o facto de l=l ser uma medida com l=lE _ implica que se tem
l=lEw _ ou l=lEww _ pelo que, para obter as condies reque-
ridas, basta tomar M " 8! se l=lEww _ e M 8! " 8
se l=lEww _.
7) Vamos mostrar que l=l\ _, o que terminar a demonstrao.
Subdem: Suponhamos, por absurdo, que l=l\ _. Vamos cons-
truir recursivamente, para cada 8 , uma famlia finita F83 3M8 de
conjuntos de ` disjuntos dois a dois de modo que, notando \8 a unio dos
F83 com 3 M8 , se tenha, para cada 8, F8"3 \ \" \8
" m=F83 m ", |=|\ \" \8 _.
3M8
= =w . E4 =. E4 =w . E4 " =E4 =w E4 ,
4N 4N 4N 4N
3M 3M
l=lE l=w lE,
donde, tendo em conta a arbitrariedade da famlia,
l= =w lE l=lE l=w lE.
=. E4 " =E4 ,
4N 4N
3M
.0 E ( 0E B . .E B ( E B0 B . .B
E \
l.0 lE .: E ( m0 Bm . .B,
E
l.0 lE ( m0 Bm . .B.
E
( m0 Bm . .B ( m0 Bm . .B,
-F3 E
l.0 lE ( m0 Bm . .B.
E
(1) l.0 lE ( m0 Bm . .B $.
E
( m08 Bm . .B ( m0 Bm . .B
E E
e portanto, para provar (1), bastar mostrar a existncia de 8! tal que, para
cada 8 8! ,
( m08 B 0 Bm . .B !,
\
( m08 B 0 Bm . .B $.
\
" ( 08 B . .B ( 08 B 0 B . .B
3M E\3 E\3
" ( 08 B . .B ( 08 B 0 B . .B
3M E\3 E\3
( m08 Bm . .B ( m08 B 0 Bm . .B
E -E\3
( m08 Bm . .B $ ,
E
.0 E ( 0 B . .B ( 1B . .B .1 E.
E E
( 0 B 1B . .B .0 E .1 E !
E
( 0 B . .B ( 0 B . .B
\ \
3M 3M
e portanto
|=+ lE l=l+ E, |== lE l=l= E.
3M 3M
171Comparar com II.2.19, reparando que agora a situao mais simples por no ser
necessrio lidar com o problema levantado por conjuntos de medida infinita.
380 Cap. III. Espaos funcionais e aplicaes
portanto F! 1 F! 1
s , o que mostra que fica bem definida uma aplicao
linear F W>\ I por F1 F! 1, a qual vai verificar a desigual-
dade enunciada.
3) Vamos mostrar a existncia de 0 P# \ I tal que, para todo o
1 W>\ I,
F1 1 0 ( 1B 0 B ..B.
\
A =E F1 ( E BA 0 B ..B
( A 0 B . .B A ( 0 B . .B,
E E
=E ( 0 B . .B .0 E,
E
por
0 B
s0 B, s Bm "
se m0
A! s .
mA! m , se m0 Bm "
( m1Bm . .B ( :Bm0 Bm . .B ( m0 Bm . .
sB _,
\ \ \
=E ( 0 B . .
sB ( :B0 B . .B ( 1B . .B,
E E E
0 1 ( 0 B 1B . .B,
\
173De facto, como se constata pela demonstrao, a hiptese de a medida ser 5 -finita
aqui totalmente desnecessria. S a impomos para podermos retomar as mesmas hipteses
em III.7.24, resultado em que ela intervm na demonstrao de um dos casos limites.
7. Medidas vetoriais e resultados de dualidade 383
0 1 ( 0 B 1B . .B,
\
( 0 B 1B . .B ( m0 Bmm1Bm . .B m0 m: m1m; .
\ \
agora fcil constatar que ficamos com uma aplicao bem definida
P: \ I P; \ I , 0 1 ( 0 B 1B ..B
\
01 0 0 1 ( 0 B 1B ..B,
\
cuja norma m01 m m1m; . Fica assim definida uma aplicao linear cont-
nua injetiva de P; \ I para o dual PP: \ I , que a 1 associa 01 .
Dem: A linearidade de 01 P: \ I simplesmente a linearidade na
primeira varivel da aplicao 0 1 0 1 e a continuidade desta
aplicao linear uma consequncia de se ter
l01 0 l l0 1l m0 m: m1m; ,
0 B
m1Bm;# 1B, se 1B !
.
0 se 1B !
m0 m: ( m0 Bm: . .B
":
\
( m1Bm; . .B
(3) ":
.
m1m; ;: m1m; ;"
\
0 1 ( m1Bm; . .B m1m;;
\
0 B m1Bm
1B
, se B E
.
!, se B E
Tem-se
( m0 Bm . .B ( " . .B .E,
\ E
"
donde 0 P \ I e m0 m" .E, e, tendo em conta II.2.44,
( + . .B +.E m0 m" +,
E
F0 0 1 ( 0 B 1B ..B.
\
Dem: Vamos dividir a demonstrao em vrias alneas, cada uma com a sua
prpria demonstrao:
1) Vamos verificar que, para cada E `, existe um, e um s, =E I tal
que, para cada A I ,
A =E FE A,
4N
para cada A I ,
A =E FE A " FE4 A " A =E4 A " =E4
4N 4N 4N
4N
anloga mas tambm resulta de se ter g g g, donde =g =g =g.
4N
" .E4
":
.E":
4N
e portanto
388 Cap. III. Espaos funcionais e aplicaes
mFm" E4 A4 mFm.E": .
:
4N
4N
medida vetorial.
Subdem: Para cada parte finita M N , podemos aplicar a concluso de
3) famlia dos E4 , com 4 N , cuja unio est contida em E, para deduzir
que
"m=E4 m mFm.. E4
":
mFm.E":
4M 4M
4N
famlia dos =E4 , com 4 N , absolutamente somvel, e portanto somvel.
4N
parte finita M! N tal que, para cada parte finita M N , com M M! , se tenha
4M
vemos que
mFm.E .E4
":
mFm&": $ ,
4M
7. Medidas vetoriais e resultados de dualidade 389
=E ( 1B . .B.
E
F0 ( 0 B 1B . .B 0 1.
\
4N
( 0 B 1B . .B.
\
F0 ( 0 B 1B . .B.
]
F0 lim F0 8 lim ( 0 8 B 1B . .B
8_ 8_ \
lim ( 08 B 1] B . .B lim 08 1]
8_ ] 8_
0 1] ( 0 B 1B . .B.
]
( \8 B m1Bm . .B mFm
; ;
\
7. Medidas vetoriais e resultados de dualidade 391
pelo que, uma vez que as funes que a B associam \8 B m1Bm; consti-
tuem uma sucesso crescente convergente, para cada B, para m1Bm; ,
deduzimos do teorema da convergncia montona que
( m1Bm . .B 8_
lim ( \8 B m1Bm; . .B mFm; _,
;
\ \
F0 0 1 ( 0 B 1B ..B. 176
\
Dem: Vamos utilizar o lema de Rudin em III.3.4 para deduzir este resultado
do caso j estudado no lema precedente. Esse lema garante-nos a existncia
de uma medida finita .w ` , definida por .w .3 , para uma certa
aplicao mensurvel 3 \ ! _, para a qual se tem, para cada
E `, .w E ! se, e s se .E !.
Em particular coincidem as relaes de equivalncia no espao das aplica-
es topologicamente mensurveis \ I associadas a . e a .w , o que d ao
espao vetorial Q /8=\ I das classes de equivalncia um significado que
no depende de qual dessas duas medidas se considera, tal como sucede ao
seu subespao vetorial P_ \ I. Isso j no sucede com os subespaos
P< \ I, com " < _, pelo que reservaremos aquela notao para os
associados medida . e usaremos a notao alterada Pw < \ I quando
considerarmos a medida .w , usando a notao m m<w para a respetiva norma.
Feitas estas observaes, vemos que se pode considerar um isomorfismo
> Q /8=\ I Q /8=\ I, >0 0 ,
( m0 Bm . .B ( m0 Bm 3B . .B ( m0 Bm . . B
: : : w
\ \ \
w:
mostra que o isomorfismo > aplica P \ I sobre P: \ I e que se tem
m>0 m: m0 mw: , em particular o isomorfismo contnuo. Temos assim,
por composio, uma aplicao linear contnua F > Pw : \ I e o
;
s Pw \ I tal que, para cada
lema precedente garante a existncia de 1
w:
0 P \ I,
F0 F >0 ( 0 B s1B . .w B
\
\ \
F0 ( 0 B s1B . .B,
\
w_ _
onde 1
s P \ I P \ I, que a concluso pretendida, desde
que se tome 1 s1. No caso em que : ", tem-se " :" "; e a igualdade
referida diz-nos que
F0 ( 0 B 1B . .B,
\
";
desde que se defina 1B 3B s1B, o que mais uma vez a concluso
pretendida, por ser
P: \ P; \ , 0 1 0 1,
0 1 ( 0 B 1B ..B.
\
0 1 ( 0 B 1B ..B.
\
7. Medidas vetoriais e resultados de dualidade 393
0 1w ( 0 B 1B . .B 0 1.
\
( 0 .= ou ( 0 B . =B
( 0 B . =B ( 0 B 1B . .B K,
( m0 B 1Bm . .B ( Q m0 Bm . .B Q ( m0 Bm . .B _,
( 0 B 1B . .B ( 0 B s1B . .B.
III.7.29 Usamos o sinal na notao do integral para sublinhar que este tem
implcito uma aplicao bilinear qual associmos o mesmo sinal. Um caso
particular importante em que essa aplicao bilinear especialmente natural
aquele em que K I um espao de Banach sobre , J e a
aplicao bilinear contnua I I a multiplicao pelos escalares.
Nesse caso usaremos tambm a notao mais habitual
( 0 B . =B
-medida, uma vez que o integral ' 0 B . .B, quando se olha para .
no caso em que olhamos uma medida positiva finita . ` como
integrveis e
( 0 B s0 B . =B ( 0 B . =B ( s0 B . =B,
( +0 B . =B +( 0 B . =B.
( 0 B . =B Q ( m0 Bm .l=lB.
( 0 B . =B ( s0 B . =B.
( 0 B . =B " A4 =\4 .
4N
( Q m0 Bmm1Bm..B Q ( m0 Bm..B.
( 0 B . =B " ( \4 B A4 . =B
4N
" ( \4 B A4 1B . .B
4N
" A4 ( 1B . .B
\4
4N 4N
a) ( 0 B .= =w B ( 0 B . =B ( 0 B .=w B,
b) ( 0 B .+=B + ( 0 B . =B.
c) ( 0 B .!B !.
( 0 B .= = B " A4 = = \4
w w
4N 4N
( 0 B . =B ( 0 B . =w B
e, analogamente,
+ ( 0 B . =B.
( m0 Bm .l= = lB ( m0 Bm .l=l l= lB
w w
\ \
( m0 Bm .l=lB ( m0 Bm .l=w lB _
\ \
e, analogamente
( 0 B .= = lim ( 08 B .= = B
w w
lim ( 08 B . =B ( 08 B . =w B
lim ( 08 B . =B lim ( 08 B . =w B
( 0 B . =B ( 0 B . =w B
e, analogamente,
+ lim ( 08 B . =B
+ ( 0 B . =B,
o que prova a) e b). Quanto a c), tambm se podia dar uma prova simples do
mesmo tipo, mas mais fcil notar que se trata de uma consequncia de b),
com + !, uma vez que o facto de qualquer aplicao topologicamente
mensurvel ser integrvel para a medida vetorial ! uma consequncia de se
ter l!l ! e de o integral de qualquer funo mensurvel positiva para a
medida positiva ! ser igual a !, em particular finito.
(lembrar que uma funo contnua real atinge um mximo sobre cada com-
7. Medidas vetoriais e resultados de dualidade 399
mA Dm A .
D
mDm
D
Dem: Sendo sD mDm , tem-se mDm
s " e D mDm sD , pelo que a desigualdade
do enunciado ficar estabelecida se verificarmos que crescente em " _
a funo
s # A >D
:> mA >Dm s mAm# ># #>dA sD
s A >D
(reparar que :" mA sDm# e :mDm mA Dm# ). Ora isso resulta de
que : derivvel em cada > e com
:w > #> #dA sD !,
uma vez que, pela desigualdade de Cauchy-Schwarz,
dA sD lA sDl mAmmDm
s ".
linear associado a =,
F= V- \ I , F= 0 ( 0 B . =B,
( 0 B . =B ( 0 B 2B .l=lB.
178Repare-se
que, no caso em que I , com a multiplicao como produto interno, e =
uma medida positiva finita, esta aplicao linear F= no mais do que a definida em
III.4.26.
7. Medidas vetoriais e resultados de dualidade 401
( m2B 1Bm . .B $.
( m2B s1Bm . .B $.
1B
s1B, se m1Bm
s "
s1B
m1Bm
s
, se m1Bm
s "
que
l=l\ ( 2B 2B . .B
( 2B 1B 2B . .B ( 1B 2B . .B
( 2B 1B 2B . .B F= 1
( m2B 1Bm . .B $,
vemos que
402 Cap. III. Espaos funcionais e aplicaes
lF= 0 l ( 0 B . =B ( m0 Bm . .B
( :B . .B Fl=l :.
( m2B 1Bm. .B
$
.
Q
Podemos ento definir 0 V- \ I por 0 B :B1B, que verifica
m0 Bm :B, para cada B \ , e de se ter
( :B2B 1B 2B..B F= 0 ,
onde
( :Bm2B 1Bm..B
Q ( m2B 1Bm..B $
vemos que
7. Medidas vetoriais e resultados de dualidade 403
F0 ( 0 B . =B.
0 B :B<B
:B
2B, se :B <B !
!, se :B <B !
,
1B
<B
:B<B 2B, se :B <B !
!, se :B <B !
A: ( :B . .B.
notao em III.4.10). Uma vez que, para cada : nessas condies, tem-se
m:m_ ", e portanto, pelo que se viu em 2), A(:) mFm, conclumos que
.\ mFm, em particular a medida de Radon . finita. Para cada
: V- \ tem-se ento
A: A: F. : ( :B . .B.
F0 ( 0 B . =B.
lF0 l A: ( :B . .B m0 m" ,
F0 ( 0 B 1B . .B.
F0 F0 ( 0 B 1B ..B ( 0 B .=B.
F= 0 ( 0 B . =B,
F= 0 ( 0 B . =B.
Fw= 0 ( 0 B . =B,
Fw= 0 ( 0 B . =B ( 0 B 1B . .B
\
( 0 B 1B . .B ( 0 B . =B F= 0 .
\
Exerccios
e portanto
" m=E4 m $ " m=8 E4 m $ l=8 lE,
4M 4M
4M
F0 (
"
0 B1B .B,
!
(
"
B8 1B .B ",
!
( 0 . = ( 0 B . =B " A4 =\4 K,
4N
( 0 B . =B Q ( m0 Bm . .B.
( 0 . = ( 0 B . =B K
( 0 B . .1 B ( 0 B 1B . .B.
" -8 F<3 B3 8 .
+
3M
$
e que
O . F<4 B4 . F$<3 B3 ,
4N! 3M
que pode ser encarado intuitivamente como uma densidade mdia da medida
. na bola F< B! . Vamos dizer que a medida de Radon . tem densidade nula
no ponto B! se se tiver
.F< B!
lim !.
<! -8 F< B!
Uma observao simples, que nos ser por vezes til, que, no caso em que
. tem densidade nula em B! , considerando as bolas fechadas F < B! tem-se
tambm
.F < B!
lim !.
<! -8 F< B!
.F< B
$.
-8 F< B
Tem-se ento que E$ um boreliano.
Subdem: Comecemos por notar que, fixado <" !, a condio de se
.F< B
ter -8 F< B $ para todo o real < com ! < <" equivalente de isso
acontecer para todo o racional < com ! < <" . Com efeito, se a condio
se verificar para todo o racional < entre ! e <" , dado um irracional < entre ! e
<" , podemos considerar uma sucesso crescente de racionais =: ! com
=: < e ento o facto de F< B ser a unio da sucesso crescente de bolas
F=: B implica que .F=: B .F< B e -8 F=: B -8 F< B e
.F=: B
portanto, por se ter, para cada :, -8 F=: B $ , conclumos, por passagem ao
.F< B
limite, que se tem efetivamente -8 F< B $ .
Uma vez que, pela invarincia por translao da medida de Lebesgue, tem-se
-8 F< B -8 F< !, conclumos de b) que, para cada < !, boreliano
o conjunto E$ < dos B E tais que -.8F < B
F< B $ . Conclumos daqui que, para
cada <" !, o conjunto E s$ <" dos B E tais que, para todo o ! < <" ,
.F< B
$ tambm boreliano, uma vez que, como notado atrs, a inter-
-8 F< B
seco contvel dos E$< com < racional entre ! e <" . Reparando finalmente
que E$ vai ser a unio contvel dos E s$<" com <" racional maior que !,
podemos concluir que E$ efetivamente um boreliano.
d) Vamos agora mostrar que, para cada $ !, tem-se -8 E E$ !.
Subdem: Seja & ! arbitrrio. Tendo em conta a regularidade exterior
da medida . (cf. a alnea b) de III.4.6), seja Z um aberto de 8 , com
E Z Y , tal que .Z &. Para cada B E E$ , depois de considerar
uma bola aberta de centro B contida em Z , podemos, pela caracterizao dos
pontos de E$ , considerar <B ! menor que o respetivo raio de modo que se
tenha
.F<B B
F<B B Z , $.
-8 F<B B
+ -8 . F<B B
BEE$
pelo que, pelo lema III.8.1, podemos considerar uma parte finita M de E E$
tal que as bolas abertas F<B B com B M sejam disjuntas duas a duas e com
" -8 F<B B
+
BM
$8
.. F<B B
$8 $8 $8 &
.Z .
$ BM
$ $
5
implica que Ew um boreliano e que
( m0 B 0 B! m . -8 B _,
F< B!
(
"
m0 B 0 B! m . -8 B,
-8 F< B! F< B!
que pode ser encarado intuitivamente como uma mdia na bola aberta da
funo B m0 B 0 B! m.
Existe ento um boreliano ] Y , com -8 ] ! tal que, para cada
B! Y ] ,
(
"
lim m0 B 0 B! m . -8 B !.
<! -8 F< B! F B
< !
GA+ B Y m0 B Am +,
YA+ Y GA+ B Y m0 B Am +,
.A+ \ ( m0 B Am . -8 B ( m0 B Am GA+ B . -8 B,
\GA+ \
medida que uma medida de Radon, uma vez que localmente integrvel a
aplicao B 0 B A e que se tem portanto, quando \ compacto,
.A+ \ ( m0 B Am . -8 B _.
\
] . YA+ EA+ ,
AV
+!,+
( m0 B Am . -8 B
F< B!
( m0 B Am . -8 B ( m0 B Am . -8 B
F< B! GA+ F< B! YA+
.A+ F< B! ( + . -8 B
F< B! YA+
$ #$
-8 F< B! + -8 F< B! -8 F< B! ,
$ $
418 Cap. III. Espaos funcionais e aplicaes
donde tambm
( m0 B 0 B! m . -8 B
F< B!
( m0 B Am mA 0 B! m . -8 B
F< B!
#$
-8 F< B! + -8 F< B! $ -8 F< B! ,
$
por outras palavras,
(
"
m0 B 0 B! m . -8 B $ .
-8 F< B! F< B!
(
"
lim m0 B 0 B! m . -8 B !.
<! -8 F< B! F B
< !
(
"
lim 0 B . -8 B 0 B! .
<! -8 F< B! F< B!
( 0 B .-8 B 0 B!
"
-8 F< B! F< B!
( ( 0 B! .-8 B
" "
0 B .-8 B
-8 F< B! F< B! -8 F< B! F< B!
( 0 B 0 B! . -8 B
"
-8 F< B! F< B!
(
"
m0 B 0 B! m .-8 B.
-8 F< B! F< B!
181Voltamos aqui opo de considerar apenas intervalos abertos como domnios, para
simplificar os enunciados, tendo presente o facto j referido anteriormente de uma funo
definida num intervalo fechado numa ou em ambas as extremidades poder ser natural-
mente prolongada a um intervalo aberto que o contm.
8. O integral indefinido revisitado 419
s0 > ( 0 B .B
>
>!
w
(cf. II.3.5). Tem-se ento s0 > 0 > quase sempre.
Dem: Tendo em conta III.8.4, conclumos a existncia de um boreliano
] N , com -] !, tal que, para cada >" em N ] ,
(
"
lim m0 B 0 >" m .B !.
<! #< >" <>" <
Seja >" N ] . Uma vez que, para cada < ! com >" < >" < N ,
tem-se
e portanto tambm
(
"
lim m0 B 0 >" m .B !,
<! < >" >" <
lim (
"
m0 B 0 >" m .B !,
<! < >" <>"
deduzimos de se ter
0 >" m ( 0 B .B 0 >"
s0 >" < s0 >" "
m
< < >" >" <
( 0 B 0 >" .B (
" "
m0 B 0 >" m .B
< >" >" < < >" >" <
e, do mesmo modo,
0 >" m ( 0 B .B 0 >"
s0 >" s0 >" < "
m
< < >" <>"
( 0 B 0 >" .B (
" "
m0 B 0 >" m .B
< >" <>" < >" <>"
so ambos iguais a 0 >" , o que mostra que s0 tem derivada em >" igual a
0 >" .
>!
w
Em consequncia, tem-se tambm 0 > 0 > quase sempre.
Dem: Tudo o que temos que justificar a frmula que relaciona a aplicao
0 com o integral indefinido referido em III.8.6, visto que a concluso ser
ento uma consequncia do resultado referido, tendo em conta o facto de as
constantes terem derivada ! e de a derivada de uma soma ser a soma das
derivadas. Ora, se > >! , tem-se a unio disjunta - > - >! >! >,
donde
>!
e, se > >! , tem-se a unio disjunta - >! - > > >! , donde
>!
e, reparando que, para > >" , tem-se - > - >" >" >, com estes
conjuntos disjuntos, e que, para > >" , tem-se - >" - > > >" , com
estes conjuntos disjuntos, vemos que
2>" < 2>" m=- >" < =- >" m m=>" >" <m
< < <
l=l>" >" < l=l>" < >" <
#
< #<
e, do mesmo modo,
2>" 2>" < m=- >" =- >" <m m=>" < >" m
< < <
l=l>" < >" l=l>" < >" <
#
< #<
pelo que, uma vez que em ambos os casos a expresso direita tende para !
quando < !, conclumos que os limites direita e esquerda, quando
> >" , de
2> 2>"
> >"
so ambos iguais a !, ou seja, 2w >" !.
422 Cap. III. Espaos funcionais e aplicaes
Exerccios
(
"
lim m0 B 0 B! m . -8 B !.
<! -8 F< B! F< B!
(
"
m0 B 0 Cm . -8 B $
-8 F< C F< C
C( m0 B 0 Cm . -8 B.
F< C
"
c) Mostrar que a sucesso de intervalos :" :" no se concentra substancial-
mente no ponto ! (apesar de, num sentido bvio, concentrar-se no ponto !).
d) (Alternativa ao resultado fundamental para a derivabilidade) Sejam
Y 8 um aberto, I um espao de Banach e 0 Y I uma aplicao
localmente integrvel. Mostrar que existe um boreliano ] Y , com
-8 ] !, tal que, qualquer que seja B! Y ] e a sucesso de borelianos
\: Y que se concentre substancialmente em B! ,
( m0 B 0 B! m . -8 B !,
"
lim
: -8 \: \:
( 0 B . -8 B 0 B! .
"
lim
: -8 \: \:
3M
- . e os intervalos abertos +3 ,3 so disjuntos dois a dois.
Consideramos tambm uma funo
X1 - . ,
3M
3M
+3 ,3 B C.
Dizemos que 1 uma aplicao de variao limitada se Z 1 _.185
o que termina a prova por induo. Uma vez que para cada famlia nas
condies referidas tem-se
" |1,3 1+3 | " 1,3 1+3 1, 1- 1. 1- ,
3M 3M
187De facto, pode-se provar que esta desigualdade mesmo uma igualdade, mas mais
fcil verificar isso depois de estudarmos as medidas de Lebesgue-Stieltjes vetoriais.
Propomos esse resultado como exerccio no fim da seco (cf. o exerccio III.9.6).
428 Cap. III. Espaos funcionais e aplicaes
Z 1 l1, 1+l 1, 1+ 1. 1- $,
donde, tendo em conta a arbitrariedade de $ ,
Z 1 1. 1- ,
o que garante a igualdade dos dois membros.
c) Consideremos uma famlia finita +3 ,3 3M , de intervalos abertos
disjuntos dois a dois, com +3 ,3 em - .. Tem-se ento
donde
( m1w Bm .B,
-.
3M 3M
4N ww
33!
m1+ 1B8 m Z 1-+ m1+ 1B8 m
3M
33!
m1B8 1Bm X1B. C m1B8 1Bm
e portanto, por ser m1B8 1Bm m1B 1Bm, mais uma vez,
" m1,3 1+3 m X1B. C m1B 1Bm.
3M
3M
+, que notaremos 1+ .
c) Para cada + - ., tem-se
X1 + lim X1 B X1 + m1+ 1+ m,
B+
8"
bastando agora reparar que, uma vez que 1+. tambm de variao
limitada, o que vimos em a) garante que lim X1+. B !.
B+
e) Temos uma consequncia de I.3.9 uma vez que, tendo em conta as
concluses de c) e d), o conjunto dos pontos onde 1 no contnua coincide
com o conjunto dos pontos onde a funo crescente X1 - . no
contnua.
III.9.11 (Aditividade da variao total) Sejam - . um intervalo aberto
no vazio, I um espao de Banach, + - . e 1 - . I uma aplicao.
Tem-se ento que 1 de variao limitada se, e s se, admitir limites laterais
esquerda e direita no ponto + e as restries de 1 a - + e a + . forem
de variao limitada. Quando isso acontecer,
Z 1 Z 1-+ Z 1+. m1+ 1+ m m1+ 1+m,
o que implica, por passagem ao limite quando B . , por ser, pelo que
vimos em III.9.7,
Z 1 lim X1 B, Z 1+. lim X1+. B,
B. B.
a igualdade
436 Cap. III. Espaos funcionais e aplicaes
em particular Z 1 _.
" =1 F3 .
33! 33!
3M
190 claro que, no caso em que 1 contnua direita, podemos escrever simplesmente
=1 B C 1C 1B.
9. Aplicaes de variao limitada e medidas de Lebesgue-Stieltjes 437
A3 =1 F3 A3 " =1 F3 G5 ,
5O
o que, mais uma vez, implica a igualdade (1). Por simetria dos papis das
duas famlias, tem-se tambm, para cada 5 O ,
(2) D5 =1 G5 D5 " =1 F3 G5 .
3M
5O 3M 5O
3M 3M
e
G1 +: " +A3 =1 F3 + " A3 =1 F3 + G:,
3M 3M
3M 3M
( l:Bl . .B m:m" .
N
para cada : Wf N .
440 Cap. III. Espaos funcionais e aplicaes
.E . E4 .E " .E4 $ ,
4M w 4M w
e portanto
l=1 l+ m1+ 1+ m.
b) Para cada + - .,
=1 - + 1+ 1- ,
192Apesar de a lista dos intervalos cuja medida explicitmos no esgotar todos os inter-
valos que se podem considerar, fcil determinar as medidas dos restantes, utilizando as
propriedades de aditividade da medida e a medida dos conjuntos singulares.
442 Cap. III. Espaos funcionais e aplicaes
Subdem: Vem
m1, 1+m m1, 1, m m1, 1+ m m1+ 1+m
m1, 1, m m1, 1,m m1, 1+ m m1+ 1+m
m=1 ,m m1, 1,m m=1 + ,m m1+ 1+m
l=1 l+ , m1, 1,m m1+ 1+m.
Uma vez que a classe dos intervalos + , nas condies anteriores constitui
um semianel 5 -total de partes de N , onde as medidas . e l=1 l so finitas (cf.
I.4.3) e que a 5 -lgebra gerada por este semianel a dos borelianos, podemos
aplicar II.4.17 para concluir que se tem, mais geralmente, para cada boreliano
E de N , .E l=1 lE, e portanto tambm .E l=1 lE, uma vez que a
desigualdade oposta uma das concluses de III.9.14.
6) As igualdades l=1 lN Z 1 e, para cada + - .,
l=1 l- + X1 + X1 + m1+ 1+m,
.
2C "
CB 5
Vamos verificar que se tem -E5 !.
Subdem: Se B N M , tem-se B E5 se, e s se, existe uma infinitade
de elementos C M tais que lC Bl 5m2Cm isto , se, e s se, B pertence
a uma infinidade de intervalos
N5C C 5m2Cm C 5m2Cm,
$
2C 2B! 2C "
C B! C B! 5
(reparar que o primeiro membro ! se C M ). Ficou assim provado que
2w B! !.
III.9.19 (Derivabilidade das aplicaes de variao limitada) Sejam
N - . um intervalo aberto no vazio, I um espao de Hilbert e
1 N I uma aplicao de variao limitada. Tem-se ento:
a) Existe uma aplicao topologicamente mensurvel 0 N I tal que se
tenha 1w > 0 > quase sempre (relativamente medida de Lebesgue -), em
particular 1 derivvel em quase todos os pontos de N .
b) Qualquer aplicao topologicamente mensurvel 0 N I nas condies
de a) uma aplicao integrvel (relativamente medida de Lebesgue - ).194
Dem: Consideremos a medida de Lebesgue-Stieltjes vetorial =1 U I nos
borelianos de N (cf. III.9.14). Tendo em conta III.7.18, consideremos uma
decomposio de Lebesgue de =1 , relativa medida de Lebesgue -,
constituda por uma medida --absolutamente contnua = U I e uma
medida --singular =w U I tais que =1 = =w . Tendo em conta o
teorema de Radon-Nikodym para medidas vetoriais (cf. III.7.21), conside-
remos uma aplicao integrvel 0 N I tal que = -0 , isto , que
=E ( 0 B .B,
E
para cada boreliano E de N .195 Tendo em conta III.9.15, para cada > N ,
tem-se
1> 1- =1 - > -0 - > =w - >,
portanto
1> 1- 1> 1> -0 - > =w - >
(1)
1- 2" > 2# > 2$ >,
onde
194Quem resolver o exerccio III.9.10 adiante, constatar que h uma escolha natural para
0 , nomeadamente a aplicao que toma o valor 1w > nos pontos em que 1 derivvel e,
por exemplo, o valor ! nos restantes pontos.
195 para podermos aplicar esse resultado que exigimos que I seja um espao de Hilbert,
e no meramente um espao de Banach.
9. Aplicaes de variao limitada e medidas de Lebesgue-Stieltjes 447
>M >M
Podemos assim aplicar o lema III.9.18 para concluir que se tem 2"w > !
quase sempre. Por outro lado, resulta de III.8.7 e III.8.8 que 2#w > 0 >
quase sempre e que 2$w > ! quase sempre. Deduzimos assim de (1) que,
para quase todo o > - ., 1 derivvel em >, e com 1w > 0 >. Ficou
assim provada a afirmao em a) e a de b) resulta de que, se s0 N I
outra aplicao topologicamente mensurvel com 1w > s0 > quase sempre,
ento 0 > s0 > quase sempre e portanto, por 0 ser integrvel, s0 tambm
integrvel.
III.9.20 (Corolrio Teorema de Lebesgue sobre a derivabilidade das fun-
es crescentes) Sejam N - . um intervalo aberto no vazio, com
extremidades finitas ou infinitas, e 1 N uma funo crescente (no
sentido lato). Tem-se ento que 1 derivvel em quase todos os pontos de N
(relativamente medida de Lebesgue -).
Dem: Se a funo crescente 1 fosse limitada, ela seria uma aplicao de
variao limitada (cf. a alnea b) de III.9.4) pelo que a concluso era uma
aplicao directa do resultado precedente. No caso geral, podemos considerar
duas sucesses de elementos -8 .8 em - ., com -8 - e .8 . . Uma
vez que a restrio de 1 a cada -8 .8 j limitada, por admitir 1-8 e 1.8
como minorante e majorante respectivamente, podemos concluir a existncia,
para cada 8 de um boreliano ]8 -8 .8 com -]8 ! tal que 1 seja
derivvel em cada ponto de -8 .8 ]8 e, sendo ] a unio dos ]8 , que
verifica ainda -] !, o facto de - . ser a unio dos -8 .8 implica que
1 derivvel em cada ponto de - . ] .
.E ( :B .B ( :B E B .B.
E -.
.E .E E8 .E E8 ( 8 .B .N E8
EE8
$ $
8-E E8 8& $ .
# #
vem
" m1,3 1+3 m $.
3M
-E " ,3 +3 &,
3M
uma vez que, para cada parte finita O M , a correspondente soma com
3 O menor que $# .
Tendo em conta I.4.8, o facto de ser -E ! permite-nos considerar uma
450 Cap. III. Espaos funcionais e aplicaes
" ,35 +35 " " -+35 ,35 " -. +35 ,35
3M 3M
196A hiptese de 1 ser de variao limitada pode ser dispensada desde que se enfraquea
algumas das concluses, nomeadamente: a aplicao 0 poder ser s localmente integr-
vel, em vez de integrvel, o valor 1- dever ser substitudo por 1>! , para um >!
escolhido em - ., e o integral em - B dever ser substitudo pelo integral de >! a B (no
sentido referido em II.3.5). O passo essencial para obter esta concluso mais geral consis-
te em aplicar o presente resultado s restries de 1 a intervalos + , com + , em
- ., reparando que, como se ver no exerccio III.9.9 adiante, essas restries so neces-
sriamente de variao limitada. Alis, e pela mesma razo, a hiptese de 1 ser absoluta-
9. Aplicaes de variao limitada e medidas de Lebesgue-Stieltjes 451
1B 1- ( 0 > .>.
-B
=E ( 0 B .B,
E
e portanto
1B 1- -0 - B 1- ( 0 > .>.
-B
mente contnua pode ser enfraquecida, bastando pedir que 1 tenha restrio absolutamente
contnua a cada um dos intervalos + , referidos (costuma-se ento dizer-se que 1
localmente absolutamente contnua).
197Quem resolver o exerccio III.9.10 adiante, constatar que h uma escolha natural para
0 , nomeadamente a aplicao que toma o valor 1w > nos pontos em que 1 derivvel e,
por exemplo, o valor ! nos restantes pontos.
452 Cap. III. Espaos funcionais e aplicaes
EXERCCIOS
198Recordar que a norma de 0 a menor das constantes Q ! tais que m0?m Q m?m,
para todo o ? I .
9. Aplicaes de variao limitada e medidas de Lebesgue-Stieltjes 453
Z 1 ( m1w Bm .B.
-.
=1 + , ( 1w B .B
+,
$
1C 1B 1Cw 1B
CB Cw B
e que esta ltima condio equivalente de se ter, sempre que C e Cw perten-
cem a B & B &,
mC w B1C 1B C B1Cw 1Bm $ lC BllCw Bl
e utilizar um argumento de passagem ao limite para mostrar que ela tambm
equivalente de esta ltima desigualdade ser verificada para C Cw na inter-
seco de B & B & com o conjunto contvel ] , mostrando, para
isso, que todo o elemento C em B & B & limite de uma sucesso de
elementos C8 do conjunto B & B & que pertencem a ] , podendo
escolher-se a sucesso constante no caso em que C ] . Para cada par
de racionais $ ! e & !, e cada par de elementos C Cw em ] , mostrar
que boreliano o conjunto \$ &CCw dos pontos B , tais que lC Bl &,
ou lCw Bl &, ou
mC w B1C 1B C B1Cw 1Bm $ lC BllCw Bl,
e relacionar \ com este conjunto. Reparar, enfim, que, para cada B \ ,
tem-se
"
1w B lim 8 1B 1B.
8
Apndice 1
Uma verso do teorema de Sard
199Infelizmente,nada nos garante que a imagem direta de um boreliano por uma aplica-
o contnua, mesmo quando esta uma aplicao linear, tenha que ser um boreliano.
458 Ap. 1. Uma verso do teorema de Sard
uma situao muito simples em que possvel garantir que uma tal
imagem um boreliano e mostramos em seguida que um nmero
significativo de borelianos de 8 est nessa situao.
4N
Dem: a) O prprio 8 5 -compacto, por ser a unio, por exemplo, das bolas
fechadas de centro ! e raio 8 (8 ), que so conjuntos fechados e limita-
dos, e portanto compactos. Se Y um aberto de 8 diferente de 8 ,
podemos considerar, para cada 8 , o conjunto
"
O8 B 8 mBm 8 .B 8 Y
8
que fechado e limitado (lembrar que a norma e a funo distncia ao
subconjunto fechado no vazio 8 Y so funes contnuas) e portanto
compacto. Reparando que B Y se, e s se, .B 8 Y !, vemos que
os conjuntos O8 esto contidos em Y e tm unio Y , j que, para cada
B Y , tem-se, para 8 suficientemente grande, mBm 8 e .B 8 Y 8" .
b) Seja O4 4N uma famlia contvel de compactos de unio 8 . Se E 8
fechado, ento E a unio, dos conjuntos O4 E, que so fechados nos
compactos O4 , e portanto compactos.
c) Sejam O4 4N e O3w 3M duas famlias contveis de compactos com
unies iguais a E e F , respetivamente. Tem-se ento que E F a unio da
famlia contvel de conjuntos O4 O3w , com 4 3 N M , onde cada
200Estadefinio pode ser dada, mais geralmente, no caso em que substitumos 8 por
um espao topolgico \ .
Ap. 1. Uma verso do teorema de Sard 459
4N
contvel de conjuntos O43 , onde o conjunto de ndices considerado o dos
pares 4 3 com 4 N e 3 M4 (unio contvel de conjuntos contveis).
-8 0 Z ( -H0B . -8 B.
Z
e E& Z 8 #8 o conjunto
E& B C Z 8 C 0 F & B.
Tem-se ento que os conjuntos E& so fechados em Z 8 , em particular
borelianos, e
-#8 E& "8 &8 -8 0 Z& .
( -8 B 8 B C E& . -8 C
0 Z&
0 F & B 0 B.
"
G& B C Z 8 C
&
Tem-se ento que G& fechado em Z 8 , em particular boreliano,
G& Z F Q ! e
-#8 G& "8 -8 0 Z& .
Ap. 1. Uma verso do teorema de Sard 461
( -8 0 F & B 0 B . -8 B
"
Z &
( 8 -8 0 F & B . -8 B
"
Z &
8 ( -8 C 8 B C E& . -8 B
"
& Z
"
8 -#8 E& "8 -8 0 Z& .
&
5) Para cada inteiro 5 ", seja H5 Z 8 o conjunto
H5 . G&! 4 .
45
-#8 H ( -8 C 8 B C H . -8 B
Z
( -8 H0B F " ! . -8 B
Z
-8 F ( -H0B . -8 B,
E
-8 0 E ( -H0B . -8 B.
E
-8 0 [: ( -H0B . -8 B
[:
( -H0B . -8 B ( -H0B . -8 B
E [: E
( -H0B . -8 B
Q
.
E :
Sendo F 8 o boreliano interseco dos 0 [: , : , tem-se 0 E F
e, para cada :, F 0 [: , portanto
-8 F -8 0 [: ( -H0B . -8 B
Q
,
E :
-8 F 'E -H0B . -8 B.
o que, tendo em conta a arbitrariedade de :, implica que se tem efetivamente
-8 F:; ( -H0B . -8 B.
E:;
-8 0 E ( -H0B . -8 B ( ! . -8 B !.
E E
( -H0B . -8 B !.
E
-8 0 Y !.203
Dem: Uma vez que Y 5 -compacto, conclumos que 0 Y 5 -compacto,
em particular boreliano. Considerando ento o aberto Y 87 de 8 e a
aplicao s0 Y 87 8 de classe G " definida por s0 B C 0 B,
basta agora reparar que 0 Y s0 Y !, onde
-8 Y ! -7 Y -87 ! -7 Y ! !.
203Esta concluso no seria possvel se tivssemos exigido apenas que 0 fosse contnua,
como se constata se considerarmos a curva de Peano 2 ! " ! " ! ", referida na
alnea e) do exerccio I.4.12.
ndice de Smbolos
_ _ 1
! B3
! _ , ! _ 1
3, 5
3M
c\ 13
`] 13
U\ 14
.] `] 17
. .w ` 18
+ . ` 18
+ , B + B , 20
1+ , 1+ 25, 433
-1 f 25, 41
. c \ 31
-1 c (N ) , - c () 33
- U 43
GR ! " R ! " 47
G G# ! # ! " 48
0 . 53
5 53
7B 53
0 V, 0 ` 54
VW 56
`a 57
1" \ ] \ , 1# \ ] ] 57
' 0 . . ' 0 B . .B
? B C B C 64
72, 74, 110,116
! A4
.0 ` I 121
127
4N
mA" A# AR m maxmA" m mA# m mAR m 133
14 I" I# IR I4 133
+4 I4 I" I# IR 133
468 ndice de Smbolos
B C 142
' , 0 B .B
K- I J 147
' ' 0 B C .. .w B C
. . w ` a 167
w
\] 0 B C . .B . . C 180
f8 187
-8 U8 188
-0 ! _ 193
det0 195
F < B! B 8 mB B! m < 196
"8 -8 F " ! 196
W8 8" 197
.W8 UW8 197
F ! _ W8 8" !, F> B >B 198
H0B 8 8 201
s 8 G8" 8"
W 210
.Ws 8 UWs 8 210
XAD # , )AD 213
expD 223
s0 225
I:30 A + G + 0 A 231
m:m< '\ :B< . .B
"
<
236
Mens\ I, Mens! \ I, Q /8=\ I 240
Q /8=\ I Q /8=] I, 0 0 ] 241
0 B 241, 307
m0 m: '\ m0 Bm: . .B , P: \ I
"
:
242
supess:, supess :B, m:m_ 250
B\
j: N I MensN I, j: I j: I 249
m0 m_ supess m0 Bm, P_ \ I 252
B\
j_ N I MensN I 255
W>\ I Q /8=\ I 256
0 1 '\ 0 B 1B . .B
Wf \ I W>\ I 259
260, 382
0 1 0 1 Q /8=\ L 263
.
s. s+ .s= 270
V- \ I 285, 398
0 Y 286
ndice de Smbolos 469
G- \ I Q /8=\ I 291
P"69- \ I Q /8=\ I 292
0 1 '\ 0 B 1B . .B
08 0 em P"69- \ I 293
294
V- \ 297
F. : '\ :B . .B
F V- \ 297
298
7B 0 C 0 C B 310
: < 8 313
W0 1 8 319
0 1 8 L 319
W0 1 8 322
0 1 8 L 322
F5 8 ! _, F5 B 5 8 F5B 336
V-_ Y I V- Y I MensY I 340
G-_ Y I G- Y I Q /8=Y I 340
H3 0 , H0 P"69- Y I 342
L " Y I, [ "# Y I 361
P"69- Y I P69-
"
Z I, 1 1 0 1 0 362
l.l ` 364
0 . ` J , . ` I 370
.0 ` I , .0 E 'E 0 B . .B
= ` 371
372
=E =+ E == E 374
0 1 '\ 0 B 1B . .B
I 382
'
382
' 0 . = ' 0 B . =B
w
0 1 \ 0 B 1B . .B 0 1 393
' 0 B . =B
393, 410
394
m0 m_ sup m0 Bm max m0 Bm 398
F= V- \ I , F= 0 ' 0 B . =B
B\ B\
399
Med\ I 408
= = ` 409
P0 422
=1 B C 1C 1B I 436
ff N 437
Z 1, X1 B, X1 B C 425
=1 U I 438
ndice Remissivo