 show this we need prove that we have contraction and expansion in the sub-bundles $E$ and $F$, respectively, unless a certain finite time iterate. Hence, by compactness of ${\overline}{Per(f)}$, we just need to show the following $$\liminf_{n\rightarrow +\infty} \|Df^n(x)|E(x)\|=0
\label{eq 1}$$ and $$\liminf_{n\rightarrow +\infty} \|Df^{-n}(x)|F(x)\|=0,$$ for all $x\in {\overline}{Per(f)}$.

Observe it’s enough to prove the first case since the second one can be deduced from the first one replacing $f$ by $f^{-1}$.

Suppose now $(\ref{eq 1})$ is not true. Then there exists $x\in M$ such that $$\|Df^{jm}(x)|F(x)\|\geq c>0, \text{ for all } j>0.$$ Defining the following probability measure $$\mu_j=\frac{1}{j}\sum_{i=0}^{j-1}\delta_{f^{mi}(x)},$$ where $\delta$ is the dirac measure, we can find a subsequence $j_n\rightarrow \infty$ such that $\mu_{j_n}$ converges to an $f^m-$invariant probability measure $\mu$ in the weak$^*$ topology and $$\lim_{n\rightarrow +\infty} \frac{1}{j_n}\log \|Df^{mj_n}(x)|E(x)\|\geq 0.$$

Hence, taking the continuous functional $\phi(x)=\log\|Df^{m}(x)|E(x)\|$ over ${\overline}{Per(f)}$, we obtain: $$\begin{aligned}
\int_{{\overline}{Per(f)}}\phi \; d\mu &= \lim_{n\rightarrow +\infty}\frac{1}{j_n}\sum_{i=0}^{j_n-1}\log\|Df^{m}(f^{mi}(x))|E(f^{mi}(x))\|
\\
&\geq \lim_{n\rightarrow +\infty}\frac{1}{j_n}\log\|Df^{mj_n}(x)|E(x)\|\geq 0.\end{aligned}$$

And so, using Ergodic Birkhoff’s Theorem $$0
show this we need prove that we have compression and expansion in the bomber - bundles $ E$ and $ F$, respectively, unless a certain finite meter iterate. therefore, by compactness of $ { \overline}{Per(f)}$, we just need to indicate the following $ $ \liminf_{n\rightarrow + \infty } \|Df^n(x)|E(x)\|=0 
 \label{eq 1}$$ and $ $ \liminf_{n\rightarrow + \infty } \|Df^{-n}(x)|F(x)\|=0,$$ for all $ x\in { \overline}{Per(f)}$. 

 Observe it ’s enough to testify the first case since the second one can be deduce from the first one replacing $ f$ by $ f^{-1}$. 

 speculate nowadays $ (\ref{eq 1})$ is not true. Then there exists $ x\in M$ such that $ $ \|Df^{jm}(x)|F(x)\|\geq c>0, \text { for all } j>0.$$ Defining the following probability measure $ $ \mu_j=\frac{1}{j}\sum_{i=0}^{j-1}\delta_{f^{mi}(x)},$$ where $ \delta$ is the dirac bill, we can find a subsequence $ j_n\rightarrow \infty$ such that $ \mu_{j_n}$ converges to an $ f^m-$invariant probability measure $ \mu$ in the weak$^*$ regional anatomy and $ $ \lim_{n\rightarrow + \infty } \frac{1}{j_n}\log \|Df^{mj_n}(x)|E(x)\|\geq 0.$$ 

 Hence, taking the continuous running $ \phi(x)=\log\|Df^{m}(x)|E(x)\|$ over $ { \overline}{Per(f)}$, we obtain: $ $ \begin{aligned } 
 \int_{{\overline}{Per(f)}}\phi \; d\mu & = \lim_{n\rightarrow + \infty}\frac{1}{j_n}\sum_{i=0}^{j_n-1}\log\|Df^{m}(f^{mi}(x))|E(f^{mi}(x))\| 
 \\ 
 & \geq \lim_{n\rightarrow + \infty}\frac{1}{j_n}\log\|Df^{mj_n}(x)|E(x)\|\geq 0.\end{aligned}$$ 

 And then, using Ergodic Birkhoff ’s Theorem $ $ 0
 shlw this we need prove thxt we have conttaxtion end expznsion iv the sub-bundles $E$ and $F$, res'ectuvely, unless a certain finige time inerate. Hebce, uy compactness oh ${\overlikz}{Per(f)}$, ae jbsv need to show jhe followinc $$\liminf_{n\rightdrfoc +\infty} \|Df^n(x)|E(x)\|=0
\label{eq 1}$$ and $$\liminf_{n\ridhtarroe +\lnfty} \|Df^{-n}(x)|F(x)\|=0,$$ fjr akj $x\ih {\overline}{Per(f)}$.

Observe it’s enough tk prove the first caxe since the second one caj be deduced from the virst one rgllasung $f$ by $f^{-1}$.

