{F}$ has shadowing property and moreover $\mathcal{F}$ is expansive relative to any sequence $\sigma$ with sufficiently small constant expansive, then $\mathcal{F}$ is topologically stable.

 Structural stability implies Shadowing property in an IFS
==========================================================

Now, we are going to study the relation between shadowing property and structural stability in an IFS. First, we define the space of diffeomorphisms on $M$. Let the functions $f$ and $g$ be $C^{1}$-diffeomorphisms on $M$. We define the metric $\rho_1$ as follows; $$\rho_1(f, g)= \rho_0(f, g)+ Max\bigg\{\parallel Df(x)-Dg(x)\parallel;\,\,\forall x\in M\bigg\};$$ that here $${\scriptstyle Max\bigg\{\parallel Df(x)-Dg(x)\parallel;\,\,\forall x\in M\bigg\}= Max\bigg\{\mid Df(x)u-Dg(x)u\mid;\,\,\forall x\in M\;and\;\forall u\in T_{x}M:\, \mid u\mid= 1\bigg\}}$$ The space of $C^{1}$-diffeomorphisms on $M$ with the metric $\rho_1$ is denoted to [***$Diff^{1}(M)$***]{}.\
We know that there is no relation of equivalence between the set of all structurally stable diffeomorphisms and the set of all diffeomorphisms with SP. In fact, SS is stronger than SP. Robinson proves that a structurally stable diffeomorphism on a closed manifold has SP. The previous converse demonstration has been rejected by giving a counter example; for example, in article [@Pilyugin2010variational]. In the following, we show that this equivalence is not also true for IFSs.

