Vous êtes sur la page 1sur 37

Universidade Federal da Bahia - UFBA

Instituto de Matem

atica - IM
Colegiado do Curso de Matem atica - COLMAT
Monografia de Graduac ao
Uma generalizac

ao do teorema de John von


Neumann
Thiago Bomfim S

ao Luiz Nunes
Salvador-Bahia
Dezembro de 2009
Uma generalizac

ao do teorema de John von


Neumann
Thiago Bomfim S

ao Luiz Nunes
Monograa de Gradua cao apresentada ao
Colegiado do Curso de Matematica da
Universidade Federal da Bahia como requisito
parcial para obtencao do ttulo de Bacharel
em Matematica.
Orientador: Prof. Dr. Augusto Armando de
Castro Jr.
Salvador-Bahia
Dezembro de 2009
Nunes, Thiago Bomm Sao Luiz.
Uma generalizacao do teorema de John von Neumann /
Thiago Bomm Sao Luiz Nunes. Salvador: UFBA, 2009.
27 f.
Orientador: Prof. Dr. Augusto Armando de Castro Junior.
Monograa (gradua cao) Universidade Federal da Bahia, Instituto
de Matematica, Colegiado do Curso de Matematica, 2009.
Referencias bibliogracas.
1. Analise (Matematica). 2. Analise funcional. 3. Teoria Ergodica.
I. Castro Jr., Augusto Armando de Castro. II. Universidade Federal da
Bahia, Instituto de Matematica. III. Ttulo.
CDU : 517.98
: 519.218.84
Uma generalizac

ao do teorema de John von


Neumann
Thiago Bomfim S

ao Luiz Nunes
Monograa de Gradua cao apresentada ao
Colegiado do Curso de Matematica da
Universidade Federal da Bahia como requisito
parcial para obtenc ao do ttulo de Bacharel em
Matem atica, aprovada em 11 de dezembro de
2009.
Banca examinadora:
Prof. Dr. Paulo Cesar Rodrigues Pinto Varandas
UFBA
Prof. Dr. Mauricio Romero Sicre
UFBA
Prof. Dr. Samuel Gomes da Silva
UFBA
A meus pais, avos e amigos.
Agradecimentos
Agradeco a todos aqueles que de alguma forma colaboraram com esse comeco
de vida academica, em especial ` a Adeline que foi a pessoa que viu em mim talento para
matem atica, ao professor

Ezio de Ara ujo Costa por ter me dado a possibilidade de apren-
der com a minha primeira iniciac ao cientca; e, por m, ao professor Augusto Armando
de Castro Jr., com quem tive a honra de trabalhar por um curto perodo, porem, de muito
aprendizado da minha parte.
Faca as coisas o mais simples que
voce puder, porem nao se restrinja
`as mais simples.
(Albert Einstein)
Resumo
Essa monograa trata do teorema da media erg odica (teorema de John von Neu-
mann), cuja primeira demonstrac ao foi dada por John von Neumann em Proof of the
Quasiergodic Hypothesis (1932), ap os Koopman constatar que U
T
: L
2
(X, /, )
ffT
L
2
(X, /, ), conhecido como operador de Koopman, em que T preserva , dene um
operador unit ario. Neumann demonstrou que, para operadores unit arios sobre um espaco
de Hilbert, a media
1
n
n1

i=0
U
i
(f) converge para a projecao ortogonal sobre ker(U I).
Um dos objetivos da monograa e generalizar tal resultado, para isso a demonstrac ao
ser a apoiada nas ideias utilizadas por Riesz em Sur la theorie ergodique (1945) para
demonstrar o caso j a citado de operadores unit arios sobre espa cos de Hilbert.
Palavras-chave: von Neumann; Operadores lineares; Teoria da medida.
Abstract
This monograph deals with the mean ergodic theorem (theorem of John von Neu-
mann), the rst demonstration was given by John von Neumann in Proof of the Quasier-
godic Hypothesis (1932), Koopman noted after that U
T
: L
2
(X, /, )
ffT
L
2
(X, /, ),
known as the Koopman operator, where T preserves , denes a unitary operator. Neu-
mann has shown that, to unitary operators on a Hilbert space, average
1
n
n1

i=0
U
i
(f) con-
verges to the orthogonal projection on ker(U I). One goal of the monograph is to
generalize this result, while the proof will be supported on the ideas used by Riesz in
Sur la theorie ergodique (1945) to demonstrate the already mentioned case of unitary
operators on Hilbert spaces.
Keywords: von Neumann; Linear operators; Measure theory.
Sumario
Introducao 1
1 Analise funcional 3
1.1 Espacos Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 Teorema de John von Neumann 12
3 Teorema de von Neumann em L
1
16
3.1 Operador de Koopman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.2 Operador de Perron-Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . 19
A Teoria da medida 21
A.1 Nocoes b asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
A.2 Os espacos L
p
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Referencias 27
Introducao
A Teoria Erg odica pode ser vista como o estudo da din amica de transforma coes
T : X X que preservam alguma medida. Tal fato pode ser notado a partir de seus re-
sultados mais cl assicos como o teorema de recorrencia de Poincare e o teorema de Birkho
(ver [Ma ne]). A relac ao entre transformac oes que preservam medida e Analise Funcional
remonta ` as origens da Teoria Erg odica, quando em 1930 Koopman constatou que o op-
erador U
T
: L
2
(X, /, )
ffT
L
2
(X, /, ), atualmente conhecido como operador de
Koopman, (em que T preserva ) e um operador unit ario e prop os esta propriedade como
ponto de partida para a teoria de transformac oes que preservam medida. Em 1932 no
texto Proof of the Quasiergodic Hypothesis John von Neumann demonstrou que para
operadores unit arios sobre um espa co de Hilbert a media
1
n
n1

i=0
U
i
(f) converge para a
projec ao ortogonal sobre ker(U I). Essa monograa tem como objetivo generalizar tal
resultado para espacos reexivos, cuja demonstracao sera apoiada nas ideias utilizadas
por Riesz em Sur la theorie ergodique(1945) para demonstrar o caso j a citado de oper-
adores unit arios sobre espacos de Hilbert. Desse modo, o presente trabalho ca dividido
da seguinte forma:
Captulo 1: S ao apresentados os objetos matematicos, bem como resultados e
provas, acerca da An alise funcional necessarios a demonstracao da generalizac ao do teo-
rema John von Neumann; com destaque para: Teorema de Hahn-Banach, resultados sobre
anuladores e adjuntos, Teorema da Projec ao e Teorema da Representac ao de Riesz.
Captulo 2: No incio sao demonstrados dois lemas, logo ap os e feita a pretendida
demonstrac ao da generaliza cao do teorema sendo que para isso precisaremos da hipotese
da reexividade, pois, esta aparece na demonstracao de um dos lemas citados; tal hip otese
e respons avel pela generalizacao da vers ao original de von Neumann, pois, todo espaco de
Hilbert em particular e um espaco reexivo. Apos seguem corolarios, com destaque para
a versao original de von Neumann e o corol ario que apresenta uma hip otese substitutiva
` a contracao fraca, bem como contra-exemplos.
Captulo 3: Devido a hip otese de reexividade necess aria ` a demonstrac ao do
teorema se fez necess ario uma discuss ao a cerca do espaco L
1
. Este espaco possui um
papel importante em Teoria Erg odica, assim esse captulo possui uma vers ao mais fraca
1
Introduc ao 2
do teorema demonstrado. Outra pretens ao desse captulo e uma apresenta cao de dois
operadores importantes `a Teoria Ergodica. Um deles e o operador de Koopman que sob
certas condic oes realiza a versao mais fraca do teorema demonstrado e assim e obtida
uma parte do teorema de Birkho. O outro e o operador de Perron-Frobenius, cujos
pontos xos induzem medidas absolutamente contnuas em relacao a uma medida xada
e invariantes a uma transformac ao.
Apendice A: Nesse apendice est ao apresentados os conceitos e resultados acerca
da Teoria da Medida necess arios ao entendimento do Captulo 3.
Captulo 1
Analise funcional
1.1 Espacos Normados
Denicao 1.1 (Contra cao). Seja (M, d) um espaco metrico. Uma aplicacao F : M
M e dita ser uma contracao fraca se existe 0 1 tal que d(F(x), F(y))
d(x, y); x, y M. Se < 1, F e dita contracao.
Denicao 1.2 (Projec ao). Seja E um espaco vetorial. A : E E um operador linear
tal que A
2
= A e dito uma projecao em E.
Denicao 1.3 (Espaco de Banach). Um espaco normado E e dito espaco de Banach se
e completo em relacao a metrica induzida da norma.
Denicao 1.4 (Dual). Seja E um espaco normado, o dual topologico de E ou simples-
mente dual de E e f : E IK; f e linear e contnua , onde IK indicara ao longo da
monograa IR ou C. Denotaremos o dual de E por E

