Analise Alexandre

SMA 5826 - AN
ALISE I
Alexandre Nolasco de Carvalho
20 de dezembro de 2002
2
Sumario
1 Preliminares (Exerccios) 5
1.1 Teoria de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Relac oes de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 O Conjunto dos N umeros Reais Estendido . . . . . . . . . . . . . . . . . . . 8
2 Espacos Metricos 9
2.1 Denic oes e Propriedades Elementares . . . . . . . . . . . . . . . . . . . . . 9
2.2 Espacos Metricos Completos . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3 Contra coes e Aplicacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.4 Completamento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.5 Conjuntos Totalmente Limitados . . . . . . . . . . . . . . . . . . . . . . . . 18
2.6 O Teorema de Arzela-Ascoli e Aplicacoes . . . . . . . . . . . . . . . . . . . . 20
2.7 Espacos Metricos Separaveis . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.8 Categoria de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.9 Apendice A: Teorema de Brouwer . . . . . . . . . . . . . . . . . . . . . . . . 29
2.10 Lista de Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3 Espacos Vetoriais Normados 33
3.1 Espacos Vetoriais Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 O Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3 Conseq uencias do Teorema de Categoria . . . . . . . . . . . . . . . . . . . . 39
3.4 Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.5 Apendice B: Teorema de Schauder . . . . . . . . . . . . . . . . . . . . . . . . 49
3.6 Lista de Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.7 Primeira Prova . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4 Medidas (Folland) 57
4.1
Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.2 Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.3 Medida Exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.4 Medidas de Borel em R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3
4 SUM
ARIO
5 Integracao 79
5.1 Func oes Mensuraveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.2 Integra cao de Func oes Nao Negativas . . . . . . . . . . . . . . . . . . . . . . 85
5.3 Integra cao de Func oes Complexas . . . . . . . . . . . . . . . . . . . . . . . . 89
5.4 Segunda Prova . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
5.5 Modos de Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
5.6 Medidas Produto e o Teorema de Fubini-Tonelli . . . . . . . . . . . . . . . . 99
5.7 A Medida e a Integral de Lebesgue em R
n
. . . . . . . . . . . . . . . . . . . 106
5.8 Integra cao em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . 114
5.9 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
6 Espacos L
p
117
6.1 Denic ao e Propriedades Elementares . . . . . . . . . . . . . . . . . . . . . . 117
6.2 Apendice - O Dual de L
1
() . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
6.3 Terceira Prova . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
6.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Captulo 1
Preliminares (Exerccios)
Nota. Esta lista de exerccios tem como objetivo recordar fatos elementares que sao necessa-
rios conhecer e serao assumidos. As solucoes desses exerccios podem ser obtidas facilmente
lendo as Secoes 0.1 a 0.5 do Captulo 0 de [2].
1.1 Teoria de Conjuntos
1. Se E
n
: n N e uma famlia enumer avel 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
(b) Relac ao de equivalencia e classes de equivalencia
(c) Relac ao de ordem parcial
(d) Func ao
5
6 CAP
ITULO 1. PRELIMINARES (EXERC
ICIOS)
4. Sejam X e Y conjuntos e f : X Y uma funcao. 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 respectivamente, mostre
que
(a) f
1
(
A
E
) =
A
f
1
(E
), f
1
(
A
E
) =
A
f
1
(E
) para qualquer cole-

c ao 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 colec ao 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
colec ao 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 entao Y
A
,= .
(b) Se A ,= e X
,= , A entao
A
X
,= .
1.2 Relacoes de Ordem
1. Dena relac ao 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.
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 inferior.
(c) Um elemento maximal de E nao precisa ser um limitante superior de E a menos
que E seja totalmente ordenado.
1.3. CARDINALIDADE 7
3. Se X e totalmente ordenado por e todo subconjunto nao vazio E de X possui um
elemento (necessariamente unico) minimal entao 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 totalmente ordenado
maximal.
e o Lemma de Zorn diz que
Se X e parcialmete ordenado e todo subconjunto totalmente ordenado 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.
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 colecao 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).
8 CAP
ITULO 1. PRELIMINARES (EXERC
ICIOS)
3. Mostre o Teorema de Schr oder-Bernstein
Se card(X) card(Y)ecard(Y) card(X) ent ao card(X)= card(Y).
4. Mostre que card(X) < card(T(X)).
5. Mostre que:
(a) Dena conjunto enumeravel
(b) Se X e Y sao enumeraveis ent ao X Y e enumer avel.
(c) Se A e enumeravel e X
e enumer avel para cada A ent ao

A
X
e enu-
meravel.
(d) Se X e enumer avel 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 enumer avel
(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 enumeravel com I
x
= y : y < x enumeravel
x . Mostre que se I e enumeravel 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
ent ao, 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)
_
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 enumer avel entao
xA
f(x) = .
2. Mostre que todo subconjunto aberto de R e uniao enumeravel 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 espaco 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 funcao e uma metrica chamada metrica discreta e (X, ) e um espaco metrico.
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
.
Ent ao (R
n
,
p
) e um espaco metrico, 1 p .
9
10 CAP
ITULO 2. ESPAC OS M
ETRICOS
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 , ent ao (
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, ).
E facil provar que

A uniao (intersec ao) qualquer de conjuntos abertos (fechados) em (X, ) e um conjunto
aberto (fechado) em (X, ).
A intersec ao (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
= .
2.2. ESPAC OS M
ETRICOS COMPLETOS 11
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
, ent ao 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
entao 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)) < 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 funcao 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.
12 CAP
ITULO 2. ESPAC OS M
ETRICOS
A proposic ao a seguir mostra que X = [0, 1] com a metrica usual e completo.
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 convergente. 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 Proposicao 2.1.1
segue que x E e E e completo.
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 seq 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
contracao em X se existe , 0 < < 1, tal que
(Tx, Ty) (x, y), x, y X.
2.3. CONTRAC

OES E APLICAC

OES 13
Teorema 2.3.1 (Princpio da Contracao de Banach). Se X e um espaco metrico com-
pleto 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
.
Primeira Aula (100 minutos)

