PM - 06 Conjuntos de Cantor Dinamica e Aritmetica

Conjuntos de Cantor, Dinmica
e Aritmtica

Publicaes Matemticas

Conjuntos de Cantor, Dinmica
e Aritmtica

Carlos Gustavo Moreira
IMPA

impa
Copyright 2010 by Carlos Gustavo Moreira
Direitos reservados, 2010 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

Publicaes Matemticas

Introduo Anlise Funcional Csar R. de Oliveira
Introduo Topologia Diferencial Elon Lages Lima
Criptografia, Nmeros Primos e Algoritmos Manoel Lemos
Introduo Economia Dinmica e Mercados Incompletos Alosio Arajo
Conjuntos de Cantor, Dinmica e Aritmtica Carlos Gustavo Moreira
Geometria Hiperblica Joo Lucas Marques Barbosa
Introduo Economia Matemtica Alosio Arajo
Superfcies Mnimas Manfredo Perdigo do Carmo
The Index Formula for Dirac Operators: an Introduction Levi Lopes de Lima
Introduction to Symplectic and Hamiltonian Geometry Ana Cannas da Silva
Primos de Mersenne (e outros primos muito grandes) Carlos Gustavo T. A. Moreira e
Nicolau Saldanha
The Contact Process on Graphs Mrcia Salzano
Canonical Metrics on Compact almost Complex Manifolds Santiago R. Simanca
Introduction to Toric Varieties Jean-Paul Brasselet
Birational Geometry of Foliations Marco Brunella
Introduo Teoria das Probabilidades Pedro J. Fernandez
Teoria dos Corpos Otto Endler
Introduo Dinmica de Aplicaes do Tipo Twist Clodoaldo G. Ragazzo, Mrio J.
Dias Carneiro e Salvador Addas Zanata
Elementos de Estatstica Computacional usando Plataformas de Software Livre/Gratuito
Alejandro C. Frery e Francisco Cribari-Neto
Uma Introduo a Solues de Viscosidade para Equaes de Hamilton-Jacobi Helena
J. Nussenzveig Lopes, Milton C. Lopes Filho
Elements of Analytic Hypoellipticity Nicholas Hanges
Mtodos Clssicos em Teoria do Potencial Augusto Ponce
Variedades Diferenciveis Elon Lages Lima
O Mtodo do Referencial Mvel Manfredo do Carmo
A Student's Guide to Symplectic Spaces, Grassmannians and Maslov Index Paolo
Piccione e Daniel Victor Tausk
Mtodos Topolgicos en el Anlisis no Lineal Pablo Amster
Tpicos em Combinatria Contempornea Carlos Gustavo Moreira e Yoshiharu
Kohayakawa
Uma Iniciao aos Sistemas Dinmicos Estocsticos Paulo Ruffino

Distribuio:
IMPA - E-mail: ddic@impa.br - http://www.impa.br
ISBN: 978-85-244-0191-6
col4semg
2011/12/21
page 1
i
i
i
i
i
i
i
i
Sumario
Introduc
ao 3
1 Conjuntos de Cantor Regulares e Dimens oes Fractais 5
1.1 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . 5
1.2 Conjuntos de Cantor regulares . . . . . . . . . . . . . 7
1.3 Distor cao limitada e geometrias limite . . . . . . . . . 9
1.4 Dimensoes fractais . . . . . . . . . . . . . . . . . . . . 12
1.4.1 A dimensao de Hausdor . . . . . . . . . . . . 12
1.4.2 Espessuras . . . . . . . . . . . . . . . . . . . . 13
2 Interse coes Estaveis de Conjuntos de Cantor Regula-
res 16
2.1 Diferen cas aritmeticas, interse coes est aveis . . . . . . . 16
2.1.1 Conjuntos de Cantor e Bifurca coes Homocl-
nicas: deni coes basicas . . . . . . . . . . . . . 16
2.1.2 Interse coes de conjuntos de Cantor e diferen cas
aritmeticas . . . . . . . . . . . . . . . . . . . . 19
2.1.3 N ao-interse coes e hiperbolicidade . . . . . . . . 24
2.1.4 Varia coes sobre um Teorema de Palis e Takens 25
2.1.5 Exemplos sobre interse coes est aveis e diferen cas
aritmeticas . . . . . . . . . . . . . . . . . . . . 29
2.2 Interse coes est aveis e dimensao de
Hausdor . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.2.1 Enunciados . . . . . . . . . . . . . . . . . . . . 38
2.2.2 Ideias das demonstra coes . . . . . . . . . . . . 40
1
col4semg
2011/12/21
page 2
i
i
i
i
i
i
i
i
2 SUM
ARIO
2.3 Coment arios sobre generaliza coes e
problemas em aberto . . . . . . . . . . . . . . . . . . . 45
3 Os Espectros de Markov e Lagrange 47
3.1 Deni coes e enunciados . . . . . . . . . . . . . . . . . 47
3.2 Dimensoes de Hausdor e somas aritmeticas . . . . . . 50
3.3 Ideias das demonstra coes dos resultados . . . . . . . . 52
3.4 Espectros de Markov e Lagrange din amicos . . . . . . 54
Apendice: 55
Referencias 68
col4semg
2011/12/21
page 3
i
i
i
i
i
i
i
i
Introducao
Conjuntos de Cantor desempenham um papel importante em areas
bastante distintas da matematica, como topologia, sistemas din amicos,
teoria da medida e teoria dos n umeros. O objetivo deste trabalho
e descrever como o estudo de delicadas propriedades geometricas de
conjuntos de Cantor, ligadas às chamadas dimensoes fractais, tem um
papel fundamental em determinados aspectos de sistemas din amicos,
em especial no estudo de bifurca coes homoclnicas, e tambem no es-
tudo de aproxima coes de n umeros reais por n umeros racionais, par-
ticularmente no estudo de propriedades geometricas dos espectros de
Markov e Lagrange.
Boa parte deste livro e dedicada ao estudo das tecnicas utiliza-
das pelo autor, em colabora cao com J.C. Yoccoz, que permitiram
resolver armativamente uma conjectura de J. Palis, do incio da
decada de 80, segundo a qual genericamente a diferen ca aritmetica
K
1
K
2
= {x y, x K
1
, y K
2
} de dois conjuntos de Can-
tor regulares K
1
e K
2
ou tem medida nula ou contem um intervalo.
Esta conjectura tem estreita rela cao com o estudo de bifurca coes
homoclnicas em superfcies, como veremos no Captulo 2, mas o es-
tudo de propriedades geometricas de somas e diferen cas aritmeticas
de conjuntos de Cantor regulares tambem tem relev ancia em outras
areas da matematica, como no estudo dos espectros de Markov e
Lagrange, relacionados com aproxima coes diofantinas. Discutiremos
esses temas no Captulo 3, onde pretendemos descrever como adap-
tar tecnicas de [MY] para obter resultados geometricos sobre esses
espectros, relacionados principalmente com medida e dimensoes de
Hausdor.
3
col4semg
2011/12/21
page 4
i
i
i
i
i
i
i
i
4 Introduc ao
Este livro tem como referencias principais os artigos [M1], [M2],
a tese de doutorado do autor (IMPA, 1993) e o Captulo 4 de [PT2],
as quais indicamos para provas detalhadas de v arios dos resultados
discutidos neste trabalho.
col4semg
2011/12/21
page 5
i
i
i
i
i
i
i
i
Captulo 1
Conjuntos de Cantor
Regulares e Dimensoes
Fractais
1.1 Conjuntos de Cantor
Normalmente as pessoas ouvem falar no Conjunto de Cantor antes
de ouvir falar em conjuntos de Cantor em geral. O conjunto de
Cantor e um engenhoso exemplo de um subconjunto da reta que e
compacto, nao-enumeravel e totalmente desconexo, que serve como
fonte de exemplos interessantes em analise e topologia. O Conjunto
de Cantor, que denotaremos por K, pode ser denido de v arias ma-
neiras. Por exemplo, K e o conjunto de todos os n umeros do intervalo
[0, 1] que podem ser escritos em base 3 utilizando apenas os algaris-
mos 0 e 2, ou seja, K =
_

n1
n
3
n
,
n
{0, 2}, n N
_
. Outra
maneira de descrever o conjunto K e descrevendo explicitamente seu
complementar: tomamos o intervalo [0, 1], retiramos seu ter co central
_
1
3
,
2
3
_
e obtemos dois intervalos fechados:
_
0,
1
3
_
e
_
2
3
, 1
_
. Retira-
mos os ter cos centrais desses intervalos e obtemos quatro intervalos
5
col4semg
2011/12/21
page 6
i
i
i
i
i
i
i
i
6 [CAP. 1: CONJUNTOS DE CANTOR REGULARES E DIMENS
OES FRACTAIS
fechados:
_
0,
1
9
_
,
_
2
9
,
1
3
_
,
_
2
3
,
7
9
_
e
_
8
9
, 1
_
. Continuamos o processo,
sempre retirando os ter cos centrais dos intervalos restantes. Os pon-
tos do intervalo [0, 1] que nao pertencem a nenhum dos intervalos
retirados formam o conjunto de Cantor K. Notemos que, na n-esima
etapa da constru cao de K sobram 2
n
intervalos de comprimento 1/3
n
cada, cuja uni ao contem K. Isso implica que K tem medida nula.
A terceira constru cao do conjunto K que mostraremos a seguir
e de particular importancia para nos, pois sera generalizada para
denir conjuntos de Cantor regulares ou dinamicamente denidos.
Consideremos a fun cao :
_
0,
1
3
_
_
2
3
, 1
_
[0, 1] denida por (x) =
_
_
3x se
_
0,
1
3
_
3x 2 se x
_
2
3
, 1
_
. O domnio da fun cao e a primeira etapa
da constru cao anterior do conjunto K. Se denotarmos
. .
n vezes
por
n
, temos que
n
nao est a denida para todo x. Por exemplo,
se n = 2 e x = 0, 2, temos que (x) = 3x = 0, 6, que nao pertence ao
domnio de , donde
2
(0, 2) nao est a denido. Podemos caracterizar
o Conjunto de Cantor K como o conjunto dos x [0, 1] tais que
n
(x) est a denido para todo natural n, ou seja, K =
n=0
n
([0, 1]).
Podemos observar que
n
([0, 1]), ou seja, o domnio de
n
coincide
com o conjunto obtido na n-esima etapa da constru cao anterior.
K e claramente compacto, pois pela segunda constru cao, por
exemplo, seu complementar e aberto. Alem disso, K e nao-enumeravel,
o que segue do fato de que a primeira constru cao fornece uma bije cao
entre K e {0, 2}
N
, que de fato e um homeomorsmo, se dotarmos
{0, 2}
N
da topologia produto.
Em geral dizemos que um conjunto de Cantor e um espa co to-
pol ogico homeomorfo a K. Nosso principal interesse sera nos con-
juntos de Cantor contidos na reta real, que podem ser caracterizados
como os compactos de interior vazio sem pontos isolados.
Em geral, espa cos metricos (ou metriz aveis) compactos, total-
mente desconexos (i.e., cujas componentes conexas s ao os pontos)
e sem pontos isolados s ao conjuntos de Cantor (i.e., s ao homeomor-
col4semg
2011/12/21
page 7
i
i
i
i
i
i
i
i
[SEC. 1.2: CONJUNTOS DE CANTOR REGULARES 7
fos a K). Deixamos a prova deste fato como exerccio para o leitor.
(Sugestao: dado um conjunto como acima, tente decompo-lo como
uma uni ao disjunta de abertos e fechados com diametro menor que a
metade do diametro original, repetir o processo e usar isso para re-
duzir o problema ao caso de subconjuntos da reta. no qual e possvel
construir homeomorsmos monotonos razoavelmente explcitos).
1.2 Conjuntos de Cantor regulares
Mencionamos que a terceira constru cao que exibimos para o con-
junto K, que o caracteriza como o maximal invariante pela fun cao
no intervalo [0, 1] e de particular interesse, pois caracteriza K como
um conjunto de Cantor dinamicamente denido. Vamos discutir in-
formalmente algumas propriedades dos conjuntos de Cantor dinami-
camente denidos, ou regulares (que serao nosso assunto principal)
antes de deni-los mais precisamente. Uma propriedade fundamental
do conjunto de Cantor K e a sua auto-semelhan ca: pequenas par-
tes de K s ao copias reduzidas de todo o conjunto K. De fato, dado
x K e > 0 existe um subconjunto aberto e fechado de K con-
tendo x e de diametro menor que que e semelhante ao conjunto K
(por exemplo uma pe ca de uma etapa avan cada da constru cao de K
que contenha o ponto x). Esta semelhan ca sera dada por um certo
iterado da fun cao am expansora .
Os conjuntos de Cantor dinamicamente denidos, ou regulares,
sempre apresentam um certo tipo de auto-semelhan ca: pequenas par-
tes deles s ao difeomorfas ao conjunto todo, ou a partes grandes dele,
com distor cao uniformemente limitada. Assim, aspectos locais des-
ses conjuntos nao diferem muito de aspectos globais. Este tipo de
propriedade e a principal caracterstica dos conjuntos de Cantor re-
gulares, e est a ligada ao fato desses conjuntos, por deni cao, serem
caracterizados como maximais invariantes de fun coes diferenciaveis
expansoras (as quais suporemos de classe pelo menos C
1+
).
Vamos passar a deni coes mais precisas:
Sejam I, I
1
, I
2
, . . . , I
k
R intervalos fechados tais que os interva-
los I
j
, 1 j k s ao disjuntos e I e o fecho convexo de I
1
I
2
I
k
,
e seja : I
1
I
2
I
k
I uma fun cao expansora de classe C
1+
para um certo > 0, isto e, e de classe C
1
, |
(x)| > 1 para todo

col4semg
2011/12/21
page 8
i
i
i
i
i
i
i
i
OES FRACTAIS
x I
1
I
2
I
k
e existe C > 0 tal que |
(x)
(y)| C|xy|
x, y I
1
I
2
I
k
. Suponhamos ainda que para todo j com
1 j k, (I
j
) e o fecho convexo de uma uni ao de intervalos I
i
, e
que, para n N sucientemente grande,
n
(I
j
) I
1
I
2
I
k
.
Dizemos que o conjunto de Cantor regular K = K
associado
à fun cao e à partic ao de Markov (I
1
, I
2
, . . . , I
k
) e o conjunto dos
x I tais que
n
(x) est a denido para todo n N, isto e K
nN
n
(I
1
I
k
). Se e de classe C
r
, com 1 < r , dizemos
que K e um (conjunto de) Cantor regular de classe C
r
.
Como indicamos na deni cao acima, o conjunto dos intervalos
I
j
com 1 j k e denominado a parti cao de Markov de K. O
conjuntos I
1
I
2
I
k
sera chamado de domnio de Markov de
K, e pode ser visto como a etapa inicial da constru cao de K.
Para entender melhor a estrutura do conjunto K podemos consi-
derar a matriz de transi c ao B = (b
ij
)
kk
associada a uma parti cao de
Markov (I
1
, . . . , I
k
) e a uma fun cao como acima denida por b
ij
=
_
1, se (I
i
) I
j
0, se (I
i
) I
j
=
. A condi cao diz que
n
(I
j
) I
1
I
k
para todo n grande equivale a todos os termos de B
n
serem estri-
tamente positivos se n e grande. A uma tal matriz B podemos as-
sociar um shift de Markov mixing de tipo nito, isto e, o conjunto
B
= { = (
1
,
2
, . . . ) {1, 2, . . . , k}
N
| b
i+1
= 1, i N},
no qual est a denida a fun cao shift unilateral :
B

B
, por
((
1
,
2
,
3
, . . . )) = (
2
,
3
, . . . ), isto e, ((
i
) i N) = (
i+1
) i N.
Veremos que ha uma identica cao natural entre o par (K, ) e o
par (
B
, ) (de fato um homeomorsmo que conjuga as din amicas).
Para cada palavra nita a = (a
1
, a
2
, . . . , a
n
) {1, 2, . . . , k}
n
di-
zemos que a e uma palavra de
B
se existe algum elemento de
B
que come ca por a, ou, equivalentemente, se b
a
i
a
i+1
= 1 para
i = 1, 2, . . . , n 1. A uma tal palavra a associamos o intervalo
I
a
= I
a
1

1
(I
a
2
)
2
(I
a
3
)
(n1)
(I
a
n
), e a condi cao
a ser uma palavra de
B
equivale a I
a
ser nao-vazio. Por outro lado,
a expansividade de faz com que o comprimento |I
a
| do intervalo
I
a
seja exponencialmente pequeno se n e grande, isto e, existe < 1
tal que para todo a {1, 2, . . . , k}
n
que e uma palavra de
B
(de
tamanho n), |I
a
| <
n
|I|.
col4semg
2011/12/21
page 9
i
i
i
i
i
i
i
i
[SEC. 1.3: DISTORC
AO LIMITADA E GEOMETRIAS LIMITE 9

Dado = (
1
,
2
, . . . )
B
, para cada n denimos
(n)
=
(
1
,
2
, . . . ,
n
). Note que
(n)
e sempre uma palavra de
B
. Pode-
mos denir uma fun cao h:
B
K denida por {h()} =
nN
I
(n) ,
isto e, h() e o unico ponto que pertence a I
(n) para todo n N.

N ao e difcil vericar que h e um homeomorsmo, e que h = h,
isto e, h e uma conjuga cao entre e . Se x = h(), dizemos que
e o endere co do ponto x.
1.3 Distorcao limitada e geometrias limite
Vamos agora provar uma proposi cao de grande importancia, segundo
a qual conjuntos de Cantor regulares tem a propriedade de distor c ao
limitada:
Proposi cao 1.1: Seja K R um conjunto de Cantor regular, de-
nido por uma fun c ao expansora C
1+
como acima. Dado > 0
existe C() > 0 fun c ao decrescente de com lim
0
C() = 0 tal que
para todo x, y K satisfazendo
i) |
n
(x)
n
(y)|
ii) O intervalo [
j
(x),
j
(y)] est a contido no domnio de Markov
I
1
I
k
para 0 j n
temos log |(
n
)
(y)| log |(
n
)
(x)| C().
Prova: Se > 1 e tal que |
(t)| > para todo t no domnio de

Markov, teremos |
j
(y)
j
(x)|
1n
para 0 j n, donde
| log |(
n
)
(y)|log |(
n
)
(x)|
n1
j=0
| log |
(
j
(y))|log |
(
j
(x))||,
e, como
(e tambem log |
|) e de classe C
, existe C > 0 tal que

| log |
(s)| log |
(t)| C|s t|
para s, t no domnio de Markov,

donde as expressoes acima s ao majoradas por
c
n1
j=0
(
jn
)
< c
m=1
m
= c

col4semg
2011/12/21
page 10
i
i
i
i
i
i
i
i
OES FRACTAIS
Uma maneira de reformular a proposi cao acima com signicado
geometrico mais evidente e dizer que se x, y e z pertencem a um
mesmo intervalo I
(n) da n-esima etapa da constru cao de K ent ao

e
c
|z x|
|y x|

|
n
(z)
n
(x)|
|
n
(y)
n
(x)|
e
c
|z x|
|y x|
onde c = c(|I|) e uma constante. Alem disso, se
n
(x),
n
(y) e
n
(z) est ao proximos, c pode ser tomada pequena. Isto signica
que distancias relativas numa escala microsc opica s ao no maximo
distorcidas por um fator constante em rela cao a distancias relativas
correspondentes numa escala maior, e cada vez menos distorcidas se
diminuimos o tamanho da escala maior.
Vamos agora introduzir o conceito de geometrias limite de um
conjunto de Cantor regular, que dao informa coes mais precisas sobre
a estrutura local de um conjunto de Cantor regular.
Para isto, seja K um conjunto de Cantor regular e
B
seu shift
de Markov associado. Vamos considerar o shift dual associado a
B
,
denotado por
B
, dado por
B
{ = (
n
) n 0, f
i+1
= 1, i <
0} {1, 2, . . . , k}
Z
.
Dados =

em
B
, denimos

como (
n
,
1n
, . . . ,
0
)
{1, 2, . . . , k}
n+1
, onde n e tal que

j
=
j
para 0 j n e
n1
=
n1
, e equipamos
B
com a seguinte distancia:
d(,

) =
_
1 se
0
=

0
|I
|, caso contrario
Dado
B
e n > 0, denimos
n
= (
n
, . . . ,
0
), e B(
n
)
como sendo a fun cao am que leva I
n
em I
0
tal que o difeomorsmo
k
n
= B(
n
) f
n
preserva orienta cao, onde f
n
:=
_
n
_
1
.
Com essas deni coes, k
n
e um difeomorsmo de I
0
em I
0
, e a
imagem de K I
0
por k
n
e uma copia ampliada de K I
n
.
Com essas nota coes, temos o seguinte resultado, que caracteriza
as geometrias limite de um Cantor regular (ver [Su]):
Proposi cao 1.2: Seja r (1, +), e K um conjunto de Cantor
regular de classe C
r
como acima, ent ao:
col4semg
2011/12/21
page 11
i
i
i
i
i
i
i
i
[SEC. 1.3: DISTORC
AO LIMITADA E GEOMETRIAS LIMITE 11

i) Para cada
B
existe um difeomorsmo de classe C
r
que
preserva orienta c ao k
= I
0
I
0
tal que k
n
converge a k
na topologia C
para todo < r. A convergencia e uniforme

numa C
r
-vizinhan ca de .
ii) Se r 2 e um inteiro ent ao k
n
converge a k
em Di
r
+
(I
0
).
Alem disso, existe C > 0 tal que ||k
n
k
||
C
r1 C|I
n
|.
Do item ii) segue que k
e Lipschitziana: ||k
||
C
r1
C d(,

), ,