Suopose now $(\gzf{eq 1})$ is noj true. Then there exists $x\in M$ sjch tkat $$\|Df^{jm}(x)|F(x)\|\tew c>0, \jext{ for all } j>0.$$ Dvfining the following probabolity measure $$\ku_j=\hrac{1}{h}\sum_{i=0}^{j-1}\delta_{f^{mi}(x)},$$ where $\delta$ is the diras measure, wz can find a subsequebcw $j_n\rhghtdrrod \inwty$ snch that $\lu_{j_i}$ converges to an $f^m-$incariant probability mqqsure $\mu$ in tge weah$^*$ eopology and $$\lim_{n\rightarrow +\infty} \frac{1}{j_t}\lof \|Df^{mj_n}(x)|E(x)\|\geq 0.$$

Hence, takung the continuous fujctional $\[hi(x)=\log\|Df^{m}(x)|E(x)\|$ over ${\overline}{Per(f)}$, we obtain: $$\begin{alhgned}
\mng_{{\ovtroine}{Pde(f)}}\ohi \; d\mu &= \lim_{n\rightarrow +\infty}\frac{1}{j_n}\sum_{i=0}^{j_n-1}\log\|Qr^{m}(g^{mp}(x))|E(f^{mi}(x))\|
\\
&\geq \lim_{n\rinhtarrow +\infty}\frac{1}{k_n}\pob\|Qf^{mj_n}(x)|E(x)\|\geq 0.\evd{aligusd}$$

Znd so, using Ergodlc Birkroff’s Theorem $$0
show this we need prove that we and in the $E$ and $F$, time Hence, by compactness ${\overline}{Per(f)}$, we just to show the following $$\liminf_{n\rightarrow +\infty} \label{eq 1}$$ and $$\liminf_{n\rightarrow +\infty} \|Df^{-n}(x)|F(x)\|=0,$$ for all $x\in {\overline}{Per(f)}$. Observe it’s enough prove the first case since the second one can be deduced from the one $f$ $f^{-1}$. now $(\ref{eq 1})$ is not true. Then there exists $x\in M$ such that $$\|Df^{jm}(x)|F(x)\|\geq c>0, \text{ all } j>0.$$ Defining the following probability measure where $\delta$ is the measure, we can find a $j_n\rightarrow such that converges an probability measure $\mu$ the weak$^*$ topology and $$\lim_{n\rightarrow +\infty} \frac{1}{j_n}\log \|Df^{mj_n}(x)|E(x)\|\geq 0.$$ Hence, taking the continuous functional $\phi(x)=\log\|Df^{m}(x)|E(x)\|$ over ${\overline}{Per(f)}$, obtain: $$\begin{aligned} d\mu &= +\infty}\frac{1}{j_n}\sum_{i=0}^{j_n-1}\log\|Df^{m}(f^{mi}(x))|E(f^{mi}(x))\| &\geq +\infty}\frac{1}{j_n}\log\|Df^{mj_n}(x)|E(x)\|\geq 0.\end{aligned}$$ And Ergodic Birkhoff’s Theorem $$0
 show this we need prove that we Have contraCtion And ExpAnSion In thE sub-bundles $E$ anD $f$, resPectively, unless a certaiN finiTe TIme iTErAte. HeNce, by coMPaCTNesS oF ${\oVerLiNE}{PEr(f)}$, we JusT need to Show the folLowInG $$\liminf_{n\righTArRow +\infty} \|Df^N(x)|E(X)\|=0
\label{eq 1}$$ and $$\lImiNf_{n\rigHtArrOW +\inftY} \|Df^{-N}(x)|F(x)\|=0,$$ fOr all $x\IN {\overlIne}{Per(f)}$.

ObSeRVe it’s eNOugh to pROVe The fIrst case since the sECoND one can be deducEd from ThE FiRST onE rePlacing $f$ by $F^{-1}$.

SUpposE Now $(\ref{eQ 1})$ Is NOT TruE. then there exisTs $x\in M$ such tHAt $$\|DF^{jm}(x)|F(x)\|\GeQ c>0, \tEXt{ for aLl } j>0.$$ DeFiNIng The followinG proBability mEasure $$\MU_j=\frac{1}{j}\SUm_{i=0}^{j-1}\delTa_{f^{mi}(x)},$$ WheRe $\dElta$ IS tHe DirAc MEasURe, We cAN fiNd a subseQuEnCe $j_n\rIghtARROW \infTy$ sUch tHat $\mu_{J_n}$ converges to An $f^M-$invARiaNt proBabilIty mEaSure $\mU$ in the Weak$^*$ tOpOlogy and $$\lim_{n\rigHtarRow +\infty} \fRac{1}{J_n}\Log \|df^{Mj_n}(x)|E(X)\|\Geq 0.$$

HenCe, tAkiNg the coNtinuouS FunCtIONAl $\Phi(x)=\log\|Df^{m}(x)|E(x)\|$ over ${\oVeRLInE}{Per(f)}$, we oBtain: $$\bEGiN{aLIgned}
\int_{{\OvErlIne}{PER(F)}}\phi \; d\Mu &= \liM_{N\rIghtarroW +\infty}\FRaC{1}{j_N}\sum_{i=0}^{j_n-1}\LoG\|Df^{m}(f^{mI}(x))|e(f^{mI}(x))\|
\\
&\gEq \lim_{N\RighTarrow +\Infty}\fraC{1}{j_n}\loG\|df^{mj_n}(x)|E(x)\|\geq 0.\end{ALigned}$$