14 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 soluc ao local de (2.1) por (t
0
, x
0
) se e somente se
e uma func ao 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
t
D um aberto contendo (t
0
, x
0
) tal que f e limitada em D
t
; isto e, [f(t, x)[ A,
(t, x) D
t
.
Seja d > 0 tal que
R = [t
0
d, t
0
+d] B
dA
(x
0
)
D
t
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.
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 contrac ao. De fato: Se B entao T e contnua,
(T)(t
0
) = (x
0
) e
[(T)(t) x
0
[
_
t
t
0
[f(s, (s))[dt
dA, t J,
2.4. COMPLETAMENTO 15
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 contracao em B. Segue do Princpio da Contracao de Banach,
Teorema (2.3.1), que T tem um unico ponto xo e que (2.1) tem uma unica solucao por
(t
0
, x
0
).
2.4 Completamento
Sejam (X, ) e (Y, ) dois espacos metricos. Uma transformacao T : X Y e dita uma
isometria se para todo x, x
t
X temos que
(Tx, Tx
t
) = (x, x
t
).
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 densamente imerso em (

X, ). Assumiremos
que R e um espaco metrico completo.
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 relacao 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.
16 CAP
ITULO 2. ESPAC OS M
ETRICOS
Note que, se x
n
, y
n
A, entao, (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
t
n
, y
t
n
) (x
t
n
, x
n
) + (x
n
, y
n
) + (y
n
, y
t
n
) e (x
n
, y
n
) (x
n
, x
t
n
) + (x
t
n
, y
t
n
) +
(y
t
n
, y
n
) garantem que o limite independe do representante escolhido em x e y.
E facil vericar que e uma metrica em

A.
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.
2.4. COMPLETAMENTO 17
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 subespa co 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
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)
18 CAP
ITULO 2. ESPAC OS M
ETRICOS
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 (Proposic ao 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 conjunto 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 arma-
tivas sao equivalentes:
a) E e completo e totalmente limitado
b) (A propriedade de Bolzano-Weierstrass) Toda seq uencia em E tem uma sub-
seq 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).
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
. E B
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 ent ao b) falha.
Se E nao e completo, existe uma seq uencia de Cauchy x
n
em E que nao tem limite em
2.5. CONJUNTOS TOTALMENTE LIMITADOS 19
E. Nenhuma subseq uencia de x
n
pode convergir em E pois caso contrario 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 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 Proposic ao 2.2.1 e limitado, a recproca em geral e falsa mas e
verdadeira em R
n
como mostra a proposicao 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 mostrar que sub-
conjuntos 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.
20 CAP
ITULO 2. ESPAC OS M
ETRICOS
Consequentemente, a maioria dos resultados relativos a espacos metricos depende nao de
uma particular metrica mas somente de sua classe de equivalencia.
2.6 O Teorema de Arzela-Ascoli e Aplicacoes
Seja (X, ) um espaco metrico compacto. O espaco metrico das func oes contnuas 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 colec ao T de func oes e dita uniformemente limitada se existe M > 0 tal que
[f(x)[ M, x X e f T.
Uma famlia T de func oes em C(X) e chamada equicontnua se dado > 0 existe > 0 tal
que [f(x) f(x
t
)[ < , x, x
t
X com (x
t
, x) < e f T.
Teorema 2.6.1 (Arzela-Ascoli). Se (X, ) e um espaco metrico compacto, um subcon-
junto T de C(X) e relativamente compacto se e somente se e uniformemente limitado e
equicontnuo.
Prova: Suponha que T e relativamente compacto. Entao 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
t
X. Para cada i = 1, 2, . . . , n
[f(x) f(x
t
)[ [f(x) f
i
(x)[ +[f
i
(x) f
i
(x
t
)[ +[f
i
(x
t
) f(x
t
)[.
Escolha 1 j n tal que
sup
xX
[f(x) f
j
(x)[ <

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

3
, 1 i n.
Segue que se (x, x
t
) < ent ao
[f(x) f(x
t
)[ < , 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
2.6. O TEOREMA DE ARZEL
A-ASCOLI E APLICAC

OES 21
e > 0. Escolha > 0 tal que (x, x
t
) < implica [f(x) f(x
t
)[ <

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)

22 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
solucao local passando por (t
0
, x
0
).
Prova: Seja (t
0
, x
0
) D
t
D aberto tal que f e limitada em D
t
e seja A tal que [f(t, x)[ A
para todo (t, x) D
t
. Seja a > 0 tal que R = [t
0
a, t
0
+a] B
aA
(x
0
)
D
t
.
Como f e uniformemente contnua em R, dado > 0 existe > 0 tal que, (t, x), (t
t
, x
t
)
R, [t t
t
[ < e [x x
t
[ < [f(t, x) f(t
t
, x
t
)[ < . 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
t
)[ A[t 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, entao 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
.
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)
2.7. ESPAC OS M
ETRICOS SEPAR
AVEIS 23
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 soluc ao 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.

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 enumer avel 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
.
24 CAP
ITULO 2. ESPAC OS M
ETRICOS
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 contr ario. 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
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 entao
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
_
[.
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
2.7. ESPAC OS M
ETRICOS SEPAR
AVEIS 25
por e
t
, onde e a soma daqueles termos para os quais [x
k
n
[ < (x esta xo mas e
arbitrario) e
t
e a soma sobre os termos remanescentes.

E claro que < /2. Completamos
a prova mostrando que para n sucientemente grande
t
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
t
2K
1kn
[x
k
n
[
_
n
k
_
x
k
(1 x)
nk
= 2K
tt
.
Segue de (2.6) que
tt
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 func oes 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 multiplicac ao f.g de duas func oes alem da multiplicac ao
af de um escalar a por uma funcao 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 interse cao de todas as algebras contendo E e uma algebra, denotada por
A(E), chamada algebra gerada por E.
Exemplo: Os polinomios reais em uma variavel real sao gerados por 1, x.
E facil vericar que se A C(X) e uma algebra ent ao A
tambem e uma algebra.

Teorema 2.7.2 (Stone -Weierstrass Real). Seja X um espaco metrico compacto 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 ent ao [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.
26 CAP
ITULO 2. ESPAC OS M
ETRICOS
Segue do fato que A e fechada em C(X) que [f[ A. A seguir mostremos que se f, g A
entao 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 funcao 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
xyn
.
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
xn
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.8. CATEGORIA DE BAIRE 27
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 func oes
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 con-
junto 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
= .
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 enumer avel de
conjuntos nunca densos, caso contr ario ele e dito de Segunda Categoria em X.

E uma
conseq uencia imediata desta denicao que
28 CAP
ITULO 2. ESPAC OS M
ETRICOS
Proposicao 2.8.1. (X, ) e de segunda categoria nele mesmo se e so se, em qualquer repre-
sentacao 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 categoria nele mesmo.
Prova: Suponha que nao
X =
i=1
F
i
com cada F
i
fechado e de interior vazio. Ent ao 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
contradicao.
2.9. AP
ENDICE A: TEOREMA DE BROUWER 29

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. Entao, 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 R B,
0
(x) = x
para todo x B e |
1
(x)| = 1 para todo x B (da denic ao 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 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 Vari aveis na Integral que I(t) = [B[ para todo
t [0, ).
Para mostrar o teorema quando f e apenas contnua basta utilizar o Corolario 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 funcoes f
k
.
30 CAP
ITULO 2. ESPAC OS M
ETRICOS
2.10 Lista de Exerccios
1. Sejam p, q 1 tais que
1
p
+
1
q
= 1 (se p = 1 (q = 1) entao 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 equivalente à
1
p
_
a
b
_
+
1
q

_
a
b
_1
p
0
e mostre que a func ao 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
.
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.10. LISTA DE EXERC
ICIOS 31
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 (interse cao) 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 con-
junto 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.
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
Integr aveis 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 transformacao. Assuma
que, para algum n
0
N, T
n
0
e uma contracao e mostre que T tem um unico ponto
xo.
32 CAP
ITULO 2. ESPAC OS M
ETRICOS
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 enumeravel. 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.
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) ent ao 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, . . .
ent ao 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, . . .
ent ao f(t) = 0, t [0, 1]. Isto vale em C[1, 1]]?
19. Use o Teorema de Baire para mostrar a existencia de uma funcao contnua, 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, ent ao : X X [0, ), denida por (x, y) =
|x y|, 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.
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 absoluta-
mente convergente se
1
|x
n
| e convergente.
Teorema 3.1.1. Um espaco vetorial normado e completo toda serie absolutamente con-
vergente e convergente.
33
34 CAP
ITULO 3. ESPAC OS VETORIAIS NORMADOS

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 ent ao, 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. 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
. Entao |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)
3.1. ESPAC OS VETORIAIS NORMADOS 35
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 ). Ent ao 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.
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 [4]
Se T L(X, Y ) e S L(Y, Z) ent ao S T L(X, Z) e |S T| |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)
36 CAP

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.
Teorema 3.2.1 (Hahn-Banach). Seja X um espaco vetorial real, p um funcional 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
).
3.2. O TEOREMA DE HAHN-BANACH 37
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 satisfazendo 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).
Teorema 3.2.2 (Hahn-Banach Complexo). Seja X um espaco vetorial complexo, p uma
seminorma em X , M

sev
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). Ent ao 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).
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
.
38 CAP

Prova:
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 ent ao

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 39

Setima Aula (100 minutos)
3.3 Conseq uencias do Teorema de Categoria
Sejam X, Y espacos vetoriais normados e T : X Y uma transformacao 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 possibilidade 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).
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
.
40 CAP

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, entao T e um
isomorsmo; isto e, T
1
L(Y, X).
Seja T : D(T) XY uma transformac ao linear (e claro que D(T)

sev
X). Denimos o
graco de T por
G(T) := (x, Tx) : x D(T) X Y
Uma transformacao 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 Proposicao 2.2.1).
1
e uma
bijecao de G(T) em X e portanto
1
1
e limitado. Entao T =
2

1
1
e limitado.
Teorema 3.3.3 (Princpio da Limitacao 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.
3.3. CONSEQ
ENCIAS DO TEOREMA DE CATEGORIA 41

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. Ent ao 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.
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)
42 CAP

Oitava Aula (100 minutos)
3.4 Espacos de Hilbert
Seja H um espaco vetorial sobre K. Um produto escalar e uma funcao , ) : H H K
tal que
u, v) = v, u) para todo u, v H.
au +bu
t
, v) = au, v) +bu
t
, v) para todo u, u
t
, 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
t
) = au, v) +
bu, v
t
) para todo u, v, v
t

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
t
, u +tv
t
) = u, u) + 2tReu, v
t
) +t
2
v
t
, v
t
).
Como a expressao do lado direito e uma funcao quadratica de t com uma ou nenhuma raiz
real
0 4(Reu, v
t
))
2
4u, u)v
t
, v
t
),
e se v
t
= e
iargu,v)
v temos que
0 4[u, v)[
2
4u, u)v, v),
a desigualdade segue.
A funcao | | : 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
.
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
.
3.4. ESPAC OS DE HILBERT 43
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 + (1 t)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 paralelogramo 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
+ 2d
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
+ 2d
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. Ent ao, 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.
44 CAP

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
, tw P
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.
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 projecao ortogonal sobre M. Uma projec ao 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
|.
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 ent ao
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 denicao de P
M
segue que P
2
M
= P
M
.
Sabemos da Proposic ao 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)
46 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 trans-
formacao 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. 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 ent ao 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 indepen-
dente 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 ortonormal 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 enu-

meravel de termos nao nulos e converge independentemente da ordem dos termos.
Prova:
a c Se x H, seja
1
,
2
, . . . qualquer enumerac ao dos
t
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 .
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 notacao 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 colec ao de todos os conjuntos
ortonormais, ordenado pela inclusao, tem um elemento maximal. A maximalidade e equiva-
lente à 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 ortonor-
mal enumer avel e neste caso toda base ortonormal de H e enumeravel.
48 CAP

Prova: Se x
n
e um conjunto enumeravel denso em H, discartando recursivamente qualquer
x
n
que e combinac ao linear de x
1
, . . . , x
n1
obtemos uma seq uencia linearmente independente
y
n
e aplicando o Processo de Ortogonalizacao 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
t
n
s con coecientes em
um subconjunto enumer avel 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 enumeravel. 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 sobrejetora 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 transformac ao unitaria.
Proposicao 3.4.3. Seja e
A
uma base ortonormal de X. Entao a correspondencia
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) ent ao
A
[f()[
2
< ,
e pelo teorema de Pitagoras as somas parciais da serie
A
f()u
(da qual apenas um

n umero enumeravel 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)
3.5. AP
ENDICE B: TEOREMA DE SCHAUDER 49

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 restricao 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 resultado.
Teorema 3.5.1 (Schauder). Seja E um espaco vetorial normado, K E compacto e
convexo. Entao qualquer func ao 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 normado 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
| .
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.
50 CAP

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.
3.6. LISTA DE EXERC
ICIOS 51
3.6 Lista de Exerccios
1. Se X e um espaco vetorial normado sobre K ent ao as operac oes
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 [4]).
5. Mostre que, se X, Y, Z sao espacos vetoriais normados, T L(X, Y ) e S L(Y, Z)
ent ao 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.
Ent ao, dado 0 < < 1, existe x
X, |x
| = 1 tal que inf

mM
|x
m| 1 .
Sugestao: Se y XM e = inf
mM
|y m| seja m
tal que |y m
| (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 x y M. Denote por X/M
o conjunto das classes de equivalencia de elementos de 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 multiplica cao por escalar :
KX X por (x+M)+(y +M) = (x+y) +M e (x+M) = x+M entao
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.
52 CAP

9. Mostre que se X e um espaco vetorial normado de dimensao innita ent ao 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 ent ao a bola fechada unitaria
em X nao e compacta.
10. Seja X um espaco de Banach e P uma projecao. 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 Desigualdade de Holder. (
p
)
j

q
e uma isometria linear sobrejetora.
12. Mostre que:
Se X, Y sao espacos vetoriais, T : X Y e uma transformacao linear e C X e
convexo ent ao, T(C) Y e convexo.
Se X e um espaco vetorial normado e C X e convexo entao 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 envolt oria 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 func ao | | : 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.
3.6. LISTA DE EXERC
ICIOS 53
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 identidade do par-
alelogramo e um espaco com produto interno dado pela 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 ent ao N
,
(M +N)
+N
20. Seja H um espaco de Hilbert e P uma projecao 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.
54 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 ortonormal no es-

paco 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, . . . .
(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.7. PRIMEIRA PROVA 55
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 = jx
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 contra cao
ent ao, 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 transformac ao linear compacta
ent ao 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 ent ao A
1
L(X) e compacta.
7. Se X e um espaco de Banach e T L(X) e tal que |T| < 1 entao 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
|
ent ao, S tem inversa limitada.
56 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 Integral 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 funcao : 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 vericar esta incon-
sistencia para n = 1 comecamos denindo uma relac ao de equivalencia em [0, 1] declarando
x y se x y e racional. Seja N um 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.
57
58 CAP
ITULO 4. MEDIDAS (FOLLAND)

Uma vez que ha conjuntos tao estranhos que nao podemos medir o seu conte udo, vamos
procurar construir uma tal funcao 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 enumer avel.
Note que
j
E
j
= (
j
E
c
j
)
c
implica que uma algebra (-algebra) e fechada por intersecao
nita (enumer avel). 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 enumer avel
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:
Se X e um conjunto nao vazio qualquer , X e T(X) sao algebras.
Se X e nao-enumer avel
/ = E X : E e enumeravel ou E
c
e enumer avel
e uma algebra.
A intersec ao de qualquer famlia de algebras em um conjunto X e ainda uma al-
gebra.
Se X e um conjunto nao vazio e c T(X) existe uma unica menor algebra /(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 con-
juntos 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 intersecao 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 enumeravel de G
B
X
4.1.
ALGEBRAS 59
5. F
= U T(X) : U e intersec ao enumeravel 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,
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 conjunto 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 colec ao de conjuntos nao vazios, X =
A
X
o seu produto carte-

siano 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 gerada pela famlia

de conjuntos
A
E
: E
.
Prova: Se E
, entao
1
(E
) =
A
E
onde E
= X
para ,= ; por outro lado
A
E
=
A
(E
) e o resultado segue.
60 CAP

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 colec ao E

X
:
1
(E) /(T
1
) e uma algebra em X
que contem c
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 Proposicao 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
. Entao 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
enumeravel 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)
4.2. MEDIDAS 61
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 ent ao 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), ent ao AB =
J
j=1
(A C
j
) e
A B = (AB) B, onde estas unioes sao disjuntas, logo AB / e A B /. Da,
segue por inducao que se A
1
, . . . , A
n
c, ent ao
n
j=1
A
j
/; de fato, por induc ao, podemos
assumir que A
1
, . . . , A
n1
sao disjuntos, e ent ao
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
=
Jm
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 func ao : /
[0, ] tal que
i) () = 0.
ii) Se E
j
j=1
e uma seq uencia disjunta de conjuntos em /, ent ao
j=1
E
j
_
=
j=1
(E
j
).
A segunda propriedade acima e chamado aditividade. Ela implica aditividade nita:
ii) se E
1
, . . . , E
n
sao conjuntos disjuntos em /, entao
n
j=1
E
j
_
=
n
j=1
(E
j
),
62 CAP

porque podemos tomar E
j
= para j > n. A func ao que satisfaz i) e ii)
t
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 mensuraveis. 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-enumer avel, e /e a algebra dos subconjuntos E tais que E e enumeravel
ou tem complementar enumer avel. A funcao denida em / por (E) = 0 se E e
enumer avel e (E) = 1 se E tem complementar enumer avel e uma medida.
Se X e um conjunto innito e / = T(X). Dena (E) = 0 se E e nito, (E) =
se E e innito. Ent ao e uma medida nitamente aditiva mas nao e uma medida.
Teorema 4.2.1. Seja (X, /, ) um espaco 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 conjuntos 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
).
4.2. MEDIDAS 63
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
; ent ao 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.
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 entao (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)
64 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 enumer avel, / tambem o e. Se E F /
onde E / e F N ^, podemos assumir que E N = . Ent ao 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 construir medidas.
Como motiva cao 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
aproximacoes 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 noc ao de area exterior e feita da seguinte maneira. Uma 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 noc ao de medida esta denida (tais como retangulos) e entao
aproximar conjuntos arbitrarios pelo exterior por uniao enumer avel de elementos de c. A
construcao precisa e feita como segue.
4.3. MEDIDA EXTERIOR 65
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
. Entao, 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
-mensuravel se
(E) =
(E A) +
(E A
c
), para todo E X.
E claro que a desigualdade
(E)
(E A) +
(E A
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)
(EA
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 restricao 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)),
66 CAP

e portanto, de (4.1),
(E)
(E (A B)) +
(E (A B)
c
).
Segue que A B / 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) < ,
(E B
n
) =
(E B
n
A
n
) +
(E B
n
A
c
n
) =
(E A
n
) +
(E B
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), 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)
4.3. MEDIDA EXTERIOR 67
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
).
Entao 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).
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. Entao para qualquer E /,
(E) =
j=1
(E A
j
) =
j=1
(E A
j
) = (E),
logo = .
68 CAP

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 comprimento. Comecamos com
uma construc ao 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 em R e seja F(x) = (, x]. Entao F e
crescente (pelo Teorema 4.2.1 a)) e contnua à direita (pelo Teorema 4.2.1 d)). Alem disso, se
b > a (a, b] = F(b) F(a). Nosso procedimento sera inverter este processo e construir uma
medida a partir de uma func ao crescente e contnua à direita F. O caso especial F(x) = x
nos dara a medida de comprimento usual para intervalos.
Os blocos de construcao de nossa teoria serao os intervalos abertos à esquerda e fechados
à direita ((a, b] ou (a, ), a < b < ). Estes intervalos serao chamados h-intervalos.
Claramente a interse cao de h-intervalos e um h-intervalo e o complementar de h-intervalo e
uniao disjunta de h-intervalos. Pela Proposic ao 4.1.5 a colec ao / das unioes nitas disjuntas
de h-intervalos e uma algebra e pela Proposic ao 4.1.1, a algebra gerada por / e B
R
.
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], ent ao, 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
4.4. MEDIDAS DE BOREL EM R 69
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
).
Fazendo n , obtemos que
0
(I)