B
. Alem disso, se r = 1 + , com 0 < < 1,
ent ao, para
||k
||
C
1 C d(,

)
, ,

B
.
Esta proposi cao diz que conjuntos de Cantor regulares tem a se-
guinte propriedade: se ampliarmos a interse cao de um conjunto de
Cantor regular K com intervalos pequenos de sua constru cao, obte-
mos conjuntos de Cantor difeomorfos a partes xas de todo o conjunto
K (as interse coes K I
a
, com a {1, 2, . . . , k}), estando esses di-
feomorsmos muito proximos da famlia compacta {k
B
} que
tem dimensao de Hausdor nita por exemplo na metrica C
1
(ver a
proxima se cao sobre dimensao de Hausdor).
Denimos, para
B
, o conjunto de Cantor K
:= k
(K). Os
conjuntos K
s ao conjuntos de Cantor regulares t ao diferenciaveis

quanto K, e s ao conhecidos como as geometrias limite de K.
Demonstra cao: A prova da Proposi cao 1.2 nao e muito difcil. De
fato, k
n
= B(
n
) f
n
, onde f
n
=
_
n
_
1
pode ser escrito como
g
n
g
n1
g
1
, onde, para 1 k n, g
k
= g
k
: I
0
I
0
e dada
por g
k
= A
k
I
k
_
1
A
1
k1
, e os A
k
: I
k I
0
s ao difeomorsmos
ans tais que A
0
e a identidade e g
k
preserva orienta cao para todo K.
O resultado segue do fato de que os difeomorsmos g
k
, para K
grande, est ao exponencialmente perto da identidade (de modo uni-
forme em ), nas topologias indicadas no enunciado da proposi cao, e
portanto a composi cao deles converge exponencialmente nessas topo-
logias. Os detalhes cam como exerccio para o leitor.
col4semg
2011/12/21
page 12
i
i
i
i
i
i
i
i
OES FRACTAIS
1.4 Dimensoes fractais
1.4.1 A dimensao de Hausdor
Quase todos os conjuntos de Cantor que consideramos neste livro
tem medida de Lebesgue nula. Entretanto, ha medidas mais nas
do tamanho de subconjuntos da reta (e, em geral, de um espa co
metrico). Come caremos pelo conceito que sera mais importante para
nos: a dimensao de Hausdor:
Se X e um espa co metrico compacto e U = {U
1
, U
2
, . . . , U
n
} e uma
cobertura nita de X, denimos a medida de Hausdor de dimensao
> 0 associada à cobertura U por m
(U) =
n
i=1
diam(U
i
)
, onde
diam(U
i
) = sup
x,yU
i
d(x, y) e o diametro de U
i
,
e denimos a medida de Hausdor de dimensao de X por m
(X) =
liminf
||U||0
m
(U), onde U denota uma cobertura nita de X e ||U|| =

max
UU
(diamU) e a norma da parti cao U.

E facil mostrar que existe um
unico h em [0, +] tal que se < h ent ao m
(X) = + e se > h
ent ao m
(X) = 0. Esse n umero h e, por deni cao, a dimens ao de

Hausdor de X. A dimensao de Hausdor tem algumas propriedades
importantes. Uma delas e que, se f : X X e Lipschitziana e K X
tem dimensao de Hausdor d ent ao f(K) tem dimensao de Hausdor
menor ou igual a d. Em particular, se X e Y s ao intervalos fechados e
f e um difeomorsmo ent ao as dimensoes de Hausdor de K e f(K)
s ao iguais. Outra observa cao simples e que se K R
n
tem dimensao
de Hausdor menor que n ent ao tem medida de Lebesgue nula.
E possvel provar que a dimensao de Hausdor de conjuntos de

