Ergodica PDF

AF
Fundamentos da Teoria Ergodica
DR
Marcelo Viana e Krerley Oliveira
ii
DR
AF
AF
T
Pref
acio
Em poucas palavras, a Teoria Erg

odica e a disciplina matematica que estuda
sistemas din
amicos munidos de medidas invariantes. Vamos explicar o que significam estas nocoes e, tambem, explicar quais sao as principais motivacoes para o
seu estudo. Em seguida listaremos alguns momentos marcantes da historia desta
disciplina, cujas razes remontam `
a Fsica do seculo 19. Ao final do pref
acio, descreveremos o conte
udo deste livro e a sua organizacao, bem como os requisitos
desejaveis para seu estudo.
Sistemas din
amicos
DR
H
a varias definicoes, mais ou menos gerais, do que e um sistema dinamico. N
os
nos restringiremos a dois modelos principais.
O primeiro deles, ao qual nos referiremos na maior parte do tempo, sao
as transformacoes f : M M em algum espaco M . Heuristicamente, os
elementos de M representam os possveis estados de um dado sistema e f e a
lei de evolucao, associando a cada estado x M aquele estado f (x) M em
que o sistema se encontrar
a uma unidade de tempo depois. Trata-se portanto
de um modelo de din
amica com tempo discreto.
Tambem consideraremos fluxos, que sao modelos de sistemas dinamicos com
tempo contnuo. Lembre que um fluxo em M e uma famlia f t : M M , t R
de transformacoes satisfazendo
f 0 = identidade
f t f s = f t+s para todo t, s R.
(0.0.1)
Fluxos aparecem, por exemplo, associados a equacoes diferenciais: tome como

f t a transformacao que associa a cada x M o valor no tempo t da solucao da
equacao que passa por x no tempo zero.
Num caso e no outro, sempre suporemos que o sistema dinamico e mensur
avel, ou seja, que o espaco M est
a munido de uma -algebra de subconjuntos ditos mensur
aveis e que essa -algebra e preservada pela dinamica: a preimagem de qualquer conjunto mensuravel tambem e um conjunto mensuravel.
Na maior parte dos casos, M sera um espaco topologico, ou ate um espaco
metrico, munido da menor -algebra que contem todos os abertos (-algebra de
Borel). De fato, em muitas das situacoes que consideraremos ao longo do livro,
suporemos mesmo que M e uma variedade e que a dinamica e diferenci
avel.
iii
iv
AF
T
Medidas invariantes
Uma medida em M e uma funcao n

ao-negativa definida na -algebra de M e
satisfazendo () = 0 e
X
n An ) =
(An )
n
para toda famlia enumeravel {An } de subconjuntos mensuraveis dois-a-dois

disjuntos. Dizemos que e uma probabilidade se (M ) = 1. Na maior parte
dos casos trataremos com medidas finitas, isto e, tais que (M ) < . Neste
caso sempre podemos transformar numa probabilidade : para isso basta
definir
(E)
para cada conjunto mensuravel E M.
(E) =
(M )
Em geral, uma medida diz-se invariante pela transformacao f se
(E) = (f 1 (E))
para todo conjunto mensuravel E M.
(0.0.2)
Heuristicamente, isto pode ser interpretado da seguinte forma: a probabilidade

de um ponto estar num dado conjunto e igual à probabilidade de que a sua
imagem esteja nesse conjunto. No caso de fluxos, substitumos a relacao (0.0.2)
por
(E) = (f t (E))
para todo mensuravel E M e todo t R.
(0.0.3)
Note que as definicoes (0.0.2)(0.0.3) fazem sentido, uma vez que, por hipotese, a
pre-imagem de qualquer conjunto mensuravel ainda e um conjunto mensuravel.
Por que estudar medidas invariantes?
DR
Como em todo ramo da Matem

atica, parte importante da motivacao e intrnseca
e estetica: como veremos, estas estruturas matematicas tem propriedades profundas e surpreendentes, que conduzem à demonstracao de belssimos teoremas.
Igualmente fascinante, ideias e resultados da Teoria Erg
odica se aplicam em outras
areas da Matem
atica que, a priori, parecem nada ter de probabilstico, tais
como a Teoria dos N
umeros e a Combinatoria.
Outra raz
ao para este estudo e que muitos problemas das ciencias experimentais, incluindo fenomenos complexos na Natureza, podem ser modelados por
sistemas din
amicos que deixam invariante alguma medida interessante. Historicamente, o exemplo mais importante veio da Fsica: sistemas hamiltonianos,
que descrevem a evolucao dos sistemas conservativos na mecanica newtoniana,
correspondem a fluxos que preservam uma medida natural, chamada medida de
Liouville. Alias, veremos que sistemas dinamicos muito gerais possuem medidas
invariantes.
Ainda outra motivacao fundamental para que nos interessemos por medidas
invariantes e que o seu estudo pode conduzir a informacao importante sobre
o comportamento din
amico do sistema, que seria difcil obter de outro modo.
O Teorema de Recorrencia de Poincare, um dos primeiros que estudaremos
AF
T
neste livro, ilustra bem o que acabamos de dizer: ele afirma que a orbita de
quase todo ponto, relativamente a qualquer medida invariante finita, regressa
arbitrariamente perto do seu estado inicial.
Breve apresentac
ao hist
orica
A palavra erg
odico e a concatenacao de duas palavras gregas, o (ergon) =
trabalho e oo (odos) = caminho, e foi criada no seculo 19 pelo fsico austraco
L. Boltzmann. Os sistemas em que Boltzmann, J. C. Maxwell e J. C. Gibbs, os
fundadores da teoria cinetica dos gases, estavam interessados sao descritos por
fluxos hamiltonianos associados a equacoes diferenciais da forma

H
H
H
H
dqn dp1
dpn
dq1
=
.
,...,
,
,...,
,...,
,
,...,
dt
dt dt
dt
p1
pn
q1
qn
DR
Boltzmann acreditava que as

orbitas tpicas do fluxo preenchem toda a superfcie
de energia H 1 (c) que as contem. A partir desta hip
otese erg
odica, ele deduziu
que as medias temporais de grandezas observaveis (funcoes) ao longo de orbitas
tpicas coincidem com as respectivas medias espaciais na superfcie de energia,
um fato crucial para a sua formulacao da teoria cinetica dos gases.
Na verdade, do jeito que foi formulada inicialmente por Boltzmann, esta
hipotese e claramente falsa. Com o tempo, tornou-se usual chamar hip
otese
erg
odica ao que seria uma consequencia dela, a saber, a afirmacao de que
as medias temporais e espaciais sao iguais. Sistemas para os quais vale esta
igualdade foram chamados erg
odicos. E pode dizer-se que boa parte da Teoria Erg
odica, tal como ela se desenvolveu ao longo do seculo 20, foi motivada
pelo problema de decidir se a maioria dos sistemas hamiltonianos, especialmente
aqueles que aparecem na teoria cinetica dos gases, sao erg
odicos ou n
ao.
Um avanco fundamental ocorreu nos anos trinta, quando J. von Neumann e
G. D. Birkhoff provaram que as medias temporais realmente existem para quase
toda
orbita. No entanto, em meados dos anos cinquenta o grande matematico
russo A. N. Kolmogorov observou que muitos sistemas hamiltonianos n
ao s
ao
erg
odicos. Esta descoberta espectacular foi expandida e aprofundada por V.
Arnold e por J. Moser, no que veio a ser chamado teoria KAM em homenagem
aos tres.
Por outro lado, ainda nos anos trinta, E. Hopf tinha dado os primeiros exemplos importantes de sistemas hamiltonianos que s
ao erg
odicos, os fluxos geodesicos de superfcies com curvatura negativa. O seu resultado foi generalizado por
D. Anosov, nos anos sessenta, para fluxos geodesicos em variedades de qualquer
dimensao. De fato, Anosov provou ergodicidade para uma classe bem mais geral
de sistemas, tanto com tempo contnuo como com tempo discreto, que agora sao
chamados sistemas de Anosov.
Uma classe ainda mais ampla de sistemas, chamados uniformemente hiperb
olicos, foi introduzida por S. Smale, e vem constituindo um tema central
da teoria dos Sistemas Din
amicos ao longo do u
ltimo meio seculo. Nos anos
setenta, Ya. Sinai desenvolveu a teoria das medidas de Gibbs dos sistemas de
vi
AF
T
Anosov, conservativos ou dissipativos, a qual foi estendida logo em seguida por

D. Ruelle e por R. Bowen para sistemas uniformemente hiperb
olicos, constituindo uma das maiores realizacoes da teoria erg
odica diferenciavel.
Nesta breve lista de contribuicoes fundamentais, n
ao podemos deixar de
mencionar a introducao da nocao de entropia, por Kolmogorov e Sinai ao final
dos anos cinquenta, e a demonstracao, por D. Ornstein cerca de dez anos depois,
de que a entropia e um invariante completo para deslocamentos (shifts) de
Bernoulli: dois deslocamentos de Bernoulli sao equivalentes se, e somente se,
eles tem a mesma entropia.
A essa altura, V. I. Oseledets, Ya. Pesin e outros matematicos estavam
lancando as bases da teoria dos sistemas n
ao-uniformemente hiperb
olicos. Mas
isso nos levaria alem do escopo deste livro.
Hist
orico sucinto deste livro
DR
Este livro foi desenvolvido a partir de notas de curso que escrevemos para os
participantes de minicursos ministrados na Escola de Verao do Departamento
de Matem
atica da Universidade Federal de Pernambuco (Recife), em janeiro
de 2003, e do encontro Novos Talentos em Matem
atica da Fundacao Calouste
Gulbenkian (Lisboa), em setembro de 2004.
Nos dois casos, o p
ublico estava formado majoritariamente por alunos jovens
que n
ao tinham contato previo com a Teoria Erg
odica e, em muitos casos,
nem mesmo com a Teoria da Medida. Por isso, tornava-se necessario fornecer
material acessvel que permitisse a esses alunos acompanhar minimamente as
principais ideias do curso. Ainda neste est
agio, o texto foi utilizado por colegas,
tais como o professor Vanderlei Horita (UNESP), para ministrar minicursos a
p
ublicos com um perfil semelhante.
Ao longo do desenvolvimento do texto, buscamos preservar esse car
ater elementar dos captulos iniciais, especialmente os Captulos 1 e 2, de tal forma
que eles possam ser utilizados de forma independente, com um mnimo de prerequisitos.
A partir do minicurso ministrado no Coloquio Brasileiro de Matem
atica
(IMPA, Rio de Janeiro) de 2005, este projeto foi adquirindo contornos mais
abrangentes. Gradualmente, fomos evoluindo para tentar apresentar num formato coerente de livro de texto, o material que consideramos formar o n
ucleo central da Teoria Erg
odica. Para isso nos inspiramos fortemente na nossa
propria experiencia como pesquisadores da area, buscando reunir num texto
unificado as nocoes e resultados que se mostraram importantes para o notavel
desenvolvimento que esta area tem vivido nas u
ltimas decadas.
Uma preocupacao importante foi tentar manter o texto o mais possvel autocontido. De fato, a Teoria Erg
odica se apoia em diversas disciplinas da Matematica, com destaque para a Teoria da Medida, a Topologia e a Analise. Nos
Apendices A.1 a A.7 coligimos o principal material destas disciplinas que e u
til
para o restante do texto. De um modo geral, as demonstracoes sao omitidas, ja
que existem diversos excelentes textos sobre estes temas. Por outro lado, pres
supomos que o leitor conhece os conceitos e resultados fundamentais da Algebra
vii
AF
T
Linear, inclusive a forma can

onica de Jordan.
Organizac
ao do texto
O corpo principal deste livro est

a formado por 12 captulos, divididos em secoes e
subsecoes, e 7 apendices, com status de secoes e tambem divididos em subsecoes.
Cada secao, incluindo os apendices, termina com uma lista de exerccios. Enunciados (teoremas, proposicoes, lemas, corol
arios etc), exerccios e formulas est
ao
numerados por secao e captulo: por exemplo, (2.3.7) corresponde à setima
formula da terceira secao do segundo captulo e Exerccio A.5.1 e o primeiro
exerccio no quinto apendice.
Inclumos um apendice adicional (Apendice A.7.3) com dicas ou solucoes
para todos os exerccios. O livro se encerra com a lista de referencias bibliogr
aficas e o ndice remissivo.
Os Captulos 1 a 12 podem ser organizados do seguinte modo:
Os Captulos 1 a 4 formam uma especie de ciclo b

asico, no qual apresentamos as nocoes e resultados fundamentais da Teoria Erg
odica - invariancia,
recorrencia e ergodicidade - bem como alguns exemplos principais. O
Captulo 3 introduz os resultados fundamentais (teoremas erg
odicos) sobre os quais est
a constituda toda a teoria.
O Captulo 4, onde introduzimos a nocao de ergodicidade, e um dos pontos
fulcrais deste texto. Os dois captulos seguintes (Captulos 5 e 6) desenvolvem temas importantes relacionados com essa nocao: decomposicao
de medidas invariantes em medidas erg
odicas e sistemas admitindo uma
u
nica medida invariante, necessariamente erg
odica.
DR
Os Captulos 7 a 9 tratam temas bastante diversos - perda de memoria,

problema do isomorfismo e entropia - mas se estruturam de forma coerente
em torno da ideia de estudar sistemas cada vez mais ca
oticos: sistemas
misturadores, sistemas com espectro de Lebesgue, sistemas de Kolmogorov
e sistemas de Bernoulli.
O Captulo 9 e outro ponto fulcral do texto. Ao apresentar a nocao de
entropia, buscamos dar ao leitor a oportunidade de observar este conceito
riqussimo sob diversos pontos de vista. Essa teoria se articula naturalmente com o conte
udo do Captulo 10, onde desenvolvemos a vertente
topol
ogica da nocao de entropia, incluindo a importante generalizacao
chamada press
ao.
Os Captulos 11 e 12 sao dedicados a uma classe paradigmatica de sistemas, as transformacoes expansoras, que nos permitem exibir uma aplicacao concreta (e espetacular!) de muitas das ideias gerais apresentadas
ao longo do texto. Vemos o teorema de Ruelle e suas aplicacoes como o
culminar natural de todo o texto.
viii
AF
T
Os Apendices A.1 e A.2 cobrem diversos t

opicos introdutorios sobre Medida
e Integracao. O Apendice A.3 trata do caso especial de medidas de Borel em
espacos metricos. No Apendice A.4, lembramos alguns fatos b
asicos da teoria de
variedades e aplicacoes diferenci
aveis. Analogamente, os Apendices A.5 and A.6
cobrem material introdutorio da teoria dos espacos de Banach e dos espacos de
Hilbert. Finalmente, o Apendice A.7 trata do teorema espectral. Em cada caso,
sao dadas referencias para os enunciados citados.
Exemplos e aplicacoes tem um papel fundamental em qualquer disciplina
matematica e isso e particularmente verdade no caso da Teoria Erg
odica. Por
esta raz
ao, dedicamos particular atencao à apresentacao de situacoes concretas
que ilustram e valorizam os resultados gerais. Tais exemplos e construcoes sao
introduzidos gradativamente, buscando para cada um o contexto que melhor
realca a sua relevancia. Tipicamente, eles reaparecem em captulos subsequentes para ilustrar outros conceitos fundamentais à medida que eles vao sendo
introduzidos.
Os exerccios includos em cada secao tem uma funcao tripla. Num nvel mais
rotineiro, eles permitem adquirir familiaridade com os conceitos e os resultados
apresentados no texto. Tambem deixamos para os exerccios alguns argumentos
e fatos que n
ao sao usados na sequencia do texto ou que pertencem a areas afins
mais elementares (Topologia, Teoria da Medida etc). Finalmente, exerccios
mais sofisticados testam a compreensao global da teoria apresentada. Para
conveniencia do leitor, numa secao ao final do livro apresentamos solucoes mais
ou menos detalhadas de todos os exerccios.
Como utilizar este livro
DR
Os coment
arios a seguir se destinam, prioritariamente, ao leitor que pretende
utilizar este livro para ministrar um curso. Os Apendices A.1 a A.7 fornecem
referencias rapidas para material que e pre-requisito para o curso. Eles n
ao
est
ao previstos para apresentacao em aula, exceto pontualmente, em caso de
necessidade.
O conte
udo dos Captulos 1 a 12 e adequado para um curso anual, ou uma
sequencia de dois cursos semestrais. Se o leitor dispoe desse tempo, poder
a
tentar cobrir a grande maioria do material, possivelmente reservando alguns
t
opicos para seminarios apresentados pelos alunos. As seguintes secoes sao especialmente adequadas para esse fim:
Secao 1.5, Secao 2.5, Secao 3.4, Secao 4.4, Secao 6.4, Secao 7.3,
Secao 7.4, Secao 8.3 Secao 8.4, Secao 8.5, Secao 9.5, Secao 9.7,
Secao 10.4, Secao 10.5, Secao 11.1, Secao 11.3, Secao 12.3 e Secao 12.4.
Neste formato, o teorema de Ruelle (Teorema 12.1) e suas aplicacoes constituem

uma conclusao natural para o curso.
Caso o leitor disponha apenas de um semestre, sera necessario selecionar o
material para apresentacao em aula. A sugestao dos autores e buscar cobrir o
seguinte programa:
Captulo 1: Secoes 1.1, 1.2 e 1.3.
ix
2 Secoes 2.1 e 2.2.
3: Secoes 3.1, 3.2 e 3.3.
4: Secoes 4.1, 4.2 e 4.3.
5: Secao 5.1 (mencionar o teorema de Rokhlin).
6: Secoes 6.1, 6.2 e 6.3.
7: Secoes 7.1 e 7.2.
8: Secao 8.1 e 8.2 (mencionar o teorema de Ornstein).
9: Secoes 9.1, 9.2, 9.3 e 9.4.
10: Secoes 10.1 e 10.2.
11: Secao 11.1.
AF
T
Captulo
Captulo
Captulo
Captulo
Captulo
Captulo
Captulo
Captulo
Captulo
Captulo
Neste formato, o curso poder

a ser encerrado com a demonstracao do princpio
variacional para a entropia (Teorema 10.1) ou com a construcao de medidas
invariantes absolutamente contnuas para transformacoes expansoras em variedades (Teorema 11.1.2).
Procuramos elaborar o texto de tal forma que o professor possa se concentrar
na apresentacao das ideias e resultados centrais, deixando a cargo do aluno estudar por si mesmo muitas das demonstracoes e resultados complementares. De
fato, dedicamos bastante esforco a fazer que as demonstracoes sejam amig
aveis,
detalhando cuidadosamente os argumentos e incluindo referencias explcitas aos
resultados anteriores que est
ao sendo utilizados, bem como às definicoes das
nocoes relevantes.
A par da presenca regular de exemplos, e dos exerccios ao final de cada secao,
n
ao hesitamos em apresentar a mesma nocao de dois ou mais pontos de vista
sempre que isso nos pareceu u
til para a sua compreensao em profundidade. A
secao final, com as dicas e solucoes dos exerccios, tambem e parte desse esforco
para facilitar o estudo aut
onomo do aluno.
Agradecimentos
DR
A elaboracao deste texto se estendeu por mais de uma decada. Ao longo desse
tempo tiramos proveito de in
umeras crticas construtivas de colegas e alunos.
Diversos colegas utilizaram diversas versoes deste texto para ministrar minicursos e partilharam conosco as suas conclusoes de suas experiencias. Alem de
Vanderlei Horita (UNESP), Nivaldo Muniz (UFMA) e Meysam Nassiri (Teer
a),
gostaramos de ressaltar os copiosos coment
arios de Vtor Ara
ujo (UFRJ e,
agora, UFBA), que influenciaram significativamente o modo como o texto foi
evoluindo. Francois Ledrappier (Paris) nos ajudou com algumas quest
oes sobre
sistemas de substituicoes.
Sucessivas geracoes de alunos dos cursos de p
os-graduacao do IMPA e da
UFAL nos facultaram testar o texto na sala de aula. O retorno dado por Adriana
S
anchez, Aline Gomes Cerqueira, El Hadji Yaya Tall, Ermerson Araujo, Ignacio
Atal, Raphael Cyna, Rafael Lucena e Xiao-Chuan Liu nos permitiu corrigir
muitas das debilidades do texto.
A primeira versao do material nos Apendices A.1-A.2 foi escrita por Joao
Gouveia, Vtor Saraiva e Ricardo Andrade, os quais atuaram como monitores
AF
T
do minicurso no evento Novos Talentos em Matem

atica 2004 que mencionamos
previamente. Edileno de Almeida Santos, Felippe Soares Guimaraes, Fernando
Nera Lenarduzzi, Italo Dowell Lira Melo, Marco Vinicius Bahi Aymone e Renan Henrique Finder escreveram boa parte das dicas para os exerccios dos
Captulos 1 a 8 e dos apendices.
Coment
arios `
a segunda edic
ao
O texto e o mesmo da primeira edicao, mas duas ou tres secoes foram reescritas. Alem disso, foram feitas in
umeras pequenas correcoes. Muitas delas foram
apontadas por colegas na sequencia de utilizarem o livro para ministrar cursos
em suas universidades. Destacamos, a revisao detalhada e bastante abrangente
que nos foi brindada por Bernardo Lima (UFMG) e seu aluno Leonardo Guerini.
Outras correcoes foram detectadas no processo de traducao para o ingles.
DR
Marcelo Viana1 e Krerley Oliveira2
1 IMPA,
Estrada D. Castorina 110, 22460-320 Rio de Janeiro, Brasil. viana@impa.br.

de Matem
atica, Universidade Federal de Alagoas, Campus A. C. Sim
oes
s/n, 57072-090 Macei
o, Brasil. krerley@mat.ufal.br.
2 Departamento
AF
T
Conte
udo
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
2
3
4
4
5
7
8
9
10
11
16
18
18
19
21
22
22
24
27
28
29
31
34
2 Exist
encia de Medidas Invariantes
2.1 Topologia fraca . . . . . . . . . . . . . . . . . . .
2.1.1 Definicao e propriedades da topologia fraca
2.1.2 Teorema Portmanteau . . . . . . . . . . . .
2.1.3 A topologia fraca e metriz
avel . . . . . . .
2.1.4 A topologia fraca e compacta . . . . . . .
2.1.5 Teorema de Prohorov . . . . . . . . . . . .
2.1.6 Exerccios . . . . . . . . . . . . . . . . . . .
2.2 Demonstracao do teorema de existencia . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
36
36
37
39
40
42
43
44
DR
1 Medidas Invariantes e Recorr

