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

• Seja Σ = X Z , o espaço <strong>da</strong>s palavras infinitas x = (..., x −2 , x −1 , x 0 x 1 , x 2 , ..., x n , ...) nas letras<br />

<strong>do</strong> alfabeto finito X = {1, 2, ..., z}, muni<strong>do</strong> <strong>da</strong> topologia produto. Verifique que o shift<br />

σ : Σ → Σ, <strong>de</strong>fini<strong>do</strong> por (σ (x)) k<br />

= x k+1 , é um homeomorfismo.<br />

Determine a cardinali<strong>da</strong><strong>de</strong> <strong>de</strong> Fix (σ n ), e prove que os pontos periódicos são <strong>de</strong>nsos em Σ.<br />

Prove que σ : Σ → Σ é topologicamente mixing.<br />

Ca<strong>de</strong>ias <strong>de</strong> Markov topológicas e codificação. A restrição <strong>do</strong> shift σ a um subconjunto<br />

invariante <strong>de</strong> Σ + (ou Σ) é dita um sistema dinâmico simbólico. A maneira mais simples <strong>de</strong> produzir<br />

subconjuntos invariantes é por meio <strong>de</strong> matrizes <strong>de</strong> transição (a i<strong>de</strong>ia vem <strong>da</strong> teoria <strong>da</strong>s ca<strong>de</strong>ias <strong>de</strong><br />

Markov). Seja A = (a ij ) uma ”matiz <strong>de</strong> transição”, ou seja uma matriz z × z com entra<strong>da</strong>s 0 ou<br />

1. Seja<br />

Σ + A = { x ∈ Σ + t.q. a xnx n+1<br />

= 1 ∀ n ≥ 0 }<br />

E facil <strong>de</strong> ver que σ ( Σ + ) A ⊂ Σ<br />

+<br />

A . A restrição σ A = σ ∣ Σ<br />

+ : Σ + A → Σ+ A é dita ca<strong>de</strong>ias <strong>de</strong> Markov<br />

A<br />

topológicas (ou subshift of finite type). A i<strong>de</strong>ia é que o alfabeto representa os possíveis ”esta<strong>do</strong>s”<br />

<strong>do</strong> sistema, e a “transição” entre o esta<strong>do</strong> i e o esta<strong>do</strong> j é possível se a ij = 1.<br />

Uma palavra finita x 1 , x 2 , ..., x n é admissivel se a xk x k+1<br />

= 1 para to<strong>do</strong>s k = 1, 2, ..., n − 1,<br />

i.e. se é um pe<strong>da</strong>ço <strong>de</strong> uma história possível <strong>do</strong> esta<strong>do</strong> x 1 . O número <strong>de</strong> palavras admissiveis <strong>de</strong><br />

comprimento n + 1 que começam pela letra i e terminam pela letra j é igual a (A n ) ij<br />

. Isto mostra<br />

que |Fix (σA n)| = trAn . Este número po<strong>de</strong> ser estima<strong>do</strong> utilizan<strong>do</strong> o teorema <strong>de</strong> Perron-Frobenius.<br />

A ca<strong>de</strong>ia <strong>de</strong> Markov topológica σ A é dita transitiva se existe um tempo k ≥ 1 tal que to<strong>da</strong>s as<br />

entra<strong>da</strong>s <strong>de</strong> A k (e portanto as entra<strong>da</strong>s <strong>de</strong> A n se n ≥ k) são positivas. O resulta<strong>do</strong> relevante é que<br />

uma ca<strong>de</strong>ia <strong>de</strong> Markov topológica transitiva é topologicamente mixing, e tem órbitas periódicas<br />

<strong>de</strong>nsas.<br />

Os sistemas dinâmicos simbólicos são mo<strong>de</strong>los abstratos <strong>de</strong> sistemas dinâmicos. Uma <strong>da</strong>s<br />

i<strong>de</strong>ias centrais <strong>da</strong> teoria é procurar “codificar” um sistema ”concreto” f : X → X com um sistema<br />

simbólico. Uma estratégia possível é dividir X em subconjuntos fecha<strong>do</strong>s B 1 , B 2 , ..., B z tais que a<br />

historia <strong>de</strong> to<strong>do</strong> x ∈ X, <strong>de</strong>fini<strong>da</strong> por (x 0 , x 1 , x 2 , ..., x n , ...) on<strong>de</strong> x n = i sse f n (x) ∈ B i , <strong>de</strong>termina<br />

univocamente o ponto x. Então, se A = (a ij ) é a matriz <strong>de</strong> 0 e 1’s <strong>de</strong>fini<strong>da</strong> por a ij = 1 se<br />

B j ⊂ f(B i ), e se f é suficientemente “<strong>de</strong>sor<strong>de</strong>na<strong>da</strong>”, a ca<strong>da</strong> história (x 0 , x 1 , x 2 , ..., x n , ...) ∈ Σ + A<br />

correspon<strong>de</strong> um único ponto x = ∩ ∞ n=0f −n (B xn ). A esperança é que f seja conjuga<strong>do</strong> a σ A . Se<br />

X é conexo, os B i têm que ter interseções não vazias, e portanto a correspondência entre Σ + A e<br />

X não po<strong>de</strong> ser biunívoca. Mesmo assim, fora <strong>da</strong>s histórias ambíguas, a dinâmica <strong>de</strong> f é <strong>de</strong>scrita<br />

pela dinâmica <strong>de</strong> σ.<br />

Transformação <strong>de</strong> pa<strong>de</strong>iro. A transformação <strong>do</strong> pa<strong>de</strong>iro é f : [0, 1] × [0, 1] → [0, 1] × [0, 1]<br />

<strong>de</strong>fini<strong>da</strong> por<br />

{ (2x, y/2) se 0 ≤ x ≤ 1/2<br />

(x, y) ↦→<br />

(2x − 1, (y + 1) /2) se 1/2 < x ≤ 1<br />

Discuta a sua dinâmica. Consi<strong>de</strong>re o shift <strong>de</strong> Bernoulli σ : Σ → Σ no produto cartesiano Σ =<br />

{0, 1} Z . Mostre que a aplicação h : Σ → [0, 1] × [0, 1] <strong>de</strong>fini<strong>da</strong> por<br />

( ∞<br />

)<br />

∑ x ∞ −n<br />

x = (..., x −2 , x −1 , x 0 x 1 , x 2 , ..., x n , ...) ↦→<br />

2 n , ∑ x n<br />

2 n<br />

é uma semiconjugação entre σ e f. Deduza ...<br />

n=0<br />

n=1<br />

14.4 Conjuntos <strong>de</strong> Cantor<br />

As a<strong>de</strong>rências <strong>da</strong>s órbitas <strong>de</strong> transformações suficientemente “<strong>de</strong>sor<strong>de</strong>na<strong>da</strong>s” po<strong>de</strong>m ter uma estrutura<br />

complica<strong>da</strong>, e, se forem <strong>de</strong>sconexas, são tipicamente conjuntos <strong>de</strong> Cantor. Um conjunto <strong>de</strong><br />

Cantor é um espaço métrico compacto, perfeito e totalmente <strong>de</strong>sconexo.

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

Saved successfully!

Ooh no, something went wrong!