Um Primeiro Curso Sobre Teoria Ergódica e Aplicações

Um Primeiro Curso sobre Teoria
Ergdica com Aplicaes

Publicaes Matemticas
Um Primeiro Curso sobre Teoria

Ergdica com Aplicaes
Krerley Oliveira
UFAL
impa
25o Colquio Brasileiro de Matemtica
Copyright 2005 by Krerley Oliveira
Direitos reservados, 2005 pela Associao Instituto
Nacional de Matemtica Pura e Aplicada - IMPA
Estrada Dona Castorina, 110
22460-320 Rio de Janeiro, RJ
Impresso no Brasil / Printed in Brazil
Capa: Noni Geiger / Srgio R. Vaz
25o Colquio Brasileiro de Matemtica
A Short Introduction to Numerical Analysis of Stochastic Differential Equations -
Luis Jos Roman
An Introduction to Gauge Theory and its Applications - Marcos Jardim
Aplicaes da Anlise Combinatria Mecnica Estatstica - Domingos H. U.
Marchetti
Dynamics of Infinite-dimensional Groups and Ramsey-type Phenomena - Vladimir
Pestov
Elementos de Estatstica Computacional usando Plataformas de Software
Livre/Gratuito - Alejandro C. Frery e Francisco Cribari-Neto
Espaos de Hardy no Disco Unitrio - Gustavo Hoepfner e Jorge Hounie
Fotografia 3D - Paulo Cezar Carvalho, Luiz Velho, Anselmo Antunes Montenegro,
Adelailson Peixoto, Asla S e Esdras Soares
Introduo Teoria da Escolha - Luciano I. de Castro e Jos Heleno Faro
Introduo Dinmica de Aplicaes do Tipo Twist - Clodoaldo G. Ragazzo, Mrio
J. Dias Carneiro e Salvador Addas-Zanata
Schubert Calculus: an Algebraic Introduction - Letterio Gatto
Surface Subgroups and Subgroup Separability in 3-manifold Topology - Darren
Long and Alan W. Reid
Tpicos em Processos Estocsticos: Eventos Raros, Tempos Exponenciais e
Metaestabilidade - Adilson Simonis e Cludia Peixoto
Topics in Inverse Problems - Johann Baumeister and Antonio Leito
Um Primeiro Curso sobre Teoria Ergdica com Aplicaes - Krerley Oliveira
Uma Introduo Simetrizao em Anlise e Geometria - Renato H. L. Pedrosa
Distribuio:
IMPA
Estrada Dona Castorina, 110
22460-320 Rio de Janeiro, RJ
E-mail: ddic@impa.br - http://www.impa.br
ISBN: 85-244-0223-7
25coloquiotext
i i
2005/5/4
page 1
i i
Agradecimentos
Este texto e um subconjunto de um livro escrito em colaboracao

com o Prof. Marcelo Viana, o qual se torna imediatamente colabo-
rador direto deste texto. Agradeco a ele por seu incentivo na escrita,
pelas correcoes e as varias sugestoes. Agradeco tambem aos colegas
professores da UFAL, Ad an Corcho e Hilario Alencar, que dividem
comigo as diculdades e alegrias do dia-a-dia, por seu apoio e pelo
prazer de um ambiente cientco agradavel. Agradeco tambem aos es-
tudantes Joao Gouveia, Vitor Saraiva, Ricardo Andrade, Maria Jo ao
e Marcio Batista, que contibuiram com melhoria e clareza do texto
com leituras e sugestoes.
Agradeco à Fundacao de Amparo a` Pesquisa em Alagoas e ao
CNPq pelo suporte nanceiro e a Associacao do Instituto Nacional
de Matematica Pura e Aplicada e seus funcion arios, onde parte deste
trabalho foi escrito, pelo ambiente cientco de excelente qualidade.
Finalmente agradeco à minha famlia, Elisete, Batista, Kathy e
Beto, que me dao o suporte necessario para o dia-a-dia e minha dileta
esposa Marcela.
Krerley
i i
i i
25coloquiotext
i i
2005/5/4
page 2
i i
i i
i i
25coloquiotext
i i
2005/5/4
page 3
i i
Pref
acio
Ao longo dos u ltimos anos diversas aplicacoes da Teoria Erg

odica
tem sido feitas para resolver problemas em areas das mais diversas,
desde problemas em Teoria dos N umeros e Topologia a` aplicacoes
em Geometria Diferencial e Probabilidade. Numa outra direcao, a
riqueza da motivacao geralmente oriunda da Fsica, torna a area
promissora e transportar resultados e heurstica obtidos atraves de
experimentos e simulacoes de problemas fsicos para uma linguagem
matematica precisa e uma tarefa ardua e que pode gerar excelentes
resultados do ponto de vista matem atico. Apesar da importancia
e do apelo de tal disciplina, os estudantes a nvel de graduacao e
mestrado nao disp oem de muitos textos e cursos elementares sobre
o assunto com intencao de promover o primeiro contato com a dis-
ciplina. Em geral, somente em cursos de doutorado o aluno pode
tomar conhecimento dos mecanismos da area.
Este livro foi escrito com o objetivo de ser uma introducao à
Teoria Ergodica para leitores com conhecimentos equivalentes aos de
um estudante do u ltimo ano de graduacao em matematica ou incio de
mestrado. Todo o texto foi focalizado em dois resultados principais:
o Teorema de Recorrencia e o Teorema Ergodico.
Para tornar todo o texto auto-suciente ate mesmo para leitores
menos experientes, introduzimos um captulo tratando dos principais
resultados de Teoria da Medida utilizados. O leitor mais experiente
pode dispensar a leitura deste captulo, recorrendo a ele eventual-
mente quando lhe for necessario.
i i
i i
25coloquiotext
i i
2005/5/4
page 4
i i
Ao longo do texto, obteremos v arias aplicacoes do Teorema de

Recorrencia e do Teorema Ergodico a alguns exemplos concretos.
Em particular, serao estudados os algoritmos de expansao decimal
de um n umero e expansao em fracoes contnuas. Veremos tambem
os importantes exemplos de uxos que preservam volume e uxos
Hamiltonianos. O Captulo 7 esta especialmente dedicado ao es-
tudo de duas aplicacoes interessantes e profundas em Teoria dos
Numeros, que tratam da existencia de progressoes aritmeticas de com-
primento arbitrario num conjunto dado e da distribuicao de valores
de polin
omios.
1
Krerley Oliveira
1 Departamento de Matem atica, Universidade Federal de Alagoas, Campus A.

C. Sim o, Brasil. krerley@mat.ufal.br.
oes s/n, 57072-090 Macei
i i
i i
25coloquiotext
i i
2005/5/4
page 5
i i
Captulo 1
Elementos de Teoria da
Medida
Neste captulo inicial recordamos algumas nocoes e resultados

b
asicos da Teoria da Medida que sao u teis para o que segue. As
demonstracoes podem ser encontradas nos livros de Castro [Cas04],
Fernandez [Fer02] ou Rudin [Rud87].
1.1 Espacos mensur

aveis
Comecamos por introduzir as nocoes de algebra e -algebra de sub-
conjuntos. Em seguida denimos espacos mensur aveis e apresenta-
mos uma tecnica de construcao de -algebras. Seja M um conjunto.
Denic
ao 1.1. Uma algebra de subconjuntos de M e uma famlia
B de subconjuntos que contem M e e fechada para as operacoes ele-
mentares de conjuntos:
A B implica Ac = M \ A B
A B e B B implica A B B.
Entao A B = (Ac B c )c e A \ B = A B c tambem estao em

