19.01.2015 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!