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.

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

Seja x = 0, x 1 x 2 x 3 ..., com x n ∈ {0, 1, 2, ..., 9}, uma representação <strong>de</strong>cimal <strong>de</strong> x ∈ [0, 1[, pensa<strong>do</strong><br />

como um ponto <strong>de</strong> R/Z. Mostre que f(0, x 1 x 2 x 3 ... + Z) = 0, x 2 x 3 x 4 ... + Z.<br />

Procure os pontos fixos, periódicos, e pré-periódicos <strong>de</strong> f.<br />

Calcule a cardinali<strong>da</strong><strong>de</strong> <strong>de</strong> Fix(f n ). Mostre que os pontos periódicos <strong>de</strong> f são <strong>de</strong>nsos no círculo.<br />

Um número x é dito ”periódico” se a sua representação <strong>de</strong>cimal é <strong>da</strong> forma<br />

x = b n b n−1 ...b 0 .x 1 x 2 ...x n (a 1 a 2 ...a k )<br />

Existem número não periódicos Quantos Sabe fazer exemplos<br />

Mostre que, para to<strong>do</strong> ε > 0 e to<strong>do</strong> x ∈ R/Z, existem x ′ ∈ R/Z e um tempo n ≥ 0 tais que<br />

d(x, x ′ ) < ε e d(f n (x), f n (x ′ )) > 1/4<br />

ou seja, que a transformação f tem a proprie<strong>da</strong><strong>de</strong> <strong>de</strong> <strong>de</strong>pendência sensível <strong>da</strong>s condições iniciais.<br />

(Observe que, se d(x, x ′ ) < 1/2 · 10 −n , então d(f n (x), f n (x ′ )) = 10 n · d(x, x ′ ) ...)<br />

Mostre que, para to<strong>do</strong> intervalo não vazio I ⊂ R/Z, existe um tempo n ≥ 0 tal que f k (I) = R/Z<br />

para to<strong>do</strong> tempo k ≥ n. Deduza que f é topologicamente mixing.<br />

Seja b = (b 1 b 2 ...b n ) uma palavra finita no alfabeto {0, 1, 2, ..., 9}. Prove que existe um conjunto<br />

residual <strong>de</strong> pontos x ∈ [0, 1[ tais que a representação em base 10 <strong>de</strong> x contém a palavra b uma<br />

infini<strong>da</strong><strong>de</strong> <strong>de</strong> vezes (no senti<strong>do</strong> em que, se x é <strong>da</strong> forma 0.x 1 x 2 x 3 ...x k ..., existem uma infini<strong>da</strong><strong>de</strong> <strong>de</strong><br />

k ≥ 0 tais que (x k+1 x k+2 ...x k+n ) = (b 1 b 2 ...b n )). Prove que existe um conjunto residual <strong>de</strong> pontos<br />

x ∈ [0, 1[ tais que a representação em base 10 <strong>de</strong> x contém to<strong>da</strong>s as palavras finitas no alfabeto<br />

{0, 1, 2, ..., 9} uma infini<strong>da</strong><strong>de</strong> <strong>de</strong> vezes. Dê exemplos.<br />

(Emile Borel provou um teorema muito mais forte: o conjunto <strong>do</strong>s números x ∈ [0, 1[ tais que<br />

a representação em base 10 <strong>de</strong> x contém ca<strong>da</strong> palavra finita b com frequência assimptótica igual a<br />

1 sobre o comprimento <strong>de</strong> b tem probabili<strong>da</strong><strong>de</strong> (medi<strong>da</strong> <strong>de</strong> Lebesgue) igual a 1. Veja a observação<br />

sobre números normais no capítulo sobre a ergodici<strong>da</strong><strong>de</strong>.)<br />

Transformações expansoras <strong>do</strong> círculo Seja λ um inteiro tal que |λ| > 1. A transformação<br />

expansora stan<strong>da</strong>rd <strong>de</strong> grau λ é a transformação ×λ : R/Z → R/Z, <strong>de</strong>fini<strong>da</strong> por<br />

x + Z ↦→ λ · x + Z<br />

A transformação ×λ é topologicamente mixing. De fato, to<strong>do</strong> aberto não vazio U ⊂ R/Z<br />

contêm um intervalo I <strong>de</strong> comprimento |I| > |λ| −n , para algum n suficientemente gran<strong>de</strong>, e<br />

(×λ) k (I) = R/Z para to<strong>do</strong> tempo k ≥ n.<br />

A transformação ×λ tem um conjunto enumerável e <strong>de</strong>nso <strong>de</strong> pontos periódicos.<br />

A transformação ×λ é um fator <strong>do</strong> shift <strong>de</strong> Bernoulli sobre um alfabeto <strong>de</strong> |λ| letras (e o<br />

conjunto on<strong>de</strong> a semicojugação falha <strong>de</strong> ser injetiva é pequeno!).<br />

As transformações expansoras, além <strong>de</strong> pontos periódicos <strong>de</strong>nsos e <strong>de</strong> órbitas <strong>de</strong>nsas, admitem<br />

trajetórias que se acumulam em conjuntos bem mais complica<strong>do</strong>s. Por exemplo, a transformação<br />

×3 preserva o conjunto <strong>de</strong> Cantor stan<strong>da</strong>rd K (pensa<strong>do</strong> como um subconjunto <strong>do</strong> círculo), i.e.<br />

×3(K) ⊂ K. Agora, a restrição ×3 | K : K → K é topologicamente conjuga<strong>da</strong> ao shift <strong>de</strong> Bernoulli<br />

σ : Σ + → Σ + sobre o alfabeto {0, 2} (quase!, <strong>de</strong> fato é um fator, pois a semiconjugação obvia não<br />

é injetiva no ponto (2, 2, 2, 2, ...), que é igual a (0, 0, 0, 0, ...) mod 1), que é topologicamente mixing,<br />

logo existem (e muitos!) pontos <strong>de</strong> K ⊂ R/Z cuja ×3-órbita é <strong>de</strong>nsa em K.<br />

Transformações expansoras não lineares. Seja agora f : R/Z → R/Z uma transformação<br />

expansora <strong>de</strong> classe C 1 , ou seja tal que um seu levantamento F : R → R é <strong>de</strong> classe C 1 . Sen<strong>do</strong><br />

F ′ uma função periódica <strong>de</strong> perío<strong>do</strong> um, a expansivi<strong>da</strong><strong>de</strong> <strong>de</strong> f implica que existe µ > 1 tal que<br />

|F ′ (x)| > µ em to<strong>do</strong> x ∈ R, e que F ′ não mu<strong>da</strong> <strong>de</strong> sinal. Em particular, o grau <strong>de</strong> f tem módulo<br />

> 1, porque<br />

∫ 1<br />

∫ 1<br />

|<strong>de</strong>g(f)| = |F (1) − F (0)| =<br />

∣ F ′ (t)dt<br />

∣ = |F ′ (t)| dt > 1.<br />

0<br />

Teorema. To<strong>da</strong> transformação expansora f : R/Z → R/Z <strong>de</strong> classe C 1 e grau λ é topologicamente<br />

conjuga<strong>da</strong> à transformação expansora stan<strong>da</strong>rd ×λ.<br />

0

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

Saved successfully!

Ooh no, something went wrong!