B, quaisquer que sejam A, B B. Alem disso, por associatividade,
i i
i i
25coloquiotext
i i
2005/5/4
page 6
i i
6 [CAP. 1: ELEMENTOS DE TEORIA DA MEDIDA
a uni umero nito de elementos de B

ao e a interseccao de qualquer n
tambem estao em B.
Denic
ao 1.2. Uma algebra diz-se uma -algebra de subconjuntos
de M se tambem for fechada para uni
oes enumeraveis:

Aj B para j = 1, 2, . . . , n, . . . implica Aj B.
j=1
Observa ao. B tambem e fechada para interseccoes enumer

c aveis:

c
se Aj B para j = 1, 2, . . . , n, . . . ent
ao Aj = Acj B.
j=1 j=1
Denic
ao 1.3. Um espaco mensur avel e uma dupla (M, B) onde
M e um conjunto e B e uma -algebra de subconjuntos de M . Os
elementos de B sao chamados conjuntos mensuraveis.
Em seguida apresentamos alguns exemplos de -algebras reme-
tendo para os exerccios o estudo de outros exemplos.
Exemplo 1.4. Seja M um conjunto qualquer.
1. Denotemos por 2M a famlia de todos os subconjuntos de M .
ao B = 2M e claramente uma -algebra.
Ent
2. B = {, M } e tambem uma -algebra.
Note que se B e uma algebra de um conjunto M ent ao {, M }
B 2M . Portanto {, M } e a menor algebra e 2M e a maior algebra
de um conjunto M . Considere uma famlia n ao-vazia {Bi : i I}
qualquer de -algebras (I e um conjunto qualquer, que serve apenas
para indexar os elementos da famlia). Ent
ao a interseccao

B= Bi
iI
e tambem uma -algebra (veja o Exerccio 1.1). Agora, dado um

conjunto qualquer E de subconjuntos de M , podemos aplicar esta
ideia à famlia de todas as -algebras que contem E. Note que esta
ao vazia, uma vez que contem a -algebra 2M , pelo menos.
famlia e n
De acordo com a observacao anterior, a interseccao de todas estas
i i
i i
25coloquiotext
i i
2005/5/4
page 7
i i
[SEC. 1.2: ESPAC

OS DE MEDIDA 7
-algebras e tambem uma -algebra, e e claro que contem E. Alem

disso, do modo que e construda, ela esta contida em todas as -
algebras que contem E. Portanto e a menor -algebra que contem

E.
Deni c algebra gerada por uma famlia E de subconjun-
ao 1.5. A -
tos de M e a menor -algebra que contem a famlia E.
No caso em que M vem munido da estrutura de espaco topologico,
a uma escolha natural para E, nomeadamente, o conjunto dos sub-
h
conjuntos abertos. Isto nos conduz a` nocao de -
algebra de Borel.
Deni c
ao 1.6. Seja (M, ) um espaco topologico, isto e, M um
conjunto e a famlia dos subconjuntos abertos de M . Ent ao a -
algebra de Borel de M e a -algebra gerada por , ou seja, a menor

-algebra que contem todos os subconjuntos abertos.
1.2 Espa
cos de medida
Agora introduzimos o conceito de medida e analisamos algumas das
suas propriedades fundamentais. Em seguida apresentamos alguns re-
sultados sobre construcao de medidas. Finalmente, analisamos duas
importantes classes de medidas: medidas de Lebesgue em espacos
euclideanos e medidas produto em espaco de sequencias.
Deni cao 1.7. Uma medida num espaco mensuravel (M, B) e uma
funcao : B [0, +] que satisfaz:
1. ()
= 0;
2. ( j=1 Aj ) = j=1 (Aj ) para quaisquer Aj B disjuntos
dois-a-dois.
A tripla (M, B, ) e chamada espaco de medida. Quando (M ) = 1
dizemos que e uma medida de probabilidade e (M, B, ) e um espaco
de probabilidade.
A segunda propriedade na denicao de medida e chamada a -
aditividade. Dizemos que uma funcao : B [0, +] e nitamente
aditiva se:

N N
( Aj ) = (Aj )
j=1 j=1
i i
i i
25coloquiotexto
i i
2005/5/4
page 8
i i
para qualquer famlia nita A1 , . . . , AN B de subconjuntos disjun-

tos dois-a-dois. Note que toda medida e, automaticamente, nita-
mente aditiva.
Exemplo 1.8. Seja M um conjunto e consideremos a -algebra B =
2M . Dado qualquer p M , consideremos a funcao p : 2M [0, +]
denida por:
1 , se p A
p (A) = .
0 , se p
/A
Temos que p e uma medida, que e usualmente designada por delta
de Dirac no ponto p.
Em seguida apresentamos um resultado muito u
til na construcao
de medidas.
Teorema 1.9 (Extens ao). Seja B0 uma a lgebra de subconjuntos de
M e seja 0 : B0 [0, +] uma func ao nita, nitamente aditiva.
Entao existe uma u ao nita, nitamente aditiva : B
nica func
[0, +] que e uma extensao de 0 (isto e, restrita a B0 coincide
com 0 ) a algebra B gerada por B0 . Se 0 e -aditiva ent
` - ao
tambem o e.
Em geral, ao aplicar este resultado o mais difcil e vericar a
-aditividade. O criterio mais usado para esse efeito e expresso
no seguinte resultado. A sua demonstracao e proposta como Ex-
erccio 1.7.
Teorema 1.10 (-aditividade). Seja B0 uma a lgebra e seja 0 :
B0 [0, +] uma funcao nitamente aditiva com 0 (M ) = 1.
Suponha que

n
lim 0 ( Aj ) = 0 (1.1)
n
j=1
para toda
a sequencia A1 Aj de conjuntos mensur
aveis
tal que j=1 Aj = . Ent ao 0 e -aditiva.
O resultado seguinte nos diz que todo o elemento B da -algebra
gerada por uma algebra e aproximado por algum elemento B0 da
algebra, no sentido em que a medida da diferenca simetrica BB0 =

B \ B0 B0 \ B e pequena.
i i
i i
25coloquiotext
i i
2005/5/4
page 9
i i
[SEC. 1.2: ESPAC

OS DE MEDIDA 9
Teorema 1.11 (Aproxima ao). Seja (M, B, ) um espaco de prob-

c
abilidade e seja B0 uma a algebra B. Ent
lgebra que gera a - ao para
todo o > 0 e todo B B existe B0 B0 tal que (BB0 ) < .
1.2.1 Medida de Lebesgue

A medida de Lebesgue corresponde ao que entendemos por volume
de subconjuntos de Rd . Para constru-la, recorremos ao Teorema de
Extensao 1.9. Consideremos M = [0, 1] e seja B0 a famlia de todos
os subconjuntos da forma B = I1 IN onde I1 , . . . , IN sao
f
intervalos disjuntos dois-a-dois. E acil ver que B0 e uma algebra de
subconjuntos de M . Alem disso, temos uma funcao 0 : B0 [0, 1]
denida nesta algebra por

0 I1 IN = |I1 | + + |IN | ,
onde |Ij | representa o comprimento de Ij . Note que 0 (M ) = 1.

Alem disso, a -algebra gerada por B0 coincide com a -algebra de
Borel de M , j a que todo aberto pode ser escrito como uniao enu-
meravel de intervalos disjuntos dois-a-dois. Pelo Teorema 1.9, existe
uma u nica probabilidade denida na -algebra de [0, 1] que e uma
extensao de 0 à -algebra B gerada por B0 . Chamamos de me-
dida de Lebesgue em [0, 1]. Mais geralmente, denimos medida de
Lebesgue no cubo M = [0, 1]d de qualquer dimens ao d 1 da
seguinte maneira: chamamos ret angulo em M qualquer subconjunto
da forma R = I1 Id onde os Ij sao intervalos, e denimos
0 (R) = |I1 | |Id | .
Em seguida, consideramos a algebra B0 dos subconjuntos de [0, 1]d da

forma B = R1 RN , onde R1 , . . . , RN sao ret
angulos disjuntos
dois-a-dois, e denimos
0 (B) = 0 (R1 ) + 0 (RN )
para todo B nessa algebra. A medida de Lebesgue em M = [0, 1]d e

a extensao de 0 à -algebra gerada por B0 , que coincide com a -
algebra de Borel de M . Finalmente, denimos a medida de Lebesgue

i i
i i
25coloquiotext
i i
2005/5/4
page 10
i i
num espaco euclidiano Rd decompondo o espaco em cubos de lado

unitario

Rd = [m1 , m1 + 1) [md , md + 1)
m1 Z md Z
e denindo, para cada subconjunto mensur avel E,

(E) = E [m1 , m1 + 1) [md , md + 1) .
m1 Z md Z
Exemplo 1.12 (Medida de Volume em S 1 ). Considere a aplicacao

sobrejetora : [0, 1] S 1 denida por:
(t) = e2it .
A medida de Lebesgue em S 1 e a medida denida por (A) =
m( 1 (A)). Observe que com esta denicao, a medida de A e igual
a medida de R (A), onde R : S 1 S 1 denota a rotacao de angulo
. Na verdade, modulo multiplicacao por um n umero positivo, e a
u
nica medida que satisfaz essa condicao para todo .
Exemplo 1.13. Seja : [0, 1] R uma funcao contnua e positiva.
Dena a medida num intervalo [a, b] por:

b
([a, b]) = (x) dx.
a
Observe que e aditiva e com o auxlio dos Teoremas 1.10 e 1.9

podemos estender para toda -algebra dos Borelianos de [0, 1].
A medida tem a seguinte propriedade especial: se um conjunto
A [0, 1] tem medida de Lebesgue 0 ent ao (A) = 0. Essa pro-
priedade nos diz que e absolutamente contnua com respeito à
medida de Lebesgue. A densidade de em relacao a m e igual a .
Estudaremos tais medidas com mais detalhes na Seccao 1.3.2.
Exemplo 1.14. Vamos agora exibir uma medida que, apesar de
ser positiva em qualquer aberto, nao e absolutamente contnua com
respeito a medida de Lebesgue. Para isso, considere uma enumeracao
{r1 , r2 , . . . } do conjunto Q dos racionais. Dena por:
1
(A) = .
2i
ri A
i i
i i
25coloquiotext
i i
2005/5/4
page 11
i i
[SEC. 1.2: ESPAC

OS DE MEDIDA 11
Observe que a medida de qualquer aberto da reta e positiva, pois

necessariamente A contem algum i, e, apesar disso, (Q) = 1. Em
particular, n
ao e absolutamente contnua com respeito a medida de
Lebesgue.
O exemplo anterior nos motiva a denir o suporte de uma medida:
Deni ao 1.15. Seja (M, B, ) um espaco de medida e M um espaco
c
topol
ogico. O suporte da medida e o fecho do conjunto de pontos
x M tais que para qualquer vizinhanca aberta Vx contendo x,
temos que (Vx ) > 0.
Fica como exerccio para o leitor mostrar que o suporte de uma
medida e sempre um conjunto fechado (1.17).
1.2.2 Medida produto no espa

co das sequ
encias
Consideremos os espacos de probabilidade (Mi , Bi , i ), com i Z.
Vamos construir uma probabilidade no conjunto

M= Mi
i=
das sequencias bilaterais (xi )i= com xi Mi para cada i. Mais

precisamente, a medida ser algebra produto B das
a denida na -
-algebras Bi , que e caracterizada do seguinte modo: dados inteiros
m n e conjuntos Aj Bj para m j n, consideremos
[m; Am , . . . , An ] = {(xi )iZ : xj Aj para m j n}.
Estes subconjuntos de M sao chamados cilindros. A famlia B0 das
uni
oes nitas de cilindros disjuntos dois-a-dois e uma algebra. Por
denicao, a -algebra produto B e a -algebra gerada por B0 . Para
construir a medida procedemos do seguinte modo: primeiramente,
consideramos a aplicacao denida na famlia dos cilindros por

n
([m; Am , . . . , An ]) = j (Aj ).
j=m
Em seguida estendemos à algebra B0 , estipulando que a imagem

de qualquer uni
ao nita de cilindros disjuntos dois-a-dois e igual a`
i i
i i
25coloquiotext
i i
2005/5/4
page 12
i i
soma das imagens dos cilindros. Esta extens

ao est
a bem denida e
e nitamente aditiva. Entao, recorrendo aos Teoremas 1.10 e 1.9,
obtemos uma medida de probabilidade em (M, B) que estende .
Deni cao 1.16. O espaco de probabilidade (M, B, ) construdo

acima e designado produto direto dos espacos (Mi , Bi , i ).
Existe um caso particular importante, que corresponde a` situacao
onde os espacos (Mi , Bi , i ) sao todos iguais a um dado (X, C, ), em
que X = {1, . . . , d} e um conjunto nito e C = 2X e a -algebra
de todos os subconjuntos de X. Neste caso basta considerar apenas
cilindros elementares, isto tais que cada Aj consiste de um u nico
ponto de X. De fato, todo cilindro e uma uni ao nita disjunta de
tais cilindros elementares. Obtemos ent ao subconjuntos de M da
forma
[m; am , . . . , an ] = {(xi )
i= M : xm = am , . . . , xn = an }
onde aj {1, . . . , d}. A medida e designada medida de Bernoulli

denida por e e caracterizada por ([m; am , . . . , an ]) = ({am }) ({an }).
1.3 Integra
cao em espacos de medida
Nesta secao denimos a nocao de integral de uma funcao em relacao
a uma medida e apresentamos teoremas fundamentais da Teoria da
Medida. Para tanto, introduziremos algumas classes de funcoes. Ao
longo desta secao (M, B, ) sera sempre um espaco de medida.
Deni ao 1.17. Seja B(R) a -algebra de Borel de R. Uma funcao
c
avel se f 1 (D) B para todo D B(R).
f : M R diz-se mensur
O espaco das funcoes mensuraveis possui diversas propriedades
muito u
teis. Vamos enunci
a-las como proposicao:
Proposi ao 1.18. Sejam f1 , f2 func

c oes mensuraveis e c1 , c2 R.
Ent
ao tambem s
ao mensur
aveis as seguintes func
oes:
1. ent
ao (c1 f1 + c2 f2 )(x) = c1 f1 (x) + c2 f2 (x)
2. (f1 f2 )(x) = f1 (x) f2 (x)
i i
i i
25coloquiotext
i i
2005/5/4
page 13
i i
[SEC. 1.3: INTEGRAC EM ESPAC

AO OS DE MEDIDA 13
3. max{f1 , f2 }(x) = max{f1 (x), f2 (x)}
Dizemos que uma funcao s : M R e simples se existem con-

stantes 1 , . . . , k R e conjuntos A1 , . . . , Ak B disjuntos dois-a-
dois tais que
k
s= k XAk ,
j=1
onde XA e a funcao caracterstica do conjunto A, isto e, XA (x) e

igual a 1 se x A e zero caso contrario. Introduzimos agora a nocao
de integral. Para tal comecamos por denir integral de uma funcao
simples.
Deni c
ao 1.19. Seja s uma funcao simples da forma acima. Ent
ao
a integral de s em relacao a e dado por:

k
s d = k (Ak ).
j=1
f
E acil vericar que esta denicao e coerente: se duas combinacoes
lineares de funcoes caractersticas denem uma mesma funcao sim-
ples, os valores das integrais obtidos a partir das duas combinacoes
coincidem. O pr oximo passo e denir integral de uma funcao men-
suravel qualquer. Para isso, trataremos primeiro do caso da funcao
ser nao-negativa. Necessitamos do seguinte resultado, que nos diz que
qualquer funcao mensuravel e o limite de uma sequencia de funcoes
simples mensur aveis:
Teorema 1.20. Seja f : M [, ] uma func ao mensuravel.

Entao existe uma sequencia s1 , s2 , . . . de func
oes simples mensur
aveis
tal que
lim sk (x) = f (x) para todo o x M.
k
Se f 0 entao a sequencia pode ser escolhida de modo que 0 s1

s2 .
A demonstracao deste teorema e proposta como Exerccio 1.16.

Ele torna possvel a seguinte
i i
i i
25coloquiotext
i i
2005/5/4
page 14
i i
Deni ao 1.21. Seja f : M [0, ] uma funcao mensuravel n

c ao-
negativa. Ent
ao

f d = lim sn d,
n
onde s1 s2 . . . e uma sequencia de funcoes simples crescentes

para f , isto e, lim sn (x) = f (x) para todo x M .
n
E f
acil vericar que o valor da integral n ao depende da escolha
da sequencia de funcoes simples, e portanto esta denicao e coer-
ente. Para estender a denicao de integral a quaisquer funcoes men-
suraveis, observemos que dada uma funcao f : M R sempre pode-
mos escrever f = f + f onde f + (x) = max{f (x), 0} e f (x) =
max{f (x), 0} sao n ao-negativas. Mostra-se tambem que f + e f
sao mensuraveis se e so se, f e mensuravel.
Deniao 1.22. Seja f : M [0, ] uma funcao mensuravel. Ent

c ao

f d = f + d f d,
desde que alguma das integrais do lado direito seja nita.
Deni c
ao 1.23. Dizemos que uma funcao e integravel se for men-
sur
avel e tiver integral nita. Denotamos o conjunto das funcoes
aveis por L1 (M, B, ) ou, mais simplesmente, por L1 (M, ).
integr
Dada uma funcao mensuravel f : M R e um conjunto men-

sur
avel E denimos a integral de f sobre E por

f d = f XE d,
E
onde XE e a funcao caracterstica do conjunto E.
Exemplo 1.24. Sejam x1 , . . . , xm M e p1 , . . . , pm > 0 com p1 +

+pm = 1. Consideremos a medida de probabilidade : 2M [0, 1]
dada por:

(A) = pi .
xi A
i i
i i
25coloquiotext
i i
2005/5/4
page 15
i i
[SEC. 1.3: INTEGRAC EM ESPAC

AO OS DE MEDIDA 15
m
Notemos que = i=1 pi xi , onde xi e a medida delta de Dirac em
xi . Neste caso temos que se f e uma funcao integr
avel entao

m
f d = f (xi )pi .
i=1
1.3.1 Teorema de derivac

ao de Lebesgue
Comecemos por introduzir a nocao de quase em toda a parte em
relacao a uma medida. Dizemos que uma propriedade e valida em -
quase todo ponto se e valida em todo o M exceto, possivelmente, num
conjunto de medida nula. Por exemplo, dizemos que duas funcoes f, g
sao iguais em -quase todo ponto se existe um conjunto mensur avel
N com (N ) = 0 tal que f (x) = g(x) para todo x M \ N .
Teorema 1.25 (Deriva ao de Lebesgue). Seja M = Rd , B a -

c
algebra de Borel e a medida de Lebesgue em Rd . Seja f : M R

uma funca avel, isto e, tal que f XK e integr
o localmente integr avel
para todo compacto K Rd . Ent ao

1
lim |f (y) f (x)|d = 0.
r0 (B(x, r)) B(x,r)
em -quase todo ponto x Rd . Em particular, em -quase todo o

ponto x Rd tem-se

1
lim f (y)d = f (x).
r0 (B(x, r)) B(x,r)
Dado um subconjunto mensuravel A de Rd , dizemos que um ponto

a A e um ponto de densidade de A se este conjunto preenche a maior
parte de qualquer pequena vizinhanca de a, i.e,
(B(a, ) A)
lim = 1. (1.2)
0 (B(a, )
O pr oximo resultado e uma consequencia direta do teorema de

derivacao de Lebesgue. No Exerccio 1.13 sugerimos uma demon-
stracao.
i i
i i
25coloquiotext
i i
2005/5/4
page 16
i i
Teorema 1.26. Seja A um subconjunto mensur avel de Rd com me-

dida de Lebesgue (A) maior que zero. Ent
ao -quase todo ponto
a A e ponto de densidade de A.
Muitos dos resultados envolvendo funcoes vao se apoiar no chamado

Teorema da Convergencia Dominada, que garante que se uma sequencia
de funcoes convergente e menor que uma funcao integr avel, ent
ao o
limite das suas integrais converge e podemos tomar o limite sob o
sinal da integral. Mais precisamente:
Teorema 1.27 (Teorema da Converg encia Dominada). Con-

sideremos fn : M R uma sequencia de func oes mensur
aveis e g
uma funcao integravel tal que |fn (x)| |g(x)| para -quase todo x
em M. Se para -quase todo x M a sequencia fn (x) converge para
o valor f (x), ent
ao a func
ao f e integr
avel e vale:

lim fn d = f d.
n
1.3.2 Teorema de Radon-Nikodym

Sejam e duas medidas num espaco mensuravel (M, B). Dizemos
que e absolutamente contnua em relacao a se (E) = 0 implica
(E) = 0, qualquer que seja o conjunto mensur avel. Nesse caso
escrevemos . O Teorema de RadonNikodym arma que nesse
caso a medida pode ser vista como o produto de por alguma
funcao mensuravel, que e chamada densidade ou derivada de Radon-
Nikodym de relativamente a .
Teorema 1.28 (Radon-Nikodym). Se e s ao medidas nitas

tais que ent
ao existe uma func avel : M [0, +]
ao mensur
tal que = , ou seja, tal que

(E) = d avel E M.
para todo o conjunto mensur
E
Alem disso, essa func

ao e essencialmente u
nica: duas quaisquer co-
incidem quase em toda a parte.
i i
i i
25coloquiotext
i i
2005/5/4
page 17
i i
[SEC. 1.4: EXERCICIOS 17
1.4 Exerccios
1.1. Seja M um conjunto e, para cada i pertencente a um conjunto
de ndices I, seja Bi uma -algebra de subconjuntos de M . Mostre
que
B= Bi
iI
e uma -algebra.
1.2. Seja M um conjunto e considere a famlia de conjuntos
B0 = {A M : A e nito ou Ac e nito}.
Mostre que B0 e uma algebra. Alem disso, B0 e uma -algebra se e

somente se o conjunto M e nito.
1.3. Seja M um conjunto e considere a seguinte famlia de conjuntos
B1 = {A M : A e nito ou enumer
avel ou Ac e nito ou enumer
avel}.
Mostre que B1 e uma -algebra. De fato, B1 e a -algebra gerada

pela algebra B0 do Exerccio 1.2.
1.4. Seja E uma famlia de subconjuntos de um conjunto M . Mostre
algebra B0 que contem E. Que relacao existe entre
que existe a menor
B0 e a -algebra B gerada por E?
1.5. Seja (M, B, ) um espaco de medida. Mostre que se A1 ,A2 ,
. . . estao em B ent
ao

( Aj ) (Aj ).
j=1 j=1
1.6. Seja B = 2M e considere : 2M [0, +] denido por:

#A , se A e nito
(A) = .
se A e innito
Mostre que e uma medida. Esta medida e designada medida de

contagem.
i i
i i
25coloquiotext
i i
2005/5/4
page 18
i i
1.7. Demonstre o Teorema 1.10. Dica: Dados quaisquer conjuntos

disjuntos dois a dois B1 , . . . , Bn , . . . em B0 tais B = j=1 Bj tambem
esta em B0 , dena Cj = B1 Bj para cada j 1. Verique que
os conjuntos Aj = B \Cj satisfazem a hipotese (1.1) no Teorema 1.10.
1.8. Seja (M, B) um espaco mensuravel.
1. Mostre que se : B [0, +] e uma medida entao

( Aj ) = lim (Aj ).
j
j=1
para qualquer sequencia crescente A1 A2 An de

elementos de B.
2. Reciprocamente, mostre que se 0 : B [0, +] e uma funcao

nitamente aditiva que satisfaz a condicao do item anterior
ent
ao 0 e -aditiva.
1.9. Seja (M, B) um espaco mensuravel, onde o conjunto M e nao-

enumer avel e a -algebra B e denida como no Exerccio 1.3. Mostre
que : B [0, +] denida por:

0 se A e nito ou enumeravel
(A) =
1 se Ac e nito ou enumeravel
e uma medida de probabilidade.
1.10. Sejam f e g funcoes mensuraveis. Mostre que f e integr

avel se
e somente se |f | e integr
avel e, nesse caso,

f d |f | d.

avel e |f | |g| ent

Alem disso, se f e integr ao g e integr
avel.
1.11.
Seja E um conjunto mensur avel com (E) = 0. Mostre que
E
f d = 0 para qualquer fun
c
a o mensuravel f .
i i
i i
25coloquiotext
i i
2005/5/4
page 19
i i
1.12. Mostre que a e um ponto de densidade do conjunto A se e so

se

(B A)
lim inf : B bola contida em B(a, ) e contendo a = 1
0 (B)
1.13. Demonstre o Teorema 1.26.

1.14. Seja x1 , x2 M e p1 , p2 , q1 , q2 > 0 com p1 + p2 = q1 + q2 = 1.
Considere as medidas de probabilidade e dadas por

(A) = pi , (A) = qi ,
xi A xi A
ou seja, = p1 x1 + p2 x2 e = q1 x1 + q2 x2 . Mostre que e

e calcule as respectivas derivadas de Radon-Nikodym.
1.15. Seja f : M R. Mostre que se f 1 ((, c)) B para todo
c R ent ao f e mensuravel. Dica: Mostre que a famlia C = {A
R : f 1 (A) B} e uma -algebra e contem todos os subconjuntos
abertos.
1.16. Prove o Teorema 1.20. Dica: Trate primeiro o caso onde f e
n
ao-negativa.
1.17. Mostre que o suporte de uma medida e sempre um conjunto
fechado. Conclua que se M e compacto, o suporte de qualquer medida
tambem e compacto.
1.18. Mostre que toda funcao f : Rm Rn contnua e mensuravel.
De exemplo de uma funcao mensuravel que n
ao e contnua em nen-
hum ponto.
1.19. Seja T : M M uma funcao mensuravel e uma medida.
Dena T (A) = (T 1 (A)). Mostre que T e uma medida.
i i
i i
25coloquiotext
i i
2005/5/4
page 20
i i
Captulo 2
Teorema de Recorr
encia
de Poincar
e
Entenderemos por sistemas din amicos as transformacoes f : M M

em algum espaco metrico ou topol ogico M . Heuristicamente, pen-
samos em f como associando a cada estado x M do sistema o
estado f (x) M em que o sistema se encontrara uma unidade de
tempo depois. Um dos principais objetivos do estudo dos sistemas
dinamicos e descrever o comportamento assintotico de um ponto x
segundo acao de f . Entretanto, na maioria dos casos, esse trabalho
feito com total generalidade e tarefa impossvel. E a que entra a
Teoria Erg odica, disciplina que a grosso modo estuda o comporta-
mento assintotico para quase todo ponto x, num sentido que iremos
precisar.
Um ponto x M diz-se recorrente se a sua trajetoria pelo sistema
dinamico f : M M volta arbitrariamente perto de x quando o
tempo vai para innito. A din amica no conjunto dos pontos n ao-
recorrentes e, em certo sentido, sempre a mesma, independentemente
do sistema din amico. Por isso, e fundamental compreender o conjunto
dos pontos recorrentes, ja que ele contem toda a din
amica interessante
do sistema.
O resultado que estudaremos nesta captulo, enunciado por Poincare
perto do nal do seculo XIX, arma que quase todo ponto e recor-
20
i i
i i
25coloquiotexto
i i
2005/5/4
page 21
i i
MENSURAVEL
[SEC. 2.1: VERSAO 21
rente, relativamente a qualquer medida invariante nita do sistema

dinamico. Daremos duas vers oes deste resultado, a primeira numa
linguagem mensur avel e a segunda de natureza mais topologica. Tambem
comentaremos que a hip otese de nitude da medida nao pode ser omi-
tida.
2.1 Vers
ao mensur
avel
Sempre consideraremos medidas denida na -algebra de Borel do
espaco M . Dizemos que e uma probabilidade se (M ) = 1. Na
maior parte dos casos trataremos com medidas nitas, isto e, tais
que (M ) < . Neste caso sempre podemos transformar numa
probabilidade : para isso basta denir
(E)
(E) = avel E M.
para cada conjunto mensur
(M )
Em geral, uma medida diz-se invariante pela transformacao f
se
(E) = (f 1 (E)) avel E M. (2.1)
para todo conjunto mensur
Heuristicamente, isto signica que a probabilidade de um ponto es-
tar num dado conjunto e a probabilidade de que a sua imagem esteja
nesse conjunto s
ao iguais. Note que a denicao (2.1) faz sentido, uma
vez que a pre-imagem de um conjunto mensuravel por uma trans-
formacao mensuravel ainda e um conjunto mensur avel.
No caso de uxos, substitumos (2.1) por
(E) = (f t (E)) para todo mensuravel E M e todo t R.
(2.2)
Teorema 2.1. Seja f : M M uma transformac ao mensur
avel
e uma medida invariante nita. Seja E M qualquer conjunto
mensuravel com (E) > 0. Ent ao, -quase todo ponto x E tem
algum iterado f n (x), n 1, que tambem est
a em E.
Em outras palavras, o teorema arma que quase todo ponto de
E regressa a E no futuro. Antes mesmo de demonstrar este fato,
podemos mostrar que ele implica outro aparentemente mais forte:
quase todo ponto de E regressa a E innitas vezes:
i i
i i
25coloquiotext
i i
2005/5/4
page 22
i i
22
[CAP. 2: TEOREMA DE RECORRENCIA
DE POINCARE
Corolario 2.2. Nas condico

es do Teorema 2.1, para -quase todo
ponto x E existem innitos valores de n 1 tais que f n (x) est
a
em E.
Demonstrac ao. Para cada k 1 vamos representar por Ek o conjunto

dos pontos x E que regressam a E exatamente k vezes: existem
exatamente k valores de n 1 tais que f n (x) E. Observe que o
conjunto dos pontos que regressam a E apenas um n umero nito de
vezes e precisamente

Ek .
k=1
Portanto, para provar o corolario, basta mostrar que (Ek ) = 0 para

todo k 1. A demonstracao sera por contradicao.
Suponhamos que (Ek ) > 0 para algum k 1. Ent ao, aplicando
o Teorema 2.1 com este Ek no lugar de E, obtemos que quase todo
ponto x Ek tem algum iterado f n (x) que esta em Ek . Fixemos
um tal x e denotemos y = f n (x). Por denicao, y tem exatamente
k iterados futuros que estao em E. Como y e um iterado de x, isso
implica que x tem k + 1 iterados futuros em E. Mas isso contradiz
o fato de que x Ek . Esta contradicao prova que Ek tem medida
nula, relativamente a , e portanto o corol
ario esta demonstrado.
Vamos agora dar a
Demonstrac ao do Teorema 2.1. Representemos por E 0 o conjunto dos

pontos x E que nunca regressam a E. O nosso objetivo e provar que
E 0 tem medida nula. Para isso, comecamos por armar que as suas
pre-imagens f n (E 0 ) sao disjuntas duas-a-duas. De fato, suponha-
mos que existem m > n 1 tais que f m (E 0 ) intersecta f n (E 0 ).
Seja x um ponto na interseccao e seja y = f n (x). Ent ao y E 0
0
ef mn
(y) = f (x) E , que esta contido em E. Isto quer dizer
m
que y volta pelo menos uma vez a E, o que contradiz a denicao de

E 0 . Esta contradicao, prova que as pre-imagens sao disjuntas duas-
a-duas, como armamos.
Isto implica que

f n (E 0 ) = (f n (E 0 )) = (E 0 ).
n=0 n=0 n=0
i i
i i
25coloquiotext
i i
2005/5/4
page 23
i i
TOPOLOGICA
[SEC. 2.2: VERSAO 23
Na u ltima igualdade usamos a hip otese de que e invariante, que

implica que (f n (E 0 )) = (E 0 ) para todo n 1. Como supomos
que a medida e nita, a expressao do lado esquerdo e nita. Por outro
lado, a` direita temos uma soma de innitos termos, todos iguais.
O u nico jeito desta soma ser nita e que as parcelas sejam nulas.
Portanto, devemos ter (E 0 ) = 0, tal como foi armado.
2.2 Vers
ao topol
ogica
Dizemos que um ponto x M e recorrente para uma transformacao
f : M M se, para toda vizinhanca U de x, existe algum iterado
f n (x) que esta em U . A denicao para uxos e analoga, apenas nesse
caso o tempo n e um n umero real.
Na formulacao topol ogica do teorema de recorrencia supomos que
o espaco M admite uma base enumer avel de abertos, ou seja, um
famlia enumer avel {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 2.3. Suponhamos que M admite uma base enumer avel de
abertos. Seja f : M M uma transformac ao mensuravel e uma
ao, -quase todo ponto x M e recor-
medida invariante nita. Ent
rente para f .
Demonstracao. Para cada k representamos por Uk0 o conjunto dos
pontos x Uk que nunca regressam a Uk . De acordo com o Teo-
rema 2.1, todo Uk0 tem medida nula. Consequentemente, a uni ao
enumeravel
=
U Uk0
kN
tem medida nula. Portanto, para demonstrar o teorema sera su-

ciente que mostremos que todo ponto x que n ao est
a em U e recor-
rente. Isso e f
acil, como vamos ver.
Seja x M \ U e seja U uma vizinhanca qualquer de x. A
denicao de base de abertos implica que existe algum k N tal que
x Uk e Uk U . Como x n ao est tambem x
a em U, / Uk0 . Em
outras palavras, x tem algum iterado f (x), n 1 que esta em Uk .
n
Em particular, f n (x) tambem esta em U . Como a vizinhanca U e
i i
i i
25coloquiotext
i i
2005/5/4
page 24
i i
24
DE POINCARE
arbitr
aria, isto prova que x e um ponto recorrente, como havamos
armado.
2.3 Recorr
encia para medidas innitas
As conclusoes dos Teoremas 2.1 e 2.3 nao sao verdadeiras, em geral,
se omitirmos a hip otese de que a medida e nita. O exemplo mais
simples e o seguinte:
Exemplo 2.4. Seja f : R R a translacao de 1 unidade, isto e,

f
f (x) = x + 1 para todo x R. E acil vericar que f deixa invariante
a medida de Lebesgue em R (que e innita). Por outro lado nenhum
ponto e recorrente para f .
No entanto, e possvel estender estes enunciados para certos casos

de medidas innitas como, por exemplo, no Exerccio 2.2.
Uma transformacao f : M M diz-se invertvel se e uma bijecao
e a sua inversa e tambem uma transformacao mensuravel. Uma me-
dida diz-se -nita se existe uma sequencia crescente de subcon-
juntos Mk cuja uniao e o espaco M inteiro e tal que cada (Mk )
e nito. Neste caso, diremos que um ponto x vai para innitose,
para qualquer k, existe apenas um n umero nito de iterados de x que
estao em Mk .
2.4 Exerccios
2.1. Mostre que o seguinte enunciado e equivalente ao Teorema 2.1,
isto e, qualquer um dos dois pode ser deduzido a partir do outro:
Seja f : M M uma transformacao mensuravel e uma medida
invariante nita. Seja E M qualquer conjunto mensur avel 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.
2.2. Suponha que f : M M e invertvel e que e uma medida

-nita invariante por f . Mostre que, dado qualquer conjunto men-
avel E M com (E) > 0, quase todo ponto x E ou regressa
sur
a E ou vai para innito.
i i
i i
25coloquiotext
i i
2005/5/4
page 25
i i
Dica: Considere o conjunto E 0,k dos pontos x E que nunca

regressam a E e tem um n
umero innito de iterados em Mk . Comece
por mostrar que os seus iterados f n (E 0,k ) sao dois-a-dois disjuntos.
Usando que (Mk ) e nito, deduza que (E k,0 ) = 0 para todo k.
2.3. Dadas funcoes f : M M e : M N, dena o mapa induzido
F por F (x) = f (x) (x). Mostre que:
1. Se f e invertvel e e uma medida f -invariante, ent
ao e
F -invariante. De exemplo de alguma funcao onde e f -
invariante mas n ao e F -invariante.
2. Se F e uma medida F invariante, ent
ao a medida

f = fj (F | {f > j})
j=0
e medida f -invariante.
3. Mostre que se e F integr
avel, ent
ao a medida f acima e
nita.
Deni ao 2.5. Chama-se L2 () o espaco das funcoes
c 1
mensuraveis
1
: S C cujo quadrado e integravel:

||2 d < .
claro que este espaco contem todas as funcoes mensuraveis lim-

E
itadas e, em particular, todas as funcoes caractersticas de conjuntos
mensuraveis.

2.4. Denindo o produto interno < , >= d, mostre que
L2 e um espaco vetorial normado completo (i.e., toda sequencia de
Cauchy converge).
2.5. Mostre que f preserva uma medida se, e somente se, Uf :
L2 () L2 () denida por Uf ()(x) = (f (x)) e uma isometria
com respeito a norma que provem do produto interno denido no
exerccio anterior.
1 Quando lidamos com L2 () sempre identificamos fun
c
oes que diferem apenas
num conjunto de medida nula.
i i
i i
25coloquiotext
i i
2005/5/4
page 26
i i
26
DE POINCARE
2.6. De exemplo de transformacao f preservando uma medida tal

que Uf : L2 () L2 () n
ao seja sobrejetora.
i i
i i
25coloquiotext
i i
2005/5/4
page 27
i i
Captulo 3
Exemplos de Medidas
Invariantes
Neste captulo vamos descrever alguns exemplos simples de medidas

invariantes por transformacoes ou por uxos. Antes porem, vamos
mostrar uma proposicao caracterizando quando uma medida e invari-
ante:
Proposi ao 3.1. Seja f : M M uma transformac

c ao e uma
medida. Ent ao f preserva se, e somente se, para toda func
ao in-
avel : M R vale:
tegr

d = f d.
Demonstrac ao. Assuma que f preserva a medida . Se e funcao

caracterstica de algum conjunto,
digamos = A , e imediato ver-
icar que (f 1 (A))
=
f d, a que f 1 (A) = f . Assim,
j
ca provado que d = f d, quando e uma funcao carac-
terstica. Observe que segue diretamente da linearidade da integral
que se e uma funcao simples, entao a igualdade ainda vale. Fi-
nalmente, se e uma funcao integr
avel qualquer, pela denicao de
integral

d = lim n d,
n
27
i i
i i
25coloquiotexto
i i
2005/5/4
page 28
i i
28 [CAP. 3: EXEMPLOS DE MEDIDAS INVARIANTES
onde n e uma sequencia de funcoes simples crescendo para . Por

outro lado, n f e uma sequencia de funcoes simples crescendo para
f . Logo,

f d = lim n f d.
n

Como n d = n f d, tomando o limite em ambos os lados,
vem que

d = f d.
A recproca e imediata, desde que dado um boreliano A, tomando

= A , ent
ao

1
(A) = (f (A)) d = f d.
3.1 Expans
ao decimal
O nosso primeiro exemplo e
f : [0, 1] [0, 1], f (x) = 10x [10x]
onde [10x] representa o maior inteiro menor ou igual a 10x. Em

outras palavras, f associa a cada x [0, 1] a parte fracion aria de
10x. O gr aco da transformacao f esta descrito na Figura 3.1.
Armamos que a medida de Lebesgue no intervalo e invariante
pela transformacao f , isto e, satisfaz a condicao (2.1). Comecemos
por supor que E e um intervalo. Ent ao, como ilustrado na Figura 3.1,
a pre-imagem f 1 (E) consiste de dez intervalos, cada um deles dez
vezes mais curto do que E. Logo, a medida de Lebesgue de f 1 (E)
e igual a` medida de Lebesgue de E. Isto mostra que (2.1) e satisfeita
no caso de intervalos. Por outro lado, a famlia dos intervalos gera a
-algebra de Borel de [0, 1]. Portanto, para concluir a demonstracao
basta usar o seguinte fato geral (veja o Exerccio 3.1):
Lema 3.2. Seja f : M M uma transformac ao mensur avel e
uma medida nita em M . Suponha que existe uma sub-
algebra ger-
algebra de M tal que (E) = (f 1 (E)) para todo
adora I da -
i i
i i
25coloquiotext
i i
2005/5/4
page 29
i i
DECIMAL
[SEC. 3.1: EXPANSAO 29
0 2/5 4/5 6/5 8/5 1
Figura 3.1: Transformacao parte fracion

aria de 10x
E I. Entao o mesmo vale para todo conjunto mensur

avel E, isto
e, a medida e invariante por f .
Agora vamos explicar como, a partir do fato de que a medida
de Lebesgue e invariante pela transformacao f , podemos obter con-
clusoes interessantes e nao-triviais usando o teorema de recorrencia
de Poincare.
Comecemos por observar que f tem uma expressao muito simples
em termos de expansoes decimais: se x e dado por
x = 0, a0 a1 a2 a3
com ai {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, ent

ao a sua imagem e dada por
f (x) = 0, a1 a2 a3 .
Com isso, ca muito facil escrever a expressao do iterado n-esimo,

para qualquer n 1:
f n (x) = 0, an an+1 an+2 (3.1)
Agora, seja E o subconjunto dos x [0, 1] cuja expans

ao decimal
comeca com o dgito 7, ou seja, tais que a0 = 7. De acordo com o
i i
i i
25coloquiotext
i i
2005/5/4
page 30
i i
Corolario 2.2, quase todo elemento de E tem innitos iterados que

tambem estao em E. Levando em conta a expressao (3.1), isto quer
dizer que existem innitos valores de n tais que an = 7. Portanto,
provamos que quase todo n umero x cuja expans ao decimal comeca
por 7 tem innitos dgitos iguais a 7!
Claro que no lugar de 7 podemos considerar qualquer outro dgito.
Alem disso, podemos considerar blocos de dgitos mais complicados.
Veja os Exerccios 3.23.3.
Mais tarde iremos provar resultados mais fortes: para quase todo
umero x [0, 1], todo dgito aparece com frequencia 1/10 na sua
n
expansao decimal. O enunciado preciso aparecera na Proposicao 6.2,
que sera provada a partir do teorema erg
odico de Birkho.
3.2 Sistemas conservativos

Seja U um aberto em algum espaco euclidiano Rd , d 1 e seja
f : U U um difeomorsmo de classe C 1 . Isto quer dizer que f
e uma bijecao e tanto ele quanto a sua inversa s
ao deriv aveis com
derivada contnua.
Representaremos por vol a medida de Lebesgue, ou volume, em
Rk . Em outras palavras,

vol(B) = dx1 . . . dxd e d vol = (x1 , . . . , xd ) dx1 . . . dxd

B B B
para qualquer conjunto mensur avel B e qualquer funcao integr

avel
.
A f
ormula de mudanca de variaveis arma que, para qualquer
conjunto mensuravel B U ,

vol(f (B)) = | det Df | d vol (3.2)

B
Daqui se deduz facilmente
Lema 3.3. Um difeomorsmo f : M M de classe C 1 deixa in-

variante o volume se e somente se o valor absoluto | det Df | do seu
jacobiano e constante igual a 1.
i i
i i
25coloquiotext
i i
2005/5/4
page 31
i i
[SEC. 3.2: SISTEMAS CONSERVATIVOS 31
Demonstracao. Suponha primeiro que o valor absoluto do jacobiano

e igual 1 em todo ponto. Considere um conjunto mensuravel E e seja
B = f 1 (E). A f
ormula (3.2) d a que

vol(E) = 1 d vol = vol(B) = vol(f 1 (E)).

B
Isto signica 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 numero > 1 tais que
| det Df (y)| para todo y U.
Ent
ao a f
ormula (3.2) aplicada a B = U daria

vol(f (U )) d vol vol(U ).

U
Denotando E = f (U ), isto implica que vol(E) > vol(f 1 (E)) e, por-

tanto, f nao 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 nao deixa invariante o volume.
Os Exerccios 3.43.5 estendem este lema para transformacoes nao
necessariamente invertveis e tambem para uma classe mais ampla de
medidas. As suas conclus oes nos ser
ao u
teis mais tarde.
Agora vamos considerar o caso de uxos f t : U U , t R.
Suporemos que o uxo e de classe C 1 . Claro que o Lema 3.3 se aplica
neste contexto: o uxo deixa invariante o volume se e somente se
det Df t (x) = 1 para todo x U e todo t R. (3.3)
Facamos duas observacoes simples antes de prosseguirmos. A primeira

e que segue da denicao de uxo que todo f t e invertvel (um difeo-
morsmo, neste caso): a sua inversa e f t . A segunda observacao e
que o jacobiano de f t e sempre positivo. Isso e claro quando t = 0
porque, outra vez por denicao de uxo, f 0 e a identidade. Segue
que o mesmo e verdade para todo t R, porque o jacobiano varia
continuamente com t e, como acabamos de ver, nunca se anula.
i i
i i
25coloquiotext
i i
2005/5/4
page 32
i i
Embora a resposta que acabamos de dar esteja inteiramente cor-

reta, ela nao e muito u
til na pr
atica porque em geral n
ao temos uma
expressao explcita para f t , e portanto nao e claro como vericar
a condicao (3.3). Felizmente, existe uma expressao razoavelmente
explcita para o jacobiano, de que iremos falar em seguida, que pode
ser usada em muitas situacoes interessantes.
Suponhamos que o uxo f t corresponde às trajet orias de um
campo de vetores F : U U de classe C 1 , quer dizer f t (x) e o
valor no tempo t da solucao da equacao diferencial
dx
= F (x) (3.4)
dt
(quando tratando de equacoes diferenciaveis sempre suporemos que
as suas solucoes estao denidas para todo tempo). A f ormula de
Liouville exprime o jacobiano de f t em termos do divergente div F
do campo de vetores F :

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

matriz jacobiana, isto e
F F
div F = + + . (3.5)
x1 xd
Combinando esta formula com (3.3) obtemos
Lema 3.4. O uxo f t associado a um campo de vetores F de classe
C 1 deixa invariante o volume se e somente se o divergente de F e
identicamente nulo.
O Exerccio 3.6 e uma aplicacao deste fato no caso, muito impor-
tante, de uxos hamiltonianos.
3.3 Deslocamentos (shifts) de Bernoulli

Estes sistemas modelam sequencias de experimentos aleatorios em
que o resultado de cada experimento e independente dos demais.
i i
i i
25coloquiotext
i i
2005/5/4
page 33
i i
[SEC. 3.3: DESLOCAMENTOS (SHIFTS) DE BERNOULLI 33
Supoe-se que em cada experimento ha um n umero nito de resultados

possveis, designados por 1, 2, . . . , d, com probabilidades p(1), p(2), . . . , p(d)
de ocorrerem, sendo
p(1) + p(2) + + p(d) = 1 .
O conjunto M das sequencias = (n )nZ com cada n {1, 2, . . . , d}

contem os possveis resultados da sequencia de experimentos. Chamam-
se cilindros os subconjuntos da forma
[k, l; ak , . . . , al ] = { M : k = ak , . . . , l = al }
onde k, l Z, com k l, e cada aj {1, 2, . . . , d}. Denimos
([k, l; ak , . . . , al ]) = p(ak ) p(al ) (3.6)
Heuristicamente, isto signica que a probabilidade do evento com-

posto
k = ak e k+1 = ak+1 e e l = al
e o produto das probabilidades de cada um deles. Isto traduz, pre-
cisamente, que os resultados sucessivos sao independentes entre si.
Consideramos em M a -algebra B gerada pelos cilindros. A
famlia B0 das uni oes disjuntas nitas dos cilindros e uma algebra
(por convencao, M e um cilindro e (M ) = 1). Estendemos de
modo a que seja nitamente aditiva: se E B0 e a uni ao disjunta de
cilindros C1 , . . . , CN , denimos
(E) = (C1 ) + + (CN ).
Verica-se que esta funcao e, de fato, -aditiva em B0 ; por exemplo,

isso pode ser feito usando o Teorema 1.10. Portanto existe uma u nica
probabilidade na -algebra B gerada por B0 que e uma extensao
de , isto e, que coincide com ela restrita a B0 . Chamamos essa
probabilidade medida de Bernoulli denida por p(1), p(2), . . . , p(d) e,
para nao complicar desnecessariamente a notacao, a representamos
tambem por .
No espaco M consideramos a transformacao deslocamento (shift)
a esquerda
`

f : M M f (n )nZ = (n+1 )nZ
i i
i i
25coloquiotext
i i
2005/5/4
page 34
i i
que corresponde a fazer uma translacao no tempo. Observe que a

medida de Bernoulli e invariante por essa transformacao. De fato,
ao f 1 (E) = [k + 1, l + 1; ak , . . . , al ] e a
se E = [k, l; ak , . . . , al ] ent
denicao (3.6) d
a que
(E) = (f 1 (E))
neste caso. Como a famlia dos cilindros gera a -algebra B, isto

juntamente com o Lema 3.2, prova que a medida e invariante para
f.
3.4 Transformac
ao de Gauss
A transformacao de Gauss G : (0, 1] [0, 1] e denida por G(x) =
parte fracion
aria de 1/x, ou seja,

1 1
G(x) = .
x x
O graco de G pode ser esbocado facilmente, a partir da seguinte

observacao.
...
0 1/4 1/3 1/2 1
Figura 3.2: Transformacao de Gauss
i i
i i
25coloquiotext
i i
2005/5/4
page 35
i i
[SEC. 3.4: TRANSFORMAC DE GAUSS

AO 35
Se x (1/2, 1] ent ao 1/x [1, 2) e portanto a sua parte in-

teira [1/x] e igual a 1. Isto quer dizer que neste intervalo a
transformacao e dada por G(x) = (1/x) 1.
Mais geralmente, se x (1/(k+1), 1/k) para algum k N ent

ao
a parte inteira de 1/x e igual a k, e tem-se G(x) = 1/x k.
Veja tambem a Figura 3.2.
Note que G n ao esta denida no ponto x = 0. Alem disso,

G(1/k) = 0 para todo k N e portanto o segundo iterado G2 (1/k)
nao est
a denido nestes pontos (e o terceiro iterado nao est
a denido
nas suas pre-imagens, etc). Isto quer dizer, a rigor, que G n ao e um
sistema din amico segundo a denicao que demos antes. No entanto,
isto nao coloca nenhum problema para o que pretendemos fazer. De
fato, todos os iterados estao bem denidos no conjunto dos n umeros
irracionais: basta observar que a imagem de um irracional tambem
e irracional. Isto e suciente para os nossos objetivos porque sem-
pre tratamos de propriedade que valem para quase todo ponto, e o
conjunto dos n umeros irracionais tem medida de Lebesgue total no
intervalo.
O que torna esta transformacao interessante do ponto de vista
ergodico e que G admite uma probabilidade invariante que e equiva-
lente `
a medida de Lebesgue no intervalo. De fato, considere a medida
denida por

c
(E) = dx para cada mensuravel E [0, 1]
E 1 + x
onde c e uma constante positiva. Note que a integral est a bem

denida, j
a que a funcao integranda e contnua no intervalo [0, 1].
Note tambem que
c
m(E) (E) cm(E) para todo mensur
avel E [0, 1].
2
Em particular, e de fato equivalente a` medida de Lebesgue m: as
duas medidas tem os mesmos conjuntos com medida nula.
Proposi c
ao 3.5. A medida e invariante por G. Alem disso, se
escolhermos c = 1/log2 ent
ao e uma probabilidade.
i i
i i
25coloquiotext
i i
2005/5/4
page 36
i i
Demonstrac ao. Vamos usar o criterio dado pelo exerccio 3.5: a me-
dida e invariante por G se tivermos
(x) c
= (y) onde (x) = (3.7)
|G (x)| 1+x
xf 1 (y)
para todo y. Comece por observar que cada y tem exatamente uma
pre-imagem xk em cada intervalo (1/(k + 1), 1/k], dada por
1 1
G(xk ) = k =y xk = .
xk y+k
Note tambem que G (x) = (1/x) = 1/x2 . Portanto, (3.7) se ree-
screve como

cx2k c 1 c
= = (3.8)
1 + xk 1+y (y + k)(y + k + 1) 1+y
k=1 k=1
Para vericar que esta igualdade e realmente satisfeita, observe que

1 1 1
= .
(y + k)(y + k + 1) y+k y+k+1
Isto quer dizer que a u ltima soma em (3.8) pode ser escrita na forma
telescopica: todos os termos, exceto o primeiro, aparecem duas vezes,
com sinais contr arios, e portanto se cancelam. Logo a soma e igual
ao primeiro termo, que e precisamente o que se arma em (3.8). Isto
prova a invariancia.
Finalmente, usando a primitiva c log(1 + x) da funcao (x) vemos
que

1
c
([0, 1]) = dx = c log 2.
0 1 + x
Logo, escolhendo c = 1/ log 2 obtemos que e uma probabilidade.
A transformacao de Gauss tem um papel muito importante em
teoria dos n
umeros, devido a` sua relacao com o processo de expansao
dos numeros em fracao contnua. Recordemos do que se trata.
Dado um n umero x0 (0, 1), seja

1 1
a1 = e x1 = a1 = G(x0 ).
x0 x0
i i
i i
25coloquiotext
i i
2005/5/4
page 37
i i
[SEC. 3.4: TRANSFORMAC DE GAUSS

AO 37
umero natural, x1 [0, 1) e tem-se

Note que a1 e um n
1
x0 = .
a1 + x1
Agora, supondo que x1 seja diferente de zero, podemos repetir o
processo, denindo

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

1 1
an = e xn = an = G(xn1 )
xn1 xn1
e tem-se
1
x0 = . (3.9)
1
a1 +
1
a2 +
1
+
an + xn
N
ao e difcil mostrar (verique!) que a sequencia
1
zn = .
1
a1 +
1
a2 +
1
+
an
converge para x0 quando n , e e usual traduzir este fato es-
crevendo
1
x0 = , (3.10)
1
a1 +
1
a2 +
1
+
1
an +

i i
i i
25coloquiotext
i i
2005/5/4
page 38
i i
que e chamada expans ao em frac

ao contnua de x0 .
Note que a sequencia zn consiste de n umeros racionais. De fato
se mostra que estes sao os n
umeros racionais que melhor aproximam
umero x0 , no sentido de que zn esta mais pr
o n oximo de x0 do que
qualquer outro numero racional com denominador menor ou igual que
o denominador de zn (escrito em forma irredutvel). Observe tambem
que para obter (3.10) supusemos que xn (0, 1) para todo n N.
Se encontramos algum xn = 0, o processo para nesse momento e
consideramos (3.9) a expansao em fracao contnua de x0 . Claro que
ltimo caso ocorre somente se x0 e um n
este u umero racional.
Estas ideias de Teoria Ergodica podem ser usadas para obter con-
clusoes nao triviais em Teoria dos N umeros. Por exemplo (veja o
Exerccio 3.7), para quase todo n umero x0 (1/8, 1/7) o numero 7
aparece innitas vezes na sua expansao em fracao contnua, isto e,
tem-se an = 7 para innitos valores de n N.
De fato, mais tarde provaremos um fato muito mais preciso: para
quase todo x0 (0, 1) o n umero 7 aparece com frequencia
1 64
log
log 2 63
na sua expans
ao em fracao contnua. Tente intuir desde j
a de onde
vem este n
umero!
3.5 Exerccios
3.1. Demonstre o Lema 3.2. Dica: mostre que a famlia de todos os
conjuntos E tais que (E) = (f 1 (E)) e uma -algebra.
3.2. Prove que, para quase todo n umero x [0, 1] cuja expans
ao
decimal contem o bloco 617 (por exemplo x = 0, 3375617264 ),
esse bloco aparece innitas vezes na expansao.
3.3. Prove que o dgito 7 aparece innitas vezes na expansao decimal

de quase todo numero x [0, 1]. Dica: Comece por mostrar que o
conjunto dos n
umeros cuja expans ao decimal nunca exibe o dgito 7
tem medida nula.
i i
i i
25coloquiotext
i i
2005/5/4
page 39
i i
3.4. Suponha que f : U U e um difeomorsmo local (isto e: o

seu jacobiano e nao nulo em todo ponto) de classe C 1 . Mostre que f
deixa invariante o volume se e somente se
1
= 1 para todo y U.
1
| det Df (x)|
xf (y)
3.5. Dada uma funcao : U [0, ), denotamos por = vol a

medida denida por (E) = E d vol. Suponha que f : U U e
um difeomorsmo local de classe C 1 e que e uma funcao contnua.
Mostre que f deixa invariante a medida = vol se e somente se
(x)
= (y) para todo y U.
| det Df (x)|
xf 1 (y)
Em particular, no caso em que f e invertvel, f deixa invariante a

medida se e somente se (x) = (f (x))| det Df |(x) para todo x U .
3.6. Seja U um aberto de R2d e H : U R uma funcao de classe C 2 .
Denotamos as variaveis em R2d por (p1 , q1 , . . . , . . . , pd , qd ). O campo
de vetores hamiltoniano associado a H e denido por

H H H H
F (p1 , . . . , pd , q1 , . . . , qd ) = ,..., , ,..., .
q1 qd p1 pd
Verique que o uxo denido por F preserva o volume.
3.7. Para (Lebesgue) quase todo n umero x0 (1/8, 1/7) o n umero
7 aparece innitas vezes na sua expansao em fracao contnua, isto e,
tem-se an = 7 para innitos valores de n N.
3.8. Considere a sequencia 1, 2, 4, 8, . . . , an = 2n , . . . . Mostre que
dado um dgito i 0, . . . , 9, existe uma quantidade innita de valores
n tal que an comeca com este dgito.
3.9. Mostre que se A e uma matriz n n com coecientes inteiros,
entao a transformacao induzida [A] : n P in denida por [A](
x) =

A(x) preserva a medida de Lebesgue de n .
3.10. Mostre que o deslocamento denido na Seccao 3.3 e transitivo
e que o conjunto de suas orbitas peri
odicas e denso.
i i
i i
25coloquiotext
i i
2005/5/4
page 40
i i
Captulo 4
Exist
encia de Medidas
Invariantes
Neste captulo provaremos o seguinte resultado, que garante a ex-

istencia de medidas invariantes em grande generalidade:
Teorema 4.1. Seja f : M M uma transformac ao contnua num

espaco metrico compacto. Ent
ao existe pelo menos uma probabilidade
invariante por f . O mesmo resultado vale para uxos.
Antes de demonstrarmos este resultado, mencionemos alguns ex-

emplos que mostram que nenhuma das duas hipoteses, continuidade
e compacidade, podem ser omitidas.
4.1 Alguns exemplos simples

Considere f : (0, 1] (0, 1] dada por f (x) = x/2. Suponha que
f admite alguma probabilidade invariante (o objetivo e mostrar que
isso nao acontece). Pelo Teorema de Recorrencia 2.3, relativamente
a essa probabilidade quase todo ponto de (0, 1] e recorrente. Mas e
imediato que nao existe nenhum ponto recorrente: a orbita de qual-
quer x (0, 1] converge para zero e, em particular, n
ao acumula no
ponto inicial x. Isto mostra que f e um exemplo de transformacao
40
i i
i i
25coloquiotext
i i
2005/5/4
page 41
i i
[SEC. 4.1: ALGUNS EXEMPLOS SIMPLES 41
contnua num espaco nao compacto que n

ao admite nenhuma medida
probabilidade invariante.
Modicando um pouco o exemplo, podemos mostrar que o mesmo

fen
omeno pode ocorrer em espacos compactos, se a transformacao n ao
e contnua. Considere f : [0, 1] [0, 1] dada por f (x) = x/2 se x = 0
e f (0) = 1. Pela mesma raz ao que antes, nenhum ponto x (0, 1] e
recorrente. Portanto, se existe alguma probabilidade invariante ela
tem dar peso total ao u nico ponto recorrente que e x = 0. Em outras
palavras, precisa ser a medida de Dirac 0 suportada em zero, que
e denida por
0 (E) = 1 se 0 E e 0 (E) = 0 se 0
/ E.
Mas a medida 0 nao e invariante por f : tomando E = {0} temos

que E tem medida 1 mas a sua pre-imagem f 1 (E) e o conjunto
vazio, que tem medida nula. Portanto, esta transformacao tambem
n
ao tem nenhuma probabilidade invariante.
O nosso terceiro exemplo e de natureza um pouco diferente. Con-

sideremos f : [0, 1] [0, 1] dada por f (x) = x/2. Trata-se de uma
transformacao contnua num espaco compacto. Logo, pelo teorema
que iremos demonstrar, admite alguma probabilidade invariante. Pe-
los mesmos argumentos que usamos no caso anterior, se conclui que
de fato ha uma u nica probabilidade invariante, que e a medida de
Dirac 0 suportada no ponto zero. Note que neste caso 0 e de fato
invariante.
Mencionamos este u ltimo caso para enfatizar as limitacoes do Teo-

rema de Existencia (que sao inerentes a` sua grande generalidade): as
medidas que ele garante existirem podem ser bastante triviais; por
exemplo, neste caso quando falamos de quase todo pontoestamos
nos referindo apenas ao ponto x = 0. Por isso, um objetivo impor-
tante e obter resultados mais sosticados de existencia de medidas
com propriedades adicionais que as tornem mais interessantes, por
exemplo serem equivalentes à medida de Lebesgue.
i i
i i
25coloquiotext
i i
2005/5/4
page 42
i i
42
[CAP. 4: EXISTENCIA DE MEDIDAS INVARIANTES
4.2 A topologia fraca no espa

co das me-
didas
Nesta secao vamos introduzir uma topologia importante no conjunto
M1 (M ) das probabilidades borelianas do espaco M , chamada topolo-
gia fraca , que sera muito u
til para provar o Teorema 4.1. A ideia da
denicao e a seguinte: duas medidas estao proximas se dao integrais
proximas para muitas funcoes contnuas. Procuremos exprimir esta
ideia de modo preciso.
Dada uma medida M1 (M ), um conjunto nito F = {1 , . . . , N }
de funcoes contnuas j : M R, e um n umero > 0, denimos

V (, F, ) = { M1 (M ) : j d j d < para todo j F }.
Entao a topologia fraca e denida estipulando que estes conjuntos

V (, F, ), com F e vari
avel, constituem uma base de vizinhancas
da medida . O seguinte lema deveria ajudar a compreender o sig-
nicado desta topologia:
Lema 4.2. Uma sequencia (n )nN em M1 (M ) converge para uma

medida M1 (M ) na topologia fraca se e somente se

dn d para toda func ao contnua : M R.
Demonstrac ao. Para provar a parte somente se, considere qualquer

funcao contnua e forme o conjunto F = {}. Como n , temos
que dado qualquer > 0 existe uma ordem a partir n da qual n esta
na vizinhanca V (, F, ). Mas isto signica, precisamente, que

dn d <

para todo n n . Em outras palavras, a sequencia dn converge
para d.
A recproca arma que se dn converge para d, para toda
funcao contnua, ent
ao dado qualquer F e existe uma ordem a partir
i i
i i
25coloquiotext
i i
2005/5/4
page 43
i i
[SEC. 4.2: A TOPOLOGIA FRACA NO ESPAC

O DAS MEDIDAS 43
da qual n V (, F, ). Para ver isso, escrevemos F = {1 , . . . , N }.

otese garante que para cada 1 j N existe n
A hip j tal que

j dn d < para todo n n j .

Tomando n
= max{ N }, temos n V (, F, ) para n
n1 , , . . . , n
n
.
Outra proposicao muito u
til que caracteriza a convergencia de
medidas e dada na:
Proposi cao 4.3. Assuma que a sequencia n converge para na
topologia fraca . Ent
ao:
1. lim sup n (K) (K) para cada conjunto compacto K M ;
n
2. lim inf n (U ) (U ) para cada conjunto aberto U M .

n
Em particular, se o bordo de A tem medida zero, temos que lim n (A) =

n
(A).
Demonstracao. Seja U um aberto e vamos mostrar o item (b). Tome
K um compacto em U e escolha : [0, 1] uma funcao contnua
qualquer tal que |K 1 e |U c 0. Por exemplo, basta tomar
(x) = d(x, U c )/(d(x, K) + d(x, U c )). Ent
ao:

(K) d = lim dn lim inf n (U ).

n n
Como vale que (U ) = sup (K), onde o supremo e tomado sobre

K
todos os compactos K U provamos o item (b). O item (a) e
inteiramente an
alogo, observando que (K) = inf (U ), onde o nmo
e tomado sobre todos os abertos U contendo K.
As principais propriedades desta topologia de que necessitamos

estao dadas no seguinte
Teorema 4.4. M1 munido da topologia fraca e metriz
avel e com-
pacto.
i i
i i
25coloquiotext
i i
2005/5/4
page 44
i i
44
Vamos comecar por demonstrar a metrizabilidade, isto e, que ex-

iste uma distancia d que gera a topologia fraca em M1 (M ). Para
isso usamos o resultado seguinte, cuja prova pode ser encontrada em
[Rud87]. Como e usual, denotamos por C 0 (M ) o espaco das funcoes
contnuas : M R, munido da norma da convergencia uniforme:
1 2 = sup{|1 (x) 2 (x)| : x M }.
Proposic ao C 0 (M ) tem sub-
ao 4.5. Se M e um espaco metrico ent
conjuntos enumeraveis densos.
Logo, podemos escolher um subconjunto enumer avel F = {n :
n N} denso na bola unit aria do espaco C 0 (M ). Feito isso, denimos

1
d(1 , 2 ) = d d , (4.1)
2n n 1 n 2
n=1
para qualquer par de medidas 1 e 2 .

Proposi c
ao 4.6. A expressao d est
a bem denida, e uma dist
ancia,
e gera a topologia fraca em M1 (M ).
Demonstrac aria de C 0 (M ),
ao. Como as funcoes estao na bola unit
ou seja, sup || 1, e as medidas i sao probabilidades, o termo
geral da soma e limitado por 2 2n. Isto garante que a serie em (4.1)
converge.
O u nico passo n ao trivial na prova de que d e uma dist ancia e
mostrar que
d(1 , 2 ) = 0 1 = 2 .

A hipotese d(1 , 2 ) = 0 signica que j d1 = j d2 para toda
j F. Agora, dada qualquer na bola unit aria de C 0 (M ) podemos
encontrar uma sequencia de elementos de F convergindo uniforme-
mente para . Como consequencia, a igualdade continua valendo
para :

d1 = d2 (4.2)
para toda na bola unit aria de C 0 (M ). Como todo elemento de

0
C (M ) tem algum m ultiplo na bola unitaria, isto implica que a igual-
dade (4.2) e verdadeira para toda funcao contnua . Isto quer dizer
que 1 = 2 , como pretendamos mostrar.
i i
i i
25coloquiotext
i i
2005/5/4
page 45
i i
[SEC. 4.2: A TOPOLOGIA FRACA NO ESPAC

O DAS MEDIDAS 45
Para provar que d gera a topologia, devemos mostrar que toda

bola B(, ) = { M1 (M ) : d(, ) < } contem alguma viz-
inhanca V (, F, ) e reciprocamente. Dado > 0 xemos N 1
sucientemente grande para que

2n <
2
n=N
e consideremos F = {1 , . . . , N } formado pelos primeiros N ele-

mentos do subconjunto enumer avel denso. Alem disso, consideremos
= /2. Armamos que V (, F, ) B(, ). De fato

V (, F, ) n d n d < para todo 1 n N

2n n d n d <
n=1

N

n
< 2 + 2 2n < ,
n=1 n=N +1
o que prova a nossa armacao.

Reciprocamente, dado F = {1 , . . . , N } e > 0, selecionemos
elementos n1 , . . . , nN distintos de F tais que

nj j < para todo 1 j N.
4
Fixemos > 0 sucientemente pequeno para que 2nj < /4 para
todo 1 j N . Armamos que B(, ) V (, F, ). De fato

n

B(, ) 2 n d n d <
n=1

nj d nj d < 2nj para todo 1 j N

j d j d < 2nj + < for all 1 n N,
2
e isto prova a nossa armacao.
i i
i i
25coloquiotext
i i
2005/5/4
page 46
i i
46
Resta provar que (M1 , fraca ) e um espaco compacto. Na demon-

stracao vamos utilizar o seguinte resultado classico, que diz que as
integrais sao os u nicos operadores lineares positivos no espaco das
funcoes contnuas. Um operador linear diz-se positivo se () > 0
para toda funcao positiva em todo ponto. Uma demonstracao deste
resultado pode ser encontrada em [Rud87].
Teorema 4.7 (Riesz-Markov). Seja : C 0 (M ) R qualquer
operador linear positivo. Ent
ao existe uma u
nica medida boreliana
em M tal que

() = d para toda C 0 (M ).
Observe que
e uma probabilidade se e somente se (1) = 1, j a
que (M ) = 1 d = (1).
Vamos entao provar que o espaco M1 e compacto para esta topolo-
gia. Como ja sabemos que o espaco e metrizavel, basta provar
Proposi ao 4.8. Toda sequencia (k )kN em M1 (M ) admite al-
c
guma subsequencia que e convergente na topologia fraca .
Demonstracao. Seja F = {n : n N} um subconjunto enumer avel
aria de C 0 (M ). Para cada n N, a sequencia de
denso na bola unit
umeros reais n dk , k N e limitada por 1. Portanto, para cada
n
n N existe uma sequencia (kjn )jN tal que

n dkjn converge para algum n umero n R quando j .
Alem disso, cada sequencia (kjn+1 )jN pode ser escolhida como sub-
sequencia da anterior (kjn )jN . Denamos j = kjj para cada j N.
Por construcao, a menos de um n umero nito de termos, (j )jN e
uma subsequencia de cada uma das (kjn )jN . Logo

n dnj n para todo n N.
Daqui se deduz facilmente que

() = lim dj existe, para toda funcao C 0 (M ). (4.3)

j
i i
i i
25coloquiotext
i i
2005/5/4
page 47
i i
[SEC. 4.3: DEMONSTRAC DO TEOREMA DE EXISTENCIA

AO 47
aria de C 0 (M ).
De fato, suponha primeiro que esta na bola unit
Dado qualquer > 0 podemos encontrar n F tal que n .
Ent
ao

dj n dj

para todo j. Como n dj converge (para n ), seque que

lim sup dj lim inf dj 2.

j j

Como e arbitrario, conclumos que limj dj existe. Isto prova
(4.3) quando a funcao esta na bola unit
aria. O caso geral reduz-se
imediatamente a esse, substituindo por /. Assim, completa-
mos a prova de (4.3).
Finalmente, e claro que o operador : C 0 (M ) R denido
por (4.3) e linear e positivo: () min > 0 para todo funcao
C 0 (M ) positiva em todo ponto. Alem disso, (1) = 1. Logo,
pelo Teorema 4.7, existe alguma probabilidade boreliana em M tal
que () = d para toda funcao contnua . Agora a igualdade
em (4.3) pode ser reescrita

= lim dj para toda C 0 (M ).

j
De acordo com o Lema 4.2, isto quer dizer que a subsequencia (j )jN
converge para na topologia fraca . Isto completa a demonstracao
do Teorema 4.4.
4.3 Demonstra
c
ao do Teorema de Exist
encia
til. Dado f : M M e
Comecemos por introduzir uma notacao u
qualquer medida em M denota-se por f e chama-se imagem de
por f a medida denida por

f E = f 1 (E) para cada conjunto mensur avel E M .
Note que e invariante por f se e somente se f = .
i i
i i
25coloquiotext
i i
2005/5/4
page 48
i i
48
Lema 4.9. A aplicacao f : M1 (M ) M1 (M ) e contnua relativa-

a topologia fraca .
mente `
Demonstraca o. Para mostrarmos o lema acima, basta mostrar que
se n converge para na topologia fraca , ent
ao para toda funcao
contnua temos que

lim df n = df .
n
De fato, se uma medida qualquer, armamos que

df = f d.
Com efeito, podemos aproximar por uma sequencia de funcoes sim-

ples n com n . Observe que isso implica, em particular,
que n f f . Observe que se A e funcao caracterstica,
ent
ao

1
A df = (f (A)) = A f d.
Por linearidade, a igualdade acima se estende para as funcoes sim-

ples n . Para nalizar, temos que pelo Teorema da Convergencia
Dominada,

df = lim n df = lim n f d = f d,
n n
o que termina a prova da armacao. Para completar a prova do

Lema, basta observar que a funcao f tambem e contnua, uma vez
que f e contnua. Assim,

lim df n = lim f dn f d = df ,
n n
como queramos provar.
Voltando a prova do Teorema de Existencia, considere qualquer

probabilidade em M : por exemplo, a medida de Dirac em um ponto
qualquer. Forme a sequencia de probabilidades
1 j
n1
n = f (4.4)
n j=0
i i
i i
25coloquiotext
i i
2005/5/4
page 49
i i
[SEC. 4.3: DEMONSTRAC DO TEOREMA DE EXISTENCIA

AO 49
onde fj e a imagem de pelo iterado f j . Pelo Teorema 4.4,

esta sequencia tem algum ponto de acumulacao: existe alguma sub-
sequencia (nj )jN e alguma probabilidade M1 (M ) tais que
nk 1
1
= lim nk = lim fj . (4.5)
k k nk j=0
Agora e suciente provar o seguinte

Lema 4.10. Todo ponto de acumulac ao de uma sequencia (n )nN
e uma probabilidade invariante por f .
Demonstrac
ao. A partir de (4.5), e usando o Lema 4.9, obtemos que
nk 1 k 1
1 1 n 1
nk
f = f lim fj = lim f fj = lim fj .
k nk k n k k nk
j=0 j=0 j=1
A expressao do lado direito pode ser reescrita como

k 1
1 n
lim fj + fnk .
k nk j=0
1 1 nk
Armamos que lim = 0 e lim f = 0. A primeira armacao
k nk k nk
e obvia, e para a segunda basta observar que
1 nk 1 1
f (E) = (f nk (E))
nk nk nk
avel E F . Deste modo obtemos que
nk 1
1
f = lim fj =
k nk j=0
e portanto e invariante por f .

Isto completa a demonstracao do Teorema de Existencia 4.1.
Corol
ario 4.11 (Teorema de Recorr encia de Birkho ). Se
f : M M e uma transformac ao contnua num espaco metrico
compacto ent
ao f tem algum ponto recorrente.
i i
i i
25coloquiotext
i i
2005/5/4
page 50
i i
50
Demonstracao. Pelo Teorema 4.1, existe alguma probabilidade f -

invariante . Por outro lado, todo espaco metrico compacto admite
uma base enumeravel de abertos (verique!). Portanto, podemos
aplicar o Teorema 2.3, para concluir que -quase todo ponto e recor-
rente. Em particular, o conjunto dos pontos recorrentes e nao vazio,
conforme foi armado.
4.4 Exerccios
4.1. Prove a seguinte generalizacao do Lema 4.10: Seja f : M M
uma transformacao contnua num espaco compacto, uma probabil-
idade em M e (In )n uma sequencia de intervalos de n
umeros naturais
tais que #In converge para innito quando n vai para innito. Ent
ao
qualquer ponto de acumulacao da sequencia
1 j
n = f
#In
jIn
e uma probabilidade f -invariante.
4.2. Dizemos que uma sequencia (n )nN de probabilidades converge

pontualmente (ou fortemente) para M1 (M )
n (E) (E) avel E M.

1. Mostre que se (n )nN converge pontualmente para ent ao

tambem converge para na topologia fraca . Mostre, atraves
de um exemplo, que a recproca e falsa.
2. Mostre que (n )nN converge para na topologia fraca se

e somente se n (E) (E) para todo conjunto mensur avel
E M cujo bordo E satisfaz (E) = 0.
Dica para (2): Dado o mensur avel E e > 0 encontre

funcoes
contnuas 1 e 2 tais que 1 XE 2 e 1 d 2 d < .
4.3. Fixe um subconjunto enumer avel denso F = {n : n N}

aria de C 0 (M ). Mostre que uma sequencia (k )kN de
da bola unit
i i
i i
25coloquiotext
i i
2005/5/4
page 51
i i
probabilidades em M converge na topologia fraca para alguma

M1 (M ) se e somente se, para todo n N,

n dk converge para n d.
4.4. Seja f1 , f2 , . . . , fN : M M uma famlia nita qualquer de

transformacoes contnuas num espaco metrico compacto que comu-
tam entre si: fi fj = fj fi para todo i e todo j em {1, 2, . . . , N }.
Prove que existe alguma probabilidade que e invariante por fi para
todo i {1, 2, . . . , N }.
Deni ao 4.12. Dizemos que uma transformacao f : M M e
c
unicamente erg
odica se admite exatamente uma probabilidade in-
variante.
Os exerccios a seguir tratam de transformacoes unicamente erg
odicas.
Esta terminologia e justicada pelo Exerccio 4.7 abaixo, que arma
que nesse caso a probabilidade invariante e necessariamente ergodica.
No que segue suporemos que M e um espaco metrico compacto e
f : M M e contnua.
4.5. Seja R e uma rotacao irracional do crculo. Mostre que R e
unicamente ergodica.
4.6. Seja f : M M uma transformacao unicamente erg odica.
Mostre que se : S 1 R e uma funcao contnua qualquer, entao:
1
n1
j
(x)
= lim (R (x))
n n
j=0
existe em todo ponto e, de fato, o limite e uniforme. Justique que

e constante em todo ponto.
Dica: Verique que a sequencia do lado direito e equicontnua e
use o teorema de Ascoli-Arzela.
4.7. Mostre que f e uma transformacao unicamente erg
odica se e
somente se

1
n1
lim (f j (x)) = d
n j=0
i i
i i
25coloquiotext
i i
2005/5/4
page 52
i i
52
para toda funcao contnua : M R e todo x M . Obtenha que, se

uma transformacao e unicamente ergodica ent
ao a sua probabilidade
invariante e ergodica.
i i
i i
25coloquiotext
i i
2005/5/4
page 53
i i
Captulo 5
Teorema Erg
odico de
Birkho
O teorema fundamental da Teoria Erg odica arma que, para qualquer

subconjunto mensur avel e para quase todo ponto, existe um tempo
medio de permanencia da orbita do ponto nesse conjunto. Este resul-
tado e devido a von Neumann, que provou um enunciado mais fraco,
e sobretudo a Birkho, que o provou na forma denitiva que iremos
estudar.
Em muitos casos, esse tempo medio de permanencia e precisa-
mente igual a` medida do subconjunto, ou seja, orbitas tpicas pas-
sam em cada subconjunto um tempo que e exatamente igual a` im-
portanciaque a probabilidade invariante atribui ao conjunto. Isto
e o que se chama de ergodicidade, uma propriedade que remonta a
Boltzmann, e que estudaremos mais tarde.
5.1 Enunciados e coment

arios
Comecemos por explicar o que entendemos por tempo medio de per-
manencia de uma orbita num conjunto. Dado x M e um conjunto
mensuravel E M , vamos tomar um certo n umero (grande) de itera-
dos iniciais da orbita de x e vamos considerar a fracao desses iterados
53
i i
i i
25coloquiotext
i i
2005/5/4
page 54
i i
54
[CAP. 5: TEOREMA ERGODICO DE BIRKHOFF
que est
ao em E:
1
n (E, x) = # j {0, 1, . . . , n 1} : f j (x) E .
n
Observe que isto e o mesmo que
1
n1
n (E, x) = XE (f j (x)),
n j=0
onde XE designa a funcao caracterstica do conjunto E, isto e, XE (x) =

1 se x E e XE (x) = 0 caso contr ario.
Em seguida, fazemos n ir para innito e chamamos tempo medio
de permanencia da orbita de x em E o limite destas fracoes:
(E, x) = lim n (E, x).

n
Em geral, este limite pode nao existir. Iremos ver um exemplo desse
fato daqui a pouco. No entanto, o teorema erg odico arma que,
relativamente a qualquer probabilidade invariante, o limite realmente
existe para quase todo ponto:
Teorema 5.1. Seja f : M M uma transformac ao mensur avel

e uma probabilidade invariante por f . Dado qualquer conjunto
avel E M , o tempo medio de permanencia (E, x) existe
mensur
em -quase todo ponto x M . Alem disso,

(E, x) d(x) = (E).
Antes de passarmos a` demonstracao deste resultado notavel, e a

algumas das suas aplicacoes, vamos fazer alguns comentarios rela-
cionados. O primeiro deles e que se (E, x) existe para um certo
ponto x M entao
(E, f (x)) = (E, x). (5.1)
i i
i i
25coloquiotext
i i
2005/5/4
page 55
i i
[SEC. 5.2: DEMONSTRAC DO TEOREMA ERGODICO

AO 55
De fato, por denicao,

1
n
(E, f (x)) = lim XE (f j (x))
n n
j=1
1 1
n1
= lim XE (f j (x)) XE (x) XE (f n (x))
n n n
j=0
1
= (E, x) + lim XE (x) XE (f n (x))
n n
Como a funcao caracterstica e limitada, o u
ltimo limite e igual a
zero. Isto prova a igualdade (5.1).
O teorema ergodico pode ser enunciado de modo um pouco mais
geral:
Teorema 5.2. Seja f : M M uma transformac ao mensur avel e
uma probabilidade invariante por f . Dada qualquer func
ao integr
avel
: M R o limite
1
n1
(x)
= lim (f j (x))
n n
j=0
existe em -quase todo ponto x M . Alem disso,

(x)
d(x) = (x) d(x).
Observe que o Teorema 5.1 e o caso particular = funcao car-

acterstica XE do conjunto E. Este enunciado mais geral pode ser
provado usando uma vers ao um pouco mais elaborada do argumento
da secao 5.2, que n
ao apresentaremos aqui.
5.2 Demonstra
c
ao do teorema erg
odico
A estrategia da prova e a seguinte. Seja E M um conjunto men-
avel qualquer. Para cada x M , denimos
sur
1
(E, x) = lim sup # j {0, . . . , n 1} : f j (x) E
n
1
(E, x) = lim inf # j {0, . . . , n 1} : f j (x) E .
n
i i
i i
25coloquiotext
i i
2005/5/4
page 56
i i
56
Note que, para todo x M ,
(E, f (x)) = (E, x) e (E, f (x)) = (E, x) (5.2)
A justicacao e analoga a` da relacao (5.1).

O principal passo da demonstracao consiste em mostrar que
(E, x) = (E, x) para -quase todo ponto x. (5.3)

claro que (E, x) e sempre maior ou igual que (E, x). Portanto,
E
para mostrar (5.3) ser a suciente que provemos

(E, x) d(x) (E) (E, x) d(x). (5.4)
Vamos provar a primeira desigualdade em (5.4). A segunda segue de

um argumento inteiramente an alogo 1 .
Fixemos qualquer > 0. Por denicao de lim sup, para cada
x M existem inteiros t 1 tais que
1
# j {0, . . . , t 1} : f j (x) E (E, x) . (5.5)
t
Representaremos por t(x) o menor inteiro com esta propriedade. Para
tornar a demonstracao mais transparente, consideraremos primeiro o
caso particular em que a funcao x t(x) e limitada, isto e,
Caso particular: Existe T N tal que t(x) T para todo x M .
Dado qualquer x M , denimos uma sequencia x0 , x1 , . . . , xs de
pontos em M e uma sequencia t0 , t1 , . . . , ts de n
umeros naturais, do
seguinte modo:
1. Primeiramente, tomamos x0 = x.
2. Supondo que xi j
a foi denido, tomamos ti = t(xi ) e xi+1 =
f ti (xi ).
3. Terminamos quando encontramos xs tal que t0 +t1 + +ts1 +
ts n.
1 Alternativamente, a segunda desigualdade pode ser deduzida da primeira,
aplicada ao complementar E c , observando que (E) = 1 (E c ) e (E, x) =

1 (E c , x).
i i
i i
25coloquiotext
i i
2005/5/4
page 57
i i

AO 57
Note que todo xi e iterado do ponto x: de fato xi = f t0 ++ti1 (x).

Aplicando (5.2) conclumos que (E, xi ) = (E, x) para todo i. A
denicao de t(xi ) implica que, dos ti primeiros iterados de xi , pelo
menos
ti (E, xi ) ) = ti (E, x) ) (5.6)
estao em E. Isto vale para cada i = 0, 1, . . . , s 1. Portanto, pelo
menos
(t0 + t1 + + ts1 )( (E, x) )
dos n primeiros iterados de x, estao em E. Alem disso, a u
ltima regra
na denicao das nossas sequencias implica que
t0 + t1 + + ts1 n ts n T.
Deste modo, mostramos que pelo menos (n T )( (E, x) ) dos n

primeiros iterados de x estao em E. Em outras palavras,

n1
XE (f j (x)) (n T )( (E, x) ) (5.7)
j=0
para todo x M e todo n 1. Integrando a relacao (5.7), obtemos

que
n1
XE (f j (x)) d(x) (n T ) (E, x) d(x) (n T ).

j=0
Todas as parcelas no membro da esquerda sao iguais a (E), uma vez

que a probabilidade e invariante por f . Portanto, esta desigualdade
pode ser escrita como

n(E) (n T ) (E, x) d(x) (n T ).
Dividindo os dois termos por n e fazendo n ir para innito, conclumos

que
(E) (E, x) d(x)
Como > 0 e qualquer, isto implica a primeira desigualdade em (5.4).

Isto termina a demonstracao neste caso.
i i
i i
25coloquiotext
i i
2005/5/4
page 58
i i
58
Caso geral: Vamos indicar as modicacoes que devem ser feitas

relativamente ao caso particular.
Dado > 0, comecamos por xar T 1 sucientemente grande,
de modo que a medida do
B = {y M : t(y) > T }
seja menor que . Em seguida, na denicao das sequencias sub-

stitumos a regra 2 por
2a. Se t(xi ) T , tomamos ti = t(xi ) e xi+1 = f ti (xi ).
2b. Se t(xi ) > T , tomamos ti = 1 e xi+1 = f (xi ).
As regras 1 e 3 permanecem inalteradas. A estimativa referente a

(5.6) continua v
alida, para os valores de i aos quais se aplica a regra
2a:
i 1
t

XE (f j (xi )) ti (E, x) ).
j=0
claro que esta desigualdade implica a seguinte:

E
i 1
t i 1
t

XE (f j (xi )) ti (E, x) ) XB (f j (xi )). (5.8)
j=0 j=0
A vantagem e que (5.8) e v

alida tambem para os valores de i aos quais
se aplica a regra 2b. De fato, nesse caso tem-se ti = 1, o membro da
esquerda e maior ou igual que zero e o membro da direita e menor
que zero, uma vez que (E, x) e sempre menor ou igual que 1. Isso
signica que, no lugar de (5.7), tem-se

n1
n1
XE (f j (x)) (n T )( (E, x) ) XB (f j (x)).
j=0 j=0
Integrando, como zemos anteriormente, obtemos

n(E) (n T ) (E, x) d(x) (n T ) n(B).
i i
i i
25coloquiotext
i i
2005/5/4
page 59
i i

AO 59
Dividindo por n e fazendo n , deduzimos que (lembre que

(B) < )

(E) (E, x) d(x) (B) (E, x) d(x) 2.
Como > 0 e arbitr

ario, segue que

(E) (E, x) d(x).
Isto completa a demonstracao do Teorema 5.1.
i i
i i
25coloquiotext
i i
2005/5/4
page 60
i i
60
5.3 Exerccios
5.1. Considere a transformacao f : M M , f (x) = 10x [10x]
introduzida na secao 3.1. Considere
x = 0, 335533335555555533333333333333335 . . ..
Ou seja: a expansao decimal de x consiste de blocos de 3s e 5s,

alternados, cada bloco (exceto o segundo) com duas vezes mais dgitos
que o anterior. Considere tambem E = [0, 3, 0, 4). Mostre que
3 2
2 (E, x) = 1, 8 = , ... 22k1 (E, x) ,
4 3
enquanto que
1 3 1
4 (E, x) = , 16 = , ... 22k (E, x) ,
2 8 3
e portanto o tempo medio de permanencia da orbita de x em E n
ao
existe.
5.2. Mostre que, para qualquer funcao integravel , a media tempo-
ral satisfaz f = em -quase todo ponto.
i i
i i
25coloquiotext
i i
2005/5/4
page 61
i i
Captulo 6
Ergodicidade
Uma transformacao f : M M diz-se erg odica para uma probabili-

dade invariante (tambem dizemos que a medida e ergodica para
f , ou que o sistema (f, ) e ergodico) se as medias temporais dadas
pelo Teorema de Birkho 5.2 coincidem em quase todo ponto com as
respectivas medias espaciais:

1
n1
lim (f j (x)) = d ,
n n
j=0
avel : M R e -quase todo x M .

para toda funcao -integr
Na proxima proposicao vamos reescrever esta condicao de v
arias
maneiras equivalentes, para ajudar a entender o seu signicado. Um
conjunto mensur avel A M diz-se invariante se f 1 (A) = A. Uma
funcao mensuravel : M R diz-se invariante se f = .
Proposi c
ao 6.1. Seja uma probabilidade invariante de uma trans-
o f : M M mensur
formaca avel. As seguintes condic
oes s
ao equiv-
alentes:
1. O sistema (f, ) e erg

odico.
2. Para todo subconjunto invariante A tem-se (A) = 0 ou (A) =

1.
61
i i
i i
25coloquiotext
i i
2005/5/4
page 62
i i
62 [CAP. 6: ERGODICIDADE
3. Toda func
ao invariante e constante num conjunto de medida
total.
Demonstracao. (1) implica (2): Considere = XA . Por um lado,
a hip
otese (1) signica que

(x)
= d = (A)
para quase todo x M . Por outro lado, como A e invariante, temos

que x A se e somente se f (x) A. Isto implica que (f j (x)) = (x)
para todo j 0 e para todo x. Portanto,
(x)
= (x) = XA (x)
para todo x M . Como a funcao caracterstica s o toma os valores 0
e 1, estas duas igualdades implicam que (A) = 0 ou (A) = 1, como
e armado em (2).
(2) implica (3): Seja uma funcao invariante qualquer. Ent ao,
a pre-imagem 1 (I) de qualquer intervalo I R e um conjunto
invariante. Portanto, pela hip otese (2), essa pre-imagem tem medida
zero ou um. Como o intervalo I e qualquer, isto prova que e
constante num conjunto com probabilidade total.
(3) implica (1): Seja uma funcao integr avel qualquer. Como
vimos no exerccio 5.2, a media temporal e uma funcao invariante.
Logo, pela hipotese (3), e constante em quase todo ponto. Ent ao,
usando o teorema ergodico,

(x)
= d = d
em quase todo ponto. Isto e, o sistema e ergodico.
6.1 Exemplos e aplica

c
oes
Nesta secao descrevemos diversos exemplos de sistemas ergodicos.
6.1.1 Expans
ao decimal
Considere a transformacao f : [0, 1] [0, 1], f (x) = 10x [10x] da
secao 3.1. Armamos que f e ergodica para a medida de Lebesgue
i i
i i
25coloquiotext
i i
2005/5/4
page 63
i i
[SEC. 6.1: EXEMPLOS E APLICAC

OES 63
. Tendo em vista a proposicao 6.1, para mostrar isto s o temos que

provar que se A e um conjunto invariante com medida positiva ent ao
A tem medida total.
Suponhamos ent ao que A e invariante e (A) > 0. O ingrediente
principal e o teorema de derivacao 1.25. No nosso caso, como estamos
tratando com subconjuntos de R, a condicao (1.2) torna-se
(I A)
lim inf : I (a , a + ) intervalo contendo a = 1 .
0 (I)
(6.1)
Fixemos um ponto de densidade a A qualquer. Consideremos a
sequencia de intervalos
mk mk + 1
Ik = , , mk Z, k N,
10k 10k
que contem o ponto a. Como a e um ponto de densidade de A, a
propriedade (6.1) implica que
(Ik A)
1 quando k .
(Ik )
Observe tambem que cada f k e uma bijecao am de Ik sobre o in-

tervalo (0, 1). Isso tem a seguinte consequencia, que e crucial para o
nosso argumento:
(f k (E1 )) (E1 )
= (6.2)
(f k (E2 )) (E2 )
para quaisquer subconjuntos mensuraveis E1 e E2 de Ik . Aplicando
este fato a E1 = Ik A e E2 = Ik obtemos que

f k (Ik A) (Ik A)
= .
(0, 1) (Ik )

Claro que (0, 1) = 1. Alem disso, como estamos supondo que A e
invariante, f k (Ik A) esta contido em A. Deste modo obtemos que
(Ik A)
(A) .
(Ik )
i i
i i
25coloquiotexto
i i
2005/5/4
page 64
i i
Como a sequencia do lado direito converge para 1, segue que (A) =

1, como queramos demonstrar. Ficou provado que a transformacao
f e ergodica para a medida de Lebesgue .
Em seguida vamos dar uma aplicacao deste fato no contexto da
Teoria dos N umeros. Dizemos que um n umero x R e balanceado se
todo dgito aparece com a mesma frequencia, 1/10, na sua expans ao
decimal. E f
acil dar exemplos de n umeros balanceados. Mas em geral
e muito difcil decidir se um dado n umero irracional e balanceado ou
n
ao. Por exemplo, n ao e sabido ate hoje se o numero e balanceado.
No entanto, a conclus ao da secao anterior nos permite deduzir que
quase todo n umero e balanceado:
Proposic umeros x R n
ao 6.2. O conjunto dos n ao balanceados
tem medida de Lebesgue nula.
Demonstrac ao. Como o fato de ser balanceado e independente da
parte inteira do n umero, s o precisamos mostrar que quase todo x
[0, 1] e balanceado. Considere f : [0, 1] [0, 1] denida por f (x) =
10x [10x]. Para cada dgito j {0, 1, . . . , 9} considere o intervalo
Ej = [j/10, (j + 1)/10). Recorde que se x = 0, a0 a1 ak ak+1
entao f k (x) = 0, ak ak+1 . Portanto, f k (x) Ej se e somente
se o k-esimo dgito da expans ao decimal de x e igual a j. Conse-
quentemente, o tempo medio de permanencia (Ej , x) e exatamente
a frequencia do dgito j na expansao decimal de x. Usando o teorema
ergodico e o fato de que a transformacao e ergodica para a medida
de Lebesgue , conclumos que para cada j {0, 1, . . . , 9} existe um
subconjunto Bj de M com (Bj ) = 1 tal que
1
(Ej , x) = (Ej ) = para todo x Bj .
10
ao B = B0 B1 B9 tambem tem (B) = 1, e todo n
Ent umero
x B e balanceado.
6.1.2 Deslocamentos (shifts) de Bernoulli

Vamos agora voltar a discussao dos deslocamentos de Bernoulli, in-
troduzidos na Seccao 3.3 do Captulo 3. Mostraremos que as medidas
de Bernoulli sao erg
odicas. Para isso, a seguinte propriedade das me-
didas de Bernoulli vai ser util :
i i
i i
25coloquiotext
i i
2005/5/4
page 65
i i

OES 65
Lema 6.3. Se A e B s ao elementos da algebra B0 , isto e, uni

oes
nitas de cilindros disjuntos, ent
ao tem-se
(A f m (B)) = (A)(f m (B)) = (A)(B),
para todo m sucientemente grande.
Demonstrac
ao. Expliquemos porque esta propriedade e verdadeira
quando A e B sao cilindros, A = [k, l; ak , . . . , al ] e B = [u, v; bu , . . . , bv ].
Para cada m tem-se f m (B) = [u + m, v + m; bu , . . . , bv ]. Escolhendo
m sucientemente grande garantimos que u + m > l e, entao,
A f m (B) = { : k = ak , . . . , l = al , u+m = bu , . . . , v+m = bv }

= [k, v + m; ak , . . . , al , cl+1 , . . . , cu+m1 , bu , . . . , bv ],
ao e sobre todos os valores possveis de cl+1 , . . . , cu+m1 .

onde a uni
Usando (3.6), conclumos que (A f m (B)) = (A)(B). Isto prova
o lema quando os conjuntos envolvidos s ao cilindros. O caso geral
segue pelo fato de ser nitamente aditiva.
Proposi ao 6.4. Seja f : M M um deslocamento e uma medida

c
de Bernoulli em M , como antes. Ent
ao o sistema (f, ) e erg
odico.
Demonstrac ao. Seja A um conjunto mensur avel invariante qualquer.

Queremos mostrar que (A) = 0 ou (A) = 1. Para tornar a ideia da
prova mais clara, comecemos por um caso particular: suponhamos
que A esta na algebra B0 das uni oes nitas de cilindros disjuntos
dois-a-dois. Nesse caso podemos aplicar o lema anterior, com B = A.
Conclumos que (A f m (A)) = (A)2 sempre que tomemos m
sucientemente grande. Mas, como A e invariante, f m (A) = A para
todo m. Ent ao a igualdade anterior quer dizer que (A) = (A)2 , o
que so pode acontecer se (A) = 0 ou (A) = 1.
Agora vamos fazer a prova quando A B e um conjunto invariante
qualquer. A ideia e aproximar A por elementos da algebra B0 , usando
o Teorema de Aproximacao 1.11: dado qualquer > 0 existe A0 B0
tal que (AA0 ) < . Escolha m como no caso anterior, de modo
que
(A0 f m (A0 )) = (A0 )(f m (A0 )) = (A0 )2 . (6.3)
i i
i i
25coloquiotext
i i
2005/5/4
page 66
i i
Observe que
(A f m (A))(A0 f m (A0 )) (AA0 ) (f m (A)f m (A0 ))

(AA0 ) f m (AA0 ).
Isto, junto com o fato de que e invariante por f , implica que

(A f m (A)) (A0 f m (A0 )) 2(AA0 ) < 2. (6.4)
Alem disso,

(A)2 (A0 )2 ((A)+(A0 ))((A)(A0 )) 2(A)(A0 ) < 2.
(6.5)
Juntando as relacoes (6.3), (6.4), (6.5), conclumos que |(A)(A)2 | <
4. Como e arbitr ario, deduzimos que (A) = (A)2 e entao, do
mesmo modo que antes, conclumos que (A) = 0 ou (A) = 1.
6.1.3 Rotac
ao irracional no crculo
Para n os o crculo S 1 ser
a o conjunto dos n
umeros complexos com
modulo igual a 1. Dado R, a rotac ao de angulo e a multi-
plicacao pelo numero complexo ei
R : S 1 S 1 , R (z) = ei z .
claro que R preserva o comprimento dos intervalos (segmentos)
E
de S 1 . Usando o Lema 3.2 se deduz que a medida de Lebesgue (com-
primento de arco) e invariante por qualquer R .
O comportamento din amico e erg odico de R depende muito da
natureza de , como vamos ver. Dizemos que a rotacao e irracional
se o n umero /(2) e irracional, e dizemos que a rotacao e racional
no caso contrario.
A recproca e muito mais interessante:
Proposi ao 6.5. Se R e rotac
c ao irracional ent
ao R e erg
odica
para a medida de Lebesgue.
Vamos mencionar duas demonstracoes diferentes deste fato. A
primeira, que detalharemos a seguir, usa fatos simples de analise de
Fourier. A segunda, que deixaremos como exerccio, e baseada num
i i
i i
25coloquiotext
i i
2005/5/4
page 67
i i

OES 67
argumento de ponto de densidade semelhante ao que usamos no caso

da expansao decimal.
Seja a medida de Lebesgue no crculo. Chama-se L2 () o espaco
das funcoes 1 mensuraveis : S 1 C cujo quadrado e integr
avel:

||2 d < .
claro que este espaco contem todas as funcoes mensuraveis lim-

E
itadas e, em particular, todas as funcoes caractersticas de conjun-
tos mensuraveis. Outro fato de que necessitamos e que a famlia de
funcoes {k (z) = z k : k Z} e uma base (de Hilbert) desse espaco:
dada qualquer L2 () existe uma u nica sequencia (ck )kZ de
numeros complexos tais que

(z) = ck z k para quase todo z S 1 .
kZ
Demonstracao. Pela proposicao 6.1, basta mostrar que toda funcao

integr
avel que e invariante e constante em -quase todo ponto.
Observe que se e integr avel, entao automaticamente L2 ()
(verique!
Utilize que e nita). Usando a expansao de Fourier
(z) = kZ ck z k , a condicao de ser invariante R = se escreve

ck eki z k = ck z k
kZ kZ
Por unicidade dos coecientes da expansao em serie de Fourier, obte-

mos que
ck (eki 1) = 0 para todo k Z.
otese de que a rotacao e irracional signica que eki 1 = 0 para
A hip
todo k = 0, e portanto, ck = 0 para todo k = 0. Ou seja, (z) = c0
para -quase todo z S 1 , como queramos provar.
De fato as rotacoes irracionais satisfazem uma propriedade muito
mais forte do que ergodicidade: elas sao unicamente erg odicas, o
que quer dizer que tem uma u nica probabilidade invariante (que e a
medida de Lebesgue, claro).
1 Quando lidamos com L2 () sempre identificamos fun
c
oes que diferem apenas
num conjunto de medida nula.
i i
i i
25coloquiotexto
i i
2005/5/4
page 68
i i
Observa cao 6.6. A nocao de rotacao irracional se estende para di-

mensoes maiores. Dado qualquer d 1 chamamos d-toro o pro-
duto Td = S 1 S 1 do crculo por si mesmo d vezes. A
rotacao de angulo = (1 , . . . , d ) e a aplicacao R : Td Td ,
R (z1 , . . . , zd ) = (ei1 z1 , . . . , eid zd ). A rotacao e irracional se os
umeros j /(2) sao incomensur
n aveis:
1 d
m0 + m1 + + md =0 m0 = m1 = = md = 0,
2 2
quaisquer que sejam os inteiros m0 , m1 , . . . , md . Usando uma vers
ao
multidimensional das ideias anteriores, se prova que uma rotacao e
erg
odica se e somente se ela e irracional.
6.1.4 Transformac
ao de Gauss
Como vimos na secao 3.4, a transformacao de Gauss G(x) = 1/x
[1/x] admite uma probabilidade invariante que e equivalente a` medida
de Lebesgue, nomeadamente,

1 dx
(E) =
log 2 E 1 + x
Temos tambem que o sistema (G, ) e ergodico. Este fato pode ser
demonstrado pelo mesmo tipo de argumento que usamos na secao 6.1.1.
Vamos esbocar o argumento neste caso, explicando qual e a principal
diculdade adicional.
Seja A um conjunto invariante com medida positiva. Em primeiro
lugar, continua sendo verdade que para quase todo ponto a [0, 1]
existe uma sequencia de intervalos Ik contendo a e tais que f k envia
Ik bijetivamente e diferenciavelmente sobre (0, 1). O di
ametro desses
intervalos converge para zero. Logo, tomando para a um ponto de
densidade qualquer de A, temos que
(Ik A)
1 quando k +. (6.6)
(Ik )
Por outro lado embora f k seja uma bijecao restrita a cada Ik , ela
n
ao e am. Por essa razao n
ao temos o analogo da relacao (6.2) neste
caso. Esta diculdade e contornada atraves do seguinte resultado, que
i i
i i
25coloquiotext
i i
2005/5/4
page 69
i i

OES 69
e um exemplo de controle de distorc

ao: e muito importante notar que
a constante K e independente de k, Ik , E1 , e E2 .
Lema 6.7. Existe uma constante K > 1 tal que para todo k 1,
todo intervalo Ik tal que G restrita a Ik e uma bijec
ao diferenci
avel,
tem-se
(f k (E1 )) (E1 )
k
K
(f (E2 )) (E2 )
para quaisquer subconjuntos mensur
aveis E1 e E2 de Ik .
Antes de demonstrarmos o Lema 6.7, explicamos como a ergodi-

cidade de (G, ) pode ser obtida a partir dele. Observe que f k (Ik
Ac ) = Ac , porque o conjunto A e invariante. Lembre tambem que
f k (Ik ) = (0, 1), que tem medida total. Tomando E1 = Ik Ac e
E2 = Ik no lema 6.7, conclumos que
(f k (Ik Ac ) (Ik Ac )
(Ac ) c
K .
(A ) (Ik
De acordo com (6.6), a express

ao do lado direito converge para zero
quando k . Logo (Ac ) = 0, como queramos demonstrar.
Prova do Lema 6.7. Usaremos os seguintes fatos sobre a transformacao

f que podem ser facilmente vericados pelo leitor:
1. Para todo x (0, 1) vale que |f (x)| > 1 e |(f 2 ) (x)| 4.

(x)
2. Existe C1 > 0 tal que | ff (x) | < C1 .
Observe que a partir do item (1) acima, podemos mostrar que se

x, y Ik ent
ao
1
|f i (x) f i (y)| |f k (x) f k (y)| se i = 0, 1, 2, . . . k. (6.7)
2ki
Observe tambem que se x, y Ik temos que
(f k ) (x) k1
| log k
| | log f (f i (x)) log f (f i (y))|.
(f ) (y) i=0
i i
i i
25coloquiotext
i i
2005/5/4
page 70
i i
O item (2) nos garante que a funcao x log f (x) tem derivada limi-
tada por C, logo pelo Teorema do Valor Medio temos que | log f (a)
log f (b)| C1 |a b|. Aplicando este fato na desigualdade acima e
observando a equacao 6.7:
(f k ) (x)
k1 1
k1
| log k
| C1 |f i (x)f i (y)| C |f k (x)f k (y)| C2 ,
ki 1
(f ) (y) i=0 i=0
2
onde C2 e uma constante propriamente escolhida. Logo, tomando

K = exp C2 , vem que para todos x, y Ik vale:
(f k ) (x)
< C3 .
(f k ) (y)
Note que a constante C3 escolhida n ao depende de k nem de Ik .
Observe ainda que se A [0, 1] e um conjunto mensur
avel, ent
ao
1 1
m(A) (A) m(A),
2 log 2 log 2
onde m representa a medida de Lebesgue de [0,1].
Assim, para concluir a prova do Lema 6.7, basta observar que se
E1 e E2 sao subconjuntos mensur aveis de Ik , entao:

(f k (E1 )) k
2 m(f (E1 ))
(f k ) (x) dm
= 2(log 2) E1
(f k (E2 )) m(f k (E2 )) k
E2 (f ) (y) dm
m(E1 ) (E1 )
2(log 2)2 (C3 )2 4(log 2)4 C3 .
m(E2 ) (E2 )
Assim, basta tomar K = 4(log 2)4 (C3 )2 e o lema esta provado.
6.1.5 M
aquina de somar (adding machine)
A maquina de somar modela sistemas tais como o contador de quilome-
tragem de um carro ou o registro de consumo de g as (em algumas
cidades): a dinamica consiste em fazer avancar o contador de uma
unidade. A principal diferenca com relacao à realidade e que este
contador idealizado comporta innitos dgitos.
i i
i i
25coloquiotext
i i
2005/5/4
page 71
i i

[SEC. 6.2: PROPRIEDADES DE MEDIDAS ERGODICAS 71
Fixe d 2, que representa a base de numeracao (por exemplo,

d = 10). Consideramos o espaco M de todas as sequencias
= (0 , 1 , 2 , . . . , k1 , k , . . .)
com j {0, 1, . . . , d1}. Munimos este espaco da seguinte distancia

d(, ) = 2N (, ) onde N (, ) = min{j 0 : j = j }.
Tambem consideramos a transformacao f : M M soma uma

unidade:
Para toda sequencia com 0 < d 1, denimos
f (0 , 1 , 2 , . . . , k1 , k , . . .) = (0 +1, 1 , 2 , . . . , k1 , k , . . .).
Se 0 = d 1 mas 1 < d 1, denimos
f (0 , 1 , 2 , . . . , k1 , k , . . .) = (0, 1 +1, 2 , . . . , k1 , k , . . .).
Mais geralmente, se 0 = = k1 = d 1 mas k < d 1,

denimos
f (0 , 1 , 2 , . . . , k1 , k , . . .) = (0, 0, 0, . . . , 0, k + 1, . . .).
Se j = d 1 para todo j 0, denimos
f (0 , 1 , 2 , . . . , k1 , k , . . .) = (0, 0, 0, . . . , 0, 0, . . .).
M munido da dist ancia denida em (4.1) e um espaco metrico

compacto, e a transformacao f e contnua nesse espaco. O exerccio
6.7 pede para mostrar que f e unicamente erg odica e para calcular a
(
unica) probabilidade invariante.
6.2 Propriedades de medidas erg

odicas
Fixemos uma transformacao f : M M qualquer. Lembre que
uma medida diz-se absolutamente contnua com relacao a outra
medida se (E) = 0 implica (E) = 0. O pr oximo lema arma que
odicas sao minimais para a relacao :
probabilidades erg
i i
i i
25coloquiotexto
i i
2005/5/4
page 72
i i
Lema 6.8. Se e s ao probabilidades invariantes tais que e

erg
odica e e absolutamente contnua com relac
ao a ent
ao = .
Demonstracao. Seja : M R uma funcao mensuravel limitada

qualquer, e seja
1
n1
(x)
= lim (f j (x))
n n
j=0
a sua media temporal. Como e invariante e erg

odica, a media
temporal e constante
(x)
= d
para -quase todo ponto. Segue que isto e verdade para -quase todo
a que . Em particular,
ponto, j

d = d .
Por outro lado, pelo teorema ergodico,

d = d .
Portanto, as integrais de com relacao a e em relacao a co-

incidem, qualquer que seja a funcao mensuravel limitada . Logo,
considerando funcoes caractersticas, = .
Naturalmente, se 1 e 2 sao probabilidades invariantes com re-

speito a` f a probabilidade 1 + t(2 1 ) ainda e invariante. Isso
siginca que o conjunto das probabilidades invariantes e um conjunto
convexo. Veremos que dentro deste conjunto, as medidas erg odicas
desempenham um papel destacado:
Deni cao 6.9. Seja X um conjunto convexo. Um ponto p X e

dito extremal, se para quaisquer x, y X e t [0, 1], x + t(y x) = p
implica que t = 0 ou 1.
O lema seguinte arma que uma probabilidade invariante e ergodica

se e somente se e ponto extremal no conjunto das probabilidades in-
variantes:
i i
i i
25coloquiotext
i i
2005/5/4
page 73
i i

[SEC. 6.2: PROPRIEDADES DE MEDIDAS ERGODICAS 73
Lema 6.10. Uma probabilidade invariante e erg

odica se e somente
se n
ao e possvel escreve-la na forma
= c1 1 + c2 2
com c1 , c2 maiores que zero e 1 , 2 probabilidades invariantes dis-
tintas.
Demonstrac
ao. Para provar a parte se, suponha que n ao seja
erg
odica. Ent
ao existe algum conjunto invariante A com 0 < (A) <
1. Dena 1 e 2 como sendo as restricoes normalizadas de a A e
ao seu complementar, respectivamente:
(E A) (E Ac )
1 (E) = 2 (E) = .
(A) (Ac )
Como A e Ac sao conjuntos invariantes e e medida invariante,
1 e 2 sao tambem probabilidades invariantes. Alem disso, =
(A)1 + (Ac )2 e portanto n ao e extremal.
Para provar a recproca, suponha que e ergodica e temos =
c1 1 + c2 2 com c1 , c2 > 0. E claro que (E) = 0 implica 1 (E) =
2 (E) = 0, ou seja, 1 e 2 sao absolutamente contnuas com relacao
a . Logo, pelo lema 6.8, 1 = = 2 . Isto prova que e extremal.
Em seguida vamos mostrar que medidas erg

odicas distintas vivemem
subconjuntos disjuntos do espaco M :
Lema 6.11. Sejam 1 , . . . , N probabilidades invariantes e erg odicas,
todas distintas. Ent
ao existem subconjuntos mensur aveis P1 , . . . , PN
invariantes disjuntos tais que

1 se j = k
j (Pk ) =
0 se j = k
Demonstrac umeros distintos em {1, . . . , N }.
ao. Fixe qualquer par j, k de n
Pelo lema 6.8, a medida j nao pode ser absolutamente contnua em
relacao a k . Em outras palavras, existe algum subconjunto men-
avel E tal que j (E) > 0 mas k (E) = 0. Ent
sur ao

j f j (E) j (E) > 0. e k f j (E) = 0
j=0 j=0
i i
i i
25coloquiotexto
i i
2005/5/4
page 74
i i

Dena Pj,k = m=0 j=m f j (E). Como a sequencia de conjuntos
na intersecao e decrescente com m,

j Pj,k = lim j f j (E) (6.8)
m
j=m
e, analogamente para k . Como as medidas j e k sao invariantes,

e

f j (E) = f m f j (E) ,
j=m j=0
a sequencia no lado direito de (6.8) e constante. Conclumos que

j (Pj,k ) = j f j (E) > 0 e k (Pj,k ) = k f j (E) = 0.
j=0 j=0
Alem disso, Pj,k e um conjunto invariante por f . Portanto j (Pj,k ) =

1, uma vez que j e ergodica. Agora dena

Pj = Pj,k e Pj = Pj \ Pk .
k=j k=j
Primeiramente, j (Pj ) = 1 e k (Pj ) = 0 para todo k = j. Segue que

j (Pj ) = 1 e k (Pj ) = 0 para todo k = j. Alem disso, os Pj sao
disjuntos dois-a-dois.
6.3 Teorema de decomposi

c
ao erg
odica
Na sequencia dos resultados da secao anterior, e natural pergun-
tar se toda medida invariante e uma combinacao linear de medidas
erg
odicas. O teorema que vamos enunciar nesta secao arma que a
resposta e armativa, exceto que o n
umero de parcelas nesta com-
binacao n
ao e necessariamente nito, nem mesmo enumeravel, em
geral.
Teorema 6.12. Seja f : M M uma transformac ao contnua num
espaco compacto. Ent
ao existe um conjunto mensur avel M0 M ,
ao P de M0 e uma famlia de probabilidades {P : P P}
uma partic
satisfazendo
i i
i i
25coloquiotext
i i
2005/5/4
page 75
i i
P (P ) = 1 para todo elemento P de P;
a aplicac
ao P P e mensur
avel;
toda P e invariante e erg

odica para f ;
tais que, dada qualquer probabilidade f -invariante , o conjunto M0

satisfaz (M0 ) = 1 e, alem disso,

(E) = P (E) d (P ) para todo conjunto mensur avel E M

(6.9)
onde ao de em P.
e a medida projec
A relacao (6.9) signica que e uma combinacao convexa das

v
arias probabilidades erg odicas P , em que cada P entra com co-
ecienteigual a (P ). Dada qualquer particao P de M ca denida
a projecao natural : M P que associa a cada ponto x M o
elemento P (x) da particao que o contem. Isto permite denir o que
e um subconjunto mensur avel da particao: Q P e mensuravel se e
somente
1 (Q) = uniao dos P Q
e um subconjunto mensur f
avel de M . E acil ver que esta denicao
esta correta: a famlia dos subconjuntos mensur aveis e uma -algebra
em P. A medida projecao de esta denida nesta -algebra, por
(Q) = ( 1 (Q)).

A demonstracao do Teorema 6.12 esta fora dos objetivos do pre-

sente texto e pode ser encontrada em [Wal82] ou [Ma n87].
6.4 Exerccios
6.1. Considere o espaco M = {1, 2, . . . , d}Z das sequencias com val-
ores num conjunto {1, 2, . . . , d}. Fixe qualquer n umero (0, 1).
Para cada = (n )nZ e = (n )nZ em M , dena

N (, ) = max N 0 : n = n para todo n Z com |n| < N
i i
i i
25coloquiotext
i i
2005/5/4
page 76
i i
e d(, ) = N (, ) . Verique que d e uma metrica em M e gera a

mesma topologia que a famlia dos cilindros. Em particular, (M, d)
e um espaco metrico compacto. Tem-se um resultado analogo para
M = {1, 2, . . . , d}N .
6.2. Suponha que R e uma rotacao irracional.
1. Mostre que a orbita {R

n
(z) : n Z} de todo z S 1 e densa
1
em S .
2. Seja A um conjunto invariante com medida positiva. Mostre

que nenhum ponto de S 1 e ponto de densidade de Ac . Conclua
que (A) = 1.
Dica: considere um ponto de densidade de A e use o item (1).
6.3. A rotacao R e racional se e somente se ei e uma raiz da

unidade, isto e, se existe k = 0 tal que eki = 1.
6.4. Se R e rotacao racional entao R n

ao e ergodica para a medida
de Lebesgue.
No exerccio a seguir propomos outra demonstracao para a proposicao

6.5:
1. Mostre que a orbita {R

n
(z) : n Z} de todo z S 1 e densa
1
em S .
2. Seja A um conjunto invariante com medida positiva. Mostre

que nenhum ponto de S 1 e ponto de densidade de Ac . Conclua
que (A) = 1.
Dica: considere um ponto de densidade de A e use o item (1).
1. Seja : S 1 R uma funcao contnua qualquer. Mostre que
1
n1
j
(x)
= lim (R (z))
n n
j=0
i i
i i
25coloquiotext
i i
2005/5/4
page 77
i i
existe em todo ponto e, de fato, o limite e uniforme. Justique

que e constante em todo ponto.
Dica: Verique que a sequencia do lado direito e equicontnua
e use o teorema de Ascoli-Arzela.
2. Deduza que R tem uma u
nica probabilidade invariante.
6.7. Seja f : M M uma maquina de somar, denida na seccao
6.1.5.
1. Seja : M R uma funcao contnua qualquer. Mostre que
1
n1
(x)
= lim (f j (z))
n n
j=0
existe em todo ponto e o limite e uniforme.

2. Justique que e constante em todo ponto e deduza que f tem
uma u nica probabilidade invariante.
3. Calcule essa probabilidade, encontrando uma express ao explcita
para a medida de qualquer subconjunto [b0 , b1 , . . . , bk ] das sequencias
com 0 = b0 , 1 = b1 , . . . , k = bk .
6.8 (Teorema de Kac). Seja uma medida erg odica para uma
transformacao f : M M e A um conjunto com (A) > 0. Con-
sidere nA : A N {+} como o menor n umero nA (x) > 0 tal que
f nA (x) (x) A. Caso este n
umero n
ao exista, denimos nA (x) = +.
1. Mostre que nA e integr

avel com respeito a .
(AB)
2. Mostre que se A (B) = (A) ent
ao:

1
nA (x) dA (x) = .
A (A)
6.9. Seja f : M M denida no espaco topologico M tal que existe

alguma medida erg odica tal que para todo A aberto, (A) > 0.
Mostre que f e transitiva e a orbita de -quase todo ponto e densa.
i i
i i
25coloquiotext
i i
2005/5/4
page 78
i i
Captulo 7
Aplica
c
oes em Teoria
dos Numeros
Neste captulo apresentamos duas aplicacoes da Teoria Erg odica no

domnio da Teoria dos N umeros: o Teorema de S. Szemeredi [Sze75]
sobre existencia de progressoes aritmeticas dentro de subconjuntos
sucientemente densos do conjunto Z dos n umeros inteiros, e o teo-
rema de H. Weyl [Wey16] sobre equidistribuicao da parte fracion aria
dos valores de funcoes polinomiais restritas a Z.
7.1 Teorema de Szemer

edi
A nossa apresentacao e inspirada por Furstenberg [Fur81], onde o
leitor pode encontrar muita informacao adicional sobre este tema.
7.1.1 Densidade superior

Chamamos intervalo do conjunto Z dos n umeros inteiros qualquer
subconjunto I da forma {n Z : a n < b}, para quaisquer a b
em Z. O seu cardinal e #I = b a.
Deni
c
ao 7.1. A densidade superior Ds (S) de um subconjunto S
78
i i
i i
25coloquiotext
i i
2005/5/4
page 79
i i

[SEC. 7.1: TEOREMA DE SZEMEREDI 79
de Z e
#(S I)
Ds (S) = lim sup
#I #I
onde I representa qualquer intervalo em Z. Do mesmo modo se de-
ne a densidade inferior Di (S), trocando limite superior por limite
inferior.
Em outras palavras, Ds (I) e o maior n umero D tal que existe

uma sequencia de intervalos Ij Z tais que
#(S Ij )
#Ij e D
#Ij
umero nessas condicoes. Note que 0 Di (S)

e Di (S) e o menor n
Ds (S) 1. No Exerccio 7.1 tambem veremos que Di (S) = Ds (Z\S)
para todo S Z.
Exemplo 7.2. Seja S o conjunto dos n umeros pares. Dado qualquer

intervalo I Z, temos que #(S I) = #I/2 se o cardinal de I e
par e #(S I) = #(I 1)/2 se o cardinal de I e mpar, onde o
sinal e positivo se o menor elemento de I e um n umero par, e e
negativo caso contrario. Desta observacao segue, imediatamente, que
Ds (S) = Di (S) = 1/2.
Exemplo 7.3. Seja S o seguinte subconjunto de Z:
{1, 3, 4, 7, 8, 9, 13, 14, 15, 16, 21, 22, 23, 24, 25, 31, 32, 33, 34, 35, 36, 42, . . .}.
Isto e, para cada k 1 inclumos em S um bloco de k inteiros consec-

utivos e omitimos os k inteiros seguintes. Este conjunto contem inter-
valos com comprimento arbitrariamente grande. Portanto Ds (S) = 1.
Por outro lado, o complementar de S tambem contem intervalos com
comprimento arbitrariamente grande. Portanto, Di (S) = 1 Ds (Z \
S) = 0.
Exemplo 7.4. Seja S o seguinte subconjunto de Z:
{1, 3, 4, 5, 6,9, 10, 11, 12, 14, 15, 16, 17, 18,
22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 42, . . .}.
i i
i i
25coloquiotext
i i
2005/5/4
page 80
i i
80 [CAP. 7: APLICAC
OES
EM TEORIA DOS NUMEROS
Ou seja, para cada k 1 inclumos em S um bloco de k 2 inteiros

consecutivos e depois exclumos os k inteiros seguintes. Neste caso
temos
#(S [1, 2, . . . , n])
lim = 1.
n n
Isto implica Ds (S) = 1. Mas, tal como no caso anterior, Di (S) = 0.
7.1.2 Enunciados
Nos anos 30, Erd os e Turan [ET36] conjecturaram que todo sub-
conjunto de Z com densidade superior positiva contem sequencias ar-
itmeticas nitas com comprimento arbitrariamente grande. Esta con-
jectura foi demonstrada por Szemeredi [Sze75], quase quatro decadas
mais tarde:
Teorema 7.5 (Szemer edi). Se S e um subconjunto de Z com den-

ao para todo k N existem m Z e
sidade superior positiva, ent
n N tais que m, m + n, m + 2n, . . . , m + kn pertencem a S.
Em geral, n ao podemos esperar que S contenha progressoes ar-

itmeticas com comprimento innito, como mostram os Exemplos 7.3
e 7.4.
A demonstracao original do Teorema 7.5 usa argumentos com-
binatorios bastante intrincados. No entanto, poucos anos depois
Furstenberg [Fur77] deu uma nova demonstracao, utilizando ideias
de Teoria Erg odica. Na verdade, ele deduziu o Teorema 7.5 de uma
generalizacao do Teorema 2.1 para famlias de transformacoes que
comutam entre si:
Teorema 7.6 (Recorr encia Simult anea de Poincar e). Sejam

fi : M M , i = 1, 2, . . . , k transformaco es que preservam uma
probabilidade em M e tais que fi fj = fj fi para todo i, j =
ao, para qualquer conjunto E M tal que (E) > 0,
1, 2, . . . , k. Ent
existe algum n 1 tal que

E f1n (E) f2n (E) fkn (E) > 0.
Em outras palavras, este teorema arma que existe algum tempo n

tal que os iterados de um subconjunto com medida positiva de pontos
i i
i i
25coloquiotext
i i
2005/5/4
page 81
i i

de E, por todas as transformacoes fi , regressam a E simultaneamente

nesse momento n.
A demonstracao do Teorema 7.6 escapa ao ambito deste texto.
Mas, na Secao 7.1.6, explicaremos porque ele implica o Teorema 7.5.
Alem disso, vamos discutir vers oes um pouco mais fracas destes re-
sultados, que chamamos teorema de van der Waerden e teorema de
Recorrencia Simultanea de Birkho, respectivamente.
O teorema de van der Waerden [vdW27] arma que dada qualquer
particao do conjunto Z num n umero nito de subconjuntos, algum
desses subconjuntos deve conter progressoes aritmeticas com compri-
mento arbitrariamente grande:
Teorema 7.7 (van der Waerden). Sejam S1 , S2 , . . . , Sq subcon-
juntos dois-a-dois disjuntos de Z tais que S1 S2 Sq = Z.
Dado qualquer k 1 existe algum Si que contem alguma progress ao
aritmetica com comprimento k + 1. Em particular, algum elemento
Sj da partica
o contem progress
oes aritmeticas com comprimento ar-
bitrariamente grande.
Na Secao 7.1.3 veremos que este resultado e uma consequencia
simples do Teorema 7.5. Tambem veremos, na Secao 7.1.4, que ele
pode ser deduzido da seguinte extens
ao do Teorema 4.11:
Teorema 7.8 (Recorr encia Simult anea de Birkho ). Seja M
um espaco metrico compacto e fi : M M , i = 1, 2, . . . , k trans-
es contnuas tais que fi fj = fj fi para todo i, j = 1, 2, . . . , k.
formaco
ao existe algum x M e alguma sequencia nj tal que
Ent
n
fi j (x) x quando j , para todo i = 1, 2, . . . , k.
Em outras palavras, as trajetorias de x por todas as transformacoes
recorrem para x simultaneamente nos momentos nj .
Na Secao 7.1.5 veremos que o Teorema 7.8 e uma consequencia
simples do Teorema 7.6. Alias, como veremos na Secao 7.1.6, este
u
ltimo teorema tambem implica o Teorema 7.5. Portanto, o diagrama
a seguir resume as relacoes logicas entre os quatro enunciados, que
serao discutidas nas proximas secoes:
T. Szemeredi 7.5 T. R. S. Poincare 7.6

T. van der Waerden 7.7 T. R. S. Birkho 7.8.
i i
i i
25coloquiotext
i i
2005/5/4
page 82
i i
82 [CAP. 7: APLICAC
OES
7.1.3 T. de Szemer
edi implica T. van der Waerden
Seja S1 , S2 , . . . , SN uma particao nita de Z qualquer. De acordo
com o Exerccio 7.1, pelo menos um dos elementos Si da particao deve
ter densidade superior positiva. Aplicando o Teorema 7.5 a S = Si
conclumos que ele contem progressoes aritmeticas com comprimento
arbitrariamente grande. Isto prova o Teorema 7.7.
7.1.4 T. de Birkho implica T. de van der Waer-

den
Vamos comecar por traduzir o Teorema 7.7 num enunciado sobre o
deslocamento (shift) f : M M no espaco M = {1, 2, . . . , q}Z
das sequencias bilaterais com valores em {1, 2, . . . , q}. Observe que
cada sequencia = (n )nZ em M dene uma particao de Z em
subconjuntos
Si = {n Z : n = i}, i = 1, 2, . . . , q
e, reciprocamente, toda particao de Z em q subconjuntos determine

uma sequencia M . Portanto, o teorema pode ser reformulado do
seguinte modo: para todo M e todo k 1, existem m Z e
n 1 tais que
m = m+n = = m+nk . (7.1)
Para provarmos este fato, vamos munir M da metrica d(, ) =
N (, )
,

N (, ) = max N 0 : n = n para todo n Z com |n| < N ,
que foi denida no Exerccio 6.1, sendo um n

umero qualquer em
(0, 1). Note que
d(, ) < 1 se e somente se 0 = 0 . (7.2)

Como o espaco metrico (M, d) e compacto, o fecho A = f n () : n Z
da trajet
oria de e tambem um compacto, para a metrica induzida.
Lembre que o deslocamento f : M M e denido por
f ((n )nZ ) = (n+1 )nZ . (7.3)
i i
i i
25coloquiotext
i i
2005/5/4
page 83
i i

Consideremos as transformacoes f1 = f , f2 = f 2 , . . . , fk = f k
denidas de A em A. E claro que as fi comutam entre si. Portanto,
podemos aplicar o Teorema 7.8 e concluir desta maneira que existe
A e uma sequencia nj tal que
n
fi j () para todo i = 1, 2, . . . , k.
n
Observe que fi j = f i nj . Em particular, podemos xar n = nj tal
que os iterados f n (), f 2n (), . . . , f kn () estao todos a distancia
menor que 1/3 do ponto . Logo, os pontos
, f n (), f 2n (), . . . , f kn ()
estao todos a distancia menor que 2/3 uns dos outros. Ent
ao, como
esta no fecho A da orbita de , podemos encontrar m Z tal que
f m () esta t
ao pr
oximo de que os pontos
f m (), f m+n (), f m+2n (), . . . , f m+kn ()
estao a dist
ancia menor que 1 uns dos outros. Tendo em conta a
observacao (7.2) e a denicao (7.3) da transformacao f , isto quer
dizer que
m = m+n = = m+kn ,
como pretendamos provar. Isto completa a demonstracao do teorema

de van der Waerden a partir do teorema de Recorrencia Simultanea
de Birkho.
De fato, a conclusao do Teorema 7.7 ainda vale para particoes de
subconjuntos nitos de Z, desde que sejam sucientemente grandes:
Teorema 7.9 (van der Waerden). Dados k 1 e q 2 ex-

iste N 1 tal que, dada qualquer partic
ao do intervalo {1, 2, . . . , N }
em q subconjuntos, algum desses subconjuntos contem progress oes ar-
itmeticas com comprimento k + 1.
f
E acil ver que o Teorema 7.9 implica o Teorema 7.7. No Ex-
erccio 7.2 veremos que a recproca tambem e verdadeira.
i i
i i
25coloquiotext
i i
2005/5/4
page 84
i i
84 [CAP. 7: APLICAC
OES
7.1.5 T. de Poincar
e implica T. de Birkho
Comecemos por lembrar (Exerccio 4.4) que se fi : M M , i =
1, 2, . . . , k sao transformacoes contnuas num espaco metrico com-
pacto que comutam entre si, entao existe alguma probabilidade in-
variante comum a todas essas transformacoes.
Em seguida, observemos que o Teorema 7.6 tem a seguinte con-
sequencia:
Corol ario 7.10. Sejam fi : M M , i = 1, 2, . . . , k transformac

oes
que preservam uma probabilidade em M e tais que fi fj = fj fi
ao, para qualquer conjunto E M tal
para todo i, j = 1, 2, . . . , k. Ent
que (E) > 0, e para quase todo x E existe uma sequencia nj
n
tal que fi j (x) E para todo i = 1, . . . , k e todo j 1.
Deixaremos a prova desta proposicao como exerccio para o leitor

(Exerccio 7.6). Compare tambem com o Exerccio 2.1. Este corolario
ser
au til na:
Prova do Teorema de Recorrencia M ultipla de Birkho. Considere uma

base enumer avel de abertos Uj de M com o diametro de Uj indo a
zero quando j . Seja alguma medida invariante simultane-
amente para todos os fi (note que o Exerccio 4.4 nos garante a
existencia de alguma destas medidas).
Para cada j representamos por Dj o conjunto dos pontos x Uj
tais que existe n > j tal que fin (x) Uj para todo i = 1, 2, . . . , k.
Observe que de acordo com o Corolario 7.10, o conjunto Uj \ Dj
tem medida igual a zero, uma vez que quase todo ponto retorna
simutaneamente a Uj em algum momento. Consequentemente, como
{Uj }jN e uma cobertura de M , temos que o conjunto:

D= Dm ,
n=1 mn
tem medida (D) = 1. Em particular, D = .

Mostraremos que todo ponto x D e simultaneamente recorrente
para as transformacoes f1 , f2 , . . . , fk . Ora, se x D x mn Dm
para todo n N. Logo, existe m n tal que x Dm . De acordo com
a denicao de Dm , existe algum nm > m tal que finm (x) Um para
i i
i i
25coloquiotext
i i
2005/5/4
page 85
i i

todo i = 1, 2, . . . , k. Logo, d(x, finm (x)) 0, uma vez que os pontos

x e fimn (x) pertencem a Um e o di ametro de Um vai a zero quando
m . Isto encerra a prova do Teorema de Recorrencia M ultipla de
Birkho.
7.1.6 Prova do Teorema de Szemer

edi
Mostraremos nesta seccao como deduzir o Teorema de Szemeredi
(Teorema 7.5) a partir do Teorema de Recorrencia Simultanea (Teo-
rema 7.6). Novamente, utilizaremos o dicion ario entre particoes de
Z e sequencias de inteiros, como ja zemos na prova do Teorema de
Van der Waerden (Teorema 7.7).
Prova do Teorema de Szemeredi. Considere S um conjunto com den-

sidade superior positiva qualquer. Vamos associar a S uma sequencia
= (n )nZ M = {0, 1}Z denida por:
n = 1 n S.
Como S possui densidade superior positiva, existe c > 0 e uma

sequencia de intervalos In = [an , bn ) de Z com lim #In = e tais
que
#(S In )
Ds (S) = lim > c > 0.
#In #In
Considere o deslocamento f : M M e dena o subconjunto
A M por
A = {y M ; y0 = 1}.
Note que o fato de f j () A equivale a dizer que j = 1, ou seja,
j S. Resumindo,
f j () A j S (7.4)
O conjunto A e um aberto e ao mesmo tempo um fechado de M ,
considerando a topologia dada onde os cilindros s
ao abertos, pois A
e um cilindro de comprimento 1 em M e seu complementar e uma
uni
ao de cilindros. Deste modo, tendo em vista (7.4), mostrar que
m+in S equivale a mostrar que f m+in () A. Logo, para mostrar
i i
i i
25coloquiotext
i i
2005/5/4
page 86
i i
86 [CAP. 7: APLICAC
OES
o Teorema de Szemeredi, basta provar que para todo k N existem

m Z e n N tais que
f m (), f m+n (), f m+2n (), . . . , f m+kn () A.
Para mostrar este fato, vamos denir a sequencia n de probabil-

idades em M por:
bn 1
1
n = i (7.5)
#In i=a f ()
n
Como ja vimos no Teorema 4.4, o conjunto das probabilidades

M1 (M ) munido com a topologia fraca e compacto. Assim, pode-
mos garantir que alguma subsequencia ni converge para uma prob-
abilidade de M . Para n ao carregar a notacao, vamos supor que
a propria sequencia n converge para na topologia fraca . Ob-
serve que e uma probabilidade f -invariante, pois para toda funcao
contnua : M R, vale

bn 1
1
f d = lim f dn = lim (f i ())
n n #In
i=an

(f bn ()) (f an ())
+ lim = lim dn = d.
n #In n
Para utilizar o Teorema de Recorrencia Simultanea de Poincare

para o conjunto A, precisamos mostrar inicialmente que (A) > 0.
De fato, observe que A e um conjunto fechado e aberto de M . Logo,
pela Proposicao 4.3 temos que
#(S In )
(A) n (A) = lim > c > 0.
#In #In
Dado k N, considerando as funcoes f, f 2 , f 3 , . . . , f k (que clara-
mente comutam entre si) o Teorema de Recorrencia Simultanea de
Poincare nos garante que existe algum n 1 tal que

A f n (A) f 2n (A) fkkn (A) > 0.
Em particular, como A e aberto, existe algum l tal que

l A f n (A) f 2n (A) f kn (A) > 0.
i i
i i
25coloquiotext
i i
2005/5/4
page 87
i i
[SEC. 7.2: TEOREMA DE WEYL 87
bl 1
Como l = (1/#Il ) i=a l
f i () , podemos garantir que pelo menos
para algum an m bl 1, o ponto f m () pertence a A f n (A)
f kn (A). Assim, f m+in () A, para i = 0, 1, . . . , k, como
queramos provar.
7.2 Teorema de Weyl

Vamos descrever outra bela aplicacao da Teoria Erg odica a` Teoria
dos N
umeros, devida a H. Weyl [Wey16]. Consideramos funcoes poli-
nomiais
P (x) = a0 + a1 x + a2 x2 + + ad xd ,
com coecientes reais e grau d 1. Para cada inteiro positivo n, cal-

culamos o valor da funcao P em n e chamamos zn a parte fracion aria
do valor P (n) obtido. De maneira mais formal,
zn = {P (n)} = P (n) [P (n)]
onde {x} = parte fracion aria e [x] = parte inteira de x. Observe

que zn [0, 1) para cada n. Mas podemos, igualmente, considerar
que a sequencia toma valores no crculo S 1 = R/Z, e faremos isso
no que segue. Estamos interessados em entender como se distribui a
sequencia zn no crculo.
Deni ao 7.11. Dizemos que uma sequencia xn S 1 e equidis-

c
tribuda se para qualquer funcao contnua : S 1 R tem-se

1
n
lim (xj ) = (x) dx.
n n
j=1
Veremos no Exerccio 7.4 que isto equivale a dizer que, para todo
intervalo I S 1 , a fracao dos termos da sequencia que estao em I e
igual ao comprimento m(I) desse intervalo.
Teorema 7.12 (Weyl). Se algum dos coecientes a1 , a2 , . . . , ad e

ao a sequencia zn = {P (n)} e equidistribuda.
irracional ent
i i
i i
25coloquiotext
i i
2005/5/4
page 88
i i
88 [CAP. 7: APLICAC
OES
Podemos, sem restricao, supor que o coeciente ad e irracional.

De fato, a sequencia zn sempre pode ser decomposta numa soma
zn = xn + yn , xn = {ad nd }, yn = {Q(n)}
onde Q(x) = a0 + a1 x + + ad1 x . Suponha que ad e racional,
d1
isto e, que existem inteiros p e q tais que ad = p/q. Ent ao a primeira

parcela xn toma no m aximo q valores distintos. De fato esta sequencia
e periodica com perodo q:
p p d
xn+p = (n + q)d = n = xn para todo n Z.
q q
Por outro lado, a segunda parcela yn e do mesmo tipo que zn , exceto
que o polinomio Q que lhe esta associado tem grau d 1. Portanto,
por inducao no grau, podemos supor que yn e equidistribuda. Mais
que isso, podemos supor que as subsequencias
yqn+r = {Q(qn + r)}, n Z
sao equidistribudas para todo r {0, 1, . . . , q 1}. Na verdade, estas
sequencias podem ser escritas como ynq+r = {Qr (n)} para algum
polinomio Qr com o mesmo grau que Q (verique), e portanto a
hipotese de inducao se aplica a elas tambem. Destas duas observacoes
segue que a soma zn tambem e equidistribuda, porque cada uma das
subsequencias zqn+r , n Z e equidistribuda.
7.2.1 O caso am
Para desenvolvermos alguma intuicao sobre o problema, comecemos
por considerar o caso especial d = 1. Neste caso a funcao polinomial
resume-se a P (x) = a0 + a1 x. Estamos supondo que o coeciente a1
e irracional. Consideremos a transformacao
f : S1 S1, f () = + a1 mod Z.
Foi visto na Proposicao 4.6 que esta transformacao f admite uma
u
nica probabilidade invariante, que e a medida de Lebesgue m. Con-
sequentemente, dada qualquer funcao contnua : S 1 R, e dado
qualquer ponto S 1 ,

1
n
lim (f j ()) = dm.
n n
j=1
i i
i i
25coloquiotext
i i
2005/5/4
page 89
i i
Considere = a0 mod Z. Ent ao, f j () = a0 + a1 j mod Z =

P (j) mod Z e isto signica que podemos identicar zj = {P (j)}
com a sequencia dos iterados f j (a0 ). Entao a relacao anterior d
a

1
n
lim (zj ) = dm.
n n
j=1
Isto e precisamente o que signica dizer que zj e equidistribuda.
7.2.2 Ergodicidade
Vamos estender os argumentos acima para provar o caso geral do
Teorema 7.8. Seja Td o toro d-dimensional, isto e,
Td = Rd /Zd = S 1 S 1 (d vezes).
Introduzimos a transformacao f : Td Td
f (1 , 2 , . . . , d ) = (1 + , 2 + 1 , . . . , d + d1 ), (7.6)
onde e um n
umero irracional que sera escolhido mais tarde. Observe
que f preserva a medida de Lebesgue m em Td . Isto pode ser visto
usando as ideias da Secao 3.2: a derivada de f em cada ponto vem
dada pela matriz

1 0 0 0 0
1 1 0 0 0

0 1 1 0 0

0 0 0 1 1
cujo determinante e 1. Observe que a transformacao f e invertvel.

Proposic
ao 7.13. A transformac
ao f e erg
odica relativamente a
`
medida de Lebesgue no toro Td .
Demonstracao. O metodo e analogo ao da Proposicao 6.5, baseado
em analise de Fourier. Seja : Td R uma funcao em L2 (m).
Escrevemos
() = an e2in
nZd
i i
i i
25coloquiotext
i i
2005/5/4
page 90
i i
90 [CAP. 7: APLICAC
OES
onde = (1 , . . . , d ), n = (n1 , . . . , nd ), n = n1 1 + + nd d , e

|an |2 = |()|2 d1 dd < . (7.7)

nZd
Suponhamos que a funcao e invariante, isto e, f = em quase

todo ponto. Observe que

(f ()) = an e2i(n1 (1 +)+n2 (2 +1 )+nd (d +d1 ))
nZd

= an e2in1 e2iL(n)
nZd
onde L(n) = (n1 + n2 , n2 + n3 , . . . , nd1 + nd , nd ). Portanto, a relacao

ancia f = se traduz por
de invari
an e2in1 = aL(n) para todo n Zd . (7.8)
Isto implica que an e aL(n) tem o mesmo valor absoluto. Por outro
lado, a relacao de integrabilidade (7.7) implica que existe no maximo
um n umero nito de termos com um dado valor absoluto n ao-nulo.
Conclumos que an = 0 para todo n Zd cuja orbita Lj (n), j Z
seja innita. Observando a expressao de L deduzimos que an = 0
exceto, possivelmente, se n2 = = nd = 0. Alem disso, para os
valores de n restantes, ou seja, para n = (n1 , 0, . . . , 0), tem-se que
L(n) = n e portanto a relacao (7.8) torna-se
an = an e2in1 .
Como e irracional, o u ltimo fator e diferente de 1 sempre que n1

e nao-nulo. Portanto esta relacao d a que an = 0 tambem para n =
(n1 , 0, . . . , 0) com n1 = 0. Deste modo, mostramos que se e uma
funcao invariante ent ao todos os termos da sua expansao de Fourier
se anulam exceto, possivelmente, o termo constante. Isto mostra que
e constante, e isso prova que f e ergodica.
7.2.3 Unicidade erg

odica
O pr
oximo passo da demonstracao do Teorema 7.12 e a seguinte
i i
i i
25coloquiotext
i i
2005/5/4
page 91
i i
Proposicao 7.14. A transformac ao f e unicamente erg

odica, isto
e, a medida de Lebesgue no toro e a sua u
nica medida invariante.
Demonstracao. A demonstracao ser
a por inducao no grau d do polin
omio
P . O caso de grau 1 ja foi tratado na Secao 7.2.1, portanto so pre-
cisamos explicar como o caso de grau d pode ser deduzido do caso de
grau d 1. Para isso, escrevemos Td = Td1 S 1 e
f : Td1 S 1 Td1 S 1 f (0 , ) = (f0 (0 ), + d1 ) (7.9)
onde 0 = (1 , . . . , d1 ) e f0 (0 ) = (1 + , 2 + 1 , . . . , d1 + d2 ).
Vamos representar por : Td Td1 a projecao () = 0 . Por
inducao, a transformacao
f0 : Td1 Td1
e unicamente ergodica. Para mostrar que f e unicamente erg
odica
so precisamos mostrar que a medida de Lebesgue m e a sua u nica
probabilidade invariante erg
odica.
Lema 7.15. Se e uma probabilidade invariante por f ent ao a
ao coincide com a medida de Lebesgue m0 em Td1 .
projec
Demonstrac avel E Td1 ,
ao. Dado qualquer conjunto mensur
( )(f01 (E)) = ( 1 f01 (E)).
Usando f = f0 e o fato de que e f -invariante, se verica que
a expressao do lado direito e igual a
(f 1 1 (E)) = ( 1 (E)) = ( )(E).
Portanto ( )(f01 (E)) = ( )(E) para todo subconjunto men-
avel E, ou seja, e probabilidade f0 -invariante. Como supomos
sur
que f0 e unicamente erg odico, segue que coincide com a medida
de Lebesgue m0 em Td1 .
Agora suponhamos que e ergodica. Pelo Teorema de Birkho 5.2,
o conjunto G dos pontos Td tais que

1
n1
lim (f ()) = d para toda funcao contnua : Td R
j
n j=0
(7.10)
i i
i i
25coloquiotext
i i
2005/5/4
page 92
i i
92 [CAP. 7: APLICAC
OES
tem medida total. Seja G0 () o conjunto dos 0 Td1 tais que

G() intersecta {0 } S 1 . Em outras palavras, G0 () = (G ). E

claro que 1 (G0 ()) contem G e portanto tem medida igual a 1.
Logo, usando o Lema 7.15,
m0 (G0 ()) = ( 1 (G0 ())) = 1.
Em particular, isto vale para a medida de Lebesgue:
m0 (G0 (m)) = m( 1 (G0 (m))) = 1.
Uma consequencia direta destas relacoes e que a interseccao de G0 ()

e G0 (m) tem medida m0 total e, portanto, estes conjuntos n ao po-
dem ser disjuntos. Seja 0 um ponto qualquer na interseccao. Por
denicao, G() intersecta {0 } S 1 . Mas o pr
oximo resultado arma
que G(m) contem {0 } S 1 :
ao {0 } S 1 est
Lema 7.16. Se 0 G0 (m) ent a contido em G(m).
Demonstracao. A observacao crucial e que a medida m e invariante

por toda a transformacao da forma
R : Td1 S 1 Td1 S 1 , (, ) (, + ).
A hip otese 0 G0 (m) signica que existe algum S 1 tal que

(0 , ) G(m), ou seja,

1
n1
lim (f j (0 , )) = dm
n j=0
para toda funcao contnua : Td R. Qualquer outro ponto de

{0 } S 1 pode ser escrito como (0 , + ) = R (0 , ) para algum
S 1 . Recordando (7.6), vemos que

f R (0 , ) = (1 +, 2 +1 , . . . , d1 +d2 , ++d1 ) = R f (0 , )
para todo (0 , ) Td1 S 1 . Logo, por inducao,

f j (0 , + ) = f j R (0 , ) = R f j (0 , )
i i
i i
25coloquiotext
i i
2005/5/4
page 93
i i
para todo j 1. Portanto, dada qualquer funcao contnua : Td

R,
1 1
n1 n1
lim (f j (0 , + )) = lim ( R )(f j (0 , ))
n j=0 n j=0

= ( R ) dm = dm.
Isto prova que (0 , + ) esta em Gm para todo S 1 , conforme

armado.
Segue do que dissemos ate agora que G() e G(m) se intersectam

em algum ponto de {0 } S 1 . Tendo em vista a denicao (7.10),
isto implica que as duas medidas tem a mesma integral para cada
funcao contnua. De acordo com o Teorema de Riesz-Markov 4.7,
isto implica que = m, como queramos demonstrar.
Corol ario 7.17. A orbita de todo ponto Td e equidistribuda no

ao contnua : Td R tem-se
toro: para toda func

1
n1
j
lim (f ()) = dm.
n j=0
Demonstrac
ao. Isto e uma consequencia imediata da Proposicao 7.14
e da Proposicao 4.7.
7.2.4 Demonstra
c
ao do Teorema de Weyl
Para completarmos a demonstracao do Teorema 7.12, introduzimos
os polin
omios denidos por pd (x) = P (x) e
pj1 (x) = pj (x + 1) pj (x) for j = 2, . . . , d. (7.11)
Lema 7.18. omio pj (x) tem grau j, para todo 1 j

1. O polin
d.
2. p1 (x) = x + onde = ad d! e irracional.
Deixamos a demonstracao deste lema para o Exerccio 7.5.
i i
i i
25coloquiotext
i i
2005/5/4
page 94
i i
94 [CAP. 7: APLICAC
OES
Lema 7.19. Para todo n 0,

f n p1 (0), p2 (0), . . . , pd (0) = p1 (n), p2 (n), . . . , pd (n) .
Demonstraca o. A demonstracao sera por inducao em n. Como o caso

n = 0 e obvio, s
o precisamos tratar do passo indutivo. Lembre que f
foi denida em (7.6). Se
f n1 (p1 (0), p2 (0), . . . , pd (0)) = (p1 (n 1), p2 (n 1), . . . , pd (n 1))
ao f n (p1 (0), p2 (0), . . . , pd (0)) e igual a

ent
(p1 (n 1) + , p2 (n 1) + p1 (n 1), . . . , pd (n 1) + pd1 (n 1)).
Usando a denicao (7.11) e o Lema 7.18, obtemos que esta express

ao
e igual a
(p1 (n), p2 (n), . . . , pd (n)),
e isto prova o lema.
Finalmente, estamos prontos para provar que a sequencia zn =

{P (n)} e equidistribuda, conforme arma o Teorema 7.12. Seja :
S 1 R uma funcao contnua qualquer. Considere : Td R denida
por
(1 , 2 , . . . , d ) = (d ).
Fixemos = (p1 (0), p2 (0), . . . , pd (0)). Usando o Lema 7.19 e o Coro-
l
ario 7.17,

1 1
n1 n1
lim (zn ) = lim (f n ()) = dm = dx.
n j=0 n j=0
Isto termina a demonstracao do Teorema 7.12.
7.3 Exerccios
7.1. Prove que
1. Di (S) = Ds (Z \ S) para qualquer subconjunto S de Z.
i i
i i
25coloquiotext
i i
2005/5/4
page 95
i i
2. Se S1 , S 2, . . . , SN e uma particao de Z ent

ao
Ds (S1 ) + Ds (S2 ) + + Ds (SN ) 1.
7.2. Deduza o Teorema 7.9 a partir do Teorema 7.7.

7.3. Mostre que dadas quaisquer transformacoes contnuas fi : M
M , i = 1, 2, . . . , k num espaco metrico compacto M , tais que fi
fj = fj fi para todo i, j = 1, 2, . . . , k, existe alguma medida de
probabilidade que e invariante por todas essas transformacoes.
7.4. Mostre que uma sequencia xn e equidistribuda se e somente se,

dado qualquer intervalo I [0, 1], tem-se
1
lim #{j = 1, 2, . . . , n : xj I} = m(I)
n n
onde m representa a medida de Lebesgue em [0, 1].
7.5. Demonstre o Lema 7.18.
7.6. Sejam fi : M M , i = 1, 2, . . . , k transformacoes que preser-
vam uma probabilidade em M e tais que fi fj = fj fi para
ao, para qualquer conjunto E M tal que
todo i, j = 1, 2, . . . , k. Ent
(E) > 0, e para quase todo x E existe uma sequencia nj tal
n
que fi j (x) E para todo i = 1, . . . , k e todo j 1.
i i
i i
25coloquiotext
i i
2005/5/4
page 96
i i
Bibliograa
[Cas04] A. A. Castro. Teoria da medida. Projeto Euclides. IMPA,

2004.
[ET36] P. Erd
os and P. Tur
an. On some sequences of integers. J.
London. Math. Soc., 11:261264, 1936.
[Fer02] R. Fernandez. Introduc
ao `
a teoria da medida. Projeto Eu-
clides. IMPA, 2002.
[Fur77] H. Furstenberg. Ergodic behavior and a theorem of Sze-
meredi on arithmetic progressions. J. dAnalyse Math.,
31:204256, 1977.
[Fur81] H. Furstenberg. Recurrence in ergodic theory and combina-
torial number theory. Princeton Univertsity Press, 1981.
[Ma
n87] R. Ma ne. Ergodic theory and dierentiable dynamics.
Springer Verlag, 1987.
[Rud87] W. Rudin. Real and complex analysis. McGraw-Hill, 3
edition, 1987.
[Sze75] S. Szemeredi. 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.
[Wal82] P. Walters. An introduction to ergodic theory. Springer
Verlag, 1982.
96
i i
i i
25coloquiotext
i i
2005/5/4
page 97
i i
BIBLIOGRAFIA 97
[Wey16] H. Weyl. Uber die Gleichverteilungen von Zahlen mod Eins.

Math. Ann., 77:313352, 1916.
i i
i i

Um Primeiro Curso Sobre Teoria Ergódica e Aplicações

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Um Primeiro Curso Sobre Teoria Ergódica e Aplicações

Uploaded by

Copyright:

Available Formats

Um Primeiro Curso sobre Teoria

Ergdica com Aplicaes

Um Primeiro Curso sobre Teoria

Este texto e um subconjunto de um livro escrito em colaboracao

Ao longo dos u ltimos anos diversas aplicacoes da Teoria Erg

Ao longo do texto, obteremos v arias aplicacoes do Teorema de

1 Departamento de Matem atica, Universidade Federal de Alagoas, Campus A.

Neste captulo inicial recordamos algumas nocoes e resultados

1.1 Espacos mensur

Entao A B = (Ac B c )c e A \ B = A B c tambem estao em

6 [CAP. 1: ELEMENTOS DE TEORIA DA MEDIDA

a uni umero nito de elementos de B

Observa ao. B tambem e fechada para interseccoes enumer

e tambem uma -algebra (veja o Exerccio 1.1). Agora, dado um

[SEC. 1.2: ESPAC

-algebras e tambem uma -algebra, e e claro que contem E. Alem

8 [CAP. 1: ELEMENTOS DE TEORIA DA MEDIDA

para qualquer famlia nita A1 , . . . , AN B de subconjuntos disjun-

[SEC. 1.2: ESPAC

Teorema 1.11 (Aproxima ao). Seja (M, B, ) um espaco de prob-

1.2.1 Medida de Lebesgue

onde |Ij | representa o comprimento de Ij . Note que 0 (M ) = 1.

0 (R) = |I1 | |Id | .

Em seguida, consideramos a algebra B0 dos subconjuntos de [0, 1]d da

0 (B) = 0 (R1 ) + 0 (RN )

para todo B nessa algebra. A medida de Lebesgue em M = [0, 1]d e

10 [CAP. 1: ELEMENTOS DE TEORIA DA MEDIDA

num espaco euclidiano Rd decompondo o espaco em cubos de lado

e denindo, para cada subconjunto mensur avel E,

Exemplo 1.12 (Medida de Volume em S 1 ). Considere a aplicacao

Observe que e aditiva e com o auxlio dos Teoremas 1.10 e 1.9

[SEC. 1.2: ESPAC

Observe que a medida de qualquer aberto da reta e positiva, pois

1.2.2 Medida produto no espa

das sequencias bilaterais (xi )i= com xi Mi para cada i. Mais

Em seguida estendemos `a algebra B0 , estipulando que a imagem

12 [CAP. 1: ELEMENTOS DE TEORIA DA MEDIDA

soma das imagens dos cilindros. Esta extens

Deni cao 1.16. O espaco de probabilidade (M, B, ) construdo

onde aj {1, . . . , d}. A medida e designada medida de Bernoulli

Proposi ao 1.18. Sejam f1 , f2 func

2. (f1 f2 )(x) = f1 (x) f2 (x)

[SEC. 1.3: INTEGRAC EM ESPAC

3. max{f1 , f2 }(x) = max{f1 (x), f2 (x)}

Dizemos que uma funcao s : M R e simples se existem con-

onde XA e a funcao caracterstica do conjunto A, isto e, XA (x) e

Teorema 1.20. Seja f : M [, ] uma func ao mensuravel.

Se f 0 entao a sequencia pode ser escolhida de modo que 0 s1

A demonstracao deste teorema e proposta como Exerccio 1.16.

14 [CAP. 1: ELEMENTOS DE TEORIA DA MEDIDA

Deni ao 1.21. Seja f : M [0, ] uma funcao mensuravel n

onde s1 s2 . . . e uma sequencia de funcoes simples crescentes

Deniao 1.22. Seja f : M [0, ] uma funcao mensuravel. Ent

desde que alguma das integrais do lado direito seja nita.

Dada uma funcao mensuravel f : M R e um conjunto men-

onde XE e a funcao caracterstica do conjunto E.

Exemplo 1.24. Sejam x1 , . . . , xm M e p1 , . . . , pm > 0 com p1 +

[SEC. 1.3: INTEGRAC EM ESPAC

1.3.1 Teorema de derivac

Teorema 1.25 (Deriva ao de Lebesgue). Seja M = Rd , B a -

em -quase todo ponto x Rd . Em particular, em -quase todo o

Dado um subconjunto mensuravel A de Rd , dizemos que um ponto

O pr oximo resultado e uma consequencia direta do teorema de

16 [CAP. 1: ELEMENTOS DE TEORIA DA MEDIDA

1.7. Demonstre o Teorema 1.10. Dica: Dados quaisquer conjuntos