Cantor regulares da reta depende continuamente da din amica que
os dene (mesmo na topologia C
1
), e, no caso da din amica ser pelo
menos C
1+
, est a sempre estritamente entre 0 e 1, e a medida de
Hausdor correspondente e nita e positiva no conjunto de Cantor
(ver [PT2]).
Podemos denir outra dimensao fractal, a capacidade limite, como
segue: Se K e um espa co metrico compacto, denimos N
(K) como
sendo o n umero mnimo de conjuntos de Di ametro menor ou igual
col4semg
2011/12/21
page 13
i
i
i
i
i
i
i
i
[SEC. 1.4: DIMENS
OES FRACTAIS 13
a necessarios para cobrir K. A capacidade limite de K e, por
deni cao, d(K) = limsup
0
log N
(K)
log

E possvel provar que, se K
e um conjunto de Cantor regular (mesmo que apenas de classe C
1
)
ent ao sua dimensao de Hausdor coincide com sua capacidade limite
(ver [PT2]). Tambem e verdade que, se f : X Y e Lipschitziana
e K X ent ao d(f(K)) d(K) e que d(K
1
K
2
) d(K
1
) +
d(K
2
). Alem disso, em geral a dimensao de Hausdor de K e sempre
menor ou igual a d(K) (` as vezes a desigualdade e estrita, como por
exemplo se K = {0} {1/n, n inteiro positivo}, que tem dimensao
de Hausdor 0 e capacidade limite 1/2).
Deixamos a prova destas ultimas arma coes como exerccio para
o leitor.
1.4.2 Espessuras
Deni cao: Um gap de um conjunto de Cantor e uma componente
conexa de seu complementar.
Dado um gap U de um conjunto de Cantor K, associamos a ele
os intervalos E
U
e D
U
, que s ao os intervalos à sua esquerda e à sua
direita que o separam dos gaps maiores que ele mais proximos:
(((
( (
D
U
u
E
u
(
Denimos
D
(U) =
|D
U
|
|U|
,
E
(U) =
|E
U
|
|U|
,
D
(K) = inf{
D
(U)|U gap limitado de K}, a espessura direita de K;
E
(K) = inf{
E
(U)|U gap limitado de K}, a espessura esquerda de
K, e
(K) = min{
D
(K),
E
(K)}, a espessura de K.
Observa cao: Dado um conjunto de Cantor K, uma apresenta cao de
K e uma enumera cao {U
1
, U
2
, . . . } de seus gaps limitados. Podemos
denir os intervalos E
U
e D
U
como sendo os intervalos entre U e
os gaps de ndice menor que o de U mais proximos. No nosso caso
col4semg
2011/12/21
page 14
i
i
i
i
i
i
i
i
OES FRACTAIS
estamos usando a apresenta cao pela ordem de tamanho dos gaps, o
que maximiza a espessura (K). Veja [PT2].
A importancia das espessuras reside no seguinte resultado, que e
uma adapta cao do gap lemma.
Arma cao: Dados K
1
e K
2
conjuntos de Cantor, se
D
(K
1
)
E
(K
2
) >
1 e
E
(K
1
)
D
(K
2
) > 1, ent ao ou K
1
est a contido num gap de K
2
ou K
2
est a contido num gap de K
1
ou K
1
K
2
= .
Observa cao: Isso vale em particular se (K
1
) (K
2
) > 1, que e a
hip otese do gap lemma classico. O gap lemma tal como enunciado
aqui fornece mais informa cao, como veremos adiante.
Demonstra cao: Considere o caso em que nenhum dos K
i
s est a
contido num gap do outro. Ent ao existe um par de gaps encaixa-
dos, como nas guras abaixo (dizemos nesse caso que K
1
e K
2
est ao
intercalados)
(
(
U
1
K
1
:
(
(
U
2
K
2
:
a)
Como
D
(U
1
)
E
(U
2
) > 1, ou |D
U
1
| > |U
2
| ou |E
U
2
| > |U
1
|
existe novo par de gaps como em b) menor que o par (U
1
, U
2
).
b)
K
1
:
(
(
U
1
K
2
:
(
U
2
(
Como
E
(U
1
)
D
(U
2
) > 1, ou |E
U
1
| > |U
2
| ou |D
U
2
| > |U
1
|
existe novo par de gaps como em a) menor que o par (U
1
, U
2
).
Em qualquer caso obtemos um par de gaps menor, por exemplo no
sentido de que a soma dos comprimentos dos gaps dos pares decresce,
col4semg
2011/12/21
page 15
i
i
i
i
i
i
i
i
[SEC. 1.4: DIMENS
OES FRACTAIS 15
e reaplicando o argumento obtemos uma seq uencia de pares de gaps
convergindo a um ponto que necessariamente pertence a K
1
K
2
.
Podemos denir, para p K,
loc
(K, p) = limsup
0
(K (p , p +)),
e analogamente (
D
)
loc
(K, p) e (
E
)
loc
(K, p). Para conjuntos de Can-
tor dinamicamente denidos,
loc
(K, p) nao depende de p (ver [PT2]),
e a mesma prova mostra que (
D
)
loc
(K, p) e (
E
)
loc
(K, p) tambem
nao dependem de p. Vamos, portanto, denot a-los por
loc
(K),
(
D
)
loc
(K) e (
E
)
loc
(K) (as espessuras locais de K).
A arma cao acima implica que se (
D
)(K
1
) (
E
)(K
2
) 1 e se
(
E
)(K
1
) (
D
)(K
2
) 1 ent ao K
1
K
2
contem intervalo.
Como conseq uencia, se (
D
)
loc
(K
1
)(
E
)
loc
(K
2
) > 1 e (
E
)
loc
(K
1
)
(
D
)
loc
(K
2
) > 1 ent ao K
1
K
2
contem intervalo. Para este ultimo
resultado necessitamos desigualdades estritas.
fato, no exemplo de Sannami de um conjunto de Cantor dinami-
camente denido K com (K K) > 0 e int(K K) = temos
loc
(K) = 1. (Ver Exemplo 4 da Se cao 2.1.4.2).
col4semg
2011/12/21
page 16
i
i
i
i
i
i
i
i
Captulo 2
Intersecoes Estaveis de
Conjuntos de Cantor
Regulares
2.1 Diferen cas aritmeticas, intersecoes esta-
veis e bifurcacoes homoclnicas
2.1.1 Conjuntos de Cantor e Bifurcacoes Homocl-
nicas: deni coes basicas
Dado um difeomorsmo : M
C
k
M de uma superfcie e p um
ponto xo de , denimos
W
s
(p): ={x M | lim
n
n
(x)=p}
_
a variedade estavel de p
_
W
u
(p): ={x M | lim
n
n
(x)=p}
_
a variedade instavel de p
_
.
E possvel provar que se C

k
ent ao W
s
(p) e W
u
(p) s ao variedades
C
k
.
Dizemos que x e um ponto homoclnico associado a p se x
W
s
(p) W
u
(p), e que se W
s
(p) for tangente a W
u
(p) em x ent ao
16
col4semg
2011/12/21
page 17
i
i
i
i
i
i
i
i
[SEC. 2.1: DIFERENCAS ARITM
ETICAS, INTERSEC
OES EST
AVEIS 17
existe uma tangencia homoclnica em x associada a p.
Seja M. Dizemos que e um conjunto hiperbolico para
: M M se () = , e existe uma decomposi cao T
M = E
s
E
u
tal que D|
E
s e uniformemente contrativa e D|
E
u e uniformemente
expansora. Dado x , denimos
W
s
(x) = {y M | lim
n
d(
n
(y),
n
(x)) = 0} e
W
u
(x) = {y M | lim
n
d(
n
(y),
n
(x)) = 0} ,
que s ao variedades C
k
. A uni ao dessas variedades forma folhea coes
F
s
e F
u
que podem ser estendidas a uma vizinhan ca de e s ao
-invariantes.
O conjunto nao-errante de , (), e denido por:
(): = {x M | vizinhan ca U(x), n Z
+
tal que
n
(U(x)) U(x) = }.
Dizemos que e hiperbolico se () e hiperbolico. Uma famlia a
um par ametro (
) de difeomorsmos de M
2
tem uma -explos ao
homoclnica em = 0 se
i) Para < 0,
e persistentemente hiperbolico
ii) (
0
) = O onde e hiperbolico e O e uma orbita de
tangencia homoclnica associada a um ponto xo de sela p, tal
que W
s
(p) e W
u
(p) tem tangencias quadr aticas nos pontos de
O.
Considere uma tangencia homoclnica associada a um ponto de
sela P de um difeomorsmo de uma variedade de dimensao 2.
Suponha que P perten ca a um conjunto basico (do tipo de um
horseshoe). A interse cao da variedade est avel local de P com e um
conjunto de Cantor regular que denotaremos por K
s
, e a interse cao
da variedade instavel local de P com e outro conjunto de Cantor
regular que denotaremos por K
u
.
col4semg
2011/12/21
page 18
i
i
i
i
i
i
i
i
18 [CAP. 2: INTERSEC
OES EST
AVEIS DE CONJUNTOS DE CANTOR REGULARES

K
1
K
2
p
q
Se q e o ponto de tangencia, ao desdobrarmos a tangencia por
meio de uma famlia generica
(
0
= ) de difeomorsmos, te-
remos uma linha de tangencias transversal a W
s
(p) passando
por P ( e o conjunto dos pontos de tangencia entre as folhea coes
est avel F
s
e instavel F
u
de estendidas a uma vizinhan ca), e as
interse coes de com a folhea cao instavel e est avel de s ao difeo-
morfas a K
s
e K
u
, respectivamente, para = 0. Chamaremos essas
interse coes de (K
1
)
e (K
2
)
. Se (K
1
)
(K
2
)
= , estaremos
criando nova tangencia entre F
s
e F
u
, caso em que
nao sera per-

sistentemente hiperbolico. Com algumas hip oteses genericas pode-
mos concluir (talvez via reparametriza cao) que o par ((K
1
)
, (K
2
)
)
est a proximo do par (K
1
, K
2
+ ) (embora possa haver deforma coes
internas) o que nos leva a indagar sobre o tamanho do conjunto
{ | K
1
(K
2
+) = } = K
1
K
2
= {x y | x K
1
, e y K
2
}.
Dizemos que K
1
K
2
e a diferen ca aritmetica entre K
1
e K
2
. Existem
col4semg
2011/12/21
page 19
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 19
resultados parciais sobre esse problema. Por exemplo, se a soma das
dimensoes de Hausdor de K
1
e K
2
e menor que 1 ent ao K
1
K
2
ter a
medida nula. Por outro lado, se o produto das espessuras (ver se cao
II) de K
1
e K
2
e maior que 1 ent ao K
1
K
2
conter a um intervalo.
Se K
0
= [a, b] e K
1
= [a, x
1
] e usual supor
1
: K
1
K
0
crescente
e sobrejetiva (e o que acontece para conjuntos de Cantor associados
a conjuntos hiperbolicos). Isso corresponde à auto-semelhan ca de K
(talvez com distor cao). Nesse caso, existe um difeomorsmo : K
0

K
0
com
(a) = 1, tal que

1
1
e linear, pois |
1
(a)| > 1. Nesse
caso o conjunto

K = (K) denido pelas fun coes

i
=
i

1
e auto-semelhante (tem

1
linear), e e chamado o linearizado de
K. Para maiores detalhes sobre a rela cao entre conjuntos de Cantor
dinamicamente denidos e bifurca coes homoclnicas veja [PT2].
2.1.2 Intersecoes de conjuntos de Cantor e dife-
rencas aritmeticas
Como vimos em I.1, o estudo de bifurca coes homoclnicas leva na-
turalmente ao estudo de interse coes de conjuntos de Cantor dinami-
camente denidos. Numa primeira aproxima cao, leva ao estudo de
diferen cas aritmeticas de conjuntos de Cantor. Sobre isso, existia uma
conjectura de Jacob Palis segundo a qual a diferen ca aritmetica entre
dois conjuntos de Cantor dinamicamente denidos ou tem medida
nula ou contem intervalo. Foi dado um contra-exemplo para essa
conjectura por A. Sannami ([S]), mas esse contra-exemplo e rgido
o suciente para que se continue conjecturando que genericamente a
arma cao de Palis e verdadeira. Para conjuntos de Cantor ans (cuja
deni cao veremos daqui a pouco) nao ha nenhum contra-exemplo, e
a conjectura permanece sem restri coes.
Neste trabalho iremos abordar um conceito relacionado com o
da diferen ca aritmetica, porem mais basico: o da intersec ao est avel .
Dizemos que dois conjuntos de Cantor dinamicamente denidos K
1
e
K
2
tem intersec ao est avel se existe uma vizinhan ca do par (K
1
, K
2
)
(Em alguma topologia razo avel. Aqui trabalharemos quase sempre
com a topologia C
1+
, que deniremos em breve) tal que para todo
par (

K
1
,

K
2
) nessa vizinhan ca

K
1

K
2
= .
Existem rela coes entre os conceitos de diferen ca aritmetica e de
interse cao est avel. Uma rela cao obvia entre os dois conceitos e que,
col4semg
2011/12/21
page 20
i
i
i
i
i
i
i
i
OES EST

se K
1
intersecta K
2
estavelmente, ent ao K
1
K
2
contem intervalo.
Mais geralmente, se existe t R tal que K
1
intersecta (K
2
+ t)
estavelmente ent ao t int(K
1
K
2
). Na dire cao da recproca, temos
o seguinte resultado abstrato (que perdeu o interesse no caso geral
em virtude dos resultados do autor e de Yoccoz sobre a conjecture
de Palis, mas pode ser aplicado, por exemplo, no caso am ou no
caso C
1
, onde continuam em aberto as versoes correspondentes da
conjectura de Palis.
Teorema: Suponha que exista um aberto U de pares de conjuntos
de Cantor tal que se (K
1
, K
2
) U e t R ent ao K
1
n ao tem
intersec ao est avel com (K
2
+t). Ent ao existe R U residual tal que
(K
1
, K
2
) R int(K
1
K
2
) = .
Demonstra cao: Seja {r
1
, r
2
, . . . , r
n
, . . . } uma enumera cao dos raci-
onais, e seja U
n
= {(K
1
, K
2
) U | K
1
(K
2
+r
n
) = }. Por hip otese,
U
n
e denso, e claramente U
n
e aberto (e aberto ate na topologia dada
pela metrica de Hausdor). Portanto, R =
n=1
U
n
e residual, e
(K
1
, K
2
) R K
1
(K
2
+ t) = , t Q (K
1
K
2
) Q =
int(K
1
K
2
) = .
Observa cao: Esse resultado e verdade em qualquer topologia mais
na que a topologia C
0
. Em geral, trabalharemos com a topo-
logia C
1+
, na qual um conjunto de Cantor K denido por uma
fun cao expansora e com parti cao de Markov (K
1
, . . . , K
r
) est a
proximo de um conjunto

K denido por

com parti cao de Mar-
kov (

K
1
, . . . ,

K
r
) r = r
, (K
1
, . . . , K
r
) est a proximo (os extremos
de K
i
est ao proximos dos correspondentes extremos) de (

K
1
, . . . ,

K
r
)
e, supondo que C
1+
com constante de H older C, exigimos que,
para que

K esteja proximo de K,

perten ca a C
1+
com constante
de H older

C de forma que ( ,

C) est a proximo de (, c) e que

esteja
proximo de na topologia C
1
.
Essa topologia e natural pois de um lado garante o controle da
distor cao de K e de

K (ver [PT2]). Em particular, se K tem distor cao
pequena ent ao

K tambem ter a, desde que sucientemente proximo de
K (em muitos exemplos usaremos esse fato com K am, ou seja, sem
distor cao). Por outro lado, os conjuntos K
s
e K
u
associados a um
col4semg
2011/12/21
page 21
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 21
difeomorsmo dependem continuamente de na toplogia C
1+
.
Usaremos freq uentemente o conceito de conjuntos de Cantor ans.
Dizemos que K e am se as fun coes
i
que o denem s ao ans e
sobrejetoras. Isso implica que K e semelhante (sem distor cao) a K
K
i
, 1 i r. Se nao supomos sobrejetividade das
i
, dizemos que
K e am generalizado. Vamos xar uma nota cao para um certo tipo
de conjunto de Cantor am, que sera muito utilizado em exemplos:
Quando nos referimos ao conjunto de Cantor am
(
( K: ( ( (
( ( (
...
a
1
a
2
a
0
a
n
a
n-1
1 2
n
queremos dizer o conjunto denido com esse domnio de Markov por
transforma coes ans sobrejetivas crescentes.
Estudar interse coes est aveis tem a vantagem de ser um problema
mais basico e de aplica cao mais imediata a din amica que o estudo
de diferen cas aritmeticas. Resultados sobre diferen ca aritmetica ne-
cessitam por vezes de adapta coes nao triviais para se transformarem
em teoremas de din amica, como por exemplo no teorema de Palis e
Yoccoz ([PY]), onde foi necessaria uma adapta cao na do teorema de
Marstrand para garantir tangencias com densidade positiva em = 0
sob a hip otese de HD(K
s
) +HD(K
u
) > 1 (O teorema de Marstrand
diz que nesse caso para quase todo R, K
s
K
u
tem medida
positiva), mesmo assim com a necessidade de considerar famlias a 2
par ametros. Veremos agora uma rela cao entre interse coes est aveis e
din amica:
Teorema: No caso da bifurca cao homoclnica, se existe t R tal que
(

K
1
)
0
intersecta ((

K
2
)
0
+ t) estavelmente, onde (

K
1
)
0
e (

K
2
)
0
s ao
os linearizados de (K
1
)
0
e (K
2
)
0
, respectivamente ent ao o conjunto
{ > 0 | (K
1
)
(K
2
)
= } contem um aberto com densidade

positiva em = 0.
Demonstra cao: Temos K
s
e K
u
difeomorfos a conjuntos de Cantor
autosemelhantes com autovalores
1
e
2
, respectivamente, onde
1
e
2
s ao autovalores de D(p). Quando varia, K
s
e K
u
admitem
continua coes K
s
e K
u
, difeomorfos a conjuntos de Cantor autoseme-

lhantes com autovalores (
1
)
e (
2
)
(os autovalores de D
): K
s
=
f
(

K
s
) e K
u
= g
(

K
u
), onde (
1
)

K
s

K
s
, (
2
)
1

K
u

K
u
,
col4semg
2011/12/21
page 22
i
i
i
i
i
i
i
i
OES EST

f
(0) = g
(0) = 1 (

K
s
e

K
u
s ao os linearizados de K
s
e K
u
). Pela
diferenciabilidade da famlia (
) em rela cao a deduzimos que existe

K > 0 tal que |(
i
)

i
| K|| , i = 1, 2. Alem disso, existem
difeomorsmos (h
1
)
e (h
2
)
que variam C
1+
-continuamente com
tais que (K
1
)
= (h
1
)
K
s
e (K
2
)
= (h
2
)
K
u
. Se (
h
1
)
= h
e (
h
2
)
= (h
2
)
ent ao (K
1
)
= (
h
1
)

K
s
e (K
2
)
= (
h
2
)

K
u
.
Sejam a = (
h
1
)
0
(p) e b = (
h
2
)
0
(p).
Por hip otese, existe > 0 tal que, se (K, K
) est a proximo de
(K
1
)
0
, (K
2
)
0
+ t, com |t t
| < , ent ao K intersecta K
estavel-
mente. Sejam m, n N tais que |
m
1

n
2
1| seja sucientemente
pequeno. Suporemos, talvez via uma reparametriza cao da famlia
(
), que (
h
1
)
(p) = e (
h
2
)
(p) = 0 (em uma dada parametriza cao

de
). Ent ao, armamos que para (

n
2
(t ),
n
2
(t + )),
onde n e sucientemente grande, teremos (K
1
)
(K
2
)
= . De
fato, temos (
1
)
m

K
s

K
s
e (
2
)
n

K
u

K
u
. Basta provar, por-

tanto, que (
h
1
)
((
1
)
m

K
s
)(
h
2
)
((
2
)
n

K
u
) = , ou, equivalente-
mente, que (
1
)
m
h
1
)
((
1
)
m

K
s
)(
1
)
m
h
2
)
((
2
)
n

K
u
) = ,
mas isso seguira do fato de que o primeiro conjunto est a proximo de
a

K
s
0
+
m
1
na topologia C
1+
, e o segundo est a proximo de b

K
u
0
,
pois a

K
s
0
= (

K
1
)
0
e b

K
u
0
= (

K
2
)
0
(sao os linearizados de conjuntos
de Cantor difeomorfos. Isso segue da unicidade da lineariza cao com
derivada em 0 dada). Para provar esses fatos, basta observar que
(
h
1
)
(x) ax + e (
h
2
)
(x) bx, para x proximo de 0, e que
m
1
/(
1
)
m
e
n
2
/(
2
)
n
est ao proximos de 1 se m e n s ao suciente-

mente grandes.
Nossas ultimas arma coes vem do fato de |(
i
)

i
| K||
K
n
2
K
m
1
, onde K, K
e K
s ao constantes. Assim, por

exemplo, ((
1
)
/
1
)
m
(1 K
m1
1
)
m
1, pois m
m1
1
0
se m .
Para concluir que liminf
0
({ [0, ] | (K
1
)
(K
2
)
= })
> 0
basta provar que
(*) Existe N N tal que para todo K N existem m com
K m K + N e n N com |
m
1

n
2
1| sucientemente
pequeno, mas isso segue do fato de que
(**) Existem N
, N
N tais que
N
1

N
2
est a muito proximo
col4semg
2011/12/21
page 23
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 23
de 1 (pois isso equivale a N
log
1
+ N
log
2
0, o que se
pode obter tanto se log
1
/ log
2
for irracional, pelo teorema
de Dirichlet, quanto se log
1
/ log
2
= p/q, p, q N, caso em
que podemos tomar N
= q e N
= p).
De fato, para provar (*) a partir de (**), observemos que se
1

N
2
=
1
com || muito pequeno. Temos 2 casos:
= 0: Tome N = N
, m = KN
e n = KN
(K N)
= 0: Tome

N =
_
1
||
_
+1, N = N

N, m = N
_
K
K

||
e
n = N
_
K
(K N).
Observa cao 1: Se
log
1
log
2
/ Q, basta supor que existem > 0 e
t R tais que (

K
1
)
0
intersecta (

K
2
)
0
+t estavelmente.
Observa cao 2: As hip oteses do Teorema I.2 s ao abertas, e como
escolio pode-se obter uma cota inferior positiva uniforme numa vizi-
nhan ca da famlia (
) para
liminf
0
({ [0, ] | (K
1
)
(K
2
)
= })
.
Consideraremos agora um conceito mais forte que o da interse cao
est avel.
Dizemos que o par de conjuntos de Cantor (K
1
, K
2
) tem in-
terse c ao extremal est avel se o extremo direito de K
1
coincide com
o extremo esquerdo de K
2
, e para qualquer par de conjuntos de Can-
tor (

K
1
,

K
2
) proximo de (K
1
, K
2
), tais que os intervalos suportes de
K
1
e de

K
2
tenham interse cao nao vazia, vale

K
1

K
2
= . Isso
implica em particular que K
2
intersecta K
1
+ t estavelmente para
todo t > 0 sucientemente pequeno.
A importancia deste conceito para o estudo de bifurca coes ho-
moclnicas e o seguinte: se numa bifurca cao homoclnica como an-
tes os conjuntos K
1
e K
2
tiverem interse cao extremal est avel ent ao
col4semg
2011/12/21
page 24
i
i
i
i
i
i
i
i
OES EST

{ > 0|(K
1
)
(K
2
)
= } contem um intervalo do tipo [0, ] para

algum > 0.
No decorrer deste trabalho encontraremos condi coes que garantem
interse cao est avel e interse cao extremal est avel para conjuntos de
Cantor dinamicamente denidos.
2.1.3 Nao-intersecoes e hiperbolicidade
Faremos agora uma deni cao: dados conjuntos de Cantor K
1
e K
2
com domnios de Markov P
1
e P
2
e fechos convexos [a, b] e [c, d],
dizemos que K
1
K
2
: P
1
P
2
: (a < c, b < d e c < b).
Teorema. Seja (K,

K) um par de conjuntos de Cantor dinamica-
mente denidos cujas parti coes de Markov s ao P = {K
1
, K
2
, . . . , K
n
}
e

P = {
K
1
,

K
2
, . . . ,

K
m
} respectivamente, tais que o extremo di-
reito de K
1
coincide com o extremo esquerdo de K
2
. Se K e

K
s ao denidos por transforma coes expansoras e

, supomos que
|
K
n
e

|
K
1
s ao ans, crescentes e sobrejetivas. Supomos ainda que
log(
|
K
n
)/ log(

K
1
) / Q. Ent ao, K
2
K
1
nao contem nenhum
intervalo do tipo [0, ], > 0 se e s o se os domnios de Markov de
alguma etapa da constru cao de (K,

K), (P
i
,

P
i
) s ao tais que existem
, t R, > 0 com (P
i
+t)

P
i
e (P
i
+t)

P
i
= (essa ultima
condi cao equivale a existir uma reta que s o cruze os lados inferior
e direito do ret angulo K
0

K
0
e que nao intersecte a etapa P
i

P
i
da constru cao de K

K)
K
0
col4semg
2011/12/21
page 25
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 25
NOTAS
Se |
K
n
e

|
K
1
nao forem lineares, podemos lineariz a-las via
um difeomorsmo C
1+
. O mesmo resultado sera v alido, desde
que as hip oteses sejam testadas para os linearizados.
A hip otese log(
|
K
n
)/ log(

K
1
) / Q pode ser suprimida, se
supusermos que t R tal que (P
i
+t)

P
i
e (P
i
+t)

P
i
= .
Demonstra cao: Sejam
1
=
|
K
n
e
2
=

|
K
1
. Como
log
1
/ log
2
/ Q, existem, para cada > 0, innitos valores naturais
de m e n tais que |
m
1
/
n
2
| < . Como t /

KK, existe > 0 tal
que t
/

K
, t
com|t t
| < , e |
| < existem
innitos m, n N tais que t /

K
m
1
/
n
2
K
n
2
t /
n
2

K
m
1
K,
com (
m
1
K+
n
2
t)
n
2

K como

K
0
(K
0
+
n
2
t) = (
m
1
K
0
+
n
2
t)
(
n
2

K
0
),
n
2
t /

K K. Assim, nao existe nenhum intervalo do tipo
[0, ] K
2
K
1
, > 0. A recproca e evidente.
Observa cao 1: A demonstra cao acima mostra, como no Teorema
I.2, que nesse caso (K
2
K
1
)
c
tem densidade positiva em 0. Adap-
taremos esse resultado na Se cao 2.1.3 para mostrar que, no caso de
bifurca coes homoclnicas, se K
1
= K
s
e K
2
= K
u
, com as hip oteses
do Teorema, teremos
hiperbolico para um conjunto de valores de

com densidade positiva em = 0.
Observa cao 2: No caso de K
1
e K
2
serem conjuntos de Cantor ans
denidos por fun coes expansoras crescentes, se existem > 0 e t R
tais que ou K
1
+ t K
2
ou K
2
K
1
+ t e (K
1
+ t) K
2
=
, ent ao, pelo teorema, (K
1
, K
2
) ou (K
2
, K
1
) nao ter ao interse cao
extremal est avel, pois (talvez mudando um pouco o par (K
1
, K
2
)
para que as hip oteses sobre
1
e
2
sejam satisfeitas) sua diferen ca
aritmetica nao conter a [0, ], > 0.
2.1.4 Varia coes sobre um Teorema de Palis e Ta-
kens
No artigo de Palis e Takens ([PT1]) foi provado o seguinte
Teorema. Seja {
; R} uma famlia de difeomorsmos de M

2
col4semg
2011/12/21
page 26
i
i
i
i
i
i
i
i
OES EST

com uma -explos ao homoclnica em = 0. Suponha que d
s
() +
d
u
() < 1, onde e o conjunto basico de
0
associado à tangencia
homoclnica.
Ent ao lim
0
(B[0,])
= 0, onde B = { > 0|
nao e persistentemente
hiperbolico} e a medida de Lebesgue.
No artigo de Palis e Yoccoz [PY] foi provado que no caso em que
d
s
() +d
u
() > 1(d
s
() = HD(K
s
) e d
u
() = HD(K
u
)), generica-
mente e falso que lim
0
(B [0, ])
= 0.
Provaremos aqui que nas hip oteses do Teorema IV.1 (que s ao
abertas) temos liminf
0
(B
c
[0, ])
> 0, e veremos exemplos onde

isso acontece com HD() > 1, caso em que coexistirao os fenomenos
de hiperbolicidade com densidade positiva em = 0 e tangencias
com densidade positiva em = 0. A prova desse resultado sera
uma combina cao dos argumentos de [PT1] com os argumentos dos
teoremas I.2 e IV.1 deste trabalho.
Teorema. Seja (
) uma famlia de difeomorsmos de M

2
que
apresenta uma -explos ao homoclnica em = 0 associada a um
ponto de sela p que pertence a um conjunto basico . Sejam (

K
1
)
0
e (

K
2
)
0
como no Teorema I.2. Suponha que exista t R tal que
((

K
1
)
0
+t) (

K
2
)
0
e ((

K
1
)
0
+t) (

K
2
)
0
= .
Ent ao liminf
0
({[0, ]|
e persistentemente hiperbolico})/>0.
Demonstra cao: Sejam O a orbita de tangencia homoclnica, q
s
O W
s
loc
(p) e q
u
O W
u
loc
(p). Sejam q
s
W
s,
loc
(p
) e q
u

W
u,
loc
(p
) dependendo continuamente de tais que q

s
0
= q
s
e q
u
0
= q
u
,
e sejam O
s
e O
u
suas orbitas por
. Sejam A() = K
s
O
s
e
B() = K
u
O
u
, onde K
s
= W
s,
loc
(p
e K
u
= W
u,
loc
(p
.
Escolhemos parametriza coes adequadas para W
s,
loc
(p
) e W
u,
loc
(P
)
(que tornam
restrito a cada uma dessas variedades linear) de

forma que K
s
e K
u
coincidem com (

K
1
)
e (

K
2
)
e que A() e B()

s ao conjuntos escalados, com fatores de escala
1
() e
2
(), respec-
tivamente, onde
1
() e
2
() s ao os autovalores de
.
As hip oteses do teorema implicam que existe t > 0 tal que (A(0)+
t)B(0) = (talvez mudando um pouco o t original para que nao haja
col4semg
2011/12/21
page 27
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 27
interse coes envolvendo os conjuntos enumeraveis O
s
0
e O
u
0
). Assim,
haver a vizinhan cas na topologia de conjuntos escalados V (A(0)) e
W(B(0)) e > 0 tais que se

A V (A(0)),

B W(B(0)), |t
t| <
ent ao temos (

A + t
)

B = . A partir da, observando que pe-
quenas vizinhan cas escaladas

A = {x R|x
A t.q. |x x
|
|x
|} est ao proximas de A na topologia dos conjuntos escalados,

podemos usar a mesma demonstra cao do teorema I.2 (o esprito
desse argumento e o fato de que nao-interse coes de compactos s ao
sempre est aveis) para concluir que se

A
K
(
) =
1
s,
A(
)
[K, K]),e

B
K
=
1
u,
B(
)[K, K]) onde

s,
e
u,
s ao as proje coes associadas às folhea coes est avel e instavel de
so-
bre a linha de tangencias, e se
B
,
= {
(0, )|distancia entre

A
K
(
) e

B
K
(
) e maior ou igual a }
ent ao existe > 0 tal que liminf
0
(B
,
)
> 0. A partir da, con-

clumos o teorema exatamente como em [PT1]
Observa cao 1: Na hip otese desse teorema, assim como na hip otese
do teorema I.2, devemos supor que (

K
1
)
0
e (

K
2
)
0
est ao contidos em
R, estando (

K
1
)
0
contido em R
+
e (

K
2
)
0
em R
.
Observa cao 2: Se log(
1
(0))/ log(
2
(0)) / Q, basta supor que exis-
tem > 0 e t R tais que ((

K
1
)
0
+ t) (

K
2
)
0
e ((

K
1
)
0
+ t)
(

K
2
)
0
= .
Exemplo: Suponha que K
s
0
e K
u
0
s ao conjuntos de Cantor ans
como nas guras B e C abaixo, associados a um Horseshoe como o
da gura A que tem a mesma combinatoria do quadrado do horseshoe
usual, e portanto pode ser realizado na esfera.
col4semg
2011/12/21
page 28
i
i
i
i
i
i
i
i
OES EST

P
Figura A
Figura B Figura C
-20
5 1 5 1 5 2 1 1 1
0
5 1 5 1 5
19
0
.
Suponha que (
) apresente uma -explos ao homoclnica em

= 0 associada ao ponto xo P no extremo inferior esquerdo de
. Ent ao, como as hip oteses do teorema s ao satisfeitas teremos hi-
perbolicidade com densidade positiva em = 0. Entretanto, como
mostra a gura D, K
s
0
contem um conjunto de Cantor am com expes-
sura 17/10 > 1 (esquecemos o intervalo extremal). Analogamente,
podemos mostrar que K
u
0
contem um conjunto de Cantor am com
espessura maior que 1 existe t R tal que (K
s
0
+t) intersecta K
u
0
estavelmente, donde pelo teorema I.2 haver a tangencias com densi-
dade positiva em = 0. Os mesmos fenomenos se vericam numa
vizinhan ca da famlia (
).
20
5 1 5
1
5 2 1
0
3/4
3/4 3/4
17/4 17/4 17/4
17
20
Figura D
col4semg
2011/12/21
page 29
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 29
2.1.5 Exemplos sobre intersecoes estaveis e dife-
rencas aritmeticas
Espessuras e interse coes estaveis
Como conseq uencia da Se cao 1.3.2, se
D
(K
1
)
E
(K
2
) > 1 e
E
(K
1
)
D
(K
2
) > 1, e se
D
e
E
s ao contnuas em K
1
e K
2
ent ao,
para todo t R tal que K
1
e K
2
+t est ao intercalados, K
1
intersecta
K
2
+t estavelmente.
A espessura (K) e contnua na topologia C
1+
(ver [PT2]). O
mesmo nao acontece com as espessuras laterais:
Exerccio: No conjunto
(
(
(
(
0 2
3
4
5
7
K :
as espessuras laterais nao s ao contnuas.
De fato, temos, proximos de K, os conjuntos
K :
K :
(
(
(
(
0 2
3-
4
5
7
(
(
(
(
0 2
3
4
5-
7
para os quais
D
(K
) =
1 +
1
( 1 quando 0) e
E
(K
) =
2
1
( 2 quando 0),
D
(K
) =
2 +
1
( 2 quando 0)
e
E
(K
) =
2
1
( 1 quando 0), o que mostra que
D
e
E
s ao descontnuas em K.
E possvel provar que existe um aberto denso U na topologia C

1+
onde as espessuras laterais s ao contnuas.
N ao e difcil provar que as espessuras laterais s ao contnuas nos
conjuntos de Cantor ans do tipo
(
(
a
K :
b
c
col4semg
2011/12/21
page 30
i
i
i
i
i
i
i
i
OES EST

para os quais a espessura direita
D
(K) =
c
b
e a esquerda
E
(K) =
a
b
(isso se deve ao fato de nao haver gaps vizinhos com comprimentos
demasiado proximos em conjuntos desse tipo).
Conseq uentemente, se
a
1
c
b
1
b
> 1 e
c
1
a
b
1
b
> 1, ent ao os conjuntos
a
b c
(
(
(
(
a
1
b c
1 1
tem interse cao est avel sempre que intercalados, e sua diferen ca aritme-
tica conter a um intervalo, sendo esse fenomeno est avel dentre os con-
juntos de Cantor dinamicamente denidos.
H a uma desigualdade cuja prova pode ser encontrada em [PT2]
que arma que HD(K) log 2/ log(2 +
1
(K)
), o que implica que se
(K) 1, ent ao HD(K) log 3/ log 2 > 0, 6. Assim, se K
1
e K
2
tem
dimensao de Hausdor 0,6 cada um, o produto de suas espessuras e
menor que 1, e portanto o teste da espessura nao pode garantir a
existencia de intersec cao est avel entre K
1
e K
2
.
Entretanto, o conceito de espessura lateral nos permite provar o se-
guinte resultado:
Teorema: Dados h
1
e h
2
no intervalo (0,1) com h
1
+h
2
> 1, existem
conjuntos de Cantor ans K
1
e K
2
com dimensoes de Hausdor h
1
e h
2
respectivamente que se intersectam estavelmente. Alem disso
podemos conseguir que (K
1
, K
2
) e (K
2
, K
1
+ 1) tenham interse cao
extremal est avel.
Demonstra cao: Procuraremos exemplos do tipo
a
1
b c
1 1
(
(
K :
1
a
2
(
(
K :
2
b
2
c
2
Num conjunto
a
(
(
K :
b
c
col4semg
2011/12/21
page 31
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 31
com a + b + c = 1 temos HD(K) = onde e o unico real tal que
a
+c
= 1 (ver [PT2]),
D
(K) = c/b e
E
(K) = a/b.
Assim, se tivermos
a
1
c
2
b
1
b
2
> 1 e
a
2
c
1
b
1
b
2
> 1, (K
1
, K
2
) ter a interse cao
est avel, desde que intercalados.
Alem disso, quando na posi cao onde os extremos se tocam, (K
1
, K
2
)
e (K
2
, K
1
) ter ao interse cao extremal est avel.
Tentaremos obter exemplos como acima, com a
1
+ b
1
+ c
1
= a
2
+
b
2
+ c
2
= 1 e a
1
c
2
= a
2
c
1
(ou seja,
c
1
a
1
=
c
2
a
2
=: r), para que as
condi coes
a
1
c
2
b
1
b
2
> 1 e
a
2
c
1
b
1
b
2
> 1 sejam equivalentes. Dados h
1
e h
2
no intervalo (0,1) com h
1
+ h
2
> 1 obteremos esses exemplos com
HD(K
1
) = h
1
e HD(K
2
) = h
2
, ou seja, a
h
1
1
+c
h
1
1
= 1 e a
h
2
2
+c
h
2
2
= 1.
Num conjunto de Cantor
a
(
(
K :
b
c
com c = ra, a + b + c = 1 e HD(K) = h devemos ter a
h
+ (ra)
h
=
1 a =
1
(1 +r
h
)
1/h
, c =
r
(1 +r
h
)
1/h
e b =
(1 +r
h
)
1/h
1 r
(1 +r
h
)
1/h
. No
nosso caso, queremos a
1
c
2
> b
1
b
2
( a
2
c
1
> b
1
b
2
), donde o nosso
problema e encontrar r > 0 satisfazendo
1
(1 +r
h
1
)
1/h
1
r
(1 +r
h
2
)
1/h
2
>
((1 +r
h
1
)
1/h
1
1 r)
(1 +r
h
1
)
1/h
1
((1 +r
h
2
)
1/h
2
1 r)
(1 +r
h
2
)
1/h
2
() r > ((1 +r
h
1
)
1/h
1
1 r) ((1 +r
h
2
)
1/h
2
1 r).
Temos
lim
r0
+
((1 +r
h
)
1/h
1 r)
r
h
=
1
h
,
lim
r0
+
((1 +r
h
1
)
1/h
1
1 r) ((1 +r
h
2
)
1/h
2
1 r)
r
=
col4semg
2011/12/21
page 32
i
i
i
i
i
i
i
i
OES EST

= lim
r0
+
((1 +r
h
1
)
1/h
1
1 r)
r
h
1
lim
r0
+
(1 +r
h
2
)
1/h
2
1 r)
r
h
2
lim
r0
+
r
h
1
+h
2
r
=
1
h
1
1
h
2
0 = 0
pois h
1
+h
2
> 1, enquanto lim
r0
+
r
r
= 1, donde, se r e sucientemente
pequeno, o lado direito de (*) e menor que o lado esquerdo. Assim,
para todo r sucientemente pequeno (ou sucientemente grande) ob-
temos exemplos como desejados
a
(
(
K :
b
c
1
1
1
1
e
a
(
(
K :
b
c
2
2
2
2
a
i
=
1
(1+r
h
i
)
1/h
i
, c
i
=
r
(1 +r
h
i
)
1/h
i
, b
i
= 1 a
i
c
i
, para i = 1, 2.
Em [M] ha v arios exemplos de pares de conjuntos de Cantor regu-
lares cujo produto das espessuras (e mesmo das espessuras laterais) e
menor que 1 mas cuja diferen ca aritmetica contem intervalos persis-
tentemente, o que e devido a criterios que generalizam o gap lemma.
A essencia desses exemplos, assim como do gap lemma classico, e
mostrar que determinados tipos de congura coes de etapas nitas da
constru cao de um par de conjuntos de Cantor regulares na reta (as
quais s ao uni oes nitas de intervalos) que se intersectam for cam a
existencia de congura coes do mesmo tipo de etapas superiores que
se intersectam (em escala menor). Esta ideia sera generalizada no
proximo captulo para mostrar que genericamente se a soma das di-
mensoes de Hausdor de dois conjuntos de Cantor regulares e maior
que 1 ent ao sua diferen ca aritmetica contem intervalos, provanod as-
sim uma conjectura de J. Palis.
Exemplos diversos
Exemplo 1: Consideremos os conjuntos
(
(
K :
1-
2
1-
2
0
1
col4semg
2011/12/21
page 33
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 33
Sua dimensao de Hausdor e igual a:
log 2
log(
1
2
)
(ver [PT2]), e
(K
) =
E
(K
) =
D
(K
) =
1
2
. Se >
1
2
teremos HD(K
) <
1
2
, e (K
) ter a medida nula para todo R.

Se <
1
3
, (K
) > 1 e (K
, K
) ter a interse cao est avel

(e mesmo interse cao extremal est avel) quando intercalados, donde
K
conter a intervalo, R
.
Provaremos aqui que, quando
1
3
< <
1
2
, K
ter a medida
nula, mas existirao intervalos de valores de (que dependerao de )
para os quais K
conter a intervalo.
Prova: Considere o conjunto K = K
R
2
. K
sera
sua proje cao sobre R {0} num angulo de 45
(Fig.1).
1
0
1
x
y
Figura 1
Figura 2
Na primeira etapa da constru cao de K
sobram 4 quadra-
dos congruentes, sendo que o do canto inferior esquerdo se projeta
exatamente sobre o do canto superior direito. (Ver Fig.2).
Assim, pela autosemelhan ca dos K
, a constru cao continua como

se eles fossem um s o quadrado. No caso >
1
3
, a proje cao da pri-
meira etapa da constru cao nao e todo o intervalo [0, 1], mas o con-
junto [1, ] [
1
2
,
1
2
] [, 1] consistindo de 3 componentes
conexas. A partir da, a diferen ca e construda como um conjunto de
Cantor am, sendo igual ao conjunto
col4semg
2011/12/21
page 34
i
i
i
i
i
i
i
i
OES EST

(
(
-1
2
1-
2
-1 1
(
(
-
-
que tem medida nula (e ate dimensao de Hausdor < 1).
O conjunto de Cantor usual K1
3
pode ser aproximado por um lado
por conjuntos K1
3
, > 0 que tem auto-interse cao est avel (e mesmo

extremal est avel), e por outro por conjuntos K1
3
+
, > 0, que tem
auto-diferen ca aritmetica com medida nula e dimensao de Hausdor
< 1.
Se a proje cao da primeira etapa da constru cao de K
(K
)
for sobrejetiva sobre o intervalo [, 1], pelo mesmo argumento de
auto-semelhan ca, as proje coes de todas as etapas serao sobrejetivas,
e teremos K
= [, 1]. Vamos determinar quando isso acon-

tece:
1-
2
0
1
1-
2
1+
2
0
1+
2
( ) ( )
(
(
(
(
= [,
1
2
(
1 +
2
)] [
1 +
2
, 1 (
1 +
2
)]
[(
1
2
),
1
2
] [
1 +
2
(
1
2
), 1],
que e igual ao intervalo [, 1] se
_
1
2
(
1 +
2
)
1 +
2
, 1 (
1 +
2
) (
1
2
)
e
1
2

1 +
2
(
1
2
)
_
ou se
_
1
2
(
1 +
2
) (
1
2
),
1
2

1 +
2
, e
1 (
1 +
2
)
1 +
2
(
1
2
)
_
,
ou seja, se
_

2
1
e 1
_
ou
_

2
1
e
_
.
col4semg
2011/12/21
page 35
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 35
Como >
1
3
,
2
1
> 1 e a primeira possibilidade nunca ocorre.
Porem, como < 1/2, o intervalo [,
1
2
] e nao vazio, e e um
intervalo de valores de para os quais K
= [, 1]. Por
auto-semelhan ca, se
k=0
_
(
1
2
)
k
, (
1
2
)
k
1
2
_
, K
conter a intervalo.
Uma observa cao interessante e que a segunda parte desse exemplo
nao e t ao rgida quanto parece. Na verdade, se
_
,
1
2
_
,
1
3
<
<
1
2
e t (, 1) ent ao K
tem uma interse cao com K
+ t
que conjecturamos que nao seja est avel, e que nao e extremal est avel,
como provaremos na proxima se cao. Entretanto, essas interse coes s ao
semi-est aveis, no sentido que nao podem ser destrudas aplicando di-
feomorsmos e C
1
-proximos da identidade a K
e K
+t. Mais
precisamente, dado t (, 1) existe > 0 tal que se Id
1
<
e Id
1
< ent ao (K
) (K
+ t) = . Alem disso,
(K
, K
+ 1) e (K
, K
)) tem interse cao extremal semi-

est avel, no sentido que > 0 tal que se Id
1
< e Id
1
<
ent ao (K
) (K
+ 1) = e (K
) (K
) = , desde
que os seus intervalos suportes tenham interse cao nao-vazia.
De fato, a raz ao entre os comprimentos de um gap de K
e de
um gap de K
e da forma (
1
2
)
k
, k Z. Se (,
1
2
) e
e sucientemente pequeno ent ao a raz ao entre um gap de (K
) e
um gap de (K
) sera maior que

2
1
ou menor que
1
2
, para
todos os , C
1
com Id
1
< e Id
1
< . Assim, como
na prova do gap lemma, se tivermos um par de gaps encaixados
(U,

U), por exemplo como abaixo
U
~
D
U
~
( ) : K
( ) : K
E
U U
(
(
(
(
(
(
col4semg
2011/12/21
page 36
i
i
i
i
i
i
i
i
OES EST

onde supomos U >

U U >
2
1
U, mas temos
E
((K
))
E
(K
) =
1
2
garantimos que |E
U
| >
obtemos um par de
gaps menor. Continuamos como na prova do gap lemma, e obtemos
o resultado desejado (ou seja, se (K
a
) e (K
+t) tem um par de

gaps encaixados ent ao tem interse cao nao vazia).
Exemplo 2: Exibiremos aqui exemplos de conjuntos de Cantor
ans cuja dimensao de Hausdor e muito proxima de 1 e cuja auto-
diferen ca aritmetica tem medida nula. Seja K
k
=
1
4 +1 k
0
1
(
( (
( (
(
4
4 +1 k
5
4 +1 k
8
4 +1 k
4 -3 k
4 +1 k
4k
4 +1 k
. . .
A proje cao da primeira etapa da constru cao de K
k
K
k
e
k
_
j=k
[
4j 1
4k + 1
,
4j + 1
4k + 1
],
que nao e todo o intervalo [1, 1], e pelo mesmo argumento de auto-
semelhan ca aplicado a K
, K
k
K
k
ter a medida nula (e ate
dimensao de Hausor< 1: sera um conjunto de Cantor am), pois a
etapa inicial da constru cao de K
k
K
k
consistir a de v arios quadrados
congruentes tais que as proje coes de dois deles ou coincidem ou tem
interse cao vazia.
Outra maneira de ver isso e observar que K
k
e o conjunto dos
n umeros de [0, 1] em cuja representa cao na base 4k + 1 s o aparecem
os algarismos 0, 4, 8, . . . , 4k K
k
K
k
= K
k
+K
k
1, onde K
k
+K
k
e igual ao conjunto de Cantor am {x [0, 2]| todos os algarismos de
x/2 na base 4k + 1 s ao pares}.
A dimensao de Hausdor de K
k
e
log(k + 1)
log(4k + 1)
(e o unico tal
que (k + 1) (
1
4k + 1
)
= 1; ver [PT2]).
col4semg
2011/12/21
page 37
i
i
i
i
i
i
i
i
ETICAS, INTERSEC
OES EST
AVEIS 37
Portanto, como lim
k
log(k + 1)
log(4k + 1)
= 1, obtemos os exemplos dese-
jados.
Exemplo 3: Seja K =
_

i=1
i
9
i
;
i
{0, 4, 6, 8}
_
. K e um conjunto
de Cantor am. Temos
K +K = {x +y | x K, y K}
=
_

i=1
i
9
i
,
i
{0, 4, 6, 8} +{0, 4, 6, 8}
= {0, 4, 6, 8, 10, 12, 14, 16}
_
e
K K = {x y | x K, y K}
=
_

i=1
i
9
i
,
i
{0, 4, 6, 8} {0, 4, 6, 8}
= {8, 6, 4, 2, 0, 2, 4, 6, 8}
_
.
Assim, K + K =
_
x R |
x
2
=
i=1

i
9
i
,
i
{0, 2, 3, 4, 5, 6, 7, 9}
_
,
que e um conjunto de Cantor am, de medida nula e dimensao de
Hausdor menor que um, enquanto
K K =
_
x R |
x + 1
2
=
i=1
i
9
i
;

i
{0, 1, 2, 3, 4, 5, 6, 7, 8}
_
= [1, 1].
Portanto, K +K tem medida nula, e K K e um intervalo.
Exemplo 4: Consideremos os exemplos de Sannami ([S]) e de Bam on-
Plaza-Vera ([BPV]), de conjuntos de Cantor dinamicamente denidos
cuja auto-diferen ca aritmetica e um conjunto de Cantor de medida
positiva. Nesses exemplos os conjuntos de Cantor s ao centrais:

E
dada uma seq uencia = (
1
,
2
,
3
, . . . ) de n umeros reais (nesses
col4semg
2011/12/21
page 38
i
i
i
i
i
i
i
i
OES EST

casos temos lim
i
i
=
1
3
e
i
>
1
3
, i) e o conjunto de Cantor
central K
e denido do seguinte modo: toma-se o intervalo [0,1],

faz-se um gap de propor cao
1
, no centro do intervalo, sobrando
duas componentes conexas na primeira etapa. Na k-esima etapa so-
brar ao 2
k
componentes conexas, e serao feitos gaps de propor cao
k
em cada componente conexa resultante da etapa k 1. A interse cao
dos conjuntos resultantes de cada etapa e o conjunto K
. A diferen-
ciabilidade de K
est a ligada à rapidez de convergencia da seq uencia

(
i
). Podemos aproximar por +: = (
i
+)
iN
, obtendo con-
juntos K
+
t ao diferenciaveis quanto K
. Do calculo de medida
da diferen ca aritmetica (que e feito nos artigos citados) podemos de-
duzir que, se > 0 ent ao (K
+
K
+
) = 0. Por outro lado, se
> 0 temos
loc
(K
+
) > 1, e portanto (K
+
, K
+
) ter a interse cao
est avel, e (K
+
, K
+
+ 1) ter a interse cao extremal est avel. Nessas
ultimas considera coes nos referimos a seq uencias que aparecem nos
exemplos citados (para as quais lim
i
i
=
1
3
). Nesses casos temos
loc
(K
) = 1, como observamos nos coment arios sobre espessuras

locais apos a prova da arma cao.
2.2 Intersecoes estaveis e dimensao de
Hausdor
2.2.1 Enunciados
Vimos na se cao anterior que estudar diferen cas aritmeticas e in-
terse coes est aveis de conjuntos de Cantor regulares e de grande im-
portancia para entender o desdobramento de bifurca coes homoclnicas
em superfcies perto do par ametro inicial de bifurca cao. Por outro
lado, estudar somas aritmeticas de conjuntos de Cantor tem um papel
importante em certos t opicos de teoria dos n umeros, em particular
no estudo de fra coes contnuas e aproxima coes diofantinas, como ve-
remos em detalhe no Captulo 3. Note que estudar somas e diferen cas
aritmeticas de conjuntos de Cantor regulares s ao problemas equiva-
lentes, pois K
1
+ K
2
= {x + y; x K
1
, y K
2
} = K
1
(K
2
), e,
se K
2
e um conjunto de Cantor regular ent ao K
2
= {y; y K
2
}
tambem e.
col4semg
2011/12/21
page 39
i
i
i
i
i
i
i
i
[SEC. 2.2: INTERSEC
OES EST
AVEIS E DIMENS
AO DE HAUSDORFF 39
E facil ver que se d(K

1
) +d(K
2
) < 1 ent ao K
1
+K
2
(e K
1
K
2
)
tem medida nula, e, de fato, dimensao de Hausdor menor que 1.
Isso segue do fato de que K
1
+K
2
= f(K
1
K
2
), onde f : R
2
R,
f(x, y) = x + y e Lipschitziana, donde d(K
1
+ K
2
) d(K
1
K
2
)
d(K
1
) + d(K
2
) < 1. Em particular, se d(K
1
) + d(K
2
) < 1 ent ao K
1
e K
2
+t nunca tem interse cao est avel, , t R.
O seguinte resultado, em colabora cao com J.-Ch. Yoccoz, prova
uma versao forte da Conjectura de Palis citada acima:
Teorema 2.1: Seja = {(K
2
, K
2
) conjuntos de Cantor regulares
tais que d(K
1
) + d(K
2
) > 1}. Existe U aberto e denso (na
topologia C
q
, para todo q com 1 < q ) tal que, se (K
1
, K
2
) U,
ent ao S(K
1
, K
2
) := {t R | K
1
tem interse cao est avel com K
2
+t} e
(aberto e) denso em K
1
K
2
(em particular e nao-vazio. Alem disso,
HD((K
1
K
2
)\S(K
1
, K
2
)) < 1.
O teorema diz, em particular, que, com condi coes abertas e densas
(e, como veremos mais adiante, de medida total num sentido bastante
forte), se d(K
1
)+d(K
2
) > 1 ent ao K
1
K
2
contem (estavelmente) in-
tervalos nao-triviais. Este captulo sera dedicado a discutir as ideias
centrais da prova deste resultado e de alguns renamentos e con-
seq uencias. Para a prova completa referimos a [MY].
O primeiro renamento do Teorema 2.1 que mencionaremos diz
respeito ao tamanho das interse coes K
1
(K
2
+t). Dizemos que K
1
tem interse cao d-est avel com K
2
se para qualquer par de conjuntos
de Cantor regulares (
K
1
,

K
2
) proximo a (K
1
, K
2
) tivermos HD(

K
1
K
2
), onde HD denota dimensao de Hausdor.
Teorema 2.2: Dados (K
1
, K
2
) e 0 < d < d(K
1
)+d(K
2
)1, po-
demos aproximar (K
1
, K
2
) por (

K
1
,

K
2
) de modo que S
d
(K
1
, K
2
) :=
{t R | K
1
tem interse cao d-est avel com K
2
+t} e (aberto e) denso
em K
1
K
2
, e HD((K
1
K
2
)\S
d
(K
1
, K
2
)) < 1.
O segundo renamento diz respeito ao tamanho do conjunto U:
podemos tomar U satisfazendo às condi coes do enunciado de modo
que seu complementar em tenha codimensao innita, isto e, tal que
para todo n natural, famlias genericas : R
n
tem sua imagem
contida inteiramente em U.
col4semg
2011/12/21
page 40
i
i
i
i
i
i
i
i
OES EST

2.2.2 Ideias das demonstracoes
Estes resultados podem ser adaptados para estudar bifurca coes ho-
moclnicas genericas em superfcies associadas a conjuntos hiperbolicos
nao triviais: se, na situa cao da Se cao 2.1.0, a dimensao de Haus-
dor de e maior que 1, ent ao os difeomorsmos
apresentam
tangencias homoclnicas persistentes para um conjunto aberto de
valores do par ametro com densidade persistentemente positiva em
= 0. Alem disso, os resultados da Se cao 2.1.2 combinados com o
fato de que genericamente vale que dois conjuntos de Cantor K
1
e
K
2
+ t ou nao se intersectam ou se intersectam estavelmente para
quase todo valor de t (conseq uencia do Teorema 2.1) podem ser usa-
dos para mostrar que genericamente a uni ao dos conjuntos de valores
do par ametro correspondentes a tangencias homoclnicas est aveis e
a hiperbolicidade tem densidade total no par ametro inicial de bi-
furca cao = 0.
Vamos agora ver condi coes que asseguram que dois conjuntos de
Cantor regulares K e K
tenham interse cao est avel. Suponha que

K e K
sejam denidos por e
e tenham shifts associados

B
e
. Dadas palavras nitas = (a

n
, a
1n
, . . . , a
0
) de
B
e
= (b
m
, . . . , b
0
) de
, ` as quais est ao associados intervalos I
e I
de K e K
, respectivamente, podemos denir o operador de re-

normalizac ao F
,
:
B

B
R
R da
seguinte forma: dado (,
, , t)
R, consideramos
os intervalos I
= k
(I
) e I
+ t = k
(I
) + t das constru coes

de K
e K
+ t e aplicamos a ambos a unica transforma cao am

que preserva orienta cao tal que a imagem de I
e I
a
0
. A imagem
de I
+ t sera

I
b
0
+

t para algum (
t) R
R. Denimos
R
,
(,
, , t) = ( ,
t).
Vamos agora interpretar geometricamente este operador. O espa co
R deve ser visto como o espa co das posi coes re-

lativas de geometrias limite de K e K
na reta. Devemos pensar

que os intervalos I
eI
tem tamanhos comparaveis. Se os con-

juntos de Cantor K
e K
+ t tem um ponto de interse cao que

perten ca aos intervalos I
e I
+ t, ent ao este ponto pertencer a

col4semg
2011/12/21
page 41
i
i
i
i
i
i
i
i
[SEC. 2.2: INTERSEC
OES EST
AVEIS E DIMENS
AO DE HAUSDORFF 41
a
_
(K
) + t
_

_
K
_
, mas, ao aplicar a transforma cao
am citada na deni cao de R
,
, K
e transformado em K
e
_
K
_
+ t e transformado em

K
+

t, donde K
t tem interse cao nao vazia. Assim, aplicar o operador de re-

normaliza cao R
,
signca olhar com lente de aumento para possveis
pontos de interse cao de K
e K
+t que perten cam a I
(I
+t).
Se nao ha tais pontos de interse cao, os conjuntos de Cantor em
quest ao est ao a uma distancia positiva e, ao olha-los com lente de
aumento, eles parecer ao cada vez mais distantes. Reciprocamente, se
podemos aplicar innitas vezes operadores de renormaliza cao a um
ponto (,
, , t) de
R sem que os iterados saiam

de uma parte compacta, ent ao necessariamente K
e K
+ t de-
vem intersectar-se, pois parecer ao intersectar-se em escalas arbitrari-
amente pequenas (devidamente ampliadas).
O leitor deve ter notado que nessa discussao estamos falando de
interse coes de conjuntos de Cantor que s ao geometrias limite. Nosso
primeiro objetivo sera obter um criterio robusto que assegure in-
terse coes est aveis de geometrias limite. Apos isso, usaremos o fato de
que geometrias limite reproduzem a geometria de pequenos peda cos
dos conjuntos de Cantor originais com distor cao pequena, isto e, ao
renormalizarmos repetidamente peda cos pequenos de um conjunto de
Cantor regular tendemos para o espa co das geometrias limite, o que
permitira mostrar que o criterio que teremos obtido sera suciente
para assegurar interse cao est avel no universo de todos os conjuntos
de Cantor regulares. O instrumento fundamental que usaremos para
determinar interse coes est aveis sera
Proposi cao 2.2.2: Se existe um conjunto compacto L
R de interior int L = tal que, para cada (,
, , t) L existe
um operador de renormaliza cao R
,
tal que R
,
(,
, , t) int L
ent ao, para cada (,
, , t) L, K
tem interse cao est avel com

K
+t (no universo de todos os conjuntos de Cantor regulares que

s ao de classe C
1+
para algum > 0).
As condi coes da Proposi cao 2.2.2 s ao claramente abertas, pois L e
compacto e os operadores R
,
s ao contnuos. Assim, a arma cao so-
col4semg
2011/12/21
page 42
i
i
i
i
i
i
i
i
OES EST

bre interse coes est aveis seguira do fato das interse coes K
(K
, , t)
serem nao vazias para (,
, , t) L, o que, por sua vez, segue

do fato de podermos aplicar repetidamente operadores de renorma-
liza cao sem sair do compacto L.
Um conjunto L como o da proposi cao acima e dito um com-
pacto recorrente. Para provar o Teorema 2.1, mostraremos que dado
(K, K
) e possvel encontrar pares de conjuntos de Cantor re-

gulares (

K,

K
) arbitrariamente proximos para os quais existe algum

compacto recorrente.
A prova do Teorema 2.2 baseia-se numa varia cao do conceito de
compacto recorrente: dado d > 0, dizemos que L
R
e um compacto d-recorrente se para todo (,
, , t) L existem (nao
mais um, mas v arios) operadores de renormaliza cao R
i
,
i
, 1 i
N = N(,
, , t) tais que, R
i
,
i
(,
, , t) int L e
i
= |I
i
|
_
|I

a
i
0
|
e o inverso da taxa de expansao em t de R
i
,
i
, ent ao
N
i=1
d
i
> 1.
Se ha um compacto d-recorrente L, ent ao cada operador de renor-
maliza cao R
i
,
i
indica uma regi ao de K
que intersecta K
+ t.
Em cada regi ao dessas, depois de ampliada, ha v arias outras sub-
regi oes onde ha interse cao, e, repetindo o argumento, encontramos
todo um conjunto de Cantor de interse coes entre K
e K
+t. A
estimativa sobre os
i
fornece a estimativa inferior de d para a di-
mensao de Hausdor da interse cao. O resto do argumento segue as
mesmas linhas da prova do Teorema 2.1, que continuaremos discu-
tindo.
Um resultado fundamental de teoria geometrica da medida para
nossa tarefa de encontrar um compacto invariante L e o Teorema de
Marstrand, que implica que, se HD(K) + HD(K
) > 1 ent ao, para

quase todo R, KK
tem medida positiva. Mais precisamente,

a prova de Kaufman do teorema de Marstrand (ver [PT2]) mostra
que, se
: K K
R,
(x, y) = x y, d = d(K), d
=
d(K
) e m = m
d
m
d
e a medida de Hausdor produto em K K
ent ao, para quase todo R, a medida
m (ou seja,
(A)
e, por deni cao m(
1
(A))) e absolutamente contnua em rela cao à

medida de Lebesgue na reta, e, alem disso, sua densidade
e L
2
e,
para cada c > 1,
_
c
1/c
||
||
L
2 d < . Dizer que
e L
2
signica
que KK
nao est a muito longe de ser um produto na dire cao de
.
col4semg
2011/12/21
page 43
i
i
i
i
i
i
i
i
[SEC. 2.2: INTERSEC
OES EST
AVEIS E DIMENS
AO DE HAUSDORFF 43
Em particular, conseguimos um conjunto P
K K
de medida
positiva tal que para cada t P
, nao apenas K(K
+t) = como
tambem K(K
+t) tem dimensao quase igual a d +d
1. Em
outras palavras, existe um conjunto relativamente grande (i.e., com
medida positiva) de valores de t tais que K(K
+t) e relativamente
grande (tem dimensao positiva).
Este resultado nos leva a crer intuitivamente que temos uma
boa chance de encontrar um compacto invariante L, pois algo como
{(,
, , t) | t P
,,
} tem boa chance de funcionar: temos muitas
possveis escolhas para operadores de renormaliza cao, e cada um deles
tem uma probabilidade razo avel de voltar ao mesmo conjunto L.
Mais precisamente, xamos > 0 pequeno e tomamos P
=
P
(,
) = {t R tal que a interse cao das -vizinhan cas de K
e
K
+ t tem pelo menos c

b
componentes conexas}, onde c > 0
e 0 < b < d +d
1 s ao xados inicialmente (independentes de ), e

L
= {(,
, , t) | m(P
(,
) [A, A]) > 2A c e t P
(,
)}
onde A 0 e 0 < c 1 s ao constantes. O Teorema de Marstrand
garante que a medida de L
e pelo menos uma constante positiva

independente de . Se pensarmos que, para cada ponto de L
e cada
componente conexa da interse cao das -vizinhan cas de K
e K
temos probabilidade positiva uniforme p de que o operador de re-

normaliza cao associado o envie ao interior de L
a uma distancia
de pelo menos
2
da fronteira de L
, se houvesse independencia em
rela cao às componentes conexas, teramos probabilidade da ordem de
(1P)
c
b
de que nenhum desses operadores voltasse como queremos
ao interior de L
. Por outro lado, a margem de seguran ca de

2
faz
com que precisemos apenas que
k
desses pontos voltem, onde K e
uma constante, e, como
k
(1 P)
c
b
1 temos muita esperan ca
de que o L
funcione.
Assim, o teorema de Marstrand nos da candidatos naturais para
o compacto invariante L. Nossa estrategia sera mostrar que, talvez
apos uma pequena perturba cao dos conjuntos de Cantor originais,
esses candidatos a compacto invariante inspirados pelo teorema de
Marstrand funcionarao.
Se examinarmos os operadores de renormaliza cao R
,
, veremos
que eles s ao bastante expansivos em t, bastante contrativos em (,
)
e essencialmente neutros em . Assim, pequenas perturba coes nos
col4semg
2011/12/21
page 44
i
i
i
i
i
i
i
i
OES EST

conjuntos de Cantor originais podem fazer variar bastante a posi cao
relativa t, mas nao fazem variar muito a escala apos a renorma-
liza cao. Isso faz com que as variaveis e t tenham um papel bastante
diferente na demonstra cao. De fato, primeiro mostraremos que existe
um compacto invariante a nvel das variaveis ,
e , sem a neces-
sidade de perturba coes, supondo apenas que os conjuntos de Cantor
envolvidos nao s ao essencialmente ans. Este resultado e conhecido
como o lema de recorrencia de escalas (ou lema de sele cao). Apos isso,
a prova do teorema assume um car ater probabilstico: construiremos
uma famlia de perturba coes de (K, K
) com um grande n umero de

par ametros e mostraremos que para a maioria das escolhas desses
par ametros os candidatos naturais a L s ao de fato compactos invari-
antes.
O lema de recorrencia de escalas garante que, se K e essencial-
mente nao-am, ent ao, dado um conjunto L
tal
que, para um certo A > 0 grande a medida do conjunto { [A, A] |
(,
, ) / L} e uniformemente pequena para todo (,
), ent ao existe
um conjunto F contido em uma pequena vizinhan ca de L tal que, para
todo (,
) a medida do conjunto { [A, A] | (,
, ) / F} e pe-
quena e F e um compacto muito recorrente a nvel de
,
o que signica que, para cada ponto de F existem muitos operadores
de renormaliza cao que, restritos às coordenadas (,
, ) levam esse
ponto ao interior de F.
A hip otese de ser essencialmente nao-am signica que existem
,
B
e x K
tais que (k
k
1
))
(x) = 0, e muitos opera-

dores de renormaliza cao signica uma propor cao xa do n umero de
todos os operadores de renormaliza cao de uma determinada ordem
de grandeza de escala.
Mais precisamente, supomos que K e K
s ao de classe C
2
(de fato
basta supor que K e C
2
e K
e C
1+
), e eixstem
0
e
1

, com
0
0
=
1
0
e x
0
K
0
I
0
0
tais que |Dlog D(k
1
(k
0
)
1
)(x
0
)| = 0, onde
D indica derivada, e a conclus ao do lema e que se () e o conjunto
das palavras nitas a de =
B
(o shift associado ao Cantor K) tais
que I(a) tem comprimento da ordem de (m odulo fator constante) e
() e denido de modo analogo, ent ao, para R > 0 sucientemente

grande, vale o seguinte resultado:
col4semg
2011/12/21
page 45
i
i
i
i
i
i
i
i
[SEC. 2.3: COMENT
ARIOS SOBRE GENERALIZAC
OES E PROBLEMAS EM ABERTO 45

Se denotarmos por J
R
o conjunto [R, R
1
][R
1
, R], se R > 0
e sucientemente grande, e E = {E(a, a
), (a, a
) ()
()} e
uma famlia de subconjuntos de J
R
tal que m(J
R
\E(a, a
)) < para
todo a, a
(onde e uma constante pequena) ent ao e possvel achar

uma outra famlia de subconjuntos de J
R
, E
= {E
(a, a
)} tal
que
i) para todo (a, a
), E
(a, a
) est a contida numa C
vizinhan ca de
E(a, a
), onde C e uma constante.

ii) Se (a, a
) ()
() e E
(a, a
), podemos achar pelo

menos c
(d+d
)
pares (b, b
) ()
() (com b, b
come cando
respectivamente com a ultima letra de a, a
) tais que, se
terminam respectivamente com a, a
e R
b,b
(,
, ) = (
)
ent ao (
+) E
(b, b
).
Sob as hip oteses do lema de recorrencia de escalas sobre K e K
(e usando suas conclus oes), e possvel provar o

Teorema 2.2.2: HD(K+K
) = min{1, HD(K)+HD(K
)}, desde
que K seja um conjunto de Cantor regular de classe C
2
e nao seja
essencialmente am, e K
seja um conjunto de Cantor regular de

classe C
1+
, > 0.
Prova: Veja [M2].
2.3 Comentarios sobre generalizacoes e
problemas em aberto
A extensao dos resultados deste livro para conjuntos de Cantor em
dimensoes superiores a 1 e dicultada pelo fato de que em dimensao
maior que 1, conjuntos de Cantor regulares nao tem geometria limi-
tada, isto e, nao e obvio como estender os espa cos de geometrias li-
mite de modo natural. Entretanto, ha alguma esperan ca de conseguir
provar que proje coes ao longo de folhea coes est aveis fortes de tais con-
juntos contenham conjuntos de Cantor regulares em dimensao menor
e as bras destas proje coes intersectadas com os conjuntos contenham
conjuntos de Cantor com alguma propriedade de auto-semelhan ca, o
col4semg
2011/12/21
page 46
i
i
i
i
i
i
i
i
OES EST

que forneceria ferramentas para atacar os problemas em dimensao
maior com uma estrategia parecida à que utilizamos aqui.
Por outro lado, ha um trabalho em andamento do autor com
M. Viana e J. Palis no sentido de estender para dimensao qualquer
os resultados sobre bifurca coes homoclnicas em dimensao 2. A es-
trategia e obter genericamente folhea coes est avel forte e instavel forte
de codimensoes iguais a 1 num subconjunto grande do conjunto hi-
perbolico em quest ao, e passar ao quociente por elas, reduzindo o
problema essencialmente a estudar interse coes de conjuntos de Can-
tor regulares em dimensao 1.
col4semg
2011/12/21
page 47
i
i
i
i
i
i
i
i
Captulo 3
Os Espectros de Markov
e Lagrange
3.1 Denicoes e enunciados
Seja um n umero irracional. De acordo com o teorema de Dirichlet,
a desigualdade

p
q
<
1
q
2
tem uma innidade de solu coes raci-
onais p/q. Markov e Hurwitz melhoraram este resultado, provando
que, para todo irracional , a desigualdade

p
q
<
1
5 q
2
tem
uma innidade de solu coes racionais, e que
5 e a melhor constante
com esta propriedade: para =
1 +
5
2
, e para qualquer > 0, a
desigualdade

p
q
<
1
(
5 +)q
2
tem apenas um n umero nito de
solu coes (ver apendice). Entretanto, xado irracional, pode-se espe-
rar resultados melhores, o que nos leva a associar a cada a sua cons-
tante de melhor aproxima cao k() = sup{k > 0 |

p
q
<
1
kq
2
tem
uma innidade de solu coes racionais p/q} = limsup
p,qZ
_
|q(qp)|
1
)
R {+}. Nossa discussao inicial mostra que k()
5 para todo
47
col4semg
2011/12/21
page 48
i
i
i
i
i
i
i
i
48 [CAP. 3: OS ESPECTROS DE MARKOV E LAGRANGE
R, e k
_
1 +
5
2
_
=
5. N ao e difcil provar que k() = +

para quase todo R. Estaremos interessados nos R tais que
k() < +, e, mais particularmente, na imagem da fun cao k, isto e,
no conjunto L = {k() | R\Q e k() < +}. Este conjunto e
conhecido como o espectro de Lagrange.
Provamos no apendice uma formula para k(): escrevemos
em fra cao contnua, = [a
0
, a
1
, a
2
, . . . ] e denimos, para n N,
n
= [a
n
, a
n+1
, a
n+2
, . . . ] e
n
= [0, a
n1
, a
n2
, . . . ]. Temos ent ao
k() = limsup
n
(
n
+
n
). Isto e um corolario da Proposi cao A.2
(e do Teorema A.3).
E interessante observar que se mud assemos um pouco as fun coes

envolvidas na deni cao do espectro de Lagrange ele seria um con-
junto bastante trivial: se para f : R R
+
considerarmos o conjunto
k
f
() := sup
_
k > 0 | |
p
q
| <
f(q)
k
tem innitas solu coes racio-
nais p/q
_
ent ao, caso tenhamos lim
q+
q
2
f(q) = 0 ent ao a imagem
de k
f
seria (0, +] (ou [0, +], se consideramos sup() = 0 neste
contexto) e, caso lim
q+
q
2
f(q) = +, ent ao a imagem de k
f
seria
{+}.
O conjunto L encodica uma serie de propriedades diofantinas
de n umeros reais, e vem sendo estudado ha bastante tempo. Tal-
vez o primeiro resultado nao-trivial sobre ele se deva a Markov, que
provou em 1879 (ver [Ma]) que L (, 3) = {k
1
=
5 < k
2
=
2
2 < k
3
=
221
5
< }, onde (k
n
) e uma seq uencia conver-
gente a 3 tal que k
2
n
Q para todo n. Assim, o come co do
espectro de Lagrange e discreto. Essa arma cao nao e verdadeira
para todo o conjunto L. Marshall Hall prova em 1947 ([H]) que L
contem toda uma semi-reta (por exemplo [6, +)), e G. Freiman
determinou em 1975 a maior semi-reta que est a contida em L, que
e
_
4 +
253589820 + 283748
462
491993569
, +
_
. Estes dois ultimos resula-
dos baseam-se fortemente no estudo de somas de conjuntos de Can-
tor regulares, cuja rela cao com o espectro de Lagrange tem origem
na formula que apresentamos para k(), e e o tema principal deste
col4semg
2011/12/21
page 49
i
i
i
i
i
i
i
i
[SEC. 3.1: DEFINIC
OES E ENUNCIADOS 49
captulo. Por exemplo, o resultado que M. Hall enuncia em seu artigo
[H] e o seguinte: se C(4) e o conjunto de Cantor regular dos reais de
[0, 1] em cuja fra cao contnua aparecem apenas os coecientes 1, 2,
3 e 4 ent ao C(4) + C(4) = [
2 1, 4(
2 1)], do qual nao e difcil

deduzir que L [6, +) via a formula para k().
De k() = limsup
n
(
n
+
n
) podemos obter a seguinte caracte-
riza cao do espectro de Lagrange: seja =
_
N
_
N
, o conjunto das
seq uencias bi-innitas de inteiros positivos, e : o shift de-
nido por ((a
n
)
nZ
) = (a
n+1
)
nZ
. Se f : R e denida por
f((a
n
)
nZ
) =
0
+
0
= [a
0
, a
1
, a
2
, . . . ] + [0; a
1
, a
2
, . . . ] ent ao
L = {limsup
n+
f(
n
), }. Outro conjunto de n umeros reais que
sera de nosso interesse e o espectro de Markov M, que e igual a
{ sup
n
f(
n
), }. O espectro de Markov tem a seguinte in-
terpreta cao aritmetica: M = {( inf
(x,y)Z
2
\(0,0)
|f(x, y)|)
1
; f(x, y) =
ax
2
+bxy +cy
2
, b
2
4ac = 1}. Sao fatos conhecidos que L e M s ao
subconjuntos fechados da reta e que L M. Provamos em [M2] os
seguintes resultados, que pretendemos discutir neste captulo:
Teorema 1: Para todo t R, as dimensoes de Hausdor de L
(, t) e de M (, t) s ao iguais. Se denotarmos essas dimensoes
por d(t), temos os seguintes fatos:
i) d: R [0, 1] e contnua e sobrejetiva.
ii) d(t) = min{1, 2 HD(k
1
(, t))}
iii) max{t R | d(t) = 0} = 3
iv) d(
12) = 1
(As arma coes iii) e iv) s ao conseq uencias simples de ii)).
Teorema 2: O conjunto dos pontos de acumula cao de L e perfeito,
isto e, L
= L
.
Teorema 3: 0 < HD(M\L) < 1.
col4semg
2011/12/21
page 50
i
i
i
i
i
i
i
i
Estes teoremas s ao baseados na ideia de aproximar partes de M e
de L por dentro e por fora por somas de conjuntos de Cantor regulares
de dimensoes proximas. A prova do Teorema 1 depende de modo
essencial de um resultado sobre dimensoes de Hausdor de somas
aritmeticas de conjuntos de Cantor regulares, que sera discutido na
proxima se cao, e cuja prova depende do lema de recorrencia de escala
de [MY].
3.2 Dimensoes de Hausdor e somas
aritmeticas de conjuntos de Cantor
de fracoes contnuas
Vimos no captulo anterior que, se K
1
e K
2
s ao conjuntos de Cantor
C
2
que satisfazem as hip oteses do lema de recorrencia de escalas,
ent ao vale a formula HD(K
1
+K
2
) = min{1, HD(K
1
) +HD(K
2
)}.
Iremos aplicar este resultado a conjuntos de Cantor regulares de-
nidos por restri coes da fun cao de Gauss g : (0, 1] (0, 1] denida por
g(x) =
1
x

