Analise

Analise Funcional
Jose Ferreira Alves

Marco de 2002
Faculdade de Ciencias da Universidade do Porto
Departamento de Matematica Pura
ii
Introducao
Estas notas foram elaboradas para a disciplina de Complementos de Analise do
Mestrado em Matematica - Fundamentos e Aplicacoes, da Faculdade de Ciencias da
Universidade do Porto, nos anos lectivos de 1998/99 e 1999/00. Os alunos provinham
maioritariamente de uma licenciatura em ensino da matematica, onde usualmente
tem um contacto bastante reduzido com a Analise Funcional.
Nos objectivos tracados para esta disciplina, alem de se pretender apresentar
uma abordagem a alguns dos topicos fundamentais da Analise Funcional, pretende-
se tambem fornecer material para uma introducao à Teoria Ergodica, area em grande
desenvolvimento e de sobeja importancia numa moderna perspectiva do estudo dos
Sistemas Dinamicos e Mecanica Estatstica. A legitimidade para esta introduc ao e
redobrada: em primeiro lugar, pela roupagem analtica da maior parte dos seus re-
sultados e, em segundo lugar, pelos proprios objectivos do mestrado, que se pretende
em fundamentos e aplicacoes da Matematica.
No primeiro captulo sao revistos alguns dos conceitos fundamentais de Topologia
Geral, que supomos serem, na sua grande maioria, do conhecimento dos alunos. A
sua apresentac ao e feita com a inten cao de uniformizar linguagem e notac ao e,
eventualmente, introduzir algum topico desconhecido. Com o intuito de apresentar
esses resultados de maneira natural, e nao deixar unica e simplesmente uma lista
de resultados importantes, em um ou outro dos assuntos abordados os resultados
apresentados vao para alem das necessidades posteriores.
O segundo captulo consiste de uma introduc ao à Teoria da Medida e Integrac ao,
que se supoe seja do desconhecimento dos alunos. Pretende-se que essa abordagem
seja sintetica, nao so porque a materia daria, por si so, para cobrir varios cursos,
como tambem porque se pretende que esta primeira abordagem se concretize de
forma leve e sem grandes abstracc oes. Na parte de Teoria da Medida, alem do
material necessario para a Teoria de Integrac ao, introduzem-se as mnimas ferra-
mentas necessarias para poder construir alguns exemplos interessantes de espacos
de medida, dentre os quais se destaca a medida de Lebesgue em R
n
. A Teoria de
Integrac ao contem uma secc ao de comparac ao entre os integrais de Riemann e Le-
besgue. Resolvemos inclu-la, nao so porque relaciona estes dois tipos de integrac ao
cando assim legitimado o uso das tecnicas de integrac ao do calculo em R
n
,
como tambem deixa claro o caracter mais geral do integral de Lebesgue.
iii
iv
Os dois captulos seguintes consistem de uma apresentacao de resultados basicos
da teoria de espacos normados e espacos com produto interno, com particular a-
tencao a ser dispensada aos espacos de Banach e espacos de Hilbert. O leque de
assuntos para uma introduc ao e bastante vasto e a escolha revelou-se difcil tambem
pelas limitac oes de tempo disponvel. Apresentadas as denic oes e resultados indis-
pensaveis para uma introducao ao assunto, optamos posteriormente por resultados
com aplicac oes no captulo nal.
O derradeiro captulo, sobre transformac oes que preservam medida, pode ser
visto, nao so como uma aplicac ao de resultados e tecnicas dos captulos anteriores à
Teoria Ergodica, como tambem, pela sua linguagem e conte udo, mais um captulo
em Analise Funcional. A sua apresentac ao e auto-suciente e nao sao necessarios
conhecimentos previos em Teoria Ergodica ou Sistemas Dinamicos para a sua com-
preensao.
Porto, 3 de Abril de 2003
Conte udo
1 Noc oes topologicas 1
1.1 Espacos topologicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Func oes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Compactidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4 Espacos metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2 Medida e integracao 11
2.1 Espacos de medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2 Extensoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3 Func oes integraveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.4 Integrais de Riemann e Lebesgue . . . . . . . . . . . . . . . . . . . . 31
2.5 Espacos L
p
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.6 Continuidade absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.7 Medidas em espacos metricos . . . . . . . . . . . . . . . . . . . . . . 41
2.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3 Espacos normados 47
3.1 Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 Aplicacoes lineares limitadas . . . . . . . . . . . . . . . . . . . . . . . 48
3.3 Funcionais lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.4 Espacos duais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4 Espacos com produto interno 67
4.1 Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.2 Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.3 Bases ortonormais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.4 Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.5 Operadores lineares contnuos . . . . . . . . . . . . . . . . . . . . . . 79
4.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
v
vi CONTE
UDO
5 Transformacoes que preservam medida 87
5.1 Denic ao e exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.2 Recorrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.3 Transformac oes contnuas . . . . . . . . . . . . . . . . . . . . . . . . 91
5.4 Ergodicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
Bibliograa 103
Indice alfabetico 104

Captulo 1
Nocoes topologicas
Neste captulo faremos uma apresentac ao dos resultados de ndole topologica es-
senciais para a compreensao dos captulos seguintes. Salvo algumas excepc oes, os
resultados serao apresentados sem demonstracao, uma vez que estas podem ser
facilmente encontradas nas referencias bibliogracas; as excepcoes correspondem
a alguns lemas tecnicos que aqui sao formulados num contexto algo particular com
o intuito de ser facilmente usados mais adiante.
1.1 Espacos topologicos
Seja X um conjunto e T um conjunto de partes de X. Diremos que T e uma
topologia em X se forem satisfeitos os seguintes axiomas:
1. T e X T ;
2. se A, B T , ent ao A B T ;
3. se A
T para todo em algum conjunto de ndices I, ent ao
I
A
T .
Se T for uma topologia num conjunto X, denominaremos o par (X, T ) de espaco
topologico e os elementos de T de abertos da topologia. Mais geralmente, e para
simplicar, falaremos do espaco topologico X e dos abertos de X. Dizemos que um
subconjunto B de uma topologia T e uma base da topologia T se todo elemento
de T puder ser escrito como uniao de elementos de B.
Exemplo 1.1.1. O conjunto das partes de um conjunto X, T = T(X), dene uma
topologia em X. Tal topologia, em que todo subconjunto de X e um aberto, diz-se
a topologia discreta. Uma outra topologia (no caso de X ter mais do que um
elemento) que podemos sempre considerar sobre X e T = , X. Tal topologia
diz-se a topologia grosseira.
1
2 CAP
ITULO 1. NOC

OES TOPOL
OGICAS
Se T
1
e T
2
sao duas topologias sobre um mesmo conjunto X, dizemos que que T
1
e mais fraca do que T
2
se T
1
T
2
. Segue imediatamente das denicoes dadas que
a topologia grosseira e a mais fraca das topologias sobre um determinado conjunto
e a topologia discreta nao e mais fraca do que nenhuma outra.
Exemplo 1.1.2. Seja (X, T ) um espaco topologico e Y um subconjunto de X.

E
imediato vericar que | = A Y : A T dene uma topologia em Y a qual
dizemos ser a topologia induzida em Y pela topologia T . Dizemos que (Y, |) e
um subespaco topologico de (X, T ).
Seja (X, T ) um espaco topologico. Um conjunto V X diz-se uma vizinhanca
de um ponto x X, se existir algum aberto A tal que x A V . Dizemos que
1
x
T(X) e um sistema fundamental de vizinhacas do ponto x X, se todo
elemento de 1
x
for uma vizinhanca de x e toda vizinhanca de x contiver algum
elemento de 1
x
. Dizemos que um espaco topologico (X, T ) satisfaz o primeiro
axioma de numerabilidade, se todo ponto de X tem um sistema fundamental de
vizinhancas numer avel. Um espaco topologico (X, T ) satisfaz o segundo axioma
de numerabilidade, se existe alguma base numer avel da topologia T .
Proposicao 1.1.3. Um espaco topologico que satisfaca o segundo axioma de nume-
rabilidade tambem satisfaz o primeiro axioma de numerabilidade.
Um conjunto F X diz-se fechado quando o seu complementar for um conjunto
aberto. Resulta imediatamente da denic ao de topologia que:
1. e X sao fechados;
2. a uniao nita de fechados e um fechado;
3. qualquer interseccao de fechados e um fechado.
Se A X, dizemos que x A e um ponto interior de A, se existe algum
aberto B T tal que x B A. Denimos o interior de A como o conjunto
dos pontos interiores de A. Dizemos que x X e um ponto aderente de A, se
qualquer vizinhanca de x intersecta A. Denimos A, a aderencia de A, como o
conjunto dos pontos aderentes de A.
Proposicao 1.1.4. Sejam X um espaco topologico e A X.
1. O interior de A coincide com a uniao dos seus subconjuntos abertos.
2. A aderencia de A coincide com a interseccao dos conjuntos fechados que o
contem.
Corolario 1.1.5. Sejam X um espaco topologico e A X.
1.2. FUNC

OES CONT
INUAS 3
1. A e aberto se e so se A coincide com o seu interior.
2. A e fechado se e so se A coincide com a sua aderencia.
Um subconjunto D de um espaco topologico X diz-se denso se a sua aderencia
coincide com X. Um espaco topologico e dito separavel se possui algum subcon-
junto numer avel denso. Veremos mais adiante que em certos espacos topologicos
(espacos metricos) a separabilidade e o primeiro axioma de numerabilidade sao su-
cientes para que se verique o segundo axioma de numerabilidade.
Seja (x
n
)
nN
uma sucessao de elementos num espaco topologico (X, T ). Di-
zemos que (x
n
)
nN
converge para x X, ou tem limite x X, e escrevemos
lim
n+
x
n
= x, ou simplesmente x
n
x, se qualquer vizinhanca de x contiver
todo x
n
excepto, possivelmente, um n umero nito. Pode acontecer de uma sucessao
ter varios limites distintos.
Exemplo 1.1.6. Seja T a topologia grosseira sobre um conjunto X. Qualquer
sucessao de elementos de X converge para qualquer ponto de X.
Exemplo 1.1.7. Seja T a topologia discreta sobre um conjunto X. Entao uma
sucessao converge se e so se e constante a partir de uma certa ordem. Em tal caso,
a sucessao converge para essa constante.
Um espaco topologico (X, T ) diz-se separado (ou Hausdor), se e somente se,
dados dois pontos distintos x, y X, existirem V
x
uma vizinhanca de x e V
y
uma
vizinhanca de y tais que V
x
V
y
= .
1.2 Func oes contnuas
Sejam (X, T ) e (Y, |) espacos topologicos. Dizemos que f : X Y e uma funcao
contnua se para qualquer U | tivermos f
1
(U) T . Resulta facilmente da
denicao que se f : X Y e uma funcao contnua, ent ao a imagem recproca de
um fechado de Y e um fechado de X e, reciprocamente, se f : X Y e tal que
a imagem recproca de qualquer fechado e um fechado, ent ao f e contnua. Temos
ainda que dados x X e V
f(x)
vizinhanca de f(x) em Y , existe uma vizinhanca V
x
de x em X tal que f(V
x
) V
f(x)
. Esta ultima armacao traduz-se dizendo que f e
contnua no ponto x.
Proposicao 1.2.1. 1. Uma funcao e contnua se e so se e contnua em todo
ponto do seu domnio.
2. A restricao de uma funcao contnua a um subespaco do domnio e uma funcao
contnua.
4 CAP
ITULO 1. NOC

OES TOPOL
OGICAS
Para ver que uma func ao entre dois espacos topologicos e contnua, nem sempre
e necessario vericar que a imagem recproca de um aberto e um aberto, para todo
aberto do espaco de chegada.
Proposicao 1.2.2. Sejam (X, T ) e (Y, |) espacos topologicos e B uma base da to-
pologia |. Se f : X Y e uma funcao tal que para todo B B se tem f
1
(B) T ,
entao f e contnua.
Sejam S um conjunto e T uma famlia de func oes f
: S X
, onde (X
, T
)
e um espaco topologico para cada . A topologia T-inicial (ou simplesmente
topologia inicial) em S e a topologia mais fraca na qual toda f
T e contnua.
Note-se que uma tal topologia existe sempre, uma vez que a topologia discreta em
S torna as func oes contnuas, e a intersecc ao de topologias e ainda uma topologia.
Uma base para a topologia T-inicial pode ser obtida tomando as interseccoes nitas
de conjuntos do tipo f
1
(A
) onde f
T e A
(cf. Exerccio 1.5.2).

Exemplo 1.2.3. Podemos usar a topologia inicial para denir uma topologia num
produto cartesiano de espacos topologicos. Seja (X
, T
)
I
uma famlia de espacos
topologicos e consideremos
I
X
o produto cartesiano dos conjuntos X
, I.
Para cada I temos a projeccao natural p
I
X
denida como
p
_
(x
)
I
_
= x
. Denimos a topologia produto em
I
X
como a topologia
inicial para a famlia de projeccoes (p
)
I
. Como base para esta topologia podemos
considerar os conjuntos do tipo
I
A
, onde cada A
coincide com X
excepto,
possivelmente, para um n umero nito de ndices I onde A
e igual a algum
aberto de X
.
Proposicao 1.2.4. Sejam f, g : X Y funcoes contnuas e Y um espaco separado.
Se f e g coincidem num subespaco denso de X entao f e g coincidem em todo X.
Este resultado nao permanece valido se omitirmos a hipotese de Y ser separado.
De facto, basta observar que se Y tiver a topologia grosseira, entao qualquer func ao
tomando valores em Y e contnua.
Sejam X e Y espacos topologicos e f : X Y uma func ao. Dizemos que f e um
homeomorsmo se f e uma bijecc ao contnua com inversa contnua. Dois espacos
X e Y dizem-se homeomorfos se existir um homeomorsmo f : X Y .
1.3 Compactidade
Dizemos que um espaco topologico (X, T ) e compacto se qualquer cobertura de
X por abertos tiver uma subcobertura nita; isto e, se / T e tal que X =
AA
A, ent ao existem A
1
, . . . , A
n
/ tais que X =
n
i=1
A
i
. Um conjunto K X
diz-se compacto, se e somente se K com a topologia de subespaco for compacto.
1.4. ESPAC OS M
ETRICOS 5
Neste caso, a compactidade de K pode ser formulada em termos equivalentes (cf.
Exerccio 1.5.3) do seguinte modo: se / e uma famlia de abertos de X tal que
K

AA
A, ent ao existem A
1
, . . . , A
n
/ tais que K

n
i=1
A
i
.
Proposicao 1.3.1. Sejam X um espaco topologico e F X.
1. Se X e compacto e F e fechado, entao F e compacto.
2. Se X e separado e F e compacto, entao F e fechado.
Proposicao 1.3.2. Sejam X e Y espacos topologicos e f : X Y uma funcao
contnua. Se K X e compacto, entao f(K) e compacto.
Corolario 1.3.3. Sejam X um espaco topologico compacto e Y um espaco topologico
separado. Se f : X Y e uma bijeccao contnua, entao f e um homeomorsmo.
Teorema 1.3.4. (Tychono) Seja X
I
uma famlia de espacos topologicos
compactos. Entao
I
X
com a topologia produto e compacto.

Resulta da Proposicao 1.3.2 que a recproca do Teorema de Tychono tambem
e valida, isto e, se
A
X
e compacto com a topologia produto, entao cada X
e
compacto.
1.4 Espacos metricos
Uma metrica ou distancia sobre um conjunto X e uma func ao d : X X R
que satisfaz as seguintes propriedades:
1. d(x, y) 0 e d(x, y) = 0 se e so se x = y;
2. d(x, y) = d(y, x);
3. d(x, z) d(x, y) + d(y, z).
A um par (X, d), onde d e uma metrica denida em X, chamamos espaco metrico.
Dados x
0
X e um n umero real r > 0, denimos a bola aberta de centro x
0
e raio
r (relativa à metrica d) como sendo o conjunto
B(x
0
, r) = x X : d(x, x
0
) < r , (1.1)
Analogamente, denimos a bola fechada de centro x
0
e raio r > 0 tomando a
desigualdade nao estrita em (1.1).
Seja (X, d) um espaco metrico. Podemos facilmente denir uma topologia em
X, tomando como abertos da topologia os conjuntos A X tais que para qualquer
ponto x
0
A existe uma bola aberta centrada em x
0
contida em A.

E imediato
6 CAP
ITULO 1. NOC

