Observe that if a partially hyperbolic diffemorphism $f$ is $m s-$minimal (resp. $m u-$minimal), then $f$ belongs to $\mathcal{B}^s({\varepsilon},\delta)$ (resp. $\mathcal{B}^u({\varepsilon},\delta)$) for every ${\varepsilon}$ and $\delta$ positive. In particular, the rest of the proof is a directly consequence of the next lemma, Lemma \[l.aberto\], which implies $m$-minimality is a $G_{\delta}$ property.

\[l.aberto\] The subsets $\mathcal{B}^s({\varepsilon},\delta)$ and $\mathcal{B}^u({\varepsilon},\delta)$ are open subsets of $\mathcal{PH}^1_{m}(M)$.

Since $f$ belongs to $\mathcal{B}^s({\varepsilon},\delta)$ if, and only if, $f^{-1}$ belongs to $\mathcal{B}^u({\varepsilon},\delta)$, it is enough to prove that $\mathcal{B}^s({\varepsilon},\delta)$ is an open subset of $\mathcal{PH}^1_{m}(M)$.

Let $f\in  \mathcal{B}^s({\varepsilon},\delta)$ be a partially hyperbolic diffeomorphism with decomposition $TM=E^s\oplus E^c\oplus E^u$.

By continuity of the partially hyperbolic splitting any diffeomorphism $g$ close enough to $f$ is also partially hyperbolic. We suppose first that every diffeomorphism $g$ close to $f$ has a partially hyperbolic splitting with stable and unstable bundle dimensions equal to the dimensions of the respectively sub-bundles in the partially hyperbolic splitting of $f$.

Now, given $x\in \mathcal{X}^s_{\delta}(f)$, there exists $K_x>0$ such that $\mathcal{F}^s_{K_x}(f,x)$ is $\delta$-dense in $M$, since $M$ is a compact manifold. Thus since the strong stable manifolds varies continuously with respect to the diffeomorphism in compact parts, there exists a neighborhood $\mathcal{V}_x$ of $f$ and a neighborhood $U_x$ of $x$, such that: $$\mathcal{F}^s_{K_x}(g,y) \text{ is } \delta-\text{dense in } M \text{ for every } y\in U_x \text{ and } g\in
Observe that if a partially hyperbolic diffemorphism $ f$ is $ m s-$minimal (resp. $ m u-$minimal), then $ f$ belongs to $ \mathcal{B}^s({\varepsilon},\delta)$ (resp. $ \mathcal{B}^u({\varepsilon},\delta)$) for every $ { \varepsilon}$ and $ \delta$ positive. In particular, the remainder of the validation is a directly consequence of the next lemma, Lemma \[l.aberto\ ], which entail $ m$-minimality is a $ G_{\delta}$ place. 

 \[l.aberto\ ] The subsets $ \mathcal{B}^s({\varepsilon},\delta)$ and $ \mathcal{B}^u({\varepsilon},\delta)$ are open subsets of $ \mathcal{PH}^1_{m}(M)$. 

 Since $ f$ belong to $ \mathcal{B}^s({\varepsilon},\delta)$ if, and only if, $ f^{-1}$ belongs to $ \mathcal{B}^u({\varepsilon},\delta)$, it is adequate to rise that $ \mathcal{B}^s({\varepsilon},\delta)$ is an open subset of $ \mathcal{PH}^1_{m}(M)$. 

 lease $ f\in   \mathcal{B}^s({\varepsilon},\delta)$ be a partially hyperbolic diffeomorphism with decomposition $ TM = E^s\oplus E^c\oplus E^u$. 

 By continuity of the partially hyperbolic splitting any diffeomorphism $ g$ close enough to $ f$ is besides partially hyperbolic. We suppose first that every diffeomorphism $ g$ near to $ f$ has a partially hyperbolic splitting with static and precarious bundle dimensions equal to the proportion of the respectively sub - bundles in the partially hyperbolic splitting of $ f$. 

 Now, given $ x\in \mathcal{X}^s_{\delta}(f)$, there exist $ K_x>0 $ such that $ \mathcal{F}^s_{K_x}(f, x)$ is $ \delta$-dense in $ M$, since $ M$ is a compact manifold. Thus since the strong stable manifold varies continuously with respect to the diffeomorphism in compact parts, there exists a neighborhood $ \mathcal{V}_x$ of $ f$ and a neighborhood $ U_x$ of $ x$, such that: $ $ \mathcal{F}^s_{K_x}(g, y) \text { is } \delta-\text{dense in } M \text { for every } y\in U_x \text { and } g\in
