Escolar Documentos
Profissional Documentos
Cultura Documentos
ao
Manuel Ricou
Departamento de Matematica
Instituto Superior Tecnico
Setembro 2005
Pref
acio
Mas antes do mais: o que entendemos por
Bernhard Riemann, 1854
Rb
a
f (x)dx?
ii
Pref
acio
Pref
acio
iii
iv
Pref
acio
Conte
udo
1 Integrais de Riemann
1.1 Rectangulos e Conjuntos Elementares em RN
1.2 Algebras,
Semi-Algebras
e Funcoes Aditivas .
1.3 Conjuntos Jordan-Mensur
aveis . . . . . . . .
1.4 O Integral de Riemann . . . . . . . . . . . . .
1.4.1 O Espaco das Funcoes Integraveis . .
1.4.2 Integrais Indefinidos . . . . . . . . . .
1.4.3 Continuidade e Integrabilidade . . . .
1.5 Os Teoremas Fundamentais do Calculo . . . .
1.6 O Problema de Borel . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 A Medida de Lebesgue
2.1 Espacos Mensuraveis e Medidas . .
2.2 A Medida de Lebesgue . . . . . . .
2.3 Medidas Exteriores . . . . . . . . .
2.4 Os Espacos de Borel e de Lebesgue
7
8
19
25
35
41
45
48
55
63
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
77
. 78
. 87
. 99
. 109
3 Integrais de Lebesgue
3.1 O Integral de Lebesgue . . . . . . . .
3.2 Limites, Mensurabilidade e Integrais
3.3 O Teorema de Fubini-Lebesgue . . .
3.4 Funcoes Mensuraveis . . . . . . . . .
3.5 Funcoes Somaveis . . . . . . . . . . .
3.6 Continuidade e Mensurabilidade . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
123
124
135
143
155
165
174
4 Outras Medidas
4.1 A Decomposicao de Hahn-Jordan . . . . .
4.2 Medidas de Variacao Limitada . . . . . .
4.3 Medidas Absolutamente Contnuas . . . .
4.4 Medidas Regulares . . . . . . . . . . . . .
4.5 Medidas de Lebesgue-Stieltjes em R . . .
4.6 Funcoes de Variacao Limitada . . . . . . .
4.6.1 Funcoes Absolutamente Contnuas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
179
180
190
194
196
202
210
216
vi
Pref
acio
4.7
Indice Remissivo
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
221
221
228
232
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
237
238
251
261
270
278
289
297
305
Captulo 1
Integrais de Riemann
A teoria da integracao evoluiu rapidamente na segunda metade do seculo
XIX. Por um lado, e sobretudo como resultado das descobertas fundamentais de Fourier sobre series trigonometricas, hoje ditas series de Fourier,
a dificuldade dos problemas a esclarecer com esta teoria ultrapassou, definitivamente, os recursos pouco sofisticados da teoria existente, ate entao
assente, essencialmente, numa base informal e intuitiva. Em 1854, quando
Riemann quis caracterizar as funcoes que podem ser representadas por series
de Fourier, foi-lhe necessario analisar a nocao de funcao integravel `a luz
de mais exigentes criterios de generalidade, exactid
ao e rigor. A definicao
que apresentou ainda hoje deve ser conhecida por quem quer que deseje
compreender os conceitos mais centrais da An
alise Matem
atica.
Por outro lado, em paralelo com estes estudos de Riemann, mas ainda no
contexto da escola Alema, o genial Cantor descobriu a Teoria dos Conjuntos,
e, simultaneamente, atingiu-se um novo patamar de precisao na forma como
s
ao definidos os proprios n
umeros reais. Ao procurar respostas a questoes
suscitadas tanto pela nova teoria de Riemann, como pela teoria de Fourier,
retomaram-se problemas tao antigos como a propria Matem
atica, conhecidos da Geometria elementar, mas que podiam agora ser estudados `a luz
destas novas ideias. O que e a
area de uma figura plana? O que e o volume
de um s
olido? Qualquer figura plana limitada tem area? Qualquer subcon possvel calcular, por exemplo,
junto de uma recta tem comprimento? E
o comprimento do conjunto dos n
umeros racionais? Uma primeira solucao
para este tipo de problemas foi descoberta pelo matem
atico italiano Peano,
ja perto do final do seculo XIX. O proprio Peano compreendeu a relacao directa entre a sua teoria, que definia a medida de conjuntos, e a de Riemann,
que definia o integral de funco
es, e sabia que as duas teorias s
ao, em certo
sentido, completamente equivalentes.
Neste primeiro captulo, estudamos, sobretudo, as ideias de Riemann e de
Peano, mas nao seguimos a cronologia da sua descoberta, nem usamos sempre os conceitos exactamente como originalmente definidos. Procuramos,
7
1.1
Rect
angulos e Conjuntos Elementares em RN
A determinacao do conte
udo-N de subconjuntos de RN e muito simples
para os conjuntos que s
ao rect
angulos, ou uni
oes finitas de rect
angulos. O
principal objectivo desta seccao e o de definir o conte
udo dos conjuntos deste
tipo, e identificar e demonstrar as suas propriedades mais b
asicas.
O calculo da
area de um rectangulo e imediato. Como sabemos da geometria elementar, essa
area e dada pelo produto dos comprimentos dos seus
lados, lados esses que s
ao, evidentemente, intervalos em R. Considere-se o
exemplo da figura seguinte, que apresenta um rectangulo bidimensional, i.e.,
da forma R = I J, onde I e J s
ao intervalos. Neste caso, a area de R e o
produto dos comprimentos de I e de J.
Bem entendido, usaremos aqui o termo rect
angulo com um sentido
mais geral, independente da dimens
ao N do espaco RN em causa: qualquer
b, se b = , e a > 0,
0, se a = 0,
ab=ba=
b, se b = , e a < 0.
A ttulo de exemplo, o eixo dos yy em R2 e um rectangulo-2 com conte
udo-2
igual a 0, ja que este eixo e o produto cartesiano R = [0, 0]] , +[,
donde c2 (R) = 0 = 0. Analogamente, um prisma rectangular P e o
10
O conte
udo-N e, portanto, uma funcao de um tipo especial: esta definida
o de conjuntos.
numa classe de conjuntos, e e por isso dita uma func
a
Neste caso, e uma funcao com valores no intervalo [0, +], definida, para
ja, na classe de todos os rectangulos-N .
Uma das propriedades mais fundamentais da nocao de conte
udo e a sua
aditividade. Especializada para rectangulos, esta propriedade significa
simplesmente que, quando um rectangulo R e dividido em dois rect
angulos
disjuntos A e B, a soma dos conte
udos de A e de B e o conte
udo de R, i.e.,
c(R) = c(A) + c(B).
Esta propriedade e intuitivamente evidente para as nocoes usuais de
comprimento,
area e volume, mas deve ser demonstrada como valida para o
conte
udo-N , independentemente de N . A proposicao seguinte generaliza-a
para uma famlia finita de rectangulos, e a respectiva demonstracao esta
esbocada nos exerccios 11 a 14 desta seccao.
Proposi
c
ao 1.1.3 (Aditividade do Conte
udo). Se R1 , , Rm s
ao rect
anm
angulo-N , temos
gulos-N disjuntos, e R = i=1 Ri e tambem um rect
cN (R) =
m
X
cN (Ri ).
i=1
11
a ilustrada
particao de R = [0, 2] [0, 1], com diam(P) = diam(P3 ) = 2, e est
na figura abaixo. E
obvio que
c2 (R) = c2 (P1 ) + c2 (P2 ) + c2 (P3 ).
12
Se X e Y s
ao conjuntos, X Y = {x X : x 6 Y } e a diferenca de X e Y .
13
14
Proposi
c
ao 1.1.9. Se P = {P1 , P2 , , Pm }, e R = {R1 , R2 , , Rn }, s
ao
partico
es de S RN em rect
angulos, ent
ao
m
X
cN (Pj ) =
n
X
cN (Ri ).
i=1
j=1
Demonstraca
o. A famlia Q = {Ri Pj : 1 i n, 1 j m} e um refi claro
namento comum das particoes P e R, como ilustrado na figura 1.1.7. E
que a famlia Pi = {Ri Pj : 1 j m} e uma particao de Ri . Analogamente, Rj = {Ri Pj : 1 i n} e uma particao de Pj . Segue-se de 1.1.3
que
m
n
X
X
cN (Ri ) =
cN (Ri Pj ), e cN (Pj ) =
cN (Ri Pj ).
j=1
i=1
cN (Ri ) =
m
n X
X
i=1 j=1
cN (Ri Pj ) =
n
m X
X
j=1 i=1
cN (Ri Pj ) =
m
X
cN (Pj ).
j=1
n
[
i=1
Ri ) =
n
X
i=1
cN (Ri ).
15
! m
m
n
n
[
[
[
[ [
Pj , donde A B =
Ri e B =
A=
Ri
Pj .
j=1
i=1
i=1
j=1
Como A e B s
ao disjuntos, e evidente que R P e uma particao de A B,
e segue-se, da definicao 1.1.10, que
cN (A B) =
n
X
k=1
cN (Ri ) +
m
X
j=1
16
Proposi
c
ao 1.1.12 (Conte
udo do Produto Cartesiano). Se A U(RN ) e
M
B U(R ), ent
ao A B U(RN +M ), e cN +M (A B) = cN (A) cM (B).
Temos ainda que A E(RN ) e B E(RM ) = A B E(RN +M ).
Demonstraca
o. O resultado e evidente quando A e B s
ao rectangulos. Basta
notar que se A = I1 IN , e B = J1 JM , onde os conjuntos Ii e
Jj s
ao intervalos em R, entao
A B = I1 IN J1 JM e um rectangulo-(N + M ), e
cN +M (A B) = c(I1 ) c(IN ) c(J1 ) c(JM ) = cN (A) cM (B).
Suponha-se, agora, que
A=
n
[
Ri , e B =
i=1
m
[
Sj ,
j=1
onde os conjuntos Ri e Sj s
ao rectangulos, que podemos supor disjuntos.
Temos, entao, que
! m
n
m
n [
[
[
[
AB =
Ri
(Ri Sj ) .
Sj =
i=1
i=1 j=1
j=1
Como os rectangulos Ri Sj s
ao, por razoes obvias, disjuntos,
cN +M (A B) =
=
m
n X
X
i=1 j=1
n
X
i=1
cN +M (Ri Sj ) =
!
cN (Ri )
m
X
j=1
m
n X
X
i=1 j=1
cN (Ri ) cM (Sj ) =
17
Qualquer conjunto elementar pode ser aproximado por conjuntos elementares abertos, ou fechados, o que e um tipo de aproximacao que nos sera
u
til mais adiante. Se I e um intervalo limitado de extremos a < b, entao o
seu interior e ]a, b[, o respectivo fecho e [a, b], e a sua fronteira e o conjunto
claro que I, o seu interior U =]a, b[, e o seu fecho F = [a, b], tem
{a, b}(2 ). E
o mesmo conte
udo-1, e a respectiva fronteira tem conte
udo nulo. Portanto,
para qualquer intervalo limitado I, existem intervalos U e F , com U aberto,
e F fechado, tais que
U I F , e c1 (U ) = c1 (I) = c1 (F ).
no entanto, impossvel trocar na afirmacao anterior o papel de F e de
E,
U , excepto no caso trivial em que I = . Por outras palavras, em geral nao
ha um intervalo fechado F , e um intervalo aberto U , tal que
F I U , e c1 (F ) = c1 (I) = c1 (U ).
Existem, apenas, intervalos destes tipos com comprimento arbitrariamente
proximo, mas nao exactamente igual, ao comprimento de I. Na verdade, e
para qualquer > 0, podemos por exemplo tomar, com 0 < < ,
F = [a + /4, b /4] e U =]a /4, b + /4[, donde
F I U, e c1 (U F ) = < .
neste sentido que dizemos que qualquer intervalo pode ser aproximado,
E
por defeito, por um intervalo fechado, e por excesso, por um intervalo aberto.
A generalizacao desta afirmacao para conjuntos elementares fica igualmente
como exerccio (18):
Se X RN , designamos a fronteira de X por X, e o fecho de X por X. O
interior e o exterior de X designam-se, respectivamente, por int(X), e ext(X). Temos,
em particular, que X = Xint(X).
2
18
Proposi
c
ao 1.1.14. Se S RN e elementar, e > 0, existem conjuntos
elementares F e U em RN , tais que F e fechado, U e aberto, F S U , e
cN (U F ) < , donde cN (S) < cN (F ) cN (S) cN (U ) < cN (S) + .
cN (F )
cN (U )
-
cN (S)
cN (S)
cN (S) +
Exerccios.
1. Quantos vertices, arestas, e faces tem um rectangulo-N ?
2. Existem 4 intervalos com os mesmos extremos a e b, que s
ao [a, b], ]a, b], [a, b[,
e ]a, b[. Quantos rectangulos-N existem com os mesmos vertices?
3. Mostre que um conjunto ilimitado pode ter um conte
udo finito arbitrario.
4. Mostre que qualquer conjunto que seja uma uni
ao finita de rectangulos e,
necessariamente, uma uni
ao finita de rectangulos disjuntos.
5. Calcule c4 (U ), onde U = R1 R2 R3 , e R1 = [0, 3] [0, 5] [0, 6] [0, 10],
R2 = [1, 4] [2, 6] [3, 8] [4, 12], e R3 = [1, 3] [3, 4] [1, 4] [5, 8].
6. Mostre que se E U(RN ) ent
ao cN (E) = 0. Conclua que cN (E) =
cN (int(E)), e portanto int(E) = cN (E) = 0.
7. Mostre que se E U(R) e c(E) = 0 ent
ao E e finito.
8. Mostre que se E RN e infinito numeravel ent
ao E 6 U(RN ).
9. Sejam A e B rectangulos, e considere R = A B.
a) Dadas particoes RA de A, e RB de B, mostre que
R = {a b : a RA , b RB }
e uma particao de R.
b) Suponha que P e uma particao qualquer de R em rectangulos, e prove
que existe um refinamento R para a particao P do tipo referido em a).
10. Mostre que, se C U(RN +M ), ent
ao existem rectangulos-N R1 , , Rn ,
disjuntos, e conjuntos Bi U(RM ), tais que
C=
n
[
i=1
Ri Bi .
1.2. Algebras,
Semi-Algebras
e Funcoes Aditivas
19
m
n X
X
xk yj .
k=1 j=1
n
X
c2 (Rk ).
k=1
1.2
Algebras,
Semi-Algebras
e Func
oes Aditivas
Introduzimos nesta seccao um conjunto de nocoes abstractas, mas relativamente elementares, que s
ao u
teis no estudo de funcoes de conjuntos, e
que s
ao extensivamente utilizadas na teoria da medida. Comecamos por
uma classificaca
o para classes de conjuntos, parcialmente inspirada por propriedades que ja identificamos nas classes E(RN ) e U(RN ).
Defini
c
ao 1.2.1 (Algebras
e Semi-algebras de Conjuntos). Seja X um conjunto arbitr
ario, e S uma famlia nao-vazia de subconjuntos de X. S diz-se
lgebra (em X) se e s
uma semi-a
o se:
a) Fecho em relacao `
a uni
ao: A, B S A B S, e
20
Exemplos 1.2.2.
1. As classes E(RN ) e U(RN ) s
ao semi-
algebras em RN .
2. A classe U(RN ) e uma algebra em RN , mas E(RN ) nao e uma algebra, porque
RN nao e elementar.
3. A classe dos rectangulos em RN nao e uma semi-
algebra em RN .
4. As classes E(R) s
ao, sempre, semi-
algebras, qualquer que seja R RN . Se
R e elementar, a classe E(R) e uma algebra em R.
5. Sendo X um qualquer conjunto, a classe de todos os subconjuntos de X, que
designamos P(X), e, claramente, a maior algebra de conjuntos em X.
6. A classe {, X} e a menor algebra de conjuntos em X.
7. A classe dos conjuntos abertos em RN nao e uma semi-
algebra em RN . Esta
classe e fechada em relacao `a uni
ao, mas nao o e em relacao `a diferenca. O
mesmo se passa com a classe dos conjuntos fechados em RN .
8. Os conjuntos limitados em RN formam uma semi-
algebra, que nao e uma
algebra.
n
[
Ak ,
k=1
Se S e uma a
lgebra em X, temos ainda:
n
\
k=1
Ak S.
1.2. Algebras,
Semi-Algebras
e Funcoes Aditivas
21
d) Fecho em relaca
o a
` complementaca
o: A S Ac S.(3 )
Demonstraca
o. a) A classe S e por definicao nao-vazia. Sendo A S, temos
= A A S.
b) A B = A (A B) S.
facilmente demonstr
c) E
avel por inducao.
d) Como, por hip
otese, X S, temos Ac = X A S.
Alguma da terminologia definida a seguir ja foi informalmente utilizada
na seccao anterior. Note-se que nos referimos a funcoes de conjuntos com
valores em [0, +], como o conte
udo-N em U(RN ), ou com valores reais.
Defini
c
ao 1.2.4 (Funcoes de conjuntos). Seja : S R, ou : S
[0, +], uma funcao de conjuntos definida numa classe de subconjuntos S
de um conjunto fixo X. Supomos, no que se segue, que A, B, C S. A
funcao de conjuntos diz-se:
a) Aditiva: Se A B S e A e B disjuntos (A B) = (A) + (B).
b) Subaditiva: Se C A B (C) (A) + (B).
c) Monotona: Se A B (A) (B).
d) N
ao-negativa: Se (A) 0.
Exemplos 1.2.5.
udo-N , tal como o definimos em E(RN ) e em U(RN ),
1. Conte
udo-N : O conte
e uma funcao aditiva, subaditiva, monotona e nao-negativa.
2. Cardinal: Dado um conjunto X, e um subconjunto Y X, o cardinal de
Y designa-se por #(Y ), e e igual ao n
umero de elementos de Y , se Y e finito,
ou igual a + , se Y e infinito. O cardinal e uma funcao de conjuntos aditiva,
subaditiva, monotona e nao-negativa, definida na classe P(X).
3. Probabilidades: Na Teoria das Probabilidades, associamos uma probabilidade, que e um n
umero entre 0 e 1, a acontecimentos. Os acontecimentos s
ao
subconjuntos de um conjunto fixo X, e formam uma algebra A (porque?). A
probabilidade p : A [0, 1] e, portanto, uma funcao de conjuntos, que e sempre aditiva, subaditiva, monotona e nao-negativa. Por exemplo, o conjunto X,
que e um acontecimento certo, tem probabilidade 1, ou seja, p(X) = 1.
4. Muitas grandezas fsicas, ditas extensivas, como a massa, carga electrica,
energia, entropia, momento linear, etc., podem ser representadas por funcoes
aditivas de conjuntos. Os conjuntos em causa s
ao, normalmente, regi
oes do
espaco, ou partes de um dado corpo material.
5. Introduzimos aqui uma famlia de exemplos que referiremos, com frequencia,
nos Captulos seguintes. Consideramos:
3
Quando o conjunto universal X e evidente do contexto da discuss
ao, usamos a
notac
ao Ac = X A.
22
n
X
(Ik ).
k=1
(Para mostrar que esta definicao nao e ambgua, basta adaptar o argumento
ainda imediato que e aditiva em F(R), e que
que utiliz
amos em 1.1.9). E
e nao-negativa, monotona e subaditiva se e s
o se f e crescente. Por outras
palavras, qualquer funcao f : R R determina uma funcao de conjuntos
aditiva na semi-
algebra F(R).
6. Para um exemplo particularmente simples, mas interessante, da classe que
acabamos de introduzir, suponha que a funcao f referida no exemplo 5 e a
funcao de Heaviside (4 ) (a funcao caracterstica do intervalo [0, +[). Neste
caso, (A) = 0, excepto quando 0 A, caso em que (A) = 1. diz-se o
o de dirac (5 ). Se f (x) = int(x), onde
impulso, medida ou distribuic
a
int(x) = max{k Z : k x}, ent
ao (A) conta os inteiros que pertencem a A,
i.e., (A) = #(A Z), e tem o pitoresco nome de pente de dirac.
1.2. Algebras,
Semi-Algebras
e Funcoes Aditivas
23
n
[
k=1
Ak ) =
n
X
(Ak ).
k=1
Demonstraca
o. a) Se A S, segue-se, por aditividade, que
(A) = (A) + ().
portanto, evidente que
E,
() = + = (A) = +, para qualquer A S.
Por outro lado, se existe algum conjunto A tal que (A) 6= +, entao e
tambem evidente que (A) = (A) + () () = 0.
b) A B e A B s
ao disjuntos, e A = (A B) (A B). Portanto,
(A) = (A B) + (A B).
Analogamente, B e A B s
ao disjuntos, e A B = B (A B), donde
(A B) = (B) + (A B).
Conclumos, assim, que
(A B) + (A B) = (B) + (A B) + (A B) = (A) + (B).
c) Se e nao-negativa, e A B, entao, de acordo com (b), temos
(A) = (A B) + (A B) = (B) + (A B) (B),
porque (A B) 0, i.e., e monotona.
Se e monotona e C A B entao
(C) (A B) = (A (B A)) = (A) + (B A) (A) + (B).
Finalmente, se e subaditiva e como A A entao () 2(A), e
e nao-negativa.
d) A demonstracao fica como exerccio.
6
o s
Em geral, consideramos apenas func
oes que na
ao constantes e iguais a +.
Estas identidades devem ser manipuladas com cuidado quando toma valores infinitos. Note que s
o podemos escreve-las na forma (A B) = (A) + (B) (A B), e
(A B) = (A) (A B), quando n
ao conduzem a indeterminac
oes do tipo ( ).
7
24
Pn
k=1 (Ak ),
Exerccios.
1. Sendo A uma classe de subconjuntos de X, prove que A e uma algebra em
X se e s
o se A e nao-vazia, fechada em relacao `a uni
ao (ou interseccao), e `a
complementacao.
2. Pode substituir-se a uni
ao pela interseccao na definicao 1.2.1?
3. Mostre que a classe S dos conjuntos limitados e uma semi-
algebra em RN .
Considere a funcao : S R, dada por
(A) = diam(A) = sup {kx yk : x, y A} , para A S.
Quais das propriedades referidas em 1.2.4 s
ao satisfeitas por ?
4. A classe dos subconjuntos finitos de um conjunto X e uma semi-
algebra?
Uma
algebra?
5. Sendo R um rectangulo-N limitado, mostre que E(R) e a menor algebra em
R que contem os subrectangulos de R, e U(RN ) e a menor algebra em RN que
contem todos os rectangulos.
6. Demonstre as afirmacoes feitas no texto a respeito do exemplo 1.2.5.5.
7. Generalize o exemplo 1.2.5.5 para o plano R2 , sendo agora f uma funcao de
duas variaveis.
8. Considere a seguinte experiencia aleat
oria, para seleccao de um n
umero no
intervalo [0, 6]. Primeiro, usamos uma moeda para decidir um de dois metodos:
no caso caras, escolhemos ao acaso um n
umero no intervalo [0, 6] (com uma
densidade de probabilidade constante); no caso coroas, rolamos um dado
para escolher um n
umero do conjunto {1, 2, 3, 4, 5, 6}. Descreva a distribuicao
de probabilidade associada a esta experiencia, calculando a correspondente
funcao F .
9. Conclua a demonstracao de 1.2.6, e prove 1.2.7.
1.3
25
Conjuntos Jordan-Mensur
aveis
A teoria desenvolvida no incio deste Captulo e, manifestamente, demasiado pobre para esclarecer, de modo satisfatorio, a nocao de conte
udo de um
conjunto. Afinal de contas, uma regi
ao tao simples como um tri
angulo nao
e elementar, e portanto, por enquanto, ainda nao definimos rigorosamente a
sua area! Nesta seccao, definimos o conte
udo-N para os conjuntos Jordan8
mensur
aveis ( ), que formam uma classe bastante mais extensa do que a
classe dos conjuntos elementares. Veremos que as figuras mais comuns da
geometria elementar, tais como tri
angulos, crculos, elipses, etc., s
ao exemplos de conjuntos Jordan-mensur
aveis. Exploramos aqui a aproximaca
o de
conjuntos nao-elementares por conjuntos elementares, tal como ilustrado na
figura 1.3.1, para um crculo. Esta ideia, se bem que formalizada por Jordan e Peano apenas no final do seculo XIX, e, na realidade, uma descoberta
fundamental muito antiga, usualmente atribuda a Arquimedes (9 ).
26
Defini
c
ao 1.3.1 (Conte
udo Interior e Exterior). Sendo J RN um condo interior, designado cN (J),
junto limitado, definimos o respectivo conteu
do exterior, designado cN (J), por
e o seu conteu
a) cN (J) = sup {cN (K) : K E(J)}, e
b) cN (J) = inf cN (U ) : U E(RN ), J U .
Not
amos acima que, se J RN e um conjunto limitado, e K e U s
ao conjuntos elementares tais que K J U , entao qualquer definicao razo
avel
para o conte
udo de J deve conduzir a
1.3.2. cN (K) cN (J) cN (U ).
Se estas desigualdades s
ao satisfeitas, entao temos, necessariamente,
1.3.3. cN (K) cN (J) cN (J) cN (J) cN (U ).
O ponto de partida para a teoria de Jordan e a seguinte observacao,
genial pela sua simplicidade:
Se os conte
udos interior e exterior de J s
ao iguais, ent
ao o
conte
udo do conjunto J s
o pode ser igual a esse valor comum.
Esta e a ideia formalizada na proxima definicao.
27
Defini
c
ao 1.3.4 (Conte
udo de Jordan). (10 ) Se J RN e limitado,
vel se e s
a) Dizemos que J e jordan-mensura
o se cN (J) = cN (J).
do de jordan de J designa-se por cN (J), e
b) Neste caso, o conteu
define-se por cN (J) = cN (J) = cN (J).
c) A classe dos conjuntos Jordan-mensur
aveis de RN designa-se por J (RN ).
Mais geralmente, a classe de todos os subconjuntos Jordan-mensur
aveis
N
de R R designa-se por J (R).
Se o proprio conjunto J referido em 1.3.4 e elementar, e indispensavel
verificar que esta definicao e compatvel com a que apresentamos em 1.1.10
para estes conjuntos. Por outras palavras, e necessario provar que:
Os conjuntos elementares s
ao Jordan-mensur
aveis, e
O respectivo conte
udo pode ser indistintamente determinado usando
1.1.10 ou 1.3.4.
Para isso, basta notar que, quando J e elementar, podemos tomar sempre
K = J = U . Quando J nao e elementar, a definicao 1.3.4 pode ser difcil de
aplicar directamente, porque exige o calculo explcito dos conte
udos interior
frequentemente mais pratico utilizar a proposicao seguinte:
e exterior de J. E
Teorema 1.3.5. J J (RN ) se e s
o se, para qualquer > 0,
Existem K, U E(RN ) tais que K J U , e cN (U K) < .
K e U podem ser supostos fechados ou abertos, e temos ainda que
cN (J) < cN (K) cN (J) cN (U ) < cN (J) + .
Demonstraca
o. Supomos que, para qualquer > 0, existem conjuntos elementares K, U tais que
K J U , e cN (U K) = cN (U ) cN (K) < .
Como cN (K) cN (J) cN (J) cN (U ), temos
cN (J) cN (J) cN (U ) cN (K) < , para qualquer > 0.
Como e arbitr
ario, e evidente que cN (J) = cN (J), i.e., J J (RN ).
Deixamos a conclusao da demonstracao para o exerccio 9.
10
Esta definic
ao foi primeiro apresentada por Peano, em 1887, num trabalho muito
original, que inclui, igualmente pela primeira vez, as noc
oes de interior, exterior, e fronteira
de um subconjunto de RN , e uma definic
ao, completamente abstracta, de func
ao aditiva
de conjuntos. O correspondente artigo de Jordan e de 1892.
28
cN (J)
cN (J)
cN (J) +
cN (K)
cN (U )
29
n
[
Ak e U =
n
[
Bk .
k=1
k=1
(b a)
.
n
An , onde An = [
n=1
1
1
,
].
2n 2n 1
N
[
n=1
1
] =
2n 1
n=N +1
An [0,
1
1
] = A KN [0,
].
2N + 1
2N + 1
1
1
]) =
0, quando N .
2N + 1
2N + 1
1
.
2n(2n 1)
n=1
30
F0 = I = [a, b]
F1 = F0 U0
F2 = F1 U1
F3 = F2 U2
F4 = F3 U3
Figura 1.3.6: A construcao de Cantor.
limitado e fechado, e J e o intervalo aberto de comprimento c(I)
3 , centrado no
n=0
11
Fn , onde Fn =
[a, b] , se n = 0,
T (Fn1 ) se n > 0.
31
Exemplo 1.3.10.
relativamente simples indicar conjuntos que nao s
E
ao Jordan-mensuraveis,
e apresentamos a seguir o conjunto de Dirichlet (12 ). Trata-se do conjunto formado pelos racionais num dado intervalo [a, b], que, para simplificar,
supomos ser o intervalo [0, 1], ou seja, consideramos o conjunto D = Q [0, 1].
Recordamos, primeiro, que qualquer intervalo aberto nao-vazio contem racionais
e irracionais (13 ). Segue-se que, se um conjunto elementar E contem apenas
pontos racionais, ou apenas pontos irracionais, ent
ao E nao contem nenhum
neste caso, um
intervalo aberto nao-vazio, e, portanto, tem conte
udo nulo. E,
conjunto finito.
Seja agora D o conjunto de Dirichlet, e K e U conjuntos elementares tais que
K D U . Repare-se que:
Como K D s
o contem racionais, temos c(K) = 0, e
Sendo V = [0, 1]U o complementar de U em [0, 1], ent
ao V e elementar,
e s
o contem irracionais. V e portanto um conjunto de conte
udo nulo, e
conclumos que o conte
udo de U e pelo menos 1.
Segue-se que c(U )c(K) 1, e, consequentemente, D nao e Jordan-mensuravel,
ainda de acordo com 1.3.5.
Indic
amos na seccao anterior, em 1.1.8, e em 1.1.11, algumas propriedades
elementares basicas das classes E(RN ) e U(RN ), e do conte
udo-N , tal como
importante verificar agora que
o definimos para conjuntos nestas classes. E
estas propriedades se mantem igualmente validas na classe J (RN ).
Proposi
c
ao 1.3.11. A classe J (RN ) e uma semi-
algebra, e o conte
udo de
N
Jordan e aditivo e n
ao-negativo em J (R ). Em particular, cN e mon
otono
e subaditivo em J (RN ).
12
32
Demonstraca
o. a) Provamos apenas o fecho da classe J (RN ) em relacao `a
uni
ao, deixando o caso da diferenca para os exerccios. Dado > 0, sabemos
que existem conjuntos KA , KB , UA , UB E(RN ), tais que
KA A UA , cN (UA KA ) < , e
KB B UB , cN (UB KB ) < .
KA KB e UA UB s
ao elementares, de 1.1.8, e e facil mostrar que
KA KB A B UA UB , e
33
Os conjuntos Jordan-mensur
aveis podem ser tambem caracterizados pelo
conte
udo das respectivas fronteiras. Veremos mais adiante que esta condicao
e um caso particular de um resultado importante, que relaciona a integrabilidade de uma funcao com o conjunto de pontos onde essa funcao e descontnua.
Teorema 1.3.13. Se J RN e limitado, ent
ao
J J (RN ) cN (J) = 0.
Em particular, se J e Jordan-mensur
avel ent
ao cN (J) = cN (int(J)), e se J
e Jordan-mensur
avel e tem interior vazio ent
ao cN (J) = 0.
Demonstraca
o. Supomos que J RN e Jordan-mensur
avel. Dado > 0,
existem conjuntos elementares K, e U , tais que
K J U , e cN (U K) < .
Supomos, sem perda de generalidade, que K e aberto, e U e fechado. Neste
caso, e facil verificar que
K int(J) J U , donde J U K.
O conjunto U K e elementar, e cN (U K) < , onde e arbitr
ario. Temos
portanto, de acordo com 1.3.8, que cN (J) = 0. Deixamos para o exerccio
15 a conclusao desta demonstracao.
Exemplos 1.3.14.
1. Note-se do anterior que os conjuntos Jordan-mensuraveis, tal como os conjuntos elementares, e os conjuntos em U(RN ), nao podem ter, simultaneamente,
interior vazio e conte
udo positivo.
2. Vimos ja que o conjunto de Dirichlet nao e Jordan-mensuravel, mas este facto
pode ser igualmente demonstrado a partir deste resultado. Sendo D = Q[0, 1],
e E = [0, 1]Q, e evidente que [0, 1] = DE, e os conjuntos D e E tem, ambos,
interior vazio. Como o intervalo [0, 1] e Jordan-mensuravel, e tem conte
udo
1, podemos concluir que D e E nao s
ao Jordan-mensuraveis, porque se um
destes conjuntos fosse Jordan-mensuravel o outro tambem o seria (porque?), e
teramos 1 = c([0, 1]) = c(D) + c(E) = 0.
Exerccios.
1. Generalize a desigualdade 2 < < 4 (ver figura 1.3.1) de R2 para RN .
2. Prove que a
area da regi
ao de ordenadas de f (x) = x2 no intervalo [0, 1] e 31 .
o: Use a identidade:
sugesta
n
X
k=1
k2 =
n3
n2
n
+
+ .
3
2
6
34
1
: n N e Jordan-mensuravel, e tem conte
udo nulo.
5. Suponha que Kn J Un RN , e Kn e Un s
ao elementares. Prove que,
se cN (Un Kn ) 0, ent
ao J e Jordan-mensuravel, e
lim cN (Kn ) = lim cN (Un ) = cN (A).
1
.
2n(2n 1)
n=1
35
19. Seja C(I) o conjunto de Cantor, tal como definido no exemplo 1.3.9.
a) Prove que C(I) e um conjunto limitado, e fechado.
b) Verifique que C(I) e Jordan-mensuravel, com conte
udo nulo.
c) Mostre que os pontos de C(I) s
ao os pontos de acumulacao de C(I),
raz
ao pela qual C(I) se diz um conjunto perfeito(14 ).
o:
d) Prove que C(I) e infinito nao-numeravel, e nao e elementar. sugesta
Determine uma bijeccao entre C(I) e o conjunto das sucess
oes bin
arias).
20. Se substituirmos em 1.3.11 os conjuntos Jordan-mensuraveis pelos conjuntos
limitados, e o conte
udo de Jordan pelo conte
udo exterior, quais das conclus
oes
se mantem v
alidas?
1.4
O Integral de Riemann
reas, ou conte
e a diferenc
a das a
udos-2, dos conjuntos + e . Estas
ideias generalizam-se facilmente a funcoes de N variaveis:
Defini
c
ao 1.4.1 (Regiao de Ordenadas). Se R S RN , e f : S R,
definimos os conjuntos:
N +1 : x R, 0 < y < f (x) , e
+
R (f ) = (x, y) R
o do conjunto A RN se e s
O ponto x RN e ponto de acumulac
a
o se qualquer
vizinhanca de x contem pontos de A distintos de x. As noc
oes de ponto de acumulac
ao
e de conjunto perfeito devem-se igualmente a Cantor.
14
36
Figura 1.4.1:
Rb
a
f (x)dx = c2 (+ ) c2 ( ).
N +1 : x R, 0 > y > f (x) .
R (f ) = (x, y) R
R (f ) = +
R (f ) R (f ).
R f (x)dx
= cN +1 (+
R (f )) cN +1 (R (f )).
e
a
R
.
De
acordo
R
R
com 1.4.2, podemos concluir que:
1.4.3. As funcoes de N variaveis para as quais podemos calcular
o respectivo integral-N s
ao determinadas pelos conjuntos em RN +1
cujo conte
udo-(N + 1) esta definido.
Na seccao anterior, definimos o conte
udo de conjuntos Jordan-mensur
aveis. Podemos, agora, definir o integral de funcoes para as quais os conjuntos
+
ao Jordan-mensur
aveis, i.e., para as quais o conjunto R e JordanR e R s
mensuravel. S
ao estas as funco
es que se dizem Riemann-integr
aveis.
Defini
c
ao 1.4.4 (Integral de Riemann). Seja R S RN , e f : S R.
vel (em R) se e s
a) f e riemann-integra
o se R (f ) e Jordan-mensur
avel.
37
f = cN +1 (+
R (f )) cN +1 (R (f )).
R
rP
As somas S d (f, P) e S d (f, P) dizem-se, respectivamente, somas superiores e somas inferiores de Darboux, da funcao f . Em 1881, Volterra
introduziu as nocoes auxiliares de integral superior, e de integral inferior, definidas como se segue.
Defini
c
ao 1.4.5 (Integral Superior, Integral Inferior). Seja f limitada em
R, e designe-se por PR a classe deR todas as particRoes finitas de R em
rectangulos. Os integrais superior R f , e inferior
f , s
ao dados por:
R
f = inf S d (f, P) : P PR , e
f = sup {S d (f, P) : P PR }
38
f=
R
f , e neste caso
R
f=
f=
R
f.
R
Deve reconhecer-se em c) o que e actualmente a definicao mais tradicional para o integral de Riemann. N
ao e facil caracterizar de outras formas
mais directas as funcoes que satisfazem as condicoes acima mencionadas,
apesar de ser claro que qualquer funcao Riemann-integravel e limitada, e
tem suporte (17 ) limitado (porque?). No entanto, e recordando as observacoes feitas na seccao anterior a prop
osito do exemplo 1.3.6, quando
mencion
amos a par
abola y = x2 , podemos concluir imediatamente que
Proposi
c
ao 1.4.7. Se f e limitada, e mon
otona, no intervalo limitado I,
ent
ao f e Riemann-integr
avel em I.
Exemplos 1.4.8.
o de Dirichlet dir e a funcao caracterstica (18 ) do conjunto
1. A func
a
dos racionais, isto e,
1, quando x Q,
dir(x) =
0, quando x 6 Q.
Deixamos como exerccio verificar que esta funcao nao e integr
avel em nenhum
intervalo I, com c(I) > 0.
o de Riemann(19 ) r e definida como se segue:
2. A func
a
0, quando x 6 Q,
1, quando x = 0,
r(x) =
1 , quando x = p , onde p e q s
ao inteiros primos entre si, e q > 0.
q
q
O suporte da func
ao f e o conjunto de pontos onde f e diferente de zero.
o caracterstica de A e a func
Se X e um conjunto arbitr
ario, e A X, a func
a
ao
A : X R, que e constante e igual a 1 para x A, sendo igual a 0 para x 6 A.
19
Este exemplo foi na realidade descoberto em 1875 pelo matem
atico alem
ao Johannes
Karl Thomae, 1840-1921, professor em G
ottingen. Riemann foi no entanto o primeiro
matem
atico a mostrar que existem func
oes integr
aveis descontnuas em conjuntos densos,
como e o caso da func
ao r.
18
39
c) Monotonia: Se f e g s
ao Riemann-integr
aveis em R e f g ent
ao
Z
Z
g,
f
R
d) Homogeneidade: Se f e Riemann-integr
avel em R, e c R, ent
ao cf
e Riemann-integr
avel em R e
Z
Z
f.
(cf ) = c
R
40
f = cN +1 (+
R (f )) cN +1 (R (f ))
R
Z
Z
+ +
+
+
f .
f
= cN +1 (R (f )) cN +1 (R (f )) =
R
Exerccios.
k=1
f=
6. Prove que se f e g s
ao funcoes Riemann-integr
aveis em R, ent
ao as funcoes
m e M definidas por m(x) = min {f (x), g(x)}, e M (x) = max {f (x), g(x)},
s
ao, igualmente, integr
aveis em R.
7. Suponha que f e Riemann-integr
avel no conjunto R, e que R e limitado.
fico de f em R, i.e., o conjunto G = {(x, y) : x R, y = f (x)},
Prove que o gra
tem conte
udo nulo. Se o gr
afico da funcao f tem conte
udo nulo, podemos concluir que f e integr
avel?
8. Seja f Riemann-integr
avel em RN , a RN , e b R. O que pode dizer sobre
a integrabilidade, e o valor dos integrais, das funcoes dadas por
g(x) = f (x a), h(x) = bf (x), e u(x) = f (bx)?
41
f = cN +1 (+
)
c
(
),
e
f = cN +1 (+
N +1
R
R
R ) cN +1 (R ).
R
1.4.1
O Espa
co das Fun
c
oes Integr
aveis
20
A func
ao diz-se um funcional, precisamente porque o seu domnio e uma classe de
func
oes. Um funcional e linear se e uma transformac
ao linear de espacos vectoriais.
42
R
Como a desigualdade R (f +g) S d (f, P)+S d (g, Q) e valida para quaisquer
particoes P e Q, resulta facilmente que
Z
(f + g)
f+
R
f+
R
g.
R
(f + g), e portanto
R
(f + g)
(f + g)
f+
R
g.
R
Conclumos que, se f e g s
ao integraveis em R, entao f + g e tambem
integravel em R, e
Z
Z
Z
g.
f+
(f + g) =
R
Combinando este resultado com a propriedade de homogeneidade estabelecida em 1.4.9, resulta finalmente que I(R) e um espaco linear(21 ), e e
um funcional linear.
O conjunto de todas as func
oes f : X R, por vezes designado RX , e sempre um
espaco vectorial real, com as operac
oes usuais de soma de func
oes, e de produto de func
oes
por n
umeros reais, qualquer que seja o conjunto X. Portanto, qualquer subconjunto n
ao
vazio de RX , que seja fechado em relac
ao a estas operac
oes, e um seu subespaco vectorial.
21
43
|f |
n=1 I fn = 0.
R
P
Naturalmente, a serie
ao e o integral de Riemann da funcao
n=1 I fn n
de Dirichlet em I, porque a teoria de Riemann nao atribui um integral `a
funcao de Dirichlet em I.
P
A dificuldade ilustrada neste exemplo resulta de f =
ao
n=1 fn poder n
ser Riemann-integravel, mesmo quando as funcoes fn o s
ao. De um modo
geral, a integrabilidade de Riemann e, efectivamente, demasiado sensvel a
operacoes de passagem ao limite, o que torna a sua aplicacao pouco practica
22
Este funcional e na realidade uma semi-norma no espaco I(R). Veja a este respeito
o exerccio 6.
44
em quest
oes tecnicamente sofisticadas, mas esta e uma dificuldade que e
minimizada com a introducao do integral de Lebesgue, como veremos.
DeveP
tambem entender-se que a integracao termo-a-termo de uma serie
f (x) =
e, em geral, impossvel, mesmo que a funcao f seja
n=1 fn (x)
Riemann-integravel. Esta e no entanto uma dificuldade intrnseca `a operacao
de integracao, e nao uma deficiencia da definicao de Riemann. O exemplo
seguinte e particularmente sugestivo.
Exemplo 1.4.11.
P
2 2
Seja gn (x) = 2n2 xen x , fn (x) = gn+1 (x) gn (x), e f (x) = n=1 fn (x). A
2
serie em causa e telesc
opica, e portanto f (x) = 2xex . A funcao Gn (x) =
R
2 2
2
1
en x e uma primitiva de gn , e consequentemente 0 gn (x)dx = 1 en .
Conclumos que:
Z
f (x)dx = e1 1, e
Z
X
n=1
fn dx = 1 (1 e1 ) = e1 .
Exerccios.
1. Sendo R = [0, 1], determine funcoes fn , gn I(R), tais que:
Z
a) lim fn (x) = 0, para qualquer x R, mas lim
fn nao existe.
n
n R
Z
b) lim
fn = 0, mas lim fn (x) nao existe, para nenhum x R.
n
P
3. Suponha que a serie de potencias n=1 an xn converge para |x| < r, e mostre
que esta serie pode ser integrada termo-a-termo.
n
P
4. A funcao f (x) = n=0 (1)
e Riemann-integr
avel em [0, 1]? Qual e
2n int(nx)
o conjunto de pontos onde f e contnua?
X
(1)n
H(x qn ).
2n
n=1
A funcao f e Riemann-integr
avel em [0, 1]? Qual e o seu conjunto de pontos
de descontinuidade?
Recorde que se V e um espaco vectorial real, ou complexo, ent
ao uma funcao
: V R diz-se uma norma se e s
o se tem as seguintes propriedades:
45
1.4.2
Integrais Indefinidos
Introduzimos aqui uma ideia ligeiramente mais geral, que corresponde a considerar o integral indefinido como uma funca
o de conjuntos, cuja variavel
independente e uma regi
ao de integraca
o arbitraria, que em particular nao
e necessariamente um intervalo ou um rectangulo. Mais especificamente, e
dada uma qualquer funcao f : R R, consideramos a classe dos subconjuntos de R onde f e Riemann-integravel, que designamos por Jf (R), notamos
que Jf (R) nunca e uma classe vazia (porque?), e introduzimos
Defini
c
ao 1.4.12 (Integral Indefinido). O integral indefinido (de Riemann) de f em R e a funcao de conjuntos : Jf (R) R dada por:
Z
f.
(E) =
E
Se a funcao f e Riemann-integravel em R, e facil verificar que f e igualmente integravel pelo menos em qualquer subconjunto Jordan-mensur
avel
de R, i.e., Jf (R) J (R).
46
Figura 1.4.4: E (f ) = R (f ) (E J) = R (f E ).
Demonstraca
o. A funcao f e limitada em R, i.e., existe m R tal que
m < f (x) < m. Se J = [m, m], entao E J e Jordan-mensur
avel, porque
e um produto de conjuntos Jordan-mensur
aveis (veja-se 1.3.12). Deve ser
evidente que
E (f ) = R (f ) (E J) = R (f E ).
+
Se A e B s
ao disjuntos, entao +
ao igualmente disjuntos,
A (f ) e B (f ) s
(f
).
Como
o
conte
u
do
de
Jordan
e aditivo, temos
assim como
(f
)
e
B
A
+
+
+
+
cN +1 (+
C (f )) = cN +1 (A (f ) B (f )) =cN +1 (A (f )) + cN +1 (B (f )), e
cN +1 (
C (f )) = cN +1 (A (f ) B (f )) =cN +1 (A (f )) + cN +1 (B (f )).
47
48
[
X
1
1
1
[ ,
], ent
ao A J (RN ), e c(A) =
.
2n 2n 1
2n(2n 1)
n=1
n=1
X
1
f=
.
2n(2n 1)
R
n=1
Exerccios.
1. Complete a demonstracao da proposicao 1.4.14.
2. Suponha que f e Riemann-integr
avel no conjunto R, e que g e limitada em
R. Mostre que, se o conjunto
{x
1.4.3
Continuidade e Integrabilidade
49
s
o se e limitado e fechado. Em particular, os rect
angulos compactos s
ao os
rect
angulos limitados e fechados.
conveniente introduzir a nocao de oscilaca
E
o de uma funcao. Seja
R RN , e f : R R limitada em R. A funcao f tem supremo e nfimo
finitos em qualquer conjunto S R, e designamos por Oscf a funcao (de
conjuntos) dada por:
1.4.19. Oscf (S) = sup {f (x) : x S} inf {f (x) : x S}.
Se x R, a funcao (x, r) = Oscf (B(x, r) R) esta definida para r > 0.
obvio que se S T , entao Oscf (S) Oscf (T ), e por isso e crescente
E
em r. Em particular, existe sempre o limite:
Defini
c
ao 1.4.20 (Oscilacao de uma funcao limitada). Se f : R R e uma
o e a funcao f : R R dada por:
funcao limitada, a sua oscilac
a
f (x) = lim (x, r) = lim Oscf (B(x, r) R).
r0
r0
r0
r0
Exemplos 1.4.21.
1. Se f (x) = x, ent
ao Oscf (B(x, r)) = 2r, e
f (x) = lim Oscf (B(x, r)) = 0.
r0
yx
50
[
1
Dn , onde Dn = x R : f (x)
D=
.
n
n=1
rB
Observamos que:
x U = f (x) < , donde {x R : f (x) } V , e
P
cN (V ) = cN (W ) = rB cN (r) (porque?).
cN (r) = cN (V ).
rB
51
Para concluir a demonstracao de 1.4.23, supomos que todos os conjuntos Dn tem conte
udo nulo. Fixado n, e dado > 0, existe um conjunto
elementar aberto U tal que Dn U , e cN (U ) < .
Considere-se o conjunto elementar fechado T = R U , e note-se como
evidente que f (x) < n1 para x T . Segue-se do lema 1.4.24 que existe
uma particao P de T em subrectangulos tais que
S(f, P) S(f, P) < cN (T ).
Como f e limitada, existe M tal que |f (x)| M para x R. Sendo Q
uma qualquer particao de U , e r Q, e obvio que M mr Mr M .
Notamos que R = P Q e uma particao de R, e um calculo imediato mostra
que
S(f, R) S(f, R) =S(f, P) S(f, P) + S(f, Q) S(f, Q)
1
1
cN (T ) + 2M cN (U ) cN (R) + 2M .
n
n
Como e n s
ao arbitr
arios, conclumos que f e Riemann-integravel.
Repare-se agora que se f e Riemann-integravel em R, entao os conjuntos
Dn s
ao Jordan-mensur
aveis, e tem conte
udo nulo. Se > 0, existem conjuntos elementares En Dn , tais que cN (En ) < 2n , e podemos supor sem
perda de generalidade que os conjuntos En s
ao abertos. Temos entao:
D
n=1
En , e
n=1
cN (En ) <
= .
2n
n=1
52
Foi a prop
osito de conjuntos com esta propriedade que Borel introduziu24 a
nocao de conjunto de medida nula, ou conjunto nulo:
Defini
c
ao 1.4.25 (Conjunto Nulo). Dizemos que E RN e um conjunto
nulo se e s
o se para qualquer > 0 existem rectangulos abertos Rn tais
que:
X
[
cN (Rn ) < .
Rn , e
E
n=1
n=1
Exemplos 1.4.26.
1. Se f e Riemann-integr
avel em R, ent
ao o conjunto D dos pontos de descontinuidade de f e, evidentemente, um conjunto nulo.
2. Qualquer conjunto numer
avel E e nulo, e em particular Q e nulo. Sendo
x1 , x2 , , xn , os elementos de E, e dado > 0, tomamos 0 < < , e,
supondo para simplificar que E R,
Un =]xn
X
[
c(Un ) = < .
U
,
e
,
x
+
[,
donde
E
n
n
2n+1
2n+1
n=1
n=1
Rn , e
n=1
cN (Rn ) < .
n=1
Como K e compacto e os Rn s s
ao abertos, existe um natural m tal que
K
m
[
n=1
Rn , e
m
X
n=1
cN (Rn )
cN (Rn ) < .
n=1
53
[
1
Dn , onde Dn = x R : f (x)
D=
.
n
n=1
Os conjuntos Dn s
ao igualmente nulos, por razoes evidentes, e e facil verificar
que s
ao limitados e fechados, i.e., compactos (exerccio 3). Segue-se de 1.4.27
que Dn tem conte
udo nulo, e de 1.4.23 que f e Riemann-integravel.
Terminamos esta seccao com uma breve an
alise da definicao de integral
introduzida por Riemann em 1854. Fixada a particao P do rectangulo R,
se escolhermos, em cada rectangulo r, um ponto xr r, e escrevendo X =
{xr : r P}, entao
X
SR (f, P, X ) =
f (xr )cN (r)
rP
25
Neste como em muitos outros casos que temos referido, os trabalhos originais contemplam apenas func
oes reais definidas em intervalos. Os integrais m
ultiplos s
o foram
estudados com rigor bastante mais tarde, em particular por Jordan.
26
Augustin Louis Cauchy, 1789-1857, frances, foi um dos grandes matem
aticos de sempre, como o atesta o facto do seu nome aparecer ligado a ideias fundamentais, em tantos
domnios distintos. O matem
atico Abel, que Cauchy tratou de forma particularmente
injusta, disse dele que e louco, mas e o u
nico que sabe como se deve fazer a Matem
atica.
54
e
igualmente
nulo.
A =
n
n=1
R
o:
ao f (x) = 0, qtp em R. sugesta
9. Prove que se f 0 e R f = 0, ent
Mostre que An = {x R : f (x) > n1 } e nulo no sentido de Borel.
10. Mostre que a definicao (original) de integral de Riemann (1.4.29) e equivalente a (1.4.4).
55
1.5
Os Teoremas Fundamentais do C
alculo
F (x + h) F (x) =
x+h
x
f (t)dt f (x)h,
(x)
donde F (x) = limh0 F (x+h)F
= f (x). Analogamente, se F (t) = f (t)
h
e a = x0 < x1 < < xn = x e uma particao do intervalo [a, x], entao
Z x
n
n
X
X
f (t)dt.
f (xk1 )xk
[F (xk ) F (xk1 )]
F (x) F (a) =
k=0
27
k=0
56
N
ao e difcil demonstrar resultados deste tipo usando a teoria de Riemann,
desde que se coloquem suficientes hip
oteses sobre a regularidade das funcoes
f e F . Comecamos por provar:
Lema 1.5.3.
Seja f Riemann-integr
avel em I = [a, b], e F dada em I por
Rx
F (x) = a f (t)dt + F (a). Temos ent
ao:
a) F e uniformemente contnua em I, e
b) Se f e contnua em c I ent
ao F (c) = f (c).
Demonstraca
o. A funcao F esta bem definida, porque f e integravel em
[a, x] [a, b]. Como f e limitada em I, i.e., |f (x)| M , e supondo y > x,
e claro que
Z y
Z y
|f (t)|dt M |y x|,
f (t)dt
|F (y) F (x)| =
x
F (x) F (c)
f (c)| < .
xc
57
Demonstraca
o. Dada uma qualquer particao de [a, b] em intervalos Ik , onde
supomos que Ik tem extremos xk1 < xk , e a = x0 < x1 < < xn = x,
observamos que
F (x) F (a) =
n
X
k=0
porque a soma `
a direita e telesc
opica. Do Teorema de Lagrange (28 ), temos
F (xk ) F (xk1 ) = F (xk )(xk xk1 ), onde xk1 < xk < xk , e portanto
F (x) F (a) =
n
X
k=0
28
f (t)dt.
a
58
2
1
1
) cos( 2 ), para x 6= 0, e g (0) = 0.
x2
x
x
De um ponto de vista pr
atico, e evidentemente muito u
til poder aplicar
o
Teorema, sem supormos a funcao F diferenci
avel em todos os pontos
do intervalo I. Afinal de contas, a regra de Barrow e certamente aplicavel,
em pelo menos alguns destes casos.
2o
Exemplos 1.5.7.
1. Seja f (x) = sgn(x) a funcao sinal de x, dada por
+1 para x > 0, e
sgn(x) =
1 para x < 0.
A funcao f nao e contnua na origem, qualquer que seja o valor f (0), mas f e
integr
avel em qualquer intervalo [a, b]. Sendo FR(x) = |x|, ent
ao F e diferenciax
vel para x 6= 0, onde F (x) = sgn(x), e F (x) = a f (t)dt + F (a) para qualquer
x.
2. Se f e a funcao de Riemann, e F = 0, ent
ao F e diferenciavel em R, mas
F
(x)
=
f
(x)
apenas
se
x
6
Q.
Apesar
disso,
temos novamente F (x) =
Rx
f
(t)dt
+
F
(a),
para
qualquer
x.
Note-se
deste
exemplo
que a continuidade
a
da integranda e uma condicao suficiente, mas nao necessaria, para a diferenciabilidade do integral indefinido.
59
n
n Z x
3
3
fn (t)dt.
n (x) =
2
2
0
As funcoes gn s
ao, por raz
oes
obvias, igualmente contnuas e crescentes, satisfazendo, ainda, gn (0) = 0, e gn (1) = 1. A figura seguinte ilustra os gr
aficos
das funcoes gn , para 0 n 3.
60
30
61
Observamos que
f0 e uma funcao contnua, com perodo 1.
1
n
2n f0 (2 x)
1
2n+1 ,
1
2n ,
A funca
o de van der Waerden e definida por
f (x) =
fn (x).
n=0
1
evidente que 0 f (x) P n+1
E
= 1 e, como a serie acima converge
n=0 2
uniformemente em R, a funcao de van der Waerden e contnua em R. A figura
1.5.3 ilustra os gr
aficos das funcoes fn e f . O gr
afico de cada funcao fn e em
dente de serra, formado por segmentos de recta de declive 1, e usamos este
facto para demonstrar que:
Proposi
c
ao 1.5.12. A funca
o de van der Waerden n
ao e diferenci
avel em
ponto nenhum.
Demonstraca
o. Dado x R, e n N, existe um inteiro kn tal que:
an =
kn
kn 1
x < n = bn .
n
2
2
f (bn ) f (an )
= f (x).
bn an
62
k
n,
porque
n1
n1
n1
X
X fm (bn ) fm (an )
X
k
f (bn ) f (an )
k
f
(
cm,n .
)
=
),
e
=
=
m
n
n
2
2
bn an
bn an
m=0
m=0
m=0
Exerccios.
R
prio(31 )
1. Suponha que o integral impro
f (t)dt e convergente. A funcao
Rx
F (x) = a f (t)dt para x R e uniformemente contnua em R?
Rx
3. Suponha que F e uma funcao crescente no intervalo I, e F (x) = a f (t)dt +
F (a), onde f e Riemann-integr
avel em I. Mostre que se A I e c(A) = 0,
ent
ao c(F (A)) = 0. Prove igualmente que se A e nulo no sentido de Borel,
ent
ao F (A) e tambem nulo.
4. Considere a definicao da escada do Diabo F apresentada em 1.5.9.
a) Calcule o maximo de |gn+1 (x)gn (x)|. Conclua que a sucess
ao de funcoes
gn converge uniformemente para uma funcao contnua e crescente F .
b) Demonstre a proposicao 1.5.10.
c) Calcule o integral de F sobre o intervalo [0, 1].
d) Calcule o comprimento do gr
afico de F no intervalo [0, 1]. (32 )
e) Sendo C(I) o conjunto de Cantor, mostre que F (C(I)) = I. Conclua
directamente do exerccio 3 que F nao e um integral indefinido.
f) Prove que F nao e diferenciavel em nenhum ponto de C(I).
31
O integral impr
oprio de Riemann f (t)dt diz-se convergente, se o integral de
y
Riemann F (x, y) = x f (t)dt existe, para quaisquer < x y < , e a func
ao F tem
limite finito, quando (x, y) (, ).
32
O comprimento do gr
afico G, da func
ao f , no intervalo [a, b], e o supremo dos
comprimentos das linhas poligonais inscritas em G.
63
5. Prove que o gr
afico da funcao de van der Waerden (exemplo 1.5.11) nao
e rectific
avel em qualquer intervalo nao trivial, i.e., com mais de um ponto.
Conclua em particular que esta funcao nao e monotona em nenhum intervalo
nao trivial.
6. Suponha que f : I R e diferenciavel em I, e > 0. Mostre que existem
funcoes contnuas g : I R que nao s
ao diferenciaveis em ponto nenhum de
I, e satisfazem |f (x) g(x)| < , para qualquer x I.
1.6
O Problema de Borel
k=1
k=1
X 1
X
1
1
P = {Ik =] k , k1 ] : k N}, onde c(I) = 1 =
=
c(Ik ).
2 2
2k
Pelo menos neste caso, a propriedade de aditividade e aplicavel, desde que
se considerem series em lugar das usuais somas com um n
umero finito de
parcelas, ou seja, continua a ser verdade que o comprimento do todo e a
soma (da serie) dos comprimentos das partes. Muito naturalmente, este
facto nao parece ter sido entendido pelos Antigos, que nunca dominaram a
nocao de limite, sem a qual e impossvel o correcto tratamento de series,
e nao ter
ao suspeitado da subtil diferenca entre o infinito numeravel e o
infinito nao-numeravel(35 ), que e a verdadeira justificacao para a diferenca
de conclusoes nos dois paradoxos referidos.
33
64
N
disjuntos, e A J (R ), ent
ao cN (A) = n=1 cN (An ).
Demonstraca
o. Provamos separadamente as desigualdades
(i) cN (A)
cN (An ), e (ii)
n=1
n=1
cN (An ) cN (A).
Para provar (i), supomos > 0, e usamos 1.3.5 para concluir que existem
conjuntos elementares K (compacto), e U (aberto), tais que
K A U , e cN (U K) < , donde temos (iii) cN (A) cN (K).
Cada An e tambem Jordan-mensur
avel, e por isso existem ainda conjuntos
elementares Kn e Un , Kn compacto, e Un aberto, tais que
Kn An Un , cN (Un Kn ) <
[
[
[
Un .
Un = K
An
KA
n=1
n=1
n=1
Pm
subaditivo. E
obvio que n=1 cN (Un ) n=1 cN (Un ), e portanto podemos
usar (iii) e (iv) para obter
cN (A) cN (K)
36
n=1
cN (Un )
X
n=1
cN (An ) +
X
cN (An ) + .
=
2n
n=1
65
n=1
cN (An ) + , ou cN (A)
cN (An ) + 2.
n=1
n=1
n=1 cN (An ),
ou
2) P
A nao e Jordan-mensur
avel, e neste caso nao podemos ter cN (A) =
ao est
a
n=1 cN (An ), apenas porque o lado esquerdo desta identidade n
definido. (Fazemos aqui a convencao natural de atribuir `a serie a soma
, no caso de esta divergir no sentido usual do termo.)
A ideia de Borel e muito simples: No caso 2),
a identidade cN (A) =
Exemplo 1.6.2.
n=1 cN (An )
s
ao Jordan-mensuraveis, e c(An ) = 0. E tambem claro que Q nao e Jordanmensuravel, mas a ideia referida acima sugere que se defina c(Q) = 0.
Claro que e necessario verificar que esta ideia nao conduz a ambiguidades, mas como veremos isso e uma adaptacao simples do argumento que
utilizamos a prop
osito dos conjuntos elementares, ja na proposicao 1.1.9.
Antes de desenvolver esta observacao, e para ja mais conveniente enriquecer a terminologia e resultados abstractos introduzidos na seccao 1.2 com
algumas nocoes complementares.
66
Defini
c
ao 1.6.3 (Funcoes -Aditivas e -Subaditivas). Seja S uma classe
de subconjuntos do conjunto X, e : S [0, +] uma funcao. Supondo
os conjuntos C, An S, a funcao diz-se
a) -aditiva se e s
o se, se os conjuntos An s
ao disjuntos, e
n=1
An S, entao (
An ) =
(An ).
n=1
n=1
b) -subaditiva (37 ) se e s
o se
C
n=1
An = (C)
(An ).
n=1
Exemplos 1.6.4.
1. O conte
udo de Jordan e -aditivo na classe dos conjuntos Jordan-mensuraveis,
conforme observamos no teorema 1.6.1. A demonstracao do ponto (i) neste
teorema mostra igualmente que o conte
udo de Jordan e -subaditivo.
2. Exibimos aqui um conjunto aberto limitado que nao e Jordan-mensuravel.
Seja D = {q1 , q2 , , qn , } = Q [0, 1] o exemplo de Dirichlet, > 0, e
considerem-se os conjuntos abertos
Un =]qn n , qn + n [, e U =
Un .
2
2
n=1
Como o conte
udo de Jordan e -subaditivo, se U e Jordan-mensuravel ent
ao:
c(U )
c(Un ) =
n=1
n=1
2n1
= 2.
67
n1
[
Bk .
k=1
Os conjuntos Bn s
ao evidentemente disjuntos, e Bn S, porque S e uma
n1
Bk .
Figura 1.6.1: B1 = A1 , e para n > 1, Bn = An k=1
Bn =
n=1
An = A = (A) = (
Bn ) =
n=1
n=1
(Bn ).
n=1
n=1
(Bn )
(An ).
n=1
Conclumos que
n=1 (An )
n=1
(A), donde
n=1 (An )
= (A).
68
cN (An ) =
cN (Bm ).
m=1
n=1
Demonstraca
o. Observamos que
A=
An =
Bm = An =
m=1
m=1
n=1
An Bm , e Bm =
n=1
An Bm .
Como os conjuntos An Bm s
ao Jordan-mensur
aveis e disjuntos, e os conjuntos An e Bm s
ao Jordan-mensur
aveis, obtemos de 1.6.1 que:
cN (An ) =
m=1
cN (An Bm ), e cN (Bm ) =
n=1
cN (An Bm ).
n=1
cN (An ) =
X
X
n=1 m=1
cN (An Bm ) =
X
X
m=1 n=1
cN (An Bm ) =
cN (Bm ).
m=1
Qualquer uni
ao numeravel de conjuntos em E(RN ) ou J (RN ) e uma
uni
ao de conjuntos disjuntos na classe em quest
ao, porque estas classes s
ao
semi-algebras. A ideia de Borel permite por isso atribuir um conte
udo, ou
extensao, que designamos temporariamente por cN , pelo menos aos conjuntos que s
ao uni
oes numer
aveis de conjuntos Jordan-mensur
aveis, conforme registamos na proxima definicao:
Defini
c
ao 1.6.8 (Conjuntos -elementares). Designamos as classes de conjuntos que s
ao uni
oes numer
aveis de conjuntos elementares, ou de conjuntos
Jordan-mensur
aveis, como se segue:
S
N
a) E (RN ) = E RN : E =
n=1 En : En E(R ) .
S
N
b) J (RN ) = E RN : E =
n=1 En : En J (R ) .
n=1
cN (An ).
69
n=1
An =
Anm
n=1 m=1
e uma uni
ao numeravel de conjuntos Anm J (RN ), i.e., A J (RN ).
70
Exemplo 1.6.13.
Seja D o exemplo de Dirichlet, e I = [0, 1] D o conjunto dos irracionais em
[0, 1]. Sabemos que D e -elementar, c(D) = 0, e c([0, 1]) = 1. Se I J (R),
segue-se pela propriedade de aditividade referida no teorema anterior que
1 = c([0, 1]) = c(I) + c(D) c(I) = 1.
Sabemos que int(I) = , e como referimos acima, se I J (R) ent
ao c(I) = 0.
o e uma semi-
Conclumos que I 6 J (R). Em particular, J (R) na
algebra.
a) Fecho em relaca
o ao produto: U V J (RN +M ), e
cN +M (U V ) = cN (U )cM (V ).
ao U + x J (RN ) e
b) Invari
ancia sob translacco
es: Se x RN ent
cN (U + x) = cN (U ),
c) Invari
ancia sob reflex
oes: Se W e uma reflex
ao de U num dos hiperN
planos xk = 0, ent
ao W J (R ), e cN (W ) = cN (U ).
Estas afirmaco
es s
ao igualmente verdadeiras substituindo as classes J (RN ),
M
N
+M
J (R ) e J (R
) pelas classes E (RN ), E (RM ) e E (RN +M ).
Demonstraca
o. Supomos que os conjuntos Un J (RN ) e Vm J (RM ) formam particoes, respectivamente, dos conjuntos U e V . Sendo U =
n=1 Un
e V =
V
,
conclu
mos
que
m
m=1
!
!
[
[
[
Un V m .
Vm =
Un
U V =
m=1
n=1
n=1 m=1
n=1 m=1
cN +M (Un Vm ) =
cN (Un )
n=1
n=1 m=1
cM (Vm ) = cN (U )cM (V ).
m=1
71
Fn+1 = Fn Un , onde Un =
2
[
Jk,n .
k=1
claro que nada nos impede de extrair, em cada passo, e de cada subintervalo
E
Ik,n , um intervalo aberto Jk,n , ainda centrado no ponto medio de Ik,n , mas
agora com comprimento c(Jk,n ) 13 c(Ik,n ). Exactamente como no procedimento original de Cantor, e facil verificar que (exerccio 12)
V =
Fn n
ao e numer
avel, e perfeito, e tem interior vazio.
n=o
Un e -elementar, e aberto.
n=0
n=0
c(Un ) = (
n
X
1
2
= (1 )c(I).
)c(I)
3
3
n=0
72
f (x) =
0, se x = 0.
Por raz
oes evidentes, f nao e contnua em 0, onde a respectiva oscilacao
[
]an , bn [.
U=
n=1
gn (x) =
1
g
bn an
x an
bn an
gn (x).
n=1
73
As funcoes gn s
ao Riemann-integraveis desde que F o seja, mas daqui nao
podemos concluir a integrabilidade da funcao limite F , como sabemos.
A classe J (RN ) e uma extensao nao-trivial de J (RN ), ja que contem
conjuntos que nao s
ao Jordan-mensur
aveis, mas n
ao e ainda uma base satisfat
oria para o desenvolvimento da teoria. Por exemplo, e como apontamos
acima, se A B, e A, B J (RN ), entao s
o e razo
avel tomar c(B
A) = c(B) c(A), mas ja vimos que podemos ter B A 6 J (RN ). Por
outras palavras, a classe J (RN ) e, apesar de tudo, demasiado pequena, em
particular porque nao e uma semi-algebra.
Borel teve aqui o enorme merito de analisar e identificar com total clareza
as dificuldades com que se debatia. Enunciou com muita precisao o problema que entendia dever ser resolvido, listando o que ele referia como os
princpios gerais a satisfazer. Borel foi assim um notavel pioneiro do tipo
de procedimento que hoje chamamos de axiom
atico.
1.6.16 (Problema de Borel). Determinar uma classe MN de subconjuntos de RN , e uma funcao mN : MN [0, ], tais que:
a) A classe MN contem os conjuntos elementares.
b) Se E RN e elementar entao mN (E) = cN (E).
c) MN e uma
algebra fechada em relacao a uni
oes numeraveis.
d) mN e uma funcao -aditiva.
N
ao vamos descrever imediatamente a solucao que Borel descobriu para este
problema(40 ). Estudamos para ja alguns resultados auxiliares importantes,
39
O pr
oprio Henri Lebesgue considerava este exemplo como uma das suas mais importantes motivac
oes na busca de uma teoria de integrac
ao mais geral do que a de Riemann.
Como veremos mais adiante, a regra de Barrow e v
alida para a func
ao de Volterra na
teoria da integrac
ao de Lebesgue.
40
Veremos adiante que a classe MN = B(RN ) descoberta por Borel, formada pelos con-
74
Demonstraca
o. Se U RN e um aberto, e x U , existe um rectangulo
aberto limitado Rx, tal que x Rx U . Suponha-se que
Rx = I1 I2 IN , onde Ik =]ak , bk [, e x = (x1 , x2 , , xN ) .
J1 J2 JN = Qx Q(RN ), e x Qx Rx U.
Conclumos, assim, que
U=
Qx.
xU
Os rectangulos Qx s
ao limitados e abertos, e a classe U = {Qx : x U }
Q(RN ). Como Q(RN ) e numeravel, a classe U s
o pode ser numeravel.
veis, e a menor soluc
juntos que hoje se dizem Borel-mensura
ao do seu problema. Esta
classe e uma extens
ao de E (RN ), mas n
ao contem todos os conjuntos Jordan-mensur
aveis,
facto que Borel conhecia, e que sublinhava com cuidado, porventura em sinal de prudente
respeito por Jordan, que gozava de grande influencia.
75
X
X
X
X
anm .
anm =
n=1
m=1
m=1
n=1
76
42
Usamos as seguintes designac
oes para cardinais infinitos: 0 e o cardinal de N, 1 e o
cardinal de R, 2 e o cardinal de P(R), 3 e o cardinal de P(P(R)), etc.
Captulo 2
A Medida de Lebesgue
As dificuldades tecnicas associadas ao integral de Riemann, algumas das
quais temos vindo a apontar, eram bem conhecidas no final do seculo XIX,
mas certamente prevalecia a opini
ao que eram inevitaveis, e inultrapassaveis.
Apenas um grupo restrito de jovens matem
aticos(1 ) parece ter-se apercebido,
por volta de 1900, que era possvel e desejavel ultrapassar alargar a classe
das funcoes `
as quais atribumos um integral, e que dessa forma se podiam
ultrapassar algumas das limitacoes do integral de Riemann. Por um lado,
os trabalhos de Jordan e Peano tinham revelado que este problema se reduz
ao de alargar a classe de conjuntos aos quais atribumos um conte
udo. Por
outro lado, Borel tinha descoberto que certos conjuntos que nao s
ao Jordanmensuraveis podem ser medidos usando particoes infinitas numeraveis em
rectangulos, e tinha igualmente identificado com muito rigor e clareza o que
ele proprio considerava como as propriedades essenciais a satisfazer por
qualquer possvel extensao do conte
udo de Jordan.
Em 1902, o entao jovem professor de liceu Henri Leon Lebesgue (1875veis, e
1941) apresentou a sua propria definicao de conjuntos mensura
de medida, numa excepcional tese de doutoramento, com o ttulo Integral,
area, volume, que submeteu `
a Universidade de Nancy. A ideia de Lebesgue
combinava de forma muito natural o trabalho de Jordan com o de Borel,
retomando a ideia de aproximacao usada por Jordan, mas substituindo os
conjuntos elementares pelos conjuntos -elementares, cuja medida Lebesgue calculava pela tecnica de Borel. Os conjuntos mensuraveis no sentido
de Lebesgue dizem-se conjuntos de Lebesgue, ou conjuntos Lebesgueveis, e formam a classe L(RN ), que inclui a classe J (RN ). A
mensura
medida de Lebesgue designa-se mN , ou apenas m, e uma funcao
mN : L(RN ) [0, ], e e uma extensao do conte
udo de Jordan cN .
77
78
2.1
Espacos Mensur
aveis e Medidas
Esta seccao apresenta algumas das ideias mais basicas da Teoria da Medida,
todas relacionadas com a nocao de -aditividade, e em grande parte sugeridas pelo enunciado do Problema de Borel. A primeira definicao que
apresentamos resume-se ali
as a abstrair a condicao (c) desse problema:
Defini
c
ao 2.1.1 (-Algebra).
Seja M uma classe de subconjuntos em X.
lgebra (em X) se e s
Dizemos que M e uma -a
o se M e uma algebra de
conjuntos fechada em relacao a uni
oes numeraveis, i.e.,
E1 , E2 , , En , M = E =
n=1
En M.
Exemplos 2.1.2.
1. Nesta terminologia, a condicao c) do Problema de Borel pode enunciar-se:
MN e uma -algebra em RN .
2. Sendo I = [0, 1], a classe J (I) e uma algebra, mas o conjunto de Dirichlet
D = Q I mostra que J (I) n
ao e fechada em relacao a uni
oes numer
aveis, e
portanto nao e uma -algebra.
2
79
m
[
n=1
En ,
m
\
n=1
En ,
n=1
En ,
n=1
En M.
80
Exemplos 2.1.6.
o de dirac , definida em P(R) por
1. A distribuic
a
1, se 0 A, e
(A) =
0, se 0 6 A,
frequentee uma medida em P(R), e diz-se, tambem, a medida de dirac. E
mente utilizada para representar a distribuicao de massa associada a um u
nico
ponto material, de massa unitaria, colocado na origem. Mais geralmente, se X
e um conjunto e x0 X, a distribuicao de Dirac (em x0 ) define-se por
1, se x0 A, e
x0 (A) =
0, se x0 6 A,
e e uma medida em P(X).
2. Sendo X um conjunto, o cardinal e uma medida em P(X). O cardinal e
uma medida de Radon, que e finita se e s
o se o conjunto X e finito. Diz-se,
frequentemente, a medida de contagem, e e aqui designada por #.
3. Uma medida de probabilidade no conjunto X e, simplesmente, uma
medida de Radon satisfazendo a condicao (X) = 1. Em certo sentido, e
81
Defini
c
ao 2.1.7 (Espaco de Medida). Um espac
o de medida e um terno
(X, M, ), onde (X, M) e um espaco mensuravel, e e uma medida de
Radon definida em M.
Exemplos 2.1.8.
1. (R, P(R), ) e um espaco de medida.
2. O espaco da medida de contagem em N e (N, P(N), #).
3. Um espac
o de probabilidade e um espaco de medida (X, M, ) em que
(X) = 1, ou seja, em que e uma medida de probabilidade. Neste caso, e
tradicional dizer que os conjuntos mensuraveis, i.e., os conjuntos E M, s
ao
os acontecimentos.
Xn .
n=1
82
Os proximos teoremas indicam propriedades validas para qualquer medida, que utilizaremos quase constantemente no que se segue. Comecamos
por resumir alguns dos resultados elementares que ja apresentamos ate aqui.
Teorema 2.1.11. Seja uma medida definida na -
algebra M em X. Se
os conjuntos E, F, E1 , E2 , , En , s
ao M-mensur
aveis, temos:
a) () = 0.
b) Aditividade e -aditividade: Se os conjuntos En s
ao disjuntos,
(
m
[
En ) =
n=1
m
X
(En ), e (
n=1
En ) =
n=1
(En ).
n=1
Se e n
ao-negativa, i.e., se e uma medida de Radon, temos ainda:
c) Monotonia: E F = (E) (F ).
d) Subaditividade e -subaditividade:
(
m
[
n=1
En )
m
X
n=1
(En ), e (
n=1
En )
(En ).
n=1
Qualquer sucess
ao mon
otona na recta acabada R = [, ] converge para algum R, e introduzimos aqui algumas convencoes simples:
Se a sucess
ao de termo geral xn e crescente, entao = sup xn , e
escrevemos xn .
Quando a sucess
ao e decrescente, = inf xn , e escrevemos xn .
Se os conjuntos En formam uma sucess
ao crescente, escrevemos
En E, onde se entende que E =
En .
n=1
En .
n=1
Se os conjuntos En s
ao M-mensur
aveis, e formam uma sucess
ao crescente, e possvel usar, indirectamente, a -aditividade de , para calcular a
medida do conjunto
n=1 En .
Teorema 2.1.12 (da Convergencia Monotona de Lebesgue). Se os conjuntos En M, e En E, ent
ao E M, e (En ) (E).
83
Demonstraca
o. Sendo Fn+1 = En+1 En , e F1 = E1 , notamos que os conjuntos Fn s
ao disjuntos, e verificam
En =
n
[
Fk , e E =
En =
Fn .
n=1
n=1
k=1
Como os conjuntos Fn s
ao disjuntos, e e uma medida, temos, imediatamente,
(En ) = (
n
[
Fk ) =
k=1
n
X
(Fk ), e (E) = (
Fn ) =
n=1
k=1
(Fn ).
n=1
portanto,
E,
obvio que (En ) (E).
Se os conjuntos En formam uma sucess
ao decrescente, temos
Teorema 2.1.13. Se os conjuntos En M, e En E, ent
ao E M. Se,
alem disso, (E1 ) 6= +, ent
ao (En ) (E).
Demonstraca
o. Os conjuntos Fn = E1 En s
ao M-mensur
aveis e formam
uma sucess
ao crescente. Portanto,
(Fn ) (
n=1
Fn ), ou seja, (E1 En ) (
n=1
(E1 En )).
n=1
(E1 En ) = E1
n=1
En = (E1 En ) (E1
En ).
n=1
Dado que En E1 e
em
n=1 En E1 , se todos os conjuntos em causa t
medida finita, e claro que
(En ) = (E1 ) (E1 En ), e (
n=1
En ) = (E1 ) (E1
En ).
n=1
En ).
n=1
A hip
otese adicional (E1 ) 6= +, referida no teorema anterior, s
o nao
e automaticamente satisfeita quando e uma medida de Radon. O exemplo
seguinte mostra que, neste caso, a hip
otese e indispens
avel.
84
Exemplo 2.1.14.
Considere-se o espaco de medida (de contagem) (N, P(N), #). Os conjuntos
En = {k N : k n} formam uma sucess
ao decrescente, e
n=1 En = . Como
#(En ) = +, e evidente que #(En ) nao converge para #(
n=1 En ) = 0.
85
n=1
(Sn ) : E
n=1
Sn , Sn S
Ent
ao e uma medida exterior em X.
Demonstraca
o. Como S, tomamos Sn = para qualquer n N, para
concluir que () = 0.
Para provar que e -subaditivo, consideramos conjuntos E, En X,
onde
[
En .
E
n=1
m=1
Smn , e (En )
m=1
(Smn ) (En ) +
.
2n
em S, i.e., E
n=1 m=1 Smn , e portanto
(E)
X
X
n=1 m=1
(Smn )
[ (En ) +
n=1
(En ).
]+
n
2
n=1
n=1
cN (Rn ) : E
n=1
Rn , Rn R(RN ) .
(E) = inf
n=1
(Rn ) : E
n=1
Rn , Rn R(R ) .
86
3. A classe F(R) formada pelos intervalos da forma ]a, b] e uma cobertura sequencial de R. Vimos no exemplo 1.2.5.5 que qualquer funcao F : R R
determina uma funcao : F(R) R, dada por (]a, b]) = F (b) F (a). Supondo que F e crescente, a funcao : P(R) [0, ], dada por
(E) = inf
n=1
[F (bn ) F (an )] : E
]an , bn ],
n=1
Exerccios.
1. Seja X um conjunto infinito. Diga, para cada um dos exemplos seguintes,
se a funcao de conjuntos em causa : P(X) [0, +] e aditiva, subaditiva,
-aditiva, -subaditiva.
a) (E) = 0, se E e finito, com (E) = 1, se E e infinito,
b) (E) = 0, se E e finito, com (E) = +, se E e infinito.
2. Suponha que M e uma -algebra em X, e E1 , E2 , , En , s
ao conjuntos
E
pertence
igualmente
a
M
(Teorema
2.1.4).
em M. Prove que E =
n
n=1
3. Suponha que e uma medida definida na -algebra M, e E e M-mensur
avel.
Prove que a funcao definida por (F ) = (F E) e igualmente uma medida.
4. Em cada um dos casos seguintes, prove que a funcao : P(X) [0, +]
dada e uma medida na -algebra P(X).
a) A medida de contagem #.
b) a medida de Dirac x0 , onde x0 X.
5. Suponha que (X, M) e um espaco mensuravel, e e uma medida complexa
definida em M. Prove que
a) Existem medidas reais e tais que = + i.
b) () = 0.
c) e aditiva.
6. Suponha que n : Mn [0, +] e uma medida de Radon na -algebra Mn
em X. Considere
M=
n=1
n=1
n (E), para E M.
87
os conjuntos En s
ao M-mensur
aveis, n=1 (En ) < , e E e o conjunto dos
x X que pertencem a um n
umero infinito de conjuntos En s. Prove que E e
o: Prove primeiro que
M-mensur
avel, e (E) = 0. Sugesta
E=
[
\
Ek .
n=1 k=n
2.2
A Medida de Lebesgue
n=1
mN (En ) =
cN (En ) = cN (E).
n=1
Como RN e -elementar, e
obvio que qualquer subconjunto de RN pode ser
aproximado por excesso por conjuntos -elementares, i.e.,
Se E RN , existe U E (RN ) tal que E U.
4
De Borel, e Francesco Paolo Cantelli, 1875-1966, matem
atico italiano, professor na
Universidade de Roma.
88
cN (U ) : E U, U E (RN ) .
Como ja mencion
amos, a proxima definicao e uma simples adaptacao da de
Jordan e Peano, mas agora usando os conjuntos -elementares.
Defini
c
ao 2.2.1 (Medida Exterior de Lebesgue ). A medida exterior de
Lebesgue em RN e a funcao mN : P(RN ) [0, +], dada por
mN (E) = inf cN (U ) : E U, U E (RN ) .
A proposicao seguinte indica outras possveis definicoes para a medida
exterior de Lebesgue, e a sua demonstracao fica como exerccio. Reparese que a observacao final, relativa ao facto de mN ser efectivamente uma
medida exterior, resulta do teorema 2.1.18.
Proposi
c
ao 2.2.2. Dado E RN , temos:
mN (E) = inf
n=1
cN (Rn ) : E
Rn , Rn rect
angulo limitado
n=1
N
inf cN (U ) : E U R , U aberto .
89
Demonstraca
o. Demonstramos apenas que cN (E) mN (E), deixando as
restantes afirmacoes para o exerccio 12. Para isso, supomos que K E
e elementar, e U E e -elementar. Consideramos ainda conjuntos eleudo
mentares disjuntos Un tais que U =
n=1 Un E K. Como o conte
de Jordan e -subaditivo, temos
cN (K)
Por outras palavras,
cN (Un ) = cN (U ).
n=1
cN (K) e minorante de
cN (U ) : E U, U E (RN ) .
porque os conjuntos V s
ao da forma V = (U + x), e cN (U + x) = cN (U ).
c) Existem conjuntos Un E (RN ), e Vm E (RM ), tais que Un E,
claro que E F
Vm F , cN (Un ) mN (E), e cM (Vm ) mM (F ). E
Un Vm , e portanto, usando o lema 1.6.14, temos
(i) mN +M (E F ) cN +M (Un Vm ) = cN (Un )cM (Vm ),
90
Fn .
n=1
n=1
E Fn
mN +M (E
F)
n=1
mN +M (E Fn ) = 0.
91
92
n=1
(Rn E), e F E
E)
mN (Rn
n=1
E), e
mN (F
n=1
(Rn E).
E)
n=1
n=1
mN (Rn E).
mN (Rn E) + mN (Rn E)
mN (F E) + mN (F E)
cN (Rn ).
n=1
[
X
Rn , onde os Rn s
ao rectangulos-N .
cN (Rn ) : F
n=1
Como
mN (F )
n=1
93
N
ao e por enquanto
obvio que L(RN ) e solucao do problema facil de
Lebesgue. Provaremos este facto na proxima seccao, como consequencia de
alguns resultados mais abstractos, referentes a qualquer medida exterior, e
que nos serao muito u
teis para definir outras medidas de interesse. Demonstramos aqui os seguintes resultados auxiliares:
94
95
n=1
En ) =
m(En ).
n=1
N
N
com mN em L (R ) L(R ).
8
Em Lecons Sur LIntegration et La Recherche de Fonctions Primitives, de H. Lebesgue, Paris 1904 e 1928. Lebesgue enunciou a condic
ao 1. na forma (equivalente) de
m([0, 1]) 6= 0.
9
Vitali, G.: Sul problema della misura dei gruppi di punti di una retta. Bologna
(1905). De Giuseppe Vitali, 1875-1941, matem
atico italiano, professor nas Universidades
de P
adua e Bolonha.
10
Sierpinski, W.: Sur une probl`eme conduisant `
a un ensemble non mesurable. Fund.
Math. 10 (1927) 177-179. De Waclaw Sierpinski, 1882-1969, um dos mais produtivos
matem
aticos polacos do seculo XX, professor na Universidade de Vars
ovia.
96
An .
n=1
m(An ) =
n=1
m(A).
n=1
Demonstramos que o problema difcil de Lebesgue nao tem solucao, verificando que qualquer uma destas alternativas conduz a contradicoes. Provamos
primeiro que a alternativa (1) e impossvel:
11
97
Como acabamos de ver, o problema 2.2.12 nao tem solucao, ou seja, nao
e possvel atribuir um comprimento a todos os subconjuntos da recta real de
modo a satisfazer as tres propriedades que indic
amos. Como tambem vimos,
a medida exterior de Lebesgue satisfaz as condicoes (1) e (2) do Problema
2.2.12. Conclumos que a medida exterior de Lebesgue nao pode ser aditiva, e portanto nao pode ser aditiva, na classe de todos os subconjuntos
de R. Como a medida exterior de Lebesgue e aditiva em L(RN ), podemos
concluir, desde ja, que L(R) 6= P(R). Por outras palavras,
Existem subconjuntos de R que n
ao s
ao Lebesgue-mensur
aveis.
Ja vimos que a medida exterior de Lebesgue e invariante sob translaccoes,
e referimos que se A e Lebesgue-mensur
avel entao A + x e igualmente Lebesgue-mensur
avel (exerccio 2). Daqui obtemos que
o conjunto A do exemplo de Sierpinski n
ao e Lebesgue-mensur
avel.
Aproveitamos para uma breve descricao do chamado axioma da escolha da Teoria dos Conjuntos, e para esclarecer um pouco melhor o seu
papel na definicao do exemplo de Sierpinski. Uma das maneiras de enunciar
este axioma e a seguinte:
2.2.19 (Axioma da Escolha). Seja F uma famlia de conjuntos nao-vazios,
e T = CF C. Entao existe uma funcao f : F T tal que f (C) C, para
qualquer C F.
Intuitivamente, a funcao f escolhe um elemento de cada conjunto C
por isso comum
que pertence `
a famlia F, e da o nome do axioma. E
o de escolha.
referirmo-nos a f como uma func
a
No caso do exemplo de Sierpinski, comecamos por tomar Cx = [x]]0, 1[
para qualquer x R. Temos, entao, (porque?)
Para qualquer x R, Cx = {y ]0, 1[: x y} , e Cx 6= , e ainda
98
Cx =]0, 1[.
xR
Seja agora F = {Cx : x R}. Pelo axioma da escolha, existe uma funcao
f : F ]0, 1[ tal que f (C) C, para qualquer C F. O conjunto A usado
no exemplo de Sierpinski e, exactamente,
A = f (F) = {f (C) : C F} .
Este conjunto verifica as seguintes propriedades:
(1) A contem um representante de cada classe de equivalencia: Se x R,
existe a A tal que a x: basta considerar a = f (Cx ).
(2) A contem apenas um representante de cada classe de equivalencia: Se
a, a A, entao a = f (C), e a = f (C ). Se a 6= a entao C 6= C .
Como a e a pertencem a classes de equivalencia distintas, nao podem
ser equivalentes entre si.
A relacao entre o axioma da escolha e o problema difcil de Lebesgue
e uma quest
ao difcil, e nao completamente compreendida, envolvendo os
fundamentos da Teoria dos Conjuntos. Sabe-se (12 ) que a existencia de uma
solucao para o problema difcil de Lebesgue e compatvel com a negaca
o
do axioma da escolha, mas nao e consequencia dessa negacao. Existem,
mesmo, diferencas subtis em quest
oes semelhantes em RN , dependendo da
dimens
ao N . Por exemplo, se substituirmos no problema de Lebesgue a
-aditividade pela aditividade, entao existem solucoes em R e R2 , mas,
sempre como consequencia do axioma da escolha, nao ha solucao em R3 . A
este respeito, e conhecido o:
2.2.20 (Paradoxo de Banach-Tarski). (13 ) Se A e B s
ao esferas disjuntas
em R3 com o mesmo raio, existem conjuntos Cn , Dn , 1 n 41, tais que:
a) Os conjuntos Cn s
ao disjuntos, e a sua uni
ao e a esfera A,
b) Os conjuntos Dn s
ao disjuntos, e a sua uni
ao e o conjunto das duas
esferas A B, e
c) Para 1 n 41, os conjuntos Cn e Dn s
ao isometricos (i.e., existem
funcoes bijectivas fn : Cn Dn tais que kf (x) f (y)k = kx yk).
12
Solovay, R.M.: A model of set-theory in which every set of reals is Lebesgue measurable, Ann. of Math. 92 (1970).
13
Stefan Banach, 1892-1945, polaco, foi um dos grandes matem
aticos do seculo XX. A
sua tese de doutoramento (1920), intitulada Sobre Operac
oes em Conjuntos Abstractos
e as suas Aplicac
oes a Equac
oes Integrais e frequentemente tomada como marcando
a criac
ao da An
alise Funcional. Alfred Tarski, 1902-1983, tambem de origem polaca,
foi professor nas Universidades de Vars
ovia e Harvard, e associou-se `
a Universidade de
Berkeley, na Calif
ornia, desde 1942.
99
Exerccios.
1. Prove que o complementar de um conjunto Lebesgue-mensuravel e Lebesguemensuravel.
2. Prove que a medida exterior de Lebesgue e invariante sob translaccoes, e conclua que a classe dos conjuntos Lebesgue-mensuraveis e igualmente invariante
sob translaccoes.
3. Prove que qualquer conjunto numeravel E RN verifica mN (E) = 0.
4. Determine conjuntos E R tais que
c(E) < m (E) = c(E) e c(E) < m (E) < c(E).
5. Prove que se mN (E) = 0 ent
ao qualquer subconjunto de E e Lebesguemensuravel.
6. Prove que se I R e um intervalo ilimitado ent
ao I L(R), e m(I) = +.
7. Prove que R Q e Lebesgue-mensuravel, com m(R Q) = .
8. Prove a proposicao 2.2.2.
9. Prove que J (RN ) L(RN ). Conclua que os conjuntos abertos e os conjuntos fechados s
ao Lebesgue-mensuraveis.
10. Prove que se E RN ent
ao mN (E) = inf{mN (U ) : E U, U aberto }.
11. Prove que se K e compacto, ent
ao mN (K) = cN (K).
12. Complete a demonstracao de 2.2.3.
13. Mostre que podemos ter mN (E) > 0 e int E = .
14. Podemos definir a medida interior de Lebesgue do conjunto E RN usando
sup{cN (K) : K E (E)}?
15. Mostre que o conjunto A indicado na discussao do exemplo de Sierpinski
pode ser definido de modo que m (A) < , onde > 0 e arbitrario.
2.3
Medidas Exteriores
100
especial, provamos aqui que qualquer medida exterior determina uma algebra de conjuntos, formada pelos conjuntos ditos -mensur
aveis, onde
a medida exterior dada e aditiva, e portanto -aditiva, i.e., onde a medida
exterior dada e uma medida de Radon. Por outras palavras,
Qualquer medida exterior determina um espaco de medida.
Aplicados ao caso especial da medida exterior de Lebesgue, estes resultados mostrarao que L(RN ) e efectivamente solucao do problema facil de
Lebesgue, porque e uma -
algebra. Comecamos por abstrair do problema
f
acil de Lebesgue (2.2.6) o problema que chamamos aqui:
2.3.1 (Problema de Caratheodory). Dada uma medida exterior em X,
determinar uma -
algebra M onde seja aditiva.
Resolveremos este problema usando uma ideia directamente sugerida
pela definicao 2.2.9.
Defini
c
ao 2.3.2 (Conjuntos -Mensur
aveis). Dada uma medida exterior
vel se e s
em X, o conjunto E X diz-se -mensura
o se
(F ) = (F E) + (F E), para qualquer conjunto F em X.
Designamos a classe dos conjuntos -mensur
aveis por M .
Exemplos 2.3.3.
1. No caso da medida exterior de Lebesgue, os conjuntos mN -mensur
aveis s
ao,
evidentemente, os conjuntos que s
ao Lebesgue-mensuraveis no sentido de 2.2.9.
2. A medida de Dirac num qualquer conjunto X est
a definida em toda a classe
portanto, tambem uma medida
P(X), e e -subaditiva, porque e -aditiva. E,
exterior. Neste caso, qualquer conjunto E X e -mensur
avel, porque sendo
aditiva em P(X), a condicao em 2.3.2 e satisfeita por todos os conjuntos
E X.
3. Se X 6= e um conjunto, e E X, definimos
0, se E = , e
(E) =
1, se E 6= .
simples verificar que e uma medida exterior no conjunto X (trata-se
E
do exemplo 2.1.16.1 referido atras). Sendo E X -mensur
avel, tomamos
F = X em 2.3.2, para concluir que
(X) = (E) + (E c ).
Como X 6= , sabemos que (X) = 1, e a igualdade anterior s
o pode ser v
alida
se (E) = 0, ou (E c ) = 0, ou seja, se E = , ou E c = ( i.e., se E = X).
Por outras palavras, os u
nicos conjuntos que podem ser -mensur
aveis s
ao ,
e X. Como estes conjuntos s
ao sempre -mensur
aveis (porque?), neste caso
os conjuntos -mensur
aveis reduzem-se exactamente a e X.
101
lgebra.
Passamos a demonstrar que M e sempre uma a
lgebra em X, i.e.,
Teorema 2.3.4. A classe M e uma a
a) X M ,
b) Fecho em relaca
o a
` complementaca
o: A M = Ac M , e
c) Fecho em relaca
o a
` intersecca
o: A, B M = A B M .
Demonstraca
o. Deixamos as demonstracoes de a) e b) como exerccio.
Para provar c), temos a mostrar que se A, B M entao A B M ,
ou seja,
(F ) = (F (A B)) + (F (A B)c ), para qualquer F X.
Como e, por hip
otese, subaditiva, temos apenas que mostrar que
(F ) (F (A B)) + (F (A B)c ).
Para estimar (F (A B)c ), notamos que
F (A B)c = (F Ac ) (F A B c ).
(Observe-se a figura 2.3.1). Como e subaditiva, temos
(F Ac ) + (F A B c ) (F (A B)c ).
Somando (F A B) a ambos os membros desta desigualdade, temos
(i ) (F Ac ) + (F A B) + (F A B c )
(F A B) + (F (A B)c ).
102
Este resultado pode ser generalizado, fazendo intervir um segundo conjunto arbitr
ario C, que tambem nao necessita ser -mensur
avel.
Figura 2.3.2: B e C s
ao arbitr
arios, A M .
103
ao
Proposi
c
ao 2.3.6. Se A e B s
ao disjuntos, C X, e A M , ent
(C (A B)) = (C A) + (C B).
Demonstraca
o. Consideramos o conjunto D, ilustrado na figura 2.3.2, e dado
por:
D = C (A B) = (C A) (C B).
Por hip
otese, A M , donde temos, mais uma vez, que
(D) = (D A) + (D A).
Como, obviamente, D A = C A, e D A = C B, conclumos que
(D) = (D A) + (D B).
Este u
ltimo resultado generaliza-se, por um simples argumento de inducao
finita, ao seguinte:
Corol
ario 2.3.7. Se E1 , , Em M(X) s
ao disjuntos, e F X,ent
ao
(
m
[
n=1
(F En )) =
Em particular,
m
[
En ) =
m
X
n=1
m
X
(F En )
(En ).
n=1
n=1
avel.
no seu enunciado, que o conjunto E = n=1 En e -mensur
ao disjuntos, e F X, ent
ao
Teorema 2.3.8. Se os conjuntos En M s
(
n=1
F En ) =
Em particular,
n=1
En ) =
n=1
n=1
(F En )
(En ).
104
Demonstraca
o. Mais uma vez, temos a provar apenas que
(F E)
n=1
(F En ).
m no lugar de E,
m = m En . Usamos o corolario 2.3.7, com E
Tomamos E
n=1
para concluir que
m
X
m ) =
(F En ).
(F E
n=1
Notamos que
m E F E
m F E
E
m
X
n=1
m ) (F E).
(F En ) = (F E
m+
m
X
n=1
(F En ) (F E), i.e.,
n=1
(F En ) (F E).
Ja demonstr
amos para qualquer medida exterior que:
algebra,
M e uma
e aditiva, e portanto -aditiva, em M .
Para mostrar que M e solucao do Problema 2.3.1, resta-nos provar que
oes numealgebra, i.e., M e fechada em relacao a uni
M e uma -
r
aveis.
precisamente o facto de termos demonstrado o teorema anterior sem
E
supor que
n=1 En M , que agora nos permite provar que, na realidade,
camos por verificar esta afirmacao, no
temos sempre
n=1 En M . Come
caso especial de uma famlia de conjuntos disjuntos.
ao disjuntos, ent
ao
Lema 2.3.9. Se os conjuntos En M s
E=
n=1
En M .
Demonstraca
o. Sendo F X arbitr
ario, temos a provar que
(F ) (F E) + (F E c ).
105
m = m En , e notamos que E
m M , porque
Definimos, novamente, E
n=1
M e uma
algebra. Temos portanto
c
m ) + (F E
m
(F ) = (F E
).
c
m E (F E
m
E
) (F E c ), donde
m ) + (F E c ).
(F ) (F E
m ) = Pm (F En ), e, por isso
De acordo com 2.3.7, temos (F E
n=1
(F )
m
X
n=1
(F En ) + (F E c ).
Fazendo m +, obtemos
(F )
n=1
(F En ) + (F E c ).
n=1 (F
En ), e
(F ) (F E) + (F E c ).
m1
[
En .
n=1
n=1
n =
E
En ,
n=1
106
Corol
ario 2.3.12. Se E RN e aberto ou fechado ent
ao E L(RN ).
Exemplos 2.3.13.
1. O exemplo 1.6.4.2 e um conjunto da forma
U=
n=1
]qn
, qn + n [,
n
2
2
onde q1 , q2 , , qn , s
ao os racionais de [0, 1]. Vimos que U nao e Jordanmensuravel, mas como U e aberto, U e Lebesgue-mensuravel.
2. O conjunto de Volterra C (I) nao e Jordan-mensuravel, e vimos mesmo que
C (I) 6 J (RN ). Mas como o conjunto de Volterra e fechado, e obvio que
C (I) e Lebesgue-mensuravel. Recorde-se que se U = I C (I) ent
ao m(U ) =
c(U ) = (1 )c(I), donde conclumos que m(C (I)) = c(I).
107
Consideramos os conjuntos
E=
En , A =
An , e B =
Observamos que A E B, A, B M, e
BA
n=1
Bn .
n=1
n=1
n=1
(Bn An ) , donde 0 (B A)
n=1
(Bn An ) = 0.
n=1
An ) =
n=1
(An ) =
(En ).
n=1
108
Exerccios.
1. Mostre que, se e uma medida exterior, e (E) = 0, ent
ao F E F e
-mensur
avel, e (F ) = 0.
2. Complete a demonstracao do teorema 2.3.4.
3. Em cada um dos casos seguintes, prove que a funcao : P(X) [0, +]
dada e uma medida exterior, e descreva os conjuntos -mensur
aveis.
a) (E) = #(E).
0, se E e finito ou numeravel,
b) (E) =
1, se E e nao-numeravel.
b) (F ) = 0 se e s
o se existe E M tal que F E e (E) = 0. Em
particular, (X, M, ) e completo se e s
o se (E) = 0 E M.
c) Se o espaco (X, M, ) e finito, e e a restricao de a M , prove que
(X, M , ) = (X, M , ), tal como este espaco foi definido em 2.3.16.
109
2.4
n=1
An M , J
n=1
An M.
110
Defini
c
ao 2.4.2 (-Algebra
Gerada pela Classe C). Se C e uma classe de
subconjuntos do conjunto X, a interseccao de todas as -
algebras em X que
lgebra gerada por C.
contem a classe C diz-se a -a
Exemplo 2.4.3.
Se C = {E}, onde E X, a -algebra gerada por C e M = {, E, E c , X}.
e
Borel-mensur
a
vel.
B =
n
n=1
As letras s () e d () s
ao as iniciais de uni
ao e intersecc
ao na lngua alem
a.
111
112
S
S
Por outro lado, como a identidade F ( n=1 En ) = n=1 F (En ) e v
alida para
qualquer funcao, e B(R) e uma -algebra, temos
En A F (En ) B(R) F (
En ) =
n=1
n=1
n=1
C=
Fn , onde Fn =
n=0
2
[
k=1
Sabemos que
k
2m ).
(6) Se n 6= m ent
ao qn 6= qm .
Suponha-se que ]x, y[ C 6= . Dado z ]x, y[ C, existem n, k N tais
imediato concluir que ]x, y[ contem 2 subintervalos do
que z In,k ]x, y[. E
conjunto Fn+1 , e portanto contem pelo menos 3 subintervalos de U (porque?).
Como F e crescente, segue-se de (6) que F (x) < F (y). Como supomos que
F (x) = F (y), conclumos que ]x, y[ U , e temos de (4) que F (x) F (U ) Q.
Seja agora E A, i.e., F (E) B(R). O conjunto F (E) F (E c ) Q, de
acordo com (3), e por isso e numeravel, e Borel-mensur
avel. Como
F (E c ) = ([0, 1] F (E)) (F (E) F (E c )) ,
conclumos que F (E c ) e Borel-mensur
avel, e temos finalmente
(7) A e uma -algebra que contem os intervalos.
Segue-se que A contem todos os abertos, e portanto A B(R).
113
In , tomamos C (I) =
n=1
n=1
S
Sendo Jn = C (In ) In , e claro que I C (I) = n=1 (In Jn ). Deve notar-se
que o conjunto In Jn e uma uni
ao numeravel de intervalos abertos disjuntos,
independentemente do tipo de cada um dos intervalos In , e portanto o conjunto
I C (I) e tambem uma uni
ao numeravel de intervalos abertos disjuntos. Esta
operaca
o pode assim ser aplicada recursivamente, i.e.,
Fixamos um intervalo inicial U1 = I = [a, b].
Seleccionamos uma sucess
ao de reais 0 < n < 1.
Definimos, para n N, Fn = Cn (Un ), e Un+1 = Un Fn .
O exemplo que desejamos introduzir aqui e o conjunto
F (I) =
n=1
Un .
n=1
1
1
1 n
m(Fn1 ) = n c(I), que resulta de n+1 =
.
2
2
2 1 n
114
X
1
c(I) = c(I), e m(G(I)) = (1 )c(I).
2n
n=1
Proposi
c
ao 2.4.11. Se J I, e c(J) > 0, ent
ao
m(J F (I)) > 0, e m(J G(I)) > 0.
As propriedades dos conjuntos Jordan-mensur
aveis que vimos na proposicao 1.3.12, relacionadas com produtos cartesianos, e com a invariancia
sob translaccoes e reflexoes, s
ao, na realidade, propriedades comuns aos
conjuntos de Jordan, de Borel, e de Lebesgue. Provamos, desde ja, o seguinte
resultado parcial, relativo aos conjuntos Borel-mensuraveis.
Teorema 2.4.12. Sejam A B(RN ), B B(RM ), e x RN .
a) Fecho em relaca
o ao produto: A B B(RN +M ).
b) Invari
ancia sob translacco
es: A + x B(RN ).
ao de A no hiperplano xk =
c) Invari
ancia sob reflex
oes: Se C e a reflex
0, ent
ao C B(RN ).
Demonstraca
o. Demonstramos aqui a), deixando as observacoes em b) e c)
para o exerccio 3. Observamos primeiro que, quando os conjuntos A e B s
ao
abertos, entao a) resulta imediatamente de 1.6.14 e do teorema de Cantor.
115
m=1
Vm U V =
m=1
U Vm .
BB
= U RN : U B B(Rn+M ) .
cont
Como vimos em (5), a classe BB
em os abertos de RN , e e simples
adaptar os argumentos acima para mostrar que esta classe e, tambem, uma
-
algebra:
S
S
e fechada em
U=
n=1 Un U B =
n=1 Un B, e, por isso, BB
relacao a uni
oes numeraveis.
116
U c B = (U B)c RN B , donde BB
e fechada em relacao a
complementacoes.
Podemos concluir, mais uma vez, que
(6) A classe BB
e uma -
algebra que contem os abertos, e portanto contem
os conjuntos Borel-mensuraveis. Dito doutra forma,
Exploramos a seguir este teorema para obter diversos tipos de aproximacoes de conjuntos Lebesgue-mensur
aveis, an
alogas `as que enunciamos
no captulo 1 sobre a aproximacao de conjuntos Jordan-mensur
aveis por
conjuntos elementares. Os resultados em causa podem resumir-se dizendo
que os conjuntos Lebesgue-mensur
aveis:
Podem ser aproximados por excesso por conjuntos abertos.
Podem ser aproximados por defeito por conjuntos fechados.
Diferem de conjuntos Borel-mensur
aveis por conjuntos de medida nula.
Teorema 2.4.14. As seguintes afirmaco
es s
ao equivalentes:
a) E RN e Lebesgue-mensur
avel.
b) Para qualquer > 0, existe um conjunto aberto U RN tal que
E U , e mN (U E) < .
c) Existe um conjunto Borel-mensur
avel B, de tipo G , tal que
E B, e mN (B E) = 0.
Demonstraca
o. a) b): Supomos primeiro que mN (E) < +. De acordo
com 2.4.13, para qualquer > 0 existe um aberto U tal que E U , e
mN (E) = mN (E) mN (U ) mN (E) + , donde mN (U ) mN (E) < .
Como E e Lebesgue-mensur
avel, temos
mN (U ) = mN (E) + mN (U E), e mN (U E) = mN (U ) mN (E) < .
117
.
2n
claro que
U =
e aberto, porque e uma uni
ao de abertos. E
n=1 Un
E=
n=1
En
n=1
Un = U , e U E =
n=1
(Un E)
n=1
(Un En ).
Por -subaditividade,
mN (U E) mN (
n=1
Un E n )
n=1
mN (Un En ) <
1
n
< .
2n
n=1
E Un , e mN (Un E) <
1
.
n
T
Consideramos o conjunto B =
e de tipo G , e portanto Boreln=1 Un , que
mensuravel, e notamos que E B, e B E Un E, para qualquer n.
Como mN (B E) mN (Un E), temos
mN (B E) <
1
, para qualquer n, donde mN (B E) = 0.
n
118
+ = .
2 2
1
.
n
ao, respectivamente, um F , e
Os conjuntos A =
n=1 Fn e B = n=1 Un s
um G , e temos A E B, e B A Un Fn , donde
mN (B A) mN (Un Fn ) <
1
, para qualquer n mN (B A) = 0.
n
c) a): Ja o demonstr
amos em 2.4.14.
119
Exemplos 2.4.19.
1. A medida de Lebesgue e regular em L(RN ).
2. A medida de Dirac e regular em P(R).
3. Se a medida e o cardinal, temos inf {(U ) : E U, U aberto } = + para
qualquer E 6= , porque qualquer aberto nao-vazio e nao-numeravel. Como
qualquer conjunto finito e Borel-mensur
avel, nao e regular em B(RN ).
4. As solucoes do problema facil de Lebesgue s
ao as solucoes regulares do
problema de Borel.
Veremos mais adiante que muitas das propriedades da medida de Lebesgue indicadas nesta seccao, depois de convenientemente reformuladas, s
ao
comuns a todas as medidas regulares -finitas, e em especial s
ao comuns a
todas as medidas que s
ao finitas em conjuntos compactos.
Aproveitamos para fazer mais algumas observacoes sobre as solucoes do
problema de Borel e do problema f
acil de Lebesgue. Deixamos a sua
demonstracao para o exerccio 9.
17
Se A e B s
ao conjuntos, o conjunto AB = (A B) (B A) e a diferenc
a
trica de A e B.
sime
18
Mais exactamente, esta propriedade diz-se a regularidade exterior da medida .
A distinc
ao entre regularidade, e regularidade exterior, n
ao e importante, no contexto em
que vamos usar esta noc
ao.
120
121
mN +M ((Un Vn ) (A B))
o: Considere o
5. Determine o cardinal das classes J (RN ) e L(RN ). sugesta
conjunto de Cantor.
6. Demonstre o teorema 2.4.17.
122
[
\
|cn |
1
An,k = x R :
An,k .
, e Ak =
>
|x xn |
k
m=1 n=m
b) Mostre que a conclus
ao anterior e igualmente v
alida desde que, para
qualquer intervalo limitado I, e tomando K = {n N : xn I}, se tenha
X
|cn | < .
nK
Captulo 3
Integrais de Lebesgue
A exposicao que se segue e, em certo sentido, uma adaptacao directa das
ideias de Jordan e Peano apresentadas no Captulo 1: resulta destas pela
simples substituicao do conte
udo de Jordan pela medida de Lebesgue. A correspondente definicao do integral e a que Lebesgue chamava de geometrica,
e tem como principal vantagem a de tornar evidente a relacao entre alguns
dos principais resultados da Teoria da Medida e da Teoria da Integracao.
Neste contexto, as funco
es Lebesgue-mensur
aveis s
ao as funcoes cujas
regi
oes de ordenadas s
ao conjuntos Lebesgue-mensur
aveis. Analogamente,
as funcoes Borel-mensuraveis s
ao aquelas cujas regi
oes de ordenadas s
ao conjuntos Borel-mensuraveis. Os respectivos integrais de Lebesgue s
ao definidos
usando a medida de Lebesgue das suas regi
oes de ordenadas, e dizem-se, por
isso, em ordem a
` medida de Lebesgue.
Estabelecemos muito rapidamente algumas das propriedades mais relevantes do integral de Lebesgue, usando frequentemente argumentos conhecidos do Captulo 1. As vantagens tecnicas do integral de Lebesgue comecarao
a tornar-se aparentes quando estudarmos os resultados cl
assicos sobre limites e integrais, hoje conhecidos como o teorema da convergencia monotona,
ou de Beppo Levi, o lema de Fatou, e o teorema da convergencia dominada,
ou de Lebesgue. Estes resultados s
ao centrais na moderna teoria da integracao, e s
ao reflexos directos das propriedades essenciais identificadas no
enunciado do Problema de Borel.
Estudamos, em seguida, o teorema de Fubini-Lebesgue. Na forma em
que o apresentamos, este teorema estabelece a mensurabilidade das secco
es
de qualquer conjunto mensuravel, e exprime a medida desse conjunto como
o integral da medida das suas seccoes, convenientemente escolhidas. Um
corolario directo, mas fundamental, do teorema de Fubini-Lebesgue permitenos caracterizar as funcoes mensuraveis de uma forma mais conveniente para
o desenvolvimento da teoria: as funcoes mensuraveis s
ao limites de sucess
oes
de funcoes simples. Os integrais das funcoes simples desempenham, na teoria
de Lebesgue, o papel das somas de Darboux na teoria de Riemann.
123
124
A aproximaca
o de funcoes mensuraveis por funcoes simples, combinada
com a relativa facilidade de estudo das proprias funcoes simples, vai-nos
ainda permitir provar neste Captulo mais algumas propriedades importantes das funcoes mensuraveis e dos respectivos integrais. Repetimos aqui
argumentos conhecidos do Captulo 1 mas, neste caso, os teoremas sobre integracao e passagem ao limite conduzem-nos a resultados muito elegantes e
faceis de aplicar, em particular sobre a integracao de series. Como corolario
destes, obtemos uma versao preliminar do cl
assico Teorema de Riesz-Fischer.
Terminamos o Captulo estudando a aproximacao de funcoes mensuraveis
por funcoes contnuas. Como veremos, os resultados associados a esta questao reflectem, essencialmente, os que ja estud
amos sobre a aproximacao de
conjuntos mensuraveis por conjuntos fechados, e por conjuntos abertos, ou
seja, reflectem a regularidade da medida de Lebesgue.
3.1
O Integral de Lebesgue
Figura 3.1.1:
f dmN = mN +1 (+ ) mN +1 ( )
conjuntos Jordan-mensur
aveis, e o conte
udo de Jordan, pelos conjuntos Lebesgue-mensur
aveis, e pela medida de Lebesgue, as nossas definicoes basicas
passam a ser aplicaveis a funcoes ilimitadas, ou mesmo com valores infinitos,
e podendo ter, alem disso, suporte igualmente ilimitado. Em particular, nao
existe na teoria de Lebesgue qualquer an
alogo da distincao entre integrais
pr
oprios e impr
oprios, como ocorre na teoria de Riemann.
Defini
c
ao 3.1.1 (Funcoes mensuraveis, Integrais de Lebesgue). Se E
N
S R , e f : S R, entao
vel em E se e s
a) f e lebesgue-mensura
o se o conjunto E (f ) e Lebesvel
gue-mensuravel em RN +1 . Analogamente, f e borel-mensura
N
+1
em E se e s
o se o conjunto E (f ) e Borel-mensuravel em R
.
b) Se f e Lebesgue-mensur
avel em E, e pelo menos um dos conjuntos
+
+
(f
)
e
(f
)
tem
medida
finita, o integral de lebesgue de f
E
E
125
f dmN = mN +1 (+
E (f )) mN +1 (E (f )).
E
vel em E se e s
c) f e lebesgue-soma
o f e Lebesgue-mensur
avel em E,
e mN +1 (E (f )) < .
evidente que as funcoes Borel-mensuraveis s
E
ao Lebesgue-mensur
aveis, e e simples exibir funcoes Lebesgue-mensur
aveis, e mesmo Riemanno s
integraveis, que na
ao Borel-mensuraveis (exerccio 4).
Exemplificamos abaixo o calculo de alguns integrais de Lebesgue:
Exemplos 3.1.2.
es Riemann-integra
veis: A funcao f : E R e Riemann-integr
1. Func
o
avel
em E se e s
o se E (f ) e Jordan-mensuravel. Neste caso, E (f ) e, evidentemente, Lebesgue-mensuravel, e portanto f e Lebesgue-mensuravel em E. O
integral de Riemann de f sobre E e dado por
Z
f = cN +1 (+
E (f )) cN +1 (E (f )) = mN +1 (E (f )) mN +1 (E (f )).
E
An
ii) O limite `
a direita existe, e e independente da sucess
ao de conjuntos An
utilizada, desde que satisfaca i).
facil verificar a condicao ii) quando f 0. Temos de acordo com i) que os
E
claro que
ao Jordan-mensuraveis, e An (f ) B (f ). E
conjuntos An (f ) s
ao igualmente Lebesgue-mensuraveis, e por isso B (f )
os conjuntos An (f ) s
1
126
e Lebesgue-mensuravel, i.e., f e Lebesgue-mensuravel em B. Usando o teorema da convergencia monotona de Lebesgue, e as definicoes dos integrais de
Riemann e de Lebesgue, obtemos
Z
Z
f = cN (An (f )) = mN (An (f )) mN (B (f )) =
f dmN .
An
1
dm = lim
n
x
1
1
n
x=1
1
1
dx = lim 2 xx= 1 = lim 2 1
= 2.
n
n
n
x
n
2
Bn
f=
r 2
rddr = 2
r 2
Z
n
=
r 2
rdr = e
f dm2 .
R2
An
f=
ex dx
ey dy =
Z
ex dx
2
x2
e
dx = =
ex dm.
2
127
128
Exemplo 3.1.4.
es mensura
veis complexas: Seja f : RN C uma funcao complexa,
func
o
donde f (x) = u(x) + iv(x), com u, v : RN R. A funcao f e mensuravel se
e s
o se as funcoes u, e v s
ao mensuraveis, e o integral de f e dado por
Z
Z
Z
f dmN =
udmN + i
vdmN ,
E
f em E,
b) Se h f em E, h e L-mensur
avel em F . Neste caso, se h
h em F .
ent
ao h
Demonstraca
o. Demonstramos apenas a), deixando as restantes alneas para
o exerccio 8. Suponha-se que
G = {x E : f (x) 6= f(x)}, donde mN (G) = 0.
Seja H a faixa vertical em RN +1 que intersecta RN em G, i.e., H = GR.
Sabemos que mN +1 (H) = mN (G)m1 (R) = 0, e deve ser evidente que
E (f )E (f) = (E (f ) E (f)) (E (f) E (f )) H.
As regi
oes de ordenadas de f e f diferem assim por um conjunto nulo.
Conclumos que E (f ) e L-mensur
avel se e s
o se E (f) e L-mensur
avel, e
neste caso os integrais de f e f s
ao iguais.
129
Se f f e f e B-mensur
avel entao f pode nao ser B-mensur
avel, porque
N
N
o espaco de Borel (R , B(R ), mN ) nao e completo (exerccio 4).
Se E RN , e f : RN R, e evidente que as regi
oes de ordenadas de f ,
N
em E, e de f E , em R , s
ao iguais. Conclumos que
Proposi
c
ao 3.1.6. Se E RN , e f : RN R, ent
ao
a) f e mensur
avel em E se e s
o se f E e mensur
avel em RN .
b) Se f e mensur
avel em E, e algum dos seguintes integrais existe, o
outro existe igualmente, e
Z
Z
f E dmN .
f dmN =
RN
O resultado seguinte inclui a usual desigualdade triangular. A sua demonstracao, uma adaptacao directa da de 1.4.9), e o exerccio 10.
Proposi
c
ao 3.1.7. Se E RN , e f : E R, ent
ao
a) f e mensur
avel em E se e s
o se as funco
es f + e f s
ao mensur
aveis
em E. Neste caso, a funca
o |f | e mensur
avel em E, e
Z
Z
Z
|f | dmN =
f + dmN +
f dmN .
E
b) f e som
avel em E se e s
o se as funco
es f + e f s
ao som
aveis em E.
Neste caso,
Z
Z
Z
Z
Z
+
|f | dmN .
f dmN , e f dmN
f dmN
f dmN =
E
Demonstraca
o. Se G = F R, e claro que F (f ) = E (f ) G E (f ).
Como os conjuntos E (f ) e G s
ao mensuraveis, segue-se que F (f ) e mensur
avel, i.e., f e mensuravel em F . Se f 0 qtp, consideramos a funcao
= {x E : f (x) 0}, e aplicamos 3.1.5 a), para obter:
f = f E , onde E
Z
Z
+
fdmN = mN +1 (+
f dmN =
F (f )) mN +1 (E (f )), e
F
mN +1 (+
E (f ))
fdmN =
f dmN .
130
Proposi
c
ao 3.1.9. Se E RN , f, g : E R s
ao mensur
aveis em E,
f (x) g(x) qtp em E, e os integrais de f e de g em E existem, ent
ao
Z
Z
f dmN
gdmN .
E
Demonstraca
o. Supomos primeiro que f (x) g(x), para qualquer x E.
+
Temos, entao, +
E (f ) E (g), e E (g) E (f ), donde se segue que
Z
f dmN =mN +1 (+
E (f )) mN +1 (E (f ))
E
Z
gdmN .
mN +1 (+
(g))
m
(
(g))
=
N +1
E
E
E
Para adaptar este argumento ao caso em que f (x) g(x), apenas qtp em
= {x
E, consideramos funcoes auxiliares f = f E , e g = gE , onde E
E : f (x) g(x)}. As funcoes f e g s
ao L-mensur
aveis em E, de acordo com
gdmN .
gdmN =
f dmN
f dmN =
E
Temos ent
ao que
a) e uma medida em L(RN ).
b) Para qualquer E L(RN ), mN (E) = 0 = (E) = 0.
Demonstraca
o. Provamos este teorema supondo que f e nao-negativa. O
caso das funcoes somaveis fica para o exerccio 11.
a) Para mostrar que e uma medida de Radon basta-nos provar que
e -aditiva, ja que () S
= 0. Consideramos conjuntos disjuntos e L-mensur
aveis En tais que E =
n=1 En , e observamos que:
E (f ) =
n=1
En (f ), onde os conjuntos En (f ) s
ao disjuntos, donde
131
mN +1 (E (f )) =
n=1
(En ).
n=1
mN (E) = 0 = 0 (E) = mN +1 (E (f )) mN +1 (E R) = 0.
Tal como fizemos no caso do integral de Riemann, podemos extender
a` classe dos conjuntos E RN onde f e mensuravel (e somavel, se f muda
de sinal em RN ), que designamos Lf . O exerccio 11 refere algumas propriedades desta extensao. A funcao : Lf R e o integral indefinido
de lebesgue da funcao f .
A mensurabilidade e o integral da funcao f no conjunto E foram definidos
em termos do conjunto E (f ) = +
E (f ) E (f ), onde
N +1
+
: x E, e 0 < y < f (x)}, e
E (f ) = {(x, y) R
N +1
fico de f em E e o conjunto
O gra
GE (f ) = {(x, y) RN +1 : x E, e y = f (x)},
e e evidente que E (f ) nao inclui quaisquer pontos de GE (f ). No entanto,
e u
til reconhecer que, em larga medida, a inclus
ao ou exclus
ao de pontos do
gr
afico e irrelevante, tal como vimos para as funcoes Riemann-integraveis,
cujo gr
afico e sempre Jordan-mensur
avel, e de conte
udo nulo. Definimos os
conjuntos E (f ) = +
(f
)
(f
)
por
E
E
N +1
+
: x E, e 0 < y f (x)}, e
E (f ) = {(x, y) R
N +1
: x E, e 0 > y f (x)}.
E (f ) = {(x, y) R
Demonstraca
o. Consideramos a funcao g, definida por g(x) = f (x), quando
x E, e g(x) = 0, quando x 6 E, que e L-mensur
avel em RN . Temos
E (f ) = RN (g), E (f ) = RN (g), e E (f ) = RN (g).
Observamos que GE (f ) E (f ) = {(x, 0) : x E, f (x) = 0} e sempre
L-mensur
avel, porque tem medida nula.
132
1
,
n
e L-mensur
avel em RN , porque a respectiva regi
ao de ordenadas e
RN (gn ) = n Rn , onde
o vertical
n = {(x, y + n1 ) : (x, y) RN (f )} e uma translacca
de RN (g), e, por isso, e L-mensur
avel, e
Rn = RN ]0, n1 ] e um rect
angulo, obviamente L-mensur
avel.
simples verificar que
E
n=1
133
Se f e B-mensur
avel em E, e
R
oprio de Riemann e/ou
Se o integral E f existe, como um integral impr
como um integral de Lebesgue.
a) f (x) =
1
x2 ,
E = [1, +[.
sen x
x , E = [0, +[.
1
dir(x) , E =] , +[.
134
d) O teorema 3.1.12.
3.2
135
136
n=1
+
E (fn ), e E (g) =
+
E (fn ), e E (h) =
n=1
E (fn ), e
E (fn ).
n=1
n=1
+
E (fn ) =
E (fn ),
n=1
n=1
Se as funcoes fn s
ao mensuraveis, entao os conjuntos E (fn ) s
ao, por
definicao, mensuraveis.
Como os conjuntos E (fn ) s
ao mensuraveis, o conjunto E (g) e mensur
avel, porque a classe dos conjuntos mensuraveis e uma -
algebra,
e por isso e fechada em relacao a uni
oes numeraveis.
Conclumos, assim, que a funcao g e mensuravel.
No caso da funcao h, observamos, ainda do lema anterior, que
E (h) =
+
E (h)
n=1
+
E (fn )
E (fn ).
n=1
Os conjuntos E (fn ) s
ao mensuraveis, porque a classe dos conjuntos mensur
aveis e uma -
algebra, e e, por isso, fechada em relacao a interseccoes
numeraveis. De acordo com 3.1.11, ou 3.1.12, a funcao h e mensuravel.
137
uma propriedade
ja vimos em a) que as funcoes gn e hn s
ao mensuraveis. E
elementar das sucess
oes numericas que
G(x) = lim sup fn (x) = lim gn (x) = inf{gn (x) : n N}, e
n
Demonstraca
o. Seja F E o conjunto onde f (x) 6= limn fn (x) ou
limn fn (x) nao existe, donde, por hip
otese, mN (F ) = 0. Considerem
se as funcoes fn : E R dadas por:
fn (x), se x E F,
.
fn (x) =
0, se x F.
eviAs funcoes fn s
ao L-mensur
aveis em E, porque fn fn em E. E
138
n E
Demonstraca
o. Sabemos que f (x) = sup{fn (x) : n N} e mensuravel, de
acordo com 3.2.2, precisamente porque
E (fn ) E (f ) =
E (fn ).
n=1
Exemplo 3.2.5.
1 ,
x
gn (x) =
X
X
1
1
f
(x
q
)
g(x)
=
f (x qk ).
k
2k
2k
k=1
k=1
gn dm =
Z 2
n
n
X
X
1
1
f (x qk )dx =
1.
gn (x)dx =
2k 0
2k1
k=1
k=1
R2
Conclumos do teorema de Beppo Levi que g e L-mensur
avel, e 0 gdm = 1,
Rx
donde g e finita qtp. A funcao G(x) = gdm pode ser calculada integrando
a serie termo-a-termo, e e dada por
G(x) =
n=1
2
2n1
x qn .
139
E n
n E
fn dmN .
Demonstraca
o. A funcao f (x) = inf{fn (x) : n N} e mensuravel, de
acordo com 3.2.2. Sabemos que
E (fn ) E (f ) =
E (fn ).
n=1
Se alguma das funcoes fn e somavel, entao existe k tal que mN +1 (E (fk )) <
+. Conclumos, directamente de 2.1.13 e 3.1.11, que:
Z
Z
f dmN .
fn dmN
mN +1 (E (fn )) mN +1 (E (f )), i.e.,
E
Demonstraca
o. Como not
amos na demonstracao de 3.2.2, temos
lim inf fn (x) = sup{hn (x) : n N} = lim hn (x), onde
n
n E
E n
3
Pierre Joseph Louis Fatou, 1878-1929, matem
atico frances. Fatou referiu um lema
muito semelhante a este num artigo publicado em 1906.
140
(i)
Z
hn dmN inf{ fk dmN : k n}.
E
Este resultado, e o lema de Fatou, permitem-nos obter uma versao preliminar do que e, seguramente, um dos resultados mais u
teis da teoria da
integracao de Lebesgue.
Teorema 3.2.9 (Teorema da Convergencia Dominada de Lebesgue). (4 )
Suponha-se que
a) As funco
es fn : E R s
ao L-mensur
aveis em E,
b) Existe uma funca
o som
avel F : E [0, +] tal que |fn (x)| F (x),
qtp em E, e
c) f (x) = limn fn (x) qtp em E.
Neste caso, f e L-mensur
avel e som
avel em E, e
Z
Z
fn dmN .
lim fn dmN = lim
E n
n E
141
Demonstraca
o. Supomos que as funcoes fn s
ao nao-negativas, deixando o
caso geral para os exerccios. Os limites superior, e inferior, da sucess
ao dos
integrais de fn existem sempre, e satisfazem
Z
Z
Z
F dmN < .
fn dmN
fn dmN lim sup
lim inf
n
e(s+h)t est
sen(t2 )dt =
h
eht 1 st
e
sen(t2 )dt.
h
142
F (s) = lim
h0
eht 1 st
e
sen(t2 )dt,
h
Exerccios.
1. Suponha que fn : E R, g(x) = sup{fn (x) : n N} e h(x) = inf{fn (x) :
n N}. Mostre que
g + (x) = sup{fn+ (x) : n N} e g (x) = inf{fn (x) : n N}.
Qual e o resultado analogo para as funcoes h+ e h ?
2. Demonstre o lema 3.2.1.
3. Demonstre o teorema 3.2.2 para funcoes fn : E R.
4. Mostre que o teorema de Beppo Levi e v
alido para funcoes L-mensur
aveis
definidas qtp.
5. Mostre que
alido para funcoes fn : E R,
R o teorema de Beppo Levi e v
desde que E f1 dmN > .
143
n+
x n x
e 2 dx.
n
3.3
et
sen(st)dt.
t
O Teorema de Fubini-Lebesgue
A teoria de integracao de Lebesgue inclui uma solucao particularmente elegante para o problema do calculo da medida de um conjunto por integracao
es: o Teorema de Fubini-Lebesgue(5 ). Escrevemos
da medida das suas secc
o
N
+M
aqui os pontos v R
na forma v = (x, y), onde x RN e y RM . Se
M
y 0 R , o conjunto dado por:
= (x, y) RN +M : y = y 0 ,
144
s
ao secco
es de E. Preferimos no entanto considerar as projecco
es destes
conjuntos, respectivamente em RN e RM :
Ey0 = x RN : (x, y 0 ) E , e Ex 0 = y RM : (x0 , y) E .
es do conjunto E, no sentido em
Estes conjuntos s
ao exemplos de secc
o
que passamos a usar esta palavra, mas nao esgotam todos os casos que nos
interessa considerar. Quando o espaco em causa e pelo menos tridimensional, podemos escrever os pontos v RN +M +P na forma
v = (x, y, z), onde x RN , y RM , e z RP .
Dado y 0 RM , o conjunto (x, z) RN +P : (x, y 0 , z) E e tambem uma
o de E. Os diferentes tipos de seccoes que referimos acima podem ser
secc
a
definidos, mais precisamente, como se segue:
Defini
c
ao 3.3.1 (Seccoes de E RN ). Seja E RN , N = M +K, t RK ,
es Eit RM do conjunto E s
ao os conjuntos dados
e 0 i M . As secc
o
por:
y RM : (t, y) E , se i = 0,
x RM : (x, t) E , se i = M,
Eit =
(x, z) RM : x Ri , z RM i , (x, t, z) E , se 0 < i < M.
Exemplos 3.3.2.
1. Seja R3 a regi
ao de ordenadas de f : R2 R. Escrevemos os pontos de
3
R na forma v = (x, y, z), e observamos que, se t R, e f 0, ent
ao:
ao de ordenadas da funcao gt : R
t0 = {(y, z) : 0 < z < f (t, y)} e a regi
R, dada por gt (y) = f (t, y).
ao de ordenadas da funcao ht :
t1 = {(x, z) : 0 < z < f (x, t)} e a regi
R R, dada por ht (x) = f (x, t).
145
2. Considere-se a bola S = x RN : kxk R RN , e seja y RK , onde
facil reconhecer que a seccao S y e igualmente uma bola,
K < N , e kyk <nR. E
o i
p
dada por Siy = z RN K : kzk R2 kyk2 .
IK+1 IK+2 IN , se i = 0,
t
I1 I2 IM , se i = M,
Ei =
Rn .
n=1
(En )ti .
n=1
146
ao Lebesgue-mensur
aveis, podemos determinar
Se as seccoes Eit RM s
as respectivas medidas Ai (t) = mM (Eit), e Ai e uma funca
o em RK . O
teorema de Fubini-Lebesgue, na versao apresentada abaixo, garante em particular que, se o conjunto E e L-mensur
avel, entao o integral de Ai existe,
e e a medida de E.
Teorema 3.3.5 (Teorema de Fubini-Lebesgue (I)). Seja E RN um conjunto L-mensur
avel, e suponha-se que N = K + M , 0 i M , e t RK .
Temos, ent
ao
ao L-mensur
aveis, para quase todo o t RK ,
a) Os conjuntos Eit RM s
ao L-mensur
aveis em RK , e
b) As funco
es Ai (t) = mM (Eit) s
Z
RK
Ai dmK = mN (E).
Exemplo 3.3.6.
Designamos por E a regi
ao de ordenadas da funcao f : R2 R dada por
2
2
z = log(x + y ), no conjunto B1 (0). Se z < 0, as seccoes E2z s
ao crculos, de
z
raio r = e 2 , donde A2 (z) = ez .
A medida do conjunto E e dada, portanto, por
m3 (E) =
A2 (z)dm =
ez dm,
0
et dm = lim et z = .
z
147
R
R
c) Sendo A(x) = RM gxdmM , e B(y) = RN hy dmN , as funco
es A e B
s
ao L-mensur
aveis, e
Z
Z
ZZ
AdmN =
BdmM =
f dmN +M .
RN
RM
RN +M
Demonstraca
o. Observe-se a figura 3.3.2. Designamos por E = RN +M (f )
a regi
ao de ordenadas de f , i.e.,
E = {(x, y, z) RN +M +1 : x RN , y RM e 0 < z < f (x, y)}.
E e L-mensur
avel, porque f e L-mensur
avel. Dado x RN , a seccao
x
M
+1
E0 R
e dada por:
E0x = {(y, z) RM +1 : y RM , e 0 < z < f (x, y)}.
Esta seccao e a regi
ao de ordenadas da funcao gx, i.e., E0x = RM (gx), e
aplicamos o teorema 3.3.5, para concluir que
o conjunto E0x e L-mensur
avel para quase todo o x, i.e., gx e L-mensur
avel para quase todo o x,
R
A(x) = mM +1 (E0x) = mM +1 (RM (gx)) = RM gxdmM e L-mensur
avel, e, finalmente,
Z
RN
AdmN =
RN
mM +1 (E0x)dmN
= mN +M +1 (E) =
ZZ
RN +M
f dmN +M .
148
vel.
c) Fi () = {t RN : Ai (t) > } e B-mensura
d) Se mN (E) < , ent
ao Ai (t) < , qtp em RK .
Demonstraca
o. Qualquer conjunto aberto E e uma uni
ao numeravel de
rectangulos abertos limitados Rj . Sabemos que
E=
Rj =
Eit
j=1
(Rj )ti .
j=1
Os conjuntos Eit s
ao, por isso, abertos, e mensuraveis, e a funcao Ai (t) =
mM (Eit) esta definida em RK . Consideramos os conjuntos auxiliares
Un =
n
[
Rj , que s
ao elementares e abertos.
j=1
Notamos que:
(i) Un E, donde mN (Un ) mN (E),
149
(ii) (Un )ti Eit, donde mM ((Un )ti ) mM (Eit), para qualquer t RK .
As funcoes An,i (t) = mM (Un )ti s
ao em escada, de acordo com o lema
3.3.8. Sao, portanto, B-mensur
aveis. Por outro lado, de acordo com (ii),
t
temos An,i Ai = mM Ei . Conclumos, do teorema de Beppo Levi, que
(iii) A funcao Ai e B-mensur
avel, e
Z
Z
An,i dmK
RK
RK
Ai dmK .
R
Podemos finalmente concluir de (iii) e (iv) que RK AdmK = mN (E).
Para provar a afirma
Fi (), consideramos os
cao c), sobre os conjuntos
conjuntos Fn,i () = t RK : An,i (t) > . De acordo com o lema 3.3.8,
imediato verificar que Fn,i Fi (),
estes conjuntos Fn,i s
ao elementares. E
e conclumos, assim, que Fi () e B-mensur
avel.
Para provar a afirmacao d), notamos que, para qualquer n N, temos
Z
Z
Ai (t)dmK n mK (Fi (n)).
Ai (t)dmK
mN (E) =
RK
Fi (n)
Temos assim que mK (Fi (n)) n1 mN (E). Se mN (E) < , e claro que
mK (
n=1
Fi (n))
\
1
mN (E), para qualquer n mK (
Fi (n)) = 0.
n
n=1
\
t RK : Ai (t) = =
Fi (n).
n=1
150
Demonstraca
o. Existem conjuntos abertos Un , de medida finita, tais que
(i) Un E, donde mN (Un ) mN (E).
tambem claro que
E
E=
Un = Eit =
n=1
n=1
RK
RK
151
Seja > 0. Os conjuntos Fn,i () = t RK : An,i (t) > s
ao B-mensur
aveis, de acordo com 3.3.9, e, por isso,
i () =
Fn,i () e B-mensur
avel.
n=1
i ()
RK
n
o
[
1
K
K
t R : Ai (t) >
t R : Ai (t) 6= 0 =
.
n
n=1
Como os conjuntos `
a direita teem todos medida nula, segue-se que
n
o
t RK : Ai (t) 6= 0
= 0.
mK
Como Eit Bit, deve ser evidente que
152
Demonstraca
o. Supomos que mN (E) < , e deixamos a generalizacao para
conjuntos de medida infinita como exerccio. Recordamos que, como E e Lmensuravel, existe um conjunto B E, de tipo G , tal que Z = B E e
evidente que
um conjunto nulo. E
B = E Z, e Bit = Eit Zit.
Os conjuntos Bit s
ao de tipo G , como observ
amos em 3.3.10. Portanto, se
t
t
avel, e
Zi e um conjunto nulo, e claro que Ei e L-mensur
Ai (t) = mM (Eit) = mM (Bit) = Ai (t).
Provamos, em 3.3.11, que Zit e um conjunto nulo, qtp em RK . Conclumos,
assim, que
avel, para quase todo o t RK , e Ai Ai em RK .
Eit RM e L-mensur
Como Z e um conjunto nulo, temos mN (E) = mN (B), e novamente usamos
3.3.10 para obter:
Z
Z
mN (E) = mN (B) =
Ai dmk .
Ai dmk =
RK
RK
Demonstraca
o. Quando > 0 e claro que
153
N +1 : x E e 0 < y < f (x) .
F () e uma seccao de +
(f
)
=
(x,
y)
R
E
N +1 : x E e 0 > y > f (x) .
G() e uma seccao de
E (f ) = (x, y) R
n=1
F (n ), e G() =
G(n ).
n=1
b)
e
som
a
vel
ent
a
o
()
A
<
.
dm
=
N
RN
0
154
RN
Rx
c) Suponha que N = 1, e F (x) = f dm. Mostre que para qualquer
> 0 existe > 0 tal que, se os intervalos Ik =]xk , yk [ s
ao disjuntos,
1 k n,(6 )
n
X
(yk xk ) < =
k=1
n
X
k=1
Esta propriedade e mais forte do que a continuidade uniforme, e foi primeiro observada
por Harnack, ainda no seculo XIX, a prop
osito de integrais impr
oprios absolutamente
convergentes. Diz-se continuidade absoluta, conforme proposto por Vitali em 1905.
3.4
155
Func
oes Mensur
aveis
156
Exemplos 3.4.3.
1. A funcao de Dirichlet e uma funcao simples mensuravel, porque e a funcao
caracterstica do conjunto mensuravel Q.
2. Mais geralmente, as funcoes simples mensuraveis s
ao combinacoes lineares
finitas de funcoes caractersticas de conjuntos mensuraveis.
O calculo de integrais de Lebesgue de funcoes simples mensuraveis reduzse ao calculo de somas finitas, semelhantes a somas de Darboux.
Proposi
c
ao 3.4.4. Seja s : S R simples e mensur
avel em E S RN .
Se P = {A1 , A2 , , An } e uma partica
o de E apropriada a s, e s(x) = k
quando x Ak , ent
ao:
P
a) s e som
avel em E se e s
o se nk=1 |k |mN (Ak ) < +.
sdmN =
n
X
k mN (Ak ).
k=1
Demonstraca
o. Repetimos quase sem adaptacao as ideias que introduzimos,
no Captulo 1, a prop
osito das funcoes em escada. Se s e uma funcao simples
e vazio, e o conjunto +
e a uni
ao (finita)
nao-negativa, o conjunto
E (s)
E (s)
dos produtos cartesianos disjuntos Rk = Ak ]0, k [, onde supomos sem
perda de generalidade que k > 0 para 1 k n. Temos neste caso
mN +1 (Rk ) = mN +1 (Ak ]0, k [) = mN (Ak )m1 (]0, k [) = k mN (Ak ).
157
sdmN = mN +1 (
E
n
[
Rk ) =
n
X
mN +1 (Rk ) =
k mN (Ak ).
k=1
k=1
k=1
n
X
rP
Demonstraca
o. Sejam P e Q particoes apropriadas, respectivamente, a s e
a t. A particao P e apropriada a qualquer uma das funcoes cs, s+ , s , e
|s|, que s
ao, por isso, simples e mensuraveis. Se necessario, completamos as
particoes P e Q, para obter particoes da uni
ao dos suportes de s e de t. A
particao R = {p q : p P, q Q} e entao apropriada `as funcoes as + bt e
st, que s
ao, por isso, simples e mensuraveis.
Se s e t s
ao nao-negativas, e c 0, entao s + t e cs s
ao, tambem, naonegativas. Sendo s(x) = r 0, e t(x) = r 0, quando x r R,
segue-se de 3.4.4 b) que:
Z
X
X
X
(s + t)dmN =
(r + r )mN (r) =
r mN (r) +
r mN (r) =
(i)
E
rR
sdmN +
E
rR
tdmN .
rR
158
Se s e t s
ao somaveis entao |s + t| e somavel, porque |s + t| |s| + |t|, e
Z
Z
Z
Z
|t| dmN ,
|s| dmN +
(|s| + |t|) dmN =
|s + t| dmN
E
de acordo com (i). Conclumos, novamente de 3.4.4 b), que (i) tambem e
valida para funcoes simples somaveis.
Demonstramos a seguir o resultado sobre a aproximaca
o de funcoes mensur
aveis por funcoes simples mensuraveis que ja referimos. Curiosamente,
a tecnica utilizada, descoberta por Lebesgue e ilustrada na figura 3.4.2,
utiliza, tal como na teoria de Riemann, particoes em intervalos, mas agora
no contradomnio da funcao f .
n
X
yk Ek
k=1
e por isso simples e mensuravel, e aproxima f por defeito. O proximo teorema usa este tipo de aproximacao, para provar que as funcoes mensuraveis
s
ao limites pontuais de sucess
oes de funco
es simples mensur
aveis.
ao f e mensur
avel
Teorema 3.4.7. Se f : E R, onde E RN , ent
em E se e s
o existe uma sucess
ao de funco
es simples mensur
aveis em E,
sn : E R tais que sn (x) f (x), e |sn (x)| |f (x)|, para qualquer x E.
Neste caso, e se f 0, ou se f e som
avel, temos ainda que
Z
Z
f dmN .
sn dmN
E
159
Demonstraca
o. Se existe uma sucess
ao de funcoes simples mensuraveis sn ,
tais que sn (x) f (x), para qualquer x E, entao f e mensuravel, de
acordo com o teorema 3.2.2.
Supomos, portanto, que f e mensuravel em E. Comecamos por supor
f 0, e definimos uma sucess
ao de funcoes sn , simples e mensuraveis em
E, tais que sn (x) f (x), para qualquer x.
Consideramos a particao Pn do intervalo ]0, ], dada por
Pn = {yn,0 = 0, yn,1 =
1
2
n2n
n =
,
y
=
,
,
y
= n, yn,n2n +1 = }.
n,2
n,n2
2n
2n
2n
n2
X
k
sn =
E .
2n n,k
k=1
Estas funcoes sn s
ao simples e mensuraveis, por razoes evidentes, e passamos
a verificar que:
(i) sn (x) f (x) para qualquer x E.
Consideramos os seguintes casos:
a) Se f (x) = 0, entao sn (x) = 0 0.
b) Se f (x) = , entao sn (x) = n .
c) Se 0 < f (x) < , existe um natural m tal m 1 < f (x) m, e e
facil ver que
sn (x) = n, se n < m.
m 1 sm (x) < m.
sn (x) f (x) < sn (x) + 21n , se n m.
1
sn (x) sn+1 (x) sn (x) + 2n+1
, se n m.
160
161
Demonstraca
o. Recorremos mais uma vez `as funcoes sn e tn referidas na
demonstracao do teorema anterior. Se f e g s
ao nao-negativas, notamos da
propriedade de Beppo Levi que
Z
Z
(i)
(sn + tn )dmN (f + g)dmN .
E
Se as funcoes f e g s
ao finitas em E, entao f + g e mensuravel em E. Se f
e g s
ao somaveis, entao |f + g| e somavel, porque |f + g| |f | + |g|, e
Z
Z
Z
Z
|g|dmN < .
|f |dmN +
|f + g|dmN (|f | + |g|)dmN =
E
f dmN +
gdmN =
f dmN +
gdmN .
162
ent
ao A e uma -
algebra em Y .
Demonstraca
o. Basta-nos observar que:
Como f 1 (Y ) = E M, temos Y A.
f 1 (Ac ) = E f 1 (A), donde A A Ac A.
S 1
S
(An ) e, por isso,
f 1 (
n=1 f
n=1 An ) =
An A f 1 (An ) M
n=1
f 1 (An ) M
n=1
An A.
163
Demonstraca
o. Seja A = {A R : f 1 (A) e mensuravel }. A classe A e
uma -
algebra em R, pelo lema 3.4.13.
a) b): A -
algebra A contem os intervalos ], ], para qualquer R.
Portanto contem igualmente:
Os intervalos ], ] =], ] [, ], para quaisquer , R.
1
os conjuntos {} =
n=1 ] n , ], para qualquer R.
(B) = {x E : fk (x) Ik , 1 k n} =
M
\
k=1
Conclumos que a -
algebra A contem todos os rectangulos abertos, e consequentemente, todos os conjuntos Borel-mensuraveis.
b) a): Seja ainda B = I1 I2 IM , onde Ik = R, para k 6= j, e
Ij = I e um intervalo arbitr
ario. O conjunto B e B-mensur
avel, e portanto
1
f (B) e mensuravel. Como
f
(B) = {x E : fk (x) Ik } =
M
\
k=1
164
sdmN =
n
X
k=1
k mN (Ak E).
R
f dmNR existe e c R ent
ao o integral
5.R Mostre que se o integral de Lebesgue
E
R
f
dm
.
(cf
)dm
=
c
(cf
)dm
tamb
e
m
existe,
e
N
N
N
E
E
E
6. Sendo f : R R L-mensur
avel, e diferenciavel qtp, mostre que a derivada
f e L-mensur
avel.
165
8. Prove que se f, g : RN R s
ao mensuraveis, os conjuntos {x RN : f (x) =
N
g(x)} e {x R : f (x) g(x)} s
ao mensuraveis.
o: Aplique o exerccio anterior `as
9. Demonstre o teorema 3.4.11. sugesta
funcoes lim supn fn e lim inf n fn .
10. Mostre que f e L-mensur
avel em E se e s
o se existe uma funcao g, B-meno: determine uma sucess
sur
avel em E, tal que f g em E. sugesta
ao de
funcoes sn , simples e B-mensur
aveis em E, tais que limn sn (x) existe, para
qualquer x E, e f (x) = limn sn (x), qtp em E.
11. Conclua a demonstracao de 3.4.14.
12. Prove que se E RN , e f : E [0, +] e mensuravel em E, ent
ao
Z
f dmN = sup
Z
13. Sendo f : RN R mensuravel, e g(x) = |f (x)|, prove que g e mensuravel. Demonstre ainda a desigualdade triangular, na forma:
Z
Z
f dmN
|f | dmN .
E
3.5
Func
oes Som
aveis
166
Se as classes [f ] e [g] s
ao somaveis, e c R, e claro que [f + g] e [cf ] s
ao
somaveis, i.e., as classes de funcoes somaveis formam um subespaco vectorial
de F(E).
Defini
c
ao 3.5.3 (Espaco L1 ). L1 (E) e formado pelas classes de funcoes
f : E R somaveis, i.e.,
Z
1
|f |dmN < .
L (E) = [f ] F(E) : kf k1 =
E
R
A funcao k[f ]k1 = kf k1 = E |f |dmN e uma norma em L1 (E), e L1 (E)
e um espaco vectorial normado, porque
Se f, g L1 (E), a desigualdade kf +gk1 kf k1 +kgk1 e a desigualdade
triangular.
Se f L1 (E) e c R, e obvio que kcf k1 = |c|kf k1 .
kf k1 = 0 f 0 [f ] = [0].
Como em qualquer espaco vectorial normado, uma sucess
ao de termo
geral fn L1 (E) diz-se convergente em L1 se e s
o se existe f L1 (E)
167
Demonstraca
o. Podemos supor, sem perda de generalidade (porque?), que
As funcoes fn e F s
ao finitas em E,
f (x) = limn fn (x), para qualquer x E, e
|fn (x)| F (x), tambem para qualquer x E.
A funcao f e L-mensur
avel em E. Como |f (x)| F (x), conclumos que f e
somavel e finita em E. Consideramos as funcoes auxiliares gn = |fn f | 0,
`as quais podemos aplicar o Lema de Fatou (II), porque gn 2F :
Z
Z
gn dmN .
lim sup gn dmN lim sup
(i)
E
n E
8 1
L (E) e em geral um espaco vectorial de dimens
ao infinita, e como tal existem transformac
oes lineares em L1 (E) que n
ao s
ao contnuas.
168
Exemplo 3.5.5.
a transformada de fourier: Se f : R R e som
avel, a sua transformada
de Fourier e a funcao T (f ) : R C dada por:
Z
Z
Z
ix
f (x) sen(x)dm.
f (x) cos(x)dmi
f (x)e
dm =
T (f )() =
A funcao T (f ) est
a bem definida, porque a integranda acima e mensur
avel, por
ser um produto de funcoes mensuraveis, e som
avel, dado que f (x)eix
|f (x)|. Por outro lado, se n , segue-se da continuidade da exponencial
complexa que f (x)ein x f (x)eix .
A aditividade do integral para somas finitas de funcoes mensuraveis naonegativas, ou para somas finitas em L1 (E), estabelece-se facilmente por
ries de funcoes na
o-negativas e surinducao. A sua generalizacao a se
preendentemente simples, e livre dos problemas tecnicos existentes na teoria
de Riemann:
Qualquer serie de funco
es mensur
aveis n
ao-negativas pode ser integrada
termo-a-termo.
A demonstracao deste facto e uma ligeira adaptacao do argumento que utilizamos a prop
osito do exemplo 3.2.5.
Teorema 3.5.6.
es fn : E [0, +] s
ao mensur
aveis em E,
PSe as funco
ent
ao a funca
o
f
e
mensur
a
vel
em
E,
e
n
n=1
!
Z
Z
X
X
fn dmN .
fn dmN =
E
n=1
n=1
Demonstraca
o. Observamos que
gm (x) =
m
X
n=1
n=1
fn (x).
169
n=1
n=1
Exemplos 3.5.7.
R
1. Se as funcoes fn 0 s
ao som
aveis em RN , tomamos an = RN fn dmN , e
supomos sem perda
Pde generalidade que an > 0. Escolhemos uma qualquer
serie convergente n=1 bn com bn > 0. De acordo com o resultado anterior,
f (x) =
Z
Z
X
X
X
bn
bn
bn < .
f dmN =
fn (x) =
fn (x) =
a
a
N
RN
n=1 n R
n=1
n=1 n
muito facil obter por este processo muitos exemplos semelhantes a 3.2.5.
E
2. O teorema anterior pode tambem ser usado para analisar a convergencia
pontual de uma serie de funcoes fn 0. Como
!
Z
Z
X
X
fn (x) dmN =
fn (x)dmN ,
RN
n=1
n=1
RN
P
P R
ao a funcao f (x)P
= n=1 fn (x) e som
avel, e
se n=1 RN fn (x)dmN < ent
por isso e finita qtp. Por outras palavras, a serie n=1 fn (x) converge qtp.
3.PA ideia
acima e aplicavel a funcoes som
aveis fn : RN R, desde que
R
n=1 RN |fn (x)| dmN < . Observamos que
g(x) =
n=1
A serie f (x) =
|fn (x)| =
n=1
g(x)dmN =
RN
Z
X
n=1
RN
Z
X
X
kfn k1 < +,
( |fn |dmN ) =
n=1
ent
ao:
n=1
170
a) a serie
n=1 fn (x)
b) Sendo f (x) =
ao f e L-mensur
avel, e
n=1 fn (x), qtp em E, ent
som
avel, em E,
R P
Pm
c) k n=1 fn f k1 = E | m
n=1 fn f |dmN 0, e, em particular,
R P
R
P
d) E ( n=1 fn ) dmN =
f
dm
.
n
N
n=1
E
Demonstra
o. Observamos no exemplo 3.5.7.3 que a funcao g, dada por
P ca
g(x) =
e somavel, e finita qtp, porque
n=1 |fn (x)|,
Z
gdmN =
Z
X
n=1 E
P
Por outras palavras,Pa serie
n=1 fn (x) converge absolutamente qtp em E.
Definindo gm (x) = m
f
(x),
temos:
n=1 n
P
gm (x) n=1 fn (x), qtp em E.
|gm (x)| g(x).
X
X
fn dmN .
fn dmN =
gm dmN = lim
fn dmN = lim
E n=1
m E
n=1 E
n=1 E
f
k
0.
n=1 n
1
P
Se an R, a s
erie de termos reais
convern=1 an diz-se absolutamenteP
P
gente se e s
o se
|a
|
<
.
Sabemos
que
neste
caso
a
s
e
rie
n
n=1
n=1 an
e igualmente convergente, o que e ali
as um dos mais comuns criterios de
convergencia de series reais. Por analogia
Pcom as series reais, e quando
fn L1 (E), e natural dizer que
a
s
e
rie
e absolutamente conn=1 fn
P
1
vergente em L , quando
ario 3.5.9 pode
n=1 kfn k1 < +. O corol
resumir-se dizendo que
As series absolutamente convergentes em L1 s
ao convergentes em L1 .
Podemos usar este facto para mostrar que L1 (E) e um espac
o de banach,
i.e., e um espaco vectorial normado em que as sucess
oes de Cauchy, ou
fundamentais, s
ao convergentes.
171
gk
0.
k=1 k
1
P
Pk1
A serie
g
e
telesc
o
pica,
e
g
=
f
f
.
Se
f = fn1 + g,
i
n
n
k
1
k
k=1
i=1
temos kfnk f k1 0. Observamos finalmente que
kfk f k1 kfk fnk k1 + kfnk f k1 0.
Conclumos aqui a apresentacao do teorema de Fubini-Lebesgue, com
um enunciado aplicavel a funcoes som
aveis. Deixamos a demonstracao para
o exerccio 7.
Teorema 3.5.11 (Teorema de Fubini-Lebesgue (III)). Dada uma funca
o
M
N
+M
es gx : R R, e
L-mensur
avel f : R
R, definimos as funco
hy : RN R, por
gx(y) = hy (x) = f (x, y).
Temos, ent
ao, que as funco
es gx s
ao L-mensur
aveis para quase todo o x
N
R , as funco
es hy s
ao L-mensur
aveis para quase todo o y RM , e
ZZ
Z
Z
Z
Z
|f |dmN +M .
|hy |dmN )dmM =
(
|gx |dmM )dmN =
(
RN
RM
RM
RN +M
RN
RM
s
ao som
aveis, e
Z
RN
AdmN =
RM
BdmM =
ZZ
RN +M
f dmN +M .
Exemplo 3.5.12.
o: Se f, g : RN R, e por vezes u
produto de convoluc
a
til formar o
respectivo produto de convoluca
o, que e a funcao f g dada por:
Z
f (x y)g(y)dmN .
(f g) (x) =
RN
172
Se f e g s
ao L-mensur
aveis, e x est
a fixo, a funcao h(y) = f (x y) e Lmensuravel, e o produto hg e, igualmente, L-mensur
avel. Por outro lado,
existe uma funcao B-mensur
avel f f em RN e, para efeitos do calculo do
integral indicado acima, podemos substituir a funcao f por f, sem modificar o
resultado final, i.e., sem alterar a funcao f g. Supomos, assim, e sem perda
de generalidade, que f e B-mensur
avel. A funcao G : R2N R, dada por
F (x, y) = f (x y) e B-mensur
avel em R2N (porque?). Conclumos, assim,
2N
que a funcao F : R R, dada por F (x, y) = f (x y)g(y), e L-mensur
avel
em R2N . Em particular, o teorema de Fubini, na forma 3.5.11, e aplicavel `a
funcao F .
Deixamos para o exerccio 9 explorar esta ideia, para verificar que, se f e g
s
ao som
aveis, ent
ao a funcao f g est
a bem definida qtp em RN , e som
avel, e
satisfaz:
kf gk1 kf k1 kgk1 .
Sendo T a transformada de Fourier que definimos no exemplo 3.5.5, podemos
ainda mostrar que T (f g) = T (f )T (g).
Exerccios.
1. Mostre que se f (x) = limn fn (x), qtp em E, e fn fn , ent
ao temos
tambem f (x) = limn fn (x), qtp em E.
2. Suponha que B 1 (E) e o quociente do espaco das funcoes f : E R Bmensuraveis pela relacao , e L1 (E) e o quociente do espaco das funcoes
f : E R L-mensur
aveis pela relacao analoga. Qual e a relacao entre B 1 (E)
1
e L (E)?
3. Supondo que f : R R e som
avel, designamos aqui por T (f ) a transformada
de Fourier da funcao f . Demonstre os seguintes resultados:
a) A funcao T (f ) e contnua em R.
b) Se f(x) = f (x x0 ), ent
ao T (f)() = T (f )()eix0 .
173
|fn f |dm 0.
xy
, em [0, 1] [0, 1].
(x+y)3
xy
, em [1, 1] [1, 1].
(x2 +y 2 )2
est
a bem definido, qtp em RN , e f g e uma funcao som
avel em RN ,
porque
kf gk1 kf k1 kgk1 .
o: Considere a funcao F (x, y) = f (x y)g(y), e aplique o
sugesta
teorema de Fubini.
b) O produto de convolucao e associativo, i.e., f (g h) = (f g) h.
10
Este resultado, que e importante na teoria das series de Fourier, diz-se o lema de
riemann-lebesgue.
174
3.6
Continuidade e Mensurabilidade
tn (x).
n=1
n=1
Proposi
c
ao 3.6.2. Se K U RN , onde K e compacto e U e aberto,
existe f Cc (RN ) tal que K f U .
11
175
Demonstraca
o. Dado x K, existem rectangulos abertos limitados Rx e
Sx tais que
x Rx Rx Sx S x U.
Existe portanto uma subcobertura finita de K por rectangulos Rxi , onde
simples mostrar que (exerccio 2)
1 i m. E
(i) Existem funcoes gi Cc (RN ) tais que Rxi gi Sxi U .
P
Se g : RN R e dada por g(x) = m
ao g K , e g tem suporte
i=1 gi (x), ent
compacto em U . Sendo agora h : R [0, 1] uma qualquer funcao contnua
e crescente, com h(0) = 0 e h(1) = 1, tomamos f (x) = h(g(x)).
Esta proposicao tem um corolario imediato:
Corol
ario 3.6.3. Sendo E RN um conjunto mensur
avel de medida finita,
e > 0, existe f Cc (RN ) tal que
0 f 1, e mN ({x RN : f (x) 6= E (x)}) < .
Demonstraca
o. De acordo com o teorema 2.4.17 b), existem conjuntos K
E U tais que K e compacto, U e aberto, e mN (U K) < . Pela
proposicao anterior, existe f Cc (RN ) tal que K f U , e deve ser
evidente que:
x RN : f (x) 6= E (x) U K.
Os resultados anteriores permitem-nos obter um teorema cl
assico sobre
a aproximacao de funcoes mensuraveis por funcoes contnuas.
Teorema 3.6.4 (Teorema de Vitali-Luzin). (12 ) Seja f : RN [0, 1] uma
funca
o mensur
avel com suporte num conjunto de medida finita. Se > 0,
ent
ao existe g Cc (RN ) tal que
0 g 1, e mN x RN : f (x) 6= g(x) < .
Demonstraca
o. De acordo com o teorema 3.6.1, existem funcoes simples
mensuraveis tn : RN R, tais que
f (x) =
n=1
tn (x), onde tn =
1
T .
2n n
Os conjuntos Tn s
ao mensuraveis e de medida finita, porque estao contidos
no suporte de f .
12
De Nikolai Luzin, 1883-1950, matem
atico russo, professor da Universidade de
Moscovo.
176
P 1
A serie g(x)
=
P 1n=1 2n fn (x) converge uniformemente, porque e majorada
pela serie n=1 2n . A funcao g e, por isso, contnua. Notamos que
Se En = x R
[
En , entao mN (E) < , e
: fn (x) 6= Tn (x) , e E =
n=1
mN
x RN : f (x) 6= g(x) < .
Este corolario pode, por sua vez, ser usado para mostrar que as funcoes
mensuraveis e finitas qtp s
ao limites de sucess
oes de funcoes contnuas.
Corol
ario 3.6.6. Se f : RN R e finita qtp, ent
ao f e L-mensur
avel se
N
e s
o se existem funco
es contnuas fn : R R tais que fn (x) f (x) qtp
em RN .
Demonstraca
o. Sabemos, do teorema de Vitali-Luzin, que existem funcoes
contnuas fn tais que
mN
1
x RN : fn (x) 6= f (x) < n .
2
Considerem-se os conjuntos
En = {x RN : fn (x) 6= f (x)}, e E =
[
\
k=1 n=k
En .
177
n=k
En , i.e., n k x 6 En , ou
|f |dmN < .
|f |dmN
(i)
2
K
RN
1
Pelo teorema de Vitali-Luzin aplicado `a funcao f = M
f K , existe uma
funcao contnua de suporte compacto g, tal que 0 g(x) 1, e
n
o
.
x RN : f(x) 6= g(x)
<
mN
4M
n
o
Sendo E = x RN : f(x) 6= g(x) , e imediato verificar que:
.
f g
=
f g dmN 2mN (E) <
2M
1
E
claro que (i) implica
E
f M f
< 2 e, sendo g = M g, temos
M f g
=
1
1
kf gk1
f M f
+
M f g
< .
1
178
R
f : RN R tais que o integral impr
oprio de Riemann RN f (x)dx e absolutamente convergente, e evidente que R1 (RN ) Cc (RN ), e portanto R1 (RN ) e
igualmente denso em L1 (RN ).
Ja vimos que L1 (RN ) e completo, i.e., e um espaco de Banach. Como
R1 (RN ) e denso em L1 (RN ), conclumos que L1 (RN ) e o espaco completo
determinado por R1 (RN ). Por outras palavras, o espaco L1 (RN ) est
a para o
espaco R1 (RN ) exactamente como o conjunto R est
a para o conjunto Q.
Exerccios.
1. Complete o calculo da funcao tn = sn sn1 referido na demonstracao de
o: Mostre que En1,k = En,2k En,2k+1 .
3.6.1. sugesta
2. Para completar a demonstracao de 3.6.2, mostre que dados rectangulos abertos limitados R e S, tais que R R S, existe uma funcao contnua f ,
0 f 1, tal que f (x) = 1 para x R, e f (x) = 0 para x 6 S, donde f tem
suporte compacto. Mostre que podemos supor que f e de classe C .
3. Conclua a demonstracao do teorema de Vitali-Luzin (3.6.4) provando que o
suporte de g pode ser suposto compacto.
o: Suponha primeiro que f e finita
4. Demonstre o corolario 3.6.5. sugesta
qtp, e tem suporte num conjunto de medida finita.
5. Conclua a demonstracao do corolario 3.6.7.
avel e mN -som
avel. Prove que
6. Seja f : RN R uma funcao L-mensur
Z
lim
|f (x + y) f (x)| dmN = 0.
y0
RN
), e a respectiva transformada de
kf k1 . Considere a funcao f (x) = f (x
Fourier F . Aplique o exerccio 6 `a diferenca f f .
Captulo 4
Outras Medidas
A teoria da medida nao se esgota com o estudo da medida de Lebesgue, nem
a teoria da integracao se esgota com o estudo dos integrais em ordem `a
medida de Lebesgue. Estudamos neste Captulo outros espacos de medida,
deixando para mais tarde a quest
ao da definicao de integrais de Lebesgue
em ordem a qualquer medida.
Comecamos por complementar as ideias e resultados gerais sobre medi indispensavel aqui esclarecer a estrutura
das que referimos no captulo 2. E
das medidas reais, i.e., provar o Teorema da Decomposica
o de Hahn-Jordan,
que mostra que as medidas reais s
ao diferencas de medidas de Radon finitas.
Este resultado leva-nos a introduzir os conceitos de variaca
o total de uma
medida, e de medida de variaca
o limitada.
Sabemos que qualquer integral indefinido de Lebesgue e uma medida.
Estas medidas gozam de uma propriedade especial, dita continuidade absoluta, que estudaremos no que se segue. Esta ideia, primeiro referida por
Harnack(1 ) nos finais do seculo XIX, a prop
osito dos integrais improprios de
a
Riemann de 1 especie, que ele proprio descobriu, e formalmente definida por
Vitali em 1905, quando lhe atribuiu o nome que hoje utilizamos, e aplicavel
a medidas e a funcoes, e e a chave para o entendimento actual dos Teoremas
Fundamentais do C
alculo.
Muitos dos exemplos relevantes nas aplicacoes envolvem medidas definidas pelo menos na classe B(RN ), que chamaremos aqui medidas de
Lebesgue-Stieltjes. A quest
ao da sua regularidade e frequentemente muito
importante, e provaremos diversos resultados sobre este assunto. Veremos
em particular que qualquer medida definida em B(RN ) e localmente finita,
i.e., finita nos conjuntos compactos, tem uma u
nica extensao regular e completa, um facto que usaremos repetidamente no que se segue. Mostraremos
tambem que as medidas de Lebesgue-Stieltjes regulares e -finitas tem propriedades muito semelhantes `
as da medida de Lebesgue, tal como as estudamos no Captulo 2.
1
179
180
4.1
A Decomposic
ao de Hahn-Jordan
181
182
o de jorDefini
c
ao 4.1.9 (Decomposicao de Jordan). Uma decomposic
a
dan da medida real e um par (, ) de medidas de Radon finitas tais que
(E) = (E) (E), para qualquer E M, e
e tem suporte em conjuntos disjuntos.
Exemplo 4.1.10.
183
184
Exemplos 4.1.15.
1. O conjunto e simultaneamente -positivo, -negativo e -nulo.
2. Se e o exemplo 4.1.4.1, e facil ver que A = [1, 0] e -positivo, e B = [0, +1]
e -negativo.
3. Se e o integral indefinido da funcao som
avel f , e E e mensuravel, ent
ao E e
-positivo (respectivamente, -negativo) se e s
o se f (x) 0 (respectivamente,
f (x) 0) qtp em E.
Pn -positivo, e (
n=1
n=1
Defini
c
ao 4.1.17 (Decomposicao de Hahn). Se : M R e uma medida
real, e P, N M s
ao conjuntos M-mensur
aveis, o par (P, N ) diz-se uma
decomposic
ao de hahn para (X, M, ) se e s
o se
P e -positivo, N e -negativo, e
X = P N , e P N = .
185
e .
b) Em particular, se ( , ) e uma decomposica
o de Jordan de , ent
ao
= , e = .
c) Se (P , N ) e uma decomposica
o de Hahn para , ent
ao P N e
P N s
ao -nulos.
Se e uma medida real e (, ) e uma decomposicao de Jordan de , e
simples provar que e limitada: Basta notar que, para qualquer E M,
0 (E) (X) e 0 (E) (X), donde
(X) (E) (E) (E) (E) (X), ou seja,
(X) (E) (X).
186
n=1
187
(i) N
ao existem conjuntos -positivos P E com (P ) > 0.
Em particular, sendo P1 = E, e como (E) > 0, ent
aoo e -positivo.
nao P1 n
(P1 )
Existe, por isso, F1 P1 tal que (F1 ) max 1, 2
. Definimos
claro que
P2 = P1 F1 . E
P1 = F1 P2 , (P1 ) > 0, e (F1 ) < 0 (P2 ) > (P1 ) > 0.
Como (P2 ) > 0, temos novamente
que
ao e -positivo, e existe
n
o P2 n
(P2 )
F2 P2 tal que (F2 ) max 1, 2
< 0. Definimos P3 = P2 F2 ,
onde (P3 ) > (P2 ) > 0 (ver figura 4.1.4).
Suponha-se que n > 1, e os conjuntos P1 , , Pn e F1 , , Fn1 satisfazem, para 0 < k n,
(ii) P1 = E, Fk Pk , e Pk = Pk1 Fk1 , e
n
o
(iii) (Fk ) max 1, (P2 k ) < 0, donde
n=1
Fn e P = E F =
n=1
Pn , onde (F ) =
n=1
(Fn ) < 0.
188
Como (F ) < 0, e claro que (P ) > (E) > 0. A serie indicada e convergente, e portanto (Fn ) 0. Como
(Pn )
(Fn ) max 1,
< 0,
2
temos tambem que (Pn ) 0. Como P Pn , temos (Pn ) (P ), e
(P ) 0, i.e., P e -positivo, contradizendo (i).
Figura 4.1.4: F =
n=1 Fn e P = n=1 Pn = E F .
189
Exerccios.
1. Prove que tem suporte em S se e s
o se S c e -nulo (proposicao 4.1.6).
o: Recorde a classe Q(RN ), formada
2. Demonstre o teorema 4.1.7. sugesta
pelos rectangulos-N abertos, com vertices em QN , e considere
R RN : R Q(RN ) e R e -nulo .
(P
).
(
n
n=1 n
6. Mostre que, se : M R e uma medida real, (, ) e uma decomposicao
de Jordan para , e , : M [0, +[ s
ao medidas de Radon finitas tais
que = , ent
ao e . Em particular, a decomposicao de
Jordan de (X, M, ) e u
nica (teorema 4.1.19, a), e b)).
7. Prove que se (P, N ) e (P , N ) s
ao decomposicoes de Hahn de (X, M, ),
ent
ao P N e P N s
ao -nulos (teorema 4.1.19, b)).
8. Seja f : RN R localmente som
avel, e o respectivo integral indefinido.
a) Supondo f 0, mostre que tem suporte em P = x RN : f (x) > 0 .
b) Suponha agora que f = f + f muda de sinal em RN , e e som
avel em
RN . Sejam e os integrais indefinidos de f + e f . Mostre que (, )
e a decomposicao de Jordan de = .
190
X
(1)n
n ,
2n
n=1
Rb
a
sen(x)
x dx?
12. Suponha que e uma medida real em B(R), e f (x) = (] , x]). Prove
que f (x) = g(x) h(x), onde g e h s
ao funcoes crescentes e limitadas em R.
4.2
Medidas de Variac
ao Limitada
o total de e a funcao ||
Defini
c
ao 4.2.1 (Variacao Total). A variac
a
definida em M por:(2 )
|| (E) = sup {(F ) : F E, F M} inf {(F ) : F E, F M} .
Dizemos tambem que
||+ (E) = sup {(F ) : F E, F M} e a variacao positiva de , e
|| (E) = inf {(F ) : F E, F M} e a variacao negativa de .
claro que || = || + || , e, se e uma medida de Radon,
E
+
Segue-se que || = + + , e + e s
ao a variacao positiva, e a variacao
negativa, de . Note-se que a variacao total de uma medida real e uma
medida de Radon finita.
2
A utilizac
ao do smbolo || para designar a variac
ao total de e tradicional, mas e
ambgua, porque se presta a confus
oes com o simples valor absoluto da func
ao . Convencionamos a este respeito que o valor absoluto de (E) ser
a sempre designado por |(E)|.
191
1. Se f : RN R e som
avel, e e o respectivo integral indefinido, ent
ao + e
+
s
ao os integrais indefinidos de f e f . A variacao total de e || = + + ,
que e o integral indefinido de |f | = f + + f .
2. Se = 1 1 , ent
ao || = 1 + 1 .
A variacao total de uma medida real pode ser tambem calculada usando:
Proposi
c
ao 4.2.3. Se e uma medida real, ou de Radon, ent
ao
)
(
[
X
En , En s disjuntos .
|(En )| : En M, E =
|| (E) = sup
n=1
n=1
Demonstraca
o. O resultado e evidente quando e uma medida de Radon.
Se e uma medida real entao, para qualquer particao {En }, temos
n=1
sup
|(En )| =
n=1
| (En ) (En )|
n=1
+ (En ) + (En ) =
n=1
|(En )| : En M, E =
En , En s disjuntos
n=1
|| (E).
Por outro lado, e supondo que (P, N ) e uma decomposicao de Hahn para ,
tomamos E1 = E P, E2 = E N , e En = , para n > 2, donde
n=1
|| (E) sup
n=1
|(En )| : En M, E =
n=1
En , En s disjuntos
[
X
En , En s disjuntos .
|(En )| : En M, E =
|| (E) = sup
n=1
n=1
192
o limitada se e s
A medida diz-se de variac
a
o se
kk = || (X) < +.
Deve verificar-se (exerccio 3) que kk = || (X) e uma norma no espaco
vectorial real (respectivamente, complexo) de todas as medidas reais (respectivamente, complexas) definidas em M, e que este espaco e de Banach.
Exemplos 4.2.5.
1. Se e o integral indefinido de uma funcao som
avel f : RN R, ent
ao
Z
kk = || (RN ) =
|f |dmN = kf k1 .
RN
A
soma est
a bem definida desde que os cn s sejam nao-negativos, ou a serie
P
e uma medida, que
n=1 cn seja absolutamente convergente, e nestes casos
podemos sempre chamar um pente de Dirac, ou uma medida discreta.
A variacao total de e dada por:
|| (E) =
nIE
|cn | , e kk =
n=1
|cn | .
193
Exerccios.
1. Verifique o calculo de ||, quando e a medida discreta do exemplo 4.2.5.2.
Supondo que osPcn s mudam de sinal, porque raz
ao s
o est
a bem definida
3. Seja V o espaco vectorial das medidas complexas definidas em (X, M), com
as operacoes
obvias de soma e produto por escalares, , V, e C. Mostre
que
a) | + | || + ||, e || = || ||.
194
4. Seja uma medida definida no espaco mensuravel (X, M). Prove que
a) E M e -nulo se e s
o se || (E) = 0, e portanto
b) tem suporte em P se e s
o se || tem suporte em P ,
c) || = 0 se e s
o se = 0,
4.3
A continuidade absoluta de em relacao a pode ser expressa de diversas formas equivalentes, e analisaremos algumas delas nos exerccios. Observamos desde ja que
4
195
Teorema 4.3.3. Se e s
ao medidas em M, ent
ao:
|| || Para qualquer E M, || (E) = 0 || (E) = 0.
O resultado seguinte generaliza o exerccio 11 da seccao 3.3 a qualquer
medida complexa.
Teorema 4.3.4. Se e uma medida de variaca
o limitada e e uma medida
de Radon, ent
ao se e s
o se
(1) >0 >0 EM (E) < = |(E)| < .
Demonstraca
o. Supomos primeiro que a condicao (1) e falsa, i.e.,
>0 >0 EM tal que (E) < , e |(E)| .
o e absolutamente contnua em relacao a .
Passamos a provar que na
Para isso, notamos que existem conjuntos En tais que
1
, e || (En ) |(En )| .
2n
S
T
Os conjuntos Fn =
k=n Ek F =
n=1 Fn , e portanto
(En ) <
(Fn ) (F ), e || (Fn ) || (F ).
k=n
X
1
1
(Ek ) <
= n1 , e portanto (Fn ) 0 = (F ).
2
2k
k=n
196
4.4
Medidas Regulares
197
198
tambem claro que (E) < , e segue-se de 4.4.3 que (E) = (E). E
N
muito facil concluir daqui que (E) = (E), para qualquer E B(R ),
i.e., e uma restricao de , e portanto e uma medida regular.
As medidas de Lebesgue-Stieltjes -finitas e regulares partilham muitas
das propriedades que referimos para a medida de Lebesgue, em especial as
indicadas em 2.4.16 e 2.4.17. Deixamos a demonstracao do teorema correspondente para o exerccio 2.
Corol
ario 4.4.6. Se 0 e -finita e regular em B(RN ), qualquer uma
das seguintes afirmaco
es descreve os conjuntos E B (RN ):
a) Para qualquer > 0, existe um aberto U E, tal que (U E) < .
No contexto de RN , os conjuntos compactos podem ser substitudos nesta definic
ao
por conjuntos elementares, ou limitados. A referencia a compactos reflecte a adaptac
ao
da definic
ao para contextos mais gerais.
7
199
200
u
E
til generalizar estas ideias para qualquer tipo de medidas de LebesgueStieltjes. A regularidade de medidas reais ou complexas pode ser introduzida
da seguinte forma:
Defini
c
ao 4.4.10. Seja uma medida de Lebesgue-Stieltjes, definida pelo
menos em A. Dizemos que e regular em A se e s
o se || e regular em
A, no sentido da definicao 2.4.18.
Quando e uma medida complexa em B(RN ), entao || e uma medida de
Radon finita em B(RN ). De acordo com 4.4.7, || tem uma u
nica extensao
regular e completa, que e a sua menor extensao completa, e a sua maior
extensao regular. Esta extensao esta definida na -
algebra B|| (RN ), que
para simplificar a notacao continuamos a designar por B (RN ):
n
o
B (RN ) = E RN : A,BB(RN ) A E B, || (B A) = 0
O proximo lema relaciona as extensoes regulares de com as extensoes
regulares da sua variacao total ||.
201
a) e regular em B(RN ).
b) tem uma u
nica extens
ao completa e regular , definida em B (RN ).
c) Qualquer medida regular que coincida com nos rect
angulos abertos
limitados e uma restrica
o de .
As extensoes nao regulares de medidas complexas podem ter propriedades
surpreendentes, e indicamos um exemplo interessante no exerccio 12.
Exerccios.
1. Seja 0 uma medida de Lebesgue-Stieltjes em RN , e : P(RN ) [0, ]
dada por (E) = inf {(U ) : E U, U aberto }. Mostre que e uma medida
exterior, e prove as afirmacoes a) e b) da proposicao 4.4.2.
o: Adapte as demonstracoes de 2.4.16 e 2.4.17.
2. Demonstre 4.4.6. sugesta
3. Recorde o corolario 4.4.7, e verifique que e efectivamente a maior extensao
regular de .
4. Mostre que existem medidas -finitas distintas em B(R), que coincidem nos
intervalos abertos.
5. Prove que duas medidas de Radon que coincidem nos rectangulos abertos
limitados coincidem tambem em todos os conjuntos abertos.
6. Prove o corolario 4.4.8.
7. Suponha que e regular, mas nao e -finita, e mostre que nao e necessariamente a menor extens
ao completa de .
8. Seja f 0 uma funcao Riemann-integr
avel em qualquer rectangulo limitado
de RN , e : J (RN ) R o seu integral indefinido de Riemann. Mostre que o
integral indefinido de Lebesgue em Lf e a extensao regular e completa de .
9. Demonstre o lema 4.4.11 para medidas complexas.
10. Demonstre o teorema 4.4.12.
11. Mostre que as medidas de Borel complexas regulares s
ao unicamente determinadas pelos seus valores nos rectangulos abertos limitados.
12. Recorde o teorema 2.4.21 e o exerccio 13 da mesma seccao. Determine
o: Na notacao
uma extens
ao nao regular da medida de Borel nula. sugesta
do exerccio referido, considere a medida real (U ) = (U A) (U B).
202
4.5
Medidas de Lebesgue-Stieltjes em R
o de distribuic
o da medida se e s
Dizemos que F e func
a
a
o se satisfaz
4.5.1, e e facil verificar que
Se e localmente finita em R, existe uma funcao F : R R que
satisfaz 4.5.1.
As funcoes de distribuicao de s
ao da forma G(x) = F (x) + C, onde
C R e arbitr
ario.
A funcao F determina a medida unicamente em B(R). Dizemos que
e a medida de Lebesgue-Stieltjes determinada por F , ou a derivada
generalizada de f (9 ).
A expressao derivada generalizada, an
aloga `a de funcao generalizada,
tem origem na Teoria das Distribuicoes. Repare-se que se a funcao F e
diferenci
avel qtp, e satisfaz a regra de Barrow, entao
(]a, b]) = F (b) F (a) =
Exemplos 4.5.1.
1. A funcao F (x) = x e funcao de distribuicao da medida de Lebesgue em R,
i.e., a medida m e a derivada generalizada de F . Note-se que m e o integral
indefinido da derivada usual de F , e e absolutamente contnua.
9
203
204
Demonstraca
o. E-nos
necessario provar a seguinte observacao auxiliar:
(i) Se F e crescente, o conjunto S, formado pelos y R para os quais a
equacao F (x) = y tem m
ultiplas solucoes, e numer
avel.
205
Demonstraca
o. Se a equacao F (x) = y tem solucoes x1 < x2 , entao
existe um racional qy tal que x1 qy x2 , e e evidente da monotonia
de F que F (qy ) = y. A funcao f : S Q dada por f (y) = qy e
injectiva, por razoes
obvias, e portanto S e numeravel.
Para demonstrar a), observamos que:
(ii) SF e fechada em relacao a uni
oes numeraveis: Se os conjuntos En SF ,
entao F (En ) L(R), e segue-se que
F(
n=1
En ) =
n=1
n=1
En SF .
1, para x > 1.
F e uma funcao contnua e crescente, e a respectiva medida de LebesgueStieltjes F e uma medida de probabilidade. Na verdade, sabendo que um
oscilador harm
onico linear qualquer(11 ), por exemplo, um pendulo simples,
se desloca em unidades normalizadas de acordo com x = sen(t), podemos
concluir que F (E) e a probabilidade do acontecimento x E, quando o
oscilador e observado num instante de tempo t escolhido ao acaso.
206
Proposi
c
ao 4.5.6. tem suporte no conjunto de Cantor C, e e portanto
uma medida singular.
claro que (R) = (]0, 1]) = F (1) F (0) = 1, e portanto
Demonstraca
o. E
tem suporte, e.g., em I = [0, 1]. Por outro lado, sendo U = I C, sabemos
que U =
e um conjunto aberto, e a escada do Diabo F e
n=1 ]an , bn [
constante em cada um dos intervalos [an , bn ]. Notamos como evidente que
0 = F (bn ) F (an ) = (]an , bn ]) (]an , bn [) 0. Segue-se assim que:
(U ) =
n=1
207
Exemplo 4.5.8.
Seja F (x) = x + int(x), onde int(x) e a usual parte inteira do real x. A
derivada generalizada de F e dada por:
X
(E) = m(E) +
n (E),
nZ
an , para x < xn ,
X
yn , para x = xn ,
hn (x) para x R, onde hn (x) =
s(x) =
n=1
bn , para x > xn .
razoes elementares, limites laterais em qualquer ponto, possivelmente distintos, e limites, possivelmente infinitos, quando x , e quando x +.
Obtemos desta observacao:
Proposi
c
ao 4.5.10. Qualquer funca
o mon
otona e contnua excepto num
conjunto numer
avel.
12
Estas func
oes dizem-se tambem de saltos.
208
Demonstraca
o. Supomos, sem perda de generalidade, que F e crescente.
Designamos por F (x+ ), e F (x ), respectivamente, os limites de F `a direita,
e`
a esquerda de x, e por D, o conjunto onde F e descontnua. Sendo x um
real no domnio de F , definimos Ix =]F (x ), F (x+ )[. Temos, entao:
x D se e s
o se Ix 6= (porque F e contnua em x se e s
o se F (x ) =
F (x+ )), e
Se x 6= y entao Ix e Iy s
ao disjuntos (supondo x < y, e obvio que
F (x+ ) F (y)).
Para cada x D escolhemos um racional qx no intervalo Ix , definindo desta
forma uma funcao injectiva f : D Q, dada por f (x) = qx . Conclumos
que D e numeravel.
Teorema 4.5.11. Se F : R R e mon
otona em R, existem funco
es
mon
otonas g, s : R R, tais que g e contnua, s e discreta, e F = g + s.
As funco
es g e s s
ao u
nicas, a menos de uma constante aditiva.
Demonstraca
o. Supomos F : R R crescente em R, e contnua excepto
em D = {x1 , x2 , , xn , }. Para simplificar o argumento, supomos F
limitada, e contnua `
a direita, em R. (Deixamos o caso geral para o exerccio
6). Definimos bn = F (xn ) F (x
e facil
n ). Sendo D]x, y] = {xnk : k N},
verificar que
(i)
X
k=1
n=1
Seja agora n P
a medida de Dirac no ponto xn , com n ({xn }) = bn > 0. E
n=1
n (], x]) =
n=1
g(xn ) g(x
n ) = [F (xn ) F (xn )] [s(xn ) s(xn )] = 0.
209
X
k=1
Se g1 + s1 = g2 + s2 , onde as funcoes gi s
ao contnuas, e as funcoes si
discretas, entao h = g1 g2 = s2 s1 e uma funcao contnua e discreta, e
portanto h e, evidentemente, constante.
O proximo corolario usa a decomposicao em parte contnua e parte discreta para mostrar que o problema de Stieltjes tem solucao para F crescente
quando F e contnua a
` direita.
Corol
ario 4.5.12. Seja F : R R crescente, e contnua a
` direita em R.
Suponha-se, ainda, que
F e contnua excepto em D = {x1 , , xn , },
n e a medida de Dirac com n ({xn }) = F (xn ) F (x
n ),
F = g + s e a decomposica
o de F referida em 4.5.11,
Sg = {E R : g(E) L(R)}, e F : Sg [0, ] e dada por
F (E) = m(g(E)) +
n=1
n (E) = g (E) +
n (E).
n=1
Ent
ao (R, Sg , F ) e a u
nica soluca
o completa e regular do problema 4.5.2.
Demonstraca
o. (R, Sg , F ) e uma solucao do problema de Stieltjes 4.5.2,
porque e um espaco de medida, de acordo com 4.5.3, e
F (]a, b]) = g(b) g(a) + s(b) s(a) = F (b) F (a).
muito simples verificar que (R, Sg , F ) e completo e regular.
E
Combinado com o lema 4.5.7, este resultado encerra a an
alise do problema de Stieltjes quando F e crescente: e agora claro que neste caso o
problema de Stieltjes tem soluca
o se e s
o se F e contnua a
direita em R.
Veremos na proxima seccao as condicoes em que o problema de Stieltjes tem
solucao quando F nao e crescente.
Exerccios.
1. Mostre que qualquer medida de Radon em R localmente finita e derivada
generalizada de F : R R. Mostre igualmente que:
210
lim F (x).
x+
c) Em que condicoes temos (]a, b[) = (]a, b]) = ([a, b[) = ([a, b])?
necessario provar que F e -aditiva, e
3. Conclua a demonstracao de 4.5.3. E
mostrar ainda que o espaco (R, SF , F ) e completo e regular.
4. Seja F : R R a escada do Diabo, e a respectiva medida de LebesgueStieltjes. Qual
U tal que (U ) = 0? Qual e o
e o maior conjunto
aberto
conjunto S = y R : # F 1 (y) > 1 ?
5. Suponha que F e contnua e crescente, e mostre que L(R) SF se e s
o se,
para qualquer E R, temos m(E) = 0 m (F (E)) = 0.
0, para x < 0,
2x + 1, para 0 x < 3, e
F (x) =
2
x , para x 3.
8. Determine uma funcao crescente, contnua `a direita na recta real, e descontnua nos racionais. Determine igualmente uma funcao contnua, diferenciavel
em x se e s
o se x e irracional.
4.6
Func
oes de Variac
ao Limitada
A an
alise do problema de Stieltjes quando F nao e crescente e facilitada pela
introducao da classe das funcoes de variacao limitada. Suponha-se para isso
que e uma medida real, e F uma sua funcao de distribuicao. Sabemos
que tem variacao total limitada, e este facto restringe de forma muito
significativa a funcao F , como passamos a mostrar.
211
|F (xk ) F (xk1 )| =
n
X
k=1
Defini
c
ao 4.6.1 (Funcoes de Variacao Limitada). Se F : S R e I S
o total de F em I, designada VF (I), e dada
R e um intervalo, a variac
a
por
)
( n
X
|F (xk ) F (xk1 )| : x0 < x1 < x2 < < xn , xk I .
VF (I) = sup
k=1
o limitada em I se e s
F diz-se de variac
a
o se VF (I) < +. BV (I) e a
classe das funcoes F : I R de variacao limitada em I, e N BV (R) (13 ) e a
subclasse de BV (R) formada pelas funcoes que satisfazem ainda a condicao
F (x) 0 quando x .
Exemplos 4.6.2.
Pn
1. Se F : R R e a funcao de Heaviside, ent
ao k=1 |F (xk ) F (xk1 )| e 1,
se x0 < 0 e xn 0, ou 0, caso contrario. Portanto, VF (R) = 1.
Rx
2. Se F (x) = a f dm, onde f e som
avel, ent
ao F e de variacao limitada, porque
se P = {x0 , , xn } I, ent
ao
Z
Z xk
n Z xk
n
n
X
X
X
|f |dm |f |dm.
f dm|
|
|F (xk ) F (xk1 )| =
k=1
k=1
xk1
k=1
xk1
3. A funcao f (x) = x sen(1/x) (com f (0) = 0) e contnua, e portanto uniformemente contnua, em [0, 2]. Apesar disso, f nao e de variacao limitada em
[0, 2] (exerccio 8).
4. Sendo f : [a, b] R, e relativamente simples verificar que f e de variacao
limitada em I se e s
o se o gr
afico de f e rectific
avel (exerccio 7).
n
X
k=1
13
BV e NBV s
ao iniciais para as express
oes inglesas Bounded Variation e Normalized
Bounded Variation.
212
213
que (E) = (E) (E), e (E) = (E) + (E). Segue-se do lema 4.6.3 b),
que
(i) (E) = (E) + (E) ||(E).
Se = + e a decomposicao de Jordan de , temos, do teorema 4.1.19,
que + (E) (E), e (E) (E), tambem para qualquer E B(R).
Conclumos de (i) que
(E) = (E) + (E) ||(E) = + (E) + (E) (E) + (E) = (E).
portanto evidente que + = , = , e || = .
E
Resta-nos apenas demonstrar que se f BV (R) e f e contnua `a direita
entao o problema de Stieltjes tem solucao . Observamos novamente que
muito simples verificar que
f = gh, onde g e h s
ao crescentes e limitadas. E
podemos supor g e h contnuas `
a direita, sem qualquer perda de generalidade
(porque?). Por esta razao, podemos tomar = , onde e s
ao
as derivadas generalizadas de g e h. Note-se de passagem que g e h s
ao
efectivamente contnuas `
a direita.
Passamos a analisar em mais detalhe as funcoes de variacao limitada que
s
ao contnuas. Comecamos por observar que a variacao total de uma funcao
contnua pode ser calculada como se segue:
Lema 4.6.5. Se f e contnua em R, I R e um intervalo compacto, e P(I)
e a famlia de todas as partico
es finitas de I em intervalos, ent
ao
(
)
X
Vf (I) = sup
m(f (i)) : R P(I) .
iR
iR m(f (i))
Demonstraca
o. Supomos I = [a, b], e escrevemos
)
(
X
m(f (i)) : R P(I) .
(I) = sup
iR
214
iR
X
iR
215
Demonstraca
o. Dado n N, consideramos os pontos xn,k = a + 2kn (b a),
onde 0 k 2n . Estes pontos determinam uma particao do intervalo I em
2n subintervalos In,k , de di
ametro (ba)
2n . Definimos, e.g., In,1 = [xn,0 , xn,1 ]
e In,k =]xn,k1 , xn,k ], se k > 1. Os conjuntos Jn,k = f (In,k ) s
ao igualmente
intervalos.
Pn
Seja An,k a funcao caracterstica de Jn,k , e Bn (y) = 2k=1 An,k (y). A
equacao y = f (x) tem solucoes em In,k se s
o se y Jn,k , i.e., se e s
o se
An,k (y) = 1. Temos portanto que Bn (y) B(y), e segue-se de 4.6.5 que
Z
Bn dm =
2
X
m(Jn,k ) =
2
X
k=1
k=1
[
X
|| (E) = sup
En , En s B(R) disjuntos .
m (f (En )) : E =
n=1
n=1
Demonstraca
o. Comecamos por estabelecer o seguinte resultado auxiliar:
Lema 4.6.8. m (f (E)) || (E).
Demonstraca
o. Se E e um intervalo, a desigualdade e evidente do lema 4.6.5.
Se E e aberto, entao E =
ao intervalos disjuntos, e:
n=1 In , onde os In s s
m (f (E)) = m (
n=1
f (In ))
n=1
m (f (In ))
n=1
|| (In )) = || (E).
[
X
En , En s B(R) disjuntos .
m (f (En )) : E =
(E) = sup
n=1
n=1
216
Como os conjuntos En s s
ao disjuntos, conclumos do lema 4.6.8 que
(i)
n=1
m (f (En ))
n=1
Suponha-se
que A, B B(R) s
ao disjuntos. Dadas particoes A =
S
eB=
e evidente que
n=1 Bn ,
(ii) (AB)
m (f (An ))+
n=1
n=1
Considere-se particoes de E =
Ak =
n=1
f (En ) =
k=1
n=1 An ,
Ak En =
k=1 Ak
n=1
n=1 En .
claro que
E
m (f (Ak En )) (Ak ), e
f (Ak En ) m (f (En ))
X
k=1
m (f (Ak En )).
Obtemos imediatamente:
X
X
X
(Ak ).
m (f (Ak En ))
m (f (En ))
n=1
k=1 n=1
k=1
(An ).
n=1
De acordo com (i), (ii) e (iii), e uma medida de Radon finita, e portanto
regular, em B(R). O lema 4.6.5 mostra que e || coincidem nos intervalos
compactos, donde coincidem nos abertos, e em B(R).
4.6.1
Fun
c
oes Absolutamente Contnuas
Se E = nk=1 Ik , onde I1 ,P
, In s
ao intervalos disjuntos, e Ik tem extremos
n
xk yk , temos m(E) = k=1 (yk xk ), e por isso:
n
X
k=1
(yk xk ) <
n
X
k=1
|f (yk ) f (xk )| =
n
X
k=1
217
Defini
c
ao 4.6.9 (Funcoes Absolutamente Contnuas). Se f : I R onde
I R e um intervalo, dizemos que f e absolutamente contnua em I
se e s
o se para qualquer > 0 existe > 0 tal que sendo Ik =]xk , yk ] para
1 k n intervalos disjuntos em R,
n
n
X
X
|f (yk ) f (xk )| < .
(yk xk ) <
k=1
k=1
Exemplos 4.6.10.
Rx
1. Se a funcao g : R R e som
avel, ent
ao a funcao f (x) = gdm e funcao
distribuicao de uma medida absolutamente contnua em R, e portanto f e uma
funcao absolutamente contnua em R, como alias verificamos directamente no
exerccio 11 da seccao 3.3.
2. Se f satisfaz uma condicao de Lipschitz em I, i.e., se existe uma constante
K tal que |f (x) f (y)| = K|x y|, e evidente que f e absolutamente contnua
em I.
3. A funcao f (x) = sen(x) satisfaz uma condicao de Lipschitz em R com K = 1,
e portanto e absolutamente contnua em R.
facil verificar que a escada do diabo e uniformemente contnua em R,
4. E
mas nao e absolutamente contnua.
5. Qualquer funcao absolutamente contnua e uniformemente contnua (e o caso
n = 1, na definicao 4.6.9.)
(yk xk ) < 1 =
n
X
k=1
k
Seja ba
N < 1 , e P0 = zk = a + N (b a) : 0 k N . Dado P J,
consideramos tambem P = P
P P0 , e Pk = P [zk1 , zk ]. Supondo Pk =
k
{tk,0 , , tk,nk }, e claro que nj=1
|tk,j tk,j1 | = zk zk1 < 1 , donde
SV (f, Pk ) =
nk
X
j=1
218
N
X
k=1
Exemplos 4.6.12.
1. A funcao f (x) = x sen(1/x) (com f (0) = 0) e uniformemente contnua em
[0, 1], mas nao e de variacao limitada em [0, 1]. Portanto, f nao e absolutamente
contnua em [0, 1].
2. A funcao f (x) = sen x e absolutamente contnua em R, e portanto e de
variacao limitada em qualquer intervalo limitado. N
ao e no entanto de variacao
limitada em R.
Demonstraca
o. Temos apenas a provar que, se f : R R e de variacao
limitada e absolutamente contnua em R, entao a sua derivada generalizada
m. Se > 0, existe > 0 tal que, sendo I1 , , In intervalos disjuntos
em R, onde Ik tem extremos xk yk , entao:
(i)
n
X
k=1
(yk xk ) < =
n
X
k=1
SV (, Pk )
n
X
k=1
n
X
k=1
SV (f, Pk ) < .
Como as particoes Pk s
ao arbitr
arias, conclumos que
(ii)
n
X
k=1
(yk xk ) < =
n
X
k=1
Vf (Ik ) =
n
X
k=1
n
X
k=1
Vf (Ik ) =
n
X
k=1
|| (Ik ) = || (E) .
219
X
[
|| (E) = sup
m (f (En )) : E =
En , En s B(R) disjuntos .
n=1
n=1
220
221
4.7
Os Teoremas Fundamentais do C
alculo em R
4.7.1
O Teorema de Diferencia
c
ao de Lebesgue
222
Demonstraca
o. Seja g(x) = f (x) x, que e contnua em R. Notamos que
Se y > x entao
f (y) f (x)
> g(y) > g(x), e
yx
f (bn ) f (an )
g(bn ) g(an ).
bn an
223
f (x + h) f (x)
f (x + h) f (x) d
, D (f )(x) = lim inf
h0
h
h
f (x + h) f (x) e
f (x + h) f (x)
, D (f )(x) = lim inf
h0
h
h
Exemplos 4.7.4.
1. Para a funcao de Dirichlet dir, temos
d
224
Demonstraca
o. Provamos apenas a afirmacao a), e supondo que I e um intervalo limitado.SDeixamos a conclusao da demonstracao para o exerccio 4.
Sendo D (I) =
mos do Lema de Riesz
n=1 ]an , bn [, e In = ]an , bn [, conclu
na forma 4.7.1 que
m(D (I)) =
m(In ) =
n=1
n=1
(bn an )
n=1
[f (bn ) f (an )] .
n=1
[f (bn ) f (an )] =
n=1
Demonstraca
o. Limitamo-nos a demonstrar a), supondo que D (f )(x) >
em E, deixando a conclusao do argumento para o exerccio (5). Considere-se
um qualquer aberto U =
ao intervalos
n=1 In E, onde os conjuntos In s
abertos disjuntos. Notamos de 4.7.5 a) que E In D (In ). Temos de
4.7.6 a) que
m (E In ) m(D (In )) m(f (In )) = (In ), donde
m (E)
n=1
m (E In )
n=1
225
Lema 4.7.8. =
6 D (f ) De (f ) qtp em R.
Demonstraca
o. Sejam 0 < < , m (E) 6= , e suponha-se que
d
0, e E =
n=1 En , donde mais uma vez m (E) = 0. Por outras palavras:
n
o
d
(i) E x R : De (f )(x) < < < D (f )(x) = m(E) = 0.
Dada uma enumeracao q1 , q2 , , qn , dos racionais positivos, seja
1
d
e
En,k = x R : D (f )(x) < qn < qn + < D (f )(x) .
k
n
o
S
S
d
Notamos que E = x R : De (f )(x) < D (f )(x) =
n=1 k=1 En,k , e
temos m(En,k ) = 0, de acordo com (i). Conclumos que m(E) = 0, i.e.,
d
f (b)f (a)
,
226
D (f ) De (f ) D (f ) Dd (f ) D (f ) < , qtp em R.
Conclumos que De (f ) = D (f ) = Dd (f ) = D (f ) < qtp em R, i.e., f e
diferenci
avel qtp em R.
Aproveitamos para introduzir mais um exemplo interessante, a chamada
funca
o de Hellinger (17 ), que tem derivada nula qtp e e contnua, como a
escada do Diabo, mas que e alem disso estritamente crescente.
Exemplo 4.7.11.
o de Hellinger : Fixamos 0 < < 21 arbitrario, e definimos uma
a func
a
sucess
ao de funcoes fn : [0, 1] [0, 1], cada uma estritamente crescente e
contnua. Consideramos os pontos Pn = { 2kn : 0 k 2n }, e notamos que
Pn Pn+1 . O gr
afico da funcao fn e um segmento de recta entre cada dois
pontos consecutivos de Pn (ver figura 4.7.2). Passamos a definir os valores
fn ( 2kn ), para 0 k 2n :
f0 (0) = 0, e f0 (1) = 1, ou seja, f0 (x) = x, para qualquer 0 x 1,
k
k+1
e o ponto medio
fn+1 ( 2k+1
2n+1 ) = fn ( 2n ) + (1 )fn ( 2n ), ou seja, se x
k k+1
de [ 2n , 2n ], fn+1 (x) e uma combinaca
o convexa dos valores de fn , nos
extremos desse mesmo intervalo.
227
k1
k
) < fn (x) < fm (x) < fn ( n ), ou
2n
2
k
k1
0 < fm (x) fn (x) < fn ( n ) fn ( n ).
2
2
(3) fn (x) h (x) para qualquer 0 x 1, onde 0 h (x) 1, e h e
estritamente crescente.
fn (
h (bn ) h (an )
fn (bn ) fn (an )
=
= 2n ain (1 a)nin h (x).
bn an
bn an
Supondo agora que 0 < h (x) < +, observamos que, neste caso,
o pode ser igual a 2 ou 2(1 ), e impossvel que
Mas como cn+1
cn s
Por outras palavras, s
o podemos ter h (x) = 0.
cn+1
cn
cn+1
cn
1.
1.
228
4.7.2
A Decomposi
c
ao de Lebesgue
Demonstraca
o. Sabemos de 4.7.12 que tem suporte em S, onde S e o
suporte de f . Supomos sem perda de generalidade (porque) que E S.
Seja ainda s uma funcao simples B-mensur
avel tal que 0 s f . Dada
uma particao apropriada a s, formada por conjuntos Ek B(R), temos
s=
n
X
n
[
k=1
k=1
Ek = F E.
k=1
k=1
18
Recorde a definic
ao de Sf , apresentada em 4.5.3.
229
Demonstraca
o. Seja S o suporte de f , e T o conjunto onde f (x) = .
Temos E T = , e podemos supor, sem perda de generalidade, que E S.
Existem funcoes simples
B-mensur
0 sn f , tais que sn (x) f (x)
R
R aveis
Suponha-se agora que f (x) < 1 para x E. Recorde-se que, neste caso,
existem funcoes simples L-mensur
aveis que convergem uniformemente para
f , e podemos assumir que Nn = n2n , e f (x) n,k + 21n para qualquer
x En,k . Segue-se de 4.7.7 que
1
(i) (En,k ) n,k + n m(En,k ).
2
Supondo finalmente que m(E) < , um calculo simples mostra que
Z
sn dm =
n2
X
k=1
n,k m(En,k )
n2
X
k=1
(En,k )
1
m(E).
2n
230
Como
E sn dm
f dm = (E).
c
f dm = (E).
f dm =
(E T ) =
ET c
A mesma decomposica
o e v
alida quando f e contnua e de variaca
o limitada,
231
Demonstraca
o. Definimos F em toda a recta real tomando F (x) = F (a)
claro que F e de variacao
para x < a, e F (x) = F (b), para x > b. E
limitada e absolutamente contnua em R, e sabemos de 4.6.13 que a derivada
generalizada m. Conclumos que (T ) = 0, e e imediato de 4.7.17 que
Z
Z
f dm, para qualquer E B(R).
f dm + (E T ) =
(E) =
E
232
4.7.3
Diferencia
c
ao de Fun
c
oes de Varia
c
ao Limitada
Uma an
alise atenta da demonstracao do Lema do Sol Nascente de
Riesz (4.7.1) revela que a continuidade da funcao em causa e usada na justificacao das seguintes afirmacoes:
(1) U = {x I : g(x) < g(y0 )} e aberto.
(2) S = {x [x0 , bn ] : g(x) g(x0 )} e fechado.
(3) g(x) g(bn ), para qualquer x ]an , bn [= g(an ) g(bn ).
evidente do lema 4.7.22 que as afirmacoes (1) e (2) s
E
ao validas sem qualquer alteracao desde que g seja uma funcao semi-contnua superior. A
afirmacao (3) nao e certamente sempre verdadeira, mas pelo menos desde
que g tenha limite `
a direita em qualquer ponto podemos ainda concluir que:
(3) Como g(x) g(bn ), para qualquer x ]an , bn [, temos g(a+
n ) g(bn ).
Como as funcoes de variacao limitada tem limites laterais em qualquer ponto,
o Lema de Riesz nas duas versoes que apresentamos (4.7.1 e 4.7.2) pode ser
enunciado como se segue:
233
ao uni
oes disjuntas de intervalos abertos, onde
n=1 ]cn , dn [ s
f (bn )f (a+
n ) (bn an ) , e f (dn )f (cn ) (dn cn ) , para qualquer n
234
f (x+h)f (x)
h
f (xn )f (x)
xn x
> .
> .
2. Mantendo as hip
oteses e notacao do lema 4.7.1, mostre que se an < x < bn ,
ent
ao f (x) < f (bn ), e se an > a, ent
ao f (an ) = f (bn ). Como se pode adaptar
o lema 4.7.1 para o caso em que I nao e limitado?
3. Demonstre o corolario 4.7.2.
4. Conclua a demonstracao do teorema 4.7.6.
5. Conclua a demonstracao do teorema 4.7.7.
e
235
0, se x < 0,
cos(x) + F (x), se 0 x < 1,
f (x) =
0, se x 1.
f
(x)
converge
em
R.
Prove
que
f
n
n=1
n=1 fn . sugestao: Use a
unicidade da decomposicao de Lebesgue. Este resultado diz-se o Teorema de
o de Fubini, ou mais coloquialmente, o pequeno teorema de
diferenciac
a
Fubini.
19. Mostre que qualquer funcao discreta de variacao limitada e singular.
20. Suponha que f : [0, 1] [0, 1] e uma funcao contnua, estritamente crescente, e singular. Mostre que a medida de Lebesgue-Stieltjes determinada pela
inversa f 1 : [0, 1] [0, 1] e singular.
236
Captulo 5
238
5.1
A Medida m
Figura 5.1.1:
f d =?
Dado um qualquer espaco de medida (X, M, ), propomo-nos agora identificar as funcoes f : X R, ditas Mmensuraveis, e definir integrais
de Lebesgue em ordem `a medida , para uma subclasse apropriada das
funcoes M-mensur
aveis. O principal obst
aculo tecnico a vencer e, naturalmente, a indispensavel generalizacao da identidade
Z
f dmN = mN +1 (+
E (f )) mN +1 (E (f )).
E
ao dados por
No caso de f : X R, os conjuntos +
E (f ) e E (f ) s
+
E (f ) = {(x, y) X R : x E, e 0 < y < f (x)}, e
Os conjuntos +
ao evidentemente subconjuntos de X R
E (f ) e E (f
R ) s
e, por isso, a definicao de E f d exige uma resposta previa `as seguintes
quest
oes:
5.1. A Medida m
239
Exemplos 5.1.2.
1. Na teoria das probabilidades, e dado um espaco de probabilidades (X, M, ),
veis aleato
rias. Tipicamente, teas funcoes M-mensur
aveis dizem-se varia
N
N
mos X = R , M = B(R ), e as variaveis aleat
orias s
ao, como veremos imediaveis. O integral de f em ordem
tamente a seguir, as funcoes borel-mensura
dio, ou expecta
vel, de f .
a e o chamado valor me
2. Quando X = N, as funcoes f : X R s
ao simplesmente as sucess
oes reais.
Consideramos a -algebra M = P(N), com a medida de contagem (cardinal)
es
= #. Veremos que as funcoes M-mensur
aveis s
ao aqui todas as sucesso
reais.
Veremos
tamb
e
m
que
o
integral
de
f
:
N
R
em
ordem
a
#
e
P
f
(n),
sempre
que
esta
s
e
rie
e
absolutamente
convergente.
n=1
3. Os integrais de Stieltjes s
ao, como veremos, integrais em ordem a
medidas de Lebesgue-Stieltjes. Por exemplo, se f 0 e Borel-mensur
avel em
R, e e a medida de Cantor, o integral
Z
f d
R
k=1
diam(P)0
k=1
A resposta `
as quest
oes colocadas em 5.1.1 e surpreendentemente simples,
e resulta de adaptar a afirmacao feita em 2.4.22 a), ou seja,
A L(RN ) e B L(RM ) = A B L(RN +M ), e
mN +M (A B) = mN (A)mM (B).
Abstramos daqui o princpio de que o produto cartesiano de conjuntos mensur
aveis deve ser mensur
avel, e a sua medida deve ser o produto das medidas
240
5.1. A Medida m
241
f d = ( m)(+
E (f )) ( m)(E (f )).
E
vel em E se e s
c) Se f e M-mensur
avel em E, entao f e -soma
o se
( m) (E (f )) < .
Exemplos 5.1.9.
1. o espac
o de borel: Se (X, M, ) = (RN , B(RN ), mN ) e o espaco de Borel,
ja vimos que
M B(R) = B(RN +1 ).
Por esta raz
ao, as funcoes B(RN )-mensuraveis, de acordo com a definicao
acima, s
ao as funcoes Borel-mensur
aveis, que introduzimos em 3.1.1.
A medida mN m coincide com a medida mN +1 , pelo menos na classe dos
conjuntos elementares, e sabemos do Captulo 2 que neste caso mN m =
mN +1 , em toda a -algebra B(RN +1 ).
]0, an [, se an > 0,
, se an = 0,
In =
n=1
An In , e notamos que:
242
n=1
(# m)(An In ) ==
n=1
n=1
An In ) =
#(An ) m(]0, an [) =
an .
n=1
X
|an |,
|f |d# =
X
n=1
e as funcoes #-som
aveis correspondem `as series absolutamente convergentes.
simples mostrar que, para as funcoes #-som
E
aveis, temos igualmente
Z
f d# =
an .
n=1
A quest
ao da mensurabilidade das secco
es de conjuntos mensuraveis e
de import
ancia fundamental, conforme vimos no Captulo anterior, quando
estud
amos o teorema de Fubini-Lebesgue e as suas m
ultiplas consequencias.
No que se segue, se E X Y , x X, e y Y , consideramos apenas
es dos tipos Ex = {y Y : (x, y) E}, e E y = {x X : (x, y) E}.
secc
o
Demonstraremos mais adiante uma versao (5.3.6) muito geral do teorema de
Fubini-Lebesgue, mas podemos provar imediatamente o seguinte resultado.
Teorema 5.1.10. Sejam (X, M) e (Y, N ) espacos mensur
aveis quaisquer.
Se E M N , i.e., se E e M N -mensur
avel, ent
ao
a) Para qualquer x X, a secca
o Ex Y e N -mensur
avel, e
b) Para qualquer y Y , a secca
o E y X e M-mensur
avel.
c) Se E X, f : E [0, +] e M-mensur
avel, e 0, ent
ao os
conjuntos
F () = {x E : f (x) > }, e {x E : f (x) < }
s
ao M-mensur
aveis para qualquer .
5.1. A Medida m
243
Demonstraca
o. Seja A a classe formada por todos os conjuntos E X Y ,
cujas seccoes Ex e E y s
ao mensuraveis, nos espacos apropriados.
A = {E X Y : Ex N , xX , e E y M, yY } .
Observamos que:
(i) A classe A contem todos os conjuntos do tipo A B, com A M e
B N : Basta notar que:
A, se y B
B, se x A
, e (A B)y =
(A B)x =
, se y 6 B,
, se x 6 A,
(ii) A classe A e uma -
algebra: Observamos que:
(E c )x = (Ex )c , (E c )y = (E y )c , e,
Se E =
En , entao Ex =
n=1
(En )x , e E y =
n=1
Como M e N s
ao -
algebras, deve ser claro que
E M N E c M N , e En M N
(En )y .
n=1
n=1
En M N .
244
Demonstraca
o. Demonstramos apenas b), e para o caso s 0. Como Ai
M, os conjuntos Ri = Ai ]0, i [ s
ao M B(R)-mensuraveis. temos
E (s) = +
E (s) =
n
[
i=1
sd = ( m)(E (s)) =
n
X
i=1
Ai ]0, i [, donde
( m)(Ai ]0, i [) =
n
X
i=1
i (Ai ).
5.1. A Medida m
245
Exemplo 5.1.14.
espac
os de probabilidade: Seja (X, M, ) um espaco de probabilidades, e
s : X R uma variavel aleat
oria simples. Suponha-se que s assume os valores
a1 , a2 , , an , respectivamente, nos conjuntos A1 , A2 , , An . Na terminologia usual da teoria das probabilidades, temos:
O conjunto Ai e o acontecimento s(x) = ai ,
(Ai ) e a probabilidade de Ai , i.e., a probabilidade de s(x) = ai .
O integral de s em ordem a e
Z
sd =
n
X
i (Ai ),
i=1
246
[
X
En , com En C .
(En ) : E
(E) = inf
n=1
n=1
Temos ent
ao que
a) e uma medida exterior em S, e portanto a restrica
o de a
` classe
n=1
En = (E)
n=1
5.1. A Medida m
247
Demonstraca
o. Se E, C C, entao C E, C E c C, porque C e
uma semi-algebra. Como (C) = (C) para C C, e e aditiva em
C, temos (C E) + (C E c ) = (C E) + (C E c ) = (C).
Conclumos de (ii) que C M , o que termina a verificacao de b).
Se C e uma a
lgebra em S, o teorema (5.1.15) pode enunciar-se como o:
Corol
ario 5.1.16 (Teorema de Extens
ao de Hahn (1 )). Se C e uma a
lgebra
em S, : C [0, ], e () = 0, ent
ao existe um espaco de medida (S, A, )
que e extens
ao de (S, C, ) se e s
o se e -aditiva em C.
Demonstraca
o. Basta observar que se C e uma algebra em S, entao e uma
cobertura sequencial de S.
Exemplo 5.1.17.
A definicao que demos da medida de Lebesgue e uma aplicacao directa do
teorema 5.1.15. Neste caso, temos S = RN , podemos tomar C = E(RN ), ou
C = J (RN ), e e claro que = cN e o conte
udo de Jordan.
n=1
An Bn , entao (A)m(B) =
(An )m(Bn ).
n=1
1
Hans Hahn, austraco, 1879-1934, mais conhecido pelo Teorema de Hahn-Banach
da An
alise Funcional.
248
(A B) =
y
((A B) ) =
n=1
n=1
(An Bn )y , donde
n=1
Esta u
ltima identidade pode ser integrada termo-a-termo, de acordo com o
teorema de Beppo Levi, porque e uma serie de funcoes Borel-mensuraveis,
nao-negativas. Temos, por isso:
(A)m(B) =
n=1
(An )m(Bn ), ou (A B) =
n=1
(An Bn ).
(Aj Bj ) =
n
X
k=1
(Ck Dk ).
Demonstraca
o. Basta-nos observar que a classe R e fechada em relacao a
interseccoes, e a diferenca de dois conjuntos em R e uma uni
ao disjunta
finita de conjuntos em R. A demonstracao pode, portanto, ser concluda
como no caso de 1.1.9.
Tal como no Captulo 1, alargamos a definicao de aos conjuntos elementares:
5.1. A Medida m
249
Defini
c
ao 5.1.20. Se E E e P = {A1 B1 , A2 B2 , , An Bn } e uma
particao de E em conjuntos de R, definimos
(E) =
n
X
j=1
(Aj Bj ) =
n
X
(Aj )m(Bj ).
j=1
n=1
(An )m(Bn ) : E
n=1
An Bn , An M, Bn B(R)}.
250
[
X
(E) = inf
En , com En C, para qualquer n N .
(En ) : E
n=1
n=1
251
7. Se E X, e (E) = 0, e necessariamente
verdade que qualquer funcao
R
f : E R e -som
avel em E, e E f d = 0?
8. Mostre que, se f : E [0, ] e M-mensur
avel e 0, ent
ao os conjuntos
F () = {x E : f (x) > } e G() = {x E : f (x) < } s
ao M-mensur
aveis
(5.1.10 c)).
5.2
Func
oes Mensur
aveis e Integrais
As propriedades elementares do integral de Lebesgue, tal como demonstradas na seccao 3.1, mantem-se essencialmente inalteradas. Para generalizar os
respectivos enunciados para o contexto de um espaco de medida arbitr
ario
(X, M, ), basta em geral supor que as funcoes em causa estao definidas
em subconjuntos de X, substituir as referencias `a medida de Lebesgue mN
por referencias a , e ler as expressoes mensur
avel e somavel, respectivamente, como M-mensur
avel e -somavel. Esta observacao e igualmente
valida para definicoes, e usamos como exemplo 3.1.3:
Defini
c
ao 5.2.1 (Funcoes Vectoriais: Mensurabilidade e Integral). Se E
M
S X, e f : S R , donde f = (f1 , f2 , , fM ), com fk : S R, entao
vel em E se e s
a) f e M-mensura
o se as funcoes fk s
ao M-mensur
aveis
em E, para 1 k M , no sentido de 5.1.8.
vel em E se e s
b) f e -soma
o as funcoes fk s
ao -somaveis em E.
252
c) Se f e M-mensur
avel em E, o integral de lebesgue de f (em
ordem a ) em E e dado por
Z
Z
Z
Z
fM d ,
f2 d, ,
f1 d,
f d =
E
ent
ao e uma medida em M, e .
Demonstraca
o. Provamos este teorema apenas para f nao-negativa. Para
mostrar que e uma medida de Radon basta-nos provar que e -aditiva,
ja que () =S0. Consideramos conjuntos disjuntos e M-mensur
aveis En
tais que E =
E
,
e
observamos
que:
n=1 n
E (f ) =
ao disjuntos, donde
En (f ), onde os conjuntos En (f ) s
n=1
( m)(E (f )) =
n=1
(En ).
n=1
253
lim fn d = lim
E n
n E
fn d.
Os conjuntos E (f ) = +
E (f ) E (f ) definem-se por
+
E (f ) = {(x, y) X R : x E, e 0 < y f (x)},
254
n E
+
E (fn ).
n=1
Como os conjuntos +
ao crescente, segue-se, do
E (fn ) formam uma sucess
teorema da convergencia monotona para medidas 2.1.12, que
Z
Z
+
+
f d.
fn d
( m)(E (fn )) ( m)(E (f )), i.e.,
E
A proposicao 3.4.6, sobre funcoes simples mensuraveis, mantem-se inalterada, exactamente com a mesma demonstracao:
Proposi
c
ao 5.2.10. Seja E S X, c R, e s, t : S R funco
es
simples M-mensur
aveis em E. Temos ent
ao:
a) cs, s+ , s , |s|, s + t, e st s
ao simples, e M-mensur
aveis em E.
Se s e t s
ao n
ao-negativas em E, ou se s e t s
ao -som
aveis em E,
temos ainda
255
R
R
(s
+
t)d
=
sd
+
E
E
E td.
R
R
c) Homogeneidade: E (cs)d = c( E sd).
b) Aditividade:
256
o espac
o 1 : Se e a medida de contagem, ent
ao a relacao e a igualdade
usual, i.e., f g f = g. O espaco F (N) e o conjunto de todas
as sucess
oes
P
oes reais tais que n=1 |f (n)| <
reais, e o espaco L1 (N) e formado pelas sucess
. Este espaco e usualmente designado por 1 .
Demonstraca
o. Supomos sem perda de generalidade que
As funcoes fn e F s
ao finitas em E,
f (x) = limn fn (x), para qualquer x E, e
|fn (x)| F (x), tambem para qualquer x E.
257
A funcao f e M-mensur
avel em E. Como |f (x)| F (x), conclumos que f e
-somavel e finita em E. Consideramos as funcoes auxiliares gn = |fn f |
0, e aplicamos o Lema de Fatou (II), para concluir que
lim sup
n
|fn f |d 0, ou lim
n E
|fn f |d = 0.
X
X
fn d .
fn d =
E
n=1
n=1
n=1
Z
X
( |fn |d) < +.
kfn k1 =
n=1
Temos ent
ao que:
a) A serie
n=1 fn (x)
b) Existem funco
es M-mensur
aveis f : E R tais que f (x) =
-qtp em E, e
c) Se f : E R e M-mensur
avel em E e f (x) =
E, ent
ao f e -som
avel em E, e
lim
m E
|f
m
X
n=1
fn (x)|d = 0, donde
E n=1
n=1 fn (x),
fn )d =
n=1 fn (x),
-qtp em
Z
X
( fn d).
n=1
P
ao existe f
Corol
ario 5.2.21.
Se fn L1 (E) e
n=1 kfn k1 < +, ent
P
1 (E)
L1 (E) tal que k m
f
f
k
0.
Em
particular,
L
e
um
espaco de
n
n=1
1
Banach.
258
259
se os integrais em ordem `
as medidas de Radon + e estao definidos, e a
expressao acima nao conduz a indeterminacoes. R
Dizemos que f e -somavel em E se e s
o se E f d < .
Exemplos 5.2.26.
R
interessante observar que, na expressao
E
X f d, podemos considerar,
em alternativa, a funcao f como fixa, e a medida como vari
avel. Por
exemplo, se f : E R e mensuravel e limitada em E, entao e -somavel,
qualquer que seja a medida real definida em M.
Exemplos 5.2.27.
1. Seja M (B(RN )) o espaco de todas as medidas reais definidas em B(RN ).
Se f : RN R e B-mensur
avel e limitada em E RN , podemos definir
: M (B(RN )) R por
Z
f d.
() =
O proximo teorema indica algumas identidades sugeridas por estas observacoes. A respectiva demonstracao e o exerccio 9.
Teorema 5.2.28. Seja f : X R uma funca
o M-mensur
avel, e e
medidas definidas em (X, M). Temos ent
ao:
3
260
a) Aditividade: Se f , e s
ao n
ao-negativas, ou se f e -som
avel e
-som
avel,
Z
Z
Z
f d.
f d +
f d ( + ) =
X
ao n
ao-negativos, ou se f e b) Homogeneidade: Se f , e c R s
som
avel e c R,
Z
Z
f d .
f d (c) = c
X
Exerccios.
b) Determine as funcoes A(x) =Rm(E (f )xR), e B(y) = #(E (f )y ). Determine igualmente os integrais R Ad#, e R Bdm.
261
c) Supondo
que nPe a usual medida de Dirac no ponto n N, n =
Pn
b) A formula anterior e v
alida, mesmo que f e/ou g nao sejam contnuas?
c) Supondo que e s
ao medidas reais, a formula anterior e v
alida, quando
f e g s
ao contnuas?
rmula de
d) Suponha que h : R R e B-mensur
avel, e prove a seguinte fo
integrac
ao por substituic
ao:
Z
Z
h f d =
hdm
E
f (E)
b) RSe f e mensuravel
e e s
ao medidas de Radon, ent
ao
R
R e nao negativa,
f
d.
f
d
+
f
d
(
+
)
=
X
X
X
5.3
O Teorema de Fubini-Lebesgue
Estudamos nesta seccao versoes mais abstractas do teorema de FubiniLebesgue, agora aplicaveis no produto cartesiano de quaisquer dois espacos
de medida (X, M, ) e (Y, N , ). A teoria que vamos desenvolver exige a
definicao de um espaco de medida com suporte no produto cartesiano dos
espacos de medida indicados, e para isso demonstraremos o seguinte resultado.
262
n=1
n=1
n=1
(An Bn ).
263
b) Se P = {A1 B1 , , Am Bm } e Q = {C1 D1 , , Cn Dn } s
ao
partico
es de E em rect
angulos em R, ent
ao
m
X
j=1
(Aj Bj ) =
n
X
k=1
(Ck Dk ).
Defini
c
ao 5.3.4. Se E E e P = {A1 B1 , A2 B2 , , Am Bm } e uma
particao de E em conjuntos de R, definimos
(E) =
m
X
j=1
(Aj Bj ) =
m
X
(Aj )(Bj ).
j=1
n=1
(An )(Bn ) : E
n=1
An Bn , An M, Bn N }.
Estabelecido assim o primeiro resultado que nos tnhamos proposto demonstrar nesta seccao, passamos ao estudo do teorema de Fubini-Lebesgue
na forma aplicavel a conjuntos:
Teorema 5.3.6 (Teorema de Fubini-Lebesgue (I)). Dados espacos de medida -finitos (X, M, ) e (Y, N , ), e supondo que o conjunto E X Y
e M N -mensur
avel, ent
ao
a) As secco
es Ex = {y Y : (x, y) E} N , para todo o x X,
b) As secco
es E y = {x Y : (x, y) E} M, para todo o y Y ,
c) A funca
o A(x) = (Ex ) e M-mensur
avel em X,
d) A funca
o B(y) = (E y ) e N -mensur
avel em Y , e
Z
Z
(E y )d = ( )(E).
(Ex )d =
X
264
m
[
n=1
An Bn , com An M e Bn N ,
m
X
m
X
n=1
n=1
A e B s
ao, portanto, funcoes simples mensuraveis, respectivamente em
(X, M), e em (Y, N ), e temos
Z
Z
m
X
Bd.
(Bn )(An ) = ( )(E) =
Ad =
X
n=1
265
Como MN e a -
algebra gerada pelos rect
angulos, provaramos que
MN FL(), e portanto que MN = FL(), estabelecendo que
FL() e uma -
algebra, mas esta ideia nao e facil de aplicar directamente.
n=1
En = (En )x
(En )x = Ex .
n=1
266
267
Como S e uma
algebra temos Z S, donde Z mon(S), e mon(S) e
tambem uma
algebra. Segue-se de 5.3.12 que mon(S) e uma -
algebra.
A demonstracao do teorema de Fubini-Lebesgue 5.3.6 e uma aplicacao
muito simples deste u
ltimo resultado:
Demonstraca
o. Limitamo-nos a observar que
M N mon(E), porque mon(E) e uma -
algebra que contem E, e
mon(E) FL( ), porque FL( ) e uma classe monotona que
contem E.
Como FL( ) M N , temos M N = mon(E) = FL( ).
Estabelecido o teorema de Fubini-Lebesgue na forma aplicavel a conjuntos, e possvel aplica-lo igualmente a funcoes. Consideramos a seguir o caso
de funcoes simples M N -mensur
aveis e nao-negativas.
Lema 5.3.15. Se f : X Y [0, +[ e simples e M N -mensur
avel,
a) As funco
es gx (y) = f (x, y) s
ao simples e N -mensur
aveis, para todo o
x X,
b) As funco
es hy (x) = f (x, y) s
ao simples e M-mensur
aveis, para todo
o y Y,
R
c) A funca
o A(x) = Y gx d e M-mensur
avel e n
ao-negativa,
R
d) A funca
o B(y) = X hy d e N -mensur
avel e n
ao-negativa, e
Z
Ad =
X
Z Z
X
gx d d =
Z Z
Y
ZZ
Z
Bd =
hy d d =
Y
f d().
XY
Demonstraca
o. Suponha-se que E e um conjunto M N -mensur
avel, e
f = E e a funcao caracterstica de E, donde
ZZ
f d( ).
( )(E) =
XY
268
( )(E) =
Ad =
Z Z
X
gx d d.
Y
claro que o
O resultado fica assim demonstrado para a funcao A. E
mesmo argumento e aplicavel `a funcao B, o que termina a demonstracao
quando f e uma funcao caracterstica.
Se f e uma funcao simples, entao f e uma combinacao linear finita de
funcoes caractersticas, e o resultado segue-se da linearidade e homogeneidade do integral.
O teorema de Fubini-Lebesgue para funcoes mensuraveis n
ao-negativas
e um corolario do resultado anterior, obtido aproximando a funcao f por
funcoes simples mensuraveis. A sua demonstracao e o exerccio 7.
Teorema 5.3.16 (Teorema de Fubini-Lebesgue (II)). Se f : X Y
[0, +] e M N -mensur
avel,
a) As funco
es gx (y) = f (x, y) s
ao N -mensur
aveis, para todo o x X,
b) As funco
es hy (x) = f (x, y) s
ao M-mensur
aveis, para todo o y Y ,
R
c) A funca
o A(x) = Y gx d e M-mensur
avel,
R
d) A funca
o B(y) = X hy d e N -mensur
avel, e
Z Z
gx d d =
Z Z
ZZ
hy d d =
XY
f d( ).
XY
XY
269
(1) L(RN ) L(RM ) 6= L(RN +M ), o que mostra que a teoria em 3.3 nao e
um caso particular dos resultados desta seccao, e
(2) Os espacos (X, M, ) e (Y, N , ) nao foram aqui supostos completos.
simples introduzir neste contexto abstracto as extensoes completas aproE
priadas, definidas pelo processo que indic
amos em 2.3.16.
Exemplos 5.3.18.
1. A menor extens
ao completa de (X Y, MN , ) e o espaco (X Y, K, ),
que mencionamos em 5.3.5.
2. A menor extens
ao completa de L(RN ) L(RM ) e L(RN +M ).
gx d d =
Y
Z Z
Y
ZZ
hy d d =
f d.
XY
270
Exemplo 5.3.20.
Tomamos X = Y = [0, 1], sendo = # a medida de contagem e M = P(X), e
= m a medida de Lebesgue, com N = L(Y ). Definimos f (x, y) = 1 se x = y,
e f (x, y) = 0, se x 6= y. O espaco (X, M, ) nao e -finito, e deixamos como
exerccio verificar a mensurabilidade de f , e mostrar que neste caso temos
Z Z
Z Z
gx d d 6=
hy d d.
X
Exerccios.
1. Mostre que a classe E formada pelas uni
oes finitas de rectangulos em R
(os conjuntos elementares) e uma algebra em X Y .
o: Suponha primeiro que os espacos (X, M, )
2. Demonstre 5.3.9b). sugesta
e (Y, N , ) s
ao finitos, e depois generalize o argumento para espacos -finitos.
3. Mostre que a classe monotona A e uma -algebra se e s
o se A e uma algebra.
4. Verifique as afirmacoes feitas no texto nos exemplos 5.3.11.2 a 5.3.11.4.
5. Para concluir a demonstracao de 5.3.14, verifique que comp(E) e uma classe
monotona.
6. Seja S uma classe de subconjuntos do conjunto Z. Recorde 5.3.13, e mostre
que mon(S) e a menor classe monotona que contem S, i.e., prove que:
a) Se M e uma classe monotona que contem S ent
ao mon(S) M,
5.4
O Teorema de Radon-Nikodym-Lebesgue
271
272
f d, para qualquer E M.
Demonstraca
o. De acordo com 5.4.4, existe uma funcao M-mensur
avel f :
X [0, +] e uma medida de Radon tal que
Z
f d + (E), para qualquer E M.
(E) =
E
Como , o par (, 0) e a (
unica) decomposicao de Lebesgue de . E
por isso evidente que = 0.
Os resultados anteriores s
ao facilmente adaptados a medidas reais.
Teorema 5.4.6 (de Radon-Nikodym-Lebesgue (II)). Se e uma medida
de Radon -finita, e e uma medida real, existe f L1 (X) e uma medida
real tal que
Z
f d + (E) para qualquer E M.
(E) =
E
Demonstraca
o. Sendo = + a decomposicao de Jordan de , e claro
que + e s
ao medidas de Radon finitas em (X, M). O teorema 5.4.4
e aplicavel `
as medidas + e , donde existem funcoes M-mensur
aveis
f+ , f : X [0, +], e medidas de Radon + , tais que
Z
f d + (E), para qualquer E M.
(E) =
E
273
d
dm
e nula.
d
dm
e o 2o Teorema Fun-
274
A igualdade
d
dm
EF1
EF1
EF2
EF2
(E F1 ) + (E F2 ) = (E),
275
Como
fn d
f d, para qualquer E M.
f D .
f d (E), i.e.,
f d +
f d =
Ec
f d = (X)
hd
gd +
E
f d.
Ec
Conclumos que
(E)
f d
Acab
amos de provar que e um integral indefinido, e e, por isso, uma
medida absolutamente contnua em relacao a . Para concluir a demonstracao de 5.4.4, para o caso em que e s
ao medidas de Radon finitas,
resta-nos mostrar que a diferenca = e singular em relacao a .
Lema 5.4.14. Se e s
ao medidas de Radon finitas, e e definido por
5.4.12, ent
ao = e uma medida de Radon finita, e .
276
Demonstraca
o. e s
ao medidas de Radon finitas e , donde =
e uma medida de Radon finita. Designamos por (Pn , Nn ) uma decomposicao
de Hahn da medida real n = n1 , e registamos que
(1) Se P =
Pn e N =
n=1
n=1
Nn , entao X = P N , e P N = .
1
1
(N ) 0, ou (N ) (N ).
n
n
1
1
(E Pn ) = (E Pnc ) + (E Pn ) + (E Pn ).
n
n
1
(E Pn ) = (E Pn ) n (E Pn ), e
n
n (E) = (E Pnc ) + (E Pn ) n (E Pn ).
(Pn ) = 0, ou (P ) = 0, i.e.,
n=1
277
X=
n=1
fn dn =
Definimos
f (x) =
fn d. Temos, portanto,
fn (x), e (E) =
(2) (E) =
n=1
(E Xn ) =
Z X
E n=1
fn d +
n (E).
n=1
n=1
n (E) =
n=1
n=1
n (E) =
f d + (E).
E
Exerccios.
278
4. Suponha que e s
ao medidas de Radon -finitas, e .
R
R
d
a) Mostre que se f e M-mensur
avel, e nao-negativa, ent
ao X f d = X f d
d.
R
R
d
d
b) Prove que se f L1 (X) ent
ao f d
L1 (X) e X f d = X f d
d.
d
d
c) Mostre que se e s
o se
d d
d d
= 1.
5. Suponha que , e s
ao medidas de Radon -finitas, e .
a) Prove que
d
d
d d
d d .
d(+)
d
d
d
d
d .
5.5
n=1
X
dn
.
d
n=1
Os Espacos Lp
Na discuss
ao que se segue, identificamos ( i.e., tratamos como um u
nico
objecto) funcoes mensuraveis que diferem entre si num conjunto de medida
nula. Sendo (X, M, ) um espaco de medida fixo, introduzimos
Defini
c
ao 5.5.1 (Funcoes Equivalentes). Se f, g : X R s
ao M-mensur
aveis, entao f e g dizem-se equivalentes, e escrevemos f g, quando
({x X : f (x) 6= g(x)}) = 0, i.e., se e s
o se f (x) = g(x) -qtp.
6
Esta e uma forma abstracta do Teorema de Diferenciac
ao de Fubini para series de
func
oes crescentes, a que tambem cham
amos o pequeno teorema de Fubini.
5.5. Os Espacos Lp
279
ncia,
Podemos demonstrar facilmente que a relacao e de equivale
no conjunto de todas as funcoes mensuraveis f : X R. Por esta razao, consideramos o conjunto quociente, formado pelas classes de equivalencia
de todas as funcoes mensuraveis f : X R, que designaremos aqui F (X).
muito simples verificar que (7 )
E
Teorema 5.5.2. F (X) e um espaco vectorial.
Diz-se frequentemente que F (X) e o espaco das (classes de) funcoes
mensuraveis, definidas e finitas qtp em X, porque qualquer funcao M-mensur
avel definida -qtp, e finita tambem -qtp, determina uma u
nica classe
em F (X), mesmo quando o espaco (X, M, ) nao e completo.
Teorema 5.5.3. Seja f : E R M-mensur
avel, e finita -qtp em E. Se
(E c ) = 0, ent
ao:
a) Existe g : X R, M-mensur
avel em E, tal que g(x) = f (x), -qtp
em E, e
b) Se h : X R e M-mensur
avel em X, e h(x) = f (x) -qtp em E,
ent
ao h g.
Demonstraca
o. a) A funcao f : X R, que coincide com f no conjunto E,
e e nula em E c , e mensuravel em X. Como H = {x E : |f (x)| = } e
obvio que f (x) = g(x), se
mensuravel, a funcao g = fH c e mensuravel. E
c
c
x 6 E H, onde (E H) = 0, i.e., f (x) = g(x), -qtp em E.
b) Os conjuntos A = {x E : g(x) 6= f (x)} e B = {x E : h(x) 6= f (x)}
s
ao mensuraveis, e tem medida nula. Como {x X : h(x) 6= g(x)}
E c A B, e
obvio que g h.
A classe de equivalencia de f e designada por [f ], mas, em geral, escreveremos simplesmente f , no lugar de [f ]. Bem entendido, teremos sempre
de verificar que as nocoes que associamos a uma qualquer classe [f ] s
ao
efectivamente independentes do representante f escolhido. Por exemplo, se
f g, e f e somavel, e evidente que g e igualmente somavel, e, portanto, e
razo
avel referirmo-nos a classes de equivalencia somaveis.
Introduzimos imediatamente a seguir uma famlia de subespacos de F (X),
ditos os espac
os Lp , com 1 p , que designaremos por Lp (X). Estes
espacos s
ao definidos em termos das chamadas normas Lp . A norma Lp
da classe [f ] pode ser calculada a partir de qualquer representante f , e
designa-se por kf kp .
7
280
Defini
c
ao 5.5.4 (Norma Lp , Espacos Lp ). Se 1 p < , e f : X R e
M-mensur
avel, entao (8 )
kf kp =
Z
1
p
|f | d
.
p
Recorde-se, a este respeito, as seguintes observacoes, que fizemos num contexto mais restrito ja no Captulo 1, agora reforcadas com os resultados da
seccao anterior, e a afirmacao final.
Se f, g L1 (E), a desigualdade kf +gk1 kf k1 +kgk1 e a desigualdade
triangular usual,
Se f L1 (E) e R, a identidade kf k1 = ||kf k1 resulta directamente de 5.2.13, e
kf k1 = 0 f 0 [f ] = [0].
A definicao do espaco L
cao de algumas nocoes
(X) requer a introdu
auxiliares.
Defini
c
ao 5.5.5 (Majorantes e Minorantes Essenciais). Dizemos que M e
majorante ( respectivamente, minorante) essencial da funcao f se e
s
o se f (x) M , (respectivamente, f (x) M ) -qtp em X.
Exemplo 5.5.6.
No espaco (R, L(R), m), qualquer M 0 e majorante essencial da funcao de
Dirichlet, porque a funcao de Dirichlet e nula qtp em R.
Funcoes equivalentes tem exactamente os mesmos majorantes e minorantes essenciais, e portanto estas nocoes s
ao aplicaveis a elementos de
F (X). Deixamos para o exerccio 3 a demonstracao de:
8
Seguimos a convenc
ao natural de tomar () = , desde que > 0.
5.5. Os Espacos Lp
281
Proposi
c
ao 5.5.7. Se f : X R e M-mensur
avel, e A e o conjunto dos
majorantes essenciais de f , ent
ao o conjunto A tem mnimo.
Defini
c
ao 5.5.8 (Norma L , Espaco L ). Se f : X R e M-mensur
avel,
o menor majorante essencial de |f | designa-se kf k , e diz-se a norma L
da classe [f ]. Definimos ainda L
(X) = {[f ] F (X) : kf k < }.
Deixamos tambem como exerccio a demonstracao do seguinte resultado:
Proposi
c
ao 5.5.9. L
e um espaco vectorial normado, com a norma
(X)
L definida em 5.5.8.
Exemplos 5.5.10.
1. Designaremos o espaco LpmN (E) por Lp (E), quando E RN e um conjunto
Lebesgue-mensuravel.
2. Se (X, M, ) = (N, P(N), #), e tradicional designar o espaco Lp# (N) por p .
P
Por exemplo, 2 e o espaco das sucess
oes reais tais que n=1 x2n < , e e
o espaco das sucess
oes reais limitadas.
3. RN e um espaco Lp , para qualquer 1 p .
Defini
c
ao 5.5.11 (Funcoes Convexas, Concavas). Se f : I R esta
definida num intervalo I R, entao f e convexa em I se e s
o se
s, t I, , 0, e + = 1 = f (s + t) f (s) + f (t).
9
Otto Ludwig H
older, 1859-1937, matem
atico alem
ao com o nome associado a esta
desigualdade, e ao teorema de Jordan-H
older da Teoria dos Grupos. Ensinou nas universidades de G
ottingen e T
ubingen.
10
Hermann Minkowsky, 1864-1909, matem
atico alem
ao, professor em G
ottingen, com o
nome indissociavelmente ligado ao espaco-tempo quadridimensional da teoria da Relatividade Restrita.
282
ncava se e s
A funcao f diz-se co
o se f e convexa.(11 )
O significado geometrico destas definicoes e ilustrado na figura 5.5.1.
Note-se que f e convexa se e s
o se o seu gr
afico esta sob qualquer uma das
suas cordas, e concava se o seu gr
afico esta sobre as respectivas cordas.
Lema 5.5.12. Se f, g : X R s
ao funco
es M-mensur
aveis e R, ent
ao
a) kf kp = || kf kp .
b) kf kp = 0 f (x) = 0, -q.t.p. em X [f ] = [0].
c) kf kp + kgkp < = kf + gkp k|f | + |g|kp < .
d) Em particular, Lp (X) e um subespaco vectorial de F (X).
Demonstraca
o. As afirmacoes a) e b) s
ao evidentes, para qualquer 1 p
, assim como c), para p = . Passamos a provar c), para p < . Como
a funcao (t) = tp e convexa para t 0, tomamos s = |f (x)|, t = |g(x)|, e
= = 12 , para concluir que
|f (x)| + |g(x)| p 1
1
p
(|f (x)|p + |g(x)|p ) .
(|f (x)| + |g(x)|) =
2p
2
2
A integracao desta desigualdade conduz imediatamente a
1
1
1
k |f | + |g| kpp kf kpp + kgkpp < .
p
2
2
2
Repare-se que as funcoes f e g s
ao, necessariamente, finitas -qtp, e podemos
supor, sem perda de generalidade, que f + g e finita e esta definida em toda
a parte. Como |f + g| |f | + |g|, e claro que kf + gkp k|f | + |g|kp < .
A afirmacao d) e um corolario imediato de a) e c).
Usaremos aqui a seguinte terminologia:
Defini
c
ao 5.5.13 (Expoentes Conjugados). Se 1 p, q , entao p e q
1
= 0.
s
ao expoentes conjugados se e s
o se p1 + 1q = 1, onde tomamos
Observe-se que o u
nico valor de p que e conjugado de si proprio e p = 2.
Esta observacao esta relacionado com o facto do espaco L2 ser o u
nico espaco
Lp que e euclideano(12 ).
Lema 5.5.14. Se p e q s
ao expoentes conjugados, 1 < p < , ent
ao
1
1
0 x, y = xy xp + y q .
p
q
11
o convexa de s e t.
z = s + t diz-se uma combinac
a
O espaco vectorial normado V e euclidiano se e s
o se a respectiva norma e dada por
1
kvk = (v v) 2 , onde o smbolo representa um produto interno em V.
12
5.5. Os Espacos Lp
283
Demonstraca
o. A desigualdade s
o nao e evidente se 0 < x, y < . Neste
caso, como a funcao logaritmo e conc
ava, e p1 + 1q = 1, um calculo simples
mostra que
1
1
1
1
log( xp + y q ) log(xp ) + log(y q ) = log(xy).
p
q
p
q
A funcao logaritmo e crescente, e por isso p1 xp + 1q y q xy.
O proximo teorema generaliza a desigualdade de Cauchy-Schwarz(13 )
para quaisquer expoentes conjugados.
Teorema 5.5.15 (Desigualdade de H
older). Se f, g : X R s
ao Mmensur
aveis, e p e q s
ao expoentes conjugados, 1 p , ent
ao
kf gk1 kf kp kgkq .
Demonstraca
o. A desigualdade e evidente se kf kp kgkq = , e e muito
simples de estabelecer se kf kp kgkq = 0, porque, neste u
ltimo caso, temos
f g = 0, -qtp. Supomos por isso que 0 < kf kp kgkq < . Tomamos
F (x) =
|f (x)|
kf kp ,
e G(x) =
|g(x)|
kgkq .
1
1
F (x)G(x) F (x)p + G(x)q .
p
q
Integramos esta desigualdade, e como kF kp = kGkq = 1, obtemos:
kF Gk1
Finalmente, e como
1
1
1 1
kF kpp + kGkqq = + = 1.
p
q
p q
kf gk1
kf kp kgkq
13
A desigualdade de Cauchy-Schwarz para integrais e a desigualdade de H
older com
p = q = 2.
284
p
q
(3) khkq = k |f | + |g| kp .
p
q
kf kp + kgkp .
k |f | + |g| kpp k |f | + |g| kp
claro que nada temos a provar se k|f | + |g|k = 0. Caso contrario, dividiE
p
p
q
mos a desigualdade anterior por k |f | + |g| kp , e notamos que p pq = 1,
donde
kf + gkp k|f | + |g|kp kf kp + kgkp .
Este resultado, associado ao lema 5.5.12, torna o seguinte corolario essencialmente evidente.
Corol
ario 5.5.17. Lp (X) e um espaco vectorial normado com a norma
de Lp (X). Em Rparticular, L2 (X) e um espaco euclidiano, com o produto
interno f g = X f gd.
As nocoes topologicas basicas, que devem ser conhecidas pelo menos
do espaco RN , adaptam-se facilmente ao contexto de um qualquer espaco
vectorial normado.
Defini
c
ao 5.5.18 (Topologia em V). Sejam V e W espacos vectoriais normados reais. Se v V (respectivamente, w W), designamos por kvk
(respectivamente, kwk ), as correspondentes normas.
a) A bola aberta de centro em v e raio > 0 e o conjunto B (v) =
{u V : ku vk < }.
b) O conjunto U V e aberto se e s
o se, para qualquer v U , existe
> 0 tal que B (v) U . Se U e aberto, e v U , dizemos que U e
uma vizinhanc
a de v. A famlia O = {U V : U e aberto em V} e
a topologia do espaco V.
5.5. Os Espacos Lp
285
c) A sucess
ao de termo geral v n V converge para v V se e s
o se
kv n vk 0, quando n . Em particular, se f, fn Lp (X), e
kfn f kp 0, dizemos que fn converge para f em Lp .
d) A sucess
ao de termo geral v n V e fundamental se e s
o se
kv n v m k 0, quando n, m .
e) A funcao f : V W e contnua em v V se e s
o se para qualquer
> 0 existe > 0 tal que ku vk < kf (u) f (v)k < .
Usaremos no que se segue, e sem mais comentarios, nocoes que se derivam
destas sem qualquer dificuldade, como, por exemplo, as de interior, exterior,
fronteira, e fecho de qualquer conjunto U V.
Exemplos 5.5.19.
1. O teorema da convergencia dominada de Lebesgue pode ser enunciado como
se segue: Se fn f pontualmente em X, e existe g L1 (X) tal que |fn (x)|
g(x) -qtp em X, ent
ao fn tambem converge para f em L1 . Um resultado
analogo e v
alido em Lp (exerccio 11).
2. O integral definido : L1 (X) R e um funcional contnuo em L1 (X):
Z
Z
Z
|f g| d = kf gk1 .
gd
|(f ) (g)| = f d
X
3. Seja U L1 (R) formado pelas classes de funcoes que tem algum represen usual escrever U = Cc (R), nao distinguindo funcoes
tante f Cc (R). E
de classes de equivalencia de funcoes, para evitar sobrecarregar a notacao
utilizada. Com esta convencao, o corolario 3.6.7 afirma que Cc (R) e denso em
L1 (R), i.e., Cc (R) = L1 (R).
286
c) A funca
o f : V W e contnua em v V se e s
o se para qualquer
vizinhanca W de f (v) em W existe uma vizinhanca V de v em V tal
que f (V ) W .
Por esta razao, duas normas definidas no mesmo espaco vectorial dizemse equivalentes se determinam a mesma topologia. Esta nocao e irrelevante no estudo dos espacos de dimens
ao finita, porque todas as normas
num mesmo espaco s
ao automaticamente equivalentes. A situacao e dramaticamente diferente nos espacos de dimens
ao infinita, o que introduz uma
complexidade e riqueza de resultados muito interessante na teoria.
Exemplos 5.5.21.
1. Lp (X) Lq (X) e um subespaco vectorial, tanto de Lp (X), como de Lq (X).
No entanto, em geral, as normas de Lp e de Lq geram topologias distintas
em Lp (X) Lq (X). Por exemplo, se gn e a funcao caracterstica do intervalo
em L , mas a sucess
ao diverge em L , porque kfn k = n . Por
outras palavras, as topologias determinadas em L1 (X) L (X) pelas normas
de L1 (X) e de L (X) s
ao diferentes.
2. Continuando o exemplo anterior, o funcional : L1 (X) L (X) R, dado
por (f ) = kf k , e contnuo na topologia de L , por raz
oes obvias, mas nao
e contnuo na topologia de L1 . Basta observar novamente que fn 0 em L1 ,
mas (fn ) .
3. Vimos atras que Cc (RN ) e denso em L1 (RN ), i.e., Cc (RN ) = L1 (RN ), na
relativamente simples mostrar que Cc (RN ) = C0 (RN ), na
topologia de L1 . E
topologia de L (exerccio 12).
1
5.5. Os Espacos Lp
287
X
X
v n v
= 0.
kv n k < + = Existe v V tal que lim
m
n=1
n=1
Demonstraca
o. Deixamos a implicacao a) b) para o exerccio 15. Para
provar que b) a), supomos que a sucess
ao de termo geral xn V e
fundamental, donde:
Para qualquer k N, existe nk N tal que n, m nk kxn xm k <
14
1
.
2k
288
z k = y m+1 y 1 , e
X
k=1
X
1
kz k k <
< +.
2k
k=1
P
De acordo com b), existe z V tal que kz m
k=1 z k k 0. Por outras
ao de termo
palavras, temos y m = xnm z +y 1 , quando m , e a sucess
geral xn tem uma subsucess
ao convergente. Conclumos do lema 5.5.22 que
a sucess
ao fundamental de termo geral xn converge.
O resultado que provamos anteriormente sobre series de funcoes somaveis
e generaliz
avel a qualquer espaco Lp (X).
P
ao:
Teorema 5.5.26. Se fn Lp (X), e
n=1 kfn kp < , ent
P
a) A serie f (x) = n=1 fn (x) converge absolutamente -qtp em X.
P
p
b) kf kp
n=1 kfn kp , donde f L (X), e
P
p
c) As somas parciais m
n=1 fn convergem para f em L (X), i.e.,
m
X
fn f
= 0.
lim
m
n=1
Demonstraca
o. Supomos 1 p < , e deixamos o caso p = como
exerccio. Observamos que
gm (x) =
m
X
n=1
|fn (x)|
n=1
m
X
n=1
kfn kp
n=1
n=1
kfn kp < .
X
X
X
kfn kp < .
|fn |
= kgkp
fn
kf kp =
n=1
n=1
n=1
289
n=1 fn ,
X
X
X
kfn kp 0, quando m .
fn
fn f
=
n=1
n=m+1
n=m+1
5.6
Teoremas de Representac
ao de Riesz
290
R
1. Se V = L1 (R) L (R), e : V R e dada por (f ) = R f dm, e evidente
que e linear. Sendo fn a funcao caracterstica de [0, n2 ], e gn = n1 fn , ent
ao
(gn ) = n , e kgn k = n1 0. Se considerarmos em V a topologia de
L , ent
ao nao e contnua, i.e., pertence ao dual algebrico, mas nao ao
dual topol
ogico.
2. No mesmo espaco, e supondo
que E L(R) tem medida finita, a funcao
R
: V R dada por (f ) = E f dm e linear, e contnua. Basta observar que
|(f ) (g)|
|f g| dm kf gk m(E).
3. : V R e diferenciavel em V se e s
o se existe uma funcao D : V V
tal que
(x + y) (y) D(x)(y)
=0
lim
y0
kyk
consideramos y = kxk
x. Observamos que
1 |(y)| =
1
|(x)| , e |(x)| kxk .
kxk
291
16
Recorde do Captulo 2 que a func
ao kk = ||(X) e uma norma no espaco vectorial
de todas as medidas reais definidas em (X, M).
292
Demonstraca
o. A implicacao b) = a) e evidente. Para provar que a)
= b), supomos que U RN e aberto, e designamos por Ac (U ) o conjunto
das funcoes f Cc (RN ), com suporte compacto em U , e tais que 0 f 1
em RN . Definimos ainda
Se U RN e aberto, (U ) = sup {T (f ) : f Ac (U )}.
para qualquer E RN , (E) = inf { (U ) : E U, U , aberto }.
Deve ser claro que, se U e aberto, entao (U ) = (U ).
(i) e aditiva e -subaditiva na classe dos conjuntos abertos.
Demonstraca
o. Supomos os conjuntos U, Un abertos, e U
n=1 Un .
Seja f Ac (U ), com suporte compacto K U . Existe m N tal que
cao da unidade
K m
n=1 Un , e existe uma parti
P h1 , , hm , subordinada `
a cobertura U1 , U2 , P
, Um . Com h = m
n=1 hn , e fn = f hn ,
m
observamos que f = f h = n=1 fn , e fn Ac (Un ). Conclumos que
f Ac (U ) = T (f ) =
Segue-se que (U )
m
X
n=1
T (fn )
n=1 (Un ),
m
X
n=1
(Un )
(Un ).
n=1
i.e., e -subaditiva.
n=1
m
X
n=1
Pm
(Un ) (U ).
n=1 (Un ),
e evidente que
(Un ) = (U ).
n=1
293
Demonstraca
o. Sendo K compacto e U aberto, temos a provar que
(U ) (U K) + (U K) = (U K) + (U K).
Dado > 0, seja f Ac (U K), tal que T (f ) > (U K) + . Sendo
K o suporte de f , que e disjunto de K, notamos que existem conjuntos
abertos disjuntos V , V tais que K V , e K V . Consideramos
agora os abertos W = U V , e W = U V . Deve ser evidente que
U W W , W e W s
ao disjuntos, U K W , e K W . Temos:
(U ) (W W ) = (W ) + (W ) (U K) + (W )
(U K) + T (f ) > (U K) + (U K) + .
O resultado segue-se fazendo 0.
Sendo M(RN ) a -
algebra dos conjuntos -mensur
aveis, e a re
stricao de a M(RN ), podemos evidentemente concluir que
(iv) e uma medida completa e regular em M(RN ) B(RN ).
O proximo resultado estabelece, em particular, que e finita em con por isso relevante para a quest
juntos limitados. E
ao da unicidade de
.
Demonstraca
o. Dado f Cc (RN ) tal que K
f 1, suponha-se que
N
obvio que U K, e
0 < < 1, e seja U = x R : f (x) > . E
U e aberto. Notamos que
1
g Ac (U ) g < f T (g) T (f ) (U ) T (f ).
294
Demonstraca
o. Seja K o suporte de f , e R K um rectangulo compacto. A funcao f e uniformemente contnua em R, e dado > 0, existe
uma particao de R em rectangulos Rk , 1 k n, tais que a oscilacao
de f em cada Rk e inferior a . Supondo Mk = sup {f (x) : x Rk },
temos:
Z
Z
n
X
Mk (Rk ) (f + )d =
f d + (R).
()
R
k=1
n
X
k=1
<
T (fk )
n
X
k=1
(Mk + )T (hk )
n
X
k=1
n
n
X
X
(Mk + )((Rk ) + )
Mk (Rk ) + ((R) + kf k + ).
n
k=1
k=1
R
Fazemos 0, para obter T (f )
R R f d, e aplicamos a desigualdade
a funcao f , para obter T (f ) = R f d.
`
A unicidade da medida fica estabelecida com o seguinte resultado,
que deixamos para o exerccio 16.
295
k=1
Ak
k=1
296
(iv) T (f ) =
R
Demonstraca
o. Definimos S(f ) = X f gd, para qualquer f Lp (X).
Segue-se imediatamente da desigualdade de H
older que S e um funcional linear contnuo, e kSk kgkq . Como S(f ) = T (f ) para qualquer funcao simples, e as funcoes simples s
ao densas em Lp , e facil
concluir que S = T , e kT k = kgkq (exerccio 15).
Deixamos os restantes casos ((X) = , e p = 1), para os exerccios.
O proximo teorema identifica o dual topologico de Cc (RN ), na topologia
de L . A respectiva demonstracao e interessante, em especial por utilizar
duas topologias distintas em Cc (RN ), a da convergencia uniforme usual (de
L ), e a do espaco L1 , onde = Var(), e e a medida real que representa
o funcional T em causa.
Teorema 5.6.8 (Teorema de Representacao de Riesz (III)). A transformaca
o linear T : Cc (RN ) R e contnua na topologia de L se e s
o se existe
N
uma medida real , definida em B(R ), tal que
Z
f d.
T (f ) =
RN
297
RN
RN
RN
R
onde (E) = E gd, i.e., e o integral indefinido de g em ordem a .
Deixamos como exerccio verificar que kT k = kk = Var()(RN ).
5.7
trica, ou dista
ncia, no conjunto X e uma func
Uma me
ao d : X X [0, [,
tal que d(x, y) = d(y, x), d(x, z) d(x, y) + d(y, z), e d(x, y) = 0 se e s
o se x = y.
Uma topologia gerada por uma metrica, a partir das chamadas bolas abertas, que s
ao os
vel.
conjuntos B (x) = {y X : d(x, y) < }, e uma topologia metriza
298
299
3. Com n, k N, e 0 k < n, seja In,k = nk , k+1
cao
n , e gn,k a respectiva fun
caracterstica. Reindexamos as funcoes gn,k , definindo hm = gn,k , quando
m = nq + k. A sucess
ao hn converge em Lp , mas nao converge pontualmente.
As funcoes nhn convergem em medida, mas nao convergem em Lp .
Z
1 Z
p
|fn f | d
1
p
1
|fn f | d
(En ) p 0.
p
En
300
< k.
k
2
Definimos:
a) gk = fnk ,
b) Ek = {x X : |gk (x) f (x)| k1 }, donde (Ek ) < 21k .
P
c) Fm =
k=m
k=m Ek , e F = m=1 Fm , donde (Fm ) <
(F ) = 0.
1
2k
1
,
2m1
n=m
En,k Ck =
Fm,k , e C =
m=1
Ck .
k=1
k=1
Fpk ,k .
301
fraca se e s
o se Tn (x) T (x), para qualquer x V.
Exemplos 5.7.9.
1. A sucess
ao de funcoes fn (x) = sen(nx) converge para 0 na topologia fraca
de L1 ([0, 2]) (recorde o exerccio 6 da seccao 3.4).
2. A topologia fraca e a usual convergencia pontual de funcoes, restrita ao
espaco das transformacoes lineares contnuas.
3. De acordo com o Teorema de Riesz, se V = Lp , e 1 < p < , ent
ao V = V.
p
Portanto, as topologias fraca e fraca s
ao iguais em L , desde que 1 < p < .
302
Uniforme
@@ 9
99
99
99
99
99
99
99
Egorov
99
p
Em
L
99
KK
t::
99
K
KK
t
99
KK
t
KK
99
t
K
t
KK
KK 999
t
KK 9
t TCDL
KK 9
t
KK 99
t
Lebesgue
K%%
t b a a ` ` _ _ _ ^ ^ ] ] ..
Pontual nn
Em medida
Riesz
Figura 5.7.1: Relacoes entre modos de convergencia
Exerccios.
1. Prove que a relacao e de equivalencia. Prove que se f f , g g e
c R, ent
ao f + g f + g , f g f g , e cf cf .
2. Seja f : R R Lebesgue-mensuravel.
a) Se f e equivalente a uma funcao contnua g : R R, f e sempre contnua
qtp?
b) Se f e contnua qtp, existe sempre g : R R contnua equivalente a f ?
3. Demonstre as proposicoes 5.5.7 e 5.5.9, relativas aos espacos L .
4. Demonstre o teorema 5.5.26 para o caso p = .
5. Suponha que fn , gn F (X), R, fn f , e gn g, pontualmente
(respectivamente, em medida, em Lp ). Prove que fn +gn f +g, e fn f ,
pontualmente (respectivamente, em medida, em Lp ).
6. Suponha que fn F (X), fn f , e fn g, de acordo com dois criterios
de convergencia distintos (pontualmente, em medida, ou em Lp ). Prove que
f = g.
303
304
o: A alnea c) pode
e) Demonstre o resultado para 1 < p < . sugesta
ser generalizada Rpara conjuntos -finitos. Mostre que existe um conjunto
-finito S onde E |g|q d e maximo.
Indice
305
Indice
-mensuravel, 100
perfeito, 35
-elementar, 68
conte
udo, 9, 10
de Jordan, 27
exterior, 26
interior, 26
continuidade
absoluta, 194, 217
convergencia
em medida, 298
em Lp , 285
pontual, 298
acontecimento, 81
aditividade, 10, 15, 21
algebra de conjuntos, 20
axioma da escolha, 97
Barrow, regra de, 55
BV (I), 211
C(I), 30
C (I), 71
cardinal, 21
Cck (RN ), C0 (RN ), 174
classe monotona, 265
gerada por, 266
cN , 68
cobertura
sequencial, 84
combinacao convexa, 282
comprimento, 9
conjunto
Borel-mensuravel, 110
de Borel, 110
de Cantor, 30
de Dirichlet, 31
de Volterra, 71
denso, 31
di
ametro, 11
elementar, 13
F , 110
G , 110
Jordan-mensur
avel, 27
Lebesgue-mensur
avel, 93
mensuravel, 79
-negativo, 183
-nulo, 181
-positivo, 183
decomposicao
de Hahn, 184
de Jordan, 182
de Lebesgue, 195, 271
derivada
de Radon-Nikodym, 273
generalizada, 202
no sentido das distribuicoes, 202
desigualdade
de H
older, 283
de Minkowski, 283
di
ametro
de conjunto, 11
de particao, 11
diferenca de conjuntos, 12
Dirichlet
conjunto de, 31
funcao de, 38
distribuicao
de Dirac, 22
de probabilidade, 203
306
INDICE
equivalencia de funcoes, 128, 278
E(RN ), 13
E (RN ), 68
escada do Diabo, 59
espaco
de Banach, 170, 287
de Hilbert, 287
de medida, 81
completo, 106
finito, 81
menor extensao completa, 106
-finito, 81
de probabilidade, 81
dual
algebrico, 289
topologico, 289
euclidiano, 282
L1 , 166
Lp , 280
L , 281
mensuravel, 79
vectorial normado, 45
exemplo de
Cantor, conjunto, 30
Cantor, funcao, 59
Dirichlet, conjunto, 31
Dirichlet, funcao, 38
Hellinger, 226
Riemann, 38
Sierpinski, 96
van der Waerden, 60
Volterra, conjunto, 71
Volterra, funcao, 72
expoentes conjugados, 282
FL( ), 264
funcao
absolutamente contnua, 217
Borel-mensuravel, 124, 127
concava, 281
caracterstica, 38
contnua
de suporte compacto, 174
convexa, 281
307
de Cantor, 59
de conjuntos, 21
aditiva, 21
monotona, 21
-aditiva, 66
-subaditiva, 66
subaditiva, 21
de Dirichlet, 38
de escolha, 97
de Heaviside, 22
de Hellinger, 226
de Riemann, 38
de saltos, 207
de van der Waerden, 60
de variacao limitada, 211
de Volterra, 72
discreta, 207
equivalente, 128
escada do Diabo, 59
gr
afico, 40
comprimento, 62
Lebesgue-mensur
avel, 124, 127
Lebesgue-som
avel, 125, 127
mensuravel, 251
M-mensur
avel, 241
-somavel, 241
oscilacao, 49
parte contnua, 207
parte discreta, 207
parte negativa, 38
parte positiva, 38
regi
ao de ordenadas, 35
Riemann-integravel, 36
simples, 155
sinal, 58
somavel, 251
suporte, 38
variacao total, 211
funcional, 41
GE (f ), E (f ), 131
impulso de Dirac, 22
indicatriz de Banach, 214
INDICE
308
integracao por partes, 261
integral
de Lebesgue
em ordem a , 241
em ordem a mN , 124
de Riemann, 36, 53
de Stieltjes, 239
definido
de Riemann, 41
desigualdade triangular, 39
homogeneidade, 39
improprio de Riemann, 125
absolutamente convergente,
126
improprio, 62
indefinido
de Lebesgue, 131
de Riemann, 45
inferior, 37
parametrico, 141
superior, 37
de Cantor, 205
de contagem, 80
de Dirac, 22, 80
de Lebesgue, 93
de Lebesgue-Stieltjes, 196
de probabilidade, 80
de Radon, 79
discreta, 192
localmente finita, 198
parte contnua, 207
parte discreta, 207
real, 79
regular, 200
singular, 183
suporte, 180
medida exterior, 84
de Lebesgue, 88
minorante essencial, 280
mN , 93
mN , 88
M N , 240
J (RN ), 27
J (RN ), 68
N BV (I), 211
norma, 44
de L1 , 43, 166
de Lp , 280
de L , 178, 281
normas equivalentes, 286
1 , 256
L1 , 166
Lema
de Borel-Cantelli, 87
de Fatou, 139, 254
de Fatou (II), 140, 254
de Jordan, 219
de Riemann-Lebesgue, 173
de Riesz (Sol Nascente), 221,
233
L(RN ), 93
-qtp, 181
majorante essencial, 280
M (B(RN )), 192
medida
absolutamente contnua, 194
completa, 193
complexa, 79
de Borel, 196
f , 49
R (f ), 36
Oscf (S), 49
oscilacao
de funcao, 49
paradoxo de Banach-Tarski, 98
particao, 10
apropriada, 155
di
ametro, 11
refinamento, 11
pente de Dirac, 22, 192, 207
ponto de acumulacao, 35
probabilidade, 21
problema
de Caratheodory, 100
INDICE
de Stieltjes, 203
difcil de Lebesgue, 95
facil de Lebesgue, 91
produto de convolucao, 171
qtp, 52, 181
R, 82
rectangulo, 9
recta acabada, 82
refinamento, 11
comum, 11
reflexao, 16
regra de Barrow, 55
Riemann
funcao de, 38
-aditividade, 66
-
algebra, 78
gerada por, 110
semi-algebra de conjuntos, 19
semi-norma, 45
Sierpinski
exemplo de, 96
soma
de Riemann, 53
inferior de Darboux, 37
superior de Darboux, 37
-subaditividade, 66
subaditividade, 15, 21
suporte de
funcao, 38
medida, 180
Teorema (de/da)
Alaoglu, 302
Banach-Vitali, 214
Banach-Zaretsky, 219
Beppo Levi, 138, 253
Beppo Levi (II), 139, 253
convergencia dominada de Lebesgue, 140, 167, 256
convergencia monotona de Lebesgue, 82
309
decomposicao de Hahn-Jordan,
188
decomposicao de Lebesgue, 230,
271
diferenciacao de Fubini, 278
diferenciacao de Lebesgue, 225
Egorov, 300
Fichtenholz, 220
Fubini-Lebesgue, 146, 171
Fubini-Lebesgue, 263, 268
Fundamental do Calculo
1o , 57, 231
2o , 57, 59, 231
Hahn, extensao de, 247
Heine-Borel, 49
Lebesgue, 301
Radon-Nikodym, 272, 273
Radon-Nikodym-Lebesgue, 272
Representacao de Riesz, 291,
295, 296
Riesz, 299
Riesz-Fischer, 289
Vitali-Luzin, 175, 258
topologia, 284
transformada de Fourier, 168
continuidade, 178
translaccao, 16
U(RN ), 13
variavel aleat
oria, 239
variacao
limitada, 192
negativa, 190
positiva, 190
total, 190, 192, 211