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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

14 PERDA DE MEMÓRIA E INDEPENDÊNCIA ASSIMPTÓTICA 95<br />

Como A é simétrica, os vetores próprios são ortogonais. Resulta que R 2 é a soma direta E + ⊕ E −<br />

<strong>do</strong>s espaços próprios <strong>de</strong> A. A transformação A estica os vetores <strong>de</strong> E + pelo fator λ + e contrai os<br />

vetores <strong>de</strong> E − pelo fator λ − . Observe que f preserva a área, pois λ + · λ − = 1, mas não preserva<br />

as ”formas”. As projeções <strong>da</strong> linhas x + E ± ⊂ R 2 em R 2 /Z 2 contêm as órbitas <strong>de</strong> uma translação<br />

minimal <strong>do</strong> toro (porque λ ± são irracionais) e portanto são <strong>de</strong>nsas. Seja R um pequeno quadra<strong>do</strong><br />

com la<strong>do</strong>s <strong>de</strong> comprimento ε paralelos às linhas E ± . A imagem f n (R) é um ”retângulo” com<br />

la<strong>do</strong>s ε · λ n + e ε · λ n −, paralelos às linhas E ± , respetivamente. Quan<strong>do</strong> n cresce, o complementar<br />

(<br />

R 2 /Z 2) \f n (R) não contém bolas <strong>de</strong> raio maior <strong>de</strong> ε, on<strong>de</strong> ε → 0 quan<strong>do</strong> n → ∞, logo f n (R)<br />

interseta estavelmente ca<strong>da</strong> aberto não vazio <strong>do</strong> toro. Isto mostra que f é topologicamente mixing.<br />

O resulta<strong>do</strong> realmente interessante é o teorema <strong>de</strong> Anosov, que diz que f é C 1 -estruturalmente<br />

estável.

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

Saved successfully!

Ooh no, something went wrong!