encia
1.1 Medidas invariantes . . . . . . . . . . . . . . . . . .
1.1.1 Exerccios . . . . . . . . . . . . . . . . . . . .
1.2 Teorema de recorrencia de Poincare . . . . . . . . . .
1.2.1 Versao mensuravel . . . . . . . . . . . . . . .
1.2.2 Teorema de Kac . . . . . . . . . . . . . . . .
1.2.3 Versao topol
ogica . . . . . . . . . . . . . . . .
1.2.4 Exerccios . . . . . . . . . . . . . . . . . . . .
1.3 Exemplos . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Expansao decimal . . . . . . . . . . . . . . .
1.3.2 Transformacao de Gauss . . . . . . . . . . . .
1.3.3 Rotacoes no crculo . . . . . . . . . . . . . . .
1.3.4 Rotacoes em toros . . . . . . . . . . . . . . .
1.3.5 Transformacoes conservativas . . . . . . . . .
1.3.6 Fluxos conservativos . . . . . . . . . . . . . .
1.3.7 Exerccios . . . . . . . . . . . . . . . . . . . .
1.4 Inducao . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.1 Transformacao de primeiro retorno . . . . . .
1.4.2 Transformacoes induzidas . . . . . . . . . . .
1.4.3 Torres de Kakutani-Rokhlin . . . . . . . . . .
1.4.4 Exerccios . . . . . . . . . . . . . . . . . . . .
1.5 Teoremas de recorrencia m
ultipla . . . . . . . . . . .
1.5.1 Teorema de recorrencia m
ultipla de Birkhoff .
1.5.2 Exerccios . . . . . . . . . . . . . . . . . . . .
xi
.
.
.
.
.
.
.
.

CONTEUDO
xii
2.2.1 Exerccios . . . . . . . . . . . . . .
Coment
arios de Analise Funcional . . . .
2.3.1 Dualidade e topologias fracas . . .
2.3.2 Operador de Koopman . . . . . . .
2.3.3 Exerccios . . . . . . . . . . . . . .
Produtos semi-diretos e extensoes naturais
2.4.1 Medidas em produtos semi-diretos
2.4.2 Extensoes naturais . . . . . . . . .
2.4.3 Exerccios . . . . . . . . . . . . . .
Progress
oes aritmeticas . . . . . . . . . .
2.5.1 Teorema de van der Waerden . . .
2.5.2 Teorema de Szemeredi . . . . . . .
2.5.3 Exerccios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
48
49
49
50
52
53
53
54
57
58
60
61
63
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.1.4 Exerccios . . . . . . . . . . . . . . . . . . .
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.2.4 Exerccios . . . . . . . . . . . . . . . . . . .
3.3 Teorema erg
odico subaditivo . . . . . . . . . . . .
3.3.1 Preparacao da demonstracao . . . . . . . .
3.3.2 Lema fundamental . . . . . . . . . . . . . .
3.3.3 Estimativa da funcao . . . . . . . . . .
3.3.4 Majoracao da funcao + . . . . . . . . . . .
3.3.5 Expoentes de Lyapunov . . . . . . . . . . .
3.3.6 Exerccios . . . . . . . . . . . . . . . . . . .
3.4 Tempo discreto e tempo contnuo . . . . . . . . . .
3.4.1 Fluxos suspens
ao . . . . . . . . . . . . . . .
3.4.2 Transformacoes de Poincare . . . . . . . . .
3.4.3 Exerccios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
65
66
66
69
70
71
71
71
73
76
78
79
80
82
83
84
86
88
89
89
91
94
4 Ergodicidade
4.1 Sistemas erg
odicos . . . . . . . . . . .
4.1.1 Conjuntos e funcoes invariantes
4.1.2 Caracterizacao espectral . . . .
4.1.3 Exerccios . . . . . . . . . . . .
4.2 Exemplos . . . . . . . . . . . . . . . .
4.2.1 Rotacoes em toros . . . . . . .
4.2.2 Expansao decimal . . . . . . .
4.2.3 Deslocamentos de Bernoulli . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
97
98
98
99
102
104
104
106
108
AF
T
.
.
.
.
.
.
.
.
.
.
.
.
.
2.3
2.4
DR
2.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

CONTEUDO
xiii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
111
114
116
119
121
123
124
125
128
131
135
136
138
145
5 Decomposi
c
ao Erg
odica
5.1 Teorema da decomposicao erg
odica . . . . . . . . . .
5.1.1 Enunciado do teorema . . . . . . . . . . . . .
5.1.2 Desintegracao de uma medida . . . . . . . . .
5.1.3 Particoes mensuraveis . . . . . . . . . . . . .
5.1.4 Prova do teorema da decomposicao erg
odica .
5.1.5 Exerccios . . . . . . . . . . . . . . . . . . . .
5.2 Teorema da desintegracao de Rokhlin . . . . . . . .
5.2.1 Esperancas condicionais . . . . . . . . . . . .
5.2.2 Criterio de -aditividade . . . . . . . . . . . .
5.2.3 Construcao das medidas condicionais . . . . .
5.2.4 Exerccios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
147
147
148
149
151
152
154
155
155
157
159
161
6 Unicidade Erg
odica
6.1 Unicidade erg
odica . . . . . . . . . . . . . . . . . . .
6.1.1 Exerccios . . . . . . . . . . . . . . . . . . . .
6.2 Minimalidade . . . . . . . . . . . . . . . . . . . . . .
6.2.1 Exerccios . . . . . . . . . . . . . . . . . . . .
6.3 Medida de Haar . . . . . . . . . . . . . . . . . . . . .
6.3.1 Rotacoes em toros . . . . . . . . . . . . . . .
6.3.2 Grupos topol
ogicos e grupos de Lie . . . . . .
6.3.3 Translacoes em grupos compactos metriz
aveis
6.3.4 Od
ometros . . . . . . . . . . . . . . . . . . .
6.3.5 Exerccios . . . . . . . . . . . . . . . . . . . .
6.4 Teorema de Weyl . . . . . . . . . . . . . . . . . . . .
6.4.1 Ergodicidade . . . . . . . . . . . . . . . . . .
6.4.2 Unicidade erg
odica . . . . . . . . . . . . . . .
6.4.3 Demonstracao do teorema de Weyl . . . . . .
6.4.4 Exerccios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
163
163
165
165
167
168
168
169
173
176
178
180
181
182
184
186
DR
4.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
AF
T
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4.3
4.2.4 Transformacao de Gauss . . . . . . .

4.2.5 Endomorfismos lineares do toro . . .
4.2.6 Argumento de Hopf . . . . . . . . .
4.2.7 Exerccios . . . . . . . . . . . . . . .
Propriedades das medidas erg
odicas . . . .
4.3.1 Exerccios . . . . . . . . . . . . . . .
Coment
arios de Din
amica Conservativa . .
4.4.1 Sistemas hamiltonianos . . . . . . .
4.4.2 Teoria de Kolmogorov-Arnold-Moser
4.4.3 Pontos periodicos elticos . . . . . .
4.4.4 Fluxos geodesicos . . . . . . . . . . .
4.4.5 Sistemas de Anosov . . . . . . . . .
4.4.6 Bilhares . . . . . . . . . . . . . . . .
4.4.7 Exerccios . . . . . . . . . . . . . . .

CONTEUDO
xiv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
187
188
188
191
194
195
196
200
203
205
207
209
211
214
215
219
8 Sistemas Equivalentes
8.1 Equivalencia erg
odica . . . . . . . . . . . .
8.1.1 Exerccios . . . . . . . . . . . . . . .
8.2 Equivalencia espectral . . . . . . . . . . . .
8.2.1 Invariantes de equivalencia espectral
8.2.2 Autovetores e mistura fraca . . . . .
8.2.3 Exerccios . . . . . . . . . . . . . . .
8.3 Espectro discreto . . . . . . . . . . . . . . .
8.3.1 Exerccios . . . . . . . . . . . . . . .
8.4 Espectro de Lebesgue . . . . . . . . . . . .
8.4.1 Exemplos e propriedades . . . . . .
8.4.2 O caso invertvel . . . . . . . . . . .
8.4.3 Exerccios . . . . . . . . . . . . . . .
8.5 Espacos de Lebesgue e isomorfismo erg
odico
8.5.1 Isomorfismo erg
odico . . . . . . . . .
8.5.2 Espacos de Lebesgue . . . . . . . . .
8.5.3 Exerccios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
221
222
224
224
225
226
229
230
233
233
234
237
241
241
242
243
248
9 Entropia
9.1 Definicao de entropia . . . . . . . . . . . .
9.1.1 Entropia em Teoria da Informacao
9.1.2 Entropia de uma particao . . . . .
9.1.3 Entropia de um sistema dinamico .
9.1.4 Exerccios . . . . . . . . . . . . . .
9.2 Teorema de Kolmogorov-Sinai . . . . . . .
9.2.1 Particoes geradoras . . . . . . . . .
9.2.2 Semicontinuidade da entropia . . .
9.2.3 Transformacoes expansivas . . . .
9.2.4 Exerccios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
251
252
252
253
258
262
263
265
267
269
270
DR
AF
T
7 Correla
co
es
7.1 Sistemas misturadores . . . . . . . .
7.1.1 Propriedades . . . . . . . . .
7.1.2 Mistura fraca . . . . . . . . .
7.1.3 Caracterizacao espectral . . .
7.1.4 Exerccios . . . . . . . . . . .
7.2 Deslocamentos de Markov . . . . . .
7.2.1 Ergodicidade . . . . . . . . .
7.2.2 Mistura . . . . . . . . . . . .
7.2.3 Exerccios . . . . . . . . . . .
7.3 Intercambios de intervalos . . . . . .
7.3.1 Minimalidade e ergodicidade
7.3.2 Mistura . . . . . . . . . . . .
7.3.3 Exerccios . . . . . . . . . . .
7.4 Decaimento de correlacoes . . . . . .
7.4.1 Exerccios . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

CONTEUDO
9.4
9.5
9.6
9.7
Entropia local . . . . . . . . . . . . . . . . . . . . . . . . .
9.3.1 Prova do teorema de Shannon-McMillan-Breiman .
9.3.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . .
Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.4.1 Deslocamentos de Markov . . . . . . . . . . . . . .
9.4.2 Transformacao de Gauss . . . . . . . . . . . . . . .
9.4.3 Endomorfismos lineares do toro . . . . . . . . . . .
9.4.4 Aplicacoes diferenci
aveis . . . . . . . . . . . . . . .
9.4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . .
Entropia e equivalencia . . . . . . . . . . . . . . . . . . .
9.5.1 Automorfismos de Bernoulli . . . . . . . . . . . . .
9.5.2 Sistemas com entropia nula . . . . . . . . . . . . .
9.5.3 Sistemas de Kolmogorov . . . . . . . . . . . . . . .
9.5.4 Sistemas exatos . . . . . . . . . . . . . . . . . . . .
9.5.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . .
Entropia e decomposicao erg
odica . . . . . . . . . . . . . .
9.6.1 Afinidade . . . . . . . . . . . . . . . . . . . . . . .
9.6.2 Demonstracao do teorema de Jacobs . . . . . . . .
9.6.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . .
Jacobianos e f
ormula de Rokhlin . . . . . . . . . . . . . .
9.7.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
271
272
276
277
277
278
280
281
283
284
285
285
288
294
295
295
296
299
302
303
308
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
311
312
312
315
319
322
323
323
325
328
330
333
335
336
336
339
341
343
347
349
351
353
356
356
AF
T
9.3
xv
DR
10 Princpio variacional
10.1 Entropia topol
ogica . . . . . . . . . . . . . . . . . .
10.1.1 Definicao via coberturas abertas . . . . . .
10.1.2 Conjuntos geradores e conjuntos separados
10.1.3 C
alculo e propriedades . . . . . . . . . . . .
10.1.4 Exerccios . . . . . . . . . . . . . . . . . . .
10.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . .
10.2.1 Transformacoes expansivas . . . . . . . . .
10.2.2 Deslocamentos de tipo finito . . . . . . . .
10.2.3 Entropia topol
ogica de fluxos . . . . . . . .
10.2.4 Transformacoes diferenci
aveis . . . . . . . .
10.2.5 Endomorfismos lineares do toro . . . . . . .
10.2.6 Exerccios . . . . . . . . . . . . . . . . . . .
10.3 Pressao . . . . . . . . . . . . . . . . . . . . . . . .
10.3.1 Definicao via coberturas abertas . . . . . .
10.3.2 Conjuntos geradores e conjuntos separados
10.3.3 Propriedades . . . . . . . . . . . . . . . . .
10.3.4 Coment
arios de Mecanica Estatstica . . . .
10.3.5 Exerccios . . . . . . . . . . . . . . . . . . .
10.4 Princpio variacional . . . . . . . . . . . . . . . . .
10.4.1 Prova da cota superior . . . . . . . . . . . .
10.4.2 Aproximando a press
ao . . . . . . . . . . .
10.4.3 Exerccios . . . . . . . . . . . . . . . . . . .
10.5 Estados de equilbrio . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

CONTEUDO
xvi
AF
T
10.5.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 362
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
363
364
365
369
370
373
373
376
378
381
384
385
386
388
389
12 Formalismo Termodin
amico
12.1 Teorema de Ruelle . . . . . . . . . . . . .
12.1.1 Medida de referencia . . . . . . . .
12.1.2 Distorcao e propriedade de Gibbs .
12.1.3 Densidade invariante . . . . . . . .
12.1.4 Construcao do estado de equilbrio
12.1.5 Pressao e autovalores . . . . . . . .
12.1.6 Unicidade do estado de equilbrio .
12.1.7 Exatidao . . . . . . . . . . . . . .
12.1.8 Medidas absolutamente contnuas .
12.1.9 Exerccios . . . . . . . . . . . . . .
12.2 Teorema de Livsic . . . . . . . . . . . . .
12.2.1 Exerccios . . . . . . . . . . . . . .
12.3 Decaimento de correlacoes . . . . . . . . .
12.3.1 Dist
ancias projetivas . . . . . . . .
12.3.2 Cones de funcoes H
older . . . . . .
12.3.3 Convergencia exponencial . . . . .
12.3.4 Exerccios . . . . . . . . . . . . . .
12.4 Dimens
ao de repulsores conformes . . . .
12.4.1 Dimens
ao de Hausdorff . . . . . .
12.4.2 Repulsores conformes . . . . . . .
12.4.3 Distorcao e conformalidade . . . .
12.4.4 Existencia e unicidade de d0 . . . .
12.4.5 Cota superior . . . . . . . . . . . .
12.4.6 Cota inferior . . . . . . . . . . . .
12.4.7 Exerccios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
391
392
394
396
397
400
401
404
406
407
409
410
413
413
415
420
424
427
429
429
431
433
435
438
439
440
DR
11 Transforma
co
es Expansoras
11.1 Transformacoes expansoras em variedades . . . . .
11.1.1 Lema de distorcao . . . . . . . . . . . . . .
11.1.2 Existencia de medidas erg
odicas . . . . . .
11.1.3 Unicidade e conclusao da prova . . . . . . .
11.1.4 Exerccios . . . . . . . . . . . . . . . . . . .
11.2 Din
amica das transformacoes expansoras . . . . . .
11.2.1 Ramos inversos contrativos . . . . . . . . .
11.2.2 Sombreamento e pontos periodicos . . . . .
11.2.3 Decomposicao dinamica . . . . . . . . . . .
11.2.4 Exerccios . . . . . . . . . . . . . . . . . . .
11.3 Entropia e pontos periodicos . . . . . . . . . . . . .
11.3.1 Taxa de crescimento dos pontos periodicos .
11.3.2 Aproximacao por medidas atomicas . . . .
11.3.3 Exerccios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

CONTEUDO
xvii
443
443
444
446
450
453
454
457
457
460
460
462
464
466
467
469
471
472
473
473
475
477
479
480
481
482
483
483
484
485
486
486
487
488
489
490
491
493
495
DR
AF
T
A Elementos de Medida, Topologia e An

alise
A.1 Espacos de medida . . . . . . . . . . . . . . . .
A.1.1 Espacos mensuraveis . . . . . . . . . . .
A.1.2 Espacos de medida . . . . . . . . . . . .
A.1.3 Medida de Lebesgue . . . . . . . . . . .
A.1.4 Aplicacoes mensuraveis . . . . . . . . .
A.1.5 Exerccios . . . . . . . . . . . . . . . . .
A.2 Integracao em espacos de medida . . . . . . . .
A.2.1 Integral de Lebesgue . . . . . . . . . . .
A.2.2 Teoremas de convergencia . . . . . . . .
A.2.3 Produto de medidas . . . . . . . . . . .
A.2.4 Derivacao de medidas . . . . . . . . . .
A.2.5 Exerccios . . . . . . . . . . . . . . . . .
A.3 Medidas em espacos metricos . . . . . . . . . .
A.3.1 Medidas regulares . . . . . . . . . . . .
A.3.2 Espacos metricos separ
aveis completos .
A.3.3 Espaco das funcoes contnuas . . . . . .
A.3.4 Exerccios . . . . . . . . . . . . . . . . .
A.4 Variedades diferenci
aveis . . . . . . . . . . . . .
A.4.1 Variedades e aplicacoes diferenci
aveis . .
A.4.2 Espaco tangente e aplicacao derivada . .
A.4.3 Espaco cotangente e formas diferenciais
A.4.4 Transversalidade . . . . . . . . . . . . .
A.4.5 Variedades riemannianas . . . . . . . . .
A.4.6 Exerccios . . . . . . . . . . . . . . . . .
A.5 Espacos Lp () . . . . . . . . . . . . . . . . . .
A.5.1 Espacos Lp () com 1 p < . . . . .
A.5.2 Produto interno em L2 () . . . . . . . .
A.5.3 Funcoes essencialmente limitadas . . . .
A.5.4 Convexidade . . . . . . . . . . . . . . .
A.5.5 Exerccios . . . . . . . . . . . . . . . . .
A.6 Espacos de Hilbert . . . . . . . . . . . . . . . .
A.6.1 Ortogonalidade . . . . . . . . . . . . . .
A.6.2 Dualidade . . . . . . . . . . . . . . . . .
A.6.3 Exerccios . . . . . . . . . . . . . . . . .
A.7 Teoremas espectrais . . . . . . . . . . . . . . .
A.7.1 Medidas espectrais . . . . . . . . . . . .
A.7.2 Representacao espectral . . . . . . . . .
A.7.3 Exerccios . . . . . . . . . . . . . . . . .
Dicas e solu
co
es dos exerccios
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
497

CONTEUDO
DR
AF
T
xviii
AF
T
Captulo 1
Medidas Invariantes e
Recorr
encia
DR
A Teoria Erg
odica estuda o comportamento de sistemas dinamicos relativamente
a medidas que permanecem invariantes sob a acao da dinamica. Mais precisamente, busca-se descrever as propriedades que sao validas para quase toda a
trajetoria do sistema, relativamente à medida invariante. Comecaremos, na
Secao 1.1, por definir estas nocoes de sistema dinamico e de medida invariante.
As razes da teoria remontam à primeira metade do seculo 19. De fato,
em 1838 o matematico frances Joseph Liouville observou que todo sistema da
Mecanica Newtoniana (com conservacao da energia) admite uma medida invariante natural no seu espaco de configuracoes. Alem disso, em 1845 o grande
matematico e fsico alem
ao Carl Friedrich Gauss observou que uma certa transformacao no intervalo que tem um papel importante na Teoria dos N
umeros
admite uma medida invariante que e equivalente à medida de Lebesgue. Estes
sao dois dos exemplos de aplicacao da Teoria Erg
odica que apresentaremos na
Secao 1.3. Muitos outros surgir
ao ao longo deste livro.
O primeiro resultado importante foi devido ao grande matematico frances
Henri Poincare, ao final do seculo 19. Ele estava especialmente interessado no
movimento dos corpos celestes, tais como planetas e cometas, o qual e descrito
por certas equacoes diferenciais que resultam da Lei da Gravitacao de Newton.
A partir da observacao de Liouville, Poincare mostrou que para quase todo
estado inicial do sistema, ou seja, quase todo valor das posicoes e velocidades
iniciais, a solucao da equacao diferencial regressa arbitrariamente perto desse
estado inicial, a menos que va para infinito. Mais ainda, ele apontou que essa
propriedade de recorrencia n
ao e exclusiva dos sistemas da Mecanica Celeste:
ela vale sempre que o sistema admite uma medida invariante. Este sera o tema
da Secao 1.2.
Ele reaparecer
a na Secao 1.5 num contexto mais elaborado: consideramos um
n
umero finito de sistemas din
amicos que comutam entre si e buscamos retornos
simult
aneos das
orbitas de todos esses sistemas à vizinhanca do estado inicial.
1

CAPITULO 1. MEDIDAS INVARIANTES E RECORRENCIA
AF
T
Este tipo de resultado tem importantes aplicacoes em Combinatoria e Teoria

dos N
umeros, como veremos mais tarde.
A ideia de recorrencia tambem est
a por tras das construcoes que apresentamos na Secao 1.4. A ideia b
asica e fixar um subconjunto do domnio com medida
positiva e considerar o primeiro retorno a esse conjunto. Frequentemente, essa
transformacao de primeiro retorno e mais facil de analisar e, por outro lado, ela
pode ser usada para entender o comportamento da transformacao original.
1.1
Medidas invariantes
Seja (M, B, ) um espaco de medida e seja f : M M uma transformacao