1
x
(cuja rela cao com fra coes contnuas e evidente) a de-
terminados domnios de Markov (que serao uni oes nitas de intervalos
cujos extremos serao irracionalidades quadr aticas). Para isso, preci-
samos provar que tais conjuntos de Cantor satisfazem as hip oteses
do lema de recorrencia de escalas, isto e, que nao s ao essencialmente
ans.
Observemos inicialmente que qualquer conjunto de Cantor regular
de Gauss (nome que atribuiremos aos conjuntos de Cantor descritos
no par agrafo anterior) contem um conjunto de Cantor completo de
Gauss, nome que atribumos ao seguinte tipo de conjunto de Cantor:
A cada conjunto nito de seq uencias nitas de inteiros positivos B
associamos o conjunto K(B) = {[0;
1
,
2
, . . . ] |
i
B, i N},
que, excetuando os casos triviais onde K(B) e um ponto, e um con-
junto de Cantor regular completo de Gauss. Este fato pode ser pro-
vado do seguinte modo: tomamos duas palavras nitas admissveis
1
= b
1
b
2
. . . b
n
b
1
e
2
= b
1
b
2
b
3
. . .
b
m
b
1
come cando e terminado em b
1
que nao sejam ambas copias m ultiplas do mesmo bloco de smbolos
(aqui os smbolos b
i
s ao inteiros positivos corespondentes a ramos
col4semg
2011/12/21
page 51
i
i
i
i
i
i
i
i
[SEC. 3.2: DIMENS
OES DE HAUSDORFF E SOMAS ARITM
ETICAS 51
1
x
b
i
da fun cao de Gauss g, que aparecem na constru cao do Cantor
regular de Gauss em quest ao K). Se
1
= b
1
b
2
. . . b
n
e
2
= b
1
b
2
. . .
b
m
ent ao o Cantor completo de Gauss K({
1
,
2
}) est a contido em K.
Basta provar agora que nenhum Cantor completo de Gauss e es-
sencialmente am. Observemos que K(B) e denido por :
B
I

I, onde I = [0, 1] e, para cada B, I
= {[0; , ], 1} e
= |
I
e o iterado de g denido por
([0; , ]) = 1/.
Seja x
= [0; , , , . . . ] o ponto xo de
. Se = (b
1
, b
2
, . . . , b
n
)
e p
k
/q
k
= [0; b
1
, b
2
, . . . , b
k
] s ao as reduzidas de [0; ], ent ao
(x) =
q
n1
x p
n1
p
n
q
n
x
, e os pontos xos de
(estendido à reta pela sua

formula) s ao as razes de q
n
x
2
+ (q
n1
p
n
)x p
n1
= 0 (ver Se cao
3 do Apendice).
Existe um difeomorsmo
: I I tal que
(x
) = x
(x
) =
1 e
e am. Alem disso, podemos tomar um tal
da forma
(x) =
a
x +b
x +d
(isto e um exerccio sobre triangula-

riza cao de matrizes...). N ao ha perda de generalidade em supor que
B contem dois elementos de do mesmo tamanho (i.e., com o
mesmo n umero de smbolos), pois, se nao for esse o caso, podemos
considerar etapas mais avan cada da constru cao de K(B) onde hja
tais elementos.

E suciente agora mostrar que se
e am
e tem o mesmo n umero de elementos que ent ao = , pois
isso implicaria que
nao e am, donde e uma trans-

forma cao da forma
Ax +B
Cx +D
, cuja derivada segunda e zero apenas
num conjunto nito, ou seja,
tem uma componente

am (a de
), e outra componente cuja derivada segunda e nao-

nula em muitos pontos de K(B) (a de
), o que implica que K(B)

nao e essencialmente am. Se
e am ent ao e um
ponto xo comum de
, e portanto
1
() e
ponto xo comum de
(x) =
q
n1
x p
n1
p
n
q
n
x
e
=
q
n1
x p
n1
p
n
q
n
x
,
donde e raiz comum dos polin omios q
n
x
2
+ (q
n1
p
n
)x p
n1
e
q
n
x
2
+ ( q
n1
p
n
)x p
n1
, donde esses dois polin omios s ao iguais
(pois s ao irredutveis em Z[x]), donde suas outras razes coincidem,
col4semg
2011/12/21
page 52
i
i
i
i
i
i
i
i
ou seja, x
= x
e portanto = .
Provamos assim o seguinte resultado:
Proposi cao 3.2.1: Se K
1
e K
2
s ao conjuntos de Cantor regulares de
Gauss ent ao HD(K
1
+K
2
) = min{1, HD(K
1
) +HD(K
2
)}.
Outro fato importante na prova de nossos resultados sobre di-
mensoes de Hausdor de partes dos espectros de Markov e Lagrange
sera discutido a seguir:
Deni cao: Se = (b
1
, b
2
, . . . , b
n
) ent ao
t
= (b
n
, b
n1
, . . . , b
2
, b
1
), e
se B e um conjunto de seq uencias nitas ent ao B
t
= {
t
, B}.
Se q
n
() e o denominador da fra cao contnua [0; ] = [0, b
1
, . . . , b
n
]
ent ao q
n
() = q
n
(
t
). Este e um fator ja conhecido por Euler, e uma
boa referencia sobre sua prova (que tambem pode ser considerada
como um exerccio para o leitor) est a no apendice 2 de [CF]. Como
conseq uencia deste restulado e do fato de que os comprimentos dos in-
tervalos da constru cao de um conjunto de Cantor completo de Gauss
dependerem essencialmente dos denominadores das fra coes contnuas
nitas envolvidas, prova-se a seguinte
Proposi cao: HD(K(B)) = HD(K(B
t
)) para todo conjunto nito
B de seq uencias nitas de inteiros positivos.
Corolario: HD(K(B)+K(B
t
)) = min{1, 2 HD(K(B))}.
3.3 Ideias das demonstra coes dos resulta-
dos sobre os espectros
Seja = Z
Z
+
, : R denida por () = limsup
n
(
n
+
n
), onde,
se = (a
k
)
kZ
ent ao
n
= [a
n
; a
n+1
, a
n+2
, . . . ] e
n
= [0; a
n1
, a
n2
, . . . ]
e m: R denida por m() = sup
nZ
(
n
+
n
). Ent ao, como
observamos no incio deste captulo, o espectro de Lagrange e o
conjunto L = {(), } e o espectro de Markov e o conjunto
M = {m(), }.
col4semg
2011/12/21
page 53
i
i
i
i
i
i
i
i
[SEC. 3.3: ID
EIAS DAS DEMONSTRAC
OES DOS RESULTADOS 53

A prova dos resultados sobre a fun cao d(t) baseia-se, como men-
cionamos no incio deste captulo, no fato de que podemos aproxi-
mar por dentro e por fora peda cos dos espectros de Markov e La-
grange por somas de conjuntos de Cantor regulares de Gauss com
dimensoes de Hausdor proximas (em geral essas somas serao do
tipo K(B) + K(B
t
), e usaremos a proposi cao acima). A principal
ferramenta que usaremos na constru cao de tais aproxima coes sera o
seguinte lema tecnico, cuja prova (assim como os detalhes da prova
dos teoremas deste captulo) se encontra em [M2]:
Lema: Para cada t > 0 e > 0, seja (t) = { | m() t},
e seja N
(t) o n umero de seq uencias nitas tais que o intervalo

I() = {x [0, 1] | x = [0; , y], y 1} tem comprimento maior ou
igual a e aparece como subseq uencia de algum elemento de (t).
Denimos D(t) = lim
0
log N
(t)
log
(o limite existe pois existe C > 0
tal que N
(t) C N
(t)N
(t), , > 0). Ent ao, dado > 0 existe

> 0 e um shift completo

(t ) com HD(
+
, d) D(t) ,
onde
+
= Z
Z
+
,

+
=

+
, e d:
+

+
R e a distancia
denida por d(,
) = |I(
)|.
A ideia da prova de que L
= L
e criar conjuntos de Cantor

regulares de Gauss usando seq uencias nitas que aparecem innitas
vezes nas fra coes contnuas das preimagem por k de uma seq uencia
convergente de pontos de L. A imagem por k do Cantor de Gauss
gerado por, digamos, duas seq uencias dessas fornecera um conjunto
de Cantor contido em L proximo ao limite da tal seq uencia. Aumen-
tando o comprimento das seq uencias nitas consideradas obtemos o
resultado.
Para estudar o complementar do espectro de Lagrange em rela cao
ao espectro de Markov, primeiro mostramos que M\L contem con-
juntos de Cantor regulares proximos a
= [2; 1, 1, 2, 2, 2, 1, 2] +
[0; 1, 2, 2, 2, 1, 1, 2, 1, 2]

= 3, 293044265 . . . , que Freiman provou ser
um ponto de acumula cao de M\L (ver Captulo 3 de [CF]) (as bar-
ras superiores indicam perodo nas fra coes contnuas pre-peri odicas
acima), com um argumento semelhante à prova de L
= L
. A prova
de HD(M\L) < 1 e mais tecnica e delicada, e depende da analise
de restri coes à seq uencias nitas que podem aparecer nas fra coes
col4semg
2011/12/21
page 54
i
i
i
i
i
i
i
i
contnuas de elementos de conjuntos de Cantor cuja imagem por k
esteja contida em M\L. Veja [M2] para detalhes.
3.4 Espectros de Markov e Lagrange dina-
micos
As caracteriza coes em termos de shift e das fun coes e m dos es-
pectros de Markov e Lagrange admitem uma generaliza cao natural
no contexto de din amica hiperbolica: seja : M
2
M
2
um difeo-
morsmo, M
2
um conjunto hiperbolico para e f : M
2
R
uma fun cao real de classe C
2
. Podemos denir espectros de Markov e
Lagrange din amicos associados ao par (f, ) como segue: L(f, ) =
{limsup
n+
f(
n
(x)), x } e M(f, ) = {sup
nZ
f(
n
(x)), x }.

E
possvel provar de um modo analogo ao que descrevemos neste captulo
que para conjuntos abertos de (f, ) (que contem abertos densos de
{(f, ) | preserva area } a fun cao d(t) = d
f,
(t) = HD(L(f, )
(, t)) coincide com HD(M(f, )(, t)), e contnua e sua ima-
gem e o intervalo [0, min{1, HD()}]. Genericamente, nesses casos,
o ponto t
1
= inf{t R | d(t) = 1} pertence ao fecho do interior de
L(f, ) M(f, ).
Vale notar que o resultado nao e verdade em geral para dissipa-
tivo, pois ha conjuntos abertos de contraexemplos onde d(t) tem um
n umero nito de descontinuidades, e sua imagem e uma uni ao nita
de intervalos nao-degenerados.
As demonstra coes desses ultimos resultados aparecerao em [M3].
col4semg
2011/12/21
page 55
i
i
i
i
i
i
i
i
Apendice
Fra coes Contnuas, Representa coes de N umeros e
Aproximacoes
(Publicado na revista Eureka! n
o
3)
Introdu cao
A teoria de fra coes contnuas e um dos mais belos temas da ma-
tematica elementar, sendo ainda hoje assunto de pesquisa recente
(incluindo a do autor destas linhas). O objetivo deste artigo e servir
como referencia did atica em portugues a nvel secundario sobre o
assunto.
Nas inclusoes N Z Q R a passagem de Q para R e sem
d uvida a mais complicada conceitualmente, e a representa cao de um
n umero real est a diretamente ligada à propria no cao de n umero real.
De fato, o conceito de n umero natural e quase um conceito pri-
mitivo no ensino secundario. Ja um n umero inteiro e um n umero
natural com um sinal que pode ser + ou , e um n umero racional
e a raz ao entre um n umero inteiro e um natural nao nulo. Por outro
lado, dizer o que e um n umero real e tarefa bem mais complicada,
mas ha coisas que podemos dizer sobre eles. Uma propriedade es-
sencial de R e que todo n umero real pode ser bem aproximado por
n umeros racionais. Efetivamente, dado x R, existe k Z (k = [x])
tal que 0 x k < 1. Podemos escrever a representa cao decimal de
x k = 0, a
1
a
2
. . . a
n
. . . , a
i
{0, 1, . . . , 9}, o que signica que se
r
n
= a
n
+ 10 a
n1
+ 100 a
n2
+ + 10
n1
a
1
, ent ao
r
n
10
n

xk <
r
n
+ 1
10
n
, e portanto k +
r
n
10
n
e uma boa aproxima cao racional
de x, no sentido que o erro
x
_
k +
r
n
10
n
_
e menor que
1
10
n
, que e
col4semg
2011/12/21
page 56
i
i
i
i
i
i
i
i
56 Ap endice: Frac oes Contnuas, Representac oes de N umeros e Aproximac oes
um n umero bem pequeno se n for grande. A representa cao decimal
de um n umero real fornece pois uma seq uencia de aproxima coes por
racionais cujos denominadores s ao potencias de 10.
Dado qualquer x R e q natural nao nulo existe p Z tal que
p
q
x <
p + 1
q
, e portanto
x
p
q
<
1
q
e
x
p + 1
q

1
q
. Em
particular ha aproxima coes de x por racionais com denominador q
com erro menor que
1
q
. A representa cao decimal de x equivale a dar
essas aproxima coes para os denominadores q que s ao potencias de
10, e tem meritos como sua praticidade para efetuar calculos que a
fazem a mais popular das representa coes dos n umeros reais. Por outro
lado, envolve a escolha arbitraria da base 10, e oculta freq uentemente
aproxima coes racionais de x muito mais ecientes do que as que exibe.
Por exemplo,

22
7
<
1
700
<

314
100

355
113
<
1
3000000
<

3141592
1000000
mostram que
22
7
e
355
113
s ao melhores aproxima coes de que apro-
xima coes decimais com denominadores muito maiores, e de fato s ao
aproxima coes muito mais espetaculares do que se podia esperar.
O objetivo deste artigo e apresentar uma outra maneira de re-
presentar n umeros reais, que sempre fornece aproxima coes racionais
surpreendentemente boas, e de fato fornece todas essas aproxima coes
excepcionalmente boas, alem de ser natural e conceitualmente sim-
ples: a representa cao por fra coes contnuas.
Dado x R, denimos [x] como o unico inteiro tal que [x] x <
[x] + 1. Denimos recursivamente
0
= x, a
n
= [
n
], e, se
n
Z,
n+1
=
1
n
a
n
,
para todo n N. Se, para algum n,
n
= a
n
temos
x =
0
= a
0
+
1
a
1
+
1
a
2
++
1
a
n
=: [a
0
; a
1
, a
2
, . . . , a
n
].
Senao denotamos
x = a
0
+
1
a
1
+
1
a
2
+...
=: [a
0
; a
1
, a
2
, . . . ].
col4semg
2011/12/21
page 57
i
i
i
i
i
i
i
i
Ap endice: Frac oes Contnuas, Representac oes de N umeros e Aproximac oes 57
O sentido dessa ultima nota cao cara claro mais tarde. A repre-
senta cao acima se chama a representa cao por fra coes contnuas de x.
Curiosidade: O denominador da n-esima aproxima cao em base B
de um n umero real e B
n
. Ja o denominador q
n
da n-esima apro-
xima cao por fra cao contnua de x depende de x. Apesar disso, para
quase todo real x,
n
q
n
converge a e
2
/12 ln 2
= 3, 27582291872 . . .
(meu n umero real preferido!) e
n
x
p
n
q
n
converge a e
2
/6 ln 2
=
0, 093187822954 . . . .
Observa cao: Os
n
(como fun coes de x) s ao fun coes distintas do
tipo
ax +b
cx +d
coma, b, c, d inteiros. Se a fra cao contnua de x e peri odica,
ou seja, se
n+k
=
n
, n N, k N
, ent ao x sera raiz de uma

equa cao do segundo grau com coecientes inteiros, ou seja, sera um
irracional da forma r +

s, r, s Q. A recproca e verdadeira (de
fato ja foi enunciada no artigo de Jose Paulo Carneiro na RPM,
ver referencias), mas sua prova e mais difcil, e sera apresentada no
Apendice.
Se x Q, sua representa cao sera nita, e seus coecientes a
n
vem
do algoritmo de Euclides:
x =
p
q
, q > 0 p = a
0
q +r
0
0 r
0
< q
q = a
1
r
0
+r
1
0 r
1
< r
0
r
0
= a
2
r
1
+r
2
0 r
2
< r
1
.
.
.
.
.
.
r
n2
= a
n
r
n1
Isso ja e uma vantagem da representa cao por fra coes contnuas
(alem de nao depender de escolhas articiais de base), pois o reco-
col4semg
2011/12/21
page 58
i
i
i
i
i
i
i
i
nhecimento de racionais e mais simples que na representa cao decimal.
Se cao 1: Reduzidas e boas aproxima coes.
Seja x = [a
0
; a
1
, a
2
, . . . ]. Sejam p
n
Z, q
n
N
primos entre si
tais que
p
n
q
n
= [a
0
; a
1
, a
2
, . . . , a
n
], n 0. O seguinte resultado sera
fundamental no que seguira.
Proposi cao: (p
n
) e (q
n
) satisfazem a recorrencia p
n+2
= a
n+2
p
n+1
+
p
n
, e q
n+2
= a
n+2
q
n+1
+ q
n
, para todo n 0. Temos ainda
p
0
= a
0
, p
1
= a
0
a
1
+ 1, q
0
= 1, q
1
= a
1
. Alem disso,
p
n+1
q
n
p
n
q
n+1
= (1)
n
, n 0.
Prova: Por indu cao em n, provaremos que se t
k
> 0, para k > 1
ent ao [t
0
; t
1
, t
2
, . . . , t
n
] =
x
k
y
k
onde as seq uencias (x
m
) e (y
m
) s ao de-
nidas por x
0
= t
0
, y
0
= 1, x
1
= t
0
t
1
+ 1, y
1
= t
0
x
n+2
=
t
n+2
x
n+1
+ x
n
, y
n+2
= t
n+2
y
n+1
+ y
n
, n. Suponha que a
arma cao seja v alida para k = n. Para k = n + 1 temos
[t
0
; t
1
, t
2
, . . . , t
n
, t
n+1
] = [t
0
; t
1
, t
2
, . . . , t
n
+
1
t
n+1
] =
=
_
t
n
+
1
t
n+1
_
x
n1
+x
n2
_
t
n
+
1
t
n+1
_
y
n1
+y
n2
=
t
n+1
(t
n
x
n1
+x
n2
) +x
n1
t
n+1
(t
n
y
n1
+y
n2
) +y
n1
=
=
t
n+1
x
n
+x
n1
t
n+1
y
n
+y
n1
Por outro lado as igualdades

p
1
q
0
p
0
q
1
= (a
0
a
1
+ 1) a
0
a
1
= 1
p
n+2
q
n+1
p
n+1
q
n+2
= (a
n+2
p
n+1
+p
n
)q
n+1
(a
n+2
q
n+1
+q
n
)p
n+1
= (p
n+1
q
n
p
n
q
n+1
)
col4semg
2011/12/21
page 59
i
i
i
i
i
i
i
i
mostram que p
n+1
q
n
p
n
q
n+1
= (1)
n
, n N, o que implica em
particular que os p
n
, q
n
dados pelas recorrencias acima s ao primos
entre si.
Corolario: x =

n
p
n1
+p
n2
n
q
n1
+q
n2
e
n
=
p
n2
q
n2
q
n1
p
n1
, n N.
Prova: A primeira igualdade e conseq uencia direta da prova, e a
segunda e direta da primeira pois x = [a
0
; a
1
, a
2
, . . . , a
n1
,
n
].
Note que as reduzidas de ordem par s ao menores e as de ordem
mpar maiores que x = [a
0
; a
1
, . . . ].
Teorema 1:
x
p
n
q
n

1
q
n
q
n+1
<
1
q
2
n
, n N.
Alem disso,
x
p
n
q
n
<
1
2q
2
n
ou
x
p
n+1
q
n+1
<
1
2q
2
n+1
, n N.
Prova: x sempre pertence ao segmento de extremos
p
n
q
n
e
p
n+1
q
n+1
cujo
comprimento e
p
n+1
q
n+1
p
n
q
n
(1)
n
q
n
q
n+1
=
1
q
n
q
n+1
x
p
n
q
n

1
q
n
q
n+1
<
1
q
2
n
Alem disso, se
x
p
n
q
n

1
2q
2
n
e
x
p
n+1
q
n+1
>
1
2q
2
n+1
,
ent ao
1
q
n
q
n+1
=
x
p
n
q
n
x
p
n+1
q
n+1

1
2q
2
n
+
1
2q
2
n+1
q
n+1
= q
n
,
absurdo.
Observa cao: De fato
x
p
n
q
n
<
1
q
n
q
n+1
<
1
a
n+1
q
2
n
. Quanto maior
for a
n+1
melhor sera a aproxima cao
p
n
q
n
de x. O proximo resultado
col4semg
2011/12/21
page 60
i
i
i
i
i
i
i
i
nos da explicitamente o erro da aproxima cao de x por
p
n
q
n
.
Proposi cao:
x
p
n
q
n
=
(1)
n
(
n+1
+
n+1
)q
2
n
,
onde
n+1
=
q
n1
q
n
= [0; a
n
, a
n1
, a
n2
, . . . , a
1
].
Demonstra cao: Temos
n+1
=
p
n1
q
n1
x
q
n
x p
n
. Portanto,
n+1
+
n+1
=
p
n1
q
n1
x
q
n
x p
n
+
q
n1
q
n
=
p
n1
q
n
p
n
q
n1
q
n
(q
n
x p
n
)
=
(1)
n
q
n
(q
n
x p
n
)
x
p
n
q
n
=
=
q
n
(q
n
x p
n
)
q
2
n
(1)
n
(
n+1
+
n+1
)q
2
n
.
Como aplica cao podemos provar o seguinte.
Teorema (Hurwitz, Markov). Para todo irracional, n 1 temos

p
q
<
1
5q
2
para pelo menos um racional
p
q

_
p
n1
q
n1
,
p
n
q
n
,
p
n+1
q
n+1
_
.
Em particular

p
q
<
1
5q
2
tem innitas solu coes racionais p/q.
Demonstra cao: Suponha que o teorema seja falso. Ent ao existe
irracional, n 1 com
n
+
n

5,
n+1
+
n+1

5 e
n+2
+
n+2
5. Devemos portanto ter a
n
= a
n+1
= a
n+2
= 1 (todos
s ao claramente no maximo 2, e se algum a
k
e igual a 2 com k
{n, n + 1, n + 2}, teramos a
k
+
k
2 +
1
3
>
5, absurdo.)
Seja x = 1/
n+2
e y =
n+1
. As desigualdades acima se traduzem
em
1
1 +x
+
1
y

5, 1 +x +y
5 e e
1
x
+
1
1 +y

5.
col4semg
2011/12/21
page 61
i
i
i
i
i
i
i
i
Temos
1+x+y
5 1+x
5y
1
1 +x
+
1
y

1
5 y
+
1
y
=
5
y(
5 y)
e portanto y(
5 y) 1 y
5 1
2
Por outro lado temos
x
51y
1
x
+
1
1 + 4

1
5 1 y
+
1
1 + 4
=
5
(1 +y)(
5 1 y)
e portanto (1+4)(
51y) 1 y
5 1
2
, e portanto devemos
ter y =
5 1
2
, o que e absurdo pois y =
n+1
=
q
n=1
q
n
Q.
Observa cao: Em particular provamos que

p
q
<
1
5q
2
tem
innitas solu coes racionais
p
q
, para todo irracional.
5 e o maior
n umero com essa propriedade. De fato, se
> 0, =
1 +
5
2
e

p
q
<
1
(
5 +)q
2
,
temos

q
_
1 +
5
2
_
p
<
1
(
5 +)q
q
_
1 +
5
2
_
p
q
_
1
5
2
_
p
<
5
2

p
q
5 +
,
ou seja,
|p
2
pq q
2
| <
1 +
5
2

p
q

_
(
5 +).
Se q e grande, 1/q
2
e pequeno, e
1 +
5
2

p
q
e muito proximo de 0,
donde
col4semg
2011/12/21
page 62
i
i
i
i
i
i
i
i
1 +
5
2

p
q

_
(
5 +) e muito proximo de
5 +
< 1, ab-
surdo, pois |p
2
pq q
2
| 1 (de fato p
2
pq q
2
e um inteiro nao
nulo, pois se p
2
pq q
2
= 0 teramos
_
p
q
_
2
_
p
q
_
1 = 0
p
q

_
1 +
5
2
,
1
5
2
_
,
absurdo, pois
p
q
Q.)
Outra maneira de ver que, para todo > 0,
1 +
5
2

p
q
<
1
(
5 +)q
2
tem apenas um n umero nito de solu coes
p
q
Z e observar que as
melhores aproxima coes racionais de
1 +
5
2
s ao as reduzidas
p
n
q
n
de
sua fra cao contnua [1, 1, 1, 1, . . . ] (ver se cao 2 e exemplos), para as
quais temos
1 +
5
2

p
n
q
n
=
1
(
n+1
+
n+1
q
2
n
, com
n+1
+
n+1
se
aproximando cada vez mais de
[1; 1, 1, 1, . . . ] + [0; 1.1.1. . . . ] =
1 +
5
2
+
5 1
2
=
5.
Exemplos:
= [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, . . . ], portanto
p
0
q
0
= 3,
p
1
q
1
=
22
7
,
p
2
q
2
=
333
106
,
p
3
q
3
=
355
113
. . .
e = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, . . . , 1, 1, 2n, . . . ], (isso nao e facil
de provar.)
2 = [1; 2, 2, 2, . . . ] pois
2 = 1 +
1
2 + 1
= 1 +
1
2 +
1
2+1
= 1 +
1
2 +
1
2+
1
2+1
=
col4semg
2011/12/21
page 63
i
i
i
i
i
i
i
i
1 +
5
2
= [1; 1, 1, 1, . . . ] pois
1 +
5
2
= 1 +
1
1
+
52
=
= 1 +
1
1 +
1
1
+
52
=
Isto prova em particular que
2 e
1 +
5
2
s ao irracionais, pois
sua fra cao contnua e innita.
Se cao 2: Boas aproxima coes sao reduzidas.
O proximo teorema (e seu Corolario 2) caracteriza as reduzidas
em termo do erro reduzido da aproxima cao de x por p/q, o qual e,
por deni cao, a raz ao entre |xp/q| e o erro maximo da aproxima cao
por falta com denominador q, que e 1/q. Assim, o erro reduzido da
aproxima cao de x por p/q e |qx p|.
Teorema 2: |q
n
xp
n
| < |qxp|, p, q Z, 0 < q < q
n
p
q
=
p
n
q
n
.
Alem disso, |q
n
x p
n
| |qx p|, p, q Z, 0 < q < q
n+1
.
Prova:
p
q

p
n
q
n

1
qq
n
>
1
q
n
q
n+1
se q < q
n+1
, e assim
p
q
est a fora
do intervalo
_
p
n
q
n
,
p
n+1
q
n+1
_
. Portanto
x
p
q
min
_
p
q

p
n
q
n
p
q

p
n+1
q
n+1
_

1
qq
n+1
|qx p|
1
q
n+1
|q
n
x p
n
|.
Alem disso, se vale a igualdade, ent ao x =
p
n+1
q
n+1
, donde a
n+1
2, e
q
n+1
> 2q
n
, pois numa fra cao contnua nita, como no algoritmo de
Euclides, o ultimo coeciente a
n
e sempre maior que 1. Nesse caso,
col4semg
2011/12/21
page 64
i
i
i
i
i
i
i
i
se q < q
n
, teremos
x
p
q
x
p
n
q
n
p
n+1
q
n+1
p
n
q
n

1
qq
n
1
q
n
q
n+1
=
q
n+1
q
qq
n
q
n+1
>
1
qq
n+1
|qx p| >
1
q
n+1
|q
n
x p
n
|.
Corolario 1:
x
p
n
q
n
<
x
p
q
, q < q
n
.
Corolario 2: Se |qx p| < |q
x p
|, q
q,
p
q
=
q
ent ao p/q e
uma reduzida da fra cao contnua de x.
Prova: Tome n tal que q
n
q < q
n+1
.
Teremos |q
n
x p
n
| |qx p|, e portanto p/q = p
n
/q
n
.
Teorema 3: Se
x
p
q
<
1
2q
2
ent ao
p
q
e uma reduzida da fra cao
contnua de x.
Prova: Seja n tal que q
n
< q q
n+1
. Suponha que
p
q
=
p
n+1
q
n+1
.
Ent ao, temos duas possibilidades:
a) q
q
n+1
2

x
p
q

1
qq
n+1
1
2q
2
.
b) q <
q
n+1
2
q
n+1
> 2q
n

x
p
q
p
n
q
n
p
q
p
nm
q
nm
p
n
q
n

1
qq
n
1
q
n
q
n+1
=
q
n+1
q
qq
n
q
n+1
>
1
2qq
n
>
1
2q
2
.
Exemplos:
= [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, . . . ], portanto
p
0
q
0
=
3,
p
1
q
1
=
22
7
,
p
2
q
2
=
333
106
,
p
3
q
3
=
355
113
, . . .
col4semg
2011/12/21
page 65
i
i
i
i
i
i
i
i
e = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, . . . , 1, 1, 2n, . . . ] (isso nao e
facil de provar).
2 = [1; 2, 2, 2, . . . ] pois
2 = 1 +
1
2 + 1
= 1 +
1
2 +
1
2+1
= 1 +
1
2 +
1
2+
1
2+1
=
1+
5
2
= [1; 1, 1, 1, . . . ] pois
1 +
5
2
= 1 +
1
1+
5
2
= 1 +
1
1 +
1
1+
5
2
=
Isso prova em particular que
2 e
1+
5
2
s ao irracionais pois sua
fra cao contnua e innita.
Se cao 3: Fra coes contnuas peri odicas
Nesta se cao provaremos que os n umeros reais com fra cao contnua
peri odica s ao exatamente as razes de equa coes do segundo grau com
coecientes inteiros.
Lembramos que na representa cao de x por fra cao contnua, a
n
,
n
s ao denidos por recurs ao por
0
= x, a
n
= [
n
],
n+1
=
1
n
a
n
E temos
n
=
p
n2
q
n2
x
q
n1
x p
n1
, n N.
Isso da uma prova explcita do fato de que se a fra cao contnua de
x e peri odica, ent ao x e raiz de uma equa cao do segundo grau com
coecientes inteiros. De fato, se
n+k
=
n
, n N, k N
ent ao
p
n2
q
n2
x
q
n1
x p
n1
=
p
n+k2
q
n+k2
x
q
n+k1
x p
n+k1
(q
n1
q
n+k2
q
n2
q
n+k1
)x
2
+ (p
n+k1
q
n2
+p
n2
q
n+k1
p
n+k2
q
n1
p
n1
q
n+k2
)x
+p
n1
p
n+k2
p
n2
p
n+k1
= 0.
col4semg
2011/12/21
page 66
i
i
i
i
i
i
i
i
Note que o coeciente de x
2
e nao-nulo, pois
q
n1
q
n2
e uma fra cao
irredutvel (de fato p
n1
q
n2
p
n2
q
n1
= (1)
n
) de denominador
q
n2
e
q
n+k1
q
n+k2
e uma fra cao irredutivel de denominador q
n+k2
>
q
n2
, donde
q
n1
q
n2
=
q
n+k1
q
n+k2
q
n1
q
n+k2
q
n2
q
n+k1
= 0.
Vamos provar agora um resultado devido a Lagrange segundo o
qual se x e uma irracionalidade quadr atica, isto e, se x e um irracional
do tipo r+
s, r, s Q, s > 0 ent ao a fra cao contnua de x e peri odica,

