Professional Documents
Culture Documents
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
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
, T
)
I
uma famlia de espacos
topologicos e consideremos
I
X
, I.
Para cada I temos a projeccao natural p
I
X
denida como
p
_
(x
)
I
_
= x
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
A
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 `a 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
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
_
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
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
_
.
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
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
(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
(A
n
) = +para algum n, entao nada ha a provar.
Suponhamos entao que temos
(A
n
) < + para todo n. Atendendo `a denic ao
de
_
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
(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
(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)
(A B) +
(A B).
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
que
n=1
A
n
e
(A) + >
n=1
(A
n
).
20 CAP
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 `a -algebra gerada por /.
Prova. Denotando por B a -algebra gerada por /, e suciente mostrar que se
e uma extensao de a B, entao (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
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) < .
Para o caso geral, sendo e -nita podemos escrever X =
n1
A
n
com A
n
/
e (A
n
) < para todo n. Atendendo `a 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
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
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
,
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
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
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.
. 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
_
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.
_
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
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
).
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
= 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
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
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 `a 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
|
<
e portanto, fazendo n obtemos [f f
m
[ . Deduzimos que [f[ [f
m
[ +
qtp e portanto f L
< 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
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
n
A
n
com (A
n
) < e (A
n
) < para todo
n 1. Aplicando o Teorema de Radon-Nikodym `as 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
aberto e F
fechado com F
A U
e (U
) (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
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
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
_
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
().
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
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)
_
_
_
_
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|
(cf. Exerccio 3.5.8).
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
onde
+
e
+
(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
+
(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
. De
(3.5) e da continuidade de resulta tambem que
+
e
= 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,
3.3. FUNCIONAIS LINEARES 53
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
.
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
+
(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
||.
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.
3.3. FUNCIONAIS LINEARES 55
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 `a 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
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
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 `a
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 /.
3.3. FUNCIONAIS LINEARES 59
(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
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
= L
q
(). Em geral
nao e verdade que (L
())
= L
1
().
Seja E um espaco normado e E
um espaco normado,
podemos considerar tambem o seu dual (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
em E
como sendo
a topologia fraca associada `a famlia de aplicacoes
f
x
: E
K
(x)
com x E. Ou seja, a topologia fraca
em E
na topologia fraca
: [(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
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
), 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
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
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
.
64 CAP
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)
.
(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
() 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
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))
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
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 `a 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
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
|
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
+ w
, entao z z
= w
w. Como
z z
F e w w
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
. 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
_
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
()
_
)
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
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
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
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
, 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
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
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
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 `a 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 | |
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
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|
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 `a 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
e linear. A proposic ao
seguinte mostra em particular que T
| = |T|.
80 CAP
| = 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
INUOS 81
Isto nalmente da
x, 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.
=
Ker(T
).
Prova. Observando que
x Ker(T
) y, T
(x)) = 0 y H
T(y), x) = 0 y H
x Im(T)
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
) 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
n
j
S
n
j
(w)
_
j
convergindo fracamente
para algum w
0
F
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
n
S
n
(w)
_
n
converge fracamente para 0
para todo w F
n
S
n
(w), w) 0
para todo w F
= 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
. .
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
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
: 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
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
= . .
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
ITULO 5. TRANSFORMAC
OES QUE PRESERVAM MEDIDA
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). 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)
ITULO 5. TRANSFORMAC
OES QUE PRESERVAM MEDIDA
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 .
(f). Seja
A
,
entao g B
.
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)
: 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
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
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).
Lema 5.3.3. Se f C(X), entao
_
fdT
=
_
f Td.
Prova. Resulta da denic ao de T
=
_
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
n
=
_
f Td
n
_
f Td =
_
fdT
.
Isto mostra que T
n
converge para T
na topologia fraca
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
ITULO 5. TRANSFORMAC
OES QUE PRESERVAM MEDIDA
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
(cf. Exerccio 5.5.2).
Teorema 5.4.3. Seja R
e ergodica (com
respeito `a medida de Lebesgue) se e so se R Q.
Prova. Considerando S
1
como R/Z, temos
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
ITULO 5. TRANSFORMAC
OES QUE PRESERVAM MEDIDA
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 `a prova da segunda parte.
Sendo T ergodica, e uma vez que f
T = 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. .
5.4. ERGODICIDADE 97
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
ITULO 5. TRANSFORMAC
OES QUE PRESERVAM MEDIDA
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.
5.4. ERGODICIDADE 99
T = f
. A conclusao de que f
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 `a 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
ITULO 5. TRANSFORMAC
OES QUE PRESERVAM MEDIDA
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
ITULO 5. TRANSFORMAC
OES QUE PRESERVAM MEDIDA
(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 `a 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