Professional Documents
Culture Documents
IMPA
Estrada Dona Castorina 110, Jardim Bot^ani
o
Rio de Janeiro-RJ
Conte
udo
Introdu
~
ao
PARTE I:
Cap
tulo 1:
.........................................................................3
CONGRUE^ NCIAS E NUMEROS
PRIMOS
Divisibilidade e Congru^en
ias
Numeros Primos
37
~ DIOFANTINAS
PARTE II: APROXIMACOES
Cap
tulo 3:
66
Ap^
endi
e:
Cap
tulo 5:
77
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
Introdu
~ao
Estas s~ao as notas de um mini-
urso que fui
onvidado a dar no IMCA em novembro de 2001.
Boa parte do material aqui
ontido foi adaptado das notas dos
ursos \Primos de Mersenne
(e outros primos muito grandes)", em
olabora
~ao
om Ni
olau Saldanha e \Conjuntos de
Cantor, Din^ami
a e Aritmeti
a", que dei no XXII Coloquio Brasileiro de Matemati
a, em
1999, e do artigo \Propriedades Estatsti
as de Fra
~oes Contnuas e Aproxima
~oes Diofantinas",
publi
ado na Revista Matemati
a Universitaria.
O objetivo dessas notas e ser uma refer^en
ia introdutoria sobre teoria dos numeros e
aproxima
~oes diofantinas, destinada a alunos de gradua
~ao ou mestrado em matemati
a. Boa
parte do material e totalmente elementar, sendo a
essvel a bons alunos do ensino medio
(em parti
ular aos olmpi
os...). Agrade
o aos Professores Cesar Cama
ho e Roger Metzger
pelo
onvite e a oportunidade de visitar o Peru e dar aulas sobre esse assunto t~ao fas
inante.
Rio de Janeiro, 26 de outubro de 2001.
PARTE I
^
CONGRUENCIAS
E NUMEROS
PRIMOS
CAPITULO 1
Divisibilidade e Congru^en
ias
Neste primeiro
aptulo veremos os topi
os basi
os de teoria dos numeros,
omo divisibilidade,
ongru^en
ias e aritmeti
a modulo n.
d e o menor elemento positivo de I (a; b), r = 0 e dja. Analogamente, djb. Suponha agora que
ja e
jb; temos
jax + by para quaisquer valores de x e y donde, em parti
ular,
jd.
O algoritmo de Eu
lides para
al
ular o md
baseia-se nas seguintes observa
~oes simples.
Se a = bq + r, 0 r < b, temos (
om a nota
~ao da demonstra
~ao a
ima) I (a; b) = I (b; r),
donde (a; b) = (b; r). Denindo a0 = a, a1 = b e an = an+1qn+2 + an+2 , 0 an+2 < an+1 (ou
seja, an+2 e o resto da divis~ao de an por an+1) temos (a; b) = (a0 ; a1) = (a1; a2 ) = (a2; a3) =
= (an ; an+1) para qualquer valor de n. Seja N o menor natural para o qual aN +1 = 0: temos
(a; b) = (aN ; 0) = aN .
Lema 1.2: Se (a; b) = 1 e ajb
ent~ao aj
.
Dem: Como (a; b) = 1, existem x; y 2 Z
om ax + by = 1, logo aj
= a
x + b
y .
Quando (a; b) = 1 dizemos que a e b s~ao primos entre si. Um natural p > 1 e
hamado
primo se os uni
os divisores positivos de p s~ao 1 e p. Um natural n > 1 e
hamado
omposto
se admite outros divisores alem de 1 e n.
Claramente, se p e primo e p - a temos (p; a) = 1. Usando o lema anterior e indu
~ao temos
o seguinte resultado:
Corolario 1.3: Sejam p um numero primo e sejam a1 ; : : : am 2 Z. Se pja1 am ent~ao pjai
para algum i, 1 i n.
Estamos agora prontos para enun
iar e provar o teorema que diz que todo inteiro admite
fatora
~ao uni
a
omo produto de primos.
Teorema 1.4: (Teorema fundamental da aritmeti
a) Seja n 2 um numero natural. Podemos
es
rever n de uma uni
a forma
omo um produto
n = p1 pm
1 < b < n. Por hipotese de indu
~ao, a e b se de
omp~oem
omo produto de primos. Juntando
as fatora
~oes de a e b (e reordenando os fatores) obtemos uma fatora
~ao de n.
Vamos agora mostrar a uni
idade, tambem por indu
~ao. Suponha que
n = p1 pm = q1 qm0 ;
om p1 : : : pm , q1 : : : qm0 . Como p1jq1 qm0 temos p1 jqi para algum valor de i, donde,
omo qi e primo, p1 = qi e p1 q1 . Analogamente temos q1 p1, donde p1 = q1 . Mas por
hipotese de indu
~ao
n=p1 = p2 pm = q2 qm0
admite uma uni
a fatora
~ao, donde m = m0 e pi = qi para todo i.
pemm ;
pep
onde o produto e tomado sobre todos os primos mas apenas um numero nito de expoentes e
maior do que zero.
Segue deste teorema o outro algoritmo
omum para
al
ular o md
de dois numeros: fatoramos os dois numeros e tomamos os fatores
omuns
om os menores expoentes. Este algoritmo e bem menos e
iente do que o de Eu
lides para inteiros grandes (que em geral n~ao
sabemos fatorar) mas e instrutivo saber que os dois algoritmos d~ao o mesmo resultado.
Corolario 1.5: Se (a; n) = (b; n) = 1 ent~ao (ab; n) = 1.
Dem: Evidente a partir do algoritmo des
rito a
ima.
Observe que n~ao provamos que p1 p2 pm + 1 e primo para algum
onjunto nito de
primos (por exemplo, os m primeiros primos). Alias, 2 3 5 7 11 13 + 1 = 30031 = 59 509,
2 3 5 7 1 = 209 = 11 19, 4! + 1 = 25 = 52 e 8! 1 = 40319 = 23 1753 n~ao s~ao primos. N~ao
existe nenhuma formula simples
onhe
ida que gere sempre numeros primos. Veja a se
~ao 3.1.
2 Congru^en
ias
Sejam a; b; n 2 Z. Dizemos que a e
ongruente a b modulo n, e es
revemos a b (mod n), se
njb a. Como a
ongru^en
ia modulo 0 e a igualdade e quaisquer inteiros s~ao
^ongruos modulo
1, em geral estamos interessados em n > 1.
Proposi
~ao 2.1: Para quaisquer a; a0 ; b; b0 ;
; n 2 Z temos:
(a)
1. a a (mod n);
2. se a b (mod n) ent~ao b a (mod n);
3. se a b (mod n) e b
(mod n) ent~ao a
(mod n);
4. se a a0 (mod n) e b b0 (mod n) ent~ao a + b a0 + b0 (mod n);
5. se a a0 (mod n) ent~ao a a0 (mod n);
6. se a a0 (mod n) e b b0 (mod n) ent~ao a b a0 b0 (mod n).
Dem: Para o item (a) basta observar que nja a = 0. Em (b), se njb a ent~ao nja b =
(b a). Em (
), se njb a e nj
b ent~ao nj
a = (
b)+(b a). Em (d), se nja0 a e njb0 b
ent~ao nj(a0 + b0 ) (a + b) = (a0 a)+(b0 b). Em (e), se nja0 a ent~ao nj( a0 ) ( a) = (a0 a).
Em (f), se nja0 a e njb0 b ent~ao nja0b0 ab = a0(b0 b) + b(a0 a).
10
Os itens (a), (b) e (
) da proposi
~ao a
ima dizem, nesta ordem, que a rela
~ao (mod n)
(\ser
^ongruo modulo n") e uma rela
~ao re
exiva, simetri
a e transitiva. Rela
~oes satisfazendo estas tr^es propriedades s~ao
hamadas rela
~oes de equival^en
ia. Dada uma rela
~ao de
equival^en
ia sobre um
onjunto X e um elemento x 2 X denimos a
lasse de equival^en
ia
x de x
omo
x = fy 2 X jy xg;
observe que x y se e somente se x = y. As
lasses de equival^en
ia formam uma parti
~ao de
X , i.e., uma
ole
~ao de sub
onjuntos n~ao vazios e disjuntos de X
uja uni~ao e X . O
onjunto
fxjx 2 X g das
lasses de equival^en
ia e
hamado o quo
iente de X pela rela
~ao de equival^en
ia
e e denotado por X= .
Apli
ando esta
onstru
~ao geral ao nosso
aso, denimos o quo
iente Z=( (mod n)),
hamado por simpli
idade de nota
~ao de Z=(n), Z=nZ ou as vezes Zn. Dado a 2 Z, a deni
~ao
de a
omo um sub
onjunto de Z raramente sera importante: o importante e sabermos que
a = a0 se e somente se a a0 (mod n). Se n > 0, a divis~ao eu
lidiana diz que todo inteiro a
e
^ongruo a um uni
o inteiro a0
om 0 a0 < n; podemos rees
rever este fato na nosso nova
linguagem
omo
Z=(n) = f0; 1; : : : ; n
1g:
Quando n~ao houver possibilidade de
onfus~ao omitiremos as barras e
hamaremos os elementos
de Z=(n) simplesmente de 0; 1; : : : ; n 1.
Os itens (d), (e) e (f) da proposi
~ao dizem que as opera
~oes de soma, diferen
a e produto
s~ao
ompatveis
om a rela
~ao de
ongru^en
ia. E esta propriedade que torna
ongru^en
ias t~ao
uteis, nos possibilitando fazer
ontas modulo n. Podemos por exemplo es
rever
196883 = 1 105 + 9 104 + 6 103 + 8 102 + 8 101 + 3 100
1 15 + 9 14 + 6 13 + 8 12 + 8 11 + 3 10
=1+9+6+8+8+3
= 35
8 (mod 9);
11
ja que 10 1 (mod 9) (mostrando assim porque fun
iona o
onhe
ido
riterio de divisibilidade
por 9). Uma formula
~ao mais abstrata da mesma ideia e dizer que as opera
~oes + e passam
ao quo
iente, i.e., que podemos denir
+ : Z=( n ) Z=( n ) ! Z=( n ) ;
: =( n ) =( n ) ! =( n )
Z
om ab
1 (mod n) se e
invers
vel
es rever para o Prof. Zoroastro Azambuja, IMPA, Estr. D. Castorina 110, Rio de Janeiro, RJ
12
Note que
ada a na deni
~ao de f e tomado em rela
~ao a um modulo diferente. A fun
~ao
esta bem denida pois a mod mn determina a mod m e a mod n.
Dem: Como Z=(mn) e Z=(m) Z=(n) t^em mn elementos
ada, para provar que f e bijetiva
basta veri
ar que f e injetiva. E, de fato, se a a0 (mod m) e a a0 (mod n) ent~ao
mj(a a0 ) e nj(a a0 ), donde mnj(a a0 ) e a a0 (mod mn). A imagem de (Z=(mn)) e
(Z=(m)) (Z=(n)) pois (a; mn) = 1 se e somente se (a; m) = (a; n) = 1.
Dados inteiros m1 ; m2; : : : ; mr , dizemos que estes inteiros s~ao primos entre si se (mi; mj ) = 1
para quaiquer i 6= j .
Corolario 2.5: Se m1 ; m2 ; : : : ; mr s~ao inteiros primos entre si. Ent~ao
f : Z=(m1m2 mr ) ! Z=(m1) Z=(m2) Z=(mr)
a 7! (a; a; : : : ; a)
e uma bije
~ao.
A apli
a
~ao mais
omum deste teorema e para garantir que existe a
om a ai (mod mi )
onde ai s~ao inteiros dados quaisquer.
Problema resolvido: Prove que dado n 2 N existe um
onjunto de n elementos A N
P
tal que para todo B A, B 6= ?, x e uma pot^en
ia n~ao trivial (isto e, um numero da
x2B
forma mk , onde m; k s~ao inteiros maiores ou iguais a 2), ou seja, A = fx1 ; x2; : : : xn g tal que
x1 ; x2 ; : : : xn ; x1 + x2 ; x1 + x3 ; : : : ; xn 1 + xn ; : : : ; x1 + x2 + : : : xn s~ao todos pot^en
ias n~ao triviais.
Solu
~ao: A = f4g e solu
~ao para n = 1, A = f9; 16g e solu
~ao para n = 2. Vamos provar a
exist^en
ia de um tal
onjunto por indu
~ao em n. Suponha que A = fx1 ; : : : ; xng e um
onjunto
13
Y
B A
B 6=?
(1 + mkBB )`rB :
Como
e uma pot^en
ia `-esima,
e uma pot^en
ia kB -esima para todo B A, B 6= ?, portanto,
para B 0 f
x1 ;
x2 ; : : : ;
xn g, B 0 6= ?, teremos B 0 = f
x j x 2 B g para algum B A, B 6= ?.
P
Logo
x sera uma pot^en
ia kB -esima.
x2B 0
Alem disso,
2
X
X 2B 0 U f g
x =
(1 + mKB B ) = 6
4
Y
X A
X 6=?;B
isto e, se os bi representam todas as
lasses de
ongru^en
ias invertveis modulo n. Tambem
equivalentemente, b1 ; b2 ; : : : ; b'(n) formam um s.
.i. modulo n se e somente se (bi ; n) = 1 para
todo i e ai aj (mod n) impli
ar i = j .
Proposi
~ao 3.1: Sejam q; r; n 2 Z, n > 0, q invertvel modulo n, a1 ; a2 ; : : : ; an um s.
.r.
modulo n e b1 ; b2 ; : : : ; b'(n) um s.
.i. modulo n. Ent~ao qa1 + r; qa2 + r; : : : ; qan + r formam um
s.
.r. modulo n e qb1 ; qb2 ; :::qb'(n) formam um s.
.i. modulo n.
Dem: Se qai + r qaj + r (mod n) ent~ao njq (ai aj ) e ai aj (mod n), donde i = j ;
om
isto provamos que qa1 + r; qa2 + r; : : : ; qan + r formam um s.
.r..
Como (q; n) = (bi; n) = 1, temos (qbi ; n) = 1. Por outro lado, se qbi qbj (mod n) temos
bi bj (mod n) (
omo no paragrafo anterior) e i = j . Isto
on
lui a demonstra
~ao.
Teorema 3.2: (Euler) Sejam a; n 2 Z, n > 0, tais que (a; n) = 1. Ent~ao a'(n) 1 (mod n).
Dem: Seja
b1 ; b2 ; : : : :b'(n)
pois modulo n os dois lados t^em os mesmos fatores a menos de permuta
~ao. Mas isto pode ser
rees
rito
omo
a'(n) (b1 b2 b'(n) ) 1 (b1 b2 b'(n) ) (mod n)
e pelo
orolario 1.9 isto impli
a a'(n) 1 (mod n).
15
Corolario 3.3: (Pequeno Teorema de Fermat) Se p e primo ent~ao, para todo inteiro a, ap a
(mod p).
Dem: Se pja, ent~ao ap a 0 (mod p). Caso
ontrario, '(p) = p 1, ap 1 1 (mod p) e
novamente ap a (mod p).
Outra demonstra
~ao do pequeno teorema de Fermat e por indu
~ao em a usando o bin^omio
de Newton e algumas propriedades de numeros binomiais. Se 0 < i < p temos
p
= p! 0 (mod p)
i
i!(p i)!
pois ha um fator p no numerador que n~ao pode ser
an
elado
om nada que apare
a no denominador. Os
asos a = 0 e a = 1 do teorema s~ao triviais. Supondo valido o teorema para a,
temos
(a + 1)p
ap +
+ p 1 a +1
ap 1 +
ap + 1
a + 1 (mod p)
e a indu
~ao esta
ompleta.
pemm
'(n) = (pe1
=n 1
pe1
p1
1 )(pe2
2
pe2
1 ) (pem
1 1
p2
pemm 1 )
1 :
pm
Dem: Isto segue da formula que ja vimos para '(pe ) e do orolario anterior.
16
2000
2000
2000
2000
Mais adiante estudaremos equa
~oes do segundo grau em Z=(p); vejamos desde ja um pequeno
resultado deste tipo que garante que os uni
os a que s~ao seus proprios inversos modulo p s~ao 1
e 1.
Se p e primo ent~ao as uni
as solu
~oes de x2 = 1 em Z=(p) s~ao 1 e
parti
ular,se x 2 (Z=(p)) f1; 1g ent~ao x 1 6= x em Z=(p).
Lema 3.6:
1. Em
Dem: Podemos rees rever a equa ~ao omo (x 1)(x + 1) = 0, o que torna o resultado trivial.
Teorema 3.7: (Wilson) Seja n > 4. Ent~ao (n 1)! 1 (mod n) se n e primo e (n 1)! 0
(mod n) se n e
omposto.
Dem: Se n e
omposto mas n~ao e o quadrado de um primo podemos es
rever n = ab
om
1 < a < b < n: neste
aso tanto a quanto b apare
em em (n 1)! e (n 1)! 0 (mod n).
Se n = p2, p > 2, ent~ao p e 2p apare
em em (n 1)! e novamente (n 1)! 0 (mod n); isto
demonstra que para todo n
omposto, n > 4, temos (n 1)! 0 (mod n).
Se n e primo podemos es
rever (n 1)! (2 3 n 2) (mod n); mas pelo lema anterior
podemos juntar os inversos aos pares no produto do lado direito, donde (n 1)! 1 (mod n).
17
'(d) = n:
Este teorema segue fa
ilmente da formula que provamos para '(n) na se
~ao anterior. Daremos entretanto uma demonstra
~ao bijetiva.
Dem: Considere as n fra
~oes
0 1
n 1
; ;::: ;
n n
n
e simplique
ada uma delas: obtemos assim, para
ada djn, '(d) fra
~oes
om denominador d,
donde segue a identidade do enun
iado.
Mais formalmente, dado a 2 Z=(n), sejam d = n=(n; a) e a0 = a=(n; a). Claramente
a0 2 (Z=(d)) e denimos assim uma fun
~ao de Z=(n) para a uni~ao disjunta dos
onjuntos
(Z=(d)), onde d varia sobre os divisores de n. A inversa desta fun
~ao leva a0 2 (Z=(d)) em a,
a = na0 =d, donde a fun
~ao e uma bije
~ao.
O pro
esso de
onstruir g a partir de f
omo
g (n) =
X
djn
f (d)
e bastante
omum em teoria dos numeros. Seria interessante poder inverter esta identidade
para es
rever f a partir de g. O teorema anterior nos mostra que se fazemos f = ' na equa
~ao
a
ima temos g(n) = n; invertendo esta identidade teramos uma formula para '. O objetivo
desta se
~ao e mostrar
omo fazer este tipo de invers~ao.
Denimos a fun
~ao de Mobius : N ! Z por
( n ) =
8
>
<(
>
:0;
Assim, (1) = (6) = (10) = 1, (2) = (3) = (5) = (7) = 1 e (4) = (8) = (9) = 0.
Lema 4.2: Para todo inteiro positivo n temos
X
djn
(d) =
8
>
<1;
se n = 1,
>
:0;
se n > 1.
(d) =
=
=
djn;p-d
X
djn0
X
djn0
(d) +
(d) +
(d)
djn;pjd;p2 -d
X
d0 jn0
X
d0 jn0
(d) +
djn;p2 jd
(d)
(pd0 ) + 0
(d0)
= 0:
Teorema 4.3: (Formula de invers~ao de Mobius) Se para todo n > 0 temos
g (n) =
X
djn
f (d)
ent~ao
f (n) =
X
djn
(n=d)g (d):
Observe que a formula do
orolario 1.16 para '(n) segue fa
ilmente dos dois teoremas a
ima.
Dem: Basta provar que
f (n) =
0
1
X
(n=d) f (d0)A :
djn
d0 jd
0
mjn
19
d00 jm
Teorema 4.4: (Segunda formula de invers~ao de Mobius) Sejam f e g fun
~oes reais
om
domnio (0; +1) tais que f (t) = g (t) = 0 para todo t < 1. Se
g (x) =
1
X
x
k=1
bx
X
x
1=k
f (x) =
1
X
k=1
( k ) g
x
1=k
x
bx (k)g k :
1
X
x
( k )
f
f (x) =
;
kr
r
=1
k=1
1
00
1
x
X
A
(k)A f
k jm
Apesar de n~ao estar rela
ionada
om o resto da nossa dis
uss~ao, n~ao podemos deixar de
men
ionar a seguinte
onje
tura.
Conje
tura 4.5: (Hipotese de Riemann) Se > 1=2 ent~ao
n
X
1
(m) = 0:
lim
n!1
n 1m
Esta e uma das formula
~oes da famosa hipotese de Riemann, um dos problemas em aberto
mais importantes da matemati
a.
Podemos reenun
iar esta
onje
tura assim: seja f : (0; +1) ! R denida por f (t) = 0 se
t<1e
1
X
k=1
f (t=k) = 1; se t 1
20
bt
X
m=1
(m):
5 Bases
A nota
~ao usual para naturais e a
hamada base 10,
om algarismos 0; : : : ; 9. Isto signi
a,
por exemplo, que
196883 = 1 105 + 9 104 + 6 103 + 8 102 + 8 101 + 3 100:
O teorema abaixo mostra
omo es
rever qualquer natural em qualquer base d.
Teorema 5.1: Seja n 0 e d > 1. Ent~ao existe uma uni
a sequ^en
ia a0 ; : : : ; ak ; : : :
om as
seguintes propriedades:
(a)
1. para todo k, 0 ak < d,
2. existe m tal que se k m ent~ao ak = 0,
3. n =
k ak d
k.
A s vezes e interessante
onsiderar expans~oes n~ao apenas em outras bases mas
om outros
onjuntos de algarismos (veremos um exemplo disso no ultimo
aptulo). Por exemplo, podemos
preferir algarismos negativos pequenos a algarismos positivos grandes e assim um bom
onjunto
de algarismos na base 10 seria
4; 3; 2; 1; 0; 1; 2; 3; 4; 5:
Desta forma, es
revemos 13 = 1 10 + 3 mas es
revemos 9 = 1 10 1 e 64 = 1 102 4 10 + 4.
Generalizando, os algarismos na base d seriam os inteiros a
om d=2 < a d=2, ou seja,
a=
Este
onjunto de algarismos nos permite enun
iar um teorema analogo ao anterior,
om a
diferen
a que agora numeros negativos n~ao pre
isam ser tratados em separado.
Teorema 5.2: Seja n 2 Z e d > 2. Ent~ao existe uma uni
a sequ^en
ia a0 ; : : : ; ak ; : : :
om as
seguintes propriedades:
(a)
1. para todo k, d=2 < ak d=2,
2. existe m tal que se k m ent~ao ak = 0,
3. n =
k ak d
k.
dm k =2 < nk dm k =2;
6 Corpos e polin^omios
Um grupo e um
onjunto G munido de uma opera
~ao : G G ! G e um elemento e 2 G
om as seguintes propriedades:
1. para quaisquer a; b;
2 G, a (b
) = (a b)
.
2. para qualquer a 2 G, a e = e a = a,
3. para qualquer a 2 G existe b 2 G
om a b = b a = e.
Se alem disso tivermos a b = b a para quaisquer a; b 2 G dizemos que o grupo e
omutativo
ou abeliano. Quando a opera
~ao se
hama + dizemos que G e um grupo aditivo e
hamamos
o elemento neutro e de 0. Se a opera
~ao se
hama
hamamos G de grupo multipli
ativo e
denotamos o elemento neutro e por 1. Assim, Z=(n) e um grupo abeliano aditivo e (Z=(n)) e
um grupo abeliano multipli
ativo.
Um anel
omutativo
om unidade e um grupo abeliano aditivo A munido de uma segunda
opera
~ao : A A ! A satisfazendo a (b
) = (a b)
, a (b +
) = (a b) + (a
), a b = b a
para quaisquer a; b;
2 A e um elemento 1 2 A
om 1 a = a para todo a 2 A. Assim, Z=(n) e
um anel
omutativo
om unidade.
Um
orpo e um anel
omutativo
om unidade onde para todo a 2 K
om a 6= 0 existe
b 2 K
om a b = 1. Repetindo ent~ao, K e munido de duas opera
~oes + : K K ! K e
: K K ! K , de uma fun
~ao : K ! K e dois elementos espe
iais distintos
hamados 0 e
1 satisfazendo as seguintes propriedades:
a + (b +
) = (a + b) +
a+0=a
23
a + ( a) = 0
a+b=b+a
a(b +
) = ab + a
a(b
) = (ab)
a1 = a
ab = ba
Os exemplos mais
onhe
idos de
orpos s~ao Q , R e C . Vimos no
aptulo anterior que Z=(p)
tambem e um
orpo se p e primo; veremos a seguir outros exemplos de
orpos nitos.
Dado um
orpo K , denimos o anel
omutativo
om unidade K [x
omo sendo o
onjunto
das express~oes da forma P = a0 + a1 x + a2x2 + + anxn,
hamados de polin^omios
om
oe
ientes em K . Observe que x e um smbolo formal e n~ao um elemento de K ; apesar disso,
ada polin^omio dene uma fun
~ao polinomial
P :K!K
7! P (
) = a0 + a1
+ a2
2 + + an
n
tambem
hamada de P . A distin
~ao entre um polin^omio e uma fun
~ao polinomial e bem
ilustrada pelo polin^omio P = xp x 2 (Z=(p))[x: este polin^omio e n~ao nulo pois seus
oe
ientes s~ao n~ao nulos mas para todo x 2 Z=(p) temos P (x) = 0 pelo pequeno teorema de
Fermat.
P
24
A demonstra
~ao a
ima nada mais e do que o algoritmo usual de divis~ao usual. Um polin^omio
P tem raiz a (i.e., P (a) = 0) se e somente se (x a)jP . Mais geralmente, P (a) e o resto da
divis~ao de P por x a.
Proposi
~ao 6.3: Um polin^omio P n~ao nulo de grau n tem no maximo n razes.
Dem: A demonstra
~ao e feita por indu
~ao em n = deg(P ); os
asos n = 0 e n = 1 s~ao
triviais. Se P tivesse n + 1 razes distintas a1; : : : ; an+1 ent~ao P seria multiplo de (x an+1 );
P=(x an+1 ) teria grau n 1 e razes a1 ; : : : ; an ,
ontradizendo a hipotese de indu
~ao.
A partir da divis~ao
om resto podemos repetir muitas das
onstru
~oes feitas para Z no
aptulo anterior; dizemos que K [x (assim
omo Z) e um domnio eu
lidiano. Daremos um
esbo
o desta teoria; estes resultados n~ao ser~ao ne
essarios para a
ompanhar o resto do livro.
Denimos AjB se existe C
om AC = B e dizemos que um polin^omio P de grau maior que
n > 0 e irredutvel se seus divisores todos t^em grau 0 ou n (assim generalizando o
on
eito de
numero primo). O
on
eito de md
tambem se generaliza,
omo indi
ado na proposi
~ao abaixo.
Proposi
~ao 6.4: Dados polin^omios n~ao nulos A; B 2 K [x existe um uni
o D 2 K [x (a
menos de multipli
a
~ao por
onstante) tal que DjA, DjB e, para todo C 2 K [x, se C jA e C jB
ent~ao C jD. Alem disso existem E; F 2 Z
om D = AE + BF .
25
Polin^omios irredutveis s~ao
omo numeros primos: um produto de polin^omios so e multiplo
de um polin^omio irredutvel se um dos fatores o for.
Proposi
~ao 6.5: Sejam P um polin^omio irredutvel e sejam A1 ; : : : Am 2 K [x. Se P j(A1 Am )
ent~ao P jAi para algum i, 1 i n.
Dem: Analoga a do teorema fundamental da aritmeti
a, usando a proposi
~ao a
ima e fazendo
indu
~ao no grau do polin^omio.
Dem: Os dois polin^omios dos dois lados da equa
~ao t^em grau p e o
oe
iente de xp e 1 nos
dois
asos. Assim, a diferen
a tem grau menor do que p mas se anula em p pontos: 0, 1, : : :
p 1. Pelo
orolario anterior, esta diferen
a deve ser o polin^omio zero.
26
() P j(B A):
As propriedades basi
as de
ongru^en
ias podem ser traduzidas para este novo
ontexto e podemos denir um quo
iente K [x=(P ) da mesma forma
omo denimos Z=(n); demonstra-se que
K [x=(P ) e um
orpo exatamente quando P e irredutvel.
Prometemos que veramos outros exemplos de
orpos nitos alem de Z=(p): o paragrafo
a
ima ensina que podemos
onstruir tais
orpos
omo (Z=(p))[x=(P ) onde P 2 (Z=(p))[x e
irredutvel. Por exemplo, o polin^omio x2 + x + 1 e irredutvel em (Z=(2))[x o que nos permite
onstruir um
orpo de 4 elementos: 0, 1, x e x +1. As opera
~oes em Z=(2) e a rela
~ao x2 = x +1
denem as opera
~oes neste
orpo (denotamos x + 1 por x0 ):
+
0
1
x
x
0 1 x x
0 1 x x
1 0 x x
x x 0 1
x x 1 0
*
0
1
x
x
0
0
0
0
0
1
0
1
x
x
x x
0 0
x x
x 1
1x
De fato existem em (Z=(p))[x polin^omios irredutveis de qualquer grau e todo
orpo nito
pode ser
onstruido desta forma. Enun
iaremos sem demonstra
~ao um teorema que
lassi
a
os
orpos nitos.
Teorema 6.8: Existe um
orpo nito
om q elementos se e somente se q e da forma pn para
algum primo p e algum inteiro positivo n. Alem disso, dados dois
orpos nitos K1 e K2
om o
mesmo numero de elementos existe uma uni
a bije
~ao f : K1 ! K2
om f (a + b) = f (a) + f (b)
e f (ab) = f (a)f (b) para quaisquer a; b 2 K1 .
Uma bije
~ao
omo a des
rita a
ima e
hamada de isomorsmo e dois
orpos s~ao ditos
isomorfos se existe entre eles um isomorsmo; a ideia e que
orpos isomorfos s~ao iguais a menos
dos nomes dos elementos. Veremos mais tarde outras formas mais
on
retas de
onstruir
orpos
nitos.
27
Claramente ae ae0 (mod n) se e somente se e e0 (mod ordn a); pelo teorema de Euler,
ordn aj'(n).
Dizemos que a e uma raiz primitiva modulo n se ordn a = '(n). Analogamente, dizemos
que a e uma raiz primitiva em K se ordK a = q 1, onde q = jK j e o numero de elementos
de K . Por exemplo, 2 e raiz primitiva modulo 5 mas 2 n~ao e raiz primitiva modulo 7 (23 1
(mod 7)). Tambem e fa
il veri
ar que n~ao existe raiz primitiva modulo 8 pois se x e mpar
ent~ao x2 1 (mod 8). Podemos tambem dizer que a e raiz primitiva se a fun
~ao
Z
=('(n)) ! (Z=(n))
r 7! ar
ou
Z
=(q 1) ! K
r 7! ar
= aq 1(b1 b2 bq 1 )
e aq 1 = 1.
Segue deste teorema que ordK ajq 1, analogamente ao que ja sabiamos para Z=(n). A
partir do que vimos sobre polin^omios temos tambem que
xq
x = x(x b1 ) (x bq 1 )
em K [x.
Teorema 7.2: Se K e um
orpo nito ent~ao existe raiz primitiva em K .
Dem: Seja d um divisor de q 1: denimos N (d)
omo o numero de elementos de K de
P
ordem d. Claramente djq 1 N (d) = q 1.
Se N (d) > 0, seja ad um elemento de K
om ordK ad = d: os elementos 1; ad; a2d ; : : : add 1 s~ao
razes do polin^omio xd 1 = 0. Como este polin^omio tem no maximo d razes, estas s~ao todas
as razes. Assim, os elementos de K de ordem d s~ao pre
isamente ard, r 2 (Z=(d)). Assim os
P
P
uni
os valores possveis para N (d) s~ao 0 e '(d). Mas
omo djq 1 N (d) = djq 1 '(d) = q 1,
temos N (d) = '(d) para todo djq 1. Em parti
ular N (q 1) > 0 e existem razes primitivas.
Apesar de existirem razes primitivas modulo p para todo primo p n~ao existe uma formula
simples para obter uma raiz primitiva. Por outro lado,
onje
tura-se que todo inteiro que n~ao
e um quadrado e raiz primitiva para innitos valores de p (
onje
tura de Artin).
Corolario 7.3: Dados x 2 K e um inteiro positivo k existe y 2 K
om y k = x se e somente
se x(q 1)= md
(k;q 1) = 1, onde q = jK j.
29
Lema 8.2: Se p e um numero primo mpar e a e raiz primitiva modulo p2 ent~ao a e raiz
primitiva modulo pk para todo k > 2, k 2 Z.
Dem: Temos ap 1 1 (mod p), mas ap 1 6 1 (mod p2 ), donde ap 1 = 1 + b0 p
om b0 6 0
(mod p). Vamos mostrar por indu
~ao que apj (p 1) = 1 + bj pj+1
om bj b0 (mod p). Podemos
es
rever
j +1 (p
ap
1)
= (apj (p 1) )p
= (1 + bj pj+1)p
= 1 + pbj
pj +1 +
= 1 + bj (1 + p bj pj + bpj 1p(p
2
= 1 + bj+1pj+2
1)j +p 2 )pj +2
(e neste ponto que pre
isamos da hipotese de p ser mpar). O lema segue de a(p 1)pk 6 1
(mod pk ) por indu
~ao, pois teremos (p 1)pk 2 = ordpk a j ordpk a j '(pk ) = (p 1)pk 1,
donde ordpk a = (p 1)pk 1.
2
1.
1 se n = 2,
2.
2 se n = 4,
3.
4 se n = 2k , k > 2,
4.
2 se n = pk , p um primo mpar,
5.
Dem: Os itens (a) e (b) s~ao veri
aveis diretamente. As quatro solu
~oes no item (
) s~ao 1,
2k 1 1, 2k 1 + 1 e 2k 1. De fato, e fa
il veri
ar que estes quatro valores s~ao solu
~oes da
31
ongru^en
ia. Por outro lado, para que a seja solu
~ao da
ongru^en
ia devemos ter 2k j(a +1)(a
1) = a2 1; portanto a deve ser mpar. Um dentre a 1 e a + 1 deve ser da forma 2b, b mpar.
Assim o outro deve ser multiplo de 2k 1, o que diz que a deve ter um dos quatro valores a
ima.
Analogamente para o item (d), apenas um dentre a 1 e a +1 e multiplo de p, o que so permite
as solu
~oes 1 e n 1.
Para o item (e) usamos os itens anteriores e o teorema
hin^es dos restos: a e solu
~ao da
ongru^en
ia a
ima se e somente se a satisfaz a2 1 (mod 2k ) e a2 1 (mod pei i ) para
ada i.
Assim, o numero de solu
~oes modulo n e o produto do numero de solu
~oes modulo 2k , pe1 , : : : ,
pemm , o que nos da a formula do item (e).
1
Se n n~ao for de uma destas formas, o lema anterior garante que a
ongru^en
ia x2 1
(mod n) admite mais de duas solu
~oes. Por outro lado, a exist^en
ia de uma raiz primitiva
a modulo n garante que a
ongru^en
ia x2 1 (mod n) so tem as solu
~oes 1 e n 1. De
fato, qualquer solu
~ao pode ser es
rita da forma ak para algum k e nossa
ongru^en
ia torna-se
a2k 1 (mod n) ou 2k 0 (mod '(n)), que so tem as solu
~oes k = 0 (ak = 1) e k = ('(n))=2
(ak n 1 (mod n)).
Outra demonstra
~ao, sem usar o lema anterior,
onsiste em observar que se n n~ao for de uma
destas duas formas ent~ao n = n1n2 ,
om n1 ; n2 3 e md
(n1; n2 ) = 1. Temos ent~ao a'(n)=2 1
(mod n) para todo a inteiro
om md
(a; n) = 1, pois '(n1) j '(n)=2 e '(n2 ) j '(n)=2.
se p divide a
a
= > 1 se a n~ao e quadrado modulo p
p
>
>
>
>
:1
se p - a e a e quadrado modulo p:
a
p
a p (mod p).
2
Dem: Sabemos que se p - a ent~ao ap 1 1 (mod p), ou seja, X p 1 1 tem
omo razes
1)(X p + 1). Se existe b 2 Z
1; 2; : : : ; p 1 em Z=(p). Por outro lado, X p 1 1 = (X p
p
tal que a b2 (mod p) ent~ao a bp 1 1 (mod p); ou seja, ap = 1 a (mod p).
Como X 2 Y 2 (mod p) , X Y (mod p), ha pelo menos p 2 1 quadrados em (Z=(p)),
p
logo os quadrados s~ao exatamente as razes de X
1 em Z=(p), donde os n~ao quadrados s~ao
exatamente as razes de X p + 1, ou seja, se ( pb ) = 1 ent~ao b p 1 (mod p).
2
1
2
a
p
ap
=
(a 1)(a 2) (a p 2 1 )
1 2 p21
1 2 p21
= "1"2 " p (mod p)
2
(1)
donde ( ap ) = "1"2 : : : " p , pois ambos perten
em a f 1; 1g. Assim, ( ap ) = ( 1)m onde m e o
numero de elementos j de f1; 2; : : : ; p 2 1 g tais que "j = 1. Como primeira
onsequ^en
ia deste
fato temos o seguinte resultado.
2
33
( 2p ) = ( 1)
p2
8
>
<1;
=>
:
se p 1 (mod 8);
1; se p 3 (mod 8):
a
( p ) = ( 1)k = >
:
p 1
= 2k. Como 1 2j
p 1
para
se p 1 (mod 8);
1; se p 5 (mod 8):
a
( p ) = ( 1)k+1 = >
:1;
1; se p 3 (mod 8);
se p 7 (mod 8):
Teorema 9.5: (Lei de re
ipro
idade quadrati
a) Sejam p e q primos mpares. Ent~ao ( pq ) =
( 1)(p 1)(q 1)=4 ( pq ).
Dem: Na nota
~ao a
ima,
om a = q , para
ada j 2 P , onde
P = f1; 2; : : : ; (p 1)=2g;
Q = f1; 2; : : : ; (q
1)=2g:
34
1)=2g :
1)=2g
1)=2g:
Como jC j = (p 1)(q 1)=4, basta mostrar que jAj = jB j. Mas f : C ! C denida por
f (x; y ) = (((p + 1)=2) x; ((q + 1)=2) y ) dene uma bije
~ao entre A e B .
Sejam p primo e d um inteiro que n~ao seja quadrado perfeito. O anel (Z=(p))[ d e o onjunto
p
fa + b d; a; b 2 =(p)g
Z
onde
p
p
p
(a + b d) + (~a + ~b d) = (a + a~) + (b + ~b) d
p
p
p
(a + b d)(~a + ~b d) = (aa~ + db~b) + (a~b + a~b) d:
a + b d = a~ + ~b d , a = a~; b = ~b:
Como grupo aditivo, (Z=(p))[ d = Z=(p) Z=(p). Vamos investigar a estrutura multipli
ativa
p
p
de (Z=(p))[ d. Observemos ini
ialmente que, se d e um quadrado modulo p ent~ao (Z=(p))[ d
p
p
p
d) = 0 em (Z=(p))[ d.
n~ao pode ser um
orpo, pois se a2 = d em Z=(p) ent~ao (a + d)(a
A proxima proposi
~ao e uma re
pro
a deste fato:
35
Dem: De fato, se (a; b) 6= (0; 0), (a + b d) 1 = (a b d)=(a2 db2 ). Temos que a2 db2 2
(Z=(p)), pois d n~ao e quadrado mod p, logo, se b 6= 0, a2 db2 = 0, que equivale a d = (a=b)2
seria uma
ontradi
~ao e, se b = 0, a2 db2 = a2 6= 0 pois (a; b) 6= (0; 0) ) a 6= 0 ) a2 6= 0.
Problemas:
36
CAPITULO 2
Numeros Primos
1 Sobre a distribui
~ao dos numeros primos
Ja vimos que existem innitos primos; o teorema dos numeros primos da uma estimativa de
quantos primos existem ate um inteiro x, ou seja, des
reve a distribui
~ao dos primos. Dena
(x)
omo sendo o numero de primos p
om 2 p x.
Teorema 1.1: (Teorema dos numeros primos)
(x)
lim
= 1:
x!1 x= log x
Observe que aqui e em todo o livro log denota o logaritmo natural. Este resultado foi
onje
turado por varios matemati
os, in
lusive por Legendre e Gauss, mas a demonstra
~ao
ompleta so foi en
ontrada em 1896, por de la Vallee Poussin e Hadamard (independentemante). N~ao demonstraremos este teorema: as demonstra
~oes elementares
onhe
idas s~ao
todas bastante dif
eis (lembramos que uma demonstra
~ao e dita elementar quando n~ao usa
ferramentas avan
adas: muitas demonstra
~oes elementares s~ao longas e sosti
adas). Daremos
uma demonstra
~ao da seguinte proposi
~ao (devida a T
heby
he) que e
laramente uma vers~ao
fra
a do teorema dos numeros primos.
Proposi
~ao 1.2: Existem
onstantes positivas
< C tais que
x
x
< (x) < C
log x
log x
para todo x 2.
Dem: Observemos ini
ialmente que 2nn = (2n!nn)!! e multiplo de todos os primos p que satisfazem
n < p 2n. Como
X
2n
2n
= 22n;
<
k
n
0k2n
37
segue que o produto dos primos entre n e 2n e menor do que 22n. Como ha (2n) (n) primos
omo esses segue que n(2n) (n) < 22n (pois todos esses primos s~ao maiores que n), donde
((2n) (n)) log n < 2n log 2 e
2n log 2 :
log n
5 2k
k
(
ome
ando
om k = 5; ate k = 5 segue de (n) n=2). Da segue que se 2k < x 2k+1 ent~ao
(x)
5 2k 5x log 2
k
log x
pois f (x) = x log 2= log x e uma fun
~ao
res
ente para x 3.
Vamos agora provar a outra desigualdade. O expoente do primo p na fatora
~ao de n! e
n
+ n2 +
wp (n) =
p
p
1
X n
=
pk
k=1
(esta e uma soma nita pois se k > logp n = log n= log p ent~ao b pnk
= 0). De fato, b np+1j
b pnk
e sempre 0 ou 1, e e igual a 1 se e so se pj divide n + 1. Assim, wp(n + 1) wp(n) e igual ao
expoente de p na fatora
~ao de n + 1, o que forne
e uma prova por indu
~ao do fato a
ima.
Assim, o expoente de p em
2n = (2n)!=n!2
n
e
1
X
2n
pk
k=1
n
2 pk
Temos agora que b 2pnk
2b pnk
e sempre 0 ou 1 (pois 0 x bx
< 1 para todo x), donde o
expoente de p em 2pp e no maximor logp n = log n= log p para todo primo p. Por outro lado,
Q
se n < p 2n, o expoente de p em 2pp e 1. Assim, se 2nn = p<2n pp e a fatora
~ao de 2nn
38
ent~ao
X
p log p
log 2n =
p<2n
X
pn
n<p2n
p log p +
log p
pois
2n
n
2n 2n 1 n + 1 n
1 2 ;
n n 1
donde
(x)
x log 2
log x
para todo x par, o que impli a na mesma estimativa para todo x inteiro, pois (2k 1) = (2k).
Corolario 1.3: Seja f : N ! [0; +1) uma fun
~ao de
res
ente. A serie
X
p primo
f ( p)
f (n)
log n
n=2
1 = +1:
Uma aproxima
~ao mais pre
isa para (x) e dada por
Li(x) =
Z x
dt
log t
onde tomamos o valor prin
ipal desta integral, ou seja,
Li(x) = "lim
!0
laramente
Z 1 "
"
dt
log t
Z x
1+"
dt
log t
Li(x) = 1:
lim
x!1 log(x)=x
Sabe-se entretanto que
1=5
para algum valor das
onstantes a e C (independente de x). Em parti
ular, para qualquer
k > 0 existe C > 0 tal que,para todo x,
40
A demonstra
~ao usual deste teorema usa variaveis
omplexas. Muitos
asos parti
ulares
admitem demonstra
~oes elementares mais ou menos simples. O leitor n~ao deve ter di
uldade
em demonstrar, por exemplo, que existem innitos primos da forma 4n + 3 ou 6n + 5.
Existem varios renamentos
onhe
idos do teorema de Diri
hlet. Denimos d;a (x)
omo
sendo o numero de primos da forma a + dn no intervalo [2; x. De la Vallee Poussin provou que
limx!+1
1
d;a (x)
=
;
(x)
'(d)
isto e, todas as possveis
lasses modulo d t^em aproximadamente a mesma propor
~ao de primos.
Por outro lado, T
heby
he observou que para valores pequenos de x 3;2 (x) 3;1(x) e
4;3 (x) 4;1 (x) s~ao positivos. Um teorema de Littlewood, entretanto, demonstra que estas
fun
~oes mudam de sinal innitas vezes. Em 1957, Lee
h demonstrou que o menor valor de x
para o qual 4;3 (x) 4;1 (x) = 1 e 26861 e em 1978 Bays e Hudson demonstraram que o
menor valor de x para o qual 3;2(x) 3;1(x) = 1 e 608981813029.
Seja p(d; a) o menor primo da forma a + dn, n inteiro e
p(d) = maxfp(d; a) j 0 < a < d; md
(a; d) = 1g:
Linnik (1944) provou que existe L > 1
om p(d) < dL para todo d su
ientemente grande. A
melhor estimativa
onhe
ida para L e L 5; 5, devida a Heath-Brown (1992), que tambem
onje
turou que
p(d) Cd(log d)2 :
Por outro lado, n~ao se sabe demonstrar que existam innitos primos da forma n2 + 1; alias,
n~ao existe nenhum polin^omio P em uma variavel e de grau maior que 1 para o qual se saiba
41
demonstrar que existem innitos primos da forma P (n), n 2 Z. Por outro lado, existem muitos
polin^omios em mais de uma variavel que assumem innitos valores primos: por exemplo, provase fa
ilmente que todo primo da forma 4n +1 pode ser es
rito tambem na forma a2 + b2, a; b 2 Z.
Por outro lado, Friedlander e Iwanie
provaram re
entemente um resultado muito mais dif
il:
que existem innitos primos da forma a2 + b4 .
Um dos problemas em aberto mais famosos da matemati
a e a
onje
tura de Goldba
h: todo
numero par maior ou igual a 4 e a soma de dois primos. Chen demonstrou que todo numero
par su
ientemente grande e a soma de um primo
om um numero
om no maximo dois fatores
primos. Vinogradov demonstrou que todo mpar su
ientemente grande (por exemplo, maior
do que 33 ) e uma soma de tr^es primos.
15
Quando p e p + 2 s~ao ambos primos, dizemos que eles s~ao primos g^emeos. Conje
tura-se,
mas n~ao se sabe demonstrar, que existem innitos primos g^emeos. Brun, por outro lado, provou
que primos g^emeos s~ao es
assos no seguinte sentido: se 2(x) e o numero de pares de primos
g^emeos ate x ent~ao
2 (x) <
100x
(log x)2
p
p primo g^emeo
< +1:
A
redita-se que 2 (x) seja assintoti
o a Cx=(log x)2 para alguma
onstante positiva C . Deixamos
omo exer
io provar a seguinte
ara
teriza
~ao de primos g^emeos devida a Clement. Seja
n 2; os inteiros n e n + 2 s~ao ambos primos se e somente se
4((n 1)! + 1) + n 0 (mod n(n + 2)):
Seja pn o n-esimo numero primo. O teorema dos numeros primos equivale a dizer que
p
lim n = 1:
n!1 n log n
Por outro lado, sabe-se muito pou
o sobre o
omportamento da fun
~ao dn = pn+1 pn. Por
exemplo, a
onje
tura de que existem innitos primos g^emeos equivale a dizer que lim inf dn = 2.
42
dn
log pn = 0;
Erdos provou que L < 1 e Maier que L 0; 248. Erdos tambem provou que o
onjunto dos
pontos de a
umula
~ao de dn= log pn tem medida positiva. Por outro lado, e um teorema
lassi
o,
onhe
ido
omo postulado de Bertrand, que sempre existe pelo menos um primo entre m e 2m,
ou seja, dn < pn. Em 1931, Westzynthius provou que
lim sup dn = 1;
log pn
e em 1963 Rankin,
ompletando um trabalho de Erdos, mostrou que
lim sup
e 1; 78107
1 + + 1 log n 0; 5772156649;
= nlim
1
+
!1
2
n
este resultado foi melhorado posteriormente por Pomeran
e e Pintz, que provou que o lado
esquerdo e maior ou igual a 2e
([Pintz). Conje
tura-se que
lim sup (logdnp )2 = C
n
para alguma
onstante positiva C . Outra
onje
tura famosa e que sempre ha pelo menos
um primo entre n2 e (n + 1)2. Observamos que a primeira vez que dn > 1000 o
orre para
pn = 1693182318746371, quando dn = 1132, o que foi des
oberto re
entemente por T. Ni
ely e
D. Nyman.
Sierpinski provou que existem innitos numeros naturais k tais que k 2n +1 e
omposto para
todo natural n e Riesel provou o mesmo resultado para k 2n 1. Conje
tura-se que os menores
valores de k
om as propriedades a
ima s~ao respe
tivamente 78557 e 509203. Ha um projeto
ooperativo, que
onsiste em pro
urar primos grandes, para demonstrar estas
onje
turas (veja
http://vamri.xray.ufl.edu/proths/).
O leitor interessado em aprender mais sobre problemas em aberto em teoria dos numeros
pode
onsultar [Guy.
43
1 log 1 + X (d)
log 2
2 djPn 2d 1
17
7
7
A5 ;
b102n
;
1
onde
=
1
X
n=1
pn
102n = 0:0203000500000007 : : : :
A inutilidade desta ultima formula vem do fato que para
al
ular
devemos en
ontrar todos os
primos; a formula se tornaria mais interessante se existisse outra interpreta
~ao para o numero
real
, o que pare
e muito improvavel. Por outro lado, existe um numero real a > 1 tal que
ba3n
e sempre primo.
Um tipo de formula para primos, de
erta forma mais intrigante, s~ao polin^omios de
oe
ientes inteiros em S variaveis
om a seguinte propriedade quase magi
a: a interse
~ao da
imagem de N S
om N e exatamente o
onjunto dos numeros primos. Note que se tomarmos
um ponto de N S \ao a
aso", o valor do polin^omio neste ponto quase
ertamente sera negativo;
assim, e dif
il usar o polin^omio para gerar primos. A ttulo de
uriosidade, vejamos um exemplo de polin^omio
om estas propriedades; aqui N = 26, o valor do polin^omio e P , as variaveis
44
B2
C2
N 2 );
q;
B = (gk + 2g + k + 1)(h + j ) + h z;
C = 16(k + 1)3 (k + 2)(n + 1)2 + 1 f 2 ;
D = 2n + p + q + z
e;
E = e3 (e + 2)(a + 1)2 + 1 o2 ;
F = (a2
1)y2 + 1 x2;
G = 16r2 y 4(a2
1) + 1 u2;
H = ((a + u2 (u2
I = (a2
a))2
1)l2 + 1 m2;
J = ai + k + 1 l
K =n+l+v
i;
y;
L = p + l(a n 1) + b(2an + 2a n2
2n 2) m;
M = q + y (a p 1) + s(2ap + 2a p2
2p 2) x;
N = z + pl(a p) + t(2ap p2
1) pm:
Proposi
~ao 4.1: Seja n > 1. Se para
ada fator primo q de n 1 existe um inteiro aq tal
que aqn 1 1 (mod n) e a(qn 1)=q 6 1 (mod n) ent~ao n e primo.
45
De fato, basta
onhe
er um
onjunto de fatores primos
ujo produto seja maior do que
(n 1)1=3 para, usando o resultado de Po
klington, tentar demonstrar a primalidade de n (o
que deixamos
omo exer
io). Os seguintes
riterios
lassi
os s~ao
onsequ^en
ias diretas das
proposi
~oes a
ima.
Fermat
onje
turou que todo numero da forma Fn = 22n + 1 fosse primo e veri
ou a
onje
tura para n 4. Observe que 2n + 1 (e em geral an + 1
om a 2) n~ao e primo se
n n~ao e uma pot^en
ia de 2: se p e um fator primo mpar de n, podemos es
rever an + 1 =
bp + 1 = (b + 1)(bp 1 bp 2 + + b2 b + 1) onde b = an=p . Euler mostraria mais tarde que F5
n~ao e primo (temos F5 = 4294967297 = 641 6700417) e ja se demonstrou que Fn e
omposto
para varios outros valores de n; nenhum outro primo da forma Fn = 22n + 1 e
onhe
ido, mas
se
onhe
em muitos primos (alguns bastante grandes) da forma a2n + 1, que s~ao
onhe
idos
omo primos de Fermat generalizados. O teste a seguir mostra
omo testar e
ientemente a
primalidade de Fn.
46
Corolario 4.4: (Teste de Pepin) Seja Fn = 22n +1; Fn e primo se e somente se 3(Fn
(mod Fn).
1)=2
1
Dem: Se 3(Fn 1)=2 1 (mod Fn ) ent~ao a primalidade de Fn segue da Proposi
~ao 4.1. Por
outro lado, se Fn e primo ent~ao 3(Fn 1)=2 ( F3n ) = ( F3n ) = ( 23 ) = 1 (mod Fn).
Corolario 4.5: (Teorema de Proth; 1878) Seja n = h 2k + 1
om 2k > h. Ent~ao n e primo
se e somente se existe um inteiro a
om a(n 1)=2 1 (mod n).
Dem: Se n e primo, podemos tomar a qualquer
om ( na ) = 1; ou seja, metade dos inteiros
entre 1 e n 1 serve
omo a. A re
pro
a segue do Corolario 4.3
om F = 2k .
Corolario 4.6: Se n = h q k + 1
om q primo e q k > h. Ent~ao n e primo se e somente se
existe um inteiro a
om an 1 1 (mod n) e md
(a(n 1)=q 1; n) = 1.
Dem: Se n e primo, podemos tomar a qualquer que n~ao seja da forma xq modulo n; ou seja,
uma propor
~ao de (q 1)=q dentre inteiros entre 1 e n 1 serve
omo a. A re
pro
a segue do
Corolario 4.3
om F = qk .
Uma expressiva maioria entre os 100 maiores primos
onhe
idos est~ao nas
ondi
~oes do
teorema de Proth (ver tabelas). Isto se deve ao fato de primos desta forma serem frequentes
(mais frequentes do que, por exemplo, primos de Mersenne) e que sua primalidade e fa
ilmente
demonstrada usando este resultado.
5 Primos de Mersenne
Um numero de Mersenne e um numero da forma Mp = 2p 1. Os 5 maiores numeros primos
onhe
idos atualmente s~ao primos de Mersenne. O maior deles e 213466917 1, des
oberto em
14/11/2001. Este e um dos dois primos
onhe
idos
om mais de um milh~ao de dgitos. O
outro e 26972593 1 (tambem primo de Mersenne). Ambos foram des
obertos pelo GIMPS (veja
www.mersenne.org). O
riterio de Lu
as-Lehmer, que apresentaremos nesta se
~ao, e um dos
fatores para que isso o
orra pois forne
e um teste de primalidade bastante rapido para numeros
de Mersenne. Vejamos primeiramente que 2p 1 so tem
han
e de ser primo quando p e primo.
Proposi
~ao 5.1: Se 2n 1 e primo ent~ao n e primo.
47
Por outro lado, n~ao se sabe demonstrar nem que existam innitos primos de Mersenne nem
que existem innitos primos p para os quais Mp e
omposto. Conje
tura-se, entretanto, que
existam innitos primos p para os quais Mp e primo e que, se pn e o n-esimo primo deste tipo,
temos
0 < A < log pn < B < +1
n
para onstantes A e B . Existem algumas onje turas mais pre isas quanto ao valor de
pn p ;
lim
n
n!1
Eberhart
onje
tura que este limite exista e seja igual a 3=2; Wagsta por outro lado
onje
tura
que o limite seja
2e
1; 4757613971
onde
e a ja men
ionada
onstante de Euler-Mas
heroni.
Primos de Mersenne s~ao interessantes tambem por
ausa de numeros perfeitos. Dado n 2 N ,
denimos
X
(n) =
d;
djn
Em parti
ular, se (a; b) = 1 ent~ao (ab) = (a)(b). Um inteiro positivo n e dito perfeito se
(n) = 2n; os primeiros numeros perfeitos s~ao 6, 28 e 496. Nosso proximo resultado
ara
teriza
os numeros perfeitos pares.
48
Proposi
~ao 5.2: Se Mp e um primo de Mersenne ent~ao 2p 1 Mp e perfeito. Alem disso, todo
numero perfeito par e da 2p 1Mp para algum primo p, sendo Mp um primo de Mersenne.
Dem: Se Mp e primo ent~ao
(2p 1Mp ) = (2p
1)(Mp + 1) = 2 2p 1Mp:
Por outro lado seja n = 2k b,
om k > 0 e b mpar, um numero perfeito par. Temos (n) =
2n = (2k )(b) donde 2k+1b = (2k+1 1)(b) (2k+1 1)(b + 1), valendo a igualdade apenas
se b for primo. Desta desigualdade temos b 2k+1 1. Por outro lado,
omo (2k+1 1)j2k+1b
e (2k+1 1; 2k+1) = 1, temos (2k+1 1)jb e 2k+1 1 b. Assim b = 2k+1 1 e 2k+1b =
(2k+1 1)(b + 1), donde b e primo. Pela proposi
~ao 3.9, p = k + 1 e primo, b = Mp e
n = 2p 1 Mp .
Por outro lado, um dos problemas em aberto mais antigos da matemati
a e o da exist^en
ia
de numeros perfeitos mpares. Sabe-se apenas que um numero perfeito mpar, se existir, deve
ser muito grande (mais de 300 algarismos) e satisfazer simultaneamente varias
ondi
~oes
ompli
adas.
Conje
tura 5.3: N~ao existe nenhum numero perfeito mpar.
Nosso proximo resultado e o
riterio de Lu
as-Lehmer, a base dos algoritmos que testam
para grandes valores de p se 2p 1 e ou n~ao primo:
Teorema 5.4: Seja S a sequ^en
ia denida por S0 = 4, Sk+1 = Sk2 2 para todo natural k.
Seja n > 2; Mn = 2n 1 e primo se e somente se Sn 2 e multiplo de Mn .
Dem: Observemos ini
ialmente que
Sn = (2 + 3)2 + (2
n
3)2n
para todo natural n. A demonstra
~ao por indu
~ao e simples:
laramente S0 = 4 = (2+ 3)2 +
p
(2 3)2 e
0
Sk+1 = Sk2
2 = ((2 + 3)2k + (2
p
p
3)2k )2 2
3)2k :
+1
49
3)2k + ((2
3)2k )2 2
Suponha por absurdo que Mnj(2 + 3)2n + (2 3)2n e que Mn seja
omposto,
om um
p
p
fator primo q
om q2 < Mn. Teremos (2+ 3)2n +(2 3)2n 0 (mod q) donde, no grupo
p
p
p
p
p
multipli
ativo G = (Z=(q)[ 3), temos (2+ 3)2n = (2 3)2n : Como 2 3 = (2+ 3) 1
p
esta equa
~ao pode ser rees
rita
omo (2 + 3)2n = 1 (ainda em G), o que signi
a que a
p
ordem de 2 + 3 em G e exatamente 2n. Isto e um absurdo, pois o numero de elementos de
G e apenas q 2 1 < 2n . Fi
a portanto demonstrado que se Sn 2 e multiplo de Mn ent~ao Mn e
primo.
2
Suponha agora Mn primo, n > 2. Lembramos que n e um primo mpar. Por re
ipro
idade
quadrati
a temos ( M3n ) = ( M3n ) = 1, pois 3 Mn 1 (mod 4) e Mn 1 (mod 3).
p
Assim, 3 n~ao e um quadrado em Z=(Mp) e K = Z=(Mp)[ 3 e um
orpo de ordem Mn2 . Alem
p
p 2n
disso, 3 mn = ( M3n ) = 1 em K . Queremos provar que (2 + 3)2n + (2
3)
0
(mod M )p , ou seja, que e igual a 0 em K . Isto equivale a demonstrarmos que temos (2 +
p 2n
p 2n
p
3) = (2
3) em K , o que pode ser rees
rito
omo (2 + 3)2n = 1; devemos
p
portanto provar que a ordem de 2 + 3 e exatamente 2n. Note que 2n = Mn + 1 donde
p
p
p
p
p
p
(2 + 3)2n = (2 + 3)Mn (2 + 3) = (2
3)(2 + 3) = 1 (note que, em K , (2 + 3)Mn =
p
p
p
p
(2Mn + 3)Mn = 2 + 3 Mn 3 = 2 3); assim e
laro que a ordem de 2 + 3 e um divisor
de 2n.
2
Como K tem Mn2 1 = 2n+1(2n 1 1) elementos, devemos provar que 2 + 3 n~ao e uma
p
p
quarta pot^en
ia em K . Note que (2 + 3)2n = 1 demonstra que 2 + 3 e um quadrado, o
p
p
que alias pode ser visto mais diretamente: 2 + 3 = (1 + 3)2 =2 e 2 = 2n+1 = 2(n+1) e uma
p
quarta pot^en
ia em K . Resta-nos assim demonstrar que (1 + 3) n~ao s~ao quadrados em K .
p
p
p
p
Suponha por absurdo que (1 + 3) = (a + b 3)2,
om = 1; temos (1 3) = (a b 3)2
e, multipli
ando, 2 = (a2 3b2 )2, o que signi
a que 2 e um quadrado modulo Mn (pois a
e b s~ao inteiros). Isto, entretanto, e
laramente falso: ( M2n ) = ( M1n )( M2n ) = 1 1 = 1, pois
Mn 3 (mod 4) e ja vimos que 2 e um quadrado modulo Mp . Isto
on
lui a demonstra
~ao.
2
Mesmo quando Mp n~ao e primo, podemos garantir que seus fatores primos ser~ao de
ertas
formas espe
iais. Isto e muito util quando pro
uramos primos de Mersenne pois podemos
eliminar alguns expoentes en
ontrando fatores primos de Mp. Isto tambem pode ser util para
50
onje
turarmos quanto a \probabilidade" de Mp ser primo, ou, mais pre
isamente, quanto a
distribui
~ao dos primos de Mersenne.
Proposi
~ao 5.5: Sejam p > 2 e q primos
om q um divisor de Mp . Ent~ao q 1 (mod p) e
q 1 (mod 8).
Dem: Se q divide Mp ent~ao 2p 1 (mod q ), o que signi
a que a ordem de 2 modulo q e
p (pois p e primo). Isto signi
a que p e um divisor de q 1, ou seja, que q 1 (mod p).
Por outro lado, 2 2p+1 = (2(p+1)=2 )2 (mod q), donde ( 2q ) = 1, o que signi
a que q 1
(mod 8).
Os varios valores de p para os quais a primalidade de Mp foi testada sugerem que para a
ampla maioria dos valores de p, Mp n~ao e primo. Isto e apenas uma
onje
tura: n~ao se sabe
demonstrar sequer que existem innitos primos p para os quais Mp seja
omposto. Vamos agora
ver uma proposi
~ao que serve para garantir que para
ertos valores espe
iais de p, alguns muito
grandes, Mp n~ao e primo.
Proposi
~ao 5.6: Seja p primo, p 3 (mod 4). Ent~ao 2p + 1 e primo se e somente se 2p + 1
divide Mp .
Dem: Se q e primo ent~ao Mp = 2p 1 = 2(q 1)=2 1 ( 2q ) 1 (mod q ). Mas p 3 (mod 4)
signi
a que q 7 (mod 8), donde ( 2q ) = 1. Assim, Mp 0 (mod q), o que demonstra uma
das impli
a
~oes da proposi
~ao.
Por outro lado, se 2p + 1 n~ao e primo tem fatores primos r
om r 6 1 (mod p) (pois r < p).
Se 2p + 1 dividisse Mp, r seria um fator primo de Mp,
ontrariando a proposi
~ao anterior.
Os primos p para os quais 2p+1 e primo s~ao
hamados de primos de Sophie Germain. Alguns
primos de Sophie Germain bastante grandes s~ao
onhe
idos,
omo p0 = 18458709 232611 1;
assim, pela proposi
~ao anterior, Mp e
omposto. Sabe-se tambem que se SG (x) denota o
numero de primos de Sophie Germain menores do que x ent~ao existe C tal que para todo x
0
x
:
(log x)2
A
redita-se que SG (x) seja assintoti
o a
x=(log x)2 para algum
> 0 mas n~ao se sabe demonstrar sequer que existem innitos primos de Sophie Germain.
51
PARTE II
~
APROXIMAC
OES
DIOFANTINAS
52
53
CAPITULO 3
Fra
o~es Contnuas, Representa
o~es de Numeros
e Aproxima
o~es
Introdu
~ao
A teoria de fra
~oes
ontnuas e um dos mais belos temas da matemati
a elementar, sendo
ainda hoje assunto de pesquisa re
ente (in
luindo a do autor destas linhas). O objetivo deste
artigo e servir
omo refer^en
ia didati
a em portugu^es a nvel se
undario sobre o assunto.
Nas in
lus~oes N Z Q R a passagem de Q para R e sem duvida a mais
ompli
ada
on
eitualmente, e a representa
~ao de um numero real esta diretamente ligada a propria no
~ao
de numero real.
De fato, o
on
eito de numero natural e quase um
on
eito primitivo no ensino se
undario.
Ja um numero inteiro e um numero natural
om um sinal que pode ser + ou , e um numero
ra
ional e a raz~ao entre um numero inteiro e um natural n~ao nulo. Por outro lado, dizer o que
e um numero real e tarefa bem mais
ompli
ada, mas ha
oisas que podemos dizer sobre eles.
Uma propriedade essen
ial de R e que todo numero real pode ser bem aproximado por numeros
ra
ionais. Efetivamente, dado x 2 R , existe k 2 Z (k = [x) tal que 0 x k < 1. Podemos
es
rever a representa
~ao de
imal de x k = 0, a1 a2 : : : an : : : , ai 2 f0; 1; : : : ; 9g, o que signi
a
que se rn = an + 10 an 1 + 100 an 2 + + 10n 1 a1, ent~ao rnn x k < rn +n 1 , e portanto
10
10 r
rn
k + n e uma boa aproxima
~ao ra
ional de x, no sentido que o erro x k + nn e menor
10
10
1 , que e um numero bem pequeno se n for grande. A representa
~ao de
imal de um
que 10n
numero real forne
e pois uma sequ^en
ia de aproxima
~oes por ra
ionais
ujos denominadores
s~ao pot^en
ias de 10.
p
p+1
Dado qualquer x 2 R e q natural n~ao nulo existe p 2 Z tal que x <
, e porq
q
tanto x p < 1 e x p + 1 1 . Em parti
ular ha aproxima
~oes de x por ra
ionais
om
54
denominador q
om erro menor que 1 . A representa
~ao de
imal de x equivale a dar essas
q
aproxima
~oes para os denominadores q que s~ao pot^en
ias de 10, e tem meritos
omo sua prati
idade para efetuar
al
ulos que a fazem a mais popular das representa
~oes dos numeros reais.
Por outro lado, envolve a es
olha arbitraria da base 10, e o
ulta frequentemente aproxima
~oes
ra
ionais de x muito mais e
ientes do que as que exibe. Por exemplo,
22
1
355
1
314
3141592
<
e
<
<
<
7
700
100
113 3000000
1000000
22 355
s~ao melhores aproxima
~oes de que aproxima
~oes de
imais
om demostram que e
7 113
nominadores muito maiores, e de fato s~ao aproxima
~oes muito mais espeta
ulares do que se
podia esperar.
O objetivo deste artigo e apresentar uma outra maneira de representar numeros reais, que
sempre forne
e aproxima
~oes ra
ionais surpreendentemente boas, e de fato forne
e todas essas aproxima
~oes ex
ep
ionalmente boas, alem de ser natural e
on
eitualmente simples: a
representa
~ao por fra
~oes
ontnuas.
Dado x 2 R , denimos [x
omo o uni
o inteiro tal que [x x < [x + 1. Denimos
re
ursivamente
1 ; para todo n 2 N:
0 = x; an = [n ; e, se n 2 Z; n+1 =
n
x = 0 = a0 +
a1 +
a2 + +
Sen~ao denotamos
x = a0 +
an
an
1
a2 + : : :
O sentido dessa ultima nota
~ao
ara
laro mais tarde. A representa
~ao a
ima se
hama a
representa
~ao por fra
~oes
ontnuas de x.
a1 +
55
Ja o denominador qn da n-esima aproxima
~ao por fra
~ao
ontnua de x depende de x. Apesar
pn qn
onverge a e =12 ln 2 = 3; 27582291872 : : : (meu numero real
disso, para quase
todo
real
x
,
s
2
preferido!) e
pn
onverge a e
qn
2 =6 ln 2
= 0; 093187822954 : : : .
ax + b
Observa
~ao: Os n (
omo fun
~oes de x) s~ao fun
~oes distintas do tipo
om a; b;
; d
x + d
inteiros. Se a fra
~ao
ontnua de x e periodi
a, ou seja, se n+k = n, n 2 N , k 2 N , ent~ao x
sera raiz de uma equa
~ao do segundo grau
om
oe
ientes inteiros, ou seja, sera um irra
ional
p
da forma r + s, r; s 2 Q . A re
pro
a e verdadeira (de fato ja foi enun
iada no artigo de Jose
Paulo Carneiro na RPN, ver refer^en
ias), mas sua prova e mais dif
il, e sera apresentada no
Ap^endi
e.
Se x 2 Q , sua representa
~ao sera nita, e seus
oe
ientes an v^em do algoritmo de Eu
lides:
p
x= ; q>0
q
p = a0 q + r0
0 r0 < q
q = a1 r0 + r1
0 r1 < r0
r0 = a2 r1 + r2
0 r2 < r1
...
...
rn 2 = an rn
Isso ja e uma vantagem da representa
~ao por fra
~oes
ontnuas (alem de n~ao depender
de es
olhas arti
iais de base), pois o re
onhe
imento de ra
ionais e mais simples que na
representa
~ao de
imal.
56
p1 q0
p0 q1 = (a0 a1 + 1) a0 a1 = 1
pn+2 qn+1
x=
n pn 1 + pn
nqn 1 + qn
2
2
e n = pn
2
qn 1
qn 2
, 8 n 2 N.
pn 1
Note que as reduzidas de ordem par s~ao menores e as de ordem mpar maiores que x =
[a0 ; a1; : : : .
x
pn
1 < 1 , 8 n 2 N.
Teorema 1.3:
qn
qn qn+1 qn2
p
1
p
n
n
+1
<
x
< 1 , 8 n 2 N.
Alem disso, x
ou
2
qn
2qn
qn+1 2qn2 +1
p p
Dem: x sempre perten
e ao segmento de extremos n e n+1
ujo
omprimento e
qn qn+1
( 1)n
pn+1
1
1 < 1
p
p
n
n
=
=
x
)
q
qn
qn qn+1
qn qn+1
qn
qn qn+1 qn2
n+1
57
Alem disso, se
ent~ao
1
qn qn+1
= x
pn
+ x
qn
x
1
pn
e x
qn 2qn2
pn+1
1
> 2 ;
qn+1
2qn+1
pn+1
1 + 1
qn+1
2qn2 2qn2+1
) qn+1 = qn ; absurdo.
pn
q
( 1)n
; onde n+1 = n 1 = [0; an; an 1 ; an 2 ; : : : ; a1 :
=
2
qn (n+1 + n+1 )qn
qn
pn 1 q n 1 x
. Portanto,
q n x pn
n
pn 1 qn 1 x qn 1 pn 1 qn pn qn 1
+
=
= ( 1)
)x
qn x p n
qn
qn (qn x pn)
qn (qn x pn )
q (q x p )
( 1)n
= n n2 n =
qn
(n+1 + n+1)qn2 :
n+1 + n+1 =
pn
=
qn
1
p
< p 2 para
q
5q
58
1 + 1 p5; 1 + x + y p5 e e 1 + 1 p5:
1+x y
x 1+y
Temos
1
1
1
5
1
1+x+y 5) 1+x 5 y ) 1+x + y p
+y = p
5 y
y( 5 y)
5 1
5 1
e portanto (1 + y)( 5 1 y) 1 ) y 2 , e portanto devemos ter y = 2 , o que
e absurdo pois y = n+1 = qn 1 2 Q .
qn
p
1
p
< p 2 tem innitas solu
~oes ra
ionais ,
q
q
5q
1+ 5
" > 0; =
e
2
temos
1+
q
2
<
p 1
( 5 + ")q
1+
q
2
ou seja,
1 +
2
p
q
1
p
< p
;
q
( 5 + ")q2
1
q
5 (
<
p
1 5
2
p
q
5+"
5 + "):
p
q
absurdo, pois 2 Q .)
Outra maneira de ver que, para todo " > 0,
1 +
2
1
p
tem apenas um
< p
q
( 5 + ")q2
p
numero nito de solu
~oes p 2 Z e observar que as melhores aproxima
~oes ra
ionais de 1 + 5
q
2
pn
s~ao as reduzidas de sua fra
~ao
ontnua [1; 1; 1; 1; : : : (ver se
~ao 2 e exemplos), para as quais
p qn
1
temos 1 + 5 pn =
,
om n+1 + n+1 se aproximando
ada vez mais de
2
qn
(n+1 + n+1 )qn2
p
[1; 1; 1; 1; : : : + [0; 1:1:1: : : : = 1 + 5 + 5 1 = 5:
2
2
Exemplos:
p1 22
= ,
q1 7
p2 333
=
,
q2 106
p3 355
=
:::
q3 113
1 + 5 = [1; 1; 1; 1; : : : pois 1 + 5 = 1 + 1 + 5 = 1 + 1 + 5 + 1 + 5 =
2
2
2
2
2
p
p 1+ 5
Isto prova em parti
ular que 2 e 2 s~ao irra
ionais, pois sua fra
~ao
ontnua e
innita.
aproxima
~ao por falta
om denominador q, que e 1=q. Assim, o erro reduzido da aproxima
~ao
de x por p=q e jqx pj.
p
pn
Teorema 2.1: jqnx pn j < jqx pj, 8 p; q 2 Z, 0 < q < qn
=
6
. Alem disso,
q
qn
jqnx pnj jqx pj, 8 p; q 2 Z, 0 < q < qn+1 .
p
q
Dem:
Portanto
1
pn
1
p
p
>
se
q < qn+1 , e assim esta fora do intervalo n ; pqnn
qn
qqn qn qn+1
q
qn
+1
+1
p
min
q
p
q
pn p
;
qn q
pn+1
qn+1
1 jqnx pnj:
qq1 ) jqx pj
n+1
qn+1
Alem disso, se vale a igualdade, ent~ao x = pn+1 , donde an+1 2, e qn+1 > 2qn , pois numa
qn+1
fra
~ao
ontnua nita,
omo no algoritmo de Eu
lides, o ultimo
oe
iente an e sempre maior
que 1. Nesse
aso, se q < qn , teremos
x
p
x
q
>
Corolario 2.2:
pn+1
q
n+1
pn
qn
1
pn
qn
qqn
qn qn+1
1 ) jqx pj > 1 jq x p j:
n
n
qqn+1
pn
< x
qn
pj < j q 0 x
= qqn+1q
n n+1
qn+1
p
,
q
8 q < qn .
p0 j ,
q0
6= ent~ao p=q e uma reduzida da fra
~ao
q q0
8 q0 q, p
p
p 1
< 2 ent~ao e uma reduzida da fra
~ao
ontnua de x.
Teorema 2.4: Se
q
2q
q
p p
Dem: Seja n tal que qn < q qn+1 . Suponha que 6= n+1 . Ent~ao, temos duas possibilidades:
q qn+1
61
a)
b)
q
q <
qn+1
2 )
p
1
q
qqn+1
qn+1
21q2 .
qn+1 q
>
qqn qn+1
1
2qqn
> 2q1 .
p
q
pn
q
n
pnm
q
nm
p
q
pn
qn
qq1
qn qn+1
E temos
n =
pn 2 q n 2 x
;
q n 1 x pn 1
an
8n 2 :
N
Isso da uma prova expl
ita do fato de que se a fra
~ao
ontnua de x e periodi
a, ent~ao
x e raiz de uma equa
~ao do segundo grau
om
oe
ientes inteiros. De fato, se n+k = n ,
n 2 N , k 2 N ent~ao
pn 2 qn 2 x pn+k 2 qn+k 2 x
=
) (qn 1 qn+k 2 qn 2 qn+k 1)x2
qn 1 x pn 1 qn+k 1 x pn+k 1
+ (pn+k 1 qn 2 + pn 2 qn+k 1 pn+k 2 qn 1 pn 1 qn+k 2)x
+ pn 1 pn+k
pn 2 pn+k 1 = 0:
Note que o oe iente de x2 e n~ao-nulo, pois qn 1 e uma fra ~ao irredutvel (de fato pn 1qn
q
qnn+k2
n
pn 2 qn 1 = ( 1) ) de denominador qn 2 e
qn+k
qn 1 qn+k 1
6=
) qn 1 qn+k
qn+k 2 > qn 2 , donde
qn 2 qn+k 2
1
2
2
Vamos provar agora um resultado devido a Lagrange segundo o qual se x e uma irra
ionalp
idade quadrati
a, isto e, se x e um irra
ional do tipo r + s, r; s 2 Q , s > 0 ent~ao a fra
~ao
ontnua de x e periodi
a, i.e., existem n 2 N , k 2 N
om n+k = n . Neste
aso, existem a,
62
na se
~ao 1,
x=
e portanto
pn 1 n + pn 2
;
qn 1 n + qn 2
pn 1 n + pn 2 2
+ b pn 1n + pn
qn 1 n + qn 2
qn 1 n + qn
) Ann2 + Bnn + Cn = 0;
ax2 + bx + = 0 ) a
2
2
+ =0
onde
An = a p2n 1 + b pn 1 qn 1 +
qn2
Bn = 2a pn 1 pn 2 + b(pn 1 qn 2 + pn 2 qn 1 ) + 2 qn 1qn
Cn = a p2n 2 + b pn 2 qn 2 + qn2 2 :
Note que Cn = An 1 . Vamos provar que existe M > 0 tal que 0 < jAnj M para todo
n 2 N , e portanto 0 < jCn j M , 8 n 2 N :
An
= a p2
n 1 + b pn 1 qn 1
+ q2
n 1
= a q2
n 1
pn
qn
1
1
x
pn
qn
1
1
pn
qn
1
1
< q2
1
n 1
p
n
1
An
n 1 x
qn 1
pn 1
+ x
a( x x
qn 1
1)j
a jx xj
j = a q2
j
x
pn
qn
1
1
j + 1) =: M:
Notemos agora que Bn2 4AnCn = b2 4a
, 8 n 2 N . De fato, Bn2 4AnCn = (pn 1qn 2
pn 2 qn 1 )2 (b2 4a
) = b2 4a
. Portanto, Bn2 4An Cn + b2 4a
= 4M 2 + b2 4a
) Bn
p
M 0 = 4M 2 + b2 4a
; 8 n 2 N .
Provamos assim que An , Bn e Cn est~ao uniformemente limitados, donde ha apenas um
numero nito de possveis equa
~oes AnX 2 + BnX + Cn = 0, e portanto de possveis valores de
n . Assim, ne
essariamente n+k = n para alguma es
olha de n 2 N , k 2 N .
63
Teorema 3.1: A equa
~ao x2 Ay 2 = 1 tem innitas solu
~oes inteiras (x; y ). Alem disso, as
solu
~oes
om x e y inteiros positivos podem ser enumeradas por (xn; yn), n 0 de modo que,
p
p
para todo n, xn + yn A = (x1 + y1 A)n, e portanto
n + (x
n
y
(x + y
e yn = 1 1 A) p 1 1 A ) :
2 A
Observa
~ao: As sequ^en
ias (xn ) e (yn ) a
ma satisfazem a re
orr^en
ia un+2 = 2x0 un+1
8 n 1.
un ,
De fato,
A(xv + yu)2
p
q
p
p
p
p
p
jp2 Aq2j = jp q Ajjp + q Aj = qj A pq jjp + q Aj < q q12 jp + q Aj
p p
p
p
= j pq + Aj 2 A + j A pq j < 2 A + 1:
64
Considerando innitos pares de inteiros positivos (pn; qn)
om j A pqnn j < q1n , teremos sempre
p
jpn Aqn2 j < 2 A + 1, e portanto temos um numero nito de possibilidades para o valor
(inteiro) de pn Aqn2 .
onsequentemente, existe um inteiro k 6= 0 tal que pn Aqn2 = k
para innitos valores de n. Obtemos portanto duas sequ^en
ias
res
entes de pares de inteiros
positivos ur ); (vr ), r 2 N tais que u2r kvr2 = k para todo r.
2
Como ha apenas jkj2 possibilidades para os pares (ur (mod jkj); vr (mod jkj)), axistem inteiros a e b e innitos valores de r tais que ur a(mod jkj) e vr b(mod jkj). Tomamos ent~ao
r < s
om as propriedades a
ima. Seja
u + v A (u + v A)(ur vr A)
x + y A = s sp = s s 2
ur Avr2
ur + vr A
ur vs usvr p
usur Avs vr
+
=
A:
k
k
Temos usur AvsVr u2r Avr2 = k 0(mod jkj) e ur vs usvr ab ab = 0(mod jkj), e
p
p
portanto x = us ur kAvsvr e y = ur vs k usvr s~ao inteiros. Por outro lado, (x + y A)(ur + vr A) =
p
p
p
p
p
us + vs A, donde N (x + y A)N (ur + vr A) = N (us + vs A). Como N (ur + vr A) =
p
p
N (us + vs A) = k, segue que N (x + y A) = x2 Ay 2 = 1. Alem disso,
omo s > r,
p
p
p
p
us + vs A > ur + vr A, donde x + y A = uurs ++vvsr pAA > 1.
y1 A)n = 1;
CAPITULO 4
Propriedades Estatsti
as de Fra
o~es Contnuas
e Aproxima
o~es Diofantinas: O Teorema de Khint
hine
Introdu
~ao:
O problema basi
o da teoria de aproxima
~oes diofantinas e o de estudar boas aproxima
~oes
de numeros reais por numeros ra
ionais. Uma extens~ao natural desse problema e o estudo de
aproxima
~oes simult^aneas de n numeros reais por numeros ra
ionais
om o mesmo denominador.
Dado um numero irra
ional , um resultado
lassi
o de Diri
hlet (que ja provamos usando
fra
~oes
ontnuas) arma que existem innitos ra
ionais pq tais que j pq j < q1 (vejamos outra
prova simples: dado N 2 N ,
onsideramos os N + 1 elementos de [0; 1) da forma j bj
,
S
om 0 j N . Como [0; 1) = kN=01 Nk ; kN+1 , existem dois desses elementos, digamos
j1 bj1
e j2 bj2
num mesmo intervalo Nk ; kN+1 , e portanto, se j1 < j2 , q = j2 j1 e
p = bj2
bj1
, temos 0 < jq pj < N1 ) j pq j < qN1 q1 ). Hurwitz e Markov provaram
p
que de fato j pq j < p51q tem innitas solu
~oes pq 2 Q , para todo irra
ional , e que 5 e a
maior
onstante
om essa propriedade. Markov ([Ma) provou que, para todo
< 3, o
onjunto
dos 2 R tais que j pq j <
q1 tem apenas um numero nito de solu
~oes pq 2 Q e enumeravel,
mas o
onjunto dos 2 R tais que j pq j < 31q tem apenas um numero nito de solu
~oes tem
o mesmo
ardinal que R .
2
j pq j < f (qq) ;
(1)
onde f : N ! R + e uma fun
~ao de
res
ente, do ponto de vista da teoria da medida. Vamos
P
ao (1) tem innitas
provar o teorema de Khint
hine, segundo o qual, se 1
q=1 f (q ) = +1 ent~
P
solu
~oes pq 2 Q , para quase todo 2 R , mas se 1
ao (1) tem apenas um
q=1 f (q ) < +1 ent~
numero nito de solu
~oes pq 2 Q , para quase todo 2 R .
66
Note que do ponto de vista topologi
o a situa
~ao e diferente: qualquer que seja a fun
~ao
positiva f , (1) tem innitas solu
~oes pq 2 Q para 2 Rf , onde Rf e um
onjunto residual, i.e.
ontem (de fato e) uma interse
~ao enumeravel de abertos densos.
A prin
ipal te
ni
a usada para estudar aproxima
~oes de numeros reais por numeros ra
ionais
s~ao as fra
~oes
ontnuas, que forne
em todas as boas aproxima
~oes de um irra
ional por
ra
ionais. As deni
~oes e provas dos resultados a seguir sobre fra
~oes
ontnuas podem ser
en
ontradas em [Mo.
Dado 2 R , denimos 0 = , an = bn
e, se n 2= Z, n+1 =
Para
ada n 2 N tomamos pn 2 Z e qn 2 N primos entre si tais que
1
pn
= [a0; a1 ; a2; : : : ; an := a0 +
qn
a1 + a +
2
para todo n 2 N .
.. .
n an ,
+ a1
Temos
p
1
1
1
< j n j <
; para todo n 2 N :
2
2
(an+1 + 2)qn
qn an+1 qn qn2
As sequ^en
ias pn e qn satisfazem pn+1qn pnqn+1 = ( 1)n, 8 n 0. Se j pq j < 21q ent~ao pq = pqnn ,
para algum n 2 N . Por outro lado, para todo n 2 N vale j pqnn j < 2q1n ou j pqnn j < 2qn1 .
2
+1
+1
+1
Temos
pn+2 = an+2 pn+1 + pn ; qn+2 = an+2 qn+1 + qn e =
n+1 pn + pn 1
; para todo n 2 N :
n+1qn + qn 1
1+1
pj = (1 j
b1 j
; 2 j b2 j
; : : : ; nj bnj
); 0 j N n
67
S
n
no hiper
ubo [0; 1)n. Dividimos [0; 1)n
omo kN=01 Nk ; kN+1 em N n
ubos de lado N1 . Havera
ne
essariamente dois pontos pj e pj num mesmo
ubo dessa de
omposi
~ao, e, se j1 < j2 ,
q = j2 j1 , pj = bj2 j
bj1 j
, teremos jj pqjj j < Nq1 j q 1 =n , para todo j n.
1
1+1
Infelizmente n~ao ha um substituto satisfatorio para a teoria de fra
~oes
ontnuas em dimens~ao maior que um, mas e possvel provar uma vers~ao n-dimensional do Teorema de Khin
hine (provada originalmente em [K), o que faremos na Se
~ao 2.
Para maiores informa
~oes sobre aproxima
~oes diofantinas, veja [C1 e [S.
a) Se
P1
n=1 f (n)
b) Se
P1
n=1 f (n) =
p
q
f (q)
q
Observa
~ao: A
ondi
~ao de nf (n) ser de
res
ente n~ao e de fato ne
essaria,
omo veremos
na se
~ao 2, mas simpli
a a prova. Por outro lado, n~ao podemos retirar a hipotese de f ser
de
res
ente (veja [C2).
Dem:
Lema 1.2: Sejam n; k 2 N , e seja [0; a1 ; a2 ; : : : a fra
~ao
ontnua de um numero 2 [0; 1. A
probabilidade de um termo an+1 ser igual a k dado que a1 = k1 , a2 = k2 ; : : : ; an = kn esta entre
1=(k + 1)(k + 2) e 2=k(k + 1), 8 k1; k2; : : : ; kn 2 N .
Dem: Sejam pn 1 =qn 1 = [0; a1 ; a2 ; : : : ; an 1 e pn =qn = [0; a1 ; a2 ; : : : ; an 1 ; an . Se 2 [0; 1,
h
= [0; a1 ; a2 ; : : : ; an ; n+1 , n+1 2 [1; +1) ent~ao 2 pqnn ++pqnn ; pqnn , e, se alem disso an+1 = k,
1
68
(k+1)pn +pn , e valem as re
pro
as (as ordens dos extremos dos intern +pn
temos 2 kp
kqn +qn ; (k+1)qn +qn
valos podem estar tro
adas). Os
omprimentos dos referidos intervalos s~ao, respe
tivamente,
1
1
ao entre seus
qn (qn +qn ) e (kqn +qn )((k+1)qn +qn ) (pois jpn qn 1 pn 1 qn j = 1), e portanto a raz~
qn )
1+
omprimentos e (kqn+qnqn(q)((n +k+1)
qn +qn ) = (k+ )(k+1+ ) , onde = qn 1 =qn 2 [0; 1. Portanto, a
raz~ao perten
e a [1=(k + 1)(k + 2); 2=k(k + 1).
1
Antes de provar o Lema 1.4 vamos mostrar
omo termina a prova do Teorema de Khint
hine.
p
Suponhamos que f (n) < 1. Seja
= 1+2 5 . Se a aproxima
~ao pn=qn de e tal que
j pqnn j < f (qqnn ) ent~ao an+1 + 2 > qnf1(qn) >
n f1(
n ) (pois para todo 2 R n Q vale qn >
n 1 ,
8 n 2 N ). ) an+1 >
n f1(
n ) 2. A probabilidade de an+1
n f1(
n ) 2 =: A(n) e pelo
P
menos 1 A(2n) , 8 n 2 N (pelo
orolario do Lema 1.2), e a hipotese de 1
n=1 f (n) < 1 impli
a
P1
que n=1 A(2n) < 1, por
ompara
~ao
om
1
1
X
k=1
+1
k f (
k ) <
Q
1
X
1 k=0
( k+1
k )f ( k+1)
<
1
X
n=1
1
2
Temos portanto 1
n=1 (1
A(n) ) > 0 ) para
ada " > 0 existe n0 2 N tal que n=n (1
2
An ) > 1 ", donde
om probabilidade total an+1 A(n) para todo n su
ientemente grande
) j pq j < f (qq) tem apenas um numero nito de solu
~oes.
0
Suponhamos agora que f (n) = +1, xemos
> 0 e vamos nos restringir ao
onjunto X
dos 2 [0; 1 tais que qn <
n para todo n 2 N (a uni~ao dos
onjuntos X
para todo
2 N tem
probabilidade total em [0; 1, pelo Lema 1.4).
Se an+1 > qnf1(qn) teremos j pqnn j < f (qqnn ) . Como qn <
n, qnf1(qn) <
n f1(
n) . Vamos mostrar
que
om probabilidade total temos an+1
nf1(
n ) para innitos valores de n 2 N . Isso segue
Q
P1 n
1
1
n
1
de 1
n=1
B (n)+1 = 0, onde B (n) =
n f (
n ) , que por sua vez segue de n=1
f (
)
P
1
n+1
n )f (
n ) = +1. Portanto, para todo n 2 N temos Q1
1 1
0
n=1 (
n=n 1 B (n)+1 = 0,
e,
om probabilidade total, existe n n0
om an+1
nf1(
n ) , donde a equa
~ao j pqnn j < f (qqnn)
e satisfeita
om probabilidade total para innitos valores de n 2 N .
0
69
Prova do Lema 1.4: Sejam n; k 2 N . A probabilidade de que k apare
a pelo menos 4n=k(k +1)
P
vezes entre a1 ; a2; : : : ; an e limitada por nj=sn Cnj ( 2s )j (1 2s )n j , onde s = k(k4+1) , que e menor
j
s n j
s j
n
que ( 34 ) k k para k(kn+1) grande (de fato, Cn Cn(j ( )s )j (1(1 s )n) j = nj+1j 2 s s < 4 3s3s 2 s s = 64 33ss < 32 ,
Pn
s n j = 1, para j = 3sn , C j ( s )j (1 s )n j 1, donde
j s j
se j 3sn
n 2
4 , logo,
omo j =0 Cn ( 2 ) (1 2 )
4
2
Pn
P1 2 k
s
s
2
s
s
2
2 sn=4 =
sn
sn
(1
s
)
n
sn=
4
j
j
n
j
sn=
4
Cn ( 2 ) (1 2 )
( 3 ) e j=sn Cn( 2 ) (1 2 ) ( 3 )
k=0 ( 3 ) = 3( 3 )
3( 23 )n=k(k+1) < ( 43 )n=k(k+1), se n=k(k + 1) e su
ientemente grande). A probabilidade disso
p
p
p
a
onte
er pra algum k < [ n e no maximo n ( 34 ) n, que
onverge a zero quando n !
+1. Por outro lado,
om probabilidade total, an < n2 para todo n su
ientemente grande
p
p
n
) qn < Qnk=1(ak + 1) < Qr=1n (r + 1) r r (n2 )4n= n
om probabilidade total para todo n
p
grande, pois tambem
om probabilidade total o numero de termos maiores ou iguais a n entre
p
a1 ; a2 ; : : : ; an e no maximo 4n= n, para n su
ientemente grande.
+1
( +1)
+1
4
( +1)
Como nlim
8 log n= n = 0, temos
om probabilidade total
!1
3
1
X
4 log(r + 1)
r=1
r(r + 1)
< +1:
Observa ~ao: Pode-se provar om metodos de teoria ergodi a que para quase todo 2 R vale
n!1
Pretendemos dis
utir este e outros resultados nos ligados a propriedade estatsti
as de fra
~oes
ontnuas num proximo artigo.
Corolarios do Teorema de Khint
hine:
i) Para quase todo 2 R , j pq j < q log1 q tem apenas um numero nito de solu
~oes pq 2 Q ,
e portanto j pq j < q 1 " tem apenas um numero nito de solu
~oes ra
ionais pq , para
todo " > 0. Em parti
ular ord = 2 para quase todo 2 R (onde ord := inf f >
0jj pq j < q1 tem innitas solu
~oes pq 2 Q g).
2
2+
70
b) Se
P1
q=1 F (q ) =
n
R .
p1 ; : : : ; pn
q
q
Dem:
Dem. de a): Dado q0 2 N ,
onsideremos o
onjunto
S (q0 ) =
n
Y
pi
f i ( q ) pi f i ( q )
;
; +
q q
q
que e o
onjunto dos 2 [0; 1)n tais que a desigualdade (*) do enun
iado do Teorema tem
T
alguma solu
~ao
om q q0 (e logo q 2 S (q0) e o
onjunto dos 2 R n tais que (*) tem
P
n 2n F (q)
n P1 F (q ), que
innitas solu
~oes ( pqi ; : : : ; pqn ) 2 Q n ). Temos m(S (q0)) 1
q=q q ( qn ) = 2
q=q
P1
T
tende a 0 quando q tende a 1, pois q=1 F (q)
onverge. Portanto, m( q 2 S (q0)) = 0.
0
gi (q)
=
Dem. de b): Primeiro obtemos fun
~oes de
res
entes g1 ; g2 ; : : : ; gn : N ! R + tais que qlim
!
s fi (q)
P
0 e G = g1; g2; : : : ; gn : N ! R + satisfaz qlim
qG(q ) = 0 e 1
q=1 G(q ) = +1 (podemos tomar
!1
G1 (k) = (F (1) + F (2) + + F (k)) 1 F (k) e G(k) = (G1 (1) + G1 (2) + + G1 (k)) 1 G1 (k),
8 k 2 N . Teremos G1 e G de
res
entes, G1(k) 1=k, kG(k) ! 0, G1 (k) = 1, G(k) = 1, e
denimos gi(q) = fi(q) (G(q)=F (q))1=n).
0
71
Para um tal rs ; : : : ; rsn que n~ao satisfaz (**) para nenhum q
om q0 q < s, p1; : : : ; pn o
Q
blo
o ni=1 rsi gis(s) ; rsi + gis(s) sera disjunto de todos os blo
os asso
iados a pq ; : : : ; pqn , 8 q
om q0 q < s, 8 p1; : : : ; pn 2 Z
om 0 pi < q.
1
Pn '(j ) k
j =1
j
k n.
j =1
n q=1 djq d
n
X
n (d)
1
d
e d
= nlim
!1 n
d
d=1
Pmjn (m)
1
X
(d)
d=1
= 62
d2
P1
P
P
(m) P1 1
1
k e
onvexa para
= 1, e 1
pois 1
k=1 k = n=1 n
k=1 k = 6 . Como h(x) = x
r=1 m
k
k
P
P
k 1, temos n1 nj=1 '(jj ) n1 nj=1 '(jj ) , donde segue o resultado (
om Ck = 6 k ).
2
Se q0 q < s, o numero de solu
~oes de jriq pisj < 2sgi(q)
om 0 pi < q, 0 ri < s e
no maximo 4sgi(q) desde que md
(ri ; s) = 1. De fato, nessas
ondi
~oes ri q pis n~ao se anula,
sen~ao teramos pqi = rsi , que e uma fra
~ao irredutvel de denominador s > q, absurdo. Seja
d = md
(s; q ). Dado k 2 Z, a equa
~ao diofantina rq ps = k so tem solu
~ao de djk, quando
tem d solu
~oes
om 0 r < s. Portanto, 0 < rq ps < x (resp. x < rq ps < 0) tem
no maximo db xd
x solu
~oes (p; r)
om 0 r < s, o que
laramente impli
a a arma
~ao.
72
s0
X
s=q0
('(s)n
= 2k
4nsn
s0
X
'(s)
q=q0
n
G(s) =
sX
0 1
= n
sn
Ps
q=q0 G(q )
s0
X
s 1
X
s=q0
q=q0
G(q ) G(s):
~g, temos
s=q0
sX
0 1
s=q0
n G(s)
2
G(q ))
G(s) 8n
s=q0
s 1
X
s
X
'( j ) n
j =q0
+ G(s0 )
s0
X
'( j ) n
j =q0
s0
X
s=q0 +1
Ps0 Ps 1
n
8 s=q0 q=q0 G(q) G(s)
+1
Como A(q) A(q + 1), 8 q 2 N , temos m(A1) 1512n > 0, onde A1 = q2 A(q). Se =
(1; 2 ; : : : ; n) 2 A1, ji pqi j < giq(q) , i = 1; 2; : : : ; n tem innitas solu
~oes ( pq ; pq ; : : : ; pqn ) 2 Q n .
Q
Como m(A1) > 0, dado " > 0 existe
ubo Q = ni=1[ bCi ; biC+1 , C 2 N , bi 2 Z, 0 bi < C tal
que m(A1 \ Q) (1 ")m(Q). Se T : Rn ! R n e dada por
N
T (X1 ; : : : ; Xn ) = (CX1
b1 ; CX2
73
b2 ; : : : ; CXn
b n );
Cp1 b1 Cp1 b2
r
Cp b
r1 r2
; ;:::; n =
;
;:::; n n
q q
q
q
q
q
2 n;
Q
e omo " > 0 pode ser feito arbitrariamente pequeno esta provado o item b).
74
Ap^endi e:
O proximo resultado, devido a Krone
ker, estende a Proposi
~ao A.1 para dimens~ao qualquer.
Proposi
~ao A.2: Seja = (1 ; 2 ; : : : ; n) 2 R n . Suponha que 1; 1 ; : : : ; n sejam linearmente inependentes sobre Q (isto e, k +m1 1 +m2 2 + +mnn = 0
om k; m1 ; : : : ; mn 2 Z impli
a k = m1 = = mn = 0). Ent~ao X = fk + m1 e1 + m2e2 + + mnenjk; m1 ; : : : ; mn 2 Zg
e denso em R n , onde e1 = (1; 0; : : : ; 0); : : : ; en = (0; : : : ; 0; 1) s~ao os elementos da base
an^oni
a
de R n .
Dem: Seja X R n o fe
ho de X , e V X um subespa
o vetorial maximal de R n
ontido em
X . Suponhamos por absudo que V 6= R n . Seja f um fun
ional linear n~ao nulo de R n .
75
Sn
1 \ V ?.
Observa
~ao: A hipotese da Proposi
~ao A.2 e ne
essaria, pois se existem inteiros k; m1 ; : : : ; mn
n~ao todos nulos tais que k + m1 1 + + mnn = 0 ent~ao X f(x1; : : : ; xn) 2 R n jm1x1 +
m2 x2 + + mn xn 2 Zg, que e um fe
hado
om interior vazio.
k!1
76
CAPITULO 5
p
<
q
p
1
provando que, para todo irra
ional , a desigualdade
< p 2 tem uma innidade de
q
5q
p
p
5, e
1
+
solu
~oes ra
ionais, e que 5 e a melhor
onstante
om esta propriedade: para =
2
1
p
tem apenas um numero nito de
para qualquer " > 0, a desigualdade < p
q
( 5 + ")q2
solu
~oes (ver ap^endi
e). Entretanto, xado irra
ional, pode-se esperar resultados melhores,
o que nos
ao k() = supfk > 0 j
leva a asso
iar a
ada a sua
onstante de melhor aproxima
~
p < 1 tem uma innidade de solu
~
oes ra
ionais p=qg = lim supp;q2 jq(q p)j 1) 2
q kq 2
p
Z
p
p
[f+1g. Nossa dis
uss~ao ini
ial mostra que k() 5 para todo 2 , e k 1 +2 5 = 5.
N~ao e dif
il provar que k() = +1 para quase todo 2 . Estaremos interessados nos 2
tais que k() < +1, e, mais parti
ularmente, na imagem da fun
~ao k, isto e, no
onjunto
L = fk() j 2 n e k() < +1g. Este
onjunto e
onhe
ido
omo o espe
tro de Lagrange.
R
R Z
(0; +1 (ou [0; +1, se
onsideramos sup(?) = 0 neste
ontexto) e,
aso limq!+1 q2 f (q) =
+1, ent~ao a imagem de kf seria f+1g.
O
onjunto L en
odi
a uma serie de propriedades diofantinas de numeros reais, e vem
sendo estudado ha bastante tempo. Talvez o primeiro resultado n~ao-trivial sobre ele se deva
p
p
apMarkov, que provou em 1879 (ver [Ma) que L \ ( 1; 3) = fk1 = 5 < k2 = 2 2 < k3 =
221 < g, onde (k ) e uma sequ^en
ia
onvergente a 3 tal que k2 2 Q para todo n. Assim,
n
n
5
o \
ome
o" do espe
tro de Lagrange e dis
reto. Essa arma
~ao n~ao e verdadeira para todo o
onjunto L. Marshall Hall prova em 1947 ([H) que L
ontem toda uma semi-reta (por exemplo
[6; +1)), e G. Freiman determinou
em
1975 a maior semi-reta que esta
ontida em L, que e
p
4 + 253589820 + 283748 462 ; +1 . Estes dois ultimos resulados baseam-se fortemente no
491993569
estudo de somas de
onjuntos de Cantor regulares,
uja rela
~ao
om o espe
tro de Lagrange
tem origem na formula que apresentamos para k(), e e o tema prin
ipal deste
aptulo. Por
exemplo, o resultado que M. Hall enun
ia em seu artigo [H e o seguinte: se C (4) e o
onjunto
de Cantor regular dos reais de [0; 1 em
uja fra
~ao
ontnua apare
em apenas os
oe
ientes 1,
p
p
2, 3 e 4 ent~ao C (4) + C (4) = [ 2 1; 4( 2 1), do qual n~ao e dif
il deduzir que L [6; +1)
via a formula para k().
De k() = lim supn!1 (n + n) podemos obter a seguinte
ara
teriza
~ao do espe
tro de
Lagrange: seja = N , o
onjunto das sequ^en
ias bi-innitas de inteiros positivos, e : !
o shift denido por ((an)n2 ) = (an+1)n2 . Se f : ! R e denida por f ((an)n2 ) =
0 + 0 = [a0 ; a1 ; a2 ; : : : + [0; a 1 ; a 2 ; : : : ent~ao L = flim supn!+1 f ( n); 2 g. Outro
onjunto de numeros reais que sera de nosso interesse e o espe
tro de Markov M , que e igual
a fsupn!1 f (n); 2 g. O espe
tro de Markov tem a seguinte interpreta
~ao aritmeti
a:
M = f(inf (x;y)2 n(0;0) jf (x; y )j) 1; f (x; y ) = ax2 + bxy +
y 2 ; b2 4a
= 1g. S~ao fatos
onhe
idos
que L e M s~ao sub
onjuntos fe
hados da reta e que L M . Provamos em [M2 os seguintes
resultados, que pretendemos dis
utir neste
aptulo:
N
Z2
i)
d: R
ii)
iii)
maxft 2 R j d(t) = 0g = 3
iv)
d( 12) = 1
1; t))g
(As arma
~oes iii) e iv) s~ao
onsequ^en
ias simples de ii)).
Teorema 1.2: O
onjunto dos pontos de a
umula
~ao de L e perfeito, isto e, L0 = L00 .
Teorema 1.3: 0 < HD(M nL) < 1.
Estes teoremas s~ao baseados na ideia de aproximar partes de M e de L por dentro e por fora
por somas de
onjuntos de Cantor regulares de dimens~oes proximas. A prova do Teorema 1.1
depende de modo essen
ial de um resultado sobre dimens~oes de Hausdor de somas aritmeti
as
de
onjuntos de Cantor regulares, que sera dis
utido na proxima se
~ao, e
uja prova depende
do lema de re
orr^en
ia de es
ala de [MY.
de Cantor
ompleto de Gauss, nome que atribumos ao seguinte tipo de
onjunto de Cantor:
A
ada
onjunto nito de sequ^en
ias nitas de inteiros positivos B asso
iamos o
onjunto
K (B ) = f[0; 1 ; 2 ; : : : j i 2 B; 8 i 2 N g, que, ex
etuando os
asos triviais onde K (B ) e um
ponto, e um
onjunto de Cantor regular
ompleto de Gauss. Este fato pode ser provado do
seguinte mod: tomamos duas palavras nitas admissveis
1 = b1b2 : : : bnb1 e
2 = b1~b2~b3 : : : ~bm b1
ome
ando e terminado em b1 que n~ao sejam ambas
opias multiplas do mesmo blo
o de
1
smbolos (aqui os smbolos bi s~ao inteiros positivos
orespondentes a ramos x bi da fun
~ao
de Gauss g, que apare
em na
onstru
~ao do Cantor regular de Gauss em quest~ao K ). Se
~1 = b1 b2 : : : bn e
~2 = b1~b2 : : : ~bm ent~ao o Cantor
ompleto de Gauss K (f
~1 ;
~2 g) esta
ontido
em K .
Basta provar agora que nenhum Cantor
ompleto de Gauss e essen
ialmente am. ObS
servemos que K (B ) e denido por : 2B I ! I , onde I = [0; 1 e, para
ada 2 B ,
I = f[0; ; ; 1g e = jI e o iterado de g denido por ([0; ; ) = 1=.
Seja x = [0; ; ; ; : : : o ponto xo de . Se = (b1 ; b2 ; : : : ; bn) e pk =qk = [0; b1; b2 ; : : : ; bk
q x p
s~ao as reduzidas de [0; , ent~ao (x) = n p1 q xn 1 , e os pontos xos de (estendido a
n
n
reta pela sua formula) s~ao as razes de qnx2 +(qn 1 pn)x pn 1 = 0 (ver Se
~ao 3 do Ap^endi
e).
Existe um difeomorsmo : I ! I tal que (x ) = x 0 (x ) = 1 e 1 e
a x+b
am. Alem disso, podemos tomar um tal da forma (x) =
x + d (isto e um exer
io
sobre triangulariza
~ao de matrizes...). N~ao ha perda de generalidade em supor que B
ontem
dois elementos de
do mesmo tamanho (i.e.,
om o mesmo numero de smbolos), pois, se
n~ao for esse o
aso, podemos
onsiderar etapas mais avan
ada da
onstru
~ao de K (B ) onde hja
tais elementos. E su
iente agora mostrar que se " 1 e am e
tem o mesmo numero de
elementos que ent~ao
= , pois isso impli
aria que
1 n~ao e am, donde e uma
transforma
~ao da forma Ax + B ,
uja derivada segunda e zero apenas num
onjunto nito, ou
Cx + D
1
seja, tem uma
omponente am (a de ), e outra
omponente
uja derivada segunda
e n~ao-nula em muitos pontos de K (B ) (a de
), o que impli
a que K (B ) n~ao e essen
ialmente
am. Se
1 e am ent~ao 1 e um ponto xo
omum de 1 e 1 , e
portanto 1(1) e ponto xo
omum de (x) = qn 1x pn 1 e
= q~n 1x p~n 1 , donde e
pn q n x
p~n q~n x
raiz
omum dos polin^omios qn x2 + (qn 1 pn)x pn 1 e q~nx2 + (~qn 1 p~n)x p~n 1 , donde esses
80
dois polin^omios s~ao iguais (pois s~ao irredutveis em Z[x), donde suas outras razes
oin
idem,
ou seja, x = x
e portanto =
.
Provamos assim o seguinte resultado:
Proposi
~ao 2.1: Se K1 e K2 s~ao
onjuntos de Cantor regulares de Gauss ent~ao HD(K1 +K2 ) =
minf1; HD(K1) + HD(K2)g.
Outro fato importante na prova de nossos resultados sobre dimens~oes de Hausdor de partes
dos espe
tros de Markov e Lagrange sera dis
utido a seguir:
Deni
~ao 2.2: Se = (b1 ; b2 ; : : : ; bn ) ent~ao t = (bn ; bn 1 ; : : : ; b2 ; b1 ), e se B e um
onjunto de
sequ^en
ias nitas ent~ao B t = f t; 2 B g.
Se qn( ) e o denominador da fra
~ao
ontnua [0; = [0; b1 ; : : : ; bn ent~ao qn( ) = qn ( t).
Este e um fator ja
onhe
ido por Euler, e uma boa refer^en
ia sobre sua prova (que tambem
pode ser
onsiderada
omo um exer
io para o leitor) esta no ap^endi
e 2 de [CF. Como
onsequ^en
ia deste restulado e do fato de que os
omprimentos dos intervalos da
onstru
~ao de
um
onjunto de Cantor
ompleto de Gauss dependerem essen
ialmente dos denominadores das
fra
~oes
ontnuas nitas envolvidas, prova-se a seguinte
Proposi
~ao 2.3: HD(K (B )) = HD(K (B t )) para todo
onjunto nito B de sequ^en
ias nitas
de inteiros positivos.
Corolario 2.4: HD(K (B ) + K (B t )) = minf1; 2 HD(K (B ))g.
81
supn2 (n + n). Ent~ao,
omo observamos no in
io deste
aptulo, o espe
tro de Lagrange e o
onjunto L = f`(); 2 g e o espe
tro de Markov e o
onjunto M = fm(); 2 g.
Z
A prova dos resultados sobre a fun
~ao d(t) baseia-se,
omo men
ionamos no in
io deste
aptulo, no fato de que podemos aproximar por dentro e por fora peda
os dos espe
tros de
Markov e Lagrange por somas de
onjuntos de Cantor regulares de Gauss
om dimens~oes
de Hausdor proximas (em geral essas somas ser~ao do tipo K (B ) + K (B t), e usaremos a
proposi
~ao a
ima). A prin
ipal ferramenta que usaremos na
onstru
~ao de tais aproxima
~oes
sera o seguinte lema te
ni
o,
uja prova (assim
omo os detalhes da prova dos teoremas deste
aptulo) se en
ontra em [M2:
Lema 3.1: Para
ada t > 0 e " > 0, seja (t) = f 2 j m() tg, e seja N" (t) o
numero de sequ^en
ias nitas tais que o intervalo I () = fx 2 [0; 1 j x = [0; ; y; y 1g
tem
omprimento maior ou igual a " e apare
e
omo subsequ^en
ia de algum elemento de
(t). Denimos D(t) = lim"!0 log N"(t) (o limite existe pois existe C > 0 tal que N" (t)
log "
C N"(t)N (t), 8 "; > 0). Ent~ao, dado > 0 existe > 0 e um shift
ompleto e (t )
om HD(e +; d) D(t) , onde + = Z+ , e + = e \ + , e d : + + ! R e a dist^an
ia
denida por d(; 0 ) = jI ( ^ 0 )j.
Z
A ideia da prova de que L0 = L00 e
riar
onjuntos de Cantor regulares de Gauss usando
seq"u^en
ias nits que apare
em innitas vezes nas fra
~oes
ontinuas das preimagem por k de
uma sequ^en
ia
onvergente de pontos de L. A imagem por k do Cantor de Gauss gerado
por, digamos, duas sequ^en
ias dessas forne
era um
onjunto de Cantor
ontido em L proximo
ao limiteda tal sequ^en
ia. Aumentando o
omprimento das sequ^en
ias nitas
onsideradas
obtemos o resultado.
Para estudar o
omplementar do espe
tro de Lagrange em rela
~ao ao espe
tro de Markov,
primeiro mostramos que M nL
ontem
onjuntos de Cantor regulares proximos a
1 = [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 a
umula
~ao de M nL (ver Capitulo 3 de [CF) (as barras superiores indi
am
perodo nas fra
~oes
ontnuas pre-periodi
as a
ima),
om um argumento semelhante a prova de
L0 = L00 . A prova de HD(M nL) < 1 e mais te
ni
a e deli
ada, e depende da analise de restri
~oes
82
a sequ^en
ias nitas que podem apare
er nas fra
~oes
ontnuas de elementos de
onjuntos de
Cantor
uja imagem por k esteja
ontida em M nL. Veja [M2 para detalhes.
Vale notar que o resultado n~ao e verdade em geral para ' dissipativo, pois ha
onjuntos
abertos de
ontraexemplos onde d(t) tem um numero nito de des
ontinuidades, e sua imagem
e uma uni~ao nita de intervalos n~ao-degenerados.
As demonstra
~oes desses ultimos resultados apare
er~ao em [M3.
83
84
Ap^endi
e:
1.0
Conjuntos de Cantor
n vezes
e x = 0; 2, temos que (x) = 3x = 0; 6, que n~ao perten
e ao domnio de , donde 2(0; 2) n~ao
esta denido. Podemos
ara
terizar o Conjunto de Cantor K
omo o
onjunto dos x 2 [0; 1 tais
S
n ([0; 1). Podemos observar
que n(x) esta denido para todo natural n, ou seja, K = 1
n=0
85
K e
laramente
ompa
to, pois pela segunda
onstru
~ao, por exemplo, seu
omplementar
e aberto. Alem disso, K e n~ao-enumeravel, o que segue do fato de que a primeira
onstru
~ao
forne
e uma bije
~ao entre K e f0; 2g , que de fato e um homeomorsmo, se dotarmos f0; 2g
N
da topologia produto.
Men
ionamos que a ter
eira
onstru
~ao que exibimos para o
onjunto K , que o
ara
teriza
omo o maximal invariante pela fun
~ao no intervalo [0; 1 e de parti
ular interesse, pois
ara
teriza K
omo um
onjunto de Cantor dinami
amente denido. Vamos dis
utir informalmente algumas propriedades dos
onjuntos de Cantor dinami
amente denidos, ou regulares
(que ser~ao nosso assunto prin
ipal) antes de deni-los mais pre
isamente. Uma propriedade
fundamental do
onjunto de Cantor K e a sua auto-semelhan
a: pequenas partes de K s~ao
opias reduzidas de todo o
onjunto K . De fato, dado x 2 K e " > 0 existe um sub
onjunto
aberto e fe
hado de K
ontendo x e de di^ametro menor que " que e semelhante ao
onjunto K
(por exemplo uma pe
a de uma etapa avan
ada da
onstru
~ao de K que
ontenha o ponto x).
Esta semelhan
a sera dada por um
erto iterado da fun
~ao am expansora .
86
Como indi
amos na deni
~ao a
ima, o
onjunto dos intervalos Ij
om 1 j k e denominado a parti
~ao de Markov de K . O
onjuntos I1 [ I2 [ [ Ik sera
hamado de domnio de
Markov de K , e pode ser visto
omo a etapa ini
ial da
onstru
~ao de K .
Para entender melhor a estrutura do
onjunto K podemos
onsiderar a matriz de transi
~ao
B = (bij )kk asso
iada
a uma parti
~ao de Markov (I1 ; : : : ; Ik ) e a uma fun
~ao
omo a
ima
8
>
<1; se (Ii ) Ij
denida por bij = >
. A
ondi
~ao diz que n(Ij ) I1 [ [ Ik para
:0; se (I ) \ I = ?
i
j
todo n grande equivale a todos os termos de B n serem estritamente positivos se n e grande. A
uma tal matriz B podemos asso
iar um shift de Markov mixing de tipo nito, isto e, o
onjunto
87
+1
Veremos que ha uma identi
a
~ao natural entre o par (K; ) e o par (B ; ) (de fato um
homeomorsmo que
onjuga as din^ami
as). Para
ada palavra nita a = (a1 ; a2; : : : ; an) 2
f1; 2; : : : ; kgn dizemos que a e uma palavra de B se existe algum elemento de B que
ome
a
por a, ou, equivalentemente, se bai ai = 1 para i = 1; 2; : : : ; n 1. A uma tal palavra a
asso
iamos o intervalo Ia = Ia \ 1(Ia ) \ 2(Ia ) \ \ (n 1) (Ian ), e a
ondi
~ao a ser
uma palavra de B equivale a Ia ser n~ao-vazio. Por outro lado, a expansividade de faz
om
que o
omprimento jIa j do intervalo Ia seja exponen
ialmente pequeno se n e grande, isto e,
existe < 1 tal que para todo a 2 f1; 2; : : : ; kgn que e uma palavra de B (de tamanho n),
jIaj < njI j.
+1
Dado = (1 ; 2 ; : : : ) 2 B , para
ada n denimos (n) = (1 ; 2 ; : : : ; n ). Note que (n) e
sempre uma palavra de B . Podemos denir uma fun
~ao h : B ! K denida por fh()g =
T
e, h() e o uni
o ponto que perten
e a I n para todo n 2 N . N~ao e dif
il
n2 I n , isto
veri
ar que h e um homeomorsmo, e que h = h , isto e, h e uma
onjuga
~ao entre e
. Se x = h(), dizemos que e o endere
o do ponto x.
N
1.2
( )
( )
Distor
~
ao limitada e geometrias limite
Vamos agora provar uma proposi
~ao de grande import^an
ia, segundo a qual
onjuntos de
Cantor regulares t^em a propriedade de distor
~ao limitada:
Proposi
~ao A.1: Seja K R um
onjunto de Cantor regular, denido por uma fun
~ao
expansora 2 C 1+"
omo a
ima. Dado > 0 existe C () > 0 fun
~ao de
res
ente de
om
lim!0 C () = 0 tal que para todo x; y 2 K satisfazendo
i) j n(x)
n (y )
j
Dem: Se > 1 e tal que j 0 (t)j > para todo t no domnio de Markov, teremos j j (y )
j (x)j 1 n para 0 j n, donde
j log j(
n )0 (y )
j log j(
n )0 (x)
j
n 1
X
j =0
e,
omo 0 (e tambem log j 0j) e de
lasse C ", existe C > 0 tal que j log j 0(s)j log j 0(t)j
C js tj" para s, t no domnio de Markov, donde as express~oes a
ima s~ao majoradas por
n 1
X
j =0
( j n
)"
< _ "
1
X
m=1
m"
"
=
" "
1
Uma maneira de reformular a proposi
~ao a
ima
om signi
ado geometri
o mais evidente e
dizer que se x, y e z perten
em a um mesmo intervalo I n da n-esima etapa da
onstru
~ao de
K ent~ao
jz xj j n(z) n(x)j e
jz xj
e
jy xj j n(y) n(x)j
jy xj
onde
=
(jI j) e uma
onstante. Alem disso, se n(x), n(y) e n(z) est~ao proximos,
pode
ser tomada pequena. Isto signi
a que dist^an
ias relativas numa es
ala mi
ros
opi
a s~ao no
maximo distor
idas por um fator
onstante em rela
~ao a dist^an
ias relativas
orrespondentes
numa es
ala maior, e
ada vez menos distor
idas se diminuimos o tamanho da es
ala maior.
( )
8
>
<1
d(; ~) =
>
:
se 0 6= ~0
Com essas deni
~oes, kn e um difeomorsmo de I em I , e a imagem de K \ I por kn
e uma
opia ampliada de K \ In .
0
Com essas nota
~oes, temos o seguinte resultado, que
ara
teriza as geometrias limite de um
Cantor regular (ver [Su):
Proposi
~ao A.2: Seja r 2 (1; +1), e K um
onjunto de Cantor regular de
lasse C r
omo
a
ima, ent~ao:
ii) Se r 2 e um inteiro ent~ao kn
onverge a k em Di r+(I ). Alem disso, existe C > 0 tal
que jjkn k jjC r C jIn j.
0
Do item ii) segue que ! k e Lips
hitziana: jjk k~jjC r C d(; ~), 8 ; ~ 2 B . Alem
disso, se r = 1 + ,
om 0 < < 1, ent~ao, para
1
Esta proposi
~ao diz que
onjuntos de Cantor regulares t^em a seguinte propriedade: se
ampliarmos a interse
~ao de um
onjunto de Cantor regular K
om intervalos pequenos de sua
onstru
~ao, obtemos
onjuntos de Cantor difeomorfos a partes xas de todo o
onjunto K (as
interse
~oes K \ Ia ,
om a 2 f1; 2; : : : ; kg), estando esses difeomorsmos muito proximos da
famlia
ompa
ta fk ; 2 B g que tem dimens~ao de Hausdor nita por exemplo na metri
a
C 1 (ver a proxima se
~ao sobre dimens~ao de Hausdor).
Denimos, para 2 B , o
onjunto de Cantor K := k (K ). Os
onjuntos K s~ao
onjuntos
de Cantor regulares t~ao diferen
iaveis quanto K , e s~ao
onhe
idos
omo as geometrias limite
90
de K .
Dem: A prova da Proposi
~ao A.2 n~ao e muito dif
il. De fato, kn = B (n ) fn , onde fn =
1
pode ser es
rito
omo gn gn 1 g1 , onde, para 1 k n, gk = gk : I ! I
In
e dada por gk = Ak Ik 1 Ak 11 , e os Ak : Ik ! I s~ao difeomorsmos ans tais que A0
e a identidade e gk preserva orienta
~ao para todo K .
0
O resultado segue do fato de que os difeomorsmos gk , para K grande, est~ao exponen
ialmente perto da identidade (de modo uniforme em ), nas topologias indi
adas no enun
iado
da proposi
~ao, e portanto a
omposi
~ao deles
onverge exponen
ialmente nessas topologias. Os
detalhes
am
omo exer
io para o leitor.
1.3
Dimens~
oes fra
tais
Quase todos os
onjuntos de Cantor que
onsideramos neste livro t^em medida de Lebesgue
nula. Entretanto, ha medidas mais nas do tamanho de sub
onjuntos da reta (e, em geral,
de um espa
o metri
o). Come
aremos pelo
on
eito que sera mais importante para nos: a
dimens~ao de Hausdor:
Se X e um espa
o metri
o
ompa
to e U = fU1; U2 ; : : : ; Ung e uma
obertura nita de X ,
denimos a medida de Hausdor de dimens~ao > 0 asso
iada a
obertura U por m (U ) =
n
P
diam(Ui ), onde
i=1
diam(Ui) = sup d(x; y) e o di^ametro de Ui ;
x;y2Ui
fa
il mostrar que existe um uni
o h em [0; +1 tal que se < h ent~ao m (X ) = +1 e se
> h ent~ao m (X ) = 0. Esse numero h e, por deni
~ao, a dimens~ao de Hausdor de X . A
dimens~ao de Hausdor tem algumas propriedades importantes. Uma delas e que, se f : X ! X
e Lips
hitziana e K X tem dimens~ao de Hausdor d ent~ao f (K ) tem dimens~ao de Hausdor
menor ou igual a d. Em parti
ular, se X e Y s~ao intervalos fe
hados e f e um difeomorsmo
91
ent~ao as dimens~oes de Hausdor de K e f (K ) s~ao iguais. Outra observa
~ao simples e que se
K R n tem dimens~ao de Hausdor menor que n ent~ao tem medida de Lebesgue nula.
E possvel provar que a dimens~ao de Hausdor de
onjuntos de Cantor regulares da reta
depende
ontinuamente da din^ami
a que os dene (mesmo na topologia C 1), e, no
aso da
din^ami
a ser pelo menos C 1+", esta sempre estritamente entre 0 e 1, e a medida de Hausdor
orrespondente e nita e positiva no
onjunto de Cantor (ver [PT2).
Podemos denir outra dimens~ao fra
tal, a
apa
idade limite,
omo segue: Se K e um espa
o
metri
o
ompa
to, denimos N"(K )
omo sendo o numero minimo de
onjuntos de Di^ametro
menor ou igual a " ne
essarios para
obrir K . A
apa
idade limite de K e, por deni
~ao,
log N"(K )
d(K ) = lim sup"!0
E possivel provar que, se K e um
onjunto de Cantor regular
log "
(mesmo que apenas de
lasse C 1) ent~ao sua dimens~ao de Hausdor
oin
ide
om sua
apa
idade
limite (ver [PT2). Tambem e verdade que, se f : X ! Y e Lips
hitziana e K X ent~ao
d(f (K )) d(K ) e que d(K1 K2 ) d(K1 ) + d(K2 ). Alem disso, em geral a dimens~ao de
Hausdor de K e sempre menor ou igual a d(K ) (as vezes a desigualdade e estrita,
omo por
exemplo se K = f0g[f1=n; n inteiro positivog, que tem dimens~ao de Hausdor 0 e
apa
idade
limite 1=2).
Deixamos a prova destas ultimas arma
~oes
omo exer
io para o leitor.
1.3.2 - Espessuras
Deni
~ao A.3: Um gap de um
onjunto de Cantor e uma
omponente
onexa de seu
omplementar.
92
Denimos
jDU j ; (U ) = jEU j ,
jU j E
jU j
D (K ) = inf fD (U )jU gap limitado de K g, a espessura direita de K ;
D (U ) =
Observa
~ao: Dado um
onjunto de Cantor K , uma apresenta
~ao de K e uma enumera
~ao
fU1 ; U2; : : : g de seus gaps limitados. Podemos denir os intervalos EU e DU
omo sendo os
intervalos entre U e os gaps de ndi
e menor que o de U mais proximos. No nosso
aso estamos
usando a apresenta
~ao pela ordem de tamanho dos gaps, o que maximiza a espessura (K ).
Veja [PT2.
A import^an
ia das espessuras reside no seguinte resultado, que e uma adapta
~ao do \gap
lemma".
Arma
~ao: Dados K1 e K2
onjuntos de Cantor, se D (K1 ) E (K2 ) > 1 e E (K1 ) D (K2 ) > 1,
ent~ao ou K1 esta
ontido num gap de K2 ou K2 esta
ontido num gap de K1 ou K1 \ K2 6= ?.
Observa
~ao: Isso vale em parti
ular se (K1 ) (K2 ) > 1, que e a hipotese do \gap lemma"
lassi
o. O gap lemma tal
omo enun
iado aqui forne
e mais informa
~ao,
omo veremos adiante.
Dem: Considere o
aso em que nenhum dos Ki 's esta
ontido num gap do outro. Ent~ao existe
um par de gaps en
aixados,
omo nas guras abaixo (dizemos nesse
aso que K1 e K2 est~ao
inter
alados)
93
a)
Como D (U1 )E (U2 ) > 1, ou jDU j > jU2 j ou jEU j > jU1j ) existe novo par de gaps
omo
em b) menor que o par (U1 ; U2)
1
b)
Como E (U1)D (U2) > 1, ou jEU j > jU2j ou jDU j > jU1j ) existe novo par de gaps
omo
em a) menor que o par (U1; U2 ).
1
Em qualquer
aso obtemos um par de gaps menor, por exemplo no sentido de que a soma dos
omprimentos dos gaps dos pares de
res
e, e reapli
ando o argumento obtemos uma sequ^en
ia
de pares de gaps
onvergindo a um ponto que ne
essariamente perten
e a K1 \ K2.
Podemos denir, para p 2 K , lo
(K; p) = lim sup (K \ (p "; p + ")), e analogamente
"!0
(D )lo
(K; p) e (E )lo
(K; p). Para
onjuntos de Cantor dinami
amente denidos, lo
(K; p) n~ao
depende de p (ver [PT2), e a mesma prova mostra que (D )lo
(K; p) e (E )lo
(K; p) tambem
n~ao dependem de p. Vamos, portanto, denota-los por lo
(K ), (D )lo
(K ) e (E )lo
(K ) (as
espessuras lo
ais de K ).
A arma
~ao a
ima impli
a que se (D )(K1) (E )(K2) 1 e se (E )(K1) (D )(K2 ) 1
ent~ao K1 K2
ontem intervalo.
94
Como
onsequ^en
ia, se (D )lo
(K1 ) (E )lo
(K2) > 1 e (E )lo
(K1) (D )lo
(K2) > 1 ent~ao
K1 K2
ontem intervalo. Para este ultimo resultado ne
essitamos desigualdades estritas.
De fato, no exemplo de Sannami de um
onjunto de Cantor dinami
amente denido K
om
(K K ) > 0 e int(K K ) = ? temos lo
(K ) = 1.
95
Refer^en
ias
[AGP W. R. Alford, A. Granville e C. Pomeran
e, There are innitely many Carmi
hael numbers, Ann. of Math., 140 (1994) 703-722.
[APR L. M. Adleman, C. Pomeran
e e R. S. Rumely, On distinguishing prime numbers from
omposite numbers, Ann. Math. (2) 117 (1983) 173-206.
[B N. Beskin, Fra
~oes
ontnuas - Ini
ia
~ao a Matemati
a - Editora Mir.
[Ba
h Eri
Ba
h, Expli
it bounds for primality testing and related problems, Math. of Comp.
55, (1990), pp. 355-380.
[BCR R. P. Brent, G. L. Cohen e H. J. J. te Riele, Improved te
hniques for lower bounds for
odd perfe
t numbers, Math. Comp., 57 (1991) 857-868 (MR 92
:11004).
[BLS J. Brillhart, D. H. Lehmer e J. L. Selfridge, New primality
riteria and fa
torizations of
2m 1, Math. Comp., 29 (1975) 620-647.
[BPMV R. Bamon, S. Plaza, C.G. Moreira and J. Vera, Dierentiable stru
tures of
entral Cantor
sets, Ergod. Th. and Dynam. Syst. 17 (1997), pp. 1027{1042.
[BPV R. Bamon, S. Plaza and J. Vera, On Central Cantor Sets with self-arithmeti
dieren
e
of positive Lebesgue measure, J. London Math. So
. 51 (1995), pp. 137{146.
[Br J. W. Bru
e, A really trivial proof of the Lu
as-Lehmer test, Amer. Math. Monthly,
April (1993) 370-371.
[C Jose Paulo Q. Carneiro, Um pro
esso nito para a raiz quadrada, RPM 34, (1997), pp.
36{44.
[Ca1 J.W.S. Cassels, An introdu
tion to diophantine approximation, Cambridge Univ. Pres,
(1957).
[Ca2 J.W.S. Cassels, Some metri
al theorems in Diophantine approximation I , Pro
. Camb.
Phil. So
. 46 (1950), 209{218.
96
1
[CF R. Crandall e B. Fagin, Dis
rete weighted transforms and large-integer arithmeti
, Math.
Comp., 62:205 (1994) 305-324.
[CF T.W. Cusi
k and M.E. Flahive, The Marko and Lagrange spe
tra, Math. Surveys and
Monographs, no. 30, A.M.S. (1989).
[E P. Erdos, On a new method in elementary number theory whi
h leads to an elementary
proof of the prime number theorem, Pro
. Nat. A
ad. S
i. (Washington) 35 (1949)
374-384.
[EP P. Erdos e Carl Pomeran
e, On the number of false witnesses for a
omposite number,
Math. Comp., 46 (1986) 259-279.
[F G.A. Freiman, Diophantine approximation and geometry of numbers (The Marko spe
trum), Kalininskii Gosudarstvennyi Universitet, Mos
ow, (1975).
[GK S. Goldwasser e J. Kilian, Almost all primes
an be qui
kly
ertied, Pro
. 18th STOC
(Berkeley, May 28-30, 1986), ACM, New York, (1986), 316-329.
[Guy R. K. Guy, Unsolved Problems in Number Theory, Springer-Verlag, New York, (1994)
(QA241.G87, ISBN 3-540-94289-0).
[H M. Hall, On the sum and produ
t of
ontinued fra
tions, Annals of Math., Vol. 48,
(1947), pp. 966{993.
[HW G. H. Hardy e E. M. Wright, An Introdu
tion to the Theory of Numbers 5e, Oxford
University Press, (1979).
[K A. Khint
hine: Zur metris
hen Theorie der diophantis
hen Approximationen, Math. Z.
24 (1926), 706{714.
97
[KP Su Hee Kim e Carl Pomeran
e, The probability that a random probable prime is
omposite, Math. Comp., 53:188 (1989) 721-741.
[Per L., Per, L'ensemble dieren
e de deux ensembles de Cantor aleatoires, C.R. A
ad. S
i.
Paris Ser. I Math. 310 (1990), no. 10, 735{738.
[Le D. H. Lehmer, An extended theory of Lu
as' fun
tions, Ann. Math. 31 (1930) 419-448.
Reprinted in Sele
ted Papers (ed. D. M
Carthy), Vol 1, Ch. Babbage Res. Center, St.
Pierre, Manitoba Canada, 11-48, (1981).
[Lu E. Lu
as, Theorie des fon
tions numeriques simplement periodiques, Amer. J. Math., 1,
(1878), 184-240 e 289-321.
[M1 C.G. Moreira, Stable interse
tions of Cantor sets and homo
lini
bifur
ations, Ann. Inst.
H. Poin
are Anal. Non Lineaire 13 (1996), no. 6, pp. 741{781.
[M2 C.G. Moreira, Geometri
properties of the Markov and Lagrange spe
tra. PreprintIMPA.
[M3 C.G. Moreira, Geometri
properties of dynami
al spe
tra. To appear
[M4 C.G. Moreira, Conjuntos de Cantor,bifur
a
~oes din^ami
as e aproxima
~oes diofantinas,
22.o Coloquio Brasileiro de Matemati
a.
[M5 C.G. Moreira, Propriedades estatsti
as de fra
~oes
ontnuas e aproxima
~oes diofantinas:o
teorema de Khint
hine, Revista Matemati
a Universitaria numero 29, pp. 125-137
[M6 C.G. Moreira, Fra
~oes
ontnuas, representa
~oes de numeros e aproxima
~oes, Eureka 3
(1998), 44{55.
[Mai H. Maier, Primes in short intervals, Mi
higan math. J., 32 (1985) 221-225.
[Mar1 A. Marko, A new sequen
e of minima in the geometry of numbers, Math. Ann. 15
(1879), 381{406.
[Mar2 A. Markov, Sur les formes quadratiques binaires indenies, Math. Ann. 15 (1879),
381{406.
98
[Mi W. H. Mills, A prime representing fun
tion, Bull. Amer. Math. So
., 53 604.
[MN C.G. Moreira e Ni
olau Saldanha, Primos de Mersenne (e outros primos muito grandes),
22.o Coloquio Brasileiro de Matemati
a
[Mo , R. A. Mollin, Prime-produ
ing polynomials, Amer. Math. Monthly 104 (June-July
1997) 529-544.
[MO P. Mendes and F. Oliveira, On the topologi
al stru
ture of the arithmeti
sum of two
Cantor sets, Nonlinearity, Vol. 7, (1994), pp. 329{343.
[MY C.G. Moreira and J.-C. Yo
oz, Stable interse
tions of regular Cantor sets with large
Hausdor dimensions. Preprint - IMPA, (1998).
[MY2 C.G. Moreira and J.-C. Yo
oz, Tangen
es homo
lines stables pour les ensembles hyperboliques de grande dimension fra
tale. To appear.
[N1 S. Newhouse, Non density of Axiom A(a) on S 2, Pro
. A.M.S. Symp. Pure Math., Vol.
14, (1970), pp. 191{202.
[N2 S. Newhouse, Dieomorphisms with innitely many sinks, Topology, Vol. 13, (1974),
pp. 9{18.
[N3 S. Newhouse, The abundan
e of wild hyperboli
sets and nonsmooth stable sets for
dieomorphisms, Publ. Math. IHES, Vol. 50, (1979), pp. 101{151.
[O C.D. Olds, Continued Fra
tions, New Mathemati
al Library, Random House.
[P J. Palis, Homo
lini
orbits, hyperboli
dynami
s and fra
tional dimension of Cantor sets,
Contemporary Mathemati
s 58, (1987), pp. 203{216.
[P1 J. Palis, Homo
lini
bifur
ations, sensitive
haoti
dynami
s and strange attra
tors,
Dynami
al Syst. and Related Topi
s. World S
ienti
, (1991), pp. 466-473.
[Pi J. Pintz, Very large gaps between
onse
utive primes, J. Number Theory 63 (1997), no.
2, 286-301.
99
[Po C. Pomeran
e, A new lower bound for the pseudoprimes
ounting fun
tion, Illinois J.
Math, 26, (1982), 4-9.
[PSW C. Pomeran
e, J. L. Selfridge e S. S. Wagsta Jr., The pseudoprimes to 25.109, Math.
Comp., 35 (1980) 1003-1026.
[PT J. Palis and F. Takens, Cy
les and measure of bifur
ation sets for two-dimensional
dieomorphisms, Invent. Math., Vol. 82, (1985), pp. 379{442.
[PT1 J. Palis and F. Takens, Hyperboli
ity and the
reation of homo
lini
orbits, Annals of
Math., Vol. 125, (1987), pp. 337{374.
[PT2 J. Palis and F. Takens, Hyperboli
ity and sensitive
haoti
dynami
s at homo
lini
bifur
ations: fra
tal dimensions and innitely many attra
tors, Cambridge Univ. Press,
(1992).
[PY J. Palis and J.C. Yo
oz, Homo
lini
Tangen
ies for Hyperboli
sets of large Hausdor
Dimension Bifur
ations, A
ta Mathemati
a, Vol. 172, (1994), pp. 91{136.
[PY1 J. Palis and J.C. Yo
oz, On the arithmeti
sum of regular Cantor sets, Ann. Inst. H.
Poin
are Anal. Non Lineaire 14 (1997), pp. 439{456.
[R A.M. Ro
kett, P. Szusz, Continued Fra
tions, World S
ienti
.
[Ri1 P. Ribenboim, The New Book of Prime Number Re
ords, 3ed., Springer-Verlag, New
York, (1995) (QA246 .R47 ISBN 0-387-94457-5).
[Ri2 P. Ribenboim, Vendendo primos, Rev. Mat. Univ., 22/23, 1997, 1-13 (tradu
~ao de Selling
primes, Math. Mag., 68 (1995) 175-182).
[Rie1 H. Riesel, Naagra stora primtal (Sue
o: Alguns primos grandes), Elementa 39 (1956)
258-260.
[Rie2 H. Riesel, Prime Numbers and Computer Methods for Fa
torization, Progress in Mathemati
s, Birkhauser Boston, vol. 57, (1985); and vol. 126, 1994.
100
[S A. Sannami, An example of a regular Cantor set whose dieren
e set is a Cantor set
with positive measure, Hokkaido Math. Journal, Vol. XXI (I), (1992), pp. 7{23.
[S
W.M. S
hmidt: Diophantine approximations, Le
ture Notes in Mathemati
s 785, Springer
Verlag, (1980).
[Se A. Selberg, An elementary proof of the prime number theorem, Annals of Math. 50
(1949) 305-13.
[Si W. Sierpinski, Sur un probleme
on
ernant les nombres k 2n +1, Elem. Math., 15 (1960)
73-74. Corrigendum: Elem. Math., 17 (1963) 85.
[Su D. Sullivan, Dierentiable stru
tures on fra
tal-like sets, determined by intrinsi
s
aling
fun
tions on dual Cantor sets, The mathemati
al heritage of Hermann Weyl (Durham,
NC, 1987), 15{223, Pro
. Sympos. Pure Math. 48, Amer. Math. So
., Providen
e, RI,
(1988).
[WD H. C. Williams e H. Dubner, The primality of R1031, Math. Comp., 47 (1986) 703-711.
[We E. Westzynthius, Uber
die Verteilung der Zahlen die zu den n ersten Primzahlen teilerfremd sind, Comm. Phys. math. Helsingfors, 5:5 (1931) 1-37.
101