OES TOPOL
OGICAS
vericar que os conjuntos abertos assim denidos satisfazem os axiomas da denic ao
de topologia.
Um espaco topologico (X, T ) diz-se metrizavel se existir alguma metrica d
em X tal os abertos associados a d pelo processo descrito no paragrafo anterior
coincidam com os elementos de T . Num espaco metrizavel temos sempre que uma
bola aberta e um aberto da topologia e uma bola fechada e um fechado da topologia.
Contudo, nem sempre e verdade que a bola fechada coincida com a aderencia da
bola aberta. Dado um conjunto nao vazio X, podemos denir em X uma metrica
do seguinte modo:
d(x, y) =
_
1 se x ,= y
0 se x = y
Esta diz-se a metrica discreta e a topologia a ela associada coincide com a topo-
logia discreta.
Como consequencia do resultado que apresentamos a seguir, temos que se X e
um conjunto com mais do que um ponto, ent ao nao existe nenhuma metrica em X
que induza a topologia grosseira sobre X.
Proposicao 1.4.1. Todo espaco metrico e separado e satisfaz o primeiro axioma de
numerabilidade.
Se (X, d) e um espaco metrico e A e um subconjunto de X, facilmente se ve que
a restric ao de d a A A dene uma metrica em A. A topologia associada a esta
metrica em A coincide com a topologia de subespaco induzida pela topologia de X
associada a d.
Exemplo 1.4.2. Em R (resp. C) podemos considerar a distancia d dada por
d(x, y) = [xy[ e a topologia a ela associada. Tal topologia denomina-se a topolo-
gia usual em R (resp. C). Mais geralmente, designaremos por topologia usual de
R
n
(resp. C
n
) a topologia produto obtida da topologia usual de R (resp. C). Tal to-
pologia tambem provem de uma metrica, por exemplo d
_
(x
1
, . . . , x
n
), (y
1
, . . . , y
n
)
_
=
[x
1
y
1
[ + +[x
n
y
n
[.
Um subconjunto A de um espaco metrico X diz-se limitado, se existir alguma
bola (aberta ou fechada e indiferente) em X que contenha A. Se f e uma funcao
denida num conjunto S e tomando valores num espaco metrico X, dizemos que f
e uma funcao limitada, se f(S) for um subconjunto limitado de X.
Teorema 1.4.3. (Borel-Lebesgue) Um subconjunto de R
n
ou C
n
(com a topologia
usual) e compacto se e so se e fechado e limitado.
Este resultado nao e valido em espacos metricos de um modo geral. Por exemplo,
o intervalo (0, 1/2] e fechado e limitado em (0, 1) com a metrica usual mas nao e
compacto.
1.4. ESPAC OS M
ETRICOS 7
Corolario 1.4.4. Se X e um espaco compacto e f : X R e contnua, entao f e
limitada e existem pontos de X onde f atinge valores maximo e mnimo.
Sejam (X
1
, d
1
) e (X
2
, d
2
) espacos metricos e consideremos em X
1
e X
2
as topo-
logias dadas por d
1
e d
2
respectivamente. Neste contexto, a continuidade de uma
funcao f : X
1
X
2
num ponto x X
1
pode ser formulada em termos equivalentes
do seguinte modo: dado > 0 existe > 0 tal que se f
_
B(x, )
_
B
_
f(x),
_
.
Sejam (X, d) um espaco metrico, y um ponto de X e Y um subconjunto de X.
Denimos a func ao distancia a x
d(, y) : X R
x d(x, y)
e, tomando d(x, Y ) = inf
xX
d(x, y), a func ao distancia a Y
d(, Y ) : X R
x d(x, Y )
Estas sao funcoes contnuas (cf. Exerccio 1.5.5).
Nas proposicoes abaixo enunciamos alguns resultados validos para espacos me-
tricos que nao sao validos para espacos topologicos em geral.
Proposicao 1.4.5. Seja X um espaco metrico. Sao equivalentes:
1. X e separavel;
2. X satisfaz o segundo axioma de numerabilidade.
Proposicao 1.4.6. Todo espaco metrico compacto satisfaz o segundo axioma de
numerabilidade.
Proposicao 1.4.7. Num espaco metrico compacto qualquer sucessao tem alguma
subsucessao convergente.
Uma sucessao (x
n
)
n
num espaco metrico (X, d) diz-se uma sucessao de Cau-
chy, se dado > 0 existir n
0
N tal que d(x
m
, x
n
) < para todos m, n n
0
. O
resultado que apresentamos a seguir da um criterio util para provar a convergencia
de uma sucessao de Cauchy.
Proposicao 1.4.8. Se (x
n
)
n
for uma sucessao de Cauchy com alguma subsucessao
convergente, entao (x
n
)
n
e convergente.
Uma sucessao de Cauchy num espaco metrico X e, grosso modo, uma sucessao
cujos termos cam muito proximos entre si para ordens muito altas. Isto, por si so,
pode nao ser suciente para garantir a convergencia da sucessao para algum ponto
do espaco X (cf. Exemplo 1.4.9). Se X e um espaco metrico tal que toda sucessao
de Cauchy e convergente, dizemos que o espaco X completo.
8 CAP
ITULO 1. NOC

OES TOPOL
OGICAS
Exemplo 1.4.9. Os espacos R
n
e C
n
, com a metrica usual, sao completos. O
espaco (0, +) com a metrica induzida da metrica usual de R nao e completo: a
sucessao (x
n
)
n
dada por x
n
= 1/n para todo n N e uma sucessao de Cauchy que
nao converge para nenhum ponto de (0, +).
Proposicao 1.4.10. Um subespaco de um espaco metrico completo e completo se e
somente se for um subespaco fechado.
Dizemos que duas metricas sobre um mesmo conjunto sao equivalentes, se
forem coincidentes as topologias associadas a essas metricas. Se (X, d
1
) e (Y, d
2
)
sao espacos metricos e f : X Y e uma bijecc ao que preserva as metricas, isto
e d
2
(f(x), f(y)) = d
1
(x, y) para todos x, y X, dizemos que f e uma isometria.
Existindo uma isometria entre dois espacos metricos estes dizem-se isometricos.
Noc oes como conjunto limitado ou sucessao de Cauchy nao sao invariantes
por equivalencia de metricas (cf. Exerccio 1.5.7); isto e, duas metricas equivalentes
sobre um mesmo conjunto podem nao produzir os mesmos conjuntos limitados ou
as mesmas sucessoes de Cauchy. Contudo, tais nocoes sao invariantes por isometria.
Dado um espaco metrico X, dizemos que um espaco metrico

X e um comple-
tamento de X, se X for isometrico a um subespaco denso de

X.
Teorema 1.4.11. Todo espaco metrico tem um completamento.
De facto, o completamento de um espaco metrico e unico a menos de isometria,
isto e, dois quaisquer completamentos de um mesmo espaco metrico sao isometricos.
1.5 Exerccios
1. Mostrar que num espaco topologico separado uma sucessao nao pode convergir
para mais do que um ponto.
2. Seja T uma famlia de func oes f
: S X
, onde cada (X
, T
) e um espaco
topologico. Mostre que as intersec coes nitas de conjuntos do tipo f
1
(A),
onde f
T e A T
, denem uma base da topologia T-inicial.

3. Sejam (X, T ) um espaco topologico e K um subconjunto de X. Prove que sao
equivalentes:
(a) K e compacto;
(b) se / T e tal que K

AA
A, ent ao existem A
1
, . . . , A
n
/ tais que
K

n
i=1
A
i
.
4. Seja (X, d) um espaco metrico. Mostre que d : X X R
+
0
e contnua.
1.5. EXERC
ICIOS 9
5. Sejam (X, d) um espaco metrico, y X e Y X. Mostre que as func oes
d(, y) e d(, Y ) sao contnuas.
6. De exemplo de um espaco metrico para o qual a aderencia de alguma bola
aberta nao coincida com a bola fechada.
7. De duas metricas equivalentes emR de tal modo que R seja limitado e completo
em uma delas e nao seja nem limitado nem completo na outra.
10 CAP
ITULO 1. NOC

OES TOPOL
OGICAS
Captulo 2
Medida e integracao
Faremos neste captulo uma apresentacao dos resultados fundamentais da teoria da
medida e integracao. Nem a abordagem nem alguns dos resultados serao apresen-
tados na sua forma mais geral, de modo a nao tornar demasiado ardua a tarefa do
leitor que tenha neste o seu primeiro contacto com o assunto.
2.1 Espacos de medida
Sejam X um conjunto e / um conjunto de partes de X. Dizemos que / e uma
algebra se forem validas as seguintes condicoes:
1. X /;
2. se A / entao XA /;
3. se A
1
, . . . , A
n
/ entao
n
i=1
A
i
/.
Diremos que uma algebra /e uma -algebra se a condicao 3 puder ser generalizada
para unioes innitas numer aveis: se (A
n
)
n
e uma sucessao de elementos de /, ent ao
n=1
A
n
e tambem um elemento de /. Denominamos de espaco mensuravel um
par (X, /) onde / e uma -algebra de X.
Proposicao 2.1.1. Dada uma sucessao (A
n
)
n
de elementos de uma algebra /, exis-
te uma sucessao (B
n
)
n
de elementos de / dois a dois disjuntos, com B
n
A
n
para
todo n, cuja uniao coincide com
n=1
A
n
.
Prova. Consideremos os conjuntos
B
1
= A
1
, B
2
= A
2
A
1
, B
3
= A
3
(A
2
A
1
), . . . .
Como / e uma algebra, temos que (B
n
)
n
e uma sucessao de elementos de / dois
a dois disjuntos e, pelo modo como estes conjuntos foram denidos, e facil vericar
que a sua uniao coincide com
n=1
A
n
. .
11
12 CAP
ITULO 2. MEDIDA E INTEGRAC

AO
Seja : / [0, +] uma func ao denida numa algebra / de algum conjunto
X, onde [0, +] representa R
+
0
+. Dizemos que e aditiva se valerem as
seguintes condic oes:
1. () = 0.
2. Se A
1
, . . . , A
n
sao elementos de / dois a dois disjuntos entao
_
n
_
i=1
A
i
_
=
n
i=1
_
A
i
_
.
Uma tal funcao diz-se -aditiva se valer a condic ao 2 para famlias numer aveis de
elementos de /: se (A
n
)
n
e uma sucessao de elementos de / dois a dois disjuntos
cuja uniao ainda esta em /, entao
_

_
n=1
A
n
_
=
n=1
_
A
n
_
.
Acrescentando, se necessario, innitas copias de a uma famlia nita de elementos
de /, deduzimos facilmente que toda funcao -aditiva e aditiva. Uma func ao aditiva
: / [0, +] diz-se nita se (X) < e diz-se -nita se existir uma sucessao
(A
n
)
n
de elementos de / tal que X =
n=1
A
n
e (A
n
) < para todo n.
Proposicao 2.1.2. Seja / uma algebra e : / [0, +] uma funcao -aditiva.
1. Se A, B / sao tais que A B, entao (A) (B).
2. Se (A
n
)
n
e uma sucessao de elementos de / tais que
n=1
A
n
/, entao
_

_
n=1
A
n
_

n=1
(A
n
).
Prova. Para o primeiro item, notar que podemos escrever B como a uniao disjunta
de A com B A. Logo, pela aditividade de temos (B) = (A) + (B A) e
portanto (A) (B). (De facto, para a prova deste item basta apenas que seja
aditiva).
Para o segundo item, tomemos uma sucessao (B
n
)
n
de elementos de / disjuntos
dois a dois com B
n
A
n
para todo n e cuja uniao coincide
n=1
A
n
, dada pela
Proposic ao 2.1.1. Da -aditividade de resulta
_

_
n=1
A
n
_
=
_

_
n=1
B
n
_
=
n=1
(B
n
)
n=1
(A
n
)
2.1. ESPAC OS DE MEDIDA 13
resultando esta ultima desigualdade do primeiro item. .
Denominaremos de medida uma func ao -aditiva denida numa -algebra /
e espaco de medida um terno (X, /, ) onde (X, /) e um espaco mensuravel e
e uma medida denida em /. Se (X) = 1 dizemos que e uma probabilidade e
(X, /, ) e um espaco de probabilidade.
Exemplo 2.1.3. Dado um conjunto X consideremos uma funcao # denida em
T(X) (o conjunto das partes de X), tomando para cada A X o valor de #(A)
como o n umero de elementos de A (+ se A nao e nito). # dene uma medida
sobre T(X) que sera denominada a medida de contagem em X.
Exemplo 2.1.4. Consideremos um conjunto X e xemos x X. Dado A X
denimos uma funcao
x
no conjunto das partes de X do seguinte modo:
x
(A) = 1
se x A e
x
(A) = 0 se x / A.
x
dene uma medida (probabilidade) em T(X) que
denominaremos de medida de Dirac no ponto x.
Sejam (X, /, ) um espaco de medida e A um subconjunto de X. Dizemos que
A X tem medida nula, se existe B / tal que A B e (B) = 0. Uma
determinada propriedade sobre os elementos de X diz-se que vale em quase todo
ponto (qtp mais simplesmente), se o conjunto dos pontos onde a propriedade nao
vale tem medida nula.
Proposicao 2.1.5. Sejam (X, /, ) um espaco de medida e (A
n
)
n
e uma sucessao
de elementos de /.
1. Se A
1
A
2
entao
_
n=1
A
n
_
= lim(A
n
).
2. Se A
1
A
2
e (A
1
) < entao
_
n=1
A
n
_
= lim(A
n
).
Prova. Comecemos por provar o primeiro item. Uma simples manipulac ao de con-
juntos e limites leva-nos a obter
n=1
A
n
_
= (A
1
) +
n=2
(A
n
A
n1
)
= lim
n
_
(A
1
) +
n
i=2
(A
i
A
i1
)
_
= lim
n
_
A
1

_
n
i=2
(A
i
A
i1
)
__
= lim
n
(A
n
).
Para a prova do segundo item, comecamos por observar que
B A
1
(B) = (A
1
) (A
1
B). (2.1)
14 CAP

AO
De facto, dado B A
1
podemos escrever A
1
como a uniao disjunta de B com A
1
B
e portanto, pela aditividade de ,
(A
1
) = (B) + (A
1
B).
Como (A
1
B) (A
1
) < , obtemos (2.1) subtraindo (A
1
B) a ambos os
membros da igualdade anterior. Aplicando (2.1) a
n=1
A
n
e A
1
, e tendo em conta
que
A
1
n=1
A
n
_
=
n=1
(A
1
A
n
),
obtemos
n=1
A
n
_
= (A
1
)
_
n=1
_
A
1
A
n
__
.
Sendo
_
A
1
A
n
_
n
uma sucessao encaixada crescente, resulta do item anterior que
n=1
(A
1
A
n
)
_
= lim
n
_
A
1
A
n
_
e portanto, tendo mais uma vez em conta (2.1), obtemos
n=1
A
n
_
= (A
1
) lim
n
_
(A
1
) (A
n
)
_
= lim
n
(A
n
),
que e precisamente o que pretendamos demonstrar. .
2.2 Extensoes
Apesar de ter sido facil denir as medidas dos Exemplos 2.1.3 e 2.1.4, em geral,
denir medidas com propriedades interessantes sobre -algebras pode ser uma tarefa
bem mais ardua. Torna-se muitas vezes conveniente comecar por considerar uma
funcao aditiva denida numa certa classe ( de subconjuntos de X e posteriormente
estende-la a uma medida denida numa -algebra que contenha (.
A algebra gerada (resp. -algebra gerada) por uma classe ( de subconjuntos
de um conjunto X dene-se como a menor algebra (resp. -algebra) de X que contem
(. Note-se que uma tal algebra (resp. -algebra) existe sempre, pois T(X) e uma
-algebra e a intersec cao de uma famlia de algebras (resp. -algebras) e ainda uma
algebra (resp. -algebra).
Exemplo 2.2.1. Se X e um espaco topologico, denominamos de -algebra de
Borel a -algebra gerada pelos abertos de X. Designaremos os elementos desta
-algebra por borelianos.
Dado um conjunto X, dizemos que uma classe o de subconjuntos de X e uma
semi-algebra se valerem as seguintes condicoes:
2.2. EXTENS
OES 15
1. o;
2. se A, B o, ent ao A B o;
3. se A o, entao X A =
n
i=1
E
i
, onde os E
i
sao elementos de o dois a dois
disjuntos.
Introduzimos as nocoes de aditividade e -aditividade para funcoes denidas em
semi-algebras de maneira inteiramente analoga ao que zemos para algebras.
Exemplo 2.2.2. Consideremos em R
n
a classe de subconjuntos
o =
_
n
i=1
I
i
: I
i
intervalo de R
_
.
E facil vericar que o e uma semi-algebra de R

n
.
Proposicao 2.2.3. Seja o uma semi-algebra de um conjunto X. A algebra gerada
por o consiste da coleccao de todos conjuntos do tipo
n
i=1
E
i
, onde os E
i
s sao
elementos de o dois a dois disjuntos.
Prova. Observar que, por um lado, a algebra gerada por o tera forcosamente que
conter as unioes do tipo citado. Por outro lado, e imediato vericar que a colecc ao
de tais unioes e uma algebra. .
Proposicao 2.2.4. Sejam o uma semi-algebra de X e / a algebra gerada por o.
Se : o [0, +] e aditiva, entao existe uma unica : / [0, +] aditiva tal
que [ o = . Alem disso, se e -aditiva, entao tambem e -aditiva.
Prova. Resulta da Proposic ao 2.2.3 que dado A / existem E
1
, . . . , E
n
o dois a
dois disjuntos tais que A =
n
i=1
E
i
. Denimos ent ao
(A) =
n
i=1
(E
i
).
Precisamos de ver que esta bem denida: se F
1
, . . . , F
l
sao tambem elementos de
o dois a dois disjuntos tais que
n
i=1
E
i
=
m
j=1
F
j
, entao
n
i=1
(E
i
) =
n
i=1
m
j=1
(E
i
F
j
) =
m
j=1
n
i=1
(E
i
F
j
) =
m
j=1
(F
i
),
o que mostra que esta bem denida.
16 CAP

AO
Mostremos agora que se e -aditiva, entao tambem e -aditiva. Seja (A
k
)
k
uma sucessao de elementos de / dois a dois disjuntos tais que A =
k1
A
k
e ainda
um elemento de /. Temos pela Proposic ao 2.2.3 que existem E
1
, . . . , E
m
elementos
de o dois a dois disjuntos tais que A =
m
j=1
E
j
. Alem disso, para cada k existem
F
k,1
, . . . , F
k,n
k
elementos de o dois a dois disjuntos tais que A
k
=
n
k
i=1
F
k,i
. Denindo
para 1 j m, k 1 e 1 i n
k
os conjuntos G
j
k,i
= E
j
F
k,i
, estes sao elementos
de / dois a dois disjuntos e podemos escrever
E
j
=
k=1
n
k
i=1
G
j
k,i
e F
k,i
=
m
j=1
G
j
k,i
.
Atendendo a que e -aditiva, valem as igualdades
(E
j
) =
k=1
n
k
i=1
(G
j
k,i
) e (F
k,i
) =
m
j=1
(G
j
k,i
).
Logo,
(A) =
m
j=1
(E
j
) =
m
j=1
k=1
n
k
i=1
(G
j
k,i
)
=
k=1
n
k
i=1
m
j=1
(G
j
k,i
) =
k=1
n
k
i=1
(F
k,i
)
=
k=1
(A
k
)
Temos assim provada a -aditividade de . .
Pretendemos agora obter um resultado analogo ao anterior, que nos permita
estender uma func ao -aditiva denida numa algebra a uma medida denida na
-algebra por ela gerada. A prova desse tipo de resultado sera mais elaborada do
que a anterior e, para tal, introduziremos mais alguns conceitos.
Dada uma funcao -aditiva denida numa algebra / de X, denimos uma funcao
: T(X) [0, +] do seguinte modo:
(A) = inf
_

n=1
(A
n
) : A
n
/ para todo n e A
_
n=1
A
n
_
.
Obtem-se facilmente da denic ao anterior que
e nao negativa e
() = 0.
Lema 2.2.5. Valem as seguintes propriedades para
:
1. Se A B, entao
(A)
(B).
2.2. EXTENS
OES 17
2. Se (A
n
)
n
e uma sucessao de subconjuntos de X, entao
_

_
n=1
A
n
_

n=1
(A
n
).
Prova. O primeiro item sai trivialmente da denicao de
. Para o segundo item,

comecamos por observar que se
(A
n
) = +para algum n, entao nada ha a provar.
Suponhamos entao que temos
(A
n
) < + para todo n. Atendendo à denic ao
de
, dado > 0, podemos escolher, para cada n, conjuntos B

1
n
, B
2
n
, . . . em / tais
que
A
n

_
i=1
B
i
n
e
i=1
(B
i
n
) <
(A
n
) +

2
n
.
Temos ent ao que a famlia (B
i
n
)
n,i
cobre A e
_

_
n=1
A
n
_

n=1
i=1
(B
i
n
)
n=1
(A
n
) + .
Como > 0 e arbitrario temos provado o lema. .
Uma questao que se pode colocar neste momento e a de tentar saber se
dene
uma medida em T(X). Tal nao e verdade em geral, conforme se podera depreender
das considerac oes apos o Exemplo 2.2.10 e do Exerccio 2.8.8. Contudo, veremos
que existe sempre uma -algebra de X na qual a restric ao de
a essa -algebra
dene uma medida.
Dizemos que M X e mensuravel (com respeito a
) se
(A) =
(A M) +
(A M)
para todo A X. Denotamos por / a classe de todos subconjuntos mensuraveis
de X. Como consequencia do item 2 do Lema 2.2.5 (vale um resultado analogo para
unioes nitas, bastando, para tal, acrescentar innitas copias do conjunto vazio e
atender a que
() = 0), e suciente mostrar que
(A)
(A M) +
(A M)
para todo A X, para concluir que M X e mensuravel.
Teorema 2.2.6. / e uma -algebra e a restricao de
a / e uma medida.
Prova. Comecamos por provar que / e uma -algebra. Obtemos facilmente da
denicao de conjunto mensuravel que X /e, se M /, entao tambem XM
/. Falta vericar que / e fechada para unioes innitas. Comecamos por ver que
18 CAP

AO
/e fechada para unioes nitas e, para tal, e suciente mostrar que se M
1
, M
2
/
entao M
1
M
2
/. Tomemos ent ao M
1
e M
2
em /. Dado A X, resulta da
mensurabilidade de M
1
que
(A) =
(A M
1
) +
(A M
1
). (2.2)
Por outro lado, resulta da mensurabilidade de M
2
que
(A M
1
) =
_
(A M
1
) M
2
_
+
_
A (M
1
M
2
)
_
. (2.3)
De (2.2) e (2.3) obtemos
(A) =
(A M
1
) +
_
(A M
1
) M
2
_
+
_
A (M
1
M
2
)
_
.
Resulta do Lema 2.2.5 que
(A)
_
A (M
1
M
2
)
_
+
_
A (M
1
M
2
)
_
.
Isto e precisamente o que faltava provar para concluir que M
1
M
2
/ sendo,
portanto, / uma algebra. Provemos agora que / e fechada para unioes inni-
tas. Sejam M
1
, M
2
, . . . elementos de /. Sendo / uma algebra, podemos, pela
Proposic ao 2.1.1, supor que os conjuntos M
1
, M
2
, . . . sao dois a dois disjuntos. De-
nindo B
n
=
n
i=1
M
i
para n 1, provemos por inducao que para todo n 1
vale
(A B
n
) =
n
i=1
(A M
i
) para todo A X. (2.4)
O resultado e claramente valido para n = 1. Assumindo que (2.4) vale para n 1,
provemos que tambem vale para n + 1. Usando a mensurabilidade de B
n
e o facto
de que M
1
, M
2
, . . . sao dois a dois disjuntos, temos para qualquer A X
(A B
n+1
) =
_
(A B
n+1
) B
n
_
+
_
(A B
n+1
) B
n
_
=
(A B
n
) +
(A M
n+1
).
Assumindo que (2.4) vale para n, temos assim provado que (2.4) vale tambem para
n+1. Logo (2.4) vale para todo n 1. Assim, tomando M =
n1
M
n
, e tendo em
conta que B
n
M para todo n, temos para qualquer A X
(A M)
(A B
n
) =
n
i=1
(A M
i
)
e portanto
(A M)
i=1
(A M
i
).
2.2. EXTENS
OES 19
Tendo em conta o Lema 2.2.5, obtemos
(A M) =
i=1
(A M
i
). (2.5)
Assim, para quaisquer A X e n 1, temos pela mensurabilidade de B
n
, por (2.4)
e pelo facto de A M estar contido em A B
n
,
(A) =
(A B
n
) +
(A B
n
)
n
i=1
(A M
i
) +
(A M).
Atendendo a (2.5) obtemos
(A)
(A M) +
(A M),
e isto nalmente implica que M /, donde se conclui que / e uma -algebra.
Para concluir que a restric ao de
a / e -aditiva (e portanto uma medida) basta

considerar (2.5) com A = X. .
Teorema 2.2.7. Sejam / uma algebra de X e B a -algebra gerada por /. Se e
uma funcao -aditiva denida em /, entao existe alguma medida denida em B
tal que [ / = .
Prova. Pelo Teorema 2.2.6 e suciente mostrar que / / e
(A) = (A) para

todo A /. Comecemos por provar que / /. Dado B /, queremos ver que
para todo A X se tem
(A)
(A B) +
(A B).
E claro que podemos assumir
(A) < , pois, caso contrario, nada ha a provar.

Dado > 0, podemos escolher uma sucessao (A
n
)
n
de elementos de / tal que
A

n=1
A
n
com
(A) +
n=1
(A
n
) =
n=1
_
(A
n
B) + (A
n
B)
_

(A B) +
(A B).
Como > 0 e arbitrario, temos provado que B /.
Provemos agora que
(A) = (A) para todo A /. Por um lado, resulta

facilmente da denic ao de
que
(A) (A) para todo A /. Por outro lado,

dados A / e > 0, seja (A
n
)
n
uma famlia de elementos de / tal que
A

n=1
A
n
e
(A) + >
n=1
(A
n
).
20 CAP

AO
Pela Proposicao 2.1.1, podemos tomar uma sucessao (B
n
)
n
de elementos de / dois
a dois disjuntos tais que B
n
A
n
para todo n e cuja uniao coincide com
n=1
A
n
.
Temos A =
n=1
(A B
n
), sendo esta uniao disjunta, e portanto, pela aditividade
de e pela Proposicao 2.1.2,
(A) =
n=1
(A B
n
)
n=1
(B
n
)
n=1
(A
n
).
Logo
(A) + >
n=1
(A
n
) (A).
Como > 0 e arbitrario temos provado que tambem
(A) (A). .
Teorema 2.2.8. Seja uma funcao -aditiva denida numa algebra /. Se e
-nita, entao existe uma unica medida estendendo à -algebra gerada por /.
Prova. Denotando por B a -algebra gerada por /, e suciente mostrar que se
e uma extensao de a B, entao (B) =
(B) para todo B B. Seja B B e

tomemos > 0 arbitrario. Pela denic ao de
, existe alguma sucessao (A

n
)
n
de
elementos de / tal que B

n=1
A
n
e
(B) + >
n=1
(A
n
).
Pelas Proposic oes 2.1.1 e 2.1.2 podemos tomar uma sucessao (B
n
)
n
de elementos de
/ disjuntos dois a dois tais que B
n
A
n
para todo n,
n=1
B
n
=
n=1
A
n
e
n=1
(B
n
)
n=1
(A
n
).
Temos entao
(B) + >
n=1
(B
n
) =
n=1
(B
n
) =
_
n=1
A
n
_
(B),
e portanto, como > 0 e arbitrario, conclumos que
(B) (B).
Para a outra desigualdade, comecamos por assumir que temos B B com
(B) < e tomemos > 0. Como anteriormente, podemos tomar uma sucessao
(B
n
)
n
de elementos de / disjuntos dois a dois tais que B

n=1
B
n
e
(B) + >
n=1
(B
n
) =
n=1
(B
n
) =
n=1
B
n
_
.
2.2. EXTENS
OES 21
Sendo
n=1
B
n
_
=
n=1
(B
n
) =
n=1
(B
n
) =
_
n=1
B
n
_
,
temos ainda
(B)
n=1
B
n
_
=
_
n=1
B
n
_
= (B) +
_
n=1
B
n
B
_
. (2.6)
Como
(B) < , podemos tambem supor
n=1
B
n
) < e portanto, usando a
desigualdade ja provada, obtemos
n=1
B
n
B
_

n=1
B
n
B
_
=
n=1
B
n
_
(B) < . (2.7)

De (2.6) e (2.7) deduzimos que
(B) (B), que e precisamente o que faltava para

concluir que
(B) = (B) sempre que B B for tal que
(B) < .
Para o caso geral, sendo e -nita podemos escrever X =
n1
A
n
com A
n
/
e (A
n
) < para todo n. Atendendo à Proposic ao 2.1.1 podemos, sem perda de
generalidade, supor que os A
n
s sao disjuntos dois a dois. Logo, dado B B, temos
(B A
n
) < para todo n, e portanto
(B) =
n=1
(B A
n
) =
n=1
(B A
n
) = (B),
cando assim concluda a prova do teorema. .
Se nao assumirmos que e -nita, a extensao dada pelo teorema anterior nao e
necessariamente unica. Para um contra-exemplo, ver o Exerccio 2.8.4. Na prova do
Teorema 2.2.8 foi usada a existencia da medida
estendendo a B para provar que

nao ha mais do que uma extensao. Contudo, podemos provar directamente que nao
podera haver mais do que uma medida estendendo a B sem assumir a existencia
de alguma extensao (cf. Exerccio 2.8.5).
Exemplo 2.2.9 (Medida produto). Sejam (X
1
, /
1
,
1
) e (X
2
, /
2
,
2
) espacos
de medida -nitos. Consideremos em X
1
X
2
a classe o de todos os elementos
A
1
A
2
tais que A
1
/
1
e A
2
/
2
.

E facil vericar que a classe o assim descrita
e uma semi-algebra de subconjuntos de X
1
X
2
. Se A
1
A
2
o denimos
2
(A
1
A
2
) =
1
(A
1
)
2
(A
2
).
Segue imediatamente que
1

2
: o [0, +] e -aditiva e -nita. Assim,
pela Proposicao 2.2.4, pelo Teorema 2.2.7 e pelo Teorema 2.2.7 existe uma unica
extensao de
1
2
a uma medida denida na -algebra gerada por o. Tal -algebra
e designada a -algebra produto de /
1
e /
2
e a medida designada a medida
produto de
1
e
2
que e costume continuar a denotar-se
1

2
. A medida
produto pode denir-se de maneira analoga para uma famlia nita de espacos de
medida -nitos.
22 CAP

AO
O exemplo abaixo da-nos uma medida em R
n
que generaliza, para uma classe
bastante ampla de conjuntos, a noc ao intuitiva que temos de comprimento (n = 1),
area (n = 2) ou volume (n 3). Tal medida estara denida nos borelianos de R
n
.
Exemplo 2.2.10 (Medida de Lebesgue). Seja B a -algebra de Borel em R
n
e
seja o a semi-algebra do Exemplo 2.2.2. Denimos, para
n
i=1
I
i
o,
_
n
i=1
I
i
_
= [I
1
[ [I
n
[.
Resulta da denicao de que esta e -aditiva e -nita (cf. Exerccio 2.8.6). Dos
Teoremas 2.2.4 e 2.2.7 conclumos que pode ser estendida a uma unica medida
denida em B. Obtemos assim uma ( unica) medida : B [0, +] tal que se
I
1
, . . . , I
n
sao intervalos de R, entao
_
n
i=1
I
i
_
= [I
1
[ [I
n
[,
onde, para cada i, [I
i
[ designa o comprimento de I
i
. Esta medida e designada a
medida de Lebesgue (em R
n
).
Resulta do modo como a medida de Lebesgue foi denida que esta e invariante
por isometria: se A e B sao borelianos de R
n
tais que um pode ser obtido do
outro por uma isometria de R
n
, ent ao A e B tem a mesma medida de Lebesgue
(cf. Exerccio 2.8.8). Antes de encerrar esta seccao, cabe perguntar se sera possvel
estender a medida de Lebesgue a uma medida denida sobre todos os subconjuntos
de R
n
, conservando a invari ancia por isometria. Restringir-nos-emos ao caso de R
para ver que tal nao e possvel. Valem, contudo, resultados analogos para R
n
com
n 1. Mais precisamente, veremos que nao ha nenhuma funcao denida nas
partes de R satisfazendo as propriedades:
1. ([0, 1]) = 1 (ou alguma outra constante positiva);
2. e invariante por isometria;
3. e -aditiva.
Consideremos em [0, 1] a seguinte relac ao de equivalencia: x y se e so se x y e
racional. Como o conjunto dos racionais e numeravel, cada classe de equivalencia e
um conjunto numer avel. Sendo [0, 1] nao numer avel, temos que ter uma innidade
nao numer avel de classes de equivalencia. Seja r
1
, r
2
, . . . uma numerac ao dos
racionais em [0, 1] e C um conjunto obtido escolhendo um elemento em cada classe
2.3. FUNC

OES INTEGR
AVEIS 23
de equivalencia. Denindo C
n
= C + r
n
para cada n temos que os C
n
sao dois a
dois disjuntos. Temos ainda
[0, 1]

n=1
C
n
[0, 2].
De 1 e 2 resulta
([0, 2]) = 2 e (C
n
) = (C) para todo n 1,
e de 3 resulta
1
n=1
(C
n
) 2.
Ou seja,
1
n=1
(C) 2.
A primeira desigualdade implica que (C) > 0 e a segunda implica que (C) = 0, o
que da uma contradic ao.
2.3 Func oes integraveis
Seja (X, /) um espaco mensuravel. Adoptaremos a designacao de mensuraveis
para os elementos de /, nao querendo com isso atribuir o signicado de conjunto
mensuravel introduzido na Secc ao 2.2. Considerando R = R , +, dize-
mos que f : X R e uma funcao mensuravel, se para todo R tivermos
f
1
(, ) /.
Proposicao 2.3.1. Sejam (X, /) um espaco mensuravel e f : X R uma funcao.
Sao equivalentes:
1. f e mensuravel;
2. f
1
(, ] / para todo R;
3. f
1
(, +) / para todo R;
4. f
1
[, +) / para todo R;
5. f
1
(B) / para todo boreliano B de R.
Prova. A equivalencia de 1, 2, 3 e 4 e consequencia de / ser uma -algebra e cada
um dos quatro tipos de intervalos poder ser obtido por passagem ao complementar,
intersecc ao e uniao de intervalos de cada um dos outros tipos.

E claro que 5 implica
1, 2, 3 e 4. Para ver que 1,2, 3 ou 4 implicam 5, basta atender ao facto da -algebra
dos borelianos em R ser a gerada pela semi-algebra dos intervalos. .
24 CAP

AO
Exemplo 2.3.2. As funcoes constantes e as funcoes caractersticas dos elementos
de / sao funcoes mensuraveis. Se X for um espaco topologico e B for a -algebra
de Borel, entao as funcoes contnuas sao mensuraveis.
Para operac oes com os smbolos +e , alem das convenc oes usuais, fazemos
as seguintes convenc oes: () 0 = 0 e 0 () = 0. Nao atribuiremos signicado
a .
Proposicao 2.3.3. Se c R e f, g : X R sao funcoes mensuraveis, entao f +c,
cf, f g (sempre que facam sentido) e fg sao tambem mensuraveis.
Prova. Vejamos os casos f + g e fg; atendendo a que as func oes constantes sao
mensuraveis, os outros casos sao consequencia destes.
Seja A = x : f(x) + g(x) > . Se x A, entao s = f(x) + g(x) > 0. Isto
implica que existe algum r Q tal que f(x) s < r < f(x). Mas, se f(x) s < r,
entao g(x) > r. Logo,
A B =
_
rQ
_
x : f(x) > r x : g(x) > r
_
que e obviamente um conjunto mensuravel. Por outro lado, e claro que B A,
donde se conclui que f +g e mensuravel.
Para provar que o produto de func oes mensuraveis e uma func ao mensuravel,
comecamos por observar que
fg =
1
4
_
(f + g)
2
(f g)
2
,
e portanto e suciente mostrar que o quadrado de uma func ao mensuravel e uma
funcao mensuravel. Se < 0, temos x : f(x)
2
> = R mensuravel. Se 0,
entao
x : f(x)
2
> = x : f(x) >
x : f(x) <
,
que e tambem um conjunto mensuravel. .
Proposicao 2.3.4. Se (f
n
)
n1
e uma sucessao de funcoes mensuraveis, entao sao
mensuraveis:
1. sup
n1
f
n
e inf
n1
f
n
;
2. limsup
n
f
n
e liminf
n
f
n
.
Prova.

E imediato vericar que
2.3. FUNC

OES INTEGR
AVEIS 25
1.
_
x : sup
n1
f
n
(x) >
_
=
n1
_
x : f
n
(x) >
_
;
inf
n1
f
n
= sup
n1
(f
n
).
2. limsup
n
f
n
= inf
n1
(sup
in
f
i
);
liminf
n
= limsup
n
(f
n
).
Os itens da proposic ao resultam facilmente das igualdades acima. .
Seja (X, /, ) um espaco de medida. Dizemos que uma func ao mensuravel
nao negativa e uma funcao simples, se pudermos escrever
=
n
i=1
a
i
A
A
i
,
onde a
i
R
+
0
e A
A
i
representa a funcao caracterstica de A
i
/, com os A
i
s dis-
juntos dois a dois. Denimos o integral de uma funcao simples =
n
i=1
a
i
A
A
i
como
_
d =
n
i=1
a
i
(A
i
)
(recordar que convencion amos 0 = 0). Este valor nao depende da representac ao
de como combina cao linear de func oes caractersticas. De facto, se
n
i=1
a
i
A
A
i
=
l
i=1
b
i
A
B
i
os A
i
s e os B
i
s disjuntos dois a dois, entao tera que ser a
i
= b
j
em A
i
B
j
. Segue
que
n
i=1
a
i
(A
i
) =
n
i=1
l
j=1
a
i
(A
i
B
j
) =
l
j=1
n
i=1
b
i
(A
i
B
j
) =
l
j=1
b
i
(B
i
),
cando assim demonstrado que o integral de uma func ao simples nao depende da
sua representa cao.
Vamos agora generalizar a noc ao de integral para funcoes nao negativas. Seja
(X, /, ) um espaco de medida e f uma func ao mensuravel nao negativa. Denimos
o integral de f
_
fd = sup
__
: funcao simples e f
_
.
26 CAP

AO
E consequencia imediata da denicao apresentada que se f e g sao funcoes men-

suraveis nao negativas, ent ao
f g
_
f d
_
g d
Se A /, denimos o integral de f em A
_
A
fd =
_
fA
A
d.
Proposicao 2.3.5. Seja f uma funcao mensuravel nao negativa. Entao
_
fd = 0
se e somente se f = 0 qtp.
Prova. Se f = 0 qtp e e uma funcao simples tal que f, ent ao claramente
_
d = 0. Da denic ao resulta que
_
fd = 0.
Suponhamos, por outro lado, que
_
fd = 0. Denindo A
n
=
_
x : f(x) 1/n
_
temos
_
x : f(x) > 0
_
=
n1
A
n
e
_
fd
_
1
n
A
A
n
d =
1
n
(A
n
).
Logo, (A
n
) = 0 para todo n, e portanto, f = 0 qtp. .
Lema 2.3.6. (Fatou) Se (f
n
)
n
e uma sucessao de funcoes mensuraveis nao nega-
tivas, entao
_
liminf
n
f
n
d liminf
n
_
f
n
d.
Prova. Se denirmos f = liminf f
n
temos que f e uma func ao nao negativa. Basta
provar que se e uma funcao simples tal que f entao
_
d liminf
_
f
n
d.
Denimos, para cada k 1, a funcao mensuravel
g
k
(x) = inf
ik
f
i
(x).
Analisamos agora os dois casos possveis:
1. Se
_
d = , segue da denic ao de integral de uma func ao simples que deve
existir um conjunto mensuravel A com (A) = e uma constante a > 0 tais que
[ A = a. Denindo, para cada n 1, o conjunto mensuravel
A
n
= x : g
k
(x) > a, para k n,
temos A
n
A
n+1
para todo n 1. Para cada x, a sucessao
_
g
k
(x)
_
k
e monotona
crescente e lim
k
g
k
(x) = f(x) . Assim, A

n=1
A
n
e, portanto, lim(A
n
) = .
Resulta que para n 1
_
f
n
d
_
g
n
d > a(A
n
),
2.3. FUNC

OES INTEGR
AVEIS 27
donde se conclui que liminf
_
f
n
d = .
2. Se
_
d < , e denirmos B = x : (x) > 0, temos (B) < . Seja
M um majorante para . Fixemos arbitrariamente 0 < < 1 e consideremos, para
n 1, o conjunto
B
n
= x : g
k
> (1 ), para k n.
Temos que os conjuntos B
n
sao mensuraveis, B
n
B
n+1
para todo n e B

n=1
B
n
.
Entao (B B
n
)
n
e uma sucessao encaixada decrescente e
n=1
(B B
n
) = . Como
(B) < , resulta da Proposicao 2.1.5 que existe N N tal que (BB
n
) < para
todo n N. Temos entao para n N
_
g
n
d
_
B
n
g
n
d
(1 )
_
B
n
d
= (1 )
_
_
B
d
_
B\B
n
d
_
(1 )
_
d
_
B\B
n
d
_
d
_
d M.
Logo
liminf
n
_
f
n
d liminf
n
_
g
n
d
_
d
_
_
d + M
_
e, como > 0 e arbitrario, temos o resultado. .
Nao e lcito esperar que valha sempre a igualdade no Lema de Fatou. De facto,
se consideramos em R a medida de Lebesgue e denirmos para n 1
f
2n
= A
[0,1]
e f
2n1
= A
(1,2]
temos liminf f
n
(x) = 0 para todo x, mas
_
f
n
d = 1 para todo n 1.
Teorema 2.3.7. (Convergencia Monotona) Se (f
n
)
n
e uma sucessao de funcoes
mensuraveis nao negativas tais que f
1
f
2
, entao
_
lim
n
f
n
d = lim
n
_
f
n
d.
Prova. Seja f = limf
n
. Pelo Lema de Fatou, temos
_
fd =
_
liminf
n
f
n
d liminf
n
_
f
n
d. (2.8)
28 CAP

AO
Como f f
n
para todo n, resulta que
_
fd
_
f
n
d para todo n, e portanto
_
fd limsup
n
_
f
n
d. (2.9)
De (2.8) e (2.9) deduzimos o resultado. .
O resultado a seguir da uma maneira alternativa de denir o integral de uma
funcao mensuravel.
Teorema 2.3.8. Se f e uma funcao mensuravel nao negativa, entao existe uma
sucessao crescente (
n
)
n
de funcoes simples convergindo pontualmente para f com
lim
n
_

n
d =
_
fd.
Prova. Consideremos para n 1 e k = 1, 2, . . . , n2
n
os conjuntos
A
n,k
=
_
x :
k 1
2
n
< f(x)
k
2
n
_
e
B
n
= x : f(x) > n .
As func oes
n
=
n2
n
k=1
k 1
2
n
A
A
n,k
+ nA
B
n
satisfazem as condicoes do teorema. .
Vamos agora generalizar a nocao de integral para funcoes mensuraveis que podem
tomar valores negativos e introduzir o conceito de func ao integravel. Dada uma
funcao mensuravel f, consideremos respectivamente a sua parte positiva e parte
negativa,
f
+
(x) = maxf(x), 0 e f
(x) = maxf(x), 0.
E imediato vericar que f

+
e f
sao funcoes nao negativas e f = f

+
f
. Dizemos
que uma funcao mensuravel f e integravel se
_
f
+
d < e
_
f
d < .
No caso de algum destes dois integrais ser nito denimos o integral de f
_
fd =
_
f
+
d
_
f
d.
2.3. FUNC

OES INTEGR
AVEIS 29
Observamos que [f[ = f
+
+f
e, portanto, f e integravel se e so se [f[ e integravel.

Dados um conjunto mensuravel A e uma func ao mensuravel f, dizemos que f e
integravel em A se fA
A
for integr avel. Denimos o integral de f em A por
_
A
fd =
_
fA
A
d.
Proposicao 2.3.9. Sejam R e f, g funcoes integraveis.
1. f e integravel e
_
fd =
_
fd.
2. f +g e integravel e
_
(f + g)d =
_
fd +
_
gd.
3. Se f g, entao
_
f d
_
g d.
4. Se A e B sao conjuntos mensuraveis disjuntos, entao
_
AB
fd =
_
A
fd +
_
B
fd.
Prova. O resultado sai facilmente para o caso de f e g serem funcoes simples. Para
o caso geral aplicar o Teorema 2.3.8 às partes positiva e negativa de cada uma das
funcoes, tendo em atenc ao a igualdade do Exerccio 2.8.11. .
Proposicao 2.3.10. Se f e uma funcao integravel, entao
_
fd

_
[f[d,
e temos a igualdade se e so se f 0 qtp ou f 0 qtp.
Prova. Como f [f[ e [f[ f, vem
_
fd
_
[f[d e
_
[f[d
_
fd.
Ou seja,
_
fd

_
[f[d,
tendo assim provado a primeira parte.
E claro que f 0 qtp ou f 0 qtp e condic ao suciente para que se tenha a

igualdade. Vejamos a necessidade. Ora,
_
fd
=
_
[f[d
_
fd =
_
[f[d ou
_
fd =
_
[f[d.
No primeiro caso temos
_
([f[ f)d = 0 e, pela Proposic ao 2.3.5 tera que ser
f = [f[ qtp. No outro caso, analogamente se ve que f = [f[ qtp. Em qualquer
dos casos temos f 0 qtp ou f 0 qtp. .
30 CAP

AO
Teorema 2.3.11. (Convergencia Dominada) Seja (f
n
)
n
uma sucessao de fun-
coes mensuraveis convergindo qtp para f tais que [f
n
[ g, onde g e integravel.
Entao f e integravel e
lim
n
_
f
n
d =
_
fd.
Prova. Sendo [f
n
[ g para todo n, tera que ser [f[ g qtp. Resulta do Exerccio 13
que f e f
n
sao tambem integraveis. Temos entao que (g + f
n
)
n
e uma sucessao de
funcoes nao negativas integr aveis. Pelo Lema de Fatou
_
liminf
n
(g + f
n
)d liminf
n
_
(g + f
n
)d,
e ent ao
_
gd +
_
fd
_
gd + liminf
n
_
f
n
d.
Como
_
gd e nito vem
_
fd liminf
n
_
f
n
d.
Por outro lado, (g f
n
)
n
e tambem uma sucessao de func oes nao negativas in-
tegraveis. Pelo Lema de Fatou
_
liminf
n
(g f
n
)d liminf
n
_
(g f
n
)d,
donde
_
gd
_
fd
_
gd limsup
n
_
f
n
d.
Assim,
limsup
n
_
f
n
d
_
fd liminf
n
_
f
n
d
o que prova o resultado. .
Fun c oes complexas. Terminamos esta secc ao com uma breve indicac ao de como
a teoria apresentada anteriormente se estende a func oes tomando valores complexos.
Seja f uma funcao denida num espaco de medida e tomando valores em C e sejam
Re f e Imf respectivamente a parte real e a parte imaginaria de f, i.e. f = Re f +
i Imf com Re f e Imf tomando valores reais. Dizemos que f e mensuravel se e so
se Re f e Imf sao mensuraveis e, similarmente, f e integravel se e so se Re f e Imf
sao integraveis. No caso da integrabilidade de f, denimos
_
fd =
_
Re fd + i
_
Imfd.
Com estas denicoes, os resultados apresentados anteriormente aplicam-se (com
algumas alterac oes obvias) a funcoes tomando valores complexos.
2.4. INTEGRAIS DE RIEMANN E LEBESGUE 31
2.4 Integrais de Riemann e Lebesgue
Vamos agora comparar a nocao de integral de uma funcao real de vari avel real se-
gundo Lebesgue (em relac ao à medida de Lebesgue em R que denotaremos por )
com a nocao de func ao integr avel segundo Riemann. Como veremos, a integrabili-
dade segundo Riemann e mais exigente do que a integrabilidade segundo Lebesgue,
no sentido em que ha funcoes que sao integr aveis segundo Lebesgue que nao sao
integraveis segundo Riemann. Para simplicar apresentaremos os resultados para
funcoes denidas em intervalos de R. Temos naturalmente resultados analogos para
funcoes denidas em rectangulos de R
n
com n 2.
Comecamos por apresentar a noc ao de integrabilidade segundo Riemann. Seja
[a, b] um intervalo de R e f : [a, b] R uma funcao limitada. Dada a = x
0
< x
1
<
< x
k
= b uma partic ao P de [a, b], denimos a sua soma superior
S
P
=
k
i=1
M
i
(x
i
x
i1
),
onde para cada i tomamos M
i
= sup(f[[x
i1
, x
i
]). Substituindo cada supremo M
i
pelo respectivo nmo m
i
, obtemos a soma inferior de P
s
P
=
k
i=1
m
i
(x
i
x
i1
).
E facil vericar que se P

1
e P
2
sao duas quaisquer particoes de [a, b] entao s
P
1
S
P
2
.
Uma funcao diz-se integravel segundo Riemann se e somente se as suas somas
superiores e inferiores puderem car arbitrariamente proximas; isto e, dado > 0
existe uma particao P tal que S
P
s
P
< . Neste caso teremos inf
P
S
P
= sup
P
s
P
e designamos este valor comum por
_
b
a
fdx.
Teorema 2.4.1. Se f : [a, b] R e integravel segundo Riemann, entao f e in-
tegravel segundo Lebesgue e
_
b
a
fdx =
_
[a,b]
fd.
Prova. Seja (P
n
)
n
uma sucessao de partic oes tais que S
P
n
s
P
n
< 1/n para cada
n. Se
n
e
n
sao as func oes que em cada intervalo determinado pela particao P
n
valem, respectivamente, o supremo e o nmo da restric ao de f a esse intervalo,
temos que
n
e
n
sao funcoes mensuraveis simples,
n
f
n
e
S
P
n
=
_

n
d e s
P
n
=
_

n
d.
32 CAP

AO
Denido M = inf
n

n
e m = sup
n
n
temos que M e m sao func oes mensuraveis e
vamos ver que M = m qtp. Temos
_
x : M(x) m(x) > 0
_
=
_
k1
_
x : M(x) m(x) >
1
k
_
.
Seja
_
x : M(x) m(x) > 1/k
_
= a
k
. Como
n
m e
n
M para todo n,
entao temos
_
(
n
n
)d a
k
/k.
Isto implica a
k
= 0 para todo k e portanto M = m qtp. Temos m f M, donde
resulta que f e mensuravel. Como f e limitada, temos que f e integr avel e
_

n
d
_
fd
_

n
d.
Fazendo n obtemos o resultado. .
O recproco deste teorema nao e valido. Se considerarmos no intervalo [0, 1] a
funcao A
I
, func ao caracterstica dos irracionais, temos que A
I
e mensuravel, A
I
= 1
qtp (cf. Exerccio 2.8.9) e portanto
_
A
I
d = 1. Por outro lado, S
P
= 1 e s
P
= 0
qualquer que seja a particao P de [0, 1], o que mostra que A
I
nao e integr avel segundo
Riemann.
O teorema abaixo da uma caracterizacao das funcoes integraveis segundo Rie-
mann.
Teorema 2.4.2. Uma funcao f : [a, b] R e integravel segundo Riemann se e
somente se f e contnua em Lebesgue qtp.
Prova. Suponhamos que f e integravel segundo Riemann. Tomemos (P
n
)
n
uma
sucessao de partic oes de [a, b] tais que S
P
n
s
P
n
< 1/n para cada n. Seja C o
conjunto dos pontos que estao em alguma das particoes P
n
. Como C e numeravel,
temos que C e um conjunto com medida nula. Denimos para x / C as func oes M
e m como na prova do Teorema 2.4.1. Se x / C e tal que M(x) = m(x), ent ao f
e contnua em x. De facto, se existissem > 0 e uma sucessao (x
n
)
n
convergindo
para x tal que [f(x
n
) f(x)[ , entao teramos M(x) m(x) +, o que nao pode
suceder. Da prova do Teorema 2.4.1 segue que M(x) = m(x) para Lebesgue qtp,
cando assim demonstrado que f e contnua em Lebesgue qtp.
Reciprocamente, suponhamos que f e contnua em Lebesgue qtp. Tomemos
(P
n
)
n
uma sucessao de partic oes de [a, b] com os diametros dos intervalos convergindo
para zero quando n e tal que P
n
P
n+1
para todo n. Denindo
n
e
n
como
na prova do Teorema 2.4.1, temos
n+1

n
e
n+1

n
para todo n. Tomemos
m = lim
n
e M = lim
n
. Se x e um ponto de continuidade de f, ent ao dado
2.5. ESPAC OS L
P
33
> 0 existe > 0 tal que sup(f[(x , x + )) inf(f[(x , x + )) < . Para n
sucientemente grande, x pertence a algum intervalo da partic ao P
n
que, por sua
vez, esta contido em (x, x+). Logo,
n
(x)
n
(x) < . Como arbitrario, ent ao
M(x) = m(x) e portanto M = m em Lebesgue qtp. Pelo Teorema da Convergencia
Monotona e o Teorema 2.4.1, temos
lim
n
_

n
d =
_
Md =
_
md = lim
n
_

n
d.
Como
S
P
n
=
_

n
d e s
P
n
=
_

n
d,
conclumos que f e integravel segundo Riemann. .
2.5 Espacos L
p
Seja (X, /, ) e um espaco de medida. Dado 1 p < , denimos L
p
() como a
classe das func oes mensuraveis f tais que [f[
p
e integravel, com a identica cao de
duas func oes que coincidam em quase todo ponto. Denimos
|f|
p
=
__
[f[
p
d
_1
p
.
Denimos L
() como a classe das funcoes mensuraveis f tais que existe algum

M > 0 para o qual
_
x : [f(x)[ > M
_
= 0, mais uma vez com a identicac ao de
funcoes que coincidam em quase todo ponto. Denimos tambem
|f|
= inf
_
M > 0 [ (x : [f(x)[ > M) = 0
_
.
Resulta do modo como denimos estes espacos que, para 1 p , qualquer
f L
p
() esta identicada com uma func ao mensuravel que nao toma nunca os
valores . De facto, se |f|
p
< para algum 1 p , entao o conjunto
dos pontos onde f toma os valores tera que ter medida nula. Assim, dados
1 p e f, g L
p
(), faz sentido falar de f g, considerando, se necessario,
representantes de f e g que nao tomem nunca os valores .
Lema 2.5.1. (Desigualdade de Young) Seja : [0, ) [0, ) uma funcao
contnua estritamente crescente tal que (0) = 0 e lim
x+
(x) = +, e seja
=
1
. Denindo, para x 0,
(x) =
_
x
0
(y)dy e (x) =
_
x
0
(y)dy,
temos ab (a) + (b) para todos a, b 0, e a igualdade vale se e so se (a) = b.
34 CAP

AO
Prova. Temos para a 0
_
a
0
(x)dx +
_
(a)
0
(x)dx = a(a);
ou seja
(a) + ((a)) = a(a).
Daqui resulta
(a) + (b) = a(a) + (b) ((a)).
O resultado sai analisando os casos (a) b e (a) > b. .
Dado p > 1, dizemos que q > 1 e o conjugado de p se tivermos 1/p + 1/q = 1
(note-se que existe um unico n umero q > 1 nestas condic oes). Se p = 1 o seu
conjugado e, por denicao, q = .
Corolario 2.5.2. Sejam a, b 0, p > 1 e q > 1 o conjugado de p. Entao
ab
a
p
p
+
b
q
q
e a igualdade vale se e so se a
p
= b
q
.
Prova. Tomando (x) = x
p1
, temos que esta nas condic oes da desigualdade de
Young,
(a) =
a
p
p
e (b) =
b
q
q
.
Pela Desigualdade de Young temos
ab
a
p
p
+
b
q
q
,
com a igualdade valendo se e so se b = (a) = a
p1
, ou seja, b
q
= a
q(p1)
= a
p
. .
Teorema 2.5.3. (Desigualdade de Holder) Sejam f L
p
() e g L
q
(), com
1 p e q o conjugado de p. Entao fg L
1
() e
_
[fg[d |f|
p
|g|
q
.
Prova. Vejamos primeiro o caso 1 < p < . Se |f|
p
= 0 ou |g|
q
= 0 o resultado e
imediato. Se tal nao se vericar, temos pelo Corolario 2.5.2
[f[
|f|
p
[g[
|g|
q
1
p
[f[
p
|f|
p
p
+
1
q
[g[
q
|g|
q
q
.
2.5. ESPAC OS L
P
35
Integrando, vem
1
|f|
p
|g|
q
_
[fg[d
1
p
+
1
q
= 1,
o que da o resultado neste caso.
Vejamos agora o caso p = 1 e q = (o caso p = e q = 1 resulta deste).
Temos
[fg[ [f[|g|
qtp.
Daqui resulta que fg L
1
() e
|fg|
1
|f|
1
|g|
,
obtendo assim o resultado. .
No caso em que p = 2 temos tambem q = 2. Se f, g L
2
(), ent ao
_
[fg[d |f|
2
|g|
2
.
Esta e conhecida como a Desigualdade de Cauchy-Schwarz.
Teorema 2.5.4. (Desigualdade de Minkowski) Se 1 p e f, g L
p
(),
entao f + g L
p
() e
|f + g|
p
|f|
p
+|g|
p
.
Prova. Os casos p = 1 ou p = seguem directamente das denic oes. Seja p > 1 e
q > 1 o seu conjugado. Comecamos por mostrar que f +g L
p
(). De facto, como
[f + g[
p
([f[ +[g[)
p
(2 sup[f[, [g[)
p
2
p
([f[
p
+[g[
p
),
temos f + g L
p
(). Temos tambem
|f + g|
p
p
=
_
[f + g[
p
d
_
[f[ [f +g[
p1
d +
_
[g[ [f + g[
p1
d
|f|
p
|(f + g)
p1
|
q
+|g|
p
|(f + g)
p1
|
q
,
resultando esta ultima desigualdade do Teorema 2.5.3 e de se ter (p 1)q = p.
Assim, [f + g[
p1
L
q
() e
|(f + g)
p1
|
q
q
=
_
(f +g)
q(p1)
d =
_
(f + g)
p
d = |f + g|
p
p
.
Logo,
|f + g|
p
p
(|f|
p
+|g|
p
)|f +g|
p/q
p
= (|f|
p
+|g|
p
)|f +g|
p1
p
,
36 CAP

AO
donde se conclui o que pretendemos. .
Resulta em particular da desigualdade de Minkowski que, considerando a adic ao
usual e o produto de um escalar por uma func ao, L
p
() e um espaco vectorial sobre
o corpo R, para 1 p .
Introduzimos agora a func ao
d
p
: L
p
() L
p
() R
+
0
dada por d
p
(f, g) = |f g|
p
.
Corolario 2.5.5. d
p
e uma metrica em L
p
(), para 1 p .
Prova. Temos claramente d
p
(f, g) 0 e d
p
(f, g) = d
p
(g, f) para f, g L
p
(). Da
Proposic ao 2.3.5 resulta que d
p
(f, g) = 0 se e so se f = g qtp. A desigualdade
triangular resulta da desigualdade de Minkowski.
Nota 2.5.6. Se na denic ao dos espacos L
p
(), 1 p , nao identicarmos duas
funcoes mensuraveis que coincidam qtp, poderemos ter d
p
(f, g) = 0 sem que seja
f = g.
Teorema 2.5.7.
_
L
p
(), d
p
_
e completo, para 1 p .
Prova. Comecamos por ver o caso 1 p < . Seja (f
n
)
n
uma sucessao de Cauchy
em L
p
(). Queremos ver que existe f L
p
() tal que |f
n
f|
p
converge para zero
quando n . Como a sucessao (f
n
)
n
e de Cauchy, podemos, para cada i 1,
escolher n
i
1 tal que |f
n
f
k
|
p
< 1/2
i
para n, k n
i
. Alem disso, a sucessao
(n
i
)
i
pode ser tomada crescente, donde resulta em particular que para todo i 1
|f
n
i+1
f
n
i
|
p
< 1/2
i
.
Denindo
g
k
=
k
i=1
[f
n
i+1
f
n
i
[ e g =
i=1
[f
n
i+1
f
n
i
[,
temos g = lim
k
g
k
. Aplicando o Lema de Fatou à sucessao (g
p
k
)
k
obtemos
|g|
p
p
liminf
k
|g
k
|
p
p
liminf
k
_
k
i=1
|f
n
i+1
f
n
i
|
p
_
p
1.
Resulta que g e nita qtp, e portanto
f
n
1
+
i=1
(f
n
i+1
f
n
i
)
2.6. CONTINUIDADE ABSOLUTA 37
e absolutamente convergente qtp. Seja f a soma desta serie nos pontos onde ela
converge e denida arbitrariamente nos outros pontos. Como
f
n
1
+
k1
i=1
(f
n
i+1
f
n
i
) = f
n
k
resulta que lim
i
f
n
i
= f qtp. Vejamos que |f
n
f|
p
converge para zero quando
n . Dado > 0, existe N N tal que |f
n
f
m
|
p
< para n, m N. Pelo
Lema de Fatou, temos para cada m N
_
[f f
m
[
p
d liminf
i
_
[f
n
i
f
m
[
p
d
p
.
Conclumos que f f
m
L
p
(), e portanto f = (f f
m
) +f
m
L
p
(). Alem disso,
|f f
m
|
p
< para m N, o que prova o resultado.
Vejamos agora o caso p = . Sejam, para m, n N,
A
n,m
=
_
x : [f
n
(x) f
m
(x)[ > |f
n
f
m
|
_
e B
n
=
_
x : [f
n
(x)[ > |f
n
|
_
.
Entao, se
E =
_
n=m
A
n,m
_
k=1
B
k
_
,
temos (E) = 0. Para cada x X E a sucessao (f
n
(x))
n
e de Cauchy. Seja f
denida como o limite desta sucessao se x / E. Dado > 0 existe N N tal que
tal que |f
n
f
m
|
< para m, n N. Entao, em X E

[f
n
f
m
[ |f
n
f
m
|
<
e portanto, fazendo n obtemos [f f
m
[ . Deduzimos que [f[ [f
m
[ +
qtp e portanto f L
(). Como (E) = 0, conclumos que |f f

m
|
< para
m N. .
2.6 Continuidade absoluta
Sejam (X, /) um espaco mensuravel e , medidas em (X, /). Dizemos que e
absolutamente contnua com respeito a , e escrevemos , se (A) = 0
sempre que (A) = 0. As medidas dizem-se equivalentes se e .
Se (X, /, ) e um espaco de medida e f e uma funcao nao negativa integravel,
entao
: A
_
A
fd
dene uma medida nita em (X, /) (cf. Exerccio 2.8.12) que e absolutamente
contnua com respeito a . De facto, se A / e tal que (A) = 0, ent ao fA
A
= 0
qtp e portanto (A) = 0. Veremos que esta e a unica maneira de obter medidas
nitas absolutamente contnuas, comecando por provar um lema auxiliar.
38 CAP

AO
Lema 2.6.1. Sejam , medidas nitas num espaco mensuravel (X, /) e E / tal
que (E) > (E). Existe B E, com (B) > 0, satisfazendo (AB) (AB)
para todo A /.
Prova. Se (AE) (AE) para todo A /, entao podemos tomar B = E. Caso
contrario, existem n N e C / com C E, tais que (C) + 1/n < (C). Sejam
n
1
o menor inteiro positivo e C
1
E mensuravel tais que (C
1
) + 1/n
1
< (C
1
).
Indutivamente denimos n
k
o menor inteiro positivo e C
k
E mensuravel
C
k
E
k1
i=1
C
i
tais que (C
k
) + 1/n
k
< (C
k
). (2.10)
Por construcao temos n
1
n
2
e os correspondentes (C
k
)
k
dois a dois disjuntos
satisfazendo (2.10) para todo k. Denimos N como sendo se o processo descrito
acima nao para, isto e, se existem innitos n
k
, ou N igual ao maximo desses ndices
k, no caso de o processo parar. Tomemos
B = E
N
k=1
C
k
.
Vejamos que (B) > 0, ou seja,
_
N
k=1
C
k
_
< (E). Tal verica-se, pois
_
N
_
k=1
C
k
_
=
N
k=1
(C
k
) <
N
k=1
(C
k
)
N
k=1
1
n
k
(E) < (E). (2.11)
Passamos a provar a outra propriedade que pretendemos para B:
Se N < , signica que nao existem n N nem C E

N
i=1
C
i
tais que
(C) + 1/n < (C). Necessariamente tera que ser (A B) (A B) para todo
A /.
Se N = , comecamos por observar que, sendo as medidas e nitas, de
(2.11) resulta que
N
k=1
1/n
k
< , e portanto, a sucessao 1/n
k
converge para zero
quando k . Se A /, entao
_
A B
_

_
E
k
i=1
C
i
_
para todo k N,
e portanto
(A B) +
1
n
k
1
(A B) para todo k N.
Isto prova o resultado tambem neste caso. .
Teorema 2.6.2. (Radon-Nikodym) Se , sao medidas nitas num espaco men-
suravel (X, /) tais que , entao existe uma funcao f 0 nita tal que
(A) =
_
A
fd para todo A /.
Alem disso, f e unica qtp.
2.6. CONTINUIDADE ABSOLUTA 39
Prova. Seja
H =
_
g 0 : g e mensuravel e
_
A
gd (A) para todo A /
_
.
Temos que 0 H, e se g
1
, . . . , g
k
H ent ao sup
1ik
g
i
H. De facto, se denirmos
B
1
=
_
x : g
1
(x) = sup
1ik
g
i
(x)
_
,
e para cada 2 j k
B
j
=
_
x : g
j
(x) = sup
1ik
g
i
(x) e g
j
(x) > sup
1ij1
g
i
(x)
_
,
temos que B
1
, . . . , B
k
sao dois a dois disjuntos e B
1
B
k
= X. Se A / temos
_
A
sup
1ik
g
i
d =
k
j=1
_
AB
j
g
j
d
k
j=1
(A B
j
) = (A),
provando assim que sup
1ik
g
i
H. Usando o Teorema da Convergencia Monotona,
podemos estender este resultado para sucessoes de funcoes, isto e, se g
1
, g
2
, H,
entao sup
n
g
n
H.
Seja agora = sup
_
gd : g H e (g
n
)
n
uma sucessao de funcoes emHtal que
_
g
n
d converge para . Denindo f = sup
n
g
n
temos que f He
_
fd = , donde
resulta que (X) e, portanto, f e integr avel. Modicando f, se necessario, num
conjunto de medida zero, podemos supor que f e nita. Vamos agora mostrar que
esta f satisfaz o resultado do teorema. Sendo f H, isto equivale a mostrar que a
medida
0
denida por
0
(A) = (A)
_
A
fd 0 para A /
e identicamente nula. Suponhamos, por contradicao, que existe E / tal que
0
(E) > 0. Entao, escolhendo > 0 sucientemente pequeno temos
0
(E) > (E).
Aplicando o Lema 2.6.1 a =
0
e = , deduzimos que existe B E com
0
(B) > 0 tal que
0
(A B) (A B) para todo A /. Ou seja,
(A B)
_
AB
fd + (A B)
para todo A /. Como f H temos tambem
(A B)
_
A\B
fd.
40 CAP

AO
Somando ordenadamente obtemos
(A)
_
A
fd +(A B) =
_
A
fd +
_
A
A
B
d =
_
A
(f +A
B
)d,
o que mostra que f + A
B
H. Mas
_
(f + A
B
)d =
_
fd + (B) = + (B). (2.12)
Atendendo a que
0
(B) > 0 e
0
vem que (B) > 0, o que, por (2.12), da uma
contradicao com a escolha de f H.
Para provar a unicidade qtp, observamos que se g e outra funcao satisfazendo a
conclusao do teorema, ent ao
_
A
(f g)d = 0 para todo A /. Tomando A = x :
f(x) > g(x) conclumos que (A) = 0, e portanto f g qtp. Analogamente se ve
que f g qtp, o que mostra a unicidade qtp. .
Corolario 2.6.3. Se e sao medidas -nitas num espaco mensuravel (X, /)
tais que , entao existe uma funcao f 0 nita tal que (A) =
_
A
fd para
todo A /. Alem disso, f e unica qtp.
Prova. Se e sao -nitas, ent ao existe uma sucessao A
1
, A
2
, / de conjuntos
dois a dois disjuntos tais que X =
n
A
n
com (A
n
) < e (A
n
) < para todo
n 1. Aplicando o Teorema de Radon-Nikodym às restric oes de e a cada A
n
,
obtemos uma sucessao de funcoes (f
n
)
n
tal que
(A A
n
) =
_
AA
n
f
n
d
para todo n 1 e todo A /.

E facil vericar que a func ao
f =
n=1
f
n
A
A
n
satisfaz o que pretendemos. .
Se e sao medidas -nitas tais que , a funcao dada pelo Corolario
2.6.3 e chamada a derivada de Radon-Nikodym de em relac ao a e denotada
d/d.
2.7. MEDIDAS EM ESPAC OS M
ETRICOS 41
2.7 Medidas em espacos metricos
Terminamos este captulo provando algumas propriedades de medidas denidas so-
bre os borelianos de um espaco metrico. Seja X um espaco topologico e B a -algebra
dos borelianos de X. Dizemos que uma medida denida em B e uma medida
regular se, dados A B e > 0, existem F
fechado de X e U
aberto de X com
F
A U
tais que (U
) < .
Teorema 2.7.1. Se (X, B, ) e um espaco de medida nito, onde X e um espaco
metrico e B e a -algebra de Borel, entao e regular.
Prova. Seja / a coleccao de todos borelianos A B tais que para todo > 0 existem
U
aberto e F
fechado com F
A U
e (U
) < . Pretendemos mostrar

que / = B. Comecamos por provar que / e uma -algebra.
1. Claramente X /.
2. Vejamos que se A /, ent ao X A /. Dado > 0, existem U
aberto e F
fechado com F
A U
e (U
) < . Ent ao (XU
) (XA) (XF
),
sendo X F
aberto e X U
fechado. Como (X F
) (X U
) = U
,
temos o pretendido.
3. Falta ver que / e fechado para unioes numer aveis. Sejam A
1
, A
2
, / e
A =
n
A
n
. Dado > 0, para cada n 1 existem U
,n
aberto e F
,n
fechado
com F
,n
A U
,n
e (U
,n
F
,n
) < /3
n
. Sejam U
n
U
,n
e

F
n
F
,n
.
U
e aberto, mas

F
nao e necessariamente fechado. Tomamos k 1 tal que
k
n=1
F
,n
_
< /3 e denimos F
k
n=1
F
,n
. Temos que F
e fechado e
F
A U
. Alem disso,
(U
) (U
) + (

F
n=1
(U
,n
F
,n
) + (

F
)
<
n=1
3
n
+

3

Temos assim provado que / e uma -algebra. Para ver que / coincide com B
basta mostrar que / contem os fechados. Seja F um conjunto fechado e > 0.
Denindo para cada n 1 o conjunto U
n
= x X : d(x, F) < 1/n temos que
U
n
e aberto, U
1
U
2
e F =
n
U
n
. Escolhendo k tal que (U
k
F) < ,
denimos U
= U
k
e F
= F. Temos provado que F /. .

42 CAP

AO
Corolario 2.7.2. Se e uma medida denida na -algebra de Borel de um espaco
metrico, entao temos para cada boreliano A
1. (A) = sup(F) : F fechado e F A
2. (A) = inf(U) : U aberto e U A
Antes de prosseguirmos, apresentamos um lema de ndole topologica.
Lema 2.7.3. Seja X um espaco metrico. Se F
1
e F
2
sao fechados de X tais que
F
1
F
2
= , entao existe alguma funcao contnua f : X [0, 1] tal que f[F
1
= 0 e
f[F
2
= 1.
Prova. Denindo f : X R por
f(x) =
d(x, F
1
)
d(x, F
1
) + d(x, F
2
)
temos que f esta bem denida, e contnua e satisfaz o que pretendemos. .
O seguinte resultado mostra que uma medida denida nos borelianos de um
espaco metrico ca completamente determinada sabendo como integra as func oes
contnuas.
Proposicao 2.7.4. Sejam e duas medidas nitas denidas nos borelianos do
espaco metrico X. Se para toda funcao contnua f : X R tivermos
_
fd =
_
fd, entao = .
Prova. Pelo corolario acima, basta mostrar que (F) = (F) para todo fechado
F X. Seja F um fechado e > 0. Pela regularidade de , existe U um aberto
contendo F tal que (U F) < . Tomando f a funcao dada pelo Lema 2.7.3 para
os fechados F e X U obtemos
(F)
_
fd =
_
fd (U) < (F) + .
Isto mostra que (F) (F). Por simetria mostramos a outra desigualdade. .
2.8 Exerccios
1. Mostrar que a -algebra de Borel gerada pelos abertos da topologia usual de
R
n
coincide com a -algebra gerada pela semi-algebra descrita no Exemplo
2.2.2.
2.8. EXERC
ICIOS 43
2. Sejam (X, /, ) um espaco de medida e A um elemento de /.
(a) Denindo / [ A = B A : A B /, mostre que / [ A e uma
-algebra de A.
(b) Denindo ( [ A)(B) = (A B) para B / [ A, mostre que [ A e
uma medida em /.
3. Seja X um conjunto e # a func ao denida no Exemplo 2.1.3. Mostre que
(a) # e uma medida.
(b) # e nita se e somente se X e nito.
(c) # e -nita se e somente se X e numer avel.
4. Sejam X o conjunto dos racionais no intervalo (0, 1] e o a classe de subcon-
juntos A de X para o qual existem a, b X com a b tais que A = x X :
a < x b.
(a) Mostre que o e uma semi-algebra.
(b) Mostre que a -algebra gerada por o coincide com T(X), o conjunto das
partes de X.
(c) Seja
1
a medida de contagem em T(X) e dena
2
= 2
1
. Mostre que
1
coincide com
2
na algebra gerada por o, mas
1
,=
2
.
5. Seja uma funcao -aditiva denida numa algebra / de um conjunto X e
sejam
1
e
2
medidas denidas na -algebra B gerada por / que estendem .
(a) Assuma nita e dena ( como a classe dos elementos B B que
satisfazem
1
(B) =
2
(B). Mostre que:
i. X (.
ii. Se A, B ( e A B, ent ao B A (.
iii. Se A, B ( e A B = , ent ao B A (.
iv. Se B
1
B
2
sao de elementos de (, ent ao
n=1
B
n
(.
(b) Seja T a menor classe (no sentido da inclusao) de subconjuntos de X
contendo / que satisfazem 5(a)i, 5(a)ii, 5(a)iii e 5(a)iv.
i. Demonstre a existencia de uma tal classe T.
ii. Denindo c = A X : A B T para todo B T, mostre que
c satisfaz 5(a)i, 5(a)ii, 5(a)iii e 5(a)iv.
iii. Dado A / dena T(A) = B X : A B T. Mostre que
T(A) satisfaz 5(a)i, 5(a)ii, 5(a)iii e 5(a)iv.
iv. Mostre que c /.
44 CAP

AO
v. Mostre que se A, B T entao A B T.
vi. Mostre que T e uma -algebra.
(c) Mostre que se e nita ent ao
1
=
2
.
(d) Mostre que se e -nita ent ao
1
=
2
.
6. Seja a func ao denida na semi-algebra o dos rectangulos de R
n
como
_
n
i=1
I
i
_
= [I
1
[ [I
n
[
para
n
i=1
I
i
o. Mostre que e -nita e -aditiva.
7. Mostre que a medida de Lebesgue em R
2
coincide com a medida produto
1
, onde
1
designa a medida de Lesbesgue emR. Generalize este resultado
para R
n
.
8. Considere, em R, a semi-algebra o descrita no Exemplo 2.2.2, a -algebra dos
borelianos B e seja : o [0, +] a func ao comprimento. Dados a, b R,
dena : R R por (x) = ax + b. Mostre que:
(a) Se A o, ent ao (A) o e
1
(A) o.
(b) Se A B, ent ao (A) B e
1
(A) B.
(c) Para todo A R tem-se
((A)) = [a[
(A).
(d) A medida de Lebesgue em R e invariante por isometria.
9. Seja a medida de Lebesgue em R. Mostre que:
(a) (x) = 0 para todo x X.
(b) (A) = 0 para todo conjunto numer avel A X.
10. Sejam (X, /, ) um espaco de medida e (A
n
)
n
uma sucessao de elementos de
/ tal que
n=1
(A
n
) < . Mostre que quase todo x X pertence a um
n umero nito de A
n
s.
11. Mostre que (f + g)
+
+ f
+g
= (f + g)
+ f
+
+ g
+
.
12. Sejam (X, /, ) um espaco de medida e f 0 uma funcao integravel. Mostre
que
A
_
A
fd
dene uma medida em (X, /).
2.8. EXERC
ICIOS 45
13. Se g 0 e uma funcao integr avel e f e uma funcao mensuravel tal que [f[ g,
ent ao f e integravel.
14. Seja a medida de contagem denida na -algebra / das partes de N. Mostre
que:
(a) Se f 0, entao
_
f d =
n=1
f(n).
(b) f e integravel se e somente se
n=1
[f(n)[ <
(c) Se f e integr avel entao
_
f d =
n=1
f(n).
15. Seja (X, /, ) um espaco de medida com nita. Mostre que se existe
lim
n
_
f
n
d e e nito, ent ao o seu valor coincide com x X : f(x) = 1.
16. Sejam (X, /, ) um espaco de medida e f > 0 uma func ao integravel em
A /. Mostre que
lim
n
_
f
1/n
d = (A).
17. Sejam (X, /, ) um espaco de medida nito e 1 p q .
(a) Mostre que L
q
() L
p
().
(b) De exemplo de um espaco em que se tenha L
q
() estritamente contido
em L
p
() para todos p e q nas condic oes dadas.
(c) Prove que se nao e nita ent ao L
q
() pode nao estar contido em L
p
().
18. Sejam 1 p e q o seu conjugado. Mostre que se f
n
converge para f na
metrica d
p
e g
n
converge para g na metrica d
q
, ent ao f
n
g
n
converge para fg
na metrica d
1
.
19. Considere a, b R com a < b e a medida Lebesgue em [a, b]. Dado 1 p <
, mostre que:
(a) Se A e um aberto de [a, b], ent ao existe uma sucessao de funcoes contnuas
denidas em [a, b] convergindo para A
A
na metrica d
p
.
(b) Se B e um boreliano em de [a, b], existe uma sucessao de funcoes carac-
tersticas de abertos de [a, b] convergindo para A
B
na metrica d
p
.
Sugestao: use a regularidade de .
46 CAP

AO
(c) C([a, b]) e denso em L
p
().
20. Nas mesmas condicoes do exerccio anterior, mostre que C([a, b]) nao e denso
em L
().
21. Seja f uma func ao mensuravel tomando valores em C. Mostre que:
(a) f e integr avel se e so se [f[ e integr avel.
(b) Se f e integravel, entao [
_
fd[ =
_
[f[d se e so se existe algum C
com [[ = 1 tal que f = [f[ qtp.
22. Sejam (X, /) um espaco mensuravel e e duas medidas sobre /. Mostre
que sao equivalentes:
(a) e absolutamente contnua com respeito a .
(b) Dado > 0 existe > 0 tal que se A / e (A) < , ent ao (A) < .
Captulo 3
Espacos normados
Neste captulo estudaremos propriedades topologicas de certos espacos vectoriais.
Consideraremos esses espacos com a estrutura usual de espaco vectorial sobre o corpo
dos n umeros reais ou complexos. Estaremos tambem interessados nas propriedades
topologicas de transformac oes lineares entre tais espacos.
3.1 Espacos de Banach
Seja E um espaco vectorial sobre o corpo K = R ou C. Uma norma em E e uma
funcao | | : E R
+
0
tal que
1. |x| = [[|x| para todos x E, K;
2. |x + y| |x| +|y| para todos x, y E;
3. |x| = 0 implica x = 0.
A um espaco vectorial munido de uma norma chamamos espaco normado. Um
espaco de Banach e um espaco normado que e completo com a metrica d dada
por d(x, y) = |x y| para x, y E.
Exemplo 3.1.1. A funcao que a cada x K associa [x[ R
+
0
dene uma norma
em K. Com esta norma, K e um espaco de Banach.
Exemplo 3.1.2. Dado um espaco topologico compacto X, consideremos C(X) o
espaco vectorial das funcoes contnuas denidas em X e tomando valores em K. A
funcao
f C(X) sup
xX
[f(x)[
dene uma norma em C(X) cuja metrica associada coincide com a da convergencia
uniforme. Temos entao que C(X) com esta norma e um espaco de Banach.
47
48 CAP
ITULO 3. ESPAC OS NORMADOS

Exemplo 3.1.3. Dos resultados obtidos na Seccao 2.5 deduzimos facilmente | |
p
e
uma norma em L
p
(), para 1 p , e L
p
() com esta norma e um espaco de
Banach.
Exemplo 3.1.4. Dado 1 p < , consideremos sobre K
n
|(x
i
)
n
i=1
|
p
=
_
n
i=1
[x
i
[
p
_
1/p
,
|(x
i
)
n
i=1
|
= sup
1in
[x
i
[.
| |
p
dene uma norma em K
n
para todo 1 p , e K
n
com qualquer uma
dessas normas e um espaco de Banach. De facto, considerando sobre o conjunto
I = 1, . . . , n a medida de contagem # (cf. Exemplo 2.1.3), qualquer funcao de I
em K e mensuravel e, para cada 1 p , temos que | |
p
denida acima coincide
com a norma | |
p
em L
p
(#).
Exemplo 3.1.5. Nos exemplos abaixo consideramos a = (a
n
)
nI
uma sucessao to-
mando valores em K, com I = N ou I = Z . Para 1 p < , denimos os espacos
de sucessoes
p
(I) =
_
a : [a[
p

_
nI
[a
n
[
p
_
1/p
<
_
(I) =
_
a : [a[
sup
nI
[a
n
[ <
_
.
Temos
p
(I)
(I) para 1 p < e (

p
(I), [ [
p
) um espaco de Banach para todo
1 p . Na verdade,
p
(I) coincide com L
p
(#), onde # e a medida de contagem
em I, e [ [
p
e precisamente a norma associada a essa medida (cf. Exerccio 4).
3.2 Aplicac oes lineares limitadas
Sejam E, F espacos normados e T : E F uma aplicac ao linear. Dizemos que T
e uma aplicacao linear limitada, se existir alguma constante C 0 tal que
|T(x)| C|x| para todo x E.
Notar que as normas em cada um dos lados da desigualdade acima nao sao neces-
sariamente iguais, mesmo que E coincida com F. Contudo, sempre que nao haja
perigo de confusao usaremos a mesma notacao para ambas as normas.
No caso em que E = F diremos que T e um operador linear, e no caso em que
F = K (com a estrutura natural de espaco vectorial sobre K) diremos que T e um
funcional linear.
Uma aplicac ao T : E F entre espacos normados diz-se uma isometria, se T e
um isomorsmo linear que preserva normas, i.e. |T(x)| = |x| para todo x E.
3.2. APLICAC

OES LINEARES LIMITADAS 49
Teorema 3.2.1. Seja T : E F uma aplicacao linear entre dois espacos normados.
Sao equivalentes:
1. T e limitada.
2. T e contnua em 0.
3. T e contnua.
Prova.

E imediato vericar que 1 e 3 implicam 2. Vejamos que 1 e 3 resultam de 2.
Sendo T contnua em 0, dado > 0 existe > 0 tal que se |x| < ent ao
|T(x)| < . Se x ,= 0, temos pela linearidade de T
|T(x)| =
2|x|
_
_
_
_
T
_
x
2|x|
__
_
_
_

2
|x|. (3.1)
Como (3.1) tambem e valida para x = 0, temos provado que 2 implica 1.
Sejam x
0
E e > 0 arbitrarios. Sendo T contnua em 0, existe > 0 tal que
|x| < implica |T(x)| < . Temos entao que |x x
0
| < implica
|T(x) T(x
0
)| = |T(x x
0
)| < ,
o que da a continuidade de T em x
0
e portanto 2 tambem implica 3. .
Dados espacos normados E e F, denimos L(E, F) o espaco vectorial das apli-
cacoes lineares limitadas de E em F. No caso em que E = F denotaremos o espaco
L(E, E) simplesmente por L(E). Dada T L(E, F), denimos
|T| = sup
x=0
|T(x)|
|x|
. (3.2)
Notar que existe este supremo, pois T e limitada. Usando a linearidade da aplicacao
e facil vericar que valem as igualdades
sup
x=0
|T(x)|
|x|
= sup
x1
|T(x)| = sup
x=1
|T(x)|
|x|
(3.3)
para toda T L(E, F), obtendo assim algumas maneiras alternativas de denir |T|
Proposicao 3.2.2. Sejam E e F espacos normados. A funcao
T L(E, F) |T|
dene uma norma em L(E, F).
50 CAP

Prova. Temos obviamente |T| 0 e |T| = 0 se e somente se T for a aplicac ao
nula. Provemos ent ao a desigualdade triangular, isto e, se T, U L(E, F) ent ao
|T + U| |T| +|U|. Ora,
|T + U| = sup
x=0
|T(x) + U(x)|
|x|
sup
x=0
|T(x)|
|x|
+ sup
x=0
|U(x)|
|x|
o que da a desigualdade pretendida. .
Lema 3.2.3. Se T : E F e uma aplicacao linear entre espacos normados, entao
|T| = inf C > 0 : |T(x)| C|x| para todo x E .
Prova. Tomando C 0 tal que |T(x)| C|x| para todo x E, temos
|T(x)|
|x|
C para todo x E 0,
donde se conclui que |T| C. Resta ver que |T(x)| |T| |x| para todo x E.
Supondo, por reduc ao ao absurdo, que existe x
0
E tal que |T(x
0
)| > |T| |x
0
|,
obtemos
|T(x
0
)|
|x
0
|
> |T|,
o que da uma contradicao com a denic ao de |T|. .
Teorema 3.2.4. Se F e um espaco de Banach, entao L(E, F) e tambem um espaco
de Banach.
Prova. Atendendo à Proposic ao 3.2.2, basta mostrar que L(E, F) com a metrica
dada pela norma em (3.2) e um espaco completo. Seja (T
n
)
n
uma sucessao de
Cauchy em L(E, F). Dados x E e n, m 1 temos, pelo lema anterior,
|T
n
(x) T
m
(x)| |T
n
T
m
| |x|.
Logo, xado x E, a sucessao (T
n
(x))
n
e de Cauchy em F. Como F e um espaco de
Banach, existe algum y F tal que (T
n
(x))
n
converge para y. Denindo T(x) = y,
da unicidade da convergencia resulta que T : E F e linear. Precisamos de ver
que T e limitada e T
n
T. Da desigualdade triangular obtemos
[|T
n
| |T
m
|[ |T
n
T
m
|.
Logo, (|T
n
|)
n
e uma sucessao de Cauchy em R, e portanto existe C > 0 tal que
|T
n
| C para todo n. Assim, como | | e contnua,
|T(x)| = lim
n
|T
n
(x)| lim
n
|T
n
| |x| C|x|
3.3. FUNCIONAIS LINEARES 51
donde conclumos que T e limitada. Como
|(T T
n
)(x)| = lim
m
|(T
m
T
n
)(x)| limsup
m
|T
m
T
n
| |x|,
temos
|T T
n
| = sup
x=0
|(T T
n
)(x)|
|x|
lim
m
|T
m
T
n
|,
que pode ser feito arbitrariamente pequeno tomando n sucientemente grande. .
Corolario 3.2.5. L(E, K) e um espaco de Banach, qualquer que seja o espaco
normado E.
Prova. Basta notar que K munido da norma do modulo e um espaco completo. .
3.3 Funcionais lineares
Vamos nesta secc ao estudar espacos de funcionais lineares sobre certos espacos nor-
mados. Estaremos particularmente interessados nos espacos C(X) e L
p
() dos exem-
plos 3.1.2 e 3.1.3.
Dizemos que um funcional linear denido em L
p
() ou C(X) e nao negativo
se (f) 0 sempre que f 0 qtp.
Proposicao 3.3.1. Se e um funcional linear contnuo em L
p
(), entao podemos
escrever =
+
onde
+
e
sao funcionais lineares contnuos nao negativos.

Prova. Seja L
+
= f L
p
() : f 0. Denimos para f L
+
+
(f) = sup(h) : h L
p
() e 0 h f. (3.4)
Como [(h)[ || |h|
p
|| |f|
p
, o supremo em (3.4) existe e
[
+
(f)[ || |f|
p
para todo f L
+
. (3.5)
Temos
+
(cf) = c
+
(f) para c 0 e
+
(f) (0) = 0 para f L
+
. Sejam
f, g L
+
. Temos
+
(f + g) = sup (h) : 0 h f +g .
Observamos que se h L
+
e tal que 0 h f + g, entao existem h
1
, h
2
L
+
tais
que
0 h
1
f, 0 h
2
g e h = h
1
+ h
2
.
52 CAP

De facto, tomando h
1
= minh, f e h
2
= h h
1
temos h
1
f. Alem disso, se
h
1
(x) = h(x) ent ao h
2
(x) = 0 g(x) e se h
1
(x) = f(x) entao h
2
(x) = h(x) f(x)
g(x). Resulta disto que
+
(f + g) = sup(h) : 0 h f + g
= sup(h
1
) + (h
2
) : 0 h
1
f, 0 h
2
g
=
+
(f) +
+
(g).
Para f L
p
(), considerando f
+
= maxf, 0 e f
= maxf, 0, temos f =
f
+
f
. Denimos
+
(f) =
+
(f
+
)
+
(f
) e
(f) =
+
(f) (f).
+
e
assim denidos sao lineares (cf. Exerccio 3.5.11) e =

+

. De
(3.5) e da continuidade de resulta tambem que
+
e
sao funcionais contnuos.

Falta ver que
+
e
sao nao negativos. Consideremos f 0. Temos ent ao

f
+
= f, f
= 0 e portanto
+
(f) =
+
(f
+
) 0. Alem disso, resulta de (3.4) que
+
(f) (f), e portanto
(f) =
+
(f)(f) 0. Logo,
+
e
sao funcionais
lineares nao negativos. .
O Teorema 2.5.3 mostra que se xarmos f L
q
() com 1 q e tomarmos
1 p tal que 1/p + 1/q = 1, a aplicacao
: g
_
gfd
dene um funcional linear contnuo em L
p
() com || |f|
q
. Assim, e natural
colocar a questao de tentar saber se, alem destes, existem outros funcionais linea-
res contnuos em L
p
(). A resposta e de um modo geral armativa, com a unica
excepcao do caso p = .
Teorema 3.3.2. Sejam (X, /, ) um espaco de medida com nita e 1 p < .
Dado um funcional linear contnuo em L
p
(), existe uma unica f L
q
(), onde
q e o conjugado de p, tal que
(g) =
_
gfd
para toda g L
p
(). Alem disso, || = |f|
q
.
Prova. Comecamos por mostrar que se uma tal f existe, ent ao e unica. Se f
1
e
f
2
sao elementos distintos de L
q
(), ent ao existe algum mensuravel A X com
(A) > 0 e f
1
[ A > f
2
[ A ou f
1
[ A < f
2
[ A. Em qualquer dos casos temos, para
A
A
L
p
(),
_
A
A
f
1
d ,=
_
A
A
f
2
d,
o que mostra unicidade.
Vamos agora provar a existencia. Se e um funcional em L
p
(), temos pela
Proposicao 3.3.1 que existem
+
e
funcionais nao negativos em L

p
() tais que
=
+

.

E suciente mostrar que existem f
+
L
q
() e f
L
q
() tais que
para g L
p
() se tem
+
(g) =
_
gf
+
d e
(g) =
_
gf
d.
Provemos a existencia de f
+
(a existencia de f
prova-se de modo analogo). Deni-

mos para cada A /
+
(A) =
+
(A
A
)
(Notar que (A) < + implica A
A
L
p
()). Como
+
e um funcional nao
negativo, segue imediatamente que
+
e nao negativa e
+
() = 0. Vejamos que
+
e -aditiva. Seja A =
n1
A
n
com os A
n
disjuntos dois a dois. Fazendo B
n
=
A
1
A
n
temos
|A
A
k=1
A
A
k
|
p
= |A
A
A
B
n
|
p
=
_
(A B
n
)
_
1/p
0 quando n .
(aqui usamos p < ). Resulta da continuidade de
+
que
+
(A) =
+
(A
A
) = lim
n
n
k=1
+
(A
A
k
) =
k=1
+
(A
k
)
e portanto
+
e uma medida nita em (X, /). Podemos assim aplicar o Teorema de
Radon-Nikodym e concluir que existe uma func ao mensuravel nao negativa f
+
tal
que, para todo A /,
+
(A
A
) =
+
(A) =
_
A
f
+
d =
_
A
A
f
+
d.
Ou seja,
+
pode ser representado por um funcional do tipo pretendido no subcon-
junto das func oes caractersticas. Da linearidade de
+
segue facilmente que se g e
uma func ao simples, ent ao
+
(g) =
_
gf
+
d.
Seja agora g L
p
() com g 0. Pelo Teorema 2.3.8 existe uma sucessao crescente
de funcoes simples (g
n
)
n
convergindo para g. Aplicando o Teorema da Convergencia
Dominada a [g
n
g[
p
deduzimos que (g
n
)
n
converge para g na norma | |
p
(notar
que [g
n
g[
p
2
p
[g[
p
L
1
()). Da continuidade de
+
obtemos
+
(g) = lim
n
+
(g
n
) = lim
n
_
g
n
f
+
d =
_
gf
+
d,
54 CAP

resultando esta ultima igualdade do Teorema da Convergencia Monotona. No caso
de nao ser g 0, aplicamos este mesmo raciocnio à parte positiva e à parte negativa
de g e usamos a linearidade de
+
, obtendo assim f como se pretende.
Falta ver que f L
q
() e || = |f|
q
. Como vimos anteriormente, resulta do
Teorema 2.5.3 que || |f|
q
. Separaremos os casos p = 1 e 1 < p < para
provar a outra desigualdade.
Seja p > 1. Tomemos uma sucessao de func oes simples nao negativas (f
n
)
n
convergindo monotonamente para [f[. Temos
_
f
q
n
d
_
[f[f
q1
n
d =
_
sinal(f)ff
q1
n
d
=
_
sinal(f)f
q1
n
_
|| | sinal(f)f
q1
n
|
p
= ||
_
_
f
(q1)p
n
d
_
1/p
= ||
_
_
f
q
n
d
_
1/p
= || |f
n
|
q/p
q
= || |f
n
|
q1
q
.
Daqui resulta
|f
n
|
q
q
|| |f
n
|
q1
q
e portanto
|f
n
|
q
||.
Temos entao pelo Teorema da Convergencia Monotona que
|f|
q
||.
Seja agora p = 1 (e portanto q = ). Queremos provar que |f|
||.
Suponhamos, por reduc ao ao absurdo, que existe algum A / com (A) > 0 e
[f[ [ A > ||. Ent ao
_
sinal(f)A
A
_
=
_
A
[f[d > ||(A) = || | sinal(f)A
A
|
1
,
o que da uma contradicao com a denic ao da norma de . .
Corolario 3.3.3. Vale o mesmo resultado do teorema anterior se (X, /, ) for um
espaco de medida -nito.
Prova. Se (X, /, ) e -nito ent ao existe uma sucessao de conjuntos mensuraveis
A
1
, A
2
, . . . tais que X =
n1
A
n
e (A
n
) < para todo n. Modicando os A
n
, se
necessario, podemos supor que A
1
A
2
. Podemos aplicar o teorema anterior
a cada um dos espacos
_
A
n
, / [ A
n
, [ A
n
_
obtendo func oes f
n
L
q
( [ A
n
) tais
que para todo g L
p
()
_
gA
A
n
_
=
_
gA
A
n
f
n
d.
Se m n temos, pela unicidade de f
m
que f
m
= f
n
[ A
m
. Podemos ent ao denir f
em X pela formula
f(x) = f
n
(x) se x A
n
. (3.6)
A func ao f satisfaz o que pretendemos (cf. Exerccio 11). .
Examinaremos a seguir a relacao entre funcionais lineares nao negativos no
espaco das funcoes contnuas de um espaco metrico compacto e o conjunto das
probabilidades nos borelianos desse espaco metrico. Seja X um espaco metrico e
uma medida de probabilidade nos borelianos de X. A aplicacao
: f
_
fd
dene um funcional linear nao negativo em C(X) tal que (1) = 1. Como vimos na
Proposicao 2.7.4, medidas distintas dao necessariamente origem a funcionais distin-
tos. Veremos que se o espaco X for compacto, ent ao esta e essencialmente a unica
maneira de obter funcionais lineares nao negativos em C(X). Comecamos com um
lema simples sobre espacos metricos.
Lema 3.3.4. Sejam U
1
, . . . , U
n
abertos de um espaco metrico compacto X. Se
K X e um compacto tal que K U
1
U
n
, entao existem funcoes contnuas
h
1
, . . . , h
n
: X [0, 1] tais que h
i
A
U
i
para 1 i n e h
1
(x) + h
n
(x) = 1 para
todo x K.
Prova. Consideremos para cada x K uma bola B
x
centrada em x tal que a sua
aderencia B
x
esta contida em algum U
i
. Como K e compacto, existem pontos
x
1
, . . . , x
k
tais que K B
x
1
B
x
k
. Para i = 1, . . . , n seja H
i
igual à uniao dos
B
x
j
que estao contidos em U
i
. Pelo Lema 2.7.3 existem func oes g
i
contnuas tais
que A
H
i
g
i
A
U
i
. Denindo
h
1
= g
1
h
2
= (1 g
1
)g
2
.
.
.
h
n
= (1 g
1
)(1 g
2
) (1 g
n1
)g
n
temos h
i
e contnua e h
i
A
U
i
para i = 1, . . . , n. Indutivamente se verica que
h
1
+ h
n
= 1 (1 g
1
)(1 g
2
) (1 g
n
).
Como K H
1
H
n
, temos para cada x K algum i para o qual g
i
(x) = 1.
Logo h
1
(x) + h
n
(x) = 1 para x K. .
56 CAP

Teorema 3.3.5. (Representacao de Riesz) Seja X um espaco metrico compacto.
Se e um funcional linear nao negativo em C(X) tal que (1) = 1, entao existe
uma unica probabilidade nos borelianos de X tal que
(f) =
_
fd para toda f C(X).
Prova. A unicidade de resulta da Proposic ao 2.7.4. Para provar a existencia,
denimos, para um aberto U de X,
(U) = sup(f) : 0 f A
U
. (3.7)
E facil vericar que se U

1
e U
2
sao abertos de X tais que U
1
U
2
, entao (U
1
)
(U
2
). Logo, denindo para A X
(A) = inf(U) : A U, U aberto (3.8)
esta formula coincide com a anterior para os abertos e generaliza-a a todos subcon-
juntos de X. Seja / a classe dos borelianos A X tais que
(A) = sup(K) : K A, K compacto . (3.9)
Provemos algumas propriedades da classe / e da func ao :
(a) Se A B, entao (A) (B).
Segue imediatamente da denic ao de .
(b) Se U e um aberto de X, entao U /.
Seja c um n umero real tal que c < (U). Entao, por (3.7), existe 0 f
c
A
U
tal que c < (f
c
). Seja K
c
o suporte de f
c
. Se V e um aberto tal que
K
c
V , entao 0 f
c
A
V
e, por (3.7), vem (f
c
) (V ). Temos entao
(f
c
) (K
c
). Logo, obtemos um compacto K
c
U tal que c < (K
c
).
Como c e qualquer n umero menor que (U), temos provado que U /.
(c) Se K X e compacto, entao K / e
(K) = inf(f) : A
K
f 1.
De (a) resulta claramente que K /.
Sejam f C(X) com A
K
f 1 e 0 < c < 1. Denindo U
c
= x : f(x) > c
temos que K U
c
e cg f para toda g C(X) tal que 0 g A
U
c
. Logo,
(K) (U
c
) = sup(g) : 0 g A
U
c
c
1
(f).
Fazendo c 1 temos (K) (f).
Seja > 0 arbitrario. Existe U K tal que (U) < (K) + . Aplicando o
Lema 2.7.3 aos fechados K e MU obtemos f C(X) tal que A
K
f A
U
.
Assim,
(f) (U) < (K) + .
Como > 0 e arbitrario, temos o resultado.
(d) Se A
1
, A
2
, . . . sao subconjuntos de X, entao
n=1
A
n
_

n=1
(A
n
).
Comecamos por provar que se U
1
e U
2
sao abertos de X, ent ao
(U
1
U
2
) (U
1
) + (U
2
). (3.10)
Seja g C(X) tal que 0 g A
U
1
U
2
. Pelo Lema 3.3.4, existem func oes
contnuas h
1
, h
2
tais que 0 h
i
A
U
i
para i = 1, 2, e h
1
(x) +h
2
(x) = 1 para
todo x no suporte de g. Temos 0 h
i
g A
U
i
para i = 1, 2 e g = (h
1
+ h
2
)g.
Logo,
(g) = (h
1
g + h
2
g) = (h
1
g) + (h
2
g) (U
1
) + (U
2
).
Como isto ocorre para toda g C(X) tal que 0 g A
U
1
U
2
obtemos (3.10).
Sejam agora A
1
, A
2
, . . . subconjuntos arbitrarios de X. Dado > 0, existe
para cada i 1 um aberto U
i
A
i
tal que
(U
i
) < (A
i
) + /2
i
.
Sejam U =
i=1
U
i
e f C(X) tais que 0 f A
U
. Como o suporte de f
e compacto, existem U
1
, . . . , U
n
tais que 0 f A
U
1
U
n
. Aplicando (3.10)
varias vezes obtemos
(f) (U
1
U
n
) (U
1
) + +(U
n
)
i=1
(U
i
)
i=1
(A
i
) + .
Como isto vale para toda f C(X) tal que 0 f A
U
e
i=1
U, segue
que
i=1
A
i
_
(U)
i=1
(A
i
) + .
Sendo > 0 arbitrario, temos o que pretendamos.
58 CAP

(e) Se A
1
, A
2
, . . . sao elementos de / dois a dois disjuntos, entao
n=1
A
n
/ e
n=1
A
n
_
=
n=1
(A
n
). (3.11)
Comecamos por provar que se K
1
, K
2
sao compactos disjuntos de X, entao
(K
1
K
2
) = (K
1
) + (K
2
). (3.12)
Dado > 0 arbitrario, seja f C(X) dada pelo Lema 2.7.3 tal que f [ K
1
= 1
e f [ K
2
= 0. Da propriedade (c) resulta que existe g C(X) tal que
A
K
1
K
2
g 1 e (g) < (K
1
K
2
) + .
Notando que
A
K
1
fg 1 e A
K
2
(1 f)g 1,
como e linear vem
(K
1
) + (K
2
) (fg) + (g fg) = (g) < (K
1
K
2
) + .
Sendo > 0 arbitrario, (3.12) segue agora da propriedade (d).
Sejam > 0 arbitrario e A =
i=1
A
i
. Para cada i 1 existe algum compacto
K
i
A
i
tal que
(K
i
) > (A
i
) /2
i
.
Fazendo

K
n
= K
1
K
n
e usando (3.12) repetidas vezes, obtemos
(A) (
K
n
) =
n
i=1
(K
i
) >
n
i=1
(A
i
) . (3.13)
Como isto vale para todo n e > 0 e arbitrario, obtemos (3.11) atendendo à
propriedade (d).
Falta ver que A /. Se vale (3.11), ent ao
(A)
n
i=1
(A
i
) +
para algum n 1, o que, conjuntamente com (3.13) da
(A) (
K
n
) + 2.
Logo A /.
(f) Se A / e > 0, entao existem K compacto e U aberto tais que K A U
e (U K) < .
Resulta das denicoes que dado A / existem K A compacto e U A
aberto tais que
(U)

2
< (A) < (K) +

2
.
Como U K e aberto, temos que U K /. Da propriedade (e) deduzimos
(K) + (U K) = (U) < (K) + ,
e portanto
_
U K
_
< .
(g) Se A, B /, entao A B /, A B / e A B /.
Vejamos que se A, B /, entao A B /. Dado > 0, existem K
1
, K
2
compactos e U
1
, U
2
abertos com K
1
A U
1
, K
2
B U
2
e (U
i
K
i
) <
para i = 1, 2. Como
A B U
1
K
2
(U
1
K
1
) (K
1
U
2
) (U
2
K
2
),
pela propriedade (d) obtemos
(A B) + (K
1
U
2
) + .
Como K
1
U
2
e compacto, resulta que A B /.
Como AB = (A B) B, resulta da propriedade (e) que AB /. Como
A B = A (A B) temos tambem A B /.
Veremos agora que / e uma -algebra, e uma medida em / e que representa
, i.e. (f) =
_
fd para toda f C(X). Daqui deduzimos o resultado que pre-
tendemos, pois, como / contem os abertos de X, / tera forcosamente que coincidir
com a -algebra dos borelianos.
/ e uma -algebra:
1. X / pois X e compacto e se K e um compacto tal que K X, ent ao
(K) (X).
2. Uma vez que X /, resulta da propriedade (g) que se A /, ent ao XA /.
3. Seja A =
n=1
A
n
onde A
n
/ para todo n. Denimos B
1
= A
1
e para n 2
B
n
= A
n
(B
1
B
n1
).
Temos que (B
n
)
n
e uma sucessao de elementos de / dois a dois disjuntos e
A =
n=1
B
n
. Logo A /.
60 CAP

e uma medida de probabilidade: Da denic ao de resulta facilmente que
0 e () = 0. A propriedade (e) da a -aditividade de . De (3.7) deduzimos
que (X) = 1.
representa : Seja f C(X) tal que 0 f 1. Mostraremos primeiro que
(f)
_
fd. Dado um inteiro positivo n, denimos para 0 i n
K
i
= x : f(x) i/n.
Temos X = K
0
K
1
K
n
e denimos K
n+1
= . Para i = 1, . . . , n seja
i
uma funcao contnua em [0, 1] que vale 0 em [0, (i 1)/n], vale 1 em [i/n, 1] e e
am em [(i 1)/n, i/n]. Seja f
i
=
i
f para i = 1, . . . , n. Para t [0, 1] temos
(1/n)
_
1
(t) + +
n
(t)
_
= t. Logo (1/n)
_
f
1
+ + f
n
_
= f, e portanto (f) =
(1/n)
n
i=1
(f
i
). Temos tambem f
i
A
K
i
e, pela propriedade (c), (f
i
) (K
i
).
Assim,
(f) =
1
n
n
i=1
(f
i
)
1
n
n
i=1
(K
i
)
=
n
i=1
_
i
n

i 1
n
_
(K
i
)
=
n
i=1
i
n
(K
i
K
i+1
)
=
n
i=1
i + 1
n
(K
i
K
i+1
)
1
n
(K
1
)
i=1
_
K
i
\K
i+1
fd
1
n
(K
1
)
=
_
K
1
fd
1
n
(K
1
)
=
_
K
0
fd
_
K
0
\K
1
fd
1
n
(K
1
)
_
fd
1
n
(X).
Fazendo n , obtemos
(f)
_
fd.
3.4. ESPAC OS DUAIS 61
Se f C(X) e uma func ao nao negativa, ent ao existe alguma constante c > 0
tal que 0 cf 1. Assim,
(f) =
1
c
(cf)
1
c
_
cfd =
_
fd.
Se f e uma func ao arbitraria em C(X), ent ao existe alguma constante c
tal que
f + c
0, e portanto
(f) = (f + c
) c
(1)
_
(f +c
)d c
=
_
fd.
Temos assim que (f)
_
fd para toda f C(X). Entao tambem (f)
_
fd, ou seja (f)
_
fd. Logo (f) =
_
fd para toda f C(X). .
3.4 Espacos duais
Se E e um espaco normado, denimos E
, o dual de E, como o espaco dos funcionais

lineares contnuos em E; isto e, E
= L(E, K). Como vimos no Corolario 3.2.5, E
e sempre um espaco de Banach, mesmo que E seja apenas um espaco normado.

Exemplo 3.4.1. Resulta do Corolario 3.3.3 que se (X, /, ) e um espaco de me-
dida -nito, entao para 1 p < e q o conjugado de p temos um isomorsmo
isometrico
: L
q
()
_
L
p
()
_
denindo para cada f L

q
()
(f) : L
p
() R
g
_
fgd
Temos assim que a menos de isomorsmo isometrico
_
L
p
()
_
= L
q
(). Em geral
nao e verdade que (L
())
= L
1
().
Seja E um espaco normado e E
o seu dual. Sendo E
um espaco normado,
podemos considerar tambem o seu dual (E
, que representamos simplesmente por

E
, e dizemos que E
e o bidual de E.
Resulta do que vimos no Exemplo 3.4.1 que, para 1 < p < , o bidual de L
p
()
coincide com L
p
(). Contudo, nem sempre e verdade que o bidual de um espaco
normado E coincida com E, como facilmente se depreende dos Exerccios 12 e 13b:
1
(I) e o dual de c
0
(I) e
(I) e o bidual de c
0
(I). Dizemos que um espaco normado
E e reexivo se for E
= E.
62 CAP

Seja E um espaco normado. Denimos a topologia fraca
em E
como sendo
a topologia fraca associada à famlia de aplicacoes
f
x
: E
K
(x)
com x E. Ou seja, a topologia fraca
em E
e a topologia mais fraca que torna

contnuas as funcoes f
x
para todo x E. Como sistema fundamental de vizinhancas
de um elemento
0
E
na topologia fraca
podemos considerar os conjuntos do

tipo
V (
0
; x
1
, . . . , x
n
, ) =
_
E
: [(x
i
)
0
(x
i
)[ < para i = 1, . . . , n
_
,
com x
1
, . . . , x
n
E e > 0 arbitrarios. Resulta da denicao da topologia fraca
que
uma sucessao (
n
)
n
de funcionais em E
converge para E
na topologia fraca
se e somente se
n
(x) converge para (x) para todo x E (cf. Exerccio 15).
Teorema 3.4.2. (Banach-Alaoglu) D
= E
: || 1 e compacto na
topologia fraca
.
Prova. Sejam D = x E : |x| 1 e P o conjunto das func oes f : D , sendo
o disco unitario em K. Podemos considerar
P =
xD
x
onde
x
=
para todo x D. Considerando em P a topologia produto, temos pelo Teorema
de Tychono que P e compacto. Se D
temos (D) e portanto, podemos

considerar a inclusao
: D
P.
e claramente injectiva, e e contnua se considerarmos em D
a topologia fraca
, pois
esta e precisamente a topologia induzida da topologia produto em P. Se provarmos
que (D
) e fechado em P, temos provado o resultado. Se f P (D
), ent ao
necessariamente verica-se alguma das seguintes condic oes:
1. existem x
1
, x
2
D com x
1
+x
2
D tais que f(x
1
) + f(x
2
) ,= f(x
1
+ x
2
);
2. existem x D e a K com ax D tais que f(ax) ,= af(x).
Vejamos o caso em que se verica 1 (o caso 2 trata-se de modo analogo). Seja
= [f(x
1
+ x
2
) f(x
1
) f(x
2
)[ > 0
e V a vizinhanca de f em P denida como
V = g P : [g(x) f(x)[ < /3, para x = x
1
, x
2
, x
1
+ x
2
Se g V , ent ao g(x
1
+ x
2
) ,= g(x
1
) + g(x
2
) e portanto g P (D
). Conclumos
que P (D
) e aberto e portanto (D
) e compacto. .
3.4. ESPAC OS DUAIS 63
Proposicao 3.4.3. Se E e separavel, entao D
com a topologia fraca
e um espaco
metrizavel.
Prova. Seja y
n
n
um subconjunto denso em D. Denimos para , D
d(, ) =
i=1
1
2
i
[(y
i
) (y
i
)[.
Tendo em considerac ao a Proposic ao 1.2.4 e facil ver que d dene uma metrica em
D
. Vejamos que a que a topologia associada à metrica d coincide com a topologia

fraca
em E
.
Seja V (
0
; x
1
, . . . , x
n
, ) uma vizinhanca de
0
na topologia fraca
. Pretendemos
mostrar que que existe alguma bola B
(
0
) na metrica d, centrada em
0
e de raio
> 0, tal que B
(
0
) V (
0
; x
1
, . . . , x
m
, ). Como y
n
n
e denso, existe para cada
j = 1, . . . , m algum n
j
tal que [y
n
j
x
j
[ < /3. Se e sucientemente pequeno,
B
() [(y
n
j
) (y
n
j
)[ < /3
para j = 1, . . . , m. Temos assim que se B
(), ent ao
[(x
j
)
0
(x
j
)[ [(x
j
) (y
n
j
)[ +[(y
n
j
)
0
(y
n
j
)[ +[
0
(y
n
j
)
0
(x
j
)[ ,
resultando esta ultima desigualdade do facto de se ter |
0
| 1 e || 1. Logo
B
(
0
) V (
0
; x
1
, . . . , x
m
, ).
Seja agora B
(
0
) uma bola centrada em
0
e de raio > 0 na metrica d.
Tomemos N sucientemente grande de modo a que
n=N+1
1
2
n1
<

2
,
e consideremos V (
0
; y
1
, . . . , y
N
, /2) a vizinhanca de
0
na topologia fraca
. Se
V (
0
; y
1
, . . . , y
N
, ) ent ao
d(,
0
)
N
n=1
1
2
i
[(y
i
)
0
(y
i
)[ +
n=N+1
1
2
n1
< .
Logo V (
0
; y
1
, . . . , y
N
, /2) B
(
0
). .
Corolario 3.4.4. Se E e separavel, entao toda sucessao em D
tem alguma subsu-

cessao convergente na topologia fraca
.
64 CAP

3.5 Exerccios
1. Seja E um espaco normado. Mostre que
s : E E E e p : KE E
(x, y) x +y (, x) x
sao func oes contnuas.
2. Mostre que num espaco normado todas as bolas abertas sao homeomorfas e
todas as bolas fechadas sao homeomorfas.
3. Uma sucessao (x
n
)
n
num espaco normado diz-se somavel se
n
j=1
x
j
converge
(quando n ) e diz-se absolutamente somavel se
j=1
|x
j
| < . Mostre
que um espaco normado e completo se e so se toda sucessao absolutamente
somavel for somavel.
4. Dado 1 p , seja
p
(I) o espaco introduzido no Exemplo 3.1.5. Mostre que
p
(I) coincide com L
p
(#), onde # e a medida de contagem em I, e [a[
p
= |a|
p
para todo a
p
(I), sendo | |
p
a norma em L
p
(#).
5. Prove que se p ,= q, entao as normas | |
p
e | |
q
nao sao equivalentes em
C([0, 1]).
6. Considere o espaco c
0
(I), das sucessoes (a
n
)
nI
em K tais que lim
|n|
a
n
= 0,
e o espaco f(I), das sucessoes (a
n
)
nI
em K tais que a
n
= 0 excepto para um
n umero nito de ndices n I.
(a) Mostre que f(I)
p
(I) c
0
(I)
(I) para 1 p < .

(b) Prove que c
0
(I) e um espaco de Banach com a norma [ [
.
(c) Prove que f(I) e denso em c
0
(I) e
p
(I) para todo 1 p < .
(d) Conclua que c
0
(I) e
p
(I) sao separaveis.
7. Mostre que
(I) nao e separavel.

8. Demonstre as igualdades em (3.3).
9. Sejam E e F espacos normados. Prove que uma aplicac ao linear T : E F
e limitada se e somente se T
1
y F : |y| 1 tem interior nao vazio.
10. Sejam (X, ) um espaco de medida, g L
() e 1 p . Dena o
operador linear M
g
: L
p
() L
p
() por M
g
(f) = gf. Mostre que:
(a) M
g
esta bem denido e e limitado.
3.5. EXERC
ICIOS 65
(b) M
gh
= M
g
M
h
para g, h L
().
(c) |M
g
| = |g|
.
11. Sejam (X, /, ) um espaco de medida com -nito e (A
n
)
n
e (f
n
)
n
como na
prova do Corolario 3.3.3. Mostre que a funcao f denida em (3.6) pertence a
L
q
() e (g) =
_
fgd para toda g L
p
().
12. Dado c = (c
n
)
nN

(I), seja para cada a = (a

n
)
nN

1
(I)
c
(a) =
n=1
c
n
a
n
.
Mostre que:
(a) : c
c
dene uma aplicacao linear :
(I) (
1
(I))
.
(b) e contnua com || 1.
(c) e injectiva.
(d) e sobrejectiva.
(e) Os espacos
(I) e (
1
(I))
sao isometricamente isomorfos.

13. Usando um esquema de prova analogo ao do exerccio anterior, mostre que sao
isometricamente isomorfos:
(a) (
p
(I))
e
q
(I), onde p > 1 e q e o conjugado de p.
(b) (c
0
(I))
e
1
(I).
14. Seja X um espaco compacto e : C(X) K um funcional positivo. Mostre
que e contnuo e || = (1).
15. Uma sucessao (
n
)
n
de funcionais em E
converge para E
na topologia
fraca
se e somente se
n
(x) converge para (x) para todo x E.
66 CAP

Captulo 4
Espacos com produto interno
Neste captulo estudaremos algumas propriedades de espacos normados cuja norma
provem de um produto interno. Veremos que em certas circunstancias (separabili-
dade) esses espacos tem representac oes bastante simples. Um exemplo interessante
que sera objecto do nosso estudo neste captulo e o espaco das func oes denidas em
[0, 1] de quadrado (Lebesgue) integravel.
4.1 Espacos de Hilbert
Seja H um espaco vectorial sobre o corpo C. Um produto interno em H e uma
funcao , ) denida em H H e tomando valores em C, satisfazendo as seguintes
condicoes para todos x, y, z H e C:
1. x, x) 0 e x, x) = 0 se e so se x = 0
2. x + y, z) = x, z) +y, z)
3. x, y) = x, y)
4. x, y) = y, x)
Um espaco vectorial munido de um produto interno diz-se um espaco prehilber-
tiano. Resulta das condicoes acima que num espaco prehilbertiano tambem
x, y + z) = x, y) +x, z) e x, y) = x, y)
para todos x, y, z H e C.
Proposicao 4.1.1. (Desigualdade de Cauchy-Schwarz) Seja H um espaco
prehilbertiano. Se x, y H, entao
[x, y)[
2
x, x)y, y).
67
68 CAP
ITULO 4. ESPAC OS COM PRODUTO INTERNO

Prova. Dados x, y H e R temos
0 x y, x y) = x, x) 2Rex, y) +
2
y, y).
Como isto vale para todo R tera que ser
_
Rex, y)
_
2
x, x)y, y).
Se x, y) 0, temos provado o resultado. Caso contr ario, existe C com [[ = 1
tal que x, y) 0. Substituindo x por x no argumento acima obtemos
_
Rex, y)
_
2
x, x)y, y) = x, x)y, y) = x, x)y, y).
Como
[x, y)[ = [x, y)[ = x, y) = Rex, y),
conclumos que [x, y)[
2
x, x)y, y). .
Proposicao 4.1.2. A funcao x H |x| = x, x)
1/2
dene uma norma em H.
Prova. Exceptuando desigualdade triangular, as outras propriedades sao de veri-
cacao imediata. Vejamos que |x + y| |x| +|y| para x, y H. Temos
|x + y|
2
= x + y, x + y)
= |x|
2
+x, y) +y, x) +|y|
2
= |x|
2
+ 2 Rex, y) +|y|
2
|x|
2
+ 2[x, y)[ +|y|
2
Usando a Desigualdade de Cauchy-Schwarz obtemos
|x + y|
2
|x|
2
+ 2|x| |y| +|y|
2
=
_
|x| +|y|
_
2
,
cando assim provado o que pretendamos. .
Se o espaco prehilbertiano H com a metrica dada por esta norma e completo,
dizemos que H e um espaco de Hilbert. Ou seja, um espaco de Hilbert e um
espaco de Banach cuja norma provem de um produto interno.
Exemplo 4.1.3. Em C
n
podemos considerar o produto interno
(x
i
)
n
i=1
, (y
i
)
n
i=1
) =
n
i=1
x
i
y
i
.
Este produto interno induz sobre C
n
a norma usual. Temos assim que C
n
com este
produto interno e um espaco de Hilbert.
4.2. ORTOGONALIDADE 69
Exemplo 4.1.4. Dado um espaco de medida (X, /, ), consideremos em L
2
() o
produto interno
f, g) =
_
fgd.
Notar que este produto esta bem denido, uma vez que se g L
2
() tambem g
L
2
() e portanto, pela desigualdade de Holder, fg L
1
(). Este produto interno da
origem à norma | |
2
em L
2
(), e portanto L
2
() e um espaco de Hilbert.
Exemplo 4.1.5. Como caso particular do exemplo anterior (cf. Exemplo 3.1.5)
temos o espaco
2
(I) do conjunto das sucessoes a = (a
n
)
nI
tomando valores em C.
Dadas a = (a
n
)
nI
e b = (b
n
)
nI
em
2
(I),
a, b) =
nI
a
n
b
n
dene um produto interno cuja norma associada coincide com a norma do Exemplo
3.1.5. Assim,
2
(I) com este produto interno e um espaco de Hilbert.
Exemplo 4.1.6. Consideremos em [0, 1] a medida de Lebesgue e C([0, 1]) o espaco
das funcoes contnuas de [0, 1] em C. C([0, 1]) e um espaco prehilbertiano com o
produto interno dado por
f, g) =
_
fgd.
para f, g C([0, 1]). No entanto, C([0, 1]) com este produto interno nao e um espaco
de Hilbert. C([0, 1]) e um subespaco denso de L
2
() (cf. Exerccio 2.19).
4.2 Ortogonalidade
Um vector x num espaco prehilbertiano H diz-se ortogonal a y H, e em tal caso
escreve-se x y, se x, y) = 0. Um subconjunto S H diz-se ortonormal se
x, x) = 1 e x, y) = 0 para todos x, y H com x ,= y.
Teorema 4.2.1. (Pitagoras) Se x
i
n
i=1
e um conjunto ortonormal num espaco
prehilbertiano H, entao para todo x H
|x|
2
=
n
i=1
[x, x
i
)[
2
+
_
_
x
n
i=1
x, x
i
)x
i
_
_
2
.
Prova. Escrevemos
x =
n
i=1
x, x
i
)x
i
+ x
n
i=1
x, x
i
)x
i
.
70 CAP

Facilmente se pode vericar que os vectores
n
i=1
x, x
i
)x
i
e x
n
i=1
x, x
i
)x
i
sao ortogonais. Logo
x, x) =
_
_
n
i=1
x, x
i
)x
i
_
_
2
+
_
_
x
n
i=1
x, x
i
)x
i
_
_
2
=
n
i=1
[x, x
i
)[
2
+
_
_
x
n
i=1
x, x
i
)x
i
_
_
2
,
cando assim provado o resultado. .
Corolario 4.2.2. Se x
i
n
i=1
e um conjunto ortonormal num espaco prehilbertiano
H, entao para todo x H
|x|
2
i=1
[x, x
i
)[
2
.
Dado um subconjunto S de um espaco prehilbertiano H, denimos o ortogonal
de S como
S
= x H : x, y) = 0 y S.
Lema 4.2.3. Sejam H um espaco de Hilbert e F um subespaco vectorial fechado de
H. Dado x H, existe um unico elemento z F tal que
|x z| = min
yF
|x y|.
Prova. Sejam d = inf
yF
|x y| e (y
n
)
n
uma sucessao de elementos em F com
|x y
n
| convergindo para d. Temos
|y
m
y
n
|
2
= |(y
m
x) + (x y
n
)|
2
.
Usando a regra do paralelogramo obtemos
|y
m
y
n
|
2
= 2|y
n
x|
2
+ 2|y
m
x|
2
| 2x +y
m
+ y
n
|
2
= 2|y
n
x|
2
+ 2|y
m
x|
2
4
_
_
x
1
2
(y
m
+ y
n
)
_
_
2
2|y
n
x|
2
+ 2|y
m
x|
2
4d
2
.
Como esta ultima expressao converge para 2d
2
+ 2d
2
4d
2
= 0 quando m, n ,
temos que (y
n
)
n
e uma sucessao de Cauchy. Sendo F fechado, (y
n
)
n
converge para
algum z F. Pela escolha da sucessao (y
n
)
n
e claro que |x z| = d.
4.2. ORTOGONALIDADE 71
Se z
e outro elemento de F tal que |xz
| = d entao pela regra do paralelogramo

2|x z|
2
+ 2|x z
|
2
= |z z
|
2
+|2x z z
|
2
.
Temos assim
2d
2
+ 2d
2
= |z z
|
2
+ 4|x
1
2
(z + z
)|
2
.
Como
1
2
(z +z
) F, temos |x
1
2
(z + z
)| d, e portanto |z z
| = 0. .
Como facilmente se pode observar na prova do lema anterior, nao e necessario
exigir que F seja um subespaco vectorial de um espaco de Hilbert. De facto, basta
que F seja um subconjunto convexo completo de um espaco prehilbertiano.
Teorema 4.2.4. Sejam H um espaco de Hilbert e F um subespaco fechado de H.
Todo x H pode ser escrito de maneira unica como x = z+w com z F e w F
.
Prova. Seja x H. Pelo lema anterior existe z F a distancia mnima de x.
Tomando w = x z, temos claramente x = z +w. Fazendo d = |x z| temos para
todo y F e todo R
d
2
|x (z + y)|
2
= |w y|
2
= d
2
2Rew, y) +
2
|y|
2
.
Assim,
2Rew, y) +
2
|y|
2
0 R.
Daqui resulta Rew, y) = 0. Usando i em vez de de modo analogo se mostra que
Imw, y) = 0, o que da w, y) = 0. Ou seja, w F
.
Se z
F e w
sao tais que x = z
+ w
, entao z z
= w
w. Como
z z
F e w w
, tera que ser z = z
e w = w
. .
Sejam H um espaco de Hilbert e F um subespaco fechado de H. O teorema
anterior permite-nos denir a projeccao ortogonal de H em F,
P : H F
x z
onde z e o unico elemento de F tal que x = z+w com w F
. Esta e uma aplicac ao

linear contnua com |P| = 1 sempre que F ,= 0 (cf. Exerccio 8).
Dado um espaco de Hilbert H e y H, as propriedades do produto interno
mostram que a aplicacao
, y) : H C
x x, y)
dene um funcional linear em H. Alem disso, pela Desigualdade de Cauchy-Schwarz
temos [x, y)[ |x| |y| e portanto , y) H
, isto e, , y) e um funcional linear

contnuo. O proximo resultado mostra que estes sao os unicos funcionais lineares
contnuos em H.
72 CAP

Teorema 4.2.5. (Lema de Riesz) Seja H um espaco de Hilbert e H
. Existe
um unico y H tal que (x) = x, y) para todo x H. Alem disso, || = |y|.
Prova. Seja K o n ucleo de , i.e. o conjunto dos x H tais que (x) = 0.
Pela continuidade de temos que K e um subespaco fechado. Se K = H temos
(x) = x, 0) para todo x H e temos o resultado. Se K ,= H, entao pelo Teorema
4.2.4 existe algum w K
0. Mostraremos que y = (w)|w|

2
w tem as
propriedades requeridas. Se x K ent ao
(x) = 0 = x, y).
Se x = w para algum C entao
(x) = (w) = (w) = w, (w)|w|
2
w) = x, y).
Como os funcionais e , y) coincidem em K e w, devem coincidir no espaco gerado
por K e w. Temos para todo x H
x =
_
x
(x)
(w)
w
_
+
(x)
(w)
w, com x
(x)
(w)
w K.
Assim, (x) = x, y) para todo x H. Falta ver que || = |y|. Temos
|| = sup
x1
[(x)[ = sup
x1
[x, y)[ sup
x1
|y| |x| = |y|.
Por outro lado,
|| = sup
x1
[(x)[
_
y
|y|
_
y
|y|
, y
_
= |y|,
donde se conclui que tera de ser || = |y|. .
Nota 4.2.6. Para o espaco de Hilbert L
2
() (cf. Exemplo 4.1.4) o teorema anterior
e um caso particular do resultado obtido no Teorema 3.3.2. De facto, dado
_
L
2
()
_
, pelo Lema de Riesz existe algum g L

2
() tal que
(f) =
_
f g d para todo f L
2
().
Obtemos assim de novo o resultado do Teorema 3.3.2 para p = 2, uma vez que
g L
2
() se e so se g L
2
() .
Nota 4.2.7. Uma vez que o Teorema 4.2.5 da uma identicacao entre um espaco
de Hilbert H e o seu dual H
, temos assim maneira de introduzir a topologia fraca
em H (cf. Seccao 3.4). Resulta do modo como e feita a identicac ao de H com o

seu dual que uma sucessao (x
n
)
n
em H converge fracamente (na topologia fraca
)
para x H se e somente se x
n
, y) x, y) para todo y H (cf. Exerccio 3.15).
4.3. BASES ORTONORMAIS 73
4.3 Bases ortonormais
Dado um espaco de Hilbert H, dizemos que um subconjunto S de H e uma base
ortonormal de H se S e um conjunto ortonormal maximal para a inclusao; isto e,
S nao esta estritamente contido em nenhum outro conjunto ortonormal de H.
Teorema 4.3.1. Todo espaco de Hilbert tem alguma base ortonormal.
Prova. Consideremos O a coleccao de todos conjuntos ortonormais do espaco de
Hilbert H, ordenado pela relacao de inclusao. Assim, O e parcialmente ordenado e
nao vazio, uma vez que qualquer conjunto formado apenas por um vector unitario
e um conjunto ortonormal. Se S
A
e uma famlia totalmente ordenada de
elementos de O, entao
A
S
e um conjunto ortonormal que e um majorante para

S
A
. Pelo Lema de Zorn conclumos que O tem algum elemento maximal. .
Lema 4.3.2. Se e
I
e um conjunto ortonormal, entao para cada x H, existe
no maximo uma innidade numeravel de ndices I tais que x, e
) ,= 0.
Prova. Para cada n N denimos
S
n
=
_
e
: [x, e
)[
2
>
|x|
2
n
_
.
Pelo Corolario 4.2.2, cada S
n
tem no maximo n 1 elementos. Como o conjunto
dos e
para os quais x, e
) ,= 0 e igual à uniao dos S

n
, temos provado o resultado.
.
Teorema 4.3.3. Seja H um espaco de Hilbert e e
I
uma base ortonormal.
Entao para cada x H,
x =
I
x, e
)e
e |x|
2
=
I
[x, e
)[
2
,
sendo o valor destas somas independente da ordem das parcelas.
Prova. Sabemos pelo Lema 4.3.2 que x, e
) ,= 0 para no maximo uma innidade

numeravel de valores de I, os quais ordenamos arbitrariamente por
1
,
2
, . . . .
Como
n
i=1
[x, e
i
)[
2
e limitada, pelo Corolario 4.2.2 e monotona, entao converge
para algum n umero real quando n . Tomando x
n
=
n
i=1
x, e
i
)e
i
, temos
para n > m
|x
n
x
m
|
2
=
_
_
n
i=m+1
x, e
i
)e
i
_
_
2
=
n
i=m+1
[x, e
i
)[
2
. (4.1)
74 CAP

Conclumos que (x
n
)
n
e uma sucessao de Cauchy e portanto converge para algum
x
H. Temos para cada j 1

x x
, e
j
) = lim
n
x
n
i=1
x, e
i
)e
i
, e
j
) = x, e
j
) x, e
j
) = 0
e se ,=
j
para todo j 1, tambem temos
x x
, e
) = lim
n
x
n
i=1
x, e
i
)e
i
, e
) = 0
Temos assim que x x
e e
sao ortogonais para todo I. Como e
I
e um
conjunto ortonormal maximal devera ser x x
= 0, ou seja
x = lim
n
n
i=1
x, e
i
)e
i
o que da a primeira igualdade. Finalmente,
|x|
2
= lim
n
i=1
x, e
i
)e
i
,
n
i=1
x, e
i
)e
i
)
= lim
n
n
i=1
x, e
i
)x, e
i
)e
i
, e
i
)
= lim
n
n
i=1
[x, e
i
)[
2
o que da a igualdade da norma. .
Teorema 4.3.4. Sejam H um espaco de Hilbert e e
I
um conjunto ortonormal
de elementos de H. As seguintes condicoes sao equivalentes:
1. e
I
e uma base ortonormal de H.
2. As combinacoes lineares nitas de elementos de e
I
sao densas em H.
3. Se x H e tal que x, e
) = 0 para todo I, entao x = 0.

Prova. Se e
I
e uma base ortonormal de H, entao do Teorema 4.3.3 resulta que
qualquer elemento de H pode ser aproximado por uma combina cao linear nita de
elementos de e
I
, e portanto temos a segunda condic ao.
Suponhamos agora que vale a segunda condicao. Seja F o conjunto das com-
binacoes lineares nitas de elementos de e
I
. Se x H e tal que x, e
) = 0
4.3. BASES ORTONORMAIS 75
para todo I, ent ao tambem x, y) = 0 para todo y F. Da densidade de F
e da continuidade do produto interno, resulta que x, y) = 0 para todo y H, e
portanto x = 0.
Se vale a terceira condicao, entao e claro que e
I
e um conjunto ortonormal
maximal e, por denic ao, uma base de H. .
Descrevemos a seguir o processo de ortogonalizacao de Gram-Schmidt, que
permite a partir de um conjunto de vectores linearmente independentes construir
um conjunto de vectores ortonormais que geram o mesmo espaco. Sejam x
1
, x
2
, . . .
vectores linearmente independentes num espaco prehilbertiano. Denimos
y
1
= x
1
z
1
= y
1
/|y
1
|
y
2
= x
2
z
1
, x
2
)z
1
z
2
= y
2
/|y
2
|
.
.
.
.
.
.
y
n
= x
n
n1
k=1
z
k
, x
n
)z
k
z
n
= y
n
/|y
n
|
.
.
.
.
.
.
O conjunto de vectores z
n
n
e um conjunto ortonormal com a propriedade adicional
de para cada n N os vectores z
1
, . . . , z
n
gerarem o mesmo espaco que os vectores
x
1
, . . . , x
n
. Em particular, o conjunto das combinac oes lineares nitas de vectores
de z
n
n
coincide com o conjunto das combinacoes lineares nitas de vectores de
x
n
n
.
Teorema 4.3.5. Um espaco de Hilbert tem uma base ortonormal numeravel se e
somente se esse espaco e separavel.
Prova. Seja x
n
n
um subconjunto numeravel denso no espaco de Hilbert H. Po-
demos a partir dos x
n
s formar uma subcolecc ao de vectores linearmente indepen-
dentes cujo conjunto das combinac oes lineares nitas coincide com o conjunto das
combinac oes lineares nitas de todos x
n
s. Aplicando o processo de ortogonalizacao
de Gram-Schmidt a este conjunto de vectores linearmente independentes obtemos
um conjunto ortonormal que, pelo Teorema 4.3.4, constitui uma base ortonormal de
H.
Reciprocamente, se e
n
n
e uma base ortonormal numer avel de H, o conjunto
das combina coes lineares nitas de vectores de e
n
n
com coordenadas em Q + iQ
e denso em H. Como este conjunto e numer avel, H e separavel. .
Teorema 4.3.6. Sejam H um espaco de Hilbert separavel e N o cardinal de uma
base ortonormal de H.
1. Se N < , entao H e isometricamente isomorfo a C
N
.
76 CAP

2. Se N = , entao H e isometricamente isomorfo a
2
(N).
Prova. Seja e
n
N
n=1
uma base ortonormal de H. Se N = , consideremos a
aplicacao linear
U : H
2
(N)
x (x, e
n
))
n
Pelo Teorema 4.3.3, U esta bem denida, e injectiva e preserva as normas. Falta ver a
sobrejectividade de U. Dado (a
n
)
n

2
(N) denimos x
n
=
n
i=1
a
i
e
i
. Analogamente
ao que zemos em (4.1) podemos provar que (x
n
)
n
e uma sucessao de Cauchy. Se
x H e o limite da sucessao (x
n
)
n
, ent ao para cada m N
x, e
m
) = lim
n
n
i=1
a
i
e
i
, e
m
) = a
m
.
Ou seja, U(x) = (a
n
)
n
. Se N < , de modo analogo se prova que a aplicacao
U : H C
N
x (x, e
1
), . . . , x, e
N
))
e um isomorsmo linear que preserva as normas. .
4.4 Series de Fourier
Vamos agora concentrar-nos no espaco de Hilbert L
2
() associado à medida de
Lebesgue no intervalo [0, 1].

E frequente escrever L
2
[0, 1] em vez de L
2
() e assim
faremos de agora em diante. Uma primeira questao que colocamos e a de tentar
descrever uma base ortonormal de L
2
[0, 1]. Consideremos a colecc ao de func oes
f
n
nZ
em L
2
[0, 1] denidas para cada n Z por
f
n
(x) = e
2inx
.
Um calculo simples mostra que para m, n Z se tem
f
m
, f
n
)
_
f
m
f
n
d =
_
1 se m = n
0 se m ,= n
,
e portanto f
n
nZ
e um conjunto ortonormal. Dados f L
2
[0, 1] e n Z, denimos
f(n) = f, f
n
) =
_
f f
n
d.
Estes n umeros sao chamados os coecientes de Fourier de f L
2
[0, 1].
4.4. S
ERIES DE FOURIER 77
Lema 4.4.1. Qualquer f C([0, 1]) tal que f(0) = f(1) pode ser aproximada, na
norma | |
, por uma combinacao linear nita de funcoes da famlia f

n
nZ
.
Prova. Tomemos > 0 arbitrario. Consideremos para cada n N a funcao nao
negativa K
n
denida para cada x [0, 1] por
K
n
(x) = c
n
_
1 + cos 2x
2
_
n
,
onde cada c
n
e tal que
_
1
0
K
n
dx = 1. Denimos
t
n
(x) =
_
1
0
f(y)K
n
(x y)dy.
Atendendo a que
cos 2(x y) =
1
2
_
e
2i(xy)
+ e
2i(xy)
_
temos facilmente que t
n
e uma combinacao linear nita de func oes da famlia f
n
nZ
.
Temos para cada x [0, 1]
f(x) t
n
(x) =
_
1
0
_
f(x) f(y)
_
K
n
(x y)dy. (4.2)
Como f(0) = f(1), podemos estender f continuamente a toda a recta, fazendo
f(x + 1) = f(x) para todo x R. Analogamente, podemos estender K
n
continua e
periodicamente a toda a recta. Em particular, o integral em (4.2) pode ser calculado
em qualquer intervalo de comprimento um; escolhemos o intervalo [x1/2, x+1/2].
Como f e uniformemente contnua, podemos escolher > 0 (independente de x e
menor do que 1/2) tal que
[f(x) f(y)[ < sempre que [x y[ .
Seja M = max[f[. Tendo em atencao que K
n
e uma funcao par nao negativa
obtemos
[f(x) t
n
(x)[ <
_
x+
x
K
n
(x y)dy + 4M
_
x+1/2
x+
K
n
(x y)dy
<
_
1/2
1/2
K
n
(u)du + 4M
_
1/2
K
n
(u)du
< + 4M
1
2
max
u1/2
K
n
(u) (4.3)
Temos
max
u1/2
K
n
(u) = c
n
_
1 + cos 2
2
_
n
.
78 CAP

Por outro lado
1 = 2c
n
_
1/2
0
_
1 + cos 2u
2
_
n
du
> 2c
n
_
1/2
0
_
1 + cos 2u
2
_
n
sen 2udu
=
2c
n
(n + 1)
,
e portanto
c
n
<
(n + 1)
2
.
Obtemos assim de (4.3)
[f(x) t
n
(x)[ < + M(n + 1)
_
1 + cos 2
2
_
n
.
Como > 0 e arbitrario e
M(n + 1)
_
1 + cos 2
2
_
n
0 quando n
temos provado o resultado. .
Teorema 4.4.2. A famlia f
n
nZ
e uma base ortonormal de L
2
[0, 1].
Prova. Pelo Teorema 4.3.4 basta mostrar que que o conjunto das combinac oes li-
neares nitas de elementos de f
n
nZ
e denso em L
2
[0, 1]. Tomemos f L
2
[0, 1].
Como C[0, 1] e denso em L
2
[0, 1] (cf. Exerccio 2.19), temos que f pode ser aproxi-
mada por uma funcao contnua. Esta, por sua vez, pode ainda ser aproximada, na
norma de L
2
[0, 1], por uma func ao contnua g satisfazendo g(0) = g(1). Pelo Lema
4.4.1, e atendendo a que |f g|
2
|f g|
, conclumos que que o conjunto das

combinacoes lineares nitas de elementos de f
n
nZ
e denso em L
2
[0, 1]. .
Corolario 4.4.3. A transformacao U : L
2
[0, 1]
2
(Z) dada por U(f) = (

f(n))
n
e
um isomorsmo isometrico.
Prova. Consequencia dos Teoremas 4.3.6 e 4.4.2. .
Corolario 4.4.4. Se f L
2
[0, 1], entao
n
k=n
f(k)f
k
converge para f na norma
de L
2
[0, 1].
4.5. OPERADORES LINEARES CONT
INUOS 79
Prova. Consequencia dos Teoremas 4.3.3 e 4.4.2. .
A serie
n=
f(n)f
n
e chamada a serie de Fourier de f. Temos assim pelo
corolario anterior que a serie de Fourier de f representa a funcao f no sentido da
convergencia em L
2
[0, 1].
Nota 4.4.5. Os resultados anteriores nada provam quanto à convergencia pontual
da serie de Fourier para a func ao f. Denindo P[0, 1] como o espaco das funcoes
contnuas de perodo 1, passamos a enunciar alguns dos resultados mais relevantes
neste assunto:
1. Existe alguma func ao em P[0, 1] cuja serie de Fourier diverge numa innidade
nao numer avel de pontos (ver Rudin).
2. Existe alguma funcao em L
1
[0, 1] cuja serie de Fourier diverge em todo ponto
(Kolmogorov).
3. Se f L
2
[0, 1] ent ao a serie de Fourier de f converge pontualmente para f em
quase todo ponto (Carleson).
4. Se f P[0, 1] e de classe C
1
, ent ao a sua serie de Fourier converge uniforme-
mente para f (ver Reed & Simon).
4.5 Operadores lineares contnuos
Nesta secc ao vamos obter alguns resultados para operadores limitados em espacos
de Hilbert. Sejam H um espaco de Hilbert e T L(H). Denimos o operador
adjunto de T como o unico operador T
L(H) tal que

T(x), y) = x, T
(y)) para todos x, y H. (4.4)

Precisamos de ver que um tal T
L(H) existe e e unico. De facto, xado y H,

temos que T(), y) dene um funcional em H
e portanto, pelo Lema de Riesz,

existe um ( unico) vector em H, que denotamos por T
(y), satisfazendo (4.4). Da

unicidade dada pelo Lema de Riesz resulta ainda que T
e linear. A proposic ao
seguinte mostra em particular que T
e tambem um operador limitado.

Proposicao 4.5.1. |T
| = |T|.
80 CAP

Prova. Temos
|T
| = sup
y=1
|T
(y)|
= sup
y=1
sup
x=1
[x, T
(y))[
= sup
y=1
sup
x=1
[T(x), y)[
= sup
x=1
|T(x)|
= |T|
Para a segunda e quarta igualdades ver o Exerccio 10. .
T L(H) diz-se um operador auto-adjunto se T = T
. O resultado abaixo
da uma caracterizac ao dos operadores auto-adjuntos de um espaco de Hilbert.
Proposicao 4.5.2. Seja T um operador de um espaco de Hilbert H. Sao equiva-
lentes:
1. T e auto-adjunto;
2. T(x), x) R para todo x H.
Prova. Se T = T
, temos para todo x H

T(x), x) = T
(x), x) = x, T(x)) = T(x), x).

Logo, tera que ser T(x), x) R. Reciprocamente, assumindo que T(x), x) R
para todo x H, denimos B(x) = T(x), x) para x H. Temos para x, y H
B(x + y) = B(x) + B(y) +T(y), x) +T(x), y)
e
B(x + iy) = B(x) + B(y) + iT(y), x) iT(x), y).
Como B so toma valores reais, terao que existir , R tais que
T(y), x) +T(x), y) = e T(y), x) T(x), y) = i.
Deduzimos assim que
2T(y), x) = +i e 2T(x), y) = i,
e portanto,
T(y), x) = T(x), y).
4.5. OPERADORES LINEARES CONT
INUOS 81
Isto nalmente da
x, T
(y)) = T(x), y) = T(y), x) = x, T(y))

para todos x, y H, mostrando que T = T
. .
Dado T, um operador num espaco de Hilbert H, consideremos o n ucleo de T,
Ker(T) = x H : T(x) = 0
e a imagem de T
Im(T) = y H : T(x) = y para algum x H.
E imediato vericar que Ker(T) e Im(T) sao subespacos vectoriais de H, sendo

Ker(T) um subespaco fechado (Im(T) nem sempre e fechado).
Proposicao 4.5.3. Se T e um operador num espaco de Hilbert, entao Im(T)
=
Ker(T
).
Prova. Observando que
x Ker(T
) y, T
(x)) = 0 y H
T(y), x) = 0 y H
x Im(T)
temos provado o resultado. .

Provamos a seguir um resultado do qual obteremos uma aplicac ao interessante
no Captulo 5. Recordamos que uma isometria U num espaco de Hilbert e uma
transformacao que preserva normas. Tendo em conta a identidade de polarizac ao,
isto e o mesmo que dizer que U(x), U(y)) = x, y) para todos x, y H.
Teorema 4.5.4. (von Neumann) Seja U uma isometria num espaco de Hilbert
H. Se P e a projeccao ortogonal em x H : U(x) = x, entao
lim
n
1
n
n1
j=0
U
j
(x) = P(x),
para todo x H.
Prova. Denindo F = x H : U(x) = x, temos F = Ker(U I). Se x F
e
y F, ent ao
U(x), y) = U(x), U(y)) = x, y) = 0,
82 CAP

ou seja, U(F
) F
. Assim, se x H se escreve como x = z + w com z F e

w F
, temos para j 0
U
j
(x) = U
j
(z) + U
j
(w) = z + U
j
(w) = P(x) + U
j
(w).
Logo, o teorema reduz-se a provar que
lim
n
1
n
n1
j=0
U
j
(w) = 0 para todo w F
. (4.5)
Denindo, para n 1, o operador S
n
: F
como
S
n
(w) =
1
n
n1
j=0
U
j
(w),
temos para todo n 1 (cf. Exerccio 17)
US
n
S
n
=
1
n
S
n
U
n
1
n
S
n
+ S
n
S
n
. (4.6)
Atendendo a que U e uma isometria, facilmente se conclui que |U
n
|, |S
n
| e |S
n
| tem
norma igual a 1 para todo n 1. Logo,
_
S
n
S
n
(w)
_
n
e uma sucessao limitada para
w F
, e portanto, tem alguma subsucessao

_
S
n
j
S
n
j
(w)
_
j
convergindo fracamente
para algum w
0
F
. De (4.6) e do facto dos operadores S

n
, S
n
e U
n
terem normas
uniformemente limitadas obtem-se que U(w
0
) = w
0
, ou seja, w
0
F. Como w
0

F
, ent ao tera que ser w

0
= 0, e portanto,
_
S
n
S
n
(w)
_
n
converge fracamente para 0
para todo w F
. Temos assim que

|S
n
(w)|
2
= S
n
(w), S
n
(w)) = S
n
S
n
(w), w) 0
para todo w F
. Ou seja, temos provado (4.5). .

Dizemos que um operador U L(H) e unitario se U preserva normas e e in-
vertvel. Ou seja, os operadores unitarios U L(H) sao precisamente os isomors-
mos isometricos, isto e, os isomorsmos lineares U : H H tais que U(x), U(y)) =
x, y) para todos x, y H.
Proposicao 4.5.5. Se U e um operador unitario num espaco de Hilbert, entao
U
= U
1
.
Prova. Dados x, y H, temos
x, y) = U(x), U(y)) = x, U
U(y)),
e portanto,
x, y U
U(y)) = 0.
Temos ent ao U
U(y) = y para todo y H, ou seja, U
U = I. Como uma trans-

formacao invertvel tem um unico inverso esquerdo, conclumos que U = U
. .
4.6. EXERC
ICIOS 83
4.6 Exerccios
1. Mostre que num espaco prehilbertiano o produto interno x, y) depende con-
tinuamente do escalar C e dos vectores x e y.
2. Sejam x e y vectores num espaco prehilbertiano.
(a) Demonstre a regra do paralelogramo (porque este nome?)
|x +y|
2
+|x y|
2
= 2|x|
2
+ 2|y|
2
.
(b) Demonstre a identidade de polarizac ao
x, y) =
1
4
_
|x + y|
2
+ i|x + iy|
2
|x y|
2
i|x iy|
2
_
.
(c) Mostre que uma norma provem de um produto interno se e so se satisfaz
a regra do paralelogramo.
3. Mostre que L
p
() e um espaco de Hilbert se e somente se p = 2.
4. Mostre que C([0, 1]) com a norma associada ao produto interno do Exemplo
4.1.6 nao e um espaco completo.
5. Seja H um espaco prehilbertiano. Mostre que:
(a) Se S e um subconjunto de H, entao S
e um subespaco fechado de H.
(b) Se F e um subespaco de H, entao F F
= 0.
6. Seja H um espaco de Hilbert e U : H H um operador unitario.
(a) Mostre que ker(U + I) ker(U I)
.
(b) Mostre que se U
2
= I, entao ker(U +I) ker(U I)
.
(c) Sejam H = L
2
[1, 1] e K = f H: f(x) = f(x). Determine K
.
7. Mostre que se H e um espaco de Hilbert, e F e um subespaco de H, ent ao
F
coincide com a aderencia de F.

8. Sejam H um espaco de Hilbert, F um subespaco fechado de H e P : H F
a projecc ao ortogonal em F. Prove que
(a) P P = P.
(b) P e linear.
(c) P e contnua.
84 CAP

(d) |P| 1 e |P| = 1 se F ,= 0.
9. Seja H um espaco de Hilbert separavel e e
n
n
uma base de H. Seja y
n
n
uma sucessao de elementos de H. Prove que sao equivalentes:
(a) x, y
n
) 0 para todo x H.
(b) e
m
, y
n
) 0 para todo m 1 e (|y
n
|)
n
e limitada.
10. Sejam H um espaco de Hilbert e x H. Mostre que
|x| = sup
y=1
[x, y)[.
11. Sejam a medida de Lebesgue em [0, 1] e (f
n
)
n
uma sucessao de func oes em
L
2
[0, 1] (com a estrutura de espaco real) tal que sup
n
|f
n
|
2
< . Mostre que:
(a) Se f
n
f na norma de L
2
, entao f
n
f fracamente (cf. Nota 4.2.7).
(b) Se f
n
f fracamente, entao |f|
2
liminf |f
n
|
2
.
(c) f
n
f fracamente se e so se
_
[0,x]
f
n
d
_
[0,x]
fd para todo x [0, 1].
(d) Se f
n
f fracamente e |f
n
|
2
|f|
2
, ent ao f
n
f na norma de L
2
.
12. Considere L
2
[0, 1] com a estrutura usual de espaco de Hilbert.
(a) Determine os coecientes de Fourier de f L
2
[0, 1] dada por f(x) =
x 1/2.
(b) Calcule
n=1
1/n
2
.
13. Considere L
2
[0, 1] com a estrutura usual de espaco de Hilbert.
(a) Determine os coecientes de Fourier de f L
2
[0, 1] dada por f(x) =
(2x )
2
.
(b) Calcule
n=1
1/n
4
.
14. Considere
2
=
2
(N) com a estrutura usual de espaco de Hilbert e dena o
operador linear T em
2
por
T(x
1
, x
2
, . . . ) = (x
2
, x
3
. . . ).
(a) Mostre que o operador adjunto T
de T e dado por
T
(x
1
, x
2
, . . . ) = (0, x
1
, x
2
, . . . ).
(b) Calcule as normas de T e T
.
4.6. EXERC
ICIOS 85
(c) Mostre que T
n
(x) 0, quando n +, para todo x
2
.
(d) Diga se (T
n
)
n
converge para o operador identicamente nulo na norma de
L(
2
,
2
).
15. Sejam S e T operadores num espaco de Hilbert. Mostre que
(a) (ST)
= T
.
(b) T
= T.
16. Mostre que se T L(H) e tal que T(x), x) 0 para todo x H, entao
T = 0. (Sugestao: Mostre que T e iT sao ambos auto-adjuntos).
17. Demonstre a igualdade (4.6).
86 CAP

Captulo 5
Transformac oes que preservam
medida
Neste captulo faremos uma introducao à teoria ergodica, isto e, o estudo de sistemas
dinamicos sob uma perspectiva probabilstica. Neste contexto, assume papel de
primordial importancia a existencia de medidas invariantes por uma transformacao
(sistema dinamico). Deduziremos a existencia de tal tipo de medidas para uma
classe bastante ampla de transformacoes (transformacoes contnuas) e provaremos
algumas das propriedades fundamentais de sistemas que preservam medida.
5.1 Denicao e exemplos
Sejam (X, /, ) e (Y, B, ) espacos de medida e T : X Y . Dizemos que T e
uma transformacao mensuravel se T
1
(A) / para todo A B (no caso em
que Y = R e B e a -algebra dos borelianos, temos pela Proposic ao 2.3.1 que esta
denicao generaliza a denicao dada na Seccao 2.3). Dizemos que T preserva
medida se (T
1
(A)) = (A) para todo A B.
Exemplo 5.1.1. Sejam (X, /) e (Y, B) espacos mensuraveis e T : X Y uma
funcao mensuravel. Sejam p X e q Y tais que T(p) = q. Se
p
e
q
sao as
medidas de Dirac em (X, /) e (Y, B) associadas aos pontos p e q (cf. Exemplo
2.1.4), entao T preserva medida.
Se (X, /, ) e um espaco de medida, (Y, B) e um espaco mensuravel e T : X Y
e uma func ao mensuravel, consideremos
T
: B [0, +]
denindo T
(B) = (T
1
(B)) para B B.

E facil vericar que T
e uma medida
em (Y, B) e, atendendo ao modo como T
foi denida, se considerarmos esta medida

87
88 CAP
ITULO 5. TRANSFORMAC

OES QUE PRESERVAM MEDIDA
no espaco de chegada, T preserva medida. Com esta notacao, temos que uma
transformacao T : X Y entre espacos de medida (X, /, ) e (Y, B, ) preserva
medida se e so se T
= .
Teorema 5.1.2. Sejam (X, /, ) e (Y, B, ) espacos de medida -nitos e seja
T : X Y uma funcao mensuravel. Se o e uma semi-algebra que gera B e
(T
1
(B)) = (B) para todo B o, entao T preserva medida.
Prova. Seja m = T
[o = [o. Temos que m e uma func ao -aditiva denida em o

com extensoes T
e a B. Tendo em conta os resultados da Proposicao 2.2.4 e do

Teorema 2.2.8, tera que ser T
= . .
Estaremos particularmente interessados no caso em que (X, B, ) e um espaco
de medida e T : X X e uma transformac ao mensuravel. Neste caso, diremos que
e T-invariante quando T
= , isto e, quando T preserva .

Exemplo 5.1.3. Consideremos a medida de Lebesgue denida nos borelianos de
[0, 1]. A medida e T-invariante para a transformacao T : [0, 1] [0, 1] denida
por T(x) = 2x (mod 1). Tal resulta do Teorema 5.1.2 e do facto de T preservar o
comprimento de intervalos.
Exemplo 5.1.4. Analogamente ao que zemos para denir a medida de Lebesgue
na recta, podemos denir a medida de Lebesgue no crculo
S
1
= X R
2
: |X| = 1,
comecando por deni-la na semi-algebra dos sub-arcos de S
1
como o comprimento
do arco. Se R: S
1
S
1
e uma rotacao em S
1
, entao R preserva a medida de
Lebesgue.
Exemplo 5.1.5. (Transformacao de Gauss) Consideremos no intervalo [0, 1] a
transformacao
G: [0, 1] [0, 1]
x
_
0 se x = 0
1/x [1/x] se x ,= 0
G preserva a medida denida para um boreliano A [0, 1] como
(A) =
1
log 2
_
A
1
x + 1
dx,
entendendo este como o integral de Lebesgue.
5.1. DEFINIC

AO E EXEMPLOS 89
Exemplo 5.1.6. Consideremos em [0, 1] com a -algebra dos borelianos a trans-
formac ao T : [0, 1] [0, 1] denida por
T(x) =
_
1/2
n+1
se x = 1/2
n
(n = 0, 1, 2, . . . )
1 outros casos.
T e mensuravel e nao preserva nenhuma medida nita invariante.
Seja (X, /, ) um espaco de medida e T : X X uma transformac ao que pre-
serva . Se f : X R e uma funcao mensuravel, ent ao f T e tambem uma
funcao mensuravel. Podemos assim considerar uma aplicac ao linear U
T
no espaco
das funcoes mensuraveis, denindo U
T
(f) = f T. Resulta imediatamente da de-
nicao de U
T
que se f 0, ent ao U
T
(f) 0, e portanto U
T
e uma aplicac ao linear
positiva.
Proposicao 5.1.7. Sejam (X, /, ) um espaco de medida e T : X X uma trans-
formac ao que preserva . Se f L
1
(), entao U
T
(f) L
1
() e
_
U
T
(f)d =
_
fd.
Prova. Se f = A
A
para algum A /, ent ao
_
U
T
(A
A
)d =
_
A
A
Td =
_
A
T
1
(A)
d = (T
1
(A)) = (A) =
_
A
A
d.
Da linearidade de U
T
obtemos o resultado tambem para funcoes simples. Se f e nao
negativa, consideremos (f
n
)
n
uma sucessao de funcoes simples convergindo monoto-
namente para f. Entao (U
T
(f
n
))
n
e uma sucessao de funcoes simples convergindo
monotonamente para U
T
(f) e portanto
_
U
T
(f)d = lim
n
_
U
T
(f
n
)d = lim
n
_
f
n
d =
_
fd.
O caso geral obtem-se considerando as partes positiva e negativa de f. .
Corolario 5.1.8. Seja p 1. Temos U
T
_
L
p
()
_
L
p
() e |U
T
(f)|
p
= |f|
p
para
toda f L
p
().
Prova. Seja f L
p
(). Temos
_
[f T[
p
d =
_
[f[
p
Td =
_
[f[
p
d,
sendo esta ultima igualdade consequencia do proposic ao anterior, pois [f[
p
L
1
().
Isto mostra que U
T
(f) L
p
() e |U
T
(f)|
p
= |f|
p
. .
90 CAP

5.2 Recorrencia
Vejamos algumas das propriedades que gozam as transformacoes que preservam
medida. Comecamos por introduzir alguma notacao. Dada uma transformac ao
T : X X denimos
T
0
= id
X
e T
n+1
= T T
n
para n 1.
Dado x X, denimos a orbita de x como sendo a sucessao (T
n
(x))
n0
.
Teorema 5.2.1. (Recorrencia de Poincare) Sejam (X, /, ) um espaco de pro-
babilidade e T : X X uma transformacao que preserva . Se A / e tal que
(A) > 0, entao a orbita de quase todo ponto de A retorna innitas vezes a A. Isto
e, se
A
r
= x A: T
j
(x) A para innitos valores de j ,
entao (A
r
) = (A).
Prova. Para k 0 denimos
B
k
= x A: T
k
(x) A e T
n+k
(x) / A para n 1.
Como A A
r
=
k0
B
k
, basta provar que B
k
e mensuravel e (B
k
) = 0 para todo
k 0. Temos
B
k
= A T
k
(A) T
(k+1)
(X A) T
(k+2)
(X A)
e portanto B
k
e mensuravel. Para k 0 e n 1 temos
T
n
(B
k
) B
k
= , (5.1)
pois, se x T
n
(B
k
), entao T
k+n
(x) A, e portanto x / B
k
. Resulta de (5.1) que
T
(n+m)
(B
k
) T
m
(B
k
) =
para n 1 e m 0, e portanto
T
n
(B
k
) T
m
(B
k
) =
se n ,= m. Assim temos
_
n1
T
n
(B
k
)
_
=
n1
_
T
n
(B
k
)
_
1.
Como T preserva , temos
_
T
n
(B
k
)
_
= (B
k
) para todo n e portanto (B
k
) = 0
para todo k. .
Seja X um espaco topologico e T : X X uma transformacao. Denimos (x),
o -limite de um ponto x X, como o conjunto dos pontos y X tais que para
toda vizinhanca V de y existem innitos valores n N com T
n
(x) V . Dizemos
que x X e um ponto recorrente se x (x).
5.3. TRANSFORMAC

OES CONT
INUAS 91
Teorema 5.2.2. Sejam X um espaco metrico separavel, uma probabilidade sobre
os borelianos de X e T : X X uma transformacao que preserva . Entao quase
todo ponto de X e recorrente.
Prova. Seja (x
n
) uma sucessao densa em X. Denimos
U
n,m
= x X: d(x, x
n
) < 1/m
e
U
r
n,m
= x U
n,m
: T
j
(x) U
n,m
para innitos valores de j .
Pelo Teorema de Recorrencia de Poincare, temos (U
n,m
U
r
n,m
) = 0 para todos
m, n N. Considerando R =
k1
m,nk
U
r
n,m
, vamos ver que os pontos de R sao
recorrentes e (X R) = 0.
Vejamos que se x R ent ao x e recorrente. Dado > 0, queremos ver que existe
N N arbitrariamente grande tal que T
N
(x) B
(x). Tomemos k N tal que

k > 2/. Existem m, n k tais que x U
r
n,m
U
n,m
. Pela escolha de k, temos que
se y U
n,m
, ent ao
d(y, x) d(y, x
n
) + d(x
n
, x) < 1/m+ 1/m 2/k < .
Logo, U
n,m
B
(x). Como x U
r
n,m
, deduzimos que existem valores de N N
arbitrariamente grandes tais que T
N
(x) U
n,m
B
(x).
Vejamos agora que (X R) = 0. Como (x
n
)
n
e denso em X, temos X =
m,n1
U
n,m
e portanto
(X R) =
_
X
k1
m,nk
U
r
n,m
_
=
_
k1
(X
m,nk
U
r
n,m
)
_
=
_
k1
(
m,n1
U
n,m
m,nk
U
r
n,m
)
_

_
k1
m,nk
(U
n,m
U
r
n,m
)
_
Como (U
n,m
U
r
n,m
) = 0 para todos m, n 1, conclumos que (X R). .
5.3 Transformac oes contnuas
Veremos nesta secc ao que uma transformacao contnua denida num espaco metrico
compacto tem sempre alguma medida de probabilidade invariante denida nos bore-
lianos. Para tal, usaremos o Teorema de Representacao de Riesz que nos permitira
identicar o conjunto P(X), das medidas de probabilidade nos borelianos de X, com
um subconjunto do espaco C(X)
. Com esta identicac ao podemos introduzir uma

topologia em P(X) com a qual P(X) e um espaco compacto e deduziremos a
existencia de medidas invariantes para T.
92 CAP

Proposicao 5.3.1. Se X e um espaco metrico compacto, entao C(X) e separavel.
Prova. Pela Proposic ao 1.4.5 e suciente mostrar que C(X) tem uma base numeravel
de abertos. Sendo X um espaco metrico compacto, pela Proposicao 1.4.6 tem uma
base numeravel de abertos, e portanto X R tambem tem uma base numer avel de
abertos. Seja | uma base numer avel de abertos de X R. Denindo T como a
famlia das unioes nitas de abertos de | temos que T e numer avel. Dado W T,
seja
(W) = f C(X) : graf(f) W .
E facil vericar que (W) e um aberto de C(X). Vejamos que

_
(W)
_
WF
e uma
base (numeravel) de abertos de C(X). Queremos ver que dados f C(X) e > 0
existe W T tal que (W) B
(f). Seja
A
= (x, y) X R: [y f(x)[ < .

A
e um aberto de XR que contem graf(f), e se g C(X) e tal que graf(g) A
,
entao g B
(f). Para cada (x, f(x)) graf(f), existe U

x
| tal que U
x
A
.
Como graf(f) e compacto, existem x
1
, . . . , x
1
X tais que graf(f)

n
i=1
U
x
i
.
Tomando W =
n
i=1
U
x
i
temos (W) B
(f). .
Vimos no Teorema de Representa cao de Riesz que P(X) pode ser identicado
com um subconjunto de C(X)
, associando a cada P(X) o funcional
: C(X) R
f
_
fd.
Mais precisamente, P(X) pode ser identicado com um subconjunto de D
= f
C(X): |f|
0
1. De facto, se f C(X) e tal que |f|
0
1, ent ao
[
(f)[ =
_
fd

_
1d = 1
e portanto
. De agora em diante pensaremos muitas vezes em P(X) como

um subconjunto de D
, nao fazendo distinc ao entre P(X) e o funcional
em
D
que lhe esta associado.

Proposicao 5.3.2. P(X) e fechado em D
.
Prova. Resulta das Proposic oes 3.4.3 e 5.3.1 que D
e me-
trizavel. Logo, basta ver que se (
n
)
n
e uma sucessao de elementos de P(X) con-
vergindo para C(X)
na topologia fraca
, entao P(X). Seja (

n
)
n
uma
sucessao em P(X) convergindo para C(X)
na topologia fraca
. Temos para
cada f C(X)
n
(f) (f), quando n
5.3. TRANSFORMAC

OES CONT
INUAS 93
(cf. Exerccio 5.5.4). Se f 0, ent ao
n
(f) 0 para todo n, e portanto (f) 0.
Claramente, tambem (1) = 1. Logo, pelo Teorema de Representa cao de Riesz,
P(X). .
Seja T : X X uma transformacao denida no espaco metrico compacto X.
Podemos considerar uma transformac ao T
: P(X) P(X) que associa a cada

P(X) a medida T
P(X).
Lema 5.3.3. Se f C(X), entao
_
fdT
=
_
f Td.
Prova. Resulta da denic ao de T
que para todo boreliano A de X

_
A
A
dT
=
_
A
A
Td. (5.2)
O resto da demonstracao segue como na Proposic ao 5.1.7, generalizando (5.2) su-
cessivamente para funcoes simples, funcoes nao negativas e func oes contnuas (que
estao em L
1
() pois X e compacto e e nita). .
Lema 5.3.4. A funcao T
: P(X) P(X) e contnua.

Prova. Se
n
em P(X), ent ao para toda f C(X),
_
fdT
n
=
_
f Td
n

_
f Td =
_
fdT
.
Isto mostra que T
n
converge para T
na topologia fraca
, donde conclumos que

T
e contnua. .
Teorema 5.3.5. Sejam X um espaco metrico compacto e T : X X uma trans-
formac ao contnua. Entao existe alguma P(X) que e T-invariante.
Prova. Seja uma medida qualquer em P(X) (por exemplo uma medida de Dirac).
Consideremos a sucessao (
n
)
n
em P(X)
n
=
1
n
n1
j=0
T
j
.
Sabemos pela Proposicao 5.3.2 que P(X) e um espaco metrico compacto, e portanto
(
n
)
n
tem alguma subsucessao (
n
k
)
k
convergindo para alguma
0
P(X). Temos
para todo k
T
n
k
=
1
n
k
n
k
1
j=0
T
j+1
=
1
n
k
n
k
1
j=0
T
j

1
n
k
+
1
n
k
T
n
k
.
94 CAP

Como estas duas ultimas parcelas convergem para o funcional nulo de C(X)
quando
k , obtemos pela continuidade de T
0
= lim
k
T
n
k
= lim
k
1
n
k
n
k
1
j=0
T
j
=
0
.
Isto mostra que
0
e T-invariante. .
5.4 Ergodicidade
Sejam (X, /, ) um espaco de probabilidade e T : X X uma transformacao que
preserva . Um conjunto A / diz-se T-invariante, se satiszer T
1
(A) = A.
Dizemos que T e ergodica (com respeito a ), ou e uma medida ergodica (com
respeito a T), se e so se todo conjunto T-invariante tem medida igual a 0 ou 1.
A ergodicidade de uma transformac ao traduz-se na impossibilidade de decompor
o sistema em partes mais simples com algum signicado (medida positiva) em termos
da medida invariante. De facto, se T nao e ergodica, entao existe algum mensuravel
A X com 0 < (A) < 1 e T
1
(A) = A. Sendo T
1
(A) = A, temos ent ao que
T(A) A e T(A
c
) A
c
, onde A
c
= X A. Isto em particular implica que a orbita
de qualquer ponto de A esta contida em A e a orbita de qualquer ponto de A
c
esta
contida em A
c
. Alem disso, temos as transformacoes mensuraveis
T[A: A A e T[A
c
: A
c
A
c
que preservam respectivamente as probabilidades (A)
1
_
[A
_
e (A
c
)
1
_
[A
c
_
.
Teorema 5.4.1. Sejam X um espaco metrico compacto e uma probabilidade nos
borelianos de X tal que (U) > 0 para todo aberto U de X. Se T : X X preserva
e e ergodica, entao quase todo ponto de X tem orbita densa.
Prova. Como X e um espaco metrico compacto, existe U
n
n=1
uma base numer avel
da topologia de X. Denimos para cada n 1
A
n
= x X: T
j
(x) U
n
para innitos valores de j
Temos para cada n que A
n
e um mensuravel T-invariante. Como T e ergodica, tera
que ser (A
n
) = 0 ou (A
n
) = 1. Sabemos pelo Teorema de Recorrencia de Poincare
que (A
n
) (U
n
). Como e positiva em abertos, tera que ser (A
n
) = 1 para
todo n. O conjunto A =
n1
A
n
e constitudo por pontos cuja orbita e densa e
satisfaz (A) = 1. .
A ergodicidade de uma transformacao pode ser formulada em termos da constan-
cia das func oes em L
p
() cujo valor nao varia ao longo de orbitas, conforme mostra
a proposic ao abaixo.
5.4. ERGODICIDADE 95
Proposicao 5.4.2. Sejam (X, /, ) um espaco de probabilidade, T : X X uma
transformacao que preserva e 1 p . Sao equivalentes:
1. T e ergodica.
2. Se f L
p
() e tal que f T = f, entao f e constante qtp.
Prova. Suponhamos que T e ergodica. Se f L
p
() e tal que f T = f, entao dado
c R, o conjunto
A
c
= x X: f(x) c
e T-invariante. Como T e ergodica tera que ser (A
c
) = 0 ou (A
c
) = 1 para todo
c. Isto implica que f e constante qtp.
Vejamos agora que se vale a segunda condicao, entao T e ergodica. Se A / e
T-invariante, ent ao A
A
pertence a L
p
() e satisfaz A
A
T = A
A
. Logo, tera que ser
A
A
constante qtp, ou seja, (A) = 0 ou (A) = 1. .
Para o resultado que apresentamos a seguir consideramos o crculo S
1
= R/Z e,
dado R, denimos a rotac ao de angulo
R
: S
1
S
1
x x + .
Como ja foi referido no Exemplo 5.1.4 estas transformac oes preservam a medida de
Lebesgue em S
1
Teorema 5.4.3. Seja R
uma rotacao de angulo em S

1
. R
e ergodica (com
respeito à medida de Lebesgue) se e so se R Q.
Prova. Considerando S
1
como R/Z, temos
R
(x) = x + (mod 1).

Comecamos por mostrar que se = p/q Q, ent ao R
nao e ergodica. Em tal caso

f(x) = e
2iqx
satisfaz f R
= f e, no entanto, f nao e constante.

Suponhamos agora que R Q e seja f L
2
[0, 1] tal que f R
= f.
Considerando a decomposicao de f na sua serie de Fourier,
f(x) =
nZ
f(n)e
2inx
,
temos
f(R
(x)) =
nZ
f(n)e
2in(x+)
=
nZ
f(n)e
2in
e
2inx
.
Isto implica
f(n)e
2in
=

f(n) para todo n Z.
96 CAP

Como para n ,= 0 temos n / Q, tera que ser

f(n) = 0 para todo n ,= 0. Ou seja,
f e constante. Pela Proposic ao 5.4.2 conclumos que T e ergodica. .
Consideremos agora o operador U
T
introduzido na Secc ao 5.1. Tendo em conta
o Corolario 5.1.8, podemos considerar U
T
como um operador em L
2
(),
U
T
: L
2
() L
2
().
f f T
Resulta da Proposicao 5.1.7 que se f, g L
2
() ent ao
_
U
T
(f)U
T
(g)d =
_
U
T
(f.g)d =
_
fgd.
Isto mostra que U
T
e uma isometria no espaco de Hilbert L
2
().
Teorema 5.4.4. Sejam (X, /, ) um espaco de probabilidade e T : X X uma
transformacao que preserva . Se f L
2
(), entao existe f
L
2
() com f
T =
f
tal que
lim
n
_
_
1
n
n1
j=0
f T
j
f
_
_
2
= 0.
Alem disso, se T e ergodica, entao f
=
_
fd.
Prova. A existencia de f
L
2
() com as propriedades enunciadas e consequencia
de U
T
ser uma isometria e do Teorema 4.5.4. Passemos à prova da segunda parte.
Sendo T ergodica, e uma vez que f
T = f
, tera que ser f
constante, pela
Proposic ao 5.4.2. Basta ent ao ver que
_
f
d =
_
fd. Denindo, para n 1,
f
n
=
1
n
n1
j=0
f T
j
,
temos para todo n 1
_
f
n
d =
1
n
n1
j=0
_
f T
j
d =
1
n
n1
j=0
_
fd =
_
fd.
Daqui resulta
_
fd
_
f
_
f
n
d
_
f

_
[f
n
f
[d |f
n
f
|
2
|1|
2
,
sendo esta ultima desigualdade consequencia da Desigualdade de Cauchy-Schwarz.
Como isto vale para todo n 1, temos demonstrado o que pretendemos. .
Proposicao 5.4.5. Sejam (X, /, ) um espaco de probabilidade e T : X X uma
transformacao que preserva . Sao equivalentes:
1. T e ergodica.
2. Se A, B /, entao lim
n
1
n
n1
j=0
_
T
j
(A) B
_
= (A)(B).
Prova. Suponhamos que T e ergodica. Aplicando o Teorema 5.4.4 a A
A
obtemos
lim
n
1
n
n1
j=0
A
A
T
j
=
_
A
A
d = (A),
onde o limite e tomado no sentido da convergencia em L
2
(). Temos ent ao
(A)(B) =
_
(A)A
B
d
=
_
_
lim
n
1
n
n1
j=0
A
A
T
j
_
A
B
d
= lim
n
1
n
n1
j=0
_
A
A
T
j
A
B
d
= lim
n
1
n
n1
j=0
_
A
T
j
(A)
A
B
d
= lim
n
1
n
n1
j=0
_
T
j
(A) B
_
Para a terceira igualdade na sequencia acima, notar que A
B
e uma func ao real e o
produto interno em L
2
() e contnuo.
Suponhamos agora que vale a segunda condicao, e seja A / tal que T
1
(A) =
A. Temos entao
(A)(A) = lim
1
n
n1
j=0
_
T
j
(A) A
_
= lim
1
n
n1
j=0
(A) = (A).
Logo, (A)
2
= (A), o que implica (A) = 0 ou (A) = 1. .
Damos a seguir um exemplo de interpretac ao do limite na na segunda condicao
da proposic ao anterior.
98 CAP

Exemplo 5.4.6. Suponhamos que temos num recipiente X com agua uma mancha
de tinta azul numa certa regiao A e uma mancha de tinta branca numa outra regiao
B. Consideremos em X uma transformacao T que consiste em agitar o lquido no
recipiente. Se (B) > 0, dizer que
lim
n
1
n
n1
j=0
_
T
j
(A) B
_
= (A)(B)
e equivalente a dizer que
lim
n
1
n
n1
j=0
_
T
j
(A) B
_
(B)
= (A). (5.3)
O quociente
_
T
j
(A) B
_
(B)
representa a proporcao de tinta azul existente na regiao B depois de agitar j vezes.
A igualdade (5.3) signica que, em media, a proporcao de tinta azul na regiao B se
aproxima da proporcao que a regiao A ocupa no recipiente X.
Dadas T : X X, uma transformac ao que preserva uma probabilidade no
espaco mensuravel (X, /), e uma func ao f L
2
(), o Teorema 5.4.4 mostra a
convergencia em L
2
() da media
1
n
n1
j=0
f T
n
para alguma func ao f
L
2
(). Contudo, xado x X, o Teorema 5.4.4 nada diz
sobre a convergencia pontual da media
1
n
n1
j=0
f T
n
(x).
De facto, pode-se provar um resultado mais geral que assegura tambem a existencia
da media assimptotica para quase todo ponto x X.
Teorema 5.4.7. (Ergodico de Birkho) Seja (X, /, ) um espaco de probabili-
dade e T : X X uma transformacao que preserva . Se f L
1
(), entao existe
f
L
1
() com f
T = f
tal que
lim
n
1
n
n1
j=0
f T
n
(x) = f
(x) (5.4)
para quase todo x X. Alem disso, se T e ergodica, entao f
=
_
fd.
E imediato vericar que se o limite em (5.4) existe para algum ponto x X,

entao tambem existe para T(x) e coincide com o limite para x, donde se deduz
que f
T = f
. A conclusao de que f
coincide com a media de f, no caso da

ergodicidade de T, vem assim como consequencia da Proposic ao 5.4.2. Para a prova
da existencia do limite em quase todo ponto, sugerimos [8] ou [17].
Consideremos um espaco de probabilidade (X, /, ) e T : X X uma trans-
formacao que preserva . Dados A / e x X, denimos o tempo medio de
estadia de x em A como
(x, A) = lim
n
#0 j < n: T
j
(x) A
n
.
Pelo Teorema de Birkho este limite existe em quase todo ponto, pois
#0 j < n: T
j
(x) A
n
=
1
n
n1
j=0
A
A
_
T
j
(x)
_
e portanto
(x, A) = A
A
(x).
Se adicionalmente supusermos que a transformacao T e ergodica, entao temos para
todo A / e quase todo x X
lim
n
#0 j < n: T
j
(x) A
n
= (A).
Isto e, para uma transformac ao ergodica, a frequencia de visitas da orbita de quase
todo ponto x X a um conjunto A / coincide com a medida de A. Na verdade
isto e equivalente a dizer que a transformac ao T e ergodica: se A /e T-invariante,
entao temos (x, A) = 1 para todo x A. Se (A) > 0 ent ao tera que ser (A) = 1
e temos provada a ergodicidade de T.
Damos agora um resultado que ilustra como o Teorema Ergodico de Birkho
pode ser aplicado à teoria dos n umeros. Dizemos que um n umero [0, 1] e normal
na base 2, se a frequencia de 0s e 1s na sua decomposicao binaria for igual a 1/2.
Teorema 5.4.8. Quase todo n umero em [0, 1] e normal na base 2.
Prova. Seja T : [0, 1] [0, 1] denida por T(x) = 2x (mod 1). Vimos no Exem-
plo 5.1.3 que T preserva , a medida de Lebesgue. Alem disso, T e ergodica (cf.
Exerccio 5.5.9). Seja A o conjunto dos pontos que tem uma unica expansao binaria.
Como o complementar de A e numer avel, temos (A) = 1. Para um ponto
x =
a
1
2
+
a
2
2
2
+
a
3
2
3
+ com a
i
0, 1
100 CAP

que tenha uma unica expansao binaria temos
T(x) =
a
2
2
+
a
3
2
2
+
a
4
2
3
+ .
Considerando f = A
(1/2,1]
, temos
f
_
T
j
(x)
_
= f
_
a
j+1
2
+
a
j+2
2
2
+
_
=
_
1 se a
j+1
= 1
0 se a
j+1
= 0
Logo, para x A vem
#1 j n: a
j
= 1 =
n1
j=0
f
_
T
j
(x)
_
.
Dividindo ambos os membros desta igualdade por n e aplicando o Teorema Ergodico
de Birkho obtemos
1
n
n1
j=0
f
_
T
j
(x)
_

_
fd =
1
2
qtp.
Isto da o resultado. .
5.5 Exerccios
1. Mostre que a transformac ao de Gauss preserva a medida denida no Exem-
plo 5.1.5. (Sugestao: comece por provar que
_
G
1
([0, a))
_
= ([0, a)) para
todo a [0, 1]).
2. Explicite uma semi-algebra que permita denir a medida de Lebesgue nos bo-
relianos de S
1
. Mostre que as rotac oes de S
1
preservam a medida de Lebesgue.
3. Seja (X, /, ) um espaco de medida e T : X X uma transformac ao que
preserva . Mostre que se f L
() ent ao U
T
(f) L
() e |U
T
(f)|
=
|f|
.
4. Sejam X um espaco compacto e (
n
)
n
uma sucessao em P(X). Mostre que
(
n
)
n
converge para P(X) na topologia fraca
se e so se
n
(f) converge
para (f), qualquer que seja f C(X).
5. Seja T : X X uma transformacao do espaco metrico compacto X. Mostre
que se
1
, . . . ,
n
P(X) e
1
, . . . ,
n
0, ent ao
T
(
1
1
+ +
n
n
) =
1
T
(
1
) + +
n
T
(
n
).
5.5. EXERC
ICIOS 101
6. Considere a transformac ao T : [0, 1] [0, 1] dada por T(x) = 0 se x ,= 0 e
T(0) = 1. Seja uma medida de probabilidade T-invariante. Mostre que:
(a) (]0, 1[) = 0.
(b) =
1
2
0
+
1
2
1
.
(c) Para todo x [0, 1] a sucessao de medidas
1
n
n1
j=0

T
j
(x)
converge na
topologia fraca* para .
7. Considere a transformacao T : [0, 1] [0, 1] dada por T(x) = x/2 se x ,= 0 e
T(0) = 1/2.
(a) Mostre que T nao preserva nenhuma medida nita.
(b) Prove que para todo x [0, 1] a sucessao de medidas
1
n
n1
j=0

T
j
(x)
con-
verge para
0
na topologia fraca*.
8. Considere a transformac ao T : [0, 1] [0, 1] dada por T(x) = x/2 + 1/2 e
uma probabilidade T-invariante.
(a) Mostre que
_
[0, 1[
_
= 0.
(b) Conclua que coincide com a medida de Dirac
1
concentrada no ponto
1.
(c) Prove que para todo o x [0, 1] a sucessao de medidas
1
n
n1
j=0
T
j
(x)
con-
verge para
1
na topologia fraca*.
(d) Diga se T e ergodica com respeito a .
9. Mostre que a transformacao T : [0, 1] [0, 1] denida por T(x) = 2x (mod 1)
e ergodica. (Sugestao: Use series de Fourier).
10. Seja T : [0, 1] [0, 1] dada por T(x) = 10x (mod 1).
(a) Mostre que a medida de Lebesgue em [0, 1] e T-invariante.
(b) Mostre que e ergodica. (Sugestao: use series de Fourier)
11. Sejam (X, /, ) um espaco de probabilidade e T : X X uma transformac ao
mensuravel que preserva . Dizemos que T e misturadora, se para todos
A, B / vale
lim
n+
_
T
n
(A) B
_
= (A)(B).
Mostre que:
(a) Toda a transformac ao misturadora e ergodica.
102 CAP

(b) As rotac oes do crculo nao sao misturadoras.
(c) T e misturadora se e somente se para todas f, g L
2
() tivermos
lim
n+
U
n
T
(f), g) = f, 1)1, g).
Bibliograa
[1] G. de Barra, Introduction to Measure Theory.
[2] J. B. Conway, A Course in Functional Analysis.
[3] B. Epstein, Linear Functional Analysis
[4] P. J. Fernandez, Medida e Integracao.
[5] C. S. Honig, Aplicacoes da Topologia à Analise.
[6] E. L. Lima, Espacos Metricos.
[7] E. L. Lima, Elementos de Topologia Geral.
[8] R. Ma ne, Teoria Ergodica.
[9] R. Meise & D. Vogt, Introduction to Functional Analyis.
[10] E. W. Packel, Functional Analysis.
[11] K. R. Parthasarathy, Probability Measures on Metric Spaces.
[12] W. Rudin, Real and Complex Analysis.
[13] M. Reed & B. Simon, Functional Analysis.
[14] L. A. Steen & J. A. Seebach, Counterexamples in Topology.
[15] A. E. Taylor, Introduction to Functional Analyis.
[16] J. Thayer, Operadores Auto-adjuntos e Equacoes Diferenciais Parciais.
[17] P. Walters, An Introduction to Ergodic Theory.
[18] K. Yosida, Functional Analysis.
103
Indice
-limite, 90
-algebra, 11
de Borel, 14
gerada, 14
produto, 21
aberto, 1
aderencia, 2
al gebra, 11
gerada, 14
aplicacao linear limitada, 48
base
da topologia, 1
ortonormal, 73
bidual, 61
bola
aberta, 5
fechada, 5
boreliano, 14
coecientes de Fourier, 76
compacto, 4
completamento, 8
completo, 7
conjugado, 34
conjunto
invariante, 94
limitado, 6
converge, 3
denso, 3
derivada de Radon-Nikodym, 40
Desigualdade
de Cauchy-Scharwz, 35
de Cauchy-Schwarz, 67
de Holder, 34
de Minkowski, 35
de Young, 33
distancia, 5
dual, 61
espaco
de Banach, 47
de Hilbert, 68
de medida, 13
de probabilidade, 13
metrico, 5
mensuravel, 11
normado, 47
prehilbertiano, 67
topologico, 1
espacos
homeomorfos, 4
isometricos, 8
fechado, 2
funcao
-aditiva, 12
-nita, 12
aditiva, 12
aditiva nita, 12
contnua, 3
contnua num ponto, 3
integravel, 28
integravel segundo Riemann, 31
limitada, 6
mensuravel, 23
simples, 25
104
INDICE 105
funcional
linear, 48
nao negativo, 51
Hausdor, 3
homeomorsmo, 4
imagem, 81
integral, 28
de func ao nao negativa, 25
de func ao simples, 25
interior, 2
invariante
por isometria, 22
isometria, 8, 48
Lema
de Fatou, 26
de Riesz, 72
limite, 3
metrica, 5
discreta, 6
metricas equivalentes, 8
medida, 13
absolutamente contnua, 37
de contagem, 13
de Dirac, 13
de Lebesgue, 22
ergodica, 94
invariante, 88
nula, 13
produto, 21
regular, 41
medidas equivalentes, 37
mensuravel, 17
metrizavel, 6
n ucleo, 81
n umero normal, 99
norma, 47
numerabilidade
primeiro axioma, 2
segundo axioma, 2
operador
adjunto, 79
auto-adjunto, 80
linear, 48
unitario, 82
or bita, 90
ortogonal, 69
de um conjunto, 70
ortogonalizacao de Gram-Schmidt, 75
ortonormal, 69
parte
negativa, 28
positiva, 28
preserva
medida, 87
norma, 48
probabilidade, 13
produto interno, 67
projecc ao ortogonal, 71
qtp, 13
quase todo ponto, 13
recorrente, 90
reexivo, 61
serie de Fourier, 79
semi-algebra, 14
separavel, 3
separado, 3
sistema fundamental de vizinhancas, 2
soma
inferior, 31
superior, 31
subespaco topologico, 2
sucessao de Cauchy, 7
Teorema
da Convergencia Dominada, 30
da Convergencia Monotona, 27
106

INDICE
de Banach-Alaoglu, 62
de Pitagoras, 69
de Radon-Nikodym, 38
de Recorrencia de Poincare, 90
de Representac ao de Riesz, 56
de Tychono, 5
de von Neumann, 81
Ergodico de Birkho, 98
topologia, 1
T-inicial, 4
mais fraca, 2
discreta, 1
fraca
, 62
grosseira, 1
induzida, 2
inicial, 4
produto, 4
usual, 6
transformacao
de Gauss, 88
ergodica, 94
mensuravel, 87
vizinhanca, 2

Analise

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Analise

Diunggah oleh

Hak Cipta:

Format Tersedia

Analise Funcional

Jose Ferreira Alves

Indice alfabetico 104

T para todo em algum conjunto de ndices I, ent ao

(cf. Exerccio 1.5.2).

o produto cartesiano dos conjuntos X

. Denimos a topologia produto em

com a topologia produto e compacto.

e compacto com a topologia produto, entao cada X

, denem uma base da topologia T-inicial.

ITULO 2. MEDIDA E INTEGRAC

ITULO 2. MEDIDA E INTEGRAC

E facil vericar que o e uma semi-algebra de R

ITULO 2. MEDIDA E INTEGRAC

: T(X) [0, +] do seguinte modo:

. Para o segundo item,

, dado > 0, podemos escolher, para cada n, conjuntos B

() = 0), e suciente mostrar que

ITULO 2. MEDIDA E INTEGRAC

a / e -aditiva (e portanto uma medida) basta

(A) = (A) para

E claro que podemos assumir

(A) < , pois, caso contrario, nada ha a provar.

(A) = (A) para todo A /. Por um lado, resulta

(A) (A) para todo A /. Por outro lado,

ITULO 2. MEDIDA E INTEGRAC

(B) para todo B B. Seja B B e

, existe alguma sucessao (A

(B) < , podemos tambem supor

(B) < . (2.7)

(B) (B), que e precisamente o que faltava para

(B) = (B) sempre que B B for tal que

estendendo a B para provar que

ITULO 2. MEDIDA E INTEGRAC

ITULO 2. MEDIDA E INTEGRAC

ITULO 2. MEDIDA E INTEGRAC

E consequencia imediata da denicao apresentada que se f e g sao funcoes men-

ITULO 2. MEDIDA E INTEGRAC

E imediato vericar que f

sao funcoes nao negativas e f = f

e, portanto, f e integravel se e so se [f[ e integravel.

E claro que f 0 qtp ou f 0 qtp e condic ao suciente para que se tenha a

ITULO 2. MEDIDA E INTEGRAC

E facil vericar que se P

ITULO 2. MEDIDA E INTEGRAC

() como a classe das funcoes mensuraveis f tais que existe algum

ITULO 2. MEDIDA E INTEGRAC

ITULO 2. MEDIDA E INTEGRAC

< para m, n N. Entao, em X E

(). Como (E) = 0, conclumos que |f f

ITULO 2. MEDIDA E INTEGRAC

ITULO 2. MEDIDA E INTEGRAC

) < . Pretendemos mostrar

) < . Ent ao (XU

nao e necessariamente fechado. Tomamos k 1 tal que

= F. Temos provado que F /. .

ITULO 2. MEDIDA E INTEGRAC

ITULO 2. MEDIDA E INTEGRAC

ITULO 2. MEDIDA E INTEGRAC

ITULO 3. ESPAC OS NORMADOS

(I) para 1 p < e (

ITULO 3. ESPAC OS NORMADOS

sao funcionais lineares contnuos nao negativos.