Obsfrve that if a partially hyperbolic difywmorphmsm $f$ ia $m s-$minkmal (resp. $m u-$minimal), then $f$ uelobgs ti $\mathcal{B}^s({\varepsilon},\ddlta)$ (resp. $\mathcal{V}^u({\vacepsilon},\delta)$) foc every ${\ycrepsjpon}$ cnv $\delta$ positivg. In particunar, the rest ox ghz proof is a directly consequence of the nect lemma, Lemma \[l.wberuo\], rhicg implies $m$-minimality is a $G_{\delta}$ lropertj.

\[l.aberto\] The subsrts $\mathcal{B}^s({\varepsilon},\delha)$ ajd $\mathcal{B}^u({\varepsllon},\delta)$ ats o[wn subsets ow $\mathcal{PH}^1_{m}(M)$.

Since $f$ bglongs to $\mathcal{B}^s({\varepsilon},\delga)$ if, and only uf, $f^{-1}$ hglongs to $\mavhcal{B}^l({\varepsilon},\delta)$, it iv enougn to prove thab $\matical{V}^s({\varepsilon},\delta)$ is en open subset of $\majhcal{PH}^1_{m}(M)$.

Lat $f\in  \mathcal{B}^s({\vaeepsilot},\delda)$ bd a oaruiaklg hypegbomic diffeojorphism wirh decomposition $TM=T^s\o[ous E^c\oplus E^h$.

By cogtynuity of the partially hyperbolic spliuting any diffeomorphism $g$ coose enough to $f$ is apso partiwlly hyperbolic. We suppose first that every diffemmorpiirm $y$ closd tl $f$ has a partially hyperbolic splitting with atsbke and unstablc bundle dimensionx fqiwl to the dimgnsions of the respectively dub-bundjes ib the paruiallu hyperbolic splitting of $f$.

Bow, given $x\iu \mqthcal{X}^s_{\delta}(f)$, thexe exists $K_x>0$ sucn thay $\mathcal{F}^s_{K_x}(f,x)$ is $\deltc$-dense in $M$, since $M$ is a ckopact manifold. Tfus shnce the strong stable manyfolds vacies eontinuojsly with wespect to the diffeomorphism in clmpacj partv, there exlsts a neighborhood $\mathcal{V}_x$ oh $f$ and a neibhtorvood $U_x$ jf $x$, xuch that: $$\matrcal{F}^s_{K_x}(g,y) \texj{ is } \delca-\text{aense in } J \text{ hor every } y\yn U_x \text{ ang } g\in
Observe that if a partially hyperbolic diffemorphism $m (resp. $m then $f$ belongs every and $\delta$ positive. particular, the rest the proof is a directly consequence the next lemma, Lemma \[l.aberto\], which implies $m$-minimality is a $G_{\delta}$ property. \[l.aberto\] subsets $\mathcal{B}^s({\varepsilon},\delta)$ and $\mathcal{B}^u({\varepsilon},\delta)$ are open subsets of $\mathcal{PH}^1_{m}(M)$. Since $f$ belongs to if, only $f^{-1}$ to $\mathcal{B}^u({\varepsilon},\delta)$, it is enough to prove that $\mathcal{B}^s({\varepsilon},\delta)$ is an open subset of $\mathcal{PH}^1_{m}(M)$. Let \mathcal{B}^s({\varepsilon},\delta)$ be a partially hyperbolic diffeomorphism with decomposition E^c\oplus E^u$. By continuity the partially hyperbolic splitting any $g$ enough to is partially We suppose first every diffeomorphism $g$ close to $f$ has a partially hyperbolic splitting with stable and unstable bundle dimensions to the the respectively in partially splitting of $f$. $x\in \mathcal{X}^s_{\delta}(f)$, there exists $K_x>0$ such $\delta$-dense in $M$, since $M$ is a compact Thus since strong stable manifolds varies continuously with to the diffeomorphism in compact parts, there exists neighborhood $\mathcal{V}_x$ of $f$ and a neighborhood $U_x$ of $x$, such that: $$\mathcal{F}^s_{K_x}(g,y) \text{ is in } M \text{ every } y\in \text{ }
Observe that if a partially hyPerbolic diFfemoRphIsm $F$ iS $m s-$mInimAl (resp. $m u-$minimaL), Then $F$ belongs to $\mathcal{B}^s({\varEpsilOn},\DElta)$ (REsP. $\mathCal{B}^u({\vaREpSILon},\DeLtA)$) foR eVErY ${\varePsiLon}$ and $\dElta$ positiVe. IN pArticular, the REsT of the prooF is A directly conSeqUence oF tHe nEXt lemMa, LEmma \[l.Aberto\], WHich imPlies $m$-minImALity is A $g_{\delta}$ pROPeRty.

\[l.Aberto\] The subsets $\mAThCAl{B}^s({\varepsilon},\Delta)$ aNd $\MAtHCAl{B}^U({\vaRepsilon},\deLtA)$ are oPEn subseTS oF $\MAThcAL{PH}^1_{m}(M)$.

Since $f$ beLongs to $\mathCAl{B}^S({\varepSiLon},\DElta)$ if, And onLy IF, $f^{-1}$ bElongs to $\matHcal{b}^u({\varepsiLon},\delTA)$, it is enOUgh to prOve thaT $\maThcAl{B}^s({\VArEpSilOn},\DEltA)$ Is An oPEn sUbset of $\mAtHcAl{PH}^1_{m}(m)$.

Let $F\IN  \MAthcAl{B}^S({\varEpsilOn},\delta)$ be a parTiaLly hYPerBolic DiffeOmorPhIsm wiTh decoMposiTiOn $TM=E^s\oplus E^c\opLus E^U$.

By continUitY oF thE pArtiaLLy hypeRboLic SplittiNg any diFFeoMoRPHIsM $g$ close enough to $f$ is AlSO PaRtially hYperboLIc. we SUppose fiRsT thAt evERY diffEomoRPhIsm $g$ closE to $f$ haS A pArTially hYpErboliC sPliTtiNg witH StabLe and uNstable bUndle DImensions equal TO the dimensionS Of THE rESpecTivEly sub-bundlEs in THe paRtiaLLy HypERboliC spliTtINg OF $f$.

Now, given $x\in \mathcaL{X}^S_{\delta}(F)$, therE exists $K_x>0$ such That $\mathcaL{f}^S_{k_x}(f,x)$ is $\deLta$-dENsE In $M$, since $M$ is a coMpact Manifold. ThUS since thE stroNg stable Manifolds VARies contInuOusLy wIth RESpEct to the diffeOMOrphIsM in compAct Parts, thEre ExiSts A neIgHborhood $\mAthcal{V}_x$ Of $F$ aNd A nEigHborhOOd $U_x$ of $x$, sUcH thAt: $$\MatHcal{F}^S_{k_x}(g,y) \teXt{ is } \dElta-\TeXt{DEnsE in } M \texT{ FoR EVery } Y\iN U_X \texT{ anD } g\In
Observe that if a partiall y hyperbol ic di ffe mor ph ism$f$is $m s-$minim a l (r esp. $m u-$minimal), t hen $ f$ belo n gs  to $ \mathca l {B } ^ s({ \v ar eps il o n} ,\del ta) $ (resp . $\mathca l{B }^ u({\varepsil o n} ,\delta)$)  fo r every ${\v are psilon }$  an d  $\de lta $ pos itive. In par ticular,th e  resto f the p r o of  isa directly conseq u en c e of the nextlemma,  L e mm a \[l .ab erto\], wh ic h imp l ies $m$ - mi n i m ali t y is a $G_{\d elta}$ prop e rty .

\[l .a ber t o\] Th e sub se t s $ \mathcal{B} ^s({ \varepsil on},\d e lta)$ a n d $\mat hcal{B }^u ({\ vare p si lo n}, \d e lta ) $are ope n subset sof  $\ma thca l { P H }^1_ {m} (M)$ .

Si nce $f$ belon gsto $ \ mat hcal{ B}^s( {\va re psilo n},\de lta)$  i f, and only if,  $f^ {-1}$ bel ong sto$\ mathc a l{B}^u ({\ var epsilon },\delt a )$,  i t i senough to prove th at $ \m athcal{B }^s({\ v ar ep s ilon},\d el ta) $ is a n ope n su b se t of $\m athcal { PH }^ 1_{m}(M )$ .

Let  $ f\i n \math c al{B }^s({\ varepsil on},\ d elta)$ be a pa r tially hyperb o li c di f feom orp hism with d ecom p osit ion$ TM =E^ s \oplu s E^c \o p lu s  E^u$.

By continui ty  of th e par tially hyperb olic split t i n g any di ffeo m or p hism $g$ close  enou gh to $f$i s also p artia lly hype rbolic. W e supposefir sttha t e v e ry  diffeomorphi s m  $g$  c lose to  $f $ has a  pa rti all y h yp erbolic s plitting  w it hst abl e and unstable  b und le  di mensi o ns equ al to  the  d im e nsi ons oft he r espe ct iv elysub -b undle s in the  partia lly hyper bol i c sp li tt ing of$f$.

Now, gi ve n $x\in \m at hca l{X}^s _ { \delta}( f)$, there exists $K_x> 0 $ suchtha t $\m athc al{F}^s_{ K_x }(f,x) $ i s  $\del ta$-de nse i n$M$ , since $ M$  is  a  compact m a n ifo ld. T hu s si nce the  strong stable man i fol ds varies con tin uous l y  w ith re s pec tt o t h e  diffeomorphism  in compac tp ar ts, theree xis ts  a neig hborhoo d $\m a thcal{V }_x$ of $ f$ and ane ighb o r hoo d $U_x$ of  $x$, su ch that:$ $\mat h ca l{F}^ s_{ K_x}(g ,y ) \ text{  is }\ del ta-\t ext{de ns e in }  M \t ex t{ for e very } y\in U_x \text{and }g\in
Observe that_if a_partially hyperbolic diffemorphism $f$_is $m_s-$minimal_(resp. $m_u-$minimal),_then $f$ belongs_to $\mathcal{B}^s({\varepsilon},\delta)$ (resp._$\mathcal{B}^u({\varepsilon},\delta)$) for every ${\varepsilon}$_and $\delta$ positive._In_particular, the rest of the proof is a directly consequence of the next lemma,_Lemma_\[l.aberto\], which_implies_$m$-minimality_is a $G_{\delta}$ property.

\[l.aberto\] The_subsets $\mathcal{B}^s({\varepsilon},\delta)$ and $\mathcal{B}^u({\varepsilon},\delta)$ are_open subsets_of $\mathcal{PH}^1_{m}(M)$.

Since $f$ belongs to $\mathcal{B}^s({\varepsilon},\delta)$ if, and_only_if, $f^{-1}$ belongs_to $\mathcal{B}^u({\varepsilon},\delta)$, it is enough to prove that $\mathcal{B}^s({\varepsilon},\delta)$_is an open subset of $\mathcal{PH}^1_{m}(M)$.

Let_$f\in  \mathcal{B}^s({\varepsilon},\delta)$_be_a_partially hyperbolic diffeomorphism with_decomposition $TM=E^s\oplus E^c\oplus E^u$.

By continuity of_the partially hyperbolic splitting any diffeomorphism_$g$ close enough to $f$ is also_partially hyperbolic. We suppose first that_every diffeomorphism $g$ close to_$f$ has_a partially hyperbolic splitting with_stable and unstable_bundle dimensions_equal to the_dimensions of the respectively sub-bundles in_the partially hyperbolic_splitting of $f$.

Now, given $x\in \mathcal{X}^s_{\delta}(f)$,_there_exists $K_x>0$ such_that_$\mathcal{F}^s_{K_x}(f,x)$_is $\delta$-dense_in $M$, since_$M$_is a_compact_manifold. Thus since the strong stable_manifolds_varies continuously with respect to the diffeomorphism_in compact parts, there_exists_a neighborhood $\mathcal{V}_x$ of_$f$ and a neighborhood $U_x$_of $x$, such that: $$\mathcal{F}^s_{K_x}(g,y) \text{_is }_\delta-\text{dense in_} M \text{ for every } y\in U_x \text{ and }_g\in