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 88<br />

Cobweb diagram of the tent map.<br />

A iteração <strong>de</strong> T é simples, pois a composição <strong>de</strong> duas transformações afins é uma transformação<br />

afin.<br />

Não é difícil provar por indução que em ca<strong>da</strong> um <strong>do</strong>s intervalos I k,n = [ ]<br />

k<br />

2<br />

, k+1<br />

n 2 com k =<br />

n<br />

0, 1, 2, ..., 2 n − 1 a transformação T n tem a forma<br />

{<br />

x ↦→ T n 2<br />

(x) =<br />

n x + k se k é par<br />

−2 n x + k + 1 se k é impar<br />

Em particular, T n é uma bijeção estritamente crescente ou <strong>de</strong>crescente <strong>de</strong> I k,n sobre o intervalo<br />

[0, 1]. O teorema <strong>de</strong> ponto fixo implica que T n tem um e um único ponto fixo em ca<strong>da</strong> um <strong>do</strong>s<br />

intervalos I k,n (que é repulsivo, pois a <strong>de</strong>riva<strong>da</strong> <strong>de</strong> T n é 2 n > 1, e só coinci<strong>de</strong> com um <strong>do</strong>s extremos<br />

quan<strong>do</strong> k = 0), e portanto que |Fix(T n )| = 2 n . Além disso, sen<strong>do</strong> que to<strong>do</strong> aberto não vazio<br />

U ⊂ [0, 1] contém um <strong>do</strong>s intervalos I k,n se n é suficientemente gran<strong>de</strong>, os pontos periódicos <strong>de</strong> T<br />

são <strong>de</strong>nsos no intervalo [0, 1].<br />

A transformação T é topologicamente mixing. De fato, to<strong>do</strong> aberto não vazio U ⊂ [0, 1] contém<br />

um <strong>do</strong>s intervalos I k,n com n suficientemente gran<strong>de</strong>, logo T n (U) = [0, 1] e portanto T k (U) = [0, 1]<br />

para to<strong>do</strong> tempo k ≥ n porque T é sobrejetiva. Isto implica que T k (U) ∩ V ≠ ∅ para to<strong>do</strong> tempo<br />

k ≥ n e para to<strong>do</strong> aberto não vazio V ⊂ [0, 1]. Portanto existe um conjunto residual (i.e. gran<strong>de</strong>!)<br />

<strong>de</strong> pontos x tais que ω f (x) = [0, 1], ou seja cuja trajetória é essencialmente imprevisível!<br />

Exercícios.<br />

• Verifique que h : x ↦→ sin 2 (πx/2) realiza uma conjugação topológica entre a transformação<br />

ten<strong>da</strong> T e a transformação f 4 : [0, 1] → [0, 1] <strong>da</strong> família quadrática, <strong>de</strong>fini<strong>da</strong> por f 4 (x) =<br />

4x (1 − x). Deduza ....<br />

• Discuta a dinâmica <strong>da</strong> transformação S : [0, 1] → [0, 1] <strong>de</strong>fini<strong>da</strong> por<br />

{<br />

2x se x < 1/2<br />

S(x) =<br />

2x − 1 se x ≥ 1/2<br />

Cui<strong>da</strong><strong>do</strong>, S não é contínua!, mas não é muito diferente <strong>da</strong> transformação ten<strong>da</strong>...

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

Saved successfully!

Ooh no, something went wrong!