j=1
0
(I
j
). Para provar a desigualdade 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)
70 CAP

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 Proposic ao 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 desenvolvida, 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, ent ao =
F
onde F(x) = (, x]
que difere da func ao 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 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 regularidade uteis
que passamos a investigar. Nesta discussao xamos uma medida de Lebesgue-Stieltjes em
R associada a uma func ao 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 cont avel 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.
72 CAP

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
.
Seja V =
j=1
U
j
and H =
j=1
K
j
. Ent ao 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 Men-
suraveis sera denotado por /. Tambem nos referiremos à restricao de m a B
R
como medida
de Lebesgue.
Entre as propriedades mais signicantes da medida de Lebesgue esta a invari ancia por
translacao 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 translacao 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 translac ao e homotetias
e que m(E +s) = m(E) e m(rE) = [r[m(E) para todo E /.
A relacao das propriedades de teoria da medida com as propriedades topologicas de
subconjuntos de R e delicada e contem surpresas. Considere os seguintes fatos. Todo con-
junto unitario em R tem medida de Lebesgue nula e portanto a uniao contavel de conjuntos
unitarios tem medida nula. Em particular m(Q) = 0. Seja r
j
j=1
uma enumeracao 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, enquanto que um conjunto fechado e nunca denso (topologicamente
pequeno) pode ter medida grande.
Decima-Quarta Aula (100 minutos)
74 CAP

Decima-Quinta Aula (100 minutos)
A famlia dos conjuntos com medida de Lebesgue nula inclui nao somente os conjuntos
enumeraveis 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
representacoes: 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
, entao 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 intersec ao 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 n1, z
j
= 1, j n. Ent ao 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
t
=
j=1
c
t
j
3
j
C tal que c
j
= c
t
j
, 1 j n e c
t
j
= 0 (c
t
j
= 2) se c
j
= 2 (c
j
= 0) para j > n.
Entao 0 < [c c
t
[ < .
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 comprimento
1
3
2
e em seguida 4 intervalos
4.5. EXERC
ICIOS 75
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 func ao f da prova do teorema anterior. Primeiramente vemos que se
x, y C e x < y, entao 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 cres-
cente 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 mensuravel. Para ver
isto note que todo subconjunto do conjunto de Cantor e um conjunto Lebesgue mensuravel
com medida nula e portanto todo subconjunto 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 colec ao das unioes enumeraveis de elementos de c ou seu complemento. Para
, se tem um predecessor imediato , entao c
e a colecao das unioes enumeraveis de

elementos de c
ou seus complementos, caso contr ario seja c
=
<
c
. Ent ao
Proposicao 4.4.4. /(c) =
.
Prova: A inducao 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, ent ao card(/(c)) = c.
4.5 Exerccios
1. Seja / uma algebra innita, ent ao.
a) / contem uma seq uencia innita de conjuntos nao vazios e disjuntos
b) card(/) c.
76 CAP

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, ent ao / e a uniao das algebras geradas por T
quando T percorre todos os subconjuntos contaveis 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, /).
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 /, entao (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, entao e saturada.
b)

/ e uma algebra.
4.5. EXERC
ICIOS 77
c) Dena sobre

