09.05.2013 Views

MEDIDAS SRB PARA ATRATORES HIPERBÓLICOS

MEDIDAS SRB PARA ATRATORES HIPERBÓLICOS

MEDIDAS SRB PARA ATRATORES HIPERBÓLICOS

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.

j=- n<br />

é não vazio e é o fecho do seu interior. Observe que Kn(a)⊃Kn+1(a)⊃... e assim<br />

∞ ∞<br />

K(a)=∩f -j Raj=∩Kn(a)≠∅<br />

j=- ∞ n=1<br />

Se x,y∈K(a), então f j x, f j y∈Raj estão próximos para todo j∈Z e assim, por<br />

expansividade, x=y. Como<br />

temos πoσ=foπ.<br />

∞ ∞ ∞<br />

K(σa)=∩f -j Raj+1=∩f -j+1 Raj=f(∩f -j+1 Raj)=f K(a)<br />

j=- ∞ j=- ∞ j=- ∞<br />

Vamos provar a continuidade de π. Seja a∈ΣA, x=π(a) e ε>0. Vamos tomar N∈N<br />

tal que<br />

diam(∩f -n (Ran))≤ε<br />

⎜⎜n ⎜⎜≤ N<br />

Isso é sempre possível pois, como vimos anteriormente, diam(∩|j|≤nf -j (Raj))→0<br />

quando n→∞. Se b∈ΣA está suficientemente próximo de a então vale bn=an para<br />

⎜⎜n⎜⎜≤N, de modo que se y∈∩f -n Rbn, então<br />

∞<br />

π(b)=∩f n (Rbn)⊂∩f -n (Rbn)=∩ f -n (Ran)<br />

- ∞ ⎜⎜ n ⎜⎜≤ N ⎜⎜ n ⎜⎜≤ N<br />

o que mostra que d(π(a),π(b))=d(x,y)≤ε, e portanto π é contínua.<br />

Como o conjunto ∂ s ℜ∪∂ u ℜ é magro, então o conjunto Y=Ωs-(∪f -1 (∂ s ℜ∪∂ u ℜ) é<br />

residual. Para x∈Y vamos tomar aj com f j x∈Rai. Como x∈Y, f j x∈int(Raj) e<br />

portanto Aajaj+1=1. Assim a={aj}∈ΣA e x=π(a). Se x=π(b), então f j x∈Rbj e bj=aj,<br />

pois f j x∉(∂ s ℜ∪∂ u ℜ); logo π é injetiva em Y. Como π(ΣA) é um<br />

subconjunto compacto de Ωs contendo o conjunto denso Y, então π(ΣA)=Ωs.<br />

O Teorema 1.20 é de grande importância pois mostra que existe uma conjugação<br />

entre σ e f ⎜⎜Y, dada pela aplicação π, o que será de extrema utilidade no próximo<br />

capítulo.<br />

Proposição 1.21. O shift σ:ΣA→ΣA é topologicamente transitivo. Se f ⎢⎢Ωs é<br />

mixing então σ:ΣA→ΣA também o é.<br />

Prova. Seja U e V subconjuntos não vazios e abertos em ΣA. Para alguns a,b∈ΣA e<br />

N∈N temos que<br />

xl

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

Saved successfully!

Ooh no, something went wrong!