i.e., existem n N, k N
com
n+k
=
n
. Neste caso, existem a,
b, c inteiros tais que ax
2
+bx +c = 0, com b
2
4ac > 0 e
b
2
4ac
irracional. Como vimos na se cao 1,
x =
p
n1
n
+p
n2
q
n1
n
+q
n2
,
e portanto
ax
2
+bx +c = 0 a
_
p
n1
n
+p
n2
q
n1
n
+q
n2
_
2
+b
_
p
n1
n
+p
n2
q
n1
n
+q
n2
_
+c = 0
A
n
2
n
+B
n
n
+C
n
= 0,
onde
A
n
= a p
2
n1
+b p
n1
q
n1
+c q
2
n1
B
n
= 2a p
n1
p
n2
+b(p
n1
q
n2
+p
n2
q
n1
) + 2c q
n1
q
n2
C
n
= a p
2
n2
+b p
n2
q
n2
+c q
2
n2
.
Note que C
n
= A
n1
. Vamos provar que existe M > 0 tal que
0 < |A
n
| M para todo n N, e portanto 0 < |C
n
| M, n N:
A
n
= a p
2
n1
+b p
n1
q
n1
+c q
2
n1
= a q
2
n1
_
x
p
n1
q
n1
__
x
p
n1
q
n1
_
,
onde x e x s ao as razes de a, X
2
+b X +c = 0, mas
x
p
n1
q
n1
<
1
q
2
n1
1 |A
n
| = a q
2
n1
x
p
n1
q
n1
x
p
n1
q
n1
a
_
| x x| +
x
p
n1
q
n1
_
a(| x x| + 1) =: M.
col4semg
2011/12/21
page 67
i
i
i
i
i
i
i
i
Notemos agora que B
2
n
4A
n
C
n
= b
2
4ac, n N. De fato,
B
2
n
4A
n
C
n
= (p
n1
q
n2
p
n2
q
n1
)
2
(b
2
4ac) = b
2
4ac. Por-
tanto, B
2
n
4A
n
C
n
+ b
2
4ac = 4M
2
+ b
2
4ac B
n
M
4M
2
+b
2
4ac, n N.
Provamos assim que A
n
, B
n
e C
n
est ao uniformemente limitados,
donde ha apenas um n umero nito de possveis equa coes A
n
X
2
+
B
n
X +C
n
= 0, e portanto de possveis valores de
n
. Assim, neces-
sariamente
n+k
=
n
para alguma escolha de n N, k N
.
Referencias
N. Beskin - Fra coes contnuas - Inicia cao à Matem atica - Editora
Mir.
Jose Paulo Q. Carneiro - Um processo nito para a raiz qua-
drada - RPM 34, 1997, pp. 3644.
C.D. Olds - Continued Fractions - New Mathematical Library
- Random House.
A.M. Rockett, P. Sz usz - Continued Fractions - World Scientic.
col4semg
2011/12/21
page 68
i
i
i
i
i
i
i
i
68 Referencias
REFER
ENCIAS
[BPMV] R. Bam on, S. Plaza, C.G. Moreira and J. Vera, Dierentiable
structures of central Cantor sets, Ergod. Th. and Dynam.
Syst. 17 (1997), pp. 10271042.
[BPV] R. Bam on, S. Plaza and J. Vera, On Central Cantor Sets with
self-arithmetic dierence of positive Lebesgue measure, J. Lon-
don Math. Soc. 51 (1995), pp. 137146.
[CF] T.W. Cusick and M.E. Flahive, The Marko and Lagrange
spectra, Math. Surveys and Monographs, no. 30, A.M.S.
(1989).
[F] G.A. Freiman, Diophantine approximation and geometry of num-
bers (The Marko spectrum), Kalininskii Gosudarstvennyi Uni-
versitet, Moscow, 1975.
[H] M. Hall, On the sum and product of continued fractions, An-
nals of Math., Vol. 48, (1947), pp. 966993.
[L] Larsson, Per, Lensemble dierence de deux ensembles de Can-
tor aleatoires, C.R. Acad. Sci. Paris Ser. I Math. 310 (1990),
no. 10, 735738.
[M] C.G. Moreira, Stable intersections of Cantor sets and homocli-
nic bifurcations, Ann. Inst. H. Poincare Anal. Non Lineaire 13
(1996), no. 6, pp. 741781.
[M2] C.G. Moreira, Geometric properties of the Markov and La-
grange spectra. Preprint- IMPA.
[M3] C.G. Moreira, Geometric properties of dynamical spectra. To
appear
[MY] C. G. Moreira and J.-C. Yoccoz, Stable intersections of regular
Cantor sets with large Hausdor dimensions, Annals of Math.,
154 (2001), 45-96.
[MY2] C. G. Moreira and J.-C. Yoccoz, Tangences homoclines stables
pour des ensembles hyperboliques de grande dimension fractale,
Annales Sci. de lEcole Norm. Sup, 43, fascicule 1 (2010), 1-68.
col4semg
2011/12/21
page 69
i
i
i
i
i
i
i
i
Refer encias 69
[Ma] A. Marko, A new sequence of minima in the geometry of
numbers, Math. Ann. 15 (1879), 381406.
[MO] P. Mendes and F. Oliveira, On the topological structure of the
arithmetic sum of two Cantor sets, Nonlinearity, Vol. 7, (1994),
pp. 329343.
[N1] S. Newhouse, Non density of Axiom A(a) on S
2
, Proc. A.M.S.
Symp. Pure Math., Vol. 14, (1970), pp. 191202.
[N2] S. Newhouse, Dieomorphisms with innitely many sinks, To-
pology, Vol. 13, (1974), pp. 918.
[N3] S. Newhouse, The abundance of wild hyperbolic sets and nons-
mooth stable sets for dieomorphisms, Publ. Math. IHES, Vol.
50, (1979), pp. 101151.
[P] J. Palis, Homoclinic orbits, hyperbolic dynamics and fractio-
nal dimension of Cantor sets, Contemporary Mathematics 58,
(1987), pp. 203216.
[P1] J. Palis, Homoclinic bifurcations, sensitive chaotic dynamics
and strange attractors, Dynamical Syst. and Related Topics.
World Scientic, (1991), pp. 466-473.
[PT] J. Palis and F. Takens, Cycles and measure of bifurcation sets
for two-dimensional dieomorphisms, Invent. Math., Vol. 82,
(1985), pp. 379442.
[PT1] J. Palis and F. Takens, Hyperbolicity and the creation of homo-
clinic orbits, Annals of Math., Vol. 125, (1987), pp. 337374.
[PT2] J. Palis and F. Takens, Hyperbolicity and sensitive chaotic
dynamics at homoclinic bifurcations: fractal dimensions and
innitely many attractors, Cambridge Univ. Press, 1992.
[PY] J. Palis and J.C. Yoccoz, Homoclinic Tangencies for Hyperbolic
sets of large Hausdor Dimension Bifurcations, Acta Mathema-
tica, Vol. 172, (1994), pp. 91136.
[PY1] J. Palis and J.C. Yoccoz, On the arithmetic sum of regular
Cantor sets, Ann. Inst. H. Poincare Anal. Non Lineaire 14
(1997), pp. 439456.
col4semg
2011/12/21
page 70
i
i
i
i
i
i
i
i
70 Referencias
[S] A. Sannami, An example of a regular Cantor set whose die-
rence set is a Cantor set with positive measure, Hokkaido Math.
Journal, Vol. XXI (I), (1992), pp. 723.
[Su] D. Sullivan, Dierentiable structures on fractal-like sets, deter-
mined by intrinsic scaling functions on dual Cantor sets, The
mathematical heritage of Hermann Weyl (Durham, NC, 1987),
15223, Proc. Sympos. Pure Math. 48, Amer. Math. Soc.,
Providence, RI, (1988).
Carlos Gustavo T. de A. Moreira, Instituto de Matem atica Pura e
Aplicada IMPA, Est. D. Castorina 110, 22460-320 Rio de Janeiro,
Brasil
e-mail: gugu@impa.br

