Analise I

SMA 5826 - AN
ALISE I
Alexandre Nolasco de Carvalho
8 de outubro de 2007
2
Sumario
1 Preliminares (Exerccios) 5
1.1 Teoria de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Relac oes de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 O Conjunto dos N umeros Reais Estendido . . . . . . . . . . . . . . . . . . . 9
2 Espacos Metricos 11
2.1 Denic oes e Propriedades Elementares . . . . . . . . . . . . . . . . . . . . . 11
2.2 Espacos Metricos Completos . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3 Contra coes e Aplicacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.4 Completamento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.5 Conjuntos Totalmente Limitados . . . . . . . . . . . . . . . . . . . . . . . . 23
2.6 O Teorema de Arzela-Ascoli e Aplicacoes . . . . . . . . . . . . . . . . . . . . 26
2.7 Espacos Metricos Separaveis . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.8 Categoria de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.9 Apendice A: Teorema de Brouwer . . . . . . . . . . . . . . . . . . . . . . . . 37
2.10 Lista de Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3 Espacos Vetoriais Normados 43
3.1 Espacos Vetoriais Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2 O Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.3 Conseq uencias do Teorema de Categoria . . . . . . . . . . . . . . . . . . . . 51
3.4 Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.5 Apendice B: Teorema de Schauder . . . . . . . . . . . . . . . . . . . . . . . . 64
3.6 Lista de Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.7 Primeira Prova . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4 Medidas (Folland) 73
4.1
Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.2 Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3
4 SUM
ARIO
4.3 Medida Exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4.4 Medidas de Borel em R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
5 Integracao 103
5.1 Func oes Mensuraveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.2 Integra cao de Func oes Nao Negativas . . . . . . . . . . . . . . . . . . . . . . 112
5.3 Integra cao de Func oes Complexas . . . . . . . . . . . . . . . . . . . . . . . . 117
5.4 Segunda Prova . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
5.5 Modos de Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
5.6 Medidas Produto e o Teorema de Fubini-Tonelli . . . . . . . . . . . . . . . . 131
5.7 A Medida e a Integral de Lebesgue em R
n
. . . . . . . . . . . . . . . . . . . 142
5.8 Integra cao em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . 153
6 Espacos L
p
157
6.1 Denic ao e Propriedades Elementares . . . . . . . . . . . . . . . . . . . . . . 157
Captulo 1
Preliminares (Exerccios)
Nota. Esta lista de exerccios tem como objetivo recordar fatos elementares
que sao necessarios conhecer e serao assumidos. As solucoes desses exerccios
podem ser obtidas facilmente lendo as Sec oes 0.1 a 0.5 do Captulo 0 de [1].
1.1 Teoria de Conjuntos
1. Se E
n
: n N e uma famlia enumeravel de conjuntos denimos
limsup E
n
:=
k=1
n=k
E
n
e liminf E
n
:=
k=1
n=k
E
n
.
Mostre que
limsup E
n
= x : x E
n
para um n umero innito de ndices n e
liminf E
n
= x : x E
n
exceto para um n umero nito de ndices n.
2. Mostre que, se A e um conjunto e E
: A e uma famlia de
conjuntos indexada em A, entao
(
A
E
)
c
=
A
E
c
e (
A
E
)
c
=
A
E
c
.
3. Sejam X, Y conjuntos e X Y o seu produto cartesiano. Dena:
(a) Uma relac ao de X em Y
5
6 CAP
ITULO 1. PRELIMINARES (EXERC
ICIOS)
(b) Relac ao de equivalencia e classes de equivalencia
(c) Relac ao de ordem parcial
(d) Func ao
4. Sejam X e Y conjuntos e f : X Y uma func ao. Se D X e E Y
denimos
f(D) := f(x) : x D
f
1
(E) := x X : f(x) E.
Se T(X) e T(Y ) denotam o conjunto das partes de X e Y respectiva-
mente, mostre que
(a) f
1
(
A
E
) =
A
f
1
(E
), f
1
(
A
E
) =
A
f
1
(E
) para
qualquer colecao E
A
T(Y ) e f
1
(E
c
) = (f
1
(E))
c
e E Y .
(b) f(
B
D
) =
B
f(D
), para qualquer colecao D
B
T(X).
(c) Nao e verdade que f(
B
D
) =
B
f(D
) ou que f(D
c
) = f(D)
c
para qualquer colecao D
B
T(X) e D X.
5. Se X
A
e uma famlia de conjuntos o seu produto cartesiano e
denido por
A
X
:= f : A
A
X
: f() X
, A
Se todos os X
sao iguais a um conjunto xo Y denotamos

A
X
por
Y
A
. Reita sobre as seguintes armativas
(a) Se A e Y sao nao vazios ent ao Y
A
,= .
(b) Se A ,= e X
,= , A ent ao
A
X
,= .
1.2 Relacoes de Ordem
1. Dena relacao de ordem parcial e total e mostre que se E e um conjunto
qualquer entao T(E) e parcialmente ordenado pela inclusao. Mostre
que T(E) somente e totalmente ordenado pela inclusao se E e vazio ou
unitario.
1.2. RELAC

OES DE ORDEM 7
2. Se X e parcialmente ordenado por um elemento maximal de X e um
elemento x X tal que o unico y X tal que x y e o proprio x.
Dena:
(a) elemento minimal
(b) limitante superior e inferior para um conjunto E X.
Mostre que:
(a) elementos maximais de X, caso existam, nao sao necessariamente
unicos. De um exemplo onde elementos maximais nao existam.
(b) Um subconjunto E de X nao precisa ter limitande superior ou infe-
rior.
(c) Um elemento maximal de E nao precisa ser um limitante superior
de E a menos que E seja totalmente ordenado.
3. Se X e totalmente ordenado por e todo subconjunto nao vazio E de X
possui um elemento (necessariamente unico) minimal ent ao dizemos que
X e bem ordenado por e e chamada uma boa ordem. De exemplos
de conjuntos bem ordenados e ordens que nao sao boa ordem.
4. O Princpio Maximal de Hausdor diz que
Todo conjunto parcialmente ordenado tem um subconjunto total-
mente ordenado maximal.
e o Lemma de Zorn diz que
Se X e parcialmete ordenado e todo subconjunto totalmente orde-
nado de X tem um limitante superior, ent ao X tem um elemento
maximal.
Mostre que o Princpio Maximal de Hausdor e o Lema de Zorn sao
equivalentes.
8 CAP
ICIOS)
5. Usando o Lema de Zorn, mostre o Princpio da Boa Ordenac ao (Teorema
de Zermello)
Todo conjunto nao vazio X possui uma boa ordem.
6. Se X
A
e uma colec ao nao vazia de conjuntos nao vazios o Axioma
da Escolha diz que
A
X
,= . Mostre o axioma da escolha a partir

do Teorema de Zermello.
1.3 Cardinalidade
Se X e Y sao conjuntos nao vazios dizemos que
card(X) card(Y), se existe f : X Y injetora
card(X) card(Y), se existe f : X Y sobrejetora
card(X) = card(Y), se existe f : X Y bijetora
ainda
card(X) < card(Y), se f : X Y injetora e f : X Y bijetora
card(X) > card(Y), se f : X Y sobrejetora e f : X Y bijetora
e declaramos
card() < card(X) e card(X) > card()
para todo X ,= .
1. Mostre que card(X) card(Y) se e somente se card(Y) card(X).
2. Se X e Y sao conjuntos quaisquer mostre que ou card(X) card(Y) ou
card(Y) card(X).
3. Mostre o Teorema de Schr oder-Bernstein
Se card(X) card(Y)ecard(Y) card(X) entao card(X)= card(Y).
4. Mostre que card(X) < card(T(X)).
1.4. O CONJUNTO DOS N
UMEROS REAIS ESTENDIDO 9

5. Mostre que:
(a) Dena conjunto enumer avel
(b) Se X e Y sao enumeraveis ent ao X Y e enumer avel.
(c) Se Ae enumer avel e X
e enumeravel para cada A ent ao

