Escolar Documentos
Profissional Documentos
Cultura Documentos
DR
AF
Teoria Ergodica
Um Curso Introdutorio
DR
AF
T
ii
DR
AF
Conte
udo
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
5
8
9
11
14
14
15
16
16
17
18
18
22
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
27
28
29
30
31
32
32
34
38
40
41
41
43
43
44
45
iii
CONTEUDO
iv
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
1.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
49
49
50
50
51
53
55
57
58
59
61
61
62
64
66
69
70
3 Teoremas Erg
odicos
3.1 Teorema erg
odico de Von Neumann . . . . . . . . .
3.1.1 Isometrias em espacos de Hilbert . . . . . .
3.1.2 Enunciado e prova do teorema . . . . . . .
3.1.3 Convergencia em L2 () . . . . . . . . . . .
3.2 Teorema erg
odico de Birkhoff . . . . . . . . . . . .
3.2.1 Tempo medio de visita . . . . . . . . . . . .
3.2.2 Medias temporais . . . . . . . . . . . . . . .
3.2.3 Teorema de von Neumann e consequencias .
3.3 Teorema erg
odico subaditivo . . . . . . . . . . . .
3.3.1 Preparaca
o da demonstraca
o . . . . . . . .
3.3.2 Lema fundamental . . . . . . . . . . . . . .
3.3.3 Estimativa da funca
o . . . . . . . . . .
3.3.4 Majoraca
o da funca
o + . . . . . . . . . . .
3.3.5 Consequencias . . . . . . . . . . . . . . . .
3.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
76
76
78
79
80
80
81
83
85
86
88
89
90
92
93
4 Ergodicidade
4.1 Sistemas erg
odicos . . . . . . . . . . .
4.1.1 Conjuntos e funco
es invariantes
4.1.2 Caracterizaca
o espectral . . . .
4.2 Exemplos . . . . . . . . . . . . . . . .
4.2.1 Rotaco
es em toros . . . . . . .
4.2.2 Expans
ao decimal . . . . . . .
4.2.3 Deslocamentos de Bernoulli . .
4.2.4 Transformaca
o de Gauss . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
95
96
97
100
100
101
103
107
DR
AF
2 Exist
encia de Medidas Invariantes
2.1 Alguns exemplos simples . . . . . . . . . . . . . . .
2.2 A topologia fraca . . . . . . . . . . . . . . . . . .
2.2.1 Definica
o e propriedades da topologia fraca
2.2.2 Teorema Portmanteau . . . . . . . . . . . .
2.2.3 A topologia fraca e metriz
avel . . . . . . .
2.2.4 Compacidade de M1 (M ) . . . . . . . . . .
2.2.5 Dualidade e topologias fracas . . . . . . . .
2.2.6 Teorema de Prohorov . . . . . . . . . . . .
2.3 Demonstraca
o do teorema de existencia . . . . . .
2.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . .
2.4.1 Medidas em produtos semi-diretos . . . . .
2.4.2 Fluxos suspens
ao . . . . . . . . . . . . . . .
2.4.3 Transformaco
es de Poincare . . . . . . . . .
2.4.4 Extens
ao natural . . . . . . . . . . . . . . .
2.5 Operador de Koopman . . . . . . . . . . . . . . . .
2.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTEUDO
v
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
110
111
115
115
117
118
119
119
122
122
123
125
126
128
128
130
133
134
5 Unicidade erg
odica
5.1 Unicidade erg
odica . . . . . . . . . . . . . . . . . . .
5.2 Minimalidade . . . . . . . . . . . . . . . . . . . . . .
5.3 Exemplos . . . . . . . . . . . . . . . . . . . . . . . .
5.3.1 Rotaco
es em toros . . . . . . . . . . . . . . .
5.3.2 Od
ometros . . . . . . . . . . . . . . . . . . .
5.3.3 Grupos topol
ogicos e grupos de Lie . . . . . .
5.3.4 Translaco
es em grupos compactos . . . . . .
5.3.5 Interc
ambios de intervalos . . . . . . . . . . .
5.3.6 Minimalidade e ergodicidade de interc
ambios
5.4 Teorema de Weyl . . . . . . . . . . . . . . . . . . . .
5.4.1 Ergodicidade . . . . . . . . . . . . . . . . . .
5.4.2 Unicidade erg
odica . . . . . . . . . . . . . . .
5.4.3 Demonstraca
o do teorema de Weyl . . . . . .
5.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
139
139
141
142
142
143
144
146
148
150
152
153
154
157
158
6 Correla
co
es
6.1 Sistemas misturadores . . . . . .
6.1.1 Propriedades . . . . . . .
6.1.2 Mistura fraca . . . . . . .
6.1.3 Caracterizaca
o espectral .
6.2 Deslocamentos de Markov . . . .
6.2.1 Ergodicidade . . . . . . .
6.2.2 Mistura . . . . . . . . . .
6.3 Outros exemplos . . . . . . . . .
6.3.1 Endomorfismos de Tn . .
6.3.2 Interc
ambios de intervalos
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
161
162
162
165
167
169
173
175
177
177
178
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
DR
AF
4.4
4.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4.3
4.6
4.7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTEUDO
vi
6.4
6.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
187
188
190
190
191
193
195
198
198
199
199
199
199
199
199
199
8 Entropia
8.1 Definica
o de entropia . . . . . . . . . . . . . . . . . . . . .
8.1.1 Entropia em Teoria da Informaca
o . . . . . . . . .
8.1.2 Entropia de uma partica
o . . . . . . . . . . . . . .
8.1.3 Entropia de um sistema din
amico . . . . . . . . . .
8.2 Teorema de Kolmogorov-Sinai . . . . . . . . . . . . . . . .
8.2.1 Partico
es geradoras . . . . . . . . . . . . . . . . . .
8.3 Entropia local . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.1 Prova do teorema de Shannon-McMillan-Breiman .
8.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.4.1 Deslocamentos de Markov . . . . . . . . . . . . . .
8.4.2 Transformaca
o de Gauss . . . . . . . . . . . . . . .
8.4.3 Transformaco
es expansoras do intervalo . . . . . .
8.4.4 Automorfismos do toro . . . . . . . . . . . . . . . .
8.5 A entropia como invariante . . . . . . . . . . . . . . . . .
8.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
201
202
202
203
208
211
213
215
216
220
220
221
223
223
223
225
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
DR
AF
7 Sistemas equivalentes
7.1 Equivalencia erg
odica . . . . . . . . . . . .
7.2 Equivalencia espectral . . . . . . . . . . . .
7.2.1 Invariantes de equivalencia espectral
7.2.2 Teorema espectral . . . . . . . . . .
7.2.3 Autovetores e mistura fraca . . . . .
7.3 Espectro discreto . . . . . . . . . . . . . . .
7.4 Espectro de Lebesgue . . . . . . . . . . . .
7.4.1 Exemplos e propriedades . . . . . .
7.4.2 Deslocamentos gaussianos . . . . . .
7.5 Sistemas de Kolmogorov . . . . . . . . . . .
7.5.1 Propriedades . . . . . . . . . . . . .
7.6 Transformaco
es expansoras do intervalo . .
7.6.1 Exatid
ao . . . . . . . . . . . . . . .
7.7 Espacos de Lebesgue . . . . . . . . . . . . .
7.8 Exerccios . . . . . . . . . . . . . . . . . . .
Captulo 0
DR
AF
Elementos de Teoria da
Medida
0.1
Espa
cos mensur
aveis
Uma noca
o b
asica na Teoria da Medida e a noca
o de a
lgebra, e por extens
ao,
a noca
o de -
algebra de subconjuntos. Comecamos por introduzi-las e estudar
algumas de suas propriedades. Em seguida definimos espacos mensur
aveis e
apresentamos uma tecnica de construca
o de -
algebras.
Dado um subconjunto A X denotaremos por Ac o complementar X \ A
do conjunto A em relaca
o a X.
Defini
c
ao 0.1. Uma a
lgebra de X e uma famlia B de subconjuntos de X que
e fechada para as operaco
es elementares de conjuntos e contem X. Isto e:
XB
A B implica Ac B
A B e B B implica A B B.
Defini
c
ao 0.2. Uma a
lgebra diz-se uma -
algebra de subconjuntos de X se
tambem for fechada para as uni
oes enumer
aveis:
Aj B para j = 1, 2, . . . implica
j=1
Aj B.
f
E
acil ver que uma -
algebra B tambem e fechada para as interseco
es enu
c c
mer
aveis: de fato, se Aj B para j = 1, 2, . . . , n, . . . ent
ao
A
=
j=1 j
j=1 Aj
tambem est
a em B.
DR
AF
Defini
c
ao 0.3. Um espaco mensur
avel e uma dupla (X, B) onde X e um conjunto e B e uma -
algebra de subconjuntos de X. Os elementos de B s
ao
chamados conjuntos mensur
aveis.
Em seguida apresentamos algumas construco
es de -
algebras.
Defini
c
ao 0.6. A -
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.
Defini
c
ao 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
Espa
cos de medida
DR
AF
0.2
Agora introduzimos o conceito de medida e analisamos algumas das suas propriedades fundamentais. Em seguida apresentamos alguns resultados sobre construca
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
ao 0.8. Uma medida num espaco mensur
avel (X, B) e uma funca
o :
B [0, +] que satisfaz:
1. () = 0;
S
P
2. ( j=1 Aj ) = j=1 (Aj ) para quaisquer Aj B disjuntos dois-a-dois.
A tripla (X, B, ) e chamada espaco de medida. Quando vale (X) < dizemos
que e uma medida finita e se (X) = 1 dizemos que e uma probabilidade.
Neste u
ltimo caso, (X, B, ) e um espaco de probabilidade.
Defini
c
ao 0.10. Diremos que uma medida e -finita se existir uma sequencia
de subconjuntos A1 , A2 , . . . de X satisfazendo (Ai ) < para todo i N e
X=
Ai .
i=1
j=1
para qualquer famlia finita A1 , . . . , AN B de subconjuntos disjuntos dois-adois. 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 a
lgebra 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
extens
ao de 0 , isto e, para todo elemento B B0 temos que 0 (B) = (B).
DR
AF
n
\
Aj ) = 0
(1)
j=1
A demonstraca
o deste teorema e proposta como Exerccio 0.9. Usando argumentos an
alogos, e possvel obter outras caracterizaco
es para a -aditividade
de uma funca
o finitamente aditiva:
(2)
(3)
Defini
c
ao 0.14. Dizemos que uma coleca
o n
ao-vazia de subconjuntos mensur
aveis que contem X de subconjuntos mensur
aveis C e uma classe mon
otona,
se C e fechada para as uni
oes e interseco
es enumer
aveis mon
otonas, ou seja, se
0.2. ESPAC
OS DE MEDIDA
Claramente, as famlias {, X} e 2X s
ao classes mon
otonas. Alem disso, se
{Ci : i I} e uma famlia qualquer de classes mon
otonas, ent
ao iI Ci e uma
classe mon
otona. Portanto, dado um subconjunto A de 2X , podemos sempre
considerar a menor classe mon
otona que contem A.
DR
AF
pode ser t
ao pequena quanto se queira.
Defini
c
ao 0.17. Um espaco de medida diz-se completo se todo subconjunto de
um conjunto mensur
avel com medida nula tambem e mensur
avel.
. Por construca
o, (M, B,
) e um espaco de medida completo. Frequentemente,
chamaremos uma funca
o definida em M de mensur
avel se ela for mensur
avel
relativamente a
` -
algebra completada B.
0.2.1
Medida de Lebesgue
A medida de Lebesgue corresponde ao que entendemos por volume de subconjuntos de Rd . Ela e construda do seguinte modo.
Consideremos M = [0, 1] e seja B0 a famlia de todos os subconjuntos da
forma B = I1 IN onde I1 , . . . , IN s
ao intervalos disjuntos dois-a-dois. E
f
acil ver que B0 e uma a
lgebra de subconjuntos de M . Alem disso, temos uma
funca
o m0 : B0 [0, 1] definida nesta a
lgebra por
m0 I1 IN = |I1 | + + |IN | ,
Note que a -
algebra B gerada por B0 coincide com a -
algebra de Borel
de M , j
a que todo aberto pode ser escrito como uni
ao enumer
avel de intervalos abertos disjuntos dois-a-dois. Ent
ao, pelo Teorema 0.11, existe uma u
nica
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
ret
angulo em M qualquer subconjunto da forma R = I1 Id onde os Ij
s
ao intervalos, e definimos
DR
AF
Em seguida, consideramos a a
lgebra B0 dos subconjuntos de [0, 1]d da forma
B = R1 RN , onde R1 , . . . , RN s
ao ret
angulos disjuntos dois-a-dois, e
definimos
m0 (B) = m0 (R1 ) + + m0 (RN )
Cada cubo [m1 , m1 + 1) [md , md + 1) pode ser identificado com [0, 1)d
por meio da translaca
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
avel B C. Finalmente, dado qualquer conjunto
mensur
avel B Rd , definimos
X
X
m(B) =
md Z
Note que m n
ao e uma medida finita, mas e uma medida -finita.
0.2. ESPAC
OS DE MEDIDA
k
X
(Ij ).
DR
AF
j=1
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 Teorema 0.11 podemos estender para toda -
algebra dos borelianos de [0, 1].
Observe que a medida que acabamos de construir tem a seguinte propriedade especial: se um conjunto A [0, 1] tem medida de Lebesgue zero ent
ao
(A) = 0. Essa propriedade chama-se continuidade absoluta (com respeito a
`
medida de Lebesgue) e ser
a estudada com mais detalhes na Seca
o 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:
Observe que a medida de qualquer aberto da reta e positiva, pois necessariamente A contem algum ri . Apesar disso, a medida de Q e
X 1
(Q) =
= 1.
2i
ri Q
Em particular, n
ao e absolutamente contnua com respeito a
` medida de Lebesgue.
Defini
c
ao 0.21. Seja X um espaco topol
ogico e seja uma medida na a
lgebra de Borel de X. O suporte supp() da medida e o conjunto formado
pelos pontos x X tais que (V ) > 0 para qualquer vizinhanca V de x.
Proposi
c
ao 0.22. Seja X um espaco topol
ogico separ
avel e uma medida
(n
ao-nula) em X. Ent
ao, o suporte supp() e n
ao-vazio.
Demonstraca
o. De fato, se supp() e vazio, ent
ao para cada ponto x X
podemos encontrar uma vizinhanca aberta Vx tal que (Vx ) = 0. Como X e
separ
avel, a sua topologia admite uma base enumer
avel de abertos {A j : j =
1, 2, . . . }. Ent
ao para cada x podemos escolher i(x) N tal que x Ai(x) Vx .
Ent
ao,
X = xX Vx = cupxX Ai(x)
DR
AF
e portanto
(Ai ) = 0.
i=1
0.2.2
Medida produto
iI
Xi = {(xi )iI : xi Xi }.
(4)
(5)
0.3. FUNC
OES
MENSURAVEIS
n
Y
i (Ai ).
(6)
i=m
DR
AF
Em seguida estendemos a
`a
lgebra B0 , estipulando que a medida de qualquer
uni
ao finita de cilindros disjuntos dois-a-dois e igual a
` soma das medidas dos
cilindros. Esta extens
ao est
a bem definida e e -aditiva. Finalmente, recorrendo
ao Teorema 0.11, estendemos para uma medida em (, B). O espaco de medida
(, B, ) construdo desta forma e denominado produto dos espacos (Xi , Bi , i ),
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 modelam 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
([m; Am , . . . , An ]) =
n
Y
(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 probabilidades 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
[m; am , . . . , an ] = {(xi )iI X : xm = am , . . . , xn = an },
(8)
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 qualquer (X, B) . Denotaremos por [, +] o conjunto R {, +}.
10
Defini
c
ao 0.23. Uma funca
o f : X [, +] e mensur
avel se f 1 ((c, +])
pertence a B para todo c R.
Uma condica
o equivalente e que a pre-imagem de qualquer boreliano de R
pertence a -algebra B. Deixamos ao leitor o cuidado de verificar que esta
segunda condica
o e de fato equivalente a
` definica
o que acabamos de dar. No
Exerccio 0.5 sugerimos igualmente que prove a seguinte proposica
o:
Proposi
c
ao 0.24. Seja f : X Y uma funca
o qualquer e C uma -
algebra de
Y . Se definimos B = {f 1 (C) X : C C}, ent
ao B e uma -
algebra de X.
DR
AF
Proposi
c
ao 0.27. Sejam f, g : X [, +] funco
es mensur
aveis e sejam
a, b R. Ent
ao tambem s
ao mensur
aveis as seguintes funco
es:
(af + bg)(x) = af (x) + bg(x)
As combinaco
es lineares de funco
es caractersticas formam uma classe importante de funco
es mensur
aveis:
EM ESPAC
0.4. INTEGRAC
AO
OS DE MEDIDA
11
Defini
c
ao 0.28. Dizemos que uma funca
o s : M R e simples se existem
constantes 1 , . . . , k R e conjuntos mensur
aveis A1 , . . . , Ak B disjuntos
dois-a-dois tais que
k
X
k X Ak ,
(10)
s=
j=1
onde XA e a funca
o caracterstica do conjunto A.
DR
AF
Proposi
c
ao 0.29. Seja f : X [, +] uma funca
o mensur
avel. Ent
ao
existe uma sequencia (sn )n de funco
es simples tal que |sn (x)| |f (x)| para todo
ne
lim sn (x) = f (x) para todo x X.
n
Se f e limitada ent
ao a sequencia pode ser escolhida de modo que a convergencia
seja uniforme. Se f e n
ao-negativa ent
ao podemos tomar 0 s1 s2 f .
0.4
Integra
c
ao em espa
cos de medida
Nesta seca
o definimos a integral de Lebesgue de uma funca
o em relaca
o a uma
medida. Esta noca
o generaliza a noca
o de integral de Riemann que e normalmente apresentada no C
alculo ou num primeiro curso de An
alise. A motivaca
o
para fazermos esta generalizaca
o e que a integral de Riemann n
ao est
a definida
para muitas funco
es u
teis, por exemplo, para funco
es caractersticas de conjuntos mensur
aveis em geral (veja o Exemplo 0.34 abaixo). J
a a integral de
Lebesgue faz sentido em toda a classe das funco
es mensur
aveis que, como vimos
na Proposica
o 0.27, e fechada para as principais operaco
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
integral de uma funca
o simples:
P
Defini
c
ao 0.30. Seja s = kj=1 k XAk uma funca
o simples. Ent
ao a integral
de s em relaca
o a
` medida e dada por:
Z
s d =
k
X
k (Ak ).
j=1
f
E
acil verificar que esta definica
o e coerente: se duas combinaco
es 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
Defini
c
ao 0.31. Seja f : X [0, ] uma funca
o mensur
avel n
ao-negativa.
Ent
ao
Z
Z
f d = lim
sn d,
n
DR
AF
N
ao e difcil verificar que esta definica
o e coerente: o valor da integral n
ao
depende da escolha da sequencia de funco
es simples crescendo para f .
Para estender a definica
o de integral a qualquer funca
o mensur
avel, observemos que dada uma funca
o f : X [, +] sempre podemos escrever
f = f + f com
f + (x) = max{f (x), 0} e f (x) = max{f (x), 0}.
desde que alguma das integrais do lado direito seja finita (valem as convenco
es
usuais (+) a = + e a (+) = para todo a R).
Defini
c
ao 0.33. Dizemos que uma funca
o e integr
avel se for mensur
avel e sua
integral for um n
umero real. Denotamos o conjunto das funco
es integr
aveis por
L1 (X, B, ) ou, mais simplesmente, por L1 ().
Dada uma funca
o mensur
avel f : X R e um conjunto mensur
avel E
definimos a integral de f sobre E por
Z
Z
f d = f XE d,
E
onde XE e a funca
o caracterstica do conjunto E.
EM ESPAC
0.4. INTEGRAC
AO
OS DE MEDIDA
13
m
X
p i xi
i=1
P
Em outras palavras (A) = xi A pi para todo subconjunto A de X. Ent
ao,
para qualquer funca
o f : X [, +],
f d =
m
X
f (xi )pi .
DR
AF
i=1
Proposi
c
ao 0.36. O conjunto L1 () das funco
es integr
aveis e um espaco vetorial real, ou seja: af + bg L1 (M ) para todo f,Rg L1 (M ) e todo a, b R.
Alem disso, a aplicaca
o I : L1 () R, I(f ) = f d e um funcional linear
positivo, ou seja:
Z
Z
Z
af + bg d = a f d + b g d.
e se f (x) g(x) para todo x en
ao
Z
Z
f d g d.
R
R
Em particular, f d |f | d para toda f L1 (M ).
Defini
c
ao 0.37. Dizemos que uma propriedade e v
alida em -quase todo ponto
se e v
alida em todo o X exceto, possivelmente, num conjunto de medida nula.
Esta observaca
o permite definir integral para qualquer funca
o f , possivelmente
n
ao mensur
avel)R que e igual
em
-quase
todo
ponto
a
uma
funca
o mensur
avel
R
g: basta tomar f d = g d.
0.5
Teoremas de converg
encia
14
Nesta seca
o mencionamos tres resultados importantes para o estudo da convergencia de funco
es sob o sinal de integral. O primeiro deles lida com sequencias
mon
otonas de funco
es:
Teorema 0.38 (Convergencia mon
otona). Seja fn : X [, +] uma
sequencia mon
otona de funco
es mensur
aveis n
ao-negativas e seja f a funca
o
definida por f (x) = limn fn (x). Ent
ao
Z
Z
lim fn d = f (x) d.
DR
AF
O pr
oximo resultado vale para sequencias mais gerais, n
ao necessariamente
mon
otonas:
0.6
fn d =
f d.
Deriva
c
ao de medidas
(B(a, ) A)
= 1.
(B(a, ))
(11)
0.7. OS ESPAC
OS LP ()
15
DR
AF
1
lim
r0 (B(x, r))
f (y)d = f (x)
B(x,r)
Defini
c
ao 0.43. Sejam e duas medidas num espaco mensur
avel (X, B).
Dizemos que e absolutamente contnua em relaca
o a se todo conjunto mensur
avel E que satisfaz (E) = 0 tambem satisfaz (E) = 0. Nesse caso escrevemos .
Outro resultado importante, conhecido por teorema de Rad
on-Nikodym,
afirma que quando a medida pode ser vista como a integral com
respeito a de uma certa funca
o mensur
avel , que e chamada densidade ou
derivada de Rad
on-Nikodym de relativamente a .
Teorema 0.44 (Rad
on-Nikodym). Se e s
ao medidas finitas tais que
ent
ao existe uma funca
o mensur
avel : X [0, +] tal que = , ou seja,
tal que
Z
(E) =
d, para todo o conjunto mensur
avel E X.
(12)
E
0.7
Os espa
cos Lp ()
Nesta seca
o vamos definir espacos formados por funco
es que possuem propriedades de integrabilidade especiais. Estes espacos s
ao espacos vetoriais normados que s
ao completos com respeito a essa norma, ou seja, espacos de Banach. Tambem enunciaremos algumas desigualdades envolvendo as normas destes espacos. Ao longo da seca
o (X, B, ) ser
a sempre um espaco de medida.
0.7.1
Lp () com 1 p <
16
Defini
c
ao 0.45. Denotamos por Lp () o conjunto das funco
es complexas que
s
ao iguais em -quase todo ponto a uma funca
o p-integr
avel, m
odulo a relaca
o
de equivalencia que identifica duas quaisquer funco
es que s
ao iguais em -quase
todo ponto.
DR
AF
O pr
oximo teorema mostra que Lp () fica munido da estrutura de um espaco
de Banach:
Teorema 0.46. O conjunto Lp () e um espaco vetorial complexo. Alem disso,
kf kp e uma norma em Lp () e essa norma e completa.
A parte mais interessante da demonstraca
o deste teorema e provar a desigualdade triangular que, neste caso, e conhecida como desigualdade de Minkowski:
Teorema 0.47 (Desigualdade de Minkowski). Sejam f, g Lp (). Ent
ao:
Z
p1 Z
p1
Z
p1
|f + g|p d
|f |p d
+
|g|p d
.
0.7.2
Produto interno em L2 ()
0.7. OS ESPAC
OS LP ()
17
sZ
|f |2 d
sZ
|g|2 d.
|f g| d
sZ
|f |2 d
sZ
1 d < .
DR
AF
0.7.3
|f g| d
Z
|f | d
p1 Z
|g| d
q1
Fun
co
es essencialmente limitadas
Defini
c
ao 0.50. Denotamos por Lp () o conjunto das funco
es complexas que
s
ao iguais em -quase todo ponto a uma funca
o p-integr
avel, m
odulo a relaca
o
de equivalencia que identifica duas quaisquer funco
es que s
ao iguais em -quase
todo ponto.
Podemos definir uma norma em L () por
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 precisamente, L () munido da norma k k e um espaco de Banach. Observe que se
e uma medida finita, ent
ao L () Lp () para qualquer p 1.
0.7.4
Convexidade
18
DR
AF
f d f d.
X
X
i a i
i (ai ).
(14)
i=1
i=1
0.8
Medidas em espa
cos m
etricos
Defini
c
ao 0.54. Uma medida boreliana num espaco topol
ogico e regular se
para todo subconjunto mensur
avel B e todo > 0 existe um conjunto fechado
F e um conjunto aberto A tais que F B A e (F \ A) < .
Proposi
c
ao 0.55. Toda medida de probabilidade num espaco metrico e regular.
0.8. MEDIDAS EM ESPAC
OS METRICOS
19
DR
AF
Demonstraca
o. Seja B0 a famlia dos subconjuntos borelianos B tais que para
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 ent
ao (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
.
Por
n=1 n
hip
otese, 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 =
e um
n=1 An
m
aberto e qualquer uni
ao finita F = n=1 Fn e um fechado. Fixemos o inteiro m
suficientemente grande para que
n=1
Fn \ F < /2
[
X
X
A\F
An \ F n +
Fn \ F <
n=1
n=1
n=1
2n+1
= .
2
Demonstraca
o. Considere a funca
o 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 ) .
20
DR
AF
\
E=
1 (Bn,k ) Acn,k .
n,k=1
Por um lado,
(M \ E)
n,k=1
n,k=1
2n+k+1
.
2
Defini
c
ao 0.59. Uma medida num espaco topol
ogico e justa se para todo
> 0 existe um subconjunto compacto K tal que (K c ) < .
0.8. MEDIDAS EM ESPAC
OS METRICOS
21
DR
AF
Demonstraca
o. Seja {pk : k N} um subconjunto enumer
avel denso de M .
k , 1/n), k N formam uma
Ent
ao, para cada n 1, as bolas fechadas B(p
cobertura enumer
avel de M . Dado > 0 e n 1, fixemos k(n) 1 de tal forma
que o conjunto (fechado)
k(n)
Ln =
k , 1/n)
B(p
k=1
X
Lcn <
= .
n
2
n=1
n=1
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 completo, 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)}
e infinito. Seja i(2) o menor elemento de I2 \ {i(1)}. Repetindo este procedimento, 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,
d(xia , xib ) 2/n para todo a, b n.
Corol
ario 0.61. Suponha que M e um espaco metrico completo separ
avel e e
uma medida de probabilidade em M . Para todo > 0 e todo conjunto boreliano
B M existe um compacto L B tal que (B \ L) < .
22
Demonstraca
o. Pela Proposica
o 0.55 podemos encontrar um conjunto fechado
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 compacto na conclus
ao:
DR
AF
0.9
Exerccios
Mostre que B1 e a -
algebra gerada pela a
lgebra B0 do Exerccio 0.1.
0.9. EXERCICIOS
23
DR
AF
[
X
(
Aj )
(Aj ).
j=1
j=1
se A e infinito
0.9. Demonstre o Teorema 0.13 a partir do Teorema 0.12 (teorema da continuidade no vazio).
24
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.
DR
AF
com k 1 e a1 , . . . , ak X.
0.17. Seja
o integr
avel. Mostre que para todo > 0 existe > 0
R f uma funca
tal que | E f d| < para todo conjunto mensur
avel E com (E) < .
0.9. EXERCICIOS
25
xi A
DR
AF
F =
E
.
Ou
seja,
F
est
a
formado
pelos
pontos
que
pertencem a
k=1 n=k n
P
En para infinitos valores de n. Mostre que se n (En ) < ent
ao (F ) = 0.
Este fato e conhecido como Lema de Borel-Cantelli.
Dica: Para cada i 1 considere o conjunto Fi dos pontos que
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
avel cuja -
algebra B admite algum subconjunto gerador enumer
avel {Un : n N}. Seja C = {0, 1}N.
(a) A aplicaca
o : M C, (x) = XUn (x) n e injetiva e mensur
avel.
Agora suponha que M e um espaco metrico separ
avel completo e e uma
probabilidade boreliana em M .
26
(d) Se e n
ao at
omica existe uma aplicaca
o mensur
avel : M [0, 1] e
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].
Dica: Considere a aplicaca
o h : [0, 1] [0, 1] dada por h(x) = ([0, x]).
Agora suponha que e at
omica. O conjunto
{aj } dos a
tomos e enumer
avel.
P
Denote pj = (aj ) para cada j e seja p = j P
pj . Considere N = [0, 1 p] {aj }
munido da probabilidade = | [0, 1 p] + j pj aj .
DR
AF
Captulo 1
DR
AF
Medidas Invariantes e
Recorr
encia
1.1
Medidas Invariantes
Seja (M, B, ) um espaco de medida. Vamos comecar por definir medida invariante de uma transformaca
o mensur
avel f : M M .
A medida e invariante por f (tambem dizemos que f preserva ) se
(E) = (f 1 (E))
(1.1)
28
(1.2)
DR
AF
(1.3)
Proposi
c
ao 1.1. Sejam f : M M uma transformaca
o mensur
avel e uma
medida em M . Ent
ao f preserva se, e somente se,
Z
Z
d = f d.
(1.4)
para toda funca
o -integr
avel : M R.
Demonstraca
o. Suponhamos que a medida e invariante. Vamos mostrar que
a relaca
o (1.4) e v
alida para classes de funco
es sucessivamente mais amplas.
Inicialmente, observe que por hip
otese (B) = (f 1 (B)) para todo conjunto
mensur
avel B. Como,
Z
Z
XB d = (B) e (f 1 (B)) = (XB f ) d,
isto mostra que (1.4) e v
alida para as funco
es caractersticas. Ent
ao, por linearidade da integral, (1.4) e v
alida para funco
es simples. Em seguida, vamos usar
um argumento de aproximaca
o para concluir que (1.4) vale para toda funca
o integr
avel. Dada qualquer funca
o integr
avel : M R, considere uma sequencia
(sn )n de funco
es simples convergindo para e tal que |sn | || para todo
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
1.2
Teorema de recorr
encia de Poincar
e
O teorema de recorrencia de Poincare afirma que relativamente a qualquer medida invariante finita de um sistema din
amico mensur
avel, quase todo ponto x
29
1.2.1
Vers
ao mensur
avel
DR
AF
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:
Demonstraca
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
ao disjuntas duas-aduas. De fato, suponhamos que existem m > n 1 tais que f m (E0 ) intersecta
f n (E0 ). Seja x um ponto na intersecca
o e seja y = f n (x). Ent
ao y E0 e
mn
m
f
(y) = f (x) E0 , que est
a contido em E. Isto quer dizer que y volta
pelo menos uma vez a E, o que contradiz a definica
o de E0 . Esta contradica
o,
prova que as pre-imagens s
ao disjuntas duas-a-duas, como afirmamos.
Observando que (f n (E0 )) = (E0 ) para todo n 1, porque e invariante,
conclumos que
n=0
X
X
f n (E0 ) =
(f n (E0 )) =
(E0 ).
n=0
n=0
f k (E0 )
k=0
(f k (E0 )) =
k=0
X
k=0
(E0 ) = 0
CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
30
Teorema de Ka
c
1.2.2
DR
AF
E0 = {x M : f n (x)
/ E para todo n 0}.
Demonstraca
o. Para cada n 1, defina
En = {x E : f (x)
/ E, . . . , f n1 (x)
/ E, mas f n (x) E} e
En = {x M : x
/ E, f (x)
/ E, . . . , f n1 (x)
/ E, mas f n (x) E}.
n=0
X
(En ) + (En ) = (E0 ) +
(En ) + (En ) .
(1.6)
n=1
f 1 (En ) = En+1
E n+1
para todo n.
(1.7)
31
De fato, f (y) En quer dizer que o primeiro iterado de f (y) que est
a em E e
(En ) = (Em
)+
m
X
(1.8)
i=n+1
DR
AF
A relaca
o (1.6) implica que (Em
) 0 quando m . Portanto, tomando o
limite quando m na igualdade (1.8), obtemos:
(En ) =
(Ei ),
(1.9)
i=n+1
X
X
X
n
(M ) (E0 ) =
(Ei ) =
n(E ) =
E d,
n=1
i=n
n=1
Em alguma situaco
es, por exemplo quando o sistema (f, ) e erg
odico (esta
propriedade ser
a definida e estudada no Captulo 4) o conjunto E0 tem medida
zero. Ent
ao a conclus
ao do teorema de Kac diz que
Z
1
(M )
E d =
(1.10)
(E) E
(E)
para todo conjunto mensur
avel E. O lado esquerdo desta igualdade e o tempo
medio de retorno a E. A igualdade (1.10) diz que o tempo medio de retorno e
inversamente proporcional a
` medida de E.
n1 k
Observa
c
ao 1.4. Por definica
o, En = f n (E) \ k=0
f (E). O fato de que
a soma (1.6) e finita implica que a medida deste conjunto converge para zero
quando n . Isto ser
au
til mais tarde.
1.2.3
Vers
ao topol
ogica
32
DR
AF
kN
1.3
Exemplos
1.3.1
Expans
ao decimal
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.
33
1.3. EXEMPLOS
1
PSfrag replacements
1/10
3/10
DR
AF
7/10
9/10
2/10
4/10
6/10
8/10
(1.11)
Esse fato pode ser verificado da seguinte forma. Comecemos por supor que E
e um intervalo. Ent
ao, conforme ilustrado na Figura 1.1, a pre-imagem f 1 (E)
consiste de dez intervalos, cada um deles dez vezes mais curto do que E. Logo, a
medida de Lebesgue de f 1 (E) e igual a
` medida de Lebesgue de E. Isto mostra
que (1.11) e satisfeita no caso de intervalos. Como consequencia, essa relaca
o e
satisfeita sempre que E e uma uni
ao finita de intervalos. Agora, a famlia das
uni
oes finitas de intervalos e uma a
lgebra que gera a -
algebra de Borel de [0, 1].
Portanto, para concluir a demonstraca
o basta usar o seguinte fato geral:
Lema 1.7. Seja f : M M uma transformaca
o mensur
avel e uma medida
finita em M . Suponha que existe uma a
lgebra A de subconjuntos mensur
aveis
de M tal que A gera a -
algebra B de M e (E) = (f 1 (E)) para todo E A.
Ent
ao o mesmo vale para todo conjunto E B, isto e, a medida e invariante
por f .
Demonstraca
o. Comecemos por provar que C = {E B : (E) = (f 1 (E))}
e uma classe mon
otona. Para isso, seja E1 E2 . . . uma sequencia de
elementos em C e seja E =
i=1 Ei . Pelo Teorema 0.13, temos que
(E) = lim (Ei ) e (f 1 (E)) = lim (f 1 (Ei )).
i
Ent
ao, usando o fato de que Ei C,
34
Agora e f
acil obter a conclus
ao do lema. Note que C contem A, por hip
otese.
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.
Agora vamos explicar como, a partir do fato de que a medida de Lebesgue e
invariante pela transformaca
o f , podemos obter conclus
oes interessantes usando
o teorema de recorrencia de Poincare. A funca
o f tem uma relaca
o direta com
o algoritmo da expans
ao decimal: se x e dado por
DR
AF
x = 0, a0 a1 a2 a3
(1.12)
1.3.2
Transforma
c
ao de Gauss
Note que a1 e um n
umero natural, x1 [0, 1) e tem-se
x0 =
1
.
a1 + x1
35
1.3. EXEMPLOS
Ent
ao
x1 =
e portanto x0 =
a1 +
1
a2 + x2
DR
AF
x0 =
a1 +
(1.13)
a2 +
1
an + xn
N
ao e difcil mostrar que a sequencia
zn =
a1 +
(1.14)
a2 +
1
an
x0 =
a1 +
(1.15)
a2 +
an +
36
O algoritmo de expans
ao em fraca
o contnua est
a intimamente conectado
com o sistema din
amico no intervalo [0, 1] que vamos descrever a seguir. A
transformaca
o de Gauss G : [0, 1] [0, 1] e definida por
1
1
G(x) =
= parte fracion
aria de 1/x,
x
x
DR
AF
se x (0, 1] e G(0) = 0. O gr
afico de G pode ser esbocado facilmente, a partir
da seguinte observaca
o: para todo x em cada intervalo (1/(k + 1), 1/k] a parte
inteira de 1/x e igual a k e, portanto, G(x) = 1/x k. Veja a Figura 1.2.
1
...
PSfrag replacements
1/4
1/3
1/2
A expans
ao em fraca
o contnua de qualquer n
umero x0 (0, 1) pode ser
obtida a partir da transformaca
o de Gauss, da seguinte forma: para cada n 1
o n
umero natural an e determinado por
Gn1 (x0 ) Ian .
e xn e simplesmente o n-esimo iterado Gn (x0 ) de x0 . Este processo se encontrarmos algum xn = 0; como explicamos anteriormente, isto s
o pode acontecer
se o n
umero x0 for racional (veja o Exerccio 1.8). Em particular, todos os
iterados de G est
ao definidos para um conjunto com medida de Lebesgue total
de pontos iniciais.
O que torna esta transformaca
o interessante do ponto de vista da Teoria
Erg
odica e que G admite uma probabilidade invariante que e equivalente a
`
medida de Lebesgue no intervalo. De fato, considere a medida definida por
Z
c
(E) =
dx para cada mensur
avel E [0, 1],
(1.16)
E 1+x
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
37
1.3. EXEMPLOS
c
m(E) (E) c m(E)
2
(1.17)
DR
AF
Demonstraca
o. Vamos utilizar o seguinte lema:
2. a restrica
o fk = f | Ik a cada Ik e um difeomorfismo sobre (0, 1).
(y)
Demonstraca
o. Seja = E a funca
o caracterstica de um conjunto mensur
avel
E [0, 1] qualquer. Pela f
ormula de mudanca de vari
aveis,
Z
Z 1
(f (x))(x) dx =
(y)(fk1 (y))|(fk1 )0 (y)| dy.
Ik
(f (x))(x) dx =
Z
X
(f (x))(x) dx
k=1 Ik
Z 1
X
k=1
(f 1 (y))
(y) 0 k1
dy.
|f (fk )(y)|
(1.19)
X
(fk1 (y))
(y)
dy
=
(y)(y) dy.
|f 0 (fk1 )(y)|
0
0
k=1
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 .
CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
38
X
X
(G1
c
c(y + k)
1 2 X
k (y))
=
.
=
1
0
(y + k)(y + k + 1)
|G (Gk )(y)| k=1 y + k + 1 y + k
k=1
k=1
Observando que
(1.20)
DR
AF
1
1
1
=
,
(y + k)(y + k + 1)
y+k y+k+1
vemos que a u
ltima 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
k=1
1
c
=
= (y).
(y + k)(y + k + 1)
y+
c
dx = c log 2.
1+x
Esta proposica
o permite utilizar ideias de Teoria Erg
odica, aplicadas a
` transformaca
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 expans
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
39
1.3. EXEMPLOS
x y Z.
DR
AF
[x] 7 [x] + []
que tambem denotaremos por R (por abuso de linguagem, por vezes chamaremos R de rotaca
o de a
ngulo ).
Aqui destacamos que a din
amica de R possui dois comportamentos bem
distintos, dependendo de . Se e racional, digamos = p/q com p Z e
q N, ent
ao
Rq ([x]) = [x + q] = [x] para todo [x].
Proposi
c
ao 1.10. Se e irracional ent
ao O([x]) = {Rn ([x]) : n N} e um
subconjunto denso de R/Z para todo [x].
Demonstraca
o. Afirmamos que o conjunto D = {m + n : m Z, n N} e
denso em R. De fato, Considere um n
umero qualquer r R. Dado qualquer
> 0, podemos escolher p Z e q N tais que |q p| < . Note que o n
umero
a = q p e necessariamente diferente de zero, uma vez que e irracional.
Suponhamos que a e positivo (o outro caso e an
alogo). Subdividindo a reta
em intervalos de comprimento a, vemos que existe um n
umero inteiro l tal que
0 r la < a. Isto implica que
|r (lq lp)| = |r la| < a < .
CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
40
Como m = lq e n = lq s
ao inteiros e e arbitr
ario, isto mostra que r est
a no
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.
DR
AF
1.3.4
Rota
co
es em toros
As noco
es que acabamos de apresentar podem ser generalizadas para qualquer
dimens
ao, como vamos explicar em seguida. Para cada d 1, considere a
relaca
o de equivalencia em Rd que identifica dois vetores se a sua diferenca e
um vetor com coordenadas inteiras:
(x1 , . . . , xd ) (y1 , . . . , yd )
(x1 y1 , . . . , xd yd ) Zd .
: [0, 1]d Td ,
(x1 , . . . , xd ) 7 [(x1 , . . . , xd )]
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
c
ao 1.11. Seja = (1 , . . . , d ) um vetor racionalmente independente.
Ent
ao O([x]) = {Rn ([x]) : n N} e um subconjunto denso de Td para todo [x].
41
1.3. EXEMPLOS
Transforma
co
es conservativas
1.3.5
DR
AF
Demonstraca
o. Suponha primeiro que o valor absoluto do jacobiano e igual 1
em todo ponto. Considere um conjunto mensur
avel E e seja B = f 1 (E). A
f
ormula (1.21) d
a que
Z
vol(E) =
1 dx = vol(B) = vol(f 1 (E)).
B
para todo y U.
Ent
ao a f
ormula (1.21) aplicada a B = U daria
Z
vol(f (U ))
dx vol(U ).
U
1.3.6
Fluxos conservativos
42
Aplicando o Lema 1.12 neste contexto, obtemos que o fluxo deixa invariante
a medida de volume se, e somente se,
det Df t (x) = 1 para todo x U e todo t R.
(1.22)
DR
AF
(1.23)
1.4. TRANSFORMAC
OES
INDUZIDAS
43
xi
=0
em todo ponto.
DR
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
Demonstraca
o. Para cada k 1, denote por Ek o conjunto dos pontos x E
tais que (x) = k. Por definica
o, g(x) = f k (x) para todo x Ek . Seja B um
subconjunto mensur
avel qualquer de E. Ent
ao
(g 1 (B)) =
X
k=1
(f k (B) Ek ).
Analogamente,
f 1 (B) \ E = f 2 (B) \ f 1 (E)
= f 2 (B) E2 + f 1 (B) \ (E f 1 (E)) .
(1.25)
(1.26)
CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
44
2
1
[
X
B =
f k (B) Ek + f 2 (B) \
f k (E) .
k=1
k=0
n
n1
[
X
B =
f k (B) Ek + f n (B) \
f k (E) .
k=1
(1.27)
k=0
DR
AF
claro que a u
Vamos passar ao S
limite quandon . E
ltima parcela e majorada
n1 k
n
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 subconjunto mensur
avel B de E. Isto e, a medida E e invariante por g.
1.4.2
Transforma
co
es induzidas
Na direca
o contr
aria, dada uma medida invariante qualquer de g : E E,
podemos construir uma certa medida invariante para f : M M . Ali
as,
para isto g n
ao 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
g : E E,
X
X
n=0 k>n
(f n (B) Ek ),
(1.28)
Proposi
c
aRo 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
X
X
f 1 (B) =
f n (B) Ek +
f k (B) Ek .
n=1 k>n
(1.29)
k=1
A respeito da u
ltima parcela, observe que
k=1
X
f k (B) Ek = g 1 (B) = B =
B Ek ,
k=1
DR
AF
uma vez que e invariante por g. Substituindo esta igualdade em (1.29), vemos
que
f
(B) =
X
X
n=1 k>n
(B) Ek +
X
k=1
B Ek = B
X
X
n=0 k>n
(f
(M ) Ek ) =
X
X
(Ek ) =
n=0 k>n
k=1
k(Ek ) =
d.
Corol
ario 1.17. Se g e a transformaca
o de primeiro retorno de f a E, ent
ao
(B) = (B) para todo conjunto mensur
avel B E.
Demonstraca
o. Por definica
o, f n (E) Ek = para todo 0 < n < k. Isto
implica que, dado qualquer conjunto mensur
avel BP
E, todas as parcelas com
n > 0 na definica
o (1.28) s
ao nulas. Logo, (B) = k>0 (B Ek ) = (B).
Ent
ao, as duas medidas e restritas ao conjunto E coincidem com . Por
consequencia, . Alem disso, o teorema de Kac nos diz que,
Z
Z
(M ) =
d =
d = (M ) (E0 ).
E
1.4.3
Torres de Kakutani-Rokhlin
possvel, e u
E
til, generalizar a construca
o anterior um pouco mais, abrindo
m
ao da pr
opria transformaca
o f : M M . Mais precisamente, dada uma
transformaca
o g : E E, uma medida em E invariante por g, e uma funca
o
CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
46
mensur
avel : E N, vamos mostrar como construir uma transformaca
o
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 transformaca
o 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:
M = {(x, n) : x E e 0 n < (x)}
k1
[
[
Ek {n}.
DR
AF
k=1 n=0
Ou seja, M consiste de k c
opias de cada conjunto Ek = {x E : (x) = k},
empilhadas umas sobre as outras. Chamamos cada k>n Ek {n} de n-esimo
andar de M . Veja a Figura 1.3.
...
PSfrag replacements
andar k
andar k 1
...
andar 2
andar 1
E1
E2
E3
Ek
terreo
1.5. EXERCICIOS
47
k=1
k(Ek ) =
d.
Exerccios
DR
AF
1.5
1
#{0 j n 1 : f j (x) D} > 0
n
Dica: Considere o subconjunto dos pontos onde o lim sup = 0 e use o teorema
da convergencia dominada.
1.5. Prove que, para quase todo n
umero x [0, 1] cuja expans
ao decimal contem
o bloco 617 (por exemplo x = 0, 3375617264 ), esse bloco aparece infinitas
vezes na expans
ao.
48
DR
AF
xf 1 (y)
(x)
= (y) para todo y M.
| det Df (x)|
Captulo 2
DR
AF
Exist
encia de Medidas
Invariantes
2.1
Comecemos por apresentar alguns exemplos que mostram que nenhuma das
duas hip
oteses do Teorema 2.1, continuidade e compacidade, pode ser omitida.
Considere f : (0, 1] (0, 1] dada por f (x) = x/2. Suponha que f admite
alguma probabilidade invariante; o objetivo e mostrar que isso n
ao acontece.
Pelo teorema de recorrencia (Teorema 1.5), relativamente a essa probabilidade
quase todo ponto de (0, 1] e recorrente. Mas e imediato que n
ao existe nenhum ponto recorrente: a o
rbita de qualquer x (0, 1] converge para zero e,
em particular, n
ao acumula no ponto inicial x. Portanto, f e um exemplo de
transformaca
o contnua num espaco n
ao compacto que n
ao admite nenhuma
probabilidade invariante.
49
50
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
e 0 (E) = 0 se 0
/ E.
DR
AF
Mas a medida 0 n
ao e invariante por f : tomando E = {0} temos que E tem
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 s
ao inerentes a
` sua grande generalidade): as medidas que ele garante existirem 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 equivalentes a
` medida de Lebesgue) que as tornem mais interessantes.
2.2
A topologia fraca
Nesta seca
o M sempre ser
a um espaco metrico. O nosso objetivo e definir a
topologia fraca no conjunto M1 (M ) das medidas borelianas de probabilidade
em M e discutir as suas propriedades principais.
Representamos por d(, ) a funca
o dist
ancia em M e por B(x, ) a bola de
centro x M e raio > 0. Dado B M , denotamos d(x, B) = inf{d(x, y) :
y B} e chamamos -vizinhanca de B ao conjunto B dos pontos x M tais
que d(x, B) < .
2.2.1
Defini
c
ao e propriedades da topologia fraca
51
DR
AF
Demonstraca
o. Para provar a parte somente se, considere qualquer funca
o
contnua limitada e forme o conjunto = {}. Como (n )n , temos que
dado qualquer > 0 existe uma ordem n
tal que n V (, , ) para todo
nn
. Mas isto significa, precisamente, que
Z
Z
dn d < para todo n n
.
R
R
Em outras palavras, a sequencia
d.
R ( dn )n converge para
R
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 .
Tomando n
= max{
n1 , . . . , n
N }, temos n V (, , ) para todo n n
.
2.2.2
Teorema Portmanteau
(2.2)
52
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
A construca
o seguinte e an
aloga, apenas substituindo fechados por abertos.
Dada qualquer famlia finita A = {A1 , . . . , AN } de abertos de M e dado qualquer
> 0, considere
Va (, A, ) = { M1 : (Ai ) > (Ai ) para todo i}.
(2.3)
DR
AF
(2.4)
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
53
DR
AF
tj (Bi,j )
i d
k
X
j=1
k
X
j=1
tj (Bi,j ) /2
e valem desigualdades an
alogas para as integrais relativamente a . Segue que
i d
k
X
i d
` |(Bi,j ) (Bi,j )| + /2
(2.6)
j=1
2.2.3
A topologia fraca
e metriz
avel
e (B) < (B ) +
(2.7)
Demonstraca
o. Comecemos por mostrar que se D(, ) = 0 ent
ao = . De
fato, a hip
otese implica que
e (B) (B)
(B) (B)
54
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
DR
AF
Proposi
c
ao 2.5. Se M e espaco metrico separ
avel ent
ao a topologia induzida
pela dist
ancia D coincide com a topologia fraca em M1 (M ).
Demonstraca
o. Seja > 0 e seja F = {F1 , . . . , FN } uma famlia finita de fechados de M . Fixe (0, /2) tal que (Fi ) < (Fi ) + /2 para todo i. Se
BD (, ) ent
ao
(Fi ) < (Fi ) + < (Fi ) + para todo i,
(2.8)
para todo E E.
(2.9)
(2.10)
55
DR
AF
2.2.4
Compacidade de M1 (M )
Nesta seca
o supomos que o espaco metrico M e compacto e provamos
Na demonstraca
o utilizaremos dois resultados cl
assicos, que enunciamos nos
dois teoremas a seguir. O leitor pode encontrar demonstraco
es destes teoremas
no livro de Rudin [Rud87].
Como e usual, denotamos por C 0 (M ) espaco vetorial C 0 (M ) das funco
es
contnuas : M R, munido da norma da convergencia uniforme:
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.
56
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
DR
AF
Proposi
c
ao 2.9. Toda sequencia (k )kN em M1 (M ) admite alguma subsequencia que e convergente na topologia fraca .
Demonstraca
o. Seja {n : n N} um subconjunto enumer
avel densoR na bola
unit
aria de C 0 (M ). Para cada n N, a sequencia de n
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 n
umero 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
de um n
umero finito de termos, (`j )jN e uma subsequencia de (kjn )jN para
todo n. Logo
Z
n dn`j
para todo n N.
() = lim
j
d`j existe
(2.11)
R
Como e arbitr
ario, conclumos que limj d`j existe. Isto prova (2.11)
quando a funca
o est
a na bola unit
aria. 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
57
todo ponto. Alem disso, (1) = 1. Logo, peloRTeorema 2.8, existe alguma probabilidade 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 ).
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.
DR
AF
2.2.5
A definica
o da topologia fraca no espaco das probabilidades, que acabamos de
apresentar, e um caso particular de uma construca
o geral em An
alise Funcional
que vamos esbocar a seguir.
Seja E um espaco de Banach e seja E o seu dual, isto e, o espao dos
funcionais lineares contnuos g : E R. O dual e tambem um espaco de
Banach, com a norma
kgk = sup
|g(v)|
: v E \ {0} .
kvk
(2.12)
(2.13)
(2.14)
para todo v E.
Esta u
ltima topologia e not
avel devido ao seguinte fato:
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
58
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
DR
AF
7 f
7 f.
(2.15)
Estas consideraco
es motivam a noca
o de operador de Koopman, que apresentaremos na Seca
o 2.5.
2.2.6
Teorema de Prohorov
Defini
c
ao 2.11. Um conjunto M de medidas num espaco topol
ogico e justo
se para todo > 0 existe um subconjunto compacto K tal que (K c ) < para
toda media M.
59
DO TEOREMA DE EXISTENCIA
2.3. DEMONSTRAC
AO
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
DR
AF
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 = .
Demonstraca
o. Se e a funca
o caracterstica de um conjunto mensur
avel B
ent
ao a relaca
o (2.16) significa que f (B) = (f 1 (B)), o que e verdade por
hip
otese. Pela linearidade da integral, segue que (2.16) vale sempre que e uma
funca
o simples. Finalmente, como toda funca
o mensur
avel limitada pode ser
aproximada uniformemente por funco
es simples (veja a Proposica
o 0.29), segue
que a conclus
ao do lema e verdadeira em geral.
Proposi
c
ao 2.14. A aplicaca
o f : M1 (M ) M1 (M ) e contnua relativamente a
` topologia fraca .
Demonstraca
o. Seja > 0 e = {1 , . . . , n } uma famlia qualquer de funco
es
contnuas limitadas. Como f e contnua, a famlia = {1 f, . . . , n f }
tambem consiste de funco
es contnuas limitadas. Pelo lema anterior,
Z
Z
Z
Z
| i d(f ) i d(f )| = | (i f ) d (i f ) d|
e portanto o lado esquerdo e menor que se o lado direito for menor que . Isto
quer dizer que
f V (, , ) V (f , , )) para todo , e
e este u
ltimo fato mostra que f e contnua.
60
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
DR
AF
n1
1X j
f
n j=0
(2.17)
(2.18)
Demonstraca
o. A relaca
o (2.18) afirma que dada uma famlia = { 1 , . . . , n }
de funco
es contnuas limitadas e para todo > 0 tem-se
Z
k 1 Z
1 nX
j
(i f ) d i d < /2
nk j=0
(2.19)
para todo i e todo k suficientemente grande. Pelo Lema 2.14, temos que
f = f lim
k
nk 1
nk
1 X
1 X
fj = lim
fj .
k nk
nk j=0
j=1
(2.20)
nk Z
k 1 Z
1 nX
1 X
(i f j ) d
(i f j ) d
nk j=0
nk j=1
Z
Z
1
2
=
i d (i f nk ) d
sup |i |
nk
nk
61
2.4. EXEMPLOS
e esta u
ltima express
ao e menor que /2 para todo i e todo k suficientemente
grande. Juntando este fato com (2.19), conclumos que
Z
nk Z
1 X
(i f j ) d i d <
nk j=1
(2.21)
DR
AF
nk
1 X
fj
nk j=1
quando k . Mas (2.20) significa que esta mesma sequencia converge para
f . Por unicidade do limite, segue que f = .
Isto completa a demonstraca
o do Teorema 2.1.
Corol
ario 2.17 (Recorrencia de Birkhoff). Se f : M M e uma transformaca
o contnua num espaco metrico compacto ent
ao f tem algum ponto recorrente.
Demonstraca
o. Pelo Teorema 2.1, existe alguma probabilidade f -invariante .
Por outro lado, todo espaco metrico compacto admite uma base enumer
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
ao
vazio, conforme foi afirmado.
2.4
Exemplos
2.4.1
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
62
Proposi
c
ao 2.18. Suponha que M e um espaco metrico completo separ
avel, N
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).
??
2.4.2
Fluxos suspens
ao
DR
AF
para todo x M e s, t R.
(2.23)
De fato, se (x, s) = (
x, s) ent
ao existe n Z tal que F n (x, s) = (
x, s). Logo,
Gt (
x, s) = Gt F n (x, s) = F n Gt (x, s)
(2.24)
63
2.4. EXEMPLOS
PSfrag replacements
M
f (x)
(x)
DR
AF
(2.25)
d =
d(x)
(x)
((x, s)) ds
(2.26)
Proposi
c
ao 2.19. O fluxo g t , t R preserva a medida .
Demonstraca
o. Fixemos t R. Dado qualquer conjunto mensur
avel B N ,
= 1 (B)D0 . Pela definica
Para
seja B
o de , temos que (B) = (ds)(B).
t
n
cada n Z seja Bn o conjunto dos (x, s) B tais que G (x, s) F (D0 ) e seja
n ). Como D0 e um domnio fundamental, {B
n : n Z} e uma partica
Bn = (B
o
n = 1 (Bn ) D0 e,
de B e {Bn : n Z} e uma partica
o de B. Alem disso, B
n ) para todo n. A definica
portanto, (Bn ) = ( ds)(B
o do fluxo suspens
ao
d
a que
[
[
n ) =
n ) .
1 g t (Bn ) = Gt 1 (Bn ) = Gt
F k (B
F k Gt (B
kZ
kZ
n )) D0 , conclumos que
Observando que F n (Gt (B
n )) .
g t (Bn ) = ( ds) 1 (g t (Bn )) D0 = ( ds) F n (Gt (B
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
64
nZ
DR
AF
No Exerccio 2.12 convidamos o leitor a relacionar as propriedades de recorrencia dos sistemas (f, ) e (g t , ).
2.4.3
Transforma
co
es de Poincar
e
2. se A e mensur
avel ent
ao A N e mensur
avel, para todo (0, ].
l1
[
g i/l (A/l )
i=0
e esta uni
ao e disjunta. Usando que e invariante pelo fluxo g t , t R,
conclumos que (A ) = l(A/l ) para todo (0, ] e todo l 1. Ent
ao,
(Ar ) = r(A ) para todo (0, ] e todo n
umero racional r (0, 1). Usando
que os dois lados desta relaca
o variam monotonamente com r, conclumos que
a igualdade permanece v
alida para todo n
umero real r (0, 1). Isso implica a
conclus
ao do lema.
65
2.4. EXEMPLOS
(A) =
DR
AF
Veja a Figura 2.3. Deixamos ao cuidado do leitor verificar que e uma medida
em . N
os a chamaremos de transporte de pelo fluxo atraves de .
f (A)
PSfrag replacements
Proposi
c
ao 2.21. Suponhamos que a medida e finita. Ent
ao a medida em
e invariante pela transformaca
o de Poincare f .
Demonstraca
o. Comecamos por observar que a transformaca
o f e essencialmente sobrejetiva: o complementar da imagem f () tem medida nula. De fato,
suponha que existe um conjunto E com (E) > 0 contido em \ f (). N
ao e
restrica
o supor que E para algum > 0. Ent
ao, (E ) > 0. Como e
finita, por hip
otese, podemos aplicar o teorema de recorrencia de Poincare ao
fluxo g t , t R. Obtemos que existe z E tal que g s (z) E para valores
de s > 0 arbitrariamente grandes. Por definica
o, z = g t (y) para algum y E
e algum t (0, ]. Por construca
o, a trajet
oria passada de y intersecta e,
portanto, existe x tal que f (x) = y. Isto contradiz a escolha de E. Logo a
nossa afirmaca
o est
a provada.
Dado um conjunto mensur
avel B , denotemos A = f 1 (B). Alem disso,
dado > 0, consideremos uma partica
o enumer
avel de B em subconjuntos
mensur
aveis B i satisfazendo as seguintes condico
es: para cada i existe i > 0
tal que
1. B i e Ai = f 1 (B i ) est
ao contidos em i ;
2. sup( | Ai ) inf( | Ai ) < i .
66
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
e g si (Aii ) Bi i +(si ti ) .
DR
AF
(si ti )
(B i ) > (1 2)(B i )
(si ti )
(Ai ) 1 +
(B i ) < (1 + 2)(B i ).
Como e arbitr
ario, isto prova que a medida e invariante por f .
2.4.4
Extens
ao natural
um espaco mensur
Se M e um espaco mensur
avel podemos tornar M
avel,
munindo-o da -
algebra gerada pela famlia dos subconjuntos
: xi Ai para i = k, . . . , 0}
[k; Ak , . . . , A0 ] = {(xn )n0 M
(2.27)
67
2.4. EXEMPLOS
onde k 0 e Ak , . . . , A0 s
ao subconjuntos mensur
aveis de M . Ent
ao e
aplicaca
o mensur
avel, uma vez que
1 (A) = [0; A].
(2.28)
(2.29)
(2.30)
DR
AF
f([k; Ak , . . . , A0 ]) = [k + 1; Ak , . . . , A0 , M ].
um espaco
Analogamente, se M e um espaco topol
ogico podemos tornar M
topol
ogico, munindo-o da topologia gerada pela famlia dos subconjuntos
: xi Ai para i = k, . . . , 0}
[k; Ak , . . . , A0 ] = {(xn )n0 M
(2.31)
onde k 0 e Ak , . . . , A0 s
ao subconjuntos abertos de M . As relaco
es (2.28) e
(2.30) mostram que e f1 s
ao contnuas, enquanto que (2.29) mostra que f e
contnua se f for.
um espaco
Se M e um espaco metrico, com dist
ancia d, podemos tornar M
metrico munindo-o da dist
ancia
d x
, y) =
0
X
2n d(xn , yn ),
n=
A seguinte observaca
o e uma consequencia imediata da definica
o: se x
e y est
ao
numa mesma pre-imagem 1 (x) ent
ao
fj (
x, y) para todo j 0.
d(
x), fj (
y )) 2j d(
Proposi
c
ao 2.22. Suponha que M e um espaco topol
ogico. Se M e
= 1 () e o u
um conjunto invariante fechado de f ent
ao
nico conjunto
= .
invariante fechado de f satisfazendo ()
Demonstraca
o. Segue imediatamente da propriedade f = f que se e
conjunto invariante de f ent
ao 1 () e conjunto invariante de f. Como e
1
um conjunto
contnua, () e fechado se for. Na direca
o recproca, seja
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
68
com k 0 e Ak , . . . , A0 abertos em M .
(2.32)
DR
AF
Note que fk (
x) 1 (xk ) e que xk , uma vez que xk f k (x) e o conjunto
= implica que existe algum
e invariante por f . Ent
ao, a hip
otese de que ()
1
segue que fk (
Dizemos que
e um levantamento de . O pr
oximo resultado, que e uma
vers
ao da Proposica
o 2.22 para medidas, afirma que toda medida invariante de
f admite um u
nico levantamento a uma medida invariante de f:
Proposi
c
ao 2.23. Seja uma medida em M invariante por f . Ent
ao existe
invariante por f tal que
uma u
nica medida
em M
= .
Demonstraca
o. Seja
qualquer levantamento de f. De acordo com (2.28), a
condica
o
= implica que
([0; A0 ]) =
( 1 (A0 )) = (A0 )
Logo, a condica
o de que
e invariante por f implica que
[k; Ak , . . . , A0 ] =
[0; Ak f 1 (Ak+1 ) f k (A0 )]
= Ak f 1 (Ak+1 ) f k (A0 )
(2.33)
Operador de Koopman
2.5
69
DR
AF
Nesta seca
o apresentamos uma isometria linear no espaco L1 () motivada pela
discuss
ao 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 mensur
avel e e uma medida invariante por f . O operador de Koopman e o operador
linear
Uf : L1 () L1 (), Uf () = f.
(2.34)
f
E
acil verificar que este operador e contnuo relativamente a
` norma da convergencia uniforme. Conforme vimos na Seca
o 2.2.5 o dual de C 0 (M ) est
a
identificado de maneira natural com o espaco M(M ) das medidas com sinal em
M . Alem disso, a relaca
o (2.15) mostra que o o operador dual
Uf : C 0 (M ) C 0 (M )
corresponde precisamente a
` aca
o f : M(M ) M(M ) da transformaca
o f
quando fazemos essa identificaca
o. Esse fato vai nos permitir usar resultados de
Teoria Espectral para dar outra demonstraca
o do Teorema 2.1.
Para isso precisamos lembrar algumas noco
es da teoria de operadores positivos. O leitor interessado poder
a encontrar mais detalhes e demonstraco
es no
livro de Deimling [Dei85].
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
70
DR
AF
2.6
Exerccios
2.6. EXERCICIOS
71
DR
AF
72
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
DR
AF
(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
Gt (1 , 2 , h1 , h2 ) = (et 1 , et 2 , et h1 , et h2 )
2.6. EXERCICIOS
F (1 , 2 , h1 , h2 ) =
(2 , 1 2 , h1 + h2 , h1 ) se 1 > 2
(2 1 , 2 , h2 , h1 + h2 ) se 1 < 2 .
F : M M,
73
pela relaca
Seja N o quociente de N
o de equivalencia z z F n (z) = z para
(0, ) o
algum n Z. Seja : N N a projeca
o can
onica. Seja a
: M
funcional definido por a
(1 , 2 , h1 , h2 ) = 1 h1 + 2 h2 .
Mostre que
1. F preserva a medida ; logo, define uma medida no espaco quociente
N . Essa medida e finita?
DR
AF
2. F preserva a
; logo, existe um funcional a : N N tal que a = a
.
5. Gt preserva a
; logo, g t preserva o funcional a.
7. Calcule a transformaca
o de Poincare f : , bem como o tempo de
primeiro retorno .
CAPITULO 2. EXISTENCIA
DE MEDIDAS INVARIANTES
DR
AF
74
Captulo 3
DR
AF
Teoremas Erg
odicos
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
natureza quantitativa. Chamamos tempo medio de visita de x a E o valor de
E (x) = lim
1
#{0 j < n : f j (x) E}.
n
(3.1)
1
m {0 t T : f t (x) E}
T
(3.2)
CAPITULO 3. TEOREMAS ERGODICOS
76
DR
AF
da combinaca
o de todos esses movimentos das suas moleculas. Para formular
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 mensur
avel 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 Din
amicos) quanto
em Fsica Te
orica (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
Captulo 4.
Representando por a funca
o caracterstica do conjunto E, podemos reescrever a express
ao no lado direito de (3.1) como:
lim
n1
1X
(f j (x)).
n j=0
(3.3)
3.1
Teorema erg
odico de Von Neumann
Nesta seca
o enunciamos e provamos o teorema erg
odico de von Newumann.
3.1.1
Isometrias em espa
cos de Hilbert
3.1. TEOREMA ERGODICO
DE VON NEUMANN
77
DR
AF
H = F F
(3.4)
Se 0 e a funca
o constante igual a 1 e F = h0 i e o subespaco gerado por 0
em L2 (), ou seja, o espaco das funco
es constantes, ent
ao a projeca
o ortogonal
PF () e definida por
Z
PF () =
d.
(3.5)
(3.6)
hU U u, vi = hu, viu, v
U U = id .
CAPITULO 3. TEOREMAS ERGODICOS
78
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.
DR
AF
Demonstraca
o. Como U U = id , e claro que U v = v implica U v = v. Agora
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,
kU v vk2 = hU v v, U v vi = kU vk2 2hU v, vi + kvk2 = 0.
3.1.2
lim
para todo v H.
(3.7)
Demonstraca
o. Seja L(U ) o conjunto dos vetores v H da forma v = U u u
) o seu fecho. Afirmamos que
para algum u H e seja L(U
) .
I(U ) = L(U
(3.8)
) .
para todo n e, como consequencia, hv, wi = 0. Isto prova que I(U ) L(U
para todo u H. Isto quer dizer que U v = v. Usando Lema 3.3 uma vez mais,
) I(U ) e, portanto, a prova
deduzimos que v I(U ). Isto mostra que L(U
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
DR
AF
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
ao, por definica
o, existe u H tal
imediato que
que v = U u u. E
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
A norma da esta u
ltima express
ao est
a majorada por 2kuk/n e, portanto, converge para zero quando n . Isto mostra que
lim
n
n1
1X j
U v = 0 para todo v L(U ).
n j=0
(3.10)
). Ent
Mais em geral, suponha que v L(U
ao, existem vk L(U ) convergindo
para v quando k . Observe que
n1
n1
X
1 n1
1X j
1X
Ujv
U vk
kU j (v vk )k kv vk k
n j=0
n j=0
n j=0
n1
1X j
).
U v = 0 para todo v L(U
n j=0
(3.11)
3.1.3
Converg
encia em L2 ()
(3.12)
CAPITULO 3. TEOREMAS ERGODICOS
80
(3.13)
DR
AF
Demonstraca
o. Seja U = Uf : L2 () L2 () o operador de Koopman de uma
transformaca
o f : M M que preserva uma medida finita . Note que uma
funca
o est
a em I(U ) se, e somente se, f = em -quase todo ponto. Seja
a projeca
o ortogonal de em I(U ). Pelo Teorema 3.4, a sequencia em (3.12)
converge para em L2 (). Isto prova a primeira afirmaca
o.
A segunda afirmaca
o e an
aloga, 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
Teorema erg
odico de Birkhoff
3.2.1
Tempo m
edio de visita
1X
XE (f j (x))
n n
j=1
E (f (x)) = lim
n1
1X
1
XE (f j (x)) XE (x) XE (f n (x))
n n
n
j=0
= lim
1
XE (x) XE (f n (x))
n n
= E (x) + lim
(3.14)
3.2. TEOREMA ERGODICO
DE BIRKHOFF
81
Como a funca
o caracterstica e limitada, o u
ltimo limite e igual a zero. Isto
prova a igualdade (3.14).
O exemplo a seguir mostra que o tempo medio de visita n
ao existe para todo
ponto, em geral:
DR
AF
n1
1X
1 + 22 + 24 + + 2k2
4 22q2 1
1
XE (f j (x)) = lim
=
lim
= ,
q
q 3 22q 1
n j=0
2k 1
3
lim
q
1 + 22 + 24 + + 2k1
4 22q+1 1
2
1X
XE (f j (x)) = lim
= lim
= .
2q
q
q 3 22q 1
n j=0
2 1
3
3.2.2
M
edias temporais
n1
1X
(f j (x)),
n j=0
onde = XE .
O pr
oximo enunciado generaliza o Teorema 3.6 para o caso em que e uma
funca
o integr
avel qualquer:
= lim
n n
j=0
existe em -quase todo ponto x M . Alem disso, a funca
o definida desta
forma e integr
avel e satisfaz
Z
Z
(x)
d(x) = (x) d(x).
CAPITULO 3. TEOREMAS ERGODICOS
82
(3.16)
DR
AF
Demonstraca
o. Por definica
o,
n
n1
1X
1X
1
(f j (x)) = lim
(f j (x)) + (f n (x)) (x)
n n
n n
n
j=1
j=0
(f
(x)) = lim
1
(f n (x)) (x)
n n
= (x)
+ lim
X
|(x)|
=
{x M : k
< k + 1} .
k=n
X
|(x)|
{x M : |(f n (x))| n} =
k {x M : k
< k + 1}
n=1
k=1
Z
|| d.
Como e integr
avel, por hip
otese, todas estas express
oes s
ao 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 =
ao B tem
i=1 B(1/i). Ent
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).
3.2. TEOREMA ERGODICO
DE BIRKHOFF
83
(3.17)
n j=0
para todo x G e toda funca
o contnua : M R.
DR
AF
Demonstraca
o. Pelo teorema erg
odico de Birkhoff, para cada funca
o contnua
existe um conjunto G() M com (G()) = 1 tal que (3.17) e v
alido
para todo x G(). Pelo Teorema 2.7, o espaco C 0 (M ) das funco
es contnuas
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 .
Ent
ao, dado qualquer ponto x G,
lim sup
n
lim inf
n
n1
n1
1X
1X
(f j (x)) lim
k (f j (x)) + = k (x) +
n n
n j=0
j=0
n1
n1
1X
1X
(f j (x)) lim
k (f j (x)) = k (x) .
n n
n j=0
j=0
lim sup
n
n1
n1
1X
1X
(f j (x)) lim inf
(f j (x)) 2.
n
n j=0
n j=0
Como e arbitr
ario, segue que o limite (x)
3.2.3
O teorema de von Neumann (Teorema 3.5) tambem pode ser deduzido diretamente do teorema de Birkhoff, como vamos mostrar a seguir.
Considere qualquer funca
o L2 () e seja a sua media temporal. Comecamos por mostrar que L2 () e a sua norma satisfaz kk
2 kk2 . Para
isso, note que
||
lim
n
n1
1 n1
2
X
2
1X
f j | .
| f j | e, portanto, | lim
n
n j=0
n j=0
CAPITULO 3. TEOREMAS ERGODICOS
84
hZ
Ent
ao, pelo Lema de Fatou (Teorema 0.39),
h
2 i1/2
| d
lim inf
n
Z n1
2 i1/2
1X
| f j | d
.
n j=0
(3.18)
DR
AF
n1 Z
h Z 1 n1
2 i1/2
i1/2
X
1 Xh
| f j | d
| f j |2 d
.
n j=0
n j=0
(3.19)
R
1/2
Como e invariante por f , a express
ao do lado direito e igual a
||2 d
.
Portanto, (3.18) e (3.19) implicam que kk
2 kk2 < .
Pn1
Agora vamos mostrar que (1/n) j=0
f j converge para em L2 ().
Inicialmente, suponha que a funca
o e limitada, isto e, que existe C > 0 tal
que || C. Ent
ao
1 n1
X
fj C
n j=0
para todo n
||
C.
Ent
ao podemos usar o teorema da convergencia dominada (Teorema 0.40) para
concluir que
Z
Z n1
n1
2
2
1X
1X
j
lim
lim
f d =
f j d = 0,
n
n n
n j=0
j=0
Pn1
ou seja, que (1/n) j=0 f j converge para em L2 (). Falta estender esta
conclus
ao para uma funca
o qualquer em L2 (). Para isso, consideremos uma
sequencia (k ) de funco
es limitadas tal que (k )k converge para . Por exemplo
(x) se |(x)| k
k (x) =
0
caso contr
ario.
(3.21)
3.3. TEOREMA ERGODICO
SUBADITIVO
85
Por hip
otese, para cada k 1 existe n0 (k) 1 tal que
1 n1
X
k f j k
< /3.
n j=0
2
(3.22)
1 n1
X
f j
< para todo n n0 (k0 ).
n j=0
2
DR
AF
Corol
ario 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
Demonstraca
o. Por um lado, o Teorema 3.5 d
a 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 () = .
Corol
ario 3.13. Se f : M M e invertvel ent
ao as medias temporais de
qualquer funca
o L2 () para f e para f 1 coincidem em -quase todo ponto:
lim
n
n1
n1
1X
1X
f j = lim
fj
n n
n j=0
j=0
(3.23)
Demonstraca
o. O limite do lado esquerdo de (3.23) e a projeca
o ortogonal de
no subespaco das funco
es invariantes por f 1 , enquanto que o limite do lado
direito e a projeca
o ortogonal de no subespaco das funco
es invariantes por f .
claro que estes dois subespacos s
E
ao exatamente o mesmo. Logo os dois limites
coincidem em L2 (m).
3.3
Teorema erg
odico subaditivo
para todo m, n 1.
(3.24)
CAPITULO 3. TEOREMAS ERGODICOS
86
f
constitui uma sequencia aditiva. E
acil verificar que toda sequencia aditiva e
desta forma, com = 1 .
No pr
oximo exemplo usamos a noca
o de norma de uma matriz quadrada,
que e definida do seguinte modo. Seja A uma matriz quadrada de dimens
ao
d 2. Ent
ao
n kAvk
o
kAk = sup
: v Rd \ {0}
(3.25)
kvk
DR
AF
(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 permitir
a obter o teorema de Birkhoff como corol
ario do
Teorema 3.16.
3.3.1
Prepara
c
ao da demonstra
c
ao
3.3. TEOREMA ERGODICO
SUBADITIVO
87
lim
n
(3.27)
Demonstraca
o. Se am = para algum m ent
ao, pela subaditividade, temos
que an = para todo n > m. Ent
ao os dois lados de (3.27) s
ao iguais a ,
e portante o lema e v
alido neste caso. A partir daqui suporemos que an R
para todo n.
Seja L = inf n (an /n) [, +) e seja B qualquer n
umero real maior do
que L. Ent
ao podemos encontrar k 1 tal que
DR
AF
ak
< B.
k
an
pk ak
+ .
n
n k
n
an
<B
n
an
an
= L = inf
.
n n
n
+
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 hip
otese de que (n )n e subaditiva implica que
Z
an = n d, n 1,
an
an
= inf
[, ).
n n
n
CAPITULO 3. TEOREMAS ERGODICOS
88
n
(x)
n
n
(x).
n
(3.28)
DR
AF
3.3.2
Lema fundamental
nk1
X
i=0
k (f i (x)) +
n1
X
i=nk
Demonstraca
o. Tome x M tal que (x) = (f j (x)) para todo j 1 (isso
vale em -quase todo ponto, como convidamos o leitor a verificar no Exerccio 3.6). Considere a sequencia, possivelmente finita, de n
umero inteiros
m0 n 1 < m 1 n 2 < m 2 < . . .
(3.29)
(3.30)
3.3. TEOREMA ERGODICO
SUBADITIVO
PSfrag replacements
Ekc
Ekc
Ekc
n1
m1
Ekc
m0
nl
Ekc
n1
Ekc
m0
89
m1
ml
Ekc
Ekc
nl
ml
nl+1 n
DR
AF
1 (f i (x))
i=mj1
1 (f i (x)) +
l
X
mj nj (f nj (x))
(3.31)
j=1
iI
j
a que f i (x) Ekc em todos esses casos. Alem disso, como e constante em
o
rbitas (veja o Exerccio 3.6) e k + , a relaca
o (3.30) nos d
a que
mj 1
mj 1
mj nj (f nj (x))
i=nj
( (f i (x)) + )
k (f i (x))
i=nj
n (x)
k (f i (x)) +
i=0
n1
X
1 (f i (x)).
i=nl+1
3.3.3
Estimativa da fun
c
ao
Na direca
o de provar (3.28), nesta seca
o provamos o seguinte lema:
R
Lema 3.19. d = L
CAPITULO 3. TEOREMAS ERGODICOS
90
Demonstraca
o. Suponha, por um instante, que n /n est
a uniformemente limitado 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 = L.
d lim
n
n
DR
AF
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
Quando n aR u
ltima parcela converge para zero. Ent
ao, fazendo n
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{ , }.
n d = inf n d e
d = inf d.
(3.33)
Combinando as relaco
es (3.32) e (3.33), obtemos que
Z
Z
Z
Z
1
1
n d = inf
n d = L.
d = inf = inf inf
n n
n n
Isto completa a demonstraca
o do lema.
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,
lim sup
n
kn
n
= k lim sup
.
n
n
n
3.3. TEOREMA ERGODICO
SUBADITIVO
91
Demonstraca
o. A desigualdade e clara, uma vez que kn /kn e subsequencia
de n /n. Para mostrar a desigualdade contr
aria, escrevemos n = kqn + rn com
rn {1, . . . , k}. Pela subaditividade,
n kqn + rn f kqn kqn + f kqn
+
onde = max{+
em disso,
1 , . . . , k }. Observe que n/qn k as n . Al
1
como L (), podemos usar o Lema 3.10 para ver que f n /n converge
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
n lim sup kqn + lim sup f kqn = lim sup kq ,
n
n
n
k
q
n
n
q
DR
AF
lim sup
n
+ d L.
Pn1
Demonstraca
o. Para cada k fixado e n 1, considere n = j=0 k f jk .
Observe que
Z
Z
n d = n k d para todo n,
(3.34)
uma vez que f k preserva a medida . Como a sequencia (n )n e subaditiva,
n kn para todo n. Logo, usando o Lema 3.20,
= lim inf
n
e, portanto,
kn
n
n
lim sup
= k lim sup
= k+
n
n
n
n
n
Z
d k
+ d.
(3.35)
Juntando as relaco
es (3.35) e (3.36) obtemos que
Z
Z
1
+ d
k d.
k
+ d L.
CAPITULO 3. TEOREMAS ERGODICOS
92
3.3.5
Consequ
encias
n1
X
n1
DR
AF
j=0
fj,
para todo n 1 e x M .
1
log kn (x)k
n
1
existe em -quase todo ponto. Alem disso, +
max L () e
Z
Z
Z
1
1
log kn k d = inf
log kn k d
max d = lim
n n
n n
Se log+ k1 k L1 () ent
ao
1
log kn (x)k
n
1
existe em -quase todo ponto. Alem disso,
min L () e
Z
Z
Z
1
1
n
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
n
max
n (x) = log k (x)k
n
e min
(x)k
n (x) = log 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
Exerccios
3.4
93
DR
AF
(n+1)
1
1 X
1X
(k)
(k)k < 2
k=n
k=0
CAPITULO 3. TEOREMAS ERGODICOS
94
n
n
e + = lim sup
n
n
n
s
ao invariantes, isto e, (x) = f (x) e + (x) = + f (x) para -quase
todo x M . Portanto, a funca
o no Teorema 3.16 tambem e invariante.
DR
AF
lim
n1
(x) + ((x)) + + ( p1 (x))
1X
( i (x)) =
.
n
p
i=0
onde a o
rbita de x tem cardinalidade p.
Captulo 4
DR
AF
Ergodicidade
4.1
Sistemas erg
odicos
CAPITULO 4. ERGODICIDADE
96
Conjuntos e fun
co
es invariantes
4.1.1
DR
AF
f
Veja no Exerccio 4.1 formulaco
es equivalentes desta propriedade. E
acil verificar 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 enumer
aveis.
Exemplo 4.1. Seja f a transformaca
o expans
ao decimal, estudada na Seca
o 1.3.1,
e seja a medida de Lebesgue. Claramente, o conjunto A = Q [0, 1] dos
n
umeros racionais e invariante. Outro exemplo interessante e o conjunto dos
pontos x = 0, a0 a1 . . . em [0, 1] tais que a proporca
o de dgitos ai com cada
valor k {0, . . . , 9} e prescrita.
Ou
seja,
dado
qualquer
vetor p = (p 0 , . . . , p9 )
P
tal que pi 0 para todo i e i pi = 1, defina
Ap = {x : lim
n
1
#{0 i n 1 : ai = k} = pk para k = 0, . . . , 9}.
n
= c},
A seguinte proposica
o coleta diversas maneiras equivalentes de definir ergodicidade. Dizemos que uma funca
o e constante em -quase todo ponto se
existe c R tal que (x) = c para -quase todo x M .
Proposi
c
ao 4.3. Seja uma probabilidade invariante de uma transformaca
o
mensur
avel f : M M . As seguintes condico
es s
ao equivalentes:
(a) Para todo conjunto mensur
avel B M tem-se B (x) = (B) para -quase
todo ponto.
4.1. SISTEMAS ERGODICOS
97
DR
AF
imediato que (a) implica (b), que (c) implica (d) e que (e)
Demonstraca
o. E
implica (f). Tambem e claro que (e) implica (c) e (f) implica (d), porque a media
temporal e uma funca
o 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 conjunto
Bc = {x M : (x) c}
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
c
ao 4.4. Seja uma probabilidade invariante de uma transformaca
o
mensur
avel f : M M . As seguintes condico
es s
ao equivalentes:
(a) (f, ) e erg
odico.
n1
1X
(f j (A) B) = (A)(B).
n j=0
(4.1)
98
CAPITULO 4. ERGODICIDADE
DR
AF
n1
1X
(f j (A) A) = (A)2 .
(A) = lim
n n
j=0
se (x) > k
k
(x) se (x) [k, k]
k (x) =
k
se (x) < k.
Fixemos > 0. Pelo argumento anterior, para todo k 1 vale que
Z
Z
Z
n1
X j
(1
Uf k ) d k d d <
n j=0
(4.4)
4.1. SISTEMAS ERGODICOS
99
n1
1X
kU j (k )kp kkk d
n j=0 f
(4.6)
= kk kp kkq < ,
DR
AF
No caso p = q = 2, a condica
o (4.2) pode ser expressa em termos do produto
interno no espaco L2 (). Desta forma obtemos que (f, ) e erg
odico se, e
somente se:
n1
1 X n
lim
(Uf ) ( 1) = 0 para todo , L2 ().
n n
j=0
(4.7)
Corol
ario 4.5. Suponha que a condica
o (4.1) na Proposica
o 4.4 e satisfeita
para todo A e B em alguma a
lgebra A que gera a -
algebra dos conjuntos mensur
aveis. Ent
ao (f, ) e erg
odico.
Demonstraca
o. S
o precisamos mostrar que a condica
o (4.1) se estende a todo
par de borelianos. Sejam A e B conjuntos mensur
aveis quaisquer. Pelo teorema
de aproximaca
o (Teorema 0.16), dado qualquer > 0 existem A0 e B0 em A
tais que (AA0 ) < e (BB0 ) < . Observe que
(f j (A) B) (f j (A0 ) B0 ) (AA0 ) + (BB0 ) < 2
4 lim inf
n
lim sup
n
n1
1X
(f j (A) B) (A)(B)
n j=0
n1
1X
(f j (A) B) (A)(B) 4.
n j=0
CAPITULO 4. ERGODICIDADE
100
Como e arbitr
ario, isto prova a nossa afirmaca
o.
Exemplos
DR
AF
4.2
Nesta seca
o apresentamos, por meio de exemplos, diversos metodos para verificar se um dado sistema e ou n
ao erg
odico.
4.2.1
Rota
co
es em toros
kZ
101
4.2. EXEMPLOS
kZ
e uma base de Hilbert deste espaco: dado qualquer L2 (m) existe uma u
nica
sequencia (ak )kZ de n
umeros complexos tais que
X
(x) =
ak e2ikx para quase todo x S 1 .
(4.8)
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
DR
AF
para todo k Z.
A hip
otese de que e irracional significa que e2ik 6= 1 para todo k 6= 0. Ent
ao
a relaca
o que acabamos de obter implica que ak = 0 para todo k 6= 0. Em
outras palavras, (z) = a0 para m-quase todo z S 1 . Em particular, a funca
o
caracterstica = XA de qualquer conjunto invariante A S 1 e constante em
m-quase todo ponto. Isto e o mesmo que dizer que A tem medida zero ou um.
Logo, pela Proposica
o 4.3, temos que m e erg
odica.
Estas observaco
es estendem-se naturalmente a
`s rotaco
es no d-toro T d , para
qualquer d 1:
Proposi
c
ao 4.8. Se = (1 , . . . , d ) e racionalmente independente ent
ao a
rotaca
o R : Td Td e erg
odica para a medida de Lebesgue.
(k1 , . . . , kd ) Zd
4.2.2
Expans
ao decimal
Considere a transformaca
o f : [0, 1] [0, 1], f (x) = 10x [10x] que gera
a expans
ao decimal. Na Seca
o 1.3.1 verificamos que f preserva a medida de
Lebesgue m. Afirmamos:
Proposi
c
ao 4.9. A transformaca
o f e erg
odica para a medida de Lebesgue m.
CAPITULO 4. ERGODICIDADE
102
lim inf
Demonstraca
o. De acordo com a Proposica
o 4.3, basta provar que todo conjunto
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)
: I intervalo tal que a I B(a, ) = 1 .
m(I)
(4.10)
DR
AF
m1 m
,
,
10k 10k
k N,
m = 1, . . . , 10k .
(4.11)
Claro que m (0, 1) = 1. Alem disso, como estamos supondo que A e invariante,
f k (Ik A) est
a contido em A. Deste modo obtemos que
m(A)
m(Ik A)
m(Ik )
para todo k.
103
4.2. EXEMPLOS
DR
AF
demonstraca
o que acabamos de apresentar est
a restrito a uma classe muito particular 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
raz
ao entre os dois termos e limitada por alguma constante uniforme. Isso e chamado 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 )
se todo dgito aparece com a mesma freq
uencia, 1/10, na sua expans
ao 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 n
umero 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
ao 4.11. O conjunto dos n
umeros x R 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 =
0, a0 a1 ak ak+1 ent
ao f k (x) = 0, ak ak+1 para cada k 1. Portanto,
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
1
para todo x Bj .
10
Ent
ao B = B0 B1 B9 tambem tem m(B) = 1, e todo n
umero x B e
balanceado.
(Ij , x) = m(Ij ) =
4.2.3
Deslocamentos de Bernoulli
CAPITULO 4. ERGODICIDADE
104
n
Y
(Ai ).
(4.12)
i=m
DR
AF
(4.13)
1 ([m; Am , . . . , An ]) = (Am ) (An ) = [m; Am , . . . , An ]
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
(B j (C)) = (B)( j (C)) = (B)(C),
105
4.2. EXEMPLOS
Demonstraca
o. Para comecar, suponhamos que B e C s
ao ambos cilindros:
B = [k; Bk , . . . , Bl ] e C = [m; Cm , . . . , Cn ]. Ent
ao,
j (C) = [m + j; Cm , . . . , Cn ] para cada j.
DR
AF
i=m
(4.14)
Alem disso,
(A)2 (B)2 2(A) (B) < 2.
(4.15)
(4.16)
Juntando as relaco
es (4.14), (4.15), (4.16), conclumos que |(A) (A) | < 4.
Como e arbitr
ario, deduzimos que (A) = (A)2 e, portanto, ou (A) = 0 ou
(A) = 1.
CAPITULO 4. ERGODICIDADE
106
DR
AF
Proposi
c
ao 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 .
O exemplo que apresentamos a seguir, conhecido como paradoxo do macaco,
ilustra o significado da ergodicidade de :
Exemplo 4.15. Se colocarmos um macaco para digitar texto durante um tempo
infinito ent
ao, com probabilidade total, ele acabar
a digitando Os Lusadas 1
e, de fato, o far
a infinitas vezes.
Para demonstrar esta afirmaca
o precisamos formular a situaca
o de modo
um pouco mais preciso. Consideramos que o macaco se encontra perante o
teclado, acertando uma tecla ap
os outra, ao acaso. O texto digitado e, portanto,
uma sequencia (xn )nN onde xn pertence ao conjunto (finito) X dos caracteres
no teclado: letras, espaco, hfen, sinais de pontuaca
o, etc. Supomos que cada
caracter i no teclado tem uma probabilidade positiva pi de ser digitado, a cada
vez. Isto corresponde a uma medida de probabilidade
X
=
p i i
iX
no conjunto X dos caracteres. Tambem supomos que a escolha de cada tecla e independente das teclas digitadas anteriormente. Isto quer dizer que as
possveis sequencias (xn )n s
ao regidas pela probabilidade de Bernoulli = N .
Denotamos por : a aplicaca
o deslocamento no espaco = X N .
O texto de Os Lusadas corresponde a uma certa sequencia finita (mas
longa) de caracteres (l0 , . . . , lN ). Consideremos o cilindro L = [0; l0 , . . . , lN ].
Ent
ao
N
Y
(L) =
plj > 0.
j=1
1
#(K [0, n 1]) = (L) > 0.
n
(4.17)
1 Poema
epico monumental, em 10 cantos, de autoria do poeta portugues Luis de Cam
oes,
falecido em Lisboa em 1580.
107
4.2. EXEMPLOS
4.2.4
Transforma
c
ao de Gauss
DR
AF
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
(Ik A)
1 quando k .
(4.19)
(Ik )
CAPITULO 4. ERGODICIDADE
108
K
.
(Gk (Ik ))
(Ik )
DR
AF
(Ac ) K
|(G2 )0 (x)| 2
Demonstraca
o. Lembre que G(x) = 1/xm em cada intervalo (1/(m+1), 1/m].
Portanto
1
2
G0 (x) = 2 e G00 (x) = 3 .
x
x
A primeira igualdade implica |G0 (x)| 1 para todo x (0, 1]. Alem disso
|G0 (x)| 2 sempre que x 2/3. Por outro lado, x 2/3 implica que
G(x) = 1/x1 < 2/3 e, por consequencia, G0 (G(x)) 2. Combinando estas observaco
es obtemos que |(G2 )0 (x)| = |G0 (x)| |G0 (G(x))| 2 para todo x (0, 1].
Finalmente, |G00 (x)/G0 (x)2 | = 2|x| 2 tambem para todo x (0, 1].
Lema 4.19. Existe uma constante C > 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 )0 (x)|
C
|(Gk )0 (y)|
para quaisquer x e y em Ik .
Demonstraca
o. Seja g um inversa local de G, isto e, uma funca
o diferenci
avel
definida em algum intervalo e tal que G(g(z)) = z para todo z no domnio de
definica
o. Note que
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)
109
4.2. EXEMPLOS
k1
log
k
X
j=1
DR
AF
onde gj representa uma inversa local de G definida no intervalo [Gj (x), Gj (y)].
Usando a estimativa (4.20), obtemos que
log
k
k1
X
X
|(Gk )0 (x)|
j
j
2
|G
(x)
G
(y)|
=
2
|Gki (x) Gki (y)|.
|(Gk )0 (y)|
j=1
i=0
(4.21)
k1
X
|(Gk )0 (x)|
2
2[i/2] |Gk (x) Gk (y)| 8|Gk (x) Gk (y)| 8.
k
0
|(G ) (y)|
i=0
Demonstraca
o do Lema 4.17. Seja m a medida de Lebesgue em [0, 1]. O Lema 4.19
implica que
R
|(Gk )0 | dm
m(Gk (E1 ))
m(E1 )
E1
R
C
=
.
k )0 | dm
m(Gk (E2 ))
|(G
m(E
2)
E2
Por outro lado, a definica
o (4.18) implica que
1
1
m(E) (E)
m(E),
2 log 2
log 2
CAPITULO 4. ERGODICIDADE
110
4.2.5
DR
AF
fA ([x]) = [A(x)]
a sua expans
ao em serie de Fourier. Observe que k x = k1 x1 + + kd xd . Os
coeficientes ck C satisfazem
X
|ck |2 = kk22 < .
(4.22)
kZd
Ent
ao, a expans
ao em serie de Fourier de fA e:
X
X
(fA ([x])) =
ck e2i(kA(x)) =
ck e2i(A (k)x) ,
kZd
kZd
111
4.2. EXEMPLOS
para todo k Z.
(4.23)
DR
AF
m1
X
e2i(xA
i=0
(k))
m1
X
e2i(A
(x)k)
i=0
Ent
ao e uma funca
o invariante por fA mas n
ao e constante. Logo, fA n
ao e
erg
odica.
4.2.6
Argumento de Hopf
Nesta seca
o vamos apresentar outro metodo, mais geometrico, para demonstrar a ergodicidade de certos endomorfismos lineares do toro. Este metodo se
aplica sempre que | det A| = 1 e a matriz A e hiperb
olica, ou seja, ela n
ao
tem autovalores de m
odulo 1. Mas a sua grande vantagem e que ele pode
ser estendido a sistemas diferenci
aveis muito mais gerais, n
ao necessariamente
lineares. Algumas dessas extens
oes ser
ao mencionadas na Seca
o 4.3.
A hip
otese de que a matriz A e hiperb
olica significa que o espaco Rd pode
d
s
ser escrito como uma soma direta R = E E u tal que:
1. A(E s ) = E s e todos os autovalores de A | E s tem m
odulo menor que 1;
Ent
ao existem constantes C > 0 e < 1 tais que
(4.24)
CAPITULO 4. ERGODICIDADE
112
2 1
1 1
. Os seus autovalores s
ao
3+ 5
3 5
u =
> 1 > u =
>0
2
2
e os respectivos autoespacos s
ao:
51
5+1
u
2
s
2
x} e E = {(x, y) R : y =
x}.
E = {(x, y) R : y =
2
2
DR
AF
W s (x)
PSfrag replacements
113
temporais
+ (x) = lim
n
4.2. EXEMPLOS
n1
1X
(fAj (x))
n j=0
e (x) = lim
n
n1
1X
(fAj (x)),
n j=0
para todo x X.
(4.25)
DR
AF
Demonstraca
o. De acordo com a propriedade (a) acima, d(fAj (x), fAj (y)) converge para zero quando j . Como e contnua (logo uniformemente
contnua, uma vez que o domnio e compacto) isso implica que
(fAj (x)) (fAj (y)) 0 quando j .
n1
1X
lim
(fAj (x)) (fAj (y))
n n
j=0
tambem e zero. Isso implica + (y) existe e e igual a + (x). O argumento para
e inteiramente an
alogo.
Dado um subconjunto aberto R do toro e dado x R, denotamos por
W s (z, R) a componente conexa de W s (x) R que contem x e por W u (z, R) a
componente conexa de W u (x) R que contem x. Chamamos R de ret
angulo se
W s (x, R) intersecta W u (y, R) num u
nico ponto, para todo x e y em R. Veja a
Figura 4.2.
Demonstraca
o. Representemos por msx a medida de Lebesgue na folha est
avel
s
W (x) de cada ponto x Td . Note que m(R \ X) = 0, uma vez que X tem
medida total em Td . Ent
ao, usando o teorema de Fubini,
msx W s (x, R) \ X = 0 para m-quase todo x R.
CAPITULO 4. ERGODICIDADE
114
W s (x)
PSfrag replacements
x0
W s (y)
DR
AF
y0
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
: W s (x, R) W s (y, R),
(x0 ) = interseca
o entre W u (x0 , R) e W s (y, R).
Esta aplicaca
o e afim e, portanto, tem a seguinte propriedade, que chamamos
continuidade absoluta:
msx (E) = 0
msy ((E)) = 0.
N
[
Yj ,
onde Yj = YRj .
j=1
4.3. COMENTARIOS
SOBRE SISTEMAS CONSERVATIVOS
115
4.3
por arcos do toro). Lembrando que Rj e aberto e Xj e um subconjunto de medida total, obtemos que cada Xji intersecta Xji1 . Ent
ao, + = e constante
na uni
ao de todos os Xji . Isto prova a nossa afirmaca
o.
Desta forma, mostramos que as medias temporais de qualquer funca
o
contnua s
ao constantes em m-quase todo ponto. Consequentemente (veja o
Exerccio 4.7), o sistema (fA , m) e erg
odico.
Coment
arios sobre sistemas conservativos
DR
AF
O teorema erg
odico de Birkhoff, provado nos anos trinta do seculo 20, deu s
olida
fundamentaca
o 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 erg
odica.
Nesta seca
o vamos dar um panorama breve dos principais resultados obtidos
desde ent
ao nesta direca
o.
4.3.1
Teoria de Kolmogorov-Arnold-Moser
dpi
H
=
,
dt
qi
i = 1, . . . , d,
H
H H
H
,...,
,
,...,
p1
pd q1
qd
116
CAPITULO 4. ERGODICIDADE
DR
AF
onde ??.
4.3. COMENTARIOS
SOBRE SISTEMAS CONSERVATIVOS
117
(b) a restrica
o de f a cada um destes crculos e conjugada a uma rotaca
o
irracional em S 1 ;
DR
AF
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 Boltzmann 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 n
umero finito de curvas
CAPITULO 4. ERGODICIDADE
118
diferenci
aveis. Chamamos cantos do bilhar aos pontos onde o bordo n
ao e diferenci
avel; por hip
otese eles formam um conjunto finito C . Consideramos
uma partcula pontual em movimento retilneo uniforme dentro de , com choques el
asticos 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
trajet
oria n
ao est
a definida a partir da.
DR
AF
PSfrag replacements
s0
que a cada choque (s, ) associa o choque subsequente (s0 , 0 ). Veja a Figura 4.4.
Proposi
c
ao 4.26. A medida = sin dsd em (0, ) e invariante por f .
Demonstraca
o. A ideia e usar a construca
o da Seca
o 2.4.3: f pode ser vista como
uma transformaca
o de Poincare de um certo fluxo e a medida corresponde ao
transporte de uma certa medida invariante pelo fluxo. Vamos esbocar este
argumento, deixando ao leitor o cuidado de preenccher os detalhes.
o de
Considere o espaco M = S 1 / , onde S 1 = R/(2Z) e e a relaca
equivalencia:
(s, ) (s, + ) para cada s .
(4.26)
Considere tambem o fluxo (g t )t definido em M por
??
4.3.3
Fluxos geod
esicos
119
DR
AF
1 tangente a
` variedade no ponto x. Para cada (x, v) T 1 M existe uma u
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
(0), 0 (0) 7 (t), 0 (t) .
??
??
4.3.4
??
4.4
Nesta seca
o consideramos que a transformaca
o f : M M est
a fixada e analisamos o espaco M1 (f ) das probabilidades invariantes por f , especialmente o
subconjunto Me (f ) das probabilidades erg
odicas.
Lembre que uma medida diz-se absolutamente contnua com relaca
o a
outra medida se (E) = 0 implica (E) = 0. Nesse caso escrevemos .
Esta relaca
o e transitiva: se e ent
ao . O primeiro resultado
afirma que probabilidades erg
odicas s
ao minimais para esta relaca
o de ordem:
Proposi
c
ao 4.27. Se e s
ao probabilidades invariantes tais que e erg
odica
e e absolutamente contnua com relaca
o a , ent
ao = .
Demonstraca
o. Seja : M R uma funca
o mensur
avel limitada qualquer.
Como e invariante e erg
odica, a media temporal
n1
1X
(f j (x))
n n
j=0
(x)
= lim
R
e constante: (x)
CAPITULO 4. ERGODICIDADE
120
DR
AF
Proposi
c
ao 4.28. Uma probabilidade invariante e erg
odica se, e somente se,
n
ao e possvel escreve-la na forma = (1 t)1 + t2 com t (0, 1) e 1 , 2
probabilidades invariantes distintas.
Demonstraca
o. Para provar a parte se, suponha que n
ao e erg
odica. 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, respectivamente:
(E Ac )
(E A)
e
2 (E) =
.
1 (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
claro que (E) = 0 implica
e temos = (1 t)1 + t2 com t (0, 1). E
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 subconjuntos disjuntos do espaco M : ??
n=1
f n (Aj,k ) Bj,k .
4.4. PROPRIEDADES DE MEDIDAS ERGODICAS
121
n
Denote Cj,k =
(Bj,k ). Por um lado,
n=0 f
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 Teorema 0.13 d
a que
j (Cj,k ) = lim j (f n (Bj,k )) = j (Bj,k ) > 0.
n
DR
AF
Logo, por ergodicidade, j (Cj,k ) = 1. Alem disso, k (Cj,k ) = 0 uma vez que
Cj,k Bj,k . Agora defina
\
[
Dj =
Cj,k e Pj = Dj \
Dk .
k6=j
k6=j
Demonstraca
o. Suponha que f e transitiva e seja x M um ponto cuja o
rbita
{f n (x) : n N} e densa em M . Ent
ao existe m 1 tal que f m (x) V e
(usando que {f n (x) : n > m} tambem e denso) existe n > m tal que f n (x) U .
Tome k = n m. Ent
ao f m (x) f k (U ) V . Isto prova a parte somente se
do enunciado.
Para provar a recproca, seja {Uj : j N} uma base enumer
avel de abertos
k
de M . A hip
otese garante que o aberto
f
(U
)
e
denso
em
M para todo
j
k=1
j N. Ent
ao a interseca
o
X=
[
\
f k (Uj )
j=1 k=1
CAPITULO 4. ERGODICIDADE
122
Proposi
c
ao 4.31. Suponha que M e um espaco de Baire com base enumer
avel
de abertos. Ent
ao a restrica
o de f ao suporte de e transitiva.
DR
AF
Demonstraca
o. 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
k
e (V ) > 0. Defina B =
f
(U
).
Ent
a
o
(B)
> 0, porque B U , e
k=1
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.
4.5
Teorema da decomposi
c
ao erg
odica
4.5.1
Enunciado do teorema
ERGODICA
123
: M P a projeca
o natural que associa a cada ponto x M o elemento P(x)
da partica
o que o contem. Esta projeca
o permite munir P de uma estrutura de
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
f
e um subconjunto mensur
avel de M . E
acil ver que esta definica
o est
a correta:
para cada Q B.
DR
AF
(Q) = ( 1 (Q))
A relaca
o (d) significa que e uma combinaca
o convexa das v
arias probabilidades erg
odicas 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 em (b) equivale a dizer que a aplicaca
o P M1 (M ) dada por
P 7 P e mensur
avel (veja o Exerccio 4.17).
4.5.2
Desintegra
c
ao de uma medida
Defini
c
ao 4.35. Uma desintegraca
o de relativamente a uma partica
o P e
uma famlia {P : P P} de probabilidades em M tal que, para todo conjunto
mensur
avel E M :
(a) P (P ) = 1 para
-quase todo P P;
(b) a aplicaca
o P R, P 7 P (E) e mensur
avel;
R
(c) (E) = P (E) d
(P ).
CAPITULO 4. ERGODICIDADE
124
DR
AF
i (E) =
Ent
ao {
e uma desintegraca
o da medida relativamente a P, j
a que
1 , . . . , n }
P
n
(E) = i=1
({Pi })i (E) para todo conjunto mensur
avel E M .
Esta construca
o se estende imediatamente ao caso de partico
es enumer
aveis.
No pr
oximo exemplo tratamos um caso n
ao enumer
avel:
A pr
oxima proposica
o mostra que desintegraco
es s
ao essencialmente u
nicas,
quando existem. A hip
otese da proposica
o e muito geral: ela e satisfeita, por
exemplo, sempre que M e um espaco topol
ogico com base enumer
avel de abertos
e B e a sua -
agebra de Borel:
Proposi
c
ao 4.38. Suponha que a -
algebra B admite algum gerador enumer
avel. Se {P : P P} e {0P : P P} s
ao desintegraco
es de com respeito a
P, ent
ao P = 0P para
-quase todo P P.
Demonstraca
o. Seja um gerador enumer
avel de B e seja A a a
lgebra gerada
por . Note que A e enumer
avel, uma vez que ela coincide com a uni
ao das
a
lgebras (finitas) geradas pelos subconjuntos finitos de . Para cada A A
considere os conjuntos
QA = {P P : P (A) > 0P (A)}
ERGODICA
125
tambem e um subconjunto de P com medida nula. Para todo P no complementar deste subconjunto, as medidas P e 0P coincidem na a
lgebra geradora A e,
portanto, coincidem em toda a -
algebra B.
DR
AF
-quase todo P . E
avel E M ,
P 7 f P (E) = P (f 1 (E))
e uma funca
o mensur
avel. Alem disso, como e uma medida invariante,
Z
Z
1
1
(E) = (f (E)) = P (f (E)) d
(P ) = f P (E) d
(P ).
Estas observaco
es mostram que {f P : P P} e uma desintegraca
o de
relativamente a P. Por unicidade (Proposica
o 4.38), segue que f P = P para
4.5.3
Parti
co
es mensur
aveis
n=1
Pn
CAPITULO 4. ERGODICIDADE
126
e
a
parti
c
a
o
menos fina tal que
n=1 n
Pn
n=1
Pn
para todo n.
DR
AF
Os seus elementos s
ao as interseco
es n
ao vazias da forma
n=1 Pn com Pn Pn
para todo n. Veja tambem o Exerccio 4.16.
imediato da definica
f
E
o que toda partica
o enumer
avel e mensur
avel. E
acil
dar exemplos de partico
es mensur
aveis n
ao enumer
aveis:
Exemplo 4.40. Seja M = T2 , munido da medida de Lebesgue m, e seja P
a partica
o de M nos crculos horizontais S 1 {y}. Ent
ao P e uma partica
o
mensur
avel. Para ver isso, considere
Pn = {S 1 I(i, n) : i = 1, . . . , 2n},
4.5.4
Demonstra
c
ao do teorema
Neste momento vamos usar o Teorema 4.42 para provar o teorema da decomposica
o erg
odica. Seja U uma base enumer
avel de abertos de M e seja A a
a
lgebra gerada por U. Note que A e enumer
avel e que ela gera a -
algebra de
Borel de M . Pelo teorema erg
odico de Birkhoff, para cada A A existe um
ERGODICA
127
DR
AF
2
claro que cada Pn e uma partica
E
o finita (com n
ao mais de 2n elementos).
Segue imediatamente da definica
o que x e y est
ao no mesmo elemento de
n=1 Pn
se, e somente se, (Ai , x) = (Ai , y) para todo i. Em outras palavras,
P=
n=1
Pn .
uma vez que todo P P e um conjunto invariante. Alem disso, dado qualquer
conjunto mensur
avel E M , a funca
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 ).
CAPITULO 4. ERGODICIDADE
128
est
a definido e e constante em M0 P . Analogamente, C e fechado para uni
oes
disjuntas enumer
aveis: se Ej C sao disjuntos dois-a-dois ent
ao
X
j Ej , x) =
(Ej , x)
DR
AF
est
a definido e e constante em M0 P . Estas observaco
es mostram que C e uma
-
algebra. Segue que ela contem a -
algebra de Borel de M .
Isto conclui a demonstraca
o do Teorema 4.34 a partir do Teorema 4.42.
4.6
Teorema da desintegra
c
ao de Rokhlin
4.6.1
Esperan
cas condicionais
0
caso contr
ario.
Como as partico
es Pn s
ao enumer
aveis, o segundo caso da definica
o se aplica
somente num conjunto de pontos com medida igual a zero. Observe tambem
que en () e constante em cada Pn Pn ; denotamos por En (, Pn ) o valor desta
constante. Ent
ao,
Z
Z
XZ
X
d =
d =
(Pn )En (, Pn ) = en () d
(4.30)
Pn
Pn
Pn
(c)
d =
e() d.
129
DE ROKHLIN
4.6. TEOREMA DA DESINTEGRAC
AO
Demonstraca
o. Inicialmente, suponha que 0. Para cada < , seja S(, )
o conjunto dos pontos x M tais que
lim inf en (, x) < < < lim sup en (, x).
n
DR
AF
\
\
Se =
Bi =
Ai .
i=1
i=1
Como a sequencia Pn , n 1, e n
ao-decrescente, dados dois quaisquer dos
conjuntos Ai (x) = Paxi (x) que formam Ai , ou eles s
ao disjuntos ou um deles
est
a contido no outro. Ent
ao os conjuntos Ai (x) maximais s
ao disjuntos dois-adois e, portanto, constituem uma partica
o de Ai . Logo, somando apenas sobre
estes conjuntos maximais com medida positiva,
Z
X
X Z
(Ai (x)) = (Ai ),
d
d =
Ai
Ai (x)
Ai (x)
Ai (x)
Bi (x)
Bi (x)
Bi (x)
Como Ai Bi e n
os estamos supondo que 0, segue que
Z
Z
(Ai )
d
d (Bi ),
Ai
Bi
e (S).
e
para todo i 1. Tomando o limite quando i , obtemos que (S)
e
Isto implica que (S) = 0 e, portanto, (S) = 0. Isto prova a afirmaca
o quando
e n
ao-negativa. O caso geral segue imediatamente, uma vez que sempre
podemos escrever = + , onde s
ao mensur
aveis, limitadas e n
aonegativas. Note que en () = en ( + ) en ( ) para todo n 1 e, portanto, a
conclus
ao do lema e verdadeira para se ela vale para + e . Isto conclui a
prova da afirmaca
o (a).
CAPITULO 4. ERGODICIDADE
130
As demais afirmaco
es s
ao consequencias simples da definica
o. A mensurabilidade 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 subconjunto 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).
DR
AF
(Pn (x) A)
.
(Pn (x))
(4.31)
4.6.2
Constru
c
ao das medidas condicionais
Ent
ao
(P ) = 1, j
a que a interseca
o e enumer
avel. Para cada P P , defina:
P : A [0, 1],
P (A) = E(A, P ).
(4.33)
O pr
oximo objetivo e mostrar que esta funca
o 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
[a1 , . . . , as ] = {(ik )kN : i1 = a1 , . . . , is = as },
s 1.
DE ROKHLIN
4.6. TEOREMA DA DESINTEGRAC
AO
131
DR
AF
e um mergulho mensur
avel de M em . Alem disso, a funca
o P d
a origem a
uma funca
o aditiva P definida na a
lgebra gerada pelos cilindros de . Uma
propriedade importante e que todo elemento desta a
lgebra e um compacto.
Isto permite mostrar, sem dificuldade, que P se estende a uma medida de
probabilidade (que ainda denotaremos por P ) definida na -
algebra de Borel
de . Mostraremos que a imagem (M ) tem medida total para P . Ent
ao a
imagem 1 P e uma probabilidade em M ; tambem verificaremos que ela e
uma extens
ao da funca
o (4.33).
Passemos a detalhar estes argumentos. No que segue, dado qualquer conjunto boreliano A, denotaremos A1 = A e A0 = Ac .
Lema 4.44. A imagem (M ) e um subconjunto boreliano de .
claro que
Demonstraca
o. Seja x M e (ik )k = (x). E
Tk
i
(A) j=1 Uj j 6= para todo k N,
(C) para todo k tal que ik = 1 existe l = l(k) > k tal que il = 1 e
l Uk
U
l(k) se ik = 1. Ent
onde Vk = Ukc se ik = 0 e Vk = U
ao (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. Ent
ao, como M e um espaco completo, a interseca
o n Fn contem
algum ponto x. Por construca
o, Fn est
a contido em nk=1 Ukik para todo n. Segue
que
\
x
Ukik ou seja (x) = (ik )k .
k=1
CAPITULO 4. ERGODICIDADE
132
de uni
oes e interseco
es enumer
aveis. Dado k N, seja N (k) o conjunto das
k-uplas (a1 , . . . , ak ) em {0, 1} tais que U1a1 Ukak 6= . A condica
o (A)
corresponde ao subconjunto
[a1 , . . . , ak ].
DR
AF
kD (a1 ,...,ak1 )
l U k e
Finalmente, dado k N, seja L(k) o conjunto dos l > k tais que U
diam Ul diam Uk /2. A condica
o (C) corresponde ao subconjunto
k=1 a1 ,...,ak1
[a1 , . . . , ak1 , 0]
[a1 , . . . , ak1 , 1, ak+1 , . . . , al1 , 1] .
Corol
ario 4.45. A aplicaca
o : M (M ) e uma bijeca
o mensur
avel com
inversa e mensur
avel.
Demonstraca
o. Dados quaisquer pontos x 6= y em M , existe algum k N tal
que Uk que contem um dos pontos mas n
ao o outro. Isto mostra que e injetiva.
Para todo s 1 e a1 , . . . , as {0, 1},
1 ([a1 , . . . , as ]) = U1a1 Usas .
(4.34)
(4.35)
DE ROKHLIN
4.6. TEOREMA DA DESINTEGRAC
AO
133
X
Cj =
P Cj = 1.
j
DR
AF
claro que
uma funca
o aditiva na a
lgebra A , que ainda denotamos por P . E
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
a funca
o P : A [0, 1] e -aditiva. Logo, pelo Teorema 0.11, P se estende a
uma medida de probabilidade definida na -
algebra de Borel de . A definica
o
(4.36) implica ?? que
4.6.3
Conclus
ao da demonstra
c
ao
(A Pm )
= 0,
(Pm )
j
a que Pm Pn para todo m n. Fixe n. Para cada s 1, seja (Cj )j a famlia
dos cilindros [a1 , . . . , as ] que intersectam Pn . Pela observaca
o que acabamos de
fazer,
X
P (Cj ) = 1.
j
CAPITULO 4. ERGODICIDADE
134
DR
AF
4.7
Exerccios
4. (Bf 1 (B)) = 0.
4.7. EXERCICIOS
135
1. (f, ) e erg
odico;
f n (A)) = 1;
n0
DR
AF
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 ();
= lim
(Rj (x))
(4.37)
n n
j=0
CAPITULO 4. ERGODICIDADE
136
DR
AF
??
??
PSfrag replacements
0
1/3
1/2
2/3
1
se 0 x < 1/3
2x
2x 4/3 se 2/3 x 1.
3. Se e erg
odica para f , como e a sua decomposica
o erg
odica para f k ?
n=1
{En , M \ En }.
4.7. EXERCICIOS
R
dx e mensur
avel, para toda funca
o contnua
2. a aplicaca
o M R, x 7
limitada : X R;
137
R
3. a aplicaca
o M R, x 7 dx e mensur
avel, para toda funca
o mensur
avel limitada : X R;
4. a aplicaca
o M R, x 7 x (E) e mensur
avel, para todo conjunto mensur
avel E M .
DR
AF
CAPITULO 4. ERGODICIDADE
DR
AF
138
Captulo 5
DR
AF
Unicidade erg
odica
5.1
Unicidade erg
odica
CAPITULO 5. UNICIDADE ERGODICA
140
DR
AF
claro que (c) implica (d), uma vez que convergencia uniforme
Demonstraca
o. E
implica convergencia pontual. Para ver que (d) implica (a), suponha que e
s
ao probabilidades erg
odicas de f . Ent
ao, dada qualquer funca
o contnua
: M R,
R
n1
d em -quase todo ponto
X
1
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
(5.1)
nk 1
1 X
f j (xk ) .
nk j=0
Como o espaco M1 (M ) das probabilidades em M e compacto para a topologia fraca (Teorema 2.6), a menos de substituir esta sequencia por uma subsequencia, podemos supor que ela converge para alguma probabilidade em
141
5.2. MINIMALIDADE
dk = lim
k
nk 1
1 X
j
.
nk j=0 f (xk )
DR
AF
Ent
ao, lembrando (5.1), temos que
Z
Z
d d .
5.2
Minimalidade
Proposi
c
ao 5.2. Se f : M M e unicamente erg
odica ent
ao o suporte da
u
nica probabilidade invariante e minimal.
Demonstraca
o. Suponha que existe x supp cuja o
rbita {f j (x) : j 0} n
ao
e densa no suporte de . Isto significa que existe algum subconjunto aberto U
de M tal que U supp e n
ao vazio e
f j (x)
/ U supp para todo j 0.
(5.2)
n1
X
j=0
f j (x) ,
n1
relativamente a
` topologia fraca . Tais pontos de acumulaca
o existem, pelo Teorema 2.6, e e uma probabilidade invariante, pelo Lema ??. A condica
o (5.2)
CAPITULO 5. UNICIDADE ERGODICA
142
DR
AF
A demonstraca
o deste resultado pode ser encontrada no artigo original de
Furstenberg [Fur61] ou no livro de Ma
ne [Ma
n87]. Na Seca
o 5.3.6 detalharemos
outro exemplo de transformaca
o 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
n1
1X
Rj converge para c em todo ponto.
n j=0
(5.3)
R
Tomemos c = d. Por ergodicidade, a sequencia (n )n das medias orbitais
converge para c em m-quase todo ponto. Em particular, n (x) c para um
conjunto denso de valores de x Td .
Seja d a dist
ancia induzida no toro Td = Rd /Zd pela norma usual em Rd : a
dist
ancia entre dois pontos quaisquer do toro e o mnimo das dist
ancias entre
claro que a rotaca
os seus representantes em Rd . E
o R preserva esta dist
ancia:
d(R (x), R (y)) = d(x, y)
para todo x, y Td .
Ent
ao, usando que e contnua, dado qualquer > 0 podemos encontrar > 0
tal que
d(x, y) <
143
5.3. EXEMPLOS
DR
AF
Como n
ao depende de n, isto mostra que a sequencia (n )n e equicontnua.
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 n
ao converge para
c . Ent
ao 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
claro
conjunto denso de valores de x T mas (
x) = c e diferente de c . E
que tal funca
o n
ao existe. Esta contradica
o prova a nossa afirmaca
o de que R
e unicamente erg
odica.
5.3.2
Od
ometros
Os od
ometros, ou m
aquinas de somar, modelam sistemas tais como o contador
de quil
ometros percorridos de um autom
ovel. ou o registro de consumo de
eletricidade de um predio: a sua din
amica consiste em fazer avancar o contador
de uma unidade. A principal diferenca com relaca
o a
` realidade e que estes
contadores idealizados comportam um n
umero ilimitado de dgitos.
Fixe d 2, que representa a base de numeraca
o (por exemplo, d = 10).
Consideramos o espaco M de todas as seq
uencias
= (0 , 1 , 2 , . . . , k1 , k , k+1 , . . .)
d(, 0 ) = 2N (, )
onde N (, 0 ) = min{j 0 : j 6= j0 }.
(5.4)
(5.5)
CAPITULO 5. UNICIDADE ERGODICA
144
Grupos topol
ogicos e grupos de Lie
5.3.3
G G, g 7 g 1
(5.6)
DR
AF
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
operaco
es em (5.6) s
ao diferenci
aveis, dizemos que (G, ) e um grupo de Lie.
Veja o Exerccio 5.2.
O espaco euclideano Rd e um grupo topol
ogico, e ate um grupo de Lie, para
a adica
o e o mesmo vale para o toro Td . Lembre que Td e o quociente de Rd pelo
seu subgrupo Zd . Esta construca
o pode ser generalizada da seguinte forma:
Exemplo 5.5. Subgrupos. ??
145
5.3. EXEMPLOS
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.
DR
AF
Um grupo topol
ogico e localmente compacto se todo g G possui alguma
vizinhanca compacta. Por exemplo, todo grupo de Lie e localmente compacto.
Por outro lado, o grupo aditivo dos racionais, considerado com a topologia
induzida pela reta, n
ao e localmente compacto.
O seguinte teorema e o ponto de partida da teoria erg
odica dos grupos topol
ogicos localmente compactos:
Teorema 5.9 (Haar). Seja G um grupo localmente compacto.
Corol
ario 5.11. Suponha que G e compacto. Ent
ao a medida de Haar G e
invariante pelas translaco
es a
` direita e por todo endomorfismo sobrejetivo de G.
Demonstraca
o. Dado qualquer g G, considere a probabilidade (Dg ) G . Observe que Eh Dg = Dg Eh para todo h G. Logo,
(Eh ) (Dg ) G = (Dg ) (Eh ) G = (Dg ) G .
CAPITULO 5. UNICIDADE ERGODICA
146
Dado qualquer homomorfismo sobrejetivo : G G, considere a probabilidade G . Dado qualquer h G, escolha algum g 1 (h). Observe que
Eh = Eg . Logo,
(Eh ) G = (Eg ) G = G .
DR
AF
Mais geralmente, se n
ao suposermos, que G e compacto, o argumento do
Corol
ario 5.11 mostra que para cada g G existe (g) > 0 tal que
(Eg ) G = (g)G .
A aplicaca
o G (0, ), g 7 (g) e um homomorfismo de grupo.
5.3.4
Transla
co
es em grupos compactos
Nesta seca
o sempre suporemos que o grupo topol
ogico e compacto e metriz
avel.
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 alguma dist
ancia compatvel com a topologia de G relativamente a
` qual todas as
translaco
es, tanto a
` esquerda quanto a
` direita, s
ao isometrias.
Demonstraca
o. 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
: G [0, 1],
(z) =
2n n (z).
n=1
Ent
ao, e contnua e (1) = 0 < (z) para todo z 6= 1. Agora defina
d(x, y) = sup{|(gxh) (gyh) : g, h G}
f
para cada x, y G. O supremo e finito, por compacidade de G. E
acil ver que d
e uma dist
ancia em G. De fato, note que se d(x, y) = 0 ent
ao (gxh) = (gyh)
para todo g, h G. Em particular, tomando g = 1 e h = y 1 , vem que
(xy 1 ) = (1). Pela construca
o de , isto implica que x = y. Os demais axiomas da noca
o de dist
ancia seguem diretamente da definica
o de d. Finalmente,
tambem e claro da definica
o que d e invariante por translaco
es a
` esquerda e a
`
direita.
Exemplo 5.13. Dist
ancia invariante em O(d, R). Dist
ancia invariante a
` esquerda em GL(d, R).??
147
5.3. EXEMPLOS
(b) Eg e erg
odica com respeito a G ;
claro que (a) implica (b). Para provar que (b) implica (c),
Demonstraca
o. E
considere a dist
ancia invariante d dada pelo Teorema ??. Seja H o fecho do
{g n : n Z} e e considere a funca
o contnua
DR
AF
para todo x G.
(x) d(x) =
(g n x) d(x)
para todo x G.
(x) (hx) d| = |
(g nj x) (hx) d| < .
R
R
Como e arbitr
ario, segue que d = Eh d para toda funca
o contnua
e todo h G. Isto implica que e invariante por Eh para todo h G,
conforme afirmado.
CAPITULO 5. UNICIDADE ERGODICA
148
Interc
ambios de intervalos
DR
AF
5.3.5
Por definica
o, um interc
ambio de intervalos e uma bijeca
o do intervalo [0, 1)
com a seguinte forma: existe uma partica
o finita do intervalo em subintervalos
tal que a a restrica
o da transformaca
o a cada subintervalo e uma translaca
o.
Veja a Figura 5.1. Para fixar ideias, tomaremos os subintervalos fechados a
`
esquerda e abertos a
` direita.
Como consequencia direta da definica
o, todo interc
ambio de intervalo preserva a medida de Lebesgue em [0, 1). Estas transformaco
es exibem uma din
amica
muito rica e tem conex
oes importantes com diversos outros sistemas, tais como
os bilhares em mesas poligonais, os fluxos conservativos em superfcies e os fluxos de Teichm
uller. Por exemplo, a construca
o que esbocamos a seguir mostra
que os interc
ambios de intervalos aparecem naturalmente como transformaco
es
de Poincare de campos de vetores conservativos em superfcies.
Exemplo 5.15. Seja S uma superfcie orient
avel e seja uma forma de a
rea
em S, ou seja, uma 2-forma diferencial que nunca se anula. Podemos associar a
todo campo de vetores X uma 1-forma diferencial , definida por
x (v) = x (X(x), v)
c(t) (c(t))
dt.
149
5.3. EXEMPLOS
DR
AF
Cada interc
ambio de intervalos fica determinado por dois ingredientes. O
primeiro deles, de natureza combinat
oria, diz respeito ao n
umero de subintervalos 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 r
otulos em duas linhas horizontais, na ordem respectiva. Por
exemplo, no caso da Figura 5.1, obtemos
T C A M
=
.
M A C T
para todo x I .
CAPITULO 5. UNICIDADE ERGODICA
150
DR
AF
5.3.6
e redutvel, pois os r
otulos a
` esquerda da quarta posica
o s
ao os mesmos nas duas
linhas: B, O e X. Como consequencia, qualquer que seja o vetor de comprimentos , o interc
ambio de intervalos f definido por (, ) deixa o subintervalo
IB IO IX invariante. Em particular, f n
ao pode ser minimal e nem sequer
transitivo. No que segue sempre suporemos que a combinat
oria e irredutvel.
Uma conjectura natural e que o interc
ambio de intervalos seja minimal sempre que o vetor de comprimentos = ( )A e racionalmente independente,
ou seja, se
X
n 6= 0
A
(5.7)
151
5.3. EXEMPLOS
1. Se (, ) satisfaz a condica
o de Keane ent
ao e irredutvel.
Lema 5.17.
DR
AF
pC
/ {q, A + q} para todo p Z e q Z.
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.
CAPITULO 5. UNICIDADE ERGODICA
152
DR
AF
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.
5.4
Teorema de Weyl
Nesta seca
o vamos utilizar ideias discutidas anteriormente para provar um belo
teorema de H. Weyl [Wey16] sobre a distribuica
o dos valores de funco
es polinomiais restritas aos n
umeros inteiros.
Considere qualquer funca
o polinomial P : R R com coeficientes reais e
grau d 1:
P (x) = a0 + a1 x + a2 x2 + + ad xd .
para cada n 1.
Defini
c
ao 5.23. Dizemos que uma sequencia (xn )n em S 1 e equidistribuda se
para qualquer funca
o contnua : S 1 R tem-se
n
1X
lim
(xj ) =
n n
j=1
(x) dx.
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.
Teorema 5.24 (Weyl). Se algum dos coeficientes a1 , a2 , . . . , ad e irracional
ent
ao a sequencia zn = P (n), n N e equidistribuda.
153
f () = + a1 .
Por hip
otese, o coeficiente a1 e irracional. Portanto, como vimos na Seca
o 5.3.1,
esta transformaca
o admite uma u
nica probabilidade invariante, que e a medida
de Lebesgue m. Consequentemente, dada qualquer funca
o contnua : S 1 R
1
e dado qualquer ponto S ,
Z
DR
AF
lim
1X
(f j ()) =
n j=1
dm.
Considere = a0 . Ent
ao, f j () = a0 + a1 j = zj . Ent
ao a relaca
o anterior d
a
n
1X
lim
(zj ) =
n n
j=1
dm.
5.4.1
Ergodicidade
(5.8)
onde e um n
umero irracional que ser
a escolhido mais tarde. Note que f e
invertvel: a inversa est
a dada por
f 1 (1 , 2 , . . . , d ) = (1 , 2 1 +, . . . , d d1 + +(1)d1 1 +(1)d ).
Note tambem que a derivada
1
1
0
0
0
0
1
0
0
0
1
1
0
0
0
0
1
1
CAPITULO 5. UNICIDADE ERGODICA
154
Demonstraca
o. Vamos usar um argumento de expans
ao em serie de Fourier,
an
alogo ao da Proposica
o 4.7. Seja : Td R uma funca
o em L2 (m). Escrevemos
X
() =
an e2in
nZd
onde = (1 , . . . , d ) e n = (n1 , . . . , nd ) e n = n1 1 + + nd d e
Z
X
|an |2 = |()|2 d1 dd < .
(5.9)
DR
AF
nZd
Observe que
(f ()) =
nZd
an e2in1 e2iL(n)
nZd
para todo n Zd .
(5.10)
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 m
aximo 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 .
Como e irracional, o u
ltimo fator e diferente de 1 sempre que n1 e n
ao-nulo.
Portanto esta relaca
o d
a que an = 0 tambem para n = (n1 , 0, . . . , 0) com n1 6= 0.
Deste modo, mostramos que se e uma funca
o invariante ent
ao todos os termos
da sua expans
ao 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 .
5.4.2
Unicidade erg
odica
O pr
oximo passo da demonstraca
o do Teorema 5.24 e o seguinte resultado:
Proposi
c
ao 5.26. A transformaca
o f e unicamente erg
odica: a medida de
Lebesgue no toro e a sua u
nica probabilidade invariante.
155
Demonstraca
o. A demonstraca
o ser
a por induca
o no grau d do polin
omio P . O
caso de grau 1 foi tratado anteriormente. Portanto, s
o 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
f : Td1 S 1 Td1 S 1 ,
f (0 , ) = (f0 (0 ), + d1 ),
(5.11)
onde 0 = (1 , . . . , d1 ) e f0 (0 ) = (1 + , 2 + 1 , . . . , d1 + d2 ). Por
induca
o, a transformaca
o
f0 : Td1 Td1
DR
AF
e unicamente erg
odica. Representamos por : Td Td1 a projeca
o () = 0 .
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
o. Dado qualquer conjunto mensur
avel E Td1 ,
( )(f01 (E)) = ( 1 f01 (E)).
Z
n1
1X
(f j ()) = d
n j=0
tem medida total. Seja G0 () o conjunto dos 0 Td1 tais que G() intersecta
claro que 1 (G0 ())
{0 } S 1 . Em outras palavras, G0 () = (G()). E
contem G() e, portanto, tem medida total. Logo, usando o Lema 5.27,
m0 (G0 ()) = ( 1 (G0 ())) = 1.
(5.13)
(5.14)
CAPITULO 5. UNICIDADE ERGODICA
156
Demonstraca
o. 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 (, + ).
DR
AF
A hip
otese 0 G0 (m) significa que existe algum S 1 tal que (0 , ) G(m),
ou seja,
Z
n1
1X
lim
(f j (0 , )) = dm
n n
j=0
f j (0 , + ) = f j R (0 , ) = R f j (0 , )
n1
n1
1X
1X
(f j (0 , + )) = lim
( R )(f j (0 , ))
n j=0
n j=0
Z
Z
= ( R ) dm = dm.
Corol
ario 5.29. A o
rbita de todo ponto Td e equidistribuda no toro Td ,
ou seja, para toda funca
o contnua : Td R tem-se
lim
n
Z
n1
1X
(f j ()) = dm.
n j=0
Demonstraca
o. Isto segue imediatamente das Proposico
es 5.1 e 5.26.
157
Demonstra
c
ao do teorema de Weyl
5.4.3
para j = 2, . . . , d.
(5.15)
DR
AF
Demonstraca
o. Por definica
o, pd (x) = P (x) tem grau d. Logo, para mostrar a
primeira afirmaca
o basta mostrar que se pj (x) tem grau j ent
ao pj1 (x) tem
grau j 1. Para isso, escreva
pj (x) = bj xj + bj1 xj1 + + b0 ,
onde bj 6= 0. Ent
ao
f n p1 (0), p2 (0), . . . , pd (0) = p1 (n), p2 (n), . . . , pd (n) .
Demonstraca
o. A demonstraca
o ser
a por induca
o em n. Como o caso n = 0 e
o
bvio, s
o precisamos tratar do passo indutivo. Lembre que f foi definida em
(5.8). Se
f n1 (p1 (0), p2 (0), . . . , pd (0)) = (p1 (n 1), p2 (n 1), . . . , pd (n 1))
ent
ao f n (p1 (0), p2 (0), . . . , pd (0)) e igual a
Usando a definica
o (5.15) e o Lema 5.30, obtemos que esta express
ao e igual a
(p1 (n), p2 (n), . . . , pd (n)),
CAPITULO 5. UNICIDADE ERGODICA
158
DR
AF
xn = a d n d
e yn = Q (n)
p
p
(n + q)d nd
q
q
e um n
umero inteiro, para todo n N. Isto significa que a sequencia xn , n N
e peri
odica de perodo q no crculo R/Z. Em particular, ela toma no m
aximo
q valores distintos. Observe tambem que, como ad e racional, a hip
otese do
teorema implica que algum dos coeficientes a1 , . . . , ad1 de Q e irracional.
Logo, por induca
o no grau, temos que yn , n N e equidistribuda. Mais do que
isso, as subsequencias
yqn+r = Q (qn + r),
nZ
s
ao equidistribudas para todo r {0, 1, . . . , q1}. Na verdade, estas sequencias
(r)
podem ser escritas como ynq+r = Q (n) para algum polin
omio Q(r) que
tambem tem grau d 1 (verifique) e, portanto, a hip
otese de induca
o se aplica a
elas tambem. Destas duas observaco
es segue que toda subsequencia z qn+r , n Z
e equidistribuda. Consequentemente, zn , n N tambem e equidistribuda. Isto
completa a prova do Teorema 5.24.
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
(x)
= lim
DR
AF
5.4. Mostre que uma sequencia e equidistribuda no crculo se, e somente se,
para todo segmento I S 1 tem-se
lim
n
1
#{1 j n : zj I} = m(I)
n
CAPITULO 5. UNICIDADE ERGODICA
DR
AF
160
Captulo 6
DR
AF
Correlaco
es
( f ) d
d.
CAPITULO 6. CORRELAC
OES
162
Sistemas misturadores
6.1
(6.1)
DR
AF
6.1.1
Propriedades
claro da definica
E
o (6.1) que se (f, ) e misturador ent
ao (f k , ) e misturador, para todo k N. A afirmaca
o correspondente para ergodicidade e falsa: a
aplicaca
o f (x) = 1 x no conjunto {0, 1} e erg
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
conjuntos A e B em alguma a
lgebra A geradora da -
algebra dos conjuntos
mensur
aveis. Ent
ao (f, ) e misturador.
Demonstraca
o. Seja C a famlia de todos os conjuntos mensur
aveis A tais que
(f n (A) B) (A)(B) para todo B A. Por hip
otese, C contem A.
Afirmamos que C e uma classe mon
otona. De fato, sejam A1 Ak
elementos de C e seja A = k Ak . Dado > 0, existe k0 1 tal que
(A) (Ak ) = (A \ Ak ) <
(f n (A) B) (f n (Ak ) B) = (f n (A \ Ak ) B)
(f n (A \ Ak )) = (A \ Ak ) < .
163
Para k k0 fixado, o fato de que Ak C garante que existe n(k) tal que
|(f n (Ak ) B) (Ak )(B)| < para todo n n(k).
Somando estas tres desigualdades conclumos que
DR
AF
para todo B A.
Resta deduzir que esta propriedade vale para todo conjunto mensur
avel B. Isto
e inteiramente an
alogo aos argumentos que acabamos de detalhar, pelo que
deixamos a verificaca
o a cargo do leitor.
X
an1
h (an )n =
kn
n=1
e uma bijeca
o, restrita a um subconjunto com medida total, e tanto ela quanto
a sua inversa s
ao 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, ).
CAPITULO 6. CORRELAC
OES
164
Por meio dela, propriedades podem ser traduzidas de um sistema para o outro.
Em particular, lembrando do Exemplo 6.3, obtemos que (g, m) e misturador:
dados quaisquer conjuntos mensur
aveis 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 .
DR
AF
Proposi
c
ao 6.5. Se (f, ) e misturadora ent
ao a restrica
o de f ao suporte de
e topologicamente misturadora.
Demonstraca
o. Denote por X = supp(). Sejam A, B X conjuntos abertos. Temos que (A), (B) > 0, por definica
o de supp(). Assim, como e
misturadora, temos que existe n0 tal que n n0 vale que (f n (A) B) >
(A)(B)/2 > 0. Em particular, (f n (A) B) 6= , como queramos demonstrar.
Segue diretamente desta proposica
o que se f possui uma medida misturadora positiva em abertos, ent
ao f e topologicamente misturadora. Por exemplo,
dado qualquer conjunto finito X = {1, . . . , d}, o deslocamento
f : XZ XZ
(ou f : X N X N )
e topologicamente misturador. De fato, para qualquer probabilidade suportada em todo o X, a medida de Bernoulli = N (ou = Z ) e positiva
em abertos e misturadora, como vimos no Exemplo 6.3. Analogamente, pelo
Exemplo 6.4, toda transformaca
o f : S 1 S 1 da forma f (x) = kx com k 2
e topologicamente misturadora.
6.1.2
Mistura fraca
165
Dizemos que o sistema (f, ) e fracamente misturador, se dados quaisquer conjuntos mensur
aveis A, B M ent
ao:
lim
n
n1
n1
1X
1X
Cj (XA , XB ) = lim
|(f j (A) B) (A)(B)| = 0.
n n
n j=0
j=0
(6.2)
DR
AF
claro da definica
E
o que todo sistema misturador e tambem fracamente misturador. Por outro lado, todo sistema fracamente misturador e erg
odico. De fato,
se A M e conjunto invariante ent
ao
lim
n
n1
X
j=0
e, portanto, a hip
otese implica que (A) = 0 ou (Ac ) = 0.
n1
1
1X
|(f j (U ) V ) (U )(V )| (U )(V ) > 0.
n j=0
2
CAPITULO 6. CORRELAC
OES
166
DR
AF
O pr
oximo resultado mostra que este tipo de fen
omeno n
ao ocorre na categoria dos sistemas fracamente misturadores:
Proposi
c
ao 6.11. As seguintes condico
es s
ao equivalentes:
(a) (f, ) e fracamente misturador;
Demonstraca
o. Para provar que (a) implica (b), considere quaisquer conjuntos
mensur
aveis A, B, C, D M . Ent
ao:
2 (f j (A B) (C D)) 2 (A B)2 (C D)
2
= (f j (A) C)(f j (B) D) (A)(B)(C)(D)
(f j (A) C) (A)(C) + (f j (B) D) (B)(D).
Portanto, a hip
otese (a) implica que
lim
n
n1
1 X
2 (f2j (A B) (C D)) 2 (A B)2 (C D) = 0.
n j=0
Segue que
lim
n
n1
1 X
2 (f2j (X) Y ) 2 (X)2 (Y ) = 0
n j=0
para quaisquer X, Y na a
lgebra gerada pelos produtos E F de subconjuntos mensur
aveis de M , ou seja, a a
lgebra 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.
imediato que (b) implica (c). Para provar que (c) implica (a), observe que
E
n1
X
j=0
(f j (A) B) (A)(B)
=
n1
X
j=0
2
167
2 f2j (A A) (B B) 2 (A A)2 (B B)
2(A)(B)
n1
X
j=0
(f j (A) B) (A)(B) .
DR
AF
6.1.3
Caracteriza
c
ao espectral
Nesta seca
o discutimos formulaco
es equivalentes das noco
es de sistema misturador e fracamente misturador, em termos do operador de Koopman.
Proposi
c
ao 6.12. As seguintes condico
es s
ao equivalentes:
(a) (f, ) e misturador.
(c) A condica
o do item (b) vale em algum subconjunto denso de L p () e algum
subconjunto denso de Lq ().
Demonstraca
o. A condica
o (a) e o caso particular de (b) para funco
es caractersticas. Como as funco
es
Z
Z
Z
(, ) 7 ( f n ) d d d
s
ao bilineares, a condica
o (a) implica que Cn (, ) 0 para quaisquer funco
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
ao funco
es equicontnuas de e . De fato, dadas 1 , 2 Lp () e
1 , 2 Lq (), as desigualdade de H
older (Teorema 0.49) d
a 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 .
CAPITULO 6. CORRELAC
OES
168
DR
AF
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 ().
n n
j=1
(6.5)
R
A condica
o (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 caracterizaca
o da ergodicidade em (4.7).
169
Deslocamentos de Markov
6.2
DR
AF
Nesta seca
o introduzimos uma importante classe de sistemas, que generaliza
a classe de deslocamentos de Bernoulli. Como vimos anteriormente, deslocamentos 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 anterior. De fato, como comentaremos na Seca
o 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.
Para definir um deslocamento de Markov, consideremos um espaco mensur
avel (X, A) e seja M = X N (ou M = X Z ) o espaco das sequencias em X,
munido da -
algebra produto. Consideraremos o deslocamento
f : M M, f (xn )n = (xn+1 )n .
Am+1
An
CAPITULO 6. CORRELAC
OES
170
Am+1
An
DR
AF
1 i, j d.
(6.8)
pi Pi,j = pj ,
para todo 1 j d.
(6.9)
(6.10)
171
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.
DR
AF
i=1
pi Pi,j =
j=1 i=1
d
X
pj .
j=1
j=1
i=1
Comparando as duas u
ltimas igualdades, e lembrando que a soma das entradas
de p e um n
umero postivo, conclumos que = 1. Isto prova a nossa afirmaca
o
de que sempre existem vetores p 6= 0 satisfazendo (6.11).
Quando P n tem entradas positivas para algum n 1, segue do Teorema 6.16
que o autovetor e u
nico, a menos de produto por um escalar, e pode ser escolhido
com entradas positivas.
1a
a
0
0
0
b
1b
0
0
0
0
0
1
c
c
0
P =
0
0
d
1d
0
e
0
0
0
1e
Por outro lado, suponha que p e tal que pi = 0 para algum i e seja a
respectiva medida de Markov. Seja Mi = (X \ {i})N (ou Mi = (X \ {i})Z).
Ent
ao (Mi ) = 1, uma vez que ([n; i]) = pi = 0 para todo n. Isto significa que
podemos eliminar o smbolo i, obtendo um sistema equivalente ao original. Portanto, a menos de remover um certo n
umero de smbolos superfluos do conjunto
X, sempre podemos considerar que o autovetor p tem entradas positivas.
CAPITULO 6. CORRELAC
OES
172
(6.12)
DR
AF
Demonstraca
o.
Pd
i=1
n
pi Pi,j
= pj para todo 1 j d e todo n 1;
Demonstraca
o. A condica
o (ii) na definica
o de matriz estoc
astica pode ser escrita como P u = u, onde u = (1, . . . , 1). Ent
ao 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.1
Ergodicidade
173
Nesta seca
o sempre suporemos que p = (p1 , . . . , pd ) e uma P
soluca
o de P p = p
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).
DR
AF
= (A)
1
(B).
p br
A soma nesta u
ltima express
ao e igual a Parq
. Portanto,
q ,br
(A B) = (A)(B)Parq
/pbr ,
q ,br
n1
1X l
Pi,j = pj
n
l=0
para todo 1 i, j d.
(6.13)
Demonstraca
o. Suponha que vale (6.13). Lembre que pj > 0 para todo j.
l
Ent
ao, dados quaisquer 1 i, j d, tem-se Pi,j
> 0 para infinitos valores de l.
Em particular, P e irredutvel.
CAPITULO 6. CORRELAC
OES
174
Para provar a recproca, considere A = [0; i] e B = [1; j]. Pelo Lema 6.22:
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
Pi,j
Qi,j = lim
n n
l=0
DR
AF
n1
1X l
P .
n
(6.14)
l=0
pi Qi,j = pj
i=1
para todo 1 j d.
(6.15)
n1
n1
1 X k+l
1X l
P
P = Q.
= lim
n n
n
l=0
(6.16)
l=0
d
X
k
Ps,i
Qi,j < (
i=1
d
X
k
Ps,i
)Qs,j = Qs,j ,
i=1
d
X
Qi,j pi = Qj (
i=1
d
X
pi ) = Q j ,
i=1
Demonstraca
o do Teorema 6.21. Suponhamos que e erg
odica. Seja A = [0; i]
e B = [1; j]. Pela Proposica
o 4.4,
lim
n
n1
1X
(A f l (B)) = (A)(B) = pi pj .
n
l=0
(6.17)
175
l
Por outro lado, pelo Lema 6.22, temos que (Af l (B)) = pi Pi,j
. Substituindo
em (6.17) e cancelando pi em ambos os lados,
lim
n
n1
1X l
Pi,j = pj .
n
l=0
DR
AF
lim
n
(6.18)
l=0
para quaisquer A e B na a
lgebra gerada pelos cilindros. Como os elementos desta
a
lgebra s
ao as uni
oes finitas disjuntas de cilindros, e suficiente considerar o caso
em que A e B s
ao cilindros, digamos A = [m; am , . . . , aq ] e B = [r; br , . . . , bs ].
Observe tambem que a validade de (6.18) n
ao muda se substituirmos B por
alguma pre-imagem f j (B). Portanto, n
ao e restrica
o supormos que r > q.
Ent
ao, pelo Lema 6.22,
n1
n1
1X
1 1 X rq+l
(A f l (B)) = (A)(B)
Paq ,br
n
p br n
l=0
l=0
n1
n1
1X l
1 X rq+l
Paq ,br = lim
Paq ,br = pbr .
n n
n
l=0
l=0
6.2.2
Mistura
Nesta seca
o caracterizamos os deslocamentos de Markov misturadores, em termos da respectiva matriz estoc
astica P . Continuamos supondo que p e uma
soluca
o normalizada de P p = p com entradas positivas e que e a respectiva
medida de Markov.
n
Dizemos que a matriz estoc
astica P e aperi
odica se existe n 1 tal que P i,j
>
0 para todo 1 i, j d. Em outras palavras, P e aperi
odica se tem alguma
potencia P n com entradas positivas. A relaca
o entre as noco
es de aperiodicidade
e irreducibilidade e analisada no Exerccio 6.11.
Teorema 6.24. O deslocamento de Markov (f, ) e misturador se, e somente
se, a matriz P e aperi
odica.
Para a demonstraca
o do Teorema 6.24 precisamos do seguinte fato:
CAPITULO 6. CORRELAC
OES
176
para todo 1 i, j d.
(6.19)
DR
AF
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
claro que
vetores (h1 , . . . , hd ) tais que h1 + + hd = 0 e invariante por A. E
H e transversal a
` direca
o de p. Ent
ao a decomposica
o
Rd = Rp H
(6.20)
para todo 1 i, j d.
l
Portanto, limn Pi,j
= Bj,i = pj para todo i, j.
Demonstraca
o do Teorema 6.24. Suponhamos que a medida e misturadora.
l
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
= lim (A f l (B)) = (A)(B) = pi pj .
l
l
Cancelando pi em ambos os lados, obtemos que liml Pi,j
= pj . De acordo com
o Lema 6.25, isto prova que P e aperi
odica.
Agora suponhamos que a matriz P e aperi
odica. Queremos concluir que
e misturadora. De acordo com o Lema 6.2, basta provar que
(6.21)
para quaisquer A e B na a
lgebra gerada pelos cilindros. Uma vez que os elementos 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,
(A f l (B)) = (A)(B)
1 rq+l
P
pbr aq ,br
1
lim P rq+l
pbr l aq ,br
1
= (A)(B)
lim P l
= (A)(B)
pbr l aq ,br
177
Exemplo 6.26. No Exemplo 6.17 obtivemos diversos tipos de medidas de Markov, dependendo da escolha do autovetor p. No primeiro, p = (p1 , p2 , 0, 0, 0) e a
medida est
a 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
DR
AF
1a
a
0
0
b
1b
0
0
.
P =
0
0
1c
c
0
0
d
1d
Esta matriz n
ao e irredutvel e, portanto, as medidas de Markov que se obtem
neste caso n
ao s
ao erg
odicas (lembre tambem do Exemplo 6.19).
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
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.
6.3
6.3.1
Outros exemplos
Endomorfismos de Tn
CAPITULO 6. CORRELAC
OES
178
Interc
ambios de intervalos
DR
AF
6.3.2
Juntando este resultado com o Teorema 4.20 vemos que (fA , ) e misturador
se, e somente se, e erg
odico. A parte somente se do Teorema 6.28 e uma consequencia 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 [?].
??
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 descontinuidade 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 claro que (f, ) e misturador se, e somente se, (g, m)
terc
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))
2
n
ao converge para m(X) quando n . Seja d = #A.
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
n
umeros naturais t1 , . . . , ts 1 tais que
(a) f n (Ji ) J = para todo 0 < n < ti e 1 i s;
(b) f ti | Ji e uma translaca
o para todo 1 i s;
(c) {f t1 (J1 ), . . . , f ts (Js )} e uma partica
o de J;
n=0
f n (J) =
Ss
i=1
Sti 1
n=0
f n (Ji ).
179
Demonstraca
o. Seja B o conjunto formado pelos pontos extremos a, b de J
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)
DR
AF
m(f ti (Ji )) =
i=1
s
X
m(Ji ) = m(J)
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).
s t[
i 1
[
[
f n (J) =
f n (Ji ) = I
n=0
i=1 n=0
CAPITULO 6. CORRELAC
OES
180
1
m(A).
(d + 2)2
(6.22)
DR
AF
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
f n (Ji ) =
si
[
j=1
f n (Ji,j )
si
[
f ti,j (f n (Ji ))
j=1
para todo n 0.
Como a a
lgebra AJ est
a formada pelas uni
oes disjuntas finitas dos intervalos
f n (Ji ), 0 n < ti , segue que
A
s [
si
[
f ti,j (A)
i=1 j=1
para todo A AJ .
Ps Psi
Em particular, m(A) i=1 j=1
m(A f ti,j (A)). Lembrando que s d + 2
e si d + 2 para todo i, isto implica (6.22).
Estamos prontos para concluir a prova do Teorema 6.29. Para isso, fixemos
um conjunto mensur
avel X [0, 1) com
0 < m(X) <
1
.
4(d + 2)2
(6.23)
m(A) m(X)2
(d + 2)2
2
A relaca
o (6.23) implica que m(A) (3/4)m(X). Portanto,
3
1
1
m(X) m(X)2
4 (d + 2)2
2
1
3m(X)2 m(X)2 2m(X)2
2
Isto prova que lim supn m(X f n (X)) 2m(X)2 e, portanto, o sistema (f, m)
n
ao e misturador.
m(X f tij (X))
6.4. DECAIMENTO DE CORRELAC
OES
??
6.4
6.3.3
181
Decaimento de correla
co
es
DR
AF
Nesta seca
o discutimos a velocidade de decaimento das sequencias de correlaco
es
Cn (, ), num sistema misturador. N
ao e realista esperar estimativas interessantes que valham para funco
es arbitr
arias. Mas, como veremos, tais estimativas
existem em muitos casos importantes, se restringirmos , a subconjuntos adequados de funco
es. Dado que as correlaco
es (, ) 7 Cn (, ) s
ao funco
es
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 deslocamentos de Markov unilaterais. Isso nos permitir
a introduzir diversas ideias que
ser
ao 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 s
ao 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}.
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)
d
X
x0 =1
(6.26)
CAPITULO 6. CORRELAC
OES
182
DR
AF
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)
d para todo .
(6.30)
d
X
x0 =1
6.4. DECAIMENTO DE CORRELAC
OES
183
R
ao subconjunto dos E0 tais que d = 0. Considere em E0 a norma
definida por kk0 = sup ||.
Fixe qualquer n
umero entre 1 e o raio espectral de L restrito a V . Toda
funca
o E0 pode ser escrita:
Z
Z
= c + v com c = d Ru e v = d V.
DR
AF
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)
Cn (, ) Bkk0 kk0 n
para todo n 1.
Desta forma, provamos que o deslocamento de Markov tem decaimento exponencial de correlaco
es em E0 .
Com um pouco mais de esforco, e possvel melhorar este resultado, estendendo a conclus
ao a um espaco muito maior de funco
es. Considere em M a
dist
ancia definida por
d (xn )n , (yn )n = 2N (x,y) onde N (x, y) = min{n 0 : xn 6= yn }.
Fixe > 0 qualquer e denote por E o conjunto das funco
es que s
ao -H
older,
isto e, tais que
K() = sup
|(x) (y)|
: x 6= y
e finito.
d(x, y)
CAPITULO 6. CORRELAC
OES
184
Lk (x) =
a1 ,...,ak =1
a1 ,...,ak =1
DR
AF
Usando a propriedade
d
X
i=1
(6.32)
para todo k 1.
Ent
ao, usando a propriedade (6.29),
para todo k, l 1.
(6.33)
para todo l 1.
(6.34)
para todo k, l 1.
6.5. EXERCICIOS
Exerccios
6.5
185
DR
AF
2. s (f ) e um subgrupo de S 1 .
2. O m
odulo de toda autofunca
o e constante em -quase todo ponto.
ent
ao e fracamente misturadora.
CAPITULO 6. CORRELAC
OES
186
n
1. Para cada i X, defina R(i) = {n 1 : Pi,i
> 0}. Mostre que R(i) e
fechado para a adica
o: se n1 , n2 R(i) ent
ao n1 + n2 R(i).
2. Seja i 1 o m
aximo divisor comum dos elementos de R(i). Mostre que
existe m 1 tal que R(i) [m, ) = i N [m, ).
Dica: Lembre que se d e o m
aximo divisor comum de n
umeros naturais
n1 , . . . , ns ent
ao existem n
umeros inteiros a1 , . . . , as tais que
a1 n1 + + as ns = d.
DR
AF
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.
lim
n
1X
|aj | = 0
n j=1
lim
n
1X
(aj )2 = 0.
n j=1
1
an 0 quando n restrito a N \ E.
n
Captulo 7
DR
AF
Sistemas equivalentes
Neste captulo discutimos o problema da isomorfismo: quando e que dois sistemas (f, ) e (g, ) devem ser considerados essencialmente o mesmo e como
decidir, para sistemas dados, se esse e o caso?
A noca
o fundamental e chamada equivalencia erg
odica: dois sistemas s
ao
ergodicamente equivalentes se, restritas a subconjuntos com medida total, as
respectivas transformaco
es s
ao conjugadas por uma aplicaca
o invertvel que preserva as medidas invariantes. Tal aplicaca
o permite traduzir as propriedades de
qualquer dos sistemas para o outro sistema.
Embora esta seja uma noca
o natural de isomorfismo no contexto da Teoria
Erg
odica, ela n
ao e f
acil de manejar. Em geral, dados dois sistemas equivalentes,
au
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
n
ao s
ao equivalentes e encontrando alguma propriedade que est
a presente num
deles mas n
ao no outro.
Neste contexto, e muito u
til considerar uma noca
o mais fraca, chamada de
equivalencia espectral : dois sistemas s
ao espectralmente equivalentes se os seus
operadores de Koopman s
ao conjugados por algum operador unit
ario. Dois
sistemas ergodicamente equivalentes s
ao, necessariamente, espectralmente equivalentes, mas a recproca n
ao e verdadeira.
A ideia de equivalencia espectral conduz a uma famlia rica de invariantes,
ligados ao espectro do operador de Koopman, que precisam ser iguais nos dois
sistemas para que eles possam ser equivalentes e que, portanto, podem ser usados
para excluir essa possibilidade. Outros invariantes, de natureza n
ao espectral,
tem igualmente um papel fundamental. O mais importante de todos, a entropia,
ser
a tratado no Captulo 8.
As noco
es de equivalencia erg
odica e equivalencia espectral, e as relaco
es entre elas, ser
ao estudadas nas Seco
es 7.1 e 7.2, respectivamente. Nas Seco
es 7.3
e 7.4 estudaremos duas classes de sistemas com caractersticas din
amicas opostas: as transformaco
es com espectro discreto, que incluem as translaco
es erg
odicas
em grupos abelianos compactos, e as transformaco
es com espectro de Lebesgue,
que tem os deslocamentos de Bernoulli como principal exemplo.
187
188
Equival
encia erg
odica
DR
AF
7.1
Estas duas classes de sistemas, bem como outras que introduzimos anteriormente (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 conjugaca
o erg
odica, especialmente no
contexto dos espacos de Lebesgue.
e f = g .
E claro da definica
o que X0 X e f (X0 ) X0 . Como (X) = 1 e a interseca
o
n
e enumer
avel, temos que (X0 ) = 1. Analogamente, Y0 = +
g
(Y
)
e
subn=0
conjunto mensur
avel de Y tal que (Y0 ) = 1 e g(Y0 ) Y0 . Alem disso, por
construca
o, Y0 = (X0 ). Portanto, a restrica
o de a X0 ainda e uma bijeca
o
sobre Y0 .
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
de Lebesgue m em [0, 1]. Escrevendo um n
umero x [0, 1] em sua expans
ao decimal 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:
: {0, 1, . . . , 9}N [0, 1],
X
(an )n =
an
= 0, a0 a1 a2 . . . .
10n+1
n=0
7.1. EQUIVALENCIA
ERGODICA
189
DR
AF
um n
umero infinito de smbolos diferentes de zero e o conjunto Y [0, 1] dos
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 d
a 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
para todo (an )n X. Isto prova que (f, m) e ergodicamente equivalente ao
deslocamento de Bernoulli (g, ).
(7.1)
190
e x
n = xn,0 = xn1,1 = .
DR
AF
??
7.2
Equival
encia espectral
Sejam f : M M e g : N N transformaco
es preservando probabilidades e
, respectivamente. Sejam Uf : L2 () L2 () e Ug : L2 () L2 () os respectivos operadores de Koopman. Dizemos que (f, ) e (g, ) s
ao espectralmente
equivalentes se existe algum operador unit
ario L : L2 () L2 () tal que
Ug L = L U f .
(7.3)
U () =
7.2.1
Invariantes de equival
encia espectral
7.2. EQUIVALENCIA
ESPECTRAL
191
a (g, ) ent
ao os dois sistemas tem o mesmo espectro: a relaca
o (7.3) implica
que
(Ug id ) = L (Uf id ) L1
(7.4)
DR
AF
L d =
7.2.2
Teorema espectral
192
M
i=0
L2 (i )
L2 (i )
(7.5)
i=0
DR
AF
(i )i = z 7 zi (z) . As medidas i s
est
a dado por L
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
a contido no ccrculo unit
ario {z C : |z| = 1}.
Para cada conjunto mensur
avel B C, considere o operador linear
E(B)
:
M
i=0
L (i )
M
i=0
L2 (i ),
(i )i 7 (XB i )i .
B).
E(A)
E(B)
= E(A
(7.6)
2
e autoadjunto: dados quaisquer , i=0 L (i ),
Z
X
E(B) =
i i di = E(B).
(7.7)
i=0
E
= 0. Alem disso, a funca
o B 7 E(B)
e -aditiva:
[
X
n ) se os conjuntos Bn s
E(B
ao disjuntos dois-a-dois.
E(
Bn ) =
n
: B 7 E(B)
Dizemos que E
e uma medida com valores no espaco das projeco
es.
Ela pode ser manejada da seguinte forma. Para cada = (i )i e = (i )i
: B 7 E(B) e uma medida com valores em C. E
fixados, a funca
o E
P
f
acil ver de que medida se trata: a relaca
o (7.7) d
a que E = i=0 i i i .
Ent
ao, dado qualquer j 1,
Z
Z
X
j =
L
z j i (z)i (z) di (z) =
z j d(E(z)
)
(7.8)
i=0
L
z j dE(z)
para todo j 1.
(7.9)
C
Ent
ao E(B) = U E(B)U
define uma medida em C com valores no espaco
das projeco
es de H, tal que
Z
Lj =
z j dE(z) para todo j 1.
(7.10)
1
7.2. EQUIVALENCIA
ESPECTRAL
Lj =
ou seja
193
(7.11)
e E(B) = E(B)
(7.12)
DR
AF
e equivalente a E(B)
= 0 para todo
i=0 L (i ). Portanto, 0 (B) = 0 se,
conforme afirmado.
7.2.3
194
Demonstraca
o. Suponha que (f, ) e fracamente misturador. Seja L2 ()
qualquer autofunca
o (n
ao nula) de Uf e seja o respectivo autovalor. Ent
ao,
Z
Z
Z
d = Uf d = d
R
d = 0 ou = 1. No primeiro caso,
Z
Z
Z
Cj (, )
= | (Ufj ) d| = |j d| = ||2 d
DR
AF
Z
n1
1X
Cj (, )
= ||2 d > 0,
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 funco
es 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, n
ao constitui restrica
o supor que d = 0.
Ent
ao, usando a relaca
o (7.11) para o operador unit
ario L = U f , obtemos:
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
Z Z
n1
n1
1X
1X
Cj (, )2 =
(z w)
j d(z) d(w).
n j=0
n
C C
j=0
(7.14)
195
DR
AF
= 0.
( )()
= ({y}) d(y)
porque e n
ao at
omica. Ent
ao, podemos usar o teorema da convergencia dominada para concluir que (7.14) converge para zero quando n . Isto prova que
(f, ) e fracamente misturador se Uf n
ao tem autovetores n
ao constantes.
Demonstraca
o. Seja uma autofunca
o contnua de Uf . Pelo Teorema 7.4, a
funca
o e constante em -quase todo ponto. Logo, por continuidade, e
constante (em todo ponto) no suporte de .
7.3
Espectro discreto
Nesta seca
o e na pr
oxima estudaremos os dois casos extremos, no que se refere
ao tipo da medida espectral do operador de Koopman: sistemas com espectro
discreto, para os quais a medida espectral e puramente at
omica, e sistemas com
espectro de Lebesgue, ou seja, cuja medida espectral e absolutamente contnua
com relaca
o a
` medida de Lebesgue no crculo.
Comecamos por descrever algumas propriedades dos autovalores e autove claro que todo autovalor pertence ao crculo
tores do operador de Koopman. E
unit
ario, uma vez que Uf e uma isometria.
Proposi
c
ao 7.6. Se Uf 1 = 1 1 e Uf 2 = 2 2 com 1 6= 2 ent
ao 1 2 =
0. Alem disso, os autovalores de Uf constituem um subgrupo do crculo unit
ario.
Se o sistema e erg
odico ent
ao todo o autovalor de Uf e simples e o m
odulo
de toda autofunca
o e constante em -quase todo ponto.
196
Demonstraca
o. A primeira afirmaca
o segue da igualdade
2 (1 2 ) = 1 1 (1 2 ),
1 2 = U f 1 U f 2 = 1 1 2 2 = 1
2
DR
AF
1 Uf (1 )
1
1
=
=
=
.
2
Uf (2 )
2
2
n n
197
f = R : Td Td a rotaca
o correspondente a um dado = (1 , . . . , d ) no toro
Td . Ent
ao,
Uf k (x) = k (x + ) = e2ik k (x)
para todo x .
(7.15)
DR
AF
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).
??
Corol
ario 7.10. Se (f, ) e erg
odico, invertvel e tem espectro discreto ent
ao
(f, ) e ergodicamente equivalente a (f 1 , ).
Corol
ario 7.11. Sejam = (1 , . . . , d ) and = (1 , . . . , d ) vetores racionalmente independentes. Ent
ao as rotaco
es R e R s
ao ergodicamente equivalentes
se, e somente se, existe L SL(d, Z) tal que = L m
odulo Zd .
Demonstraca
o. Pelo Teorema 7.9 e a express
ao (7.15), as duas rotaco
es s
ao
equivalentes se, e somente se, {e2ik : k Zd } = {e2il : l Zd }. Isto
acontece se, e somente se, cada um dos grupos contem os geradores do outro
grupo:
e2ij G e e2ij G para todo j = 1, . . . , d.
(7.16)
198
A primeira condica
o quer dizer que para cada j existe Lj = (Lj,1 , . . . , Lj,d ) Zd
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)
DR
AF
Como e s
ao 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).
No caso particular do crculo, obtemos que duas rotaco
es irracionais R e
R s
ao equivalentes se, e somente se, R = R ou ent
ao R = R1 .
7.4
Espectro de Lebesgue
Dizemos que um sistema (f, ) tem espectro de Lebesgue se existe algum subespaco E L2 () tal que
(a) Uf (E) E (e, portanto, Uf1 (E) E);
T
es constantes;
(b) n0 Ufn (E) coincide com o subespaco das funco
(c)
n0
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.
7.4.1
Exemplos e propriedades
Proposi
c
ao 7.15. Se um sistema (f, ) tem espectro de Lebesgue ent
ao ele e
misturador.
Demonstraca
o. ??
199
Demonstraca
o. ??
Proposi
c
ao 7.16. Seja f : M M uma transformaca
o invertvel e seja
uma probabilidade invariante. Ent
ao 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.
Proposi
c
ao 7.17. caracterizacao no caso invertivel
posto
DR
AF
Demonstraca
o.
Corol
ario 7.19. Todos os deslocamentos de Bernoulli bilaterais s
ao espectralmente equivalentes.
??
7.4.2
7.5
7.5.1
7.6
Deslocamentos gaussianos
Sistemas de Kolmogorov
Propriedades
Transforma
co
es expansoras do intervalo
Teorema 7.20.
7.6.1
Exatid
ao
7.7
Espa
cos de Lebesgue
7.8
Exerccios
2. s (f ) e um subgrupo de S 1 .
200
2. O m
odulo de toda autofunca
o e constante em -quase todo ponto.
7.3. Calcule o espectro de uma rotaca
o R : S 1 S 1 .
DR
AF
2. lim
n
n1
1X j
|z 1| = 0 se, e somente se, z = 1;
n j=0
n1
1X
(z w)
= 0 se z 6= w.
n j=0
DR
AF
Entropia
Captulo 8
CAPITULO 8. ENTROPIA
202
Defini
c
ao de entropia
8.1
DR
AF
8.1.1
Para formalizar esta ideia, suponhamos que os smbolos transmitidos pelo canal
pertencem a um certo alfabeto A previamente definido. Nem todos os caracteres deste alfabeto tem a mesma frequencia, ou seja, a mesma probabilidade
de serem utilizados. Por exemplo, se o canal est
a transmitindo mensagens na
lngua portuguesa a letra A er
a utilizada com muito maior probabilidade que a
letra Z. Portanto, nem todos os caracteres carregam a mesma quantidade de
informaca
o: quanto mais improv
avel e um caracter, menor e o n
umero de palavras que o contem e, portanto, mais informaca
o est
a associada a esse caracter.
Analogamente, quanto mais improv
avel for uma palavra, menor e o n
umero
de frases em que ela participa e, portanto, maior e a quantidade informaca
o
associada a essa palavra.
Convem observar que quantidade de informaca
o associada a cada caracter,
ou a cada palavra, depende dos demais caracteres ou palavras. Por exemplo,
se o canal est
a transmitindo em lngua portuguesa e gera, sucessivamente, os
caracteres I, N, V, A, R, I, A, N e T ent
ao o caracter seguinte dever
a ser um
E; neste caso, em vista dos caracteres transmitidos anteriormente, esta letra E
n
ao carrega informaca
o adicional.1
Por outro lado, quando os caracteres transmitidos sucessivamente s
ao independentes uns dos outros, ent
ao a informaca
o de cada um se soma a
` informaca
o
anterior. Por exemplo, se a transmiss
ao reflete os resultados de lancamentos sucessivos de uma moeda justa, a informaca
o correspondente ao resultado (Cara,
Coroa, Coroa) deve ser igual a
` soma das informaco
es correspondentes a cada
um dos caracteres Cara, Coroa e Coroa. Ora, por independencia, a probabilidade do evento (Cara, Coroa, Coroa) e o produto das probabilidades dos eventos
Cara, Coroa e Coroa. Isto sugere que a informaca
o deve ser definida em termos
do logaritmo da probabilidade.
Em Teoria da Informaca
o e usual considerar logaritmos na base 2, porque
essencialmente todos os canais de informaca
o que encontramos na pr
atica s
ao
1 Um dos autores participou uma vez num jogo que consistia em seguir pistas para adivinhar, 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 n
ao acrescentariam qualquer informaca
o: o u
nico
objeto matem
atico cuja nome inclui tres vezes a letra Z e o Puzzle de Yoccoz.
DE ENTROPIA
8.1. DEFINIC
AO
203
bin
arios. No entanto, em Teoria Erg
odica e mais comum considerar logaritmos naturais (base e), e n
os faremos o mesmo. Por definica
o, a quantidade de
informaca
o associada a um caracter a A est
a dada por
I(a) = log pa
(8.1)
DR
AF
(8.3)
a1 ,...,an
8.1.2
1
I(An ).
n
(8.5)
A cada partica
o P associamos a respectiva funca
o de informaca
o
IP : M R,
(8.6)
CAPITULO 8. ENTROPIA
204
DR
AF
Figura 8.1: Gr
afico da func
ao (x) = x log x
H (P ) =
10
X
i=1
X X
j
a1 ,...,an
XX
j
aj
ai ,i6=j
DE ENTROPIA
8.1. DEFINIC
AO
205
H (P n ) =
d X
d
X
j=1 aj =1
pi = 1. Portanto,
Au
ltima soma e igual a 1, uma vez que
paj log paj =
d X
d
X
j=1 i=1
pi log pi = n
d
X
pi log pi .
i=1
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):
DR
AF
n
n
X
X
1
1 log n
H (P) =
ti (xi )
t i xi =
=
.
n
n
n
i=1
i=1
Portanto, H (P) log n. Alem disso, a igualdade ocorre se, e somente se,
(Pi ) = 1/n para todo i = 1, . . . , n.
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,
H (P) =
X
log c + log k + 2 log log k
k=1
ck(log k)2
Pelo criterio
raz
ao, a serie do lado direito tem o mesmo comportamento
Pda
que a serie k=1 1/(k log k) que, como sabemos, e divergente (use o criterio da
integral). Portanto, H (P) = .
Chamamos entropia condicional de uma partica
o P com respeito a uma
partica
o Q ao n
umero
H (P/Q) =
X X
P P QQ
(P Q) log
(P Q)
.
(Q)
(8.8)
CAPITULO 8. ENTROPIA
206
(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
(P Q R)
(P R)
DR
AF
=
P,Q,R
(P Q R) log
+
P,Q,R
(P Q R) log
P P,RR
SPR,QQ
(P R)
.
(R)
(P R) log
(P R)
(R)
= H (Q/P R) + H (P/R).
XX X
P
R QP
XX X
P
R QP
(Q R) log
(P R)
(R)
(Q R) log
(Q R)
= H (Q/R).
(R)
Isto prova a primeira parte do item (b). Para provar a segunda parte, note que
para quaisquer P P e R R, tem-se
X (Q) (R Q)
(R P )
=
.
(P )
(P ) (Q)
QP
Claro que
rema 0.51),
QP
(Q)/(P ) = 1. Ent
ao, pela desigualdade de Jensen (Teo
X (Q) (R Q)
(R P )
(P )
(P )
(Q)
QP
(P )
(P )
(P )
(Q)
P,R
Q,R
P,R
(Q)
QP
(R Q)
= H (R/Q).
(Q)
DE ENTROPIA
8.1. DEFINIC
AO
207
(P Q)
= 1.
(Q)
DR
AF
(8.9)
(8.10)
Lema 8.6. Dado k 1 e > 0 existe > 0 tal que, para quaisquer partico
es
finitas P = {P1 , . . . , Pk } e Q = {Q1 , . . . , Qk },
(Pi Qi ) < para todo i = 1, . . . , k
H (Q/P) < .
Demonstraca
o. Fixe > 0 e k 1. Pela continuidade da funca
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
es P e Q como no enunciado, denote por R a
partica
o cujos elementos s
ao as interseco
es Pi Qj com i 6= j e tambem o
conjunto ki=1 P Qi . Note que (Pi Qj ) (Pi Qi ) < para todo i 6= j e
k
[
i=1
k
k
X
X
Pi Q i
(Pi ) (Pi Qi ) >
(Pi ) = 1
i=1
Portanto,
H (R) =
i=1
RR
((R)) < #R
.
k2
claro da definica
E
o que P Q = P R. Ent
ao, usando (8.10) e (8.9),
H (Q/P) = H (P Q) H (P) = H (P R) H (P)
= H (R/P) H (R) < .
CAPITULO 8. ENTROPIA
208
8.1.3
n1
_
i=0
DR
AF
Demonstraca
o. Por definica
o, P m+n = m+n1
f i (P) = P m f m (P n ). Pori=0
tanto, uando (8.10),
H (P m+n ) H (P m ) + H (f m (P n )).
(8.11)
(8.12)
1
1
H (P n ) = inf H (P n ).
n n
n
(8.13)
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,
PQ
h (f, P) h (f, Q)
(8.14)
(8.15)
DE ENTROPIA
8.1. DEFINIC
AO
209
DR
AF
1
H (P n ) = log 10.
n
h (f, P) = lim
n
X
1
H (P n ) =
pi log pi .
n
i=1
Demonstraca
o. Pelo Lema 8.5, para todo n 1 vale que
H Qn+1 /P n+1 = H Qn f n (Q)/P n f n (P)
H Qn /P n + H f n (Q)/f n (P)
O u
ltimo termo e igual a H(Q/P), porque a medida e invariante por f .
Portanto, a relaca
o anterior prova que
para todo n 1.
(8.16)
H Qn /P n nH Q/P
CAPITULO 8. ENTROPIA
210
n1
n1
_
_
f j (P) = H
f j (P) + H P/
f j (P)
DR
AF
H
j=0
= H
j=1
j=1
n2
_
n1
_
j=0
f j (P) + H P/
f j (P)
j=1
n1
_
(P) = H (P) +
j=0
n1
X
k=1
H P/
k
_
j=1
f j (P) .
n1
n1
k
_
_
1
1X
f j (P) .
H
f j (P) = lim
H P/
n n
n
j=0
j=1
k=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, coincide com o limite Cesaro na igualdade anterior.
n1 j
Recorde que P n = j=0
f (P). Quando f : M M e invertvel, tambem
n1
n
consideramos P
= j=n f j (P).
f j (P k ) =
n1
_
j=0
f j
k1
_
i=0
_
n+k1
f i (P) =
f l (P) = P n+k .
l=0
Portanto,
1
1
h f, P k = lim H P n+k = lim H P n = h f, P .
n n
n n
211
n1
_
f j (P k ) =
j=0
n1
_
f j
j=0
Isto prova a primeira parte do lema. Para provar a segunda parte, note que:
k1
_
i=k
_
n+k1
f i (P) =
f l (P) = f k P n+2k
l=k
1
1
h f, P k = lim H f k (P n+2k ) = lim H P n+2k = h f, P .
n n
n n
DR
AF
Proposi
c
ao 8.14. Tem-se h (f k ) = kh (f ) para todo k N. Se f e invertvel
ent
ao h (f k ) = |k|h (f ) para todo k Z.
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
P km =
km
_
i=0
f j (P) =
m
_
i=0
f ki (P k ) =
m
_
g i (P k ).
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
estas partico
es P vem que kh (f ) = h (g), conforme afirmado.
Agora suponha que f e invertvel. Seja P uma partica
o qualquer de M com
entropia finita. Para qualquer n 1,
n1 i
n1 j
n1 i
f (P) ,
f (P) = H f n+1 i=0
f (P) = H i=0
H j=0
8.2
Teorema de Kolmogorov-Sinai
CAPITULO 8. ENTROPIA
212
Demonstraca
o. O limite sempre existe, pois a propriedade (8.14) implica que a
sequencia h (f, Pn ) e n
ao decrescente. Vamos usar o seguinte fato:
Lema 8.16. limn H (Q/Pn ) = 0 para qualquer partica
o finita Q.
DR
AF
Demonstraca
o. Escreva Q = {Q1 , . . . , Qk }. Dado qualquer > 0, fixe > 0
como no Lema 8.6. Seja A a a
lgebra formada pelas uni
oes finitas de elementos
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 s
ao 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
0
Ai \ i1
Qi =
j=1 Aj
k1
M \ j=1
Aj
para i = 1
para 1 < i < k
para i = k
Ent
ao Q0 = {Q01 , . . . , Q0k } e uma partica
o de M . Afirmamos que
(Ai Q0i ) < /2 para todo i = 1, . . . , k.
(8.20)
213
8.2.1
Parti
co
es geradoras
DR
AF
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 mensur
aveis. Ent
ao h (f ) = h (f, P).
Demonstraca
o. Basta aplicar o Teorema 8.15 a
` sequencia P n , lembrando que
n
h (f, P ) = h (f, P) para todo n, de acordo com o Lema 8.13.
Corol
ario 8.18. Suponha que o sistema (f, ) e invertvel. Seja P uma partica
o
n1
com entropia finita tal que a uni
ao dos iterados P n = j=n
f j (P), n 1
gera a -
algebra dos conjuntos mensur
aveis. Ent
ao h (f ) = h (f, P).
Demonstraca
o. Basta aplicar o Teorema 8.15 a
` sequencia P n , lembrando que
n
h (f, P ) = h (f, P) para todo n, de acordo com o Lema 8.13.
Em particular, os Corol
arios 8.17 e 8.18 completam o c
alculo da entropia da
transformaca
o expans
ao decimal e dos deslocamentos de Bernoulli, que iniciamos nos Exemplos 8.9 e 8.10, respectivamente.
Em qualquer dos casos nos Corol
arios 8.17 e 8.18 dizemos que P e uma
partica
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
arios n
ao s
ao
equivalentes. Por exemplo, se tomarmos M = {1, . . . , d}Z ent
ao a partica
o P
em cilindros {[0; a] : a = 1, . . . , d} e tal que a uni
ao dos iterados bilaterais P n
gera a -
algebra mas a a uni
ao dos iterados unilaterais P n n
ao gera.
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
uni
ao dos iterados unilaterais P n gera a -
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:
Corol
ario 8.19. Suponha que f : M M e invertvel e existe alguma partica
o
n
P com entropia finita tal que
gera a -
algebra dos conjuntos menn=1 P
sur
aveis de M . Ent
ao h (f ) = 0.
Demonstraca
o. Combinando o Lema 8.12 e o Corol
ario 8.17:
h (f ) = h (f, P) = lim H (P/f 1 (Pn )).
n
CAPITULO 8. ENTROPIA
214
Como n P n gera a -
algebra B dos conjuntos mensur
aveis, n f 1 (P n ) gera
a -
algebra f 1 (B). Mas f 1 (B) = B, uma vez que f e invertvel. Logo, o
Teorema 8.15 implica que H (P/f 1 (Pn )) converge para zero quando n .
Segue que h (f ) = 0.
Suponha que M e um espaco metrico, munido da sua -
algebra de Borel.
DR
AF
Corol
ario 8.20. Seja P1 Pn uma sequencia n
ao decrescente de
partico
es com entropia finita tais que diam Pn (x) 0 para -quase todo x M .
Ent
ao
h (f ) = lim h (f, Pn ).
n
Demonstraca
o. Seja U um aberto qualquer de M . A hip
otese garante que para
1
1
1
H (P n ) lim #P n = lim log kn = 0.
n n
n n
n
Corol
ario 8.22. Seja P uma partica
o com entropia finita tal que, para -quase
todo x M , tem-se diam P n (x) 0. Ent
ao h (f ) = h (f, P).
Demonstraca
o. Basta aplicar o Corol
ario 8.20 a
` sequencia P n , lembrando que
n
h (f, P ) = h (f, P) para todo n.
215
x = y.
Entropia local
DR
AF
8.3
Lembre que P n (x) = P(x)f 1 (P(f (x))) f n+1 (P(f n1 (x))), ou seja,
este conjunto est
a formado pelos pontos cuja trajet
oria se mantem pr
oxima
da trajet
oria de x durante n iterados, no sentido de que as duas visitam os
mesmos elementos de P. O Teorema 8.24 afirma que a medida deste conjunto
tem uma taxa exponencial de decaimento bem definida: em -quase todo ponto,
(P n (x)) enh(f,P,x)
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 noca
o 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
log (B (n, x))
n
n
1
h
(f, , x) = limninf log (B (n, x)).
n
h+
(f, , x) = lim sup
CAPITULO 8. ENTROPIA
216
lim h
(f, , x)
existem e s
ao iguais para -quase todo ponto. Denotando por h (f, x) o seu
valor comum, a funca
o h (f, ) e integr
avel e tem-se
Z
h (f ) = h (f, x)d(x).
DR
AF
1
log (B (x)) = 0
n
8.3.1
(P n (x))
.
(P n1 (f (x)))
n1
1
1X
1
log (P n (x)) = log (P(f n1 (x))) +
nj (f j (x))
n
n
n j=0
(8.22)
Lema 8.27. A sequencia n1 log (P(f n1 (x))) converge para zero em -quase
todo ponto e em L1 ().
Demonstraca
o. Comece por observar que a funca
o x
7
log (P(x)) e integr
avel:
Z
Z
| log (P(x))| d(x) = log (P(x)) d(x) = H (P) < .
217
Usando o Lema 3.10, segue que n1 log (P(f n (x))) converge para zero em claro que isto implica a convergencia em -quase todo
quase todo ponto. E
ponto no enunciado do lema.
Alem disso, usando o fato de que a medida e invariante,
Z
1
1
1
n1
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 ().
DR
AF
Demonstraca
o. Para cada n > 1, denote por Qn a partica
o de M definida por
Qn (x) = f 1 (Pn1 (f (x))) = f 1 (P(f (x))) f n+1 (P(f n1 (x))).
Note que (P n1 (f (x)) = (Qn (x)) e que P n (x) = P(x) Qn (x). Portanto,
(P(x) Qn (x))
(P n (x))
=
.
n1
(P
(f (x)))
(Qn (x))
(8.23)
(P n (x))
(P n1 (f (x)))
para todo x P.
Pelo Lema 4.43, o limite e(XP , x) = limn en (XP , x) existe para -quase todo
x M e, em particular, para -quase todo x P . Como P P e arbitr
ario,
isto prova que
(P n (x))
lim
n (P n1 (f (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
o. Tal como no lema anterior, vamos usar as partico
es Q n definidas
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,
n (x) > t
CAPITULO 8. ENTROPIA
218
e, nesse caso, n (y) > t para todo y P Qn (x). Portanto, podemos escrever
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
(P Qj ) < et (Qj ) para todo j.
(8.24)
DR
AF
P P
XZ
P P
min{et , (P )} dt.
Au
ltima integral pode ser reescrita do seguinte modo:
Z
log (P )
(P ) dt +
log (P )
et dt = (P ) log (P ) + (P ).
Demonstraca
o. Vimos no Lema 8.28 que (n )n converge para em -quase
todo ponto. Como 0 n para todo n, tambem temos 0 . Em
particular, e integr
avel. Alem disso, | n | para todo n e, portanto,
podemos usar o teorema da convergencia dominada (Teorema 0.40) para concluir
que
Z
Z
lim
n
| n | d =
lim | n | d = 0.
n
n1
n1
1X
1X
nj (f j (x)) = lim
(f j (x)).
n n
n j=0
j=0
219
Demonstraca
o. O limite do lado direito existe em -quase todo ponto e em
L1 (), pelo teorema erg
odico de Birkhoff (Teorema 3.8). Portanto, basta mostrar que a diferenca
n1
1X
(nj ) f j
(8.25)
n j=0
DR
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:
n1
nk1
n1
1X
1 X
1 X
|nj | f j
|nj | f j =
|nj | f j +
n j=0
n j=0
n
j=nk
1
n
nk1
X
j=0
k f j +
1
n
n1
X
j=nk
fj.
(8.26)
k e n
k = 0 em -quase todo ponto, tal
Como
ao negativa, segue que limk
como foi afirmado. Portanto, (8.26) implica que
lim
n
n1
1X
|nj | f j = 0
n j=0
CAPITULO 8. ENTROPIA
220
1
log (P n (x))
n
DR
AF
existe em -quase todo ponto e em L1 (); de fato, ele coincide com a media
temporal (x)
da funca
o . Ent
ao, em particular,
Z
Z
1
h (f, P, x) d(x) = lim
log (P n (x)) d(x)
n n
1
= lim H (P n ) = h (f, P).
n n
e constante em -quase
todo ponto. Ou seja, nesse caso h (f, P, x) = h (f, P) para -quase todo ponto.
Isto encerra a demonstraca
o do Teorema 8.24.
8.4
Exemplos
8.4.1
Deslocamentos de Markov
Demonstraca
o. Considere a partica
o P de M em cilindros [0; a], a = 1, . . . , d.
Para cada n, o iterado P n e a partica
o em cilindros [0; a1 , . . . , an ] de comprimento n. Lembrando que ([0; a1 , . . . , an ]) = pa1 Pa1 ,a2 Pan1 ,an , vemos que
H (Pn ) =
a1 ,...,an
X
a1
pa1 Pa1 ,a2 Pan1 ,an log pa1 Pa1 ,a2 Pan1 ,an
a2 ,...,an
n
X
X
j=1 aj ,aj+1
(8.27)
onde a u
ltima soma e sobre todos os valores de a1 , . . . , aj1 , aj+2 , . . . , an . Por
um lado,
X
X
Pan1 ,an = 1
Pa1 ,a2 Pan1 ,an =
a2 ,...,an
an
221
8.4. EXEMPLOS
a1 ,an
a1
DR
AF
X
a1
pa1 +
= 1 + n
X
a,b
n
X
X
j=1 aj ,aj+1
P
Ent
ao h (f, P) = a,b pa Pa,b log Pa,b . Como a famlia de todos os cilindros
[0; a1 , . . . , an ] gera a -
algebra de M = {1, . . . , d}N , segue do Corol
ario 8.17 que
h (f ) = h (f, P). Isto completa a prova do teorema.
Esta conclus
ao permanece v
alida no caso de deslocamentos de Markov bilaterais, ou seja, em M = {1, . . . , d}Z . O argumento e an
alogo, usando o Corol
ario 8.18.
8.4.2
Transforma
c
ao de Gauss
(C) Existe C > 1 tal que |(Gn )0 (y)|/|(Gn )0 (x)| C para todo n 1 e quaisquer 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.
CAPITULO 8. ENTROPIA
222
imediato da definica
E
o que cada P P e enviado por G difeomorficamente
sobre (0, 1). A propriedade (A) e uma consequencia, por induca
o em n. Usando
(A) e o Lema 4.18, obtemos que
diam Pn sup
xPn
1
2[n/2]
|(Gn )0 (x)|
DR
AF
Demonstraca
o. Para cada n 1, consideremos a funca
o n (x) = log (Pn (x)).
Observe que:
Z
X
H (P n ) =
(Pn ) log (Pn ) = n (x) d(x).
Pn P n
A propriedade (D) d
a que
Pela propriedade (A), temos que log m(Pn (x)) = log |(Gn )0 (y)| para algum
y Pn (x). Usando a propriedade (C), segue que
log c1 log C n (x) log |(Gn )0 (x)| log c2 + log C
(8.29)
log |(Gn )0 | d =
n1
XZ
j=0
log |G0 | Gj d = n
|G0 | d.
Ent
ao dividindo (8.29) por n e passando ao limite quando n ,
Z
1
n
h (f, P) = lim H (P ) = log |G0 | d.
n n
223
1
log (P n (x)) = 2 para -quase todo x.
n
DR
AF
para -quase todo x e para n suficientemente grande. Observe que P n (x) est
a
formada pelos pontos y cuja expans
ao em fraca
o contnua coincide com a expans
ao de x ate a ordem n.
8.4.3
Transforma
co
es expansoras do intervalo
A transformaca
o de Gauss e um exemplo da classe de transformaco
es expansoras
do intervalo que introduzimos na Seca
o 7.6. Como vimos no Teorema 7.20,
toda transformaca
o expansora do intervalo f admite uma u
nica probabilidade
invariante equivalente a
` medida de Lebesgue. Os argumentos da demonstraca
o
da Proposica
o 8.33 se estendem facilmente a estes sistemas (f, ), supondo que
a partica
o P na definica
o tem entropia finita para a medida . Deixamos ao
leitor o cuidado de verificar os detalhes dessa extens
ao. Desta forma obtemos:
Teorema 8.34 (f
ormula de Rokhlin). Se f : I I e uma transformaca
o
markoviana do intervalo e e a probabilidade invariante
absolutamente
cont
nua
R
relativamente a
` medida de Lebesgue, ent
ao h (f ) = log |f 0 | d.??
Alternativamente, o Teorema 8.34 pode ser deduzido do teorema de ShannonMcMillan-Breiman (veja o Exerccio 8.6).
8.4.4
Automorfismos do toro
??
8.5
CAPITULO 8. ENTROPIA
224
Proposi
c
ao 8.35. Sejam f : 1 : M1 M1 e f2 : M2 M2 transformaco
es
preservando probabilidades 1 em M1 e 2 em M2 . Se (f1 , 1 ) e ergodicamente
equivalente a (f2 , 2 ), ent
ao h1 (f1 ) = h2 (f2 ).
DR
AF
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
Seca
o 7.1, os conjuntos X1 e X2 podem ser escolhidos invariantes. Seja P1 uma
partica
o finita ou enumer
avel de (M1 , 1 ). A sua restrica
o a X1 e uma partica
o
de (X1 , 1 ). A respectiva imagem P2 = (P1 ) e uma partica
o de (X2 , 2 ) que,
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
h2 (f2 , P2 ) = lim
n
1
1
H2 (P2n ) = lim H1 (P1n ) = h1 (f1 , P1 ).
n
n
n
8.6. EXERCICIOS
225
DR
AF
3
X
(Xi ) =
i=1
3
X
pi (f (Xi )).
i=1
para i = 1, 2, 3.
8.6
Exerccios
CAPITULO 8. ENTROPIA
226
DR
AF
??
8.6. EXERCICIOS
227
DR
AF
CAPITULO 8. ENTROPIA
DR
AF
228
DR
AF
Bibliografia
[AB]
[AF07] A. Avila and G. Forni. Weak mixing for interval exchange transformations and translation flows. Ann. of Math., 165:637664, 2007.
[Bil68]
[Kat80] A. Katok. Lyapunov exponents, entropy and periodic points of diffeomorphisms. Publ. Math. IHES, 51:137173, 1980.
[Ma
n87] R. Ma
ne. Ergodic theory and differentiable dynamics. Springer Verlag,
1987.
[Mey00] C. Meyer. Matrix analysis and applied linear algebra. Society for Industrial and Applied Mathematics (SIAM), 2000.
230
BIBLIOGRAFIA
[Orn70] D. Ornstein. Bernoulli shifts with the same entropy are isomorphic.
Advances in Math., 4:337352 (1970), 1970.
[Pet83] K. Petersen. Ergodic theory. Cambridge Univ. Press, 1983.
DR
AF
[Wey16] H. Weyl. Uber die Gleichverteilungen von Zahlen mod Eins. Math.
Ann., 77:313352, 1916.
boreliano, 3
invariante, 96
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
o, 71
DR
AF
B , 50
C 0 (M ), 55, 57
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
a
lgebra, 1
Indice
crculo, 39
cilindro, 9
classe mon
otona, 5
completamento de um espaco de medida, 5
condica
o de Keane, 150
cone, 70
dual, 70
normal, 70
conjunto
de continuidade de uma medida,
52
equaco
es de Hamilton-Jacobi, 115
ergodicidade
da expans
ao decimal, 101
da rotaca
o irracional, 100, 101
dos deslocamentos de Markov, 173
espaco
de Baire, 121
de medida, 3
231
INDICE
232
lema
de Borel-Cantelli, 25
de Borel-Cantelli, 25
de Fatou, 14
de medida completo, 5
de probabilidade, 3
mensur
avel, 1, 2
metriz
avel, 53
produto, 8, 9
separ
avel, 53, 55
topol
ogico, 2
vetorial topol
ogico, 59
expans
ao decimal, 32
extens
ao natural, 66
DR
AF
metrica
de Levy-Prohorov, 54
matriz hiperb
olica, 111
medida, 3
at
omica, 22
com sinal, 57
completa, 5
de Bernoulli, 9
de Dirac, 3, 50
de Lebesgue, 5
de Lebesgue no crculo, 39
finita, 3
invariante, 27, 59
justa, 20
n
ao a
omica, 22
produto, 8, 104
projeca
o, 123
regular, 18
transporte, 65, 72
f
ormula
de Rokhlin, 223
f
ormula de Liouville, 42
fluxo, 28, 41
folhas est
aveis, 112
folhas inst
aveis, 112
folheaca
o est
avel, 112
folheaca
o inst
avel, 112
forma de volume, 42
fraca
o contnua, 34, 35
funca
o
-aditiva, 4
caracterstica, 10
de distribuica
o, 71
finitamente aditiva, 4
invariante, 79, 96
localmente integr
avel, 15
mensur
avel, 10
simples, 11
funcional
positivo, 70
grupo
de Lie, 144
topol
ogico, 144
hip
otese erg
odica, 75
hipersuperfcie de energia, 115
integral
de Lebesgue, 12
de uma funca
o simples, 11
interc
ambio de intervalos, 148
isometria, 69, 93
iterado de uma medida, 59
n
umero
balanceado, 103
normal, 103
norma
Lp , 16
da convergencia uniforme, 55
de uma matriz, 86
operador
de Koopman, 58, 69
dual, 69
positivo, 55, 56, 69, 70
unit
ario, 93
ponto
de densidade, 14
recorrente, 31
probabilidade, 3
produto semi-direto, 61, 72
raio especctral, 70
rotaca
o, 3840
irracional, 39
racional, 39
serie de Fourier, 110
sequencia
subaditiva, 85
sistemas hamiltonianos, 115
suporte
de uma medida, 8
233
erg
odico de Birkhoff, 80, 81
erg
odico subaditivo, 76, 86
espectral, 192
Portmanteau, 52
recorrencia de Poincare, 32
topologia
discreta, 24, 106
fraca, 57
fraca , 50, 51, 57
mais forte, 52
mais fraca, 52
pontual, 71
produto, 105
uniforme, 71
toro de dimens
ao d, 40
transformaca
o
de Gauss, 36
de Poincare, 62, 64
de primeiro retorno, 43, 62, 64
expansiva, 215
induzida, 44
topologicamente fracamente misturadora, 195
topologicamente misturadora, 164
transitiva, 106
transitividade, 121
INDICE
DR
AF
tempo
de primeiro retorno, 30, 43
medio de retorno, 31
medio de visita, 80
tempo de primeiro retorno, 64
Teorema
de Keane, 151
de Lusin, 20, 22
de Masur e Veech, 152
KAM, 116
normal de Borel, 103
teorema
da convergencia dominada, 14
da convergencia mon
otona, 14
das classes mon
otonas, 5
de Banach-Alaoglu, 57
de Birkhoff, 76
vari
avel aleat
oria, 71
de Brin-Katok, 216
vetor
de derivaca
o de Lebesgue, 15
de comprimentos, 149
de existencia de medidas invarianvetor racionalmente independente, 40
tes, 49
de extens
ao de medidas, 4
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