PM - 06 Conjuntos de Cantor Dinamica e Aritmetica

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

PM - 06 Conjuntos de Cantor Dinamica e Aritmetica

Diunggah oleh

Hak Cipta:

Format Tersedia

Conjuntos de Cantor, Dinmica

(x)| > 1 para todo

AO LIMITADA E GEOMETRIAS LIMITE 9

(n) para todo n N.

(t)| > para todo t no domnio de

, existe C > 0 tal que

para s, t no domnio de Markov,

(n) da n-esima etapa da constru cao de K ent ao

AO LIMITADA E GEOMETRIAS LIMITE 11

para todo < r. A convergencia e uniforme

s ao conjuntos de Cantor regulares t ao diferenciaveis

(U), onde U denota uma cobertura nita de X e ||U|| =

(X) = 0. Esse n umero h e, por deni cao, a dimens ao de

E possvel provar que a dimensao de Hausdor de conjuntos de

E possvel provar que se C

AVEIS DE CONJUNTOS DE CANTOR REGULARES

nao sera per-

(a) = 1, tal que

AVEIS DE CONJUNTOS DE CANTOR REGULARES

= } contem um aberto com densidade

, difeomorfos a conjuntos de Cantor autoseme-

AVEIS DE CONJUNTOS DE CANTOR REGULARES

) em rela cao a deduzimos que existe