/ por (E) = (E) se E /, (E) = caso contr ario. Entao
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, entao
(E (
j=1
A
j
)) =
j=1
(E A
j
) para todo E X.
13. Seja / T(X) uma algebra, A
a colec ao das unioes enumeraveis de elementos em

/, e /
a colec ao das interse coes enumer aveis 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
.
15. Seja uma medida nita em (X, /), e seja
a medida exterior induzida por .

Suponha que E X satisfaz
(E)
(X) (mas nao que E /.

a) Se A, B / e A E = B E, entao (A) = (B).
b) Seja /
E
= AE : A /, e dena a func ao sobre /
E
por (EA) = (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 associada. Entao
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-mensur avel descrito no incio do captulo,
ent ao (E) = 0.
78 CAP

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(EI) >
m(I).
Captulo 5
Integracao
A integral de Riemann de uma func ao 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 func oes que aproximam f e sao
constantes em sub-intervalos de [a, b]. Semelhantemente, sobre qualquer espaco de medida
existe uma noc ao de integral para func oes que sao, em um sentido a ser especicado, local-
mente constantes, e esta nocao pode ser estendida a funcoes mais gerais. Neste captulo,
desenvolvemos 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 func oes mensuraveis
que sao os morsmos na categoria dos espacos mensuraveis.
Recorde que qualquer func ao f : X Y induz uma transformac ao f
1
: T(Y )
T(X), denida por f
1
(E) = x X : f(x) E, que preserva unioes, interse coes 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 funcao 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 funcao mensuravel.
Proposicao 5.1.1. Se ^ e gerada por c, entao f : X Y e (/, ^)mensuravel 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 funcao contnua
f : X Y e (B
X
, B
Y
)mensuravel.
79
80 CAP
ITULO 5. INTEGRAC

AO
Prova: Como f e contnua ent ao 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 funcao f : X K sera chamada /mensura-
vel 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
)mensuravel).
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 arma-
tivas 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.
Prova: Segue das Proposicoes 4.1.1 e 5.1.1.
Decima-Quinta Aula (100 minutos)
5.1. FUNC

OES MENSUR
AVEIS 81
Decima-Sexta Aula (100 minutos)
As vezes queremos considerar a mensurabilidade de uma func ao em subconjuntos 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 mensuravel 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
t
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

projec oes 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 composicao de func oes mensuraveis. Recip-

rocamente, se f
e mensuravel, ent ao para todo E
, f
1
(E
) = f
1
(E
) / e f
e mensuravel pela Proposicao 5.1.1.
Corolario 5.1.2. A funcao f : X C e /mensuravel se e somente se Ref e Imf sao
/mensur aveis.
Prova: Isto segue pois B
C
= B
R
2 = B
R
B
R
pela Proposicao 4.1.4.
E conveniente, em alguns casos, considerar func oes 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.
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 Proposicao 4.1.4, F e (/, B
KK
)mensuravel pela proposic ao 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 cuida-
dos com as indeterminacoes e 0..
82 CAP
ITULO 5. INTEGRAC

AO
Proposicao 5.1.5. Seja (X, /) um espaco mensuravel e f
j
e uma seq 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) ent ao 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 men-
suraveis.
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 Proposic ao 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 funcoes que sao os blocos de construcao da teoria de in-
tegracao. Suponha que (X, /) e um espaco mensuravel. Se E X, A
E
denota a funcao
caracterstica de E.