mensuravel. Dizemos que a medida e invariante por f se
(E) = (f 1 (E))
para todo conjunto mensuravel E M .
(1.1.1)
Nesse caso tambem dizemos que f preserva . Note que a definicao (1.1.1)
faz sentido, uma vez que a pre-imagem de um conjunto mensuravel por uma
transformacao mensuravel ainda e um conjunto mensuravel. Heuristicamente,
ela significa que a probabilidade de um ponto estar num dado conjunto e igual
a probabilidade de que a sua imagem esteja nesse conjunto.
`
possvel, e conveniente, estender esta definicao a outros tipos de sistemas
E
din
amicos alem das transformacoes. Estamos especialmente interessados em
fluxos, ou seja, famlias de transformacoes f t : M M , onde t R, satisfazendo
as seguintes condicoes:
f 0 = id
f s+t = f s f t para todo s, t R.
(1.1.2)
DR
Isto tambem implica que toda a transformacao f t e invertvel e a sua inversa

e f t . Fluxos aparecem naturalmente associados a equacoes diferenciais do
tipo (t) = X((t)), onde X e um campo de vetores, do seguinte modo: sob
condicoes adequadas sobre X, para cada ponto x existe uma u
nica solucao
t 7 x (t) da equacao que satisfaz x (0) = x; ent
ao f t (x) = x (t) define um
fluxo no domnio M da equacao diferencial.
Dizemos que uma medida e invariante pelo fluxo (f t )t se ela e invariante
por cada uma das transformacoes f t , ou seja, se
(E) = (f t (E))
para todo mensuravel E M e todo t R.
(1.1.3)
Proposi
c
ao 1.1.1. Sejam f : M M uma transformac
ao mensur
avel e
uma medida em M . Ent
ao f preserva se, e somente se,
Z
Z
d = f d
(1.1.4)
para toda func
ao -integr
avel : M R.
Demonstrac
ao. Suponhamos que a medida e invariante. Vamos mostrar que
a relacao (1.1.4) e valida para classes de funcoes sucessivamente mais amplas.
1.1. MEDIDAS INVARIANTES
AF
T
Inicialmente, observe que por hip

otese (B) = (f 1 (B)) para todo conjunto
mensuravel B. Como,
Z
Z
XB d = (B) e (f 1 (B)) = (XB f ) d,
isto mostra que (1.1.4) e valida para as funcoes caractersticas. Ent

ao, por
linearidade da integral, (1.1.4) e valida para funcoes simples. Em seguida, vamos
usar um argumento de aproximacao para concluir que (1.1.4) vale para toda
funcao integravel. Dada qualquer funcao integravel : M R, considere uma
sequencia (sn )n de funcoes simples convergindo para e tal que |sn | || para
todo n. Tal sequencia existe, pela Proposicao A.1.33. Ent
ao, usando o teorema
da convergencia dominada (Teorema A.2.11) duas vezes:
Z
Z
Z
Z
d = lim sn d = lim (sn f ) d = ( f ) d.
n
Isto mostra que (1.1.4) vale para toda funcao integravel se e invariante. A
recproca tambem segue imediatamente dos argumentos que apresentamos.
1.1.1
Exerccios
1.1.1. Seja f : M M uma transformacao mensuravel. Mostre que uma

medida de Dirac p e invariante por f se, e somente se, p e ponto fixo de
f . Mais geralmente, a probabilidade p,k = k 1 p + f (p) + + f k1 (p) e
invariante por f se, e somente se, f k (p) = p.
1.1.2. Prove a seguinte versao da Proposicao 1.1.1. Sejam M um espaco
metrico, f : M M uma transformacao mensuravel e uma medida em M .
Mostre que se
Z
Z
d =
f d
para toda funcao contnua limitada : M R ent

ao f preserva a medida .
DR
1.1.3. Prove que se f : M M preserva uma medida ent

ao, dado qualquer
k 2, o iterado f k preserva . Decida se a recproca e verdadeira.
1.1.4. Suponha que f : M M preserva uma probabilidade . Seja B M

um conjunto mensuravel que satisfaz qualquer uma das seguintes condicoes:
1. (B \ f 1 (B)) = 0;
2. (f 1 (B) \ B) = 0;
3. (Bf 1 (B)) = 0;
4. f (B) B.
Mostre que existe C M tal que f 1 (C) = C e (BC) = 0.
1.1.5. Seja f : U U um difeomorfismo C 1 de um aberto U Rd . Mostre

que a medida de Lebesgue m e invariante por f se, e somente se, | det Df | 1.

Teorema de recorr
encia de Poincar
e
AF
T
1.2
Vamos estudar duas versoes do teorema de Poincare. A primeira (Secao 1.2.1)

est
a formulada no contexto de espacos de medida (finita). O teorema de Kac,
que provaremos na Secao 1.2.2 complementa este resultado de forma quantitativa. A segunda versao do teorema de recorrencia (Secao 1.2.3) supoe que o
ambiente e um espaco topologico com certas propriedades adicionais. Tambem
provaremos uma terceira versao do teorema de recorrencia, devida a Birkhoff,
cuja formulacao e puramente topologica.
1.2.1
Vers
ao mensur
avel
O nosso primeiro resultado afirma que, dada qualquer medida invariante finita,
quase todo ponto de qualquer conjunto mensuravel E regressa a E um n
umero
infinito de vezes:
Teorema 1.2.1 (Recorrencia de Poincare). Seja f : M M uma transformac
ao mensur
avel e seja uma medida finita invariante por f . Seja E M
qualquer conjunto mensur
avel com (E) > 0. Ent
ao, para -quase todo ponto
x E existem infinitos valores de n para os quais f n (x) tambem est
a em E.
DR
Demonstrac
ao. 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 ) sao 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 intersecao e seja y = f n (x). Ent
ao y E0 e
f mn (y) = f m (x) E0 , que est
a contido em E. Isto quer dizer que y volta
pelo menos uma vez a E, o que contradiz a definicao de E0 . Esta contradicao,
prova que as pre-imagens sao disjuntas duas-a-duas, como afirmamos.
Observando que (f n (E0 )) = (E0 ) para todo n 1, porque e invariante,
conclumos que
n=1
X
X
f n (E0 ) =
(f n (E0 )) =
(E0 ).
n=1
n=1
Como supomos que a medida e finita, a expressao do lado esquerdo e finita. Por
outro lado, `
a direita temos uma soma de infinitos termos, todos iguais. O u
nico
jeito desta soma ser finita e que as parcelas sejam nulas. Portanto, devemos ter
(E0 ) = 0, tal como foi afirmado.
Agora, denotemos por F o conjunto dos pontos x E que regressam a
E apenas um n
umero finito de vezes. Como consequencia direta da definicao,
temos que todo ponto x F tem algum iterado f k (x) em E0 . Ou seja,
F
k=0
f k (E0 ).
1.2. TEOREMA DE RECORRENCIA

DE POINCARE
AF
T
Como (E0 ) = 0 e e invariante, temos:

(F )
k=0
X
X
f k (E0 )
f k (E0 ) =
(E0 ) = 0.
k=0
k=0
Portanto, (F ) = 0 como queramos provar.
Observe que o Teorema 1.2.1 implica um resultado analogo para sistemas

com tempo contnuo. De fato, suponha que e uma medida invariante finita de
um fluxo (f t )t . Segue imediatamente da definicao que e invariante pela respectiva transformacao f 1 , chamada tempo 1 do fluxo. Aplicando o Teorema 1.2.1
à transformacao tempo 1, conclumos que, dado qualquer conjunto E M com
medida positiva, para quase todo x E existem tempos tj + tais que
f tj (x) E. Valem observacoes analogas para as outras versoes do teorema de
recorrencia, que apresentaremos posteriormente. Por outro lado, o teorema
que apresentamos a seguir e especfico de sistemas com tempo discreto.
1.2.2
Teorema de Ka
c
Seja f : M M uma transformacao mensuravel e seja uma medida finita

invariante por f . Seja E M qualquer conjunto mensuravel com (E) > 0.
Considere a funcao tempo de primeiro retorno E : E N {} definida da
seguinte forma:
E (x) = min{n 1 : f n (x) E}
(1.2.1)
sempre que o conjunto do lado direito for n
ao vazio, isto e, se x tiver algum
iterado em E; caso contr
ario, E (x) = . De acordo com o Teorema 1.2.1, a
segunda alternativa so ocorre para um conjunto de pontos com medida nula.
O resultado que vamos apresentar a seguir mostra que esta funcao e integravel e exibe o valor da sua integral. Para o enunciado precisamos da seguinte
notacao:
E0 = {x E : f n (x)
/ E para todo n 1} e
DR
E0 = {x M : f n (x)
/ E para todo n 0}.
Ou seja, E0 e o conjunto dos pontos de E que nunca regressam a E e E0 e o

conjunto dos pontos de M que nunca entram em E. Note que (E0 ) = 0, pelo
teorema de recorrencia de Poincare.
Teorema 1.2.2 (Kac). Seja f : M M , uma medida invariante finita e E

um subconjunto com medida positiva. Ent
ao a func
ao E e integr
avel e
Z
E d = (M ) (E0 ).
E
Demonstrac
ao. Para cada n 1, defina
En = {x E : f (x)
/ E, . . . , f n1 (x)
/ E, mas f n (x) E}
En
= {x M : x
/ E, f (x)
/ E, . . . , f
n1
(x)
/ E, mas f (x) E}.

AF
T
Ou seja, En e o conjunto dos pontos de E que retornam a E pela primeira vez

exatamente no momento n,
En = {x E : E (x) = n},
En
e
e o conjunto dos pontos que n
ao est
ao em E e que entram em E pela
claro que estes conjuntos sao menprimeira vez exatamente no momento n. E
sur
aveis e, portanto, E e funcao mensuravel. Alem disso, os conjuntos En , En ,
n 0 sao disjuntos dois-a-dois e a sua uniao e todo o espaco M . Portanto
(M ) =
n=0
X

(En ) + (En ) .
(En ) + (En ) = (E0 ) +
(1.2.2)
n=1
Agora observe que
f 1 (En ) = En+1
En+1
para todo n.
(1.2.3)
De fato, f (y) En quer dizer que o primeiro iterado de f (y) que est
a em E e
f n (f (y)) = f n+1 (y) e isto ocorre se, e somente se, y En+1

ou y En+1 . Isto
prova a igualdade (1.2.3). Logo, pela invariancia de ,
) + (En+1 ) para todo n.