| < , ent ao K intersecta K

(p) = 0 (em uma dada parametriza cao

). Ent ao, armamos que para (

. Basta provar, por-

(x) bx, para x proximo de 0, e que

est ao proximos de 1 se m e n s ao suciente-

s ao constantes. Assim, por

AVEIS DE CONJUNTOS DE CANTOR REGULARES

= } contem um intervalo do tipo [0, ] para

hiperbolico para um conjunto de valores de

; R} uma famlia de difeomorsmos de M

AVEIS DE CONJUNTOS DE CANTOR REGULARES

> 0, e veremos exemplos onde

) uma famlia de difeomorsmos de M

) dependendo continuamente de tais que q

suas orbitas por

restrito a cada uma dessas variedades linear) de

e que A() e B()

|} est ao proximas de A na topologia dos conjuntos escalados,

)[K, K]) onde

s ao as proje coes associadas `as folhea coes est avel e instavel de

(0, )|distancia entre

> 0. A partir da, con-

AVEIS DE CONJUNTOS DE CANTOR REGULARES

) apresente uma -explos ao homoclnica em

E possvel provar que existe um aberto denso U na topologia C

AVEIS DE CONJUNTOS DE CANTOR REGULARES

AVEIS DE CONJUNTOS DE CANTOR REGULARES

) ter a medida nula para todo R.

) ter a interse cao est avel

, a constru cao continua como

AVEIS DE CONJUNTOS DE CANTOR REGULARES

, > 0 que tem auto-interse cao est avel (e mesmo

= [, 1]. Vamos determinar quando isso acon-

tem uma interse cao com K

)) tem interse cao extremal semi-

) sera maior que

AVEIS DE CONJUNTOS DE CANTOR REGULARES

+t) tem um par de

AVEIS DE CONJUNTOS DE CANTOR REGULARES