E facil vericar que A
E
e mensuravel se e somente se E e mensuravel.
Uma func ao simples e uma combinac ao linear nita de funcoes caractersticas de elementos
de / (funcoes simples nao assumem os valores ). Equivalentemente f : X K e
simples 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 83
Na representac ao de funcoes simples f consideraremos sempre que os coecientes sao
distintos e um deles pode ser o zero de forma que f e combinacao linear nita de func oes
caractersticas de conjuntos disjuntos cuja uniao e X.
E claro que se f e g sao funcoes simples, entao f + g e fg sao func oes simples. Agora
mostramos que funcoes mensuraveis quaisquer podem ser aproximadas por func oes simples.
Teorema 5.1.1. Seja (X, /) um espaco 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
Fn
.
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 funcoes simples e nao negativas que convergem para g
+
, g
, h
+
e h
monotonicamente. A seq uencia de func oes simples

n
com
n
=
+
n

n
+i(
+
n

n
)
tem as propriedades desejadas.
Se (X, /, ) e um espaco de medida, podemos desejar eliminar conjuntos com medida
nula de nossas considerac oes no estudo de funcoes mensuraveis. Neste caso a nossa tarefa e
mais simples se a medida e completa.
Proposicao 5.1.6. As sequintes implicacoes 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.
84 CAP
ITULO 5. INTEGRAC

AO
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 mensuravel, ent ao 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 prov avel 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 denic ao de se f = A
E
onde E / e portanto se f e uma func ao
simples /-mensuravel. Para o caso geral, escolha a seq uencia
n
de func oes simples /-
mensuraveis que converge pontualmente 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 g = lim
n
A
X\N
.
Entao g e mensuravel pelo Corolario 5.1.4 e g = f em N
c
.
Decima-Sexta Aula (100 minutos)
5.2. INTEGRAC

AO DE FUNC

OES N
AO NEGATIVAS 85
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 convencao que 0. = 0). Note que a denicao acima independe da representac ao
escolhida (ja que cada E
j
/, 1 j n, e sua uniao disjunta e X). Note ainda
_
d
pode ser . Se A /, entao A
A
=
n
j=1
a
j
A
E
j
A
e uma funcao 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 func ao 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
. Entao 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
),
e a mesma argumentacao 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.
86 CAP
ITULO 5. INTEGRAC

AO
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 proposic ao 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 denic ao 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.
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). Entao 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 Proposic ao 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 func oes 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 func oes simples que convergem monotonicamente para f e o Teo-
rema 5.1.1 a) garante que tal seq uencia existe. Como uma primeira aplicac ao, estabelecemos
a aditividade da integral.
5.2. INTEGRAC

AO DE FUNC

OES N
AO NEGATIVAS 87
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 func oes f
1
e f
2
. Pelo Teorema 5.1.1 podemos encontrar
seq uencias
j
e
j
de func oes simples que convergem monotonicamente para f
1
e f
2
.
Entao
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 induc ao
_
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.
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 monotonicamente 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, entao
f fA
E
= 0 quase sempre logo, pelo Teorema da Convergencia 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 funcoes em L
+
que converge pontual-
mente 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.
88 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
En
f e
1
n
(E
n
) =
_
1
n
A
En
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 89
Decima-Oitava Aula (100 minutos)
5.3 Integracao de Func oes Complexas
Seja (X, /, ) um espaco de medida. A integral denda na sec ao 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 funcao 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 integravel 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 espa co 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 integr avel se