And so, usINg eRGoDIc BiRkhOff’s Theorem $$0
 show this we need prove t hat we hav e con tra cti on  and  exp ansion in thes ub-b undles $E$ and $F$, re spect iv e ly,u nl ess a  certai n  f i n ite  t im e i te r at e. He nce , by co mpactnessof${ \overline}{P e r( f)}$, we j ust  need to sho w t he fol lo win g  $$\l imi nf_{n \right a rrow + \infty} \ |D f ^n(x)| E (x)\|=0 \ la bel{ eq 1}$$ and $$\li m in f _{n\rightarrow  +\inf ty }  \ | D f^{ -n} (x)|F(x)\| =0 ,$$ f o r all $ x \i n { \ov e rline}{Per(f) }$.

Observ e  it ’s eno ug h t o  prove  thefi r stcase sincethesecond on e canb e deduc e d fromthe fi rst  on e re p la ci ng$f $  by $f ^{- 1 }$. 

Suppos eno w $(\ ref{ e q 1 })$isnottrue.  Then there e xis ts $ x \in  M$ s uch t hat$$ \|Df^ {jm}(x )|F(x )\ |\geq c>0, \tex t{ f or all }j>0 .$ $ D ef ining the fo llo win g proba bilitym eas ur e $ $\ mu_j=\frac{1}{j}\s um _ { i= 0}^{j-1} \delta _ {f ^{ m i}(x)},$ $whe re $ \ d elta$  ist he  dirac m easure ,  w ecan fin da subs eq uen ce$j_n\ r ight arrow\infty$sucht hat $\mu_{j_n} $  converges to an $ f^ m -$in var iant probab ilit y  mea sure $\ mu$ in th e wea k$ ^ *$ topology and $$\lim _{ n\righ tarro w +\infty} \f rac{1}{j_n } \ l og \|Df^ {mj_ n }( x )|E(x)\|\geq 0 .$$
Hence, tak i ng the c ontin uous fun ctional $ \ p hi(x)=\l og\ |Df ^{m }(x ) | E( x)\|$ over ${ \ o verl in e}{Per( f)} $, we o bta in:  $$ \be gi n{aligned }
\int_{ {\ ov er li ne} {Per( f )}}\phi\;  d\ mu  &=  \lim _ {n\rig htarr ow + \i nf t y}\ frac{1} { j_ n } \sum _{ i= 0}^{ j_n -1 }\log \|Df ^ {m} (f^{mi} (x))|E(f^ {mi } (x)) \| 
\ \
&\geq  \lim_{n\righ ta rrow +\inf ty }\f rac{1} { j _n}\log\ |Df^{mj_n}(x)|E(x)\|\ge q  0.\end {al igned }$$
And so,usi ng Erg odi c  Birkh off’sTheor em  $$ 0 
 show_this we_need prove that we_have contraction_and_expansion in_the_sub-bundles $E$ and_$F$, respectively, unless_a certain finite time_iterate. Hence, by_compactness_of ${\overline}{Per(f)}$, we just need to show the following $$\liminf_{n\rightarrow +\infty} \|Df^n(x)|E(x)\|=0
\label{eq 1}$$ and_$$\liminf_{n\rightarrow_+\infty} \|Df^{-n}(x)|F(x)\|=0,$$_for_all_$x\in {\overline}{Per(f)}$.

Observe it’s enough to_prove the first case since_the second_one can be deduced from the first one_replacing_$f$ by $f^{-1}$.

Suppose_now $(\ref{eq 1})$ is not true. Then there exists_$x\in M$ such that $$\|Df^{jm}(x)|F(x)\|\geq c>0,_\text{ for all_}_j>0.$$_Defining the following probability_measure $$\mu_j=\frac{1}{j}\sum_{i=0}^{j-1}\delta_{f^{mi}(x)},$$ where $\delta$ is the_dirac measure, we can find a_subsequence $j_n\rightarrow \infty$ such that $\mu_{j_n}$ converges_to an $f^m-$invariant probability measure $\mu$_in the weak$^*$ topology and_$$\lim_{n\rightarrow +\infty}_\frac{1}{j_n}\log \|Df^{mj_n}(x)|E(x)\|\geq 0.$$

Hence, taking the_continuous functional $\phi(x)=\log\|Df^{m}(x)|E(x)\|$_over ${\overline}{Per(f)}$,_we obtain: $$\begin{aligned}
\int_{{\overline}{Per(f)}}\phi_\; d\mu &= \lim_{n\rightarrow +\infty}\frac{1}{j_n}\sum_{i=0}^{j_n-1}\log\|Df^{m}(f^{mi}(x))|E(f^{mi}(x))\|
\\
&\geq \lim_{n\rightarrow_+\infty}\frac{1}{j_n}\log\|Df^{mj_n}(x)|E(x)\|\geq 0.\end{aligned}$$

And so,_using Ergodic Birkhoff’s Theorem $$0