(En ) = (f 1 (En )) = (En+1
Aplicando esta relacao repetidas vezes, obtemos que

(En )
(Em
)
m
X
(Ei ) para todo m > n.
(1.2.4)
i=n+1
A relacao (1.2.2) implica que (Em

) 0 quando m . Portanto, tomando
o limite quando m na igualdade (1.2.4), obtemos:
(En ) =
(Ei ),
(1.2.5)
i=n+1
DR
Para finalizar a demonstracao, substitumos (1.2.5) na igualdade (1.2.2). Desta

forma obtemos que
Z
X
X
X
(Ei ) =
n(En ) =
E d,
(M ) (E0 ) =
n=1
i=n
n=1
como queramos demonstrar.
Em alguma situacoes, por exemplo quando o sistema (f, ) e erg

odico (esta
propriedade sera definida e estudada em detalhe mais tarde) o conjunto E0 tem
medida zero. Ent
ao a conclusao do teorema de Kac diz que
Z
(M )
1
(1.2.6)
E d =
(E) E
(E)
para todo conjunto mensuravel E. O lado esquerdo desta igualdade e o tempo
medio de retorno a E. A igualdade (1.2.6) diz que o tempo medio de retorno e
inversamente proporcional `
a medida de E.
1.2. TEOREMA DE RECORRENCIA

DE POINCARE
1.2.3
AF
T
n1 k
Observa
c
ao 1.2.3. Por definicao, En = f n (E) \ k=0
f (E). O fato de que
a soma (1.2.2) e finita implica que a medida deste conjunto converge para zero
quando n . Isto sera u
til mais tarde.
Vers
ao topol
ogica
Agora suponhamos que M e um espaco topologico, munido da sua -algebra de

Borel B. Dizemos que um ponto x M e recorrente para uma transformacao
f : M M se existe uma sequencia nj em N tal que f nj (x) x.
Analogamente, dizemos que x M e recorrente para um fluxo (f t )t se existe
uma sequencia tj + em R tal que f tj (x) x quando j .
No proximo teorema supomos que o espaco topologico M admite uma base
enumer
avel de abertos, ou seja, existe uma famlia enumeravel {Uk : k N} de
abertos tal que todo aberto de M pode ser escrito como uniao de elementos Uk
dessa famlia. Esta hip
otese e satisfeita na maioria dos exemplos interessantes.
Teorema 1.2.4 (Recorrencia de Poincare). Suponhamos que M admite uma
base enumer
avel de abertos. Seja f : M M uma transformac
ao mensur
avel
e seja uma medida finita em M invariante por f . Ent
ao, -quase todo ponto
x M e recorrente para f .
k o conjunto dos pontos x Uk
Demonstrac
ao. Para cada k representamos por U
k tem medida
que nunca regressam a Uk . De acordo com o Teorema 1.2.1, todo U
nula. Consequentemente, a uni
ao enumeravel
[
=
k
U
U
kN
DR
tem medida nula. Portanto, para demonstrar o teorema sera suficiente que
e recorrente. Isso e facil, como
mostremos que todo ponto x que n
ao est
a em U
e seja U uma vizinhanca qualquer de x. Por definicao,
vamos ver. Seja x M \ U
existe algum elemento Uk da base de abertos tal que x Uk e Uk U . Como
, tambem temos que x
k . Em outras palavras, existe algum
x n
ao est
a em U
/U
n 1 tal que f n (x) est
a em Uk . Em particular, f n (x) tambem est
a em U .
Como a vizinhanca U e arbitraria, isto prova que x e um ponto recorrente.
Observe que as conclusoes dos Teoremas 1.2.1 e 1.2.4 n

ao sao verdadeiras,
em geral, se omitirmos a hip
otese de que a medida e finita:
Exemplo 1.2.5. Seja f : R R a translacao de 1 unidade, isto e, a trans facil verificar que f
formacao definida por f (x) = x + 1 para todo x R. E
deixa invariante a medida de Lebesgue em R (que e infinita). Por outro lado,
nenhum ponto e recorrente para f . Portanto, pelo teorema de recorrencia, f
n
ao pode admitir nenhuma medida invariante finita.
No entanto, e possvel estender estes enunciados para certos casos de medidas
infinitas: veja o Exerccio 1.2.2.
Para terminar, apresentamos uma versao puramente topologica do Teorema 1.2.4, chamada teorema de recorrencia de Birkhoff, que n
ao faz qualquer
mencao a medidas invariantes:

AF
T
Teorema 1.2.6 (Recorrencia de Birkhoff). Se f : M M e uma transformac

ao contnua num espaco metrico compacto M , ent
ao existe algum ponto
x M que e recorrente para f .
Demonstrac
ao. Considere a famlia I de todos os conjuntos fechados n
ao-vazios
X M que sao invariantes, no sentido de que f (X) X. Esta famlia e n
aovazia, uma vez que M I. Afirmamos que um elemento X I e minimal
para a relacao de inclusao se, e somente se, a orbita de todo ponto x X e
densa em X. De fato, e claro que se X e fechado invariante ent
ao X contem o
fecho da
orbita de qualquer dos seus pontos. Logo, para ser minimal X precisa
coincidir com qualquer desses fechos. Reciprocamente, pela mesma raz
ao, se X
coincide com o fecho da orbita de qualquer dos seus pontos ent
ao ele coincide
com qualquer subconjunto fechado invariante, ou seja, X e minimal. Isto prova
a nossa afirmacao. Em particular, qualquer ponto x num conjunto minimal
e recorrente. Logo, para provar o teorema basta mostrar que existe algum
conjunto minimal.
Afirmamos que todo conjunto totalmente ordenado {X } I admite algum
minorante. De fato, considere X = X . Observe que X e n
ao-vazio, uma
vez que os X sao compactos e constituem uma famlia totalmente ordenada.
claro que X e fechado e invariante por f e tambem que ele e um minorante
E
para o conjunto {X }. Isto prova a nossa afirmacao. Agora podemos aplicar o
Lema de Zorn para concluir que I realmente contem elementos minimais.
O Teorema 1.2.6 tambem segue imediatamente do Teorema 1.2.4 juntamente
com o fato, que provaremos mais tarde, que toda transformacao contnua num
espaco metrico compacto admite alguma medida de probabilidade invariante.
1.2.4
Exerccios
DR
1.2.1. Mostre que o seguinte enunciado e equivalente ao Teorema 1.2.1, isto e,

qualquer um deles pode ser obtido a partir do outro. Seja f : M M uma
transformacao mensuravel e seja uma medida invariante finita. Seja E M
qualquer conjunto mensuravel com (E) > 0. Ent
ao existe N 1 e um conjunto
D E com medida positiva, tal que f N (x) E para todo ponto x D.
1.2.2. Seja f : M M uma transformacao invertvel e suponha que e uma
medida invariante n
ao necessariamente finita. Seja B M um conjunto com
medida finita. Mostre que, dado qualquer conjunto mensuravel E M com
medida positiva, quase todo ponto x E regressa infinitas vezes a E ou tem
apenas um n
umero finito de iterados em B.
1.2.3. Seja f : M M uma transformacao invertvel e suponha que e
uma medida invariante -finita: existe uma sequencia crescente de subconjuntos
mensuraveis Mk com (Mk ) < para todo k e k Mk = M . Dizemos que um
ponto x vai para infinito se, para qualquer k, existe apenas um n
umero finito de
iterados de x que est
ao em Mk . Mostre que, dado qualquer conjunto mensuravel
E M com medida positiva, quase todo ponto x E regressa a E infinitas
vezes ou vai para infinito.
1.3. EXEMPLOS
AF
T
1.2.4. Sejam f : M M uma transformacao, n

ao necessariamente invertvel,
uma probabilidade invariante e D M um conjunto com medida positiva.
Prove que quase todo ponto de D passa uma fracao positiva do tempo em D:
lim sup
n
1
#{0 j n 1 : f j (x) D} > 0
n
para -quase todo ponto x D. [Observacao: Da para substituir lim sup por
lim inf no enunciado, mas a prova desse fato ter
a que esperar ate o Captulo 3.]
1.2.5. Seja f : M M uma transformacao mensuravel que preserva uma

medida finita . Dado qualquer conjunto mensuravel A M com (A) > 0,
seja n1 < n2 < a sequencia dos valores de n tais que (f n (A) A) > 0. O
objetivo deste exerccio e mostrar que o conjunto VA = {n1 , n2 , . . . } e sindetico,
ou seja, que existe C > 0 tal que ni+1 ni C para todo i.
1. Mostre que para qualquer sequencia crescente k1 < k2 < existem

j > i 1 tal que (A f (kj ki ) (A)) > 0.
2. Dada qualquer sequencia infinita = (lj )j de n
umeros naturais, denote
por S() o conjunto de todas as somas finitas de elementos contguos de
. Mostre que VA intersecta S() qualquer que seja .
3. Deduza que o conjunto VA e sindetico.
[Observacao: Veremos outra demonstracao deste fato no Exerccio 3.1.2.]
1.2.6. Mostre que se f : [0, 1] [0, 1] e uma transformacao mensuravel preservando a medida de Lebesgue m ent
ao m-quase todo ponto x [0, 1] satisfaz
lim inf n|f n (x) x| 1.
n
DR
[Observacao: Boshernitzan [Bos93] provou um resultado bastante mais geral, a

saber que lim inf n n1/d d(f n (x), x) < para -quase todo ponto e toda probabilidade invariante por f : M M , se M e um espaco metrico separ
avel cuja
medida de Hausdorff d-dimensional e -finita.]
ao
aurea e seja f : [0, 1] [0, 1] a transformacao
1.2.7. Seja = (1+ 5)/2 a raz
definida por f (x) = (x + ) [x + ]. Dado x, verifique que n|f n (x) x| =
n2 | qn | para todo n, onde (qn )n e a sequencia de n
umeros racionais dada
por qn= [x + n]/n. Usando que as razes do
polinomio R(z) = z 2 z 1 sao
e 5, mostre que lim inf n n2 | qn | 1/ 5. [Observacao: Isto mostra que
a constante 1no Exerccio 1.2.6 n
ao pode ser substituda por nenhuma outra
menor que 1/ 5. N
ao e conhecido se 1 e a menor constante que vale para toda
transformacao no intervalo.]
1.3
Exemplos
Em seguida vamos descrever alguns exemplos simples de medidas invariantes

por transformacoes ou por fluxos, que nos ajudam a interpretar o significado do
teorema de recorrencia de Poincare, bem como obter conclusoes interessantes.

10
Expans
ao decimal
AF
T
1.3.1
O nosso primeiro exemplo e a transformacao definida no intervalo [0, 1] do seguinte modo

f : [0, 1] [0, 1], f (x) = 10x [10x]
onde [10x] representa o maior inteiro menor ou igual a 10x. Em outras palavras,
f associa a cada x [0, 1] a parte fracionaria de 10x. O grafico da transformacao
f est
a representado na Figura 1.1.
1
2/10
4/10
6/10
8/10
Figura 1.1: Transformacao parte fracionaria de 10x
Afirmamos que a medida de Lebesgue no intervalo e invariante pela transformacao f , isto e, ela satisfaz a condicao
(E) = (f 1 (E))
para todo conjunto mensuravel E M.
(1.3.1)
DR
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 à medida de Lebesgue de E. Isto mostra
que (1.3.1) e satisfeita no caso de intervalos. Como consequencia, essa relacao
e satisfeita sempre que E e uma uniao finita de intervalos. Agora, a famlia das
uni
oes finitas de intervalos e uma algebra que gera a -algebra de Borel de [0, 1].
Portanto, para concluir a demonstracao basta usar o seguinte fato geral:
Lema 1.3.1. Seja f : M M uma transformac
ao mensur
avel e uma medida
finita em M . Suponha que existe uma
algebra 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 .
Demonstrac
ao. 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 =
cio A.1.9),
i=1 Ei . Pelo Teorema A.1.14 (veja o Exerc
11
temos que
AF
T
1.3. EXEMPLOS
(E) = lim (Ei ) e

i
(f 1 (E)) = lim (f 1 (Ei )).

i
Ent
ao, usando o fato de que Ei C,
(E) = lim (Ei ) = lim (f 1 (Ei )) = (f 1 (E)).

i
Logo E C. De modo inteiramente analogo se mostra que a intersecao de

qualquer sequencia decrescente de elementos de C est
a em C. Isto prova que C
e de fato uma classe mon
otona.
Agora e f
acil obter a conclusao do lema. Note que C contem A, por hipotese.
Portanto, usando o teorema das classes mon
otonas (Teorema A.1.18), 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 transformacao f , podemos obter conclusoes interessantes usando
o teorema de recorrencia de Poincare. A funcao f tem uma relacao direta com
o algoritmo da expansao decimal: se x e dado por
x = 0, a0 a1 a2 a3
com ai {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} e ai 6= 9 para infinitos valores de i, ent

ao a sua
imagem e dada por
f (x) = 0, a1 a2 a3 .
Com isso, fica f

acil escrever a expressao do iterado n-esimo, para qualquer n 1:
f n (x) = 0, an an+1 an+2
(1.3.2)
DR
Agora, seja E o subconjunto dos x [0, 1] cuja expansao decimal comeca

com o dgito 7, ou seja, tais que a0 = 7. De acordo com o Teorema 1.2.1, quase
todo elemento de E tem infinitos iterados que tambem est
ao em E. Levando
em conta a expressao (1.3.2), isto quer dizer que existem infinitos valores de n
tais que an = 7. Portanto, provamos que quase todo n
umero x cuja expans
ao
decimal comeca por 7 tem infinitos dgitos iguais a 7.
Claro que no lugar de 7 podemos considerar qualquer outro dgito. Alem
disso, tambem podemos considerar blocos com varios dgitos (Exerccio 1.3.2).
Mais tarde provaremos um resultado muito mais forte: para quase todo n
umero
x [0, 1], todo dgito aparece com frequencia 1/10 na expansao decimal de x.
1.3.2
Transformac
ao de Gauss
O sistema que apresentamos nesta secao est

a relacionado com outro importante algoritmo em Teoria dos N
umeros, a expansao de um n
umero em fracao
contnua, cuja origem remonta ao problema de achar a melhor aproximacao

12
AF
T
racional para um n
umero real qualquer. Vamos descrever este algoritmo sucintamente.
Dado um n
umero x0 (0, 1), sejam

1
1
e
x1 =
a1 .
a1 =
x0
x0
Note que a1 e um n
umero natural, x1 [0, 1) e tem-se
x0 =
1
.
a1 + x1
Supondo que x1 seja diferente de zero, podemos repetir o processo, definindo

1
1
a2 =
e
x2 =
a2 .
x1
x1
Ent
ao
x1 =
1
a1 + x2
e portanto x0 =
a1 +
1
a2 + x2
Por recorrencia, para cada n 1 tal que xn1 (0, 1) define-se

1
1
e
xn =
an =
an = G(xn1 )
xn1
xn1
e tem-se
x0 =
a1 +
(1.3.3)
a2 +
1
an + xn
DR
Pode mostrar-se que a sequencia
zn =
(1.3.4)
a1 +
a2 +
1
an
converge para x0 quando n , e e usual traduzir este fato escrevendo

x0 =
a1 +
1
1
a2 +
+
1
an +
que e chamada expans

ao em frac
ao contnua de x0 .
(1.3.5)
13
1.3. EXEMPLOS
AF
T
Note que a sequencia (zn )n definida pela relacao (1.3.4) consiste de n

umeros
racionais. De fato, mostra-se que estes sao os n
umeros racionais que melhor
aproximam o n
umero x0 , no sentido de que zn est
a mais proximo de x0 do
que qualquer outro n
umero racional com denominador menor ou igual que o
denominador de zn (escrito em forma irredutvel). Observe tambem que para
obter (1.3.5) supusemos que xn (0, 1) para todo n N. Se encontramos algum
xn = 0, o processo para nesse momento e consideramos (1.3.3) a expansao em
fracao contnua de x0 . Claro que este u
ltimo caso ocorre somente se x0 e um
n
umero racional.
O algoritmo de expansao em fracao contnua est
a intimamente conectado
com o sistema din
amico no intervalo [0, 1] que vamos descrever a seguir. A
transformac
ao de Gauss G : [0, 1] [0, 1] e definida por

1
1
= parte fracionaria de 1/x,
G(x) =
x
x
se x (0, 1] e G(0) = 0. O gr
afico de G pode ser esbocado facilmente, a partir
da seguinte observacao: para todo x em cada intervalo Ik = (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
...
1/4
1/3
1/2
DR
Figura 1.2: Transformacao de Gauss
A expansao em fracao contnua de qualquer n

umero x0 (0, 1) pode ser
obtida a partir da transformacao 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 termina

se encontrarmos algum xn = 0; como explicamos anteriormente, isto so pode
acontecer se o n
umero x0 for racional (veja o Exerccio 1.3.4). Em particular,
existe um conjunto com medida de Lebesgue total tal que todos os iterados de
G est
ao definidos para os pontos deste conjunto.
14
AF
T
O que torna esta transformacao interessante do ponto de vista da Teoria

Erg
odica e que G admite uma probabilidade invariante que e equivalente à
medida de Lebesgue no intervalo. De fato, considere a medida definida por
Z
c
dx para cada mensuravel E [0, 1],
(1.3.6)
(E) =
1
+
x
E
onde c e uma constante positiva. Note que a integral est
a bem definida, ja que
a funcao integrando e contnua no intervalo [0, 1]. Alem disso, essa funcao toma
valores no intervalo [c/2, c] e, portanto,
c
m(E) (E) c m(E)
2
(1.3.7)
para todo conjunto mensuravel E [0, 1]. Em particular, e de fato equivalente

` medida de Lebesgue m, isto e, as duas medidas tem os mesmos conjuntos com
a
medida nula.
Proposi
c
ao 1.3.2. A medida e invariante por G. Alem disso, se escolhermos
c = 1/ log 2 ent
ao e uma probabilidade.
Demonstrac
ao. Vamos utilizar o seguinte lema:
Lema 1.3.3. Seja f : [0, 1] [0, 1] uma transformac

ao tal que existem intervalos abertos I1 , I2 , . . . disjuntos dois-a-dois tais que
1. a uni
ao k Ik tem medida de Lebesgue total em [0, 1] e
2. a restric
ao fk = f | Ik a cada Ik e um difeomorfismo sobre (0, 1).
Seja : [0, 1] [0, ) uma func

ao integr
avel (para a medida de Lebesgue) com
X
(y) =
DR
xf 1 (y)
(x)
|f (x)|
(1.3.8)
para quase todo y [0, 1]. Ent

ao a medida = dx e invariante por f .
Demonstrac
ao. Seja = E a funcao caracterstica de um conjunto mensuravel
E [0, 1] qualquer. Pela formula de mudanca de variaveis,
Z
(f (x))(x) dx =
Ik
(y)(fk1 (y))|(fk1 ) (y)| dy.
Note que (fk1 ) (y) = 1/f (fk1 (y)). Portanto, a relacao anterior implica que
Z
(f (x))(x) dx =
Z
X
k=1 Ik
Z 1
X
k=1
(f (x))(x) dx
(f 1 (y))
(y) k1
dy.
|f (fk (y))|
(1.3.9)
15
1.3. EXEMPLOS
AF
T
Usando o teorema da convergencia mon

otona (Teorema A.2.9) e a hipotese
(1.3.8), vemos que a u
ltima expressao em (1.3.9) e igual a
Z 1
Z 1
X
(fk1 (y))
dy =
(y)(y) dy.
(y)
|f (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 mensuravel
E [0, 1]. Portanto, e invariante por f .
Para concluir a demonstracao da Proposicao 1.3.2 devemos mostrar que a

condicao (1.3.8) vale para (x) = c/(1 + x) e f = G. Seja Ik = (1/(k + 1), 1/k)
e seja Gk a restricao de G a Ik . Note que G1
k (y) = 1/(y + k) para todo k. Note
tambem que G (x) = (1/x) = 1/x2 para todo x 6= 0. Portanto,
X
X
(G1
c(y + k)
1 2 X
c
k (y))
=
=
. (1.3.10)
(G1 (y))|
y
+
k
+
1
y
+
k
(y
+
k)(y
+ k + 1)
|G
k
k=1
k=1
k=1
Observando que
1
1
1
=
,
(y + k)(y + k + 1)
y+k y+k+1
vemos que a u
ltima soma em (1.3.10) pode ser escrita na forma telescopica:
todos os termos, exceto o primeiro, aparecem duas vezes, com sinais contrarios,
e portanto se cancelam. Logo a soma e igual ao primeiro termo:
k=1
c
c
=
= (y).
(y + k)(y + k + 1)
y+1
DR
Isto mostra que a igualdade (1.3.8) e realmente satisfeita e, portanto, podemos

usar o Lema 1.3.1 para concluir que e invariante.
Finalmente, usando a primitiva c log(1 + x) da funcao (x) vemos que
Z 1
c
dx = c log 2.
([0, 1]) =
1
+
x
0
Logo, escolhendo c = 1/ log 2 obtemos que e uma probabilidade.

Esta proposicao permite utilizar ideias de Teoria Erg
odica, aplicadas à transformacao de Gauss, para obter conclusoes interessantes em Teoria dos N
umeros.
Por exemplo (veja o Exerccio 1.3.3), o n
umero 7 aparece infinitas vezes na expans
ao em fracao 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, que implica o seguinte: para quase todo x0 (0, 1) o n
umero 7
aparece com frequencia
64
1
log
log 2
63
na sua expansao em fracao contnua. Tente intuir desde ja de onde vem este
n
umero!

16
Rotac
oes no crculo
AF
T
1.3.3
Considere na reta R a relacao de equivalencia que identifica quaisquer n

umeros
cuja diferenca e um n
umero inteiro, isto e:
xy
x y Z.
Representamos por [x] R/Z a classe de equivalencia de qualquer x R e

denotamos por R/Z o espaco de todas as classes de equivalencia. Este espaco
sera chamado de crculo e tambem sera denotado por S 1 . A raz
ao de ser desta
terminologia e que R/Z pode ser identificado de maneira natural com o crculo
unit
ario no plano complexo, por meio da aplicacao
: R/Z {z C : |z| = 1},
[x] 7 e2xi .
(1.3.11)
Note que est

a bem definida: a expressao e2xi n
ao depende da escolha do
representante x na classe [x], uma vez que a funcao x 7 e2xi e periodica de
perodo 1. Alem disso, e uma bijecao.
O crculo herda da reta uma estrutura de grupo abeliano, dada pela operacao
[x] + [y] = [x + y].
Observe que esta definicao est

a bem formulada: a classe de equivalencia do lado
direito n
ao depende da escolha dos representantes x e y das classes do lado
esquerdo. Dado R, chamamos rotac
ao de angulo a transformacao
R : R/Z R/Z,
[x] 7 [x + ] = [x] + [].
DR
Note que a aplicacao que lhe corresponde em {z C : |z| = 1}, via a identificacao (1.3.11), e o que chamaramos de rotacao de angulo 2, ou seja, e a
imediato da derestricao ao crculo unit
ario da transformacao z 7 e2i z. E
finicao que R0 e a identidade e R R = R+ para todo e . Em particular,
toda rotacao R e invertvel e a inversa e R .
Tambem podemos munir S 1 com uma estrutura natural de espaco de probabilidade, da seguinte forma. Seja : R S 1 a projecao canonica que associa a
cada x R a respectiva classe de equivalencia [x]. Primeiramente, dizemos que
um conjunto E S 1 e mensuravel se 1 (E) e um subconjunto mensuravel da
reta. Em seguida, seja m a medida de Lebesgue na reta. Definimos a medida
de Lebesgue no crculo da seguinte forma:

(E) = m 1 (E) [k, k + 1) para qualquer k Z.
Note que o lado esquerdo desta igualdade n

ao depende de k, uma vez, por
definicao, 1 (E) [k, k + 1) = 1 (E) [0, 1) + k e a medida m e invariante
por translacoes.
claro da definicao que e uma probabilidade. Alem disso, e invariE
ante por toda rotacao R (trata-se da u
nica medida de probabilidade com esta
propriedade, como veremos no Exerccio 1.3.8). Isto pode ser mostrado da seguinte forma. Por definicao, 1 (R1 (E)) = 1 (E) para todo conjunto
17
1.3. EXEMPLOS
AF
T
mensuravel E S 1 . Seja k a parte inteira de . Como m e invariante por

translacoes,

m ( 1 (E) ) [0, 1) = m 1 (E) [, + 1)

= m 1 (E) [, k + 1) + m 1 (E) [k + 1, + 1) .

Note que 1 (E) [k + 1, + 1) = 1 (E) [k, ) + 1. Portanto, a expressao
no lado direito da igualdade anterior pode ser escrita como

m 1 (E) [, k + 1) + m 1 (E) [k, ) = m 1 (E) [k, k + 1) .
Combinando estas duas igualdades obtemos que

R1 (E) = m 1 (R1 (E) [0, 1)) = m 1 (E) [k, k + 1) = (E)
para todo conjunto mensuravel E S 1 .

A din
amica da rotacao R : S 1 S 1 apresenta dois comportamentos bem
distintos, dependendo do valor de . Se e racional, digamos = p/q com p Z
e q N, ent
ao
Rq ([x]) = [x + q] = [x] para todo [x].
Como consequencia, todo ponto x S 1 e periodico de perodo q. No caso

contr
ario temos:
Proposi
c
ao 1.3.4. Se e irracional ent
ao O([x]) = {Rn ([x]) : n N} e um
subconjunto denso de R/Z para todo [x].
Demonstrac
ao. 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 analogo). 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
DR
|r (lq lp)| = |r la| < a < .
Como m = lq e n = lq sao inteiros e e arbitrario, 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 distancia de [y] ao iterado Rn ([x]) e menor que . Como
x, y e sao arbitrarios, isto mostra que toda orbita O([x]) e densa.
Em particular, segue que todo ponto do crculo e recorrente para R (isto

tambem e verdade quando e racional). A proposicao anterior tambem ter
a
varias implicacoes interessantes no estudo das medidas invariantes de R . Entre
outras coisas, veremos posteriormente que se e irracional ent
ao a medida de
Lebesgue e a u
nica medida de probabilidade que e preservada por R . Relacionado com isso, veremos que as
orbitas de R se distribuem de modo uniforme
em S 1 .

18
Rotac
oes em toros
AF
T
1.3.4
As nocoes que acabamos de apresentar podem ser generalizadas para qualquer

dimensao, como vamos explicar em seguida. Para cada d 1, considere a
relacao 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 .
Representamos por [x] ou [(x1 , . . . , xd )] a classe de equivalencia de um vetor x =

(x1 , . . . , xd ) Rd qualquer. Chamamos toro de dimens
ao d ou, simplesmente,
d-toro o espaco
Td = Rd /Zd = (R/Z)d
das classes de equivalencia. Seja m a medida de volume em Rd . A operacao
[(x1 , . . . , xd )] + [(y1 , . . . , yd )] = [(x1 + y1 , . . . , xd + yd )]
faz de Td um grupo abeliano. A rotac

ao associada a um vetor = (1 , . . . , d )
e
R : Td Td , R ([x]) = [x] + [].
A aplicacao
: [0, 1]d Td ,
(x1 , . . . , xd ) 7 [(x1 , . . . , xd )]
e sobrejetora e nos permite definir a medida de probabilidade

de Lebesgue no
d-toro, por meio da seguinte formula: (B) = m 1 (B) para todo B Td
tal que 1 (B) e mensuravel. Esta medida e invariante por R para todo .
Dizemos que um vetor = (1 , . . . , d ) e racionalmente independente se para
quaisquer n
umeros inteiros n0 , n1 , . . . , nd temos que
n 0 + n 1 1 + + n d d = 0
n0 = n1 = = nd = 0.
DR
Caso contr
ario dizemos que e racionalmente dependente. Pode mostrar-se que
e racionalmente independente se, e somente se, a rotacao R e uma transformacao minimal, ou seja, a orbita O([x]) = {Rn ([x]) : n N} e um subconjunto denso de Td para todo [x]. A este respeito, veja os Exerccios 1.3.9-1.3.10
e tambem o Corol
ario 4.2.3.
1.3.5
Transformac
oes conservativas
Seja M um aberto do espaco euclidiano Rd e seja f : M M um difeomorfismo

de classe C 1 . Isto quer dizer que f e uma bijecao e tanto ele quanto a sua inversa
sao derivaveis com derivada contnua. Representaremos por vol a medida de
Lebesgue, ou medida de volume, em M . A formula de mudanca de variaveis
afirma que, para qualquer conjunto mensuravel B M ,
Z
vol(f (B)) =
| det Df | dx.
(1.3.12)
B
Daqui se deduz facilmente o seguinte fato:
19
1.3. EXEMPLOS
AF
T
Lema 1.3.5. Um difeomorfismo f : M M de classe C 1 deixa invariante a

medida de volume se, e somente se, o valor absoluto | det Df | do seu jacobiano
e constante igual a 1.
Demonstrac
ao. Suponha primeiro que o valor absoluto do jacobiano e igual a 1
em todo ponto. Considere um conjunto mensuravel E e seja B = f 1 (E). A
formula (1.3.12) d
a que
Z
vol(E) =
1 dx = vol(B) = vol(f 1 (E)).
B
Isto significa que f deixa invariante o volume e, portanto, provamos a parte

sedo enunciado.
Para provar a parte somente se, suponha que | det Df | fosse maior que 1 em
algum ponto x. Ent
ao, como o jacobiano e contnuo, existiria uma vizinhanca
U de x e algum n
umero > 1 tais que
| det Df (y)|
para todo y U.
Ent
ao a f
ormula (1.3.12) aplicada a B = U daria
Z
dx vol(U ).
vol(f (U ))
U
Denotando E = f (U ), isto implica que vol(E) > vol(f 1 (E)) e, portanto, f n

ao
deixa invariante o volume. Do mesmo modo se mostra que se o valor absoluto
do jacobiano e menor que 1 em algum ponto ent
ao f n
ao deixa invariante o
volume.
1.3.6
Fluxos conservativos
DR
Agora vamos analisar a quest

ao da invariancia da medida de volume no caso de
fluxos f t : M M , t R. Continuamos supondo que M e um aberto do espaco
euclideano Rd . Tambem suporemos que o fluxo e de classe C 1 , no sentido de
que a aplicacao (t, x) 7 f t (x) e de classe C 1 . Ent
ao cada transformacao f t e
1
t
0
um difeomorfismo C : a inversa e f . Como f e a identidade e o jacobiano
varia continuamente, obtemos que det Df t (x) > 0 em todo ponto.
Aplicando o Lema 1.3.5 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.3.13)
No entanto esta conclusao n

ao e muito u
til na pratica porque, em geral, n
ao
temos uma expressao explcita para f t e, portanto, n
ao e claro como verificar
a condicao (1.3.13). Felizmente, existe uma expressao razoavelmente explcita
para o jacobiano, de que iremos falar em seguida, que pode ser usada em muitas
situacoes interessantes.
20
AF
T
Suponhamos que o fluxo f t : M M corresponde às trajetorias de um

campo de vetores F : M Rd de classe C 1 . Em outras palavras, t 7 f t (x) e
a solucao da equacao diferencial
dy
= F (y)
dt
(1.3.14)
que tem x como condicao inicial (quando tratando de equacoes diferenciais sempre suporemos que as suas solucoes est
ao definidas para todo tempo).
A f
ormula de Liouville exprime o jacobiano de f t em termos do divergente
div F do campo de vetores:
Z t

det Df t (x) = exp
div F (f s (x)) ds para todo x e todo t.
0
Lembre que o divergente de um campo de vetores F e o traco da sua matriz

jacobiana, isto e
Fd
F1
+ +
.
(1.3.15)
div F =
x1
xd
Combinando a f
ormula de Liouville com (1.3.13) obtemos:
Lema 1.3.6 (Liouville). O fluxo (f t )t associado a um campo de vetores F de

classe C 1 deixa invariante a medida de volume se, e somente se, o divergente
de F e identicamente nulo.
DR
Podemos generalizar esta discuss

ao para o caso em que M e uma variedade riemanniana qualquer, de dimensao d 2. O leitor que tenha pouca
familiaridade com esta nocao pode consultar primeiro as informacoes dadas no
Apendice A.4.5.
Por simplicidade, suponhamos que a variedade e orient
avel. Neste caso, a
medida de Lebesgue e dada por uma d-forma diferenci
avel , chamada forma
de volume, que se escreve em coordenadas locais como = dx1 dxd . Isto
significa que o volume de qualquer conjunto mensuravel B contido num domnio
de coordenadas locais (x1 , . . . , xd ) e dado por
Z
(x1 , . . . , xd ) dx1 dxd .
vol(B) =
B
Seja F um campo de vetores de classe C 1 em M . Escrevendo

F (x1 , . . . , xd ) = (F1 (x1 , . . . , xd ), . . . , Fd (x1 , . . . , xd )),
podemos definir o divergente de F como sendo

div F =
(F )
(F )
+ +
x1
xd
(a definicao n
ao depende da escolha das coordenadas locais). Ent
ao temos a
seguinte versao do teorema de Liouville (a prova pode ser encontrada no livro
de Sternberg [Ste58]):
21
1.3. EXEMPLOS
AF
T
Teorema 1.3.7 (Liouville). O fluxo (f t )t associado a um campo de vetores F

de classe C 1 preserva a medida de volume na variedade M se, e somente se,
div F = 0 em todo ponto.
Ent
ao, segue do teorema de recorrencia para fluxos que, se a variedade M
tem volume finito (por exemplo, se M e compacta) e div F = 0, ent
ao quase
todo ponto e recorrente para o fluxo de F .
1.3.7
Exerccios
1.3.1. Utilizando o Lema 1.3.3, de outra prova de que a transformacao expansao

