Escolar Documentos
Profissional Documentos
Cultura Documentos
Notas
Notas
ndice
ndice
Introduo
iii
1 Teoria da medida
1.1 lgebras e -lgebras . . . . . . . . . . . . . .
1.2 Medidas . . . . . . . . . . . . . . . . . . . . .
1.3 O conjunto de Cantor . . . . . . . . . . . . . .
1.3.1 Definio e propriedades bsicas . . .
1.3.2 Aplicaes medida de Lebesgue . .
1.4 Aplicaes ao integral de Riemann . . . . . .
1.4.1 Definio e propriedades elementares
1.4.2 Oscilao . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
1
2
7
19
19
23
25
25
27
.
.
.
.
33
33
37
52
58
3 Derivao
3.1 O teorema da derivao de Lebesgue . . . . . . . . . . . . .
3.2 O teorema fundamental do Clculo . . . . . . . . . . . . . .
63
63
73
4 Espaos L p
4.1 Funes convexas . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Desigualdades de Jensen, Hlder e Minkovski . . . . . . .
4.3 Espaos de funes integrveis . . . . . . . . . . . . . . . .
81
81
85
89
.
.
.
.
.
.
.
.
2 Integrao
2.1 Funes mensurveis . . . . . . . . . . . . . . .
2.2 Integral: definio e propriedades elementares
2.3 Integrao de limites de sucesses . . . . . . .
2.4 Integral de Riemann e integral de Lebesgue . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ii
ndice
5.2
5.3
5.4
5.5
6 Espaos de Banach
6.1 Definio e propriedades elementares
6.2 Espaos de Hilbert . . . . . . . . . . .
6.3 Sries de Fourier . . . . . . . . . . . . .
6.4 O teorema de Banach-Steinhaus . . . .
6.5 O teorema da aplicao aberta . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
101
104
107
110
118
123
.
.
.
.
.
127
127
134
137
142
148
159
B Lema de Zorn
163
Bibliografia
169
ndice remissivo
171
Introduo
Estas notas destinam-se aos alunos da cadeira Medida e Integrao,
frequentada por alunos do terceiro e do quarto anos da licenciatura em
Matemtica da Faculdade de Cincias da Universidade do Porto.
So usadas as seguintes notaes:
R
R+
R+
R+
P ( E)
R {}
{x R | x > 0}
R+ {+}
R+ \ {0 }
{partes de E}
(r R) : 6 r 6 +.
Sempre que se falar de supremo ou de nfimo de uma parte de R ser
relativamente a esta relao de ordem. Observe-se que, com esta conveno, qualquer parte P de R tem supremo e nfimo e que o supremo
(respectivamente nfimo) de P um nmero real se e s se P no for vazia
e se for majorada (resp. minorada) por algum nmero real.
Um conjunto C dir-se- numervel quando C for finito ou quando
existir alguma bijeco de N em C.
O smbolo assinala o fim das demonstraes.
iii
Teoria da medida
Na passagem do sculo XIX para o sculo XX, tornou-se claro que o
integral de Riemann era insuficiente para as necessidades dos analistas.
Por exemplo, se [ a, b] um intervalo de R e se ( f n )nN uma sucesso
de funes de [ a, b] em R integrveis segundo Riemann pontualmente
convergente para uma funo f de [ a, b] em R, no necessariamente
verdade que f seja integrvel segundo Riemann, mesmo que seja limitada.
Alm disso, se f : [ a, b] R for uma funo para a qual haja funes
integrveis segundo Riemann f 1 , f 2 : [ a, b] R tais que f 1 6 f 6 f 2 ,
seria desejvel que f fosse tambm integrvel segundo Riemann, mas no
esse necessariamente o caso.
Teoria da medida
1.1
lgebras e -lgebras
An
n N
An{ A.
n N
x
1+| x |
[1, 1]
se x R
se x = ,
Teoria da medida
e a distncia
d : R R
R+
( x, y) 7 | f ( x ) f (y)|.
x 7
0
se x =
+ se x = 0
contnua.
Vejamos como possvel determinar se uma parte A de R aberta sem
usar a distncia d.
P ROPOSIO 1.3 Dado um subconjunto A de R, so condies equivalentes:
1. A um aberto de R, d ;
2. A R um aberto de R (relativamente mtrica usual) e, alm disso,
se + A, ento ]t, +] A para algum t R;
se A, ento [, t[ A para algum t R.
D EMONSTRAO : Seja f a funo que surge na definio da distncia d.
Ento, pela definio de d, f uma isometria de R sobre [1, 1] (munido
da mtrica usual); em particular, um homeomorfismo. Logo, R um
aberto de R, pois R = f 1 (] 1, 1[). Resulta daqui que se A for um aberto
de R, ento A R tambm o .
Vejamos que a restrio de d a R R uma distncia equivalente
distncia usual em R (que ser representada por d0 ), i. e. que d e d0
do origem aos mesmos abertos. Isto o mesmo que dizer que a funo
id : (R, d0 ) (R, d|RR ) um homemomorfismo. Mas resulta novamente da definio de d que f |R um homeomorfismo de R sobre ] 1, 1[
(munido da mtrica usual). Logo, id : (R, d0 ) (R, d|RR ) um homemomorfismo se e s se f id for um homeomorfismo de R em ] 1, 1[
(relativamente mtrica usual em ambos os casos), o que claramente se
verifica.
Seja A um aberto de R. Ento, como j foi provado, A R tambm
um aberto de R. Como, por outro lado, A R R, resulta do que se
provou no pargrafo anterior que A R um aberto de R (relativamente
mtrica usual). Caso + A, seja > 0 tal que
( x R) : d( x, +) < = x A;
(1.1)
( x R+ ) :
1
< = x A.
1+x
Ento 1/ 1, + A. Mostra-se analogamente que, se A, ento
existe algum t R tal que [, t[ A.
Suponha-se agora que A R satisfaz a segunda condio do enunciado; quer-se provar que A um aberto de R, o que o mesmo que
afirmar que vizinhana de todos os seus pontos. Seja ento a A. H
trs possibilidades:
a R: ento, como A R um aberto de R e a A R, A R uma
vizinhana de a, pelo que A vizinhana de a;
a = +: existe algum t R+ tal que ]t, +] A, pelo que A contm
B(+, 1/(1+t));
a = : anlogo ao anterior.
claro que qualquer aberto de R pode ser obtido como reunio de
intervalos abertos, i. e. de intervalos do tipo ] x, y[ (com x, y R e x < y),
do tipo [, x [ (com x R) ou do tipo ] x, +] (com x R). Vejamos
que possvel dizer mais sobre isto.
L EMA 1.1 Qualquer aberto de R pode ser escrito como reunio numervel de
intervalos abertos dois a dois disjuntos.
D EMONSTRAO : Seja A um aberto no vazio de R e, para cada x A,
seja Ix a reunio de todos os intervalos abertos de R contido em A que
contenham x. Ento, como a reunio de intervalos com um ponto em
comum novamente um intervalo, a reunio de abertos um aberto e a
reunio de subconjuntos de A que contm x novamente um subconjunto
de A que contm x, Ix um intervalo aberto de R contido em A e que
contm x; de facto, mesmo o maior intervalo aberto contido em A que
S
contm x. Ento A = x A Ix e, por outro lado, claro que, se x, y A,
os intervalos Ix e Iy ou coincidem ou so disjuntos. Est ento provado
Teoria da medida
1.2. Medidas
1.2
Medidas
An
n N
m ( A n ).
n =1
An
m ( A n ).
n N
n N
n
[
k =1
Ak
=m
k =1
Ak
k =1
k =1
m ( A k ) = m ( A k ),
Teoria da medida
R+
se A for finito
caso contrrio
#A
+
An
n N
m ( A n ).
n =1
An
=m
n N
Bn
n N
m( Bn ) 6
n =1
m ( A n ),
n =1
[
n N
An
= lim m( An );
n N
1.2. Medidas
= lim m( An ).
An
n N
n N
n
[
Bk ,
k =1
pelo que
n
m( An ) =
m( Bk ).
k =1
Logo,
!
m
=m
An
n N
Bn
n N
m( Bk )
k =1
m( Bk )
n N
= lim
k =1
= lim m( An ).
n N
Para demonstrar a segunda alnea, basta ver que, pela primeira alnea
!
!
\
[
m A1
An = m
A1 \ A n
n N
n N
= lim m( A1 \ An )
n N
= lim m( A1 ) m( An ) (pela proposio 1.4)
n N
= m( A1 ) lim m( An ).
n N
\
n N
An
=m
A1
!
\
n N
An
= m( A1 ) lim m( An ),
n N
10
Teoria da medida
An
= lim m( An ).
n N
n N
n =1
comp( Jn ) 6
comp( In ) +
n =1
r
2n +1
r
r
+
2 2
= m( A) + r
< m ( A ),
< m( A) +
o que absurdo.
Antes de se passar s propriedades da medida exterior de Lebesgue,
vai-se demonstrar um resultado auxiliar. Convm comear por relembrar
que uma partio de um intervalo [ a, b] um subconjunto finito de [ a, b]
que contm a e b. Se P for uma partio, ento os intervalos da forma
[ a0 , b0 ] com a0 e b0 elementos consecutivos de P sero designados por
intervalos da partio.1
1 Naturalmente,
[ a0 , b0 ]
P.
1.2. Medidas
11
[ a, b] =
n
[
k =1
[ a k 1 , a k ]
n
[
A(k) ,
k =1
12
Teoria da medida
1. se A B R, ento m ( A) 6 m ( B);
2. se ( An )nN uma sucesso de partes de R, ento
!
m
An
n N
m ( A n );
n =1
(I )
2 uma
+
n=1 comp( Ik,n ) 6 m ( Ak ) + r/2 . Ento a famlia
S k,n (k,n)N
famlia de intervalos abertos cuja reunio contm kN Ak e, portanto,
!
m
+ +
Ak
k N
comp( Ik,n )
k =1 n =1
+
m ( Ak ) +
k =1
+
m ( Ak )
r
2k
+ r.
k =1
Como isto tem lugar para cada r > 0, est demonstrada a desigualdade
da segunda alnea.
Seja agora I um intervalo de R; quer-se provar que m ( I ) = comp( I ).
Comecemos pela desigualdade mais fcil de estabelecer, que m ( I ) 6
comp( I ). Esta imediata caso I seja um intervalo aberto (pois nesse
caso o conjunto { I } j uma famlia finita de intervalos abertos de R
cuja reunio contm I e, portanto, m ( I ) 6 comp( I )) ou quando I no
limitado. Caso I no seja aberto e seja limitado, da forma ] a, b], da forma
[ a, b[ ou da forma [ a, b] (a, b R). Veremos somente o primeiro caso, pois
os outros dois so anlogos. Se > 0, ento ] a, b] ] a, b + [ e, portanto,
m (] a, b]) 6 comp(] a, b + [) = b a + . Como se tem esta desigualdade
para qualquer > 0, tem-se m (] a, b]) 6 b a = comp(] a, b]).
1.2. Medidas
13
Falta s ver que se tem sempre m ( I ) > comp( I ). Vai-se comear por
estabelecer esta desigualdade no caso em que I um intervalo da forma
[ a, b], com a, b R e a 6 b. Seja N um conjunto numervel e seja ( In )n N
uma famlia de intervalos abertos de R cuja reunio contenha [ a, b]. Ento,
pelo lema 1.2, existe alguma partio a = a0 < a1 < < an = b do
intervalo [ a, b] tal que cada intervalo [ ak1 , ak ] est contido em algum In(k)
(n(k ) N). Ento
comp( In ) >
n N
comp( In(k) )
k =1
n
>
comp([ak1 , ak ])
k =1
= comp([ a, b]).
Vejamos agora o caso dos intervalos do tipo ] a, b], com a, b R e a < b.
Se ]0, b a[, tem-se
14
Teoria da medida
{
= m ( X A) + m X A (pois B M(R))
= m ( X ),
pois A mensurvel. Est ento provado que M(R) uma lgebra.
Sejam agora A1 , . . . , An elementos de M(R) dois a dois disjuntos e
X P (R); vai-se provar que
!
m X
n
[
Aj
m ( X A j ).
(1.3)
j =1
j =1
n
[
Aj
j =1
= m X
n
[
!
Aj
An
+ m X
j =1
j =1
= m ( X An ) + m X
n[
1
!
Aj
j =1
= m ( X An ) +
n
[
n 1
m ( X A j )
j =1
!
Aj
\ An
1.2. Medidas
15
m ( X A j ).
j =1
( f oralln N \ {1}) : Bn = An \
Aj.
j<n
Ento
1. como M(R) uma algebra, cada Bn mensurvel;
2. os elementos da sucesso ( Bn )nN so dois a dois disjuntos;
3.
n N
Bn =
n N
An .
m ( X ) = m X
Bj
n
[
+ m X
j =1
j =1
m ( X Bj ) + m
X
j =1
m ( X Bj ) + m
n
[
!
Bj
(por (1.3))
j =1
+
>
Bj
j =1
!
Bj .
j =1
m (X) >
( X Bj ) + m
j =1
!
Bj
+ m X
n N
Bn (=
+
[
!
Bj .
j =1
j =1
Bj
j =1
> m X
Est ento provado que
clui a demonstrao da
n N
16
Teoria da medida
+
n=1 m ( An ). Que se tem m ( nN An ) 6 n=1 m ( An ) resulta da proposio 1.6 (mesmo sem se estar a supor que os conjuntos An (n N) so
disjuntos dois a dois). Por outro lado, tem-se, para cada N N,
!
!
m
An
>m
N
[
n N
n =1
An
m ( A n ),
n =1
An
n N
> lim
N N
n =1
m ( An ) =
m ( A n ).
n =1
n =1
2 Que I 00
n
que I { um
m ( In0 )
m ( X \ I ) 6
m ( In00 ),
n =1
1.2. Medidas
17
deduz-se que
m (X I ) + m (X \ I ) 6
( In0 ) + m ( In00 )
n =1
m ( In ).
n =1
Como esta desigualdade tem lugar para cada sucesso ( In )nN de intervalos cuja reunio contenha X, isto prova que m ( X I ) + m ( X \ I ) 6
m ( X ).
Est ento provado que M(R) contm todos os intervalos no limitados. Mas qualquer intervalo pode ser obtido como interseco de dois
intervalos no limitados, pelo que M(R) contm todos os intervalos, de
onde se deduz, como j se viu, que contm todos os borelianos.
Tem-se ento B(R) M(R) P (R). Alguma destas incluses ser,
de facto, uma igualdade? Ser visto que a resposta negativa em ambos
os casos.
Se E for uma parte mensurvel de R e se A for um aberto de R que
contenha E, ento A mensurvel (pela proposio 1.9) e l ( E) 6 l ( A),
pelo que
l ( E) 6 inf { l ( A) | A aberto e E A } .
De facto, a desigualdade anterior uma igualdade. Isto trivial caso
l ( E) = + e, caso contrrio, sabe-se, pela definio da medida exterior
de Lebesgue, que, para cada > 0, existe alguma sucesso ( In )nN de
[
n N
In
n =1
n =1
(1.4)
(1.5)
18
Teoria da medida
( In [ a, b])
n N
Como
nN ( In
6l
[
n N
In
l ( In ) < l ( F) + .
n =1
1.3
1.3.1
19
O conjunto de Cantor
Definio e propriedades bsicas
D EFINIO 1.9 Para cada ]0, 1], define-se o conjunto C como sendo
T
a interseco nZ+ In , onde ( In )nZ+ a sucesso de reunies de um
nmero finito de intervalos fechados dois a dois disjuntos tal que:
1. I0 = [0, 1];
2. I1 o conjunto que se obtm retirando de I0 o intervalo aberto central
de comprimento /3, ou seja,
I1 = [0, 1]\]1/2 /6, 1/2 + /6[= [0, 1/2 /6] [1/2 + /6, 1];
3. I2 o conjunto que se obtm retirando de I1 o intervalo aberto central
de comprimento /9 de cada um dos intervalos que o formam;
4. mais geralmente, para cada n N o conjunto In reunio disjunta de 2n intervalos fechados e o conjunto In+1 obtm-se de In
retirando de cada um daqueles intervalos o intervalo central aberto
de comprimento /3n+1 .
O conjunto C1 designa-se por conjunto de Cantor e representa-se por C.
Veja-se a figura 1.2.
I0
I1
I2
I3
20
Teoria da medida
(n Z+ ) : l ( In ) = 1
k =1
2k 1
3k
2n
= 1 1 n
3
(1.6)
(n Z+ ) : n 1 1 n
> n +1
2
3
3
Verifica-se facilmente que esta expresso equivale a
(n Z+ ) :
1
2
n > n +1
2
3
21
22
Teoria da medida
a
3kk
k =1
+ rn =
b
3kk
k =1
+ sn
23
[0, 1]
+
an ( x )/2
an ( x )
2n +1 = 2n
n =1
n =1
+
sobrejectiva, visto que cada elemento de [0, 1] pode ser escrito sob a
bn n
5
forma +
n=1 /2 , com cada bn igual a 0 ou a 1. Alm disso, para cada
x [0, 1[ isto pode ser feito exactamente de uma maneira se se excluirem
as sucesses (bn )nN tais que bn = 1 para cada n suficientemente pequeno,
as quais formam um conjunto numervel. Mas isto o mesmo que afirmar
que C pode ser escrito como reunio de um conjunto numervel com um
conjunto que tem o mesmo cardinal que [0, 1[ (que tem o mesmo cardinal
que R) e resulta desta observao que tm C e R tm o mesmo cardinal.
1.3.2
de outro modo, cada elemento de [0, 1] pode ser escrito na base 2 sob a forma
0,b1 b2 b3 . . .; veja-se o apndice A.
24
Teoria da medida
2. ( A P (R))( x R) : m( A + x ) = m( A).
D EMONSTRAO : Considere-se no conjunto [0, 1] a relao de equivalncia assim definida: x y se e s se x y Q. Seja V [0, 1] um
conjunto que contenha um e um s elemento de cada classe de equivalncia. Vai-se provar que
[
[0, 1]
V + q [1, 2]
(1.7)
qQ[1,1]
1 = m([0, 1]) 6 m
V + q 6 m([1, 2]) = 3
qQ[1,1]
e, portanto, que
16
m(V + q) 6 3 1 6
qQ[1,1]
m(V ) 6 3.
qQ[1,1]
25
1.4
1.4.1
k =1
e
( f , P) =
k =1
respectivamente.
P ROPOSIO 1.17 Sejam a, b R com a < b, seja f uma funo limitada de
[ a, b] em R e sejam P e Q parties de [ a, b]. Ento:
1. se P Q, tem-se ( f , P) 6 ( f , Q) e ( f , P) > ( f , Q);
2. ( f , P) 6 ( f , Q).
26
Teoria da medida
D EMONSTRAO : A primeira alnea demonstra-se por induo relativamente ao cardinal de Q \ P. Se for igual a 0, ento Q = P e nada h a
demonstrar. Por outro lado, para demonstrar o passo de induo, basta
observar que se c, c0 , c00 [ a, b] com c < c0 < c00 , ento
inf f ([c, c00 ])(c00 c) = inf f ([c, c00 ])(c0 c) + inf f ([c, c00 ])(c00 c0 )
1.4.2
27
Oscilao
0
1
R
se x < 0
caso contrrio.
k =1
f , [ a k 1 , a k ] ( a k a k 1 ).
(1.8)
28
Teoria da medida
T EOREMA 1.3 Sejam a, b R tais que a < b e seja f uma funo limitada de
[ a, b] em R. Ento f integrvel segundo Riemann se e s se o conjunto dos
pontos de descontinuidade de f tiver medida nula.
D EMONSTRAO : Seja D o conjunto dos pontos de descontinuidade de
f e, para cada > 0, seja D = { x [ a, b] | o f ( x ) > }. Resulta da
proposio 1.18 que ( > 0) : D D e que, por outro lado,
[
D = x [ a, b] o f ( x ) > 0 =
D1/n ;
n N
( f , P) ( f , P) <
2
Ento P = { a0 , a1 , . . . , an } com a = a0 < a1 < < an = b. Tem-se D = ( D P) ( D \ P). O primeiro destes conjuntos finito e,
consequentemente, existe alguma famlia finita de intervalos abertos cuja
reunio o contm e cuja soma dos comprimentos menor do que /2; basta
tomar, por exemplo, o conjunto de intervalos
k {0, 1, . . . , n} .
, an +
an
4( n + 1)
4( n + 1)
Por outro lado, tem-se
> ( f , P) ( f , P)
2
= o ( f , [ ak1 , ak ])( ak ak1 ) (por (1.8))
k{1,...,n}
k{1,...,n}
] ak1 ,ak [ D 6=
> ( a k a k 1 ),
k{1,...,n}
] ak1 ,ak [ D 6=
29
pois cada um dos intervalos ] ak1 , ak [ envolvidos contm algum ponto tal
que a oscilao de f nesse ponto maior ou igual a . Mas resulta destas
desigualdades que
( a k a k 1 ) < 2 ,
k{1,...,n}
] ak1 ,ak [ D 6=
ou seja, que a soma dos comprimentos dos intervalos ] ak1 , ak [ que intersectam D \ P menor do que /2.
Suponha-se agora que cada D tem medida nula; quer-se provar que
f integrvel segundo Riemann. Antes de se prosseguir, conveniente
que se prove que D compacto. De facto, trata-se de um conjunto
limitado e por outro lado, R \ D um aberto, pois se x R \ D , h duas
possibilidades:
x
/ [ a, b]: ento x < a ou x > b; no primeiro caso, x ] , a[ R \ D
e, no segundo, x ]b, +[ R \ D ;
x [ a, b]: ento, como o f ( x ) < , existe algum intervalo aberto I que
contm x e tal que o ( f , [ a, b] I ) < (pela definio de o f ( x )), o
que implica que I R \ D .
Seja ento > 0; vai-se provar que existe alguma partio P de [ a, b]
tal que ( f , P) ( f , P) < . Sejam e nmeros reais maiores do
que 0 e tais que (b a) + o ( f , [ a, b]) < . Por hiptese, l ( D ) = 0
e, portanto, existe alguma sucesso ( In )nN de intervalos abertos de R
S
[ a1 , a2 ] [ a3 , a4 ] [ a2n1 , a2n ],
com a 6 a1 < a2 < < an 6 b e
2n
(a2j a2j1 ) =
j =1
comp([a2j1 , a2j ])
j =1
N
comp( Jk )
k =1
N
comp( Ik )
n =1
<
30
Teoria da medida
f , [ bk 1 , bk ] ( bk bk 1 ) +
k I
0 o
f , [ bk 1 , bk ] ( bk bk 1 )
k I
f , [ a, b] (bk bk1 ) +
k I
( bk bk 1 )
k I 0
< o ( f , [ a, b]) + (b a)
< ,
pela escolha de e de .
Recorrendo a este teorema, bastante fcil demonstrar toda uma sre
de resultados do tipo se a, b R com a < b e se f uma funo de [ a, b]
31
x c
x c+
32
Teoria da medida
Integrao
2.1
Funes mensurveis
caso B
caso contrrio.
34
Integrao
([, a[) = X \
n N
1
a , +
n
A.
\
n N
1
, a +
n
e ento
f
(] a, b[) = f
([, b[) \
\
n N
1
, a +
n
.
35
caso a 6 0
f 1 ([, a[) =
caso contrrio.
a, a
H um conceito que conveniente introduzir agora, pois ajuda a dar
um exemplo de uma funo no mensurvel e ser til posteriormente
em outros contextos.
D EFINIO 2.2 Sejam X um conjunto e A uma parte de X. Designa-se
por funo caracterstica do conjunto A a funo
A : X (
x
1
0
{0, 1}
se x A
caso contrrio.
A ([ , 1[) = A
P ROPOSIO 2.2 Seja N um conjunto numervel. Se ( f n )n N for uma famlia
de funes mensurveis, ento as funes supn N f n e infn N f n so mensurveis.
D EMONSTRAO : Seja a R; quer-se provar que
1
sup f n
(] a, +]) M(R).
n N
n N
(n N ) : f n ( x ) > a
x
f n1 (] a, +]).
n N
Logo,
1
sup f n
n N
(] a, +]) =
f n1 (] a, +])
n N
36
Integrao
n N
sup a p
e por
p>n
n N
p>n
n N
n N
(2.1)
37
Mas ento
h1 (] , a[) =
(
)
[
= x X ( f 1 ( x ), . . . , f n ( x ))
] a1,N , b1,N [ ] an,N , bn,N [
N N
[
1
=
f 1 (] a1,N , b1,N [) f n1 (] an,N , bn,N [)
(2.2)
N N
2.2
D EFINIO 2.3 Diz-se que uma funo real f uma funo simples se a
sua imagem for um conjunto finito.
imediato que as funes simples de um conjunto X em R formam
um espao vectorial, pois a soma de duas funes simples novamente
uma funo simples e o produto de uma funo simples por um escalar ainda uma funo simples. De facto, trata-se do espao vectorial gerado pelas funes caractersticas (i. e. pelas funes do conjunto
{ A | A X }), pois se s for uma funo simples e se a sua imagem for o
conjunto { x1 , . . . , xn } R, ento
n
s=
xk s1 ({xk }) .
k =1
38
Integrao
k1
2n En,k
k =1
+ n Fn
39
IX ( s ) =
x k m ( A k ).
(2.3)
k =1
40
Integrao
xk m( Ak ) =
xk m( Ak )
x.m( Ak )
x s ( X ) k Ix
k =1
x s ( X ) k Ix
x.m(s1 ({ x }).
x s( X )
m( Ak )
k Ix
x s( X )
Ser provado posteriormente que se continua a ter (2.3) mesmo quando no se est a supor que os conjuntos Ak so dois a dois disjuntos.
Observe-se que se Y A, ento AY = { M Y | M A } uma -lgebra e que a restrio mY de m a AY ainda uma medida, pelo que
(Y, AY , mY ) outro espao de medida. Se s for uma funo mensurvel
simples de X em R, ento a s|Y uma funo mensurvel simples de Y
em R, pelo que faz sentido falar de IY (s|Y ). Por abuso de notao, este
nmero ser representado por IY (s).
D EFINIO 2.4 Se ( X, A, m) um espao de medida
R e f uma funo
mensurvel de X em R+ , ento representa-se por X f dm o supremo do
conjunto
(2.4)
{ IX (s) | 0 6 s 6 f e s mensurvel e simples } .
R
R
Caso X f dm < +, o nmero X f dm designa-se por integral de Lebesgue
de f e diz-se ento que a funo f integrvel.
Se f for uma funo mensurvel de X em R, ento diz-se que f
integrvel se as funes f + e f o forem. Nesse caso designa-se por
integral de Lebesgue de f o nmero
Z
X
f dm =
Z
X
f + dm
Z
X
f dm.
41
f dm
f dm =
Z
X
f dm 0 =
Z
X
f dm.
s dm = IX (s).
s=
x k Ak ,
k =1
nk
y j,k Bj,k
j =1
42
Integrao
Ento
IX ( s 0 ) =
nk
y j,k Bj,k
k =1 j =1
n nk
xk Bj,k
k =1 j =1
nk
xk
k =1
n
Bj,k
j =1
x k Ak
k =1
= IX ( s ) .
Vo ser vistos exemplos de funes integrveis e de funes no integrveis. Em todos os casos, as funes tero por domnio sub-conjuntos
mensurveis A de R e, a menos que se diga explicitamente o contrrio, a
-lgebra em questo ser M(R) A e a medida ser l A .
E XEMPLO 2.4 Se
R f 1, ento f no integrvel, pois f = R e, pela
proposio 2.4, R R dl = IR (R ) = +.
E XEMPLO 2.5 AR restrio a [1, 1] da funo f do exemplo anterior
integrvel, pois [1,1] f dl = 2, novamente pela proposio 2.4.
E XEMPLO 2.6 Se f : R R a funo definida por f ( x ) = x, ento f
no integrvel, pois
(
x se x > 0
( x R) : f + ( x ) =
0 caso contrrio
e ento f + > [1,+[ , pelo que
Z
R
f + dl >
Z
R
[1,+[ dl = +.
1
0
se x Q
caso contrrio.
43
R
Ento f integrvel, pois f = [a,b]Q , e [a,b] f dl = l ([ a, b] Q) = 0. Este
exemplo mostra que h funes integrveis segundo Lebesgue que no so
integrveis segundo Riemann, apesar de serem limitadas.1 Ser visto mais
frente que qualquer funo de [ a, b] em R integrvel segundo Riemann
Rb
R
tambm integrvel segundo Lebesgue e que a f ( x ) dx = [a,b] f dl.
E XEMPLO 2.8 Considere-se em N a medida de contagem m, definida no
exemplo 1.3. Ento a funo f : N R definida por f (n) = 1/n no
integrvel. De facto, se se definir, para cada n N,
sn : N (
R
se k 6 n
caso contrrio,
1/k
(n N) :
pelo que
Z
N
f dm >
1
k
Z
N
sn dm =
1
,
k
k =1
= +.
Z
X
f dm 6 b.m( X ).
44
Integrao
2. Se f , g L( X ) e se f 6 g, ento
Z
f dm 6
Z
X
g dm.
3. Se f L( X ) e se R, ento f integrvel e
Z
X
f dm =
Z
X
f dm.
R
X
f dm = 0.
5. Se f L( X ) e se Y A, ento f |Y L(Y ).
6. Se f uma funo mensurvel de X em R+ e se
f ( x ) = 0 q. s.
R
X
f dm = 0, ento
D EMONSTRAO : Para demonstrar a primeira alnea, comece-se por supor que a > 0. Ento f > 0, pelo que
Z
f dm > IX ( a X ) = a.m( X )
e por outro lado, se s for uma funo simples e mensurvel tal que 0 6
s 6 f , ento s 6 b, pelo que IX (s) 6 b.m
R ( X ). Como isto tem lugar para
cada s naquelas condies, tem-se que X f dm 6 b.m( X ).
Se se tiver b 6 0, ento f + 0 e o argumento anterior mostra que
b.m( X ) 6
Z
X
f dm 6 a.m( X ),
pelo que
Z
X
f dm =
Z
X
f + dm
Z
X
f dm =
Z
X
f dm =
f dm
Z
X
R
X
f + dm 6 b.m( X ) e 0 6
f dm =
Z
X
f + dm
Z
X
f dm >
Z
X
g+ dm
Z
X
g dm =
Z
X
g dm.
45
Z
X
f dm =
Z
z }| {
+
( f ) dm ( f ) dm
XZ
f dm
= ()
=
Z
X
f dm
f dm.
f dm =
Z
ZX
XZ
( f )+ dm
f dm
Z X
f dm
XZ
f dm
ZX
( f ) dm
f dm
f dm
f dm =
ZX
( f ) dm
f dm
Z
Z
ZX
( f ) dm
f + dm
f dm ()
Z
= ().
f dm
= ()
Z
X
f + dm
Z
X
f dm.
IX ( s ) =
xk m( AK ) = 0,
k =1
46
Integrao
f dm =
f dm
Z
X
f dm = 0.
f dm,
f dm 6
Z
X
f dm < +.
{ x X | f ( x ) 6= 0 } =
Dn ,
n N
f dm >
Z
X
1
1
Dn dm = m( Dn ) > 0,
n
n
o que absurdo.
P ROPOSIO 2.6 Seja f uma funo mensurvel de X em R. Ento, caso
f > 0 ou caso f L( X ), a funo
: A Z R+
A 7
f dm
A
47
( A n ).
An
n N
n =1
I A ( s ) = IB ( s ) 6
f dm.
An
Z
S
n N
n N
An
E dm
!
=m
An
n N
!
[
=m
( An E)
n N
=
=
m( An E)
n =1
+ Z
n =1 A n
+
E dm
( A n ).
n =1
48
Integrao
An
Z
S
n N
n N
xk
k =1
n
xk
xk Ek dm
A n k =1
Z
S
n N
An
+ Z
n =1 A n
k =1
Z
+
n
Ek dm
Ek dm
xk Ek dm
n =1 A n k =1
+
( A n ).
n =1
n N
An
s dm =
+ Z
n =1 A n
s dm 6
+ Z
n =1 A n
f dm =
( A n ),
n =1
pelo que
!
An
Z
S
n N
n N
An
f dm 6
( A n ).
n =1
An
n N
( An ) = +.
n =1
Seja n N e seja > 0. Para cada j {1, 2, . . . , n}, existe alguma funo
mensurvel simples s tal que 0 6 s 6 f e que
( j {1, 2, . . . , n}) :
Z
Aj
s dm >
Z
Aj
f dm
n
49
Ento
n
[
Aj =
Sn
Aj
Sn
Aj
j =1
j =1
>
j =1
n Z
j =1 A j
n
s dm
s dm
>
f dm
Aj
j =1
n
f dm
n
!
( A j )
j =1
e, como esta
desigualdade valida para qualquer > 0, tem-se que
Sn
n
(n N) :
Aj >
j N
( A j )
j =1
e, portanto, que
+
An
>
n N
( A n ).
n =1
A Z R+
A 7
f dm
A
50
Integrao
( A A) : ( X ) =
Z
A
f dm.
( A M(R)) : l ( A) =
f dm
(2.5)
Z
{x}
f dm = f ( x )m({ x }) = f ( x ).
RC OROLRIO
R 2.3 Seja f L( X ). Se Y A for tal que m( X \ Y ) = 0, ento
Y f dm = X f dm.
.
Y\X
f dm =
Z
Y
f dm =
Z
Y
g dm =
Z
X
g dm.
51
D EMONSTRAO : Sejam
A = { x X | f (x) > 0 }
B = { x X | f (x) < 0 } .
| f | dm =
=
Z
ZA
A
| f | dm +
f + dm +
Z
ZB
B
| f | dm
f dm
< +,
R +
R
visto que, por hiptese, A f dm, B f dm < +. Est ento visto que
| f | integrvel. Para terminar a demonstrao basta observar que
| f | 6 f 6 | f |,
pelo que, pela segunda alnea da proposio 2.5,
Z
X
| f | dm 6
Z
X
f dm 6
Z
Z
X
| f | dm
| f | dm 6
f dm 6
Z X
Z X
f dm 6
| f | dm.
X
Z
X
| f | dm
f dm,
Z
X
f dm < +.
n
R
R n =1 n
n =1
R
e, portanto, R f dl > lim N N nN=1 n1 = +.
52
Integrao
+ (1)n
/n = log(2)).
f ( x ) dx converge ( igual a n=1
2.3
n N X
f n dm =
lim f n dm.
X n N
(n N) :
Z
X
f n dm 6
Z
X
f dm,
pelo que
lim
n N X
f n dm 6
Z
X
f dm.
entanto, ser visto mais frente que continua vlida no caso das funes no-negativas.
53
A Z R+
A 7
s dm
A
s dm =
Z
S
n N
En
s dm = lim
nN En
s dm.
(n N) :
Z
X
f dm >
Z
En
f dm >
Z
En
s dm.
R
R
Resulta destas duas observaes que X f dm > X s dm. Como
esta
R
desigualdade
tem
lugar
para
cada
]
0,
1
[
,
deduz-se
que
f
dm
>
X
R
X s dm, como se pretendia demonstrar.
Se se retirar do enunciado do teorema a hiptese de que a sucesso
montona, ento o enunciado falso, mesmo que se possa garantir que os
limites existem.
E XEMPLO 2.10 Considere-se em N a medida de contagem e, para cada
n N, seja f n a funo de N em R+ definida por
(
1 se m = n
f n (m) =
0 caso contrrio.
R
Ento limnRN f n = 0 e Rento N limnN f n dm = 0 mas, Rpor outro lado,
(n N) : N f n dm = N {n} dm = 1, pelo que limnN N f n dm = 1.
T EOREMA 2.3 Se f e g forem funes integrveis de X em R, ento f + g
tambm integrvel e
Z
X
f + g dm =
Z
X
f dm +
Z
X
g dm.
54
Integrao
f +g=
(xk + yl )Zkl ,
k =1 l =1
pelo que
m
IX ( f + g ) =
(xk + yl )m(Zkl )
k =1 l =1
m n
xk m(Zkl ) + yl m(Zkl )
k =1 l =1
m
n
l =1 k =1
n
m
xk m(Zkl ) + yl m(Zkl )
k =1
m
l =1
l =1
k =1
xk m(Xk ) + yl m(Yl )
k =1
l =1
= IX ( f ) + IX ( g ) .
Se f , g > 0, existem, pela proposio 2.3, sucesses montonas crescentes (sn )nN e (s0n )nN de funes mensurveis simples tais que se
n N, ento 0 6 sn 6 f e 0 6 s0n 6 g. Ento (sn + s0n )nN uma
sucesso montona crescente de funes mensurveis simples tal que
(n N) : 0 6 sn + s0n 6 f + g. Decorre ento da proposio 2.4 e do
teorema da convergncia montona que
Z
X
f + g dm = lim
n N X
Z
= lim
=
n N X
Z
X
sn + s0n dm
sn dm + lim
n N X
f dm +
Z
X
s0n dm
g dm;
em particular, f + g integrvel.
Isto permite provar que sempre que f e g so funes integrveis de
X em R, f + g tambm integrvel. De facto, basta provar que | f + g|
integrvel, mas isto resulta de se ter
Z
X
| f + g| dm 6
Z
X
| f | + | g| dm =
Z
X
| f | dm +
Z
X
| g| dm < +.
55
Para terminar,
se f e g forem
funes
R
R
R integrveis de X em R, quer-se
provar que X f + g dm = X f dm + X g dm. Seja h = f + g. Ento
h+ h = h = f + g = f + f + g+ g ,
pelo que
h+ + f + g = h + f + + g+ .
h+ dm +
Z
X
f dm +
Z
X
g dm =
Z
X
h dm +
Z
X
f + dm +
Z
X
g+ dm,
pelo que
Z
X
h dm =
=
=
ZX
ZX
X
h dm
Z
ZX
f dm
f dm +
Z X
X
h dm
f dm +
Z
X
g+ dm
Z
X
g dm
g dm.
=
=
Z
X
x k Ak
X k =1
n Z
k =1 X
n
x k Ak
IX ( x k A k )
k =1
n
x k m ( A k ).
k =1
X n =1
f n dm =
+ Z
n =1 X
f n dm.
56
Integrao
+
D EMONSTRAO
R : Seja f = n=1 f n . Se algumaR funo f n no for integrvel, ento X f n dm = + e, como f > f n , X f dm = +. Logo, a
igualdade do enunciado reduz-se a + = +.
Caso ( f n )nN seja uma sucesso de funes integrveis, ento, pelo
teorema anterior, cada funo nN=1 f n (N N) integrvel e
X n =1
f n dm =
N Z
f n dm,
n =1 X
X n =1
f N dm =
lim
X N N n =1
= lim
N N X
n =1
N Z
= lim
N N
n =1 X
+ Z
n =1 X
f n dm
f n dm
f n dm
f n dm.
n N
Z
X
f n dm.
57
lim inf f n dm =
n N
lim n dm
N
X n
Z
= lim
n dm
n N X
Z
= lim inf
n N
6 lim inf
ZX
n N
n dm
f n dm.
lim f n dm 6 lim
X n N
n N X
f n dm
X n N
n N X
f n dm.
f + dm =
X n N
n N
f n + dm,
pelo que
Z
X
f dm 6 lim inf
n N
Z
X
f n dm.
(2.6)
f + dm =
X n N
n N
Z
X
f n + dm,
pelo que
Z
X
f dm =
Z
X
f dm 6 lim inf
n N
Z
X
f n dm = lim sup
n N
Z
X
f n dm,
58
Integrao
ou seja,
Z
X
n N
f n dm.
(2.7)
f dm = lim sup
n N
Z
X
f n dm = lim inf
n N
f n dm,
ou seja, que
Z
X
f dm = lim
n N X
f n dm.
C OROLRIO 2.5 Se m( X ) < + e se ( f n )nN uma sucesso uniformemente limitada de funes integrveis de X em R que converge pontualmente para
alguma funo de X em R, ento limnN f n integrvel e
Z
lim f n dm = lim
X n N
n N X
f n dm.
2.4
f ( x ) dx =
Z
[ a,b]
f dl.
(2.8)
a1
a2
a1
59
a2
(2.9)
n
S
Define-se, para cada n N, Pn = nk=1 Pn0 . Ento cada Pn uma partio
de [ a, b], a sucesso ( Pn )nN crescente e resulta da primeira alnea da
proposio 1.17, de (2.9) e de se ter Pn Pn0 que
( f , Pn0 ) ( f , Pn0 ) <
( f , Pn ) ( f , Pn ) <
e
m n 1
Sn =
k =1
sup f ([ ak1 , ak ])[ak1 ,ak [
(n N) : sn 6 f 6 Sn .
(2.10)
sn dl = ( f , Pn )
e que
Z
X
Sn dl = ( f , Pn ),
60
Integrao
pelo que
Z
X
Sn sn dl = ( f , Pn ) ( f , Pn ) <
Z
X
S s dl =
lim Sn sn dl = lim
X n N
n N X
Sn sn dl 6 0,
R
pelo que X S s dl = 0. Resulta ento da sexta alnea da proposio 2.5
que s( x ) = S( x ) q. s. e, como s 6 f 6 S, s( x ) = f ( x ) = S( x ) q. s., pelo
que f mensurvel. De facto, como, para cada t R
{ x X | s( x ) > t } { x X | f ( x ) > t } { x X | S( x ) > t }
e como o primeiro e o terceiro destes trs conjuntos so mensurveis e
tm a mesma medida, o segundo tambm mensurvel.
Finalmente, aplicando novamente o corolrio 2.5, v-se que
Z
[ a,b]
f dl = lim
nN [ a,b]
sn dl = lim ( f , Pn ) 6
n N
Z b
a
f ( x ) dx
e que
Z
[ a,b]
f dl = lim
nN [ a,b]
Sn dl = lim ( f , Pn ) >
Z b
n N
f ( x ) dx,
f ( x ) dx = lim
M+ a
f ( x ) dx.
] a, +[
M
Z M
a
R
f ( x ) dx
61
RM
crescente e ento o limite lim M+ a f ( x ) dx existe se e s se o limite
R a+n
limnN a
f ( x ) dx existir e, caso ambos os limites existam, tm o mesmo
valor. Seja ( f n )nN a sucesso de funes de [ a, +[ em R tal que, para
cada n N e cada x [ a, +[,
(
f ( x ) se x 6 a + n
f n (x) =
0
caso contrrio;
posto de outro modo, f n = f .[a,a+n] . Mas ento, se n N,
Z
[ a,+[
f n dl =
Z
[ a,a+n]
f n dl +
Z
] a+n,+[
f n dl =
Z a+n
a
f n ( x ) dx,
f dl = lim
nN [ a,+[
f n dl = lim
Z a+n
n N a
f n ( x ) dx =
Z +
a
f dx.
f ( x ) dx;
(2.11)
Z +
0
: ]1, +[
et t x1 dt
( x ]1, +[) : ( x )( x ) =
Z + t 1
x
0
et 1
dt.
1
;
nx
n =1
62
Integrao
Z +
0
ent t x1 dt,
=
=
( x )
nx
n =1
+ Z +
n =1 0
Z + +
0
Z +
0
Z +
0
n =1
et
t x1 dt
1 et
t x 1
dt.
et 1
(2.12)
Derivao
Neste captulo, vai-se estudar a derivabilidade de funes no contexto do integral de Lebesgue. Em particular, vai-se ver at que ponto
vlido o teorema fundamental do Clculo neste contexto. Adaptar as
demontraes do contexto do integral de Riemann (veja-se [13, cap. 6] ou
[16, cap. 14]) no apresenta qualquer dificuldade. De facto, demonstra-se facilmente, recorrendo ao teorema da convergncia dominada, que
vlido o seguinte
T EOREMA 3.1 Se a, b R com a < b e se f uma funo integrvel de [ a, b]
em R, ento a funo
F : [ a, b]
R
Rt
t
7
a f ( x ) dx
contnua e mesmo derivvel em cada ponto x [ a, b] onde f seja contnua,
tendo-se ento que F 0 ( x ) = f ( x ).
Resulta deste facto, mesmo sem recorrer ao teorema 2.6 (i. e. ao facto
de o integral de Lebesgue ser uma generalizao do de Riemann) que se
f : [ a, b] R for uma funo contnua e se F for uma primitiva de f ,
ento
Z
b
f ( x ) dx = F (b) F ( a).
3.1
64
Derivao
ponto tal que, para cada x X e cada > 0, exista algum I C tal que x I
e que comp( I ) < . Ento, para cada > 0, existem elementos I1 , . . . , In de C
dois a dois disjuntos tais que
/ n
[
m X
Ik < .
(3.1)
k =1
n
/[
k =1
Ik
n
/[
Ik
k =1
tm a mesma medida.
Seja A um aberto de R de medida finita que contenha X; um tal aberto
existe necessariamente pela definio da medida exterior de Lebesgue e
por se estar a supor que X tem medida exterior finita. Seja
C = { I C | I A } .
O conjunto C satisfaz ento as hipteses do lema. Por outro lado, se
I C , ento comp( I ) 6 l ( A). Logo, o conjunto { comp( I ) | I C }
majorado (em R); seja s0 o seu supremo. Fixemos I1 A tal que
comp( I1 ) > s0/2. Caso X I1 , ento X \ I1 = e o lema est demonstrado.
Caso contrrio, consideram-se os intervalos I A que no intersectam
I1 ; existem tais intervalos, pelas hipteses do lema e porque I1 fechado.
Seja s1 o supremo das medidas dos intervalos de C que no intersectam I1
e seja I2 um intervalo de C que no intersecta I1 tal que comp( I2 ) > s1/2.
Caso X I1 I2 , ento X \( I1 I2 ) = e o lema estar demonstrado.
Caso contrrio, recomea-se o processo: seja s2 o supremo das medidas
dos intervalos de C que no intersectam I1 I2 e seja I3 um intervalo de
65
C que no intersecta I1 I2 tal que comp( I3 ) > s2/2. Podem dar-se dois
casos: ou ao fim de um nmero finito de passos, obtiveram-se
intervalos
Sn
Sn
I1 , I2 , . . . , In tais que X k=1 Ik e ento X \ k=1 Ik = , ou o processo
no acaba e leva nesse caso a uma sucesso ( In )nN de intervalos dois a
dois disjuntos tal que (n N) : comp( In ) > sn1/2. No primeiro caso,
nada haver a demonstrar, pelo que se vai supor que se est no segundo.
conveniente observar que, visto que os intervalos In (n N) so
dois a dois disjuntos e visto que a sua reunio est contida em A, ento
!
+
comp( In ) = m
6 m ( A) < +;
In
n N
n =1
comp( Im ) <
5
m = n +1
m>n
n
/[
k =1
!
Ik
6 m
[
m>n
Jm
5 comp( Im ) < .
m>n
Sn
Seja x X
I
; quer-se provar que x Jm para algum algum
k
k =1
S
nmero natural m > n. Seja I C tal que x I e I nk=1 Ik = . Se
S
m N e se I m
I
= , ento, pela definio de sm ,
k
k =1
comp( I ) 6 sm < 2 comp( Im+1 ).
(3.2)
Como I um intervalo com mais que um ponto, comp( I ) > 0, pelo que
no se pode ter (3.2) para qualquer m N. Consequentemente, existe
S +1
algum m N tal que I intersecta a reunio m
k=1 Ik , mas no a reunio
Sm
k=1 Ik e bvio, pela escolha de I, que m > n. Mas ento I intersecta
Im+1 e comp( I ) 6 sm < 2 comp( Im+1 ).
66
Derivao
Seja y o centro do intervalo Im+1 ; vai-se provar que
| x y| <
5
comp( Im+1 ),
2
| x y| 6 | x z| + |z y|
comp( Im+1 )
(pois x, z I)
6 comp( I ) +
2
5
< comp( Im+1 ),
2
por (3.2).
Seja I uma parte de R, seja f uma funo de I em R e seja a I. O
limite superior e o limite inferior da funo f no ponto a so os elementos
de R definidos por
lim sup f ( x ) = lim sup { f ( x ) | x I ] r, r [ }
r 0+
xa
e por
lim inf f ( x ) = lim inf { f ( x ) | x I ] r, r [ }
xa
r 0+
xa
xa
67
f (c + h) f (c)
h
f (c + h) f (c)
c ] a, b[ D f (c) = +
(3.4)
f (c + h) f (c)
;
h
68
Derivao
[c + h, c], com c X, e com h < 0 tal que >
f (c + h) f (c)
.
h
m X, I1 IN
J1 J M 6 .
(3.5)
Mas
m ( X, ) = m X, I1 IN + m X, I1 IN
6 + m X, I1 IN
Por outro lado, m X, I1 IN menor ou igual soma de
m X, I1 IN
J1 J M
com
m
X, I1 IN J1 J M .
(3.6)
(3.7)
(i {1, 2, . . . , M}) :
| f (di + k i ) f (di )|
f ( di + k i ) f ( di )
=
> ,
|ki |
ki
tem-se que
M
i =1
i =1
(3.8)
69
| f (di + ki ) f (di )| 6
i =1
| f (ci + hi ) f (ci )|
j =1
< |h j |
j =1
6 m ( A)
6 m ( X, ) + .
Resulta de (3.8) e desta srie de desigualdades que
m ( X, ) 6 2 + m ( X, ) + ,
o que equivale a afirmar que
m ( X, ) 6
2 +
c ] a, b[ D f (c) > .
m X \( I1 IN ) <
2
70
Derivao
Ento
m ( X ) 6 m X \( I1 IN ) + m X ( I1 IN )
N
6 + comp( Ij )
2 j =1
6
6
+
2
1
+
2
| hi |
j =1
N
| f (c j + h j ) f (c j )|
j =1
f (b) f ( a)
que a demonstrao que foi feita pode ser facilmente reescrita numa
linguagem ligeiramente diferente de maneira a serem eliminadas quaisquer referncias
teoria da medida, com excepo do conceito de conjunto de medida nula.
71
Cantor e o seu grfico est esboado na figura 3.1. Observe-se que a funo
de Cantor contnua, pois a sua imagem [0, 1] e, dada uma funo real
montona definida num intervalo de R, ela contnua se e s se a sua
imagem for um intervalo.
1
7/8
3/4
5/8
1/2
3/8
1/4
1/8
1/9
2/9
1/3
2/3
7/9
8/9
de R, seja +
n=1 f n uma srie pontualmente convergente de funes montonas
crescentes de I em R e seja f = +
n=1 f n . Ento
+
f (x) =
f n0 ( x ) q. s.
(3.9)
n =1
m=n(k)
f m ( b ) < 2 k .
72
Derivao
f m ( x ).
m=n(k)
( x [ a, b]) : 0 6 tk ( x ) 6 2k .
Faz ento sentido definir a funo
t : ] a, b[
t k ( x ),
k =1
sn =
tk = t
k = n +1
tk ,
k =1
k =1
e, visto que s0n ( x ) 0, tem-se t0 ( x ) > nk=1 t0k ( x ). Logo, visto que a srie
0
+
n=1 tk ( x ) uma srie de nmeros maiores ou iguais a 0, ela converge e,
portanto, limkN t0k ( x ) = 0. Isto prova ento que
0 = lim t0k ( x )
k N
!0
n(k)1
= lim f
k N
fm
(x)
m =1
n(k)1
= f ( x ) lim
k N m =1
f m0 ( x ).
73
n(k)1
Logo, a sucesso m=1 f m0 ( x ) kN converge para f 0 ( x ). Mas trata-se
de uma sub-sucesso da sucesso crescente nN=1 f m0 ( x ) N N , pelo que
esta ltima tambm converge para f 0 ( x ); por outras palavras,
f 0 (x) =
f m0 ( x ).
n =1
3.2
f dl =
Z
B
f dl.
Observe-se
que Rse F for um prolongamento qualquer da funo f a A,
R
ento A F dl = A f dl, pois
Z
A
F dl =
=
=
Z
.
B ( A\ B)
Z
ZB
F dl
f dl (pois F | B = f e l ( B \ A) = 0)
f dl.
f 0 ( x ) dx = f (b) f ( a)?
A resposta negativa, pois viu-se (exemplo 3.1) que possvel definir uma
funo no constante de [0, 1] em [0, 1] cuja derivada nula q. s.. Alis,
este no o nico problema que pode surgir.
E XEMPLO 3.2 A funo
f : [0, 1]
(
x
R
0
se x = 0
x2 sen x12
caso contrrio
74
Derivao
f 0 ( x ) dx 6 f (b) f ( a).
(3.10)
n ( x ) dx = n
=n
=n
=n
Z b
a
f ( x + 1/n) f ( x ) dx
b
Z
a
f ( x + 1/n) dx
Z
b+1/n
Z
a+1/n
b+1/n
b
f ( x ) dx
f ( x ) dl
Z b
Z b
a
f ( x ) dx
f ( x ) dx
Z a+1/n
a
f ( x ) dx
6 f ( b ) f ( a ),
pois f ( x ) = f (b) em todos os pontos de [b, b + 1/n] e f ( x ) > f ( a) em
todos os pontos de [ a, a + 1/n]. Ento, pelo teorema de Fatou:
Z b
a
f 0 ( x ) dx =
Z b
lim n ( x ) dx
a n N
6 lim inf
n N
Z b
a
n ( x ) dx
6 f ( b ) f ( a ).
D EFINIO 3.1 Seja A R e seja f uma funo de A em R. Diz-se que a
funo f localmente integrvel se cada x A possuir alguma vizinhana
V tal que a restrio de f a A V seja integrvel.
75
R
1/x
se x > 0
+ se x = 0
f ( x ) dx =
Z b
a
f ( x ) dx +
Z c
b
f ( x ) dx.
(3.11)
76
Derivao
T EOREMA 3.4 Seja I um intervalo de R, seja c I, seja f uma funo localmente integrvel de I em R e seja
F : I Z
x 7
f (t) dt.
Ento tem-se F 0 ( x ) = f ( x ) q. s.
D EMONSTRAO : Para simplificar, vai-se supor que I = R. A demonstrao do teorema neste caso particular implica que ele vlido no caso
geral, pois se I 6= R, pode-se prolongar f a R pondo f ( x ) = 0 se x R \ I.
A nova funo F obtida a partir deste prolongamento um prolongamento a R da funo F original (que constante em R \ I). Ento
F 0 ( x ) = f ( x ) para quase todos os x R e, em particular, F 0 ( x ) = f ( x )
para quase todos os x I.
Vai-se comear por demonstrar este teorema no caso particular em
que F 0. Nesse caso, F 0 0 e o que se quer demonstrar ento que
f ( x ) = 0 q. s. Observe-se que
R a afirmar que F 0 o mesmo que afirmar
que, para qualquer a R, c f ( x ) dx = 0. Mas ento, se a, b R tem-se
Z b
a
f ( x ) dx =
Z b
c
f ( x ) dx
Z a
c
f ( x ) dx (por (3.11))
= F (b) F ( a)
= 0.
Vai-se provar que
A M(R) =
Z
A
f dl = 0,
(3.12)
f (x)
e, analogamente,
= 0 q. s., pelo que f ( x ) = 0 q. s., pois f =
f + f .
Comece-se por supor que A limitado. Para cada n N existe, pela
definio de medida exterior, algum aberto An que contm A e tal que
m( An \ A) < 1/n; naturalmente, visto que se est a supor que A limitado,
pode-se supor que cada An limitado. O aberto An pode ser escrito como
uma reunio finita ou numervel de intervalos limitados de R dois a dois
77
disjuntos, pelo lema 1.1. Mas resulta ento de se estar a supor que se
Rb
R
tem sempre a f ( x ) dx = 0 e da proposio 2.6 que An f dl a soma dos
integrais de f em cada um daqueles intervalos e, portanto, igual a 0.
T
Seja A = nN An . Ento A A e l ( A \ A) = 0. Por outro lado, as
funes
M(R) R R+
+
B
7
B f dl
M(R) R R+
B
7
B f dl
f + dl
f dl
A
A
Z
Z
+
= lim
f dl
f dl
f dl =
n N
An
An
=0
Mas, por outro lado,
0=
Z
A
f dl =
Z
A
f dl +
Z
A \ A
f dl =
Z
A
f dl,
pois l ( A \ A) = 0.
Finalmente, se A no for limitado sempre possvel escrever A como
reunio disjunta uma sucesso de partes mensurveis e limitadas
de R.
R
Como o integral de f em cada uma destas partes igual a 0, A f dl = 0,
pela proposio 2.6.
Passemos agora ao caso geral. Basta demonstrar o teorema no caso
em que f > 0. De facto, uma vez demonstrado neste caso, pode-se
demonstrar o teorema no caso geral definindo F+ , F : R R por
F+ ( x ) =
Z x
c
f (t) dt
e por
F ( x ) =
Z x
c
f (t) dt.
Z x
c
f (t) dt =
Z x
c
f (t) dt
Z x
c
f (t) dt = F+ ( x ) F ( x )
78
Derivao
( a, b R) : a < b =
Z b
a
F 0 (t) f (t) dt = 0.
(3.13)
Vei-se supor que c = a, o que faz somente com que a funo F seja
substituda por uma outra funo (que tambm ser representada por F)
que difere daquela por uma constante; consequentemente, tm a mesma
derivada. Definem-se
f : [ a, b + 1] (
x
e
R
se x 6 b
caso contrrio.
f (x)
f (b)
F : [ a, b + 1] Z
x
7
x
a
R
f (t) dt;
n ( x ) = n F ( x + 1/n) F ( x ) = n
Z x+1/n
x
f (t) dt.
Resulta ento de uma nova aplicao do teorema da derivao de Lebesgue que cada 0n ( x ) existe q. s. e resulta de se estar a supor que 0 6 f 6 M
que (n N) : 0 6 n 6 M. Mas ento
Z b
a
F ( x ) dx =
Z b
lim n ( x ) dx
a n N
Z b
= lim
=
= F ( b ) F ( a ),
pois F contnua, pelo teorema 3.1. Est ento provado que
Z b
a
F 0 ( x ) dx = F (b) F ( a) =
Z b
a
f ( x ) dx.
79
Isto foi provado para cada a, b R tais que a < b; portanto, tem-se (3.13).
Passemos agora ao caso geral; por outras palavras, no se est a supor
que f majorada. Sejam a, b R tais que a < b. Para cada n N, seja
gn : [ a, b] (
R
se f ( x ) 6 n
caso contrrio.
f (x)
n
e seja
Gn : [ a, b] Z
x
7
x
c
gn (t) dt.
F ( x ) = Gn ( x ) +
f (t) gn (t) dt
(3.14)
[ a, b] Z
x
7
x
c
R
f (t) gn (t) dt
derivvel em quase todos os pontos; alm disso, nos pontos onde for
derivvel a derivada maior ou igual a 0, visto que se trata de uma funo
crescente. Mas resulta ento de (3.14) que
F 0 ( x ) > Gn0 ( x ) = gn ( x ) q. s.
Como isto tem lugar para qualquer n N, deduz-se que F 0 ( x ) > f ( x )
q. s. e, portanto,
Z b
a
F 0 ( x ) dx >
Z b
a
f ( x ) dx = F (b) F ( a).
F ( x ) dx =
Z b
a
f ( x ) dx
80
Derivao
(3.15)
(bk ak ) < ,
k =1
ento
k =1
( x [ a, b]) : f ( x ) f ( a) =
Z x
a
f 0 (t) dt.
Veja-se [1, 7.3] ou [14, cap. 7] para uma demonstrao deste teorema.
Finalmente, convm observar que se f : [ a, b] R for derivvel em
todos os pontos de [ a, b] e se se supuser que f 0 integrvel, ento verdade
que a relao (3.15) vlida, sem haver necessidade de qualquer hiptese
adicional; veja-se [14, cap. 7] para a demonstrao.
Espaos L p
4.1
Funes convexas
Y
X
Espaos L p
82
6 (1 t) ( x ) + t(z)
zy
yx
=
( x ) +
( z ),
zx
zx
pelo que
(z) >
zy
z x ( x )
y x
z x
(y)
zx
zy
(y)
( x ).
yx
yx
(4.1)
ts
us
83
pelo que 0 ( x ) 6 0 (y). Em termos geomtricos, o que as desigualdades (4.3) e (4.4) significam que o declive do segmento de recta que une
X a (y, (y)) maior ou igual ao declive da recta tangente ao grfico de
no ponto X e menor ou igual ao declive da recta tangente ao grfico de
no ponto Y; veja-se a figura 4.2.
Finalmente, suponha-se que derivvel com derivada crescente;
quer-se provar que convexa. Sejam ento s, t, u ] a, b[ tais que s <
t < u; quer-se provar que se tem (4.1). Vai-se comear por demonstrar
isto no caso em que (u) = (s), caso em que (4.1) equivale a afirmar
que (t) 6 (s) = (u). De facto, pelo teorema da mdia, h nmeros
c ]s, t[ e d ]t, u[ tais que
0 (c) =
(t) (s)
ts
e que
0 (d) =
(u) (t)
,
ut
Espaos L p
84
(u) (s)
(t s) < (s)
us
(t) (s)
(u) (s)
ts
us
85
T
S
X
Y
s
4.2
f dm 6
f dm.
X
Espaos L p
86
Ento tem-se
( x X ) : ( f ( x )) > () + s( f ( x ) ).
Resulta desta desigualdade que
Z
X
f dm >
() + s( f ) dm
Z
= () + s
f dm
X
Z
=
f dm .
X
Observe-se que o enunciado anterior no afirma que f integrvel. No entanto, Rresulta da parte final da demonstrao que se no for
integrvel, ento X f dm = +.
E XEMPLO 4.2 Seja n N, seja X = {1, 2, . . . , n} e considere-se a medida
definida em P ( X ) tal que (k X ) : m({k }) = 1/n. Se f for uma
funo de X em R, seja, para cada k X, xk = f (k ). Visto que a funo
exponencial convexa, a desigualdade de Jensen afirma que:
e
R
X
f dm
Z
X
exp f dm,
e x1 + e x2 + + e x n
.
n
por ak , esta desigualdade escreve-se sob
e x1 e x2 e x n 6
a + a2 + + a n
n
a1 a2 a n 6 1
,
n
que a desigualdade entre a mdia aritmtica e a mdia geomtrica.
87
f g dm 6
Z
f dm
1/p Z
1/q
g dm
R
R
D EMONSTRAO : Se X f p dm = 0 ou se X gq dm = 0, ento, pela sexta
alnea da proposio 2.5, f ( x ) = 0 q. s. ou g( x ) = 0 q. s. e, portanto,
f ( x ) g( x ) = 0 q. s., pelo que a desigualdade
se reduz neste
R p de RHlder
q
caso a 0 6 0. Caso um dos integrais X f dm e X g dm seja maior do
que
R zero e o outro seja igual a +, a desigualdade de Hlder reduz-se a
X f g dm 6 + .
Vai-se
agora
R
R demonstrar a desigualdade de Hlder no caso em que
0 < X f p dm, X gq dm < +. Sejam
f
= R
X
f p dm
1/p
= R
g
q
X g dm
1/q ;
dm =
Z
X
q dm = 1.
(4.5)
ey ez
+ ,
p
q
( x ) p ( x )q
+
p
q
(4.6)
Espaos L p
88
dm 6 1,
1/p
( f + g) dm
Z
1/p
f dm
Z
1/p
g dm
f ( f + g)
p 1
g( f + g)
p 1
dm 6
Z
f dm
1/p Z
X
( f + g)
( p 1) q
1/q
dm
(4.7)
e que
Z
X
dm 6
Z
g dm
1/p Z
X
( f + g)
( p 1) q
1/q
dm
(4.8)
( f + g) p dm 6
X
Z
1/p Z
1/p !Z
1/q
p
p
p
6
f dm
+
g dm
( f + g) dm
. (4.9)
X
R
p
Para terminar a demonstrao,
vai-se
R p
R q supor que X ( f + g) dm > 0 e que
ambos os integrais X f dm e X g dm so finitos; no caso contrrio, a
desigualdade de Minkovski trivial. Visto que a funo de R+ em R+
definida por x 7 x p convexa, tem-se que
f + g p
fp
gp
6
+
2
2
2
89
R
e, portanto, 0 < X ( f + g) p dm < +. Ento a desigualdade de Minkovski resulta de se dividirem ambos os membros da desigualdade (4.9)
por
Z
1/q Z
11/p
p
p
( f + g) dm
=
( f + g) dm
.
X
4.3
(4.10)
{ x X | | f ( x )| > k f k } =
[
n N
1
x X | f ( x )| > k f k +
.
n
R
se x > 0
+ se x = 0
1/x
Espaos L p
90
no essencialmente limitada, pois se M > 0,
l ({ x X | | f ( x )| > M }) = l ([0, 1/M[) = 1/M.
Por outro lado,
( p ]1, +[) : k f k p =
1
p1
1/p
( p 1)1/p
k f + gk p 6 k f k p + k gk p
k f k p = ||k f k p .
k f + gk 6 k f k + k gk
k f k = ||k f k .
D EMONSTRAO : Se as hipteses da primeira alnea se verificarem, ento resulta da desigualdade de Minkovski que | f + g| p integrvel e que
k f + gk p 6 k f k p + k gk p . imediato que se tem k f k p = ||k f k p .
Se as hipteses da segunda alnea se verificarem ento, pela proposio 4.5, tem-se | f ( x )| 6 k f k e | g( x )| 6 k gk q. s., pelo que se tem
| f ( x ) + g( x )| 6 | f ( x )| + | g( x )| 6 k f k + k gk q. s.
Isto no s mostra que f + g essencialmente limitada, como tambm
mostra que k f + gk 6 k f k + k gk . Mais uma vez, trivial que
k f k = ||k f k .
91
k k : V/W R+
v + W 7 p(v)
uma norma.
D EMONSTRAO : Sejam w, w0 W e , R. Ento
0 6 p(w + w0 ) 6 p(w) + p(w0 ) = || p(w) + || p(w0 ) = 0,
pelo que w + w0 W. Isto prova que W um espao vectorial.
Espaos L p
92
Seja v V. Se w W, ento
p(v) = p (v + w) w
6
=
=
=
6
=
p(v + w) + p(w)
p(v + w) + p((1).w)
p ( v + w ) + | 1| p ( w )
p(v + w)
p(v) + p(w)
p ( v ),
kv + W k = 0 p(v) = 0 v W v + W = 0 + W.
Se R, ento
= p(v + v0 )
6 p(v) + p(v0 )
= k v + W k + k v 0 + W k.
Seja p [1, +] e aplique-se a proposio anterior ao conjunto de
todas as funes mensurveis f : X R tais que | f | p seja integrvel
(caso p < +) ou que f seja essencialmente limitada (caso p = +)
e semi-norma k k p . Representa-se por L p ( X ) o quociente do espao
vectorial em questo pelo subespao das funes f tais que k f k p = 0, i. e.
o espao das funes que se anulam q. s. Resulta desta definio e das
proposies 4.6 e 4.7 que L p ( X ) um espao vectorial real relativamente
s operaes
L p ( X ) L p ( X ) L p ( X )
([ f ], [ g])
7 [ f + g]
R L p ( X ) L p ( X )
(, [ f ])
7 [ f ],
93
k f g k1 6 k f k p k g k q .
D EMONSTRAO : Se p, q ]1, +[, isto no mais do que a desigualdade de Hlder. Caso p = 1 e q = +, ento tem-se, pela proposio 4.5,
| g( x )| 6 k gk q. s.,
pelo que
| f ( x ) g( x )| 6 | f ( x )|k gk q. s.
Logo, f g L1 ( X ) (pois f L1 ( X )) e
Z
Z
k f g k1 6
| f |k gk dm =
| f | dm k gk = k f k1 k gk .
X
Espaos L p
94
(k N ) : k f nk+1 f nk k p <
2k
(4.11)
k =
| f ni+1 f ni | e por
= lim k =
k N
i =1
| f n i +1 f n i | .
i =1
(k N) : k k k p 6 1 (k N) :
Z
X
| k | p dm 6 1.
| | dm 6 lim inf
k N
Z
X
| k | p dm 6 1,
f n k +1 ( x ) f n k ( x )
(4.12)
k =1
f ( x ) = f n1 ( x ) +
f n k +1 ( x ) f n k ( x )
k =1
f ( x ) = f n1 ( x ) +
k =1
f nk+1 ( x ) f nk ( x ) q. s.,
95
Z
p
f f m p dm =
lim f nk f m dm
X k N
6 lim inf
k N
p
Z
X
f n f m p dm
k
6 ,
Z
| f | dm
1/p
6 k f f n k p + k f n k p 6 + k f n k p < +.
{ x X | | f n ( x )| > k f n k }
(n N)
ou
{ x X | | f m ( x ) f n ( x )| > k f m f n k }
(m, n N)
Espaos L p
96
(4.13)
| f | dm =
| f | dm+
zZ
}|
A\K
97
n
[
[ a x j , bx j ] I I.
j =1
[0, 1]
infy I \ An | x y|
infy I \ An | x y| + infkX | x k|
X g
=
p
Z
I
X g p dl
1/p
6 .
C
(
I
)
tal
que
c
g
< /2, pelo que
X g
< .
p
Espaos L p
98
k =1
n
n
n
ks gk p =
ak Xk ak gk
6
ak Xk ak gk
p < .
k =1
k =1
k =1
p
99
[0, 1]
[ a, b]
t
7 a + t ( b a ).
Se f : [ a, b] R for uma funo mensurvel tal que f ( x ) = A ( x ) q. s.,
vai-se provar que f no integrvel segundo Riemann. De facto, se
D = { x [ a, b] | f ( x ) 6= A ( x ) } ento, por hiptese, D tem medida nula
e, em particular, A D tem medida nula. Mas ento l ( A \ D ) = l ( A) > 0
e, para cada x A \ D, tem-se que
f ( x ) = A ( x ) = 1;
qualquer vizinhana aberta V de x em [ a, b] tem pontos de [ a, b] \ A
e, sendo o conjunto [ a, b] \ A V um aberto de [ a, b], tem medida
no nula e, portanto, no est contido em D, pelo que h algum
y V tal que f (y) = 0.
Logo, o conjunto dos pontos de descontinuidade de f contm A \ D que
tem medida no nula e, portanto, f no integrvel segundo Riemann.
Isto mostra que A L1 ([ a, b]) \ R1 ([ a, b]).
1 Para
102
{ w1 , v 2 , v 3 , . . . , v n } ,
(5.2)
o qual necessariamente igual a V. Alm disso, a famlia (5.2) necessariamente livre, pois se 1 , 2 , . . . , n R forem tais que
1 w1 + 2 v2 + + n vn = 0,
(5.3)
103
2
3
n
v2 v3 + v n ,
1
1
1
104
5.1.2
Hiperplanos
105
n N
n N
n N
lim an = lim an .
n N
n N
(5.4)
( bn ) n N
H0
}|
{
l0
l 0 z }| {
= ( a n ) n N + ( bn ) n N ( a n ) n N .
l
l
106
P ROPOSIO 5.2 Se V um espao vectorial e v e w so dois elementos distintos de V, ento existe algum f V tal que f (v) 6= f (w).
D EMONSTRAO : Visto que V um conjunto de formas lineares, afirmar, para algum f V , que f (v) 6= f (w) o mesmo que afirmar que
f (v w) 6= 0. Como {v w} um conjunto livre, prolongvel a uma
base de V. Logo, existe uma e uma s forma linear f : V k tal que
f (v w) = 1 e que se anula nos restantes elementos da base. Em particular, f (v w) 6= 0.
Se X um conjunto e F um conjunto de funes de X num conjunto
Y, diz-se que o conjunto F separa os pontos de X se, dados dois pontos
distintos x e y de X, existir alguma funo f F tal que f ( x ) 6= f (y).
Com esta terminologia, a proposio anterior afirma que o dual algbrico
de um espao vectorial V separa os pontos de V.
P ROPOSIO 5.3 Seja V um espao vectorial sobre um corpo k. Os hiperplanos
V so os ncleos dos elementos no nulos de V . Alm disso, se f , g V \ {0},
so condies equivalentes:
1. ker f = ker g;
2. f = g, para algum k \ {0}.
D EMONSTRAO : Seja H um hiperplano de V, seja a projeco natural
de V sobre V/H e seja um isomorfismo linear V/H em k, o qual existe
necessariamente, visto que dim(V/H ) = 1. Ento, se se definir f V
por f = , tem-se, para cada v V,
v ker f
f (v) = 0
( (v)) = 0
(v) = 0 (pois injectiva)
v H.
107
R
( an )nN 7 lim an .
n N
Que se trata realmente de uma forma linear resulta de uma nova aplicao
das relaes (5.4).
5.2
k( x1 , . . . , xn )k2 =
k( x1 , . . . , xn )k p = (| x1 | p + | x2 | p + + | xn | p )1/p
e a norma k k , que se define por
k( x1 , . . . , xn )k = max | x1 |, | x2 |, . . . , | xn | .
Se X = {1, 2, . . . , n}, ento o conjunto F ( X ) das funes de X em R
identifica-se naturalmente a Rn atravs da bijeco
F ( X )
f
7
Rn
f (1) , f (2) , . . . , f ( n ) .
108
E XEMPLO 5.4 Seja C ([0, 1]) o espao das funes contnuas de [0, 1] em
R. Duas normas com que se trabalha frequentemente neste espao so a
norma do supremo
k f k = sup | f |
e a norma do integral
k f k1 =
Z 1
0
| f |.
Observe-se que, dada uma funo f C ([0, 1]) e dada uma sucesso
( f n )nN de elementos de C ([0, 1]), afirmar que ( f n )nN converge para f
relativamente norma do supremo o mesmo que afirmar que a sucesso
( f n )nN converge uniformemente para a funo f .
E XEMPLO 5.5 Seja X um conjunto e seja p [1, +]. Se se considerar em
X a medida de contagem m, ento ( X, P ( X ), m) um espao de medida
e faz ento sentido considerar o espao vectorial normado ( L p ( X ), k k p ).
Este espao geralmente representado por l p ( X ). Em particular, l p (N)
p
de nmeros reais tais que a srie +
n=1 | an | converge, munido da norma
!1/p
+
+
.
an
= | an | p
n =1
n =1
p
109
3. R V V
(, v) 7 v.
As duas primeiras so mesmo uniformemente contnuas.
D EMONSTRAO : Se v, w V, ento
k v k k w k 6 k v w k.
(5.5)
k w k k v k 6 k v w k.
(5.6)
6 k v 1 w1 k + k v 2 w2 k .
Logo, dado > 0, se = /2, tem-se, para cada (v1 , v2 ), (w1 , w2 ) V V
kv1 w1 k, kv2 w2 k < =
(v1 + v2 ) (w1 + w2 )
< ,
pelo que a adio de vectores uniformemente contnua.
Sejam agora 0 R e v0 V; quer-se provar que a multiplicao de
um escalar por um vector contnua no ponto (0 , v0 ). Se R e v V,
ento
v 0 v0 = ( 0 )(v v0 ) + ( 0 )v0 + 0 (v v0 ),
pelo que
110
kv 0 v0 k < 2 + kv0 k + |0 |
6 + k v0 k + | 0 |
= (1 + kv0 k + |0 |).
Logo, dado > 0, se se tomar = min 1, /(1+kv0 k+|0 |) , tem-se que
kv v0 k, | 0 | < = kv 0 v0 k < .
ou seja, a funo contnua no ponto (0 , v0 ).
A terceira funo do enunciado anterior s uniformemente contnua
quando V = {0}.
5.3
{ k f (v)k|kvk 6 1 }
(5.7)
majorado;
5. existe algum K > 0 tal que (v V ) : k f (v)k 6 K kvk; por outras
palavras, o conjunto
(5.8)
no vazio.
Alm disso, caso se verifiquem ento o conjunto (5.8) o conjunto dos majorantes
do conjunto (5.7); em particular, o supremo do conjunto (5.7) coincide com o
nfimo do conjunto (5.8).
111
k f (v)k =
1
1
1
kr f (v)k = k f (rv)k < ,
r
r
r
kv wk < kv wk <
K
= k f (v w)k 6 K kv wk <
k f (v) f (w)k < .
Por outro lado, tem-se, para cada v V tal que kvk 6 1, que
k f (v)k 6 K kvk 6 K.
pelo que qualquer elemento do conjunto (5.8) maior ou igual a qualquer
nmero da forma k f (v)k com kvk 6 1, i. e. majorante do conjunto (5.7).
Como, ao demonstrar-se que a quarta condio implica a quinta, se provou
que qualquer majorante do conjunto (5.7) pertence a (5.8), isto conclui a
demonstrao.
E XEMPLO 5.6 Seja c00 (N) o espao das sucesso ( an )nN de nmeros
reais tais que an = 0 se n for suficientemente grande,2 considere-se neste
espao a norma k k e a forma linear
f:
c00 (N)
( a n ) n N
an .
n =1
notao c00 (N) pode parecer estranha, mas provm do facto de se empregar a
notao c0 (N) para o espao das sucesso de nmeros reais convergentes para 0.
2A
112
z
}|
{
sn = (1/n, 1/n, . . . , 1/n, 0, 0, . . .)
ento (n N) :
sn
= 1/n, pelo que limnN sn = 0. Mas, por outro
lado, (n N) : f (sn ) = 1. Logo, como f (0) = 0, a funo f no
contnua no ponto 0.
D EFINIO 5.6 Se (V, k k) e (W, k k) forem espaos vectoriais normados e f for uma aplicao linear contnua de V em W, define-se a norma
de f e representa-se por k f k o nmero
k f k = sup { k f (v)k|kvk 6 1 } .
Observe-se que, pelo teorema 5.2, nas condies da definio anterior
tem-se que
(5.9)
Este nfimo mesmo um mnimo, pois, ainda pelo teorema 5.2, o conjunto (5.8) o conjunto dos majorantes de outro conjunto e, portanto,
contm o seu nfimo. Est assim demonstrado o
C OROLRIO 5.1 Se V e W forem espaos vectoriais normados e f for uma
aplicao linear contnua de V em W, ento
(v V ) : k f (v)k 6 k f kkvk.
No se deve pensar que, analogamente ao que foi visto no corolrio
anterior, o supremo que surge na definio de norma de uma aplicao
linear contnua sempre um mximo.
E XEMPLO 5.7 Seja c0 (N) o espao das sucesses convergentes para 0 de
nmeros reais, munido da norma k k e considere-se a aplicao linear
f:
c0 (N)
( a n ) n N
2 n a n .
n =1
113
n =1
n =1
2 n a n 6
2n L = L,
n
pelo que a srie +
an mesmo absolutamente convergente. Mas os
n =1 2
mesmo clculos mostram que se tem
( an )nN c00 (N) : f ( an )nN 6
( an )nN
,
k f k > sup { 1 2n | n N } = 1.
f ( an )nN = 1 para uma sucesso ( an )nN tal que
Mas
nunca
se
tem
( an )nN
= 1 pois, como se trata de uma sucesso convergente para 0,
2 n + 2
n =1
2 n < 1 =
n = N +1
2 n .
n =1
(v V ) : k f (v)k 6 k f kkvk = 0,
pelo que f 0.
114
115
se m = 1
1
sn (m) = 1/n se 2 6 m 6 n + 1
0
nos restantes casos;
posto de outro modo, tem-se
s1 = (1, 1, 0, 0, 0, 0, . . .),
s2 = (1, 1/2, 1/2, 0, 0, 0, . . .),
s3 = (1, 1/3, 1/3, 1/3, 0, 0, . . .)
e assim sucessivamente. Ento limnN sn = (1, 0, 0, 0, . . .)
/ V.
116
E XEMPLO 5.9 Seja D ([0, 1]) o espao das funes derivveis de [0, 1] em
R, o qual claramente um subespao vectorial de C ([0, 1]). Considere-se
neste ltimo espao a norma do supremo. visto nos cursos de Anlise
Real que h exemplos de sucesses ( f n )nN de funes derivveis que
convergem uniformemente para funes f no derivveis; por exemplo,
pode-se tomar
f n : [0, 1] s
x
e
R
1
x
2
2
1
+ ,
n
f : [0, 1]
R
x
7 | x 1/2|.
Mas afirmar que existe uma sucesso de elementos de D ([0, 1]) que converge uniformemente para uma funo f C ([0, 1]) \ D ([0, 1]) o mesmo
que afirmar que D ([0, 1]) no um subespao fechado de C ([0, 1]).
Ser visto mais frente que qualquer subespao vectorial de dimenso
finita de um espao vectorial normado V um fechado de V.
Se V for um espao vectorial real e p e q forem normas definidas
em V, ento as mtricas induzidas por p e por q so distintas se e s se
p 6= q. E no que se refere s topologias, i. e. aos abertos obtidos a partir
de cada mtrica? A priori, nada impede que normas distintas induzam as
mesmas topologias. Para estudar este assunto, vai-se introduzir a seguinte
terminologia: se V um espao vectorial real e p uma norma definida em
V, dir-se- que um conjunto A V p-aberto se for aberto para a mtrica
induzida por p. Comecemos por estudar o seguinte problema: quando
que qualquer p-aberto q-aberto? Observe-se que afirmar que qualquer
p-aberto q-aberto equivale a afirmar que a funo id : (V, q) (V, p)
contnua, pois, mais geralmente, afirmar que uma funo f de um espao
mtrico E num espao mtrico F contnua equivale a afirmar que se A
for um aberto de F, ento f 1 ( A) um aberto de E. Mas, pelo teorema 5.1,
id : (V, q) (V, p) contnua se e s se existir algum k > 0 tal que
(v V ) : p(v) 6 kq(v) ou, posto de uma maneira mais simples, se e s
se existir algum k > 0 tal que p 6 kq. Est ento demonstrada a
P ROPOSIO 5.8 Seja V um espao vectorial real e sejam p e q normas definidas
em V. So ento condies equivalentes:
1. (k R+ ) : p 6 kq (i. e. (v V ) : p(v) 6 kq(v));
117
R1
E XEMPLO 5.10 Se f C ([0, 1]), ento 0 | f | 6 sup | f |, i. e. k f k1 6 k f k .
Ento, pela proposio anterior, qualquer parte de C ([0, 1]) que seja aberta
relativamente norma do integral tambm aberta relativamente norma
do supremo. O recproco no verdadeiro. Isto pode ser visto de vrios
modos.
1. Sejam s e i a norma do supremo e a norma do integral respectivamente. A bola aberta unitria relativamente norma do supremo,
Bs (0, 1) = { f C ([0, 1]) | | f | < 1}
no um aberto relativamente norma do integral. De facto, para
qualquer > 0 possvel encontrar f Bi (0, ) \ Bs (0, 1); por
exemplo, toma-se r < min{2, 1} e define-se
f : [0, 1] (
x
1 x/r
0
R
se x < r
caso contrrio.
118
(n N) : 1 = k f n k 6 kk f n k1 =
k
,
n+1
o que impossvel.
Se V for um espao vectorial real e p e q forem normas definidas em V,
quando que p e q induzem em V as mesmas topologias? Pela proposio
anterior, isto acontece quando e s quando houver nmeros k1 , k2 > 0 tais
que p 6 k1 q e que q 6 k2 p.
D EFINIO 5.8 Se V for um espao vectorial real, diz-se que duas normas
p e q definidas em V so equivalentes se houver nmeros k1 , k2 > 0 tais
que p 6 k1 q e que q 6 k2 p.
Com esta terminologia, resulta ento da proposio 5.8 e do que foi
observado antes da definio anterior que vlido o
C OROLRIO 5.2 Seja V um espao vectorial real e sejam p e q normas definidas
em V. Ento as normas p e q induzem as mesmas topologias se e s se forem
equivalentes.
E XEMPLO 5.11 Pelo que foi visto no exemplo 5.10, no espao C ([0, 1]) a
norma do supremo e a norma do integral no so equivalentes.
5.4
No mbito de exemplos de normas equivalentes, poder-se-ia ter mostrado tambm que, em Rn (n N), as normas k k p (p [1, +]) so
todas equivalentes entre si. Mas, de facto, pode-se provar mais do que
isso.
T EOREMA 5.3 Num espao vectorial real de dimenso finita, todas as normas
so equivalentes.
D EMONSTRAO : Para demonstrar este teorema, basta demonstrar que
em Rn (n N) qualquer norma p : V R+ equivalente norma k k2 .
119
p(ek ) max{|1 |, . . . , |n |}
k =1
n
p ( ek )
max{|1 |2 , . . . , |n |2 }
k =1
n
p ( e k ) | k |2
k =1
n
k =1
p ( e k )
( 1 e1 + + n e n )
2 .
k =1
{ p ( v ) V | k v k2 = 1 }
(5.11)
v
k v k2
kvk2 6 k2 p(v).
120
|xk |k f (ek )k
k =1
6
=
max
f (ek )
16k6n
| xk |
k =1
max
f (ek )k
( x1 , x2 , . . . , xn )
1 .
16 k 6 n
(w W )( R) : p(w + v) 6 kkw + vk
e, portanto, se w W tem-se 1 6 kwk + 1 = p(w v) 6 k kw vk. Mas
ento tem-se (w W ) : kw vk > 1/k. Logo, v
/ W.
121
122
Seja agora (V, k k) um espao vectorial normado localmente compacto; vai-se provar que tem dimenso finita. Pela proposio 5.9, a bola
fechada unitria de V, que vai ser representada por B, compacta. Uma
vez que
[
1
B
v+ B ,
2
v B
existem vectores v1 , . . . , vn B tais que
1
1
1
B v1 + B v2 + B v n + B .
2
2
2
Seja M o espao vectorial gerado pelos vectores v1 , . . . , vn . Ento
1
B M+ B
2
1
M+
M+
2
1
= M+ B
4
1
M+
M+
4
1
= M+ B
8
1
B
2
1
B
2
(5.12)
n N
T
Vejamos que nN M + 2n B = M. Se v M e se n N ento, pela
definio de aderncia, existe algum vn M tal que kv vn k 6 2n e
ento, como v = vn + (v vn ) e v vn 2n B, v M+ 2n B; como isto
T
tem lugar para qualquer n N, v nN M + 2n B . Reciprocamente,
T
se v nN M + 2n B e se > 0, tome-se n N tal que 2n < e
tome-se w M tal que v w + 2n B. Ento kv wk = 2n < ; logo,
v M.
Resulta ento de (5.12) e do que foi demonstrado no pargrafo anterior
que B M. Como M tem dimenso finita, tem-se, pelo corolrio 5.4,
que M = M. Mas ento provou-se que B M, pelo que V M; logo,
V = M.
5.5
123
O teorema de Hahn-Banach
T EOREMA 5.5 (T EOREMA DE H AHN -B ANACH ) Sejam V um espao vectorial normado, W um subespao vectorial de V e f W 0 . Existe ento alguma
forma linear F V 0 que prolonga f e tal que k F k = k f k.
D EMONSTRAO : Convm comear por observar que se F for um prolongamento de f a um subespao vectorial U de V que contenha W e
se F for linear e contnua, ento resulta da definio de norma de uma
aplicao linear contnua que k F k > k f k; logo, provar que k F k = k f k
equivale a provar que k F k 6 k f k.
Seja V o conjunto de todos os pares ordenados (U, F ) tais que
1. U um subespao vectorial de V que contm W;
2. F U 0 e um prolongamento de f tal que k F k = k f k
e considere-se em V a relao de ordem 6 assim definida: (W1 , F1 ) 6
(W2 , F2 ) se e s se W1 W2 e F1 = F2 |W1 . Se se provar que existe algum
elemento (U, F ) V com U = V, o teorema estar demonstrado. A
demonstrao de que existe efectivamente um tal elemento de V ser feita
em dois passos. Primeiro demonstrar-se-, recorrendo ao lema de Zorn,
que (V , 6) tem algum elemento maximal. Em seguida, ser visto que se
( Z, F ) for um tal elemento maximal, ento tem-se necessariamente Z = V.
A fim de se poder aplicar o lema de Zorn ao conjunto V e relao
de ordem 6, considere-se uma famlia { (Ui , Fi ) | i I } de V totalmente
S
ordenada; quer-se provar que majorada. Seja U = i I Ui . Se v U e
se i, j I so tais que v Ui e v Uj , ento tem-se (Ui , Fi ) 6 (Uj , Fj ) ou
(Uj , Fj ) 6 (Ui , Fi ); em ambos os casos, resulta da definio da relao de
ordem 6 que Fi (v) = Fj (v). Sendo assim, faz sentido definir F : U R
do seguinte modo: se v V, seja i I tal que v Ui ; ento f (v) = Fi (v).
Vejamos que U um subespao vectorial de V e que F U . Se v, w U
e se , R, sejam i, j I tais que v Ui e que w Uj . Ento
(Ui , Fi ) 6 (Uj , Fj ) ou vice-versa. No primeiro caso, ento v, w Uj , pelo
que v + w Uj e
F (v + w) = Fj (v + w) = Fj (v) + Fj (w) = F (v) + F (w);
o segundo caso anlogo. Finalmente, vejamos que F contnua e que
k F k 6 k f k. Se v U tal que kvk 6 1, seja i I tal que v Ui . Ento
F (v) = Fi (v) 6 k Fi k = k f k.
124
L
Ento F Z Rv e um prolongamento de F. Quer-se mostrar que
existe algum R tal que F seja contnua e que k F k = k F k, o que
estar em contradio com a maximalidade do par ( Z, F ). Afirmar que F
contnua e que k F k = k F k equivale a
(w Z )( R) : | F (w + v)| 6 k F kkw + vk
(w Z )( R) : | F (w) + | 6 k F kkw + vk
(w Z )( R) : | F (w) + | 6 k F kk w + vk
(w Z ) : | F (w) | 6 k F kkw vk
(w Z ) : F (w) 6 k F kkw vk F (w) + 6 kw vk
(w Z ) : F (w) k F kkw vk 6 6 F (w) + k F kkw vk.
necessrio ento que se mostre que o conjunto
F (w)
F kkw vk, F (w) + k F kkw vk |w Z
(5.13)
6 k F kkw1 w2 k
6 k F kkw1 vk + k F kkv w2 k
o que equivale a afirmar que
F (w1 ) k F kkw1 vk 6 F (w2 ) + k F kkw2 vk.
Logo,
sup F (w) k F kkw vk 6 inf F (w) + k F kkw vk
w Z
w Z
e, naturalmente, qualquer nmero situado entre estes dois nmeros pertence a todos os intervalos do conjunto (5.13).
125
W
R
(v w) 7 .
126
ker f .
f V 0
f (W )={0}
Espaos de Banach
6.1
D EFINIO 6.1 Designa-se por espao de Banach um espao vectorial normado completo.
E XEMPLO 6.1 Se k k for a norma usual em Rn (n N), ento (Rn , k k)
um espao de Banach.1
E XEMPLO 6.2 Sejam p [1, +] e ( X, A, m) um espao de medida. Ento o teorema 4.3 afirma que L p ( X ) um espao de Banach.
E XEMPLO 6.3 Considere-se no espao l 1 (N) das sries absolutamente
convergentes a norma
k k2 : l 1 (N) v R+
u +
+
u
a n 7 t | a n |2 .
n =1
n =1
Ento l 1 (N), k k2 no um espao de Banach. Para ver porqu, considere-se a seguinte sucesso (sn )nN de elementos de l 1 (N):
s1
s2
s3
s4
= (1, 0, 0, 0, 0, 0, . . .)
= (1, 1/2, 0, 0, 0, 0, . . .)
= (1, 1/2, 1/3, 0, 0, 0, . . .)
= (1, 1/2, 1/3, 1/4, 0, 0, . . .)
facto, ser visto mais frente que (Rn , k k) um espao de Banach seja qual for
a norma que esteja a ser considerada em Rn .
1 De
127
128
Espaos de Banach
Trata-se de uma sucesso de Cauchy de elementos de l 1 , k k2 , pois
v
u +
u
1
( p, m, n N) : m, n > p = ksm sn k2 6 t 2
k
k= p
No entanto, a sucesso (sn )nN no convergente. Se o fosse e se convergisse para s = ( a1 , a2 , a3 , . . .), ento ter-se-ia necessariamente an = 1/n
para cada n N, pois
(m N) : m > n = | an 1/n| 6 ks sm k2
e limmN ks sm k2 = 0. Mas (1/n)nN
/ l 1 (N).
O facto de Rn ou Cn (n N) serem completos permite-nos saber que
certas sucesses de elemetos destes espaos convergem sem se ter que
efectivamente determinar os respectivos limites. Nos espaos de Banach
a situao a mesma. Vejamos um exemplo deste tipo de ideias, para o
qual necessrio comear por introduzir um conceito.
D EFINIO 6.2 Seja V um espao vectorial normado. Diz-se que uma
srie +
n=1 vn de elementos de V absolutamente convergente se a srie
+
n=1 kvn k for convergente.
P ROPOSIO 6.1 Num espao de Banach, qualquer srie absolutamente convergente convergente.
D EMONSTRAO : Seja +
n=1 vn uma srie absolutamente convergente
de vectores de um espao de Banach V e sejam m, n, p N tais que
m > n > p. Ento
m
m
n
m
+
(6.1)
v k v k
=
v k
6 k v k k 6 k v k k.
k =1
k =1
k = n +1
k = n +1
k= p
Como lim pN +
k= p k vk k = 0, resulta de (6.1) que a sucesso das somas
parciais da srie +
n=1 vn de Cauchy e, portanto, converge.
129
130
Espaos de Banach
n N
= f ( v ) + f ( w ).
Vejamos agora que f contnua. Seja > 0. Existe algum p N tal que
(6.2)
exp( f ) =
n =0
fn
n!
Esta soma converge pois, pela proposio 5.6, tem-se
f n
6 k f kn para
fn
cada n N, de onde resulta que a srie +
n=0 /n! absolutamente
convergente e, em particular, convergente. Analogamente, poder-se-iam
definir sen( f ), cos( f ), etc.
C OROLRIO 6.1 Se V um espao vectorial normado, ento V 0 um espao de
Banach.
D EMONSTRAO : Basta ver que R completo.
P ROPOSIO 6.5 Sejam V um espao vectorial normado, W um subespao
vectorial de V e f uma aplicao linear contnua de W num espao de Banach U.
Ento f prolongvel a uma e uma s aplicao linear contnua de W em U e a
norma de um tal prolongamento igual de f .
131
n N
= F (v) + F (w).
A funo F contnua, pois se w W e se (wn )nN uma sucesso de
elementos de W que converge para w, ento
k F (w)k =
lim f (wn )
n N
= lim
f (wn )
n N
6 lim k f kkwn k
n N
= k f kkwk.
132
Espaos de Banach
(6.3)
(v V ) : k f (v)k = kvk.
Por outro lado, observe-se que a condio (6.3) afirma simplesmente que a
distncia entre dois pontos de V igual distncia entre as suas imagens;
precisamente assim que se define o conceito de isometria entre espaos
mtricos.
Verifica-se facilmente que qualquer isometria injectiva e que, caso
seja sobrejectiva, a inversa tambm uma isometria.
T EOREMA 6.1 Seja V um espao vectorial normado. Existe ento um espao
de Banach W e uma isometria linear : V W tal que (V ) um subespao
e for outro espao de Banach e se for uma isometria
denso de W. Alm disso, se W
e tal que (V ) seja um subespao denso de W,
e ento existe uma e
linear de V em W
e tal que = . Esta aplicao
uma s aplicao linear contnua : W W
linear uma isometria bijectiva.
D EMONSTRAO : Seja S o espao das sucesses de Cauchy de elementos
de V. O espao S tem uma estrutura natural de espao vectorial, assim
definida: se (vn )nN , (wn )nN S e , R, ento
(vn )nN + (wn )nN = (vn + wn )nN ;
verifica-se facilmente que esta ltima sucesso tambm de Cauchy. Se
(vn )nN S, ento (kvn k)nN uma sucesso de Cauchy de nmeros
reais, visto que, pela proposio 5.4, k k uniformemente contnua. Pode-se ento definir
p:
S
R
(vn )nN 7 lim kvn k.
n N
133
vectorial formado pelas sucesses (vn )nN S tais que limnN kvk = 0,
i. e. pelo espao das sucesses convergentes para 0. Seja : V W a
funo assim definida: se v V, ento (v) a classe de equivalncia da
sucesso constante que toma sempre o valor v. simples verificar que
uma isometria linear.
Vejamos que (V ) um
subespao
denso de W. Para tal, considere-se
a classe de equivalncia (vn )nN de um elemento de S; vai-se mostrar
que
lim (vn ) = (vn )nN .
(6.4)
n N
<
1
;
n
(6.5)
< ,
N
3
1 1
< + +
r 3 s
2
<
+
N 3
< .
ws ( vs )
+
W
W
134
Espaos de Banach
1
prolongamento linear e contnuo de a W; este prolongamento existe
e nico pela proposio 6.5 e porque W = (V ). bvio que = e
tudo o que falta demonstrar que uma isometria e uma bijeco. Se
w W ento existe alguma sucesso (vn )nN de elementos de V tal que
w = limnN (vn ) e ento
(w)
e =
lim (vn )
e
W
n N
W
= k w k.
Como uma isometria, e 1 so funes uniformemente contnuas,
e pela
pelo que (W ) completo; logo, um subespao fechado de W,
proposio 6.2. Mas, como se tem = , (W ) (V ) e, portanto,
visto que (W ) fechado e (V ) denso,
e
(W ) (V ) = W.
6.2
Espaos de Hilbert
h, i : V V
R
(v, w) 7 hv, wi
135
um produto escalar se
1. for bilinear;
2. simtrica (i. e. (v, w V ) : hv, wi = hw, vi);
3. definida positiva (i. e. (v V ) : hv, vi > 0 e, alm disso, tem-se
hv, vi = 0 se e s se v = 0).
E XEMPLO 6.4 Se n N, o produto escalar usual em Rn define-se por
Rn Rn
( x1 , . . . , x n ) , ( y1 , . . . , y n )
xk yk .
k =1
E XEMPLO 6.5 Seja ( X, A, m) um espao de medida. Ento, pela desigualdade de Hlder, se f , g L2 ( X ), f g L1 ( X ). Faz ento sentido definir o
seguinte produto escalar:
L2 ( X ) L2 ( X ) Z R
( f , g)
7
f g dm.
X
136
Como
Espaos de Banach
p
hv, vi,
k k : V p R
hv, vi
v 7
uma norma. A nica propriedade que no imediata a desigualdade
triangular, mas se v, w V, tem-se
kv + wk2 = hv + w, v + wi
= hv, vi + 2hv, wi + hw, wi
137
P ROPOSIO 6.7 Sejam V um espao pr-hilbertiano, W um subespao vectorial de V e v V. Se existir algum vector v0 W tal que v v0 seja
perpendicular a qualquer elemento de W, ento a funo
W
R+
w 7 kw vk
atinge o seu valor mnimo no ponto v0 e apenas nesse ponto.
D EMONSTRAO : Basta ver que se w W, ento
6.3
Sries de Fourier
| f ( x )| dx.
138
Espaos de Banach
f ( x ) g( x ) dx.
(6.6)
sendo
1
(n Z+ ) : an =
1
(n N) : bn =
f (t) cos(nt) dt
(n Z+ )
t 7 sen(nt)
(n N)
0 +
n =1
n cos(nt) + n sen(nt) ;
139
n Z+
n N
n Z+
f (t) cos(nt) dt = 0
(6.7)
Sejam a, b [, ] tais que a < b. Vai-se provar que se tem (6.7) para
f = [a,b] . Isto resulta de um clculo directo: se n N, ento
Z
Z b
[a,b] (t) cos(nt) dt = a cos(nt) dt
sen(nt) t=b
=
n
t= a
sen(nb) sen(na)
=
n
1
6 .
n
140
Espaos de Banach
g=
k =1
f (k )[k1 ,k ] .
6 2,
pois
1 Z
an ( f g) =
2 ( f (t) g(t)) cos(nt) dt
Z
1
6
| f (t) g(t)| dt
2
Z
1
dt
6
2
6 .
A validade do teorema no caso geral decorre do teorema 4.5, pois este
implica que que C ( T ) denso em L1 ( T ).
Isto leva seguinte pergunta: dadas duas sucesses de nmeros reais
( an )nZ+ e (bn )nN convergentes para 0, existe necessariamente alguma funo
f L1 ( T ) tal que (n Z+ ) : an ( f ) = an e que (n N) : bn ( f ) = bn ?
Ser visto que os prximos dois teoremas sobre espaos de Banach
permitiro mostrar que a resposta a ambas as perguntas negativa. Antes
de se prosseguir, conveniente reformular o conceito de sries de Fourier
de uma maneira que leva a clculos mais simples. Para isso, necessrio
ver o que se entende por integral de uma funo com valores em C.
141
f dm =
Z
X
Re f dm + i
Z
X
Im f dm.
tambm conveniente alargar o conceito de srie de maneira a englobar expresses da forma nZ cn . No contexto em que se est a trabalhar,
dir-se- que uma tal srie converge se o limite lim N N nN= N cn existir e,
se for esse o caso, o limite em questo ser designado por soma da srie.
D EFINIO 6.10 Se f L2 ( T ), designa-se por srie de Fourier da funo f
a srie de funes
(6.8)
f(n)eint
n Z
sendo
1
(n Z) : f(n) =
2
f (t)eint dt.
1
f(n) =
f (t)eint dt
2
Z
Z
1
i
=
f (t) cos(nt) dt
f (t) sen(nt) dt
2
2
an ibn
=
,
2
para cada n N
an + ibn
= f(n)
f(n) =
2
e f(0) = a0/2. Por outro lado,
( N N) :
n= N
N
a0
f(n)eint =
+ an cos(nt) + bn sen(nt) .
2
n =1
(6.9)
142
Espaos de Banach
(t R) : f (t) = lim
N N n= N
f(n)eint ?
6.4
O teorema de Banach-Steinhaus
n N
143
B0 ( xn , n ) 6= . Resulta de se ter
(n N) : xn+1 xn < n 6 n
2
que
(m, n, p N) : m > n > p = xm xn 6
2 p 1
e, portanto, que a sucesso ( xn )nN de Cauchy. Ento converge e o seu
limite pertence a todas as bolas B0 ( xn , n ). Por outro lado,
\
n N
B0 ( xn , n )
B( xn , n ) An
n N
!
\
B( x, )
An
n N
( a n ) n N
ak .
k =1
144
Espaos de Banach
kw vk 6 r = w
/ An (i I ) : k f i (w)k 6 n.
Ento, se kwk 6 1, tem-se, para cada i I,
1
k f i (w)k = k f i (rw)k
r
1
6 k f i (v + rw) f i (v)k
r
1
6 k f i (v + rw)k + k f i (v)k
r
2n
6
r
e, portanto, verifica-se a primeira possibilidade do enunciado.
Caso todos os conjuntos An sejam densos em V, a sua interseco
tambm o , pelo teorema de Baire. Mas se v pertencer interseco,
resulta da definio de ( An )nN que o conjunto { k f i (v)k | i I } no
majorado.
145
Pode-se ver em [7, III.14] uma demonstrao deste teorema que emprega directamente a definio de espao completo e no o teorema de
Baire.
Vai-se ver agora como deduzir do teorema de Banach-Steinhaus que
h funes em C ( T ) cuja srie de Fourier no converge em todos os
pontos, uma consequncia que j extrada no artigo onde este teorema
foi publicado originalmente; veja-se [2]. Observe-se que se se definir, para
cada N N e cada t R,
N
K N (t) =
eint ,
(6.10)
n= N
ento
N
f(n)eint =
n= N
1
2
n= N
1
=
2
f (u)einu eint du
N
Z
1
f (u)
ein(tu) du
n= N
f (u)K N (t u) du.
f (u)Kn (t u) du.
( f C ( T )) : f (0) = lim
f (u)Kn (u) du
1
2
R
Z
146
Espaos de Banach
: R (
t
R
se Kn (t) > 0
caso contrrio.
1
1
1
(u)Kn (u) du
2
Z
1
Kn (u) du
=
2
= k K n k1 .
lim Fn ( m ) =
m N
2
>
Z (n+ 1 )
2
0
n
1
k
k =1
| sen t|
Z k
( k 1)
dt
t
| sen t| dt
k
k =1
Visto que limnN nk=1 1/k = +, est provado que limnN kKn k1 = +.
Pode-se agora aplicar o teorema de Banach-Steinhaus. J foi visto
que o conjunto { k Fn k | n N } no majorado. Logo, h funes f
147
C ( T ) (de facto,
todo
um conjunto denso de funes) para as quais a
sucesso Fn ( f ) nN no majorada. Em particular, no existe o limite
limnN Fn ( f ) e, portanto, no se pode ter f (0) = limnN Fn ( f ). Isto o
mesmo que afirmar que f (0) no limite da sua srie de Fourier no ponto
0.
Naturalmente, o ponto 0 nada tem de especial; o mesmo argumento
aplica-se a qualquer ponto de R.
Est ento provado que possvel encontrar alguma funo f C ( T )
tal que, para cada x R, a srie de Fourier de f no ponto x no converge
para f ( x ). Uma demonstrao mais elementar deste resultado pode ser
vista em [10, cap. 18]. Por outro lado, pode-se provar que a srie de Fourier
de uma funo f C ( T ) no ponto x converge para f ( x ) q. s.; veja-se [4].
Uma questo que se pode pr agora a seguinte: ser possvel obter
uma funo f C ( T ) a partir da sua srie de Fourier? A resposta (afirmativa) dada pelo prximo teorema. Se f C ( T ), se N N e se t R,
seja
N
s N ( f , t) =
f(n)eint .
n= N
(n N)(t R) : n ( f , t) =
n
1
sn ( f , t)
n + 1 k
=0
1
como f(0) = 2
f ( t ) dt R, cada funo do tipo n ( f , ) ( n N)
combinao linear da funo constante que toma sempre o valor 1 e de
funes do tipo t 7 cos(nt) e t 7 sen(nt) (n N); tais combinaes lineares designam-se por polinmios trigonomtricos. Resulta imediatamente
do teorema de Fjer que se tem o seguinte
C OROLRIO 6.2 Os polinmios trigonomtricos formam uma parte densa de
C ( T ).
Para uma demonstrao deste corolrio que no recorre ao teorema de
Fjer, veja-se [14, cap. 4].
148
6.5
Espaos de Banach
R2 R
( x, y) 7 x
i I
pelo que ( A) =
i I ] ai1 , ai2 [,
que um aberto de R.
149
T EOREMA 6.6 (T EOREMA DA APLICAO ABERTA ) Qualquer aplicao linear contnua e sobrejectiva de um espao de Banach noutro espao de Banach
aberta.
D EMONSTRAO : Sejam B e B0 as bolas abertas unitrias de V e de W
respectivamente. Se se mostrar que f ( B) rB0 para algum r > 0, o
teorema estar demonstrado, pois resulta daqui que f envia vizinhanas
de 0 em vizinhanas de 0, o que, por sua vez, implica que f aberta.
Como f sobrejectiva, tem-se
!
W = f (V ) = f
kB
k N
f (kB)
k N
f (kB) W,
k N
pelo que
W=
f (kB).
k N
Resulta ento do teorema de Baire e do que foi observado antes da demonstrao do teorema que os conjuntos da forma f (kB) no podem ter
todos o interior vazio.3 Fixe-se ento algum k N tal que f (kB) tenha
interior no vazio e seja A um aberto no vazio contido em f (kB).
Seja w0 A e seja r > 0 tal que B(w0 , r ) A. Se w B(0, r ), ento
w0 , w0 + w A f (kB) e h, portanto, sucesses (v0n )nN e (v00n )nN de
elementos de kB tais que
lim v0n = w0
n N
e que
lim v00n = w0 + w.
n N
r
v;
kwk
kwk
kwk
ento
r
r
f
< r
f (v) w
6
v
w
kwk
kwk
kwk
facto, no difcil provar que, dado k N, a funo pk : W W definida por
pk (v) = kv um homeomorfismo que envia f ( B) em f (kB). Consequentemente, afirmar
que algum conjunto da forma f (kB) tem interior no vazio o mesmo que afirmar que
todos os conjuntos da forma f (kB) tm interior no vazio.
3 De
150
Espaos de Banach
e kvk 6
2kkwk
r .
(6.12)
Seja w W tal que kwk < c/2. Sabe-se, por (6.12), que existe algum
v1 V tal que kv1 k < 1/2 e que
f ( v1 ) w
6 c
4
Aplicando (6.12) novamente (desta vez ao vector w f (v1 )), sabe-se que
existe algum vector v2 V tal que kv2 k < 1/4 e que
f ( v2 ) + f ( v1 ) w
6 c
8
Pelo mesmo motivo (considerando desta vez o vector w f (v1 ) f (v2 )),
existe algum vector v3 V tal que kv3 k < 1/8 e que
f ( v3 ) + f ( v2 ) + f ( v1 ) w
6 c
16
e assim sucessivamente. Por isto, e pela linearidade de f , existe alguma
sucesso (vn )nN de elementos de V tal que
1
(n N \ {1}) :
vn
< n
2
(6.13)
e que
(n N) :
f
vk
k =1
c
w
6 n +1
2
(6.14)
kvk 6
n =1
kvn k <
1
= 1.
2n
n =1
Como tudo o que se sups relativamente a W foi que kwk < c/2, est
ento provado que
c
f B B0 .
2
151
1
(n N) : |bn | 6
| f (t)| dt = k f k1 = 2
| f (t)| dt = k f k1 = 2.
152
Espaos de Banach
z
}|
{
1 Z
1 Z
6
f ( x )( g( x ) P( x )) dx +
f ( x ) P( x ) dx
2
2
6 k f k1 ;
R
como isto tem lugar para cada > 0, f ( x ) g( x ) dx = 0. Pode-se agora
concluir que f ( x ) = 0 q. s. de vrias maneiras. Uma delas consiste em
observar que resulta do teorema 4.5 que C ( T ) denso em L1 ( T ) e que,
portanto, a funo
: R (
x
R
f ( x )/| f ( x )|
0
se f ( x ) 6= 0
caso contrrio
| f ( x )| dx =
=
= lim
f ( x ) ( x ) dx
f ( x ) lim gn ( x ) dx
n N
n N
f ( x ) g( x ) dx
= 0.
Logo, f anula-se em quase todos os pontos de [, ] e resulta ento
da periodicidade de f que f ( x ) = 0 q. s. Outra maneira de se provar
isto, que no emprega o teorema 4.5, consiste em, dados a, b [, ]
tais que a < b, tomar-se uma sucesso ( gn )nN de funes contnuas
153
de [, ] em [0, 1] tal que ( x [, ]) : limn gn ( x ) = [a,b] ( x ); veja-se na figura 6.1 o grfico de [a,b] (a cheio) juntamente com o grfico (a
tracejado) de uma funo contnua de [, ] em [0, 1] prximo do de
[a,b] . Se x [, ], f ( x )[a,b] ( x ) = limnN f ( x ) gn ( x ) e, pelo teorema
da convergncia dominada,
Z b
a
f ( x ) dx =
f ( x )[a,b] ( x ) dx = lim
n N
f ( x ) gn ( x ) dx = 0.
1
x
se x 6= 0
x 7
0
se x = 0
descontnua, embora o seu grfico (que est representado na figura 6.2)
seja um fechado de R2 .
154
Espaos de Banach
De facto, o recproco nem sequer verdadeiro, em geral, para aplicaes lineares contnuas entre espaos vectoriais normados. Com efeito, se
C1 ([0, 1]) for o subespao de (C ([0, 1]), k k ) formado pelas funes de
classe C1 , ento a funo
D : C1 ([0, 1]) C ([0, 1])
f
7
f0
uma aplicao linear descontnua; basta ver que se se considerar, para
cada n N, a funo
n : [0, 1] R
x
7 xn ,
ento, para cada n N, k n k = 1 e k D ( n )k = n. Mas o seu grfico
um fechado de C1 ([0, 1]) C ([0, 1]), pois se ( f n , f n0 )nN for uma sucesso de pontos do grfico convergente para ( f , g) C1 ([0, 1]) C ([0, 1]),
ento
Z x
(n N)( x [0, 1]) : f n ( x ) = f n (0) +
f n0 (t) dt
0
x
0
f n0 (t) dt
= f (0) + lim
= f (0) +
= f (0) +
Z x
n N 0
Z x
155
f n0 (t) dt
n N
Z0 x
0
g(t) dt.
156
Espaos de Banach
1/p
1/p
Z
X
A dm
Z
X
p
A
1/p
dm
=
A
p .
(6.17)
157
An
= lim m( An ).
n N
n N
p2
| f | dm =
Z
ZX
X
=n
| f | p1 | f | p2 p1 dm
| f | p1 n p2 p1 dm
p2 p1
Z
X
| f | p1 dm
< +,
ou seja, f L p2 ( X ).
E XEMPLO 6.9 O espao de medida (N, P (N), m), onde m a medida de
contagem, est nas condies do enunciado.
Analogamente, pode-se demonstrar o
T EOREMA 6.9 Seja ( X, A, m) um espao de medida. So ento condies equivalentes:
1. ( p1 , p2 [1, +]) : p1 < p2 = L p1 ( X ) L p2 ( X );
2. ( p1 , p2 [1, +]) : p1 < p2 L p1 ( X ) L p2 ( X );
3. sup { m( A) | A A m( A) < + } < +.
E XEMPLO 6.10 O espao de medida ([0, 1], M[0,1] , l ), est nas condies
do enunciado.
n
da esolha de N; aquela soma ser representada por +
n= an b .
T EOREMA A.1 Seja b um nmero natural maior do que 1. possvel escrever
cada nmero x R+ sob a forma
+
x=
n=
an bn
(A.1)
160
06
a n 1 b n 1 = x
ak bk
a k b k 6 b n 1 .
k = n 1
k=n
x=
n=
an b =
n=
n bn
(A.2)
n=
an bn =
n=
n bn
n=
an bn =
a N N =
1
n=
1
n=
n bn
( N +n a N +n )bn
( N +n a N +n )bn > 1
( N +n a N +n )bn >
n=
1
n=
n=
( b 1) b n .
161
x=
an bn
(N N)
n= N
x=
n=
com
n bn
an
(n N) : n = a N 1
b1
se n > N
se n = N
se n < N.
162
Caso b > 10, introduzem-se novos algarismos para representar os nmeros 10, 11, . . . , b 1. Assim, por exemplo, para se representarem nmeros em base 16 corrente empregarem-se os smbolos A, B, C, D, E e F para
representar 10, 11, 12 13, 14 e 15, respectivamente. Com estas notaes,
3/4 e 2/3 representam-se na base 16 por 0,C e por 0,AAAAAAAAAA . . .
respectivamente.
Seja {0, 1}N o conjunto das sucesses de zeros e uns.
C OROLRIO A.1 Os conjuntos P (N), {0, 1}N e R tm o mesmo cardinal.
D EMONSTRAO : O conjunto das partes de N tem o mesmo cardinal
que o conjunto {0, 1}N das sucesses de zeros e uns, pois a funo
{0, 1}N
P (N)
( a n ) n N 7 { n N | a n = 1 }
bijectiva. Por outro lado, resulta do teorema anterior (com b = 2) que a
funo
: {0, 1}N [0, 1]
+
an
( a n ) n N 7 n
2
n =1
sobrejectiva e que se U = { ( an )nN {0, 1}N | an = 1 se n 0 }, ento a restrio de a U { injectiva e tem por imagem [0, 1[, que tem o
mesmo cardinal que R. Observe-se que U numervel. Logo, {0, 1}N a
reunio de um conjunto com o mesmo cardinal que R (nomeadamente
U { ) com um conjunto numervel (nomeadamente U), pelo que {0, 1}N
tem o mesmo cardinal que R.
Lema de Zorn
Comecemos por ver a definio geral de relao de ordem.
D EFINIO B.1 Diz-se que uma relao binria 6 definida num conjunto
C uma relao de ordem se:
1. ( a, b, c C ) : a 6 b b 6 c = a 6 c;
2. ( a C ) : a 6 a;
3. ( a, b C ) : a 6 b b 6 a = a = b.
Designa-se por conjunto ordenado um par ordenado (C, 6) onde C um
conjunto e 6 uma relao de ordem definida em C.
E XEMPLO B.1 Se P for um conjunto de partes de um conjunto, usual
considerar-se em P a relao de ordem 6 induzida pela incluso: A 6 B
se e s se A B.
Num conjunto ordenado (C, 6), definem-se os termos majorante e
minorante tal como em R com a relao de ordem usual.
D EFINIO B.2 Seja (C, 6) um conjunto ordenado. Diz-se que um elemento m C um elemento maximal (respectivamente minimal) se, para
cada c C, se tiver c 6 m (resp. m 6 c).
claro que (R, 6) no tem nenhum elemento maximal e tambm no
tem nenhum elemento minimal. Em contrapartida, um conjunto ordenado
pode ter vrios elementos minimais bem como vrios elementos maximais.
Por exemplo, se C for um conjunto com mais de que um ponto e se se
definir no conjunto P das partes no vazias de C a relao de ordem
induzida pela incluso, ento os elementos minimais de ( P, 6) so os
conjuntos da forma {c}, com c C. Por outro lado, h um e um s
elemento maximal, que o prprio C.
163
164
Lema de Zorn
(d C ) : c 6 d.
Se um conjunto tiver primeiro elemento, este necessariamente nico,
pois se a e a0 forem ambos primeiro elemento de um conjunto A, ento
a 6 a0 e a0 6 a, pelo que a = a0 .
Se (C, 6) for um conjunto ordenado e se S C, ento, a menos que
seja dito explicitamente o contrrio, considerar-se- em S a relao de
ordem induzida por 6.
D EFINIO B.5 Caso uma relao de ordem definida num conjunto C
seja tal que qualquer parte no vazia de C tenha primeiro elemento, ento
diz-se que se trata de uma boa ordenao. Diz-se ento que (C, 6) um
conjunto bem ordenado.
Em N, por exemplo, a relao de ordem usual uma boa ordenao.
Mas a relao de ordem usual em Z j no o , pois o prprio conjunto Z
no tem primeiro elemento.
Observe-se que qualquer conjunto bem ordenado (C, 6) totalmente
ordenado, pois se a, b C e se c for o primeiro elemento de { a, b}, ento
c = a ou c = b e, por outro lado, c 6 a e c 6 b.
L EMA B.1 (L EMA DE Z ORN ) Seja (C, 6) um conjunto ordenado tal que qualquer subconjunto totalmente ordenado tenha algum majorante. Ento (C, 6)
tem algum elemento maximal.
D EMONSTRAO : Vai-se considerar em C a relao binria < assim definida: se a, b C, ento a < b se e s se a 6 b e a 6= b.
Suponha-se que C no tem qualquer elemento maximal. Se A for
uma parte totalmente ordenada de C ento, por hiptese, A tem algum
majorante m. Suponha-se que m A. Como se est a supor que C no tem
Lema de Zorn
165
166
Lema de Zorn
(B.1)
Se S( A, )
B, ento seja b o primeiro elemento de B \ S( A, ). Se
u S( B, b) e se v A for tal que v < u, ento v < b (pois u < b). Por
outro lado, pela definio de b tem-se que u S( A, ), de onde resulta
que v S( A, ) (pois, por hiptese, v A). Mas ento v S( B, b),
por (B.1) e porque v < b. Est ento provado que
(B.2)
(B.3)
Lema de Zorn
167
Zorn, no sentido de que deste possvel deduzir aquele. Vai-se ver como
que se pode fazer tal demonstrao, pois curta e tambm um bom
exemplo de como aplicar o lema de Zorn.
Seja ento { Xi | i I } um conjunto de conjuntos no vazios; quer-se provar que existe algum conjunto { xi | i I } tal que, para cada
i I, xi Xi , o que o mesmo que afirmar que existe alguma funS
o f : I i I Xi tal que, para cada i , f (i ) Xi . Seja S o conjunto
S
de todas as funes f : J i I Xi tais que J I e que, para cada i J,
f (i ) Xi . Naturalmente, o que se pretende provar que S tem algum
elemento cujo domnio seja I. Considere-se em S a relao de ordem 6
assim definida: dada uma funo f S de domnio J e dada uma funo
g S de domnio J 0 , tem-se f 6 g se e s se J J 0 e f = g| J .
S
Seja A = f k : JK i I Xi kK uma parte totalmente ordenada
S
de S ; quer-se provar que tem algum majorante em S . Seja J = kK Jk .
Se i J, ento i Jk , para algum k K. Caso i tambm pertenca a
algum Jk0 (k0 K), ento, visto que S totalmente ordenado, tem-se
f k 6 f k0 ou f k0 6 f k . Suponha-se que f k 6 f k0 . Ento, pela definio de 6,
f k (i ) = f k0 (i ). Pelo mesmo argumento, se f k0 6 f k ento tambm se tem
S
f k (i ) = f k0 (i ). Pode-se ento definir f : J i I Xi do seguinte modo:
se i Jk (k K), ento f (i ) = f k (i ). claro que f um majorante de A.
Esto ento satisfeitas as condies do lema de Zorn, pelo que S tem
S
algum elemento maximal f : J i I Xi . Caso no J I, seja i I \ J,
S
seja xi um elemento de Xi e considere-se a funo F : J {i } i I Xi
que prolonga f e tal que F (i ) = xi . Ento f 6 F e f 6= F, o que contradiz
o facto de f ser um elemento maximal. Logo, J = I.
Bibliografia
[1] Asplund, E. and L. Bungart: A first course in integration. Holt, Rinehart
and Winston, 1966.
[2] Banach, S. et H. Steinhaus: Sur le principe de la condensation de singularits. Fund. Math., 9 :5061, 1927.
[3] Botsko, M. W.: An elementary proof of Lebesgues differentiation theorem.
Amer. Math. Monthly, 110:834838, 2003.
[4] Carleson, L.: On convergence and growth of partial sums of Fourier series.
Acta Math., 116:135157, 1966.
[5] Ciesielski, K.: How good is Lebesgue measure? Math. Intelligencer,
11(2):5458, 1989.
[6] Cohn, D. L.: Measure Theory. Birkhuser, 1980.
[7] Conway, J. B.: A course in Functional Analysis. Springer-Verlag, 1985.
[8] Folland, G. B.: Real Analysis: Modern Techniques and their Applications.
John Wiley & Sons, 1984.
[9] Hawkins, T.: Lebesgues theory of integration: Its origins and developments.
Chelsea, 2nd edition, 1975.
[10] Krner, T. W.: Fourier Analysis. Cambridge University Press, 1995.
[11] Lusin, N.: Les ensembles analytiques. Fund. Math., 10 :195, 1927.
[12] Matos, Coimbra de e J. C. Santos: Anlise Complexa. Dinternal, 2000.
[13] Rudin, W.: Principles of Mathematical Analysis. McGraw-Hill, 3rd edition, 1976.
[14] Rudin, W.: Real and Complex Analysis. McGraw-Hill, 3rd edition, 1986.
169
170
Bibliografia
[15] Solovay, R. M.: A model of set theory in which every set of reals is Lebesgue
measurable. Ann. of Math. (2), 92:156, 1970.
[16] Spivak, M.: Calculus. Publish or Perish, 3rd edition, 1994.
ndice remissivo
lgebra, 2
pr-hilbertiano, 135
vectorial normado, 107
expoentes conjugados, 87
base
de um espao vectorial, 101
representao de um nmero
numa, 161
boa ordenao, 164
boreliano, 6
famlia
geradora, 101
livre, 101
ortogonal, 136
ortonormal, 136
funo
aberta, 148
absolutamente contnua, 80
caracterstica, 35
convexa, 81
de Cantor, 71, 80
essencialmente limitada, 89
integrvel, 40, 141
localmente integrvel, 74
mensurvel, 3337
simples, 37
conjunto
bem ordenado, 164
de Cantor, 19
gordo, 20
ordenado, 163
totalmente ordenado, 164
critrio de integrabilidade de
Riemann, 26
desigualdade
de Cauchy-Schwarz, 135
de Hlder, 87
de Jensen, 85
de Minkovski, 88
dimenso, 103
dual
algbrico, 105
topolgico, 114
hiperplano, 104
integral
de Lebesgue, 2, 3762
de Riemann, 1, 2532
isometria, 132
espao
de Banach, 127155
de Hilbert, 136
de medida, 33
lema
da cobertura de Vitali, 63
de Riemann-Lebesgue, 139
de Zorn, 163167
171
172
limite
inferior, 36, 66
superior, 36, 66
maximal, 163
medida, 7
de contagem, 8
de Lebesgue, 16
exterior de Lebesgue, 10
mensurvel, 13
norma
de uma aplicao linear, 112
do integral, 108
do supremo, 108
normas equivalentes, 118
oscilao, 27
partio, 10
polinmio trigonomtrico, 147
primeiro elemento, 164
produto escalar, 135
quase sempre, 43
relao de ordem, 163
total, 164
semi-norma, 91
srie
absolutamente convergente,
128
de Fourier, 138, 141
trigonomtrica, 139
-lgebra, 2
gerada por um conjunto, 3
soma
inferior, 25
superior, 25
suporte, 96
supremo essencial, 89
teorema
ndice remissivo
da aplicao aberta, 149
da convergncia dominada,
57
da convergncia montona,
52
da derivao de Fubini, 71
da derivao de Lebesgue, 66
de Baire, 142
de Banach-Steinhaus, 143
de Fatou, 56
de Fejr, 147
de Hahn-Banach, 123
de Heine-Borel, 11
de Lebesgue-RadonNicodym,
50
de Riesz, 121
fundamental do Clculo, 80