A
X
e enumeravel.
(d) Se X e enumeravel e innito ent ao card(X)=card(N).
(e) Z e Q sao enumeraveis
(f) card(T(N)) = card(R)=c
(g) Se card(X) c ent ao X nao e enumeravel
(h) Se card(X) c e card(Y) c entao card(X Y ) c
(i) Se card(A) c e card(X
) c A, ent ao card(
A
X
) c.
6. Prove o Princpio da Induc ao Transnita
7. Mostre que existe um conjunto nao enumer avel com I
x
= y :
y < x enumeravel x . Mostre que se I e enumer avel ent ao,
I tem um limitante superior.
1.4 O Conjunto dos N umeros Reais Estendido
Recorde que se x
n
e um sequencia de n umeros reais estendidos e f : R R
entao, em R
, existem os limites
limsup
n
x
n
:= inf
k1
sup
nk
x
n
liminf
n
x
n
:= sup
k1
inf
nk
x
n
limsup
xa
f(x) := inf
>0
_
sup
0<[xa[<
f(x)
_
liminf
xa
f(x) := sup
>0
_
inf
0<[xa[<
f(x)
_
10 CAP
ICIOS)
1. Se X e um conjunto arbitrario e f : X [0, ] denimos
xX
f(x) = sup
xF
f(x) : F X, F nito.
Mostre que se A = x X : f(x) > 0 nao e enumeravel ent ao
xA
f(x) = .
2. Mostre que todo subconjunto aberto de R e uniao enumer avel de abertos
disjuntos.
Captulo 2
Espacos Metricos
Primeira Aula (100 minutos)
2.1 Denicoes e Propriedades Elementares
Seja X um conjunto. Uma funcao : X X [0, ) satisfazendo
(x, y) = 0 x = y,
(x, y) = (y, x), para todo x, y X,
(x, z) (x, y) +(y, z), para todo x, y, z X.
e chamada uma metrica em X. Um espa co metrico consiste de um conjunto
X e uma metrica em X. Escreveremos (X, ) para indicar o espaco metrico
consistindo do conjunto X e da metrica .
Exemplos:
Se X e um conjunto nao vazio qualquer denimos : X X [0, )
por
(x, y) =
_
1, se x ,= y
0, se x = y.
A func ao e uma metrica chamada metrica discreta e (X, ) e um espaco
metrico.
11
12 CAP
ITULO 2. ESPAC OS M
ETRICOS
Se (R
n
,
p
), com
p
(x, y) := |x y|
p
, x, y R
n
, e
||
p
=
_
n
i=1
[
i
[
p
_1
p
, R
n
, 1 p < ,
||
= sup[
i
[ : 1 i n, R
n
.
Entao (R
n
,
p
) e um espaco metrico, 1 p .
Seja
p
= x = x
n
R
N
(ou C
N
) :
n=1
[x
n
[
p
< , 1 p < , e
= x = x
n
R
N
(ou C
N
) : sup[x
n
[ : n N < .
Em
p
, denimos
|x|
p
=
_

n=1
[x
n
[
p
_1
p
, se 1 p < e |x|
= sup[x
n
[ : n N.
Se
p
:
p

p
[0, ) e denida por
p
(x, y) = |x y|
p
, 1 p ,
entao (
p
,
p
) e um espaco metrico.
C[a, b] com a metrica da convergencia uniforme (x, y) = |x y|
,
x, y C[a, b], e ||
= sup[(t)[ : t [a, b] para todo C[a, b].

Se (X, ) e um espaco metrico temos que:
B
r
(x) := y X : (x, y) < r, x X, r > 0 e chamado bola aberta de
centro em x e raio r.
Um conjunto E X e dito aberto em (X, ) se para cada x E existe
r
x
> 0 tal que B
r
x
(x) E.
Um conjunto F X e dito fechado em (X, ) se F
c
(complementar de
F) e aberto em (X, ).
2.1. DEFINIC

OES E PROPRIEDADES ELEMENTARES 13
E facil provar que

A uniao (intersecao) qualquer de conjuntos abertos (fechados) em (X, )
e um conjunto aberto (fechado) em (X, ).
A intersecao (uniao) nita de conjuntos abertos (fechados) em (X, ) e
um conjunto aberto (fechado) em (X, ).
Denimos ent ao
O interior E
o
de um conjunto E X e a uniao de todos os abertos de
(X, ) contidos em E.
O fecho E
de um conjunto E X e a intersec ao de todos os fechados

de (X, ) contendo E.

E claro que E e fechado se e somente se E = E
.
Um conjunto E X e dito denso em X se E
= X e nunca denso se
E
o
= .
Uma seq uencia x
n
em (X, ) converge para x X se (x
n
, x) 0
quando n .
Proposicao 2.1.1. Se E X temos que, x E
se e somente se qualquer
bola aberta centrada em x intersepta E se e somente se existe uma seq uencia
x
n
de elementos de E que converge para x.
Prova: Se existe r > 0 tal que B
r
(x) E
c
entao x E
co
e como E
coc
e fechado e contem E temos que x / E
. Segue que, se x E
, entao
B
r
(x) E ,= . Se B
r
(x) E ,= para todo r > 0 entao, ou x E e podemos
tomar x
n
= x para todo n N, ou x / E e tomamos x
n
B
1/n
(x) E,
x
n
,= x, em ambos os casos x
n
converge para x. Se existe uma seq uencia
x
n
de elementos de E que converge para x e x / E
ent ao existe r > 0 tal

que B
r
(x) E
c
e portanto x
n
E
c
para n sucientemente grande o que e
um absurdo. Segue que x E
.
Se (X
1
,
1
), (X
2
,
2
) sao espacos metricos, uma funcao f : X
1
X
2
e
contnua em x X
1
se para todo > 0 existe > 0 tal que
2
(f(y), f(x)) <
14 CAP
ITULO 2. ESPAC OS M
ETRICOS
sempre que
1
(y, x) < . Dito de outra forma f e contnua em x X
1
se, dado
> 0 existe > 0 tal que f
1
(B
(f(x))) B
(x). Diremos simplesmente

que f e contnua quando f e contnua para todo x X
1
e uniformemente
contnua se a escolha de depende somente de e nao de x X
1
.
Proposicao 2.1.2. Sejam (X
1
,
1
), (X
2
,
2
) espacos metricos. Uma func ao
f : X
1
X
2
e contnua se e somente se imagem inversa f
1
(U) de qualquer
conjunto aberto U de (X
2
,
2
) e um conjunto aberto de (X
1
,
1
).
Prova: Se f e contnua, U e um aberto de X
2
, y f
1
(U) e > 0 e tal que
B
(f(y)) U existe > 0 tal que f

1
(B
(f(y)) B
(y). Logo y e interior

a f
1
(U). Isto mostra que f
1
(U) e aberto. Por outro lado, se f
1
(U) e
aberto em (X
1
,
1
) sempre que U e aberto em (X
2
,
2
), x X
1
e > 0,
temos que f
1
(B
(f(x))) e aberto e contem x. Segue que existe > 0 tal que

B
(x) f
1
(B
(f(x))) e f e contnua em x. Logo f e contnua para todo

x X
1
.
2.2 Espacos Metricos Completos
Seja (X, ) um espaco metrico. Uma seq uencia x
n
X
N
e dita uma
seq uencia de Cauchy se (x
n
, x
m
) 0 quando m, n . Um conjunto
E X e dito completo se toda seq uencia de Cauchy em E e convergente e
seu limite pertence a E
Exemplos:
(X, ) onde X e um conjunto nao vazio e e a metrica discreta em X.
Em (R
n
, | |
p
), R
n
e completo enquanto que Q
n
nao e completo.
X = (0, 1) com a metrica usual nao e completo.
A proposic ao a seguir mostra que X = [0, 1] com a metrica usual e
completo.
2.2. ESPAC OS M
ETRICOS COMPLETOS 15
C[a, b] com a metrica da convergencia uniforme e completo.

p
, 1 p , e um espaco metrico completo.
Mostramos apenas que
p
, 1 p < , e completo deixamos a vericac ao
dos demais fatos como exerccio.
Se x
n
e uma seq uencia de Cauchy em
p
, dado > 0 existe N N tal
que
i=1
[x
n
i
x
m
i
[
p
 N.
Segue que x
n
i
n=1
e uma seq uencia de Cauchy em R ou C e portanto con-
vergente. Seja x
i
:= lim
n
x
n
i
. A seq uencia x = x
i
e o candidato a limite
da seq uencia x
n
. Mostremos que isto de fato ocorre. Se n > N e k N,
temos que
_
k
i=1
[x
i
[
p
_
1
p
_
k
i=1
[x
i
x
n
i
[
p
_
1
p
+
_
k
i=1
[x
n
i
[
p
_
1
p
+|x
n
|
p
.
Isto nos permite concluir que x = x
i

p
. Alem disso, como para cada
k N e n > N
_
k
i=1
[x
i
x
n
i
[
p
_
1
p

temos que |x
n
x|
p
para todo n > N. Segue que x
n
x em
p
.
Proposicao 2.2.1. Um subconjunto fechado de um espaco metrico completo
e completo e um subconjunto completo de um espaco metrico qualquer e
fechado.
Proof: Se (X, ) e um espaco metrico completo, E X e fechado e x
n
e
uma seq uencia de Cauchy em E temos que x
n
e convergente para algum
x X. Pela Proposic ao 2.1.1 segue que x E e E e completo.
16 CAP
ITULO 2. ESPAC OS M
ETRICOS
Se por outro lado E e um subconjunto completo de um espaco metrico
qualquer (X, ) e x E
temos pela Proposic ao 2.1.1 que existe uma se-

q uencia x
n
em E que converge para x. Segue do fato que toda seq uencia
convergente e de Cauchy que x E. Isto mostra que E e fechado.
2.3 Contracoes e Aplicac oes
Seja (X, ) um espaco metrico completo. Uma aplicac ao T : X X e
chamada uma contrac ao em X se existe , 0 < < 1, tal que
(Tx, Ty) (x, y), x, y X.
Teorema 2.3.1 (Princpio da Contra cao de Banach). Se X e um espaco
metrico completo e T e uma contracao em X entao T tem um unico ponto
xo.
Prova: Vamos primeiramente provar que T tem no maximo um ponto xo.
Se x e y sao pontos xos de T, temos que
(x, y) = (Tx, Ty) (x, y)
e portanto x = y.
Vamos agora mostrar a existencia. Seja x X e considere a orbita de x
x, Tx, T
2
x, .
Mostremos que T
n
x e uma seq uencia de Cauchy. De fato:
(T
n+p
x, T
n
x) (T
n+p1
x, T
n1
x)
n
(T
p
x, x)

n
[(T
p
x, T
p1
x) + +(Tx, x)]

n
[
p1
(Tx, x) + +(Tx, x)]

n
[
p1
+ + 1](Tx, x)

n
1
(Tx, x)
e como < 1 temos que T
n
x e uma seq uencia de Cauchy e portanto
convergente para algum x
0
X. Mostremos que x
0
e um ponto xo de T.
De fato:
Tx
0
= T lim
n
T
n
x = lim
n
T
n+1
x = x
0
.
2.3. CONTRAC

OES E APLICAC

OES 17
Primeira Aula (100 minutos)

18 CAP
ITULO 2. ESPAC OS M
ETRICOS
Segunda Aula (100 minutos)
Seja D R
n+1
um aberto conexo e f : D R
n
tal que
[f(t, x
1
) f(t, x
2
)[ M[x
1
x
2
[, (t, x
i
) D, i = 1, 2.
Assuma ainda que f e contnua.
Considere a equacao diferencial
x = f(t, x). (2.1)
Se (t
0
, x
0
) D, uma soluc ao local de (2.1) passando por (t
0
, x
0
) e uma funcao
contnuamente diferenciavel denida em um intervalo I, contendo t
0
em seu
interior, tal que (t
0
) = x
0
, (t, (t)) D, t I e (t) = f(t, (t)), t I.
Teorema 2.3.2 (Picard). Se f e como acima, para cada (t
0
, x
0
) D, a
equacao diferencial (2.1) possui uma unica solucao local por (t
0
, x
0
).
Prova:

E facil ver que : I R
n
e uma solucao local de (2.1) por (t
0
, x
0
) se
e somente se e uma funcao contnua denida em um intervalo I contendo
t
0
em seu interior satisfazendo (t, (t)) D, t I e
(t) = x
0
+
_
t
t
0
f(s, (s))ds, t I. (2.2)
Seja D
/
D um aberto contendo (t
0
, x
0
) tal que f e limitada em D
/
; isto
e, [f(t, x)[ A, (t, x) D
/
.
Seja d > 0 tal que
R = [t
0
d, t
0
+d] B
dA
(x
0
)
D
/
Md < 1.
Se J =: [t
0
d, t
0
+d] denimos
B := : J R
n
: e contnua, (t
0
) = x
0
e [(t) x
0
[ dA, t J.
2.4. COMPLETAMENTO 19
Entao B e um subconjunto fechado de C(J, R
n
) e portanto um subespaco
metrico completo. Seja T : B C(J, R
n
) denida por
(T)(t) = x
0
+
_
t
t
0
f(s, (s))ds, t J, B. (2.3)
Mostremos que T(B) B e que T e uma contra cao. De fato: Se B ent ao
T e contnua, (T)(t
0
) = (x
0
) e
[(T)(t) x
0
[
_
t
t
0
[f(s, (s))[dt
dA, t J,
mostrando que T(B) B. Ainda, para
1
,
2
B temos que, t J,
[(T
1
)(t) (T
2
)(t)[
_
t
t
0
[f(s,
1
(s)) f(s,
2
(s))[ds
_
t
t
0
[
1
(s)
2
(s)[ds
Md|
1
2
|
,
mostrando que T e uma contrac ao em B. Segue do Princpio da Contrac ao
de Banach, Teorema (2.3.1), que T tem um unico ponto xo e que (2.1) tem
uma unica soluc ao por (t
0
, x
0
).
2.4 Completamento
Sejam (X, ) e (Y, ) dois espacos metricos. Uma transformac ao T : X Y
e dita uma isometria se para todo x, x
/
X temos que
(Tx, Tx
/
) = (x, x
/
).
Neste caso dizemos que (X, ) pode ser imerso em (Y, ). Os espacos metricos
(X, ) e (Y, ) sao ditos isomorfos se T e sobrejetora.
Seja (X, ) um espaco metrico qualquer. Vamos construir um espaco
metrico completo (

X, ) a partir de (X, ), tal que (X, ) pode ser densa-
mente imerso em (

X, ). Assumiremos que R e um espaco metrico completo.
20 CAP
ITULO 2. ESPAC OS M
ETRICOS
Seja A o conjunto das seq uencias de Cauchy em X e seja a seguinte
relacao de em A
x
n
y
n
(x
n
, y
n
) 0.
Lema 2.4.1. A relacao e uma relacao de equivalencia
Prova: Para provar que e uma relac ao de equivalencia, primeiramente
observamos que claramente
i) x
n
x
n
para todo x
n
em A e
ii) x
n
y
n
implica y
n
x
n
para todo x
n
, y
n
A.
Resta apenas vericar que se
iii) Se x
n
, y
n
, z
n
A, x
n
y
n
e y
n
z
n
ent ao x
n
z
n
.
Isto segue do fato que (x
n
, z
n
) (x
n
, y
n
) + (y
n
, z
n
).
Se x A denota a classe de equivalencia de x = x
n
A temos que
A e uniao disjunta dessas classes de equivalencia. O conjunto das classes de
equivalencia de elementos de A e denotado por

A.
Note que, se x
n
, y
n
A, ent ao, (x
n
, y
n
) e uma seq uencia de Cauchy
de n umeros reais pois
[(x
n
, y
n
) (x
m
, y
m
)[ [(x
n
, y
n
) (x
n
, y
m
)[ +[(x
n
, y
m
) (x
m
, y
m
)[
(y
n
, y
m
) +(x
n
, x
m
).
Segue do fato que R e completo que (x
n
, y
n
) e convergente.
Denimos :

A

A [0, ) por
( x, y) = lim
n
(x
n
, y
n
),
onde x
n
x e y
n
y. Antes de seguirmos em frente e preciso vericar que
este limite nao muda quando x
n
e y
n
sao substitudos outros elementos
de x e y, respectivamente. Basta notar que (x
/
n
, y
/
n
) (x
/
n
, x
n
)+(x
n
, y
n
)+
(y
n
, y
/
n
) e (x
n
, y
n
) (x
n
, x
/
n
) +(x
/
n
, y
/
n
) +(y
/
n
, y
n
) garantem que o limite
independe do representante escolhido em x e y.
E facil vericar que e uma metrica em

A.
2.4. COMPLETAMENTO 21
Lema 2.4.2. O espaco metrico (

A, ) e completo.
Prova: Se x
k
e uma seq uencia de Cauchy em

A e A x
k
= x
k
n
x
k
temos que
( x
k
, x
l
) = lim
n
(x
k
n
, x
l
n
).
Do fato que x
k
= x
k
n
e uma seq uencia de Cauchy para cada k N existe
k < n
k
N tal que
(x
k
n
, x
k
n
k
) <
1
k
, n n
k
.
Escolhemos x = x
k
n
k
. Ent ao x e uma seq uencia de Cauchy: De fato, se y
k
denota a seq uencia constante x
k
n
k
, x
k
n
k
, x
k
n
k
, . . . e y
k
= [y
k
] temos que
(x
k
n
k
, x
l
n
l
) = ( y
k
, y
l
) (y
k
, x
k
) + ( x
k
, x
l
) + ( x
l
, y
l
)
1
k
+( x
k
, x
l
) +
1
l
k,l
0.
Seja x a classe de equivalencia de x.
Mostremos que ( x
l
, x) 0 quando k . Note que
( x
l
, x) = lim
k
(x
l
k
, x
k
n
k
)
e que, dado > 0, existe N N tal que,
1
N
<

2
e (x
l
n
l
, x
k
n
k
) <

2
, para
k, l > N. Segue que, para l > N e k > maxN, n
l
,
(x
l
k
, x
k
n
k
) (x
l
k
, x
l
n
l
) +(x
l
n
l
, x
k
n
k
) <
1
l
+ < .
Logo, ( x
l
, x) < para l > N e lim
l
( x
l
, x) = 0.
Teorema 2.4.1. Se (X, ) e um espaco metrico ele pode ser imerso, como
um subespaco denso, em um espaco metrico completo (

X, ). Dois espacos
nos quais (X, ) pode ser imerso, como subespaco denso, sao isomorfos.
Prova: Se

A
0
:= [x ], x X

A denimos T : X

A por Tx = [x].
E claro que T e uma isometria de X sobre

A
0
. Mostremos que

A
0
e denso
em

A. De fato, se x = [x
n
]

A seja x
n
= [x
n
, x
n
, . . .]

A
0
. Como x
n
22 CAP
ITULO 2. ESPAC OS M
ETRICOS
e um seq uencia de Cauchy, dado > 0 existe N N tal que (x
n
, x
m
) <
para todo m, n > N. Segue que
( x
n
, x) = lim
m
(x
n
, x
m
)
para todo n > N. Logo lim
n
( x
n
, x) = 0.
Resta apenas mostrar que

A e unico a menos de isometria. Se existem
A,

A espacos metricos completos e isometrias T : X

A, S : X

A com
imagens densas, denimos a isometria

V :

A

A como a unica extensao
contnua da isometria
V = S T
1
: T(X) S(X)
a

A.
Segunda Aula (100 minutos)
2.5. CONJUNTOS TOTALMENTE LIMITADOS 23
Terceira Aula (100 minutos)
2.5 Conjuntos Totalmente Limitados
Seja (X, ) um espaco metrico. Se x X e E, F X denimos a distancia
(x, E) de x a E, a distancia (E, F) de E a F e o diametro diamE de E por
(x, E) := inf(x, y) : y E
(E, F) := inf(z, y) : z E, y F
diamE := sup(z, y) : z, y E.
Ja vimos que x E
se e somente se (x, E) = 0 (Proposicao 2.1.1). Diremos

que E X e limitado se diamE < .
Se E X e V
A
e uma famlia de conjuntos tal que E
A
V
dizemos que V
A
e uma cobertura de E. Se (X, ) e um espaco metrico,
dizemos que E X e totalmente limitado se, para cada > 0, pode ser
coberto por um n umero nito de bolas de raio .

E claro que todo conjunto
totalmete E limitado e limitado, mas nao e verdade, em geral, que todo con-
junto limitado e totalmente limitado. Tambem e claro que se E e totalmente
limitado ent ao E
e totalmente limitado.
Teorema 2.5.1. Se E e um subconjunto de um espaco metrico (X, ), as
seguintes armativas sao equivalentes:
a) E e completo e totalmente limitado
b) (A propriedade de Bolzano-Weierstrass) Toda seq uencia em E tem
uma subseq uencia que converge para um ponto de E
c) (A propriedade de Heine-Borel) Se V
A
e uma cobertura de E
por abertos de (X, ), existe um conjunto nito F A tal que V
F
cobre E.
Proof: Mostraremos que a) e b) sao equivalentes, que a) e b) juntos implicam
c) e que c) implica b).
24 CAP
ITULO 2. ESPAC OS M
ETRICOS
a) implica b): Suponha que a) vale e que x
n
e uma seq uencia em E. E
pode ser coberto por um n umero nito de bolas de raios
1
2
e pelo menos uma
dessas bolas deve conter x
n
para um n umero innito de ndices: Digamos que
x
n
B
1
para n N
1
. EB
1
pode ser coberto por um n umero nito de bolas
de raio
1
2
2
e portanto uma dessas bolas contem x
n
para um n umero innito
de ndices: Digamos que x
n
B
2
para n N
2
. Continuando indutivamente
obtemos uma seq uencia de bolas B
j
de raio
1
2
j
e uma seq uencia decrescente
de subconjuntos innitos N
j
de N tal que x
n
B
j
para n N
j
. Escolha
n
1
N
1
, n
2
N
2
, . . . tal que n
1
< n
2
< . . .. Ent ao x
n
j
e uma seq uencia
de Cauchy pois (x
n
j
, x
n
k
) <
2
2
j
se k > j, como E e completo o limite dessa
subseq uencia pertence a E.
b) implica a): Mostraremos que se qualquer das condic oes em a) falha
entao b) falha. Se E nao e completo, existe uma seq uencia de Cauchy x
n
em
E que nao tem limite em E. Nenhuma subseq uencia de x
n
pode convergir
em E pois caso contr ario a seq uencia seria convergente com o mesmo limite.
Por outro lado, se E nao e totalmente limitado, seja > 0 tal que E nao
pode ser coberto por um n umero nito de bolas de raio . Escolha x
n
E
indutivamente da seguinte maneira. Comece com qualquer x
1
E e tendo
escolhido x
1
, . . . , x
n
escolha x
n+1
E
n
i=1
B
(x
i
). Ent ao (x
n
, x
m
) para
todo m, n e portanto x
n
nao tem subseq uencia convergente.
a) e b) implicam c):

E suciente mostrar que se b) vale e V
A
e uma
cobertura de E por conjuntos abertos, existe > 0 tal que toda bola de raio
que intersepta E esta contida em algum V
, pois E pode ser coberto por

um n umero nito de tais bolas de a). Suponha que nao; isto e, que para
cada n N existe uma bola B
n
de raio 1/2
n
tal que B
n
E ,= e B
n
nao
esta contida em nenhum V
. Escolha x
n
B
n
E. Passando para uma
subseq uencia podemos assumir que x
n
e convergente para algum x E.
Temos que x V
para algum A e como V
e aberto, existe > 0 tal

que B
(x) V
. Mas se n e sucientemente grande tal que (x

n
, x) < /3 e
2
n
< /3, entao B
n
B
(x) V
contradizendo a hipotese sobre B

n
.
c) implica b): Se x
n
e uma seq uencia sem subseq uencia convergente, para
2.5. CONJUNTOS TOTALMENTE LIMITADOS 25
cada x E existe uma bola B
x
centrada em x que contem x
n
no maximo
para um n umero nito de ndices n (caso contr ario haveria uma subseq uencia
que converge para x). Ent ao B
x
xE
e uma cobertura de E por abertos sem
subcobertura nita.
Em um espaco metrico (X, ), um conjunto E X e dito compacto se tem
as propriedades a)-c) do teorema anterior e e dito relativamente compacto se
E
e compacto. Todo conjunto compacto e fechado pela Proposicao 2.2.1 e

limitado, a recproca em geral e falsa mas e verdadeira em R
n
como mostra
a proposic ao abaixo.
Proposicao 2.5.1. Todo subconjunto fechado e limitado de (R
n
, | |
2
) e
compacto
Prova: Como subconjuntos fechados de R
n
sao completos, e suciente mos-
trar que subconjuntos limitados de R
n
sao totalmente limitados. Como cada
subconjunto limitado esta contido em algum cubo da forma
Q = [R, R]
n
= x R
n
: max([x
1
[, . . . , [x
n
[) R,
e suciente mostrar que Q e totalmente limitado. Dado > 0, escolha um
inteiro k > R
n/ e expresse Q como a uniao de k

n
cubos congruentes
dividindo o intevalo [R, R] em k intervalos iguais. O lado desses subcubos e
2R/k e portanto o seu diametro e

n(2R/k) < 2 e portanto cada um desses
subcubos esta contido na bola de raio com centro coincidente com o centro
do cubo.
Duas metricas
1
e
2
em um conjunto X sao ditas equivalentes se existem
c, c > 0 tais que
c
1

2
c
1
.
E facil ver que metricas equivalentes denem os mesmos abertos, fechados e

compactos, as mesmas seq uencias de Cauchy, e as mesmas func oes contnuas
e uniformemente contnuas. Consequentemente, a maioria dos resultados
relativos a espacos metricos depende nao de uma particular metrica mas
somente de sua classe de equivalencia.
26 CAP
ITULO 2. ESPAC OS M
ETRICOS
2.6 O Teorema de Arzela-Ascoli e Aplicacoes
Seja (X, ) um espaco metrico compacto. O espaco metrico das func oes con-
tnuas f : X R com a metrica
(f, g) = max[f(x) g(x)[ : x X
e um espaco metrico completo que denotamos por C(X).
Uma colecao T de funcoes e dita uniformemente limitada se existe M > 0
tal que
[f(x)[ M, x X e f T.
Uma famlia T de funcoes em C(X) e chamada equicontnua se dado > 0
existe > 0 tal que [f(x) f(x
/
)[ < , x, x
/
X com (x
/
, x) < e f T.
Teorema 2.6.1 (Arzela-Ascoli). Se (X, ) e um espaco metrico compacto,
um subconjunto T de C(X) e relativamente compacto se e somente se e
uniformemente limitado e equicontnuo.
Prova: Suponha que T e relativamente compacto. Ent ao T e totalmente
limitado e portanto uniformemente limitado. Seja > 0 e f
1
, . . . , f
n
tais que
T
n
i=1
B
3
(f
i
). Seja f T e x, x
/
X. Para cada i = 1, 2, . . . , n
[f(x) f(x
/
)[ [f(x) f
i
(x)[ +[f
i
(x) f
i
(x
/
)[ +[f
i
(x
/
) f(x
/
)[.
Escolha 1 j n tal que
sup
xX
[f(x) f
j
(x)[ <

3
.
Entao
[f(x) f(x
/
)[
2
3
+[f
j
(x) f
j
(x
/
)[.
Como X e compacto, f
1
, . . . , f
n
sao uniformemente contnuas. Logo, existe
> 0 tal que (x, x
/
) < implica
[f
i
(x) f
i
(x
/
)[ <

3
, 1 i n.
2.6. O TEOREMA DE ARZEL
A-ASCOLI E APLICAC

OES 27
Segue que se (x, x
/
) < entao
[f(x) f(x
/
)[ < , f T
e T e equicontnuo.
Reciprocamente, suponha que T e uniformemente limitado e equicontnuo.
Seja M e um inteiro tal que
[f(x)[ M, x X e f T
e > 0. Escolha > 0 tal que (x, x
/
) < implica [f(x) f(x
/
)[ <

4
f T.
Como X e compacto existem x
1
, . . . , x
n
tais que X
n
i=1
B
(x
i
). Escolha
um n umero inteiro positivo m tal que
1
m
<

4
e divida [M, M] em 2Mm
intevalos comprimento
1
m
pelos pontos
y
0
= M < y
1
< < y
2Mm
= M.
Considere as n uplas (y
i
1
, . . . , y
i
n
) de n umeros y
i
, 1 i 2Mm, tais que para
algum f T
[f(x
j
) y
i
j
[ <

4
, 1 j n
e escolha um tal f T para cada nupla. Se c e o conjunto resultante dessa
escolha, c e nito, e e tal que T
fc
B
(f). De fato, se f T escolhemos

y
i
1
, . . . , y
in
tal que
[f(x
j
) y
i
j
[ <

4
, 1 j n
e seja e c tal que
[e(x
j
) y
i
j
[ <

4
, 1 j n.
Seja x X e j tal que (x, x
j
) < . Entao
[f(x) e(x)[ [f(x) f(x
j
)[ +[f(x
j
) y
i
j
[ +[y
i
j
e(x
j
)[ +[e(x
j
) e(x)[ < .
Logo
sup
xX
[f(x) e(x)[ < .
Terceira Aula (100 minutos)

28 CAP
ITULO 2. ESPAC OS M
ETRICOS
Quarta Aula (100 minutos)
Seja D R
n+1
um aberto e f : D R
n
contnua.
Teorema 2.6.2 (Peano). Dado (t
0
, x
0
) D a equacao diferencial x = f(t, x)
tem uma soluc ao local passando por (t
0
, x
0
).
Prova: Seja (t
0
, x
0
) D
/
D aberto tal que f e limitada em D
/
e seja
A tal que [f(t, x)[ A para todo (t, x) D
/
. Seja a > 0 tal que R =
[t
0
a, t
0
+a] B
aA
(x
0
)
D
/
.
Como f e uniformemente contnua em R, dado > 0 existe > 0 tal que,
(t, x), (t
/
, x
/
) R, [t t
/
[ < e [x x
/
[ < [f(t, x) f(t
/
, x
/
)[ < . Seja
t
0
< t
1
< < t
n
= t
0
+ a uma particao do intervalo [t
0
, t
0
+ a] tal que
[t
i
t
i1
[ < min(,

A
), 1 i n e
: [t
0
, t
0
+a] R denida por:

e contnua.

(t
0
) = x
0
e se , em [t
0
, t
1
] seja
linear com direc ao f(t

0
, x
0
), ent ao
(t
1
) R.
Em [t
1
, t
2
], seja
linear com direc ao f(t

1
,
(t
1
)).
Prosseguindo desta forma construmos
(t) em B
aA
(x
0
)
, t [t
0
, t
0
+a].
Como a direcao de
e f(t
i
,
(t
i
)) para t [t
i
, t
i+1
] temos que
[
(t)
(t
/
)[ A[t t
/
[.
Logo,
: 0 < 1 C[t
0
, t
0
+ a] e uma famlia equicontnua. Fixemos
> 0, se t [t
0
, t
0
+a], t ,= t
i
, i = 0, 1, . . . , n, ent ao t
j1
< t < t
j
para algum
j e
[
(t)
(t
j1
)[ < A[t t
j1
[ < A
A
= .
Isto implica que
[f(t
j1
,
(t
j1
)) f(t,
(t))[ < , t
j1
< t < t
j
.
2.7. ESPAC OS M
ETRICOS SEPAR
AVEIS 29
Mas
d
dt
existe exceto para um n umero nito de pontos e portanto

d
dt
(t) = f(t
j1
,
(t
j1
)).
Segue que
[
d
dt
(t) f(t,
(t))[ < , t [t
0
, t
0
+a], t ,= t
i
, 0 i n.
Agora escrevemos
(t) = x
0
+
_
t
t
0
f(s,
(s)) + [

(s) f(s,
(s))]ds. (2.4)
Se
n
e uma seq uencia de n umeros reais positivos que converge para zero,
n
e limitada e equicontnua. Do Teorema de Arzela-Ascoli (Teorema
2.6.1) esta seq uencia tem uma subseq uencia uniformemente convergente com
limite . Segue de (2.4) que
(t) = x
0
+
_
t
t
0
f(s, (s))ds.
Logo e uma solucao de x = f(t, x) passando por (t
0
, x
0
) e denida em
[t
0
, t
0
+a]. Um argumento semelhante pode ser aplicado para [t
0
a, a].
2.7 Espacos Metricos Separaveis
Seja (X, ) um espaco metrico. Dizemos que (X, ) e um espaco metrico
separavel se X possui um subconjunto enumer avel denso.
Exemplos:
Todo espaco metrico totalmente limitado.
R
n
e C
n
com as metricas usuais sao espacos metricos separaveis.
R
n
com a metrica discreta nao e separavel.
30 CAP
ITULO 2. ESPAC OS M
ETRICOS

p
, 1 p < , e separavel e
nao e separavel.
C[a, b] com a metrica da convergencia uniforme e separavel.
Vamos mostrar que
p
, 1 p < , e C[a, b] sao separaveis e que
nao
e separavel.
Comecamos com os espacos
p
, 1 p < . Seja e
k
= (0, . . . , 0, 1, 0, . . .)
com 1 na kesima posicao e mostremos que o conjunto enumeravel c das
combinacoes lineares nitas com coecientes racionais de e
1
, e
2
, . . . e denso
em
p
, 1 p < . De fato: Se x = x
1
, x
2
, . . .
p
e > 0 sao dados seja
k N tal que
i=k+1
[x
i
[
p
<

p
2
e sejam r
1
, . . . , r
k
racionais tais que
[x
i
r
i
[
p
<

p
2k
.
Entao para r = r
1
, . . . , r
k
, 0, 0, . . . c temos que
p
(x, r)
p
=
k
i=1
[x
i
r
i
[
p
+
i=k+1
[x
i
[
p
<
p
.
Para ver que
nao e separavel considere o conjunto o das seq uencias

constitudas apenas por zeros e uns. A cada subconjunto A de N associamos
a seq uencia x
n
de o tal que x
n
= 1 se n A e x
n
= 0 caso contrario.
Desta forma o esta em correspondencia biunvoca com as partes de N e
portanto o e um conjunto nao enumeravel. Como cada elemento de o dista,
em
, exatamente umde qualquer outro elemento de o, nao pode haver

um subconjunto enumer avel denso em
.
A prova que C[a, b] e separavel depende do Teorema de Aproximac ao de
Weierstrass
2.7. ESPAC OS M
ETRICOS SEPAR
AVEIS 31
Teorema 2.7.1 (Weierstrass). Se f C[a, b] e > 0 existe p um polinomio
real em uma variavel real tal que |p f|
= sup
x[a,b]
[f(x) p(x)[ < .
Prova: Faremos apenas a prova para a = 0 e b = 1. Seja f C[0, 1] e
B
n
(x) =
n
k=0
_
n
k
_
x
k
(1 x)
nk
f
_
k
n
_
os polinomios de Bernstein associados a f. Note que se f 1 ent ao
n
k=0
_
n
k
_
x
k
(1 x)
nk
= [x + (1 x)]
n
= 1 (2.5)
cuja derivada nos da
n
k=0
_
n
k
_
[kx
k1
(1 x)
nk
(n k)x
k
(1 x)
nk1
]
=
n
k=0
_
n
k
_
x
k1
(1 x)
nk1
(k nx) = 0.
Multiplicando por x(1 x) obtemos que
n
k=0
_
n
k
_
x
k
(1 x)
nk
(k nx) = 0.
Derivando esta ultima expressao, aplicando (2.5) e multiplicando por
x(1x)
n
2
obtemos que
n
k=0
_
n
k
_
x
k
(1 x)
nk
(x
k
n
)
2
=
x(1 x)
n
. (2.6)
E claro que
[f(x) B
n
(x)[
n
k=0
_
n
k
_
x
k
(1 x)
nk
[f(x) f
_
k
n
_
[.
32 CAP
ITULO 2. ESPAC OS M
ETRICOS
Como f e uniformemente contnua em [0, 1], podemos encontrar > 0 tal
que [x
k
n
[ < [f(x) f(
k
n
)[ < /2. Agora separamos a soma do lado
direito em duas partes, denotadas por e
/
, onde e a soma daqueles
termos para os quais [x
k
n
[ < (x esta xo mas e arbitrario) e
/
e a
soma sobre os termos remanescentes.

E claro que < /2. Completamos a
prova mostrando que para n sucientemente grande
/
pode ser feito menor
que /2 independentemente de x. Como f e limitada existe K > 0 tal que
sup
x[0,1]
[f(x)[ K e segue que
/
2K
1kn
[x
k
n
[
_
n
k
_
x
k
(1 x)
nk
= 2K
//
.
Segue de (2.6) que
//
x(1 x)
n

1
4n
0 quando n .
Isto prova o resultado.
Corolario 2.7.1. C[a, b] e separavel.
Seja (X, ) um espaco metrico compacto e C(X) os espaco das funcoes
contnuas de X em R com a metrica usual
(f, g) = max
xX
[f(x) g(x)[.
Em C(X) denimos a soma f + g e multiplicacao f.g de duas funcoes alem
da multiplicacao af de um escalar a por uma func ao f de forma usual. Um
conjunto A C(X) e dito uma algebra se f, g A, a R implica f +g A,
f.g A e af A.
Exemplo: O conjunto dos polinomios trigonometricos e uma algebra em
C[a, b].
Se E C(X) a intersec ao de todas as algebras contendo E e uma algebra,
denotada por A(E), chamada algebra gerada por E.
2.7. ESPAC OS M
ETRICOS SEPAR
AVEIS 33
Exemplo: Os polinomios reais em uma vari avel real sao gerados por 1, x.
E facil vericar que se A C(X) e uma algebra entao A
tambem e uma
algebra.
Teorema 2.7.2 (Stone -Weierstrass Real). Seja X um espaco metrico com-
pacto e A C(X) uma algebra fechada tal que 1 A e se x, y X, x ,= y,
existe f A tal que f(x) ,= f(y). Entao, A = C(X).
Prova: Mostremos primeiramente que se f A entao [f[ A. Se M > 0
e tal que max
xX
[f(x)[ M, seja > 0 e p(t) = a
0
+ a
1
t + + a
n
t
n
um
polinomio tal que
[[t[ p(t)[ < , t [M, M].
Entao, se p(f) = a
0
+a
1
f +a
2
f
2
+ +a
n
f
n
, p(f) A e
[[f(x)[ p(f(x))[ < , x X.
Segue do fato que A e fechada em C(X) que [f[ A. A seguir mostremos
que se f, g A ent ao maxf, g A e minf, g A. Isto segue do fato que
minf, g =
1
2
(f +g)
1
2
[f g[ A e
maxf, g =
1
2
(f +g) +
1
2
[f g[ A.
Seja x, y X com x ,= y e f C(X). A func ao constante g com valor
f(x) esta em A (aqui usamos que 1 A). Seja h A tal que h(x) ,= h(y).
Sem perda de generalidade assumimos h(x) = 0 (aqui usamos novamente que
1 A). Existe a R tal que
f
xy
= f +ah A
satisfaz f
xy
(x) = f(x) e f
xy
(y) = f(y). Seja > 0, para cada y X existe
uma bola aberta B
y
tal que y B
y
e f
xy
(z) < f(z) + , z B
y
. Como
X e compacto temos que B
y
1
, . . . , B
y
n
cobrem X para alguma escolha de
y
1
, . . . , y
n
. Seja
f
x
= minf
xy
1
, . . . , f
xy
n
.
34 CAP
ITULO 2. ESPAC OS M
ETRICOS
Entao f
x
A, f
x
(x) = f(x) e para z X, f
x
(z) < f(z) + . Agora, para
x X, existe uma bola aberta B
x
tal que, z B
x
f
x
(z) > f(z) .
Como X e compacto, um n umero nito dessas bolas B
x
1
, . . . , B
x
n
cobrem X.
Seja
F = maxf
x
1
, . . . , f
x
n
.
Entao F A e z X,
[f(z) F(z)[ <
o que prova o teorema.
Quarta Aula (100 minutos)
2.7. ESPAC OS M
ETRICOS SEPAR
AVEIS 35
Quinta Aula (100 minutos)
Teorema 2.7.3 (Stone -Weierstrass Complexo). Seja X um espaco metrico
compacto e A C(X, C) uma algebra fechada tal que 1 A, se x, y X,
x ,= y, existe f A tal que f(x) ,= f(y) e se

f A sempre que f A.
Entao, A = C(X, C)
Prova: Como, para toda f A, as funcoes
Ref =
1
2
(f +

f) e Imf =
1
2i
(f

f)
pertencem a A, o subconjunto A
0
de A das func oes contnuas em K a valores
reais e C(K, R). O restante da prova e imediata.
Corolario 2.7.2. Toda funcao contnua a valores reais ou complexos denida
em um conjunto compacto K de R
n
e limite uniforme de uma seq uencia de
polinomios em n variaveis reais.
Corolario 2.7.3. Se B = x R
n
: |x| 1, dada uma funcao contnua
f : B B e > 0 existe p : B B (p = (p
1
, . . . , p
n
), p
i
, 1 i n,
polinomios) tal que sup
xB
|f(x) p(x)| < .
Prova: Sabemos que, dado > 0,
|(1

2
)f(x)| 1

2
, x B.
Segue do Corolario 2.7.2 que existem polinomios p
i
, 1 i n, tais que
[p
i
(x) (1

2
)f
i
(x)[
2

2
4n
, x B.
Se p = (p
1
, . . . , p
n
) temos que sup
xB
|p(x) (1

2
)f(x)|

2
. Segue que
|p(x)| |p(x) (1

2
)f(x)| +|(1

2
)f(x)|

2
+ (1

2
) = 1, x B
e
|p(x) f(x)| |p(x) (1

2
)f(x)| +|(1

2
)f(x) f(x)|

2
+

2
= .
36 CAP
ITULO 2. ESPAC OS M
ETRICOS
2.8 Categoria de Baire
Se (X, ) e um espaco metrico, recorde que um conjunto A X e nunca denso
se o seu fecho tem interior vazio. A uniao de um n umero nito de conjuntos
nunca densos e um conjunto nunca denso. Contudo, a uniao enumer avel de
conjuntos nunca denso nao precisa ser nunca denso.
Um conjunto A X e dito de Primeira Categoria em X se e uniao enu-
meravel de conjuntos nunca densos, caso contr ario ele e dito de Segunda
Categoria em X.

E uma conseq uencia imediata desta denic ao que
Proposicao 2.8.1. (X, ) e de segunda categoria nele mesmo se e so se, em
qualquer representacao de X como uniao enumeravel de conjuntos fechados,
pelo menos um deles contem uma bola.
Teorema 2.8.1 (Baire). Todo espaco metrico completo e de segunda catego-
ria nele mesmo.
Prova: Suponha que nao
X =
i=1
F
i
com cada F
i
fechado e de interior vazio. Entao XF
1
e nao vazio e aberto.
Seja x
1
e 0 <
1
< 1 tal que x
1
XF
1
e B
1
(x
1
) F
1
= . A bola B
1
2
(x
1
)
nao esta contida em F
2
, logo existe x
2
B
1
2
(x
1
) e
2
<
1
2
tal que
B
2
(x
2
) F
2
= e B
2
(x
2
) B
1
2
(x
1
),
indutivamente existe x
n
,
n
<
1
2
n1
tais que x
n
B
n1
2
(x
n1
)
B
n
(x
n
) F
n
= e B
n
(x
n
) B
n1
2
(x
n1
).
A seq uencia x
n
e de Cauchy pois x
n+k
B
n
2
(x
n
) para k = 1, 2, . . . e
n
0
quando n . Como X e completo x
n
e convergente. Seja x o seu limite.
Para cada n xo x B
n
(x
n
) pois x
n+k
B
n
2
(x
n
) para k = 1, 2, . . . . Logo
x /
n=1
F
n
= X o que e uma contradi cao.
2.9. AP
ENDICE A: TEOREMA DE BROUWER 37

2.9 Apendice A: Teorema de Brouwer
Em R
n
considere a norma euclideana e B = B
1
(0)
.
Teorema 2.9.1 (Brouwer). Se f : B B e uma funcao contnua, ela tem
um ponto xo.
Prova: Seja f innitamente diferenciavel em um aberto U contendo B e
f(x) ,= x para todo x B. Ent ao, para cada x B a reta tf(x) + (1 t)x
unindo x a f(x) corta S
n1
= x R
n
: |x| = 1 em exatamente 2 pontos.
Isto signica que
(|x|
2
1) + 2tx, f(x) x) +t
2
|f(x) x|
2
= 0
tem exatamente duas razes reais distintas. Se a(x) denota a menor delas;
temos
|f(x) x|
2
a(x) = x, x f(x))
_
x, x f(x))
2
+ (1 |x|
2
)|x f(x)|
2
_1
2
e o discriminante x, x f(x))
2
+(1 |x|
2
)|x f(x)|
2
e positivo para todo
x B. Segue que a(x) e innitamente diferenciavel em um aberto contendo
B. Alem disso, como para t [0, 1] tf(x) + (1 t)x esta entre x e f(x),
a(x) = 1 para |x| = 1.
Denimos, para t R,
t
: B B por
t
(x) = x +ta(x)(f(x) x).
Logo (t, x)
t
(x) e innitamente diferenciavel em uma vizinhanca de RB,
0
(x) = x para todo x B e |
1
(x)| = 1 para todo x B (da denicao de
a(x)).
Denotemos por J(t, x) o Jacobiano de
t
no ponto x. Segue que J(0, x) = 1
e J(1, x) = 0 para todo x B e se
I(t) =
_
B
J(t, x)dx
1
. . . dx
n
,
temos que I(0) = [B[ e I(1) = 0. Se provarmos que I(t) e constante teremos
a contradic ao desejada. Note que I(t) e um polinomio em t (pois J(t, x) e
38 CAP
ITULO 2. ESPAC OS M
ETRICOS
um polinomio em t) e portanto basta vericar que I(t) e constante em algum
intervalo da forma [0, ).
Dena
g(x) =
_
a(x)(f(x) x), se x B
0, se x R
n
B.
E facil ver que g : R

n
R
n
e globalmente Lipschitz contnua. Seja M a
constante de Lipschitz de g. Para t R e y B denimos T : R
n
R
n
por
T(x) = y tg(x).

E facil ver que para <
1
M
e t [0, ), T e uma contra cao
e portanto tem um unico ponto xo x
t
. Nao podemos ter |x
t
| > 1 pois nesse
caso g(x
t
) = 0 e Tx
t
= x
t
= y tg(x
t
) = y B o que e um absurdo. Assim,
para todo t [0, ),
t
: B B e uma bijecao cuja inversa e diferenciavel em
B
o
. Segue do Teorema de Mudanca de Variaveis na Integral que I(t) = [B[
para todo t [0, ).
Para mostrar o teorema quando f e apenas contnua basta utilizar o Coro-
lario 2.7.3 para representar f como limite uniforme de func oes innitamente
diferenciaveis f
k
de B em B e extrair uma subseq uencia convergente do
conjunto dos pontos xos x
k
das func oes f
k
.
2.10. LISTA DE EXERC
ICIOS 39
2.10 Lista de Exerccios
1. Sejam p, q 1 tais que
1
p
+
1
q
= 1 (se p = 1 (q = 1) ent ao q = (p = )).
Para x = (x
1
, , x
n
), y = (y
1
, , y
n
) R
n
dena | |
p
: R
n
[0, )
|x|
p
=
_
n
i=1
[x
i
[
p
_1
p
, 1 p < ,
|x|
= max[x
i
[ : 1 i n
e
p
(, ) : R
n
R
n
[0, )
p
(x, y) = |x y|
p
.
(a) Mostre a desigualdade de Young; isto e, que para todo a, b [0, )
a
1
p
b
1
q
a
p
+
b
q
.
Sugestao: Mostre que para a > 0 e b > 0 esta desigualdade e equi-
valente à
1
p
_
a
b
_
+
1
q

_
a
b
_1
p
0
e mostre que a funcao f(t) =
1
p
t +
1
q
t
1
p
, t 0 atinge o seu valor
mnimo em t = 1.
(b) Mostre a desigualdade de Holder; isto e, que para todo x, y R
n
,
n
i=1
[x
i
y
i
[ |x|
p
|y|
q
.
Sugestao: Use a desigualdade de Young para a =
[x
j
[
p
|x|
p
p
e b =
[y
j
[
q
|y|
q
q
e
some.
(c) Mostre a desigualdade de Minkowski; isto e, que para todo x, y R
n
,
|x +y|
p
|x|
p
+|y|
p
.
40 CAP
ITULO 2. ESPAC OS M
ETRICOS
Sugestao: Use a desigualdade de Holder para
([x
1
[, . . . , [x
n
[) e ([x
1
+y
1
[
p1
, . . . , [x
n
+y
n
[
p1
)
e para
([y
1
[, . . . , [y
n
[) e ([x
1
+y
1
[
p1
, . . . , [x
n
+y
n
[
p1
).
(d) Mostre que | |
p
e uma norma e conclua que
p
e uma metrica em
R
n
.
(e) Mostre que |x|
= lim
p
|x|
p
.
2. Para 1 p , mostre que | |
p
e uma norma em
p
e conclua que
p
:
p

p
[0, ) dada por
p
(x, y) = |x y|
p
, x, y
p
, e uma
metrica.
3. Sejam (X, ) e (Y, ) espacos metricos. Mostre que:
B
r
(x), x X, r > 0, e um conjunto aberto em (X, ).
A uniao (intersecao) qualquer de conjuntos abertos (fechados) em
(X, ) e um conjunto aberto (fechado) em (X, ).
A interse cao (uniao) nita de conjuntos abertos (fechados) em (X, )
e um conjunto aberto (fechado) em (X, ).
Se E X entao diamE = diamE
.
f : (X, ) (Y, ) e contnua se e somente se todo F Y fechado
tem imagem inversa f
1
(F) X fechada.
f : (X, ) (Y, ) e contnua se e somente se para toda seq uencia
convergente x
n
em (X, ) com limite x a seq uencia f(x
n
) e
convergente em (Y, ) com limite f(x).
4. Mostre que se (X, ) e um espaco metrico compacto e f : X R e
contua ent ao f e uniformemente contnua.
2.10. LISTA DE EXERC
ICIOS 41
5. Sejam a, b n umeros reais com a < b e C[a, b] o conjunto de todas as
funcoes contnuas de [a, b] em R e : C[a, b] C[a, b] [0, ) dada por
(x, y) = max
atb
[x(t) y(t)[.
Mostre que e uma metrica e que C[a, b] e completo com esta metrica.
6. Sejam a, b n umeros reais com a < b e I[a, b] o conjunto de todas as
funcoes Riemann Integraveis de [a, b] em R e : I[a, b] I[a, b] [0, )
dada por
(x, y) =
_
b
a
[x(t) y(t)[dt.
Mostre que nao e uma metrica em I[a, b] mas e uma metrica em
C[a, b] I[a, b] e que C[a, b] nao e completo com esta metrica.
7. Mostre que (X, ) e completo se e somente se toda seq uencia B
k
de
bolas fechadas com B
n+1
B
n
e lim
n
r
n
= 0 (r
n
=raio de B
n
), a
intersec ao
n=1
B
n
consiste exatamente de um ponto.
8. De um exemplo de conjunto limitado que nao e totalmente limitado.
9. Seja (X, ) um espaco metrico completo e T : X X uma trans-
formacao. Assuma que, para algum n
0
N, T
n
0
e uma contrac ao e
mostre que T tem um unico ponto xo.
10. Complete a prova do Teorema de Peano.
11. Seja (X, ) um espaco metrico. Dizemos que X e de Lindelof se toda
cobertura aberta de X possui uma subcobertura enumer avel. Mostre
que todo espaco metrico separavel e de Lindelof.
12. Mostre que todo espaco metrico totalmente limitado e separavel.
13. Complete a prova do Teorema de Aproximac ao de Weierstrass.
14. Mostre que C[0, 1] e separavel.
42 CAP
ITULO 2. ESPAC OS M
ETRICOS
15. Mostre que o conjunto dos polinomios trigonometricos e uma algebra e
que seu fecho e C[0, 2].
16. Mostre que se A e uma algebra em C(X) entao A
e uma algebra.
17. Mostre que se f C[a, b] e tal que
_
b
a
f(t)t
n
dt = 0, n = 0, 1, 2, . . .
entao f(t) = 0, t [a, b].
18. Mostre que se f C[0, 1] e tal que
_
1
0
f(t)t
2n
dt = 0, n = 0, 1, 2, . . .
entao f(t) = 0, t [0, 1]. Isto vale em C[1, 1]]?
19. Use o Teorema de Baire para mostrar a existencia de uma func ao cont-
nua, denida em um intervalo [a, b], que nao e diferenciavel em nenhum
ponto de [a, b].
20. Mostre que C
1
[a, b] esta compactamente imerso em C[a, b].
Captulo 3
Espacos Vetoriais Normados
3.1 Espacos Vetoriais Normados
Seja K o corpo dos n umeros reais R ou o corpo dos n umeros complexos C
e X um espaco vetorial sobre K. Se M, N sao subespacos vetoriais de X
(escrevemos M, N

sev
X) denimos a soma de M e N por
M +N := x +y : x M, y N.
Denicao 3.1.1. Uma seminorma e uma funcao | | : X [0, ) tal que
|x +y| |x| +|y|, x, y X
|x| [[|x|, K, x X.
E claro que |0| = 0, e se

|x| = 0 x = 0,
dizemos que | | e uma norma e que X e um espaco vetorial normado.
Se X e um espaco vetorial normado, entao : X X [0, ), denida
por (x, y) = |xy|, e uma metrica em X. Um espaco vetorial normado que
e completo com a metrica induzida pela norma e dito um espaco de Banach.
Todo espaco vetorial normado pode ser imerso em um espaco de Banach.
Este fato ja foi visto para espacos metricos na Sec ao 2.4. Mais tarde daremos
uma outra prova desse fato.
43
44 CAP
ITULO 3. ESPAC OS VETORIAIS NORMADOS

Duas normas em X, | |
1
e | |
2
sao equivalentes se existem c
1
e c
2
tal
que
c
1
|x|
1
|x|
2
c
2
|x|
1
x X.
Uma serie
n=1
x
n
e dita convergente em X se
N
1
x
n
x quando N
e absolutamente convergente se
1
|x
n
| e convergente.
Teorema 3.1.1. Um espaco vetorial normado e completo toda serie ab-
solutamente convergente e convergente.
Prova: Se X e um espaco de Banach e
n=1
|x
n
| < e facil ver que
n
k=1
x
k
e uma seq uencia de Cauchy e portanto convergente.
Por outro lado, se X e um espaco vetorial normado X onde toda serie
absolutamente convergente e convergente e x
n
e uma seq uencia de Cauchy
entao, existem n
1
< n
2
< em N tais que
|x
n
x
m
| 2
j
n, m n
j
escolhemos y
1
= x
n
1
, y
j
= x
n
j
x
n
j1
, j 2. Logo
k
j=1
y
j
= x
n
k
e
k
j=1
|y
j
| |y
1
| +
k
1
2
j
< |y
1
| + 1 < .
Isto implica que x
n
k
e convergente e portanto x
n
e convergente.
Denicao 3.1.2. T : X Y linear entre dois espacos vetoriais normados e
limitada se c 0 tal que |Tx|
Y
c|x|
X
, X.
Proposicao 3.1.1. Se X, Y sao espacos vetoriais normados T : X Y e
linear, sao equivalentes:
1. T e contnua,
2. T e continua em 0,
3.1. ESPAC OS VETORIAIS NORMADOS 45
3. T e limitada.
Prova:
a b

E evidente.
b c Dado = 1 existe > 0 tal que T([B
(0)]
) T(B
2
(0)) y
Y : |y| < 1. Como |Tx| 1 quando |x| temos que |T
x
|x|
| 1 para
0 ,= x X. Segue que |Tx|
1
|x| para todo x X.
c a Se existe c > 0 tal que, x, y X, |Tx Ty| c|x y| e > 0
e dado, escolhemos =

c
. Ent ao |x y| < implica |Tx Ty| < c
c
= .
L(X, Y ) denota o conjunto das transformacoes lineares e contnuas de X

em Y . L(X, Y ) e um espaco vetorial normado com norma
|T|: = infc 0 : |Tx| c|x|, x X
= sup
|x|X
x,=0
|Tx|
|x|
= sup
|x|=1
|Tx|
(3.1)
Proposicao 3.1.2. Se Y e completo entao L(X, Y ) e completo.
Prova: Seja T
n
uma seq uencia de Cauchy em L(X, Y ). Entao T
n
x e de
Cauchy em Y . Dena Tx = lim
n
T
n
x.
E claro que T e linear e que

|Tx| = lim
n
|T
n
x| limsup
n1
|T
n
| |x|.
Logo T L(X, Y ). Alem disso, dado > 0, existe N N tal que |T
n
T
m
| <
para todo m, n > N e
|T
n
x T
m
x| = |T
n
T
m
| |x| < |x| m, n N e x X
Logo
|T
n
x Tx| |x| n N e x X.
46 CAP

Portanto |T
n
T| para todo n N e T
n
T.
Tambem e verdade que se L(X, Y ) e completo entao Y e completo. Veja
[3]
Se T L(X, Y ) e S L(Y, Z) entao ST L(X, Z) e |ST| |S| |T|.
T L(X, Y ) e inversvel ou um isomorsmo se T e bijetora e T
1
L(Y, X), isto e, |Tx|

Y
c|x|
X
para algum c > 0. T e uma isometria se
|Tx|
Y
= |x|
X
x X .
Quinta Aula (100 minutos)
3.2. O TEOREMA DE HAHN-BANACH 47
Sexta Aula (100 minutos)
3.2 O Teorema de Hahn-Banach
Seja X um espaco vetorial sobre K.
Uma funcao linear f : X K e chamada um funcional linear.
Se X e um espaco vetorial normado L(X, K) e um espaco de Banach
que e chamado espaco dual de X e denotado por X
.
Se X e um espaco vetorial sobre C ele tambem e um espaco vetorial sobre
R. Assim, podemos considerar funcionais lineares reais f : X R ou
complexos f : X C.
Proposicao 3.2.1. Seja X um espaco vetorial sobre C. Se f : X C e
um funcional linear e u = Re f entao u e um funcional linear real e f(x) =
u(x) iu(ix) para todo x X. Reciprocamente se u : X R e um funcional
linear real e f : X C e denido por f(x) = u(x) iu(ix), entao f e um
funcional linear complexo. Se X e normado, f e limitado se e somente se u
e limitado e neste caso |f| = |u|.
Prova: Se f : X C e linear ent ao u = Re f e linear e Im f(x) =
Re if(x) = Re f(ix) = u(ix). Por outro lado se u e um funcional linear
real f(x) = u(x) iu(ix) e claramente linear.
Se X e normado e f e limitado [u(x)[ = [Re f(x)[ [f(x)[. Portanto,
u e limitado e |u| |f|. Por outro lado, se u e limitado, [f(x)[ =
e
arg(f(x))
. .
f(x) = f(x) = u(x) R, logo

[f(x)[ |u||x| = |u||x|
e f e limitado com |f| |u|. Em ambos os casos |f| = |u|.
Se X e normado, um funcional sublinear e uma func ao p : X R tal que
p(x +y) p(x) +p(y) e p(x) = p(x) x, y X e 0.
48 CAP

Teorema 3.2.1 (Hahn-Banach). Seja X um espaco vetorial real, p um fun-
cional sublinear em X, M

sev
X e f um funcional linear em M tal que f(x)
p(x) para todo x M. Entao existe um funcional linear F em X tal que
F(x) p(x) para todo x X e F
[
M
= f.
Prova: Comecamos mostrando que se x XM, podemos estender f a um
funcional linear g denido sobre M+Rx e satisfazendo g(y) p(y) para todo
y M +Rx. Se y
1
, y
2
M temos
f(y
1
) +f(y
2
) = f(y
1
+y
2
) p(y
1
+y
2
) p(y
1
x) +p(x +y
2
)
ou
f(y
1
) p(y
1
x) p(x +y
2
) f(y
2
).
Logo
r
1
= supf(y) p(y x) : y M infp(x +y) f(y) , y M = r
2
.
Seja tal que r
1
r
2
e dena g : M + Rx R por g(y + x) =
f(y) + .

E claro que g e linear e que g
[
M
= f, o que implica g(y) p(y)
para todo y M. Adicionalmente se > 0 e y M.
g(y +x) = [f(y/) +] [f(y/) +p(x + (y/)) f(y/)] = p(y +x)
enquanto se = < 0
g(y +x) = [f(y/) ] [f(y/) f(y/) +p(y/ x)] = p(y +x).
Portanto g(z) p(z) para todo z M +Rx.
Isto mostra que o domnio de uma extensao linear maximal de f satis-
fazendo f p deve ser o espaco todo.
Seja T a famlia de todas as extensoes lineares de f satisfazendo f
p e parcialmente ordenado pela inclusao nos gracos. Como um conjunto
linearmente ordenado de extensoes tem a uniao como limitante superior segue
do lema de Zorn que T tem um elemento maximal.
Se p e uma seminorma e f : X R, a desigualdade f p e equivalente
a [f[ p pois [f(x)[ = f(x) = f(x) < p(x) = p(x).
3.2. O TEOREMA DE HAHN-BANACH 49
Teorema 3.2.2 (Hahn-Banach Complexo). Seja X um espaco vetorial com-
plexo, p uma seminorma em X, M um subespaco vetorial de X e f : M C
linear com [f(x)[ p(x) para x M. Entao existe F : X C linear tal que
[F(x)[ p(x) para todo x X e F
[
M
= f.
Prova: Seja u = Re f. Pelo Teorema anterior existe uma extensao linear U
de u a X tal que [U(x)[ p(x) para todo x X. Seja F(x) = U(x) iU(ix).
Entao F e uma extensao linear complexa de f. Para cada x X, se =
e
iarg(F(x))
, temos que [F(x)[ = F(x) = F(x) = U(x) p(x) = p(x).
Corolario 3.2.1. Seja X um espaco vetorial sobre um corpo K, M um sube-
spaco vetorial de X f : M K um funcional linear com
|f|
M
:= sup [f(x)[ : x M e |x| 1 < .
Entao existe

f X
tal que

f
M
= f e |
f|
X
= |f|
M
.
Prova: Basta aplicar o Teorema de Hahn-Banach (Teorema 3.2.2) com
p(x) = |f|
M
|x|.
Teorema 3.2.3. Seja X um espaco vetorial normado.
a. Se M

sev
X e fechado e x X M existe f X
tal que f(x) ,= 0,

f
[
M
= 0. De fato, se = inf
yM
|x y|, f pode ser tomada tal que
|f| = 1 e f(x) = .
b. Se x ,= 0 f X
tal que |f| = 1 e f(x) = |x|.

c. Os funcionais lineares limitados em X separam pontos.
d. Se x X dena x : X
C por
x(f) = f(x), f X
.
Entao a transformacao x
T
x e uma isometria linear de X em X
.
Prova:
50 CAP

a) Dena f em M + Cx por f(y + x) = , (y M e C). Entao
f(x) = , f
[
M
= 0 e, para ,= 0,
[f(y +x)[ = [[ [[ |
1
y +x| = |y +x|.
O resultado agora segue do Teorema de Hahn Banach com p(x) = |x|
e M substitudo por M +Cx.
b)

E um caso especial de a) com M = 0.
c) Se x ,= y existe f X
com f(x y) ,= 0 isto e f(x) ,= f(y).

d) x e claramemente linear de X
em K. A transformacao x
T
x e linear,
pois T(x + y)(f) = (

x +y)(f) = f(x + y) = f(x) + f(y) =
x(f) + x(f) = T(x)(f) + T(y)(f), para toda f X
. Note que
[ x(f)[ = [f(x)[ |f| |x| | x| |x|.
Por outro lado de b) existe f x
tal que f(x) = |x|, |f| = 1 e isto

implica que [ x(f)[ = f(x) = |x| e | x| |x|.
Seja

X = x : x X. Como X
e Banach [

X]
e Banach e x X
x

X e uma imersao densa de X em [

X]
. [

X]
e chamado completamento
de X. Em particular se X e Banach [

X]
=

X.
Se dimX e nita entao

X = X
pois estes espacos tem a mesma dimensao.

Para dimensao innita nem sempre

X = X
e quando este e o caso X e

dito reexivo.
Geralmente identicamos X com

X e consideramos X como um subespaco
de X
. Com isto, reexividade passa entao a ser entendida como X = X
.
Sexta Aula (100 minutos)
3.3. CONSEQ
ENCIAS DO TEOREMA DE CATEGORIA 51

Setima Aula (100 minutos)
3.3 Conseq uencias do Teorema de Categoria
Sejam X, Y espacos vetoriais normados e T : X Y uma transformac ao
linear. Dizemos que T e uma aplicacao aberta se T(U) e um subconjunto
aberto de Y sempre que U e um subconjunto aberto de X.
Se Z e um espaco vetorial normado denotaremos o conjunto z Z :
|z z
0
| < r por B
Z
r
(z
0
) (ou simplesmente B
r
(z
0
) quando nao houver pos-
sibilidade de confusao) .
Teorema 3.3.1 (Aplicacao Aberta). Sejam X e Y espacos de Banach. Se
T L(X, Y ) e sobrejetora, entao T e aberta.
Para provar o Teorema da Aplicacao Aberta precisamos dos dois lemas
seguintes:
Lema 3.3.1. Sejam X, Y espacos vetoriais normados e T : X Y uma
transformacao linear entao, sao equivalentes:
a) T e uma aplicacao aberta;
b) Existe r > 0 tal que T(B
X
1
(0)) B
Y
r
(0).
Prova:

E claro que a b. Mostremos que b a. Basta mostrar que Tx e
interior a T(U) para todo x U. Se x U, como U e aberto, existe p > 0
tal que B
X
p
(x) U e
T(U) T(B
X
p
(x)) = T(x +pB
X
1
(0)) = Tx +pT(B
X
1
(0))
Tx +B
Y
r
(0) = B
Y
r
(Tx)
mostrando Tx e interior a T(U).
52 CAP

Lema 3.3.2. Se X, Y sao espacos de Banach e T L(X, Y ) e tal que, para
algum r > 0,
B
Y
r
(0) [T(B
X
1
(0))]
entao,
B
Y
r
2
(0) T(B
X
1
(0)).
Prova: Como T comuta com homotetias segue que se |y| < r2
n
ent ao
y [T(B
X
2
n
(0))]
. Suponha que |y| <

r
2
; podemos encontrar x
1
B
X
1
2
(0)
tal que |y Tx
1
| <
r
4
e procedendo indutivamente podemos encontrar x
n

B
X
2
n
(0) tal que |y
n
j=1
Tx
j
| < r2
n1
. Como X e completo a serie
x
n
converge, digamos para x, mas ent ao |x| <
n=1
2
n
= 1 e y = Tx. Em
outras palavras T(B
X
1
(0)) y, para todo |y| <
r
2
.
Prova do Teorema da Aplicacao Aberta: Como X =
_
n=1
B
X
n
(0) e T
e sobre temos que Y =
_
n=1
T(B
X
n
(0)) mas Y e completo e y ny e um
homeomorsmo de Y nele mesmo que leva B
X
1
(0) em B
X
n
(0). Do teorema
de Baire T(B
X
1
(0)) nao pode ser nunca denso. Isto e, existe y
0
Y e r > 0
tal que B
Y
4r
(y
0
) esta contido em [T(B
X
1
(0))]
. Tome y
1
= Tx
1
T(B
X
1
(0))
tal que |y
1
y
0
| < 2r. Ent ao B
Y
2r
(y
1
) B
Y
4r
(y
0
) [T(B
X
1
(0))]
, logo se
|y| < 2r
y = Tx
1
+y y
1
T(B
X
1
(0)) + [T(B
X
1
(0))]
2[T(B
X
2
(0))]
.
Dividindo ambos os lados por 2 conclumos que r > 0 tal que se |y| < r
entao y [T(B
X
1
(0))]
. O resultado agora segue dos Lemas anteriores.

Corolario 3.3.1. Se X e Y sao espacos de Banach e T L(X, Y ) e bijetora,
ent ao T e um isomorsmo; isto e, T
1
L(Y, X).
Seja T : D(T) XY uma transformacao linear (e claro que D(T)

sev
X).
Denimos o graco de T por
G(T) := (x, Tx) : x D(T) X Y
3.3. CONSEQ
ENCIAS DO TEOREMA DE CATEGORIA 53

Uma transformac ao linear T : D(T) X Y e fechada se [G(T)]
= G(T).
Toda transformacao linear contnua T e fechada.
Teorema 3.3.2 (Graco Fechado). Se X e Y sao espacos de Banach e T :
X Y e fechada entao T e limitada.
Prova: Sejam
1
e
2
as projecoes de G(T) em X e Y , isto e,
1
(x, T
x
) = x
e
2
(x, T
x
) = Tx. Obviamente
1
L(G(T), X) e
2
L(G(T), Y ). Como
X e Y sao completos X Y e completo e portanto G(T) e completo (pois e
fechado, veja Proposic ao 2.2.1).
1
e uma bijec ao de G(T) em X e portanto
1
1
e limitado. Entao T =
2

1
1
e limitado.
Teorema 3.3.3 (Princpio da Limitac ao Uniforme). Sejam X e Y espacos
vetoriais normados e A L(X, Y )
a) Se sup
TA
|Tx| < para x em subconjunto de segunda categoria, entao
sup
TA
|T| < .
b) Se X e um espaco de Banach e sup
TA
|Tx| < para todo x X,
entao sup
TA
|T| < .
Prova: Basta provar a) que b) segue do Teorema de Categoria de Baire. Seja
E
n
= x X : sup
TA
|Tx| n =
TA
x X : |Tx| n.
Entao, os E
n
s sao fechados e como a uniao
_
n1
E
n
contem um conjunto de
segunda categoria devemos ter que algum E
n
contem uma bola nao trivial
[B
r
(x
0
)]
, r > 0. Entao E
2n
[B
r
(0)]
pois sempre que |x| r temos que

x +x
0
[B
r
(x
0
)]
E
n
e
|Tx| = |T(x x
0
)| +|Tx
0
| n +n = 2n, T A.
Logo |Tx| 2n sempre que |x| r e para todo T A de onde segue que
|T|
2n
r
T A.
54 CAP

Corolario 3.3.2. Se X, Y sao espacos vetoriais normados e T
n
L(X, Y )
e tal que T
n
x converge para cada x X e T : X Y e denida por
Tx = lim
n
T
n
x, entao T L(X, Y ) e |T| liminf |T
n
| .
Corolario 3.3.3. Se X e um espaco de Banach e B X, suponha que
f X
f(B) =
bB
f(b) e limitado. Entao B e limitado
Prova: Dena

b : X
K por
b(f) = f(b).
Entao para cada f X
sup
bB
[
b(f)[ = sup
bB
[f(b)[ <
segue do Princpio da Limitacao Uniforme e do Teorema 3.2.3 d) que
sup
bB
|
b| = sup
bB
|b| < .
Corolario 3.3.4. Seja X um espaco de Banach e B
. Suponhamos que
x X o conjunto B
(x) =
f(x) e limitado. Entao B
e limitado.
Prova: Por hipotese [b
(x)[ c
x
para todo b
. Segue do Princpio da
Limitacao Uniforme que sup
b
B
|b
| < .
Setima Aula (100 minutos)
3.4. ESPAC OS DE HILBERT 55
Oitava Aula (100 minutos)
3.4 Espacos de Hilbert
Seja H um espaco vetorial sobre K. Um produto escalar e uma func ao , ) :
H H K tal que
u, v) = v, u) para todo u, v H.
au +bu
/
, v) = au, v) +bu
/
, v) para todo u, u
/
, v H, a, b K.
u, u) 0 e u, u) = 0 se e somente se u = 0.
Segue facilmente dessas propriedades que u, av+bv
/
) = au, v)+
bu, v
/
) para
todo u, v, v
/
H, a, b K. Vale a desigualdade de Cauchy-Schwarz
[u, v)[ u, u)
1
2
v, v)
1
2
.
De fato, para t R,
0 u +tv
/
, u +tv
/
) = u, u) + 2tReu, v
/
) +t
2
v
/
, v
/
).
Como a expressao do lado direito e uma funcao quadratica de t com uma ou
nenhuma raiz real
0 4(Reu, v
/
))
2
4u, u)v
/
, v
/
),
e se v
/
= e
iargu,v)
v temos que
0 4[u, v)[
2
4u, u)v, v),
a desigualdade segue.
A func ao | | : H R denida por |u| = u, u)
1
2
e uma norma. Para
vericar este fato basta mostrar que |u+v| |u| +|v| para toto u, v H.
Isto segue da Desigualdade de Cauchy-Schwarz e de
|u +v|
2
= |u|
2
+ 2Reu, v) +|v
2
| |u|
2
+ 2[u, v)[ +|v
2
|
|u|
2
+ 2|u| |v| +|v|
2
.
56 CAP

Um espaco vetorial H juntamente com um produto interno e dito um
espaco com produto interno. Em um espacos com produto interno vale a
identidade do paralelogramo
|u +v|
2
+|u v|
2
= 2(|u|
2
+|v|
2
), u, v H.
Se um espaco com produto interno H e completo dizemos que H e um espaco
de Hilbert. Dois vetores u, v em um espaco com produto interno H sao ditos
ortogonais (escrevemos u v) se u, v) = 0 e neste caso vale o Teorema de
Pitagoras
|u +v|
2
= |u|
2
+|v|
2
.
Mais geralmente, se u
1
, , u
n
sao vetores dois a dois ortogonais em um
espaco com produto interno H ent ao
|
n
i=1
u
i
|
2
=
n
i=1
|u
i
|
2
.
Um subconjunto C de um espaco vetorial X e convexo se tx+(1t)y C
sempre que x, y C e t [0, 1].
Lema 3.4.1. Se K e um subconjunto fechado e convexo de um espaco de
Hilbert H e u
0
H, existe um unico v
0
K tal que
|u
0
v
0
| = inf
vK
|u
0
v|.
Escrevemos v
0
= P
K
u
0
e dizemos que P
K
e a projecao sobre o convexo K.
Prova: Seja v
n
K tal que
d
n
= |u
0
v
n
| d = inf
vK
|u
0
v|.
Mostraremos que v
n
e uma seq uencia de Cauchy. Da identidade do par-
alelogramo para a = u
0
v
n
e b = u
0
v
m
resulta que
|u
0
v
m
+v
n
2
|
2
+|
v
n
v
m
2
|
2
=
1
2
(d
2
n
+d
m
)
2
.
Como
v
m
+v
n
2
K, |u
0
v
m
+v
n
2
| d. Consequentemente
|
v
n
v
m
2
|
2
1
2
(d
2
n
+d
m
)
2
d
2
e lim
m,n
|
v
n
v
m
2
| = 0.
Se v
0
= lim
n
v
n
temos que |u
0
v
0
| = inf
vK
|u
0
v|.
Para a unicidade, suponha que z
0
K e |u
0
z
0
| = d. Entao, da
Identidade do Paralelogramo para v
0
u
0
e z
0
u
0
,
|v
0
z
0
|
2
= 2|v
0
u
0
|
2
+ 2|z
0
u
0
|
2
|v
0
+z
0
2u
0
|
2
= 4d
2
4|
v
0
+z
0
2
u
0
| 0.
Portanto v
0
= z
0
.
Proposicao 3.4.1. Seja H um espaco de Hilbert, K H fechado e convexo
e u
0
H, entao
Reu
0
P
K
u
0
, w P
K
u
0
) 0, w K.
Alem disso, se M

sev
H e fechado entao
u
0
P
M
u
0
, w) = 0, w M.
Prova: Seja v
0
= P
K
u
0
K tal que |u
0
v
0
| = inf
vK
|u
0
v| e w um
outro vetor em K. Entao, para t (0, 1], temos v = (1 t)v
0
+tw K e
|u
0
v
0
| |u
0
(1 t)v
0
tw| = |u
0
v
0
t(w v
0
)|.
Portanto
|u
0
v
0
|
2
|u
0
v
0
|
2
2tReu
0
v
0
, w v
0
) +t
2
|w v
0
|
2
.
Segue que 2Reu
0
v
0
, w v
0
) t|w v
0
|
2
. Fazendo t 0 temos que
Reu
0
P
K
u
0
, w P
K
u
0
) 0, para todo w K.
Se M

sev
H e fechado ent ao, para todo R t ,= 0,
Reu
0
P
M
u
0
, twP
M
u
0
) = tReu
0
P
M
u
0
, w) Reu
0
P
M
u
0
, P
M
u
0
) 0.
Dividindo por [t[ e fazendo t temos que Reu
0
P
M
u
0
, w) = 0 como
iw M (se K = C) temos o resultado.
58 CAP

Teorema 3.4.1. Se H e um espaco de Hilbert e K H e um convexo fechado
entao
|P
K
u
1
P
K
u
2
| |u
1
u
2
|, u
1
, u
2
H.
Prova: Se v
1
= P
K
u
1
e v
2
= P
K
u
2
temos que
Reu
1
v
1
, w v
1
) 0, w K (3.2)
Reu
2
v
2
, w v
2
) 0, w K. (3.3)
Substituindo w = v
2
em (3.2) e w = v
1
em (3.3) e somando temos
|v
1
v
2
|
2
Reu
1
u
2
, v
1
v
2
) |u
1
u
2
| |v
1
v
2
|
e o resultado segue.
Se M

sev
H entao M
:= u H : u v, v M.

E facil ver que M
e sempre um subespaco vetorial fechado de H. Uma transformacao linear

P : H M e dita uma projec ao se P
2
= P. Se P L(H) e uma projecao,
M = Im(P) e M
= N(P) dizemos que P e uma projec ao ortogonal sobre M.

Uma projecao ortogonal P e contnua se e somente se M = ImP e fechado.
Teorema 3.4.2. Seja H um espaco de Hilbert e M

sev
H fechado, entao M
M
= H; isto e , cada u H pode ser expresso unicamente como u = w +v

onde w M e v M
. Os vetores w e v sao os unicos elementos de M e

M
cuja distancia a u e mnima; isto e, w = P

M
u e v = P
M
u. Alem disso
P
M
e P
M
= I P
M
sao projecoes contnuas com |P
M
| = |P
M
| = 1.
Prova: Para u H ent ao P
M
u e o unico elemento de M que minimiza a
distancia de u a M. Note que M M
= 0 e u = P
M
u + (I P
M
)u
M + M
para todo u H. Alem disso, se z M
, |u z|
2
= |P
M
u +
(I P
M
)u z|
2
= |P
M
u|
2
+ |(I P
M
)u z|
2
|P
M
u|
2
e (I P
M
)u
e o unico ponto de M
que minimiza a distancia de u a M
. Segue que
(I P
M
)u = P
M
u.
Vejamos que P
M
e uma projec ao contnua. Primeiramente note que P
M
e
linear pois se u, v H e K entao
P
M
(u +v) = z
e o elemento de M que minimiza a distancia a u +z e
|u +v m| = |P
M
u +P
M
v m|
2
+|(u P
M
u) +v P
M
v|
2
e o mnimo ocorre quando m = P
M
u +P
M
v. Da denic ao de P
M
segue que
P
2
M
= P
M
. Sabemos da Proposicao 3.4.1 que |P
M
u| |u| e do fato que
P
M
u = u para todo u M temos que |P
M
| = 1.
Oitava Aula (100 minutos)
60 CAP

Nona Aula (100 minutos)
Se H e um espaco de Hilbert e y H segue da desigualdade de Cauchy-
Schwarz que f
y
(x) = x, y) dene um funcional linear contnuo e que |f
y
|
H
=
|y|
H
. Ent ao, a transformac ao H y f
y
H
e uma isometria linear-

conjugada entre H e H
. O resultado a seguir mostra que esta isometria e

sobrejetora:
Teorema 3.4.3 (Teorema de Representac ao de Riesz-Frechet). Se f H
,
existe um unico y H tal que f(x) = x, y) para todo x H.
Prova: Unicidade e obvia. Se f e o funcional nulo entao y = 0. Se f ,= 0,
seja M = x H : f(x) = 0. Entao M H e portanto M
,= 0 pelo
Teorema 3.4.2. Seja z M
com |z| = 1. Se u = f(x)z f(z)x ent ao

u M e
0 = u, z) = f(x)|z|
2
f(z)x, z) = f(x) x, f(z)z).
Portanto f(x) = x, y) onde y = f(z)z.
Segue que, Espacos de Hilbert sao reexivos em um sentido bastante forte:
Nao somente H e naturalmente isomorfo a H
como tambem e isomorfo

(atraves de uma transformac ao linear-conjugada) a H
.
Um subconjunto u
A
de H e chamado um conjunto ortonormal se
|u
| = 1 para todo A e u
para ,= . Se v
n
n=1
e uma
seq uencia linearmente independente de vetores em H existe um procedimento
usual para converte-la em uma seq uencia ortonormal u
n
n=1
tal que o espaco
gerado por v
1
, . . . , v
N
coincide com o espaco gerado por u
1
, . . . , u
N
. Este
processo e conhecido como processo de ortogonalizacao de Gram-Schmidt e
consiste em tomar u
1
= v
1
/|v
1
| e uma vez determinados u
1
, . . . , u
N1
tomar
u
N
=
_
v
N

N1
n=1
v
N
, u
n
)u
n
_ _
|v
N

N1
n=1
v
N
, u
n
)u
n
|.
Teorema 3.4.4 (Desigualdade de Bessel). Se u
A
e um conjunto ortonor-
mal em H, entao para u H,
A
[u, u
)[
2
|u|
2
.
Em particular A : u, u
) ,= 0 e enumeravel.
Prova:

E suciente mostrar que
F
[u, u
)[
2
|u| para todo F A
nito. Mas
0 |u
F
u, u
)u
|
2
= |u|
2
2Re
u,
F
u, u
)u
_
+
_
_
F
u, u
)u
_
_
2
= |u|
2
2
F
[u, u
)[
2
+
F
[u, u
)[
2
= |u|
2
F
[u, u
)[
2
,
onde utilizamos o Teorema de Pitagoras.
Teorema 3.4.5. Se u
A
e um conjunto ortonormal em H, as seguintes
armativas sao equivalentes:
a) (Completamento) Se u, u
) = 0 para todo A, entao u = 0.

b) (Identidade de Parseval) |u|
2
=
A
[u, u
)[
2
para todo u H.
c) Para cada u H, u =
A
u, u
)u
, onde a soma tem apenas um

n umero enumeravel de termos nao nulos e converge independentemente
da ordem dos termos.
Prova:
a c Se x H, seja
1
,
2
, . . . qualquer enumerac ao dos
/
s para os quais
u, u
) ,= 0. Pela Desigualdade de Bessel a serie
j=1
[u, u
j
)[
2
converge,
logo pelo Teorema de Pitagoras,
_
_
_
_
_
n
j=m
u, u
j
)u
j
_
_
_
_
_
2
=
n
j=m
[u, u
j
)[
2
0, quando m, n .
62 CAP

Como H e completo,
j=0
u, u
j
)u
j
e convergente. Se
v = u
j=0
u, u
j
)u
j
temos que v, u
) = 0 para todo . Segue, de a), que v = 0.

c b Com a notac ao como acima, como na prova da Desigualdade de
Bessel, temos
|u|
2
j=1
[u, u
j
)[
2
=
_
_
_
_
_
u
n
j=1
u, u
j
)u
j
_
_
_
_
_
2
0 quando n .
b a

E obvia.
Um conjunto ortonormal tendo as propriedades (a-c) do Teorema 3.4.5 e
chamado uma base ortonormal de H. Para cada A, dena e
l
2
(A) por
e
() = 0 se ,= e e
() = 1. A famlia e
A
e claramente ortonormal,
e para qualquer f l
2
(A) temos f, e
) = f(), de onde segue que e
A
e uma base ortonormal.
Proposicao 3.4.2. Todo espaco de Hilbert tem uma base ortonormal.
Prova: Basta aplicar o Lema de Zorn para mostrar que a colecao de todos os
conjuntos ortonormais, ordenado pela inclusao, tem um elemento maximal.
A maximalidade e equivalente à propriedade a) do Teorema 3.4.5.
Teorema 3.4.6. Um espaco de Hilbert H e separavel se e somente se tem
uma base ortonormal enumeravel e neste caso toda base ortonormal de H e
enumeravel.
Prova: Se x
n
e um conjunto enumeravel denso em H, discartando recur-
sivamente qualquer x
n
que e combinacao linear de x
1
, . . . , x
n1
obtemos uma
seq uencia linearmente independente y
n
e aplicando o Processo de Ortog-
onalizacao de Gram-Schmidt obtemos uma seq uencia ortonormal u
n
que
gera um subespaco denso em H e portanto e uma base. Reciprocamente se
u
n
e uma base ortonormal, as combinacoes lineares nitas dos u
/
n
s con coe-
cientes em um subconjunto enumeravel e denso em C forma um subconjunto
enumeravel e denso em H. Alem disso, se v
A
e outra base ortonormal,
para cada n o conjunto A
n
= A : u
n
, v
) ,= 0 e enumer avel. Pelo

completamento de u
n
, A =
n=1
A
n
, logo A e enumer avel.
Se H
1
e H
2
sao espacos de Hilbert com produtos escalares , )
1
, , )
2
, uma
transformacao unitaria de H
1
sobre H
2
e uma transformacao linear sobreje-
tora U : H
1
H
2
que preserva produto escalar; isto e, Ux, Uy)
2
= x, y)
1
.
E claro que toda transformac ao unitaria e uma isometria e reciprocamente

(da Identidade de Polarizac ao) toda isometria de H
1
sobre H
2
e uma trans-
formacao unitaria.
Proposicao 3.4.3. Seja e
A
uma base ortonormal de X. Entao a corre-
spondencia x x denida por x() = x, u
) e uma transformacao unitaria

de H em l
2
(A).
Prova: A transformac ao x x e claramente linear, e e uma isometria de
H em l
2
(A) pela identidade de parseval |x|
2
=
A
[ x()[
2
. Se f l
2
(A)
entao
A
[f()[
2
< , e pelo teorema de Pitagoras as somas parciais da
serie
A
f()u
(da qual apenas um n umero enumer avel de termos sao

nao nulos) formam uma seq uencia de Cauchy; portanto x =
A
f()u
existe em H e x = f.
Nona Aula (100 minutos)
64 CAP

3.5 Apendice B: Teorema de Schauder
Antes de enunciar o Teorema de Schauder provamos o seguinte corolario do
Teorema de Brouwer.
Corolario 3.5.1. Seja K um subconjunto convexo e compacto de R
n
e T :
K K contnua, entao T tem um ponto xo.
Prova: Seja B uma bola fechada contendo K e P a restric ao a B da projecao
de R
n
sobre K (veja Teorema 3.4.1). A composta T P : B K B e
contnua; logo, tem um ponto xo x
0
B. De f(p(x
0
)) = x
0
K temos que
P(x
0
) = x
0
e f(x
0
) = f(P(x
0
)) = x
0
.
Agora estamos em condic oes de enunciar e demonstrar o seguinte resul-
tado.
Teorema 3.5.1 (Schauder). Seja E um espaco vetorial normado, K E
compacto e convexo. Entao qualquer funcao contnua T : K K tem um
ponto xo.
Este teorema e uma conseq uencia imediata do seguinte resultado
Teorema 3.5.2. Seja S um subconjunto convexo de um espaco vetorial nor-
mado E e seja T : S S uma funcao contnua tal que T(S) K S com
K compacto; entao T tem um ponto xo
Prova: Em primeiro lugar vamos mostrar dado > 0 que existe um conjunto
compacto e convexo K
S contido em um subespaco de dimensao nita de E

e uma func ao contnua P
: K K
tal que, para toco x K, |xP
x| < .
De fato: Como K e compacto existem x
1
, . . . , x
n
K tais que todo x K
dista de algum deles menos que . Para j = 1, . . . , n denimos uma funcao
contnua g
j
: K R por
g
j
(x) =
_
|x x
j
|, se |x x
j
|
0, se |x x
j
| .
3.5. AP
ENDICE B: TEOREMA DE SCHAUDER 65

Temos entao que
n
j=1
g
j
(x) > 0 para todo x K e, denindo
h
j
(x) =
g
j
(x)
n
k=1
g
k
(x)
, j = 1, . . . , n,
temos que h
j
(x) 0,
n
j=1
h
j
(x) = 1, x K e h
j
(x) = 0, se |x x
j
| .
Se K
denota a envolt oria convexa de x

1
, . . . , x
n
temos que K
S esta
contido em um subespaco de dimensao nita de E, e compacto e convexo.
Denimos P
: K K
por
P
(x) =
n
j=1
h
j
(x)x
j
.
P
e contnua e
x P
(x) =
n
j=1
h
j
(x)(x x
j
), x K.
Como, no segundo membro, somente as parcelas para as quais |x x
j
| <
sao nao nulas temos que
|x P
(x)| =
n
j=1
h
j
(x)|x x
j
| < , x K.
Agora mostramos que para todo > 0 existe x
S tal que |x
Tx
| < .
De fato, se P
T : K
segue do Corolario 3.5.1 que existe x
tal
que P
(T
) = x
. Segue da primeira parte que |P(Tx
) Tx
| < , isto e,
|x
Tx
| < .
Segue do que foi visto que, para todo n, existe x
n
S tal que |x
n

Tx
n
| <
1
n
. Temos que Tx
n
K e portanto existe subseq uencia convergente
Tx
n
k
. Se x e o limite dessa subseq uencia, temos que x
n
e convergente
com limite x e portanto, da continuidade de T, Tx = x.
66 CAP

3.6 Lista de Exerccios
1. Se X e um espaco vetorial normado sobre K entao as operacoes
X X (x, y) x +y X,
KX (, y) x X e
X x |x| R
sao contnuas. Alem disso, [|x| |y|[ |x y|, para todo x, y X.
2. Mostre as igualdades em (3.1) e que | | [0, ) dada a e uma norma.
3. Mostre que se X, Y sao espacos vetoriais normados sobre K, L(X, Y )
e o espaco das transformac oes lineares e limitadas de X em Y e |
| : L(X, Y ) [0, ) e denida por (3.1) ent ao L(X, Y ) e um espaco
vetorial normado.
4. Mostre que se X, Y sao espacos vetoriais normados sobre K e L(X, Y ) e
completo entao Y e completo (veja [3]).
5. Mostre que, se X, Y, Z sao espacos vetoriais normados, T L(X, Y ) e
S L(Y, Z) entao S T L(X, Z) e |S T| |S| |T|.
6. Seja X um espaco vetorial normado. Mostre que um funcional linear
f : X K e contnuo se e somente se N(f) = f
1
(0) e fechado.
7. Seja X um espaco vetorial normado e M X um subespaco vetorial
fechado de X. Entao, dado 0 < < 1, existe x
X, |x
| = 1 tal que
inf
mM
|x
m| 1 .
Sugestao: Se y XM e = inf
mM
|ym| seja m
tal que |ym
|
(1 +

1
) e x
= (y m
)/|y m
| .
8. Seja X um espaco vetorial normado e M X um subespaco vetorial de
X. Em X, dena a seguinte relacao de equivalencia, x y se xy M.
Denote por X/M o conjunto das classes de equivalencia de elementos de
3.6. LISTA DE EXERC
ICIOS 67
X e por x + M a classe de equivalencia do elemento x X. Se M e
fechado, mostre que:
Se em X/M denimos a soma +:X X X e multiplicacao por
escalar : K X X por (x + M)+(y + M) = (x + y) + M e
(x + M) = x + M ent ao X/M e um espaco vetorial (chamado
espaco quociente de X por M).
|x +M| = inf|x +y| : y M e uma norma em X/M.
Para cada > 0 existe x X tal que |x| = 1 e |x +M| 1 .
A Projecao (x) = x +M de X em X/M tem norma 1.
Se X e completo ent ao X/M e completo.
9. Mostre que se X e um espaco vetorial normado de dimensao innita
entao existe uma seq uencia x
n
em X com |x
n
| = 1 e que nao possui
subseq uencia de Cauchy. Conclua que se X e um espaco de Banach de
dimensao innita entao a bola fechada unitaria em X nao e compacta.
10. Seja X um espaco de Banach e P uma projec ao. Mostre que P e contnua
se e somente se sua imagem e n ucleo sao e fechados.
11. Mostre que (
p
)
=
q
, 1 p < ,
1
p
+
1
q
= 1. Conclua que
p
e reexivo,
1 n ou f(e
j
) = 0,
j
= 0.
Entao
j

q
e f(
j
) =
n
j=1
[
j
[
q
|f|
(
p
)
n
j=1
[
j
[
q
_
q1
q
.
Segue que
j

q
e |
j
|
q
|f|
(
p
)
. A igualdade segue da De-
sigualdade de Holder. (
p
)
f
j

q
e uma isometria linear
sobrejetora.
68 CAP

12. Mostre que:
Se X, Y sao espacos vetoriais, T : X Y e uma transformac ao
linear e C X e convexo entao, T(C) Y e convexo.
Se X e um espaco vetorial normado e C X e convexo ent ao C
e
convexo.
Se X e um espaco vetorial e A X a envolt oria convexa de A e o
conjunto dos pontos da forma
n
i=1
t
i
a
i
com 0 t
i
1,
n
i=1
t
i
= 1,
a
i
A para 1 i n e n N. Mostre que a envoltoria convexa de
A (co(A)) e o menor convexo que contem A.
Se X e um espaco vetorial e C X e convexo ent ao C + C = 2C.
Mostre que isto nao vale se C nao e convexo.
13. Em um espaco com produto interno H, mostre que vale a desigualdade
de Cauchy-Schwarz.
14. Em um espaco com produto interno H, mostre que a funcao || : H R
denida por |u| = u, u)
1
2
e uma norma.
15. Em um espaco com produto interno H, mostre que se u v entao vale
o teorema de Pitagoras |u +v|
2
= |u|
2
+|v|
2
.
16. Mostre que em um espaco com produto interno (real ou complexo) H
vale a identidade do paralelogramo
|u +v|
2
+|u v|
2
= 2|u|
2
+ 2|v|
2
, u, v H.
17. Mostre que um espaco vetorial normado real H onde vale a identidade
do paralelogramo e um espaco com produto interno dado por
u, v) =
1
4
[|u +v|
2
|u v|
2
], u, v H.
18. Mostre que um espaco vetorial normado complexo H onde vale a iden-
tidade do paralelogramo e um espaco com produto interno dado pela
3.6. LISTA DE EXERC
ICIOS 69
identidade de polarizac ao
u, v) =
1
4
[|u +v|
2
|u v|
2
+i|u +iv|
2
i|u iv|
2
], u, v H.
19. Se H e um espaco de Hilbert e M, N

sev
H, mostre que:
M
= M
,
Se M N entao N
,
(M +N)
+N
20. Seja H um espaco de Hilbert e P uma projec ao ortogonal. Mostre que

P e contnua se e somente se sua imagem e fechada .
21. Sejam H
1
e H
2
espacos de Hilbert e T e uma isometria linear de H
1
sobre
H
2
. Mostre que T e unitaria.
70 CAP

3.7 Primeira Prova
1.
a
Prova de SMA-5926 - Analise I
Professor: Alexandre Nolasco de Carvalho
Nome:
23.09.2002
Questoes Valor Notas
01
a
3.0
02
a
1.0
03
a
1.0
04
a
2.0
05
a
1.0
06
a
1.0
07
a
1.0
Total 10.0
1. Seja C
H
[a, b] o espaco das func oes contnuas f : [a, b] R com o produto
escalar
f, g)
H
=
_
b
a
f(x)g(x)dx
e denote por L
2
(a, b) o completamento de C
H
[a, b]. Mostre que
(a) L
2
(a, b) e um espaco de Hilbert separavel
(b)
1
2
,
1
cos x,
1
sin x,
1
cos 2x,
1
sin 2x, . . . e uma famlia orto-

normal no espaco L
2
(0, 2).
(c) Se f C
H
[0, 2],
f(x) = a
0
+
1
n=1
[a
n
cos nx +b
n
sin nx]
onde
a
0
=
1
2
_
2
0
f(x)dx, a
n
=
1
_
2
0
f(x) cos nxdx,
b
n
=
1
_
2
0
f(x) sin nxdx, n = 1, 2, . . . .
3.7. PRIMEIRA PROVA 71
(d)
_
2
0
f(x)
2
dx = a
2
0
+
n=0
[a
2
n
+b
2
n
], f C
H
[0, 2].
2. Seja X um espaco vetorial e | |
i
: X [0, ), i = 1, 2, duas normas
tais que X com qualquer dessas normas e um espaco de Banach. Se
existe c > 0 tal que | |
1
c| |
2
ent ao as normas sao equivalentes.
3. Seja X um espaco de Banach e T L(X). Dizemos que T L(X) e
compacta se T leva conjuntos limitados de X em conjuntos relativamente
compactos de X. Mostre que C(X) = T L(X) : T e compacta e
um espaco de Banach. Mostre que x
j
j=1

2
(N) : x = j
1
x
j
j=1

2
(N) e |x|
2
(N)
1 e um conjunto relativamente compacto de
2
(N).
4. (a) Se X e um espaco metrico completo e T : X X e tal que T
n
e
uma contrac ao entao, T tem um unico ponto xo.
(b) Seja X = C[0, 1] e K : [0, 1] [0, 1] R contnua. Mostre que
T L(X) denida por
(Tf)(x) =
_
x
0
K(x, y)f(y)dy
e compacta e que T
n
e uma contrac ao para n sucientemente grande.
5. Se X e um espaco de Banach e T : X X e uma transformacao linear
compacta entao N(I T) tem dimensao nita.
6. Seja X um espaco de Banach e A : D(A) X X um operador linear
fechado. Mostre que X
A
= D(A) com a norma |x|
D(A)
= |x| +|Ax| e
um espaco de Banach. Se A e bijetora e i : X
A
X e compacta entao
A
1
L(X) e compacta.
7. Se X e um espaco de Banach e T L(X) e tal que |T| < 1 ent ao I T
tem inversa limitada e (I T)
1
=
n=0
T
n
. Se T L(X) tem inversa
limitada e S L(X) e tal que |S T| <
1
|T
1
|
entao, S tem inversa
limitada.
72 CAP

Captulo 4
Medidas (Folland)
Decima Aula (100 minutos)
Um dos problemas mais vener aveis em geometria e determinar a area ou
volume de uma regiao no plano ou no espaco. As tecnicas de Calculo In-
tegral fornecem uma resposta satisfatoria para as regioes que sao limitadas
por curvas ou superfcies bem comportadas mas sao inadequadas para lidar
com conjuntos mais complicados (mesmo em dimensao um). Idealmente,
gostaramos de encontrar uma func ao : T(R
n
) [0, ], n N que associa
a cada E R
n
um n umero real estendido (E) [0, ] (a medida de E)
de forma que (E) coincide com o valor obtido pelas tecnicas de Calculo
Integral quando estas se aplicam. Tal funcao certamente deveria satisfazer
as seguintes propriedades:
a) A medida da uniao enumer avel de conjuntos disjuntos e a soma das
medidas dos conjuntos.
b) Se o conjunto E pode ser transformado no conjunto F por translac ao,
rotacao ou reexao ent ao (E) = (F)
c) A medida do cubo unitario Q = x R
n
: 0 x
i
1, 1 i n e um.
Infelizmente estas condic oes sao mutuamente inconsistentes. Para veri-
car esta inconsistencia para n = 1 comecamos denindo uma relac ao de
equivalencia em [0, 1] declarando x y se x y e racional. Seja N um
73
74 CAP
ITULO 4. MEDIDAS (FOLLAND)

subconjunto de [0, 1] que contem exatamente um elemento de cada classe de
equivalencia (usando o Axioma da Escolha). A seguir, seja R = Q [0, 1) e
para cada r R seja
N
r
= x +r : x N [0, 1 r) x +r 1 : x N [1 r, 1).
Entao e [0, 1) e a uniao disjunta dos N
r
, r R. Se : T(R) [0, ] tem as
propriedades acima
(N) = (N [0, 1 r)) +(N [1 r, 1)) = (N
r
), r R.
Segue que 1 = [0, 1) =
rR
(N
r
) o que e um absurdo.
Uma vez que ha conjuntos tao estranhos que nao podemos medir o seu
conte udo, vamos procurar construir uma tal func ao para uma classe de
conjuntos que contem todos aqueles conjuntos que tenhamos alguma chance
de encontrar na pratica (a menos que estejamos deliberadamente tentando
encontrar exemplos patologicos).
4.1
Algebras
Seja X um conjunto nao vazio. Uma algebra de conjuntos em X e uma
colecao nao vazia / de subconjuntos de X que e fechada por uniao nita
e complementos. Uma algebra e um algebra que e fechada por uniao
enumeravel.
Note que
j
E
j
= (
j
E
c
j
)
c
implica que uma algebra (-algebra) e fechada
por intersec ao nita (enumeravel). Alem disso, se / e uma algebra entao
= A A
c
e X = A A
c
pertencem a /.
E util observar que uma algebra / e uma algebra se e fechada por

uniao enumeravel disjunta. De fato, suponha que E
j
: j N /. Seja,
F
k
= E
k
[
k1
j=1
E
j
] = E
k
[
k1
j=1
E
j
]
c
/.
Segue que F
k
/ e uma famlia disjunta e
n
k=1
F
k
=
n
k=1
E
k
para todo
n N.
Exemplos de
Algebras:
4.1.
ALGEBRAS 75
Se X e um conjunto nao vazio qualquer , X e T(X) sao algebras.
Se X e nao-enumer avel
/ = E X : E e enumer avel ou E
c
e enumer avel
e uma algebra.
A intersec ao de qualquer famlia de algebras em um conjunto X e
ainda uma algebra.
Se X e um conjunto nao vazio e c T(X) existe uma unica menor al-
gebra /(c) que contem c (a intersec ao). /(c) e chamada algebra
gerada por c.

E imediato que, se c /(T) ent ao, /(c) /(T).
Se X e um espaco metrico (ou espaco topologico), a algebra B
X
gerada pelos conjuntos abertos em X e chamada algebra de Borel em
X.
1. B
X
inclui todos os conjuntos abertos e todos os conjuntos fechados.
2. G
= U T(X) : U e intersec ao enumer avel de abertos B

X
,
3. F
= U T(X) : U e uniao enumeravel de fechados B

X
4. G
= U T(X) : U e uniao enumer avel de G
B
X
5. F
= U T(X) : U e intersec ao enumer avel de F
B
X
Proposicao 4.1.1. B
R
e gerada pelos seguintes conjuntos:
a) os intervalos abertos: c
1
= (a, b) : a < b,
b) os intervalos fechados: c
2
= [a, b] : a < b,
c) os intervalos semi-abertos: c
3
= (a, b] : a < b ou c
4
= [a, b) : a < b,
d) os intervalos abertos semi-innitos: c
5
= (a, ) : a R ou c
6
=
(, a) : a R,
76 CAP

e) os intervalos fechados semi-innitos: c
7
= [a, ) : a R ou c
8
=
(, a] : a R.
Prova:

E facil ver que todos os conjuntos acima estao em B
R
e portanto
/(c
j
) B
R
. Para mostrar que B
R
/(c
j
) observamos que todo con-
junto aberto em R e uniao enumeravel de intervalos abertos e portanto basta
mostrar que /(c
j
) contem todos os intervalos abertos para 1 j 8. De
fato, para a 
2
ba
,
c
1
, ok.
c
2
, basta notar que (a, b) =
nn
0
[a +
1
n
, b
1
n
].
c
3
nn
0
(a, b
1
n
].
c
4
nn
0
[a +
1
n
, b).
c
5
, basta notar que (a, b] = (a, )(b, ) e (a, b) =
nn
0
(a, b
1
n
].
c
6
, basta notar que [a, b) = (, b)(, a) e (a, b) =
nn
0
[a +
1
n
, b).
c
7
, basta notar que [a, b) = [a, )[b, ) e (a, b) =
nn
0
[a +
1
n
, b).
c
8
, basta notar que (a, b] = (, b](, a] e (a, b) =
nn
0
[a, b
1
n
).
Seja X
A
uma colecao de conjuntos nao vazios, X =
A
X
o seu
produto cartesiano e
: X X
dada por
(f) = f(), f X, A.
Se /
e uma algebra em X
para cada A, a algebra produto em

X e a algebra gerada por
(E
) : E
, A.
Denotamos esta algebra por
A
M
.
Proposicao 4.1.2. Se A e enumeravel, entao
A
/
e a algebra ger-
ada pela famlia de conjuntos
A
E
: E
.
Prova: Se E
, ent ao
1
(E
) =
A
E
onde E
= X
para ,= ;
por outro lado
A
E
=
A
(E
) e o resultado segue.
4.1.
ALGEBRAS 77
Proposicao 4.1.3. Suponha que a algebra /
e gerada por c
, A.
Entao
A
/
e gerado por T
1
=
1
(E
) : E
, A. Se A
e enumeravel e X
para todo A,
A
/
e gerado por T
2
=
A
E
: E
.
Prova: Obviamente /(T
1
)

A
/
. Por outro lado, para cada , a

colecao E X
:
1
(E) /(T
1
) e uma algebra em X
que contemc
e portanto /
. Em outras palavras
1
(E) /(T
1
) para todo E /
,
A, e portanto
A
/
/(T
1
). A segunda armativa segue da
primeira como na prova da Proposic ao 4.1.2.
Proposicao 4.1.4. Sejam X
1
, . . . , X
n
espacos metricos e X =
n
j=1
X
j
, com
a metrica produto. Entao
n
j=1
B
X
j
B
X
. Se os X
j
s sao separaveis, entao
n
j=1
B
X
j
= B
X
.
Prova: Pela Proposic ao 4.1.3,
n
j=1
B
X
j
e gerada pelos conjuntos
1
j
(U
j
),
1 j n, onde U
j
e aberto em X
j
. Como estes conjuntos sao abertos
em X segue que
n
j=1
B
X
j
B
X
. Suponha agora que C
j
e um conjunto
enumeravel e denso em X
j
, e seja c
j
a colecao de bolas em X
j
com raio
racional e centro em C
j
. Ent ao todo conjunto aberto em X
j
e uma uniao de
membros de c
j
(de fato uniao enumer avel pois c
j
e enumeravel). Alem disso,
o conjunto dos pontos em X cuja jesima coordenada esta em C
j
para todo
j e um subconjunto enumer avel denso de X, e as bolas de raio r em X sao
meramente produto de bolas de raio r nos X
j
s. Segue que B
X
j
e gerado por
c
j
e B
X
e gerada por
n
j=1
E
j
: E
j
c
j
. Portanto B
X
=
n
j=1
B
X
j
pela
Proposic ao 4.1.3.
Corolario 4.1.1. B
R
n =
n
j=1
B
R
.
Decima Aula (100 minutos)
78 CAP

Decima-Primeira Aula (100 minutos)
A seguir apresentamos um resultado tecnico que sera necessario mais tarde.
Dizemos que c e uma famlia elementar c de subconjuntos de X se
c,
se E, F c entao E F c,
se E c entao E
c
e uma uniao disjunta nita de elementos de c.
Proposicao 4.1.5. Se c e uma famlia elementar, a colecao / de unioes
nitas disjuntas de elementos de c e uma algebra.
Prova: Se A, B c e B
c
=
J
j=1
C
j
(C
j
c, disjuntos), entao AB =
J
j=1
(A C
j
) e A B = (AB) B, onde estas unioes sao disjuntas, logo
AB / e AB /. Da, segue por induc ao que se A
1
, . . . , A
n
c, entao
n
j=1
A
j
/; de fato, por induc ao, podemos assumir que A
1
, . . . , A
n1
sao
disjuntos, e entao
n
j=1
A
j
= A
n
n1
j=1
(A
j
A
n
)
_
, que e uma uniao disjunta.
Para ver que / e fechada por conplementos, suponha que A
1
, . . . , A
n
c e
A
c
m
=
J
m
j=1
B
j
m
com B
1
m
, . . . , B
J
m
m
elementos disjuntos de c. Entao
(
n
m=1
A
m
)
c
=
n
m=1
_
J
m
j=1
B
j
m
_
= B
j
1
1
B
j
n
n
: 1 j
m
J
m
, 1 m n,
que esta em /.
4.2 Medidas
Seja X um conjunto equipado com uma algebra /. Uma medida e uma
funcao : / [0, ] tal que
i) () = 0.
ii) Se E
j
j=1
e uma seq uencia disjunta de conjuntos em /, entao
j=1
E
j
_
=
j=1
(E
j
).
4.2. MEDIDAS 79
A segunda propriedade acima e chamado aditividade. Ela implica aditivi-
dade nita:
ii) se E
1
, . . . , E
n
sao conjuntos disjuntos em /, entao
n
j=1
E
j
_
=
n
j=1
(E
j
),
porque podemos tomar E
j
= para j > n. A func ao que satisfaz i) e ii)
/
mas nao necessariamente ii) e chamada uma medida nitamente aditiva.
Se X e um conjunto e / T(X) e uma algebra, (X, /) e chamado
um espaco mensuravel e os conjuntos em / sao chamados conjuntos men-
suraveis. Se e uma medida em (X, /), ent ao (X, /, ) e chamado um
espaco de medida.
Seja (X, /, ) um espaco de medida. Se (X) < dizemos que e
uma medida nita ((E) + (E
c
) = (X) (E) < , E /). Se
X =
j=1
E
j
, E
j
/ com (E
j
) < , j N, dizemos que e uma medida
nita. Mais geralmente se E =
j=1
E
j
, E
j
/ com (E
j
) < , j N,
dizemos que E e um conjunto nito para . Se para cada E / com
(E) = existe F / com F E e 0 < (F) < , e chamada uma
medida seminita.
Toda medida nita e seminita, mas a recproca nao vale.
Exemplos de Medidas
Seja X um conjunto nao vazio, / = T(X) e f : X [0, ] uma
funcao qualquer. Ent ao f determina uma medida em / por (E) =
xE
f(x). Se f(x) < , x X, ent ao e seminita e e sigma
nita se e somente se x X : f(x) < 0 e enumer avel. Se f(x) = 1,
x X, e chamada medida da contagem. Se f(x
0
) = 1, f(x) = 0 para
todo x X, x ,= x
0
, e chamada Medida de Dirac.
Se X e nao-enumeravel, e / e a algebra dos subconjuntos E tais
que E e enumer avel ou tem complementar enumer avel. A funcao
80 CAP

denida em / por (E) = 0 se E e enumeravel e (E) = 1 se E tem
complementar enumeravel e uma medida.
Se X e um conjunto innito e / = T(X). Dena (E) = 0 se E e
nito, (E) = se E e innito. Entao e uma medida nitamente
aditiva mas nao e uma medida.
Teorema 4.2.1. Seja (X, /, ) um espa co de medida.
a) (Monotonicidade) Se E, F / e E F, entao (E) (F).
b) (Sub-aditividade) Se E
j
j=1
/, entao (
j=1
E
j
)

j=1
(E
j
).
c) (Semi-continuidade Inferior) Se E
j
j=1
e uma seq uencia de conjun-
tos em / tal que e E
1
E
2
, entao (
j=1
E
j
) = lim
j
(E
j
).
d) (Semi-continuidade Superior) Se E
j
j=1
/, E
1
E
2
e
(E
1
) < , entao (
j=1
E
j
) = lim
j
(E
j
).
Prova: a) Se E F, entao (F) = (E) +(FE) (E).
b) Seja E
j
j=1
/, F
1
= E
1
e F
k
= E
k
[
k1
j=1
E
j
]
c
, k > 1. Ent ao os
F
k
s sao disjuntos e
n
j=1
F
j
=
n
j=1
E
j
para todo n. Portanto, de a)
(
j=1
E
j
) = (
j=1
F
j
) =
j=1
(F
j
)
j=1
(E
j
).
c) Fazendo E
0
= , temos
(
j=1
E
j
) = (
j=1
E
j
E
j1
) = lim
n
n
j=1
(E
j
E
j1
) = lim
n
(E
n
).
d) Seja F
j
= E
1
E
j
; entao F
1
F
2
, (E
1
) = (F
j
) + (E
j
), e
j=1
F
j
= E
1
(
j=1
E
j
). Segue de c) que
(E
1
) = (
j=1
E
j
) + lim
j
(F
j
) = (
j=1
E
j
) + lim
j
[(E
1
) (E
j
)].
Como (E
1
) < , podemos subtra-lo em ambos os lados e o resultado segue.
4.2. MEDIDAS 81
Se (X, /, ) e um espaco de medida, um conjunto E /tal que (E) =
0 e dito de medida nula. Segue da subaditividade que a uniao enumer avel de
conjuntos de medida nula e um conjunto de medida nula. Se uma armativa
sobre pontos x X vale exceto possivelmente para x em um conjunto de
medida nula dizemos que a armativa vale quase sempre (q.s.) ou para quase
todo x ou em quase toda parte (q.t.p.). Se E /, (E) = 0 e F E ent ao
(F) = 0 contanto que F / (o que nao precisa ser verdade). Uma medida
cujo domnio contem todos os subconjuntos de conjuntos com medida nula
e chamada completa. Completamento sempre pode ser obtido aumentando o
domnio da medida como segue
Decima-Primeira Aula (100 minutos)
82 CAP

Decima-Segunda Aula (100 minutos)
Teorema 4.2.2. Suponha que (X, /, ) e um espaco de medida. Seja ^ =
N / : (N) = 0 e / = E F : E / e F N para algum N
^. Entao / e uma algebra, e existe uma unica extensao de a uma
medida completa sobre /.
Prova: Como / e ^ sao fechadas por uniao enumeravel, / tambem o e.
Se EF / onde E / e F N ^, podemos assumir que EN = .
Entao E F = (E N) (N
c
F), logo (E F)
c
= (E N)
c
(NF). Mas
(E N)
c
/ e NF N e (E F)
c
/. Portanto / e uma algebra.
Se EF /e como acima, denimos (EF) = (E). Esta func ao esta
bem denida pois se E
1
F
1
= E
2
F
2
com E
i
/ e F
i
N
i
^, i = 1, 2,
entao E
1
E
2
N
2
(E
2
E
1
N
1
) e (E
1
) (E
2
) + (N
2
) = (E
2
)
((E
2
) (E
1
) + (N
1
) = (E
1
)).

E facil vericar que e uma medida
completa sobre / e que e a unica medida em / que estende .
A medida do teorema anterior e chamada o completamento da medida
e / e chamada o completamento da algebra / relativamente a .
4.3 Medida Exterior
Nesta sec ao serao desenvolvidas as ferramentas que utilizaremos para con-
struir medidas. Como motivac ao consideramos o procedimento utilizado em
calculo para denir area de uma regiao limitada E do plano. Desenhamos
uma grade de retangulos e aproximamos a area de E inferiormente pela soma
das areas dos retangulos da grade que estao contidos em E e superiormente
pela soma das areas dos retangulos que interseptam E. O limite dessas aprox-
imacoes quando a grade e feita mais e mais na sao a area interior e area
exterior e se elas coincidem o valor comum e chamado area de E. A ideia
chave aqui e a de area exterior pois se R e um retangulo grande contendo E
a area interior de E e a area de R menos a area exterior de RE.
A generalizac ao da nocao de area exterior e feita da seguinte maneira. Uma
4.3. MEDIDA EXTERIOR 83
medida exterior em um conjunto nao vazio X e uma func ao
: T(X)
[0, ] que satisfaz

() = 0,

(A)
(B) se A B,

j=1
A
j
)

j=1
(A
j
).
A maneira mais comum de se obter medidas exteriores e comecar com uma
famlia c de conjuntos para os quais uma nocao de medida esta denida (tais
como retangulos) e ent ao aproximar conjuntos arbitrarios pelo exterior por
uniao enumeravel de elementos de c. A construc ao precisa e feita como segue.
Proposicao 4.3.1. Sejam c T(X) e : c [0, ] tais que , X c e
() = 0. Para cada A X, dena
(A) = inf
_

j=1
(E
j
) : E
j
c e A
j=1
E
j
_
.
Entao
e uma medida exterior.

Prova: Para A X existe E
j
j=1
c tal que A
j=1
E
j
(ja que , X c)
e portanto
esta bem denida.

E claro que
() = 0 e que
(A)
(B)
sempre que A B ja que qualquer cobertura de B por elementos de c
e tambem uma cobertura de A. Resta apenas mostrar a subaditividade.
Suponha que A
j
j=1
T(X) e > 0. Para cada j existe E
k
j
k=1
c tal
que A
j

k=1
E
k
j
e
k=1
(E
k
j
)
(A
j
) + 2
j
. Ent ao, se A =
j=1
A
j
,
temos que A
j,k=1
E
k
j
e
(A)

j,k=1
(E
k
j
)

j=1
(A
j
) + . Como
e arbitrario temos a sub-aditividade.
O passo fundamental que nos leva de medidas exteriores a medidas e o
seguinte. Se
e uma medida exterior sobre X, um conjunto A X e dito
-mensur avel se
(E) =
(E A) +
(E A
c
), para todo E X.
84 CAP
E claro que a desigualdade
(E)
(EA)+
(EA
c
) vale para qualquer
A e E e que a igualdade vale se
(E) = , logo A e
-mensuravel se e
somente se
(E)
(E A) +
(E A
c
), para todo E X,
(E) < .
A motivacao para a denic ao de conjuntos mensuraveis encontra-se no
seguinte: Se E A e bem comportado entao a igualdade
(E) =
(E
A) +
(E A
c
) nos diz que a medida exterior de A coincide com a medida
interior (
(E)
(E A
c
)) de A. O salto de conjuntos bem comportados
contendo A para todos os conjuntos e justicado pelo seguinte teorema.
Teorema 4.3.1 (Caratheodory). Se
e uma medida exterior em X, a

colecao / de todos os conjuntos
mensuraveis e uma algebra e a re-

stricao de
a / e uma medida completa.

Prova: Primeiramente observamos que / e fechada por complementos pois
a denic ao de
-mensurabilidade de A e simetrica em A e A
c
. Em seguida,
se A, B / e E X,
(E) =
(E A) +
(E A
c
)
=
(E A B) +
(E A B
c
) +
(E A
c
B)
+
(E A
c
B
c
).
(4.1)
Mas (A B) = (A B) (A B
c
) (A
c
B) e pela subaditividade
(E A B) +
(E A B
c
) +
(E A
c
B)
(E (A B)),
e portanto, de (4.1),
(E)
(E (A B)) +
(E (A B)
c
).
Segue que AB /e que /e uma algebra. Adicionalmente, se A, B /
e A B =
(A B) =
((A B) A) +
((A B) A
c
) =
(A) +
(B),
portanto
e nitamente aditiva em /.
Para mostrar que / e uma algebra, e suciente mostrar que / e
fechada por unioes enumeraveis de conjuntos disjuntos. Se A
j
j=1
e uma
seq uencia de conjuntos disjuntos em /, seja B
n
=
n
j=1
A
j
e B =
j=1
A
j
.
Entao para todo E X,
(E) < ,
(EB
n
) =
(EB
n
A
n
)+
(EB
n
A
c
n
) =
(EA
n
)+
(EB
n1
),
e segue, por induc ao, que
(E B
n
) =
n
j=1
(E A
j
). Portanto,
(E) =
(E B
n
) +
(E B
c
n
)
n
j=1
(E A
j
) +
(E B
c
).
Fazendo n obtemos
(E)

j=1
(E A
j
) +
(E B
c
)
j=1
(E A
j
)) +
(E B
c
)
=
(E B) +
(E B
c
)
(E).
Segue que B / e tomando B = E,
(B) =
j=1
(A
j
), logo
e
aditiva em /. Finalmente, se
(A) = 0, para todo E X temos que
(E)
(E A) +
(E A
c
)
(E A
c
)
(E),
de forma que A / e
restrita a / e uma medida completa.

Nossa primeira aplicac ao do Teorema de Caratheodory sera na extensao
de medidas de algebras para algebras. Mais precisamente, se / T(X)
e uma algebra, uma func ao
0
: / [0, ] sera chamada uma pre-medida
se
() = 0,
se A
j
j=1
e uma seq uencia de conjuntos disjuntos na algebra / tal que
j=1
A
j
/, ent ao
0
(
j=1
A
j
) =
j=1
0
(A
j
).
Em particular uma pre-medida e nitamente aditiva pois podemos tomar
A
j
= a partir de um certo ndice. Se
0
e uma pre-medida em / T(X),
86 CAP

ela induz uma medida exterior em X tomando
(E) = inf
_

j=1
0
(A
j
) : A
j
/, E
j=1
A
j
_
. (4.2)
Decima-Segunda Aula (100 minutos)
Decima-Terceira Aula (100 minutos)
Proposicao 4.3.2. Se
0
e uma pre-medida em uma algebra / e
e denida
por (4.2), entao
a)
[
A
=
0
;
b) todo conjunto em / e
mensuravel.
Prova: a) Suponha que E /. Se E
j=1
A
j
com A
j
/, seja B
n
=
E (A
n

n1
j=1
A
j
). Ent ao os B
n
s sao membros disjuntos de / cuja uniao e
E, logo
0
(E) =
j=1
0
(B
j
)

j=1
0
(A
j
). Segue que
0
(E)
(E), a
outra desigualdade e obvia pois E
j=1
A
j
com A
1
= E e A
j
= , j 2.
b) Se A /, E X com
(E) < e > 0, existe uma seq uencia

B
j
j=1
/ com E
j=1
B
j
e
j=1
0
(B
j
)
(E) + . Como
0
e
aditiva em /,
(E) +
j=1
0
(B
j
A) +
j=1
0
(B
j
A
c
)
(E A) +
(E A
c
).
Como e arbitrario, A e
mensuravel.
Teorema 4.3.2. Seja / T(X) uma algebra,
0
uma pre-medida em / e
/ a algebra gerada por /. Existe uma medida em / cuja restricao
a / e
0
( =
[
M
com
dada por (4.2)). Se e outra medida em /

que estende
0
, entao (E) (E) para todo E /, com igualdade sempre
que (E) < . Se
0
e nita, entao e a unica extensao de
0
a uma
medida em /.
Prova: A primeira armativa segue do Teorema de Caratheodory e da
Proposic ao 4.3.2 pois a algebra dos conjuntos
mensuraveis contem
/ e portanto /. Para a segunda armativa, se E / e E
j=1
A
j
onde
A
j
/, ent ao (E)

j=1
(A
j
) =
j=1
0
(A
j
), e portanto (E) (E).
Tambem, se fazemos A =
j=1
A
j
, temos
(A) = lim
n
(
n
j=1
A
j
) = lim
n
(
n
j=1
A
j
) = (A).
88 CAP

Se (E) < , podemos escolher os A
j
s tais que (A) < (E) + , portanto
(AE) < , e
(E) (A) = (A) = (E) +(AE) (E) +(AE) (E) +.
Como e arbitrario, (E) = (E). Finalmente, suponha que X =
j=1
A
j
com
0
(A
j
) < , onde podemos assumir que os A
j
s sao disjuntos. Ent ao
para qualquer E /,
(E) =
j=1
(E A
j
) =
j=1
(E A
j
) = (E),
logo = .
4.4 Medidas de Borel em R
Agora estamos em condic oes de construir uma teoria denitiva para medir
subconjuntos de R baseada na ideia que a medida de um intervalo e o seu com-
primento. Comecamos com uma construcao mais geral e ligeiramente mais
complicada que produz uma grande famlia de medidas em R com domnio
B
R
. Estas medidas sao chamadas medidas de Borel em R.
Suponha que e uma medida de Borel nita emR e seja F(x) = (, x].
Entao F e crescente (pelo Teorema 4.2.1 a)) e contnua à direita (pelo Teo-
rema 4.2.1 d)). Alem disso, se b > a (a, b] = F(b) F(a). Nosso proced-
imento sera inverter este processo e construir uma medida a partir de uma
funcao crescente e contnua à direita F. O caso especial F(x) = x nos dara
a medida de comprimento usual para intervalos.
Os blocos de construc ao de nossa teoria serao os intervalos abertos à es-
querda e fechados à direita ((a, b] ou (a, ), a < b < ). Estes inter-
valos serao chamados h-intervalos. Claramente a intersec ao de h-intervalos
e um h-intervalo e o complementar de h-intervalo e uniao disjunta de h-
intervalos. Pela Proposicao 4.1.5 a colecao / das unioes nitas disjuntas de
h-intervalos e uma algebra e pela Proposic ao 4.1.1, a algebra gerada por
/ e B
R
.
4.4. MEDIDAS DE BOREL EM R 89
Proposicao 4.4.1. Seja F : R R uma funcao crescente e contnua à
direita. Se (a
j
, b
j
], 1 j n, sao h-intervalos disjuntos, seja
0
_
n
_
j=1
(a
j
, b
j
]
_
=
n
j=1
[F(b
j
) F(a
j
)],
e seja
0
() = 0. Entao
0
e uma pre-medida na algebra / das unioes nitas
disjuntas de h-intervalos.
Prova: Primeiramente devemos vericar que
0
esta bem denida, ja que os
elementos de / podem ser representados de mais de uma maneira como uniao
disjunta de h-intervalos. Se (a
j
, b
j
]
n
j=1
sao disjuntos e
n
j=1
(a
j
, b
j
] = (a, b],
entao, apos uma possvel reordenacao no ndice j, devemos ter a = a
1
<
b
1
= a
2
< b
2
= < b
n
= b, logo
n
j=1
[F(b
j
) F(a
j
)] = F(b) F(a). Mais
geralmente, se I
i
n
i=1
e J
j
m
j=1
sao seq uencias nitas disjuntas de h-intervalos
tais que
n
i=1
I
i
=
m
i=j
J
j
, temos que
n
i=1
I
i
=
i,j
I
i
J
j
=
m
i=j
J
j
e
n
i=1
0
(I
i
) =
i,j
0
(I
i
J
j
) =
m
i=1
0
(J
j
).
Portanto
0
esta bem denida e e nitamente aditiva por construcao.
Resta mostrar que se I
j
j=1
e uma seq uencia disjunta de h-intervalos
com
j=1
I
j
/ entao
0
(
j=1
I
j
) =
j=1
0
(I
j
). Como
j=1
I
j
e uniao
disjunta nita de h-intervalos a seq uencia I
j
j=1
pode ser particionada em
um n umero nito de subseq uencias tais que a uniao dos intervalos em cada
uma dessas subseq uencias e um h-intervalo. Considerando cada subseq uencia
separadamente e usando o fato que
0
e nitamente aditiva, podemos assumir
que
j=1
I
j
e um h-intervalo I = (a, b]. Neste caso, temos que
0
(I) =
0
(
n
j=1
I
j
) +
0
(I
n
j=1
I
j
)
0
(
n
j=1
I
j
) =
n
j=1
0
(I
j
).
90 CAP

Fazendo n , obtemos que
0
(I)

j=1
0
(I
j
). Para provar a de-
sigualdade contr aria suponha inicialmente que a e b sao nitos e que > 0.
Como F e contnua à direita, existe > 0 tal que F(a + ) F(a) < e se
I
j
= (a
j
, b
j
] existe
j
> 0 tal que F(b
j
+
j
) F(b
j
) < 2
j
. Os intervalos
abertos (a
j
, b
j
+
j
) cobrem [a+, b] e portanto existe uma subcobertura nita.
Descartando qualquer intervalo dessa subcobertura nita que esta contido em
um outro maior e reordenando, podemos assumir que
os intervalos (a
1
, b
1
+
1
), . . . , (a
N
, b
N
+
N
) cobrem [a +, b],
b
j
+
j
(a
j+1
, b
j+1
+
j+1
) para j = 1, . . . , N 1.
Mas ent ao
0
(I) F(b) F(a +) + F(b
N
+
N
) F(a
1
) +
= F(b
N
+
N
) F(a
N
) +
N1
j=1
[F(a
j+1
) F(a
j
)] +
F(b
N
+
N
) F(a
N
) +
N1
j=1
[F(b
j
+
j
) F(a
j
)] +
<
N
j=1
[F(b
j
) +2
j
F(a
j
)] +
<
j=1
0
(I
j
) + 2.
Como e arbitrario, o resultado segue. Se a = , para qualquer M <
os intervalos (a
j
, b
j
+
j
) cobrem [M, b], logo o mesmo raciocnio nos da
F(b) F(M)

j=1
0
(I
j
) + 2, enquanto que se b = , para cada
M < obtemos que F(M) F(a)

j=1
0
(I
j
) +2. O resultado desejado
segue fazendo 0 e M .
Decima-Terceira Aula (100 minutos)
Decima-Quarta Aula (100 minutos)
Teorema 4.4.1. Se F : R R e qualquer funcao crescente e contnua
à direita, existe uma unica medida de Borel
F
em R tal que
F
((a, b]) =
F(b) F(a) para todo a < b. Se G e outra funcao crescente e contnua à
direita, temos que
F
=
G
se e somente F G e constante. Reciprocamente,
se e uma medida de Borel em R que e nita em todo conjunto de Borel
limitado denimos
F(x) =
_
_
((0, x]) se x > 0,
0 se x = 0,
((x, 0]) se x < 0,
entao F e crescente e contnua à direita, e =
F
Prova: Pela Proposicao 4.4.1, cada F induz uma pre-medida na algebra
/ das unioes nitas disjuntas de h-intervalos.

E claro que F e G induzem a
mesma pre-medida se e somente se F G e constante e que estas pre-medidas
sao nitas (R =
j=1
(j, j +1]). Segue do Teorema 4.3.2 que cada func ao
crescente e contnua à direita induz uma unica medida de Borel em R e que
se duas tais funcoes induzem a mesma medida ent ao elas diferem por uma
constante. Para a recproca a monotonicidade de implica a monotonicidade
de F, e a semi-contnuidade superior e inferior de implica a continuidade à
direita de F para x 0 e para x < 0.

E claro que =
F
em /, e portanto
o Teorema 4.3.2 implica que =
F
em B
R
.
Observamos primeiramente que toda esta teoria poderia ter sido desenvol-
vida, da mesma forma, usando intervalos da forma [a, b) e func oes contnuas à
esquerda F. Em segundo lugar, observamos que se e uma medida de Borel
nita em R, entao =
F
onde F(x) = (, x] que difere da funcao do F
do teorema anterior pela constante (, 0]. Em terceiro lugar a teoria de
Medidas Exteriores nos da, para dada funcao crescente e contnua à direita,
nao somente uma medida de Borel
F
mas uma medida
F
completa cujo
domnio contem B
R
. De fato,
F
e apenas o completamento de
F
e podemos
92 CAP

mostrar que o seu domnio e sempre estritamente maior que B
R
. Usualmente
denotamos esta medida completa tambem por
F
. Chamamos esta medida
de Medida de Lebesgue-Stieltjes associada à F.
As medidas de Lebesgue-Stieltjes gozam de algumas propriedades de re-
gularidade uteis que passamos a investigar. Nesta discussao xamos uma
medida de Lebesgue-Stieltjes em R associada a uma funcao crescente e
contnua à direita F, e denotamos por /
o domnio de . Portanto, para

cada E /
,
(E) = inf
_
n
j=1
[F(b
j
) F(a
j
)] : E
j=1
(a
j
, b
j
]
_
= inf
_
n
j=1
((a
j
, b
j
]) : E
j=1
(a
j
, b
j
]
_
.
Primeiro observe que na segunda formula para (E) podemos substituir os
h-intervalos por intervalos abertos:
Lema 4.4.1. Para qualquer E /
,
(E) = inf
_
n
j=1
(a
j
, b
j
) : E
j=1
(a
j
, b
j
)
_
.
Prova: Seja
(E) := inf
_
n
j=1
(a
j
, b
j
) : E
j=1
(a
j
, b
j
)
_
.
Suponha que E
j=1
(a
j
, b
j
). Cada (a
j
, b
j
) e uniao contavel disjunta de
h-intervalos I
k
j
= (c
k
j
, c
k+1
j
] onde c
k
j
e qualquer seq uencia crescente tal que
c
1
j
= a
j
e c
k
j
k
b
j
. Portanto E
j,k=1
I
k
j
, logo
j=1
((a
j
, b
j
)) =
j,k=1
(I
k
j
) (E),
portanto (E) (E). Por outro lado, dado > 0 existe (a
j
, b
j
]
j=1
com
E
j=1
(a
j
, b
j
] e
j=1
((a
j
, b
j
]) (E) +, e para cada j existe
j
> 0 tal
que F(b
j
+
j
) F(b
j
) < 2
j
. Entao E
j=1
(a
j
, b
j
+
j
) e
j=1
((a
j
, b
j
+
j
))
j=1
((a
j
, b
j
]) + (E) + 2,
de modo que (E) (E).
Teorema 4.4.2. Se E /
, entao
(E) = inf (U) : U E e U e aberto
= sup (K) : K E e K e compacto .
Prova: Pelo Lemma 4.4.1, para qualquer > 0 existe (a
j
, b
j
)
j=1
tal que
E
j=1
(a
j
, b
j
) e
j=1
((a
j
, b
j
)) (E) +. Se U =
j=1
(a
j
, b
j
) ent ao U e
aberto, U E e (E) (U) (E) +. Isto mostra a primeira igualdade.
Para mostrar a segunda igualdade, suponha primeiro que E e limitado. Dado
> 0 podemos escolher um aberto U

EE tal que (U) (

EE) + .
Seja K =

EU. Entao K e compacto, K E, e
(K) = (E) (E U) = (E) [(U) (UE)]
(E) (U) +(

EE) (E) .
Se E e ilimitado, seja E
j
= E (j, j + 1]. Pelo argumento precedente, para
qualquer > 0 existe compacto K
j
E
j
com (K
j
) (E
j
) 2
j
. Seja
H
n
=
n
n
K
j
. Ent ao H
n
e compacto, H
n
E, e (H
n
) (
n
j=n
E
j
) .
Como (E) = lim
n
(
n
j=n
E
j
), o resultado segue.
Teorema 4.4.3. Se E R, as seguintes armativas sao equivalentes.
a) E /
.
b) E = V N
1
onde V e um conjunto G
e (N
1
) = 0.
c) E = H N
2
onde H e um conjunto F
e (N
2
) = 0.
Prova: Obviamente b) a) e c) a) pois e completa em /
. Suponha
que E /
e (E) < . Pelo Teorema 4.4.2, para j N podemos escolher

um aberto U
j
E e um compacto K
j
E tais que
(U
j
) 2
j
(E) (K
j
) + 2
j
.
94 CAP

Seja V =
j=1
U
j
and H =
j=1
K
j
. Entao H E V e (V ) = (H) =
(E) < , logo (V E) = (EH) = 0. Portanto, o resultado esta provado
para (E) < ; o caso geral agora segue facilmente.
O teorema anterior nos diz que os conjuntos de Borel (ou mais geralmente
todos os conjuntos em /
) sao razoavelmente simples modulo conjuntos de

medida nula.
Proposicao 4.4.2. Se E /
e (E) < , entao para todo > 0 existe

um conjunto A que e uniao nita de intervalos abertos e tal que (EA) < .
Agora examinamos a medida mais importante em R, isto e, a Medida
de Lebesgue. A medida de Lebesgue e a medida completa
F
associada à
funcao F(x) = x, para a qual a medida de um intervalo e simplesmente o seu
comprimento. Denotaremos a medida de Lebesgue por m. O domnio /
F
de
m e chamada a classe dos conjuntos Lebesgue Mensuraveis sera denotado por
/. Tambem nos referiremos à restric ao de m a B
R
como medida de Lebesgue.
Entre as propriedades mais signicantes da medida de Lebesgue esta a
invari ancia por translac ao e comportamento simples homotetias. Se E R
e s, r R, denimos
E +s = x +s : x E, rE = rx : x E.
Teorema 4.4.4. Se E /, entao E + s / e rE / para toco r, s R.
Adicionalmente, m(E +s) = m(E) e m(rE) = [r[m(E).
Prova: Como a colecao de intervalos abertos e invariante por translac ao
e homotetias, o mesmo e verdade para B
R
. Para E B
R
, seja m
s
(E) =
m(E + s) e m
r
(E) = m(rE). Ent ao m
s
e m
r
coincidem com m e [r[m nas
unioes nitas disjuntas de h-intervalos, portanto em B
R
pelo Teorema 4.3.2.
Em particular, se E B
R
e m(E) = 0, ent ao m(E + s) = m(rE) = 0,
do que segue que a classe dos conjuntos com medida de Lebesgue nula e
preservada por translacoes e homotetias. Segue que / (cujos membros sao
uniao de um conjunto de Borel com um conjunto com medida de Lebesgue
nula) e preservada por translacao e homotetias e que m(E + s) = m(E) e
m(rE) = [r[m(E) para todo E /.
A relac ao das propriedades de teoria da medida com as propriedades
topologicas de subconjuntos de R e delicada e contem surpresas. Considere
os seguintes fatos. Todo conjunto unitario em R tem medida de Lebesgue
nula e portanto a uniao cont avel de conjuntos unitarios tem medida nula.
Em particular m(Q) = 0. Seja r
j
j=1
uma enumera cao do conjunto dos
n umeros racionais em [0, 1] e, dado > 0, seja I
j
un intervalo centrado em
r
j
de comprimento 2
j
. Ent ao o conjunto U = (0, 1) (
j=1
I
j
) e aberto e
denso em [0, 1], mas (U) ; seu complemento K = [0, 1]U e um conjunto
compacto nunca denso com medida m(K) 1 . Portanto um conjunto
que e aberto e denso (topologicamente grande) pode ter medida pequena, en-
quanto que um conjunto fechado e nunca denso (topologicamente pequeno)
pode ter medida grande.
Decima-Quarta Aula (100 minutos)
96 CAP

Decima-Quinta Aula (100 minutos)
A famlia dos conjuntos com medida de Lebesgue nula inclui nao somente
os conjuntos enumer aveis mas tambem muitos conjuntos nao-enumer aveis. A
seguir apresentamos um exemplo de conjunto nao-enumer avel com medida de
Lebesgue nula, o conjunto de Cantor.
Cada x [0, 1] tem uma representac ao na base tres, x =
j=1
a
j
3
j
, onde
a
j
= 0, 1 ou 2. Esta expansao e unica a menos dos x = p3
j
com p, j inteiros
para os quais x tem duas representac oes: numa delas a
j
= 0 para j > k e
a na outra a
j
= 2 para j > k. Assumindo que p nao e divisvel por 3, uma
dessas expansoes tera a
k
= 1 e outra tera a
k
= 0 ou 2. Se tomamos sempre
a ultima dessas expansoes, vemos que
a
1
= 1
1
3
< x <
2
3
,
a
1
,= 1 e a
2
= 1
1
9
< x <
2
9
ou
7
9
< x <
8
9
,
e assim por diante. Sera util observar que, se x =
j=1
a
j
3
j
e y =
j=1
b
j
3
j
, ent ao x < y se existe n tal que a
n
< b
n
e a
j
= b
j
, j < n.
O conjunto de Cantor C e o conjunto de todos os x [0, 1] que tem uma
expansao na base tres, x =
j=1
a
j
3
j
, com a
j
,= 1 para todo j. Portanto
C e obtido de [0, 1] removendo o intervalo (
1
3
,
2
3
) e dos intervalos resultantes
removendo os intervalos (
1
9
,
2
9
) e (
7
9
,
8
9
), e assim por diante. As propriedades
basicas de C estao resumidas a seguir:
Proposicao 4.4.3. Seja C o conjunto de Cantor.
a) C e compacto.
b) Se x, y C e x < y, existe z / C tal que x < z < y, portanto C e
totalmente desconexo e nunca denso.
c) C nao tem pontos isolados.
d) m(C) = 0.
e) Existe f : C [0, 1] sobrejetora; portanto card(C) =c.
Prova: a) e imediato pois C e intersecao enumer avel de fechados.
b) Se x =
j=1
x
j
3
j
e y =
j=1
y
j
3
j
seja n N tal que x
j
= y
j
,
1 j n 1 e x
n
< y
n
. Ent ao z =
j=1
z
j
3
j
onde z
j
= x
j
, 1 j n 1,
z
j
= 1, j n. Entao y > z > x pois y
n
= 2 > z
n
= 1 > x
n
= 0.
c) Se c =
j=1
c
j
3
j
C e > 0 seja n N tal que
j=n+1
23
j
< .
Seja c
/
=
j=1
c
/
j
3
j
C tal que c
j
= c
/
j
, 1 j n e c
/
j
= 0 (c
/
j
= 2) se
c
j
= 2 (c
j
= 0) para j > n. Ent ao 0 < [c c
/
[ < .
d) Para ver que m(C) = 0 observamos que C e obtido de [0, 1] removendo
um intervalo de comprimento
1
3
depois removendo 2 intervalos de compri-
mento
1
3
2
e em seguida 4 intervalos de comprimento
1
3
3
e assim por diante.
Segue que
(C) = 1
j=0
2
j
3
j+1
= 1
1
3
1
1
2
3
= 0
Finalmente, para mostrar que card(C)=c, suponha que x C e tal que
x =
j=1
a
j
3
j
onde a
j
= 0 ou 2 para todo j. Seja f(x) =
j=1
b
j
2
j
onde
b
j
=
a
j
2
. A serie que dene f(x) e a expansao na base dois de um n umero em
[0, 1], e qualquer n umero em [0, 1] pode ser obtido desta forma. Portanto f
leva C sobre [0, 1].
Vamos examinar a funcao f da prova do teorema anterior. Primeiramente
vemos que se x, y C e x < y, ent ao f(x) < f(y) exceto para os pontos
extremos dos intervalos retirados. Estendemos f a uma func ao denida em
[0, 1] fazendo-a constante em cada dos intervalos retirados e com valor igual ao
valor nos extremos do intervalo. Esta func ao estendida e crescente e como a
sua imagem e todo o intervalo [0, 1] ela nao pode ter saltos de descontinuidade
e e portanto contnua. f e chamada a funcao de Cantor ou funcao de Cantor-
Lebesgue .
Nem todo conjunto Lebesgue mensuravel e um conjunto e Borel men-
suravel. Para ver isto note que todo subconjunto do conjunto de Cantor e
98 CAP

um conjunto Lebesgue mensuravel com medida nula e portanto todo sub-
conjunto de C e Lebesgue mensuravel e portanto card(/)=card(T(C)) >c
enquanto que card(B
R
) =c. Esta ultima armativa segue da proposic ao a
seguir.
Seja /(c) a sigma algebra gerada por c e o conjunto de todos os
ordinais contaveis. Seja c
1
a colecao das unioes enumeraveis de elementos
de c ou seu complemento. Para , se tem um predecessor imediato
, entao c
e a colec ao das unioes enumeraveis de elementos de c
ou seus
complementos, caso contr ario seja c
=
<
c
. Entao
Proposicao 4.4.4. /(c) =
.
Prova: A induc ao transnita mostra que c
/(c) para todo .

A inclusao recproca segue do fato que qualquer seq uencia em tem um
supremo em : Se E
j
c
j
para j N e = sup
jN
j
, ent ao E
j
c
para
todo j N e portanto
j=1
E
j
c
onde e o sucessor de .
Combinando este resultado com com o Exerccio 5 i) do Captulo 1, vemos
que se card(N) card(c) c, entao card(/(c)) = c.
4.5 Exerccios
1. Seja / uma algebra innita, entao.
a) /contem uma seq uencia innita de conjuntos nao vazios e disjuntos
b) card(/) c.
2. Uma algebra / e uma algebra se / e fechada por unioes cont aveis
de famlias crescentes de conjuntos.
3. Se / e a algebra gerada por c, entao / e a uniao das algebras
geradas por T quando T percorre todos os subconjuntos cont aveis de c.
4. Se
1
, . . . ,
n
sao medidas sobre (X, /) e a
1
, . . . , a
n
[0, ), ent ao
n
j=1
a
j
j
e uma medida sobre (X, /).
4.5. EXERC
ICIOS 99
5. Se (X, /, ) e um espaco de medida e E
j
j=1
/, ent ao
(liminf E
j
) liminf (E
j
)
Tambem,
(limsup E
j
) limsup (E
j
)
contanto (
j=1
) < .
6. Se (X, /, ) e um espaco de medida e E, F /, ent ao (E) +(F) =
(E F) +(E F).
7. Se (X, /, ) e um espaco de medida e E /, dena
E
(A) = (EA)
para A /. Ent ao
E
e uma medida.
8. Toda medida nita e semi-nita.
9. Se e uma medida semi-nita e (E) = , ent ao para cada C > 0
existe F E com C < (F) < .
10. Se e uma medida sobre (X, /), dena
0
em / por
0
(E) = sup(F) : F E e (F) < .
a)
0
e uma medida semi-nita (camada parte seminita de ).
b) Se e seminita, ent ao =
0
.
c) Existe uma medida em / (em geral nao e unica) que assume
somente os valores 0 e tal que =
0
+.
11. Seja (X, /, ) e um espaco de medida. Um conjunto E X e chamado
localmente mensuravel se E A / para todo A / tal que (A) <
. Seja

/ a colec ao de todos os conjuntos localmente mensuraveis.
Claramente /

/, se / =

/, entao e chamada saturada
a) Se e sigma nita, ent ao e saturada.
b)

/ e uma algebra.
100 CAP

c) Dena sobre

/ por (E) = (E) se E /, (E) = caso
contrario. Ent ao e uma medida saturada sobre

/, chamada
saturacao de .
d) Se e completa, ent ao tambem e.
e) Suponha que e seminita. Se E

/, dena (E) sup(A) :
A / e A E. Ent ao e uma medida saturada sobre

/ que
estende .
f) Seja X
1
, X
2
sao conjuntos disjuntos e nao enumer aveis, X = X
1
X
2
,
e / a algebra dos conjuntos enumeraveis ou de complementar
enumeravel em X. Dena em / por (E) =
0
(E X
1
) onde
0
e a medida da contagem em X
1
. Ent ao e uma medida em /,
/ = T(X) e ,= .
12. Se
e uma medida exterior em X e A

j
j=1
e uma seq uencia disjunta de
conjuntos
mensuraveis, ent ao
(E (
j=1
A
j
)) =
j=1
(E A
j
)
para todo E X.
13. Seja / T(X) uma algebra, A
a colecao das unioes enumer aveis de e-

lementos em/, e /
a colec ao das intersec oes enumeraveis de elementos

em /
. Seja
0
uma pre-medida em / e
a medida exterior induzida

por
0
.
a) Para todo E X e > 0 existe A /
com E /
com E A e
(A)
(E) +.
b) Se
(E) < , ent ao E e
mensuravel se e somente se existe

B /
com E B e
(BE) = 0.
c) Se
0
e nita, a restric ao
(E) < em b) e superua.

14. Seja
uma medida exterior em X induzida por uma pre-medida nita
0
. Se E X, dena a medida interior de E por
(E) =
0
(X)
(E
c
). Entao E e
mensuravel se e somente se
.
4.5. EXERC
ICIOS 101
15. Seja uma medida nita em (X, /), e seja
a medida exterior in-

duzida por . Suponha que E X satisfaz
(E)
(X) (mas nao que

E /.
a) Se A, B / e A E = B E, ent ao (A) = (B).
b) Seja /
E
= A E : A /, e dena a funcao sobre /
E
por (E A) = (A) (que faz sentido por a)). Entao /
E
e uma
algebra sobre E e e uma medida em /
E
.
16. Seja F uma func ao crescente e contnua à direita, e
F
a medida asso-
ciada. Ent ao
F
(a) = F(a) F(a),
f
([a, b)) = F(b) F(a),
F
([a, b]) = F(b) F(a) e
F
((a, b)) = F(b) F(a).
17. Seja E um conjunto Lebesgue mensuravel.
a) Se E N onde N e o conjunto nao-mensuravel descrito no incio
do captulo, ent ao (E) = 0.
b) Se (E) > 0, entao E contem um conjunto nao-mensur avel.
18. Se E / e m(E) > 0, para todo < 1 existe um intervalo aberto I tal
que m(E I) > m(I).
102 CAP

Captulo 5
Integracao
A integral de Riemann de uma funcao f : [a, b] R,
_
b
a
f(x)dx e denida
como o limite das somas de Riemann que, por sua vez, sao integrais de funcoes
que aproximam f e sao constantes em sub-intervalos de [a, b]. Semelhante-
mente, sobre qualquer espaco de medida existe uma noc ao de integral para
funcoes que sao, em um sentido a ser especicado, localmente constantes,
e esta nocao pode ser estendida a funcoes mais gerais. Neste captulo, de-
senvolvemos a teoria de integra cao em espacos de medida abstratos, dando
enfase à medida de Lebesgue em R e R
n
.
5.1 Func oes Mensuraveis
Comecamos nosso estudo da teoria da integrac ao com a discussao de funcoes
mensuraveis que sao os morsmos na categoria dos espacos mensuraveis.
Recorde que qualquer func ao f : X Y induz uma transformacao f
1
:
T(Y ) T(X), denida por f
1
(E) = x X : f(x) E, que preserva
unioes, intersec oes e complementos. Portanto, se ^ e uma algebra em Y ,
entao f
1
(E) : E ^ e uma algebra em X. Se (X, /) e (Y, ^) sao
espacos mensuraveis, uma func ao f : X Y e chamada (/, ^)mensuravel
(ou simplesmente mensuravel quando / e ^ estiverem subentendidas), se
f
1
(E) / para todo E ^.
E facil ver que a composic ao de func oes mensuraveis e uma func ao men-
103
104 CAP
ITULO 5. INTEGRAC

AO
suravel.
Proposicao 5.1.1. Se ^ e gerada por c, entao f : X Y e (/, ^)men-
suravel se e somente se f
1
(E) / sempre que E c.
Prova:

E claro que se f e mensuravel f
1
(E) / sempre que E c ^.
Por outro lado se f
1
(E) / sempre que E c temos que E Y :
f
1
(E) / e uma algebra que contem c e portanto contem ^ e f e
mensuravel.
Corolario 5.1.1. Se X e Y sao espacos metricos (ou topologicos), toda
func ao contnua f : X Y e (B
X
, B
Y
)mensuravel.
Prova: Como f e contnua entao f
1
(U) e aberto em X sempre que U e
aberto em Y . O resultado segue da proposic ao anterior.
Se (X, /) e um espaco mensuravel, uma func ao f : X K sera chamada
/mensuravel se ela e (/, B
K
)mensuravel . Em particular f : R K e
Lebesgue (Borel) mensuravel se ela e (/, B
K
)mensuravel ((B
R
, B
K
)men-
suravel).
Observe que se f, g : R R sao Lebesgue mensuraveis, nao segue que
f g e Lebesgue mensuravel, mesmo que g seja contnua (Se E B
R
temos
que f
1
(E) / mas, a menos que f
1
(E) B
R
, nao ha garantia que
g
1
(f
1
(E)) /. Contudo, se f e Borel mensuravel, entao f g e Lebesgue
ou Borel mensuravel sempre que g o e.
Proposicao 5.1.2. Se (X, /) e um espaco mensuravel e f : X R, as
seguintes armativas sao equivalentes:
a) f e /mensuravel.
b) f
1
((a, )) / para todo a R.
c) f
1
([a, )) / para todo a R.
d) f
1
((, a)) / para todo a R.
e) f
1
((, a]) / para todo a R.
5.1. FUNC

OES MENSUR
AVEIS 105
Prova: Segue das Proposicoes 4.1.1 e 5.1.1.
Decima-Quinta Aula (100 minutos)
106 CAP
ITULO 5. INTEGRAC

AO
Decima-Sexta Aula (100 minutos)
As vezes queremos considerar a mensurabilidade de uma func ao em sub-
conjuntos de X. Se (X, /) e um espaco mensuravel, f e uma funcao denida
em X, e E /, dizemos que f e mensuravel em E se f
1
(B) E e men-
suravel sempre que B e um conjunto de Borel.
Se X e um conjunto, (Y
, ^
)
A
e uma famlia de espacos mensuraveis
e f
: X Y
, A, e uma famlia de funcoes, existe uma unica menor

algebra sobre X relativamente à qual as f
/
s sao todas mensuraveis, isto

e, a algebra gerada pelos conjuntos f
1
(E
) com E
e A.
Ela e chamada a algebra induzida por f
A
. Em particular, se X =
A
Y
, vemos que a algebra produto
A
^
e a algebra gerada
pelas projecoes coordenadas
: X Y
.
Proposicao 5.1.3. Sejam (X, /) e (Y
, ^
), A, espacos mensuraveis,
Y =
A
Y
, ^ =
A
^
, e
: Y Y
as projecoes coordenadas.
Entao f : X Y e (/, ^)-mensuravel se e somente se f
:=
f e
(/, ^
)-mensuravel para todo A.

Prova: Se f e mensuravel, f
tambem e pois e composic ao de funcoes men-

suraveis. Reciprocamente, se f
e mensuravel, entao para todo E
,
f
1
(E
) = f
1
(E
) / e f e mensuravel pela Proposic ao 5.1.1.

Corolario 5.1.2. A funcao f : X C e /mensuravel se e somente se
Ref e Imf sao /mensuraveis.
Prova: Isto segue pois B
C
= B
R
2 = B
R
B
R
pela Proposicao 4.1.4.
E conveniente, em alguns casos, considerar funcoes com valores na reta

real estendida R = [, ]. Denimos os conjuntos de Borel em R por
B
R
= E R : E R B
R
.

E facil ver que B
R
e gerada pelos intervalos
(a, ] ou [, a), a R. Dizemos que f : X R e /mensuravel se e
(/, B
R
)-mensuravel.
Agora estabelecemos que a mensurabilidade e preservada sob operacoes
algebricas usuais e passagem ao limite.
5.1. FUNC

OES MENSUR
AVEIS 107
Proposicao 5.1.4. Se f, g : X K sao /mensuraveis, entao f +g e fg
sao mensuraveis.
Prova: Sejam F : X K K, : K K K e : K K K dadas
por F(x) = (f(x), g(x)), x X, (s, t) = s + t e (s, t) = st, s, t K.
Como B
KK
= B
K
B
K
pela Proposic ao 4.1.4, F e (/, B
KK
)mensuravel
pela proposicao anterior. Como e sao contnuas segue que elas sao
(B
KK
, B
K
)mensuraveis pelo Corolario 5.1.1. Portanto f + g = F e
fg = F sao /mensuraveis.
A proposic ao anterior continua valida se K = R contanto que tomemos os
devidos cuidados com as indeterminac oes e 0..
Proposicao 5.1.5. Seja (X, /) um espaco mensuravel e f
j
e uma se-
q uencia de funcoes (/, B
R
)mensuraveis denidas em X com valores em
R, entao as funcoes
g
1
(x) = sup
j
f
j
(x), g
3
(x) = limsup
j
f
j
(x),
g
2
(x) = inf
j
f
j
(x), g
4
(x) = liminf
j
f
j
(x)
sao mensuraveis. Se f(x) = lim
j
f(x) existe para todo x X, entao f e
mensuravel.
Prova: Temos que
g
1
1
((a, ]) =
j=1
f
1
j
((a, ]), g
1
2
([, a)) =
j=1
f
1
j
([, a)),
portanto g
1
e g
2
sao mensuraveis. Mais geralmente, se h
k
(x) = sup
j>k
f
j
(x)
entao h
k
e mensuravel e g
3
(x) = inf
jN
sup
j>k
f
j
(x) entao g
3
e mensuravel.
De forma semelhante g
4
e mensuravel. Finalmente, se f = g
3
= g
4
existe ela
e mensuravel.
Corolario 5.1.3. Se f, g : X R sao mensuraveis, entao max(f, g) e
min(f, g) sao mensuraveis.
108 CAP
ITULO 5. INTEGRAC

AO
Corolario 5.1.4. Se f
j
: X K : j N e uma seq uencia de funcoes
mensuraveis com valores em K e f(x) = lim
j
f
j
(x) existe para todo x,
entao f e mensuravel.
Prova: Basta utilizar o Corolario 5.1.2 e a Proposicao 5.1.5 para o caso
K = C.
Se f : X R denimos sua partes positiva e negativa por
f
+
(x) = max(f(x), 0), f
(x) = max(f(x), 0).

Entao f = f
+
f
. A func ao f e mensuravel se e somente se f

+
e f
sao.
Se f : X C temos que
f = (sgnf)[f[, onde sgnz =
_
z/[z[ se z ,= 0,
0 se z = 0.
Novamente, se f e mensuravel se e somente se [f[ e sgn(f) sao mensuraveis.
De fato, z [z[ e contnua em C e z sgnz e contnua exceto na origem.
Se U C e aberto, sgn
1
(U) e aberto ou da forma V 0 onde V e aberto.
Segue que sgn e Borel mensuravel. Portanto [f[ = [ [ f e sgnf=sgnf sao
mensuraveis.
Agora passamos a discutir as func oes que sao os blocos de construcao da
teoria de integracao. Suponha que (X, /) e um espaco mensuravel. Se
E X, A
E
denota a func ao caracterstica de E.

E facil vericar que A
E
e
mensuravel se e somente se E e mensuravel. Uma func ao simples e uma com-
binacao linear nita de func oes caractersticas de elementos de / (funcoes
simples nao assumem os valores ). Equivalentemente f : X K e sim-
ples se e somente se f e mensuravel e sua imagem e um conjunto nito. De
fato, temos que
f =
j=1
z
j
A
E
j
, onde E
j
= f
1
(z
j
) e a imagem de f e z
1
, . . . , z
n
.
5.1. FUNC

OES MENSUR
AVEIS 109
Na representac ao de funcoes simples f consideraremos sempre que os coe-
cientes sao distintos e um deles pode ser o zero de forma que f e combinac ao
linear nita de funcoes caractersticas de conjuntos disjuntos cuja uniao e X.
E claro que se f e g sao func oes simples, entao f + g e fg sao funcoes

simples. Agora mostramos que func oes mensuraveis quaisquer podem ser
aproximadas por funcoes simples.
Teorema 5.1.1. Seja (X, /) um espa co mensuravel.
a) Se f : X [0, ] e mensuravel, existe uma seq uencia
n
de funcoes
simples tais que 0
1

2
f,
n
f pontualmente e
n
f
uniformemente em qualquer subconjunto onde f e limitada.
b) Se f : X C e mensuravel, existe uma seq uencia
n
funcoes simples
tais que 0 [
1
[ [
2
[ [f[,
n
f pontualmente e
n
f
uniformemente em qualquer subconjunto onde f e limitada.
Prova: a) Para n = 0, 1, 2, . . . e 0 k 2
2n
1, seja
E
k
n
= f
1
((k2
n
, (k + 1)2
n
]) and F
n
((2
n
, ]),
e dena
n
=
2
2n
1
k=0
k2
n
A
E
k
n
+ 2
n
A
F
n
.
E facil vericar que E

k
n
2
2n
1
k=1
e uma famlia disjunta de conjuntos e que
E
k
n
e uniao disjunta de E
2k
n+1
e E
2k+1
n+1
. Segue que
n

n+1
para todo n.
Alem disso, por construc ao, 0 f
n
2
n
no conjunto onde f 2
n
.
Portanto, o resultado segue.
b) Se f = g+ih podemos aplicar a parte a) às partes positiva e negativa de
f e g, obtendo seq uencias
+
n
,
n
,
+
n
e
n
de func oes simples e nao negativas
que convergem para g
+
, g
, h
+
e h
monotonicamente. A seq uencia de

funcoes simples
n
com
n
=
+
n

n
+ i(
+
n

n
) tem as propriedades
desejadas.
110 CAP
ITULO 5. INTEGRAC

AO
Se (X, /, ) e um espaco de medida, podemos desejar eliminar conjuntos
com medida nula de nossas consideracoes no estudo de func oes mensuraveis.
Neste caso a nossa tarefa e mais simples se a medida e completa.
Proposicao 5.1.6. As sequintes implica coes sao validas se e somente se a
medida e completa:
a) Se f e mensuravel e f = g quase sempre, entao g e mensuravel.
b) Se f
n
e mensuravel para n N e f
n
f quase sempre, entao f e
mensuravel.
Prova: a) Se e completa, f e mensuravel e f = g quase sempre, seja
X
1
= x X : f(x) = g(x) e X
2
= X
c
1
, ent ao X
2
e -mensuravel e
(X
2
) = 0. Segue que X
1
e mensuravel e se E e mensuravel g
1
(E) =
(f
1
(E) X
1
) (g
1
(E) X
2
) e g
1
(E) e mensuravel.
Por outro lado, se f mensuravel e f = g quase sempre implica g men-
suravel, entao para cada F N, N /, (N) = 0. Basta tomar f
identicamente nula e g = A
F
para concluir que F e mensuravel.
b) A primeira parte pode ser provada facilmente enquanto que a segunda
segue como em a) tomando seq uencias constantes.
Por outro lado, o resultado a seguir mostra que nao e provavel cometermos
qualquer deslise ao deixarmos de nos preocupar com o completamento de .
Proposicao 5.1.7. Se (X, /, ) e um espaco de medida e (X, /, ) o
seu completamento. Se f e uma funcao /mensuravel existe uma funcao
/mensuravel g tal que f = g quase sempre.
Prova: Isto e obvio da denicao de se f = A
E
onde E / e por-
tanto se f e uma funcao simples /-mensuravel. Para o caso geral, escolha
a seq uencia
n
de funcoes simples /-mensuraveis que converge pontual-
mente para f como no Teorema 5.1.1, e para cada n seja
n
uma func ao
simples /mensuravel com
n
=
n
exceto em um conjunto E
n
/ com
(E
n
) = 0. Escolha N / tal que (N) = 0 e N
n=1
E
n
, e faca
5.1. FUNC

OES MENSUR
AVEIS 111
g = lim
n
A
XN
. Ent ao g e mensuravel pelo Corolario 5.1.4 e g = f em
N
c
.
Decima-Sexta Aula (100 minutos)
112 CAP
ITULO 5. INTEGRAC

AO
Decima-Setima Aula (100 minutos)
5.2 Integracao de Func oes Nao Negativas
Nesta sec ao xamos um espaco de medida (X, /, ), e denimos
L
+
= f : X [0, ] : f e uma func ao mensuravel .
Se e uma func ao simples em L
+
com representac ao =
n
j=1
a
j
A
E
j
,
(X =
n
j=1
E
j
com uniao disjunta) denimos a integral de relativamente a
por
_
d =
n
j=1
a
j
(E
j
)
(com a convenc ao que 0. = 0). Note que a denic ao acima independe da
representacao escolhida (ja que cada E
j
/, 1 j n, e sua uniao disjunta
e X). Note ainda
_
d pode ser . Se A /, ent ao A
A
=
n
j=1
a
j
A
E
j
A
e uma func ao simples e denimos
_
A
d =
_
A
A
d.
Proposicao 5.2.1. Sejam e funcoes simples em L
+
.
a) Se c 0,
_
cd = c
_
d.
b)
_
( +) d =
_
d +
_
d.
c) Se , entao
_
d
_
d.
d) A funcao A
_
A
d e uma medida em /.
Prova: a) Segue trivialmente da denic ao.
b) Sejam =
n
j=1
a
j
A
E
j
e =
m
k=1
b
k
A
F
k
. Ent ao E
j
=
m
k=1
(E
j
F
k
)
e F
k
=
n
j=1
(E
j
F
k
) ja que
n
j=1
E
j
=
m
k=1
F
k
= X com uniao disjunta.
Portanto, do fato que e nitamente aditiva,
_
d +
_
d =
n
j=1
m
k=1
(a
j
+b
k
)(E
j
F
k
),
5.2. INTEGRAC

AO DE FUNC

OES N
AO NEGATIVAS 113
e a mesma argumentac ao mostra que a soma do lado direito e igual a
_
( +
) d.
c) Note que, se , ent ao a
j
b
k
sempre que E
j
F
k
,= , logo
_
d =
n
j=1
m
k=1
a
j
(E
j
F
k
)
m
k=1
n
j=1
b
k
(E
j
F
k
) =
_
d.
d) Se A
k
e uma seq uencia disjunta em / e A =
k=1
A
k
,
_
A
d =
n
j=1
a
j
(A E
j
) =
n
j=1
k=1
a
j
(A
k
E
j
) =
k=1
_
A
k
d.
Agora estendemos a noc ao de integral para todas as funcoes f L

+
denindo
_
f d = sup
__
d : 0 f, e simples
_
.
Pela parte c) da proposicao anterior, as duas denicoes de
_
f d coincidem
quando f e uma func ao simples ja que a famlia de funcoes simples sobre a
qual o supremo e tomado inclui f. Adicionalmente, e obvio da denicao que
_
f d
_
g d, sempre que f g e
_
cf d = c
_
f d, c [0, ).
O proximo passo e estabelecer teoremas que permitam trocar a ordem dos
smbolos de integral e de limite, os chamados teoremas de convergencia.
Teorema 5.2.1 (da Convergencia Monotona). Se f
n
e uma seq uencia em
L
+
tal que f
j
f
j+1
para todo j, e f = lim
n
f
n
(= sup
jN
f
j
), entao
_
f d = lim
n
_
f
j
d.
Prova:
_
f
n
d e uma seq uencia crescente de n umeros reais, portanto seu
limite existe (possivelmente ). Adicionalmente
_
f
n
d
_
f d para todo
n, logo
lim
n
_
f
n
d
_
f d.
114 CAP
ITULO 5. INTEGRAC

AO
Para estabelecer a desigualdade recproca, xe (0, 1), seja uma func ao
simples com 0 f, e seja E
n
= x : f
n
(x) (x). Ent ao E
n
e uma
seq uencia crescente de conjuntos mensuraveis cuja uniao e X, e temos que
_
f
n
d
_
E
n
f
n
d
_
E
n
d. Pela parte d) da Proposicao anterior e pela
parte c) do Teorema 4.2.1, lim
_
E
n
d =
_
d e portanto lim
_
n
f
n
d
_
d. Como isto vale para todo < 1, continua valido para = 1
e tomando o supremo sobre todas as funcoes simples f, obtemos que
lim
n
_
f
n
d
_
f d.
O teorema da convergencia monotona e uma ferramenta essencial em
muitas situac oes, mas seu signicado imediato para nos e o seguinte. A
denicao de
_
f d envolve o supremo sobre uma famlia enorme (geralmente
nao enumer avel) de func oes simples , logo pode ser difcil calcular
_
f d
diretamente pela denicao. O teorema da convergencia monotona, contudo,
assegura que para calcular
_
f d e suciente calcular lim
n
_

n
d onde
n
e uma seq uencia qualquer de funcoes simples que convergem monotoni-
camente para f e o Teorema 5.1.1 a) garante que tal seq uencia existe. Como
uma primeira aplicacao, estabelecemos a aditividade da integral.
Teorema 5.2.2. Se f
n
e uma seq uencia nita ou innita em L
+
e f =
f
n
, entao
_
f d =
_
f
n
d.
Prova: Primeiro considere duas funcoes f
1
e f
2
. Pelo Teorema 5.1.1 podemos
encontrar seq uencias
j
e
j
de funcoes simples que convergem mono-
tonicamente para f
1
e f
2
. Ent ao
j
+
j
converge monotonicamente para
f
1
+ f
2
e pelo Teorema da Convergencia Monotona e pela Proposicao 5.2.1
b),
_
(f
1
+f
2
) d = lim
j
_
(
j
+
j
) d
= lim
j
_

j
d + lim
j
_

j
d =
_
f
1
d +
_
f
2
d.
Portanto, por inducao
_
n
j=1
f
j
d =
n
j=1
_
f
j
d para qualquer N N.
Fazendo N e aplicando o Teorema da Convergencia Monotona, obtemos
_
j=1
f
n
d =
j=1
_
f
n
d.
5.2. INTEGRAC

AO DE FUNC

OES N
AO NEGATIVAS 115
Proposicao 5.2.2. Se f L
+
, entao
_
f d = 0 se e somente se f = 0
quase sempre.
Prova: Isto e obvio se f e simples: se f =
n
j=1
a
j
A
E
j
com a
j
0, ent ao
_
f d = 0 se e somente se para cada j ou a
j
= 0 ou (E
j
) = 0. Em geral, se
f = 0 quase sempre e e simples com 0 f, entao = 0 quase sempre,
portanto
_
f d = sup
f
_
d = 0. Por outro lado, x : f(x) > 0 =
n=1
E
n
onde E
n
= x : f(x) > n
1
, logo para que f nao seja nula quase
sempre devemos ter que (E
n
) > 0 para algum n. Mas ent ao f > n
1
A
E
n
,
logo
_
f d n
1
(E
n
) > 0.
n
L
+
, f L
+
, e f
n
(x) converge monotonica-
mente para f(x) quase sempre, entao
_
f d = lim
n
_
f
n
d.
Prova: Se f
n
(x) converge para f(x) monotonicamente para x E com
(E
c
) = 0, ent ao f fA
E
= 0 quase sempre logo, pelo Teorema da Con-
vergencia Monotona,
_
f d =
_
fA
E
d = lim
n
_
f
n
A
E
d = lim
n
_
f
n
d.
E facil encontrar exemplos de seq uencia f

n
de func oes em L
+
que con-
verge pontualmente para f L
+
para os quais lim
n
_
f
n
d ,=
_
f d no
entanto uma desigualdade e sempre verdadeira.
Lema 5.2.1 (de Fatou). Se f
n
e qualquer seq uencia em L
+
, entao
_
(liminf
n
f
n
) d liminf
n
_
f
n
d.
Prova: Para cada k 1 temos que inf
nk
f
n
f
j
para j k, portanto
_
inf
nk
f
n
d
_
f
j
d para j k, portanto
_
inf
nk
f
n
inf
jk
_
f
j
d.
Agora faca k e aplicamos o Teorema da Convergencia Monotona:
_
(liminf
n
f
n
) d = lim
k
_
(inf
nk
f
n
) d liminf
n
_
f
n
d.
116 CAP
ITULO 5. INTEGRAC

AO
n
L
+
, f L
+
, e f
n
f quase sempre, entao
_
f d liminf
n
_
f
n
d.
Prova: Se f
n
f para todo x, o resultado e imediato do Lemma de Fatou,
e no caso geral podemos modicar f
n
e f em um conjunto de medida nula
sem afetar as integrais.
+
e
_
f d < , entao x : f(x) = e um
conjunto de medida nula e x : f(x) > 0 e nito.
Prova:

E imediato que, se F = x : f(x) = tem medida (F) > 0,
entao
_
f d = . Ainda, se E
n
= x :
1
n
< f(x) < , E
n
e mensuravel
e (E
n
) < ja que 0
1
n
A
E
n
f e
1
n
(E
n
) =
_
1
n
A
E
n
d
_
f d < .
Como
n=1
E
n
= x : f(x) > 0 o resultado segue.
Decima-Setima Aula (100 minutos)
5.3. INTEGRAC

AO DE FUNC

OES COMPLEXAS 117
Decima-Oitava Aula (100 minutos)
5.3 Integracao de Func oes Complexas
Seja (X, /, ) um espaco de medida. A integral denda na secao anterior
pode ser estendida de maneira natural para funcoes com valores reais ou
complexos; isto e, se f
+
e f
sao as partes positiva e negativa de uma func ao

real e pelo menos uma das integrais
_
f
+
d e
_
f
d e nita, denimos
_
f d =
_
f
+
d
_
f
d.
Dizemos que f e integr avel se
_
f
+
d e
_
f
d sao nitas. Como [f[ =

f
+
+f
, e claro que f e integr avel se e somente se

_
[f[ d < .
Proposicao 5.3.1. Seja (X, /, ) um espaco de medida. O conjunto de
todas as funcoes f : X R integraveis e um espaco vetorial real e a integral
e um funcional linear denida neste espaco vetorial.
Profa: A primeira armativa segue do fato que [af + bg[ [a[[f[ + [b[[g[, e
e facil vericar que
_
af d = a
_
f d para qualquer a R. Para mostrar
aditividade, suponha que f e g sao integraveis e seja h = f + g. Ent ao
h
+
h
= f
+
f
+ g
+
g
, logo h
+
+ f
+ g
= h
+ f
+
+ g
+
. Pelo
Teorema 5.2.2,
_
h
+
d +
_
f
d +
_
g
d =
_
h
d +
_
f
+
d +
_
g
+
d
e reagrupando
_
hd =
_
h
+
d
_
h
d =
_
f
+
d
_
f
d +
_
g
+
d
_
g
d
=
_
f d +
_
g d.
A seguir, se f e uma func ao mensuravel complexa, dizemos que f e in-

tegravel se
_
[f[ d < . Mais geralmente, se E /, f e integravel em
118 CAP
ITULO 5. INTEGRAC

AO
E se
_
E
[f[ d < . Como [f[ [Ref[ + [Imf[ 2[f[, f e integr avel se e
somente se Ref e Imf sao ambas integraveis, e neste caso denimos
_
f d =
_
Ref d +i
_
Imf d.
Segue facilmente que o espaco das func oes complexas integr aveis e um espaco
vetorial complexo e que a integral e um funcional linear complexo sobre este
espaco vetorial. Denotamos este espaco por L
1
(X, ) ou L
1
(X) ou L
1
() ou
L
1
.
1
(X, ), entao [
_
f d[
_
[f[ d.
Prova: Isto e trivial se
_
f d = 0 e se f e real, temos que
_
f d
_
f
+
d
_
f

_
f
+
d +
_
f
d =
_
[f[ d.
Se f e complexa e
_
f d ,= 0, seja = sgn(
_
f d). Ent ao [
_
f d[ =
_
f d. Em particular,
_
f d e real, logo
_
f d
= Re
_
f d =
_
Re(f) d
_
[Re(f)[ d
_
[f[ d =
_
[f[ d
Proposicao 5.3.3.
a) Se f L
1
, entao x : f(x) ,= 0 e sigma nito
b) Se f, g L
1
, entao
_
E
f d =
_
E
g d para todo E / se e somemte
se
_
[f g[ d = 0 se e somente se f = g quase sempre.
Prova: a) e a segunda equivalencia em b) seguem da Proposic ao 5.2.3 e da
Proposic ao 5.2.2. Se
_
[f g[ d = 0, entao pela Proposicao 5.3.2, para cada
E /,
_
E
f d
_
E
g d

_
[f g[A
E
d = 0,
5.3. INTEGRAC

AO DE FUNC

OES COMPLEXAS 119
e
_
E
f d =
_
E
g d. Por outro lado, se u = Re(f g), v = Im(f g) e e
falso que f = g quase sempre, ent ao u
+
, u
, v
+
ou v
deve ser nao nula em

um conjunto de medida positiva. Se, digamos, E = x : u
+
(x) > 0 tem
medida positiva, ent ao Re(
_
E
f d
_
E
g d) =
_
E
u
+
> 0 pois u
= 0 em E;
semelhantemente para os demais casos.
Esta Proposic ao mostra que para o proposito de integracao nao faz qual-
quer diferenca se alterarmos func oes em conjuntos de medida nula. De fato,
podemos integrar func oes f que estao denidas apenas em um conjunto men-
suravel E cujo complemento E
c
e um conjunto de medida nula simplesmente
denindo f por zero em E
c
(ou qualquer outro valor). Desta forma podemos
tratar funcoes que tomam valores em R e que sao nitas quase sempre como
funcoes que tomam valores em R para o proposito de integracao.
Com isto em mente denimos L
1
() como o espaco das classes de equivalencias
de funcoes integraveis denidas quase sempre em X, onde f e g sao consid-
eradas equivalentes se f = g quase sempre. Este novo espaco L
1
() e ainda
um espaco vetorial complexo.
Esta nova denic ao de L
1
() tem duas vantagens. Primeiramente, se e o
completamento de , a Proposic ao 5.1.7 nos da uma correspondencia natural
entre L
1
( ) e L
1
() e podemos identicar estes dois espacos. Em segundo
lugar, L
1
() e um espaco metrico com a metrica (f, g) =
_
[f g[ d.
Teorema 5.3.1 (da Convergencia Dominada). Seja f
n
uma seq uencia em
L
1
() tal que (a) f
n
f quase sempre, e (b) existe uma funcao nao negativa
g L
1
() tal que [f
n
[ g quase sempre para todo n. Entao f L
1
() e
_
f d = lim
n
_
f
n
.
Prova: f e mensuravel (talvez apos redenicao em um conjunto de medida
nula) pelas Proposicoes 5.1.6 e 5.1.7 e como [f[ g quase sempre, temos que
f L
1
(). Tomando parte real e imaginaria e suciente assumir que f
n
, f
sao funcoes reais e neste caso temos que g+f
n
0 e gf
n
0 quase sempre.
120 CAP
ITULO 5. INTEGRAC

AO
Portanto, pelo Lema de Fatou,
_
g d +
_
f d liminf
n
_
(g +f
n
) d =
_
g d + liminf
n
_
f
n
d,
_
g d
_
f d liminf
n
_
(g f
n
) d =
_
g d limsup
n
_
f
n
d.
Portanto, liminf
n
_
f
n
d limsup
n
_
f
n
d e o resultado segue.
Teorema 5.3.2. Suponha que f
j
e uma seq uencia em L
1
() tal que
j=1
[
_
f
j
d[ <
. Entao
j=1
f
j
converge quase sempre para uma funcao em L
1
() e
_
j=1
f
j
d =
j=1
_
f
j
d.
Prova: Pelo Teorema 5.2.2,
_
j=1
[f
j
[ d =
j=1
_
[f
j
[ d < , logo a
funcao g =
j=1
[f
j
[ esta em L
1
. Em particular, pela Proposicao 5.2.3,
j=1
[f
j
(x)[ e nita para quase todo x, e para cada tal x a serie
j=1
f
j
(x)
converge. Alem disso, [
n
j=1
f
j
(x)[ g para todo n, logo podemos aplicar
o Teorema da Convergencia Domainada à seq uencia das somas parciais para
obter
_
j=1
f
j
d =
j=1
_
f
j
d.
Teorema 5.3.3. Se f L
1
() e > 0, existe uma funcao simples integravel
=
n
j=1
a
j
A
E
j
tal que
_
[f [ d < . Se e uma medida de Lebesgue-
Stieltjes em R, os conjuntos E
j
na denicao de podem ser tomados como
unioes nitas de intervalos abertos; alem disso, existe uma funcao contnua
g que se anula fora de um intervalo limitado tal que
_
[f g[ d < .
Prova: Seja
n
como no Teorema 5.1.1 b); ent ao
_
[
n
f[ d < para
n sucientemente grande, pelo Teorema da Convergencia Dominada, ja que
[
n
f[ 2[f[. Se
n
=
n
j=1
A
E
j
, onde os E
j
s sao disjuntos e os a
j
s sao nao
nulos, observamos que (E
j
) [a
j
[
1
_
E
j
[
n
[ [a
j
[
1
_
[f[ < . Alem disso,
se E e F sao conjuntos mensuraveis, temos que (EF) =
_
[A
E
A
F
[ d.
Portanto, se e uma medida de Lebesgue-Stieltjes em R, pela Proposicao
4.4.2 podemos aproximar em L
1
(), tao bem quanto desejarmos, A
E
j
por uma
soma nita de funcoes A
I
k
onde os I
k
s sao intervalos abertos. Finalmente,
se I
k
= (a, b) podemos aproximar A
I
k
em L
1
() por func oes contnuas que se
5.3. INTEGRAC

AO DE FUNC

OES COMPLEXAS 121
anulam fora de (a, b). Pondo estes fatos juntos, obtemos o resultado desejado.
Decima-Oitava Aula (100 minutos)

122 CAP
ITULO 5. INTEGRAC

AO
Decima-Nona Aula (100 minutos)
A seguir utilizamos o Teorema da Convergencia Dominada para obter
resultados que permitem intercambiar os smbolos de integral e de derivada.
Teorema 5.3.4. Suponha que f : X [a, b] C ( < a < b < ) e que
f(, t) : X C e integravel para todo t [a, b]. Seja F(t) =
_
X
f(x, t) d(x).
a) Suponha que existe g L
1
() tal que [f(x, t)[ g(x) para todo x, t. Se
lim
tt
0
f(x, t) = f(x, t
0
) para todo x, entao lim
tt
0
F(t) = F(t
0
); em
particular, se f(x, ) e contnua para cada x, entao F e contnua.
b) Suponha que
f
t
exista e que existe g L
1
() tal que [
f
t
(x, t)[ g(x)
para todo x, t. Entao F e diferenciavel e F
/
(t) =
_
X
f
t
(x, t) d(x).
Prova: Para a), aplique o Teorema da Convergencia Dominada a f
n
(x) =
f(x, t
n
) onde t
n
e uma seq uencia em [a, b] que converge para t
0
. Para b),
observe que
f
t
(x, t
0
) = limh
n
(x) onde h
n
(x) =
f(x, t
n
) f(x, t
0
)
t
n
t
0
,
t
n
sendo novamente uma seq uencia qualquer que converge para t
0
. Segue
que
f
t
e mensuravel, e pelo teorema do valor medio
[h
n
(x)[ sup
t[a,b]
f
t
(x, t)
g(x),
e pelo Teorema da Convergencia Dominada
F
/
(t
0
) = lim
n
F(t
n
) F(t
0
)
t
n
t
0
= lim
n
_
h
n
(x) d(x) =
_
f
t
(x, t) d(x).
No caso especial quando a medida e a medida de Lebesgue em R, a

integral que desenvolvemos e chamada Integral de Lebesgue. Neste ponto e
apropriado estudar a relac ao entre as Integrais de Lebesgue e de Riemann
5.3. INTEGRAC

AO DE FUNC

OES COMPLEXAS 123
em R. Utilizaremos a caracterizacao de Darboux da Integral de Riemann em
termos de somas superiores e inferiores que recordamos a seguir.
Seja [a, b] um intervalo compacto. Por uma particao entendemos uma
seq uencia nita P = t
j
n
j=0
tal que a = t
0
< t
1
< < t
n
= b. Seja f uma
funcao real limitada em [a, b]. Para cada partic ao P denimos
S
P
f =
n
j=1
M
j
(t
j
t
j1
), s
P
f =
n
j=1
m
j
(t
j
t
j1
),
onde M
j
= sup
x[t
j
,t
j1
]
f(x) e m
j
= inf
x[t
j
,t
j1
]
f(x). Ent ao denimos
I
b
a
(f) = inf
P
S
P
f, I
b
a
(f) = sup
P
s
P
f
onde o nmo e o supremo sao tomados sobre todas as partic oes P. Se
I
b
a
(f) = I
b
a
(f), f e dita Riemann Integr avel e o valor comum e chamado
Integral de Riemann de f e e denotado por
_
b
a
f(x)dx.
Teorema 5.3.5. Seja f uma runcao real limitada em [a, b].
a) Se f e Riemann Integravel, entao f e Lebesgue mensuravel (e portanto
Lebesgue Integravel em [a, b] pois f e limitada), e
_
b
a
f(x)dx =
_
[a,b]
fdm.
b) A funcao f e Riemann Integravel se e somente se
x [a, b] : f e descontnua em x
tem medida de Lebesgue nula.
Prova: Suponha que f e Riemann Integr avel. Para cada partic ao P seja
G
P
=
n
j=1
M
j
A(t
j1
, t
j
], g
P
=
n
j=1
m
j
A(t
j1
, t
j
],
logo S
P
f =
_
G
P
dm e s
P
f =
_
g
P
dm. Existe uma seq uencia P
k
de
particoes cuja malha (isto e, max
0jn
(t
j
t
j1
)) tende para zero, cada das
quais inclui a precedente (de forma que g
P
k
e crescente e G
P
k
e decrescente),
124 CAP
ITULO 5. INTEGRAC

AO
tais que S
P
k
f e s
P
k
f convergem para
_
b
a
f(x)dx. Seja G = limG
P
k
e g =
limg
P
k
. Ent ao g f G, e pelo Teorema da Convergencia Dominada ,
_
Gdm =
_
gdm =
_
b
a
f(x)dx. Portanto
_
(G g)dm = 0 e G = g quase
sempre, logo G = f quase sempre. Como G e mensuravel (e limite de uma
seq uencia de funcao simples) e m e completa, segue que f e mensuravel e
_
[a,b]
fdm =
_
[a,b]
Gdm =
_
b
a
f(x)dx. Isto prova a).
Para b) note que, se
H(x) = lim
0
sup
0<[xy[<
f(y)
e
h(x) = lim
0
inf
0<[xy[<
f(y),
entao H(x) = h(x) se e somente se f e contnua em x. Nao e difcil vericar
que H = G e h = g quase sempre. Portanto H e h sao Lebesgue mensuraveis
e
_
[a,b]
H dm =

I
b
a
(f) e
_
[a,b]
hdm = I
b
a
(f). Do fato que H h, f e Riemann
integravel se e somente se x : H(x) ,= h(x) tem medida nula. Isto prova
b).
A integral de Lebesgue estende a integral de Riemann (propria). Algu-
mas integrais de Riemann improprias (aquelas que sao absolutamente conver-
gente) podem ser interpretadas diretamente como integrais de Lebesgue, mas
outras ainda requerem o processo de passagem ao limite. Por exemplo, se f e
Riemann integr avel em [0, b] para todo b > 0 e Lebesgue integravel em [0, ),
entao
_
[0,)
f dm = lim
b
_
b
0
f(x)dx (pelo Teorema da Convergencia Dom-
inada), mas o limite do lado direito pode existir sem que f seja integr avel
(Exemplo: f =
n=1
(1)
n
n
A
(n,n+1]
). Daqui por diante utilizaremos, via de
regra,
_
b
a
f(x) dx para denotar integrais de Lebesgue.
Seja f e uma func ao mensuravel, limitada e nao negativa em [a, b]. Para
calcular a integral de Riemann de f, particionamos o intervalo [a, b] em
subintervalos e aproximamos f por cima e por baixo usando func oes que
sao constantes em cada subintervalo da partic ao. Para calcular a integral
5.3. INTEGRAC

AO DE FUNC

OES COMPLEXAS 125
de Lebesgue de f tomamos uma seq uencia de funcoes simples que converge
monotonicamente para f. Em particular se tomamos a seq uencia construda
no Teorema 5.1.1 a) estamos particionando a imagem de f em subintervalos
I
j
e aproximando f por uma constante em cada dos conjuntos f
1
(I
j
). Para
iniciar, este processo requer uma teoria de medida mais sosticada pois os
conjuntos f
1
(I
j
) podem ser complicados mesmo quando f e contnua.
Veremos mais tarde (quando falarmos do completamento dos espacos L
p
)
que a integral de Lebesgue tem vantagens reais sobre a integral de Riemann.
Conclumos esta sec ao introduzindo a funcao Gamma , que desempen-
hara um papel importante em uma serie de oportunidades. Se z C e
Rez > 0, denimos f
z
: (0, ) C por f
z
(t) = t
z1
e
t
. Como [t
z1
[ = t
Rez1
,
temos que f
z
L
1
(0, ) para Rez > 0 e denimos
(z) =
_

0
t
z1
e
t
dt.
Como
_
N
t
z
e
t
dt = t
z
e
t
+z
_
N
t
z1
e
t
dt
pela integracao por partes, fazendo 0 e N vemos que para Rez > 0,
satisfaz a equacao
(z + 1) = z(z).
Esta equac ao pode entao ser usada para estender a quase todo o plano
complexo. Isto e, para 1 < Rez 0 podemos denir (z) por (z + 1)/z
e, por induc ao, tendo denido (z) para Rez > n, denimos (z) para
Rez > n 1 por (z +1)/z. O resultado e uma func ao denida em todo o
plano complexo C exceto em singularidades nos inteiros nao positivos onde o
algortimo descrito envolve a divisao por zero.
Temos que (1) =
_
0
e
t
dt = 1 e portanto (n + 1) = n!. A maioria das
aplicacoes da funcao Gamma envolve o fato que ela estende a func ao Fatorial
para nao inteiros.
Decima-Nona Aula (100 minutos)
126 CAP
ITULO 5. INTEGRAC

AO
5.4 Segunda Prova
2.
a
Prova de SMA-5926 - Analise I
Professor: Alexandre Nolasco de Carvalho
Nome:
19.11.2002
Questoes Valor Notas
01
a
2.0
02
a
1.0
03
a
1.0
04
a
2.0
05
a
1.0
06
a
1.0
07
a
1.0
08
a
1.0
Total 10.0
1. (a) Seja e A
n
R
2
o disco aberto de centro em ((1)
n
/n, 0) e raio 1.
Encontrar limsup
n
A
n
e liminf
n
A
n
.
(b) Seja x
n
uma seq uencia de n umeros reais e seja A
n
= (, x
n
).
Qual e a conexao entre limsup
n
x
n
e limsup
n
A
n
.
2. Sejam X um conjunto, c T(X) e /(c) T(X) a algebra gerada
por c. Se c A = B A : B c T(A), entao a algebra
/
A
(c A) T(A) gerada por c A coincide com
/(c) A = B A : B /(c).
3. Sejam X e Y conjuntos. Se f : X Y uma func ao e c T(Y ), mostre
que
/(f
1
(c)) = f
1
(/(c)),
onde f
1
(c) = f
1
(B) : B c e f
1
(/(c)) = f
1
(B) : B
/(c).
5.4. SEGUNDA PROVA 127
4. Sejam Q o conjunto dos n umeros racionais, /
0
a algebra das unioes
nitas disjuntas de intervalos fechados a direita ((a, b] = x Q : a <
x b ou (a, ) ou Q, a, b Q) e /(/
0
) a algebra gerada por
/
0
. Mostre que
(a) / = T(Q).
(b) Se e a medida da contagem em / entao e nita em / mas
nao e nita em /
0
.
(c) Existem conjuntos A / de medida nita que nao podem ser
aproximados por conjuntos em /
0
.
(d) Se = 2, ent ao = em /
0
mas nao em /.
5. Seja f : R R uma func ao crescente e contnua à direita e
f
a medida
de Lebesgue Stieltjes associada a f. Mostre que
f
(a, b) = f(b
) f(a),
f
[a, b] = f(b) f(a
),
f
[a, b) = f(b
) f(a
) e
f
(a) = f(a) f(a
),
a, b R, a < b.
6. Se f
n
e uma seq uencia de func oes mensuraveis em um espaco men-
suravel (X, /), ent ao
x : limf
n
(x) existe
e um conjunto mensuravel.
7. Seja f : [a, b] [0, ) uma func ao contnua tal que
_
fdm = 0
para toda : R [0, ) simples. Mostre que f = 0 quase sempre.
8. Se f
n
, g
n
, f, g L
1
, f
n
f e g
n
g quase sempre, [f
n
[ g
n
e
_
g
n

_
g, mostre que
_
f
n

_
f.
128 CAP
ITULO 5. INTEGRAC

AO
Vigesima Aula (100 minutos)
5.5 Modos de Convergencia
Se f
n
e uma seq uencia de func oes complexas denidas em um conjunto X,
a armativa f
n
f quando n pode ser tomada em muitos sentidos
diferentes, por exemplo, pontualmente ou uniformemente convergente. Se
X e uma espaco de medida, podemos tambem falar de convergencia quase
sempre ou convergencia em L
1
.

E claro que convergencia uniforme implica
convergencia pontual, que por sua vez implica convergencia quase sempre
mas estes modos de convergencia nao implicam convergencia L
1
ou vice versa.
Sera util lembrar os seguinte exemplos em R (com a medida de Lebesgue):
(i) f
n
= n
1
A
(0,n)
.
(ii) f
n
= A
(n,n+1)
.
(iii) f
n
= nA
(0,1/n)
(iv) f
1
= A
[0,1]
, f
2
= A
[0,1/2]
, f
3
= A
[1/2,1]
, f
4
= A
[0,1/4]
, f
5
= A
[1/4,1/2]
,
f
6
= A
[1/2,3/4]
, f
1
= A
[3/4,1]
, e em geral, f
n
= A
[j/2
k
,(j+1)/2
k
]
onde n = 2
k
+j
com 0 j < 2
k
.
Em (i), (ii) e (iii), f
n
0 uniformemente, pontualmente e quase sempre,
respectivamente, mas f
n
, 0 em L
1
(de fato
_
[f
n
[ =
_
f
n
= 1 para todo n).
Em (iv), f
n
0 em L
1
pois
_
[f
n
[ = 2
k
para 2
k
n < 2
k+1
, mas f
n
(x)
nao converge para qualquer x [0, 1] pois ha um n umero innito de ndices
n para os quais f
n
(x) = 0 e um n umero innito de ndices para os quais
f
n
(x) = 1.
Por outro lado, se f
n
f quase sempre e [f
n
[ g L
1
para todo n,
entao f
n
f em L
1
(Isto e claro do Teorema da Convergencia Dominada
pois [f
n
f[ 2g). Tambem, veremos a seguir que, se f
n
f em L
1
, ent ao
alguma subseq uencia converge para f quase sempre.
5.5. MODOS DE CONVERG
ENCIA 129
Outro modo de convergencia que e frequentemente utilizado e a con-
vergencia em medida. Dizemos que uma seq uencia f
n
de func oes complexas
mensuraveis em (X, /, ) e uma seq uencia de Cauchy em Medida se para
todo > 0
(x : [f
n
(x) f
m
(x)[ ) 0 quando m, n ,
e que f
n
converge em medida para f se para todo > 0,
(x : [f
n
(x) f(x)[ ) 0 quando n .
Por exemplo, as seq uencia (i), (iii) e (iv) convergem para zero em medida,
mas (ii) nao e de Cauchy em medida.
Proposicao 5.5.1. Se f
n
f em L
1
, entao f
n
f em medida.
Prova: Se E
n,
= x : [f
n
(x) f(x)[ , ent ao
_
[f
n
f[d
_
E
n,
[f
n

f[d (E
n,
). Logo (E
n,
)
1
_
[f
n
f[d 0 quando n .
A recproca desta propositc ao e falsa como atestam os exemplos (i) e (iii).
Teorema 5.5.1. Suponha que f
n
e uma seq uencia de Cauchy em medida.
Entao existe uma funcao mensuravel f tal que f
n
f em medida e uma
subseq uencia f
n
j
que converge para f quase sempre. Alem disso, se f
n
g
em medida entao f = g quase sempre.
Prova: Seja g
j
= f
n
j
uma subseq uencia de f
n
tal que, se E
j
= x :
[g
j
(x)g
j+1
[ 2
j
ent ao (E
j
) 2
j
. Se F
k
=
j=k
E
j
, ent ao (F
k
) 2
1k
e se x / F
k
, para i j k temos
[g
j
(x) g
i
(x)[
i1
l=j
[g
l+1
(x) g
l
(x)[ 2
1j
portanto g
j
(x) e de Cauchy para x em F
c
k
. Seja F =
k=1
F
k
= limsup E
j
.
Entao (F) = 0 e se x / F entao x F
c
k
para algum k e fazemos f(x) =
lim
j
g
j
A
F
c(x) se x X. Ent ao f e mensuravel e g
j
f quase sempre.
130 CAP
ITULO 5. INTEGRAC

AO
Alem disso, [g
j
(x) f(x)[ 2
1j
para x / F
k
e j k. Como (F
k
) 0
quando k segue que g
j
f em medida.
Note que, se 0 < [f
n
(x)f(x)[ entao [f(x)g
j
(x)[+[f
n
(x)g
j
(x)[
e portanto ou [f(x) g
j
(x)[

2
ou [f
n
(x) g
j
(x)[

2
. Disto segue que
x : [f(x)f
n
(x)[ x : [f(x)g
j
(x)[

2
x : [f
n
(x)g
j
(x)[

2
.
Segue do fato que que f
n
e de Cauchy em medida e do fato que g
j
converge para f em medida que f

n
converge para f em medida.
Se f
n
g em medida
x : [f(x) g(x)[ x : [f(x) f
n
(x)[

2
x : [f
n
(x) g(x)[

2
para todo n. Portanto x : [f(x) g(x)[ > 0 tem medida nula.

n
f em L
1
entao existe subseq uencia f
n
j
de f
n
tal que f
n
j
f quase sempre.
Convergencia quase sempre nao implica convergencia em medida, como
atesta o exemplo (ii), no entanto, se (X) < vale o seguinte resultado
mais geral
Teorema 5.5.2 (Egoro). Suponha que (X) < e f
n
, f sao funcoes
mensuraveis em X tais que f
n
f quase sempre. Entao, para todo > 0,
existe E X tal que (E) < e f
n
f uniformemente em E
c
.
Prova: Sem perda de generalidade podemos assumir que f
n
f para todo
x X. Se k, n N seja
E
n
(k) =
m=n
x : [f
m
(x) f(x)[ k
1
.
Para k xo E
n
(k) decresce quando n e como
n=1
E
n
(k) = e (X) <
temos que (E
n
(k)) 0 quando n . Dado > 0 e k N escolha n
k
tao grande que (E
n
k
(k)) < 2
k
e seja E =
k=1
E
n
k
(k). Ent ao (E) < e
[f
n
(x) f(x)[ < k
1
para n > n
k
e x / E. Portanto f
n
f uniformemente
em E
c
.
5.6. MEDIDAS PRODUTO E O TEOREMA DE FUBINI-TONELLI 131
5.6 Medidas Produto e o Teorema de Fubini-Tonelli
Sejam (X, /, ) e (Y, ^, ) espacos de medida. Ja construmos a algebra
produto /^ em X Y e agora vamos constuir uma medida em /^.
Para comecar, um conjunto da forma AB em XY com A / e B ^
e chamado um retangulo. Claramente
(A B) (E F) = (A E) (B F)
e
(A B)
c
= (A
c
Y ) (X B
c
) = (A
c
B) (X B
c
).
De onde segue que o conjunto de todos os retangulos e uma famlia elementar
de conjuntos. Da Proposic ao 4.1.5 temos que a colecao / das unioes nitas
disjuntas de retangulos e uma algebra e da Proposicao 4.1.2 a algebra
gerada por / e /^
Suponha que AB e um retangulo que e uma uniao nita (ou enumer avel)
disjunta de retangulos A
j
B
j
. Ent ao, para x X e y Y
A
A
(x)A
B
(y) = A
AB
(x, y) =
A
A
j
B
j
(x, y) =
A
A
j
(x)A
B
j
(y)
Se integramos relativamente a x e usamos o Teorema 5.2.2 obtemos que
(A)A
B
(y) =
_
A
A
(x)A
B
(y) d(x) =
_
A
A
j
(x)A
B
j
(y) d(x)
=
(A
j
)A
B
j
(y)
e integrando relativamente a y
(A)(B) =
(A
j
)(B
j
).
Seja E / e
E =
j
(A
j
B
j
) =
k
(C
k
D
k
)
duas representac oes de E como uniao nita disjunta de retangulos. Ent ao
A
j
B
j
=
k
[(A
j
C
k
) (B
j
D
k
)] e C
k
D
k
=
j
[(A
j
C
k
) (B
j
D
k
)]
132 CAP
ITULO 5. INTEGRAC

AO
e, das consideracoes acima,
j
(A
j
)(B
j
) =
k
(A
j
C
k
)(B
j
D
k
)
=
j
(A
j
C
k
)(B
j
D
k
)
=
k
(C
k
)(D
k
).
Se E /, ent ao E e uniao disjunta de retangulos A
1
B
1
, . . . , A
n
B
n
e
denimos
(E) =
n
j=1
(A
j
)(B
j
).
esta bem denida em /, pois o seu valor independe da representac ao de E
como uniao disjunta de retangulos.
Vigesima Aula (100 minutos)
Vigesima-Primeira Aula (100 minutos)
Em seguida, vamos vericar que e uma pre-medida em /. Resta apenas
vericar que se / E =
k
E
k
onde E
k
e uma seq uencia disjunta em /,
entao (E) =
k
(E
k
). Note que E
k
=
l
R
kl
once R
kl
l
e uma seq uencia
nita disjunta de retangulos e que E =
j

R
j
onde
R
j
j
e uma seq uencia
nita disjunta de retangulos. Ent ao
R
j
=
k

l
(R
kl

R
j
)
e, das consideracoes anteriores,
(

R
j
) =
j
(R
kl

R
j
)
e
(E) =
j
(

R
j
) =
j
(R
kl

R
j
) =
l
(R
kl
) =
k
(E
k
).
Segue do Teorema 4.3.2 que induz uma medida exterior em X Y cuja
restricao a / ^ e uma medida que estende . Chamamos esta medida
de medida produto de e e denotamos por . Se e sao nitas
e nita e neste caso e a unica medida em / ^ tal que
(A B) = (A)(B) para todo retangulo A B.
A mesma constuc ao funciona para um n umero nito de fatores. Isto e,
suponha que (X
j
, /
j
,
j
) sao espacos de medida para j = 1, . . . , n. Se
chamamos de retangulo o produto A
1
A
n
de elementos A
j
de /
j
,
entao a colec ao / das unioes nitas disjuntas de retangulos e uma algebra e
o mesmo procedimento descrito acima produz uma medida
1

n
em
/
1
/
n
tal que
1

n
(A
1
A
n
) =
n
j=1
j
(A
j
).
Alem disso, se as
j
s sao nitas a medida produto
1

n
tambem e
nita e a extensao a
n
j=1
/
j
e unicamente determinada. As propriedades
134 CAP
ITULO 5. INTEGRAC

AO
associativas obvias valem. Por exemplo, se identicamos X
1
X
2
X
3
com
(X
1
X
2
)X
3
, temos /
1
/
2
/
3
= (/
1
/
2
)/
3
(a primeira dessas
algebras e gerada pelos conjuntos da forma A
1
A
2
A
3
com A
j
/
j
e
a segunda pelos conjuntos da forma B A
3
com B /
1
/
2
e A
3
/
3
)
e
1
3
= (
1
2
)
3
(pois elas coincidem em conjuntos da forma
A
1
A
2
A
3
com A
j
/
j
e portanto em geral pela unicidade). Todos
os resultados abaixo possuem extensoes obvias para produtos com n fatores,
mas nos restringiremos ao caso n = 2 por simplicidade.
Retornamos ao caso de dois espacos de medida (X, /, ) e (Y, ^, ). Se
E X Y , para x X e y Y denimos a xsecao E
x
e ysec ao E
y
de
E por
E
x
= y Y : (x, y) E, E
y
= x X : (x, y) E.
Tambem, se f e uma funcao em X Y denimos a xsec ao f
x
e a ysec ao
f
y
de f por
f
x
(y) = f
y
(x) = f(x, y).
Portanto, por exemplo (A
E
)
x
= A
E
x
e (A
E
)
y
= A
E
y
Proposicao 5.6.1. a) Se E / ^, entao E
x
^ para todo x X e
E
y
/ para todo y Y .
b) Se f e /^-mensuravel, entao f
x
e ^mensuravel para todo x X
e f
y
e /mensuravel para todo y Y .
Prova: Seja 1 a colec ao de todos os subconjuntos E de X Y tais que
E
x
^ para todo x X e E
y
/ para todo y Y . Ent ao 1 obviamente
contem todos os retangulos ((AB)
x
= B se x A e vazio caso contr ario e
(A B)
y
= A se y B e vazio caso contr ario).
Se E
j
j
1 ent ao
y (
j
E
j
)
x
(x, y)
j
E
j
(x, y) E
j
para algum j
y (E
j
)
x
para algum j y
j
(E
j
)
x
e segue que (
j
E
j
)
x
^ para todo x. Semelhantemente para ysecoes. Isto
mostra que
j
E
j
1.
Se E 1 entao
y (E
c
)
x
(x, y) / E y / E
x
y (E
x
)
c
e segue que (E
c
)
x
^ para todo x. Semelhantemente para ysecoes. Isto
mostra que E
c
1.
Com isto, mostramos 1 e uma algebra. Portanto 1 /^, o que
prova (a).
A parte (b) segue de (a) se mostrarmos que (f
x
)
1
(B) = (f
1
(B))
x
e
(f
y
)
1
(B) = (f
1
(B))
y
. Isto segue de
y (f
x
)
1
(B) f
x
(y) B f(x, y) B
(x, y) f
1
(B) y (f
1
(B))
x
.
Antes de prosseguir vamos mostrar um lema tecnico. Denimos uma classe

monotona em um conjunto X como um subconjunto de T(X) que e fechado
sob uniao enumer avel crescente e intersec ao enumeravel decrescente. Clara-
mente, toda algebra e uma classe monotona. Tambem, a intersec ao de
qualquer famlia de classes monotonas e uma classe monotona e portanto,
para cada c T(X) existe uma menor classe monotona contendo c, chamada
a classe monotona gerada por c.
Lema 5.6.1 (da Classe Monotona). Se / e uma algebra de subconjuntos de
X, entao a classe monotona c gerada por / coincide com a algebra /
gerada por /.
Prova: Como / e uma classe monotona que contem / temos que / c.
Se mostrarmos que c e uma algebra, teremos que c /. Para este
m, se E c denimos
c(E) = F c : EF, FE, e E F estao em c.
Claramente e E estao em c(E) e E c(F) se e somente se F c(E).
136 CAP
ITULO 5. INTEGRAC

AO
Vamos mostrar que c(E) e uma classe monotona. Seja F
n
uma seq uencia
crescente de conjuntos em c(E). Entao
n
j=1
F
j
= F
n
c(E), EF
n
c,
F
n
E c e F
n
E c. Como EF
n
n
e decrescente e F
n
E
n
, F
n
E
n
sao crescentes segue que E(
j=1
F
n
), (
j=1
F
n
)E e (
j=1
F
n
) E estao em
c e portanto
j=1
F
n
c(E). Semelhantemente mostramos que se F
n
e
uma seq uencia decrescente em c(E) ent ao
j=1
F
j
c(E). Logo c(E) e uma
classe monotona.
Note que, se E /, ent ao F c(E) para todo F / porque / e uma
algebra e / c; isto e, / c(E) e portanto c c(E). Dito de outra
forma, se F c ent ao F c(E) para todo E /. Mas isto signica que, se
F c, entao E c(F) para todo E /; isto e, / c(F). Logo c c(F)
sempre que F c. Conclumos que se E, F c ent ao EF, FE e E F
estao em c. Como X / c, temos que c e uma algebra. Mas ent ao,
se E
j
j=1
c, temos que
n
j=1
E
j
c para todo n e, como c e fechado
sob uniao enumer avel de uma seq uencia crescente de conjuntos, segue que
j=1
E
j
c. Isto mostra que c e uma algebra.
Vigesima-Primeira Aula (100 minutos)
Vigesima-Segunda Aula (100 minutos)
Agora desmonstraremos os resultados principais desta sec ao, que rela-
cionam as integrais em X Y com as integrais em X e em Y .
Teorema 5.6.1. Suponha que (X, /, ) e (Y, ^, ) sao espacos de medida
nitos. Se E / ^, entao as funcoes x (E
x
) e y (E
y
) sao
mensuraveis em X e Y , respectivamente, e
(E) =
_
(E
x
) d(x) =
_
(E
y
) d(y).
Prova: Primeiramente supomos que e sao nitas, e seja c o conjunto de
todos os E /^ para os quais as conclusoes do teorema sao verdadeiras.
Se E = A B com A / e B ^, entao (E
x
) = A
A
(x)(B) e (E
y
) =
(A)A
B
(y), logo claramente E c. Pela aditividade segue que a uniao nita
de retangulos disjuntos esta em c e pelo Lema da Classe Monotona sera su-
ciente mostrar que c e uma Classe Monotona. Se E
n
e uma seq uencia
crescente em c e E =
n=1
E
n
, ent ao as func oes f
n
(y) = ((E
n
)
y
) sao men-
suraveis e crescem pontualmente para f(y) = (E
y
). Portanto, do Corolario
5.1.4, f e mensuravel e pelo Teorema da Convergencia Monotona,
_
(E
y
) d(y) = lim
_
((E
n
)
y
) d(y) = lim
n
(E
n
) = (E).
Semelhantemente g(x) = (E
x
) e mensuravel e (E) =
_
(E
x
) d(x),
logo E c. Se E
n
e uma seq uencia decrescente em c e E =
n=1
E
n
,
a funcao y ((E
1
)
y
) esta em L
1
() porque ((E
1
)
y
) (X) < e
(Y ) < , logo pelo teorema da Convergencia Dominada E c. Portanto
c e uma classe monotona, e a prova esta completa para o caso de espacos de
medida nitos.
Finalmente, se e sao nitas, podemos escrever XY como a uniao
de uma seq uencia crescentes X
j
Y
j
de retangulos de medida nita. Se
E /^, o argumento precedente se aplica a E(X
j
Y
j
) para cada j e
(E(X
j
Y
j
)) =
_
A
X
j
(x)(E
x
Y
j
) (x) =
_
A
Y
j
(y)(E
y
X
j
) d(y),
138 CAP
ITULO 5. INTEGRAC

AO
e uma ultima aplicac ao do Teorema da Convergencia Monotona resulta no
resultado desejado.
Teorema 5.6.2 (de Fubini-Tonelli). Suponha que (X, /, ) e (Y, ^, ) sao
espacos de medida nitos.
a) (Toneli) Se f L
+
(X Y ), entao as funcoes g(x) =
_
f
x
d e h(y) =
_
f
y
d estao em L
+
(X) e L
+
(Y ), respectivamente, e
_
f d( ) =
_ __
f
x
(y)d(y)
_
d(x)
=
_ __
f
y
(x)d(x)
_
d(y)
(5.1)
b) (Fubini) Se f L
1
(), entao f
x
L
1
() para quase todo x X, f
y
L
1
() para quase todo y Y , as funcoes denidas quase sempre g(x) =
_
f
x
d e h(y) =
_
f
y
d estao em L
1
() e L
1
(), respectivamente, e vale
(5.1)
Prova: O Teorema de Tonelli se reduz ao Teorema 5.6.1 no caso em que f
e uma func ao caracterstica e por linearidade vale para func oes simples nao
negativas. Se f L
+
(X Y ), seja f
n
uma seq uencia de funcoes simples
que convergem pontualmente e monotonicamente para f como no Teorema
5.1.1. Segue do Teorema da Convergencia Monotona que
as func oes g
n
(x) =
_
(f
n
)
x
d e h
n
(y) =
_
(f
n
)
y
d convergem monotoni-
camente para g e h, de forma que g e h sao mensuraveis e
e que
_
g d = lim
_
g
n
d = lim
_
f
n
d( ) =
_
f d( ),
_
hd = lim
_
h
n
d = lim
_
f
n
d( ) =
_
f d( ),
que e (5.1).
Isto estabelece o Teorema de Tonelli e tambem mostra que se f L
+
(X
Y ) e
_
f d( ) < , ent ao g < quase sempre e h < quase sempre;
isto e, f
x
L
1
() quase sempre em x e f
y
L
1
() quase sempre em y. Alem
disso, g e h sao integraveis.
Se f L
1
(), ent ao a conclusao do Teorema de Fubini segue aplicando
estes resultados à parte positiva e negativa da parte real e imaginaria de f.
Mesmo quando e sao completas, quase nunca e completa. De
fato, suponha que existe um conjunto nao vazio A / com (A) = 0 e
^ ,= T(Y ). Se E T(Y )^, entao AE / /^ pela Proposic ao 5.6.1,
mas A E A Y e (A Y ) = 0.
Se quisermos trabalhar com medidas completas podemos, e claro, consid-
erar o completamento de . Neste caso a relac ao entre a mensurabilidade
de uma func ao em XY e a mensurabilidade de suas sec oes nao e tao simples.
Contudo, o Teorema de Fubini-Tonelli continua valido quando reformulado
apropriadamente.
Lema 5.6.2. Sejam (X, /, ) e (Y, ^, ) espacos de medida completos e
nitos. Se E / ^ e (E) = 0 e F E, entao (F
x
) = 0
quase sempre e (F
y
) = 0 quase sempre.
Prova: Note que
0 = (E) =
_
X
(E
x
) d(x) =
_
Y
(E
y
) d(y)
e portanto (E
x
) = 0 quase sempre e (E
y
) = 0 quase sempre. Como
F
x
E
x
para todo x e F
y
E
y
para todo y temos (do fato que e sao
completas) que F
x
^, (F
x
) = 0 quase sempre e F
y
/, (F
y
) = 0
quase sempre.
Teorema 5.6.3 (de Fubini-Tonelli para Medidas Completas). Sejam (X, /, )
e (Y, ^, ) espacos de medida completos e nitos e seja (X Y, /, ) o
completamento de (X Y, /^, ).
140 CAP
ITULO 5. INTEGRAC

AO
a) Se f L
+
(X Y, ), entao f
x
e ^mensuravel para quase todo x e
f
y
e /mensuravel para quase todo y. Adicionalmente, x
_
f
x
d e
y
_
f
y
d sao mensuraveis e
_
fd( ) =
_ __
f(x, y)d(y)
_
d(x)
=
_ __
f(x, y)d(x)
_
d(y)
(5.2)
b) Se f L
1
(X Y, ), entao f
x
e f
y
sao integraveis para quase todo x e
y. Alem disso, x
_
f
x
d e y
_
f
y
d sao integraveis e vale (5.2).
Prova: Se H /, segue do Teorema 4.2.2 que H = GF onde G /^
e F E para algum E / ^ com (E) = 0. Para cada x X,
temos que H
x
= G
x
F
x
e segue do Lema 5.6.2 que (F
x
) = 0 quase
sempre. Disto, do Teorema 4.2.2 e da Proposic ao 5.6.1 segue que H
x

^ para quase todo x em X. Isto mostra que (A
H
)
x
e ^mensuravel
para quase todo x em X. Do mesmo modo mostramos que (A
H
)
y
e
/mensuravel para quase todo y em Y .
Do Teorema 5.6.1 x (G
x
) e /mensuravel e y (G
y
) e ^men-
suravel. Alem disso, (H
x
) = (G
x
) para quase todo x em X e (H
y
) =
(G
y
) para quase todo y em Y . Como e sao completas, o Teorema 5.1.6
implica que x (H
x
) e /mensuravel e y (H
y
) e ^mensuravel.
Isto prova que x
_
(A
H
)
x
d e /mensuravel e que y
_
(A
H
)
y
d e
^mensuravel.
A prova de (5.2) segue de
_
XY
A
H
d = (H) = (G) =
_
Y
__
X
(A
G
)
y
d
_
d =
_
Y
(G
y
)d
=
_
Y
(H
y
)d =
_
Y
__
X
(A
H
)
y
d
_
d
e de
_
XY
A
H
d = (H) = (G) =
_
X
__
Y
(A
G
)
x
d
_
d =
_
X
(G
x
)d
=
_
X
(H
x
)d =
_
X
__
Y
(A
H
)
x
d
_
d.
O restante da prova segue como no Teorema de Fubini-Tonelli estendendo
o resultado acima para funcoes simples por linearidade, aproximando f por
funcoes simples. E no caso (b) segue tomando parte positiva e parte negativa
da parte real e imaginaria de f.
Vigesima-Segunda Aula (100 minutos)
142 CAP
ITULO 5. INTEGRAC

AO
Vigesima-Terceira Aula (100 minutos)
5.7 A Medida e a Integral de Lebesgue em R
n
Seja m
1
a Medida de Lebesgue emR
1
e /
1
o seu domnio. EmR
n
= R R,
seja a medida produto de n copias da medida de Lebesgue m
1
. O domnio
de e / = / /.
A Medida de Lebesgue m
n
em R
n
e o completamento de . O Domnio
/
n
de m
n
e a classe dos conjuntos Lebesgue Mensuraveis em R
n
. Tambem
denotaremos por m
n
a sua restric ao a B
R
n = B
R
B
R
. Quando nao
houver perigo de confusao utilizaremos m para denotar m
n
e escreveremos
_
f(x) dx para denotar
_
f dm
n
.
Comecamos estabelecendo as extensoes de alguns resultados que obtivemos
para a medida de Lebesgue emR para o caso ndimensional. No que se segue,
se E =
n
j=1
E
j
e um retangulo em R
n
, nos referiremos aos conjuntos E
j
R
como os lados de E.
Teorema 5.7.1. Suponha que E L
n
.
a) m(E) = infm(U) : U E, U aberto
= supm(K) : S E, U compacto.
b) E = A
1
N
1
= A
2
N
2
onde A
1
e um conjunto F
, A
2
e um conjunto G
e m(N
1
) = m(N
2
) = 0.
c) Se m(E) < , para cada > 0 existe uma colecao nita de retangulos
disjuntos R
j
N
j=1
cujos lados sao intervalos tais que m(E
N
j=1
R
j
) < .
Prova: Pela denic ao de medida produto existe uma famlia cont avel T
j
de retangulos tais que

E
j=1
T
j
e
j=1
m(T
j
) m(E) +.
5.7. A MEDIDA E A INTEGRAL DE LEBESGUE EM R
N
143
Para cada j, aplicando o Teorema 4.4.2 aos lados de T
j
, podemos encontrar
um retangulo U
j
cujos lados sao abertos, U
j
T
j
e m(u
j
) m(T
j
) + 2
j
.
Se U =
j=1
U
j
ent ao U e aberto e m(U)

j=1
m(U
j
)

j=1
m(T
j
) +
m(E) + 2. Isto prova a primeira parte de a). Para a segunda parte
primeiro assumimos que E e limitado. Se E e fechado ent ao E e compacto
e o resultado e imediado. Se nao, dado > 0 escolhemos U E
E tal que
m(U) m(E
E) +. Seja K = E
U. Ent ao K e compacto, K E e
m(K) = m(E) m(E U) = m(E) [m(U) m(UE)]
m(E) m(U) +m(E
E) m(E) .
Se E e ilimitado seja E
j
= Ex R
n
: j [x[ < j e o argumento anterior
implica que para cada > 0 existe K
j
E
j
com m(K
j
) m(E
j
)2
j
. Seja
H
n
=
n
j=0
K
j
. Ent ao H
n
e compacto, H
n
E e m(H
n
) m(
n
j=0
E
j
) .
Como m(E) = lim
n
m(
n
j=0
E
j
) o resultado segue.
b) Pelo tem anterior, se m(E) < , para cada j N, existem U
j
E
K
j
tal que
m(U
j
) 2
j
m(E) m(K
j
) + 2
j
.
Seja V =
j=1
U
j
e H =
j=1
K
j
. Entao H E V e m(V ) =
m(H) = m(E) < . Logo m(V E) = m(EH) = 0 o que prova o re-
sultado para m(E) < . O caso geral agora segue do fato que m e nita
e da adiditivade.
c) Se m(E) < entao U
j
(m(U) = m(
j=1
U
j
) m(U
j
) m(E) + )
tem medida nita para todo j. Como os lados dos U
j
sao unioes contaveis
de intervalos abertos disjuntos, tomando uma subuniao nita adequada obte-
mos retangulos V
j
U
j
cujos lados sao unioes nitas de intervalos tais que
m(V
j
) m(U
j
) 2
j
. Se N e sucientemente grande temos
m(E
N
j=1
V
j
) m(
N
j=1
U
j

N
j=1
V
j
) +m(
N+1
U
j
) < 2
e
m(
N
j=1
V
j
E) m(
N
j=1
U
j
E) <
de forma que m(E
N
j=1
V
j
) < 3. Como
N
j=1
V
j
pode ser escrito como uniao
nita disjunta de retangulos cujos lados sao intervalos o resultado segue.
144 CAP
ITULO 5. INTEGRAC

AO
Teorema 5.7.2. Se f L
1
(m) e > 0, existe uma funcao simples =
N
j=1
a
j
A
R
j
, onde cada R
j
e um produto de intervalos, tal que
_
[f [ < e
existe uma funcao contnua g que se anula fora de um conjunto limitado tal
que
_
[f g[ < .
Prova: Usando a parte c) do teorema anterior aproximamos funcoes simples
por funcoes simples denidas em uniao de retangulos com interior disjuntos
cujos lados sao intervalos e isto para aproximar funcoes simples por func oes
contnuas. Para aproximar func oes L
1
por func oes simples usamos o Teorema
5.3.3.
Teorema 5.7.3. A medida de Lebesgue e invariante por translacao. Mais
precisamente, para a R
n
dena
a
: R
n
R
n
por
a
(x) = x +a.
a) Se E /
n
entao
a
(E) /
n
e m(
a
(E)) = m(E).
b) Se f : R
n
C e Lebesgue mensuravel, entao f
a
. Adicionalmente, se
ou f 0 ou f L
1
(m), entao
_
(f
a
) dm =
_
f dm.
Prova: a) Como
a
e
a
sao contnuas elas preservam os conjuntos de Borel.
A formula m(
a
(E)) = m(E) segue do resultado unidimensional se E e um
retangulo e entao segue para conjuntos de Borel pois m e determinada pela
sua acao em retangulos. Em particular para a colecao dos conjuntos de Borel
E com m(E) = 0 e a armativa a) segue.
b) Se f e Lebesgue mensuravel e B e Borel mensuravel em C, temos
f
1
(B) = E F onde E, N sao Borel mensuraveis, E N e m(N) =
0. Mas
1
a
(F)
1
a
(N) e Borel mensuravel e m(
1
a
(N)) = 0 logo (f
0
)
1
(B) =
1
a
(f
1
(B)) =
a
(f
1
(B)) =
a
(E)
a
(F) /
n
e f
a
e
Lebesgue mensuravel. A igualdade
_
(f
a
) dm =
_
f dmse reduz a igualdade
m(
a
(E)) = m(E) quando f = A
E
. Entao e verdade para funcoes simples
por linearidade e portanto para func oes nao negativas e mensuraveis pela
N
145
denicao de integral. Tomando parte positiva e parte negativa da parte real
e da parte imaginaria o resultado segue para func oes L
1
.
No que se segue compararemos a noc ao de conte udo, muito utililizada nos
cursos de calculo avancado, com a medida de Lebesgue.
Para k Z seja Q
k
a colec ao dos cubos com lados de comprimento 2
k
cujos vertices estao na rede (2
k
Z)
n
; isto e,
n
j=1
[a
j
, b
j
] Q
k
se e somente
se 2
k
a
j
e 2
k
b
j
sao inteiros e b
j
a
j
= 2
k
para todo j. Note que, quaisquer
dois cubos em Q
k
tem interiores disjuntos e os cubos em Q
k+1
sao obtidos
dos cubos de Q
k
dividindo ao meio os lados.
Se E R
n
, denimos as aproximacoes internas e externas de E pela grade
de cubos Q
k
por
A(E, k) = Q Q
k
: Q E,

A(E, k) = Q Q
k
: Q E ,= .
A medida de A(E, k) e 2
nk
vezes o n umero de cubos em Q
k
que estao em
A(E, k) e o denotamos por m(A(E, k)). Os conjuntos A(E, k) crescem com
k enquanto que os

A(E, k) decrescem com k. Portanto os limites
k(E) = lim
k
m(A(E, k)), bark(E) = lim
k
m(barA(E, k))
existem e sao chamados conte udo interior e exterior de E. Se eles sao iguais
o valor comum k(E) e o conte udo de Jordam de E.
Seja
A(E) =
k=1
A(E, k),

A(E) =
k=1

A(E, k).
Entao A(E) E

A(E), A(E) e

A(E) sao conjuntos de Borel e k(E) =
m(A(E)),

k(E) = m(

A(E)) portanto o conte udo de Jordan existe se e so-
mente se
m(

A(E)A(E)) = 0
o que implica que E e Lebesgue mensuravel e m(E) = k(E).
Lema 5.7.1. Se U R
n
e aberto, entao U = A(U). Alem disso, U e uniao
contavel de cubos com interiores disjuntos.
146 CAP
ITULO 5. INTEGRAC

AO
Prova: Se x U seja (x, U
c
) > 0. Se Q Q
k
contendo x ent ao todo
y Q esta a uma distancia de no maximo 2
k
n de x entao Q U se
2
k
n < . Ent ao x A(U, k) A(U). Isto mostra que U = A(U). A

segunda armativa segue escrevendo
A(U) = A(U, 0) (
k=1
A(U, k)A(U, k 1))
e notando que A(u, 0) e uniao cont avel de cubos com interiores disjuntos e o
mesmo vale para o fecho de A(U, k)A(U, k 1) e o resultado segue.
O lema anterior implica que a medida de Lebesgue de um aberto e igual ao
seu conte udo interior. Por outro lado, se F R
n
e compacto, existe M N
tal que Q
0
= x : max
1jn
[x
j
[ 2
M
contem F em seu interior. Se Q Q
k
e Q Q
0
entao out Q F ,= ou Q Q
0
F. Logo
m(

A(F, k)) +m(A(Q
0
F, k)) = m(Q
0
)
Fazendo k vemos que

k(F) + k(Q
0
F) = m(Q
0
). Mas Q
0
F e a
uniao de um conjunto aberto com a fronteira de Q
0
que tem conte udo nulo.
Logo k(Q
0
F) = k(Q
o
0
F) = m(Q
0
F). Segue que a medida de Lebesgue de
qualquer conjunto compacto e igual ao seu conte udo exterior.
Comparando a medida de Lebesgue e o Conte udo de Jordan temos que
O conte udo de Jordan e obtido aproximando E por dentro e por fora
por uniao nita de retangulos.
A medida de Lebesgue de E por outro lado e dada por um processo de
aproximac ao em duas etapas:
Aproximamos E por fora por abertos e por dentro por compactos
Aproximamos abertos por dentro por uniao nita de cubos e com-
pactos por fora por uniao nita de cubos.
Os conjuntos Lebesgue mensuraveis sao exatamente aqueles para os
quais estas aproximacoes exterior-interior e interior-exterior dao a mesma
resposta no limite como vimos no Exerccio 14 do Captulo 4.
Vigesima-Terceira Aula (100 minutos)
N
147
Vigesima-Quarta Aula (100 minutos)
A seguir investigamos o comportamento das integrais de Lebesgue sob
transformacoes lineares.
Identicamos uma transformacao linear T : R
n
R
n
com a matriz
(T
ij
) = (e
i
, Te
j
)), e
j
a base canonica de R
n
.
det(T S) = det(T)det(S), T, S : R
n
R
n
transformac oes lineares.
GL(n, R) = T : R
n
R
n
: T e linear e inversvel
T GL(n, R) e a composta de um n umero nito de transformac oes
lineares dos tipos
T
1
(x
1
, . . . , x
j
, . . . , x
n
) = (x
1
, . . . , cx
j
, . . . , x
n
), c ,= 0,
T
1
(x
1
, . . . , x
j
, . . . , x
n
) = (x
1
, . . . , x
j
+cx
k
, . . . , x
n
), j ,= k,
e
T
1
(x
1
, . . . , x
j
, . . . , x
k
, . . . , x
n
) = (x
1
, . . . , x
k
, . . . , x
j
, . . . , x
n
).
Teorema 5.7.4. Suponha que T GL(n, R).
a) Se f e uma funcao Lebesgue mensuravel em R
n
, entao f T tambem e.
Se f 0 ou f L
1
(m), entao
_
f(x)dx = [detT[
_
f T(x)dx (5.3)
b) Se E /
n
, entao T(E) /
n
e m(T(E)) = [detT[m(E).
Prova: Primeiramente suponha que f e Borel mensuravel. Entao f T e
Borel mensuravel pois T e contnua. Se (5.3) e valida para transformacoes S
e T, ent ao tambem e valida para T S, pois
_
f(x)dx = [detT[
_
f T(x)dx = [detT[ [detS[
_
(f T) S(x)dx
= [detT S[
_
f (T S)(x)dx.
Logo, basta provar (5.3) para transformacoes dos tipos T
1
, T
2
e T
3
.
148 CAP
ITULO 5. INTEGRAC

AO
Para T
3
o resultado segue do Teorema de Fubini e
Para T
1
e T
2
o resultado segue do Teorema de Fubini e das formulas
_
f(t) dt = [c[
_
f(ct) dt e
_
f(t +a)dt =
_
f(t)dt
que por sua vez seguem de m(E+r) = m(E) e m(rE) = [r[m(E). Como
detT
1
= c e detT
2
= detT
3
= 1 (5.3) segue.
Se E e Borel mensuravel T(E) tambem e pois T
1
e contnua e tomando
f = A
T(E)
obtemos que
m(T(E)) =
_
A
T(E)
= [detT
_
A
T(E)
T = [det(T)[
_
A
E
= [det(T)[m(E).
Em particular, a classe dos conjuntos Borel mensuraveis com medida nula e
invariante por T e por T
1
e portanto /
n
tambem e invariante por T e T
1
.
Com isto b) vale. A prova de a) para o caso em que f e Lebesgue mensuravel
agora segue de b) da seguinte forma: b) e a) coincidem para func oes car-
actersticas, disto a) vale para func oes simples por linearidade, para func oes
mensuraveis e nao negativas a) segue do Teorema da Convergencia Monotona
e nalmente para funcoes L
1
o resultado segue tomando parte positiva e neg-
ativa das partes reais e imaginaria.
Corolario 5.7.1. A medida de Lebesgue e invariante por rotacoes.
Prova: Rotacoes sao transformacoes lineares que satisfazem TT
= I onde
T
e a matriz transposta de T. Como detT = detT
temos que [detT[ = 1.

No que se segue vamos obter um teorema de mudanca de vari aveis para o
caso em que a transformac ao nao e linear.
Uma transformac ao G = (g
1
, . . . , g
n
) : R
n
R
n
que e injetiva com
D
x
G =
_
g
i
x
j
(x)
_
inversvel para todo x e chamada umC
1
difeomorsmo
(se G e linear D
x
G = G). Note que G
1
: G() tambem e um
N
149
C
1
difeomorsmo e D
x
(G
1
) = [D
G
1
(x)
G]
1
pelo Teorema da Funcao In-
versa.
Antes de enunciar o teorema vamos estabelecer a notac ao que sera uti-
lizada: se x = (x
1
, . . . , x
n
) R
n
e T = (T
ij
) GL(n, R), entao
|x| = max
1jn
[x
j
[ e |T| = max
1in
n
j=1
[T
ij
[.
Segue que
|Tx| |T| |x|
e que x R
n
: |x a| h e o cubo cujo lado tem comprimento 2h
centrado em a.
Teorema 5.7.5. Suponha que e um subconjunto aberto de R
n
e que G :
R
n
e um C
1
difeomorsmo.
a) Se f e uma funcao Lebesgue mensuravel em G(), entao fG e Lebesgue
mensuravel em . Se f 0 ou f L
1
(m), entao
_
f(x)dx =
_
f G(x)[detD
x
G[dx (5.4)
b) Se E /
n
, entao G(E) /
n
e
m(T(E)) =
_
E
[detDxG[ dx.
Prova: Suponha que f e Borel mensuravel, entao f G e Borel mensuravel
pois G e contnua. Se E e Borel mensuravel entao G(E) e Borel mensuravel
pois G
1
e contnua.
Seja Q um cubo em , digamos que Q = x R
n
: |x a| h. Do
teorema do valor medio
g
j
(x) g
j
(a) =
n
i=1
(x
j
a
j
)(
g
j
x
i
(y))
150 CAP
ITULO 5. INTEGRAC

AO
para algum a no segmento que une x a a. Logo, para x Q
|G(x) G(a)| h(sup
yQ
|D
y
G|).
Em outras palavras G(Q) esta contido num cubo de lado 2hsup
yQ
|D
y
G|
centrado em G(a). Logo
m(G(Q)) (sup
yQ
|D
y
G|)
n
m(Q).
Se T GL(n, R) podemos aplicas esta formula e o Teorema anterior a T
1
G
para obter
m(G(Q)) [detT[m(T
1
(G()) [detT[(sup
yQ
|T
1
D
y
G|)
n
m(Q). (5.5)
Como D
y
G e contnua em y, para cada > 0 podemos escolher > 0 tal que
|(D
z
G)
1
D
y
G| 1 + , y, z Q, |y z| .
Subdividimos Q em subcubos Q
1
, . . . , Q
N
cujos interiores sao disjuntos, cujos
lados sao no maximo e cujos centros sao x
1
, . . . , x
N
. Aplicando (5.5) com
Q substituido por Q
j
e com T = D
x
j
G obtemos
m(G(Q))

N
j=1
m(G(Q
j
))

N
j=1
[detD
x
j
G[(sup
yQ
j
|(D
x
j
G)
1
D
y
G|)
n
m(Q
j
)
(1 +)
N
j=1
[detD
x
j
G[m(Q
j
).
Esta ultima soma e a integral de
N
j=1
[detD
x
j
G[A
Q
j
, que tende uniforme-
mente em Q para [detD
x
G[ quando 0 (ja que D
x
Ge contnua). Portanto,
fazendo 0 e 0 encontramos que
m(G(Q))
_
Q
[detD
x
G[ dx.
Armamos que esta estimativa vale para Q substituido por qualquer conjunto
Borel mensuravel em . De fato, se U e aberto podemos escrever U =
N
151
j=1
Q
j
onde os Q
/
j
s sao cubos com interiores disjuntos. Como as fronteiras
dos cubos tem medida nula, temos
m(G(U))
j=1
m(G(Q
j
))
j=1
_
Q
j
[detD
x
G[ dx
_
U
[detD
x
G[ dx.
Alem disso, se E e um conjunto Borel mensuravel com medida nita
existe uma seq uencia de abertos U
j
com medida nita tal que E
j=1
U
j
e m(
j=1
U
j
E) = 0. Logo, do Teorema da Convergencia Dominada,
m(G(E)) m(G(
j=1
U
j
)) lim
j
m(G(U
j
))
lim
j
_
U
j
[detD
x
G[ dx
_
E
[detD
x
G[ dx.
Finalmente, como m e nita, segue que m(G(E))
_
E
[detD
x
G[ dx para
todo E Borel mensuravel.
Se f =
a
j
A
A
j
e uma func ao simples nao negativa em G(), temos
_
G()
f(x) dx =
a
j
m(A
j
)
a
j
_
G
1
(A
j
)
[detD
x
G[ dx
=
_
f G(x)[detD
x
G[ dx.
O Teorema 5.1.1 e o Teorema da Convergencia Monotona implica que
_
G()
f(x) dx
_
f G(x)[detD
x
G[ dx
para qualquer func ao nao negativa f. Mas o mesmo raciocnio se aplica com
G substitudo por G
1
e f substituda por f G[D
x
G[, de forma que
_
f G(x)[detD
x
G[ dx
_
G()
f G G
1
[detD
G
1
(x)
G[[detD
x
G
1
[dx
=
_
f(x) dx.
Isto estabelece a) para f 0 e o caso f L
1
segue imediatamente. Como
b) e o caso especial de a) quando f A
G(E)
o teorema esta provado para f
152 CAP
ITULO 5. INTEGRAC

AO
Borel mensuravel e E Borel mensuravel. O caso geral segue como no Teorema
5.7.4.
Vigesima-Quarta Aula (100 minutos)
5.8. INTEGRAC

AO EM COORDENADAS POLARES 153
Vigesima-Quinta Aula (100 minutos)
5.8 Integracao em Coordenadas Polares
O sistemas de coordenadas nao lineares mais importantes em R
2
e R
3
sao as
coordenadas polares (x = r cos , y = rsen) e esfericas ( x = rsencos ,
y = rsensen e z = r cos ). O Teorema 5.7.5, aplicado a estes sistemas
de coordenadas, resultam nas formulas familiares (informalmente) dxdy =
rdr d e dxdy dz = r
2
sendr d d. Sistemas de coordenadas semelhantes
existem em R
n
mas eles se tornam mais e mais complicados a medida que a
dimensao cresce. Para a maioria dos propositos, contudo, e suciente saber
que a medida de LEbesgue e efetivamente o produto da medida r
n1
dr em
(0, ) com uma certa medida de superfcie na esfera unitaria (d para n = 2,
send d para n = 3).
Denotaremos a esfera unitaria x R
n
: [x[ = 1 por S
n1
. Se x
R
n
0, as coordenadas polares de x sao
r = [x[ (0, ), x
/
=
x
[x[
S
n1
.
A transformac ao (x) = (r, x
/
) e uma bijecao contnua de R
n
0 em (0, )
S
n1
cuja inversa contnua e
1
(r, x
/
) = rx
/
. Denotamos por m
a medida
de Borel em (0, ) S
n1
unduzida por pela medida de Lebesgue em R
n
,
isto e,
m
(E) = m(
1
(E)).
Mais ainda, denimos a medida =
n
em (0, ) por (E) =
_
E
r
n1
dr.
Teorema 5.8.1. Existe uma unica medida e Borel =
n1
em S
n1
tal que
m
= . Se f e Borel mensuravel em R
n
e f 0 ou f L
1
(m), entao
_
R
n
f(x)dx =
_

0
_
S
n1
f(rx
/
)r
n1
d(x
/
dr. (5.6)
Prova: A equacao (5.6), quando f e uma funcao caractersitica, e simples-
mente uma forma diferente de escrever m
= e ela segue para uma funcao

154 CAP
ITULO 5. INTEGRAC

AO
geral por linearidade e aproximac ao. Portanto precisamos apenas construir
.
Se E e um conjunto de Borel em S
n1
, para a > 0 seja
E
a
=
1
((0, a] E) = rx
/
: 0 r a, x
/
E.
Se (5.6) vale ent ao f = A
E
1
, temos que
m(E
1
) =
_
1
0
_
E
r
n1
d(x
/
) dr = (E)
_
1
0
r
n1
dr =
(E)
n
.
Portanto, denimos (E) por n.m(E
1
). Como a transformacao E E
1
leva
conjuntos de Borel em conjuntos de Borel e comuta com unioes, intersecoes
e complementos, e claro que e uma medida de Borel. Como E
a
e a imagem
de E
1
pela aplicac ao x ax, segue do Teorema 5.7.5 que m(E
a
) = a
n
m(E
1
),
e portanto, se 0 < a < b,
m
((a, b] E) = m(E
b
E
a
) =
b
n
a
n
n
(E) = (E)
_
b
a
r
n1
dr
= ((a, b] E).
Fixe E B
S
n1 e seja /
E
a colec ao das unioes nitas disjuntas de conjuntos
da forma (a, b] E. Pela Proposicao 4.1.5, /
E
e uma algebra em (0, ) E
que gera a algebra /
E
= AE : A B
(0,)
. Pelos calculos precedentes
M
= em /
E
e portanto, pela unicidade de extensao do Teorema 4.3.2,
m
= em /
E
. Mas /
E
: E B
S
n1 e precisamente o conjunto
de todos os Retangulos de Borel em (0, ) S
n1
e, por outra aplicac ao da
unicidade de extensao do Teorema 4.3.2, segue que m
= em todos os
conjuntos de Borel.
E claro que o teorema anterior pode ser estendido para func oes Lebesgue
mensuraveis considerando o completamento da medida .
Corolario 5.8.1. Se f e uma funcao mensuravel em R
n
, nao negativa ou
integravel e tal que f(x) = g([x[) para alguma funcao g em (0, , entao
_
f(x) dx = (S
n1
)
_

0
g(r)r
n1
dr.
5.8. INTEGRAC

AO EM COORDENADAS POLARES 155
Corolario 5.8.2. Sejam c e C constantes positivas e B = x R
n
: [x[ < c.
Suponha que f e uma funcao mensuravel em R
n
.
a) Se [f(x)[ c[x[
em B para alguma a < n, entao f L

1
(B). Contudo,
se f(x) > C[x[
n
em B, entao f / L
1
(B).
b) Se [f(x)[ C[x[
em B
c
para algum a > n, entao f L
1
(B
c
). Con-
tudo, se f(x) C[x[
n
em B
c
, entao f / L
1
(B
c
).
Prova: Aplique o Corolario 5.8.2 a [x[
a
A
B
[x[
a
A
B
c.
Agora calcularemos (S
n1
).

E claro que (S
1
) = 2.
Proposicao 5.8.1. Se a > 0
_
R
n
e
a[x[
2
dx =
_
a
_
n/2
.
Prova: Denote a integral do lado esquerdo por I
n
. Para n = 2, pelo Corolario
5.8.2 temos
I
2
= 2
_

0
re
ar
2
dr =
_
a
_
e
ar
2
r=0
=

a
.
Como e
a[x[
2
=
n
j=1
e
ax
2
j
, o Teorema de Tonelli implica que I
n
= I
n
1
. Em
particular, I
1
= (I
2
)
1/2
e I
n
= (/a)
n/2
.
Uma vez provado este resultado, o mecanismo usado nesta prova pode ser
invertido para calcular (S
n1
) para todo m em termos da funcao .
Proposicao 5.8.2. (S
n1
) =
2
n/2
(n/2)
.
Prova: Pelo Corolario 5.8.2 e pela Proposicao 5.8.1 e a substituicao s = r
2
,
n/2
=
_
R
n
e
[x[
2
dx = (S
n1
)
_

0
r
n1
e
r
2
dr
= (S
n1
)
_

0
s
n
2
1
e
s
ds =
(S
n1
)
2

_
n
2
_
.
156 CAP
ITULO 5. INTEGRAC

AO
Corolario 5.8.3. Se B
n
= x R
n
: [x[ < 1, entao m(B
n
) =

n/2
(
1
2
n+1)
.
Prova: m(B
n
) = n
1
(S
n1
) pela denic ao de . Isto juntamente com
1
2
n(
1
2
n) = (
1
2
n + 1 implica o resultado.
Proposicao 5.8.3. (n +
1
2
) = (n
1
2
)(n
3
2
) (
1
2
)
.
Prova: Por propriedades da funcao temos que
(n +
1
2
) = (n
1
2
)(n
3
2
) (
1
2
)(
1
2
)
e pela Proposicao 5.8.1 e a substituicao s = r
2
,
(
1
2
) =
_

0
s
1/2
e
s
ds = 2
_

0
e
e
2
dr =
_

e
r
2
dr =
Vigesima-Quinta Aula (100 minutos)

Captulo 6
Espacos L
p
Vigesima-Sexta Aula (100 minutos)
Neste captulo xamos um espaco de medida (, /, ) e identicamos
funcoes mensuraveis que sao iguais quase sempre.
6.1 Denicao e Propriedades Elementares
Denicao 6.1.1. Seja p R, 0 < p < ; denimos
L
p
() := f : R [ f e mensuravel e [f[
p
L
1
()
e para p =
L
() = f : R : f e mensuravel e c 0 t.q. [f(x)[ c q.s. em

Tambem denimos, para 0 < p < , | |
p
: L
p
() R
+
por
|f|
p
:=
__
[f(x)[
p
d
_
1/p
e para p =
|f|
= |f|
L
= infc : [f(x)[ c quase sempre em .
Mostraremos que, para 1 p , L
p
() e um espaco vetorial e que | |
p
e uma norma. Observamos que se = N e e a medida da contagem ent ao
L
p
() =
p
.
157
158 CAP
ITULO 6. ESPAC OS L
P
Exerccio: Mostre que se f L
() ent ao
x : [f(x)[ > |f|
tem medida nula, isto e, [f(x)[ |f|
quase sempre em .
Notacao: Se 1 p denotamos por q o n umero denido por
a)
1
p
+
1
q
= 1 se 1 < p <
b) q = 1 se p = e q = se p = 1.
O n umero q e chamado expoente conjugado de p.
Lema 6.1.1 (A desigualdade de Young). Se 1 < p < e a, b sao n umeros
reais nao negativos entao
ab
1
p
a
p
+
1
q
b
q
a igualdade so ocorre quando a
p
= b
q
.
Prova: Se (t) = (1 ) + t t

/
(t) = (1 t
1
) e se 1 < 0
temos que
/
(t) < 0 para t < 1
/
(t) > 0 para t > 1. Logo para t ,= 1 temos
(t) > (1) = 0, de onde (1 ) + t t
(a igualdade so vale se t = 1).

Se b ,= 0 a desigualdade segue substituindo t por a
p
/b
q
e por
1
p
. Se b = 0 o
lema e trivial.
Lema 6.1.2 (Desigualdade de Holder). Sejam f L
p
() e g L
q
() com
1 p . Entao fg L
1
() e
_
[fg[ d |f|
p
|g|
p
.
Prova: Os casos p = 1 e p = seguem imediatamente. Se 1 0, temos
_
[fg[ d

p1
p
|f|
p
L
p
+
1
q
|g|
q
L
q
e minimizando o lado direito da desigualdade acima para (0, ) temos
que o mnimo ocorre para = |f|
1
L
p
|g|
q/p
L
p
e o resultado segue.
Exerccio: Se f
i
L
p
i
(), 1 i k e
1
p
=
1
p
1
+ +
1
p
k
1, ent ao
f = f
1
f
k
L
p
() e
|f|
L
p
k
i=1
|f
i
|
L
p
i
.
Em particular se f L
p
L
q
, 1 p q entao f L
r
(), p r q
e
|f|
L
r |f|
L
p|f|
1
L
q
onde
1
r
=

p
+
1
q
, 0 1.
Teorema 6.1.1. L
p
() e um espaco vetorial e | |
p
: L
p
() R
+
e
uma norma, 1 p .
Prova: Os casos p = 1 e p = sao evidentes (exerccio).
Suponha que 1 < p < e sejam f, g L
p
(). Basta mostrar que
f + g L
p
e que a desigualdade triangular para | |
L
p vale (o restante e
trivial).
[f(x) +g(x)[
p
([f(x)[ +[g(x)[)
p
(2 max[f(x)[, [g(x)[ )
p
= 2
p
max [f(x)[
p
, [g(x)[
p
2
p
( [f(x)[
p
+[g(x)[
p
)
Portanto, f +g L
p
(). Por outro lado
|f +g|
p
L
p
=
_
[f +g[
p1
[f +g[
_
[f +g[
p1
[f[ +
_
[f +g[
p1
[g[
| [f +g[
p1
|
L
p
|f|
L
p +| [f +g[
p1
|
L
p
|g|
L
p
|f +g|
p1
L
p
|f|
L
p +|f +g|
p1
L
p
|g|
L
p
160 CAP
ITULO 6. ESPAC OS L
P
Portanto, |f +g|
L
p |f|
L
p +|g|
L
p.
Exerccio: Mostre o Teorema 2.8 em Adams [1978]. Mostre tambem o
Corolario 2.9.
Exerccio: Mostre que f
n
f em L
() se e somente se existe E /
com (E
c
) = 0 tal que f
n
f uniformemente em E.
Note que se 0 0, b > 0 e 0 0 temos que t
p1
> (a+t)
p1
e integrando de 0 a b obtemos que a
p
+ b
p
> (a + b)
p
. Portanto, se E e F
sao conjuntos disjuntos com medida positiva e nita fazemos a = (E)
1/p
e
a = (F)
1/p
e vemos que
|A
E
+A
F
|
p
= (a
p
+b
p
)
1/p
> a +b = |A
E
|
p
+|A
F
|
p
.
Vigesima-Sexta Aula (100 minutos)
6.1. DEFINIC

Vigesima-Setima Aula (100 minutos)
Teorema 6.1.2 (Teorema de Riesz-Fischer). L
p
() e um espaco de Banach
para 1 p .
Prova: Suponha primeiramente que p = .
Se (f
n
) e de Cauchy em L
, dado k 1 existe N
k
tal que
|f
m
f
n
|
L

1
k
para todo m, n N
k
.
Logo existe E
k
com medida nula tal que
[f
n
(x) f
m
(x)[
1
k
x E
k
.
Seja E = UE
k
, ent ao m(E) = 0 e x E, f
n
(x) e de Cauchy em R,
portanto (f
n
(x)) e convergente (digamos para f(x)) x E e
[f(x) f
n
(x)[
1
k
x E, n N
k
.
Logo |f f
n
|
L

1
k
n N
k
e k > 1. Segue que
|f
n
f|
L
0.
Se 1 p < . Seja (f
n
) de Cauchy. Basta mostrar que (f
n
) tem uma
subseq uencia convergente em L
p
para concluir que (f
n
) e convergente em L
p
.
Seja (f
n
k
) tal que
|f
n
k+1
f
n
k
|
L
p
1
2
k
k 1.
Sejam g
n
(x) =
n
k=1
[f
n
k+1
(x) f
n
k
(x)[ e g = lim
n
g
n
(x). Logo |g
n
|
L
p
1, n e do Teorema da Convergencia Monotona
g(x) < quase sempre em e g L
p
().
Por outro lado, para m n 2 (por simplicidade escreveremos f
k
para
denotar f
n
k
)
[f
m
(x) f
n
(x)[ [f
m
(x) f
m1
(x)[ + +[f
n+1
(x) f
n
(x)[
g(x) g
n1
(x) g(x)
162 CAP
ITULO 6. ESPAC OS L
P
e segue que f
m
(x) e de Cauchy para quase todo x . Se f(x) denota o
limite de f
m
(x) quando este limite existir temos que
= f
m
(x) f(x)
q.s.
0
[f
m
(x) f(x)[ g(x)
_
TCD
=
_
|f
m
f|
L
p 0
f L
p
Proposicao 6.1.1. Se 1 p , o conjunto das funcoes simples f =
N
j=1
a
j
A
E
j
((E
j
) < , 1 j n, se 1 p < ) e denso em L
p
().
Prova: Claramente tais func oes estao em L
p
(). Se f L
p
(), do Teo-
rema 5.1.1 existe uma seq uencia de funcoes simples f
n
f quase sempre
(uniformemente onde em conjuntos onde f e limitada) em com [f
n
[ [f[.
Entao o caso p = esta demonstrado. Para 1 p < , f
n
L
p
e [f
n
f[
p
2
p
[f[
p
L
1
() e pelo Teorema da Convergencia Dominada, |f
n
f|
p
0.
Alem disso, se f
n
=
N
j=1
a
j
A
E
j
onde os E
j
sao disjuntos e os a
j
sao nao
nulos, devemos ter (E
j
) < pois
N
j=1
[a
j
[
p
(E
j
) =
_
[f
n
[
p
d < .
Corolario 6.1.1. Se R
n
e f : R
n
C e uma funcao L
1
(m) tal que
f(x) = 0 se x
c
, entao, dado > 0, existe uma funcao contnua g : R
n
R tal que
_
[f(x) g(x)[ dx < . Alem disso, a restric ao de f a e uma
funcao contnua tal que
_
[f g[ dx < .
Corolario 6.1.2. Se R
n
e 1 p < , entao
C
B
() = f : C : f e contnua e limitada
e denso em L
p
() e portanto L
p
() e separ avel.
A seguir apresentamos os resultados que permitem concluir que os espacos
L
p
() sao reexivos e identicar o dual dos espacos L
p
(), 1 p < .
Teorema 6.1.3. Os espacos L
p
() sao uniformemente convexos e portanto
reexivos.
6.1. DEFINIC

A prova deste resultado sera apresentada no Curso de Analise II. Aqui
apenas utilizaremos este resultado para identicar o dual de espacos L
p
(),
1 p < . Ha outras provas do teorema abaixo que nao envolvem a
necessidade de se saber a priori que os espacos L
p
(), 1 < p < , sao
reexivos mas estas envolvem o Teorema de Radon-Nikodyn que tambem
nao sera abordado neste curso.
Teorema 6.1.4 (de Representac ao de Riesz). Seja 1 < p < e (L
p
)
,
entao existe um unico u L
q
tal que
, f) =
_
uf , f L
p
().
Alem disso |u|
L
q
()
= ||
(L
p
())
. A aplicacao T : L
q
() (L
p
())
denida por Tu = e uma isometria sobre (L

q
())
. Isto permite identicar

L
q
() e (L
p
())
o que e adotado sistematicamente.

Prova: Dena T : L
q
() (L
p
())
por
Tu, f) =
_
uf f L
p
()
entao
[ Tu, f) [ |u|
L
q |f|
L
p
e portanto |Tu|
(L
p
())
|u|
L
q
()
. Por outro lado se f
0
(x) = [u(x)[
p2
u(x),
(f(x) = 0 se u(x) = 0). Ent ao f
0
L
p
e Tu, f
0
) = |u|
q
L
q
e |f
0
|
L
p = |u|
q1
L
q
.
Logo
|Tu|
(L
p
())

[Tu, f
0
)[
|f
0
|
L
p
()
= |u|
L
q
()
e
|Tu|
(L
p
())
= |u|
L
q
()
.
Resta mostrar que T e sobrejetora. Seja X = T(L
q
()). Como X e um
subespaco fechado resta apenas mostrar que X e denso em (L
p
())
.
Seja Jh (L
p
())
[= L
p
() pois este e reexivo] tal que
0 = Jh, Tu) = Tu, h) u L
q
() e
164 CAP
ITULO 6. ESPAC OS L
P
mostremos que h = 0 ( Jh = 0 X e denso em (L
p
())
). Note que
Jh, Tu) = Tu, h) =
_
uh = 0 u L
q
().
Conclumos que h = 0 escolhendo u = [h[
p2
h.
Vigesima-Setima Aula (100 minutos)
Indice Remissivo
Algebra, 74
Completamento, 82
de Borel, 75
Gerada, 75
induzida por funcoes, 106
produto, 76
Algebra, 74
aditividade
enumeravel, 79
nita, 79
Aplicacao Aberta, 51
Arzela-Ascoli
Teorema, 26
Banach
Espacos, 43
Princpio da Contracao, 16
Base
Ortonormal, 62
Bessel
Desigualdade, 60
Bola aberta, 12
Bolzano-Weierstrass
Propriedade, 23
Borel
algebra, 75
Medida, 88
Brouwer
Teorema, 37
Cantor
Conjunto, 96
Func ao, 97
Cantor-Lebesgue
Func ao, 97
Caratheodory
Teorema, 84
Cardinalidade, 8
Categoria de Baire, 36
Cauchy
Seq uencias, 14
Cauchy-Schwarz
Desigualdade, 55
Classe
monotona, 135
Completamento
de uma algebra, 82
de uma medida, 82
Conjuntos
G
, F
, G
, F
, . . ., 75
nitos, 79
165
166

INDICE REMISSIVO
das Partes, 6
abertos, 12
Categoria, 36
Convexos, 56
de Cantor, 96
Enumeraveis, 9
Fechados, 12
Fecho, 13
Imagem e Imagem Inversa, 6
Interior, 13
Lebesgue Mensuraveis em R, 94
Lebesgue Mensuraveis em R
n
, 142
Leis de DeMorgan, 5
Limite Superior e Inferior, 5
Mensuraveis, 83
Nao mensuraveis, 73
Ortonormais, 60
Totalmente Limitados, 23
Conte udo
de Jordan, 145
Interior e Exterior, 145
Contracoes, 16
Convergencia
em Medida, 129
Convexos
Envoltoria, 68
Coordenadas Polares, 153
DeMorgan
Leis, 5
Desigualdade
de Cauchy-Schwarz, 55
de Holder, 39
de Minkowski, 39
de Young, 39
de Bessel, 60
de Holder, 158
de Young, 158
Dual de um Espaco, 47
Elemento Maximal, 7
Enumerabilidade, 9
Envolt oria Convexa, 68
Equicontinuidade, 26
Espacos
L
p
, 157
de Hilbert, 55
de Banach, 43
Duais, 47
Quociente, 67
Vetoriais Normados, 43
Reexivos, 50
Espacos Metricos
Completamento, 19
Completos, 14
de Lindelof, 41
Denic ao e Propriedades, 11
Separaveis, 29
Espacos Vetoriais
Normados
Completamento, 50
Fun cao
de Cantor, 97
INDICE REMISSIVO 167

Gamma, 125
Func oes
Algebra de Fun coes, 32
Contnuas, 13
Func ao
Borel Mensuravel, 104
Caracterstica, 108
Lebesgue Mensuravel, 104
Mensuravel, 103
Simples, 108
Funcionais
Lineares, 47
Extensao, 48
Sublineares, 47
Gram-Schmidt
Ortogonalizacao, 60
Hahn-Banach
Teorema, 48
Hausdor
Princpio Maximal, 7
Heine-Borel
Propriedade, 23
Hilbert
Espacos, 55
Holder
Desigualdade, 39
Identidade
de Polariza cao, 69
do Paralelogramo, 56, 68
Integral
de Riemann, 123
de uma funcao simples, 112
Lebesgue
Medida em R, 94
Medida em R
n
, 142
Lebesgue-Stieltjes
Medida, 92
Lema
da Classe Monotona, 135
Lemma
de Fatou, 115
de Zorn, 7
Limitante Superior, 7
Limite Superior e Inferior, 9
Lindelof
Espacos, 41
Metrica ou Distancia, 11
Medida, 78
nita, 79
Completa, 81
Completamento, 82
da Contagem, 79
de Borel, 88
de Dirac, 79
de Lebesgue em R, 94
de Lebesgue em R
n
, 142
de Lebesgue-Stieltjes, 92
Exterior, 83
Finita, 79
nitamente aditiva, 79
168

INDICE REMISSIVO
Interior, 100
Monotonicidade, 80
Parte Semi-nita, 99
Saturada, 99
Semi-continuidade Inferior, 80
Semi-continuidade Superior, 80
Seminita, 79
Sub-aditividade, 80
Mensuravel
Func ao, 103
Minkowski
Desigualdade, 39
Modos de Convergencia, 128
Monotonicidade, 80
Norma, 43
Ortogonalidade, 56
Ortogonalizacao, 60
Particao, 123
Peano
Teorema, 28
Picard
Teorema, 18
Princpio
da Contra cao de Banach, 16
da Induc ao Transnita, 9
da Limitac ao Uniforme, 53
Maximal de Hausdor, 7
Produto Cartesiano, 5
qualquer, 6
Produto Escalar, 55
Projecao Sobre um Convexo, 56
Projecoes Lineares, 58
Contnuas, 58
Ortogonais, 58
Propriedade
de Bolzano-Weierstrass, 23
de Heine-Borel, 23
Reexividade, 50
Relac oes e Fun coes, 5
Riemann
Integr avel, 123
Series absolutamente convergentes, 44
Schauder
Teorema, 64
Schr oder-Bernstein
Teorema, 8
Seminorma, 43
Seq uencia de Cauchy
em Medida, 129
Seq uencias
Convergentes, 13
de Cauchy, 14
Seq uencia Convergente
em Medida, 129
Stone-Weierstrass
Teorema, 33, 35
Sub-aditividade, 80
Subespacos Ortogonais, 58
Teorema
da Aplicac ao Aberta, 51
INDICE REMISSIVO 169

da Convergencia Dominada, 119
de Aproximac ao de Weierstrass, 30
de Arzela-Ascoli, 26
de Brouwer, 37
de Caratheodory, 84
de Egoro, 130
de Fubini para Medidas Comple-
tas, 139
de Fubini-Tonelli, 138
de Hahn Banach Complexo, 49
de Hahn-Banach Real, 48
de Mudanca de Vari aveis, 149
de Peano, 28
de Picard, 18
de Representa cao de Riesz, 163
de Representac ao de Riesz-Frechet,
60
de Riesz-Fischer, 161
de Schauder, 64
de Schr oder-Bernstein, 8
de Stone-Weierstrass, 33, 35
de Zermello, 8
do Graco Fechado, 53
Teorema da Convergencia Monotona,
113
Teorema de Pitagoras, 56
Transformac ao
Unitaria, 63
Transformac oes Lineares
Graco, 52
Fechadas, 53
Limitadas, 44
Weierstrass
Teorema de Aproximac ao, 30
Young
Desigualdade, 39
Zermello
Teorema, 8
Zorn
Lema, 7
170

INDICE REMISSIVO
Referencias Bibliogracas
[1] Folland, G. B. - Real Analysis, Modern Techniques and Their Applica-
tions, John Willey & Sons, New York, (1999) [Livro Texto].
[2] Goman, C.; Pedrick, G. - First Course in Functional Analysis, Chelsea
Publishin Company, New York, 1983.
[3] Pfaenberger, W.E. A converse to a completeness theorem, American
Mathematical Monthly, Vol. 87, 216 (1980).
[4] Royden, H. L. - Real Analysis, Macmilan Publishing Company, New
York, 1988.
[5] Simmons, G. F. - Introduction to Topology and Modern Analysis,
McGraw-Hill, Tokyo 1963.
171

Analise I

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Analise I

Enviado por

Direitos autorais:

Formatos disponíveis

SMA 5826 - AN

ITULO 1. PRELIMINARES (EXERC

), para qualquer colecao D

sao iguais a um conjunto xo Y denotamos

ITULO 1. PRELIMINARES (EXERC

,= . Mostre o axioma da escolha a partir

UMEROS REAIS ESTENDIDO 9

e enumeravel para cada A ent ao

ITULO 1. PRELIMINARES (EXERC

= sup[(t)[ : t [a, b] para todo C[a, b].

E facil provar que

de um conjunto E X e a intersec ao de todos os fechados

ent ao existe r > 0 tal

(x). Diremos simplesmente

(f(y)) U existe > 0 tal que f

(y). Logo y e interior

(f(x))) e aberto e contem x. Segue que existe > 0 tal que

(f(x))) e f e contnua em x. Logo f e contnua para todo

temos pela Proposic ao 2.1.1 que existe uma se-

Primeira Aula (100 minutos)

E facil vericar que e uma metrica em

E claro que T e uma isometria de X sobre

se e somente se (x, E) = 0 (Proposicao 2.1.1). Diremos

, pois E pode ser coberto por

para algum A e como V

e aberto, existe > 0 tal

. Mas se n e sucientemente grande tal que (x

contradizendo a hipotese sobre B

e compacto. Todo conjunto compacto e fechado pela Proposicao 2.2.1 e

n/ e expresse Q como a uniao de k

E facil ver que metricas equivalentes denem os mesmos abertos, fechados e

(f). De fato, se f T escolhemos

Terceira Aula (100 minutos)

linear com direc ao f(t

linear com direc ao f(t

existe exceto para um n umero nito de pontos e portanto

nao e separavel considere o conjunto o das seq uencias

, exatamente umde qualquer outro elemento de o, nao pode haver

E facil vericar que se A C(X) e uma algebra entao A

ENDICE A: TEOREMA DE BROUWER 37

E facil ver que g : R

E claro que |0| = 0, e se

ITULO 3. ESPAC OS VETORIAIS NORMADOS

L(X, Y ) denota o conjunto das transformacoes lineares e contnuas de X

E claro que T e linear e que

ITULO 3. ESPAC OS VETORIAIS NORMADOS

L(Y, X), isto e, |Tx|

f(x) = f(x) = u(x) R, logo

ITULO 3. ESPAC OS VETORIAIS NORMADOS

tal que f(x) ,= 0,

tal que |f| = 1 e f(x) = |x|.

ITULO 3. ESPAC OS VETORIAIS NORMADOS

com f(x y) ,= 0 isto e f(x) ,= f(y).

tal que f(x) = |x|, |f| = 1 e isto

pois estes espacos tem a mesma dimensao.

e quando este e o caso X e

. Com isto, reexividade passa entao a ser entendida como X = X

ENCIAS DO TEOREMA DE CATEGORIA 51

ITULO 3. ESPAC OS VETORIAIS NORMADOS

. Suponha que |y| <

. O resultado agora segue dos Lemas anteriores.

ENCIAS DO TEOREMA DE CATEGORIA 53

pois sempre que |x| r temos que