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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
4<br />
NÚMEROS E DINÂMICA 25<br />
Rotações.<br />
As rotações <strong>do</strong> círculo são as transformações +α : R/Z → R/Z <strong>de</strong>fini<strong>da</strong>s por<br />
x + Z ↦→ x + α + Z<br />
on<strong>de</strong> α ∈ R. Observe que o círculo R/Z é um grupo comutativo, e que as as transformações +α,<br />
com α ∈ R/Z, são as translações <strong>do</strong> grupo.<br />
As rotações <strong>do</strong> círculo são as isometrias <strong>de</strong> (R/Z, d) que preservam a orientação.<br />
Em notação multiplicativa, se o círculo é i<strong>de</strong>ntifica<strong>do</strong> com S 1 ≃ {z ∈ C t.q. |z| = 1} ⊂ C, as<br />
rotações <strong>do</strong> círculo são as transformações z ↦→ e i2πα z.<br />
Teorema.<br />
Uma rotação <strong>do</strong> círculo x + Z ↦→ x + α + Z tem pontos periódicos sse α é racional.<br />
De fato, se α = p/q com (p, q) = 1 e q > 0, então to<strong>do</strong> ponto <strong>do</strong> círculo é periódico <strong>de</strong> perío<strong>do</strong><br />
q. Por outro la<strong>do</strong>, se α é irracional, não existe nenhum natural n ≥ 1 tal que x + Z = x + nα + Z,<br />
seja o que for x.<br />
Exercícios.<br />
• Verifique que<br />
é uma métrica no círculo R/Z.<br />
d (x + Z, x ′ + Z) = min<br />
n∈Z |x − x′ + n|<br />
• I<strong>de</strong>ntifique o círculo R/Z com o intervalo [0, 1[ (to<strong>da</strong> classe x+Z tem um e só um representante<br />
x neste intervalo), e dê uma expressão analítica para a distância d (x + Z, x ′ + Z) em função<br />
<strong>de</strong> x e x ′ .<br />
(Observe que se |x − x ′ | ≤ 1/2 então d (x + Z, x ′ + Z) = |x − x ′ |)<br />
• Verifique que as rotações R α : x + Zx + α + Z, com α ∈ R, são isometrias, e portanto<br />
homeomorfismos, <strong>de</strong> (R/Z, d).<br />
Transformações <strong>do</strong> círculo. Uma transformação contínua <strong>do</strong> círculo R/Z po<strong>de</strong> ser pensa<strong>da</strong><br />
como uma transformação contínua <strong>da</strong> reta real que “respeita” o retículo Z. Formalmente, seja<br />
π : R → R/Z a projeção π (x) = x + Z. To<strong>da</strong> função contínua F : R → R tal que F (x + 1) = F (x)<br />
mod Z para to<strong>do</strong> x ∈ R induz uma função contínua f : R/Z → R/Z <strong>de</strong>fini<strong>da</strong> por<br />
here<br />
f (x + Z) = F (x) + Z<br />
Por outro la<strong>do</strong>, po<strong>de</strong>-se mostrar que to<strong>da</strong> função contínua f : R/Z → R/Z admite um levantamento,<br />
i.e. uma função contínua F : R → R tal que f ◦ π = π ◦ F . O levantamento não é único, mas<br />
<strong>do</strong>is levantamentos F e G <strong>de</strong> f diferem por um inteiro, no senti<strong>do</strong> em que existe n ∈ Z tal que<br />
F (x) = G(x) + n para to<strong>do</strong> x ∈ R. De fato, F − G é uma função contínua <strong>da</strong> reta real (que é<br />
conexa) com valores inteiros, e portanto é constante. Isto implica que o número inteiro<br />
<strong>de</strong>g(f) = F (x + 1) − F (x)<br />
dito grau <strong>de</strong> f, não <strong>de</strong>pen<strong>de</strong> <strong>do</strong> levantamento. O grau <strong>de</strong> f é a cardinali<strong>da</strong><strong>de</strong> algébrica <strong>da</strong>s préimagens<br />
x ′ ∈ f −1 {x} <strong>de</strong> um ponto genérico x <strong>do</strong> círculo, on<strong>de</strong> ca<strong>da</strong> x ′ conta ±1 <strong>de</strong>pen<strong>de</strong>n<strong>do</strong> se f<br />
preserva ou inverte a orientação numa sua vizinhança.<br />
Um homeomorfismo <strong>do</strong> círculo tem grau ±1, <strong>de</strong>pen<strong>de</strong>n<strong>do</strong> se preserva ou menos a orientação.<br />
Os recobribentos <strong>do</strong> círculo <strong>de</strong> grau k, com k ∈ Z\ {0}, são as transformações ×k : R/Z → R/Z<br />
<strong>de</strong>fini<strong>da</strong>s por<br />
x + Z ↦→ k · x + Z<br />
Observe que ca<strong>da</strong> ponto <strong>do</strong> círculo tem precisamente |k| pré-imagens.<br />
Em geral, uma transformação <strong>do</strong> círculo <strong>de</strong> grau k tem um levantamento que é <strong>da</strong> forma F (x) =<br />
k · x + h (x), on<strong>de</strong> h é uma função contínua periódica <strong>de</strong> perío<strong>do</strong> um, i.e. tal que h (x + 1) = h (x)<br />
para to<strong>do</strong> x ∈ R.