decimal f (x) = 10x [10x] preserva a medida de Lebesgue no intervalo.
1.3.2. Prove que, para quase todo n
umero x [0, 1] cuja expansao decimal
contem o bloco 617 (por exemplo x = 0, 3375617264 ), esse bloco aparece
infinitas vezes na expansao. V
a mais longe e mostre que, de fato, o bloco 617
aparece infinitas vezes na expansao decimal de quase todo x [0, 1].
1.3.3. Para (Lebesgue) quase todo n
umero x0 (1/618, 1/617) o n
umero 617
aparece infinitas vezes na sua expansao em fracao contnua, isto e, an = 617
para infinitos valores de n N.
1.3.4. Seja G a transformacao de Gauss. Mostre que um n

umero x (0, 1) e
racional se, e somente se, existe n 1 tal que Gn (x) = 0.
1.3.5. Considere a sequencia 1, 2, 4, 8, . . . , an = 2n , . . . das potencias de 2. Mostre que dado qualquer dgito i {1, . . . , 9}, existe uma quantidade infinita de
valores n tais que an comeca com este dgito.
DR
1.3.6. Prove a seguinte extensao do Lema 1.3.3. Suponha que f : M M e

um difeomorfismo local de classe C 1 de uma variedade riemanniana compacta
M . Seja vol a medida de volume em M e seja : M [0, ) uma funcao
contnua. Mostre que f preserva a medida = vol se, e somente se,
X
xf 1 (y)
(x)
= (y) para todo y M.
| det Df (x)|
No caso em que f e invertvel isto significa que f preserva a medida se, e

somente se, (x) = (f (x))| det Df (x)| para todo x M .
1.3.7. Mostre que se A e uma matriz n n com coeficientes inteiros e determinante diferente de zero, ent
ao a transformacao fA : Td Td definida por
fA ([x]) = [A(x)] preserva a medida de Lebesgue de Td .
1.3.8. Mostre que a medida de Lebesgue em S 1 e a u

nica probabilidade no
crculo S 1 que e invariante por todas as rotacoes. De fato, ela e a u
nica probabilidade invariante por todas as rotacoes racionais de S 1 .

22
AF
T
1.3.9. Suponha que = (1 , . . . , d ) e vetor racionalmente dependente. Mostre

que existe alguma funcao contnua : Td C n
ao constante tal que R = .
Conclua que existem abertos U e V , n
ao vazios, disjuntos e invariantes por R ,
ou seja, tais que R (U ) = U e R (V ) = V . Deduza que nenhuma orbita O([x])
da rotacao R e densa em Td .
1.3.10. Suponha que = (1 , . . . , d ) e vetor racionalmente independente. Mostre que se V Td e aberto, n
ao vazio, invariante por R , ent
ao V e denso no
toro. Conclua que nZ Rn (U ) e denso no toro, qualquer que seja o aberto n
ao
vazio U . Conclua que existe [x] cuja orbita O([x]) pela rotacao R e densa em
Td . Deduza que O([y]) e densa em Td para todo [y].
1.3.11. Seja U um aberto de R2d e H : U R uma funcao de classe C 2 .
Representamos as variaveis em R2d por (p1 , . . . , pd , q1 , . . . , qd ). O campo de
vetores hamiltoniano associado a H e definido por

H
H
H
H
.
,...,
,
,...,
F (p1 , . . . , pd , q1 , . . . , qd ) =
q1
qd
p1
pd
Verifique que o fluxo definido por F preserva o volume.
1.3.12. Seja f : U U um difeomorfismo de classe C 1 preservando a medida

de Lebesgue num aberto U de Rd . Seja H : U R uma integral primeira de f ,
ou seja, uma funcao de classe C 1 tal que H f = H. Seja c um valor regular
de H e seja ds a medida de volume definida na hipersuperfcie Hc = H 1 (c)
pela restricao da metrica riemanniana de Rd . Mostre que a restricao de f à
hipersuperfcie Hc preserva a medida ds/k grad Hk.
1.4
Indu
c
ao
DR
Nesta secao vamos descrever certas construcoes, baseadas no teorema de recorrencia de Poincare, que permitem associar a um dado sistema (f, ) outros
sistemas intimamente relacionados com ele, que chamamos sistemas induzidos
por (f, ). O seu interesse resulta do seguinte. Por um lado, em muitos casos
o sistema induzido pode ser construdo de modo a ter melhores propriedades
globais que o sistema original, o que torna a sua analise mais acessvel. Por outro
lado, a partir das propriedades do sistema induzido e possvel obter conclusoes
interessantes a respeito do sistema original.
1.4.1
Transformac
ao de primeiro retorno
Seja f : M M uma transformacao mensuravel e uma probabilidade invariante. Seja E M um conjunto mensuravel com (E) > 0 e seja (x) = E (x)
o tempo de primeiro retorno de x a E, tal como foi definido em (1.2.1). A
transformac
ao de primeiro retorno ao domnio E e definida por
g(x) = f (x) (x)

1.4. INDUC
AO
23
AF
T
num subconjunto com medida total de E. Tambem denotamos por E a restricao de aos subconjuntos mensuraveis de E.
Proposi
c
ao 1.4.1. A medida E e invariante pela transformac
ao g : E E.
Demonstrac
ao. Para cada k 1, denote por Ek o conjunto dos pontos x E
tais que (x) = k. Por definicao, g(x) = f k (x) para todo x Ek . Seja B um
subconjunto mensuravel qualquer de E. Ent
ao
(g 1 (B)) =
k=1
(f k (B) Ek ).
Por outro lado, como e f -invariante,

B = f 1 (B) = f 1 (B) E1 + f 1 (B) \ E .
Analogamente,
(1.4.1)
(1.4.2)

f 1 (B) \ E = f 2 (B) \ f 1 (E)

