MEDIDAS SRB PARA ATRATORES HIPERBÓLICOS
MEDIDAS SRB PARA ATRATORES HIPERBÓLICOS
MEDIDAS SRB PARA ATRATORES HIPERBÓLICOS
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