My title - Departamento de Matemática da Universidade do Minho
My title - Departamento de Matemática da Universidade do Minho
My title - Departamento de Matemática da Universidade do Minho
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
4<br />
NÚMEROS E DINÂMICA 26<br />
Rotações <strong>do</strong> toro. O toro <strong>de</strong> dimensão n é o espaço quociente T n = R n /Z n , muni<strong>do</strong> <strong>da</strong><br />
métrica<br />
d (x + Z n , x ′ + Z n ) =<br />
min<br />
y∈π −1 {x+Z n }, y ′ ∈π −1 {x ′ +Z n }<br />
|y − y ′ |<br />
on<strong>de</strong> π : R n → R n /Z n é a projeção. As rotações <strong>do</strong> toro são os homeomorfismos +α : R n /Z n →<br />
R n /Z n <strong>de</strong>fini<strong>do</strong>s por<br />
x + Z n ↦→ x + α + Z n<br />
on<strong>de</strong> agora α ∈ R n .<br />
4.4 Dyadic adding machine<br />
Inteiros diádicos. A norma diádica nos inteiros Z é <strong>de</strong>fini<strong>da</strong> por ‖n‖ 2 = 2 −k se 2 k é a maior<br />
potência <strong>de</strong> 2 que divi<strong>de</strong> n (ou seja, se n = 2 k q com q ímpar). O grupo aditivo (<strong>de</strong> fato, o anel) <strong>do</strong>s<br />
inteiros diádicos Z 2 é o completamento <strong>de</strong> Z com respeito à distância diádica d 2 (n, m) = ‖n−m‖ 2 .<br />
É um grupo topológico compacto. Po<strong>de</strong> ser pensa<strong>do</strong> como o conjunto <strong>da</strong>s séries formais<br />
∞∑<br />
x = x n 2 n = . . . x n . . . x 3 x 2 x 1<br />
n=1<br />
com x n ∈ {0, 1}, muni<strong>do</strong> <strong>da</strong> “adição” <strong>de</strong>fini<strong>da</strong> <strong>da</strong> forma usual <strong>da</strong> direita à esquer<strong>da</strong>. Em quanto<br />
espaço topológico, Z 2 é isomorfo ao produto topológico Σ − ≃ {0, 1} −N , o conjunto <strong>da</strong>s palavras<br />
infinitas (. . . x n . . . x 3 x 2 x 1 ) nas letras 0 e 1, muni<strong>do</strong> <strong>da</strong> topologia produto.<br />
Adding machine. A “dyadic adding machine” (ou “Kakutani-von Neumann o<strong>do</strong>meter”) é a<br />
translação η : Z 2 → Z 2 , <strong>de</strong>fini<strong>da</strong> por<br />
x ↦→ x + 1<br />
ou seja,<br />
Exercícios.<br />
{<br />
1 − xn se x<br />
(ηx) n =<br />
k = 1 ∀ k < n<br />
caso contrário<br />
• Verifique que η é um homeomorfismo, com inversa<br />
{<br />
(η −1 1 − xn se x<br />
x) n =<br />
k = 0 ∀ k < n<br />
caso contrário<br />
x n<br />
x n<br />
• A adding machine η tem pontos periódicos<br />
4.5 Frações contínuas e mapa <strong>de</strong> Gauß<br />
Ref.<br />
[HW59] chapter X, and [Kh35].<br />
Frações contínuas.<br />
formais<br />
As frações contínuas (simples e com <strong>de</strong>nomina<strong>do</strong>res naturais) são expressões<br />
[a 0 ; a 1 , a 2 , a 3 , . . . ] = a 0 +<br />
a 1 +<br />
1<br />
a 2 +<br />
1<br />
1<br />
a 3 + 1<br />
. ..<br />
on<strong>de</strong> a 0 ∈ Z e os “<strong>de</strong>nomina<strong>do</strong>res” a n ∈ N se n ≥ 1. Os convergents <strong>de</strong> [a 0 ; a 1 , a 2 , a 3 , . . . ] são as<br />
frações contínuas finitas<br />
[a 0 ; a 1 , a 2 , . . . , a n ] = a 0 +<br />
a 1 +<br />
1<br />
a 2 +<br />
1<br />
1<br />
. .. +<br />
1<br />
a n