_
[f[ d <
. Mais geralmente, se E /, f e integravel em E se
_
E
[f[ d < . Como [f[
[Ref[ +[Imf[ 2[f[, f e integr avel se e somente se Ref e Imf sao ambas integr aveis, e neste
caso denimos
_
f d =
_
Ref d +i
_
Imf d.
Segue facilmente que o espaco das func oes complexas integraveis e um espaco vetorial com-
plexo 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
.
90 CAP
ITULO 5. INTEGRAC

AO
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
_
[fg[ 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, ent ao pela Proposic ao 5.3.2, para cada E /,
_
E
f d
_
E
g d

_
[f g[A
E
d = 0,
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 Proposicao mostra que para o proposito de integracao nao faz qualquer diferenca se
alterarmos funcoes em conjuntos de medida nula. De fato, podemos integrar funcoes f que
estao denidas apenas em um conjunto mensuravel 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 integrac ao.
Com isto em mente denimos L
1
() como o espaco das classes de equivalencias de func oes
integraveis denidas quase sempre em X, onde f e g sao consideradas 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 Proposicao 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.
5.3. INTEGRAC

AO DE FUNC

OES COMPLEXAS 91
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 redenic ao em um conjunto de medida nula) pelas
Proposic oes 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 func oes reais e neste caso temos
que g +f
n
0 e g f
n
0 quase sempre. 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 Proposic ao 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); entao
_
[
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 Proposic ao
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 funcoes contnuas que se anulam fora de (a, b). Pondo estes
fatos juntos, obtemos o resultado desejado.
Decima-Oitava Aula (100 minutos)
92 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
(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 men-
suravel, 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
(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 relacao
entre as Integrais de Lebesgue e de Riemann emR. 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 func ao 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
),
5.3. INTEGRAC

AO DE FUNC

OES COMPLEXAS 93
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 particoes 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 In-
tegravel em [a, b] pois f e limitada), e
_
b
a
f(x)dx =
_
[a,b]
fdm.
b) A func ao 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 Integravel. 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), 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
. Entao g f G, e pelo Teorema da Convergencia Dominada ,
_
Gdm =
_
gdm =
_
b
a
f(x)dx. Portanto
_
(Gg)dm = 0 e G = g quase sempre, logo G = f
quase sempre. Como G e mensuravel (e limite de uma seq uencia de func ao 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). Algumas integrais de
Riemann improprias (aquelas que sao absolutamente convergente) podem ser interpretadas
94 CAP
ITULO 5. INTEGRAC

AO
diretamente como integrais de Lebesgue, mas outras ainda requerem o processo de passagem
ao limite. Por exemplo, se f e Riemann integravel 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
Dominada), mas o limite do lado direito pode existir sem que f seja integravel (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 funcao 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 particao.
Para calcular a integral 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 secao introduzindo a funcao Gamma , que desempenhara 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 ent ao 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 funcao Fatorial para nao inteiros.
Decima-Nona Aula (100 minutos)
5.4. SEGUNDA PROVA 95
5.4 Segunda Prova
2.
a
Nome:
19.11.2002
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), ent ao a algebra /
A
(c A) T(A) gerada por
c A coincide com
/(c) A = B A : B /(c).
Solucao:

E claro que c A /(c) A e que /(c) A e uma algebra. Logo
/(c A) /(c) A.
Por outro lado, se S = B /(c) : B A /(c A) /(c), entao S e uma
algebra e c S. Logo /(c) S. Isto implica que /(c) A /(c A) e o
resultado segue.
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).
Solucao:

E claro que f
1
(/(c)) e uma algebra que contem f
1
(c) e portanto
/(f
1
(c)) f
1
(/(c)).
Por outro lado, se S = B /(c) : f
1
(B) /(f
1
(c)) /(c), ent ao S e uma
algebra que contem S. Logo /(c) S. Isto implica que f
1
(/(c)) /(f
1
(c))
96 CAP
ITULO 5. INTEGRAC

AO
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 /ent ao 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, entao = 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 funcoes mensuraveis em um espaco mensuravel (X, /),
ent ao
x : limf
n
(x) existe
e um conjunto mensuravel.
7. Seja f : [a, b] [0, ) uma funcao 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.
5.5. MODOS DE CONVERG
ENCIA 97
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, ent ao 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
, entao alguma subseq uencia converge para f quase
sempre.
Outro modo de convergencia que e frequentemente utilizado e a convergencia 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.
98 CAP
ITULO 5. INTEGRAC

AO
Prova: Se E
n,
= x : [f
n
(x) f(x)[ , entao
_
[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
entao (E
j
) 2
j
. Se F
k
=
j=k
E
j
, entao (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
. Ent ao (F) = 0
e se x / F ent ao x F
c
k
para algum k e fazemos f(x) = lim
j
g
j
A
F
c(x) se x X. Entao
f e mensuravel e g
j
f quase sempre. 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 99
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 A B em X Y 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 colec ao / 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. Entao
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
)]
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)
100 CAP
ITULO 5. INTEGRAC

AO
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 restric ao 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 constucao 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
, ent ao a colecao / 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 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 BA
3
com B /
1
/
2
e A
3
/
3
) e
1

2

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 ysecao E
y
de E por
E
x
= y Y : (x, y) E, E
y
= x X : (x, y) E.
Tambem, se f e uma func ao em X Y denimos a xsecao f
x
e a ysecao 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 colecao 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
((A B)
x
= B se x A e vazio caso contrario e (A B)
y
= A se y B e vazio caso
contrario).
Se E
j
j
1 entao
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 ysec oes. 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 enumer avel decrescente. Claramente, 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.
102 CAP
ITULO 5. INTEGRAC

AO
Claramente e E estao em c(E) e E c(F) se e somente se F c(E).
Vamos mostrar que c(E) e uma classe monotona. Seja F
n
uma seq uencia crescente
de conjuntos em c(E). Ent ao
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) entao
j=1
F
j
c(E). Logo
c(E) e uma classe monotona.
Note que, se E /, entao 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 entao 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 entao, 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 relacionam 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 ^, ent ao (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 suciente 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 mensuraveis
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 X Y 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),
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)
104 CAP
ITULO 5. INTEGRAC

AO
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 func oes simples que convergem pontualmente e monotonicamente
para f como no Teorema 5.1.1. Segue do Teorema da Convergencia Monotona que
as funcoes g
n
(x) =
_
(f
n
)
x
d e h
n
(y) =
_
(f
n
)
y
d convergem monotonicamente 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
+
(XY ) e
_
f d(
) < , entao 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 integr aveis.
Se f L
1
(), entao 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 A E / /^ pela Proposicao 5.6.1, mas A E A Y e (A Y ) = 0.
Se quisermos trabalhar com medidas completas podemos, e claro, considerar o comple-
tamento de . Neste caso a relac ao entre a mensurabilidade de uma func ao em X Y 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, /^, ).
a) Se f L
+
(X Y, ), entao f
x
e ^mensuravel para quase todo x e f
y
e /mensu-
ravel 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 ^mensuravel. 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)
106 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 em R
1
e /
1
o seu domnio. Em R
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 em R 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 contavel T
j
de retangulos
tais que
E
j=1
T
j
e
j=1
m(T
j
) m(E) +.
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
entao 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 entao
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
= E x 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
. Entao
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.
5.7. A MEDIDA E A INTEGRAL DE LEBESGUE EM R
N
107
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 resultado 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 cont aveis de intervalos abertos disjuntos,
tomando uma subuniao nita adequada obtemos 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.
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 func oes simples por func oes contnuas. Para aproximar funcoes L
1
por
funcoes 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 ent ao 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) = EF 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
108 CAP
ITULO 5. INTEGRAC

AO
e f
a
e Lebesgue mensuravel. A igualdade
_
(f
a
) dm =
_
f dm se reduz a igualdade
m(
a
(E)) = m(E) quando f = A
E
. Ent ao e verdade para func oes simples por linearidade
e portanto para func oes nao negativas e mensuraveis pela denic ao de integral. Tomando
parte positiva e parte negativa da parte real e da parte imaginaria o resultado segue para
funcoes 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 colecao 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 aproximac oes 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 somente 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.
Prova: Se x U seja (x, U
c
) > 0. Se Q Q
k
contendo x entao todo y Q esta a uma
distancia de no maximo 2
k
n de x ent ao 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.
N
109
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
ent ao 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 compactos por fora
por uniao nita de cubos.
Os conjuntos Lebesgue mensuraveis sao exatamente aqueles para os quais estas aprox-
imac oes exterior-interior e interior-exterior dao a mesma resposta no limite como vimos
no Exerccio 14 do Captulo 4.
Vigesima-Terceira Aula (100 minutos)
110 CAP
ITULO 5. INTEGRAC

AO
Vigesima-Quarta Aula (100 minutos)
A seguir investigamos o comportamento das integrais de Lebesgue sob transformac oes
lineares.
Identicamos uma transformac ao 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
transformacoes 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 transformacoes 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
.
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.
N
111
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 caractersticas, disto a) vale para funcoes simples por linearidade,
para funcoes mensuraveis e nao negativas a) segue do Teorema da Convergencia Monotona
e nalmente para funcoes L
1
o resultado segue tomando parte positiva e negativa das partes
reais e imaginaria.
Corolario 5.7.1. A medida de Lebesgue e invariante por rotacoes.
Prova: Rotac oes sao transformac oes 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
transformacao nao e linear.
Uma transformacao 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 um C
1
difeomorsmo (se G e linear D
x
G = G). Note
que G
1
: G() tambem e um C
1
difeomorsmo e D
x
(G
1
) = [D
G
1
(x)
G]
1
pelo
Teorema da Func ao Inversa.
Antes de enunciar o teorema vamos estabelecer a notac ao que sera utilizada: se x =
(x
1
, . . . , x
n
) R
n
e T = (T
ij
) GL(n, R), ent ao
|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 f G 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)
112 CAP
ITULO 5. INTEGRAC

AO
b) Se E /
n
, entao G(E) /
n
e
m(T(E)) =
_
E
[detDxG[ dx.
Prova: Suponha que f e Borel mensuravel, ent ao f Ge Borel mensuravel pois Ge contnua.
Se E e Borel mensuravel ent ao 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))
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 uniformemente em Q para
[detD
x
G[ quando 0 (ja que D
x
G e contnua). Portanto, fazendo 0 e 0
encontramos que
m(G(Q))
_
Q
[detD
x
G[ dx.
N
113
Armamos que esta estimativa vale para Q substituido por qualquer conjunto Borel men-
suravel em . De fato, se U e aberto podemos escrever U =
j=1
Q
j
onde os Q
t
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 Borel mensuravel e E Borel
mensuravel. O caso geral segue como no Teorema 5.7.4.
Vigesima-Quarta Aula (100 minutos)
114 CAP
ITULO 5. INTEGRAC

AO
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 coorde-
nadas polares de x sao
r = [x[ (0, ), x
t
=
x
[x[
S
n1
.
A transformac ao (x) = (r, x
t
) e uma bijecao contnua de R
n
0 em (0, ) S
n1
cuja
inversa contnua e
1
(r, x
t
) = rx
t
. Denotamos por m
a medida de Borel em (0, ) S

n1
induzida por e pela medida de Lebesgue em R
n
, isto e,
m
(E) = m(
1
(E)),
de modo que, pelo Teorema 5.7.5,
m(F) =
_
F
dm =
_
(F)
dm
= m
((F)).
Mais ainda, denimos a medida =
n
em (0, ) por (E) =
_
E
r
n1
dr, E (0, ).
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
t
)r
n1
d(x
t
dr. (5.6)
Prova: A equacao (5.6), quando f e uma func ao caracterstica, e simplesmente uma forma
diferente de escrever m
= , pois
m
(E) = m(
1
(E)) =
_
A
1
(E)
(x)dm(x) =
_
A
E
(x)dm(x)
=
_

0
_
S
n1
A
1
(E)
(rx
t
) r
n1
d(x
t
) dr =
_

0
_
S
n1
A
E
r
(x
t
) r
n1
d(x
t
) dr
=
_

0
(E
r
) r
n1
dr = (E),
5.8. INTEGRAC

AO EM COORDENADAS POLARES 115
onde E
r
= x
t
S
n1
: rx
t
E. A equac ao (5.6) segue, para uma func 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
t
: 0 r a, x
t
E.
Se (5.6) vale ent ao tomando f = A
E
1
, temos que
m(E
1
) =
_
1
0
_
E
r
n1
d(x
t
) dr = (E)
_
1
0
r
n1
dr =
(E)
n
.
Portanto, denimos (E) por n.m(E
1
). Como a transformac ao E E
1
leva conjuntos de
Borel em conjuntos de Borel e comuta com unioes, intersec oes 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 colecao 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
aplicacao 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 funcoes 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.
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 < 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 > n, entao f L
1
(B
c
). Contudo, se f(x)
C[x[
n
em B
c
, entao f / L
1
(B
c
).
116 CAP
ITULO 5. INTEGRAC

AO
Prova: Aplique o Corolario 5.8.2 a [x[
a
A
B
e a [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 func ao .
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
)
2
_

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

_
n
2
_
.
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
r
2
dr =
_

e
r
2
dr =
5.9 Exerccios
Captulo 6
Espacos L
p
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|
= 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
.
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.
117
118 CAP
ITULO 6. ESPAC OS L
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
(t) = (1 t
1
) e se 1 < 0 temos que
t
(t) < 0 para t < 1
t
(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
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
)
6.1. DEFINIC

AO E PROPRIEDADES ELEMENTARES 119
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
Portanto, |f +g|
L
p |f|
L
p +|g|
L
p.
Vigesima-Quinta Aula (100 minutos)
120 CAP
ITULO 6. ESPAC OS L
P
Vigesima-Sexta Aula (100 minutos)
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
.
Teorema 6.1.2 (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, ent ao f
n
(x) e de Cauchy em R e portanto
(f
n
(x)) e convergente (digamos para f(x)) x E. Alem disso
[f(x) f
n
(x)[
1
k
x E, n N
k
e |f f
n
|
L

1
k
n N
k
, k > 1. Segue que
|f
n
f|
L
0.
Se 1 p < . Seja (f
n
) uma seq uencia de Cauchy em L
p
(). 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 L
p
() e g(x) < quase sempre em . 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)
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
6.1. DEFINIC

AO E PROPRIEDADES ELEMENTARES 121
Proposicao 6.1.1. Se 1 p , o conjunto das funcoes simples f =
n
j=1
a
j
A(E
j
) e
denso em L
p
() ((E
j
) < , 1 j N, se 1 p < ).
Prova: Se f L
p
(), do Teorema 5.1.1 existe uma seq uencia de func oes 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 um conjunto limitado 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 restricao de g a e uma funcao contnua tal que
_
[f g[ dx < .
Corolario 6.1.2. Se R
n
e 1 p < , entao
LUC() = f : C : f e limitada e uniformemente contnua
e denso em L
p
() e portanto L
p
() e separavel.
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
(), 1 < p < , sao uniformemente convexos e portanto
reexivos.
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 Representacao 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
()
122 CAP
ITULO 6. ESPAC OS L
P
entao, da Desigualdade de Holder,
[ 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)[
q2
u(x), (f(x) = 0 se
u(x) = 0). Entao 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
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-Sexta Aula (100 minutos)
6.2 Apendice - O Dual de L
1
()
Seja R
n
um aberto
Teorema 6.2.1. Seja (L
1
())
. Entao, existe uma unica u L
() tal que
, f) =
_
uf , f L
1
().
Alem disso ||
(L
1
())
= |u|
L
()
.
Observacao: Isto permite identicar (L
1
())
e L
() atraves da isometria T = u onde

u L
() e tal que , f) =
_
uf, f L
1
(). No que se segue identicaremos (L
1
())
e L
().
Prova: Comecemos mostrando a existencia de u. Se xa w L
2
() tal que K ,
w
K
> 0 q.s. em K. A aplicac ao
L
2
() f , wf)
6.2. AP
ENDICE - O DUAL DE L
1
() 123
e um funcional linear contnuo sobre L
2
(). Logo, existe v L
2
() tal que
() , wf) =
_
v f f L
2
().
Facamos u(x) =
v(x)
w(x)
, que faz sentido ja que w(x) > 0 x e u e mensuravel.
Mostremos que u L
() e que |u|
L
()
||
(L
1
())
. De () temos
()
vf
||
(L
1
())
|wf|
L
1
()
f L
2
().
Seja C > ||
(L
1
())
. Mostremos que o conjunto
A = x : [u(x)[ > C
tem medida nula, assim resultara que u L
() e que |u|
L
()
||
(L
1
())
.
Argumentamos por reducao ao absurdo. Se a medida de A e nao nula existe

A A
mensuravel tal que 0 < [
A[ < . Substituindo em () a funcao

f(x) =
_
_
1 se x

A e u(x) > 0
1 se x

A e u(x) < 0
0 se x
A.
resulta
_
A
[u[w ||
(L
1
())
A
w, o qual e absurdo pois implicaria
C
_
A
w ||
(L
1
())

_
A
w C ||
(L
1
())
.
Recapitulando, construmos u L
() com |u|
L
()
||
(L
())
, tal que
( ) , wf) =
_
uwf , f L
2
().
De onde resulta
, g) =
_
ug , g C
0
().
De fato, se g C
0
() entao f = g/w L
2
() (ja que w > 0 sobre supp g ) e
substitumos f em ( ). Como C
0
() e denso em L
1
() deduzimos que
, g) =
_
ug , g L
1
()
e [, g)[ [u|
L
()
|g|
L
1
()
||
L
1
()
|u|
L
()
e consequentemente ||
(L
1
())
=
|u|
L
()
. A unicidade de u segue do Corolario anterior.
124 CAP
ITULO 6. ESPAC OS L
P
6.3 Terceira Prova
3.
a
Nome:
18.12.2002
01
a
2.0
02
a
2.0
03
a
2.0
04
a
2.0
05
a
2.0
Total 10.0
1. Seja T : (X, /) (Y, ^) uma transformac ao mensuravel e seja uma medida em
/. Dena = T
1
em ^ por
(A) = (T
1
(A)), A ^.
Se f : (Y, ^) (R, B(R)) e A ^, entao
_
T
1
(A)
f(T(w))d(w) =
_
A
f(w)d(w),
isto e, se uma das integral existe ent ao, a outra tambem existe e as duas integrais sao
iguais
Sugestao: mostre o resultado primeiramente para funcoes caractersticas, em seguida
para funcoes simples, depois para funcoes nao negativas e conclua por linearidade.
2. Seja f uma func ao mensuravel nao negativa em (X, /, ). Se 0 0) e |g
k
g
k+1
|
p
<
1
4
k
, k = 1, 2, . . ., ent ao g
k
converge quase sempre.

Sugestao: Utilize o exerccio anterior para = 2
k
e f = [g
k
g
k+1
[ e depois o
tem anterior.
6.4. EXERC
ICIOS 125
4. Seja R
n
um aberto, m a medida de Lebesgue em e : L
1
(, m) K um
funcional linear contnuo. Mostre que existe uma unica u L
(, m) tal que
, f) =
_
uf dm, f L
1
(, m).
Alem disso ||
L(L
1
(,m),K)
= |u|
L
(,m)
. Conclua que o dual de L
1
(, m) e L
(, m).
5. (a) Seja X um espaco de Banach. Suponha que existe uma famlia disjunta nao
enumer avel O
i
iI
de abertos nao vazios em X. Mostre que X nao e separavel.
(b) Seja R
n
um conjunto aberto. Mostre que L
(, m) nao e separavel.
6.4 Exerccios
1. Mostre que se f L
() ent ao
x : [f(x)[ > |f|
tem medida nula, isto e, [f(x)[ |f|
quase sempre em .
2. Se f
i
L
p
i
(), 1 i k e
1
p
=
1
p
1
+ +
1
p
k
1, entao 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 ent ao 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.
3. Mostre o Teorema 2.8 e o Corolario 2.9 em [1].
4. 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.
5. Seja X um espaco de Banach. Suponha que existe uma famlia disjunta nao enumer avel
O
i
iI
de abertos nao vazios em X, ent ao X nao e separavel.
6. Seja R
n
um conjunto aberto. Mostre que L
() nao e separavel.
Indice Remissivo
Algebra, 58
Completamento, 64
de Borel, 58
Gerada, 58
induzida por funcoes, 81
produto, 59
Algebra, 58
aditividade
enumeravel, 61
nita, 61
Aplicacao Aberta, 39
Arzela-Ascoli
Teorema, 20
Banach
Espacos, 33
Princpio da Contracao, 13
Base
Ortonormal, 47
Bessel
Desigualdade, 46
Bola aberta, 10
Bolzano-Weierstrass
Propriedade, 18
Borel
algebra, 58
Medida, 68
Brouwer
Teorema, 29
Cantor
Conjunto, 74
Func ao, 75
Cantor-Lebesgue
Funcao, 75
Caratheodory
Teorema, 65
Cardinalidade, 7
Categoria de Baire, 27
Cauchy
Seq uencias, 11
Cauchy-Schwarz
Desigualdade, 42
Classe
monotona, 101
Completamento
de uma algebra, 64
de uma medida, 64
Conjuntos
G
, F
, G
, F
, . . ., 58
nitos, 62
das Partes, 6
abertos, 10
Categoria, 27
Convexos, 43
de Cantor, 74
Enumer aveis, 8
Fechados, 10
Fecho, 10
Imagem e Imagem Inversa, 6
Interior, 10
Lebesgue Mensuraveis em R, 72
Lebesgue Mensuraveis em R
n
, 106
Leis de DeMorgan, 5
Limite Superior e Inferior, 5
Mensuraveis, 65
Nao mensuraveis, 57
Ortonormais, 46
126
INDICE REMISSIVO 127

Totalmente Limitados, 18
Conte udo
de Jordan, 108
Interior e Exterior, 108
Contracoes, 12
Convergencia
em Medida, 97
Convexos
Envoltoria, 52
Coordenadas Polares, 114
DeMorgan
Leis, 5
Desigualdade
de Cauchy-Schwarz, 42
de Holder, 30
de Minkowski, 30
de Young, 30
de Bessel, 46
de Holder, 118
de Young, 118
Dual de um Espaco, 36
Elemento Maximal, 6
Enumerabilidade, 8
Envoltoria Convexa, 52
Equicontinuidade, 20
Espacos
L
p
, 117
de Hilbert, 42
de Banach, 33
Duais, 36
Quociente, 51
Vetoriais Normados, 33
Reexivos, 38
Espacos Metricos
Completamento, 15
Completos, 11
de Lindelof, 32
Denicao e Propriedades, 9
Separaveis, 23
Espacos Vetoriais
Normados
Completamento, 38
Funcao
de Cantor, 75
Gamma, 94
Funcoes
Algebra de Func oes, 25
Contnuas, 11
Funcao
Borel Mensuravel, 80
Caracterstica, 82
Lebesgue Mensuravel, 80
Mensuravel, 79
Simples, 82
Funcionais
Lineares, 36
Extensao, 36
Sublineares, 36
Gram-Schmidt
Ortogonalizac ao, 46
Hahn-Banach
Teorema, 36
Hausdor
Princpio Maximal, 7
Heine-Borel
Propriedade, 18
Hilbert
Espacos, 42
Holder
Desigualdade, 30
Identidade
de Polarizac ao, 53
do Paralelogramo, 42, 52
Integral
de Riemann, 93
de uma funcao simples, 85
Lebesgue
Medida em R, 72
Medida em R
n
, 106
Lebesgue-Stieltjes
128

INDICE REMISSIVO
Medida, 70
Lema
da Classe Monotona, 101
Lemma
de Fatou, 87
de Zorn, 7
Limitante Superior, 6
Limite Superior e Inferior, 8
Lindelof
Espacos, 32
Metrica ou Distancia, 9
Medida, 61
nita, 62
Completa, 63
Completamento, 64
da Contagem, 62
de Borel, 68
de Dirac, 62
de Lebesgue em R, 72
de Lebesgue em R
n
, 106
de Lebesgue-Stieltjes, 70
Exterior, 64
Finita, 62
nitamente aditiva, 62
Interior, 77
Monotonicidade, 62
Parte Semi-nita, 76
Saturada, 76
Semi-continuidade Inferior, 62
Semi-continuidade Superior, 62
Seminita, 62
Sub-aditividade, 62
Mensuravel
Func ao, 79
Minkowski
Desigualdade, 30
Modos de Convergencia, 97
Monotonicidade, 62
Norma, 33
Ortogonalidade, 42
Ortogonalizac ao, 46
Partic ao, 92
Peano
Teorema, 22
Picard
Teorema, 14
Princpio
da Contrac ao de Banach, 13
da Inducao Transnita, 8
da Limitacao Uniforme, 40
Maximal de Hausdor, 7
Produto Cartesiano, 5
qualquer, 6
Produto Escalar, 42
Projecao Sobre um Convexo, 43
Projecoes Lineares, 44
Contnuas, 44
Ortogonais, 44
Propriedade
de Bolzano-Weierstrass, 18
de Heine-Borel, 18
Reexividade, 38
Relac oes e Funcoes, 5
Riemann
Integr avel, 93
Series absolutamente convergentes, 33
Schauder
Teorema, 49
Schr oder-Bernstein
Teorema, 8
Seminorma, 33
Seq uencia de Cauchy
em Medida, 97
Seq uencias
Convergentes, 11
de Cauchy, 11
Seq uencia Convergente
em Medida, 97
Stone-Weierstrass
Teorema, 25, 27
INDICE REMISSIVO 129

Sub-aditividade, 62
Subespacos Ortogonais, 44
Teorema
da Aplicac ao Aberta, 39
da Convergencia Dominada, 91
de Aproxima cao de Weierstrass, 24
de Arzela-Ascoli, 20
de Brouwer, 29
de Caratheodory, 65
de Egoro, 98
de Fubini para Medidas Completas, 105
de Fubini-Tonelli, 103
de Hahn Banach Complexo, 37
de Hahn-Banach Real, 36
de Mudanca de Vari aveis, 111
de Peano, 22
de Picard, 14
de Representa cao de Riesz, 121
de Riesz-Fischer, 120
de Schauder, 49
de Schr oder-Bernstein, 8
de Stone-Weierstrass, 25, 27
de Zermello, 7
do Graco Fechado, 40
Teorema da Convergencia Monotona, 86
Teorema de Pitagoras, 42
Transformac ao
Unitaria, 48
Transformac oes Lineares
Graco, 40
Fechadas, 40
Limitadas, 34
Weierstrass
Teorema de Aproximacao, 24
Young
Desigualdade, 30
Zermello
Teorema, 7
Zorn
Lema, 7
130

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

Analise Alexandre

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Analise Alexandre

Uploaded by

Copyright:

Available Formats

SMA 5826 - AN

: A e uma famlia de conjuntos indexada

ITULO 1. PRELIMINARES (EXERC

) para qualquer cole-

), para qualquer colec ao D

sao iguais a um conjunto xo Y denotamos

,= . Mostre o axioma da escolha a partir do Teorema de Zermello.

ITULO 1. PRELIMINARES (EXERC

e enumer avel para cada A ent ao

= 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 de (X, )

se e somente se qualquer bola aberta

entao existe r > 0 tal

(x). Diremos simplesmente que f e contnua quando f e contnua para todo x X

(y). Logo y e interior a f

(f(x))) e aberto e contem x. Segue que existe

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

temos pela Proposic ao 2.1.1 que existe uma seq uencia x

Primeira Aula (100 minutos)

E facil vericar que e uma metrica em

se e somente se (x, E) = 0 (Proposic ao 2.1.1). Diremos que E X e

e aberto, existe > 0 tal que B

e compacto. Todo conjunto

(f). De fato, se f T escolhemos y

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 constitudas

, exatamente umde qualquer outro elemento de o, nao pode

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

tambem e uma algebra.

2.8 Categoria de Baire

ENDICE A: TEOREMA DE BROUWER 29

E facil ver que g : R

E claro que |0| = 0, e se

ITULO 3. ESPAC OS VETORIAIS NORMADOS

E claro que T e linear e que

ITULO 3. ESPAC OS VETORIAIS NORMADOS

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

Se p e uma seminorma e f : X R, a desigualdade f p e equivalente a [f[ p pois

tal que f(x) ,= 0, f

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 implica que

e chamado completamento de X. Em particular se X e

pois estes espacos tem a mesma dimensao.

e quando este e o caso X e dito reexivo.

ENCIAS DO TEOREMA DE CATEGORIA 39

ITULO 3. ESPAC OS VETORIAIS NORMADOS

, logo se |y| < 2r

. O resultado agora segue dos Lemas anteriores.

ENCIAS DO TEOREMA DE CATEGORIA 41

pois sempre que |x| r temos que x +x

Corolario 3.3.2. Se X, Y sao espacos vetoriais normados e T

Corolario 3.3.4. Seja X um espaco de Banach e B

f(x) e limitado. Entao B

. Segue do Princpio da Limitacao

ITULO 3. ESPAC OS VETORIAIS NORMADOS

ITULO 3. ESPAC OS VETORIAIS NORMADOS

= N(P) dizemos que

cuja distancia a u e mnima; isto