.
Proposicao 1.5. Sejam X, Y espacos vetoriais normados, L : X Y uma aplicacao
linear. Sao equivalentes as seguintes armacoes:
1. L e contnua em algum x X;
2. L e contnua em 0;
3. c 0 : [[L(v)[[ c, v X com [[v[[ = 1;
4. c 0 : [[L(v)[[ c [[v[[, v X;
3
An alise funcional 4
5. L e contnua em todos pontos.
Prova. 1) 2)] Seja > 0 dado. Como L e contnua em x
0
, > 0 : [[x x
0
[[ <
[[L(x) L(x
0
)[[ < , para um y X : [[y[[ < (a existencia do 0 garante a existencia do
y), temos:
[[y 0[[ = [[y[[ < [[(y + x
0
) x
0
[[ < [[L(y + x
0
) L(x
0
)[[ <
[[L((y +x
0
) x
0
) 0[[ < [[L(y) L(0)[[ < L e contnua em 0.
2) 3)] Suponha que 3) n ao ocorre c 0, v
c
: [[v
c
[[ = 1 e [[L(v
c
)[[ c.
n IN : n c n IN, v
n
: [[v
n
[[ = 1 e [[L(v
n
)[[ n. Seja w
n
:=
v
n

n
, logo :
[[L(w
n
)[[ = [[L(
v
n

n
)[[ =
||L(v
n
)||
|

n|

n

n
=

n , lim

n = + lim[[L(w
n
)[[ = +;
lim

n = + lim
v
n

n
= 0 limw
n
= 0, L e contnua no 0 limL(w
n
) = 0
lim[[L(w
n
)[[ = 0.
O que e um absurdo pela unicidade do limite, logo, c 0 : [[L(v)[[ c, v com [[v[[ = 1.
3) 4)] Seja v X, se v = 0 temos que [[L(v)[[ = 0 d 0 = d v, d 0,
assim [[L(v)[[ d [[v[[, d 0. Suponha que v ,= 0 [[
v
||v||
[[ = 1, por 2) c 0 : c
[[L(
v
||v||
)[[ =
||L(v)||
||v||
[[L(v)[[ c [[v[[, c 0.
4) 5)] Seja x X e (v
n
) uma sequencia em X : limv
n
= x. Temos por
3) que c 0 : c [[v
n
x[[ [[L(v
n
x)[[ = [[L(v
n
) L(x)[[, lim[[v
n
x[[ = 0
lim[[L(v
n
) L(x)[[ = 0 limL(v
n
) = L(x) L e contnua em x. Pela arbitrariedade
de x, conclumos que L e contnua.
5) 1)] Como L e contnua em todos os pontos do seu domnio, em particular e
contnua em algum x X.
O espaco das transformac oes lineares L(E, F) := T : E F; E, F espacos
normados, L linear e contnua admite uma estrutura de espa co vetorial. Mas ainda, pela
proposic ao anterior vimos que uma aplicac ao linear sobre espacos normados e contnua
se, e somente se, e limitada na esfera unit aria; assim podemos introduzir uma norma
can onica para o espaco L(E, F), [[T[[
op
:= sup
||x||=1
[[T(x)[[ = Lip(T), T L(E, F), tal
norma e dita norma do operador.
Proposicao 1.6. Seja E um espaco normado. Entao E

e um espaco de Banach em
relacao a norma do operador.
An alise funcional 5
Prova. Seja (f
n
) uma sequencia de Cauchy em E

, logo, xado 0 ,= x E teremos


que para > 0 n
0
IN; n, m n
0
, [[(f
m
f
n
)(x)[[ = [[x[[ [[(f
m
f
n
)(
x
[[x[[
)[[
[[x[[ [[f
m
f
n
[[
op
< , como IK e completo teremos que (f
n
) converge pontualmente.
Assim denindo f(x) := lim
n+
f
n
(x), vemos que f e um funcional linear, e que: para
x E, [[x[[ = 1, tomando n
1
IN; [[f
n
1
(x)f(x)[[ <

2
e [[(f
n
f
n
1
)(x)[[ <

2
n n
1
ter-
emos [[f
n
f[[ < , n n
1
, e portanto f
n
op
f. J a sabemos que [[(f
m
f
n
)(x)[[ < [[x[[,
fazendo m +, logo [[(f f
n
)(x)[[ < [[x[[ e portanto f f
n
e contnuo e como
f = f f
n
+ f
n
e soma de funcionais lineares contnuos e um funcional linear contnuo
vemos que f E

.
O teorema de Hanh-Banach e um dos resultados mais importantes da Analise
Funcional classica, ele nao ser a apresentado com toda a sua for ca e sim atraves de um
corol ario comum a literatura de An alise Funcional, porem nos termos apresentados e su-
ciente para o desenvolvimento do estudo proposto. Para sua demonstra cao ser a necess ario
a apresentac ao de um resultado de existencia muito importante em matem atica, o Lema
de Zorn, que e equivalente ao Axioma da escolha.
Proposicao 1.7 (Lema de Zorn). Seja X ,= um conjunto parcialmente ordenado. Se
todo subconjunto totalmente ordenado de X possui uma cota superior entao X possui um
elemento maximal.
Prova. Veja [Jech], p agina 49.
Lema 1.8. Seja E um espaco normado real, seja M um subespaco proprio de E, seja
x
0
E M, e seja N := M [x
0
]. Entao, para cada M

, existe N

tal que:
i)
M
= ;
ii) [[[[
op
= [[[[
op
.
Prova. Cada z N pode ser escrito de maneira unica na forma z = x+x
0
, com x M
e IR. Denindo : N IR por (z) = (x) +
0
, onde
0
e uma constante que ser a
escolhida depois; e linear e verica i). Iremos escolher
0
convenientemente de forma
a ter mesma norma que . Como i) e satisfeito para mostrar ii) basta mostrarmos que
[(z)[ [[[[
op
[[z[[, z N [[[[
op
[[x + x
0
[[ (x)
0
[[[[
op
[[x + x
0
[[
(x); x M, IR [[[[
op
[[x +x
0
[[ (x)
0
[[[[
op
[[x +x
0
[[ (x); x M.
Armacao: sup
xM
[[[[
op
[[x +x
0
[[ (x) inf
xM
[[[[
op
[[x +x
0
[[ (x).
Para provar basta mostrar que [[[[
op
[[x
1
+ x
0
[[ (x
1
) [[[[
op
[[x
2
+ x
0
[[
(x
2
); x
1
.x
2
M, sendo assim: (x
2
) (x
1
) = (x
2
x
1
) [[[[
op
[[x
2
x
1
[[
An alise funcional 6
[[[[
op
[[x
1
+x
0
[[ +[[[[
op
[[x
2
+x
0
[[.
Escolhendo
0
IR tal que sup
xM
[[[[
op
[[x+x
0
[[ (x)
0
inf
xM
[[[[
op
[[x+
x
0
[[ (x) teremos que [(z)[ [[[[
op
[[z[[, z N.
Proposicao 1.9 (Hahn-Banach, caso real). Seja E um espaco normado real, e seja M
0
um subespaco de E. Entao, para cada
0
M

0
existe E

tal que:
(i)
0
(x) = (x), x M
0
;
(ii) [[
0
[[
op
= [[[[
op
.
Prova. Seja B := (D, ); D M
0
e um subespaco de E, D

,
M
0
=
0
e [[
0
[[
op
=
[[[[
op
, note que (M
0
,
0
) B e podemos munir B da seguinte ordem: (D
1
,
1
)
(D
2
,
2
) D
1
D
2
e
2 D
1
=
1
. Seja (D
i
,
i
) : i I uma cadeia em B, ent ao
D :=
_
iI
D
i
e : D IR denido por (x) =
i
(x) se x D
i
denem um par que e cota
superior para a cadeia. Logo pelo Lema de Zorn existe um elemento maximal (A, ) para
B e, para ndar a demonstracao basta mostrarmos que A = E. Suponha por absurdo que
x
0
E A logo pelo lema anterior temos que (A[x
0
],
x
0
) B, absurdo, pois (A, ) e
um elemento maximal.
Proposicao 1.10 (Hahn-Banach, caso complexo). Seja E um espaco normado complexo,
e seja M
0
um subespaco de E. Entao, para cada
0
M

0
existe E

tal que:
(i)
0
(x) = (x), x M
0
;
(ii) [[
0
[[
op
= [[[[
op
.
Prova. Seja
0
(x) := Re
0
(x),
0
ser a um funcional linear real sobre M
0
,
0
(x)
[
0
(x)[ [[
0
[[
op
[[x[[ logo
0
ser a contnuo e
0
(ix) = Im
0
(x), logo
0
(x) =
0
(x)
i
0
(ix), x M
0
. Aplicando o Hahn-Banach a
0
temos que : E IR com
M
0
=
0
e [[[[
op
= [[
0
[[
op
. Seja (x) := (x) i(ix), x E, vemos que E

,
M
0
=
0
,
para provar que [[
0
[[
op
= [[[[
op
, xemos x E e escrevamos (x) = re
i
, com r 0
ent ao:
(e
i
x) = e
i
(x) = r (e
i
x) = (e
i
x) [(e
i
x)[ [(e
i
x)[
[[[[
op
[[e
i
x[[ [(x)[ [[[[
op
[[x[[ = [[
0
[[
op
[[x[[ [[
0
[[
op
[[x[[ [[[[
op
[[
0
[[
op
,
a outra desigualdade decorre do fato de
M
0
=
0
.
Corolario 1.11. Seja E um espaco normado, dado 0 ,= x
0
E, sempre existe E

tal
que [[[[
op
= 1 e [[(x
0
)[[ = [[x
0
[[.
An alise funcional 7
Prova. Facamos M
0
= [x
0
] o subespaco de E gerado por x
0
, e
0
M

0
denido por

0
(x
0
) = [[x
0
[[ IK. Note que
0
e linear e que [[
0
[[
op
= 1. Pelo teorema de
Hahn-Banach existe E

tal que [[
0
[[
op
= [[[[
op
e
0
(x) = (x) x M
0
. Segue que
[[[[
op
= 1 e (x
0
) = [[x
0
[[.
Vamos denotar por E

o dual de E

.
Proposicao 1.12. Seja E um espaco normado, entao : E
vv
E

, tal que v

() :=
(v) E

, e um isomorsmo isometrico entre E e (E). e denotada por inclusao


canonica.
Prova. De fato, ,
1
,
2
E

e c IK temos (
1
+ c
2
)(v) =
1
(v) + c
2
(v), e [v

()[ =
[[(v)[[ [[[[
E
[[v[[ [[v

[[
E
[[v[[. Para obter a outra desigualdade, aplicamos
o corol ario anterior e assim obtemos E

tal que [[[[ = 1 e (v) = [[v[[, logo,


[[v

[[
E
[[v

()[[ = [(v)[ = [(v)[ = [[v[[.


A pr oxima proposicao e uma hip otese muito importante para a generalizac ao do
teorema de von Neumann que sera demonstrada.
Denicao 1.13 (Espaco reexivo). Seja E um espaco normado. E e dito espaco reexivo
se (E) = E

.
Quando f E

e x E denotaremos f(x) por < f, x >.


Denicao 1.14 (Anuladores). Seja E um espaco normado, M um subespaco de E, e N
um subespaco de E

. Seus anuladores M

e

N sao assim denidos:
M

:= x

; < x

, x >= 0, x M E

N := x E; < x

, x >= 0, x

N) E.
A pr oxima proposi cao desempenha um papel importante na demonstrac ao da
generalizac ao do teorema von Neumann.
Proposicao 1.15. Seja E um espaco normado, M um subespaco de E. Entao

(M

) e
igual ao fecho de M em E.
Prova. x M y

(x) = 0 y

x

(M

) M

(M

). Seja (v
n
) : IN

(M

) com v
n
v, ent ao y

teremos y

(v) = lim
n+
y

(v
n
) = lim
n+
0 = 0, ou
seja, v

(M

) e assim

(M

) sera fechado em E. Tome x / M, pelo teorema de


Hahn-Banach existe x

tal que x

e x

(x) ,= 0, logo, x /

(M

) e assim temos
que

(M

) e igual ao fecho de M em E.
An alise funcional 8
Proposicao 1.16. Sejam E e F espacos normados. Para todo T L(E, F), existe um
unico T

L(F

, E

) tal que < T

, x > = < y

, Tx >, x E e y

. Ademais,
[[T

[[
op
= [[T[[
op
.
Prova. Denamos T

: F

T
E

. Como estamos compondo duas aplicacoes lin-


eares contnuas teremos que T

est a bem denida. Note que pela denic ao de T

teremos
< T

, x > = < y

T, x > = < y

, Tx >, y

e x E e desse resultado decorre a


unicidade de T

. Apoiado na linearidade de T conclumos que T

tambem e linear. Com


efeito, sejam c IK , y

1
, y

2
F

e x E, teremos entao:
< T

(c y

1
+ y

2
), x > = < c y

1
+ y

2
, Tx > = < c y

1
, Tx > + < y

2
, Tx > =
c < y

1
, Tx > = < y

2
, Tx > = c < T

1
, x > = < T

2
, x > = < c T

1
+ T

2
, x >
T

(c y

1
+y

2
) = c T

1
+T

y
2
.
Ademais,
[[T[[
op
= sup
||x||=1
[[T(x)[[ = sup
||x||=1, ||y

||=1
[ < y

, Tx > [ = sup
||x||=1, ||y

||=1
[ < T

, x > [ =
sup
||y

||=1
[[T

[[ =: [[T

[[
op
.
Onde a existencia de y

, com [[y

[[ = 1, depende do corolario do teorema de Hahn-Banach.

O operador T

ser a dito operador adjunto de T ou simplesmente adjunto de T.


Denotamos por T

o operador (T

.
Proposicao 1.17. Sejam E e F espacos normados e T L(E, F), entao ker(T

) =
Ran(T)

.
Prova. y

ker(T

) T

(y

) = 0 < T

, x > = 0, x E < y

, Tx >= 0, x
E y

Ran(T)

.
A proposic ao anterior tambem ser a utilizada na demonstrac ao da generalizac ao
do teorema de von Neumann.
Proposicao 1.18. Sejam E, F espacos normados, T L(E, F). Entao T

(x

) =
T(x)

, x E.
Prova. Sejam x E e y

, entao:
< T

, y

> = < x

, T

> := < T

, x > = < y

, Tx > =: < Tx

, y

>
T

(x

) = T(x)

, x E.
An alise funcional 9
1.2 Espacos de Hilbert
Denicao 1.19 (Espaco pre-Hilbertiano). Um espaco vetorial E e dito espaco pre-
Hilbertiano se esta munido de um produto interno.
Denicao 1.20 (Espaco de Hilbert). Um espaco pre-Hilbertiano H e dito Hilbert se e
completo em relacao a metrica induzida do produto interno.
Proposicao 1.21 (Teorema de Pitagoras). Se E e um espaco pre-Hilbertiano entao [[u+
v[[
2
= [[u[[ +[[v[[, u, v E, uv.
Prova. [[u +v[[
2
= u, u) +u, v) +v, u) +v, v) = u, u) +v, v) = [[u[[
2
+[[v[[
2
.
Proposicao 1.22 (Desigualdade de Cauchy-Schwarz). Seja E um espaco pre-Hilbertiano
entao [u, v)[ [u[ [v[, u, v E
Prova. Se u = 0 a desigualdade sera satisfeita. Suponha u ,= 0, denamos :=
v, u)
u, u)
u
e w := v , notemos que wu e entao pelo teorema de Pit agoras teremos [[v[[
2
=
[[[[
2
+[[w[[
2
[[[[ [[v[[
[u, v)[
[[u[[
[[v[[ [u, v)[ [[u[[ [[v[[.
Proposicao 1.23 (Lei do paralelogramo). Seja E um espaco pre-Hilbertiano e x, y E.
Entao [[x +y[[
2
+[[x y[[
2
= 2[[x[[
2
+ 2[[y[[
2
Prova. [[x + y[[
2
= x + y, x + y) = x, x) + x, y) + y, x) + y, y), por outro lado
[[x y[[
2
= x, x) x, y) y, x) + y, y). Somando estas identidades obtemos a lei do
paralelogramo.
Vale a recproca da lei do paralelogramo, ou seja, dado um espaco normado E
cuja norma satisfaca a lei do paralelogramo ent ao sua norma e induzida de um produto
interno. Tal fato n ao ser a demonstrado no texto, ja que nao precisaremos dele para atingir
nossos objetivos. O leitor pode encontrar detalhes em [Tausk], pagina 141.
Proposicao 1.24 (Teorema da Projec ao). Seja H um espaco de Hilbert, e seja M um
subespaco fechado de H. Entao:
(i) Para todo x H, existe um unico p M tal que [[x p[[ = d(x, M) :=
inf[[x y[[; y M; (p e dito projecao ortogonal de x sobre M);
An alise funcional 10
(ii) Cada x H admite uma unica decomposicao da forma x = p+q, com p M
e denindo F
q
(a) := a, q) teremos F
q
M

;
(iii) Seja P : H
xp
H, onde p e dado pelo item i), entao P e uma projecao.
Prova. i) Existencia: Seja a := d(x, M), tomemos (p
n
) : IN M tal que [[x p
n
[[ <
a +
1
n
, n IN. Pela lei do paralelogramo:
2[[x p
m
[[
2
+ 2[[x p
n
[[
2
= [[2x p
m
p
n
[[
2
+[[p
n
p
m
[[
2

[[p
n
p
m
[[
2
= 2[[x p
m
[[
2
+ 2[[x p
n
[[ 4[[x
(p
m
+p
n
)
2
[[
2
<
2(a +
1
m
)
2
+ 2(a +
1
n
)
2
4a
2
<
4a
m
+
2
m
2
+
4a
n
+
2
n
2

m,n+
0.
Logo, (p
n
) e uma sequencia de Cauchy em H e, como H e completo e M e fechado em
H, temos que p
n
p M. Como [[x p
n
[[ < a +
1
n
[[x p[[ a [[x p[[ = a.
Unicidade: Suponha que q M tal que [[x q[[ = a, pela lei do paralelogramo:
2[[x p[[
2
+ 2[[x q[[
2
= [[2x p q[[
2
+[[q p[[
2

[[q p[[
2
= 2[[x p[[
2
+ 2[[x q[[
2
4[[x
(p +q)
2
[[
2
2a
2
+ 2a
2
4a
2
= 0.
Conclumos entao que q = p.
ii) Existencia: Dado x H, por i), sabemos que existe um unico p M tal que
[[x p[[ = d(x, M), denindo q := x p provaremos que F
q
M

, note que F
q
e linear
e contnuo (decorre da desigualdade de Cauchy-Schwartz. Seja y M, para cada K
temos que:
[[q[[ = [[x p[[ [[x p y[[ = [[q y[[ [[q[[
2
[[q y[[
2
=
q y, q y) = q, q) y, q) q, y) +y, y) =
[[q[[
2
2Rey, q) +[[
2
[[y[[
2
2Rey, q) [[
2
[[y[[
2
K.
Escrevendo y, q) = [y, q)[e
i
, e fazendo = te
i
, t IR, segue que: t
2
[[y[[
2
2Ret[y, q)[ =
2t[y, q)[, para t > 0 2[y, q)[ t[[y[[
2
, fazendo t 0 teremos que y, q) = 0 e portanto
F
q
M

.
Unicidade: Suponha que x = p
1
+ q
1
com p
1
M e F
q
M

p p
1
= q
1
q M e
F
pp
1
= F
q
1
q
M

[[p p
1
[[
2
= [[q
1
q[[
2
= 0 p
1
= p e q
1
= q.
iii) Da decomposic ao unica obtida em ii) segue que P e linear e P
2
= P, basta
mostrar ent ao que P e contnuo (mostraremos que P e contra cao fraca). Seja x H e
An alise funcional 11
x = p +q a decomposi cao obtida em ii), assim: [[x[[
2
= [[p +q[[
2
= [[p[[
2
+[[q[[
2
[[p[[
2
=
[[P(x)[[
2
[[P(x)[[ [[x[[.
Proposicao 1.25 (Teorema da Representac ao de Riesz). Seja H um espaco de Hilbert,
entao:
(i) Para todo H

, existe um unico y
0
H tal que (x) = x, y
0
), x H;
(ii) R : H


y
0
H e uma bijecao e uma isometria, ademais, R( + ) =
R() +R() e R() = R(), , H

e IK.
Prova. i) Existencia: Se = 0 basta tomarmos y = 0. Suponha ,= 0 e seja M :=

1
(0), M ser a um subespaco fechado pr oprio de H. Devido a decomposic ao de H obtida
no teorema de projec ao x
0
H tal que F
x
0
M

e (x
0
) = 1. Para cada x H,
x = (x (x)x
0
) + (x)x
0
. Como F
(x)x
0
M

, pelo teorema de projec ao temos que


(x (x)x
0
) M. Seja y
0
:= x
0
[[x
0
[[
2
ent ao x, y
0
) = (x)x
0
, y
0
) = (x).
Unicidade: Suponha que y
1
H tal que (x) = x, y
1
), x H x, y
0
y
1
) = 0, x
H, em particular y
0
y
1
, y
0
y
1
) = 0 y
1
= y
0
.
ii) Como F
x
H

, x H e por i) vemos que R e uma bijec ao. Seja x

e y H ent ao [x

(y)[ = [y, R(x

))[ [[y[[ [[R(x

)[[ [[x

[[
op
[[R(x

)[[. Por outro


lado [[x

(R(x

))[ = [[R(x

)[[
2
[[R(x

)[[ [[x

[[
op
= [[R(x

)[[. Por i) vemos que R e


sesquilinear.
Comumente identicamos H

por y H encontrado via Representac ao de


Riesz e assim por abuso de linguagem dizemos que H

= H e que M

= y H : x, y) =
0, x M.
Corolario 1.26. Seja H um espaco de Hilbert, entao H

e um espaco de Hilbert e H e
um espaco reexivo.
Prova. Seja R a isometria obtida na Representac ao de Riesz, sejam x

e y

, de-
namos x

, y

)
1
:= R(y

), R(x

)). Como R e sesquilinear vemos que , )


1
deni um
produto interno sobre H

, como R e uma isometria vemos que H

e completo em rela cao


a , )
1
, logo H

e um espaco de Hilbert. Seja v H

, pela Representac ao de Riesz, existe


um unico y
v
H

tal que v(x

) = x

, y
v
)
1
, para todo x

, logo:
v(x

) = x

, y
v
)
1
:= R(y
v
), R(x

)) = x

(R(y
v
)) v = R(y
v
)

v (H).
Pela arbitrariedade de v temos que H e reexivo.
Captulo 2
Teorema de John von Neumann
Neste captulo iremos provar uma generalizac ao do teorema de von Neumann,
bem como alguns corol arios.
Lema 2.1. Seja E um espaco reexivo, A L(E). Entao:
(i) v

ker(A

) v ker(A)
(ii) ker(A)



ker(A

).
Prova. (i) [[A(v)[[ = [[A(v)

[[ = [[A

(v

)[[. A primeira igualdade decorre da proposic ao


1.12 e a segunda decorre da proposic ao 1.18.
(ii) Seja ker(A)

e u

ker(A

), u

() = (u) = 0. A ultima igualdade


decorre de (i).
Lema 2.2. Seja E um espaco normado, A L(E). Entao

ker(A

I) = Ran(A

I).
Prova. Aplicando a proposi cao 1.17 a A

I temos ker(A

I) = Ran(A

I)

, e pela
proposic ao 1.15 obtemos a igualdade procurada.
Teorema 2.3. Seja E um espaco reexivo, A L(E) e [[A[[
op
1. Entao para todo
f E, vale que
1
n
n1

i=0
A
i
(f)
n+
P(f), onde P(f) e uma projecao de f sobre ker(AI).
Prova. Inicialmente estudemos como a sequencia considerada se comporta sobre os espacos
ker(AI) e Ran(A I). Seja f ker(AI) Af = f
1
n
n1

i=0
A
i
(f) =
1
n
n1

i=0
f = f =:
P(f). Seja f Ran(A I) g E; Ag g = f, por induc ao vemos que
n1

i=0
A
i
(f) =
A
n
(g) g, n IN [[
1
n
n1

i=0
A
i
(f)[[ =
1
n
[[A
n
(g) g[[
1
n
([[A
n
(g)[[ + [[g[[)
2
n
[[g[[
12
Teorema de John von Neumann 13
1
n
n1

i=0
A
i
(f)
n+
0. Seja agora f Ran(A I), logo existe (f
n
) : IN Ran(A
I); f
n
f, dado > 0 tomemos n
0
, n
1
IN; [[A(f) A(f
n
0
)[[ <

2
e
1
n
[[
n1

i=0
A
i
(f
n
0
)[[ <

2
n n
1
, logo [[
1
n
n1

i=0
A
i
(f)[[
1
n
[[
n1

i=0
(A
i
(f)A
i
(f
n
0
))[[+
1
n
[[
n1

i=0
A
i
(f
n
0
)[[ <
1
n
n1

i=0

2
+

2
, n n
1

1
n
n1

i=0
A
i
(f)
n+
0. Para f Ran(A I) denamos P(f) := 0.
Note que pela unicidade do limite temos que ker(AI) Ran(A I) = 0, repetindo as
contas anteriores para A

teremos que ker(A

I) Ran(A

I) = 0. Para nalizar a
demonstrac ao basta mostrar que E = ker(AI)Ran(A I). Sendo assim, suponha por
absurdo que E ,= ker(AI)+Ran(A I), logo existe 0 ,= (ker(AI)+Ran(A I))

pela proposic ao 1.15. Assim 0 ,= ker(A I)

Ran(A I)


ker(A

I)
Ran(A I)

Ran(A

I)ker(A

I), absurdo. A primeira inclusao decorre do lema


2.1 e a segunda decorre do lema 2.2 e da proposic ao 1.17.
Corolario 2.4. Seja E um espaco reexivo, A L(E) e [[A[[
op
1. Entao:
(i) E = ker(A I) Ran(A I);
(ii) f E, f Ran(A I)
1
n
n1

i=0
A
i
(f) 0.
(iii) f E, f ker(A I)
1
n
n1

i=0
A
i
(f) f.
Prova. Decorre da demonstracao do teorema anterior.
A pr oxima proposicao demonstra que o resultado apresentado no teorema ante-
rior continua v alido para contrac oes entre espacos normados, mesmo sem a hipotese da
reexividade.
Proposicao 2.5. Seja E um espaco normado, A L(E) e [[A[[
op
< 1. Entao para todo
f E, vale que
1
n
n1

i=0
A
i
(f)
n+
0,
1
n
n1

i=0
A
i
||||
op

n+
0 e ker(A I) = 0.
Prova. Dado f E:
1
n
[[
n1

i=0
A
i
[[
1
n
n1

i=0
[[A
i
[[
1
n
n1

i=0
[[A[[
i
op
[[f[[
1
n
+

i=0
[[A[[
i
op
[[f[[
1
n
[[A[[
op
[[f[[
1 [[A[[
op
0.
Notemos que a convergencia e uniforme na esfera unitario, logo,
1
n
n1

i=0
A
i
||||
op
0. Pela
Teorema de John von Neumann 14
demonstrac ao do teorema sabemos que f ker(AI)
1
n
n1

i=0
A
i
(f) f, logo f = 0.
Em geral substituir a hip otese de contra cao fraca presente no teorema pela
hip otese do espectro do operador pertencer a esfera unitario n ao garante a convergencia
para todo elemento do espaco, vide o pr oximo contra-exemplo.
Contra-exemplo 2.6. Seja E = IR
2
munido do produto interno canonico, A um oper-
ador sobre IR
2
cuja matriz associada e
_
1 1
0 1
_
, A tera como autovalor = 1, note
que dado v = (v
1
, v
2
) teremos A
i
(v) = (v
1
+ i v
2
, v
2
), i IN e assim
1
n
n1

i=0
A
i
(v) =
(v
1
+

n1
i=0
i v
2
n
, v
2
), ou seja, v
2
,= 0,
1
n
n1

i=0
A
i
(v) nao converge em IR
2
.
O proximo corol ario e a versao original do teorema de von Neumann.
Corolario 2.7. Seja H um espaco de Hilbert, A L(H) e [[A[[
op
1. Entao, para todo
f H, vale que
1
n
n1

i=0
A
i
(f)
n+
P(f), tal que P(f) e a projecao ortogonal de f sobre
ker(A I).
Prova. Como todo espaco de Hilbert e reexivo, basta mostrarmos que a projec ao e
ortogonal. Como

ker(A

I) = Ran(A I), e por causa do teorema da projecao, e


suciente mostrar que ker(A

I) = ker(A I). Sendo assim, dado f ker(A I);


A

f f, A

f f) = A

f, A

f) A

f, f) f, A

f) +f, f) =
A

f, A

f) f, Af) f, A

f) +f, f) = A

f, A

f) f, Af f) f, A

f) =
A

f, A

f) f, A

f) [[f[[
2
[[f[[
2
= 0,
note que a desigualdade foi obtida via Cauchy-Schwartz e com papel determinante do fato
do operador ter norma menor ou igual a 1. Para mostrar a outra inclusao basta tomarmos
f ker(A

I) e repetirmos as contas anteriores.


O pr oximo corolario nos mostra que e possvel substituir a hipotese de contrac ao
fraca do teorema por uma uniformidade dos iterados.
Corolario 2.8. Seja E um espaco reexivo, A L(E) e [[A
n
[[
op
c, n IN. Entao,
para todo f E, vale que
1
n
n1

i=0
A
i
(f)
n+
P(f), onde P(f) e uma projecao de f sobre
ker(A I).
Teorema de John von Neumann 15
Prova. Note que, com as hip oteses atuais, se mostrarmos a convergencia sobre os ele-
mentos do Ran(A I) o resto da demonstrac ao segue identica ` a do teorema anterior.
Sendo assim, se f Ran(AI) entao existe g E; Ag g = f. Por induc ao vemos que
n1

i=0
A
i
(f) = A
n
(g) g, n IN. Logo:
[[
1
n
n1

i=0
A
i
(f)[[ =
1
n
[[A
n
(g) g[[
1
n
([[A
n
(g)[[ +[[g[[)
c + 1
n
[[g[[
1
n
n1

i=0
A
i
(f)
n+
0.

Com as hip oteses do corolario anterior, se supusermos adicionalmente que E e um


espaco de Hilbert em geral a projec ao n ao sera ortogonal, vide o pr oximo contra-exemplo.
Contra-exemplo 2.9. Seja E = IR
2
munido do produto interno canonico, A um oper-
ador sobre IR
2
cuja matriz associada e
_
1 +
1
2
1
1
2
0
_
, A tera como autovalores
1
= 1 e

2
=
1
2
. Logo, usando diagonaliza cao, vemos que existe c > 0 tal que [[A
n
[[
op
c, n IN.
Note que (2, 1) ker(A I), (1, 1) ker(A
1
2
I) e
1
n
n1

i=0
A
i
((1, 1)) (0, 0), no entanto
(1, 1), (2, 1)) , = 0.
Captulo 3
Teorema de von Neumann em L
1
Nesse momento nos voltamos para a generaliza cao do teorema de von Neumann
obtida no captulo anterior, de forma a discutir a sua abrangencia no contexto de Teoria
da Medida. Pela proposic ao A.23 sabemos que L
p
(), 1 < p < , e reexivo, logo tais
espacos sao contemplados pelo teorema 2.3. A proxima proposic ao nos d a condic oes em
que o teorema de von Neumann vale para o espaco L
1
(). A ideia e que, sob hip oteses
adicionais, e possvel aproximar as medias de elementos do espaco L
1
() pelas medias de
elementos de um espa co L
p
(), 1 < p < .
Proposicao 3.1. Seja A : L
1
() L
1
(), com medida nita, A linear e contnua e
[[A[[
op
1. Se para algum 1 < p < , A
L
p
()
: L
p
() L
p
() e um operador lin-
ear e contnuo com [[A
L
p
()
[[
op
1 entao para todo f L
1
() e para toda sequencia
(f
k
) : IN L
p
() obtida pelo teorema de densidade em L
1
(), vale:
i)
1
n
n1

i=0
A
i
(f)
L
1
g ker(A I);
ii) P(f
k
)
L
1
g, onde P e a projecao obtida no teorema 2.3 para o espaco L
p
;
iii) L
1
= ker(A I) Ran(A I)
1
.
Prova. i) Seja f L
1
(), pela proposic ao A.25 sabemos que (f
k
) : IN L
p
() tal
que f
k
L
1
()
f. Dado > 0, l IN; [[f f
r
[[
1
<

3
, r l. Pelo teorema 2.3 sabemos
que
1
n
n1

i=0
A
i
(f
l
)
L
p
P(f
l
), logo e de Cauchy, assim n
0
IN tal que n, m n
0
temos
[[
1
n
n1

i=0
A
i
(f
l
)
1
m
m1

i=0
A
i
(f
l
)[[
p
<

3
q
_
(X)
,
1
p
+
1
q
= 1. Logo n, m n
0
;
[[
1
n
n1

i=0
A
i
(f)
1
m
m1

i=0
A
i
(f)[[
1
[[
1
n
n1

i=0
A
i
(f)
1
n
n1

i=0
A
i
(f
l
)[[
1
+
16
Teorema de von Neumann em L
1
17
[[
1
m
m1

i=0
A
i
(f)
1
m
m1

i=0
A
i
(f
l
)[[
1
+ [[
1
n
n1

i=0
A
i
(f
l
)
1
m
m1

i=0
A
i
(f
l
)[[
1

[[
1
n
n1

i=0
A
i
(f)
1
n
n1

i=0
A
i
(f
l
)[[
1
+ [[
1
m
m1

i=0
A
i
(f)
1
m
m1

i=0
A
i
(f
l
)[[
1
+
q
_
(X) [[
1
n
n1

i=0
A
i
(f
l
)
1
m
m1

i=0
A
i
(f
l
)[[
p
<
1
n
n1

i=0
[[f f
l
[[
1
+
1
m
m1

i=0
[[f f
l
[[
1
+
q
_
(X)

3
q
_
(X)
<
1
n
n1

i=0

3
+
1
m
m1

i=0

3
+

3
.
Decorre entao que (
1
n
n1

i=0
A
i
(f))
n1
e uma sequencia de Cauchy em L
1
(). Como L
1
() e
Banach, temos que a sequencia converge. Seja g := lim
n+
1
n
n1

i=0
A
i
(f), ent ao (AI)(g) =
lim
n+
(AI)
1
n
n1

i=0
A
i
(f) = lim
n+

1
n
n1

i=0
A
i
(f)
f
n
+
A
n
(f)
n
lim
n+
1
n
n1

i=0
A
i
(f) = 0
g ker(A I).
ii) Note inicialmente que pela desigualdade existente entre [[ [[
1
e [[ [[
p
teremos
que
1
n
n1

i=0
A
i
(f
k
)
L
1

n+
P(f
k
), k IN. Pela demonstra cao do item i) sabemos que dado
> 0, l IN tal que n IN e r l, [[
1
n
n1

i=0
A
i
(f)
1
n
n1

i=0
A
i
(f
r
)[[
1
< [[gP(f
r
)[[
1

, r l, ou seja, P(f
k
)
L
1
g.
iii) Devido ao teorema 2.3 sabemos que f
k
= f
k,1
+f
k,2
, onde f
k,1
ker(A
L
p
()
I)
e f
k,2
Ran(A
L
p
()
I)
p
, k IN. Como ker(A
L
p
()
) ker(AI), Ran(A
L
p
()
I)
p

Ran(A I)
1
e ker(A I), Ran(A I)
1
s ao fechados em L
1
; para mostrar que L
1
=
ker(A I) Ran(A I)
1
basta mostrarmos que (f
k,1
) e (f
k,2
) convergem em L
1
. Sendo
assim, como P(f
k
) = P(f
k,1
+ f
k,2
) = P(f
k,1
) + P(f
k,2
) = f
k,1
. Pelo item ii) temos que
(f
k,1
) converge em L
1
e por conseguinte (f
k,2
) converge em L
1
.
Teorema de von Neumann em L
1
18
3.1 Operador de Koopman
Nesta sec ao discutiremos acerca do operador de Koopman, j a citado na introduc ao
do texto.
Proposicao 3.2. Seja (X, /, ) um espaco de medida positiva, T : X X uma trans-
formacao /-mensuravel com (A) = 0 (T
1
(A)) = 0. Entao:
i) f L

f T L

;
ii) Seja U
T
: L


ffT
L

, entao U
T
e contracao fraca.
Prova. i) Seja f L

c > 0 com (A) = 0 e [f(x)[ c, x A


c
; temos que
(T
1
(A)) = 0 e x (T
1
(A))
c
, [f T(x)[ c f T L

.
ii) Por i) U
T
est a bem denido e pela demonstra cao de i) [[f T[[

[[f[[

, logo
U
T
e contra cao fraca.
Proposicao 3.3. Seja (X, /, ) um espaco de medida positiva, T : X X uma trans-
formacao /-mensuravel, T preservando , e 1 p < . Entao:
i) f L
p
f T L
p
;
ii) Seja U
T
: L
p

ffT
L
p
, entao [[U
T
[[
op
= 1.
Prova. i) Como e T-invariante, medida-imagem de e a propria . Seja f L
p

_
X
[f[
p
d < +, pela proposic ao sobre mudanca de variaveis (proposic ao A.15) temos
que
_
X
[f T[
p
d =
_
X
[f[
p
d < + f T L
p
.
ii) Por i) U
T
est a bem denido. Pela demonstrac ao de i) vemos que [[f[[
p
=
[[f T[[
p
, logo [[U
T
[[
op
= 1.
U
T
: L
p
L
p
, 1 p , e denominado operador de Koopman em relac ao T
sobre o espaco L
p
. Quando T preserva e U
T
tem como domnio o espaco L
1
, vemos pela
proposic ao anterior que o operador de Koopman satisfaz as hipoteses da proposicao 3.1.
Proposicao 3.4. Seja (X, /, ) um espaco de medida positiva nita, T : X X uma
transformacao /-mensuravel, T preservando . Entao para todo f L
p
, 1 p < :
Teorema de von Neumann em L
1
19
i)
1
n
n1

i=0
f T
i
L
p
g L
p
;
ii) g T = g;
iii)
_
X
gd =
_
X
fd.
Prova. i) e ii). Se 1 < p < , aplicando o teorema 2.3 sabemos que
1
n
n1

i=0
f T
i
L
p
g
ker(U
T L
p I); logo g L
p
e g T = g. Se p = 1, aplicando a proposicao 3.1 tambem
obtemos que g L
p
e g T = g.
iii) Se f L
p
, como a medida e nita f L
1
. Logo,
_
X
gd = lim
n+
1
n
n1

i=0
_
X
f
T
i
d = lim
n+
1
n
n1

i=0
_
X
fd =
_
X
fd.
O resultado anterior e uma parte do importante teorema de Birkho. Na pr oxima
sec ao discutiremos acerca de um operador cujo adjunto e o operador de Koopman sobre
o espaco L

.
3.2 Operador de Perron-Frobenius
Seja (X, /, ) um espaco de medida positiva -nita e T : X X uma trans-
formac ao /-mensur avel (n ao necessariamente preservando a medida ) tal que (A) =
0 (T
1
(A)) = 0. Dado o operador de Koopman U
T
: L

o operador de
Perron-Frobenius em relac ao a T e o operador T : L
1
() L
1
() que tem como adjunto
U
T
, tal operador satisfaz a seguinte igualdade:
_
A
T(f)d =
_
T
1
(A)
fd, f L
1
() e
A /. Se denirmos
f
(A) :=
_
T
1
(A)
fd, A /; como (A) = 0 (T
1
(A)) = 0
teremos que
f
, logo pelo teorema de Radon-Nikodym g
f
L
1
() ( unica a menos
de um conjunto de medida nula) tal que
f
(A) =
_
A
g
f
d, A /; assim T(f) := g
f
. O
operador de Perron-Frobenius tem grande import ancia para Teoria Erg odica, pois, como
veremos na proxima proposic ao seus pontos xos (func oes nao-negativas) s ao densidades
de medidas, absolutamente contnuas em relac ao a , que s ao T-invariantes.
Proposicao 3.5. Se T(h) = h, h 0 e (A) :=
_
A
hd, A / entao e e
T-invariante.
Prova. Seja A / tal que (A) = 0, entao como h 0 teremos que (A) :=
_
A
hd = 0,
ou seja, . Seja B /, entao (B) :=
_
B
hd =
_
B
T(h)d =
_
T
1
(B)
hd =:
Teorema de von Neumann em L
1
20
(T
1
(B)), ou seja, e T-invariante.
Por outro lado, ao encontrarmos uma medida nita absolutamente contnua com
respeito a e T-invariante, encontraremos um ponto xo para o operador de Perron-
Frobenius, vide a proxima proposic ao.
Proposicao 3.6. Se
0
e uma medida nita absolutamente contnua com respeito a e
e T-invariante, entao T(
d
0
d
) =
d
0
d
.
Prova. Como
0
, pelo teorema de Radon-Nikodym, existe
d
0
d
L
1
, denamos

0
:=
d
0
d
. Devido a unicidade do teorema de Radon-Nikodym basta mostrarmos que

0
(A) =
_
A

0
d, A /, assim

0
(A) :=
_
T
1
(A)

0
d =:
0
(T
1
(A)) =
0
(A) :=
_
A

0
d.
Proposicao 3.7. i) T e operador linear;
ii) T e positivo;
iii) T e contracao fraca em relacao [[ [[
1
.
Prova. i) Seja A /, IK e f, g L
1
(). Devido a unicidade do teorema de
Radon-Nikodym basta mostrarmos que
f+g
(A) =
_
A
T(f) + T(g)d, sendo assim:

f+g
(A) :=
_
T
1
(A)
f +gd =
_
T
1
(A)
fd+
_
T
1
(A)
gd =
_
A
T(f)d+
_
A
T(g)d =
_
A
T(f) +T(g)d.
ii) Seja A /, f 0, logo
_
A
T(f)d =
_
T
1
(A)
fd 0. Suponha por absurdo
que T(f)(x) < 0, x B /, com (B) > 0, logo
_
B
T(f)d < 0, absurdo, assim
T(f) 0 em -q.t.p..
iii) Seja f L
1
(). Note inicialmente que [T(f)[ = [T(f
+
f

)[ = [T(f
+
)
T(f

)[ [T(f
+
)[ + [T(f

)[ T(f
+
) + T(f

) T(f
+
+ f

) = T([f[). Assim,
[[T(f)[[
1
:=
_
X
[T(f)[d
_
X
T([f[)d
_
X
[f[d =: [[f[[
1
.
A priori, e difcil que as hip oteses da proposi cao 3.1 valham para o operador de
Perron-Frobenius; um exemplo que funciona e quando e T-invariante, mas nesse caso o
operador de Perron-Frobenius nao possui muita utilidade.
Apendice A
Teoria da medida
A.1 Nocoes basicas
Denicao A.1 (- algebra). Seja X um conjunto e / T(X), / , = . / e dita -algebra
se:
i) A / A
c
/;
ii) A
n
/, n IN

_
n=1
A
n
/.
Note que pelas condic oes i) e ii) decorre que uma - algebra tambeme fechada para
interse coes enumer aveis e diferencas pr oprias. A dupla (X, /) e dita espa co mensuravel
e os elementos de / s ao chamados conjuntos mensur aveis.
Denicao A.2 (Medida). Uma medida num espaco mensuravel (X, /) e uma funcao
: / IR ou C, onde IR := IR +, que satisfaz:
i) () = 0;
ii) (

_
n=1
A
n
) =

n=1
(A
n
), para quaisquer A
n
/ disjuntos dois-a-dois.
A tripla (X, /, ) e chamada espaco de medida. Note que pela denic ao de
medida estamos admitindo que existam conjuntos com medida innita, quando isso nao
ocorrer diremos que a medida e nita, quando s o atingir valores entre [0, +] ser a dita
medida positiva e quando s o atingir valores complexos ser a dita medida complexa.
Denicao A.3 (Aplicac ao mensur avel). Sejam (X, /), (X

, /

) dois espacos mensuraveis.


Dizemos que uma aplicacao T : X X

e //

-mensuravel (ou, no caso das -algebras


estarem subentendidas, dita mensuravel) se, para todo A

temos que T
1
(A

) /.
21
Teoria da medida 22
Denicao A.4 (Medida invariante). Seja (X, /, ) um espaco de medida e T : X X
uma aplicacao mensuravel. A medida e dita T-invariante se (T
1
(A)) = (A), A
/. Tambem e dito que T e -invariante ou que T preserva para expressar que e
T-invariante.
Denicao A.5 (-q.t.p.). Dizemos que uma propriedade P referente a pontos do espaco
de medida (X, /, ) valida em -q.t.p. se existe um conjunto A / tal que (XA) = 0
e a propriedade P valida em todos os pontos de A.
Denicao A.6 (Funcao mensuravel). Dada uma -algebra / sobre o conjunto X, uma
funcao f : X [, +] e /-mensuravel se a pre-imagem de qualquer intervalo per-
tence a /.
Proposicao A.7. Se f : X [0, +] e /-mensuravel, entao existem A
1
, . . . , A
n
, . . . /
(nao disjuntos em geral) e
1
, . . . ,
n
, . . . 0 n umeros reais tais que f =

n=1

A
n
.
Prova. Veja [Castro], p agina 48.
A proposicao anterior nos permite denir integral sobre funcoes mensur aveis.
Denicao A.8 (Integral de func ao mensur avel). Seja f : X [0, +] uma funcao
mensuravel e (X, /, ) um espaco de medida positiva. Da, denimos a integral de f por
_
X
fd :=

n=1

n
(A
n
), onde f =

n=1

A
n
(vide proposicao anterior).
Denicao A.9. Seja (X, /, ) um espaco de medida positiva. Dada f : X [, +],
f mensuravel, dizemos que f e integravel se
_
X
f
+
d e
_
X
f
+
d sao nitas, onde f
+
:=
maxf, 0 e f

:= maxf, 0 = minf, 0. Nesse caso, podemos denir a integral:


_
X
fd :=
_
X
f
+
d
_
X
f

d.
Denicao A.10. Seja (X, /, ) um espaco de medida positiva e f : X C, f(x) =
f
1
(x) +if
2
(x). Dizemos que f e mensuravel se f
1
e f
2
sao mensuraveis. Dizemos que f e
integravel se f
1
e f
2
sao integraveis e, nesse caso, denimos
_
X
fd :=
_
X
f
1
d+
_
X
f
2
d.
Proposicao A.11 (Linearidade da integral e positividade). Seja (X, /, ) um espaco de
medida positiva, f, g : X IK e IK. Entao
_
X
f + gd =
_
X
fd +
_
X
gd. Se
f g entao
_
X
fd
_
X
gd.
Teoria da medida 23
Prova. Veja [Castro], p agina 50.
Proposicao A.12. Seja (X, /, ) um espaco de medida positiva, f : X IK uma funcao
mensuravel. Entao f e integravel [f[ e integravel.
Prova. Note inicialmente que [f[ = f
+
+f

, assim
_
X
[f[d =
_
X
f
+
d+
_
X
f

d. Dessa
forma vemos que f e integr avel [f[ e integr avel.
Proposicao A.13. Seja (X, /, ) um espaco de medida positiva, f, g : X [0, +)
funcoes mensuraveis. Entao:
_
X
[f g[d = 0 f = g em -q.t.p..
Prova. Veja [Castro], p agina 84.
Denicao A.14 (Medida-imagem). Seja (X, /, ) um espaco de medida positiva, (X

, /

)
um espaco mensuravel e T : X X

um aplicacao mensuravel. A medida-imagem (ou


medida transportada) de por T e a funcao T
1
=

: /

[0, +] denida por

(A

) := (T
1
(A

)).
A medida-imagem dene uma medida positiva. O leitor pode encontrar detalhes
em [Castro], p agina 135.
Proposicao A.15 (Mudanca de vari aveis). Seja (X, /, ) um espaco de medida, (X

, /

)
um espaco mensuravel e T : X X

uma aplicacao mensuravel. Considere = T


1
a medida-imagem de por T. Entao:
i) Se g : X

[0, +] e uma funcao /

-mensuravel, entao g T e /-mensuravel


e
_
X

gd

=
_
X
g Td;
ii) g : X

[0, +] e

-integravel gT e -integravel. Nesse caso,


_
X

gd

=
_
X
g Td.
Prova. Veja [Castro], p agina 135.
Denicao A.16 (Medida absolutamente contnua). Seja (X, /, ) um espaco de medida
e uma medida sobre /. e dita absolutamente contnua com respeito a (Notacao:
) se para todo A / com (A) = 0, temos (A) = 0.
Teoria da medida 24
Denicao A.17 (Medida -nita). Seja (X, /, ) um espaco de medida positiva. e
dita -nita se existem A
n
/, n IN tais que (A
n
) < +, n IN e

n=1
A
n
= X.
Denicao A.18 (Integral indenida). Seja (X, /, ) um espaco de medida positiva,
f : X IK integravel, a integral indenida de f em relacao a e a funcao : / IK
dada por (A) =
_
A
fd :=
_
X

A
fd.
A integral indenida tambem sera uma medida, essa medida ser a absolutamente
contnua em relacao a .
A proxima proposic ao ocupa um lugar de destaque em Teoria da Medida, ele
relaciona medidas, que s ao func oes de subconjuntos de X, com fun coes denidas em X.
As hipoteses apresentadas nao serao as minimais, porem sucientes para o objetivo do
texto.
Proposicao A.19 (Teorema de Radon-Nikodym). Seja (X, /, ) um espaco de medida
-nita e : / IK absolutamente contnua com respeito a . Entao existe uma funcao
mensuravel f : X IK integravel tal que: (A) =
_
A
fd, A /. Alem disso, quaisquer
funcoes que satisfacam tais condi coes coincidem em -q.t.p..
Prova. Veja [Castro], p agina 67.
A fun cao f obtida no teorema de Radon-Nikodym e chamada de derivada de
Radon-Nikodym (ou densidade) de em relac ao a , e denotada por
d
d
.
A.2 Os espacos L
p
Denicao A.20 (Os espa cos L
p
(), 1 p < +). Seja (X, /, ) um espaco de medida.
Dados os espacos L
p
() := f : X IK, f funcao mensuravel tal que
_
X
[f[
p
d < +,
denimos os espacos L
p
(), 1 p < +, como L
p
() := L
p
()/ , onde f g f = g
em q.t.p..
Podemos dotar os espacos L
p
() de estrutura de espaco vetorial com as operac oes
[f] + [g] := [f + g] e [f] := [ f] (essas denicoes nao dependem do representante
da classe de equivalencia). Podemos ainda denir uma func ao [[ [[
p
: L
p
[0, +] por
[[[f][[
p
:=
p
_
_
X
[f[
p
d.
Teoria da medida 25
Denicao A.21 (Funcao essencialmente limitada e espaco L

()). Seja (X, /, ) um


espaco de medida. Uma funcao f : X IK e dita essencialmente limitada se c > 0 tal
que [f(x)[ c em -q.t.p.. Designamos L

() := f : X IK, f funcao mensuravel


essencialmente limitada, denindo o espaco L

() := L

()/ , onde f g f = g
em q.t.p..
A exemplo dos demais espacos L
p
(), dotamos L

() de uma estrutura de espaco


vetorial com as operacoes de soma e produto por escalar j a citadas, denimos ainda a
func ao [[ [[

: L

() [0, +) por [[[f][[

:= infc > 0, [f(x)[ c em -q.t.p..


Frequentemente, por abuso de linguagem, f L
p
(), 1 p , e visto como
elemento do espa co L
p
(), quando na realidade o que esta sendo dito e que estamos
tomando qualquer funcao da classe determinada por f.
Proposicao A.22. (L
p
(), IK, +, , [[ [[
p
), 1 p , e um espaco de Banach.
Prova. Veja [Castro], p aginas 92 e 94.
A proxima proposic ao decorre do teorema da dualidade.
Proposicao A.23. (L
p
(), IK, +, , [[ [[
p
), 1 < p < , e um espaco reexivo.
Prova. Veja [Castro], p agina 101.
A proxima proposic ao e um corol ario da desigualdade de Holder.
Proposicao A.24. Se f L
p
() e g L
q
(), 1 p +, com
1
p
+
1
q
= 1 temos
[[f g[[
1
[[f[[
p
[[g[[
q
.
Prova. Veja [Castro], p agina 91.
Decorre dessa proposic ao que [[f[[
1
[[f[[
p

q
_
(X), e se supusermos que a
medida e nita vemos que [[ [[
1
e acotada por k [[ [[
p
, 0 k < +.
Proposicao A.25 (Densidade das func oes simples). Seja (X, /, ) um espaco de medida
positiva, /
0
:= A /; (A) < +, H := h : X IK; h =
k

n=1

A
n
, A
1
, . . . , A
k

/
0
, A
n
dois a dois disjuntos . Entao H
p
= L
p
(), 1 p < . (H
p
indica o fecho de H
em relacao a topologia gerada por [[ [[
p
).
Prova. Veja [Castro], p aginas 96 e 99.
Teoria da medida 26
Proposicao A.26. Seja (X, /, ) um espaco de medida positiva, se e nita entao
L

() . . . L
p
() . . . L
r
() . . . L
1
().
Prova. Veja [Castro], p agina 104.
Referencias
[Castro] CASTRO Jr., A. A. Curso de Teoria da Medida. 2. ed. Rio de Janeiro: IMPA,
2008. 193 p. (Projeto Euclides)
[Dunford & Schwartz] DUNFORD, Nelson; SCHWARTZ, Jacob T. Linear Operators:
General Theory, vol. 1. New York: Wiley-Interscience, 1963. (Pure and Applied Math-
ematics, a Series of Texts and Monografhs, 7)
[Jech] JECH, Thomas J. Set Theory. 3rd ed, rev. and expanded. New York: Academic
Press, 2002. 769 p. (Pure and Applied Mathematics, a Series of Monographs and
Textbooks, 79)
[Ma ne] MA

N

E, Ricardo. Teoria Ergodica. Rio de Janeiro: IMPA, 1983. 388 p. (Projeto


Euclides)
[Reed & Simon] REED, Michael; SIMON, Barry. Methods of Modern Mathematical
Physics: Functional Analysis, vol. 1. rev. and enlarged ed. New York: Academic
Press, 1972.
[Rudin] RUDIN, Walter. Functional Analysis. New York: McGraw-Hill, 1973. 397 p.
(McGraw-Hill Series in Higher Mathematics)
[Tausk] TAUSK, Daniel V. Notas para o Curso de Medida e Integracao. Sao Paulo: IME-
USP. Disponvel em: <http://www.ime.usp.br/tausk/texts/NotasMedida.pdf>.
Acesso em: 16 dez. 2009.
27