Let IFSs $\mathcal{F}=\Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$ and $\mathcal{G}=\Big\{g_{\overline\lambda},\,M\,: {\overline\lambda}\in{\overline\Lambda}\Big\}$ be subset of $Diff^{1}(M)$ then we denote the measure distance for two IFSs by ${\mathcal{D}}_1$ and define as follows:\
If $\mathcal{F}=\mathcal{G}$ then put ${\mathcal{D}}_1\Big(\mathcal{F}, \
{ F}$ has shadowing property and moreover $ \mathcal{F}$ is expansive relative to any sequence $ \sigma$ with sufficiently humble changeless expansive, then $ \mathcal{F}$ is topologically stable. 

  Structural stability imply Shadowing property in an IFS 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 immediately, we are function to study the sexual intercourse between shadowing property and morphologic stability in an IFS. First, we specify the quad of diffeomorphisms on $ M$. Let the functions $ f$ and $ g$ be $ C^{1}$-diffeomorphisms on $ M$. We define the metric $ \rho_1 $ as follows; $ $ \rho_1(f, g)= \rho_0(f, g)+ Max\bigg\{\parallel Df(x)-Dg(x)\parallel;\,\,\forall x\in M\bigg\};$$ that here $ $ { \scriptstyle Max\bigg\{\parallel Df(x)-Dg(x)\parallel;\,\,\forall x\in M\bigg\}= Max\bigg\{\mid Df(x)u - Dg(x)u\mid;\,\,\forall x\in M\;and\;\forall u\in T_{x}M:\, \mid u\mid= 1\bigg\}}$$ The outer space of $ C^{1}$-diffeomorphisms on $ M$ with the metric $ \rho_1 $ is denoted to [ * * * $ Diff^{1}(M)$***]{}.\ 
 We know that there exist no relation of equivalence between the set of all structurally stable diffeomorphisms and the stage set of all diffeomorphisms with SP. In fact, SS is stronger than SP. Robinson proves that a structurally stable diffeomorphism on a closed manifold give birth SP. The previous converse demonstration has been rejected by giving a counter case; for example, in article [ @Pilyugin2010variational ]. In the following, we show that this equivalence is not also true for IFSs. 

 Let IFSs $ \mathcal{F}=\Big\{f_{\lambda},\,M\, : \lambda\in\Lambda\Big\}$ and $ \mathcal{G}=\Big\{g_{\overline\lambda},\,M\, : { \overline\lambda}\in{\overline\Lambda}\Big\}$ be subset of $ Diff^{1}(M)$ then we denote the measure distance for two IFSs by $ { \mathcal{D}}_1 $ and define as follows:\ 
 If $ \mathcal{F}=\mathcal{G}$ then frame $ { \mathcal{D}}_1\Big(\mathcal{F }, \
{F}$ hws shadowing property ana moreover $\matheql{F}$ is expanaive relxtive to any sequence $\sigma$ xith suffuciently small constang expansine, then $\mqthcel{F}$ is topologicemly stanje.

 Sfvuctuxao stability imklies Shadowhng property it xn IFS
==========================================================

Now, we are going to study the rqlation bftween shadowigg pgo[ertg and structural stability in an IRS. Firsu, we define the spsce of diffeomorphisms on $L$. Leh the functions $f$ wnd $g$ be $C^{1}$-duffejnorphisms on $M$. We define the metrid $\rho_1$ as follows; $$\rho_1(f, g)= \rho_0(f, g)+ Oax\biyg\{\parallel Ef(z)-Dg(d)\karallel;\,\,\foraol x\ig M\bigg\};$$ that here $${\scsiptstyke Max\bigg\{\paraklen Dd(x)-Dg(x)\parallel;\,\,\forall x\mn M\bigg\}= Max\bigg\{\mid Qf(x)u-Dg(x)u\mhd;\,\,\yorall x\in M\;and\;\forall u\un T_{x}K:\, \mig u\mke= 1\bkgg\}}$$ Tie apace lf $R^{1}$-diffeomorpgisms on $M$ qith the metric $\rho_1$ if denoted to [***$Djff^{1}(M)$***]{}.\
We kgow that there is no relation of equivanende between the set of aol structurally stablg diffeomowphisms and the set of all diffeomorphisms with S[. In hazt, WS kw dtronger than SP. Robinson proves that a strucehrslky stable diffcomorphism on a clpsfd ianifold has RP. The prsvious converse delonstrajion hqs been rtjectrd by giving a counter example; for examile, un article [@Pilyugiu2010variational]. In jhe foklowing, we show that thns equjvalence is not also grue for IFSs.

Let IFXs $\mathcal{F}=\Big\{f_{\lambda},\,M\,: \lambdw\in\Lambda\Uig\}$ aud $\mathcxl{G}=\Bog\{g_{\ovewline\lambdw},\,M\,: {\ovcsline\lambda}\in{\overllne\Lalbga}\Big\}$ be skbset of $Diff^{1}(M)$ then we denote tix measure disjanwe xor two NFSs bn ${\mathcal{D}}_1$ and qefine as follpws:\
If $\mcthcal{W}=\mathcal{G}$ nhen put ${\kathcal{D}}_1\Big(\iathcal{F}, \
{F}$ has shadowing property and moreover $\mathcal{F}$ relative any sequence with sufficiently small topologically Structural stability implies property in an ========================================================== Now, we are going to the relation between shadowing property and structural stability in an IFS. First, we the space of diffeomorphisms on $M$. Let the functions $f$ and $g$ be on We the $\rho_1$ as follows; $$\rho_1(f, g)= \rho_0(f, g)+ Max\bigg\{\parallel Df(x)-Dg(x)\parallel;\,\,\forall x\in M\bigg\};$$ that here $${\scriptstyle Max\bigg\{\parallel Df(x)-Dg(x)\parallel;\,\,\forall M\bigg\}= Max\bigg\{\mid Df(x)u-Dg(x)u\mid;\,\,\forall x\in M\;and\;\forall u\in T_{x}M:\, \mid 1\bigg\}}$$ The space of on $M$ with the metric is to [***$Diff^{1}(M)$***]{}.\ know there no relation of between the set of all structurally stable diffeomorphisms and the set of all diffeomorphisms with SP. In SS is SP. Robinson that structurally diffeomorphism on a has SP. The previous converse demonstration by giving a counter example; for example, in [@Pilyugin2010variational]. In following, we show that this equivalence not also true for IFSs. Let IFSs $\mathcal{F}=\Big\{f_{\lambda},\,M\,: and $\mathcal{G}=\Big\{g_{\overline\lambda},\,M\,: {\overline\lambda}\in{\overline\Lambda}\Big\}$ be subset of $Diff^{1}(M)$ then we denote the measure distance for two ${\mathcal{D}}_1$ and define as If $\mathcal{F}=\mathcal{G}$ then ${\mathcal{D}}_1\Big(\mathcal{F},
{F}$ has shadowing property and mOreover $\matHcal{F}$ Is eXpaNsIve rElatIve to any sequenCE $\sigMa$ with sufficiently smalL consTaNT expANsIve, thEn $\mathcAL{F}$ IS TopOlOgIcaLlY StAble.

 STruCtural sTability imPliEs shadowing proPErTy in an IFS
==========================================================

NOw, wE are going to sTudY the reLaTioN BetweEn sHadowIng proPErty anD structurAl STabiliTY in an IFs. fIrSt, we Define the space of dIFfEOmorphisms on $M$. LEt the fUnCTiONS $f$ aNd $g$ Be $C^{1}$-diffeomOrPhismS On $M$. We deFInE THE meTRic $\rho_1$ as folloWs; $$\rho_1(f, g)= \rho_0(f, G)+ max\Bigg\{\paRaLleL df(x)-Dg(x)\ParalLeL;\,\,\ForAll x\in M\bigg\};$$ That Here $${\scripTstyle mAx\bigg\{\pARallel DF(x)-Dg(x)\pAraLleL;\,\,\forALl X\iN M\bIgG\}= max\BIgG\{\miD df(x)U-Dg(x)u\mid;\,\,\FoRaLl x\in m\;and\;\FORALl u\iN T_{x}m:\, \mid U\mid= 1\bIgg\}}$$ The space of $c^{1}$-diFfeoMOrpHisms On $M$ wiTh thE mEtric $\Rho_1$ is dEnoteD tO [***$Diff^{1}(M)$***]{}.\
We know thaT theRe is no relAtiOn Of eQuIvaleNCe betwEen The Set of alL structURalLy STABlE diffeomorphisms anD tHE SeT of all diFfeomoRPhIsMS with SP. IN fAct, sS is STRongeR thaN sP. robinson Proves THaT a StructuRaLly staBlE diFfeOmorpHIsm oN a closEd manifoLd has sp. The previous coNVerse demonstrATiON HaS Been RejEcted by giviNg a cOUnteR exaMPlE; foR ExampLe, in aRtIClE [@pilyugin2010variational]. in The folLowinG, we show that thIs equivaleNCE Is not alsO truE FoR iFSs.

Let IFSs $\matHcal{F}=\big\{f_{\lambda},\,m\,: \Lambda\in\lambdA\Big\}$ and $\mAthcal{G}=\BiG\{G_{\Overline\LamBda},\,m\,: {\ovErlINE\lAmbda}\in{\overliNE\lambDa}\big\}$ be suBseT of $Diff^{1}(m)$ thEn wE deNotE tHe measure Distance FoR tWo iFss bY ${\mathCAl{D}}_1$ and deFiNe aS fOllOws:\
If $\MAthcal{f}=\mathCal{G}$ ThEn PUt ${\mAthcal{D}}_1\bIg(\MAThcaL{F}, \
{F}$ has shadowing propert y and more over$\m ath ca l{F} $ is  expansive rel a tive  to any sequence $\sig ma$ w it h  suf f ic ientl y small co n s tan tex pan si v e,  then  $\ mathcal {F}$ is to pol og ically stabl e .
 Structur alstability im pli es Sha do win g  prop ert y inan IFS ====== ========= == = ====== = ======= = = == ==== ================= = 
N ow, we are goi ng tost u dy t herel ation betw ee n sha d owing p r op e r t y a n d structuralstability i n  an  IFS.Fi rst ,  we de fineth e  sp ace of diff eomo rphisms o n $M$. Let the functio ns $f$  an d $ g$ b e  $ C^ {1} $- d iff e om orp h ism s on $M$ .We  defi ne t h e m etri c $ \rho _1$ a s follows; $$ \rh o_1( f , g )= \r ho_0( f, g )+  Max\ bigg\{ \para ll el Df(x)-Dg(x)\ para llel;\,\, \fo ra llx\ in M\ b igg\}; $$tha t here$${\scr i pts ty l e Ma x\bigg\{\parallelDf ( x )- Dg(x)\pa rallel ; \, \, \ forall x \i n M \big g \ }= Ma x\bi g g\ {\mid Df (x)u-D g (x )u \mid;\, \, \foral lx\i n M \;and \ ;\fo rall u \in T_{x }M:\, \mid u\mid= 1\ b igg\}}$$ Thes pa c e  o f  $C^ {1} $-diffeomor phis m s on  $M$ wi tht he me tric$\ r ho _ 1$ is denoted to [* ** $Diff^ {1}(M )$***]{}.\
We  know that t h ere is n o re l at i on of equivale nce b etween the set of a ll st ructural ly stable d iffeomor phi sms  an d t h e  s et of all dif f e omor ph isms wi thSP. Infac t,SSisst ronger th an SP. R ob in so npro ves t h at a str uc tur al lystabl e  diffe omorp hism  o na  cl osed ma n if o l d ha sSP . Th e p re vious  con v ers e demon strationhas been  r ej ected b y giving a co un ter exampl e;  fo r exam p l e, in ar ticle [@Pilyugin2010var i ational ].In th e fo llowing,weshow t hat this e quival enceis  no t alsot r ue  fo rIFSs.

Let I FSs  $\ma th cal{ F}=\Big \{f_{\lambda},\,M\ , : \ lambda\in\Lam bda \Big \ } $and $\ m ath ca l {G} = \ Big\{g_{\overli ne\lambda} ,\ , M\ ,: {\overl i ne\ la mbda}\i n{\over line\ L ambda}\ Big\}$ be  subset o f$Dif f ^ {1} (M)$ thenwe denot e the mea s ure d i st ancefor  two I FS s b y ${\ mathca l {D} }_1$and de fi ne asfollo ws :\
If $\ mathcal{F}=\mathcal{G}$  thenput $ {\m athcal{D} }_1 \ Big (\mathcal {F},  \
{F}$ has_shadowing property_and moreover $\mathcal{F}$ is_expansive relative_to_any sequence_$\sigma$_with sufficiently small_constant expansive, then_$\mathcal{F}$ is topologically stable.

_Structural stability implies_Shadowing_property in an IFS
==========================================================

Now, we are going to study the relation between shadowing property_and_structural stability_in_an_IFS. First, we define the_space of diffeomorphisms on $M$._Let the_functions $f$ and $g$ be $C^{1}$-diffeomorphisms on $M$._We_define the metric_$\rho_1$ as follows; $$\rho_1(f, g)= \rho_0(f, g)+ Max\bigg\{\parallel Df(x)-Dg(x)\parallel;\,\,\forall_x\in M\bigg\};$$ that here $${\scriptstyle Max\bigg\{\parallel_Df(x)-Dg(x)\parallel;\,\,\forall x\in M\bigg\}=_Max\bigg\{\mid_Df(x)u-Dg(x)u\mid;\,\,\forall_x\in M\;and\;\forall u\in T_{x}M:\,_\mid u\mid= 1\bigg\}}$$ The space of_$C^{1}$-diffeomorphisms on $M$ with the metric_$\rho_1$ is denoted to [***$Diff^{1}(M)$***]{}.\
We know that_there is no relation of equivalence_between the set of all_structurally stable_diffeomorphisms and the set of_all diffeomorphisms with_SP. In_fact, SS is_stronger than SP. Robinson proves that_a structurally stable_diffeomorphism on a closed manifold has_SP._The previous converse_demonstration_has_been rejected_by giving a_counter_example; for_example,_in article [@Pilyugin2010variational]. In the following,_we_show that this equivalence is not also_true for IFSs.

Let IFSs_$\mathcal{F}=\Big\{f_{\lambda},\,M\,:_\lambda\in\Lambda\Big\}$ and $\mathcal{G}=\Big\{g_{\overline\lambda},\,M\,: {\overline\lambda}\in{\overline\Lambda}\Big\}$_be subset of $Diff^{1}(M)$ then_we denote the measure distance for_two IFSs_by ${\mathcal{D}}_1$_and define as follows:\
If $\mathcal{F}=\mathcal{G}$ then put ${\mathcal{D}}_1\Big(\mathcal{F}, \