Escolar Documentos
Profissional Documentos
Cultura Documentos
Teoria Ergódica PDF
Teoria Ergódica PDF
AF
Teoria Ergodica
Um Curso Introdutorio
DR
AF
T
T
Conte
udo
AF
0 Elementos de Teoria da Medida
0.1 Espacos mensur
0.3 Funco
es mensur
0.4 Integraca
aveis . . . . . . . . . . .
0.2 Espacos de medida . . . . . . . . . . . .
0.2.1 Medida de Lebesgue . . . . . . .
0.2.2 Medida produto . . . . . . . . .
aveis . . . . . . . . . . .
o em espacos de medida . . . .
0.5 Teoremas de convergencia . . . . . . . .
0.6 Derivaca
o de medidas . . . . . . . . . .
0.7 Os espacos Lp () . . . . . . . . . . . . .
0.7.1 Lp () com 1 p < . . . . . .
0.7.2 Produto interno em L2 () . . . .
0.7.3 Funco es essencialmente limitadas
0.7.4 Convexidade . . . . . . . . . . .
0.8 Medidas em espacos metricos . . . . . .
0.9 Exerccios . . . . . . . . . . . . . . . . .
27
1.1 Medidas Invariantes . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.2 Teorema de recorrencia de Poincare . . . . . . . . . . . . . . . . . 28
DR
1.2.1 Versao mensur avel . . . . . . . . . . . . . . . . . . . . . . 29
1.2.2 Teorema de Kac . . . . . . . . . . . . . . . . . . . . . . . 30
1.2.3 Versao topologica . . . . . . . . . . . . . . . . . . . . . . . 31
1.3 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.3.1 Expans ao decimal . . . . . . . . . . . . . . . . . . . . . . 32
1.3.2 Transformaca o de Gauss . . . . . . . . . . . . . . . . . . . 34
1.3.3 Rotacoes no crculo . . . . . . . . . . . . . . . . . . . . . . 38
1.3.4 Rotacoes em toros . . . . . . . . . . . . . . . . . . . . . . 40
1.3.5 Transformaco es conservativas . . . . . . . . . . . . . . . . 41
1.3.6 Fluxos conservativos . . . . . . . . . . . . . . . . . . . . . 41
1.4 Transformaco
es induzidas . . . . . . . . . . . . . . . . . . . . . . 43
1.4.1 Transformaca o de primeiro retorno . . . . . . . . . . . . . 43
1.4.2 Transformaco es induzidas . . . . . . . . . . . . . . . . . . 44
1.4.3 Torres de Kakutani-Rokhlin . . . . . . . . . . . . . . . . . 45
iii
iv
CONTEUDO
1.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
T
2 Exist
encia de Medidas Invariantes 49
2.1 Alguns exemplos simples . . . . . . . . . . . . . . . . . . . . . . . 49
2.2 A topologia fraca . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.2.1 Definicao e propriedades da topologia fraca . . . . . . . . 50
2.2.2 Teorema Portmanteau . . . . . . . . . . . . . . . . . . . . 51
2.2.3 A topologia fraca e metriz avel . . . . . . . . . . . . . . . 53
2.2.4 Compacidade de M1 (M ) . . . . . . . . . . . . . . . . . . 55
2.2.5 Dualidade e topologias fracas . . . . . . . . . . . . . . . . 57
2.2.6 Teorema de Prohorov . . . . . . . . . . . . . . . . . . . . 58
AF
2.3 Demonstraca o do teorema de existencia . . . . . . . . . . . . . . 59
2.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.4.1 Medidas em produtos semi-diretos . . . . . . . . . . . . . 61
2.4.2 Fluxos suspens ao . . . . . . . . . . . . . . . . . . . . . . . 62
2.4.3 Transformaco es de Poincare . . . . . . . . . . . . . . . . . 64
2.4.4 Extens ao natural . . . . . . . . . . . . . . . . . . . . . . . 66
2.5 Operador de Koopman . . . . . . . . . . . . . . . . . . . . . . . . 69
2.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4 Ergodicidade 95
4.1 Sistemas erg
odicos . . . . . . . . . . . . . . . . . . . . . . . . . . 95
4.1.1 Conjuntos e funcoes invariantes . . . . . . . . . . . . . . . 96
4.1.2 Caracterizaca
o espectral . . . . . . . . . . . . . . . . . . . 97
4.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
4.2.1 Rotacoes em toros . . . . . . . . . . . . . . . . . . . . . . 100
4.2.2 Expans ao decimal . . . . . . . . . . . . . . . . . . . . . . 101
4.2.3 Deslocamentos de Bernoulli . . . . . . . . . . . . . . . . . 103
4.2.4 Transformacao de Gauss . . . . . . . . . . . . . . . . . . . 107
CONTEUDO v
T
4.2.6 Argumento de Hopf . . . . . . . . . . . . . . . . . . . . . 111
4.3 Coment arios sobre sistemas conservativos . . . . . . . . . . . . . 115
4.3.1 Teoria de Kolmogorov-Arnold-Moser . . . . . . . . . . . . 115
4.3.2 Bilhares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.3.3 Fluxos geodesicos . . . . . . . . . . . . . . . . . . . . . . . 118
4.3.4 Sistemas parcialmente hiperb olicos . . . . . . . . . . . . . 119
4.4 Propriedades de medidas erg odicas . . . . . . . . . . . . . . . . . 119
4.5 Teorema da decomposica o ergodica . . . . . . . . . . . . . . . . . 122
4.5.1 Enunciado do teorema . . . . . . . . . . . . . . . . . . . . 122
4.5.2 Desintegraca o de uma medida . . . . . . . . . . . . . . . . 123
AF
4.5.3 Partico es mensur aveis . . . . . . . . . . . . . . . . . . . . 125
4.5.4 Demonstraca o do teorema . . . . . . . . . . . . . . . . . . 126
4.6 Teorema da desintegraca o de Rokhlin . . . . . . . . . . . . . . . 128
4.6.1 Esperancas condicionais . . . . . . . . . . . . . . . . . . . 128
4.6.2 Construca o das medidas condicionais . . . . . . . . . . . . 130
4.6.3 Conclus ao da demonstraca o . . . . . . . . . . . . . . . . . 133
4.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
6 Correlaco
es 161
6.1 Sistemas misturadores . . . . . . . . . . . . . . . . . . . . . . . . 162
6.1.1 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . 162
6.1.2 Mistura fraca . . . . . . . . . . . . . . . . . . . . . . . . . 165
6.1.3 Caracterizaca
o espectral . . . . . . . . . . . . . . . . . . . 167
6.2 Deslocamentos de Markov . . . . . . . . . . . . . . . . . . . . . . 169
6.2.1 Ergodicidade . . . . . . . . . . . . . . . . . . . . . . . . . 173
6.2.2 Mistura . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
6.3 Outros exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
6.3.1 Endomorfismos de Tn . . . . . . . . . . . . . . . . . . . . 177
6.3.2 Interc
ambios de intervalos . . . . . . . . . . . . . . . . . . 178
vi
CONTEUDO
T
6.4 Decaimento de correlaco es . . . . . . . . . . . . . . . . . . . . . . 181
6.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
AF
7.4 Espectro de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . 198
7.4.1 Exemplos e propriedades . . . . . . . . . . . . . . . . . . 198
7.4.2 Deslocamentos gaussianos . . . . . . . . . . . . . . . . . . 199
7.5 Sistemas de Kolmogorov . . . . . . . . . . . . . . . . . . . . . . . 199
7.5.1 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . 199
7.6 Transformacoes expansoras do intervalo . . . . . . . . . . . . . . 199
7.6.1 Exatid ao . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
7.7 Espacos de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . 199
7.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
8 Entropia 201
8.1 Definica
o de entropia . . . . . . . . . . . . . . . . . . . . . . . . . 202
8.1.1 Entropia em Teoria da Informaca o . . . . . . . . . . . . . 202
8.1.2 Entropia de uma partica o . . . . . . . . . . . . . . . . . . 203
8.1.3 Entropia de um sistema din amico . . . . . . . . . . . . . . 208
8.2 Teorema de Kolmogorov-Sinai . . . . . . . . . . . . . . . . . . . . 211
8.2.1 Particoes geradoras . . . . . . . . . . . . . . . . . . . . . . 213
8.3 Entropia local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215
8.3.1 Prova do teorema de Shannon-McMillan-Breiman . . . . . 216
8.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
8.4.1 Deslocamentos de Markov . . . . . . . . . . . . . . . . . . 220
DR
8.4.2 Transformaca o de Gauss . . . . . . . . . . . . . . . . . . . 221
8.4.3 Transformaco es expansoras do intervalo . . . . . . . . . . 223
8.4.4 Automorfismos do toro . . . . . . . . . . . . . . . . . . . . 223
8.5 A entropia como invariante . . . . . . . . . . . . . . . . . . . . . 223
8.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
T
Captulo 0
Elementos de Teoria da
AF
Medida
0.1
a noca
Espa
Uma noca
cos mensur
o b
aveis
es e resultados b
teis para o que segue. Nossa intenca
XB
A B implica Ac B
A B e B B implica A B B.
1
2 CAPITULO 0. ELEMENTOS DE TEORIA DA MEDIDA
T
tambem for fechada para as uni
oes enumer
aveis:
[
Aj B para j = 1, 2, . . . implica Aj B.
j=1
f
E acil ver que uma - algebra B tambem e fechada para as interseco es enu-
c c
mer ao
aveis: de fato, se Aj B para j = 1, 2, . . . , n, . . . ent A
j=1 j =
j=1 Aj
tambem esta em B.
Defini ao 0.3. Um espaco mensur
c avel e uma dupla (X, B) onde X e um con-
junto e B e uma -
algebra de subconjuntos de X. Os elementos de B s ao
AF
chamados conjuntos mensur aveis.
Em seguida apresentamos algumas construco
es de -
algebras.
Exemplo 0.4. Seja X um conjunto qualquer.
1. Denotemos por 2X a famlia de todos os subconjuntos de X. Ent
ao B = 2X
e claramente uma -
algebra.
2. B = {, X} e tambem uma -
algebra.
Note que se B e uma a
lgebra de X entao {, X} B 2X . Portanto {, X}
X
e a menor a
lgebra e 2 e a maior a lgebra de X.
Proposi ao 0.5. Considere uma famlia n
c ao-vazia qualquer {Bi : i I} de -
a
lgebras (I e um conjunto qualquer, que serve apenas para indexar os elementos
da famlia). Ent o B = iI Bi e tambem uma -
ao a interseca algebra.
Agora, dado um conjunto qualquer E de subconjuntos de X, podemos aplicar
a Proposica o 0.5 a
` famlia de todas as -algebras que contem E. Note que esta
famlia e n
ao vazia, uma vez que contem a - algebra 2X , pelo menos. De acordo
com a observaca o anterior, a interseca
o de todas estas -algebras e tambem uma
algebra, e e claro que contem E. Alem disso, do modo como e construda, ela
-
est
a contida em todas as - algebras que contem E. Portanto e a menor - algebra
DR
que contem E. Isto conduz a ` seguinte definica
o:
Defini ao 0.6. A -
c algebra gerada por uma famlia E de subconjuntos de X e
a menor -algebra (E) que contem a famlia E, ou seja, e a interseca
o de todas
as -algebras que contem E.
Lembremos que um espaco topol ogico e uma dupla (X, )) em que X e um
conjunto e T e uma famlia de subconjuntos de X fechada para as interseco es fi-
oes quaisquer. Essa famlia T e chamada topologia e os seus elementos
nitas e uni
s
ao chamados abertos de X. Neste contexto e natural considerar a construca o
que acabamos de descrever tomando E = . Isto nos conduz a ` seguinte noca
o:
Definicao 0.7. A -algebra de Borel de um espaco topol ogico e a -
algebra
( ) gerada pela topologica , isto e, a menor -
algebra que contem todos os
subconjuntos abertos. Neste caso, os conjuntos mensur aveis recebem o nome de
borelianos.
0.2. ESPAC
OS DE MEDIDA 3
T
subconjuntos abertos, tambem pertencem a ( ).
Um caso particular importante ocorre quando consideramos o espaco metrico
X = Rn munido com a dist ancia euclidiana. Os borelianos formam uma grande
gama de conjuntos que por definica o, inclui todos os subconjuntos abertos e
fechados, bem como todas as uni oes ou interseco
es de subconjuntos abertos ou
fechados. De fato, poderia ate pensar-se que todo subconjunto fosse boreliano,
mas isso n
ao e verdade. Um exemplo de subconjunto de R que n ao e boreliano
est
a construdo no Exerccio 0.6.
0.2 Espa
cos de medida
AF
Agora introduzimos o conceito de medida e analisamos algumas das suas proprie-
dades fundamentais. Em seguida apresentamos alguns resultados sobre constru-
ca
o de medidas. Finalmente, analisamos duas importantes classes de medidas:
medidas de Lebesgue em espacos euclideanos e medidas produto em espaco de
sequencias.
Defini
c
B [0, +] que satisfaz:
1. () = 0;
Neste u
S P
avel (X, B) e uma funca
ao 0.8. Uma medida num espaco mensur o :
1 se p A
p (A) =
0 se p / A.
DR
Esta medida p e usualmente designada medida de Dirac no ponto p.
Definiao 0.10. Diremos que uma medida e -finita se existir uma sequencia
c
de subconjuntos A1 , A2 , . . . de X satisfazendo (Ai ) < para todo i N e
[
X= Ai .
i=1
T
dois. Note que, em particular, toda medida e finitamente aditiva.
Em seguida apresentamos um resultado muito u til na construca
o de medidas.
Teorema 0.11 (Extens ao). Seja B0 uma algebra de subconjuntos de X e seja
0 : B0 [0, +] uma funca o -aditiva com () = 0 e (X) < . Ent ao
existe uma u nica medida definida na - algebra B gerada por B0 que e uma
extensao de 0 , isto e, para todo elemento B B0 temos que 0 (B) = (B).
O Teorema 0.11 se aplica com as mesmas conclus oes quando a medida 0 em
quest
ao e apenas -finita. Alem disso, se 0 e apenas finitamente aditiva ainda
assim existe uma medida que estende 0 a ` B. Porem, neste caso n ao podemos
AF
garantir que tal extens ao e u
nica.
Em geral, ao tentarmos mostrar que uma funca o definida numa - algebra
e uma medida, o mais difcil e verificar a -aditividade. O criterio mais usado
para esse efeito e expresso no seguinte resultado:
Teorema 0.12 (Continuidade no vazio). Seja B uma a lgebra de subconjuntos
de um conjunto X e seja : B [0, +) uma funca o finitamente aditiva com
(X) < . Ent ao e -aditiva se, e somente se,
n
\
lim ( Aj ) = 0 (1)
n
j=1
aveis A1 Aj com
para quaisquer conjuntos mensur j=1 Aj = .
T
dados subconjuntos A1 A2 em C, ent
ao n1 An C.
Teorema 0.15 (Classes mon otonas). A menor classe mon otona que contem
lgebra A coincide com a -
uma a algebra (A) gerada por A.
AF
Outro fato importante sobre -
algebras, que nos ser
autil mais tarde, afirma
que todo elemento B da -
algebra gerada por uma algebra e aproximado por al-
gum elemento B0 da a
lgebra, no sentido em que a medida da diferenca simetrica
BB0 = (B \ B0 ) (B0 \ B)
pode ser t
ao pequena quanto se queira.
T
de M , j
a que todo aberto pode ser escrito como uniao enumeravel de interva-
los abertos disjuntos dois-a-dois. Ent
ao, pelo Teorema 0.11, existe uma unica
probabilidade m definida em B que e uma extens ao de m0 . Chamamos m de
medida de Lebesgue em [0, 1].
Mais geralmente, definimos medida de Lebesgue m no cubo M = [0, 1]d
de qualquer dimens ao d 1 da seguinte maneira. Primeiramente, chamamos
angulo em M qualquer subconjunto da forma R = I1 Id onde os Ij
ret
s
ao intervalos, e definimos
AF
Em seguida, consideramos a a
essa -
algebra.
lgebra B0 dos subconjuntos de [0, 1]d da forma
B = R1 RN , onde R1 , . . . , RN s
definimos
ao ret
angulos disjuntos dois-a-dois, e
Cada cubo [m1 , m1 + 1) [md , md + 1) pode ser identificado com [0, 1)d
o Tm1 ,...,md (x) = x (m1 , . . . , md ) que envia o ponto
(m1 , m2 , . . . , md ) na origem. Isso nos permite definir uma medida mm1 ,m2 ,...,md
em C, dada por
mm1 ,m2 ,...,md (B) = m0 Tm1 ,...,md (B)
para todo o conjunto mensur
Note que m n
ao e uma medida finita, mas e uma medida -finita.
Exemplo 0.18 (Medida de volume no crculo). Chamamos crculo ao conjunto
S 1 dos numeros complexos com m odulo igual a 1. Considere a aplicaca
o sobre-
jetora : [0, 1] S 1 definida por (t) = e2it . Chamamos medida de Lebesgue
` medida definida por (B) = 2m( 1 (B)). Assim, por exemplo,
no crculo a
a medida de Lebesgue de um arco de crculo coincide com o seu comprimento.
Observe que com esta definica o, a medida de qualquer conjunto mensur avel
B e igual a ` medida da sua imagem R (B), onde R : S 1 S 1 denota a
rotaca
o de a ngulo 2. Na verdade, m odulo multiplicaca
o por um n umero
nica medida em S 1 que satisfaz esta condica
positivo, e a u o para todo (veja
o Exerccio 0.13).
0.2. ESPAC
OS DE MEDIDA 7
T
qualquer intervalo I, com extremos 0 a < b 1, defina
Z b
(I) = (x) dx.
a
AF
As propriedades b asicas da integral nos dizem que e finitamente aditiva.
Deixamos para o leitor a tarefa de mostrar que a medida e -aditiva na
a
lgebra formada pelas uni oes finitas de intervalos. Alem disso, () = 0 e
([0, 1]) < j
a que e contnua, portanto limitada. Com o auxlio do Teo-
rema 0.11 podemos estender para toda - algebra dos borelianos de [0, 1].
Observe que a medida que acabamos de construir tem a seguinte propri-
edade especial: se um conjunto A [0, 1] tem medida de Lebesgue zero entao
(A) = 0. Essa propriedade chama-se continuidade absoluta (com respeito a`
medida de Lebesgue) e sera estudada com mais detalhes na Secao 0.6.
Vamos agora exibir uma medida que, apesar de ser positiva em qualquer
aberto, n
ao e absolutamente contnua com respeito a
` medida de Lebesgue:
Exemplo 0.20. Considere uma enumeracao {r1 , r2 , . . . } do conjunto Q dos
n
umeros racionais. Defina por:
X 1
(A) = .
2i
ri A
Em particular, n
ao e absolutamente contnua com respeito a
` medida de Le-
besgue.
Este exemplo nos motiva a introduzir a definica
o de suporte de uma medida:
T
(n
ao-nula) em X. Ent
ao, o suporte supp() e n
ao-vazio.
e portanto
AF
X
(X) = (xX Ai(x) ) (Ai ) = 0.
i=1
T
consideramos a aplicaca
o definida na famlia dos cilindros por
n
Y
([m; Am , . . . , An ]) = i (Ai ). (6)
i=m
AF
i I.
Um caso particular importante da construca o anterior ocorre quando os
espacos (Xi , Bi , i ) s
ao todos iguais a um dado (X, C, ). Estes sistemas mode-
lam sequencias de experimentos aleat orios identicos em que o resultado de cada
experimento e independente dos demais. Sup oe-se que cada experimento toma
valores no conjunto X, com distribuica o de probabilidade igual a . Neste caso
a medida fica dada por
n
Y
([m; Am , . . . , An ]) = (Ai ). (7)
i=m
Ela e chamada medida de Bernoulli definida por . Observe que (7) significa
que a probabilidade de {xm Am , . . . , xn An } e o produto das probabilida-
des dos eventos xi Ai . Portanto, ela traduz a independencia dos sucessivos
experimentos.
No caso em que X = {1, . . . , d} e um conjunto finito, munido da -
algebra
2X , esta construca
o fica um pouco mais simples. Por exemplo, basta considerar
apenas cilindros elementares
onde cada Aj consiste de um u nico ponto aj . De fato, todo cilindro e uma uni
ao
DR
finita de cilindros elementares dois-a-dois. Alem disso, a relaca
o (7) pode ser
escrita
([m; am , . . . , an ]) = pam pan (9)
onde pa = ({a}) para cada a X.
0.3 Fun
co
es mensur
aveis
Funco
es mensur aveis tem um papel em Teoria da Medida semelhante ao das fun
c
oes contnuas em Topologia. De fato, assim como continuidade corresponde a `
ideia de que a famlia dos subconjuntos abertos e preservada, mensurabilidade
corresponde a` ideia de preservaca
o da famlia dos conjuntos mensur
aveis.
Para formalizarmos esta noca o, consideremos um espaco mensur avel qual-
quer (X, B) . Denotaremos por [, +] o conjunto R {, +}.
10 CAPITULO 0. ELEMENTOS DE TEORIA DA MEDIDA
Defini
cao 0.23. Uma funca avel se f 1 ((c, +])
o f : X [, +] e mensur
T
pertence a B para todo c R.
o f : X [, +] sempre
Este resultado garante que dada qualquer funca
AF
podemos munir X com uma - algebra relativamente a
` qual f seja mensur
avel.
No entanto, em geral estamos interessados em -algebras com propriedades
adicionais, por exemplo a -
algebra de Borel de um espaco topologico.
o XB e mensur
Observe que a funcca avel se, e somente se, B for um subconjunto
avel: de fato, XB1 (A) {, B, X \ B, X} para qualquer A R.
mensur
Entre as propriedades b
asicas das funco
es mensur
aveis temos:
T
constantes 1 , . . . , k R e conjuntos mensur aveis A1 , . . . , Ak B disjuntos
dois-a-dois tais que
Xk
s= k X Ak , (10)
j=1
onde XA e a funca
o caracterstica do conjunto A.
Note que toda funca
o simples e mensur
avel. Na direcao recproca, o pr
oximo
resultado afirma que toda funca o mensuravel e limite de alguma sequencia de
funco
es simples. Este fato ser
a importante na seca o seguinte.
ne
AF
Proposi ao 0.29. Seja f : X [, +] uma funca
c
Se f e limitada ent
Integra
Nesta seca
c
juntos mensur
o generaliza a noca
mente apresentada no C
para fazermos esta generalizaca
para muitas funco es uteis, por exemplo, para funco
0.4
ao-negativa ent
ao em espa
cos de medida
ao podemos tomar 0 s1 s2 f .
o a uma
o de integral de Riemann que e normal-
alculo ou num primeiro curso de An alise. A motivaca
o e que a integral de Riemann n ao est
o
a definida
es caractersticas de con-
aveis em geral (veja o Exemplo 0.34 abaixo). J
es mensur
o 0.27, e fechada para as principais operaco
a a integral de
aveis que, como vimos
es da An alise.
Ao longo desta seca o (X, B, ) ser
a sempre um espaco de medida. Vamos
definir a noca
o de integral de Lebesgue por etapas. O primeiro passo trata da
DR
integral de uma funca o simples:
P
Defini ao 0.30. Seja s = kj=1 k XAk uma funca
c o simples. Ent ao a integral
de s em relacao a
` medida e dada por:
Z k
X
s d = k (Ak ).
j=1
f
E acil verificar que esta definica
o e coerente: se duas combinacoes lineares de
funco
es caractersticas definem uma mesma funca o ent
ao os valores das integrais
obtidos a partir das duas combinaco es coincidem.
O pr oximo passo e definir integral de uma funca o mensur avel n
ao-negativa.
A ideia e definir a integral da funca
o como sendo o limite das integrais de funco es
simples que a aproximam, utilizando a Proposica o 0.29:
12 CAPITULO 0. ELEMENTOS DE TEORIA DA MEDIDA
T
Ent
ao Z Z
f d = lim sn d,
n
AF
f = f + f com
desde que alguma das integrais do lado direito seja finita (valem as convenco
es
usuais (+) a = + e a (+) = para todo a R).
onde XE e a funca
o caracterstica do conjunto E.
T
Consideremos a medida de probabilidade definida em 2X por
m
X
= p i xi onde xi e a medida delta de Dirac em xi .
i=1
P
Em outras palavras (A) = xi A pi para todo subconjunto A de X. Ent
ao,
o f : X [, +],
para qualquer funca
Z m
X
f d = f (xi )pi .
AF
i=1
Esta observaca
o permite definir integral para qualquer funca
o f , possivelmente
n
ao mensuravel)R que e igual
R em -quase todo ponto a uma funca
o mensuravel
g: basta tomar f d = g d.
14 CAPITULO 0. ELEMENTOS DE TEORIA DA MEDIDA
T
Nesta secao mencionamos tres resultados importantes para o estudo da con-
vergencia de funco
es sob o sinal de integral. O primeiro deles lida com sequencias
mon otonas de funcoes:
AF
O pr
mon
oximo resultado vale para sequencias mais gerais, n
otonas:
aveis n
lim inf n fn (x) e integr
ao-negativas. Ent
avel e vale
Z
Z
o f definida por f (x) =
o integr
g tal que |fn (x)| |g(x)| para -quase todo x em X. Suponha tambem que a
sequencia (fn )n converge em -quase todo ponto para uma funccao f . Ent
avel
ao f
e integr
avel e vale: Z Z
DR
lim fn d = f d.
n
0.6 Deriva
c
ao de medidas
Dado um subconjunto mensur avel A de Rd , dizemos que um ponto a A e um
ponto de densidade de A se este conjunto preenche a maior parte de qualquer
pequena vizinhanca de a, isto e,
(B(a, ) A)
lim = 1. (11)
0 (B(a, ))
T
tambem ser obtido como consequencia direta do teorema que vamos enunciar a
seguir. Dizemos que uma funcao f : Rd R e localmente integr
avel se f XK e
avel para todo compacto K Rd .
integr
AF
Em particular,
sur
lim
c
1
r0 (B(x, r))
seguinte realaca
Defini
Z
B(x,r)
f (y)d = f (x)
ao 0.43. Sejam e duas medidas num espaco mensur avel (X, B).
o a se todo conjunto men-
avel E que satisfaz (E) = 0 tambem satisfaz (E) = 0. Nesse caso escreve-
mos .
0.7 cos Lp ()
Os espa
Nesta secao vamos definir espacos formados por funcoes que possuem propri-
edades de integrabilidade especiais. Estes espacos s ao espacos vetoriais nor-
mados que s ao completos com respeito a essa norma, ou seja, espacos de Ba-
nach. Tambem enunciaremos algumas desigualdades envolvendo as normas des-
o (X, B, ) ser
tes espacos. Ao longo da seca a sempre um espaco de medida.
16 CAPITULO 0. ELEMENTOS DE TEORIA DA MEDIDA
T
Dado qualquer p [1, ), dizemos que f : X C e uma funca
o p-integr
avel
o |f |p e integr
se a funca avel.
Defini ao 0.45. Denotamos por Lp () o conjunto das funco
c es complexas que
s
ao iguais em -quase todo ponto a uma funca o p-integr
avel, modulo a relaca
o
de equivalencia que identifica duas quaisquer funco
es que s
ao iguais em -quase
todo ponto.
Note que se e finita, o que ocorrer a frequentemente nos nossos exemplos,
todas as funco
es mensuraveis limitadas est ao em Lp (), uma vez que
Z
AF 0
de Banach:
p
|f |p d (sup |f |)p m(X).
o f Lp (), definimos
Para cada funca
kf kp =
Z
p
|f | d
p1
.
a em L p (). Ou
o contnua est
|f + g|p d
p1
Z
|f |p d
o deste teorema e provar a desigual-
dade triangular que, neste caso, e conhecida como desigualdade de Minkowski:
Teorema 0.47 (Desigualdade de Minkowski). Sejam f, g Lp (). Ent
Z p1 Z
+ |g|p d
p1
.
ao:
T
f g L1 () e vale a desigualdade:
Z sZ sZ
f g d |f |2 d |g|2 d.
Z Z sZ sZ
|f | d = |f g| d |f |2 d 1 d < .
AF
0.7.3 Fun
co
Z
o em L2 () est
Isto mostra que toda funca
|f g| d
es essencialmente limitadas
Em seguida vamos estender a definica
Para isso precisamos da seguinte noca
a em L1 ().
Para valores de p quaisquer, vale a seguinte generalizaca
de Cauchy-Schwartz:
p
|f | d
o da desigualdade
kf k = supess (f ).
Deixamos como exerccio para o leitor (veja o Exerciccio 0.25) verificar que a
conclus
ao da Proposicao 0.46 permanece v alida no caso p = . Mais precisa-
mente, L () munido da norma k k e um espaco de Banach. Observe que se
ao L () Lp () para qualquer p 1.
e uma medida finita, ent
18 CAPITULO 0. ELEMENTOS DE TEORIA DA MEDIDA
0.7.4 Convexidade
T
Dizemos que uma funca o : I R definida num intervalo I da reta e convexa
se para cada x, y I e t [0, 1] vale
Alem disso, dizemos que e concava se for convexa. Para funco es duas
vezes diferenci atico: e convexa se 00 (x) > 0
aveis temos o seguinte criterio pr
oncava se 00 (x) < 0 para todo x I.
para todo x I e e c
AF
Se e uma probabilidade em X e f L1 () e tal que f d I, ent
ao:
Z Z
f d f d.
Isto pode ser visto da seguinte forma. Considere X = [0, 1] munidoP da medida
DR
de Lebesgue . Seja f : [0, 1] R uma funca o da forma f (x) = i=1 ai XEi
onde os Ei s
ao conjuntos mensur aveis disjuntos dois-a-dois tais que (Ei ) = i .
A desigualdade de Jensen aplicada a ` funca
o f d
a precisamente a relaca
o (14).
T
todo > 0 existe um fechado F e um aberto A satisfazendo F B A e
(F \ A) < . Note que B0 contem todos os fechados de M . De fato, se B e um
fechado entao (pelo Teorema 0.12) (B \ B) 0 quando 0 e, portanto,
podemos tomar F = B e A = B para algum > 0 pequeno.
imediato que a famlia B0 e fechada para a passagem ao complementar, isto
E
e, B c B0 sempre que B c B0 . Alem disso, considere uma famlia enumer avel
Bn , n = 1, 2, . . . qualquer de elementos de B0 e denote B = B
n=1 n . Por
hipotese, para todo n N e > 0, existe um fechado Fn e um aberto An
satisfazendo Fn Bn An e (An \ Fn ) < /2n+1 . A uni ao A = n=1 An e um
m
aberto e qualquer uni ao finita F = n=1 Fn e um fechado. Fixemos o inteiro m
AF
suficientemente grande para que
[
Fn \ F < /2
n=1
ao F B A e
(lembre o Teorema 0.12). Ent
X [ X
A\F An \ F n + Fn \ F < + = .
n=1 n=1 n=1
2n+1 2
Isto mostra que B B0 . Deste jeito mostramos que B0 e uma -
algebra. Logo
B0 contem todos os subconjuntos borelianos de M .
Uma consequencia do resultado acima e que os valores que uma probabi-
lidade toma nos fechados (ou nos abertos) de M determinam completa-
mente: se e outra probabilidade tal que (F ) = (F ) para todo fechado F
(ou (A) = (A) para todo aberto A) ent ao = , isto e, (B) = (B) para
todo boreliano B.
A proposica
o que provaremos a seguir implica que os valores das integrais
das funco
es contnuas limitadas tambem determinam a probabilidade completa-
mente. De fato, isso vale mesmo para o conjunto (menor) de funco es Lipschitz
limitadas.
R R
DR
Proposi ao 0.56. Se e s
c ao probabilidades em M tais que d = d
o : X R Lipschitz limitada, ent
para toda funca ao = .
Demonstraca
o. Usaremos o seguinte fato simples de topologia:
Lema 0.57. Dado qualquer subconjunto fechado F de M e dado > 0, existe
uma funcao Lipschitz g : M [0, 1] tal que g (x) = 1 para todo x F e
g (x) = 0 para todo x M \ F .
Demonstracao. Considere a funcao h : R [0, 1] dada da seguinte forma:
h(s) = 1 se s 0, h(s) = 0 se s 1 e h(s) = 1 s se 0 s 1. Defina
1
g : M [0, 1], g(x) = h d(x, F ) .
Note que g e Lipschitz, por ser composicao de funco
es Lipschitz. As demais
propriedades no lema s ao imediatas.
20 CAPITULO 0. ELEMENTOS DE TEORIA DA MEDIDA
T
fechado qualquer de M e, para cada > 0, seja g : M [0, 1] uma funca o
como no lema acima. Por hipotese,
Z Z
g d = g d para todo > 0.
AF
Isto mostra que (F ) = (F ) para todo fechado F , donde resulta que = .
Por um lado,
DR
X
X
(M \ E) (An,k \ 1 (Bn,k )) < = .
2n+k+1 2
n,k=1 n,k=1
T
num espaco metrico compacto (ou ate mesmo -compacto) e justa. Mas, esta
conclus
ao e ainda mais geral:
AF Ln =
(K c )
k(n)
[
k=1
n=1
k , 1/n)
B(p
X
Lcn <
n=1
2
n
= .
e fechado e
Resta verificar que K e compacto. Para isso basta mostrar que toda sequencia
(xi )i em K admite alguma subsequencia de Cauchy (uma vez que M e com-
pleto, segue que esta subsequencia e convergente). Tal subsequencia pode ser
construda da seguinte forma. Como xi L1 para todo i, existe l(1) k(1) tal
que o conjunto de ndices
I1 = {i N : xi B(pl(1) , 1)}
I2 = {i I1 : xi B(pl(2) , 1/2)}
DR
e infinito. Seja i(2) o menor elemento de I2 \ {i(1)}. Repetindo este procedi-
mento, construmos uma sequencia decrescente In de subconjuntos infinitos de
N, e uma sequencia crescente i(1) < i(2) < < i(n) < de n
umeros tais
que i(n) In e todos os xi , i In est
ao contidos numa mesma bola fechada de
raio 1/n. Em particular,
Demonstraca
o. Pela Proposica
o 0.55 podemos encontrar um conjunto fechado
T
F B tal que (B \ F ) < /2. Pelo Teorema 0.58, existe um subconjunto
compacto K M tal que (M \ K) < /2. Tome L = F K. Ent ao L e
compacto e (B \ L) < .
Analogamente, quando o espaco metrico M e completo e separ
avel podemos
melhorar o enunciado do teorema de Lusin, substituindo fechado por com-
pacto na conclus
ao:
Teorema 0.62 (Lusin). Suponha que M e um espaco metrico completo se-
avel. Seja : M N uma transformaca
par o mensur avel com valores num
espaco metrico separa
avel N . Ent
ao dado qualquer > 0 existe um conjunto
AF
compacto K M tal que (M \ K) < e a restrica
completos separ
n
ao atomica.
aveis. Uma medida diz-se at
tal que ({x}) > 0. Tais pontos s
medida de probabilidade n
Deixamos a demonstraca
Exerccio 0.27.
0.9 Exerccios
ao at
ao chamados a
omica em M . Ent
avel : M [0, 1] tal que e uma bijeca
sur
o de a K e contnua.
Conclumos com outro fato importante sobre medidas em espacos metricos
omica se existe algum ponto x
tomos. Caso contr
B0 = {A X : A e finito ou Ac e finito}.
DR
Mostre que B0 e uma a lgebra. Alem disso, B0 e uma -
algebra se, e somente se,
o conjunto X e finito.
0.2. Seja X um conjunto e considere a seguinte famlia de conjuntos
T
lim supn En formado pelos pontos x X tais que x En para infinitos valores
de n. Analogamente, o limite inferior da sequencia e o conjunto lim inf n En dos
pontos x X tais que existe n0 tal que x En para todo n n0 . Verifique
que:
S T
(a) lim inf n En = n1 mn En
T S
(b) lim supn En = n1 mn En
AF
0.5. Prove a Proposica
o 0.24.
T
Considere o espaco M = X N das sequencias com valores em X. Fixe qualquer
umero (0, 1). Para cada x = (xn )n e y = (yn )n em , defina
n
d(x, y) = N (x,y) onde N (x, y) = min n 0 : xn 6= yn
Verifique que d e uma metrica que gera a topologia produto em . Mostre, sem
usar o teorema de Tychonoff, que (M, d) e um espaco compacto.
AF
[a1 , . . . , ak ] = {(xn )n : x1 = a1 , . . . , xk = ak },
se, |f | e integr
o 0.29.
o mensur
es mensur
avel e, nesse caso,
com k 1 e a1 , . . . , ak X.
Z Z
DR
f d |f | d.
0.17. Seja
R f uma funcao integr
avel. Mostre que para todo > 0 existe > 0
tal que | E f d| < para todo conjunto mensuravel E com (E) < .
T
as medidas de probabilidade e dadas por
X X
(A) = pi , (A) = qi ,
xi A xi A
AF
0.22. Prove a desigualdade de Minkowski.
Dica: Utilize a desigualdade de H
est
a
ao Lp () L1 () para todo
0.23. Mostre que se e uma medida finita ent
p q
p 1. Mais geralmente, L () L () sempre que p q.
0.24. Prove o Teorema 0.46.
Dica: Utilize o teorema da convergencia dominada para provar que a norma
e completa.
0.25. Mostre que k k e uma norma completa em L ().
0.26. Seja (En )n uma famlia enumer
F =
E
avel de conjuntos mensur
formado
P pelos pontos
En para infinitos valores de n. Mostre que se n (En ) < ent
Este fato e conhecido como Lema de Borel-Cantelli.
Dica: Para cada i 1 considere o conjunto Fi dos pontos que
que
aveis. Defina
pertencem a
ao (F ) = 0.
P pertencem a
En para, pelo menos, i valores de n. Mostre que (Fi ) (1/i) n (En ).
0.27. O objetivo principal deste exerccio e demonstrar o Teorema 0.63. Seja
(M, B) um espaco mensur algebra B admite algum subconjunto ge-
DR
avel cuja -
rador enumeravel {Un : n N}. Seja C = {0, 1}N.
o : M C, (x) = XUn (x) n e injetiva e mensur
(a) A aplicaca avel.
(d) Se e n
ao at omica existe uma aplicacao mensuravel : M [0, 1] e
T
um conjunto boreliano M3 M com (M3 ) = 1 tal que a restrica o de
a M3 e bijeca
o mensur avel sobre um boreliano do intervalo, com inversa
mensur avel, e e a medida de Lebesgue em [0, 1].
AF sur
avel com inversa mensur
total, e satisfaz = .
avel, restrita a um subconjunto com medida
DR
T
Captulo 1
Medidas Invariantes e
AF
Recorr
encia
omenos
27
28 CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
es f t : M M , onde t R, satisfazendo
fluxos, ou seja, famlias de transformaco
T
as seguintes condicoes:
AF (E) = (f t (E))
Proposic
medida em M . Ent
avel : M R.
o -integr
o mensur
avel e uma
(1.4)
Z
alida para classes de funco
Inicialmente, observe que por hip
mensur avel B. Como,
Z
XB d = (B) e (f 1 (B)) = (XB f ) d,
um argumento de aproximaca o para concluir que (1.4) vale para toda funcao in-
tegravel. Dada qualquer funca avel : M R, considere uma sequencia
o integr
DR
es simples convergindo para e tal que |sn | || para todo
(sn )n de funco
n. Tal sequencia existe, pela Proposica o 0.29. Ent ao, usando o teorema da
convergencia dominada (Teorema 0.40) duas vezes:
Z Z Z Z
f d = lim sn f d = lim (sn f ) d = ( f ) d.
n n
T
duas vers
oes deste enunciado, a primeira de natureza mensur avel (Seca
o 1.2.1)
e a segunda de natureza topologica (Seca
o 1.2.3). O teorema de Kac, que pro-
varemos na Secao 1.2.2 complementa estes resultados de forma quantitativa.
Posteriormente descrevemos algumas aplicaco es destes resultados.
1.2.1 Vers
ao mensur
avel
O nosso primeiro resultado afirma que, dada qualquer medida invariante finita,
quase todo ponto de qualquer conjunto mensur avel E regressa a E um n
umero
infinito de vezes:
f
AF
Teorema 1.2 (Recorrencia de Poincare). Seja f : M M uma transformaca
mensur
conjunto mensur
Demonstraca
avel com (E) > 0. Ent
conclumos que
n=0
o
avel e seja uma medida finita invariante por f . Seja E M qualquer
ao, para -quase todo ponto x E
existem infinitos de valores de n para os quais f n (x) tambem est
a em E.
o. Representemos por E0 o conjunto dos pontos x E que nunca
regressam a E. Inicialmente, vamos provar que E0 tem medida nula. Para isso,
comecamos por observar que as suas pre-imagens f n (E0 ) s
X
f n (E0 ) =
n=0
o de E0 . Esta contradica
ao disjuntas duas-a-duas, como afirmamos.
(f n (E0 )) =
X
(E0 ).
n=0
o,
Como supomos que a medida e finita, a express ao do lado esquerdo e finita. Por
outro lado, a` direita temos uma soma de infinitos termos, todos iguais. O u nico
DR
jeito desta soma ser finita e que as parcelas sejam nulas. Portanto, devemos ter
(E0 ) = 0, tal como foi afirmado.
Agora, denotemos por F o conjunto dos pontos x E que regressam a
E apenas um n umero finito de vezes. Como consequencia direta da definica o,
temos que todo ponto x F tem algum iterado f k (x) em E0 . Ou seja,
[
F f k (E0 )
k=0
1.2.2 Teorema de Ka
c
T
Seja f : M M uma transformaca o mensur avel e seja uma medida finita
invariante por f . Seja E M qualquer conjunto mensur avel com (E) > 0.
Considere a funcao tempo de primeiro retorno E : E N {} definida da
seguinte forma:
E (x) = min{n 1 : f n (x) E} (1.5)
sempre que o conjunto do lado direito for nao vazio, isto e, se x tiver algum
iterado em E; caso contrario, E (x) = . De acordo com o Teorema 1.2, a
segunda alternativa s
o ocorre para um conjunto de pontos com medida nula.
O resultado que vamos apresentar a seguir mostra que esta funca o e in-
AF
tegr
avel e d
a mesmo o valor da sua integr
avel. Para o enunciado precisamos da
seguinte notaca
o:
E0 = {x E : f n (x)
/ E para todo n 1} e
E0 = {x M : f n (x)
/ E para todo n 0}.
/ E, . . . , f n1 (x)
En = {x E : f (x) / E, mas f n (x) E} e
En = {x M : x / E, . . . , f n1 (x)
/ E, f (x) / E, mas f n (x) E}.
En = {x E : E (x) = n},
f 1 (En ) = En+1
E n+1 para todo n. (1.7)
1.2. TEOREMA DE RECORRENCIA
DE POINCARE 31
De fato, f (y) En quer dizer que o primeiro iterado de f (y) que est a em E e
T
f n (f (y)) = f n+1 (y) e isto ocorre se, e somente se, y En+1
ou y E n+1 . Isto
prova a igualdade (1.7). Logo, pela invari ancia de ,
(En ) = (f 1 (En )) = (En+1
) + (E n+1 ) para todo n.
Aplicando esta relaca
o repetidas vezes, obtemos que
m
X
(En ) = (Em
)+ (Ei ) para todo m > n. (1.8)
i=n+1
A relaca
o (1.6) implica que (Em ) 0 quando m . Portanto, tomando o
limite quando m na igualdade (1.8), obtemos:
AF
Para finalizar a demonstraca
forma obtemos que
(M ) (E0 ) =
X
ao a conclus
(En ) =
n=1
X
i=n
X
i=n+1
X
(Ei ) =
(Ei ),
odico (esta
a definida e estudada no Captulo 4) o conjunto E0 tem medida
propriedade ser
zero. Ent
(1.10)
1.2.3 Vers
ao topol
ogica
Agora suponhamos que M e um espaco topol ogico, munido da sua -algebra de
Borel B. Dizemos que um ponto x M e recorrente para uma transformaca o
f : M M se, para toda vizinhanca U de x existe algum n 1 tal que f n (x)
a em U . Analogamente, dizemos que x M e recorrente para um fluxo (f t )t
est
se para toda vizinhanca U de x existe algum t > 0 tal que f t (x) esta em U .
No proximo teorema supomos que o espaco topol ogico M admite uma base
enumer avel de abertos, ou seja, existe uma famlia enumer avel {Uk : k N} de
abertos tal que todo aberto de M pode ser escrito como uni ao de elementos U k
dessa famlia. Esta hip
otese e satisfeita na maioria dos exemplos interessantes.
32 CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
T
enumer avel de abertos. Seja f : M M uma transformaca
o mensuravel e seja
ao, -quase todo ponto x M
uma medida finita em M invariante por f . Ent
e recorrente para f .
AF
tem medida nula. Portanto, para demonstrar o teorema ser
mostremos que todo ponto x que n
vamos ver. Seja x M \ U
a em U .
ao verdadeiras, em
1.3 Exemplos
DR
Em seguida vamos descrever alguns exemplos simples de medidas invariantes
por transformaco
es ou por fluxos, que nos ajudam a interpretar o significado do
teorema de recorrencia de Poincare, bem como obter conclusoes interessantes.
1.3.1 Expans
ao decimal
O nosso primeiro exemplo e a transformaca o definida no intervalo [0, 1] do se-
guinte modo
f : [0, 1] [0, 1], f (x) = 10x [10x]
onde [10x] representa o maior inteiro menor ou igual a 10x. Em outras palavras,
f associa a cada x [0, 1] a parte fracion
aria de 10x. O gr
afico da transformaca
o
f est
a representado na Figura 1.1.
1.3. EXEMPLOS 33
PSfrag replacements
1
T
E
1/10
3/10
7/10
AF
9/10 0 2/10 4/10 6/10 8/10 1
T
Portanto, usando o teorema das classes mon otonas (Teorema 0.14), segue que
C contem a -algebra B gerada por A. Isto e precisamente o que queramos
provar.
x = 0, a0 a1 a2 a3
AF
com ai {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, ent
f (x) = 0, a1 a2 a3 .
ao decimal comeca
ao em E. Levando
ao (1.12), isto quer dizer que existem infinitos valores de n
tais que an = 7. Portanto, provamos que quase todo n
decimal comeca por 7 tem infinitos dgitos iguais a 7.
1.3.2 Transforma
c
ao de Gauss
DR
O sistema que apresentamos nesta seca o est
a relacionado com outro impor-
tante algoritmo em Teoria dos N umeros, a expans ao de um n
umero em fraca
o
contnua, cuja origem remonta ao problema de achar a melhor aproximaca o
racional para um n umero real qualquer. Vamos descrever este algoritmo sucin-
tamente.
Dado um n umero x0 (0, 1), seja
1 1
a1 = e x1 = a1 .
x0 x0
1
x0 = .
a1 + x1
1.3. EXEMPLOS 35
T
1 1
a2 = e x2 = a2 .
x1 x1
Ent
ao
1 1
x1 = e portanto x0 = .
a1 + x2 1
a1 +
a2 + x2
Por recorrencia, para cada n 1 tal que xn1 (0, 1) define-se
AF
1 1
an = e xn = an = G(xn1 )
xn1 xn1
e tem-se
1
x0 = . (1.13)
1
a1 +
1
a2 +
1
+
an + xn
N
ao e difcil mostrar que a sequencia
1
zn = . (1.14)
1
a1 +
1
a2 +
1
+
an
1
x0 = , (1.15)
1
a1 +
1
DR
a2 +
1
+
1
an +
que e chamada expans ao em fraca
o contnua de x0 .
Note que a sequencia (zn )n definida pela relaca
o (1.14) consiste de n
umeros
racionais. De fato, mostra-se que estes s ao os numeros racionais que melhor
aproximam o n umero x0 , no sentido de que zn est a mais proximo de x0 do
que qualquer outro n umero racional com denominador menor ou igual que o
denominador de zn (escrito em forma irredutvel). Observe tambem que para
obter (1.15) suposemos que xn (0, 1) para todo n N. Se encontramos algum
xn = 0, o processo p ara nesse momento e consideramos (1.13) a expans ao em
fraca
o contnua de x0 . Claro que este ultimo caso ocorre somente se x0 e um
numero racional.
36 CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
T
com o sistema dinamico no intervalo [0, 1] que vamos descrever a seguir. A
o de Gauss G : [0, 1] [0, 1] e definida por
transformaca
1 1
G(x) = = parte fracion aria de 1/x,
x x
AF
PSfrag replacements
A expans
1
0
...
ao em fraca
o de Gauss
1
onde c e uma constante positiva. Note que a integral est a bem definida, j a que
a funca
o integrando e contnua no intervalo [0, 1]. Alem disso, essa funca
o toma
1.3. EXEMPLOS 37
T
c
m(E) (E) c m(E) (1.17)
2
avel E [0, 1]. Em particular, e de fato equivalente
para todo conjunto mensur
a
` medida de Lebesgue m, isto e, as duas medidas tem os mesmos conjuntos com
medida nula.
Proposi ao 1.8. A medida e invariante por G. Alem disso, se escolhermos
c
c = 1/log2 ent
ao e uma probabilidade.
Demonstraca
o. Vamos utilizar o seguinte lema:
AF
Lema 1.9. Seja f : [0, 1] [0, 1] uma transformaca
abertos I1 , I2 , . . . disjuntos dois-a-dois tais que
Ik
o integr
X
1 xf
(f (x))(x) dx =
Z 1
o tal que existem intervalos
(x)
|f 0 (x)|
(y)
R1 R1
Deste jeito mostramos que 0 (f (x))(x) dx = 0 (y)(y) dy. Como = dx
e = XE , isto quer dizer que (f 1 (E)) = (E) para todo conjunto mensur
avel
E [0, 1]. Portanto, e invariante por f .
38 CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
T
condica
o (1.18) vale para (x) = c/(1 + x) e f = G. Seja Ik = (1/(k + 1), 1/k) e
o de G a Ik . Note que G1
seja Gk a restrica k (y) = 1/(y + k) para todo k. Note
tambem que G0 (x) = (1/x)0 = 1/x2 para todo x 6= 0. Portanto,
X
X
(G1
k (y)) c(y + k) 1 2 X c
1 = = . (1.20)
k=1
|G (Gk )(y)| k=1 y + k + 1 y + k
0
k=1
(y + k)(y + k + 1)
Observando que
1 1 1
= ,
AF
(y + k)(y + k + 1) y+k y+k+1
vemos que a ultima soma em (1.20) pode ser escrita na forma telesc
opica: todos
os termos, exceto o primeiro, aparecem duas vezes, com sinais contr arios, e
portanto se cancelam. Logo a soma e igual ao primeiro termo:
X c 1
= = (y).
(y + k)(y + k + 1) y+
k=1
Esta proposica
o permite utilizar ideias de Teoria Ergodica, aplicadas a
` trans-
formaca
o de Gauss, para obter conclus oes interessantes em Teoria dos N umeros.
Por exemplo (veja o Exerccio 1.7), o n umero 7 aparece infinitas vezes na ex-
DR
pans
ao em fraca
o contnua de quase todo n umero x0 (1/8, 1/7), isto e, tem-se
an = 7 para infinitos valores de n N. Mais tarde provaremos um fato muito
mais preciso: para quase todo x0 (0, 1) o n umero 7 aparece com frequencia
1 64
log
log 2 63
na sua expans
ao em fraca
o contnua. Tente intuir desde j
a de onde vem este
n
umero!
1.3.3 Rota
co
es no crculo
Como vimos anteriormente (Exemplo 0.18) o crculo S 1 = {z C : |z| = 1} est a
munido de uma medida de Lebesgue, que coincide com o comprimento no caso
dos arcos de crculo e que e invariante por todas as rotaco
es R . Dividindo esta
1.3. EXEMPLOS 39
T
a
` medida de Lebesgue no crculo teremos em mente esta probabilidade.
Existe um modo equivalente de definir o crculo que e u
til em diversas cir-
cunst
ancias. Considere em R a relacao de equivaencia que identifica quaisquer
numeros cuja diferenca e um n
umero inteiro, isto e:
xy x y Z.
AF
note que esta definica
direito n
ponde a` transformaca
mos R de rotaca
q N, entao
o est
o de a
[x] + [y] = [x + y];
R/Z R/Z,
ngulo ).
Aqui destacamos que a din
ao depende da escolha do represen-
tante x da classe de equivalencia). Por esta identificaca
[x] 7 [x] + []
o a rotaca
o R corres-
que tambem denotaremos por R (por abuso de linguagem, por vezes chamare-
T
fecho do conjunto D, para todo r R.
Agora, dados y R e > 0, podemos tomar r = y x e, usando o par agrafo
anterior, podemos encontrar m, n Z tais que |m + n (y x)| < . Isto
equivale a dizer que a dist ancia de [y] ao iterado Rn ([x]) e menor que . Como
x, y e s
ao arbitr
arios, isto mostra que toda o rbita O([x]) e densa.
Em particular, segue que todo ponto do crculo e recorrente para R (isto
tambem e verdade quando e racional). A proposica o anterior tambem ter
a
v
arias implicaco
es interessantes no estudo das medidas invariantes de R . Entre
outras coisas, veremos na Proposicao ?? que se e irracional ent
ao a medida de
AF
Lebesgue e a u
nica medida de probabilidade que e preservada por R . Relacio-
nado com isso, veremos que as o rbitas de R se distribuem de modo uniforme
em S 1 .
1.3.4 Rota
co
es em toros
As nocoes que acabamos de apresentar podem ser generalizadas para qualquer
dimens ao, como vamos explicar em seguida. Para cada d 1, considere a
o de equivalencia em Rd que identifica dois vetores se a sua diferenca e
relaca
um vetor com coordenadas inteiras:
(x1 , . . . , xd ) (y1 , . . . , yd ) (x1 y1 , . . . , xd yd ) Zd .
Chamamos toro de dimens
ao d ou, simplesmente, d-toro o espac
Td = Rd /Zd = (R/Z)d
o. Seja m a medida de volume em R d .
das classes de equivalencia desta relaca
A operaca
o
[(x1 , . . . , xd )] + [(y1 , . . . , yd )] = [(x1 + y1 , . . . , xd + yd )]
d
faz de T um grupo abeliano. A rotaca
o associada a um vetor = (1 , . . . , d )
e
R : Td Td , R ([x]) = [x] + [].
DR
A aplicaca
o
: [0, 1]d Td , (x1 , . . . , xd ) 7 [(x1 , . . . , xd )]
e sobretora e nos permite definir a medida de probabilidade de Lebesgue no
d-toro, por meio da seguinte f ormula: (B) = m 1 (B) para todo B Td
tal que 1 (B) e mensur
avel. Esta medida e invariante por R para todo .
Dizemos que um vetor = (1 , . . . , d ) e racionalmente independente se para
quaisquer numeros inteiros n0 , n1 , . . . , nd temos que
n0 + n 1 1 + + n d d = 0 n0 = n1 = = nd = 0.
Caso contr
ario dizemos que e racionalmente dependente.
Deixamos ao cuidado do leitor (Exerccio 1.13) provar a seguinte proposica
o:
Proposi
cao 1.11. Seja = (1 , . . . , d ) um vetor racionalmente independente.
ao O([x]) = {Rn ([x]) : n N} e um subconjunto denso de Td para todo [x].
Ent
1.3. EXEMPLOS 41
1.3.5 Transforma
co
es conservativas
T
Seja M Rk um aberto do espaco euclidiano Rd e seja f : M M um
difeomorfismo de classe C 1 . Isto quer dizer que f e uma bijeca
o e tanto ele
quanto a sua inversa sao deriv aveis com derivada contnua. Representaremos
por vol a medida de Lebesgue, ou medida de volume, em M . A f ormula de
mudanca de vari
aveis afirma que, para qualquer conjunto mensur avel B M ,
Z
vol(f (B)) = | det Df | dx. (1.21)
B
AF
Lema 1.12. Um difeomorfismo f : M M de classe C 1 deixa invariante a
medida de volume se, e somente se, o valor absoluto | det Df | do seu jacobiano
e constante igual a 1.
Demonstracao. Suponha primeiro que o valor absoluto do jacobiano e igual 1
em todo ponto. Considere um conjunto mensur
f
ormula (1.21) d
a que
vol(E) =
Ent
ao a f
ormula (1.21) aplicada a B = U daria
Z
DR
vol(f (U )) dx vol(U ).
U
Aplicando o Lema 1.12 neste contexto, obtemos que o fluxo deixa invariante
T
a medida de volume se, e somente se,
AF
a
`s trajet
palavras, t 7 f t (x) e a soluca
o da equaca o diferencial
dy
= F (y) (1.23)
dt
que tem x como condica o inicial (quando tratando de equaco es diferenci
aveis
sempre suporemos que as suas soluco es est ao definidas para todo tempo).
ormula de Liouville exprime o jacobiano de f t em termos do divergente
A f
div F do campo de vetores:
Z t
det Df t (x) = exp div F (f s (x)) ds para todo x e todo t.
0
T
de classe C 1 preserva a medida de volume na variedade M se, e somente se,
d
X (Fi )
=0 em todo ponto.
i=1
xi
AF
1.4 Transforma
co
es induzidas
Nesta seca
o vamos descrever uma construca
o, baseada no teorema de recorrencia
de Poincare (Teorema 1.2), que permite associar a um dado sistema erg odico
(f, ) outros sistemas intimamente relacionados com ele mas que podem, em
muitos casos, ser escolhidos de modo a terem melhores propriedades globais.
1.4.1 Transforma
c
ao de primeiro retorno
Seja f : M M uma transformaca o mensuravel e uma probabilidade invari-
ante. Seja E M um conjunto mensur avel com (E) > 0 e seja (x) = E (x)
o tempo de primeiro retorno de x a E, tal como foi definido em (1.5). A trans-
formaca
o de primeiro retorno ao domnio E e definida por
Proposi
c o g : E E.
ao 1.15. A medida E e invariante pela transformaca
Analogamente,
f 1 (B) \ E = f 2 (B) \ f 1 (E)
= f 2 (B) E2 + f 1 (B) \ (E f 1 (E)) .
44 CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
T
2 1
X [
B = f k (B) Ek + f 2 (B) \ f k (E) .
k=1 k=0
AF
n n1 k
por f (E) \ k=0 f (E) . Logo, usando a Observaca o 1.4, ela converge
para zero quando n . Deste modo, conclumos que
X
B = f k (B) Ek .
k=1
Juntamente com (1.25), isto mostra que (g 1 (B)) = (B) para todo subcon-
junto mensur
avel B de E. Isto e, a medida E e invariante por g.
1.4.2 Transforma
co
es induzidas
Na direca
o contraria, dada uma medida invariante qualquer de g : E E,
podemos construir uma certa medida invariante para f : M M . Ali as,
para isto g nao precisa ser a transformaca
o de primeiro retorno: a construca
o
que vamos apresentar a seguir e v alida para qualquer transformaca
o induzida
de f , ou seja, qualquer transformaca
o da forma
avel B M .
para todo conjunto mensur
Proposi caRo 1.16. A medida definida em (1.28) e invariante por f e satisfaz
(M ) = E d. Em particular, e finita se, e somente se, a funca o e
integr
avel com respeito a .
Demonstraca
o. Primeiro, provamos a invari
ancia de . Pela definica
o (1.28),
X X
X X
f 1 (B) = f (n+1) (B) Ek = f n (B) Ek .
n=0 k>n n=1 kn
1.4. TRANSFORMAC
OES INDUZIDAS 45
T
X
X X
f 1 (B) = f n (B) Ek + f k (B) Ek . (1.29)
n=1 k>n k=1
A respeito da u
ltima parcela, observe que
X
X
f k (B) Ek = g 1 (B) = B = B Ek ,
k=1 k=1
uma vez que e invariante por g. Substituindo esta igualdade em (1.29), vemos
AF
que
X
X
X
1
n
f (B) = f (B) Ek + B Ek = B
n=1 k>n k=1
T
f : M M e uma medida invariante por f tais que E pode ser identificado
com um subconjunto de M , g e a transformaca o de primeiro retorno de f a E,
com tempo de retorno dado por , e a medida restrita a E coincide com .
Esta transformacao f e chamada torre de g com tempo . A medida e
finita se, e somente se, e integr
avel com respeito a . Elas s
ao construdos da
seguinte forma. Comeca mos por definir:
AF
k=1 n=0
...
PSfrag replacements
andar k
andar k 1
g
...
andar 2
andar 1
terreo
E1 E2 E3 Ek
Em outras palavras, a din amica eleva cada ponto (x, n) um andar de cada
vez, ate alcancar o andar (x) 1; a essa altura o ponto cai diretamente para
(g(x), 0), no andar terreo. O andar terreo E {0} se identifica naturalmente
com o conjunto E. Alem disso, a transformaca o de primeiro retorno a E {0}
corresponde precisamente a g : E E.
Finalmente, a medida fica definida por
| (Ek {n}) = | Ek
1.5. EXERCICIOS 47
T
com . Alem disso, e invariante por f e
X Z
(M ) = k(Ek ) = d.
k=1 E
1.5 Exerccios
AF
1.1. Utilizando o Lema 1.9, de outra prova de que a transformaca
mod 1 preserva a medida de Lebesgue no intervalo.
o mensur
qualquer conjunto mensur
subconjuntos mensur
n
conjunto mensur
avel com (E) > 0. Ent
T
umero x [0, 1].
todo n
1.7. Para (Lebesgue) quase todo n umero x0 (1/8, 1/7) o n umero 7 aparece
infinitas vezes na sua expans
ao em fraca
o contnua, isto e, tem-se a n = 7 para
infinitos valores de n N.
1.8. Um n umero x (0, 1) e racional se, e somente se, existe n 1 tal que
Gn (x) = 0.
1.9. Mostre que se A e uma matriz n n com coeficientes inteiros, ent ao a
o induzida fA : Tn Tn definida por fA ([x]) = [A(x)] preserva a
transformaca
AF
medida de Lebesgue de Tn .
1.10. Suponha que f : M M e um difeomorfismo local de classe C 1 de uma
variedade Riemanniana compacta M . Seja vol a medida de volume em M e seja
: M [0, ) uma funca
o contnua. Mostre que f preserva a medida = vol
se, e somente se,
X (x)
= (y) para todo y M.
| det Df (x)|
xf 1 (y)
Exist
encia de Medidas
AF
Invariantes
49
50 CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
T
no pode ocorrer em espacos compactos, se a transformaca o nao e contnua.
Considere f : [0, 1] [0, 1] dada por f (x) = x/2 se x 6= 0 e f (0) = 1. Pela
mesma raz ao que antes, nenhum ponto x (0, 1] e recorrente. Portanto, se
existe alguma probabilidade invariante ela tem que dar peso total ao u nico
ponto recorrente, que e x = 0. Em outras palavras, precisa ser a medida de
Dirac 0 suportada em zero, que e definida por
0 (E) = 1 se 0 E e 0 (E) = 0 se 0
/ E.
AF
medida 1 mas a sua pre-imagem f 1 (E) e o conjunto vazio, que tem medida
nula. Portanto, esta transformaca o tambem n ao tem nenhuma probabilidade
invariante.
O nosso terceiro exemplo e de natureza um pouco diferente. Consideremos
f : [0, 1] [0, 1] dada por f (x) = x/2. Trata-se de uma transformaca o contnua
num espaco compacto. Logo, pelo teorema que iremos demonstrar, admite
alguma probabilidade invariante. Pelos mesmos argumentos que usamos no
caso anterior, se conclui que de fato h a uma u nica probabilidade invariante, que
e a medida de Dirac 0 suportada no ponto zero. Note que neste caso a medida
0 e de fato invariante.
Mencionamos este u ltimo caso para enfatizar as limitaco
es do Teorema 2.1
(que sao inerentes a` sua grande generalidade): as medidas que ele garante existi-
rem podem ser completamente triviais; por exemplo, neste caso quando falamos
de quase todo pontoestamos nos referindo apenas ao ponto x = 0. Por isso,
um objetivo importante em Teoria Erg odica e encontrar medidas invariantes
mais sofisticadas, com propriedades adicionais (por exemplo, serem equivalen-
tes a` medida de Lebesgue) que as tornem mais interessantes.
2.2.1 Defini
c
ao e propriedades da topologia fraca
Dada uma medida M1 (M ), um conjunto finito = {1 , . . . , N } de funco
es
contnuas limitadas i : M R e um numero > 0, definimos
Z Z
V (, , ) = { M1 (M ) : i d i d < para todo i}. (2.1)
2.2. A TOPOLOGIA FRACA 51
Note que a intersecao de dois quaisquer conjuntos desta forma contem algum
T
conjunto desta forma. Isto assegura que a famlia {V (, , ) : , } pode ser
tomada como base de vizinhancas de cada M1 (M ).
A topologia fraca e a topologia definida por esta base de vizinhancas. Em
outras palavras, os abertos da topologia fraca s ao os conjuntos A M1 (M )
tais que para todo elemento A existe algum V (, , ) contido em A.
Observe que esta topologia depende apenas da topologia de M e n ao da sua
dist
ancia. Observe tambem que ela e Hausdorff: a Proposica o 0.56 implica que
se e s
ao probabilidades distintas ent
ao existe > 0 e alguma funca
o contnua
limitada : M R tal que V (, {}, ) V (, {}, ) = .
AF
Lema 2.2. Uma sequencia (n )nN converge para uma medida M1 (M ) na
topologia fraca se e somente se
Z Z
dn d para toda funcao contnua : M R.
R R
Em outras palavras, a sequencia
R ( dn )n converge paraR d.
A recproca afirma que se ( dn )n converge para d, para toda funca o
contnua limitada ent
ao, dados quaisquer e existe uma ordem a partir da
qual n V (, , ). Para verificar esse fato, escrevemos = {1 , . . . , N }. A
hip
otese garante que para cada i existe n i tal que
Z Z
i dn i d < para todo n n i .
DR
Tomando n
= max{ N }, temos n V (, , ) para todo n n
n1 , . . . , n .
A construca
o seguinte e an aloga, apenas substituindo fechados por abertos.
T
Dada qualquer famlia finita A = {A1 , . . . , AN } de abertos de M e dado qualquer
> 0, considere
AF
Finalmente, consideremos uma variaca o mais direta da definica
o da topologia
fraca , onde a base de vizinhancas e definido por
Z Z
V (, , ) = { M1 (M ) : i d i d < para todo i}. (2.5)
Em seguida, vamos mostrar que a topologia (2.4) e mais fraca que a topologia
(2.2)=(2.3). Dada qualquer famlia finita B = {B1 , . . . , BN } de conjuntos de
2.2. A TOPOLOGIA FRACA 53
T
F = {F1 , . . . , FN } e A = {A1 , . . . , AN }. Como (Fi ) = (Bi ) = (Ai ),
AF
exceto para um conjunto enumer avel de valores de s. Em particular, podemos
escolher k N e pontos ` = t0 < t1 < tk1 < tk = ` tais que tj tj1 < /2
e ({1
i (tj )}) = 0 para todo j. Ent ao cada
Bi,j = 1
i ((tj1 , tj ])
e valem desigualdades an
alogas para as integrais relativamente a . Segue que
Z Z k
X
i d
i d ` |(Bi,j ) (Bi,j )| + /2 (2.6)
j=1
T
B e um fechado estas desigualdades significam que (B) = (B). Como vi-
mos anteriormente, duas medidas que coincidem nos subconjuntos fechados s ao
necessariamente iguais.
Deixamos a verificaca
o das demais condico
es na definica
o de dist
ancia ao
cuidado do leitor.
Esta dist
ancia e denominada metrica de Levy-Prohorov. No que segue repre-
sentaremos por BD (, r) a bola relativamente a D com centro em M1 (M )
e raio r > 0.
Proposi ao 2.5. Se M e espaco metrico separ
c avel ent
ao a topologia induzida
e equivalente a
ao
T
Figura 2.1: Partica
o definida por uma cobertura
AF
elementos de P que intersectam B. Ent
a que
es implicam que BD (, ).
Como 3 < , estas relaco
2.2.4 Compacidade de M1 (M )
Nesta seca
o supomos que o espaco metrico M e compacto e provamos
kk = sup{|(x)| : x M }.
fato b
E asico conhecido que esta norma e completa e portanto define em C 0 (M )
uma estrutura de espaco de Banach.
T
positivo. Ent
ao existe uma u
nica medida boreliana finita em M tal que
Z
() = d para toda C 0 (M ).
AF
Demonstraca
unit
de um n
o. Seja {n : n N} um subconjunto enumer
aria de C 0 (M ). Para cada n N, a sequencia de n
avel densoR na bola
umeros reais n dk ,
k N e limitada por 1. Portanto, para cada n N existe uma sequencia (k jn )jN
tal que
Z
n dkjn converge para algum numero n R quando j .
Alem disso, cada sequencia (kjn+1 )jN pode ser escolhida como subsequencia da
anterior (kjn )jN . Definamos `j = kjj para cada j N. Por construca
o, a menos
umero finito de termos, (`j )jN e uma subsequencia de (kjn )jN para
todo n. Logo Z
() = lim
n
j
Z
para todo n N.
R
Como e arbitr ario, conclumos que limj d`j existe. Isto prova (2.11)
quando a funcao est
a na bola unitaria. O caso geral reduz-se imediatamente a
esse, substituindo por /kk. Assim, completamos a prova de (2.11).
Finalmente, e claro que o operador : C 0 (M ) R definido por (2.11) e
linear e positivo: () min > 0 para toda funca o C 0 (M ) positiva em
2.2. A TOPOLOGIA FRACA 57
todo ponto. Alem disso, (1) = 1. Logo, peloRTeorema 2.8, existe alguma pro-
T
babilidade boreliana em M tal que () = d para toda funca o contnua
. Agora a igualdade em (2.11) pode ser reescrita
Z Z
= lim d`j para toda C 0 (M ).
j
De acordo com o Lema 2.2, isto quer dizer que a subsequencia (`j )jN converge
para na topologia fraca . Isto completa a demonstraca
o do Teorema 2.6.
kgk = sup
kvk
o geral em An
: v E \ {0} .
alise Funcional
(2.13)
Esta u
ltima topologia e not
avel devido ao seguinte fato:
Teorema 2.10 (Banach-Alaoglu). Se o espaco E e separ avel ent
ao a bola
aria fechada de E e fechada para a topologia fraca .
unit
A construca o que realizamos anteriormente corresponde ao caso em que E
e o espaco C 0 (M ) das funco
es contnuas e E e o espaco M(M ) das medidas
1
com sinal num espaco metrico compacto M . De fato, segue do teorema de
1 Uma medida com sinal
R Re uma diferen
R ca = 1 2 de duas medidas (positivas) finitas
em M . Definimos d = d1 d2 para toda funca o que e integr
avel para 1 e 2 .
Alem disso, f = f 1 f 2 .
58 CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
T
identificamos cada medida M(M ) com o funcional linear I () = d.
Note que neste contexto a definica
o da norma (2.12) d a
R
| d|
kk = sup : C 0 (M ) \ {0} .
sup ||
AF
Agora consideremos uma transformaca o contnua f : M M qualquer em
M e consideremos a sua aca o
f : M(M ) M(M ), 7 f
Uf : C 0 (M ) C 0 (M ), 7 f.
Estas consideraco
es motivam a noca
o de operador de Koopman, que apresenta-
remos na Seca
o 2.5.
T
(b) toda sequencia em K possui alguma subsequencia convergente.
A demonstraca o pode ser encontrada no livro de Billingsley [Bil68]. No
Exerccio 2.9 convidamos o leitor a provar que (a) implica (b), que e a parte
mais u
til do enunciado.
2.3 Demonstra
c
ao do teorema de exist
encia
Comecemos por introduzir uma notaca til. Dado f : M M e qualquer
o u
AF
medida em M denota-se
por f
e chama-se iterado de por f a medida
definida por f B = f 1 (B) para cada conjunto mensur avel E M .
Note que e invariante por f se e somente se f = .
Lema 2.13. Sejam uma medida e f uma funca
o mensur
avel limitada. Entao
Z Z
df = f d. (2.16)
T
contnua num espaco vetorial topol
ogico V . Suponha que existe um conjunto
compacto convexo K V tal que F (K) K. Ent ao F (v) = v para algum
v K.
O Teorema 2.1 corresponde ao caso em que V = M(M ) e o espaco das
medidas com sinal, K = M1 (M ) e o espaco das probabilidades em M , e F =
o de f em M(M ). No entanto, a situaca
f e a aca o do Teorema 2.1 e bem
mais simples do que o caso geral do teorema de Schauder-Tychonoff, porque
o operador f alem de ser contnuo tambem e linear. Isso permite dar uma
demonstraca o direta e elementar do Teorema 2.1, que tambem tem a vantagem
de fornecer informacao adicional sobre a medida invariante.
n =
1 X
nk 1
nk j=0
n1
1X j
f
n j=0
fj
(2.18)
para todo i e todo k suficientemente grande. Pelo Lema 2.14, temos que
nk 1 nk
1 X 1 X
f = f lim fj = lim fj . (2.20)
k nk j=0 k nk
j=1
e esta u
ltima express
ao e menor que /2 para todo i e todo k suficientemente
T
grande. Juntando este fato com (2.19), conclumos que
nk Z Z
1 X
(i f j ) d i d < (2.21)
nk j=1
AF
quando k . Mas (2.20) significa que esta mesma sequencia converge para
f . Por unicidade do limite, segue que f = .
Isto completa a demonstraca
Corol
formaca
o do Teorema 2.1.
ario 2.17 (Recorrencia de Birkhoff). Se f : M M e uma trans-
o contnua num espaco metrico compacto ent
corrente.
Demonstraca
ao f tem algum ponto re-
2.4 Exemplos
Aqui vamos descrever algumas aplicaco
interessantes de medidas invariantes.
avel de
abertos. Portanto, podemos aplicar o Teorema 1.5, para concluir que -quase
todo ponto e recorrente. Em particular, o conjunto dos pontos recorrentes e n
f = f m = F m = = ,
T
e um espaco metrico compacto e F e contnua. Ent
ao, para toda medida em
M invariante por f existe alguma medida m em X Y invariante por F , tal
que m = .
Deixamos a prova desta proposica
o a cargo do leitor (veja o Exerccio 2.10).
??
AF
g t : N N , t R chamado suspens
propriedades de recorrencia est
formaca
medida invariante pelo fluxo.
desta relaca
ao de f com tempo de retorno , cujas
ao diretamente ligadas a
`s propriedades da trans-
o f . Alem disso, a cada medida invariante por f vamos associar uma
o can
ao. Consideremos
o F : M R M R dada por F (x, s) = (f (x), s (x)).
o de equivalencia em M R definida
x, s).
Note que D0 = {(x, s) M R : 0 s < (x)} e um domnio fundamental
o, ou seja, toda classe de equivalencia tem exatamente um repre-
sentante em D0 . Representamos por N o conjunto das classes de equivalencia
o e denotamos por : M N a projeca onica que associa a
e, portanto, (Gt (x, s)) = (Gt ( x, s)). Isto mostra que o fluxo g t , t R est
a
realmente bem definido.
o x 7 (x, 0) e injetiva e portanto podemos identificar M com o
A aplicaca
subconjunto = (M {0}) de N . Observando que
T
x
PSfrag replacements
M
f (x)
R 0 (x)
AF
Figura 2.2: Fluxo suspens
ao
= ( ds | D0 ). (2.25)
T
a ( ds)(B n ). Portanto,
X X
(g t (B)) = (g t (Bn )) = n ) = ( ds)(B)
( ds)(B = (B).
nZ nZ
AF
2.4.3 Transforma
co
es de Poincar
e
Aqui apresentamos uma especie de inversa da construca o descrita na seca
o an-
terior. Seja g t : N N , t R um fluxo mensur avel e seja uma medida
invariante. Seja uma seca o transversal do fluxo, ou seja, um subconjunto
de N tal que para todo x existe (x) (0, ] tal que g t (x) / para
todo t (0, (x)) e g (x)(x) sempre que (x) for finito. Chamamos (x)
de tempo de primeiro retorno de x a . O nosso objetivo e construir, a partir
de , uma medida invariante para a transformaca o de primeiro retorno (ou
transformaca
o de Poincare )
1. a funca es f e f 1 s
o e as transformaco ao mensur
aveis;
2. se A e mensur ao A N e mensur
avel ent avel, para todo (0, ].
DR
Lema 2.20. Seja A um subconjunto mensur avel de para algum > 0.
Ent o 7 (A )/ e constante no intervalo (0, ].
ao, a funca
claro que
o. Considere qualquer (0, ] e qualquer l 1. E
Demonstraca
l1
[
A = g i/l (A/l )
i=0
T
(A )
(A) = para qualquer (0, ].
Em seguida, dado qualquer subconjunto mensur
avel A de , definimos
(A) = sup (A ).
Veja a Figura 2.3. Deixamos ao cuidado do leitor verificar que e uma medida
em . Nos a chamaremos de transporte de pelo fluxo atraves de .
AF
PSfrag replacements
Proposi c
A
Demonstraca
o de Poincare f .
f (A)
o transversal
1. B i e Ai = f 1 (B i ) est
ao contidos em i ;
T
Fixe i = i /2. Ent
ao, usando o fato de que f e essencialmente sobretiva,
g ti (Aii ) Bi i (si ti ) e g si (Aii ) Bi i +(si ti ) .
Logo, usando a hip
otese de que e invariante,
(Aii ) = (g ti (Aii )) (Bi i (si ti ) )
(Aii ) = (g si (Aii )) (Bi i +(si ti ) ).
Dividindo por i obtemos que
(si ti )
AF
(Ai ) 1 (B i ) > (1 2)(B i )
(si ti )
(Ai ) 1 + (B i ) < (1 + 2)(B i ).
Finalmente, somando sobre todos os valores de i, conclumos que
(1 2)(A) (B) (1 + 2)(A).
Como e arbitr
ario, isto prova que a medida e invariante por f .
2.4.4 Extens
ao natural
Dada uma transformaca o qualquer f : M M e sempre possvel encontrar uma
extens ao f : M
M que e invertvel. Por extens ao queremos dizer que existe
uma aplicaca o sobrejetiva : M M tal que f = f . Este fato e muito
u
til porque permite reduzir a prova de muitos enunciados do caso geral ao caso
de transformaco es invertveis. Na verdade, extens oes invertveis est ao longe de
ser u
nicas. Por outro lado, a construca o que vamos apresentar nesta seca o e,
em algum sentido, minimal: M e o menor espaco onde e possvel definir uma
extens ao invertvel da transformaca o f . Em particular, dada qualquer medida
invariante de f existe uma u nica medida invariante de f tal que
= .
Para comecar, tomamos para M o conjunto de todas as pre- orbitas de f , ou
DR
seja, o conjunto de todas as sequencias (xn )n0 indexadas pelos n umeros inteiros
nao-positivos e satisfazendo f (xn ) = xn+1 para todo n < 0. Consideramos a
aplicacao : M M que associa a cada sequencia (xn )n0 o seu termo x0 de
ordem zero. Finalmente, definimos f : M M como sendo o deslocamento a `
esquerda:
f(. . . , xn , . . . , x0 ) = (. . . , xn , . . . , x0 , f (x0 )).
claro que f est
E a bem definida e satisfaz f = f . Alem disso, ela e
invertvel: a inversa e o deslocamento a ` direita
(. . . , yn , . . . , y1 , y0 ) 7 (. . . , yn , . . . , y2 , y1 ).
Se M e um espaco mensuravel podemos tornar M um espaco mensur
avel,
munindo-o da -
algebra gerada pela famlia dos subconjuntos
: xi Ai para i = k, . . . , 0}
[k; Ak , . . . , A0 ] = {(xn )n0 M (2.27)
2.4. EXEMPLOS 67
onde k 0 e Ak , . . . , A0 s
ao subconjuntos mensur
aveis de M . Ent
ao e
T
aplicaca
o mensur
avel, uma vez que
f([k; Ak , . . . , A0 ]) = [k + 1; Ak , . . . , A0 , M ]. (2.30)
AF
Analogamente, se M e um espaco topol
topol
onde k 0 e Ak , . . . , A0 s
(2.30) mostram que e f1 s
contnua se f for.
d x
, y) =
A seguinte observaca
0
X
n=
ancia
ogico podemos tornar M
2n d(xn , yn ),
um espaco
ogico, munindo-o da topologia gerada pela famlia dos subconjuntos
: xi Ai para i = k, . . . , 0}
[k; Ak , . . . , A0 ] = {(xn )n0 M
fj (
ao
o: se x
e y est
ao
(2.31)
T
Considere qualquer vizinhanca de x da forma:
Note que fk (
x) 1 (xk ) e que xk , uma vez que xk f k (x) e o conjunto
e invariante por f . Entao, a hipotese de que () = implica que existe algum
1
ponto yk (xk ) . Como e invariante por f, segue que fk (
yk ) .
Alem disso, e claro da construca o que f (
k
yk ) V . Isto mostra que x e
acumulado por elementos de , j
a que os conjuntos V da forma (2.32) formam
uma base de vizinhancas. Como e fechado, segue que x
.
AF
Dizemos que
vers
Proposi
uma u
uma medida invariante por f e seja =
Agora seja
f = f implica que e invariante por f :
= f
f = f
e um levantamento de . O pr
ao da Proposica
f admite um u
. A propriedade
=
= .
Demonstraca
condica
o
em M invariante por f tal que
= .
ao existe
( 1 (A0 )) = (A0 )
([0; A0 ]) =
??
2.5. OPERADOR DE KOOPMAN 69
T
Nesta secao apresentamos uma isometria linear no espaco L1 () motivada pela
discussao na Seca
o 2.2.5. A sua grande utilidade e permitir o uso de ferramentas
de An alise no estudo das propriedades de medidas invariantes. Para ilustrar
este fato, daremos uma demonstraca o alternativa do Teorema 2.6 a partir de
propriedades espectrais deste operador.
Seja (M, B) um espaco mensur avel, f : M M uma transformaca o men-
suravel e e uma medida invariante por f . O operador de Koopman e o operador
linear
Uf : L1 () L1 (), Uf () = f.
AF
a bem definido e preserva a norma de L1 ():
Note que Uf est
Z Z Z
kUf ()k1 = |Uf ()| d = || f d = || d = kk1 (2.34)
Uf : C 0 (M ) C 0 (M )
T
convexo C e chamado de cone de E, se ele satisfaz:
AF
(v) 0 para todo v C. Por definica o, o cone dual C e o cone em E
formado por todos os funcionais positivos.
Exemplo 2.25. E imediato que C 0 (M )+ = { C 0 (M ) : 0} e um cone
0
normal de C (M ). Pelo teorema de Riesz-Markov (Teorema 2.8), o cone dual e
identificado naturalmente com o espaco das medidas (positivas) finitas em M .
Denotaremos por r(T ) o raio espectral do operador linear contnuo T :
p
r(T ) = lim n kT nk.
n
Como aplicaca
o deste resultado, vamos dar uma prova alternativa da exis-
tencia de probabilidades invariantes. Considere o cone C = C 0 (M )+ em E =
C 0 (M ). Conforme j a observamos, o cone dual C e o espaco das medidas
finitas em M . E claro da definicao que o operador T = Uf e positivo sobre
DR
C. Alem disso, o seu raio espectral e igual a 1, uma vez que o operador U f e
uma isometria. Logo, pelo Teorema 2.26, existe alguma medida finita em M
que e autovetor do operador dual T = f associado ao autovalor 1. Em outras
palavras, a medida e invariante. Multiplicando por uma constante adequada,
podemos supor que e uma probabilidadde.
2.6 Exerccios
2.1. Seja M um espaco metrico e (n )n uma sequencia em M1 (M ). Mostre
que as seguintes condico
es s
ao todas equivalentes:
1. (n )n converge para uma probabilidade na topologia fraca .
2. lim supn n (F ) (F ) para todo fechado F M .
2.6. EXERCICIOS 71
T
4. limn n (B) = (B) para todo conjunto de continuidade B de .
R R
5. limn dn = d para toda funca o Lipschitz : M R.
o do Lema 2.16: Seja f : M M uma
2.2. Prove a seguinte generalizaca
transformaca
o contnua num espaco metrico compacto, uma probabilidade
em M e (In )n uma sequencia de intervalos de n umeros naturais tais que #In
converge para infinito quando n vai para infinito. Ent ao qualquer ponto de
acumulaca
o da sequencia
1 X j
n = f
#In
AF
jIn
2.8. Seja M um espaco metrico. Mostre que para toda funca o mensuravel
T
limitada : M R existe uma sequencia n : M R, n 1 de funco es
contnuas satisfazendo sup |n | sup || e convergindo para || em todo ponto.
Dica: Comece por tratar o caso de funcoes caractersticas. Seja A a famlia
de todos os boreliamos cuja funca
o caracterstica e limite de funco
es contnuas
n : M [0, 1]. Use o Lema 0.57 para verificar que A contem todos os sub-
conjuntos fechados de M . Mostre que A e uma - algebra e, portanto, contem
todos os borelianos. Finalmente, trate o caso geral.
2.9. Mostre que (a) implica (b) no Teorema 2.12, ou seja, se K M1 (M ) e
ao toda sequencia em K admite alguma subsequencia convergente em
justo ent
AF
M1 (M ).
2.10. Prove a Proposica
o 2.18.
Dica: Use o Exerccio 2.9.
2.11. Mostre, por meio de um exemplo, que o operador de Koopman Uf pode
n
ao ser sobrejetivo. Existe algum exemplo em que f n
ao e invertvel e, ainda
assim, Uf e sobrejetivo? ??
2.12. Seja f : M M uma transformaca o mensuravel e uma medida in-
variante. Seja g t : N N um fluxo suspens ao de f e seja a suspens
ao
correspondente da medida (veja a Seca
o 2.4.2).
(a) Mostre que x M e recorrente para a transformaca o f se, e somente se,
(x, s) N e recorrente para o fluxo g t , qualquer que seja s R.
(b) Conclua que o conjunto dos pontos recorrentes de f tem medida total para
se, e somente se, o conjunto dos pontos recorrentes de g t , t R tem
medida total para
Em particular, isto acontece se pelo menos uma das medidas ou e finita.
2.13. Seja g t : N N , t R o fluxo definido por um campo de vetores X de
classe C 1 numa variedade Riemanniana compacta N . Suponha que este fluxo
DR
preserva a medida de volume associada a ` metrica Riemanniana. Seja uma
hipersuperfcie de N transversal a X em todo ponto e seja a medida de volume
em associada a o da metrica Riemanniana. Defina : (0, ) por
` restrica
(x) = |X(x) N (x)|, onde N (x) e um vetor unit ario ortogonal a . Mostre
que a medida = e invariante pela transformaca o de Poincare f :
do fluxo. De fato, ela coincide com a medida transporte do volume pelo fluxo
atraves de (Secao 2.4.3).
A construca
o no proximo exerccio tem um papel relevante na teoria de
interc
ambios de intervalos:
2.14. Seja N R4 o conjunto das 4-uplas (1 , 2 , h1 , h2 ) munido da medida de
volume = d1 d2 dh1 dh2 . Defina
Gt : M M, t R, Gt (1 , 2 , h1 , h2 ) = (et 1 , et 2 , et h1 , et h2 )
2.6. EXERCICIOS 73
(2 , 1 2 , h1 + h2 , h1 ) se 1 > 2
F : M M, F (1 , 2 , h1 , h2 ) =
T
(2 1 , 2 , h2 , h1 + h2 ) se 1 < 2 .
Seja N o quociente de N pela relaca o de equivalencia z z F n (z) = z para
algum n Z. Seja : N N a projeca o canonica. Seja a (0, ) o
: M
funcional definido por a
(1 , 2 , h1 , h2 ) = 1 h1 + 2 h2 .
Mostre que
AF
3. Gt comuta com F ; logo, Gt induz um fluxo g t no espaco quociente N .
4. Gt preserva
; logo, g t preserva a medida .
5. Gt preserva a
; logo, g t preserva o funcional a.
o transversal para g t .
6. = ({(1 , 2 , h1 , h2 ) : 1 + 2 = 1} e uma seca
o de Poincare f : , bem como o tempo de
7. Calcule a transformaca
primeiro retorno .
8. Calcule a medida induzida por em (recorde a Seca
medida e finita?
9. Verifique que e invariante por f .
o 2.4.3). Essa
DR
74 CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
T
AF
DR
T
Captulo 3
Teoremas Erg
odicos
AF
Neste captulo discutiremos alguns dos principais resultados da Teoria Erg
Para motivar o tipo de problema ao qual eles respondem, consideremos um
conjunto mensur avel E M com medida positiva e um ponto x M qualquer.
Queremos analisar o conjunto dos iterados de x que visitam E, isto e,
{j 0 : f j (x) E}.
E (x) = lim
n
o an
aloga, definida por
odica.
Por exemplo, o teorema de recorrencia de Poincare afirma que, para quase todo
x E, este conjunto e infinito. Gostaramos de ter informaca
o mais precisa, de
(3.1)
1
E (x) = lim m {0 t T : f t (x) E} (3.2)
T T
DR
(m e a medida de Lebesgue na reta). Seria interessante saber, por exemplo,
em que condico es este tempo medio de visita e positivo. Antes de abordar este
problema e necess ario responder a uma quest ao ainda mais basica: o limite em
(3.1)-(3.2) existe?
Estas perguntas remontam ao trabalho do grande fsico austraco Ludwig
Boltzmann (1844-1906), fundador da teoria cinetica dos gases. Boltzmann era
partidario da teoria at omica, que na epoca ainda era muito controversa, segundo
a qual a materia gasosa est a formada por um grande n umero de min usculas
partculas em movimento e que se chocam continuamente. Em princpio, seria
possvel descrever o comportamento de um gas sistemas aplicando as leis da
Mec anica Newtoniana a cada uma das suas partculas (moleculas). Na pr atica
isso nao e realista, p orque o n
umero de moleculas e enorme.
O problema da teoria cinetica dos gases era, ent ao, explicar o comporta-
mento observ avel dos gases, no nvel macroscopico, como resultado estatstico
75
76 CAPITULO 3. TEOREMAS ERGODICOS
T
a sua teoria, Boltzmann sentiu necessidade de fazer uma suposica o, que ficou
conhecida como hip otese erg
odica. Em linguagem moderna, a hip otese erg
odica
afirma que, para os sistemas (fluxos hamiltonianos) que descrevem o movimento
das partculas de um g as, o tempo medio de visita a qualquer subconjunto men-
suravel E existe e e igual a
` medida de E, para quase todo ponto x.
O esforco para validar (ou invalidar) esta hip otese conduziu a importantes
avancos tanto em Matem atica (Teoria Erg odica, Sistemas Dinamicos) quanto
em Fsica Teorica (Mec anica Estatstica). O que nos diz respeito neste captulo
s
ao os resultados matem aticos relativos a
` existencia do tempo medio de visita.
A quest ao de saber quando E (x) = (E) para quase todo x ser a tratada no
AF
Captulo 4.
Representando por a funca o caracterstica do conjunto E, podemos rees-
crever a express ao no lado direito de (3.1) como:
n1
1X
lim (f j (x)). (3.3)
n n j=0
Isto sugere uma generalizacao natural da nossa pergunta inicial: o limite acima
existe para funcoes muito gerais, por exemplo, para todas as funco es in-
tegr
aveis?
O teorema erg odico de Von Neumann (Teorema 3.4) afirma que, de fato, o
limite em (3.3) existe no espaco L2 (), para toda funcao L2 (). O teorema
erg
odico de Birkhoff (Teorema 3.8) vai mais longe e afirma que h a convergencia
em -quase todo ponto, para toda funca o L1 (). Em particular, o limite
em (3.1) est
a bem definido para -quase todo x (Teorema 3.6).
Daremos uma demonstraca o direta do teorema de von Neumann e tambem
mostraremos como ele pode ser deduzido do teorema erg odico de Birkhoff.
Quanto a este u ltimo, iremos obte-lo como caso particular de um resultado
ainda mais forte, o teorema erg odico subaditivo de Kingman (Teorema 3.16).
Este teorema afirma que n /n converge em quase todo ponto, para qualquer
es n tal que m+n m + n f m .
DR
sequencia de funco
Todos estes resultados permanecem v alidos para fluxos, m
odulo adaptaco es
naturais dos enunciados.
T
nico vetor PF (x) F tal que
um u
kx PF (x)k = inf{kx vk : v F }.
H = F F
AF
para todo subespaco fechado F H. (3.4)
T
vetores invariantes por U como o sendo o subespaco
I(U ) = {v H : U v = v}.
Observe que I(U ) e um subespaco vetorial fechado, uma vez que U e contnuo.
Quando U e uma isometria, temos que I(U ) = I(U ):
Lema 3.3. Se U : H H e uma isometria ent
ao U v = v se, e somente se,
U v = v.
o. Como U U = id , e claro que U v = v implica U v = v. Agora
Demonstraca
AF
suponha que U v = v. Ent
ao hU v, vi = hv, U vi = hv, vi = kvk2 . Logo, usando
que U preserva a norma de H,
para todo u H. Isto quer dizer que U v = v. Usando Lema 3.3 uma vez mais,
deduzimos que v I(U ). Isto mostra que L(U ) I(U ) e, portanto, a prova
de (3.8) est
a completa. Como consequencia, usando (3.4),
)
H = I(U ) L(U (3.9)
3.1. TEOREMA ERGODICO DE VON NEUMANN 79
T
), e no caso geral. Suponha primeiro que v I(u). Por um
quando v L(U
lado, P v = v. Por outro lado,
n1 n1
1X j 1X
U v= v=v
n j=0 n j=0
para todo n. Logo esta sequencia converge para v quando n . Isto prova
(3.7) neste caso.
Em seguida suponha que v L(U ). Ent o, existe u H tal
ao, por definica
que v = U u u. E imediato que
AF
n1 n1
1X j 1 X j+1 1
U v= U u U j u = (U n u u).
n j=0 n j=0 n
). Ent
Mais em geral, suponha que v L(U ao, existem vk L(U ) convergindo
para v quando k . Observe que
1 n1
X n1
1X j
1X
n1
Ujv U vk
kU j (v vk )k kv vk k
n j=0 n j=0 n j=0
3.1.3 encia em L2 ()
Converg
Dada uma transformaca
o mensuravel f : M M que preserva uma probabili-
dade em M , dizemos que uma funca avel : M R e invariante se
o mensur
f = em -quase todo ponto. O seguinte resultado e um caso particular
do Teorema 3.4:
Teorema 3.5. Para qualquer L2 () a sequencia
n1
1X
fj (3.12)
n j=0
80 CAPITULO 3. TEOREMAS ERGODICOS
T
funco
es invariantes. Se f e invertvel, ent
ao a sequencia
n1
1X
f j (3.13)
n j=0
AF
converge para em L2 (). Isto prova a primeira afirmaca o.
A segunda afirmaca o e analoga, considerando U = Uf 1 , ou seja U = Uf1 .
Obtemos que a sequencia em (3.13) converge para a projeca o ortogonal de no
espaco I(Uf1 ). Observando que I(Uf1 ) = I(Uf ), conclumos que o limite desta
sequencia e a mesma funca o que obtivemos antes.
3.2.1 Tempo m
edio de visita
Comecamos por enunciar a vers
ao do teorema para tempos medios de visita:
Teorema 3.6 (Birkhoff). Seja f : M M uma transformaca o mensur
avel
e uma probabilidade invariante por f . Dado qualquer conjunto mensur
avel
E M , o tempo medio visita
1
E (x) = lim #{j = 0, 1, . . . , n 1 : f j (x) E}
n
DR
n
R
existe em -quase todo ponto x M . Alem disso, E (x) d(x) = (E).
Observe que se E (x) existe para um certo ponto x M ent
ao
E (f (x)) = E (x). (3.14)
De fato, por definica
o,
n
1X
E (f (x)) = lim XE (f j (x))
n n
j=1
n1
1X 1
= lim XE (f j (x)) XE (x) XE (f n (x))
n n n
j=0
1
= E (x) + lim XE (x) XE (f n (x))
n n
3.2. TEOREMA ERGODICO DE BIRKHOFF 81
T
prova a igualdade (3.14).
O exemplo a seguir mostra que o tempo medio de visita n ao existe para todo
ponto, em geral:
Exemplo 3.7. Considere o n umero x (0, 1) definido pela expans
ao decimal
x = 0, a1 a2 a3 . . . , onde ai = 0 se 2k i < 2k+1 com k par e ai = 1 se
2k i < 2k+1 com k mpar. Ou seja,
x = 0, 01100001111111100000000000000001 . . .,
AF
potencias de dois. Seja f : [0, 1] [0, 1] a transformaca
o definida na Seca
o 1.3.1
e seja E = [0, 1/10). Isto e, E e o conjunto dos pontos cuja expans ao decimal
comeca com o dgito 0. E facil ver que se n = 2k 1 com k = 2q ent ao
n1
1X 1 + 22 + 24 + + 2k2 4 22q2 1 1
lim XE (f j (x)) = lim = lim = ,
q n j=0 q 2k 1 q 3 22q 1 3
3.2.2 M
edias temporais
Conforme observamos anteriormente
n1
1X
E (x) = lim (f j (x)), onde = XE .
n n j=0
DR
O pr oximo enunciado generaliza o Teorema 3.6 para o caso em que e uma
funca
o integr
avel qualquer:
Teorema 3.8. Seja f : M M uma transformaca o mensur avel e uma
probabilidade invariante por f . Dada qualquer funca avel : M R, o
o integr
limite
n1
1X
(x)
= lim (f j (x)) (3.15)
n n
j=0
T
um resultado mais geral, o teorema erg odico subaditivo. O limite e chamado
media temporal de : A proposica o a seguir mostra que as medias temporais
s
ao constantes ao longo de o rbitas, em -quase todo ponto, generalizando a
igualdade (3.14):
Proposiao 3.9. Seja : M R uma funca
c o integr
avel. Ent
ao,
(f
(x)) = (x)
para -quase todo ponto x M . (3.16)
Demonstraca
o. Por definica
o,
AF
n n1
1X 1X 1
(f
(x)) = lim (f j (x)) = lim (f j (x)) + (f n (x)) (x)
n n n n n
j=1 j=0
1
= (x)
+ lim (f n (x)) (x)
n n
Como e integr
avel, por hip
otese, todas estas express
oes sao finitas. Isso implica
que o conjunto B() dos pontos x tais que |(f n (x))| n para infinitos valores
de n tem medida nula (veja o Exerccio 0.26). Segue imediatamente da definica o
de B() que para todo x / B() existe algum p 1 tal que |(f n (x))| < n
para todo n p. Agora considere o conjunto B = i=1 B(1/i). Ent ao B tem
medida nula e para todo x / B vale que lim(1/n)(f n (x)) = 0.
Aplicando o Lemma 3.10 a
` funca
o = obtemos a igualdade (3.16).
Em geral, o subconjunto com medida total onde vale a convergencia (3.15)
no Teorema 3.8 depende da funca o que estamos considerando. No entanto,
em alguns casos e possvel escolher esse conjunto independentemente da funca
o.
Um exemplo u til desta situacao e o seguinte:
3.2. TEOREMA ERGODICO DE BIRKHOFF 83
T
e uma aplicaca
o contnua. Ent avel G M com
ao existe um conjunto mensur
(G) = 1 tal que
n1
1X
(f j (x)) (x)
(3.17)
n j=0
AF
admite algum subconjunto {k : k N} enumer avel denso. Tomemos
\
G= G(k ).
k=1
claro que (G) = 1. Portanto basta provar que (3.17) vale para toda funca
E o
contnua sempre que x G. Isso pode ser feito da seguinte maneira. Dado
C 0 (M ) e qualquer > 0, tomemos k N tal que
k k k = sup |(x) k (x)| : x M .
Como e arbitr
ario, segue que o limite (x)
existe, conforme afirmado.
1X
n1
2 1 n1
X 2
||
lim | f j | e, portanto, | lim f j | .
n n j=0 n n j=0
84 CAPITULO 3. TEOREMAS ERGODICOS
Ent
ao, pelo Lema de Fatou (Teorema 0.39),
T
hZ 2 i1/2 h Z n1
1X 2 i1/2
| d lim inf | f j | d . (3.18)
n n j=0
h Z 1 n1
X 2 i1/2 n1 Z
1 Xh i1/2
| f j | d | f j |2 d . (3.19)
n j=0 n j=0
AF
Como e invariante por f , a express
Ent
lim
n
1X
ao
n j=0
1 n1
X
n j=0
ao do lado direito e igual a
Portanto, (3.18) e (3.19) implicam que kk
Agora vamos mostrar que (1/n) j=0
Pn1
2 kk2 < .
R
||2 d
Pn1
Z
lim
1X
n n
n1
j=0
2
f j d = 0,
ou seja, que (1/n) j=0 f j converge para em L2 (). Falta estender esta
conclusao para uma funca o qualquer em L2 (). Para isso, consideremos uma
1/2
fj C para todo n e ||
C.
.
sequencia (k ) de funco
es limitadas tal que (k )k converge para . Por exemplo
DR
(x) se |(x)| k
k (x) =
0 caso contr ario.
1 n1
X
( k ) f j
k k k2 < /3 para todo n 1 e k k0 . (3.20)
n j=0 2
T
1 n1
X
k f j k
< /3. (3.22)
n j=0 2
AF
Birkhoff.
No Exerccio 3.5 propomos uma generalizaca
o destas conclus
oes para um
espaco Lp () qualquer.
Corolario 3.12. A media temporal de qualquer funca o L2 () coincide
com a projeca
o ortogonal P () de no subespaco das funco
es invariantes.
Pn1
Demonstracao. Por um lado, o Teorema 3.5 da que (1/n) j=0 f j converge
2
para P () em L (). Por outro lado, acabamos de mostrar que essa sequencia
converge para em L2 (). Por unicidade do limite, P () = .
Corolario 3.13. Se f : M M e invertvel ent ao as medias temporais de
o L2 () para f e para f 1 coincidem em -quase todo ponto:
qualquer funca
n1 n1
1X 1X
lim f j = lim fj em -quase todo ponto. (3.23)
n n j=0 n n
j=0
f
constitui uma sequencia aditiva. E acil verificar que toda sequencia aditiva e
T
desta forma, com = 1 .
AF
kABk kAk kBk . (3.26)
para todo m, n e x.
A prova do Teorema 3.16 que vamos apresentar e devida a Avila, Bochi [AB].
Uma caracterstica importante e que o teorema erg
odico de Birkhoff n
ao e usado
na prova. Isso nos permitira obter o teorema de Birkhoff como corol ario do
Teorema 3.16.
3.3.1 Prepara
c
ao da demonstra
c
ao
Uma sequencia (an )n em [, +) e dita subaditiva se vale am+n am + an
para todo m, n 1.
3.3. TEOREMA ERGODICO SUBADITIVO 87
T
an an
lim = inf [, ). (3.27)
n n n n
AF
< B.
k
Para n > k, podemos escrever n = kp + q, onde p e q s
ao n
umeros inteiros tais
que p 1 e 1 q k. Ent
ao, por subaditividade,
an pk ak
+ .
n n k n
Observe que pk/n converge para 1 e /n converge para zero quando n .
Portanto, uma vez que ak /k < B, temos
an
L <B
n
para todo n suficientemente grande. Fazendo B L, conclumos que
an an
lim = L = inf .
n n n
n 1 + 1 f + + 1 f n1 .
+
Esta relaca
o permanece v alida quando colocamos + n e 1 no lugar de n e 1 .
+ 1 + 1
Logo, a hip otese de que 1 L () implica que n L () para todo n. Alem
disso, a hipotese de que (n )n e subaditiva implica que
Z
an = n d, n 1,
T
n n
(x) = lim inf (x) e + (x) = lim sup (x).
n n n n
desde que toda funca o n seja limitada por baixo. Consequentemente, as duas
funco
es e + coincidem em -quase todo ponto e a sua integral e igual a L.
AF
Desta forma o teorema ficar a demonstrado neste caso. Ao final, removemos a
condica
o de limitaca
o usando um truque de truncagem.
T
m0 n1 m1 nl ml n
m0 n1 m1 nl ml nl+1 n
AF maior n
o da sequencia (3.29). Agora, dado n k, seja l 0 o
Isto completa a definica
umero inteiro tal que ml n. Pela subaditividade,
n (x)
1 (f i (x)) = k (f i (x))
iI
1 (f i (x)) +
i=mj1
j=1
1 (f i (x))
X l
X
mj nj (f nj (x))
a que f i (x) Ekc em todos esses casos. Alem disso, como e constante em
j
rbitas (veja o Exerccio 3.6) e k + , a relaca
o o (3.30) nos d
a que
(3.31)
mj 1 mj 1
X X
mj nj (f nj (x)) ( (f i (x)) + ) k (f i (x))
DR
i=nj i=nj
T
mitado por baixo, ou seja, que existe > 0 tal que n /n para todo n.
Aplicando o Lema de Fatou (Teorema 0.39) a` sequencia de funco
es n
ao-negativas
n /n + , obtemos que e integr
avel e
Z Z
n
d lim d = L.
n n
Para provar a outra desigualdade, observe que o Lema 3.18 implica que
Z Z Z
1 nk k
n d k d + max{k , 1 } d
n n n
AF
Quando n aR u ao, fazendo n
ltima parcela converge para zero. Ent
obtemos que L k d para todo k. Logo, fazendo k , conclumos que
Z
L d +
R
Finalmente, fazendo 0 obtemos que L d. Isto prova o lema quando
n /n est
a uniformemente limitado por baixo.
Agora resta remover essa hip
otese. Defina, para cada > 0,
n = max{n , n} e = max{ , }.
Deixamos ao leitor o cuidado de verificar que = lim inf n (1/n)n . Ent
ao, o
argumento do paragrafo anterior mostra que
Z Z
1
d = inf n d. (3.32)
n n
Combinando as relaco
es (3.32) e (3.33), obtemos que
DR
Z Z Z Z
1 1
d = inf = inf inf n d = inf n d = L.
n n n n
3.3.4 Majora
c
ao da fun
c
ao +
R
Para completar a prova de (3.28), vamos mostrar que + d L desde que
inf n seja finito para todo n. Comecamos por provar o seguinte resultado
auxiliar:
Lema 3.20. Para todo k fixado,
kn n
lim sup = k lim sup .
n n n n
3.3. TEOREMA ERGODICO SUBADITIVO 91
T
de n /n. Para mostrar a desigualdade contr aria, escrevemos n = kqn + rn com
rn {1, . . . , k}. Pela subaditividade,
onde = max{+ +
1 , . . . , k }. Observe que n/qn k as n . Al em disso,
como L (), podemos usar o Lema 3.10 para ver que f n /n converge
1
para zero em -quase todo ponto. Assim, dividindo a relaca o anterior por n e
tomando o lim sup quando n n os obtemos que
1 1 1 1 1
lim sup n lim sup kqn + lim sup f kqn = lim sup kq ,
AF
n n n n n n k q q
T
sequencia (n )n para todo > 0 fixado. Portanto, + = em -quase todo
ponto para todo > 0. Como e + + quando , segue que
= + em -quase todo ponto. A prova do Teorema 3.16 est a completa.
3.3.5 Consequ
encias
Como observamos anteriormente, toda sequencia de somas orbitais
n1
X
n = fj, n1
j=0
AF
e aditiva e, em particular, subaditiva. Portanto, o teorema erg
(Teorema 3.8) e um caso particular do Teorema 3.16.
Outra consequencia importante do teorema erg
de Furstenberg-Kesten, que enunciamos a seguir.
Seja f : M M uma transformaca
a funca
o mensur
invariante. Seja : M GL(d) uma funca
para todo n 1 e x M .
Z
max (x) = lim
Z
n
log kn (x)k
1 1
max d = lim log kn k d = inf log kn k d
n n n n
DR
Se log+ k1 k L1 () ent
ao
1
min (x) = lim log kn (x)k
n n
existe em -quase todo ponto. Alem disso, 1
min L () e
Z Z Z
1 n 1
min d = lim log k k d = sup log kn k d.
n n n n
Para deduzir este resultado do Teorema 3.16 basta observar que as sequencias
max n
n (x) = log k (x)k e min
n (x) = log k
n
(x)k
s
ao subaditivas (lembre do Exemplo 3.15). As funco
es max e min s
ao chamadas
expoentes de Laypunov extremais de relativamente a f .
3.4. EXERCICIOS 93
3.4 Exerccios
T
3.1. Mostre que um operador linear U : H H num espaco de Hilbert H e
uma isometria se, e somente se, kH(v)k = kvk para todo v H.
3.3. Seja f : M M uma transformaca o mensur avel que preserva uma medida
finita e seja A M um conjunto mensur avel com (A) > 0. Defina n1 <
n2 < como sendo a sequencia dos valores de n tais que (f n (A) A) > 0.
AF
Mostre que existe C > 0 tal que ni+1 ni C para todo i. ??
2. Seja uniformemente quase peri odica e > 0 dado. Seja e L() como na
definica
o de funca
o uniformemente quase peri
odica e assuma que > L().
Entao, para todo n
(n+1) 1
1 X 1X
k (k) (k)k < 2
k=n k=0
n1
1X
fj
n j=0
T
n n
= lim inf e + = lim sup
n n n n
AF
1. Dada uma permutaca o : X R prove que
o cclica e uma funca
n1
1X (x1 ) + + (xr )
lim ( i (x)) = .
n n r
i=0
onde a o
rbita de x tem cardinalidade p.
DR
T
Captulo 4
Ergodicidade
AF
Os teoremas apresentados no captulo anterior d
parte da hip
sur
otese erg
dado conjunto mensur
segunda parte da hip
igual a
95
96 CAPITULO 4. ERGODICIDADE
T
Dizemos que uma funca o mensuravel : M R e invariante se = f
em -quase todo ponto. Ou seja, a menos de um conjunto com medida nula,
a funca
o e constante em toda trajet
oria de f . Alem disso, dizemos que um
conjunto mensur avel B M e invariante se a sua funca
o caracterstica X B e
uma funcao invariante. Em outras palavras, A e invariante se ele difere da sua
pre-imagem f 1 (B) por um conjunto de medida nula:
(Bf 1 (B)) = 0.
AF
car que a famlia de todos os conjuntos invariantes e uma - algebra, isto e, ela
e fechada para o complementar e para uni oes e interseco
es enumeraveis.
1
Ap = {x : lim #{0 i n 1 : ai = k} = pk para k = 0, . . . , 9}.
n n
Para ver que Ap e invariante, observe que se x = 0, a0 a1 . . . ent
ao todo ponto
1
y f (x) se escreve na forma y = 0, ba0 a1 . . . para algum b {0, . . . , 9}. E
claro que o dgito extra b n
ao muda a frequencia dos diversos valores 0, . . . , 9
na expansao decimal. Portanto y Ap se, e somente se, x Ap .
A seguinte proposica
o coleta diversas maneiras equivalentes de definir ergo-
dicidade. Dizemos que uma funca o e constante em -quase todo ponto se
existe c R tal que (x) = c para -quase todo x M .
T
quase todo ponto.
R
(c) Para todo funca avel : M R tem-se (x)
o integr = d para -
quase todo ponto.
(d) Para todo conjunto mensur avel B M a media temporal R e cons-
tante em -quase todo ponto.
R
(e) Para toda funca avel invariante : M R tem-se (x) = d
o integr
para -quase todo ponto.
AF
(f ) Toda funca avel invariante : M R e constante em -quase
o integr
todo ponto.
(g) Para todo subconjunto invariante A tem-se (A) = 0 ou (A) = 1.
Demonstraca imediato que (a) implica (b), que (c) implica (d) e que (e)
o. E
implica (f). Tambem e claro que (e) implica (c) e (f) implica (d), porque a media
temporal e uma funcao invariante (lembre da Proposica o 3.9). Analogamente,
(c) implica (a) e (d) implica (b), porque o tempo medio de visita e uma media
temporal (da funca o caracterstica de B). Agora basta provar as seguintes
implicaco
es:
(b) implica (g): Seja A um conjunto invariante. Ent ao A (x) = 1 para -
quase todo x A e A (x) = 0 para -quase todo x Ac . Como A e constante
em -quase todo ponto, por hip otese, segue que (A) = 0 ou (Ac ) = 1.
(g) implica (e): Seja uma funca o integr
avels invariante. Ent ao todo con-
junto
Bc = {x M : (x) c}
e invariante. Logo, a hip otese implica que (Bc ) {0, 1} para todo c R.
Como c 7 (Bc ) e nao -decrescente, segue que existe c R tal que (Bc ) = 0
para todo c <R c e (Bc ) = 1 para todo cR c. Entao = c em -quase todo
ponto. Logo, d = c e, portanto, = d em -quase todo ponto.
DR
4.1.2 Caracteriza
c
ao espectral
A pr
oxima proposica
o caracteriza a propriedade de ergodicidade por meio do
operador de Koopman Uf () = f :
Proposi ao 4.4. Seja uma probabilidade invariante de uma transformaca
c o
avel f : M M . As seguintes condico
mensur es s
ao equivalentes:
(a) (f, ) e erg
odico.
(b) Para qualquer par de conjuntos mensur
aveis A e B vale
n1
1X
lim (f j (A) B) = (A)(B). (4.1)
n n j=0
98 CAPITULO 4. ERGODICIDADE
T
n1 Z Z Z
1X
lim (Ufj ) d = d d. (4.2)
n n
j=0
AF
j=0
T
Z X Z j
1 n1X j 1 n1
Uf (k ) d U (k ) d
f
n j=0 n j=0
n1 (4.6)
1X
kU j (k )kp kkk d
n j=0 f
= kk kp kkq < ,
para todo n e todo k suficientemente grande, independente de n. Fixe k tal que
(4.5) e (4.6) sejam validas e, em seguida, tome n suficientemente grande para
AF
que (4.4) valha igualmente. Somando as tres relaco
es (4.4) a (4.6), obtemos que
Z n1
X j Z Z
(1 Uf ) d d d < 3
n j=0
implica que
n1
1X
4 lim inf (f j (A) B) (A)(B)
n n j=0
n1
1X
lim sup (f j (A) B) (A)(B) 4.
n n j=0
100 CAPITULO 4. ERGODICIDADE
Como e arbitr
ario, isto prova a nossa afirmaca
o.
T
De modo semelhante, basta verifica o item (c) da Proposicao 4.4 em subcon-
juntos densos. A prova deste fato fica a cargo do leitor (Exerccio ??):
4.2 Exemplos
AF
Nesta seca
4.2.1
o apresentamos, por meio de exemplos, diversos metodos para verifi-
car se um dado sistema e ou n
Rota
co
es em toros
ao erg
odico.
Proposic
ao e erg
ao Rq (x) = x para
ao, dado qualquer segmento I S 1 com comprimento menor
ao R e erg
odica para a medida de
Lebesgue.
DR
Vamos mencionar duas demonstraco es diferentes deste fato. A primeira,
que detalharemos a seguir, usa fatos simples de An alise de Fourier. A segunda,
que deixaremos como exerccio (Exerccio 4.8), e baseada num argumento de
ponto de densidade semelhante ao que usaremos na Seca o 4.2.2 para provar a
ergodicidade da expansao decimal.
Como anteriormente, denotaremos por L2 (m) e o espaco de Hilbert das
funco
es mensur
aveis cujo quadrado e integr
avel, ou seja, tais que:
Z
||2 dm < .
k : S 1 C, x 7 e2ikx , kZ
4.2. EXEMPLOS 101
e uma base de Hilbert deste espaco: dado qualquer L2 (m) existe uma u
nica
T
sequencia (ak )kZ de n
umeros complexos tais que
X
(x) = ak e2ikx para quase todo x S 1 . (4.8)
kZ
Considere a expans
ao em serie de Fourier (4.8) de uma funca
o qualquer
L2 (m). Ent
ao
X
R (x) = ak e2ik e2ikx . (4.9)
kZ
AF
coeficientes da expans
A hip
Estas observaco
qualquer d 1:
Proposi c
ao de Fourier, isto acontece se, e somente se,
ak e2ik = ak
es estendem-se naturalmente a
o R : Td Td e erg
rotaca
para todo k Z.
es no d-toro T d , para
`s rotaco
4.2.2 Expans
ao decimal
o f : [0, 1] [0, 1], f (x) = 10x [10x] que gera
Considere a transformaca
a expans
ao decimal. Na Secao 1.3.1 verificamos que f preserva a medida de
Lebesgue m. Afirmamos:
T
invariante A tem medida total. O principal ingrediente e o teorema de derivaca
o
de Lebesgue (Teorema 0.42), segundo o qual quase todo ponto de A e ponto de
densidade de A. Mais precisamente (veja tambem o Exerccio 0.18), m-quase
todo ponto a A satisfaz
m(I A)
lim inf : I intervalo tal que a I B(a, ) = 1 . (4.10)
0 m(I)
AF
quer restrica
o, que a n
ao e desta forma. Consideremos a sequencia famlia de
intervalos
m1 m
I(k, m) = , , k N, m = 1, . . . , 10k .
10k 10k
claro que para cada k N existe um u
E nico m = mk tal que I(k, mk ) contem
o ponto a. Denotaremos Ik = I(k, mk ). A propriedade (4.10) implica que
m(Ik A)
1 quando k .
m(Ik )
Observe tambem que cada f k e uma bijeca o afim de Ik sobre o intervalo (0, 1).
Isso tem a seguinte consequencia, que e crucial para o nosso argumento:
o limitada). Para todo k N, vale
Lema 4.10 (Distorca
m(Ik A)
m(A) para todo k.
m(Ik )
demonstraca o que acabamos de apresentar est a restrito a uma classe muito par-
T
ticular de exemplos. De fato, n ao e assim, muito pelo contr ario. A raz
ao e que
existem muitas situaco es interessantes nas quais e possvel obter uma vers ao
apenas um pouco mais fraca do enunciado do Lema, mas que ainda e suficiente
para concluir a demonstraca o da ergodicidade. Em poucas palavras, no lugar de
afirmar que os dois lados de (4.11) s ao iguais, mostra-se, em muitos casos, que a
razao entre os dois termos e limitada por alguma constante uniforme. Isso e cha-
mado de propriedade de distorca o limitada. Como exemplo de aplicaca o destas
ideias, na Seca
o 4.2.4 provaremos que a transformaca o de Gauss e erg
odica.
Em seguida vamos dar uma aplicaca o da Proposica o 4.9 no contexto da
Teoria dos N umeros. Dizemos que um n umero x R e balanceado (ou normal )
AF
se todo dgito aparece com a mesma freq uencia, 1/10, na sua expansao decimal.
f
E acil dar exemplos de n umeros balanceados ou n ao-balanceados mas, em geral,
e muito difcil decidir se um dado n umero irracional e balanceado ou n ao. Por
exemplo, n ao e sabido ate hoje se o numero e balanceado.
Por outro lado, a proposica o anterior nos permite mostra facilmente que
quase todo n umero e balanceado. Este resultado e conhecido como Teorema
Normal de Borel:
Proposi c umeros x R n
ao 4.11. O conjunto dos n ao balanceados tem medida
de Lebesgue nula.
Demonstraca o. Como o fato de ser balanceado e independente da parte inteira
do n umero, s o precisamos mostrar que quase todo x [0, 1] e balanceado.
Considere f : [0, 1] [0, 1] definida por f (x) = 10x [10x]. Para cada dgito
j {0, . . . , 9} considere o intervalo Ij = [j/10, (j + 1)/10). Recorde que se x =
ao f k (x) = 0, ak ak+1 para cada k 1. Portanto,
0, a0 a1 ak ak+1 ent
k
f (x) Ij se, e somente se, o j-esimo dgito da expans ao decimal de x e igual a j.
Consequentemente, o tempo medio de visita (Ij , x) e exatamente a frequencia
do dgito j na expans ao decimal de x. Usando o teorema erg odico de Birkhoff,
e o fato de que a transformaca o f e erg
odica para a medida de Lebesgue m,
conclumos que para cada j {0, . . . , 9} existe um subconjunto Bj de [0, 1] com
m(Bj ) = 1 tal que
DR
1
(Ij , x) = m(Ij ) =para todo x Bj .
10
Entao B = B0 B1 B9 tambem tem m(B) = 1, e todo n
umero x B e
balanceado.
T
n
Y
([m; Am , . . . , An ]) = (Ai ). (4.12)
i=m
AF
de cada um dos eventos xi Ai separadamente.
Nesta seca
o introduzimos uma din
definida por
amica : no espaco , chamada
deslocamento (ou shift) de Bernoulli, que preserva a medida . O principal
odica. Vale a pena observar que e possvel
substituir N por Z em toda a construca o, ou seja, podemos considerar como
sendo o espaco das sequencias bilaterais (. . . , xn , . . . , x0 , . . . , xn , . . . ). A me-
nos de pequenos ajustes, que deixamos a cargo do leitor, tudo o que vai ser
alido nesse caso. Alem disso, no caso bilateral o
deslocamento de Bernoulli e uma aplicaca o invertvel.
O deslocamento de Bernoulli e a dupla (, ) onde : e a aplicaca
1 ([m; Am , . . . , An ]) = [m + 1; Am , . . . , An ]. (4.13)
Demonstraca
o. Seja A um conjunto mensur
avel invariante qualquer. Queremos
mostrar que (A) = 0 ou (A) = 1. Vamos usar o seguinte fato:
Lema 4.13. Se B e C s
ao uni
oes finitas de cilindros disjuntos dois-a-dois,
ent
ao tem-se
T
B = [k; Bk , . . . , Bl ] e C = [m; Cm , . . . , Cn ]. Ent
ao,
AF
l
Y Yn
(B j (C)) = (Bi ) 1m+jl1 (Ci ) = (B)(C).
i=k i=m
Alem disso,
(A)2 (B)2 2(A) (B) < 2. (4.16)
2
es (4.14), (4.15), (4.16), conclumos que |(A) (A) | < 4.
Juntando as relaco
ario, deduzimos que (A) = (A)2 e, portanto, ou (A) = 0 ou
Como e arbitr
(A) = 1.
Quando X e um espaco topol ogico, e C e a sua -algebra de Borel, podemos
munir com a topologia produto que e, por definica o, a topologia gerada pelos
cilindros [m; Am , . . . , An ] onde os conjuntos Am , . . . , An s
ao abertos de X. A
106 CAPITULO 4. ERGODICIDADE
T
topologia. O teorema de Tychonoff (veja [Dug66]) afirma que e compacto se
X for compacto.
Um caso particular importante ocorre quando X e um conjunto finito munido
da topologia discreta, na qual todo subconjunto e aberto. Dizemos que uma
o f : M M e transitiva se existe x M cuja trajet
transformaca oria f n (x),
n 0 e densa em . Deixamos a demonstraca o do pr
oximo resultado a cargo
do leitor (Exerccio 4.3):
Proposicao 4.14. Seja X um conjunto finito e = X N ou = X Z . Ent ao o
deslocamento : e uma aplicaca o contnua e transitiva. Alem disso, o
conjunto dos pontos peri
odicos de e denso em .
=
X
p i i
iX
o, etc. Supomos que cada
caracter i no teclado tem uma probabilidade positiva pi de ser digitado, a cada
T
finitas c
opias de Os Lusadas, conforme afirmamos. Na verdade, (4.17) prova
ainda mais: sempre com probabilidade total, as c opias do nosso poema ocupam
uma fracao positiva de todos os caracteres digitados. Em outras palavras, em
media, o macaco digita uma nova c opia de Os Lusadas a cada tantos anos.
4.2.4 Transforma
c
ao de Gauss
Como vimos na Secao ??, a transformacao de Gauss G(x) = 1/x [1/x] admite
uma probabilidade invariante que e equivalente a
` medida de Lebesgue, a saber:
Z
1 dx
AF
(E) = . (4.18)
log 2 E 1 + x
Proposiao 4.16. O sistema (G, ) e erg
c odico.
Este fato pode ser demonstrado por uma vers ao mais elaborada do metodo
que usamos na Seca o 4.2.2. Vamos esbocar o argumento da demonstraca o,
focando na principal dificuldade adicional.
Seja A um conjunto invariante com medida positiva. Queremos mostrar que
(A) = 1. Em primeiro lugar, continua sendo verdade que para quase todo
ponto a [0, 1] existe uma sequencia de intervalos Ik contendo a e tais que Gk
envia Ik bijetivamente e diferenciavelmente sobre (0, 1). Tais intervalos podem
ser encontrados da seguinte forma. Primeiramente, considere
1 1
I(1, m) = , ,
m+1 m
para cada m 1. Em seguida defina, por recorrencia,
I(k, m1 , . . . , mk ) = I(1, m1 ) Gk+1 I(k, m2 , . . . , mk )
para m1 , . . . , mk 1. Ent
ao, basta tomar para Ik o intervalo I(k, m1 , . . . , mk )
que contem a. O di ametro de Ik converge para zero quando k (isto ser a
verificado a seguir). Logo, tomando para a um ponto de densidade de A, temos
que
DR
(Ik A)
1 quando k . (4.19)
(Ik )
Por outro lado, embora a restrica o de Gk a cada Ik seja uma bijeca o dife-
renci
avel, ela n
ao e afim. Por essa raz
ao, nao temos o an
alogo da relaca
o (4.11)
neste caso. Esta dificuldade e contornada por meio do seguinte resultado, que
e um exemplo de controle da distorca o: e importante notar que a constante K
no enunciado e independente de Ik , E1 , E2 e, sobretudo, k.
Lema 4.17 (Distorcao limitada). Existe uma constante K > 1 tal que para todo
k 1 e todo intervalo Ik tal que Gk restrita a Ik e uma bijeca
o diferenci
avel,
tem-se
(Gk (E1 )) (E1 )
K
(Gk (E2 )) (E2 )
para quaisquer subconjuntos mensuraveis E1 e E2 de Ik .
108 CAPITULO 4. ERGODICIDADE
T
(G, ) pode ser obtida a partir dele. Tomemos E1 = Ik Ac e E2 = Ik . Ent
ao,
(Ik Ac )
(Ac ) K .
AF
(Ik )
Lema 4.19. Existe uma constante C > 1 tal que para todo k 1 e todo
DR
intervalo Ik tal que Gk restrita a Ik e uma bijeca
o diferenci
avel, tem-se
|(Gk )0 (x)|
C para quaisquer x e y em Ik .
|(Gk )0 (y)|
Portanto, a u
ltima estimativa no Lema 4.18 implica que
log |G0 g(z)| 0 2 para todo g e todo z. (4.20)
4.2. EXEMPLOS 109
T
de Lipschitz. Observe tambem que se x, y Ik entao
k1
|(Gk )0 (x)| X
log = log |G0 (Gj (x))| log |G0 (Gj (y))|
|(Gk )0 (y)| j=0
k
X
= log |G0 gj (Gj (x))| log |G0 gj (Gj (y))|
j=1
onde gj representa uma inversa local de G definida no intervalo [Gj (x), Gj (y)].
AF
Usando a estimativa (4.20), obtemos que
Xk k1
X
|(Gk )0 (x)| j j
log 2 |G (x) G (y)| = 2 |Gki (x) Gki (y)|. (4.21)
|(Gk )0 (y)| j=1 i=0
k1
X
|(Gk )0 (x)|
log k 0
2 2[i/2] |Gk (x) Gk (y)| 8|Gk (x) Gk (y)| 8.
|(G ) (y)| i=0
Demonstracao do Lema 4.17. Seja m a medida de Lebesgue em [0, 1]. O Lema 4.19
implica que
R
m(Gk (E1 )) E1
|(Gk )0 | dm m(E1 )
DR
= R C .
m(Gk (E2 )) E2
|(G k )0 | dm m(E 2)
1 1
m(E) (E) m(E),
2 log 2 log 2
T
Lembre que chamamos toro de dimens ao d ao quociente Td = Rd /Zd , ou seja,
o de equivalencia definida em R d
o espaco das classes de equivalencia da relaca
por x y x y Z . Este quociente herda de Rd uma estrutura de
d
AF
inteiros.
f A : Td T d ,
implica que o grau de f e igual a | det A|. Portanto, fA e invertvel se, e somente
se, | det A| = 1. Neste caso, a sua inversa e a transformacao fA1 induzida pela
matriz inversa A1 ; observe que A1 tambem e uma matriz com coeficientes
avel,
T
e, fA = em -quase todo ponto. Ent
ao, por unicidade da expans ao de
Fourier, devemos ter
AF
de todo k 6= 0 e infinita, como afirmamos. Ent ao a igualdade (4.23) juntamente
com (4.22) implica que ck = 0 para todo k 6= 0. Portanto, = c0 em m-quase
todo ponto. Isto prova a ergodicidade.
Para provar a recproca, suponha que A admite algum autovalor que e uma
raz da unidade. Ent ao o mesmo vale para A e, portanto, existe m 1 tal
que 1 e autovalor de Am . Como Am tem coeficientes inteiros, segue (veja o
Exerccio 4.12) que existe algum k Zd \ {0} tal que Am (k) = k. Fixe k e
considere a funcao L2 (m) definida por
m1
X m1
X
i i
([x]) = e2i(xA (k))
= e2i(A (x)k)
i=0 i=0
Ent
ao existem constantes C > 0 e < 1 tais que
T
1 1
3+ 5 3 5
u = > 1 > u = >0
2 2
e os respectivos autoespacos s
ao:
u 2 51 s 2 5+1
E = {(x, y) R : y = x} e E = {(x, y) R : y = x}.
2 2
PSfrag replacements
o F u de Rd , chamada folheaca
o tambem e invariante e a transformaca
W u (x)
x
o inst
o A expande dist
W s (x)
avel.
ancias ao
DR
Figura 4.1: Folheaca
o est
avel e folheaca
o inst
avel no toro
temporais
T
n1 n1
1X 1X
+ (x) = lim (fAj (x)) e (x) = lim (fAj (x)),
n n j=0 n n j=0
AF
avel de fA passando por cada ponto x Td .
inst
em toda folha de W u .
Demonstracao. De acordo com a propriedade (a) acima, d(fAj (x), fAj (y)) con-
verge para zero quando j . Como e contnua (logo uniformemente
contnua, uma vez que o domnio e compacto) isso implica que
tambem e zero. Isso implica + (y) existe e e igual a + (x). O argumento para
e inteiramente an alogo.
Lema 4.23. Dado qualquer ret angulo R Td , existe um conjunto mensur avel
YR X R tal que m(R \ YR ) = 0 e, dados quaisquer x e y em YR , existem
pontos x0 e y 0 em X R tais que x0 W s (x, R) e y 0 W s (y, R) e y 0 W u (x0 ).
R W s (x)
T
PSfrag replacements
x0
x
y W s (y)
y0
AF
angulo em Td
Figura 4.2: Ret
Defina YR = x X R : msx W s (x, R) \ X = 0 . Ent
ao YR tem medida total
em R. Dados x, y R considere a aplicaca
o
Esta aplicaca
o e afim e, portanto, tem a seguinte propriedade, que chamamos
continuidade absoluta:
T
dida total, obtemos que cada Xji intersecta Xji1 . Ent ao, + = e constante
na uniao de todos os Xji . Isto prova a nossa afirmaca
o.
Desta forma, mostramos que as medias temporais de qualquer funca o
contnua sao constantes em m-quase todo ponto. Consequentemente (veja o
Exerccio 4.7), o sistema (fA , m) e erg
odico.
4.3 Coment
arios sobre sistemas conservativos
O teorema ergodico de Birkhoff, provado nos anos trinta do seculo 20, deu s
olida
AF
fundamentacao matem atica para a hip
otese erg
odica de Boltzmann, mas deixou
totalmente em aberto a quest ao da veracidade da pr opria hip
otese ergodica.
Nesta seca
o vamos dar um panorama breve dos principais resultados obtidos
desde entao nesta direca
o.
dqi H dpi H
= e = , i = 1, . . . , d,
dt pi dt qi
H H H H
F = ,..., , ,...,
p1 pd q1 qd
tem divergente nulo (lembre a Secao 1.3.6), conclumos que o fluxo preserva a
medida de Liouville. Em consequencia (veja o Exerccio ??), a restrica
o do fluxo
a cada hipersuperfcie de energia Hc tambem tem uma medida invariante c ,
que e dada por
Z
ds
c (E) = para todo conjunto mensur avel E Hc
E kHk
116 CAPITULO 4. ERGODICIDADE
T
perguntar se, em geral, sistemas hamiltonianos s ao erg
odicos relativamente a `
medida invariante em (quase) toda hipersuperfcie de energia.
O primeiro grande resultado nesta direca o foi anunciado por Andrey Kolmo-
gorov em 1954 e foi, logo em seguida, substanciado pelos trabalhos de Vladimir
Arnold e J urgen Moser. Isto conduziu a uma teoria muito profunda, que e co-
nhecida como Teoria KAM em homenagem aos seus fundadores, e para qual
contriburam de maneira decisiva diversos outros matem aticos, com destaque
para ?? Haussmann, Michael Herman, Jean-Christophe Yoccoz e Eddy Zehn-
der, entre outros.
A afirmaca
o original de Kolmogorov pode ser apresentada da seguinte forma.
AF
Suponha que e uma trajet oria fechada do fluxo. Considere uma seca o H c
transversal ao fluxo em algum ponto p e seja f a transformaca o de Poincare,
ou seja, a trasformaca o de primeiro retorno do fluxo a . Veja a Figura 4.3.
Observe que f (p) = p e que e uma variedade de dimens ao 2d2. Dizemos que
a trajet
oria e elptica se todos os autovalores de Df (p) tem m odulo 1. Ent ao,
sob uma condic ao fraca de transversalidade, chamada condica o de tors ao, o
fluxo hamiltoniano n ao e erg
odico.
(b) a restrica
o de f a cada um destes crculos e conjugada a uma rotaca
o
T
irracional em S 1 ;
AF
implica que o fluxo n
f tem um u
uma pequena translaca
do Teorema 4.24.
ao e erg
odico.
tenham m
condica
de tors
odulo 1 precisamos supor que a transformaca
es f : U R d2
para qualquer d 2. Alem da condic ao de que todos os autovalores de Df (0)
o f e simpletica, uma
o mais forte do que apenas presevar a medida de Lebesgue. A condica
4.3.2 Bilhares
Na seca
o anterior discutimos a quest ao da ergodicidade no contexto geral de
sistemas hamiltonianos. Mas, na verdade, o contexto que interessava a Boltz-
mann era bem mais restrito. Os bilhares s ao sistemas que visam modelar, de
modo mais especfico, o comportamento dos gases ideais. Nesta seca o vamos
descrever esta noca
o e discutir brevemente algumas de suas propriedades.
Na sua forma mais simples, um bilhar e dado por um domnio conexo R2 ,
a mesa do bilhar, cujo bordo est a formado por um numero finito de curvas
118 CAPITULO 4. ERGODICIDADE
T
renciavel; por hipotese eles formam um conjunto finito C . Consideramos
uma partcula pontual em movimento retilneo uniforme dentro de , com cho-
ques elasticos com o bordo. Isto e, a cada encontro com \ C a partcula e
refletida, de tal forma que o a ngulo de incidencia e igual ao a
ngulo de reflex
ao.
Veja a Figura 4.4. Quando a partcula acerta um dos cantos ela e absorvida: a
trajetoria n
ao esta definida a partir da.
AF
PSfrag replacements
s0
0
T
Figura 4.5: Bilhares dispersivos
??
??
AF
1 tangente a
4.3.4
4.4
??
` variedade no ponto x. Para cada (x, v) T 1 M existe uma u
olicos
odicas
o consideramos que a transformaca
o f : M M est
odicas.
nica
geodesica : R M tal que ((0), 0 (0)) = (x, v). Alem disso, 0 (t) tem norma
1 para todo t. O fluxo geodesico e o fluxo definido em T 1 M por
a fixada e ana-
lisamos o espaco M1 (f ) das probabilidades invariantes por f , especialmente o
T
integrais de com relaca o a e em relaca
o a coincidem, qualquer que seja
a funcao mensur avel limitada . Em particular, considerando funcoes carac-
tersticas, conclumos que = .
claro que se 1 e 2 s
E ao probabilidades invariantes com respeito a ` trans-
formaca ao (1 t)1 + t2 tambem e probabilidade invariante, qualquer
o f ent
que seja t (0, 1). Isto significa que o espaco M1 (f ) das probabilidades invari-
antes e convexo. A proposicao que apresentamos a seguir afirma que as medidas
erg
odicas sao os elementos extremais deste convexo:
Proposi ao 4.28. Uma probabilidade invariante e erg
c odica se, e somente se,
AF
ao e possvel escreve-la na forma = (1 t)1 + t2 com t (0, 1) e 1 , 2
n
probabilidades invariantes distintas.
Demonstracao. Para provar a parte se, suponha que n ao e ergodica. Ent
ao
existe algum conjunto invariante A com 0 < (A) < 1. Defina 1 e 2 como
sendo as restrico
es normalizadas de a A e ao seu complementar, respectiva-
mente:
(E A) (E Ac )
1 (E) = e 2 (E) = .
(A) (Ac )
Como A e Ac s ao conjuntos invariantes e e medida invariante, 1 e 2 s ao
tambem probabilidades invariantes. Alem disso,
= (A)1 + (Ac )2
e portanto n
ao e extremal. Para provar a recproca, suponha que e erg
odica
e temos = (1 t)1 + t2 com t (0, 1). E claro que (E) = 0 implica
1 (E) = 2 (E) = 0, ou seja, 1 e 2 s
ao absolutamente contnuas com relaca o
a . Logo, pela Proposica
o 4.27, 1 = = 2 . Isto prova que e extremal.
Em seguida vamos mostrar que medidas erg
odicas distintas vivemem sub-
conjuntos disjuntos do espaco M : ??
Lema 4.29. Seja {i : i I} uma famlia finita ou enumer avel de proba-
DR
bilidades invariantes e erg odicas, todas distintas. Entao existem subconjuntos
mensur aveis {Pi : i I} disjuntos dois-a-dois, tais que
1 se j = k
f 1 (Pi ) = Pi e j (Pk ) =
0 se j 6= k.
Demonstraca o. Fixe qualquer par j, k de n umeros distintos em {1, . . . , N }.
Pelo Proposica o 4.27, a medida j n ao pode ser absolutamente contnua com
relaca
o a k . Em outras palavras, existe algum subconjunto mensur avel Aj,k
tal que j (Aj,k ) > 0 mas k (Aj,k ) = 0. Denote Bj,k = n=0 f n
(A j,k ). Ent
ao
j (Bj,k ) > 0, uma vez que Bj,k contem Aj,k , e k (Bj,k ) = 0, uma vez que k e
invariante. Alem disso, e imediato da definica
o que
[
f 1 (Bj,k ) = f n (Aj,k ) Bj,k .
n=1
4.4. PROPRIEDADES DE MEDIDAS ERGODICAS 121
Denote Cj,k =
n=0 f
n
(Bj,k ). Por um lado,
T
\
f 1 (Cj,k ) = f n (Bj,k ) = Cj,k , (4.27)
n=1
uma vez que a sequencia f n (Bj,k ) e decrescente. Por outro lado, o Teo-
rema 0.13 d
a que
Logo, por ergodicidade, j (Cj,k ) = 1. Alem disso, k (Cj,k ) = 0 uma vez que
AF
Cj,k Bj,k . Agora defina
\ [
Dj = Cj,k e Pj = Dj \ Dk .
k6=j k6=j
T
de abertos. Ent
ao a restrica
o de f ao suporte de e transitiva.
Demonstracao. Comece por notar que supp tem base enumer avel de abertos,
por ser um subespaco de M , e e um espaco de Baire, uma vez que e fechado
em M . Sejam U e V abertos de supp . Pela definica o do suporte, (U ) > 0
e (V ) > 0. Defina B = k=1 f k
(U ). Ent ao (B) > 0, porque B U , e
f 1 (B) B. Por ergodicidade (veja o Exerccio 4.1) segue que (B) = 1. Ent ao
B deve intersectar V . Isto prova que existe k 1 tal que f k (U ) intersecta V .
Pelo Lema 4.30, segue que a transformaca o f : supp supp e transitiva.
AF
4.5 Teorema da decomposi
c
ao erg
odica
No caso de subconjuntos convexos em dimens ao finita tem-se que todo elemento
do convexo pode ser escrito como combinaca o convexa dos elementos extremais.
Por exemplo, todo ponto num tri angulo no plano pode ser escrito como com-
binaca
o convexa dos vertices do tri
angulo.
Na sequencia dos resultados da Seca o 4.4, e natural perguntar se a mesma
propriedade vale no espaco das probabilidades invariantes, ou seja, se toda me-
dida invariante e uma combinaca o linear de medidas erg odicas. O teorema
que apresentamos nesta seca o mostra que a resposta e afirmativa, exceto que
o n
umero de parcelas nesta combinaca o n
ao e necessariamente finito, nem
mesmo enumer avel. Veja os exemplos a seguir:
Exemplo 4.32. Considere f : [0, 1] [0, 1] dada por f (x) = x2 . As medidas
de Dirac 0 e 1 s
ao invariantes e erg
odicas para f . Tambem e claro que x = 0
e x = 1 sao os u
nicos pontos recorrentes por f e portanto toda probabilidade
invariante satisfaz ({0, 1}) = 1. Em particular, = ({0})0 + ({1})1 e
uma combinaca o convexa (finita) de medidas ergodicas.
Exemplo 4.33. Considere f : T2 T2 dada por f (x, y) = (x+y, y). A medida
de Lebesgue m no toro e preservada por f . Observe que todo crculo horizontal
Hy = S 1 {y} e invariante por f e a restrica
o f : Hy Hy e a rotaca
o Ry .
DR
Seja my a medida de Lebesgue em Hy . Observe que my tambem e invariante
por f . Alem disso, my e erg
odica sempre que y e irracional. Por outro lado,
pelo teorema de Fubini,
Z
m(E) = my (E) dy para todo conjunto mensur avel E. (4.28)
T
da partica o permite munir P de uma estrutura de
o que o contem. Esta projeca
espaco de probabilidade, da seguinte forma. Primeiramente, dizemos que um
subconjunto Q de P e mensur avel se, e somente se, a pre-imagem
1 (Q) = uni
ao dos elementos P de P que pertencem a Q
e um subconjunto mensur f
avel de M . E acil ver que esta definica
o est
a correta:
a famlia B dos subconjuntos mensuraveis e uma -algebra em P. Em seguida,
definimos a medida quociente por
(Q) = ( 1 (Q))
AF
para cada Q B.
-quase todo P P;
(a) P (P ) = 1 para
A relaca
o (d) significa que e uma combinaca o convexa das v
arias proba-
bilidades ergodicas P , em que cada P entra com coeficienteigual a (P ).
O item (b) assegura que a integral em (d) est a bem definida. Observe tambem
que a afirmaca o P M1 (M ) dada por
o em (b) equivale a dizer que a aplicaca
P 7 P e mensur avel (veja o Exerccio 4.17).
DR
4.5.2 Desintegra
c
ao de uma medida
Vamos deduzir o Teorema 4.34 de um resultado de Teoria da Probabilidade, o
teorema da desintegraca
o de Rokhlin, que tem muitas outras aplicaco
es. Para
enunciar este teorema precisamos da seguinte noca
o.
-quase todo P P;
(a) P (P ) = 1 para
o P R, P 7 P (E) e mensur
(b) a aplicaca avel;
R
(c) (E) = P (E) d (P ).
124 CAPITULO 4. ERGODICIDADE
T
bilidade, com uma - algebra B e uma probabilidade
. As P s
ao chamadas
probabilidades condicionais de relativamente a P.
??
(E Pi )
i (E) = avel E M.
para cada conjunto mensur
(Pi )
AFao {
Ent P
A pr
1 , . . . , n }
n
(E) = i=1
Esta construca
No pr
Z
m(E) = my (E) dm(y)
oxima proposica
quando existem. A hip
o da medida relativamente a P, j
e uma desintegraca
({Pi })i (E) para todo conjunto mensur
o de M em crculos horizontais
S 1 {y}, y S 1 . Seja m a medida de Lebesgue em T2 , seja m a medida de Le-
besgue em S 1 , e denote por my a medida de Lebesgue (medida de comprimento)
em cada crculo horizontal S 1 {y}. Pelo teorema de Fubini,
avel E T2 .
o de m relativamente a P.
ao essencialmente u nicas,
o e muito geral: ela e satisfeita, por
ogico com base enumer avel de abertos
o de QA , obtemos que
Atentando para a definica (QA ) = 0 para todo A A.
T
Um argumento an alogo mostra que (RA ) = 0 para todo A A. Entao
[
QA R A
AA
AF
Exemplo 4.39. Seja f : S 1 S 1 uma rotaca o irracional e seja P a partica
o
de S 1 cujos elementos s rbitas {f n (x) : n Z} de f . Suponha que existe
ao as o
uma desintegracao {P : P P} da medida de Lebesgue com relaca o a P.
Considere os iterados {f P : P P} das probabilidades condicionais. Como
os elementos da partica
o s
ao conjuntos invariantes, f P (P ) = P (P ) = 1 para
P 7 f P (E) = P (f 1 (E))
e uma funca
o mensuravel. Alem disso, como e uma medida invariante,
Z Z
1 1
(E) = (f (E)) = P (f (E)) d (P ) = f P (E) d(P ).
4.5.3 Parti
co
es mensur
aveis
Dizemos que P e uma particao mensur
avel se, restrita a algum subconjunto
de M com medida total, ela e o limite de uma sequencia n ao-decrescente de
partico
es enumer
aveis. Mais precisamente, a partica
o e mensur
avel se existe
algum conjunto mensur avel M0 M com medida total tal que, restrito a M0 ,
_
P= Pn
n=1
ao-decrescente P1 P2 Pn de partico
para alguma sequencia n es
enumeraveis. Lembre que Pi Pi+1 significa que todo elemento de Pi+1 est a
126 CAPITULO 4. ERGODICIDADE
T
Pi+1 . Alem disso, P
n=1 n
e a parti
cao menos fina tal que
_
Pn Pn para todo n.
n=1
Os seus elementos s
ao as interseco ao vazias da forma
es n n=1 Pn com Pn Pn
para todo n. Veja tambem o Exerccio 4.16.
imediato da definica
E o que toda partica
o enumer avel e mensur f
avel. E acil
dar exemplos de partico
es mensur aveis n
ao enumer aveis:
AF
Exemplo 4.40. Seja M = T2 , munido da medida de Lebesgue m, e seja P
o de M nos crculos horizontais S 1 {y}. Ent
a partica ao P e uma partica
o
mensur avel. Para ver isso, considere
Pn = {S 1 I(i, n) : i = 1, . . . , 2n},
Exemplo 4.41. Seja f : M M uma transformaca o mensur avel tal que (f, )
odica. Seja P a partica
e erg o de M cujos elementos s ao as o
rbitas de f . Ent ao
P nao e mensur avel, a menos que f possua alguma o rbita com medida total. De
fato, suponha que existe uma sequencia P1 P2 Pn de partico es
enumer aveis tal que P = P
n=1 n restrito a algum conjunto com medida total.
Esta ultima condicao implica que quase toda o rbita de f est
a contida em algum
elemento Pn da partica o Pn . Em outras palavras, a menos de um conjunto com
medida nula, todo elemento de Pn e invariante por f . Por ergodicidade, segue
que para cada n existe exatamente um Pn Pn tal que m(Pn ) = 1. Denote
P = n=1 Pn . Entao P e um elemento da particao n=1 Pn = P, ou seja, e uma
o
rbita de f e tem m(P ) = 1.
DR
Teorema 4.42 (Desintegraca o de Rokhlin). Suponha que o espaco metrico M
avel e que P e partica
e completo separ o mensur
avel. Ent
ao a probabilidade
o relativamente a P.
admite alguma desintegraca
O Teorema 4.42 ser a provado na Secao 4.6. Pode mostrar-se que a hip
otese
de que P e mensur avel e tambem necess
aria para a conclus
ao do teorema (veja
o Exerccio 4.18).
4.5.4 Demonstra
c
ao do teorema
Neste momento vamos usar o Teorema 4.42 para provar o teorema da decom-
posica odica. Seja U uma base enumer
o erg avel de abertos de M e seja A a
lgebra gerada por U. Note que A e enumer
a avel e que ela gera a -
algebra de
odico de Birkhoff, para cada A A existe um
Borel de M . Pelo teorema erg
4.5. TEOREMA DA DECOMPOSIC ERGODICA
AO 127
conjunto MA M com (MA ) = 1 tal o tempo medio de visita (A, x) est a bem
T
definido para todo x MA . Considere M0 = AA MA . Note que (M0 ) = 1,
uma vez que a interseca o e enumer avel.
Agora considere a partica o P de M0 definida da seguinte forma: dois pontos
x, y M0 est ao no mesmo elemento de P se, e somente se, (A, x) = (A, y)
para todo A A. Afirmamos que esta partica o e mensuravel. Para mostrar
esse fato, considere uma enumeraca o qualquer {Ak : k N} dos elementos da
lgebra A e seja {qk : k N} uma enumeraca
a o dos n umeros racionais. Para
cada n N, considere a partica o Pn de M0 definida da seguinte forma: dois
pontos x, y M0 est ao no mesmo elemento de Pn se, e somente se, para todo
i, j {1, . . . , n},
AF
ou (Ai , x) qj e (Ai , y) qj
ou (Ai , x) > qj e (Ai , y) > qj .
claro que cada Pn e uma partica
E o finita (com n
2
ao mais de 2n elementos).
Segue imediatamente da definica o que x e y estao no mesmo elemento de
n=1 Pn
se, e somente se, (Ai , x) = (Ai , y) para todo i. Em outras palavras,
_
P= Pn .
n=1
f P (P ) = P (f 1 (P )) = P (P ) = 1
uma vez que todo P P e um conjunto invariante. Alem disso, dado qualquer
DR
avel E M , a funca
conjunto mensur o
P 7 f P (E) = P (f 1 (E))
e mensur
avel e, usando o fato de que e invariante por f ,
Z Z
(E) = (f 1 (E)) = P (f 1 (E)) d (P ) = f P (E) d
(P ).
P , denotemos por C a classe dos conjuntos mensur aveis E para os quais valem
T
estas propriedades. Por construca o, C contem a a lgebra geradora A. E claro
que C e fechado para diferencas: se E1 , E2 C ent
ao
AF
a definido e e constante em M0 P . Estas observaco
est es mostram que C e uma
-
algebra. Segue que ela contem a - algebra de Borel de M .
Isto conclui a demonstracao do Teorema 4.34 a partir do Teorema 4.42.
4.6.1 Esperan
cas condicionais
Seja : M R uma funca o mensur avel limitada qualquer. Para cada n 1,
defina en () : M R da seguinte forma:
Z
1
d se (Pn (x)) > 0
en (, x) = (Pn (x)) Pn (x) (4.29)
0 caso contr
ario.
T
o. Inicialmente, suponha que 0. Para cada < , seja S(, )
Demonstraca
o conjunto dos pontos x M tais que
AF
que
eaxi (, x) < e ebxi (, x) > para todo i 1.
Defina Ai como sendo a uniao dos elementos Ai (x) = Paxi (x) e Bi como sendo a
ao dos elementos Bi (x) = Pbxi (x) obtidos deste modo, para todos os pontos
uni
x S. Por construca
o, S Ai+1 Bi Ai para todo i 1. Em particular, S
est
a contido no conjunto
\
\
Se = Bi = Ai .
i=1 i=1
Como Ai Bi e n
os estamos supondo que 0, segue que
Z Z
(Ai ) d d (Bi ),
Ai Bi
As demais afirmaco es s
ao consequencias simples da definica
o. A mensura-
T
bilidade de e() segue diretamente da Proposica o 0.27. Dado que Pn e menos
fina que P, e claro que en () e constante em cada P P, restrito a um subcon-
junto de M com medida total. Logo o mesmo vale para e(). Isto prova (b).
Observe tambem que |en ()| sup || para todo n 1. Logo, podemos usar
o teorema da convergencia dominada para passar ao limite em (4.30). Desta
forma obtemos a afirmaca o (c).
AF
M . Observe que
4.6.2
por U. E
Constru
A e enumer
c
e(, x) = lim
o P que intersectam
(PA ) = 1. Alem disso, definimos E(A) : PA R colocando
E(A, P ) = e(, x) para qualquer x M P . Observe que e() = E(A) .
Logo, a funca
o E(A) e mensur
Z
avel e satisfaz:
Z Z
d = e() d = E(A) d (4.32)
lgebra gerada
algebra de Borel de M . Observe tambem que
avel: ela coincide com a uni
P =
\
ao das a
PA
lgebras (finitas) geradas pelos
subconjuntos {Uk : 1 k n}, para cada n 1. Defina:
(4.31)
AA
DR
Ent
ao
(P ) = 1, j
a que a interseca avel. Para cada P P , defina:
o e enumer
O proximo objetivo e mostrar que esta funcao pode ser estendida a uma
medida de probabilidade (que ainda denotaremos por P ) definida na - algebra
de Borel de M . A ideia da prova e a seguinte. Consideramos o espaco produto
= {0, 1}N, munido da topologia gerada pelos cilindros
T
espaco metrico completo, mostraremos que a aplicaca
o
: M , (x) = XUk (x) kN
AF
uma extens ao da funca
Fn = nk=1 Vk ,
DR
onde Vk = Ukc se ik = 0 e Vk = U l(k) se ik = 1. Entao (Fn )n e uma sequencia
decrescente de conjuntos fechados. A condica o (A) garante que Fn 6= para
todo n 1. As condico
es (B) e (C) implicam que o di ametro de Fn converge
para zero. Entao, como M e um espaco completo, a interseca o n Fn contem
algum ponto x. Por construca
o, Fn esta contido em nk=1 Ukik para todo n. Segue
que
\
x Ukik ou seja (x) = (ik )k .
k=1
de uni
oes e interseco es enumeraveis. Dado k N, seja N (k) o conjunto das
T
k-uplas (a1 , . . . , ak ) em {0, 1} tais que U1a1 Ukak 6= . A condica
o (A)
corresponde ao subconjunto
\ [
[a1 , . . . , ak ].
k=1 (a1 ,...,ak )N (k)
AF
Finalmente, dado k N, seja L(k) o conjunto dos l > k tais que U
diam Ul diam Uk /2. A condica
\ [
k=1 a1 ,...,ak1
o (C) corresponde ao subconjunto
[a1 , . . . , ak1 , 0]
[ [
o do lema.
o : M (M ) e uma bijeca
l U k e
o mensur
avel com
(4.34)
T
P () = 1.
Seja (An )n uma sequencia decrescente de elementos de A tal que n An = .
Por compacidade, existe k 1 tal que An = para todo n k. Em particular,
P (An ) = 0 para todo n k. De acordo com o Teorema 0.12, isto implica que
o P : A [0, 1] e -aditiva. Logo, pelo Teorema 0.11, P se estende a
a funca
uma medida de probabilidade definida na - algebra de Borel de . A definica
o
(4.36) implica ?? que
[ X
P Cj = P Cj = 1.
j j
AF
para toda cobertura {Cj } de (M ) por cilindros disjuntos. Tomando o nfimo
sobre todas as coberturas, conclumos que P ((M )) = 1.
Ent
4.6.3 Conclus
ario 4.45, a imagem 1 P e uma probabilidade boreliana
ao, pelo Corol
em M . Por definica
o e pela relaca
ao da demonstra
o 4.35).
o (a). Seja P P e, para cada n N, seja Pn
o Pn que contem P . Observe que se A A e tal que
A Pn = para algum n, ent ao,
(A Pm )
P (A) = E(A, P ) = lim = 0,
DR
m (Pm )
T
uma classe mon otona. De fato, suponha que B e a uni ao de uma sequencia
crescente (Bj )j de conjuntos para os quais estas s
ao propriedades s
ao v
alidas.
Entao, pela Proposica
o 0.27
P 7 P (B) = sup P (Bj ) e uma funca
o mensur
avel
j
AF
mon
M.
4.7
otona gerada por A, ou seja (Teorema 0.15), toda a -
Exerccios
3. f (B) B
es:
1. B f 1 (B)
2. f 1 (B) B
4. (Bf 1 (B)) = 0.
a completa.
T
1. (f, ) e erg
odico;
S
2. para todo A mensur
avel com (A) > 0 temos que ( f n (A)) = 1;
n0
4. a convergencia na condica
o (c) da Proposica
o 4.4 vale para alguma escolha
de p, q e algum subconjunto denso de funco es Lp () e Lq ();
6. toda funca
o mensur
o invariante Lp () e constante em
5. existe p [1, ] tal que toda funca
1. Mostre que a o
odica para f :
o contnua limitada
o para a Proposica
o contnua qualquer.
n1
1X
(x)
= lim (Rj (x)) (4.37)
n n
DR
j=0
T
seja um autovalor racional. Mostre que existe algum autovetor com coeficien-
tes inteiros, ou seja, algum k Zd \ {0} tal que Ak = k.
4.13. Seja f : M M uma transformaca o e seja uma medida invariante.
Seja g t : N N uma suspens ao de f e seja a suspensao correspondente da
medida f (veja a Seca o 2.4.2). Mostre que e ergodica para g t se, e somente
se, e erg
odica para f . ??
??
??
AF
PSfrag replacements
0
1/3 F
1/2 .
2/3
1
T
limitada : X R;
R
o M R, x 7 dx e mensur
3. a aplicaca avel, para toda funca
o men-
avel limitada : X R;
sur
o M R, x 7 x (E) e mensur
4. a aplicaca avel, para todo conjunto men-
avel E M .
sur
4.18. Seja M um espaco metrico completo separ avel. Mostre que se P satisfaz a
conclus
ao do Teorema 4.42, isto e, se admite uma desintegraca
o relativamente
a P, ent o P e mensur
ao a partica avel.
AF
Dica: Seja {P : P P} uma desintegraca
sur
sur
avel.
o de relativamente a
: M R,
(P ).
DR
138 CAPITULO 4. ERGODICIDADE
T
AF
DR
T
Captulo 5
Unicidade erg
odica
AF
Este captulo e dedicado a uma classe especial de sistemas din
aplicaca
o espetacular destas ideias.
Ao longo do captulo, a menos de menca
amicos, caracteri-
zada pela propriedade de possuirem exatamente uma probabilidade invariante.
es equivalentes desta propriedade e
nica medida invariante. Em seguida, apresen-
139
140 CAPITULO 5. UNICIDADE ERGODICA
T
(b) f admite uma u
nica probabilidade invariante;
o contnua : M R, a sequencia das medias orbitais
(c) para toda funca
Pn1
n1 j=0 f j converge uniformemente para uma constante;
o contnua : M R, a sequencia das medias orbitais
(d) para toda funca
Pn1
n1 j=0 (f j (x)) converge em todo ponto para uma constante.
Demonstracao. E claro que (c) implica (d), uma vez que convergencia uniforme
implica convergencia pontual. Para ver que (d) implica (a), suponha que e
AF
sao probabilidades erg odicas de f . Ent
ao, dada qualquer funca
o contnua
: M R,
R
1
n1
X d em -quase todo ponto
lim (f j (x)) =
n n R
j=0 d em -quase todo ponto.
Como, por hip
otese, o limite n
ao depende do ponto x, segue que
Z Z
d = d
para toda funcao contnua : M R. Pela Proposica o 0.56, isso implica que
= . E f
acil ver que (a) implica (b). De fato, como toda medida invariante e
uma combinaca o convexa de medidas erg odicas (Teorema 4.34), se existe uma
u
nica probabilidade erg odica ent
ao a probabilidade invariante e, igualmente,
u
nica.
Resta mostrar que (b) implica (c). Comece por lembrar que f admite alguma
probabilidade invariante (pelo Teorema 2.1). A ideia e mostrar que se (c) n ao
vale ent
ao existe outra probabilidade diferente de e, portanto, (b) tambem
nao vale. Suponha ent ao que (c) nao vale, isto e, que existe alguma funcao
Pn1
contnua : M R tal que n1 j=0 f j n
ao converge uniformemente para
R
nenhuma constante; em particular, n ao converge uniformemente para d.
DR
o, isto significa que existe > 0 tal que para todo k 1 existe
Por definica
nk k e existe xk M tal que
Z
1 nXk 1
(f (xk )) d .
j
(5.1)
nk j=0
T
e invariante por f . Por outro lado, o fato de que (k )k converge para na
topologia fraca implica que
Z Z nk 1
1 X
d = limk dk = lim j .
k nk j=0 f (xk )
Ent
ao, lembrando (5.1), temos que
Z Z
d d .
AF
Em particular, 6= . Isto mostra que (b) n
5.2 Minimalidade
ao V est
no complementar do suporte. Portanto supp e um conjunto fechado.
Tambem e f acil ver que o suporte de qualquer medida invariante e um
conjunto invariante, no seguinte sentido: f (supp ) supp . De fato, seja
x supp e seja V uma vizinhanca qualquer de y = f (x). Como f e contnua,
f 1 (V ) e uma vizinhanca de x. Ent
o
/ supp ent
ao
a toda contida
f j (x)
/ U supp para todo j 0. (5.2)
T
tambem o item 3 do Exerccio 2.1) temos que (U ) = 0. Isto implica que ne-
nhum ponto de U est a no suporte de , contradizendo o fato de que U supp
e n
ao vazio.
A recproca da Proposica
o 5.2 e falsa em geral:
Teorema 5.3 (Furstenberg). Existe um difeomorfismo analtico f : T2 T2
que e minimal, preserva a medida de Lebesgue m no toro, mas n
ao e erg
odico
para m. Em particular, f nao e unicamente erg
odico.
A demonstracao deste resultado pode ser encontrada no artigo original de
AF
Furstenberg [Fur61] ou no livro de Ma
ne [Ma
n87]. Na Seca
o 5.3.6 detalharemos
outro exemplo de transformacao minimal que n
ao e unicamente erg odica. ??
5.3 Exemplos
Nesta seca
o discutiremos alguns exemplos de sistemas unicamente erg
odicos.
5.3.1 Rota
co
es em toros
Fixe d 1 e um vetor racionalmente independente = (1 , . . . , d ). Conforme
vimos na Seca o R : Td Td e erg
o 4.2.1, a rotaca odica para a medida de
Lebesgue m no toro. Agora o nosso objetivo e mostrar que, na verdade, R e
unicamente ergodica.
De acordo com a Proposica
o 5.1, basta mostrar que para toda funca o contnua
: Td R existe c R tal que
n1
1X
n = Rj converge para c em todo ponto. (5.3)
n j=0
R
Tomemos c = d. Por ergodicidade, a sequencia (n )n das medias orbitais
DR
converge para c em m-quase todo ponto. Em particular, n (x) c para um
conjunto denso de valores de x Td .
ancia induzida no toro Td = Rd /Zd pela norma usual em Rd : a
Seja d a dist
dist
ancia entre dois pontos quaisquer do toro e o mnimo das dist ancias entre
os seus representantes em Rd . E claro que a rotaca
o R preserva esta dist
ancia:
Entao, usando que e contnua, dado qualquer > 0 podemos encontrar > 0
tal que
d(x, y) < d(Rj (x), Rj (y)) < |(Rj (x)) (Rj (y))| <
T
Isto nos permite usar o Teorema de Ascoli para provar a afirmaca o (5.3), do
seguinte modo. Suponha que existe x Td tal que (n (x))n nao converge para
c . Entao existe c 6= c e alguma subsequencia (nk )k tal que nk (x) converge
para c quando k . Pelo teorema de Ascoli, a menos de tomarmos uma
subsequencia, podemos supor que (nk )k e uniformemente convergente. Seja
o seu limite. Ent ao e uma funca
o contnua tal que (x) = c para um
d
conjunto denso de valores de x T mas ( claro
x) = c e diferente de c . E
que tal funca
o nao existe. Esta contradica
o prova a nossa afirmacao de que R
e unicamente erg odica.
AF
5.3.2
Os od
Od
ometros
ometros, ou m
de quil
aquinas de somar, modelam sistemas tais como o contador
ometros percorridos de um autom
eletricidade de um predio: a sua din
d(, 0 ) = 2N (, )
0
ovel. ou o registro de consumo de
amica consiste em fazer avancar o contador
de uma unidade. A principal diferenca com relaca
contadores idealizados comportam um n
o a
` realidade e que estes
umero ilimitado de dgitos.
Fixe d 2, que representa a base de numeraca
uencias
ancia
o (por exemplo, d = 10).
= (0 , 1 , 2 , . . . , k1 , k , k+1 , . . .)
onde N (, 0 ) = min{j 0 : j 6= j0 }.
Se 0 < d 1, ent ao
f (0 , 1 , 2 , . . . , k1 , k , k+1 , . . .) = (0 + 1, 1 , 2 , . . . , k1 , k , k+1 , . . .).
DR
Se 0 = d 1 mas 1 < d 1, ent ao
f (0 , 1 , 2 , . . . , k1 , k , k+1 , . . .) = (0, 1 + 1, 2 , . . . , k1 , k , k+1 , . . .).
Em geral, se 0 = = k1 = d 1 mas k < d 1, ent ao
f (0 , 1 , 2 , . . . , k1 , k , k+1 , . . .) = (0, 0, 0, . . . , 0, k + 1, k+1 , . . .).
T
Lembre que um grupo topol ogico e um grupo (G, ) munido de uma topologia
relativamente a
` qual as operaco
es
G G G, (g, h) 7 gh e G G, g 7 g 1 (5.6)
s
ao contnuas. Em tudo o que segue suporemos que a topologia e tal que todo
conjunto pontual e um conjunto fechado. Quando G e uma variedade e as
operacoes em (5.6) s aveis, dizemos que (G, ) e um grupo de Lie.
ao diferenci
Veja o Exerccio 5.2.
O espaco euclideano Rd e um grupo topol ogico, e ate um grupo de Lie, para
AF
o e o mesmo vale para o toro Td . Lembre que Td e o quociente de Rd pelo
a adica
seu subgrupo Zd . Esta construca o pode ser generalizada da seguinte forma:
Exemplo 5.5. Subgrupos. ??
Exemplo 5.6. Dado qualquer subgrupo normal fechado H de um grupo to-
pol
ogico G, seja G/H o conjunto das classes de equivalencia para a relaca
o de
equivalencia definida em G por x y x1 y H. Represente por xH a
classe de equivalencia que contem cada x G. Considere a seguinte operacao
de grupo em G/H:
xH yH = (x y)H.
A hip otese de que H e subgrupo normal assegura que esta operaca
o est
a bem
definida. Seja : G 7 G/H a projeca o canonica, dada por (x) = xH.
Considere em G/H a topologia quociente, definida da seguinte forma: uma
o : G/H X e contnua se, e somente se, : G X e contnua.
funca
A hip otese de que H e fechada assegura que todo subconjunto pontual e um
subconjunto fechado de G/H. Segue facilmente das definico es que G/H e um
grupo topol ogico. Lembre tambem que se G e abeliano ent ao todos os seus
subgrupos s ao normais.
Exemplo 5.7. O conjunto G = GL(d, R) das matrizes reais invertveis de di-
mensao d e um grupo de Lie para a operaca o de multiplicaca
o de matrizes,
DR
chamado grupo linear real de dimens ao d. De fato, G pode ser identificado com
2
um aberto do espaco euclideano R(d ) e portanto tem uma estrutura natural
de variedade. Alem disso, segue diretamente das definico
es que a multiplicaca
o
o A 7 A1 s
de matrizes e a aplicaca ao diferenci
aveis para esta estrutura dife-
renci
avel. G contem diversos subgrupos de Lie importantes, tais como o grupo
especial linear SL(d, R) das matrizes com determinante igual a 1, e o grupo
ortogonal O(d, R) formado pelas matrizes ortogonais.
Dado qualquer g G, chamamos g-translaca
o a
` esquerda e g-translaca
o a
`
direita, respectivamente, as aplicaco
es
T
dizemos que se trata de um automorfismo.
Exemplo 5.8. Seja A GL(d, Z), isto e, uma matriz invertvel de dimens
ao
d com coeficientes inteiros. Ent
ao, como vimos na Seca
o 4.2.5, A induz um
endomorfismo fA : Td Td . Pode mostrar-se que todo endomorfismo do toro
e desta forma.
AF
induzida pela reta, n
ao e localmente compacto.
O seguinte teorema e o ponto de partida da teoria erg
odica dos grupos to-
pol
ogicos localmente compactos:
Exemplo 5.10. Medida de Haar em O(d, R). Medida de Haar em GL(d, R).
??
DR
No caso em que o grupo G e compacto, segue do Teorema 5.9 que existe
uma u
nica probabilidade que e invariante pelas translaco
es a
` esquerda, positiva
em abertos e finita em compactos. Esta probabilidade G e chamada medida de
Haar. Ela disfruta de algumas propriedades adicionais:
T
lidade G . Dado qualquer h G, escolha algum g 1 (h). Observe que
Eh = Eg . Logo,
(Eh ) G = (Eg ) G = G .
AF
(Eg ) G = (g)G .
5.3.4 Transla
co
es em grupos compactos
Nesta seca
o sempre suporemos que o grupo topol ogico e compacto e metrizavel.
Comecamos por observar que e sempre possvel escolher a dist
ancia de tal forma
que ela seja invariante por toda translaca
o:
Lema 5.12. Se G e um grupo topol ogico compacto metriz avel ent
ao existe al-
guma dist ancia compatvel com a topologia de G relativamente a` qual todas as
translaco
es, tanto a
` esquerda quanto a
` direita, s
ao isometrias.
Demonstracao. Seja (Un )n uma base de vizinhancas do elemento neutro 1 de
G. Pelo Lema 0.57, para cada n existe uma funca o contnua n : G [0, 1] tal
que n (1) = 0 e (z) = 1 para todo z G \ Un . Defina
X
: G [0, 1], (z) = 2n n (z).
n=1
T
(b) Eg e erg
odica com respeito a G ;
Demonstraca o. E claro que (a) implica (b). Para provar que (b) implica (c),
considere a distancia invariante d dada pelo Teorema ??. Seja H o fecho do
{g n : n Z} e e considere a funca
o contnua
AF
Observe que esta funca
G (H 6= G) > 0, j
a funca
o n
ser erg
invari
odica para G .
o e invariante para Eg : usando que gH = H, obtemos:
Finalmente, para mostrar que (c) implica (a), vamos mostrar que se e uma
probabilidade invariante por Eg , ent
ancia de , temos
Z
ao = G . Para ver isso, basta verificar
que e invariante para toda translaca ` esquerda em G. Fixe h G. Pela
o a
(x) d(x) =
Z
(g n x) d(x)
R R
ario, segue que d = Eh d para toda funca
Como e arbitr o contnua
e todo h G. Isto implica que e invariante por Eh para todo h G,
conforme afirmado.
148 CAPITULO 5. UNICIDADE ERGODICA
T
Figura 5.1: Interc
ambio de intervalos
5.3.5 Interc
ambios de intervalos
AF
Por definica
o, um interc
` direita.
o do intervalo [0, 1)
o finita do intervalo em subintervalos
o a cada subintervalo e uma translaca
Veja a Figura 5.1. Para fixar ideias, tomaremos os subintervalos fechados a
esquerda e abertos a
Como consequencia direta da definica o, todo interc
serva a medida de Lebesgue em [0, 1). Estas transformaco es exibem uma din
amica
oes importantes com diversos outros sistemas, tais como
os bilhares em mesas poligonais, os fluxos conservativos em superfcies e os flu-
xos de Teichm
que os interc
uller. Por exemplo, a construcao que esbocamos a seguir mostra
es
Observe que X e tem os mesmos zeros e que nos demais pontos o n ucleo
de coincide a direca
o do campo de vetores. A 1-forma permite definir um
DR
comprimento transversal de curvas c : [a, b] S, da seguinte forma:
Z Z b
`(c) = = c(t) (c(t))
dt.
c a
Note que as trajet orias do fluxo tem comprimento transversal nulo mas para
curvas transversais ao fluxo, ` e equivalente a ` medida de Lebesgue na curva.
Pode mostrar-se que a 1-forma e fechada se, e somente se, X preserva a rea.
Entao, usando o teorema de Green, as transformaco es de Poincare do fluxo
preservam o comprimento transversal. Com uma hip otese adicional sobre os
zeros de X, a transformaca o f : de primeiro retorno a uma seca o
transversal qualquer est a definida e e contnua exceto num numero finito de
pontos da seca
o . Ent ao, parametrizando pelo comprimento transversal de
arco, f e um interc
ambio de intervalos. ??
5.3. EXEMPLOS 149
T
primeiro deles, de natureza combinatoria, diz respeito ao n
umero de subinterva-
los e a
` ordem destes subintervalos e de suas imagens dentro do intervalo [0, 1).
Isso pode ser informado da seguinte forma: atribumos a cada subintervalo um
r
otulo (uma letra, por exemplo), atribumos a ` sua imagem o mesmo r otulo e
listamos esses rotulos em duas linhas horizontais, na ordem respectiva. Por
exemplo, no caso da Figura 5.1, obtemos
T C A M
= .
M A C T
AF
Note que a escolha dos r aria. Denotamos por A, e chamamos de
otulos e arbitr
alfabeto, o conjunto dos r
otulos escolhidos.
O segundo ingrediente, de natureza metrica, diz respeito aos comprimentos
dos subintervalos. Ele pode ser informado por meio de um vetor de coordenadas
positivas, indexadas pelos rotulos escolhidos e que determinam o comprimento
do intervalo respectivo (e tambem da sua imagem). No caso da Figura 5.1 este
vetor de comprimentos tem a forma
= (T , C , A , M ).
Exemplo 5.16. O caso mais simples de interc ambio de intervalos ocorre quando
T
temos dois subintervalos. Veja a Figura 5.2. Escolhendo o alfabeto A = {A, B},
temos
A B x + B para x IA
= e f (x) =
B A x A = x + B 1 para x IB .
AF
Como vimos anteriormente, uma rotaca
os r
otulos a
odica s
e redutvel, pois os r
mentos , o interc
=
otulos a
o R do crculo e minimal se, e somente
se, e irracional. Alem disso, nesse caso R tambem e unicamente erg
cutir como estes fatos se estendem ao contexto mais amplo dos interc
intervalos.
Comecamos por uma observaca
Dizemos que uma combinat
o que n ao tem an
B X O L F D
X O B F D L
` esquerda da quarta posica
o s
odica.
umero e irracional, isto significa que minimalidade e
ao tpicas na famlia das rotacoes. Nesta seca
o vamos dis-
ambios de
T
2. Se e irredutvel e e racionalmente independente ent
ao (, ) satisfaz
a condica
o de Keane.
AF mB 6= A + n e A + mB 6= A + n
ao f m (x) = x + mC m
Ent
Keane significa que os n
=
odulo n
umeros
claro que isto acontece se, e somente se, o
vetor A , B ) e racionalmente independente.
{mC , A + mC , A + B + mC } e disjunto de {A + n, A + B + n}
pC
/ {q, A + q} para todo p Z e q Z.
DR
Isto pode valer mesmo quando (A , B , C ) e racionalmente dependente.
A = C , B = D e A /B = C /D e irracional. Ent ao (, ) n
ao satisfaz a
condica
o de Keane condition e, no entanto, f e minimal.
152 CAPITULO 5. UNICIDADE ERGODICA
T
camente erg odica. Isto ainda e valido para interc
ambios de 3 intervalos, mas n
ao
no caso geral. De fato, Keane deu um exemplo de um interc ambio de 4 intervalos
onde e irredutvel, e racionalmente independente e, no entanto, f tem duas
probabilidades erg odicas. ?? Keane conjecturou que, assim mesmo, deveria ser
verdade que quase todo interc ambio de intervalos e unicamente erg odico. Um
resultado fundamental da teoria dos interc ambios de intervalos, obtido indepen-
dentemente por Howard Masur e William Veech, afirma que esta conjectura e
verdadeira:
Teorema 5.22 (Masur, Veech). Suponha que e irredutvel. Ent ao para Le-
AF
besgue quase todo vetor de comprimentos o interc
ambio de intervalos definido
por (, ) e unicamente erg
odico.
Um pouco antes, Michael Keane and Gerard Rauzy provaram que unicidade
erg
odica vale para um conjunto residual (segunda categoria de Baire) de vetores
de comprimento sempre que a combinat oria e irredutvel.
De acordo com o Exerccio 5.4, isto equivale a dizer que, para todo segmento
I S 1 , a fraca
o dos termos da sequencia que est
ao em I e igual ao comprimento
m(I) do segmento.
T
considerar o caso especial d = 1. Neste caso a funca
o polinomial resume-se a
P (x) = a0 + a1 x. Consideremos a transformaca
o
f : S1 S1, f () = + a1 .
AF
1X
lim (f j ()) = dm.
n n j=1
ao, f j () = a0 + a1 j = zj . Ent
Considere = a0 . Ent ao a relaca
o anterior d
a
n Z
1X
lim (zj ) = dm.
n n
j=1
5.4.1 Ergodicidade
Agora vamos estender os argumentos acima para qualquer grau d 1. Para
o f : Td Td definida no toro d-dimensional
isso introduzimos a transformaca
d
T pela seguinte expressao:
f (1 , 2 , . . . , d ) = (1 + , 2 + 1 , . . . , d + d1 ), (5.8)
Demonstraca
o. Vamos usar um argumento de expans ao em serie de Fourier,
T
an o 4.7. Seja : Td R uma funca
alogo ao da Proposica o em L2 (m). Escre-
vemos X
() = an e2in
nZd
onde = (1 , . . . , d ) e n = (n1 , . . . , nd ) e n = n1 1 + + nd d e
X Z
|an |2 = |()|2 d1 dd < . (5.9)
nZd
AF
Observe que
X
(f ()) = an e2i(n1 (1 +)+n2 (2 +1 )+nd (d +d1 ))
nZd
X
= an e2in1 e2iL(n)
nZd
Isto implica que an e aL(n) tem o mesmo valor absoluto. Por outro lado, a
relaca
o de integrabilidade (5.9) implica que existe no maximo um n umero finito
de termos com um dado valor absoluto n ao-nulo. Conclumos que an = 0 para
todo n Zd cuja o rbita Lj (n), j Z seja infinita. Observando a express ao de
L deduzimos que an = 0 exceto, possivelmente, se n2 = = nd = 0. Alem
disso, para os valores de n restantes, ou seja, para n = (n1 , 0, . . . , 0), tem-se que
L(n) = n e portanto a relaca o (5.10) torna-se
an = an e2in1 .
DR
Como e irracional, o ultimo fator e diferente de 1 sempre que n1 e n ao-nulo.
Portanto esta relaca a que an = 0 tambem para n = (n1 , 0, . . . , 0) com n1 6= 0.
o d
Deste modo, mostramos que se e uma funca o invariante ent
ao todos os termos
da sua expansao em serie de Fourier se anulam exceto, possivelmente, o termo
constante. Isto mostra que e constante em quase todo ponto, e isso prova que
a medida de Lebesgue e erg odica para f .
T
caso de grau 1 foi tratado anteriormente. Portanto, so precisamos explicar como
o caso de grau d pode ser deduzido do caso de grau d 1. Para isso, escrevemos
Td = Td1 S 1 e
onde 0 = (1 , . . . , d1 ) e f0 (0 ) = (1 + , 2 + 1 , . . . , d1 + d2 ). Por
induca
o, a transformaca o
f0 : Td1 Td1
odica. Representamos por : Td Td1 a projeca
e unicamente erg o () = 0 .
AF
Lema 5.27. Se e uma probabilidade invariante por f ent
ao a projeca
o
coincide com a medida de Lebesgue m0 em Td1 .
Demonstraca avel E Td1 ,
o. Dado qualquer conjunto mensur
ao {0 } S 1 est
Lema 5.28. Se 0 G0 (m) ent a contido em G(m).
T
Demonstracao. A observaca
o crucial e que a medida m e invariante por toda a
transformaca
o da forma
R : Td1 S 1 Td1 S 1 , (, ) 7 (, + ).
AF
j=0
o contnua : Td R,
para todo j 1. Portanto, dada qualquer funca
n1 n1
1X 1X
lim (f j (0 , + )) = lim ( R )(f j (0 , ))
n n j=0 n j=0
Z Z
= ( R ) dm = dm.
Demonstraca
o. Isto segue imediatamente das Proposico
es 5.1 e 5.26.
5.4. TEOREMA DE WEYL 157
5.4.3 Demonstra
c
ao do teorema de Weyl
T
Para completarmos a demonstraca o do Teorema 5.24, introduzimos as funco
es
polinomiais p1 , . . . , pd definidas por
pd (x) = P (x) e
(5.15)
pj1 (x) = pj (x + 1) pj (x) para j = 2, . . . , d.
Lema 5.30. O polin omio pj (x) tem grau j, para todo 1 j d. Alem disso,
p1 (x) = x + com = d!ad .
Demonstracao. Por definica
o, pd (x) = P (x) tem grau d. Logo, para mostrar a
AF
primeira afirmaca
o basta mostrar que se pj (x) tem grau j ent ao pj1 (x) tem
grau j 1. Para isso, escreva
onde bj 6= 0. Ent
ao
Usando a definica
o (5.15) e o Lema 5.30, obtemos que esta express
ao e igual a
T
e equidistribuda. Vamos tratar dois casos separadamente.
Em primeiro lugar, suponha que o coeficiente guia ad de P (x) e irracional.
Entao o numero no Lema 5.30 e irracional e, portanto, os resultados da
Seca
o 5.4.2 s
ao v o f : Td Td . Seja : S 1 R
alidos para a transformaca
uma funcao contnua qualquer. Considere : Td R definida por
(1 , 2 , . . . , d ) = (d ).
AF lim
1X
n n
n1
j=0
(zn ) = lim
j=0
e um n
e peri
zn = x n + y n ,
xn+q xn =
n
Z
xn = a d n d
q
Z
(f ()) = dm = dx.
e yn = Q (n)
5.5 Exerccios
5.1. Seja f : M M um od
ometro, tal como foi definido na secca
o 5.3.2.
5.5. EXERCICIOS 159
T
n1
1X
(x)
= lim (f j (z))
n n
j=0
AF
medida de qualquer subconjunto [b0 , b1 , . . . , bk ] das seq
uencias com 0 =
b 0 , 1 = b 1 , . . . , k = b k .
5.2. Seja G uma variedade e seja uma operaca o de grupo em G tal que a
avel. Mostre que g 7 g 1 tambem e dife-
o (g, h) 7 g h e diferenci
aplicaca
renci
avel.
5.3. Seja G um espaco topol ogico compacto e seja uma operaca o de grupo em
o (g, h) 7 g h e contnua. Mostre que g 7 g 1 tambem e
G tal que a aplicaca
contnua.
5.4. Mostre que uma sequencia e equidistribuda no crculo se, e somente se,
para todo segmento I S 1 tem-se
1
lim #{1 j n : zj I} = m(I)
n n
onde m(I) representa o comprimento de I.
5.5. Prove o Corol
ario ??, usando os argumentos das Proposico
es 5.25 e 4.7.
5.6. Prove o item (c) do Teorema 5.9: um grupo localmente compacto G e
compacto se, e somente se, a sua medida de Haar e finita.
DR
Dica: Suponha que (xn )n e uma sequencia em G sem ponto de acumulaca o
ent
ao para todo compacto K existe uma subsequencia (xnj )j tal que os conjun-
tos xnj K = {xnj g : g K} s
ao disjuntos dois-a-dois.
avel e seja g G. Mostre que s
5.7. Seja G um grupo compacto metriz ao
equivalentes:
1. Eg e unicamente erg
odica;
2. Eg e transitiva: existe x G tal que {g n x : n Z} e densa em G;
3. Eg e minimal: {g n y : n Z} e densa em G para todo y G.
5.8. Prove o Lema 5.17.
160 CAPITULO 5. UNICIDADE ERGODICA
T
AF
DR
T
Captulo 6
Correlaco
es
AF
Os modelos de sistemas din
mente, transformaco
vertvel, a trajet
aleat
amicos em que estamos interessados mais direta-
es e fluxos, s
Cn (, ) =
ao determinsticos: o estado do sistema em
qualquer momento determina toda a trajet oria futura; quando o sistema e in-
oria passada fica igualmente determinada. No entanto, estes sis-
temas podem apresentar tambem comportamento de tipo estoc
orio): num nvel mais grosseiro que o das trajet
formacao sobre o passado vai sendo esquecida a
es de duas funco
Z
n
astico (ou seja,
orias individuais, in-
` medida que o sistema e iterado.
es mensur
( f ) d
Z
aveis , : M R e
d
Z
d.
161
162 CAPITULO 6. CORRELAC
OES
T
o f : M M uma transformaca
Seja f uma transformaca o mensur avel e seja
uma probabilidade invariante. Dizemos que o sistema (f, ) e misturador, se
AF
6.1.1
fraca:
Propriedades
Um sistema misturador e necessariamente erg
R no crculo S 1 e erg
claro da definica
E
dor, para todo k N. A afirmaca
odico. De fato, suponha que existe
algum conjunto invariante A M com 0 < (A) < 1. Tomando B = Ac
vem que f n (A) B = para todo n. Logo, (f n (A) B) = 0 para todo
n, enquanto que (A)(B) 6= 0. Em particular, (f, ) n ao e misturador. O
exemplo a seguir mostra que ergodicidade e uma propriedade estritamente mais
ao (f k , ) e mistura-
o (6.1) que se (f, ) e misturador ent
o correspondente para ergodicidade e falsa: a
o f (x) = 1 x no conjunto {0, 1} e erg
aplicaca odica para a medida ( 0 + 1 )/2
mas o segundo iterado f 2 n ao e.
Lema 6.2. Suponha que limn (f n (A) B) = (A)(B) para todo par de
DR
conjuntos A e B em alguma a lgebra A geradora da -
algebra dos conjuntos
mensuraveis. Ent
ao (f, ) e misturador.
(f n (A) B) (f n (Ak ) B) = (f n (A \ Ak ) B)
(f n (A \ Ak )) = (A \ Ak ) < .
6.1. SISTEMAS MISTURADORES 163
Para k k0 fixado, o fato de que Ak C garante que existe n(k) tal que
T
|(f n (Ak ) B) (Ak )(B)| < para todo n n(k).
AF
o conjunto mensur avel: para todo conjunto mensur avel A tem-se
Resta deduzir que esta propriedade vale para todo conjunto mensur
avel B. Isto
e inteiramente analogo aos argumentos que acabamos de detalhar, pelo que
deixamos a verificaca
o a cargo do leitor.
Exemplo 6.3. Todo deslocamento de Bernoulli (lembre da Seca o 4.2.3) e mis-
turador. De fato, dados dois cilindros A = [p; Ap , . . . , Aq ] e B = [r; Br , . . . , Bs ]
quaisquer, tem-se
(f n (A) B) = ([r; Br , . . . , Bs , X, . . . , X, Ap , . . . , Aq ])
= ([r; Br , . . . , Bs ])([p; Ap , . . . , Aq ]) = (A)(B)
para todo n > s p. Seja A a a lgebra gerada pelos cilindros: os seus elementos
s
ao as uni
oes finitas disjuntas de cilindros. Segue do que acabamos de dizer que
(f n (A) B) = (A)(B) para todo par de conjuntos A, B A e todo n
suficientemente grande. Como A gera a - algebra dos conjuntos mensur aveis,
podemos usar o Lema 6.2 para concluir que o sistema e misturador, tal como
foi afirmado.
DR
Exemplo 6.4. Seja f : S 1 S 1 a transformaca o definida por g(x) = kx,
onde k 2 e um n umero inteiro, e seja m a medida de Lebesgue m no crculo.
O sistema (g, m) e equivalente a um deslocamento de Bernoulli, no seguinte
sentido (estas ideias ser ao analisadas em mais detalhe na Seca
o 7.1). Considere
o deslocamento em M = X N .
X = {0, 1, . . . , k 1} e seja f : M M a aplicaca
Considere a medida produto = N em M , onde e a probabilidade definida
por (A) = #A/k para todo A X. A aplicaca o
X an1
h : M S1, h (an )n =
n=1
kn
e uma bijeca
o, restrita a um subconjunto com medida total, e tanto ela quanto
a sua inversa sao mensur aveis. Alem disso, h = m e h f = g h em quase
todo ponto. Dizemos que h e uma equivalencia erg odica entre (g, m) e (f, ).
164 CAPITULO 6. CORRELAC
OES
Por meio dela, propriedades podem ser traduzidas de um sistema para o outro.
T
Em particular, lembrando do Exemplo 6.3, obtemos que (g, m) e misturador:
dados quaisquer conjuntos mensuraveis A, B S 1 ,
m g n (A) B = h1 (g n (A) B) = g n (h1 (A)) h1 (B)
(h1 (A))(h1 (B)) = m(A)m(B) quando n .
AF
n n0 . Isto e parecido, mas estritamente mais forte do que a hip otese do
Lema 4.30: l a pedimos que f n (U ) intersecte V para algum n, enquanto que
agora queremos que isso aconteca para todo n suficientemente grande.
f : XZ XZ (ou f : X N X N )
T
Dizemos que o sistema (f, ) e fracamente misturador, se dados quaisquer con-
aveis A, B M ent
juntos mensur ao:
n1 n1
1X 1X
lim Cj (XA , XB ) = lim |(f j (A) B) (A)(B)| = 0. (6.2)
n n j=0 n n
j=0
claro da definica
E o que todo sistema misturador e tambem fracamente mistu-
rador. Por outro lado, todo sistema fracamente misturador e ergodico. De fato,
se A M e conjunto invariante ent ao
AF
Exemplo 6.7. Translaco
lim inf
n
1X
n1
n j=0
lim
n
n1
X
j=0
Cj (XA , XAc ) = (A)(Ac )
1
|(f j (U ) V ) (U )(V )| (U )(V ) > 0.
2
ao fra-
` medida de Haar (ou qualquer outra
medida invariante positiva em abertos). De fato, conforme observado no Exem-
plo 6.6, e sempre possvel escolher abertos U e V tais que f n (U ) V e vazio
para um em cada dois valores consecutivos de n. Ent
T
f2 : M M M M dado por f2 (x, y) = (f (x), f (y)). E f
acil ver que f2
preserva a medida produto 2 = . Se (f2 , 2 ) e erg odico entao (f, ) e
ergodico: basta notar que se A M e conjunto invariante para f com (A)
(0, 1) entao A A e conjunto invariante para f2 com 2 (A A) (0, 1).
A recproca nao e verdadeira em geral, ou seja, (f2 , 2 ) pode n
ao ser ergodico
mesmo que (f, ) seja erg odico. Por exemplo, se f e uma rotaca o irracional
em S 1 e d e uma dist ancia invariante por rotaco
es, entao qualquer vizinhanca
{(x, y) : d(x, y) < r} da diagonal e um conjunto invariante para f f .
O proximo resultado mostra que este tipo de fen
omeno n
ao ocorre na cate-
goria dos sistemas fracamente misturadores:
AF
Proposiao 6.11. As seguintes condico
c
(a) (f, ) e fracamente misturador;
Portanto, a hip
lim
n
otese (a) implica que
n1
1 X
n j=0
Segue que
n1
1 X
DR
lim 2 (f2j (X) Y ) 2 (X)2 (Y ) = 0
n n j=0
para quaisquer X, Y na a lgebra gerada pelos produtos E F de subconjun-
tos mensuraveis de M , ou seja, a algebra das uni
oes finitas disjuntas de tais
produtos. Como esta a lgebra gera a -algebra dos subconjuntos mensur aveis
de M M , podemos usar o Lema 6.9 para concluir que (f2 , 2 ) e fracamente
misturador.
E imediato que (b) implica (c). Para provar que (c) implica (a), observe que
n1
X 2
(f j (A) B) (A)(B)
j=0
n1
X
= (f j (A) B)2 2(A)(B)(f j (A) B) + (A)(B)2
j=0
6.1. SISTEMAS MISTURADORES 167
T
n1
X
2 f2j (A A) (B B) 2 (A A)2 (B B)
j=0
n1
X
2(A)(B) (f j (A) B) (A)(B) .
j=0
AF
lim
n n
j=0
6.1.3 Caracteriza
c
ao espectral
Nesta seca
o discutimos formulaco
es equivalentes das noco
es de sistema mistu-
rador e fracamente misturador, em termos do operador de Koopman.
Proposiao 6.12. As seguintes condico
c es s
ao equivalentes:
(a) (f, ) e misturador.
(b) Cn (, ) 0 para quaisquer Lp () e Lq () com p, q [1, ] e
1/p + 1/q = 1.
o do item (b) vale em algum subconjunto denso de L p () e algum
(c) A condica
subconjunto denso de Lq ().
Demonstraca o. A condica
o (a) e o caso particular de (b) para funco
es carac-
tersticas. Como as funco
es
Z Z Z
(, ) 7 ( f n ) d d d
DR
s o (a) implica que Cn (, ) 0 para quaisquer funco
ao bilineares, a condica es
simples e . Isto implica (c), uma vez que as funco es simples formam um
subconjunto denso de Lr () para qualquer r 1.
Para mostrar que (c) implica (b), comecemos por observar que as correlac oes
Cn (, ) s es equicontnuas de e . De fato, dadas 1 , 2 Lp () e
ao funco
1 , 2 Lq (), as desigualdade de H older (Teorema 0.49) da que
Z Z
(1 f n )1 d (2 f n )2 d k1 2 kp k1 kq + k2 kp k1 2 kq .
Alem disso,
Z Z Z Z
1 d 1 d 2 d 2 d k1 2 k1 k1 k1 + k2 k1 k1 2 k1 .
168 CAPITULO 6. CORRELAC
OES
T
obtemos que:
Cn (1 , 1 ) Cn (2 , 2 ) 2k1 2 kp k1 kq + 2k2 kp k1 2 kq (6.3)
AF
Proposi
c
Cn (, ) Cn (0 , 0 ) + 2(kkp + kkq + 2) para todo n.
ao equivalentes:
Portanto, a Proposica
o 6.12 d
a que (f, ) e misturador se, e somente se,
n
lim Uf ( 1) = 0 para todo , L2 () (6.4)
n
e a Proposica
o 6.13 d
a que (f, ) e fracamente misturador se, e somente se,
n
1 X j
lim Uf ( 1) = 0 para todo , L2 (). (6.5)
n n
j=1
R
A condicao (6.4) significa que Ufn converge fracamente para 1 = d,
enquanto que (6.5) e uma vers ao Cesaro dessa afirmaca
o. Compare as duas
condico
es com a caracterizacao da ergodicidade em (4.7).
6.2. DESLOCAMENTOS DE MARKOV 169
T
Nesta seca
o introduzimos uma importante classe de sistemas, que generaliza
a classe de deslocamentos de Bernoulli. Como vimos anteriormente, desloca-
mentos de Bernoulli modelam sequencias de experimentos identicos em que o
resultado de cada experimento e independente dos demais. Na definica o dos
deslocamentos de Markov abandonamos essa condica o de independencia, mas
supomos que cada resultado depende apenas dos resultado imediatamente an-
terior. De fato, como comentaremos na Secao 6.3.3, deslocamentos de Markov
podem ser usados para modelar os processos com mem oria finita, isto e, tais que
existe k 1 tal que cada resultado depende apenas dos k resultados anteriores.
AF
Para definir um deslocamento de Markov, consideremos um espaco men-
avel (X, A) e seja M = X N (ou M = X Z ) o espaco das sequencias em X,
sur
munido da - algebra produto. Consideraremos o deslocamento
f : M M, f (xn )n = (xn+1 )n .
T
exatamente uma medida estacion aria, a saber p = . A definica o (6.7) d
a
Z Z Z
[m; Am , . . . , An ] = d(xm ) d(xm+1 ) d(xn )
Am Am+1 An
AF
Pi,j = P (i, {j}), 1 i, j d. (6.8)
P = (Pi,j )1i,jd
T
existe algum autovetor v com entradas postivas. De fato, > || para qualquer
outro autovalor de A. Alem disso, o autovalor tem multiplicidade 1 e e o
u
nico autovalor de A que admite algum autovetor com entradas n ao-negativas.
Uma demonstraca o do teorema de Perron-Fr
obenius pode ser encontrada no
livro de Meyers [Mey00], por exemplo. Aplicando este teorema a` matriz A = P ,
conclumos que existem 0 e p 6= 0 com pi 0 para todo i, tais que
d
X
pi Pi,j = pj , para todo 1 j d.
i=1
AF
Somando sobre i = 1, . . . , d obtemos que
Comparando as duas u
de p e um n
d X
X
pi
d
j=1 i=1
i=1
pi Pi,j =
Pi,j =
j=1
Xd
pi .
d
X
j=1
i=1
pj .
1a a 0 0 0
DR
b 1b 0 0 0
P = 0 0 1 c c 0
0 0 d 1d 0
e 0 0 0 1e
T
Pxn ,xn+1 > 0 para todo n. (6.12)
AF
Demonstraca
o.
apresentaremos na pr
e erg
estoc
odico.
No pr
o do Exemplo 6.17 h a tres possibilidades para o
suporte de uma medida de Markov. Se p = (p1 , p2 , 0, 0, 0) com p1 , p2 > 0 ent
podemos eliminar os smbolos 3, 4, 5. Todas as sequencias nos smbolos 1, 2 s
admissveis. Logo supp = {1, 2}N . Analogamente, se p = (0, 0, p3 , p4 , 0) com
p3 , p4 > 0 ent
p1 , p2 , p3 , p4 > 0. Eliminando o smbolo 5, temos que o conjunto das sequencias
admissveis e
MP = {1, 2}N {3, 4}N.
ao tem medida positiva. Portanto, neste caso
o deslocamento de Markov (f, ) n
oxima seca
ao e erg
odico. Mas segue da teoria que
o que nos dois primeiros casos o sistema (f, )
Lema 6.20. Seja P uma matriz estoc astica e seja p = (p1 , . . . , pd ) uma soluca
o
de P p = p. Para cada n 0, denote por Pi,j n
, 1 i, j d as entradas da
DR
matriz P n . Entao:
Pd n
(a) j=1 Pi,j = 1 para todo 1 i d e todo n 1;
Pd n
(b) i=1 pi Pi,j = pj para todo 1 j d e todo n 1;
Demonstraca o. A condica
o (ii) na definica
o de matriz estocastica pode ser es-
crita como P u = u, onde u = (1, . . . , 1). Entao P n u = u para todo n 1. Isto
e apenas outra maneira de escrever o item (a). Analogamente, P p = p implica
que (P )n p = p para todo n 1, o que e outra maneira de escrever o item (b).
Observe que H e o complemento ortogonal do vetor u. Como u e invariante por
P , segue que H e invariante pela matriz transposta P .
6.2. DESLOCAMENTOS DE MARKOV 173
6.2.1 Ergodicidade
T
Nesta seca
o sempre suporemos que p = (p1 , . . . , pd ) e uma P o de P p = p
soluca
com pi > 0 para todo i, normalizada de tal forma que i pi = 1. Seja
a respectiva medida de Markov. Queremos entender que condico es a matriz
estoc
astica P deve satisfazer para que (f, ) seja erg odico.
Dizemos que a matriz estoc astica P e irredutvel se para todo 1 i, j d
n
existe n 0 tal que Pi,j > 0. Em outras palavras, P e irredutvel se for possvel
passar de qualquer resultado i a qualquer resultado j num certo n umero n de
passos (que depende de i e j).
Teorema 6.21. O deslocamento de Markov (f, ) e erg
odico se, e somente se,
AF
a matriz P e irredutvel.
O restante da presente seca
o e dedicado a
` prova deste teorema. Comecamos
por provar a seguinte estimativa u til:
Lema 6.22. Sejam A = [m; am , . . . , aq ] e B = [r; br , . . . , bs ] cilindros de M com
r > q. Ent
ao:
Parq,b
(A B) = (A)(B) q r .
p br
o. Podemos escrever A B como uma uni
Demonstraca ao disjunta
[
AB = [m; am , . . . , aq , xn+1 , . . . , xr1 , br , . . . , bs ],
x
(A B) = (A)(B)Parq
q ,br
/pbr ,
Demonstraca
o. Suponha que vale (6.13). Lembre que pj > 0 para todo j.
l
ao, dados quaisquer 1 i, j d, tem-se Pi,j
Ent > 0 para infinitos valores de l.
Em particular, P e irredutvel.
174 CAPITULO 6. CORRELAC
OES
Para provar a recproca, considere A = [0; i] e B = [1; j]. Pelo Lema 6.22:
T
n1 n1
1X 1 1X l
(A f l (B)) = (A)(B) Pi,j .
n pj n
l=0 l=0
De acordo com o Exerccio 4.5, o lado esquerdo desta igualdade converge quando
n . Portanto,
n1
1X l
Qi,j = lim Pi,j
n n
l=0
AF
Segue que Qi,j n
P k Q = lim
1 X k+l
n
l=0
P
n
= lim
n
n1
1X l
l=0
1X l
n n
P .
i=1
pi Qi,j = pj
n1
P = Q.
l=0
(6.15)
(6.16)
d
X d
X
k k
Qs,j = Ps,i Qi,j < ( Ps,i )Qs,j = Qs,j ,
DR
i=1 i=1
Por outro lado, pelo Lema 6.22, temos que (Af l (B)) = pi Pi,j
l
. Substituindo
T
em (6.17) e cancelando pi em ambos os lados,
n1
1X l
lim Pi,j = pj .
n n
l=0
AF
lim (A f l (B)) = (A)(B) (6.18)
n n
l=0
Para a demonstraca
o do Teorema 6.24 precisamos do seguinte fato:
176 CAPITULO 6. CORRELAC
OES
T
l
lim Pi,j = pj para todo 1 i, j d. (6.19)
l
Demonstraca o. Como pj > 0 para todo j, por hip otese, e claro que (6.19)
l
implica que Pi,j > 0 para todo i, j e todo l suficientemente grande.
Agora suponha que P e aperi odica. Ent ao podemos aplicar o teorema de
Perron-Frobenius (Teorema 6.16) a ` matriz A = P . Como p e autovetor de A
com entradas positivas, obtemos que = 1 e todos os demais autovalores de A
s
ao menores que 1 em valor absoluto. Pelo Lema 6.20(c), o hiperplano H dos
vetores (h1 , . . . , hd ) tais que h1 + + hd = 0 e invariante por A. E claro que
H e transversal a ` direca
o de p. Ent ao a decomposica o
AF
e invariante por A e a restrica
Demonstraca
Rd = Rp H
o de A ao hiperplano H e uma contraca
sentido de que o seu raio espectral e menor que 1. Segue deste fato que a
sequencia (Al )l converge para a projeca
l
Portanto, limn Pi,j
Bi,j = pi
= Bj,i = pj para todo i, j.
o do Teorema 6.24. Suponhamos que a medida e misturadora.
o, no
Seja A = [0; i] e B = [1; j]. Pelo Lema 6.22, temos que (A f l (B)) = pi Pi,j
para todo l. Portanto,
l
pi lim Pi,j
l
= lim (A f l (B)) = (A)(B) = pi pj .
l
l
Cancelando pi em ambos os lados, obtemos que liml Pi,j
o Lema 6.25, isto prova que P e aperi
odica.
= pj . De acordo com
l
(6.20)
para quaisquer A e B na a lgebra gerada pelos cilindros. Uma vez que os elemen-
tos desta a
lgebra s
ao as uni
oes finitas disjuntas de cilindros, bastar tratar o caso
em que A e B s ao cilindros, digamos A = [m; am , . . . , aq ] e B = [r; br , . . . , bs ].
Pelo Lema 6.22,
1 rq+l
(A f l (B)) = (A)(B) P
pbr aq ,br
para todo l > q r. Ent
ao, usando o Lema 6.25,
1
lim (A f l (B)) = (A)(B) lim P rq+l
l pbr l aq ,br
1
= (A)(B) lim P l = (A)(B)
pbr l aq ,br
6.3. OUTROS EXEMPLOS 177
T
Exemplo 6.26. No Exemplo 6.17 obtivemos diversos tipos de medidas de Mar-
kov, dependendo da escolha do autovetor p. No primeiro, p = (p1 , p2 , 0, 0, 0) e a
medida esta suportada em {1, 2}N. Uma vez removidos os smbolos superfluos
3, 4, 5, a matriz estoc
astica se reduz a
1a a
P = .
b 1b
AF
tipo e inteiramente an alogo. No terceiro caso p = (p1 , p2 , p3 , p4 , 0) e, removido
o smbolo superfluo 5, a matriz estoc
astica se reduz a
1a a 0 0
b 1b 0 0
P = 0
.
0 1c c
0 0 d 1d
Exemplo 6.27. N
ao e difcil dar exemplos de matrizes irredutveis que n
ao s
ao
aperi
odicas:
0 1/2 0 1/2
1/2 0 1/2 0
P = 0 1/2 0 1/2 .
1/2 0 1/2 0
n
De fato Pi,j > 0 se, e somente se, n tem a mesma paridade que i j. Note que
1/2 0 1/2 0
0 1/2 0 1/2
DR
P2 =
1/2 0 1/2 0 .
0 1/2 0 1/2
O Exerccio 6.11 mostra que toda matriz irredutvel tem uma forma deste tipo.
Juntando este resultado com o Teorema 4.20 vemos que (fA , ) e misturador
T
se, e somente se, e erg
odico. A parte somente se do Teorema 6.28 e uma con-
sequencia imediata do Teorema 4.20. Quanto a ` recproca, vamos provar apenas
no caso particular em que A e hiperb olica (lembre da Seca o 4.2.6). O leitor
interessado pode encontrar a prova do caso geral, bem como extens oes destes
teoremas para endomorfismos de grupos compactos, nos livros de Petersen [?] e
Einsiedler, Ward [?].
??
6.3.2 Interc
ambios de intervalos
AF
Foi demonstrado por Katok [Kat80] que interc
ambios de intervalo nunca s
ao
misturadores:
Demonstraca o. E claro que podemos supor que e erg odica, pois caso contr
ario
a conclus ao e o
bvia. Se tem algum a tomo entao ela est
a suportada numa
o
rbita periodica e, portanto, n ao e misturadora. Logo, podemos supor que e
nao atomica. Denote por m a medida de Lebesgue no intervalo e considere a
aplicaca
o
h : [0, 1) [0, 1), h(x) = ([0, x]).
Ent ao h e um homeomorfismo tal que h = m. Consequentemente, a aplicaca o
g = h f h1 : [0, 1) [0, 1) tem um n umero finito de pontos de desconti-
nuidade e preserva a medida de Lebesgue. Em particular, a restrica o de g a
cada intervalo de continuidade e uma translaca o. Portanto, g tambem e um in-
terc claro que (f, ) e misturador se, e somente se, (g, m)
ambio de intervalos. E
e misturador. Portanto, para provar o Teorema 6.29 n ao e restrica
o supor que
e a medida de Lebesgue m. Faremos isso de ora em diante.
Nosso objetivo e achar um conjunto mensur avel X tal que m(X f n (X))
DR
2
ao converge para m(X) quando n . Seja d = #A.
n
Lema 6.30. Todo intervalo J = [a, b) contido em algum I admite uma partica o
{J1 , . . . , Js } em n
ao mais que d + 2 subintervalos da forma Ji = [ai , bi ) e admite
umeros naturais t1 , . . . , ts 1 tais que
n
Demonstraca
o. Seja B o conjunto formado pelos pontos extremos a, b de J
T
juntamente com os pontos I , A excetuada a origem. Ent
ao #B d + 1.
Seja BJ J o conjunto dos pontos x J para os quais existe m 1 tal que
f m (x) B e f n (x)
/ J para todo 0 < n < m. O fato de que f e injetiva,
juntamente com a definica
o de m, implica que a aplicaca
o
BJ B, x 7 f m (x)
AF
cada i existe ti 1 tal que f ti (Ji ) intersecta J. Tome ti mnimo com esta
propriedade. O item (a) do lema e uma consequencia imediata. Pela definica o
o de f ti ao itervalo Ji e uma translaca
de BJ , a restrica o, tal como afirmado no
item (b), e a sua imagem est a contida em J. Alem disso, as imagens f ti (Ji ),
1 i s s ao disjuntas duas-a-duas, uma vez que f e injetiva e os ti s ao os
tempos de primeiro retorno a J. Em particular,
s
X s
X
m(f ti (Ji )) = m(Ji ) = m(J)
i=1 i=1
e portanto si=1 f ti (Ji ) = J. Isto prova o item (c). O item (d) tambem segue
diretamente do fato de que f e injetiva e os ti s
ao os tempos de primeiro retorno
a J. Finalmente, o item (e) e uma consequencia direta do item (c).
f n (J) = f n (Ji ) = I
n=0 i=1 n=0
DR
Logo, pelo item (d) do lema, a famlia PJ = {f n (Ji ) : 1 i s e 0 n < ti } e
uma partica
o de I.
Lema 6.31. Dados > 0 e N 1 podemos escolher o intervalo J de tal forma
que diam PJ < e ti N para todo i.
Demonstraca claro que diam f n (Ji ) = diam Ji diam J para todo i e todo
o. E
n. Logo, diam PJ < desde que escolhamos J com di ametro menor que . Para
obter a segunda propriedade no enunciado, tome qualquer ponto x I tal que
f n (x) 6= I para todo 0 n < N e todo A. Afirmamos que f n (x) 6= x
para todo 0 < n < N . Caso contr ario, como f n e uma translaca
o na vizinhanca
de x, teramos f n (y) = y para todo ponto y nessa vizinhanca, contradizendo a
hip otese de que (f, m) e erg
odica. Isto prova a nossa afirmaca o. Agora basta
tomar J = [x, x + ) com < min0<n<N d(x, f n (x)) para garantir que ti N
para todo i.
180 CAPITULO 6. CORRELAC
OES
T
{ti,1 , . . . , ti,si } tais que ti,j ti e, dado qualquer conjunto A na a
lgebra AJ
gerada por PJ , existe ti,j tal que
1
m(A f ti,j (A)) m(A). (6.22)
(d + 2)2
Demonstraca o. Aplicando o Lema 6.30 a cada um dos intervalos Ji , 1 i s
obtemos si d + 2, uma partica o {Ji,j : 1 j si } do intervalo Ji e n
umeros
naturais ti,j tais que cada ti,j e o tempo de primeiro retorno dos pontos de Ji,j
claro que ti,j ti , j
a Ji . E a que ti e o tempo de primeiro retorno de qualquer
ponto de Ji ao intervalo J. O fato de que Ji,j f ti,j (Ji ) implica que
AF
si
[ si
[
f n (Ji ) = f n (Ji,j ) f ti,j (f n (Ji )) para todo n 0.
j=1 j=1
T
??
AF
bilineares, e natural considerar subconjuntos que s ao subespacos vetoriais.
Dizemos que (f, ) tem decaimento exponencial de correlaco es num dado
espaco vetorial V se existe < 1 e para todo , V existe A(, ) > 0 tal
que
Cn (, ) A(, )n para todo n 1. (6.24)
Temos noco es similares em que a exponencial n e substituda por qualquer
outra sequencia convergindo para zero.
Para ilustrar a teoria vamos analisar estas quest oes no contexto dos desloca-
mentos de Markov unilaterais. Isso nos permitir a introduzir diversas ideias que
serao utilizadas posteriormente (especialmente no Captulo ??) em situaco es
muito mais gerais.
Seja f : M M o deslocamento em M = X N , onde X = {1, . . . , d} e
um conjunto finito. Seja P = (Pi,j )i,j uma matriz estoc astica aperi
odica e seja
p = (pi )i o autovetor positivo de P , normalizado por p1 + + pd = 1. Seja
a medida de Markov definida em M por (6.7).
Considere L = G1 P G, onde G e a matriz diagonal cujas entradas s ao
p1 , . . . , pd . As entradas de L sao dadas por:
pj
Li,j = Pj,i para cada 1 i, j d.
pi
Lembre que denotamos u = (1, . . . , 1) e H = {(h1 , . . . , hd ) : h1 + + hd = 0}.
DR
Seja
V = {(v1 , . . . , vd ) : p1 v1 + + pd vd = 0}.
Ent
ao G(u) = p e G(V ) = H. Lembrando (6.20), segue que a decomposica
o
Rd = Ru V (6.25)
e invariante por L e todos os autovalores da restrica
o de L a V sao menores que
1 em valor absoluto. Dizemos que o opeador L tem lacuna espectral : o maior
autovalor e simples e o restante do espectro est
a contido num disco fechado com
raio estritamente menor.
Chamamos operador de transferencia a o linear L que a cada funca
` aplicaca o
: M R associa a funca o L : M R definida por
d
X
L(x1 , . . . , xn , . . . , ) = Lx1 ,x0 (x0 , x1 , . . . , xn , . . . ). (6.26)
x0 =1
182 CAPITULO 6. CORRELAC
OES
T
Z Z
(L) d = (Uf ) d (6.27)
AF
Z X
(L) d = pa1 Pa1 ,a2 Pan1 ,an (a1 , . . . , an )L(a1 , . . . , an ).
a1 ,...,an
Usando a definica
o do operador de transferencia, o lado direito desta express ao
e igual a
X
pa0 Pa0 ,a1 Pa1 ,a2 Pan1 ,an (a1 , . . . , an )(a0 , a1 , . . . , an ).
a0 ,a1 ,...,an
P
A propriedade Lu = u significa que j Li,j = 1 para todo j. Isto tem a seguinte
consequencia u
til:
sup |L| sup || para todo . (6.29)
DR
Tomando 1 em (6.27) obtemos o seguinte caso particular, que tambem ser
a
u
til a seguir: Z Z
L d = d para todo . (6.30)
T
definida por kk0 = sup ||.
Fixe qualquer n
umero entre 1 e o raio espectral de L restrito a V . Toda
o E0 pode ser escrita:
funca
Z Z
= c + v com c = d Ru e v = d V.
Ent
ao a propriedade de lacuna espectral implica que existe B > 1 tal que
Z
sup Ln d Bkk0 n para todo n 1. (6.31)
AF
Usando (6.28), segue que
Cn (, ) Bkk0 kk0 n
nencial de correlaco es em E0 .
para todo n 1.
E
K() = sup
|(x) (y)|
d(x, y)
e finito.
ao -H
older,
T
d
X
Lk (x) = Lx1 ,ak La2 ,a1 (a1 , . . . , ak , x1 , . . . , xn , . . . )
a1 ,...,ak =1
AF
i=1
Ent
ao, usando a propriedade (6.29),
6.5 Exerccios
T
Defina o espectro de um sistema din amico f preservando uma medida ergodica
, como o espectro (f ) do operador Uf : L2 () L2 (). Do mesmo modo,
defina o espectro simples s (f ) como o conjunto dos autovalores do operador
Uf .
1. s (f ) S 1 .
2. s (f ) e um subgrupo de S 1 .
AF
rador de Koopman associado.
o R : S 1 S 1 .
6.3. Calcule o espectro de uma rotaca
ent
ao e fracamente misturadora.
ao e tambem e
6.11. Seja P uma matriz estoc astica irredutvel. O objetivo e mostrar que
existe 1 e uma partica
o de X em subconjuntos, tais que a restricao de
P a cada um destes subconjuntos e aperi
odica. Em particular,
186 CAPITULO 6. CORRELAC
OES
n
1. Para cada i X, defina R(i) = {n 1 : Pi,i > 0}. Mostre que R(i) e
T
o: se n1 , n2 R(i) ent
fechado para a adica ao n1 + n2 R(i).
2. Seja i 1 o maximo divisor comum dos elementos de R(i). Mostre que
existe m 1 tal que R(i) [m, ) = i N [m, ).
a1 n1 + + as ns = d.
AF
a1 , . . . , as de tal forma que aj > 0 para todo j 6= i.
3. Mostre que i n ao depende de i. Seja = i para qualquer i. Mostre que
P e aperi
odica se, e somente se, = 1.
Sistemas equivalentes
AF
Neste captulo discutimos o problema da isomorfismo: quando e que dois sis-
temas (f, ) e (g, ) devem ser considerados essencialmente o mesmo e como
decidir, para sistemas dados, se esse e o caso?
Erg
au
n
A noca
o fundamental e chamada equivalencia erg
odica, ela n
ao s
ao e f
odica: dois sistemas s
ergodicamente equivalentes se, restritas a subconjuntos com medida total, as
respectivas transformaco es s
ao conjugadas por uma aplicaca
serva as medidas invariantes. Tal aplicaca
qualquer dos sistemas para o outro sistema.
Embora esta seja uma noca o natural de isomorfismo no contexto da Teoria
acil de manejar. Em geral, dados dois sistemas equivalentes,
nica forma de provar esse fato e exibindo a equivalencia de forma mais ou
menos explcita. Por outro lado, o modo mais usual de mostrar que dois sistemas
ao equivalentes e encontrando alguma propriedade que est
deles mas n ao no outro.
Neste contexto, e muito u til considerar uma noca
a presente num
187
188 CAPITULO 7. SISTEMAS EQUIVALENTES
Estas duas classes de sistemas, bem como outras que introduzimos anterior-
T
mente (sistemas erg odicos, fortemente misturadores, fracamente misturadores)
s
ao invariantes de equivalencia espectral e, portanto, tambem de equivalencia
erg
odica. Em contraste, a classe dos sistemas de Kolmogorov, que estudaremos
na Seca
o 7.5, e erg
odicamente invariante mas n ao e espectralmente invariante:
e possvel encontrar sistemas espectralmente equivalentes tais que um deles e
de Kolmogorov e o outro n ao e. Finalmente, na Seca
o 7.7 discutiremos uma
terceira noca
o de equivalencia, chamada conjugacao ergodica, especialmente no
contexto dos espacos de Lebesgue.
7.1 Equival
encia erg
odica
AF
Sejam e probabilidades invariantes por transformaco
avel, de tal forma que
E claro da definica
e enumer
conjunto mensur
construca
sobre Y0 .
=
es f : M M e
g : N N , respectivamente. Dizemos que os sistemas (f, ) e (g, ) s
ergodicamente equivalentes se podemos escolher conjuntos mensur
e Y N com (M \X) = 0 e (N \Y ) = 0, e uma bijeca
com inversa mensur
o mensur
e f = g .
o de equi-
Exemplo 7.1. Considere f : [0, 1] [0, 1] definida por f (x) = 10x [10x].
Como vimos anteriormente (Seca o 1.3.1) esta transformaca
o preserva a medida
DR
de Lebesgue m em [0, 1]. Escrevendo um n umero x [0, 1] em sua expansao de-
cimal x = 0, a0 a1 a2 . . . , a transformaca
o f corresponde simplesmente a deslocar
os dgitos de x uma unidade para a esquerda. Isso nos motiva a considerar:
X an
: {0, 1, . . . , 9}N [0, 1], (an )n = = 0, a0 a1 a2 . . . .
n=0
10n+1
T
n
umeros cuja expans ao decimal e infinita (logo, u nica). Ent ao a restrica
o de
a X e uma bijeca o sobre Y .
f
E acil verificar que tanto quanto a sua inversa s ao mensur aveis: use o
fato de que a imagem da interseca o de X com cada cilindro [0; a0 , . . . , am1 ]
e a interseca o de Y com um intervalo de comprimento 10m . Esta observaca o
tambem mostra que m = , onde representa a medida de Bernoulli em
{0, 1, . . . , 9}N que da igual peso a todos os dgitos. Alem disso, se denotarmos
por g o deslocamento em {0, 1, . . . , 9}N , temos que
g (an )n = 0, a1 a2 . . . an = f (an )n
AF
para todo (an )n X. Isto prova que (f, m) e ergodicamente equivalente ao
deslocamento de Bernoulli (g, ).
Suponha que (f, ) e (g, ) s
mensur
ao ergodicamente equivalentes. Um conjunto
avel A M e invariante para f : M M se, e somente se, (A) e
invariante para g : N N . Alem disso, ((A)) = (A). Portanto, (f, )
e ergodico se, e somente se, (g, ) e erg odico. As conclus
para as propriedades de mistura e mistura fraca s
oes correspondentes
ao igualmente f
De fato, praticamente todas as propriedades que estudamos neste curso s
invariantes de equivalencia erg
aceis de obter.
a que e
(7.1)
T
quer dizer que
xj,i+1 = xj+1,i para todo i, j N. (7.2)
Considere a aplicaca M,
o : M x 7 x
dada por
AF
7.2 Equival
uma relaca
f
E
encia espectral
Sejam f : M M e g : N N transformaco
o de equivalencia.
acil ver que se dois sistemas s
es preservando probabilidades e
, respectivamente. Sejam Uf : L2 () L2 () e Ug : L2 () L2 () os respec-
tivos operadores de Koopman. Dizemos que (f, ) e (g, ) s
Ug L = L U f .
U : L2 () L2 (),
(7.3)
ao eles s
ao
o ?? que a recproca e falsa). De
o invertvel h : M N tal que =
U () =
a (g, ) ent
ao os dois sistemas tem o mesmo espectro: a relaca
o (7.3) implica
T
que
(Ug id ) = L (Uf id ) L1 (7.4)
e, portanto, Ug id e invertvel se, e somente se, Uf id e invertvel.
A relacao (7.3) tambem mostra que e autovalor de Uf se, e somente se, e
autovalor de Ug e, nesse caso, as duas multiplicidades s ao iguais.
Observe que 1 e sempre um autovalor do operador de Koopman, uma vez que
Uf = para toda funca o constante . Pela Proposicao 4.3(e), o sistema (f, )
e ergodico se, e somente se, os u
nicos autovetores sao as funco
es constantes, ou
seja, se este autovalor tem multiplicidade 1. Ent ao, por (7.4) o autovalor 1 tem
multiplicidade 1 tambem para Ug , qualquer que seja o sistema (g, ) espectral-
AF
mente equivalente a (f, ). Isto mostra que a ergodicidade e um invariante de
equivalencia espectral.
Analogamente, suponha que (f, ) e misturador. Ent
operador unitario,
e, analogamente,
R
R R
Z Z
lim Ufn = d d
n
ao, pela Proposica
o 6.12,
L d =
R
Z
T
um operador linear normal contnuo num espaco de Hilbert complexo H. Entao
existem medidas borelianas 0 1 n no plano complexo C e
ario U : H
existe um operador unit 2
i=0 L (i ), tal que
M
M
= U LU 1 :
L L2 (i ) L2 (i ) (7.5)
i=0 i=0
est
a dado por L (i )i = z 7 zi (z) . As medidas i s ao u
nicas, a menos de
i
equivalencia, e est
ao suportadas no espectro de L. Em particular, se L e unit
ario
ent
ao o suporte de cada i est ario {z C : |z| = 1}.
a contido no ccrculo unit
AF
avel B C, considere o operador linear
Para cada conjunto mensur
M
M
E(B) : 2
L (i ) L2 (i ), (i )i 7 (XB i )i .
i=0 i=0
aveis A, B C,
Observe que, dados quaisquer conjuntos mensur
E(A)
E(B) B).
= E(A (7.6)
Em particular, cada E(B) e uma projeca
o: E(B) 2
= E(B).
Alem disso, E(B)
2
e autoadjunto: dados quaisquer , i=0 L (i ),
Z
X
E(B) = i i di = E(B).
(7.7)
i=0 B
ou seja
T
Z
Lj = z j d(E(z) ) para todo j 1 e todo , L2 (). (7.11)
C
AF
claro que as medidas E e E
E s
ao equivalentes, no sentido de que E(B) = 0
se, e somente se, E(B) = 0. Alem disso, elas s ao equivalentes a ` medida 0
no Teorema 7.3. De fato, como i 0 para todo i, temos que 0 (B) = 0
se, e somente se, i (B) = 0 para todo i. Esta u ltima condicao e equivalente a
XB i = 0 em L2 (i ), para todo i L2 (i ) e todo i. Em outras palavras, ela
e equivalente a E(B) = 0 para todo 2
i=0 L (i ). Portanto, 0 (B) = 0 se,
e somente se, E(B) = 0.
Dizemos que e um atomo da medida espectral se E({}) 6= 0 ou, equivalen-
temente, se existe L2 () tal que E({}) 6= 0. Ent ao e necessariamente
um autovalor de L, com = E({}) como autovetor. De fato, a primeira parte
de (7.12) d
a que
E({}) = se B
E(B) = E(B {}) =
E() = 0 se
/ B.
conforme afirmado.
DR
7.2.3 Autovetores e mistura fraca
Como vimos anteriormente, o operador de Koopman Uf : L2 () L2 () de um
sistema (f, ) e uma isometria, ou seja, ele satisfaz Uf Uf = id . Se f e invertvel
entao o operador de Koopman e unit ario, ou seja, temos Uf Uf = Uf Uf = id .
Em particular, Uf e normal. Neste caso, a propriedade de mistura fraca admite
a seguinte caracterizaca
o interessante:
Teorema 7.4. Um sistema invertvel (f, ) e fracamente misturador se, e so-
mente se, as funco
es constantes s
ao os u
nicos autovetores do operador de Ko-
opman.
Em particular, o sistema (f, ) e fracamente misturador se, e somente se, ele
e erg
odico e 1 e o u
nico autovalor de Uf .
194 CAPITULO 7. SISTEMAS EQUIVALENTES
T
qualquer autofunca
o (n
ao nula) de Uf e seja o respectivo autovalor. Ent
ao,
Z Z Z
d = Uf d = d
R
e isto implica que d = 0 ou = 1. No primeiro caso,
Z Z Z
= | (Ufj ) d| = |j d| = ||2 d
Cj (, )
AF
n1 Z
1X
lim = ||2 d > 0,
Cj (, )
n n j=0
contradizendo a hip
otese de que o sistema e fracamente misturador. No segundo
caso, usando que o sistema e erg odico, obtemos que e constante em -quase
todo ponto. Isto mostra que se o sistema e fracamente misturador ent ao os
u
nicos autovetores s
ao as funcoes constantes.
Agora suponha que os u nicos autovetores de Uf s
ao as funco
es constantes.
Para concluir que (f, ) e fracamente misturador, devemos mostrar que
n1
1X
Cj (, )2 0 para quaisquer , L2 ()
n j=0
imediato da definica
(lembre do Exerccio 6.12). E o que
Z
0 0
Cj (, ) = Cj ( , ) onde = d
R
e a integral de 0 e nula. Logo, nao constitui restrica
o supor que d = 0.
Entao, usando a relaca
o (7.11) para o operador unit ario L = U f , obtemos:
DR
Z Z
2 2
Cj (, )2 = (Ufj ) d = z j d(z) ,
C
onde = E . A express
ao a
` direita pode ser reescrita na seguinte forma:
Z Z Z Z
j j
z d(z) z d(z) = zj w
j d(z) d(w).
C C C C
T
que E({}) e constante em -quase todo ponto. Logo,
Z
E({}) = E({}) d = 0.
AF
converge para zero no complementar da diagonal = {(z, w) : z = w}. Alem
disso, a diagonal tem medida nula:
porque e n
opman Uf n
Corol
ao at
( )()
omica. Ent
ao possui autofunco
Z
= ({y}) d(y)
es contnuas n
uma consequencia direta do Teorema 7.4:
= 0.
Demonstraca
o. A primeira afirmaca
o segue da igualdade
T
2 (1 2 ) = 1 1 (1 2 ),
1 2 = U f 1 U f 2 = 1 1 2 2 = 1 2
uma vez que 1 1 2 6= 1. Essa igualdade tambem mostra que o conjunto dos
autovalores e fechado para a operacao (1 , 2 ) 7 1 1
2 . Lembrando que 1
sempre e um autovalor, segue que esse conjunto e um grupo.
Agora suponha que (f, ) e erg odico. Suponha que Uf = . Ent ao,
Uf (||) = |Uf | = || = || em -quase todo ponto. Por ergodicidade, isto
implica que || e constante em -quase todo ponto. Em seguida, suponha que
Uf 1 = 1 e Uf 2 = 2 e as funco es 1 e 2 n ao s
ao identicamente nulas.
AF
Como |2 | e constante em -quase todo ponto, temos 2 (x) 6= 0 para -quase
todo x. Ent ao 1 /2 est
a bem definida. Alem disso,
1 Uf (1 ) 1 1
Uf = = = .
2 Uf (2 ) 2 2
Pode mostrar-se que para todo subgrupo G do crculo unit ario existe algum
sistema erg odico com espectro discreto cujo grupo de autovalores e G. Veja o
Teorema 4.2 no livro de Petersen [Pet83].
Dizemos que um sistema (f, ) tem espectro discreto se os autovetores do
operador de Koopman Uf : L2 () L2 () geram o espaco L2 (). A termino-
logia e justificada pelo seguinte resultado:
f = R : Td Td a rotaca
o correspondente a um dado = (1 , . . . , d ) no toro
T
Td . Ent
ao,
G = {e2ik : k Zd }, (7.15)
AF
De fato toda a translaca
o erg
odica num grupo abeliano compacto tem espec-
tro discreto. Reciprocamente, todo sistema ergodico (f, ) com espectro discreto
e ergodicamente equivalente a alguma translaca o erg
odica num grupo abeliano
compacto. Estes fatos sao provados na Secao 3.3 do livro de Walters [Wal82].
??
Demonstraca o. Vimos na Seca o 7.2 que (a) implica (b). O fato de que (b)
implica (c) e trivial. Resta provar que (c) implica (a).
??
Demonstraca
o. E claro que e autovalor de Uf se, e somente se, 1 e autovalor
DR
de Uf 1 . Como os conjuntos de autovalores s ao grupos, segue que os dois
operadores tem os mesmos autovalores.
A primeira condicao quer dizer que para cada j existe Lj = (Lj,1 , . . . , Lj,d ) Zd
T
e existe lj Z tais que j = Lj + lj . Seja L a matriz (Lj,k )j,k e seja l o vetor
(lj )j . Ent
ao = L + l. Analogamente, a segunda condica o em (7.16) significa
que existe uma matriz M GL(d, Z) e um vetor m Zd tais que = M + m.
Ent ao,
= LM + (Lm + l) e = M L + (M l + m)
Como e sao racionalmente independentes, isto implica que LM = id = M L
e Lm + l = 0 = M l + m. Segue que det L = det M = 1, ou seja, as duas
matrizes est
ao em SL(d, Z).
AF
No caso particular do crculo, obtemos que duas rotaco
es irracionais R e
R s ao R = R1 .
ao equivalentes se, e somente se, R = R ou ent
A raz
ao de ser da denominaca
o ser
a explicada mais tarde (veja a Proposica
o 7.16).
claro da definica
E o que esta classe de sistemas e invariante por equivalencia
espectral: se um sistema tem espectro de Lebesgue ent ao o mesmo acontece
para todo sistema que espectralmente equivalente a ele.
Demonstraca
o. ??
T
uma probabilidade invariante. Entao o sistema (f, ) tem espectro de Lebesgue
se, e somente se, a medida espectral do operador de Koopman e equivalente a `
medida de Lebesgue no crculo unit
ario.
Demonstraca
o. ??
posto
AF
mer
avel s
ao espectralmente equivalentes.
Demonstraca
o.
??
7.6 Transforma
co
es expansoras do intervalo
Teorema 7.20.
7.6.1 Exatid
ao
DR
7.7 Espa
cos de Lebesgue
7.8 Exerccios
7.1. Defina o espectro de um sistema din amico f preservando uma medida
odica , como o espectro (f ) do operador Uf : L2 () L2 (). Do mesmo
erg
modo, defina o espectro simples s (f ) como o conjunto dos autovalores do ope-
rador Uf . Prove que:
1. s (f ) S 1 .
2. s (f ) e um subgrupo de S 1 .
odica e Uf : L2 () L2 () o ope-
7.2. Seja f preservando uma medida erg
rador de Koopman associado.
200 CAPITULO 7. SISTEMAS EQUIVALENTES
T
2. O m
odulo de toda autofunca
o e constante em -quase todo ponto.
o R : S 1 S 1 .
7.3. Calcule o espectro de uma rotaca
7.4. Prove que se f e tal que s (f ) = (f ), entao existe uma sequencia de
naturais nk tais que Ufnk I na topologia forte, isto e, kUfnk k2 0,
L2 ().
7.5. Suponha que a medida invariante n
ao tem atomos. Ent ao o espectro
do operador de Koopman Uf : L2 () L2 () coincide com o crculo unit
ario
AF
{z C : |z| = 1}.
Dica: Mostre que todo com m odulo 1 e um autovalor aproximado: existe
aria de L2 () tal que kUf n n k 0.
alguma sequencia n na bola unit
7.6. Se (f, ) e invertvel e tem espectro discreto ent
ao existe uma sequencia
(nk )k convergindo para infinito tal que kUfnk k2 converge para zero quando
k , para toda L2 (). ??
7.7. Sejam z e w dois n
umeros complexos com m
odulo 1. Verifique que
n1
1X j
1. lim |z 1| = 0 se, e somente se, z = 1;
n n j=0
n1
1X
2. lim = 0 se z 6= w.
(z w)
n n j=0
DR
T
Captulo 8
Entropia
AF
A palavra entropia foi inventada em 1865 pelo fsico e matem
dolf Clausius, um dos pioneiros fundadores da Termodin
sistemas termodin
atico alem
sentaca
o desempenha um papel de destaque em diversas outras a
conhecimento. Um exemplo importante, que iremos explorar na nossa apre-
o, e a Teoria da Informaca
ao Ru-
amica. Na teoria dos
amicos em equilbrio, a entropia e uma medida do grau de de-
sordem do sistema. A segunda lei da Termodin amica afirma que, quando um
sistema isolado passa de um equilbrio a outro, a entropia do estado final e neces-
sariamente maior do que a entropia do estado inicial. Por exemplo, quando jun-
tamos dois recipientes contendo gases distintos, digamos oxigenio e nitrogenio,
opico no qual
ambos se encontram uniformemente distribudos no conjunto dos dois recipien-
` entropia do equilbrio inicial, no
reas do
201
202 CAPITULO 8. ENTROPIA
8.1 Defini
c
ao de entropia
T
Para motivar a definica
o de entropia de Kolmogorov-Sinai, vamos considerar a
seguinte situaca
o b
asica da Teoria da Informacao. Consideremos um canal de
comunicacao que transmite, sucessivamente, certos smbolos. Esse canal pode
ser um telegrafo transmitindo pontos e tracos, segundo o antigo codico Morse,
uma fibra otima, transmitindo zeros e uns, segundo o c odigo bin
ario ASCII, ou
qualquer outro sistema de transmiss ao sequencial de informaca
o. O objetivo e
medir a entropia do canal, ou seja, a quantidade de informacao transmitida, em
media, a cada unidade de tempo.
AF
8.1.1 Entropia em Teoria da Informa
n
a transmitindo em lngua portuguesa e gera, sucessivamente, os
caracteres I, N, V, A, R, I, A, N e T ent
o adicional.1
ao carrega informaca
ao o caracter seguinte dever
umero
a ser um
E; neste caso, em vista dos caracteres transmitidos anteriormente, esta letra E
divinhar, sucessivamente, certas letras que formariam o nome de um objeto matem atico.
Aconteceu que as tres primeiras letras obtidas foram Z, Z e Z. Essa circunst ancia arruinou a
continuaca
o do jogo, pois as demais letras nao acrescentariam qualquer informaca o: o u
nico
objeto matem atico cuja nome inclui tres vezes a letra Z e o Puzzle de Yoccoz.
8.1. DEFINIC DE ENTROPIA
AO 203
bin
arios. No entanto, em Teoria Erg odica e mais comum considerar logarit-
T
mos naturais (base e), e n
os faremos o mesmo. Por definica
o, a quantidade de
o associada a um caracter a A est
informaca a dada por
AF
Mais geralmente, a informaca
o associada a uma palavra a1 . . . an e
T
o P ao n
media, da partica umero
Z X
H (P) = IP d = (P ) log (P ). (8.7)
P P
AF Figura 8.1: Gr
es P e Q s
ao independentes se (P Q) = (P )(Q)
para todo P P e todo Q Q. Nesse caso, IPQ = IP + IQ e, portanto,
H (P Q) = H (P) + H (Q). Em geral, vale a desigualdade como veremos.
Isso est
a ligado ao fato de que a funca
consequentemente,
oncava: 00 < 0 e,
o (x) = x log x e c
P
Au
ltima soma e igual a 1, uma vez que i pi = 1. Portanto,
T
d X
X d d X
X d d
X
H (P n ) = paj log paj = pi log pi = n pi log pi .
j=1 aj =1 j=1 i=1 i=1
Lema 8.3. Toda partica o finita tem entropia finita. De fato, H (P) log #P
e vale a igualdade se, e somente se, (P ) = 1/#P para todo P P.
Demonstraca o. Seja P = {P1 , P2 , . . . , Pn } e considere os n
umeros ti = 1/n e
xi = (Pi ). Pela desigualdade de Jensen (Teorema 0.51):
Xn Xn
AF
1 1 log n
H (P) = ti (xi ) t i xi = = .
n i=1 i=1
n n
Portanto, H (P) log n. Alem disso, a igualdade ocorre se, e somente se,
(Pi ) = 1/n para todo i = 1, . . . , n.
O exemplo a seguir mostra que partico
es enumeraveis podem ter entropia in-
finita. A partir daqui sempre consideraremos partico
es (finitas ou enumer
aveis)
com entropia finita.
Exemplo 8.4.PConsidere M = [0, 1] munido da medida de Lebesgue . Observe
que a serie k=1 1/(k(log k)2 ) e convergente. Seja c o valor da soma. Ent ao
podemos decompor [0, 1] em intervalos Pk com (Pk ) = 1/(ck(log k)2 ) para todo
k. Seja P a partica
o formada por estes intervalos. Ent
ao,
X log c + log k + 2 log log k
H (P) = .
ck(log k)2
k=1
Pelo criterio
Pda razao, a serie do lado direito tem o mesmo comportamento
que a serie k=1 1/(k log k) que, como sabemos, e divergente (use o criterio da
integral). Portanto, H (P) = .
o P com respeito a uma
Chamamos entropia condicional de uma partica
DR
o Q ao n
partica umero
X X (P Q)
H (P/Q) = (P Q) log . (8.8)
(Q)
P P QQ
T
(a) H (P Q/R) = H (P/R) + H (Q/P R);
(b) se P Q ent
ao H (P/R) H (Q/R) e H (R/P) H (R/Q).
(c) P Q se, e somente se, H (P/Q) = 0.
Demonstraca
o. Por definica
o,
X (P Q R)
H (P Q/R) = (P Q R) log
(R)
P,Q,R
X (P Q R)
AF
= (P Q R) log
(P R)
P,Q,R
X (P R)
+ (P Q R) log .
(R)
P,Q,R
= H (Q/P R) + H (P/R).
Isto demonstra o item (a). Agora observe que se P Q ent
ao
XX X (P R)
H (P/R) = (Q R) log
(R)
P R QP
XX X (Q R)
(Q R) log = H (Q/R).
(R)
P R QP
Isto prova a primeira parte do item (b). Para provar a segunda parte, note que
para quaisquer P P e R R, tem-se
DR
(R P ) X (Q) (R Q)
= .
(P ) (P ) (Q)
QP
P
Claro que QP (Q)/(P ) = 1. Ent
ao, pela desigualdade de Jensen (Teo-
rema 0.51),
(R P ) X (Q) (R Q)
(P ) (P ) (Q)
QP
T
todo P P e todo Q Q,
(P Q)
(P Q) = 0 ou ent
ao = 1.
(Q)
AF
Demonstraca
H (R/P) H (R)
Lema 8.6. Dado k 1 e > 0 existe > 0 tal que, para quaisquer partico
finitas P = {P1 , . . . , Pk } e Q = {Q1 , . . . , Qk },
es
H (Q/P) < .
(8.10)
o : [0, 1] R,
(x) = x log x, existe > 0 tal que (x) < /k 2 para todo x [0, )(1, 1].
Tome = /k. Dadas partico
partica
o cujos elementos s
es P e Q como no enunciado, denote por R a
es Pi Qj com i 6= j e tambem o
ao as interseco
conjunto ki=1 P Qi . Note que (Pi Qj ) (Pi Qi ) < para todo i 6= j e
DR
k
[ k k
X X
Pi Q i (Pi ) (Pi Qi ) > (Pi ) = 1
i=1 i=1 i=1
Portanto,
X
H (R) = ((R)) < #R .
k2
RR
claro da definica
E o que P Q = P R. Ent
ao, usando (8.10) e (8.9),
T
Seja f : M M uma transformaca o mensur avel preservando uma medida de
probabilidade . A nocao de entropia do sistema (f, ), apresentada a seguir, e
inspirada pela ideia de entropia de um canal de comunicaca o definida por (8.5).
Dada uma partica o P de M com entropia finita, denotamos
n1
_
Pn = f i (P) para cada n 1.
i=0
AF
P n (x) = P(x) f 1 (P(f (x))) f n+1 (P(f n1 (x))).
claro que a sequencia P n e n
E ao-crescente, ou seja, P n P n+1 para todo n.
Portanto, a sequencia das entropias H (P n ) tambem e n
ao-decrescente. Outro
fato importante e que esta sequencia e subaditiva:
Lema 8.7. H (P m+n ) H (P m ) + H (P n ) para todo m, n 1.
Demonstraca o, P m+n = m+n1
o. Por definica i=0 f i (P) = P m f m (P n ). Por-
tanto, uando (8.10),
Observe que esta entropia e tanto maior quanto mais fina for a partica
o. De
fato, se P Q ent ao P n Qn para todo o n. Usando o Lema 8.5, segue que
H (P n ) H (Qn ) para todo n. Consequentemente,
onde o supremo e tomado sobre todas as partico es com entropia finita. Uma
observaca
o u
til e que a definica
o n
ao e afetada se considerarmos o supremo
apenas sobre as partico
es finitas (veja o Exerccio 8.3).
8.1. DEFINIC DE ENTROPIA
AO 209
T
o odica. Em outras palavras, existe x em M e k 1 tal que f k (x) = x
rbita peri
e a medida e dada por
1
= x + f (x) + + f k1 (x) .
k
Neste caso a medida so toma um n umero finito de valores. Consequentemente,
a entropia H (P) tambem so toma um numero finito de valores quando conside-
ramos todas as partico
es enumeraveis P. Em particular, limn n1 H (P n ) = 0
o P. Isto prova que neste caso h (f ) = 0.
para toda partica
AF
Exemplo 8.9. Considere a transformaca o f : [0, 1] [0, 1] dada por f (x) =
10x [10x] munida da medida de Lebesgue. Seja P a partica o de [0, 1] nos
intervalos da forma (i 1)/10, i/10] com i = 1, . . . , 10. Entao P n e a partica
o
nos intervalos da forma (i 1)/10, i/10] com i = 1, . . . , 10n . Usando o c alculo
do Exemplo 8.1, obtemos que
1
h (f, P) = lim H (P n ) = log 10.
n n
Usando a teoria que sera desenvolvida na Seca o 8.2 veremos que este e tambem
o valor da entropia h (f ), ou seja, P realiza o supremo na definica
o (8.15).
X d
1
h (f, P) = lim H (P n ) = pi log pi .
n n i=1
DR
A teoria que apresentaremos na Seca
o 8.2 permitir
a concluir que este e tambem
o valor da entropia h (f ).
O u
ltimo termo e igual a H(Q/P), porque a medida e invariante por f .
Portanto, a relaca
o anterior prova que
H Qn /P n nH Q/P para todo n 1. (8.16)
210 CAPITULO 8. ENTROPIA
T
H (Qn ) H (P n Qn ) = H (P n ) + H (cQn /P n ) H (P n ) + nH (Q/P).
AF
H f j (P) = H f j (P) + H P/ f j (P)
j=0 j=1 j=1
n2
_ n1
_
= H f j (P) + H P/ f j (P)
j=0 j=1
Por outro lado, o Lema 8.5(b) garante que a sequencia H (P/ nj=1 f j (P)) e
decrescente. Em particular, limn nj=1 f j (P) existe e, consequentemente, coin-
cide com o limite Cesaro na igualdade anterior.
n1 j
Recorde que P n = j=0 f (P). Quando f : M M e invertvel, tambem
DR
n n1
consideramos P = j=n f j (P).
Portanto,
1 1
h f, P k = lim H P n+k = lim H P n = h f, P .
n n n n
8.2. TEOREMA DE KOLMOGOROV-SINAI 211
Isto prova a primeira parte do lema. Para provar a segunda parte, note que:
T
n1 n1 k1
_ _ _ n+k1
_
f j (P k ) = f j f i (P) = f l (P) = f k P n+2k
j=0 j=0 i=k l=k
AF
Proposi ao 8.14. Tem-se h (f k ) = kh (f ) para todo k N. Se f e invertvel
c
ao h (f k ) = |k|h (f ) para todo k Z.
ent
Demonstraca o. Considere g = f i e seja P uma partica o qualquer de M com
entropia finita. Lembrando que P k = P f 1 (P) f k+1 (P), vemos que
km
_ m
_ m
_
P km = f j (P) = f ki (P k ) = g i (P k ).
i=0 i=0 i=0
Portanto,
_m
1 1
kh f, P = lim H P km = lim H g i (P k ) = h g, P k .
m m m m
i=0
Usando o Lema 8.13, vem que kh (f, P) = h (g, P). Tomando o supremo sobre
es P vem que kh (f ) = h (g), conforme afirmado.
estas partico
Agora suponha que f e invertvel. Seja P uma partica
o qualquer de M com
entropia finita. Para qualquer n 1,
n1 j
n1 i
n1 i
H j=0 f (P) = H f n+1 i=0 f (P) = H i=0 f (P) ,
DR
uma vez que a medida e invariante. Dividindo por n e passando ao limite
quando n , obtemos que h (f, P) = h (f 1 , P). Tomando o supremo
es P, vem que h (f ) = h (f 1 ). Substituindo f for f k e
sobre estas partico
usando o item (a), segue que h (f k ) = h (f k ) = kh (f ) para todo k N.
??
T
es com entropia finita tais que
partico P
n=1 n gera a -
algebra dos conjuntos
mensur aveis. Ent
ao
h (f ) = lim h (f, Pn ).
n
AF
de n P n . Por hip
otese, A gera a -algebra de todos os conjuntos mensur aveis.
Logo, pelo teorema de aproximaca o (Teorema 0.16), para cada i = 1, . . . , s existe
Ai A tal que
(Qi Ai ) < /(4k). (8.17)
O fato de que os Qi sao uma cobertura de M garante que os Ai est
ao perto de
o serem tambem:
Ai (j6=i Aj ) nj=1 (Aj \ Qj ) < /4 para todo i (8.18)
e M \ ki=1 Ai ki=1 (Qi \ Ai ) < /4. (8.19)
A seguir, defina
A1 para i = 1
0
Qi = Ai \ i1
j=1 Aj para 1 < i < k
k1
M \ j=1 Aj para i = k
Isto e trivial para i = 1. Para i > 1 temos que Ai \ Q0i est a contido em
DR
Ai (j<i Aj ). Logo, usando (8.18), obtemos que (Ai \ Q0i ) < /4. Isto prova a
o para todo 1 < i < k, uma vez que nesse caso Q0i \ Ai = . Finalmente,
afirmaca
para i = k, temos que Q0k \ Ak est a contido no complementar de ki=1 Ai . Logo,
0
usando (8.19), vemos que (Qk \ Ak ) < /4. Somando esta estimativa com a
anterior, vem que (Ak \ Q0k ) < /2. Isto completa a prova da afirmaca o (8.20).
Combinando as desigualdades (8.17) e (8.20), obtemos que (Qi Q0i ) <
para todo i = 1, . . . , k. Agora, e claro que Q0i A para todo i. Ent
ao, como se
trata de uma famlia finita, podemos encontrar m 1 tal que todo Q0i e uma
uniao de elementos de Pm . Em outras palavras, a partica o Q0 = {Q01 , . . . , Q0k }
e menos fina do que Pm . Ent ao, pelos Lemas 8.5 e 8.6,
T
h (f, Q) h (f, Pn ) + H (Q/Pn ) para todo n.
8.2.1 Parti
co
es geradoras
Agora vamos deduzir v
arias consequencias u
teis do teorema.
Corol ario 8.17. Seja P uma partica o com entropia finita tal que a uni
ao dos
n1 j
seus iterados P n = j=0 f (P), n 1 gera a - algebra dos conjuntos men-
AF
sur
aveis. Ent
Demonstraca
Corol
n
gera a -
n
ao h (f ) = h (f, P).
ario 8.18. Suponha que o sistema (f, ) e invertvel. Seja P uma partica
ao dos iterados P n = j=n
com entropia finita tal que a uni
algebra dos conjuntos mensur
Demonstraca
aveis. Ent
Em particular, os Corol
transformacao expans
arios 8.17 e 8.18 completam o c
alculo da entropia da
ao decimal e dos deslocamentos de Bernoulli, que inicia-
mos nos Exemplos 8.9 e 8.10, respectivamente.
arios 8.17 e 8.18 dizemos que P e uma
o geradora, ou um gerador do sistema. Note, no entanto, que isto contem
um certo abuso de linguagem, j a que as condico es nos dois corol
equivalentes. Por exemplo, se tomarmos M = {1, . . . , d}Z ent
arios n
ao s
ao
o P
ao a partica
em cilindros {[0; a] : a = 1, . . . , d} e tal que a uniao dos iterados bilaterais P n
gera a -algebra mas a a uni ao dos iterados unilaterais P n n ao gera.
DR
A este respeito tambem observamos que certos sistemas invertveis admitem
partico
es que s ao geradoras no sentido do Corol ario 8.17, ou seja, tais que a
ao dos iterados unilaterais P n gera a -
uni algebra dos conjuntos mensur aveis.
Por exemplo, se f : S 1 S 1 e uma rotaca o irracional e P = {I, S 1 \ I} e uma
partica
o do crculo em dois intervalos complementares, ent ao P e geradora nesse
sentido. No entanto, este tipo de comportamento s o e possvel para sistemas
com entropia nula:
Demonstraca
o. Combinando o Lema 8.12 e o Corol
ario 8.17:
T
algebra f 1 (B). Mas f 1 (B) = B, uma vez que f e invertvel. Logo, o
a -
Teorema 8.15 implica que H (P/f 1 (Pn )) converge para zero quando n .
Segue que h (f ) = 0.
AF
n
{f j (xi ) : j = 0, . . . , n 1 e i = 1, . . . , m}.
T
espaco metrico compacto M e expansiva se existe > 0 tal que duas trajet
orias
distintas n
ao podem permanecer a dist ancia menor que em todos os iterados:
d(f j (x), f j (y)) para todo j 0 x = y.
Seja P uma partica o qualquer de M tal que diam P = sup{diam P : P P}
e menor que . Ent ao, diam P n (x) 0 para todo x M , como o leitor pode
o P e geradora.
verificar facilmente. Portanto, a partica
AF
O teorema de Shannon-McMillan-Breiman, que vamos discutir nesta seca
nece uma vis
A funca
n
1
h (f, P, x) = lim log (P n (x)) existe em -quase todo ponto.
n
o x 7 h (f, P, x) e -integr
Alem disso,
Se (f, ) e erg
da trajet
odico ent
Z
o, for-
ao complementar do conceito de entropia, mais detalhada e de na-
tureza mais local. Tambem mencionaremos uma vers ao topol
ogica dessa ideia,
o P com
(8.21)
tem uma taxa exponencial de decaimento bem definida: em -quase todo ponto,
(P n (x)) enh(f,P,x) para todo n grande.
DR
A demonstraca o do teorema ser
a apresentada na Seca o 8.3.1.
O teorema de Brin-Katok, que enunciamos a seguir, pertence a ` mesma
famlia de resultados, mas usa uma nocao distinta de proximidade. Suponhamos
que f : M M e uma aplicaca o contnua num espaco metrico compacto. Dado
x M , n 1 e > 0, chamamos bola din amica de comprimento n e raio em
torno de x ao conjunto:
B (n, x) = {y M : d(f j (x), f j (y)) < para todo j = 0, 1, . . . , n 1}.
n1 j
Em outras palavras, B (n, x) = j=0 f (B (f j (x))). Defina:
1
h+
(f, , x) = lim sup log (B (n, x))
n n
1
h
(f, , x) = limninf log (B (n, x)).
n
216 CAPITULO 8. ENTROPIA
T
lim h+
(f, , x) e lim h
(f, , x)
0 0
existem e s
ao iguais para -quase todo ponto. Denotando por h (f, x) o seu
o h (f, ) e integr
valor comum, a funca avel e tem-se
Z
h (f ) = h (f, x)d(x).
AF
Exemplo 8.26 (Translaco
metriz
esquerda ou a
todo n 1. Ent
ao,
h
es em grupos compactos). Seja G um grupo compacto
avel e seja a respectiva medida de Haar. Toda translaca
(Eg , , x) = lim
n
1
n
log (B (x)) = 0
o de G, a
` direita, tem entropia nula relativamente a . De fato, considere
em G uma distancia d invariante por translaco
es (lembre do Lema 5.12). Ent
8.3.1
es Dg a
` direita.
ao,
(P n (x))
n (x) = log .
(P n1 (f (x)))
DR
Pela propriedade de cancelamento telesc
opico,
n1
1 1 1X
log (P n (x)) = log (P(f n1 (x))) + nj (f j (x)) (8.22)
n n n j=0
Usando o Lema 3.10, segue que n1 log (P(f n (x))) converge para zero em -
T
quase todo ponto. E claro que isto implica a convergencia em -quase todo
ponto no enunciado do lema.
Alem disso, usando o fato de que a medida e invariante,
Z
1 n1 1 1
k log (P(f (x)))k1 = log (P(f n1 (x))) d(x) = H (P).
n n n
converge para zero quando n , uma vez que H (P) < . Isto prova a
convergencia em L1 ().
A seguir, vamos mostrar que o u
ltimo termo de (8.22) tambem converge em
AF
-quase todo ponto e em L1 ().
Lema 8.28. O limite (x) = limn n (x) existe em -quase todo ponto.
o. Para cada n > 1, denote por Qn a partica
Demonstraca o de M definida por
Note que (P n1 (f (x)) = (Qn (x)) e que P n (x) = P(x) Qn (x). Portanto,
(P n (x)) (P(x) Qn (x))
n1
= . (8.23)
(P (f (x))) (Qn (x))
Para cada P P e cada n > 1, considere a esperanca condicional (lembre da
Seca
o 4.6.1)
Z
1 (P Qn (x))
en (XP , x) = XP d = .
(Qn (x)) Qn (x) (Qn (x))
existe para -quase todo ponto. Tomando logaritmos, conclumos que lim n n (x)
existe para -quase todo ponto, conforme afirmado.
Lema 8.29. A funca
o = supn n e integr
avel.
Demonstraca es Q n definidas
o. Tal como no lema anterior, vamos usar as partico
por Qn (x) = f 1 (P n1 (f (x))). Fixe qualquer P P. Dados x P e t > 0, e
claro que (x) > t se, e somente se, n (x) > t para algum n. Alem disso,
e, nesse caso, n (y) > t para todo y P Qn (x). Portanto, podemos escrever
T
o conjunto {x P : (x) > t} como uma uni ao disjunta j (P Qj ), onde cada
Qj pertence a alguma partica o Qn(j) e
AF
Ent
ao (veja o Exerccio 8.4):
Z XZ XZ
d = d = ({x P : (x) > t}) dt
P P P P P 0
XZ
min{et , (P )} dt.
P P 0
Au
ltima integral pode ser reescrita do seguinte modo:
Z log (P ) Z
(P ) dt + et dt = (P ) log (P ) + (P ).
0 log (P )
T
L1 (), pelo teorema erg
odico de Birkhoff (Teorema 3.8). Portanto, basta mos-
trar que a diferenca
n1
1X
(nj ) f j (8.25)
n j=0
AF
Pelo Lema 8.30 a sequencia do lado direito converge para zero. Isto implica que
(8.25) converge para zero em L1 (). Resta provar a convergencia em -quase
todo ponto.
Para cada k fixado, considere k = supi>k |i |. Note que k e,
portanto, k L1 (). Alem disso:
1X
n1
n j=0
|nj | f j =
lim sup
1X
nk1
1 X
n j=0
1
n
|nj | f j +
nk1
X
j=0
k f j +
n1
1 X
n
1
n
|nj | f j
n1
X
j=nk
k (x)
|nj |(f j (x))
j=nk
fj.
T
Segue da igualdade (8.22) e dos Lemas 8.27 e 8.31 que
1
h (f, P, x) = lim log (P n (x))
n n
existe em -quase todo ponto e em L1 (); de fato, ele coincide com a media
temporal (x)
da funca
o . Entao, em particular,
Z Z
1
h (f, P, x) d(x) = lim log (P n (x)) d(x)
n n
AF
1
= lim H (P n ) = h (f, P).
n n
8.4 Exemplos
Vamos agora ilustrar os resultados anteriores por meio de alguns exemplos.
onde a u
ltima soma e sobre todos os valores de a1 , . . . , aj1 , aj+2 , . . . , an . Por
um lado, X X
Pa1 ,a2 Pan1 ,an = Pan1 ,an = 1
a2 ,...,an an
8.4. EXEMPLOS 221
T
tambem que P p = p,
X X
pa1 Pa1 ,a2 Pan1 ,an = pa1 Paj1 ,aj Paj ,aj+1 Panj1
j+1 ,an
a1 ,an
X
= pa1 Paj1 ,aj Paj ,aj+1 = paj Paj ,aj+1 .
a1
AF
X n
X X
H (Pn ) = pa1 + paj Paj ,aj+1 log Paj ,aj+1
a1 j=1 aj ,aj+1
X
= 1 + n pa Pa,b log Pa,b .
a,b
P
Ent ao h (f, P) = a,b pa Pa,b log Pa,b . Como a famlia de todos os cilindros
algebra de M = {1, . . . , d}N , segue do Corol
[0; a1 , . . . , an ] gera a - ario 8.17 que
h (f ) = h (f, P). Isto completa a prova do teorema.
8.4.2 Transforma
c
ao de Gauss
Vamos calcular a entropia da transformaca o de Gauss G(x) = (1/x) [1/x]
relativamente a
` probabilidade invariante
Z
1 dx
(E) = (8.28)
DR
log 2 E 1 + x
(C) Existe C > 1 tal que |(Gn )0 (y)|/|(Gn )0 (x)| C para todo n 1 e quais-
quer x e y num mesmo elemento da partica o P n .
(D) Existem c1 , c2 > 0 tal que c1 m(Pn ) (Pn ) c2 m(Pn ) para todo n 1
e todo Pn Pn , onde m representa a medida de Lebesgue.
222 CAPITULO 8. ENTROPIA
imediato da definica
E o que cada P P e enviado por G difeomorficamente
T
sobre (0, 1). A propriedade (A) e uma consequencia, por induca
o em n. Usando
(A) e o Lema 4.18, obtemos que
1
diam Pn sup 2[n/2]
xPn |(Gn )0 (x)|
H (P n ) =
A propriedade (D) d
a que
X Z
o n (x) = log (Pn (x)).
Pela propriedade (A), temos que log m(Pn (x)) = log |(Gn )0 (y)| para algum
y Pn (x). Usando a propriedade (C), segue que
T
deixamos ao cuidado do leitor verificar que
Z Z 1
2 log x dx
log |G0 | d = = 2.
0 (1 + x) log 2
Ent
ao, lembrando que (G, ) e erg
odico (Seca
o 4.2.4), segue do teorema de
Shannon-McMillan-Breiman (Teorema 8.24) que
1
lim log (P n (x)) = 2 para -quase todo x.
n n
Como a medida e compar avel com a medida de Lebesgue, a menos de um
AF
fator constante, isto quer dizer que
8.4.3 Transforma
A transformaca
da Proposica
co
diam P n (x) e2n
para -quase todo x e para n suficientemente grande. Observe que P n (x) est
formada pelos pontos y cuja expans
pans
ao de x ate a ordem n.
ao em fraca
es expansoras do intervalo
o de Gauss e um exemplo da classe de transformaco
do intervalo que introduzimos na Seca
toda transformaca o expansora do intervalo f admite uma u
invariante equivalente a
es expansoras
o 7.6. Como vimos no Teorema 7.20,
nica probabilidade
` medida de Lebesgue. Os argumentos da demonstraca
o
nua
R
relativamente a
` medida de Lebesgue, ent ao h (f ) = log |f 0 | d.??
DR
Alternativamente, o Teorema 8.34 pode ser deduzido do teorema de Shannon-
McMillan-Breiman (veja o Exerccio 8.6).
T
preservando probabilidades 1 em M1 e 2 em M2 . Se (f1 , 1 ) e ergodicamente
equivalente a (f2 , 2 ), ent
ao h1 (f1 ) = h2 (f2 ).
Demonstraca o. Seja : M1 M2 uma equivalencia erg odica entre os dois
sistemas. Isto significa que 1 = 2 e existem conjuntos X1 M1 e X2 M2
com medida total nos respectivos espacos, tais que h e uma bijeca o de X 1
em X2 , mensur avel com inversa mensur avel. Alem disso, como observamos na
o 7.1, os conjuntos X1 e X2 podem ser escolhidos invariantes. Seja P1 uma
Seca
partica
o finita ou enumeravel de (M1 , 1 ). A sua restricao a X1 e uma partica o
de (X1 , 1 ). A respectiva imagem P2 = (P1 ) e uma partica o de (X2 , 2 ) que,
AF
naturalmente, tambem podemos ver como uma partica o de (M2 , 2 ). Note que
X X
H2 (P2 ) = 2 (P2 ) log 2 (P2 ) = 1 (P1 ) log 1 (P1 ) = H1 (P1 ).
P2 P2 P1 P1
n1 j n1 j
Como P2n = j=0 f2 (P2 ) = (j=0 f1 (P1 )) = (P1n ) para todo n, tambem
segue que
1 1
h2 (f2 , P2 ) = lim H2 (P2n ) = lim H1 (P1n ) = h1 (f1 , P1 ).
n n n n
Tomando o supremo sobre todos os P1 , conclumos que h2 (f2 ) h1 (P1n ). A
desigualdade recproca e inteiramente an
aloga.
Usando este fato, Kolmogorov provou que nem todos os deslocamentos de
Bernoulli bilaterais sao ergodicamente equivalentes apesar de que, como vimos
no Corol ario 7.19, todos s
ao espectralmente equivalentes. Isto tambem mostra
que a equivalencia espectral e estritamente mais fraca do que a equivalencia
erg
odica: e claro que para todo n umero real positivo existe algum desloca-
mento de Bernoulli bilateral com essa entropia; portanto, a uma u nica classe de
equivalencia espectral corresponde todo um contnuo de classes de equivalencia
erg
odica.
A recproca da Proposica o 8.35 e falsa, em geral. Por exemplo, vimos no
DR
Exemplo 8.21 (e no Corol ario 8.19) que todas as rotacoes do crculo tem entropia
nula. Mas e claro que uma rotaca o irracional nunca e ergodicamente equivalente
a uma rotaca o racional, uma vez que a primeira e erg odica e a segunda n ao
e. Alias, o Corolario 7.11 mostra que as rotaco es irracionais tambem n ao s
ao
ergodicamente equivalentes entre si, em geral. O caso das rotaco es racionais e
tratado no Exerccio 8.13.
No entanto, um resultado not avel devido a Daniel Ornstein [Orn70] afirma
que a entropia e um invariante completo para os deslocamentos de Bernoulli
bilaterais:
Teorema 8.36 (Orstein). Dois deslocamentos de Bernoulli bilaterais sao ergo-
dicamente equivalentes se, e somente se, eles tem a mesma entropia.
Exemplo 8.37. O teorema de Ornstein n ao se estende para deslocamentos de
Bernoulli unilaterais. De fato, no caso n
ao invertvel existem outros invariantes
8.6. EXERCICIOS 225
T
Por exemplo, considere os deslocamentos
f : {1, 2, 3}N {1, 2, 3}N e g : {1, 2}N {1, 2}N
munidos de medidas de Bernoulli e , respectivamente. Vamos ver que (f, )
e (g, ) nunca s
ao ergodicamente equivalentes (mesmo se escolhermos e de
tal forma a que h (f ) = h (g)).
Seja X {1, 2, 3}N um conjunto qualquer com f 1 (X) = X e (X) = 1.
Afirmamos que existe x X tal que #(X f 1 (x)) = 3. De fato, denote
Xi = X [0; i] e pi = ([0; i]), para cada i {1, 2, 3}. Ent
ao f (Xi ) e mensur
avel
e, como e uma medida de Bernoulli, (Xi ) = pi (f (Xi )). Portanto,
AF
Ent
1 = (X) =
i=1
(Xi ) =
i=1
pi (f (Xi )).
a transformaca
g((xi )) = (f (xi )) = (x)
8.6 Exerccios
8.1. Mostre que a funcao h (f, x) no teorema de Brin-Katok (Teorema 8.25) e
f -invariante. Conclua que se e erg
odica, ent
ao h (f ) = h (f, x) para -quase
todo ponto x.
8.2. Mostre que se = (1 , . . . , n ) n e R : n n e a rotaca o de a
ngulo
definida por R (x1 , . . . , xn ) = (x1 +n , . . . , xn +n ), ent
ao hm (R ) = 0, onde
m e a medida de Lebesgue.
226 CAPITULO 8. ENTROPIA
T
com o supremo sobre todas as partico
es com entropia finita.
o : M (0, ) tem-se
8.4. Para qualquer funca
Z Z
d = t({x M : (x) > t}) d.
0
AF
??
T
probabilidade . Suponha que existe um conjunto invariante A M com
(A) (0, 1). Sejam A e B as restrico
es normalizadas de aos conjuntos A
e B = Ac , respectivamente. Mostre que
AF
h (f, g) = h (f ) + h (g).
8.13. Seja m a medida de Lebesgue no crculo S 1 . Sejam = p/q e =
r/s dois numeros racionais, onde mdc(p, q) = 1 = mdc(r, s). Mostre que as
rotaco
es (R , m) e (R , m) s
ao ergodicamente equivalentes se, e somente se, os
denominadores q = s.
DR
228 CAPITULO 8. ENTROPIA
T
AF
DR
T
Bibliografia
AF
[AB] A. Avila and J. Bochi. Proof of the subadditive ergodic theorem.
Preprint www.mat.puc-rio.br/jairo/.
[AF07] A. Avila and G. Forni. Weak mixing for interval exchange transforma-
tions and translation flows. Ann. of Math., 165:637664, 2007.
[Ma
n87] R. Mane. Ergodic theory and differentiable dynamics. Springer Verlag,
1987.
[Mey00] C. Meyer. Matrix analysis and applied linear algebra. Society for In-
dustrial and Applied Mathematics (SIAM), 2000.
229
230 BIBLIOGRAFIA
[Orn70] D. Ornstein. Bernoulli shifts with the same entropy are isomorphic.
T
Advances in Math., 4:337352 (1970), 1970.
[Pet83] K. Petersen. Ergodic theory. Cambridge Univ. Press, 1983.
[Rud87] W. Rudin. Real and complex analysis. McGraw-Hill, 3 edition, 1987.
[Ste58] E. Sternberg. On the structure of local homeomorphisms of Euclidean
n-space - II. Amer. J. Math., 80:623631, 1958.
[Wal82] P. Walters. An introduction to ergodic theory. Springer Verlag, 1982.
[Wey16] H. Weyl. Uber die Gleichverteilungen von Zahlen mod Eins. Math.
B , 50 boreliano, 3
C 0 (M ), 55, 57 invariante, 96
AF
C 0 (M )+ , 70
Uf , 58, 69
Uf , 69
V (, , ), 51
Va (, A, ), 52
Vc (, B, ), 52
Vf (, F, ), 51
M(M ), 57
M1 (M ), 49, 50
M1 (f ), 119
M2 (f ), 119
-vizinhanca, 50
-algebra, 2
de Borel, 3
gerada, 2
produto, 8, 103
d-toro, 40
f , 59
justo de medidas, 58
mensur avel, 2
transitivo, 121
continuidade
inferior, 4
no vazio, 4
superior, 4
absoluta, 7
continuidade absoluta, 114, 119
convergencia
em L2 (), 79
em distribuica
derivada de Rad
desigualdade
o, 71
de Cauchy-Schwartz, 16
de Holder, 17
de Jensen, 18
a
lgebra, 1
de Minkowski, 16
base de vizinhancas, 51, 52 deslocamento
DR
Borel-Cantelli, 25 de Bernoulli, 104
deslocamento de Bernoulli, 103
crculo, 39 distorca
o limitada, 102, 107, 108
cilindro, 9 domnio fundamental, 62
classe mon otona, 5 dualidade, 58
completamento de um espaco de me-
dida, 5 equaco
es de Hamilton-Jacobi, 115
condicao de Keane, 150 ergodicidade
cone, 70 da expans ao decimal, 101
dual, 70 da rotaca
o irracional, 100, 101
normal, 70 dos deslocamentos de Markov, 173
conjunto espaco
de continuidade de uma medida, de Baire, 121
52 de medida, 3
231
232 INDICE
T
de probabilidade, 3 de Borel-Cantelli, 25
mensur avel, 1, 2 de Borel-Cantelli, 25
metrizavel, 53 de Fatou, 14
produto, 8, 9
separ
avel, 53, 55 metrica
topol
ogico, 2 de Levy-Prohorov, 54
vetorial topologico, 59 matriz hiperb olica, 111
expans
ao decimal, 32 medida, 3
extens
ao natural, 66 atomica, 22
com sinal, 57
AF
f
ormula completa, 5
de Rokhlin, 223 de Bernoulli, 9
f
ormula de Liouville, 42 de Dirac, 3, 50
fluxo, 28, 41 de Lebesgue, 5
folhas est aveis, 112 de Lebesgue no crculo, 39
folhas inst aveis, 112 finita, 3
folheacao est
avel, 112 invariante, 27, 59
folheacao inst
avel, 112 justa, 20
forma de volume, 42 nao a
omica, 22
fraca
o contnua, 34, 35 produto, 8, 104
funca
o projeca
o, 123
-aditiva, 4 regular, 18
caracterstica, 10 transporte, 65, 72
de distribuica
o, 71
n
umero
finitamente aditiva, 4
balanceado, 103
invariante, 79, 96
normal, 103
localmente integr avel, 15
norma
mensur avel, 10
Lp , 16
simples, 11
da convergencia uniforme, 55
funcional
de uma matriz, 86
positivo, 70
DR
operador
grupo de Koopman, 58, 69
de Lie, 144 dual, 69
topol
ogico, 144 positivo, 55, 56, 69, 70
unit
ario, 93
hip
otese ergodica, 75
hipersuperfcie de energia, 115 ponto
de densidade, 14
integral recorrente, 31
de Lebesgue, 12 probabilidade, 3
de uma funcao simples, 11 produto semi-direto, 61, 72
interc
ambio de intervalos, 148
isometria, 69, 93 raio especctral, 70
iterado de uma medida, 59 rotaca
o, 3840
INDICE 233
irracional, 39 erg
odico de Birkhoff, 80, 81
T
racional, 39 erg
odico subaditivo, 76, 86
espectral, 192
serie de Fourier, 110 Portmanteau, 52
sequencia recorrencia de Poincare, 32
subaditiva, 85 topologia
sistemas hamiltonianos, 115 discreta, 24, 106
suporte fraca, 57
de uma medida, 8 fraca , 50, 51, 57
mais forte, 52
tempo mais fraca, 52
AF
de primeiro retorno, 30, 43 pontual, 71
medio de retorno, 31 produto, 105
medio de visita, 80 uniforme, 71
tempo de primeiro retorno, 64 toro de dimens ao d, 40
Teorema transformaca o
de Keane, 151 de Gauss, 36
de Lusin, 20, 22 de Poincare, 62, 64
de Masur e Veech, 152 de primeiro retorno, 43, 62, 64
KAM, 116 expansiva, 215
normal de Borel, 103 induzida, 44
teorema topologicamente fracamente mis-
da convergencia dominada, 14 turadora, 195
da convergencia mon otona, 14 topologicamente misturadora, 164
das classes mon otonas, 5 transitiva, 106
de Banach-Alaoglu, 57 transitividade, 121
de Birkhoff, 76
de Brin-Katok, 216 vari
avel aleat
oria, 71
de derivacao de Lebesgue, 15 vetor
de existencia de medidas invarian- de comprimentos, 149
tes, 49 vetor racionalmente independente, 40
de extens ao de medidas, 4
DR
de Friedman-Ornstein, 225
de Furstenberg-Kesten, 92
de Haar, 145
de Kac, 30
de Kingman, 76, 86
de Liouville, 43
de Prohorov, 58
de Rad on-Nikodym, 15
de recorrencia de Birkhoff, 61
de recorrencia de Poincare, 29, 31
de Riesz-Markov, 56
de Schauder-Tychonoff, 60
de von Neumann, 76, 78
de Weyl, 152