= f 2 (B) E2 + f 2 (B) \ (E f 1 (E)) .
Substituindo em (1.4.2), obtemos
1
2
[

X
f k (E) .
f k (B) Ek + f 2 (B) \
B =
k=0
k=1
Repetindo este argumento sucessivamente, obtemos que
n1
n
[

X
f k (E) .
f k (B) Ek + f n (B) \
B =
(1.4.3)
k=0
k=1
DR
claro que a u
Vamos passar aoS
limite quando n . E
ltima parcela e majorada
n1 k
n
por f (E) \ k=0 f (E) . Logo, usando a Observacao 1.2.3, ela converge
para zero quando n . Deste modo, conclumos que

X
B =
f k (B) Ek .
k=1
Juntamente com (1.4.1), isto mostra que (g 1 (B)) = (B) para todo subconjunto mensuravel B de E. Isto e, a medida E e invariante por g.
Exemplo 1.4.2. Considere a transformacao f : [0, ) [0, ) dada por
f (0) = 0
f (x) = 1/x se x (0, 1) e
f (x) = x 1 se x 1.
Considere E = [0, 1]. O tempo de primeiro retorno a E e dado por

(0) = 1
(x) = k + 1 se x (1/(k + 1), 1/k] com k 1.

24
AF
T
Ent
ao a transformacao de primeiro retorno a E e dada por
g(0) = 0
g(x) = 1/x k se x (1/(k + 1), 1/k] com k 1.
Em outras palavras, g e a transformacao de Gauss. Vimos na Secao 1.3.2 que

a transformacao de Gauss admite uma probabilidade invariante equivalente à
medida de Lebesgue em [0, 1). Segue, usando as ideias que apresentaremos na
proxima secao, que a transformacao original f admite uma medida (infinita)
invariante equivalente à medida de Lebesgue em [0, ).
1.4.2
Transformac
oes induzidas
Na direcao contr
aria, dada uma medida invariante qualquer de g : E E,
podemos construir uma certa medida invariante para f : M M . Alias,
para isto g n
ao precisa ser a transformacao de primeiro retorno: a construcao
que vamos apresentar a seguir e valida para qualquer transformac
ao induzida
de f , ou seja, qualquer transformacao da forma
g : E E,
g(x) = f (x) (x),
(1.4.4)
onde : E N e uma funcao mensuravel (basta que esteja definida num subconjunto com medida total em E). Como antes, denotamos por Ek o conjunto
dos x E tais que (x) = k. Ent
ao definimos:
(B) =
X
X
n=0 k>n
(f n (B) Ek ),
(1.4.5)
para todo conjunto mensuravel B M .
DR
Proposi
c
ao 1.4.3.
A medida definida em (1.4.5) e invariante por f e saR
ao
tisfaz (M ) = E d. Em particular, e finita se, e somente se, a func
e integr
avel com respeito a .
Demonstrac
ao. Primeiro, provamos a invariancia de . Pela definicao (1.4.5),
X
X

X
X
f n (B) Ek .
f (n+1) (B) Ek =
f 1 (B) =
n=0 k>n
n=1 kn
Podemos reescrever a expressao acima como:
X

X
X
f k (B) Ek .
f n (B) Ek +
f 1 (B) =
n=1 k>n
k=1
A respeito da u
ltima parcela, observe que
k=1

X
B Ek ,
f k (B) Ek = g 1 (B) = B =
k=1
(1.4.6)

1.4. INDUC
AO
25
AF
T
uma vez que e invariante por g. Substituindo esta igualdade em (1.4.6), vemos
que
X
X
X

f 1 (B) =
f n (B) Ek +
B Ek = B
n=1 k>n
k=1
para todo conjunto mensuravel B E. A segunda afirmacao na proposicao e

uma consequencia direta das definicoes:
(M ) =
X
X
n=0 k>n
(f n (M ) Ek ) =
X
X
(Ek ) =
n=0 k>n
k(Ek ) =
k=1
d.
Isto completa a demonstracao.
interessante analisar como esta construcao se relaciona com a construcao

E
da secao anterior quando g e a transformacao de primeiro retorno de f e a
medida e a restricao | E de alguma medida invariante de f :
Corol
ario 1.4.4. Se g e a transformac
ao de primeiro retorno de f a E, ent
ao
1. (B) = (B) = (B) para todo conjunto mensur
avel B E.
2. (B) (B) para todo conjunto mensur
avel B M .
DR
Demonstrac
ao. Por definicao, f n (E) Ek = para todo 0 < n < k. Isto
implica que, dado qualquer conjunto mensuravel B P
E, todas as parcelas com
n > 0 na definicao (1.4.5) sao nulas. Logo, (B) = k>0 (B Ek ) = (B)
tal como afirmado na primeira parte do enunciado.
Considere qualquer conjunto mensuravel B M . Ent
ao,

B = B E + B E c = (B E) + B E c
X

(1.4.7)
=
B Ek + B E c .
k=1

Como e invariante, (B E c ) = f 1 (B) f 1 (E c ) . Ent
ao, tal como na
igualdade anterior

B E c = f 1 (B) E f 1 (E c ) + f 1 (B) E c f 1 (E c )
X

=
f 1 (B) Ek + f 1 (B) E c f 1 (E c ) .
k=2
Substituindo em (1.4.7), obtemos
1
1 X
\

X
f n (E c ) .
B =
f n (B) Ek + f 1 (B)
n=0 k>n
n=0

26
AF
T
Repetindo este argumento sucessivamente, obtemos que
N
N X
\

X
f n (E c )
B =
f n (B) Ek + f N (B)
n=0 k>n
N
X
n=0 k>n
k=0
f n (B) Ek
para todo N 1.
Passando ao limite quando N , conclumos que (B) (B).

Alem disso, o teorema de Kac nos diz que,
Z
Z
(M ) =
d =
d = (M ) (E0 ).
E
Portanto, segue do Corolario 1.4.4 que = se, e somente se, (E0 ) = 0.
Exemplo 1.4.5 (Manneville-Pomeau). Dado d > 0, seja a o u

nico n
umero em
(0, 1) que satisfaz a(1 + ad ) = 1. Ent
ao defina f : [0, 1] [0, 1] da seguinte
forma:
f (x) = x(1 + xd ) se x [0, a] e
f (x) =
xa
se x (a, 1].
1a
O gr
afico de f est
a representado no lado esquerdo da Figura 1.3. Observe que
|f (x)| 1 em todo ponto, sendo que a igualdade ocorre apenas para x = 0.
Seja (an )n a sequencia no intervalo [0, a] definida por a1 = a e f (an+1 ) = an
para n 1. Tambem escrevemos a0 = 1. As propriedades desta sequencia sao
estudadas no Exerccio 1.4.2.
f
DR
...
a1
a2
a3 a2 a1
a3 a2 a1
Figura 1.3: Construcao de transformacao induzida
Agora considere a aplicacao g(x) = f (x) (x), onde

: [0, 1] N,
(x) = 1 + min{n 0 : f n (x) (a, 1]}.

1.4. INDUC
AO
27
AF
T
Em outras palavras, (x) = k e portanto g(x) = f k (x) para todo x (ak , ak1 ].
O gr
afico de g est
a representado no lado direito da Figura 1.3. Note que a
restricao a cada intervalo (ak , ak1 ] e uma bijecao sobre (0, 1]. Um ponto crucial
e que a transformacao induzida g e expansora:
|g (x)|
1
>1
1a
para todo x [0, 1].
Pode mostrar-se, usando as ideias que desenvolveremos no Captulo 11, que g

admite uma u
nica probabilidade invariante equivalente à medida de Lebesgue
em (0, 1]. Alem disso, a densidade de relativamente à medida de Lebesgue
est
a limitada de zero e infinito. Ent
ao a medida f -invariante em (1.4.5) e
equivalente `
a medida de Lebesgue. Resulta (veja o Exerccio 1.4.2) que esta
medida e finita se, e somente se, d (0, 1).
1.4.3
Torres de Kakutani-Rokhlin
possvel e u
E
til generalizar a construcao anterior ainda mais, abrindo mao
da propria transformacao f : M M . Mais precisamente, dada uma transformacao g : E E, uma medida em E invariante por g, e uma funcao
mensuravel : E N, vamos mostrar como construir uma transformacao
f : M M e uma medida invariante por f tais que E pode ser identificado
com um subconjunto de M , g e a transformacao de primeiro retorno de f a E,
com tempo de retorno dado por , e a medida restrita a E coincide com .
Esta transformacao f e chamada torre de g com tempo . A medida e
finita se, e somente se, e integravel com respeito a . Elas sao construdas da
seguinte forma. Comecamos por definir:
M = {(x, n) : x E e 0 n < (x)}
=
k1
[
[
k=1 n=0
Ek {n}.
DR
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.4.
Em seguida definimos f : M M da seguinte forma:

(x, n + 1) se n < (x) 1
f (x, n) =
.
(g(x), 0)
se n = (x) 1
Em outras palavras, a din

amica eleva cada ponto (x, n) um andar de cada
vez, ate alcancar o andar (x) 1; a essa altura o ponto cai diretamente para
(g(x), 0), no andar terreo. O andar terreo E {0} se identifica naturalmente
com o conjunto E. Alem disso, a transformacao de primeiro retorno a E {0}
corresponde precisamente a g : E E.
Finalmente, a medida fica definida por
| (Ek {n}) = | Ek

28
AF
T
...
andar k
andar k 1
...
andar 2
andar 1
E1
E2
E3
terreo
Ek
Figura 1.4: Torre de g com tempo
claro que a restricao de ao andar terreo coincide

para todo 0 n < k. E
com . Alem disso, e invariante por f e
(M ) =
k=1
k(Ek ) =
d.
Isto completa a construcao da torre de Kakutani-Rokhlin.
1.4.4
Exerccios
DR
1.4.1. Seja f : S 1 S 1 a transformacao f (x) = 2x mod Z. Mostre que

a funcao (x) = min{k 0 : f k (x) (1/2, 1)} e integravel relativamente
a medida de Lebesgue. Enuncie e prove um resultado correspondente para
`
qualquer transformacao g : S 1 S 1 de classe C 1 que esteja C 1 proxima de
f , ou seja, tal que supx {kg(x) f (x)k, kg (x) f (x)k} seja suficientemente
pequeno.
1.4.2. Considere a medida e a sequencia (an )n definidas no Exemplo 1.4.5.
Verifique que e sempre -finita. Mostre que (an )n e decrescente e converge
para zero. Alem disso, existem c1 , c2 , c3 , c4 > 0 tais que

c1 aj j 1/d c2 e c3 aj aj+1 j 1+1/d c4 para todo j.
(1.4.8)
Deduza que a medida g-invariante e finita se, e somente se, d (0, 1).
1.4.3. Seja : a aplicacao definida no espaco = {1, . . . , d}Z por

((xn )n ) = (xn+1 )n . Descreva a transformacao g de primeiro retorno ao conjunto {(xn )n : x0 = 1}.
1.4.4. [Lema de Kakutani-Rokhlin] Seja f : M M uma transformacao invertvel e seja uma medida de probabilidade invariante sem atomos tal que
1.5. TEOREMAS DE RECORRENCIA

MULTIPLA
29
AF
T
(nN f n (E)) = 1 para todo E M com (E) > 0. Mostre que para todo
n 1 e todo > 0 existe um conjunto mensuravel B M tal que os iterados
B, f (B), . . . , f n1 (B) sao disjuntos dois-a-dois e o complementar da sua uniao
tem medida menor que . Em particular, isto vale para todo sistema invertvel
aperi
odico, ou seja, cujo conjunto dos pontos periodicos tem medida nula.
1.4.5. Seja f : M M uma transformacao e seja (Hj )j1 uma colecao de
subconjuntos de M tal que se x Hn ent
ao f j (x) Hnj para todo 0 j < n.
Seja H o conjunto dos pontos que pertencem a Hj para infinitos de valor de j,
ou seja, H =
k=1 j=k Hj . Para y H defina (y) = min{j 1 : y Hj }
(y)
e T (y) = f
(y). Observe que T e uma aplicacao de H em H. Alem disso,
mostre que
lim sup
n
1
#{1 j n : x Hj } > 0
n
lim inf
k
k1
1
1X
(T i (x)) .
k i=0
1.4.6. Seja f : M M uma transformacao preservando uma medida . Sejam

(Hj )j1 e : M N como no Exerccio 1.4.5. Considere a sequencia de funcoes
(n )n definida por 1 (x) = (x) e n (x) = (f n1 (x) (x)) + n1 (x) para n > 1.
Suponha que
lim sup
n
1
#{1 j n : x Hj } > 0
n
para -quase todo x M .
Mostre que n+1 (x)/n (x) 1 para -quase todo ponto x M . [Observacao:
Dizemos que a sequencia (n )n e n
ao lacunar.]
1.5
Teoremas de recorr
encia m
ultipla
Vamos considerar famlias finitas de transformacoes fi : M M , i = 1, . . . , q

que comutam entre si, isto e, tais que
para todo i, j {1, . . . , q}.
DR
fi fj = fj fi
O objetivo e mostrar que os resultados da Secao 1.2 se estendem para este

contexto: obtemos pontos que sao simultaneamente recorrentes por todas as
transformacoes.
O primeiro resultado nesta linha generaliza o teorema de recorrencia de
Birkhoff (Teorema 1.2.6):
Teorema 1.5.1 (Recorrencia m
ultipla de Birkhoff). Seja M um espaco metrico
compacto e sejam f1 , . . . , fq : M M transformac
oes contnuas que comutam
entre si. Ent
ao existe a M e existe uma sequencia (nk )k tal que
lim fink (a) = a
k
para todo i = 1, . . . , q.
(1.5.1)
A demonstracao deste teorema sera dada na Secao 1.5.1. A seguir, discutimos a seguinte generalizacao do teorema de recorrencia de Poincare:
30
AF
T
Teorema 1.5.2 (Recorrencia m

ultipla de Poincare). Seja (M, B, ) um espaco
de probabilidade e sejam fi : M M , i = 1, . . . , q transformac
oes mensur
aveis
que preservam e que comutam entre si. Ent
ao, para qualquer conjunto E M
com medida positiva, existe n 1 tal que

E f1n (E) fqn (E) > 0.
Em outras palavras, existe algum tempo n tal que os iterados de um subconjunto com medida positiva de pontos de E retornam a E, simultaneamente
para todas as transformacoes fi , nesse momento n.
A demonstracao do Teorema 1.5.2 n
ao sera apresentada aqui; veja o livro de
Furstenberg [Fur77]. Vamos apenas mencionar algumas consequencias diretas
e, mais tarde, usaremos o teorema para provar o teorema de Szemeredi sobre
existencia de progressoes aritmeticas em subconjuntos densos dos n
umeros
inteiros.
Observe, primeiramente, que o conjunto dos retornos simult
aneos e sempre
infinito. De fato, seja n qualquer iterado como no enunciado. Aplicando o
Teorema 1.5.2 ao conjunto F = E f1n (E) fqn (E), obtemos que existe
m 1 tal que

(m+n)
E f1
(E) fq(m+n) (E)

F f1m (F ) fqm (F ) > 0.
DR
Em outras palavras, m + n tambem e um retorno simult

aneo a E, para algum
subconjunto de E com medida positiva.
Segue que, para qualquer conjunto E M com (E) > 0 e para -quase
todo ponto x E existem infinitos iterados n que sao retornos simult
aneos de x
a E, ou seja, que satisfazem fin (x) E para todo i = 1, . . . , q. De fato, suponha
que existisse um subconjunto F E com medida positiva tal que todo ponto
de F tem um n
umero finito de retornos simult
aneos a E. Por um lado, a menos
de substituir F por um subconjunto adequado, podemos supor que todos esses
retornos simult
aneos dos pontos de F ao conjunto E sao menores que um dado
k 1 fixado. Por outro lado, usando o par
agrafo anterior, existe n > k tal
que G = F f1n (F ) fqn (F ) tem medida positiva. Ora, e imediato da
definicao que n e um retorno simult
aneo a E para todo x G. Isto contradiz a
escolha de F , provando a nossa afirmacao.
Outro corol
ario simples e o teorema de recorrencia m
ultipla de Birkhoff (Teorema 1.5.1). De fato, se fi : M M , i = 1, 2, . . . , q sao transformacoes
contnuas num espaco metrico compacto que comutam entre si, ent
ao existe
alguma probabilidade invariante comum a todas essas transformacoes (este
fato sera verificado no proximo captulo, no Exerccio 2.2.2). A partir daqui
podemos argumentar exatamente como na demonstracao do Teorema 1.2.4. Ou
seja, considere qualquer base enumeravel {Uk } da topologia de M . De acordo
k Uk com mecom o par
agrafo anterior, para cada k existe um conjunto U
k tem infinitos retornos simult
dida nula tal que todo ponto de Uk \ U
aneos a
k tem medida nula e todo ponto do seu complementar e
= k U
Uk . Ent
ao U
simultaneamente recorrente, no sentido do Teorema 1.5.1.

MULTIPLA
Teorema de recorr
encia m
ultipla de Birkhoff
AF
T
1.5.1
31
Vamos tratar o caso em que as transformacoes f1 , . . . , fq sao homeomorfismos

de M , que e suficiente para os nossos objetivos no presente captulo. O caso
geral pode ser deduzido facilmente (veja o Exerccio 2.4.7) usando a ideia de
extensao natural, que apresentaremos no proximo captulo.
O teorema pode ser reformulado do seguinte modo u
til. Considere a transformacao F : M q M q definida no espaco produto M q = M M por
F (x1 , . . . , xq ) = (f1 (x1 ), . . . , fq (xq )). Denote por q a diagonal de M q , ou seja,
o subconjunto dos pontos da forma x
= (x, . . . , x). O Teorema 1.5.1 afirma,
precisamente, que existe a
q e existe (nk )k tal que
lim F nk (
a) = a
.
k
(1.5.2)
A demonstracao sera por inducao no n

umero q de transformacoes. O caso
q = 1 est
a contido no Teorema 1.2.6. A seguir, considere qualquer q 2
e suponha que o enunciado e verdadeiro para qualquer famlia formada por
q 1 homeomorfismos que comutam entre si. Vamos provar que ele tambem e
verdadeiro para a famlia f1 , . . . , fq .
Denote por G o grupo (abeliano) gerado pelos homeomorfismos f1 , . . . , fq .
Dizemos que um conjunto X M e G-invariante se g(X) X para todo g G.
Considerando tambem a inversa g 1 , vemos que isto implica g(X) = X para
todo g G. Tal como fizemos no Teorema 1.2.6, podemos usar o lema de
Zorn para concluir que existe algum conjunto X M n
ao-vazio fechado Ginvariante minimal (Exerccio 1.5.2). O enunciado do teorema n
ao e afetado se
substituirmos M por X. Portanto, n
ao constitui restricao supor que o espaco
ambiente M e minimal. Essa suposicao sera usada da seguinte forma:
Lema 1.5.3. Se M e minimal ent
ao para todo aberto n
ao-vazio U M existe
um subconjunto finito H G tal que
[
h1 (U ) = M.
DR
hH
Demonstrac
ao. Dado qualquer x M , o fecho da orbita G(x) = {g(x) : g G}
e um subconjunto n
ao-vazio de M , fechado e G-invariante. Portanto, a hipotese
de que M e minimal implica que a orbita G(x) e densa em M . Em particular,
existe g G tal que g(x) U . Isto prova que {g 1 (U ) : g G} e uma cobertura
aberta de M . Por compacidade, segue que existe uma subcobertura finita. Essa
e, precisamente, a afirmacao no lema.
Consideraremos o produto M q munido da distancia dada por

d (x1 , . . . , xq ), (y1 , . . . , yq ) = max{d(xi , yi ) : 1 i q}.
Note que a aplicacao M q , x 7 x = (x, . . . , x) e um homeomorfismo e,

mesmo, uma isometria para esta escolha da distancia. Todo aberto U M
e q via esse homeomorfismo. Dado qualquer
corresponde a um aberto U
32
AF
T
g G, representaremos por g : M q M q o homeomorfismo definido por

g(x1 , . . . , xq ) = (g(x1 ), . . . , g(xq )). O fato de que G e abeliano implica que g
comuta com F ; note tambem que todo g preserva a diagonal q . Ent
ao a
conclusao do Lema 1.5.3 pode ser reescrita na seguinte forma:
[
1 (U
e ) = q .
h
(1.5.3)
hH
Lema 1.5.4. Dado > 0 existem x

, y q e n 1 tais que d(F n (
x), y) < .
Demonstrac
ao. Defina gi = fi fq1 para cada i = 1, . . . , q 1. A hipotese de
que os fi comutam entre si implica que o mesmo vale para os gi . Ent
ao, pela
hip
otese de inducao, existe y M e (nk )k tal que
lim gink (y) = y
k
para todo i = 1, . . . , q 1.
Denote xk = fqnk (y) e considere x

k = (xk , . . . , xk ) q . Ent
ao,
nk
F nk (
xk ) = (f1nk fqnk (y), . . . , fq1
fqnk (y), fqnk fqnk (y))
nk
= (g1nk (y), . . . , gq1
(y), y)
converge para (y, . . . , y, y) quando k . Isto prova o lema com x

= x
k ,
y = (y, . . . , y, y) e n = nk para qualquer k suficientemente grande.
Em seguida, mostraremos que o ponto y no Lema 1.5.4 e arbitrario:
Lema 1.5.5. Dados > 0 e z q existem w

q e m 1 satisfazendo
d(F m (w),
z) < .
DR
e = bola aberta de centro z

Demonstrac
ao. Dados > 0 e z q , considere U
e raio /2. Pelo Lema 1.5.3 e pela observacao (1.5.3), podemos encontrar um
1 (U
e ), h H cobrem q . Como
conjunto finito H G tal que os conjuntos h
os elementos de G sao (uniformemente) contnuos, existe > 0 tal que
d(
x1 , x
2 ) <
x1 ), h(
x2 )) < /2 para todo h H.
d(h(
Pelo Lema 1.5.4 existem x

, y q e n 1 tais que d(F n (
x), y) < . Fixe h H
1
(U
e ). Ent
tal que y h
ao,

n (
n (
y ) + d h(
y), z < /2 + /2.
d h(F
x)), z d h(F
x)), h(
x). Como h
comuta com F n , a desigualdade anterior d
Tome w
= h(
a que
n
d(F (w),
z) < , como queramos provar.
Usando o Lema 1.5.5, mostraremos que e possvel tomar x
= y no Lema 1.5.4:
Lema 1.5.6 (Bowen). Dado > 0 existem v q e k 1 com d(F k (

v ), v) < .
Demonstrac
ao. Dados > 0 e z0 q , considere as sequencias j , mj e zj ,
j 1, definidas por recorrencia da seguinte forma. Inicialmente, tome 1 = /2.

MULTIPLA
33
AF
T
z1 ), z0 ) < 1 .
Pelo Lema 1.5.5 existem z1 q e m1 1 tais que d(F m1 (
z , z1 ) < 2
Por continuidade da aplicacao F m1 , existe 2 < 1 tal que d(
implica d(F m1 (
z ), z0 ) < 1 .
Em seguida, dado qualquer j 2:
zj ), zj1 ) < j .
Pelo Lema 1.5.5 existem zj q e mj 1 tais que d(F mj (
umero j+1 < j tal que d(

z , zj ) <
Por continuidade de F mj , existe algum n
j+1 implica d(F mj (
z ), zj1 ) < j .
Em particular, para quaisquer i < j,
.
2
Como q e compacto, podemos encontrar i, j com i < j tais que d(
zi , zj ) < /2.
Tome k = mi+1 + + mj . Ent
ao
zj ), zi ) < i+1
d(F mi+1 ++mj (
d(F k (
zj ), zj ) d(F k (
zj ), zi ) + d(
zi , zj ) < .
Isto completa a demonstracao do lema.
Agora estamos prontos para concluir a demonstracao do Teorema 1.5.1. Para

tal, consideremos a funcao
: q [0, ),
(
x) = inf{d(F n (
x), x
) : n 1}.
Observe que e semicontnua superiormente: dado qualquer > 0, todo ponto x

admite alguma vizinhanca V tal que (
y ) < (
x)+ para todo y V . Isso segue
imediatamente do fato de que e dada pelo nfimo de uma famlia de funcoes
contnuas. Ent
ao (Exerccio 1.5.4), admite algum ponto de continuidade a
.
Vamos mostrar que este ponto satisfaz a conclusao do Teorema 1.5.1.
Para isso, comecamos por observar que (
a) = 0. De fato, suponha que (
a)
e positivo. Ent
ao, por continuidade, existem > 0 e uma vizinhanca V de a
tais que (
y ) > 0 para todo y V . Ent
ao,
para todo y V e todo n 1.
DR
d(F n (
y ), y)
(1.5.4)
Por outro lado, de acordo com (1.5.3), para todo x

q existe h H tal que
h(
x) V . Como as transformacoes h sao uniformemente contnuas, podemos
fixar > 0 tal que

z ), h(
w)
d(
z , w)
< d h(
< para todo h H.
(1.5.5)
Pelo Lema 1.5.6, existe n 1 tal que d(
x, F n (
x)) < . Ent
ao, usando (1.5.5) e
lembrando que F comuta com todo h,

x), F n (h(
x)) < .
d h(
Isto contradiz (1.5.4). Esta contradicao mostra que (

a) = 0, tal como afirmamos.
Em outras palavras, existe (nk )k tal que d(F nk (
a), a
) 0 quando
k . Isto significa que (1.5.2) e satisfeita e, portanto, a prova do teorema
est
a completa.

34
Exerccios
AF
T
1.5.2
1.5.1. Mostre, por meio de exemplos, que a conclusao do Teorema 1.5.1 e falsa,
em geral, se as transformacoes fi n
ao comutam.
1.5.2. Seja G o grupo abeliano gerado por homeomorfismos f1 , . . . , fq : M M
num espaco metrico compacto que comutam entre si. Mostre que existe X M
minimal para a relacao de inclusao na famlia dos fechados, G-invariantes, n
ao
vazios.
1.5.3. Mostre que se : M R e uma funcao semicontnua superiormente num
espaco metrico compacto ent
ao atinge o seu supremo, isto e, existe p M tal
que (p) (x) para todo x M .
1.5.4. Mostre que se : M R e uma funcao semicontnua (superiormente ou
inferiormente) num espaco metrico compacto ent
ao o conjunto dos pontos de
continuidade de contem uma intersecao enumeravel de subconjuntos abertos
e densos de M . Em particular, o conjunto dos pontos de continuidade e denso
em M .
1.5.5. Seja f : M M uma transformacao mensuravel preservando uma medida finita . Dado k 1 e A M com medida positiva, mostre que para quase
todo x A existe n 1 tal que f jn (x) A para todo 1 j k.
DR
1.5.6. Sejam f1 , . . . , fq : M M homeomorfismos de um espaco metrico compacto que comutam entre si. Por definicao, o conjunto n
ao errante (f1 , . . . , fq )
e o conjunto dos pontos x M tais que para toda vizinhanca U de x existem
n
n1 , . . . , nq 1 tais que f1n1 fq q (U ) intersecta U . Prove que (f1 , . . . , fq ) e
um compacto, n
ao-vazio.
AF
T
Bibliografia
[Aar97]
J. Aaronson. An introduction to infinite ergodic theory, volume 50 of Mathematical

Surveys and Monographs. American Mathematical Society, 1997.
[AB]
A. Avila and J. Bochi. Proof of the subadditive ergodic theorem.

www.mat.puc-rio.br/jairo/.
[AF07]
A. Avila and G. Forni. Weak mixing for interval exchange transformations and
translation flows. Ann. of Math., 165:637664, 2007.
Preprint
[AKM65] R. Adler, A. Konheim, and M. McAndrew. Topological entropy. Trans. Amer.

Math. Soc., 114:309319, 1965.
[AKN06] V. Arnold, V. Kozlov, and A. Neishtadt. Mathematical aspects of classical and

celestial mechanics, volume 3 of Encyclopaedia of Mathematical Sciences. SpringerVerlag, third edition, 2006. [Dynamical systems. III], Translated from the Russian
original by E. Khukhro.
[Ano67]
D. V. Anosov. Geodesic flows on closed Riemannian manifolds of negative curvature. Proc. Steklov Math. Inst., 90:1235, 1967.
[Arn78]
V. I. Arnold. Mathematical methods of classical mechanics. Springer Verlag, 1978.
[AS67]
D. V. Anosov and Ya. G. Sinai. Certain smooth ergodic systems. Russian Math.
Surveys, 22:103167, 1967.
[Bal00]
V. Baladi. Positive transfer operators and decay of correlations. World Scientific

Publishing Co. Inc., 2000.
[BDV05] C. Bonatti, L. J. Daz, and M. Viana. Dynamics beyond uniform hyperbolicity,

volume 102 of Encyclopaedia of Mathematical Sciences. Springer-Verlag, 2005.
P. Billingsley. Convergence of probability measures. John Wiley & Sons Inc., New
York, 1968.
[Bil71]
P. Billingsley. Weak convergence of measures: Applications in probability. Society

for Industrial and Applied Mathematics, 1971. Conference Board of the Mathematical Sciences Regional Conference Series in Applied Mathematics, No. 5.
[Bir13]
G. D. Birkhoff. Proof of Poincar

es last Geometric Theorem. Trans. Amer. Math.
Soc., 14:1422, 1913.
[Bir67]
G. Birkhoff. Lattice theory, volume 25. A.M.S. Colloq. Publ., 1967.
[BK83]
M. Brin and A. Katok. On local entropy. In Geometric dynamics (Rio de Janeiro,

1981), volume 1007 of Lecture Notes in Math., pages 3038. Springer-Verlag, 1983.
[BLY]
D. Burguet, G. Liao, and J. Yang. Asymptotic h-expansiveness rate of C maps.

www.arxiv.org:1404.1771.
[Bos86]
J.-B. Bost. Tores invariants des syst`

emes hamiltoniens. Ast
erisque, 133134:113
157, 1986.
[Bos93]
M. Boshernitzan. Quantitative recurrence results. Invent. Math., 113(3):617631,

1993.
DR
[Bil68]
35
36
BIBLIOGRAFIA
R. Bowen. Entropy for group endomorphisms and homogeneous spaces. Trans.
Amer. Math. Soc., 153:401414, 1971.
[Bow72]
R. Bowen. Entropy expansive maps. Trans. Am. Math. Soc., 164:323331, 1972.
AF
T
[Bow71]
[Bow75a] R. Bowen. Equilibrium states and the ergodic theory of Anosov diffeomorphisms,
volume 470 of Lect. Notes in Math. Springer Verlag, 1975.
[Bow75b] R. Bowen. A horseshoe with positive measure. Invent. Math., 29:203204, 1975.
[Bow78]
R. Bowen. Entropy and the fundamental group. In The Structure of Attractors in

Dynamical Systems, volume 668 of Lecture Notes in Math., pages 2129. SpringerVerlag, 1978.
[BS00]
L. Barreira and J. Schmeling. Sets of non-typical points have full topological

entropy and full Hausdorff dimension. Israel J. Math., 116:2970, 2000.
[Buz97]
J. Buzzi. Intrinsic ergodicity for smooth interval maps. Isreal J. Math, 100:125161,
1997.
[Car70]
H. Cartan. Differential forms. Hermann, 1970.
[Cas04]
A. A. Castro. Teoria da medida. Projeto Euclides. IMPA, 2004.
[Cla72]
J. Clark. A Kolmogorov shift with no roots. ProQuest LLC, Ann Arbor, MI, 1972.
Thesis (Ph.D.)Stanford University.
[dC79]
M. do Carmo. Geometria riemanniana, volume 10 of Projeto Euclides. Instituto

de Matem
atica Pura e Aplicada, 1979.
K. Deimling. Nonlinear functional analysis. Springer Verlag, 1985.
E. Dinaburg. A correlation between topological entropy and metric entropy. Dokl.

Akad. Nauk SSSR, 190:1922, 1970.
[Din71]
E. Dinaburg. A connection between various entropy characterizations of dynamical

systems. Izv. Akad. Nauk SSSR Ser. Mat., 35:324366, 1971.
[dlL93]
R. de la Llave. Introduction to K.A.M. theory. In Computational physics

(Almu
n
ecar, 1992), pages 73105. World Sci. Publ., 1993.
[DS57]
N. Dunford and J. Schwarz. Linear operators I: General theory. Wiley & Sons,
1957.
[DS63]
N. Dunford and J. Schwarz. Linear operators II: Spectral theory. Wiley & Sons,
1963.
[Dug66]
J. Dugundji. Topology. Allyn and Bacon Inc., 1966.
[Edw79]
R. E. Edwards. Fourier series. A modern introduction. Vol. 1, volume 64 of Graduate Texts in Mathematics. Springer-Verlag, second edition, 1979.
DR
[Dei85]
[Din70]
[ET36]
P. Erd
os and P. Tur
an. On some sequences of integers. J. London. Math. Soc.,
11:261264, 1936.
[Fal90]
K. Falconer. Fractal geometry. John Wiley & Sons Ltd., 1990. Mathematical
foundations and applications.
[Fer02]
R. Fernandez. Medida e integrac

ao. Projeto Euclides. IMPA, 2002.
[FFT09]
S. Ferenczi, A. Fisher, and M. Talet. Minimality and unique ergodicity for adic
transformations. J. Anal. Math., 109:131, 2009.
[FO70]
N. Friedman and D. Ornstein. On isomorphism of weak Bernoulli transformations.

Advances in Math., 5:365394, 1970.
[Fri69]
N. Friedman. Introduction to ergodic theory. Van Nostrand, 1969.
[Fur61]
H. Furstenberg. Strict ergodicity and transformation of the torus. Amer. J. Math.,

83:573601, 1961.
[Fur77]
H. Furstenberg. Ergodic behavior and a theorem of Szemer

edi on arithmetic progressions. J. dAnalyse Math., 31:204256, 1977.
BIBLIOGRAFIA
H. Furstenberg. Recurrence in ergodic theory and combinatorial number theory.

Princeton Univertsity Press, 1981.
AF
T
[Fur81]
37
[Goo71a] T. Goodman. Relating topological entropy and measure entropy. Bull. London
Math. Soc., 3:176180, 1971.
[Goo71b] G. Goodwin. Optimal input signals for nonlinear-system identification. Proc. Inst.
Elec. Engrs., 118:922926, 1971.
B. Green and T. Tao. The primes contain arbitrarily long arithmetic progressions.
Ann. of Math., 167:481547, 2008.
[Gur61]
B. M. Gurevi
c. The entropy of horocycle flows. Dokl. Akad. Nauk SSSR, 136:768
770, 1961.
[Hal50]
P. Halmos. Measure Theory. D. Van Nostrand Company, 1950.
[Hal51]
P. Halmos. Introduction to Hilbert Space and the theory of Spectral Multiplicity.

Chelsea Publishing Company, New York, 1951.
[Hay]
N. Haydn. Multiple measures of maximal entropy and equilibrium states for onesimensional subshifts. Preprint Penn State University.
[Hir94]
M. Hirsch. Differential topology, volume 33 of Graduate Texts in Mathematics.

Springer-Verlag, 1994. Corrected reprint of the 1976 original.
[Hof77]
F. Hofbauer. Examples for the nonuniqueness of the equilibrium state. Trans.

Amer. Math. Soc., 228:223241, 1977.
[Hop39]
E. F. Hopf. Statistik der geod

atischen Linien in Mannigfaltigkeiten negativer
Kr
ummung. Ber. Verh. S
achs. Akad. Wiss. Leipzig, 91:261304, 1939.
[HvN42]
P. Halmos and J. von Neumann. Operator methods in classical mechanics. II. Ann.
of Math., 43:332350, 1942.
[Jac60]
K. Jacobs. Neuere Methoden und Ergebnisse der Ergodentheorie. Ergebnisse der

Mathematik und ihrer Grenzgebiete. N. F., Heft 29. Springer-Verlag, 1960.
[Jac63]
K. Jacobs. Lecture notes on ergodic theory, 1962/63. Parts I, II. Matematisk

Institut, Aarhus Universitet, Aarhus, 1963.
[Kal82]
S. Kalikow. T, T 1 transformation is not loosely Bernoulli. Ann. of Math., 115:393

409, 1982.
[Kat71]
Yi. Katznelson. Ergodic automorphisms of T n are Bernoulli shifts. Israel J. Math.,

10:186195, 1971.
[Kat80]
A. Katok. Lyapunov exponents, entropy and periodic points of diffeomorphisms.

Publ. Math. IHES, 51:137173, 1980.
DR
[GT08]
[Kea75]
M. Keane. Interval exchange transformations. Math. Zeit., 141:2531, 1975.
[KH95]
A. Katok and B. Hasselblatt. Introduction to the modern theory of dynamical systems, volume 54 of Encyclopedia of Mathematics and its Applications. Cambridge
University Press, 1995. With a supplementary chapter by Katok and Leonardo
Mendoza.
[KM10]
S. Kalikow and R. McCutcheon. An outline of ergodic theory, volume 122 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2010.
[Kok35]
J. F. Koksma. Ein mengentheoretischer Satz u

ber die Gleichverteilung modulo
Eins. Compositio Math., 2:250258, 1935.
[KR80]
M. Keane and G. Rauzy. Stricte ergodicit

e des
echanges dintervalles. Math. Zeit.,
174:203212, 1980.
[Kri70]
W. Krieger. On entropy and generators of measure-preserving transformations.

Trans. Amer. Math. Soc., 149:453464, 1970.
[Kri75]
W. Krieger. On the uniqueness of the equilibrium state. Math. Systems Theory,

8:97104, 1974/75.
38
BIBLIOGRAFIA
A. Kr
amli, N. Sim
anyi, and D. Sz
asz. The K-property of three billiard balls. Ann.
of Math., 133:3772, 1991.
[KSS92]
A. Kr
amli, N. Sim
anyi, and D. Sz
asz. The K-property of four billiard balls. Comm.
Math. Phys., 144:107148, 1992.
[KW82]
Y. Katznelson and B. Weiss. A simple proof of some ergodic theorems. Israel J.

Math., 42:291296, 1982.
[Lan73]
O. Lanford. Entropy and equilibrium states in classical statistical mechanics. In

Statistical mechanics and mathematical problems, volume 20 of Lecture Notes in
Physics, page 1A113.

Springer Verlag, 1973.
[Led84]
F. Ledrappier. Propri
et
es ergodiques des mesures de Sina. Publ. Math. I.H.E.S.,
59:163188, 1984.
[Lin77]
D. Lind. The structure of skew products with ergodic group actions. Israel J.
Math., 28:205248, 1977.
[LS82]
F. Ledrappier and J.-M. Strelcyn. A proof of the estimation from below in pesins
entropy formula. Ergod. Th & Dynam. Sys, 2:203219, 1982.
[LVY13]
G. Liao, M. Viana, and J. Yang. The entropy conjecture for diffeomorphisms away
from tangencies. J. Eur. Math. Soc. (JEMS), 15(6):20432060, 2013.
[LY85a]
F. Ledrappier and L.-S. Young. The metric entropy of diffeomorphisms. I. Characterization of measures satisfying Pesins entropy formula. Ann. of Math., 122:509539,
1985.
[LY85b]
F. Ledrappier and L.-S. Young. The metric entropy of diffeomorphisms. II. Relations
between entropy, exponents and dimension. Ann. of Math., 122:540574, 1985.
[Man75]
A. Manning. Topological entropy and the first homology group. In Dynamical

Systems, Warwick, 1974, volume 468 of Lecture Notes in Math., pages 185190.
Springer-Verlag, 1975.
[Ma
n85]
R. Ma
n
e. Hyperbolicity, sinks and measure in one-dimensional dynamics. Comm.
Math. Phys., 100:495524, 1985.
[Ma
n87]
R. Ma
n
e. Ergodic theory and differentiable dynamics. Springer Verlag, 1987.
[Mas82]
H. Masur. Interval exchange transformations and measured foliations. Ann. of

Math, 115:169200, 1982.
[Mey00]
C. Meyer. Matrix analysis and applied linear algebra. Society for Industrial and
Applied Mathematics (SIAM), 2000.
[Mis73]
M. Misiurewicz. Diffeomorphim without any measure of maximal entropy. Bull.

Acad. Pol. Sci., 21:903910, 1973. Series sci. math, astr. et phys.
DR
AF
T
[KSS91]
[Mis76]
N action on a
M. Misiurewicz. A short proof of the variational principle for a Z+
compact space. Asterisque, 40:147187, 1976.
[MP77a]
M. Misiurewicz and F. Przytycki. Entropy conjecture for tori. Bull. Pol. Acad. Sci.
Math., 25:575578, 1977.
[MP77b] M. Misiurewicz and F. Przytycki. Topological entropy and degree of smooth mappings. Bull. Pol. Acad. Sci. Math., 25:573574, 1977.
[MP08]
W. Marzantowicz and F. Przytycki. Estimates of the topological entropy from

below for continuous self-maps on some compact manifolds. Discrete Contin. Dyn.
Syst. Ser., 21:501512, 2008.
[MT78]
G. Miles and R. Thomas. Generalized torus automorphisms are Bernoullian. Advances in Math. Supplementary Studies, 2:231249, 1978.
[New88]
S. Newhouse. Entropy and volume. Ergodic Theory Dynam. Systems, 8 (Charles

Conley Memorial Issue):283299, 1988.
[New90]
S. Newhouse. Continuity properties of entropy. Annals of Math., 129:215235,

1990. Errata in Annals of Math. 131:409410, 1990.
BIBLIOGRAFIA
39
D. Newton and W. Parry. On a factor automorphism of a normal dynamical system.

Ann. Math. Statist, 37:15281533, 1966.
[NR97]
A. Nogueira and D. Rudolph. Topological weak-mixing of interval exchange maps.

Ergod. Th. & Dynam. Sys., 17:11831209, 1997.
[Orn60]
D. Ornstein. On invariant measures. Bull. Amer. Math. Soc., 66:297300, 1960.
[Orn70]
D. Ornstein. Bernoulli shifts with the same entropy are isomorphic. Advances in
Math., 4:337352 (1970), 1970.
[Orn72]
D. Ornstein. On the root problem in ergodic theory. In Proceedings of the Sixth

Berkeley Symposium on Mathematical Statistics and Probability (Univ. California,
Berkeley, Calif., 1970/1971), Vol. II: Probability theory, pages 347356. Univ.
California Press, 1972.
[Orn74]
D. Ornstein. Ergodic theory, randomness, and dynamical systems. Yale University Press, 1974. James K. Whittemore Lectures in Mathematics given at Yale
University, Yale Mathematical Monographs, No. 5.
[OS73]
D. Ornstein and P. Shields. An uncountable family of K-automorphisms. Advances

in Math., 10:6388, 1973.
[OU41]
J. C. Oxtoby and S. M. Ulam. Measure-preserving homeomorphisms and metrical

transitivity. Ann. of Math., 42:874920, 1941.
[Par53]
O. S. Parasyuk. Flows of horocycles on surfaces of constant negative curvature.

Uspehi Matem. Nauk (N.S.), 8:125126, 1953.
[Pes77]
Ya. B. Pesin. Characteristic Lyapunov exponents and smooth ergodic theory. Russian Math. Surveys, 324:55114, 1977.
[Pes97]
Ya. Pesin. Dimension theory in dynamical systems. University of Chicago Press,

1997. Contemporary views and applications.
[Pet83]
K. Petersen. Ergodic theory. Cambridge Univ. Press, 1983.
[Phe93]
R. Phelps. Convex functions, monotone operators and differentiability, volume

1364 of Lecture Notes in Mathematics. Springer-Verlag, second edition, 1993.
[Pin60]
M. S. Pinsker. Informatsiya i informatsionnaya ustoichivostsluchainykh velichin i

protsessov. Problemy Pereda
ci Informacii, Vyp. 7. Izdat. Akad. Nauk SSSR, 1960.
[PT93]
J. Palis and F. Takens. Hyperbolicity and sensitive-chaotic dynamics at homoclinic

bifurcations. Cambridge University Press, 1993.
[PU10]
F. Przytycki and M. Urba

nski. Conformal fractals: ergodic theory methods, volume
371 of London Mathematical Society Lecture Note Series. Cambridge University
Press, 2010.
DR
AF
T
[NP66]
[PW72a] W. Parry and P. Walters. Endomorphisms of a Lebesgue space. Bull. Amer. Math.
Soc., 78:272276, 1972.
[PW72b] W. Parry and P. Walters. Errata: Endomorphisms of a Lebesgue space. Bull.

Amer. Math. Soc., 78:628, 1972.
[PY98]
M. Pollicott and M. Yuri. Dynamical systems and ergodic theory, volume 40 of

London Mathematical Society Student Texts. Cambridge University Press, 1998.
[Qua99]
A. Quas. Most expanding maps have no absolutely continuous invariant mesure.

Studia Math., 134:6978, 1999.
[Que87]
M. Queff
elec. Substitution dynamical systemsspectral analysis, volume 1294 of
Lecture Notes in Mathematics. Springer-Verlag, 1987.
[Rok61]
V. A. Rokhlin. Exact endomorphisms of a Lebesgue space. Izv. Akad. Nauk SSSR

Ser. Mat., 25:499530, 1961.
[Rok62]
V. A. Rokhlin. On the fundamental ideas of measure theory. A. M. S. Transl.,

10:154, 1962. Transl. from Mat. Sbornik 25 (1949), 107150. First published by
the A. M. S. in 1952 as Translation Number 71.
40
BIBLIOGRAFIA
AF
T
[Rok67a] V. A. Rokhlin. Lectures on the entropy theory of measure-preserving transformations. Russ. Math. Surveys, 22 -5:152, 1967. Transl. from Uspekhi Mat. Nauk. 22
- 5 (1967), 356.
[Rok67b] V. A. Rokhlin. Metric properties of endomorphisms of compact commuitative
groups. Amer. Math. Soc. Transl., 64:244252, 1967.
H. L. Royden. Real analysis. The Macmillan Co., 1963.
[RS61]
V. A. Rokhlin and Ja. G. Sina. The structure and properties of invariant measurable partitions. Dokl. Akad. Nauk SSSR, 141:10381041, 1961.
[Rud87]
W. Rudin. Real and complex analysis. McGraw-Hill, 1987.
[Rue73]
D. Ruelle. Statistical Mechanics on a compact set with Z action satisfying expansiveness and specification. Trans. Amer. Math. Soc., 186:237251, 1973.
[Rue78]
D. Ruelle. An inequality for the entropy of differentiable maps. Bull. Braz. Math.
Soc., 9:8387, 1978.
[Rue04]
D. Ruelle. Thermodynamic formalism. Cambridge Mathematical Library. Cambridge University Press, second edition, 2004. The mathematical structures of
equilibrium statistical mechanics.
[RY80]
C. Robinson and L. S. Young. Nonabsolutely continuous foliations for an Anosov

diffeomorphism. Invent. Math., 61:159176, 1980.
[SC87]
Ya. Sina and Nikolay Chernov. Ergodic properties of some systems of twodimensional disks and three-dimensional balls. Uspekhi Mat. Nauk, 42:153174,
256, 1987.
[Shu69]
M. Shub. Endomorphisms of compact differentiable manifolds. Amer. Journal of

Math., 91:129155, 1969.
[Shu74]
M. Shub. Dynamical systems, filtrations and entropy. Bull. Amer. Math. Soc.,
80:2741, 1974.
[Sim02]
N. Sim
anyi. The complete hyperbolicity of cylindric billiards. Ergodic Theory
Dynam. Systems, 22:281302, 2002.
[Sin63]
Ya. Sina. On the foundations of the ergodic hypothesis for a dynamical system of
Statistical Mechanics. Soviet. Math. Dokl., 4:18181822, 1963.
[Sin70]
Ya. Sina. Dynamical systems with elastic reflections. Ergodic properties of dispersing billiards. Uspehi Mat. Nauk, 25:141192, 1970.
[Ste58]
E. Sternberg. On the structure of local homeomorphisms of Euclidean n-space - II.

Amer. J. Math., 80:623631, 1958.
[SW75]
M. Shub and R. Williams. Entropy and stability. Topology, 14:329338, 1975.
DR
[Roy63]
[SX10]
R. Saghin and Z. Xia. The entropy conjecture for partially hyperbolic diffeomorphisms with 1-D center. Topology Appl., 157:2934, 2010.
[Sze75]
S. Szemer
edi. On sets of integers containing no k elements in arithmetic progression.
Acta Arith., 27:199245, 1975.
[vdW27]
B. van der Waerden. Beweis eibe Baudetschen Vermutung. Nieuw Arch. Wisk.,
15:212216, 1927.
[Vee82]
W. Veech. Gauss measures for transformations on the space of interval exchange

maps. Ann. of Math., 115:201242, 1982.
[Ver99]
Alberto Verjovsky. Sistemas de Anosov, volume 9 of Monographs of the Institute

of Mathematics and Related Sciences. Instituto de Matem
atica y Ciencias Afines,
IMCA, Lima, 1999.
[Via14]
M. Viana. Lectures on Lyapunov Exponents. Cambridge University Press, 2014.
[Wal73]
P. Walters. Some results on the classification of non-invertible measure preserving

transformations. In Recent advances in topological dynamics (Proc. Conf. Topological Dynamics, Yale Univ., New Haven, Conn., 1972; in honor of Gustav Arnold
Hedlund), pages 266276. Lecture Notes in Math., Vol. 318. Springer-Verlag, 1973.
BIBLIOGRAFIA
P. Walters. A variational principle for the pressure of continuous transformations.

Amer. J. Math., 97:937971, 1975.
AF
T
[Wal75]
41
P. Walters. An introduction to ergodic theory. Springer Verlag, 1982.
H. Weyl. Uber die Gleichverteilungen von Zahlen mod Eins. Math. Ann., 77:313
352, 1916.
[Yan80]
K. Yano. A remark on the topological entropy of homeomorphisms. Invent. Math.,

59:215220, 1980.
[Yoc92]
J.-C. Yoccoz. Travaux de Herman sur les tores invariants. Ast

erisque, 206:Exp.
No. 754, 4, 311344, 1992. S
eminaire Bourbaki, Vol. 1991/92.
[Yom87]
Y. Yomdin. Volume growth and entropy. Israel J. Math., 57:285300, 1987.
[Yos68]
K. Yosida. Functional analysis. Second edition. Die Grundlehren der mathematischen Wissenschaften, Band 123. Springer-Verlag, 1968.
[Yuz68]
S. A. Yuzvinskii. Metric properties of endomorphisms of compact groups. Amer.

Math. Soc. Transl., 66:6398, 1968.
[Zyg68]
A. Zygmund. Trigonometric series: Vols. I, II. Second edition, reprinted with

corrections and some additions. Cambridge University Press, 1968.
DR
[Wal82]
[Wey16]
AF
T
Indice
2X
famlia de todos os subconjuntos, 444
AB
DR
diferenca sim
etrica de conjuntos, 448
B(x, T, )
bola din
amica de um fluxo, 329
B(x, , )
bola din
amica infinita, 336
B(x, n, )
bola din
amica, 272
B(x, r)
bola de centro x e raio r, 466
B
-vizinhanca de um conjunto, 36, 542
C
cone dual, 51
C 0 (M )
espaco das funco
es contnuas, 50, 449,
471
0 (M )
C+
cone das funco
es positivas, 51
C (M )
espaco de funco
es H
older, 426
C r (M, N )
espaco das aplicaco
es C r , 475
Cn (, )
sequ
encia de correlaco
es, 188
Di
densidade inferior, 58
Ds
densidade superior, 58
Df
aplicaca
o derivada, 476, 477
E(A, P )
esperanca condicional, 157
E
dual de um espaco de Banach, 49
G(f, )
press
ao via conjuntos geradores, 339
H()
entropia de uma cobertura, 312
H (g)
constante de H
older, 413
H (P)
entropia de uma partica
o, 254
H (P/Q)
entropia condicional, 256
H, (g)
constante de H
older local, 413
I(U )
conjunto dos vetores invariantes, 67
I(A)
informaca
o m
edia de um alfabeto, 253
I(a)
quantidade de informaca
o de um caracter, 253
IP
funca
o de informaca
o de uma partica
o,
254
L ()
espaco das funco
es essencialmente limitadas, 484
Lp ()
espaco das funco
es p-integr
aveis, 483
P (f, )
press
ao, 337
P (f, , )
press
ao com respeito a uma cobertura,
336
P (x, )
probabilidade de transica
o, 197
Pi,j
probabilidade de transica
o, 197
R
rotaca
o no crculo ou no toro, 16
S(f, )
press
ao via conjuntos separados, 339
S1
crculo, 16
S
complemento ortogonal, 488
Sd
esfera de dimens
ao d, 474
TM
fibrado tangente, 476
T 1M
fibrado tangente unit
ario, 481
Tp M
espaco tangente a uma variedade, 476
Uf
42
INDICE
43
espaco das medidas invariantes de probabilidade, 121
Me (f )
espaco das medidas erg
odicas de probabilidade, 121
P Q
partica
o menos fina, 256
P Q
soma de partico
es, 254
P n , P n
soma iterada de uma partica
o, 258, 261
U r (f, )
vizinhanca C r , 475
p
medida de Dirac, 47
div F
divergente de um campo de vetores, 20
grau(f )
grau de uma aplicaca
o, 482
= ( )
vetor de translaco
es, 208
max
expoente de Lyapunov m
aximo, 86
min
expoente de Lyapunov mnimo, 86
medidas mutuamente singulares, 464
relaca
o de continuidade absoluta, 463
I
extremo inferior de intervalo, 209
P
bordo de uma partica
o, 268, 353
Pd
espaco projetivo, 482
(B)
raio espectral, 327
esp(L)
espectro de um operador linear, 490
supess
supremo essencial, 484
supp
suporte de uma medida, 452, 491
tanh
tangente hiperb
olica, 418
(E, x)
tempo m
edio de visita, 65
(g1 , g2 )
dist
ancia projetiva, 416
m
edia temporal de uma funca
o, 73
Td
toro de dimens
ao d, 18, 474
+
parte positiva de uma funca
o, 458
parte negativa de uma funca

o, 458
AF
T
operador de Koopman, 50, 51

Uf
DR
dual do operador de Koopman, 51

V (, , )
base de vizinhancas da topologia fraca ,
36
V (v, {g1 , . . . , gN }, )
base de vizinhancas da topologia fraca,
49
V (g, {v1 , . . . , vN }, )
49
Va (, A, )
37
Vc (, B, )
37
Vf (, F , )
37
Vp (, B, )
base de vizinhancas da topologia pontual, 44
Vu (, )
base de vizinhancas da topologia uniforme, 44
XB
funca
o caracterstica de conjunto, 453
Difeor (M )
espaco dos difeomorfismos C r , 475
Fix(f )
conjunto dos pontos fixos, 324
GL(d, R)
grupo linear, 80, 170, 479
O(d, R)
grupo ortogonal, 170
SL(d, R)
grupo linear especial, 170, 479
A
deslocamento de tipo finito, 325
P
deslocamento de tipo finito, 199
soma de coberturas, 312
cobertura menos fina, 312

n , n
soma iterada de uma cobertura aberta,
313, 319, 320
L1 ()
espaco das funco
es integr
aveis, 458
M(X)
espaco das medidas, 50, 449
M1 (M )
espaco das medidas de probabilidade, 36
M1 (f )
INDICE
44
alfabeto, 208
aplicaca
o
conforme, 432
contnua, 453
de classe C r , 475
de primeiro retorno, 5
derivada, 476, 477
diferenci
avel, 474
exponencial, 481
H
older, 468
Lipschitz, 468
mensur
avel, 453
atlas
de classe C r , 474
diferenci
avel, 473
atlas compatveis, 474
automorfismo
de Bernoulli, 285
de grupo, 170
de Kolmogorov, 289, 292
de M
obius, 427
autovalor, 225
aproximado, 229
AF
T
soma orbital de uma funca

o, 336, 392
DR
U
-
algebra gerada, 288
d(M )
dimens
ao de Hausdorff, 429
e(, x)
esperanca condicional, 155
f
imagem de uma medida, 44, 50
fA
endomorfismo linear, 115
g()
entropia topol
ogica de fluxos, via conjuntos geradores, 329
g(f )
entropia topol
ogica, via conjuntos geradores, 315
h(f )
entropia topol
ogica, 313
h(f, )
entropia com respeito a uma cobertura,
313
h (f )
entropia de um sistema din
amico, 259
h (f, P)
entropia com respeito a uma partica
o,
259
h (f, P, x)
entropia local, 271
h
(f, , x)
entropia local, 272
md (M )
medida de Hausdorff d-dimensional, 429
s()
entropia topol
ogica de fluxos, via conjuntos separados, 329
s(f )
entropia topol
ogica, via conjuntos separados, 315
w = (w )
vetor de comprimentos, 208
algebra, 444
compacta, 447
de funco
es, 472
separadora, 472
de medida, 242
atomo, 470, 493
u
ltimo teorema de Poincar
e, 133
-
algebra, 444
boreliana, 445
de Borel, 445
gerada, 288, 445
gerada a menos de medida nula, 449
produto, 108, 460, 461
a menos de medida nula, 449
bacia de uma medida, 103, 364

baricentro
de uma medida, 296
base
da topologia, 452
de abertos, 452
de Fourier, 487
de Hammel, 487
de Hilbert, 487
de vizinhancas, 36, 37, 452
dual, 478
enumer
avel de abertos, 452
enumer
avel de vizinhancas, 452
base de uma pilha, 177
bilhar, 139
canto, 139
dispersivo, 143
mesa, 139
semidispersivo, 144
bola din
amica, 272, 315
de um fluxos, 329
bordo de uma partica
o, 268, 353
crculo, 16
unit
ario, 16
cadeia, 249
campo de vetores, 477
hamiltoniano, 131
carta local, 473
cilindro, 461
aberto, 55
elementar, 462
mensur
avel, 54
INDICE
45
convexidade, 121, 295
coordenada local, 473
coordenadas aca
o-
angulo, 127
correlaca
o, 187
cubo, 450
curva minimizante, 481
curvatura negativa, 136
AF
T
classe mon
otona, 448
cobertura, 429
aberta, 312, 447
di
ametro, 317, 320
menos fina, 312
cociclo, 86
cogumelo de Bunimovich, 145
complementar ortogonal, 67, 488
completamento de espaco de medida, 448
comprimento
de progress
ao aritm
etica, 58
de uma curva, 480
condica
o
de Keane, 209
de torca
o, 128, 130, 132, 135
cone, 51, 415
dual, 51, 394
normal, 51
conjectura da entropia, 332
conjugaca
o
topol
ogica, 223, 314
conjunto
de continuidade de uma medida, 37
boreliano, 445
com volume zero, 480
convexo, 45
de Aubry -Mather, 134
de Cantor, 429
dos vetores invariantes, 67
fortemente convexo, 297
gerador, 315
gerador para fluxos, 329
invariante, 55, 98, 370
justo de medidas, 42
mensur
avel, 444
mensur
avel de Lebesgue, 245, 451, 456
minimal, 165
n
ao errante, 34
ortonormado, 487
residual, 125, 475, 480
separado, 315
separado para fluxos, 329
sind
etico, 9, 168
transitivo, 122
constante
de Avogadro, 343
de Boltzmann, 345
de Champernowne, 107
de expansividade, 269, 323
temporal, 88
continuidade absoluta, 118, 451, 463
contraca
o, 318
converg
encia
em L2 (), 70
em distribuica
o, 44
em quase todo ponto, 459
para equilbrio, 414
DR
decaimento de correlaco
es, 215
decaimento exponencial, 346
decomposica
o
de Hahn, 449
de Lebesgue, 464
de Oseledets, 87
decomposica
o de Hahn, 459
densidade
de uma medida, 365, 464
superior, 58, 61
zero no infinito, 196
derivada
de Radon-Nikodym, 464
exterior, 478
desigualdade
de Cauchy-Schwarz, 484
de H
older, 484, 486
de Jensen, 485
de Margulis-Ruelle, 281
de Minkowski, 483, 486
de Ruelle, 281
de Tchebysheff-Markov, 464
de Young, 486
desintegraca
o de uma medida, 149
deslocamento, 60, 344
de Bernoulli, 108
de Markov, 197
de Markov erg
odico, 201
de Markov finito, 198
de Markov misturador, 203
de tipo enumer
avel, 237
de tipo finito, 199, 325
gaussiano, 240, 292
di
ametro
de uma cobertura, 317, 320, 429
de uma partica
o, 268, 465
diagonal, 31
difeomorfismo, 473, 475
de classe C r , 475
local, 281
difeomorfismo local, 482
diferenca
ortogonal, 236
sim
etrica, 448
dimens
ao
de Hausdorff, 429
de Hilbert, 488
diofantino
n
umero, 168
INDICE
46
cotangente, 130, 477

de Baire, 122, 125, 475, 480
de Banach, 49, 482, 487
de configuraco
es, 344
de Hausdorff, 445
de Hilbert, 487
de Hilbert separ
avel, 488
de Lebesgue, 241, 242, 245, 247
de medida, 446
de medida completo, 448
de probabilidade, 446
n
ao trivial, 288
padr
ao, 241
dual, 488
euclideano, 474
m
etrico, 466
completo, 469
mensur
avel, 444
metriz
avel, 39, 466
produto, 461
projetivo, 482
separ
avel, 39, 468, 472
tangente, 130
tangente a uma variedade, 476
topol
ogico, 445
vetorial topol
ogico, 45
espacos
isometricamente isomorfos, 472, 488
especificaca
o, 385, 386
espectro
de Lebesgue, 221, 233
de um operador linear, 225, 490
de uma rotaca
o, 233
de uma transformaca
o, 225
discreto, 221, 231
esperanca condicional, 155, 157, 273
est
adio de Bunimovich, 145
estado
de equilbrio, 312, 344, 356
de Gibbs, 345, 347, 362, 391
de um sistema reticulado, 344
estado de Gibbs, 393
exemplo
de Chacon, 228
de Furstenberg, 166
expans
ao
de Fourier, 104, 115
em fraca
o contnua, 12
expansividade, 269
expoentes de Lyapunov, 87
extens
ao
de uma transformaca
o, 54
natural, 54, 57
natural m
ultipla, 57
AF
T
vetor, 129
dist
ancia, 466
associada a m
etrica riemanniana, 480
de Cayley-Klein, 427
de Poincar
e, 427
hiperb
olica, 427
invariante, 173, 174
plana, 105
projetiva, 416
distorca
o limitada, 106, 107, 112
distribuica
o de Gibbs, 345
divergente de um campo de vetores, 20
domnio
de invertibilidade, 304
fundamental, 90
dual de um espaco de Banach, 49, 485
dualidade, 50, 216, 392, 484
DR
elemento de volume, 136

endomorfismo
de grupo, 170
linear, 115
energia
de um estado, 345
livre de Gibbs, 345
energia livre de Gibbs, 344
entropia, 345
com respeito a uma cobertura, 313
com respeito a uma partica
o, 259
condicional, 256
da transformaca
o de Gauss, 278
de um canal de comunicaca
o, 253
de um sistema din
amico, 259
de uma cobertura, 312
de uma partica
o, 254
dos deslocamentos de Markov, 277
dos endomorfismos lineares do toro, 280
local, 271, 272
entropia topol
ogica, 311, 313, 318
de um fluxo, 329, 330
envolvente convexa, 434
equaca
o cohomol
ogica, 166
equaco
es de Hamilton-Jacobi, 125, 131
equival
encia
erg
odica, 167, 190, 221, 222, 242
espectral, 221, 224, 242
topol
ogica de fluxos, 330
ergodicidade
da expans
ao decimal, 106
da rotaca
o irracional, 104, 105
dos deslocamentos de Markov, 200
esfera de dimens
ao d, 474
espaco
compacto, 447
completamente metriz
avel, 475
conexo, 473
conexo por caminhos, 481
f
ormula
da entropia de Pesin, 282, 409
INDICE
47
de H
older, 217
de informaca
o de uma partica
o, 254
de multiplicidades, 494
entropia, 267
essencialmente limitada, 484
finitamente aditiva, 447
fortemente afim, 302
H
older, 413
integr
avel, 458
invariante, 70, 98
localmente constante, 216
localmente integr
avel, 463
quase peri
odica, 128
semicontnua, 33
simples, 454
uniformemente quase peri
odica, 78
funcional linear
contnuo, 471, 488
limitado, 488
norma, 471
positivo, 459, 471
positivo sobre um cone, 51
tangente, 53, 362
AF
T
de Bowen-Manning, 392, 432

de Liouville, 20
de mudanca de vari
aveis, 306
de Rokhlin, 303, 306, 372
fator, 263
topol
ogico, 314, 390
fibrado
cotangente, 130, 477
tangente, 130
fibrado tangente, 476
unit
ario, 136, 481
filtraca
o de Oseledets, 87
fluxo, 2, 477
conservativo, 19
de Anosov, 137
geod
esico, 136, 481
hamiltoniano, 125, 131
horocclico, 292
suspens
ao, 89
uniformemente contnuo, 329
uniformemente hiperb
olico, 137
fluxos
entropia topol
ogica, 329, 330
teorema de exist
encia de medidas invariantes, 48
teorema de recorr
encia, 5
teorema de von Neumann, 71
teorema erg
odico de Birkhoff, 79
teorema erg
odico subaditivo, 88
folha
est
avel, 117, 138
inst
avel, 117, 138
folheaca
o, 137
est
avel, 116, 117, 137
inst
avel, 116, 117, 137
forma
k-linear, 478
alternada, 478
de
area, 207
de volume, 20, 129
diferencial, 478
exata, 479
diferential
fechada, 479
linear, 478
simpl
etica, 129
fraca
o contnua, 12
de tipo limitado, 120
funca
o
-aditiva, 446, 447
p-integr
avel, 483
afim, 295
c
oncava, 485
caracterstica, 453
contnua, 453
convexa, 485
de distribuica
o, 44
g
as
DR
ideal, 141
reticulado, 344
geod
esica, 481
gerador
bilateral, 266
unilateral, 266
gerador infinitesimal, 68
Grassmanniana, 474
grau de uma aplicaca
o, 376, 482
grupo
compacto, 173
de Lie, 169
linear, 170, 479
linear especial, 170, 479
localmente compacto, 170
metriz
avel, 173
ortogonal, 170
topol
ogico, 169
grupo a 1-par
ametro, 68
hamiltoniano, 125
n
ao degenerado, 128
hip
otese erg
odica
de Boltzmann, 65, 124
de Boltzmann-Sinai, 139
hipersuperfcie de energia, 126
homeomorfismo, 446
de tors
ao, 132
homomorfismo
de
algebras de medida, 242
identidade do paralelogramo, 489
INDICE
48
riemanniana, 480
matriz
de covari
ancias, 240
de transica
o, 325
estoc
astica, 198
aperi
odica, 203
irredutvel, 201
hiperb
olica, 116
infinita, 240
positiva definida, 240
sim
etrica, 240
medida, 446
-finita, 8, 75, 446
absolutamente contnua, 121
at
omica, 470
boreliana, 466
com mem
oria finita, 206
com sinal, 50, 449
com sinal finita, 449
completa, 448
complexa, 449, 491
de Bernoulli, 197, 462
de Dirac, 47, 446
de Haar, 173
de Hausdorff, 429
de Lebesgue, 450
de Lebesgue no crculo, 16
de Liouville, 126
de m
axima entropia, 356
de Markov, 197
de probabilidade, 446
de refer
encia, 393395
erg
odica, 75
espectral, 491
estacion
aria, 57, 197
exterior de Lebesgue, 451
fsica, 371
finita, 446
gaussiana, 240
infinita, 7
invariante, 2, 44
justa, 469
n
ao at
omica, 470
n
ao singular, 304, 466
positiva, 449
produto, 108, 461
quociente, 148
regular, 467
suspens
ao, 94
transporte, 92, 94
medidas
equivalentes, 14, 463
mutuamente singulares, 122, 464
mem
oria finita, 196, 206
minimalidade, 18, 163, 210
mistura fraca, 226
mudanca de coordenadas, 473
AF
T
imagem de uma medida, 44, 50

informaca
o m
edia de um alfabeto, 253
integrabilidade
uniforme, 465
integral
de Lebesgue, 458
de uma funca
o simples, 457
primeira, 22, 126
relativamente a medida com sinal, 459
relativamente a medida complexa, 460
interc
ambio de intervalos, 207
redutvel, 209
intervalo
d-
adico, 517
em Z, 58
invari
ancia
a direita, 173
`
a esquerda, 173
`
invariante de equival
encia
erg
odica, 223
espectral, 225
isometria, 318
linear, 50, 489, 490
isomorfismo
de
algebras de medida, 242
erg
odico, 222, 242
iterado de uma medida, 44, 50
jacobiano, 304
DR
lacuna espectral, 215, 426

lei da mnima aca
o de Maupertuis, 344
lema
de Borel-Cantelli, 455
de distorca
o, 367
de Fatou, 460
de Kakutani-Rokhlin, 29
de Riemann-Lebesgue, 240
de Vitali, 463, 542
de Zorn, 31
do sombreamento, 378
levantamento
de um conjunto invariante, 55
de uma medida invariante, 56
limite
inferior, 445
superior, 445
local
difeomorfismo, 281
m
aquina de somar, 176
m
edia
orbital, 73
temporal, 73
m
etodo de empilhamento, 177
m
etrica
de Levy-Prohorov, 39
INDICE
49
recorrente, 7
super n
ao errante, 63
posto, 236, 238
potenciais cohom
ologos, 343, 410
potencial, 312, 336
pr
e-
orbita, 54, 379
peri
odica, 379
press
ao, 311, 336, 337
de um estado, 344, 345
primeiro retorno, 22
princpio
da distribuica
o de massa, 440
variacional, 344, 349
probabilidade, 446
condicional, 149
de transica
o, 197
produto
de medidas, 461
enumer
avel, 461
finito, 461
interno, 483, 486
semi-direto, 53
progress
ao aritm
etica, 58
projeca
o, 491
estereogr
afica, 474
ortogonal, 67
propriedade da lacuna espectral, 215, 426
pseudo-
orbita, 378
peri
odica, 378
AF
T
multiplicidade
de um autovalor, 225
de um expoente de Lyapunov, 87
n
umero
de Lebesgue, 471
diofantino, 168
normal, 11, 107, 108
n
umero de rotaca
o, 132
norma, 484, 487
L , 484
Lp , 483
da converg
encia uniforme, 471
de funcional linear, 49
de operador, 174, 327, 330
de um funcional linear, 471
de uma matriz, 79
de uma medida, 449
od
ometro, 176
operador
de Koopman, 50, 51
de Ruelle-Perron-Frobenius, 392
de transfer
encia, 215, 392
linear
adjunto, 489
autoadjunto, 489, 491
contnuo, 489
dual, 51, 392
idempotente, 491
limitado, 489, 490
normal, 489, 493, 494
positivo, 41, 50, 392
positivo sobre um cone, 51
unit
ario, 489, 493
raio espectral, 51, 327

raiz de um sistema, 295
ramo
inverso, 366, 376, 377, 433
raz
ao
aurea, 9, 186
cruzada, 417
relaca
o de cohomologia, 343
renormalizaca
o de Rauzy-Veech, 214
representaca
o espectral, 494
repulsor, 431
conforme, 392, 432
restrica
o normalizada, 147, 163
ret
angulo, 450
reta estendida, 446, 453
retorno
primeiro, 22
simult
aneo, 30
rotaca
o, 16
irracional, 17
no crculo, 16
no toro, 18
racional, 17
DR
paradoxo do macaco, 110

partica
o, 254, 465
de Z, 58
definida por uma cobertura, 40, 269
di
ametro, 268, 465
geradora, 265, 267
menos fina, 151, 256
mensur
avel, 147, 151
trivial, 291
partico
es independentes, 255
permutaca
o, 78
pilha simples, 177
ponto
de densidade, 462
fixo
eltico, 131, 133135
eltico gen
erico, 132
hiperb
olico, 133
n
ao degenerado, 131, 134
heteroclnico, 508
homoclnico transversal, 133
quantidade de informaca
o de um caracter, 253
quase todo ponto, 459
quociente projetivo, 416
INDICE
50
de uma medida, 452
supremo essencial, 484
suspens
ao
de uma medida, 90
de uma transformaca
o, 89
AF
T
s
erie
DR
absolutamente som
avel, 486
de Fourier, 115
seca
o transversal, 91
semicontinuidade da entropia, 267
sequ
encia
aditiva, 79
admissvel, 325, 326
de correlaco
es, 188
de covari
ancias, 240
equidistribuda, 180
n
ao lacunar, 29
separadora, 243
subaditiva, 79, 80
uniformemente integr
avel, 88
sistema
aperi
odico, 29, 267
com espectro de Lebesgue, 234, 292
com espectro discreto, 231
conservativo, 48, 124
de Kolmogorov, 288, 292
de spin, 344
enumeravelmente gerado, 236
erg
odico, 97, 98
fracamente misturador, 191, 226
hamiltoniano, 125
integr
avel, 126
invertvel em quase todo ponto, 249
minimal, 163, 165, 210
misturador, 188
reticulado, 344
totalmente dissipativo, 48
unicamente erg
odico, 163
soma
de coberturas, 312
de partico
es, 254
de Riemann, 458
de uma famlia de subespacos, 487
de uma famlia de vetores, 487
direta ortogonal, 488
orbital, 336, 392
soma iterada
de uma cobertura aberta, 313, 319, 320
de uma partica
o, 258, 261
sombreamento, 378
subcobertura, 312, 447
substituica
o, 178, 179, 323
de Cantor, 178
de Chacon, 178
de Feigenbaum, 178
de Fibonacci, 178, 323
de Thue-Morse, 178
primitiva, 178
subvariedade, 474
riemanniana, 480
suporte
de medida espectral, 491
tempo
de primeiro retorno, 5, 23, 91
de retorno, 89, 90
m
edio de retorno, 6
m
edio de visita, 65, 71
teorema
da continuidade
inferior, 455
no vazio, 447
superior, 455
da converg
encia
dominada, 460
mon
otona, 460
da decomposica
o
de Hahn, 449
de Lebesgue, 464
din
amica, 382
erg
odica, 148
da desintegraca
o, 152
da forma normal de Birkhoff, 132, 134
da representaca
o espectral, 494
das classes mon
otonas, 448
de Anosov, 136
de aproximaca
o, 448
de Banach-Alaoglu, 50, 489
de Banach-Mazur, 52
de Brin-Katok, 272
de compacidade, 41
de continuidade absoluta, 138
de derivaca
o de Lebesgue, 463
de Dirichlet, 510
de ergodicidade de Sinai, 144
de exist
encia de medidas invariantes, 35
para fluxos, 48
de extens
ao de medidas, 447
de Friedman-Ornstein, 293
de Furstenberg, 166
de Furstenberg-Kesten, 86
de Gottschalk, 168
de Gr
unwald, 63
de Green-Tao, 60
de Haar, 171
de Halmos-von Neumann, 243
de Hindman, 168
de Jacobs, 296, 297
de Ka
c, 5
de Keane, 210
de Kingman, 66, 80
de Kolmogorov-Arnold-Moser, 128, 130
de Kolmogorov-Sinai, 263
INDICE
pontual, 44
produto, 110, 462
uniforme, 44
topologias
equivalentes, 37
toro de dimens
ao d, 18, 474
torre, 27
transformaca
o
h-expansiva, 336, 360
conservativa, 19
de Dehn, 510
de Gauss, 13, 24
de Manneville-Pomeau, 26
de Poincar
e, 90, 91
de primeiro retorno, 23, 90, 91
expans
ao decimal, 10
expansiva, 269, 323, 366, 377
expansora, 27, 374
do intervalo, 372
numa variedade, 364
induzida, 24
integr
avel, 130
intrinsecamente erg
odica, 361
localmente invertvel, 303
logstica, 323
minimal, 18, 105
n
ao degenerada, 130
simpl
etica, 129
tempo 1, 5
topologicamente
exata, 370
fracamente misturadora, 228
misturadora, 190
transitiva, 110
transformaco
es
que comutam entre si, 29
topologicamente conjugadas, 314
topologicamente equivalentes, 314
transica
o de fase, 344
transica
o de fases, 343
transitividade, 122
translaca
o
a direita, 170
`
a esquerda, 170
`
num grupo compacto, 318
transporte de uma medida, 92
transversalidade, 479, 482
tri
angulo de Sierpinski, 440
AF
T
Liouville, 20, 21
Livsic, 391, 410
Lusin, 468, 470
Masur-Veech, 211
Mazur, 53
Oseledets, 87, 281
Oxtoby-Ulam, 125
Perron-Frobenius, 198
Prohorov, 42
Radon-Nikodym, 464
recorr
encia
de Birkhoff, 7, 8, 47
de Poincar
e, 4, 7
para fluxos, 5
de recorr
encia m
ultipla
de Birkhoff, 29
de Poincar
e, 30
de Riesz-Markov, 449, 471
de Rokhlin, 152, 161
de Ruelle, 391
de Sard, 480
de Schauder-Tychonoff, 45
de Shannon-McMillan-Breiman, 271
de Stone-Weierstrass, 472
de Szemer
edi, 59, 61
de Tychonoff, 110
de van der Waerden, 58, 60
de Vitali, 463
de von Neumann para fluxos, 71
de Weyl, 180
de Whitney, 480
do espectro discreto, 243
do ponto fixo de Poincar
e-Birkhoff, 133
erg
odico
de Birkhoff, 66, 71, 73, 76
de Birkhoff para fluxos, 79
de von Neumann, 66, 69, 76
multiplicativo, 87, 281
subaditivo, 66, 80
subaditivo para fluxos, 88
espectral, 493
m
ultiplo de von Neumann, 196
normal de Borel, 108
Portmanteau, 37
Stone, 68
topo de uma pilha, 177
topologia, 445
C r , 475
definida por
bases de vizinhancas, 36
uma dist
ancia, 466
discreta, 110
fraca, 49, 489
fraca , 36, 49, 489
gerada, 445
mais forte, 37
mais fraca, 37
DR
de
de
de
de
de
de
de
de
de
de
de
51
unicidade erg
odica, 163
valor regular de uma aplicaca
o, 479
vari
avel aleat
oria, 44
variaca
o total, 449
variedade
de classe C r , 474
INDICE
52
vetor
AF
T
de Grassmann, 474
diferenci
avel, 473
est
avel, 117, 138
inst
avel, 117, 138
modelada em espaco de Banach, 473
riemanniana, 480
simpl
etica, 129
DR
de comprimentos, 208
de translaco
es, 208
diofantino, 129
frequ
encias, 128
racionalmente independente, 18, 209
vetores ortogonais, 487
vizinhanca
de um conjunto, 36
de um ponto, 452
volume
induzido por m
etrica riemanniana, 136,
171
zero, 480

Ergodica PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Ergodica PDF

Încărcat de

Drepturi de autor:

Formate disponibile

AF

Fundamentos da Teoria Ergodica

Marcelo Viana e Krerley Oliveira

Em poucas palavras, a Teoria Erg

f t f s = f t+s para todo t, s R.

Fluxos aparecem, por exemplo, associados a equacoes diferenciais: tome como

Uma medida em M e uma funcao n

para toda famlia enumeravel {An } de subconjuntos mensuraveis dois-a-dois

para todo conjunto mensuravel E M.

Heuristicamente, isto pode ser interpretado da seguinte forma: a probabilidade

para todo mensuravel E M e todo t R.

Por que estudar medidas invariantes?

Como em todo ramo da Matem

Boltzmann acreditava que as

Anosov, conservativos ou dissipativos, a qual foi estendida logo em seguida por

Linear, inclusive a forma can

O corpo principal deste livro est

Os Captulos 1 a 4 formam uma especie de ciclo b

Os Captulos 7 a 9 tratam temas bastante diversos - perda de memoria,

Os Apendices A.1 e A.2 cobrem diversos t

Como utilizar este livro

Neste formato, o teorema de Ruelle (Teorema 12.1) e suas aplicacoes constituem

Neste formato, o curso poder

do minicurso no evento Novos Talentos em Matem

Marcelo Viana1 e Krerley Oliveira2

Estrada D. Castorina 110, 22460-320 Rio de Janeiro, Brasil. viana@impa.br.

1 Medidas Invariantes e Recorr

4.2.4 Transformacao de Gauss . . . . . . .

10.5.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 362

A Elementos de Medida, Topologia e An

Este tipo de resultado tem importantes aplicacoes em Combinatoria e Teoria

Seja (M, B, ) um espaco de medida e seja f : M M uma transformacao

para todo conjunto mensuravel E M .

f s+t = f s f t para todo s, t R.

Isto tambem implica que toda a transformacao f t e invertvel e a sua inversa

para todo mensuravel E M e todo t R.

1.1. MEDIDAS INVARIANTES

Inicialmente, observe que por hip

isto mostra que (1.1.4) e valida para as funcoes caractersticas. Ent

1.1.1. Seja f : M M uma transformacao mensuravel. Mostre que uma

para toda funcao contnua limitada : M R ent

1.1.3. Prove que se f : M M preserva uma medida ent

1.1.4. Suponha que f : M M preserva uma probabilidade . Seja B M

Mostre que existe C M tal que f 1 (C) = C e (BC) = 0.

1.1.5. Seja f : U U um difeomorfismo C 1 de um aberto U Rd . Mostre

Vamos estudar duas versoes do teorema de Poincare. A primeira (Secao 1.2.1)

1.2. TEOREMA DE RECORRENCIA

Como (E0 ) = 0 e e invariante, temos:

Portanto, (F ) = 0 como queramos provar.

Observe que o Teorema 1.2.1 implica um resultado analogo para sistemas

Seja f : M M uma transformacao mensuravel e seja uma medida finita

Ou seja, E0 e o conjunto dos pontos de E que nunca regressam a E e E0 e o

Teorema 1.2.2 (Kac). Seja f : M M , uma medida invariante finita e E

Ou seja, En e o conjunto dos pontos de E que retornam a E pela primeira vez

Agora observe que

f n (f (y)) = f n+1 (y) e isto ocorre se, e somente se, y En+1

) + (En+1 ) para todo n.

Aplicando esta relacao repetidas vezes, obtemos que

(Ei ) para todo m > n.

A relacao (1.2.2) implica que (Em

Para finalizar a demonstracao, substitumos (1.2.5) na igualdade (1.2.2). Desta

como queramos demonstrar.

Em alguma situacoes, por exemplo quando o sistema (f, ) e erg