\documentclass[11pt,twoside]{article}
\usepackage{amsmath, amsthm, amscd, amsfonts, amssymb, graphicx, color}
\usepackage[bookmarksnumbered, colorlinks]{hyperref} \usepackage{float}
\usepackage{lipsum}
\usepackage{afterpage}
\usepackage[labelfont=bf]{caption}
\usepackage[nottoc,notlof,notlot]{tocbibind}
%\renewcommand\bibname{References}
\def\bibname{\Large \bf  References}
\usepackage{lipsum}
\usepackage{fancyhdr}
\pagestyle{fancy}
\fancyhf{}
\renewcommand{\headrulewidth}{0pt}
\fancyhead[LE,RO]{\thepage}
\thispagestyle{empty}
%\afterpage{\lhead{new value}}

\fancyhead[CE]{F. REZAEI And M. FATEHI NIA}
\fancyhead[CO]{SHADOWING RELATIONS WITH STRUCTURAL AND TOPOLOGICAL STABILITY IN IFS}



%\topmargin=-1.6cm
\textheight 17.5cm%
\textwidth  12cm %
\topmargin   8mm  %
\oddsidemargin   20mm   %
\evensidemargin   20mm   %
\footskip=24pt     %

\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{xca}[theorem]{Exercise}
%\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\renewenvironment{proof}{{\bfseries \noindent Proof.}}{~~~~$\square$}
\makeatletter
\def\th@newremark{\th@remark\thm@headfont{\bfseries}}
\makeatletter





%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% If you want to insert other packages. Insert them here
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%\long\def\symbolfootnote[#1]#2{\begingroup%
%\def\thefootnote{\fnsymbol{footnote}}\footnote[#1]{#2}\endgroup}



 \def \thesection{\arabic{section}}


\begin{document}
%\baselineskip 9mm
%\setcounter{page}{}
\thispagestyle{plain}
{\noindent Journal of Mathematical Extension \\
Journal Pre-proof}\\
ISSN: 1735-8299\\
URL: http://www.ijmex.com\\
Original Research Paper\\
\vspace*{9mm}

\begin{center}

{\Large \bf
Shadowing Relations with Structural and Topological Stability in Iterated Functions Systems\\}
%{\bf Do You Have a Subtitle? \\ If so, Write It Here}


\let\thefootnote\relax\footnote{\scriptsize Received: January 2008; Accepted: February 2009 }

{\bf F. Rezaei}\vspace*{-2mm}\\
\vspace{2mm} {\small  Yazd University } \vspace{2mm}

{\bf  M. Fatehi Nia$^*$\let\thefootnote\relax\footnote{$^*$Corresponding Author}}\vspace*{-2mm}\\
\vspace{2mm} {\small  Yazd University } \vspace{2mm}

\end{center}

\vspace{4mm}


{\footnotesize
\begin{quotation}
{\noindent \bf Abstract.} This paper aims at formulating definitions of topological stability, structural stability, and expansiveness property for an iterated functions system (abbrev, IFS).
It is going to show that the shadowing property is necessary condition for topological stability in IFSs.
Then, it proves the previous weak converse demonstration with the addition of expansiveness property for IFSs. Then, by giving an example, we show that in an IFS, the shadowing property doesn't imply structural stability.}
\end{quotation}
\begin{quotation}
\noindent{\bf AMS Subject Classification:} 37C50; 37C20

\noindent{\bf Keywords and Phrases:}  Shadowing property, structural stability, topological stability, expansiveness property, iterated functions system
\end{quotation}}

\section{Introduction}
\label{intro} % It is advised to give each section and subsection a unique label.
%Is there any relation between shadowing and topological stability or between shadowing and structural stability in iterated functions systems?
We know that topological stability and structural stability are important properties of dynamical systems, so the relation between shadowing these concepts in iterated functions systems is an interesting research topic.\\
The concept of the iterated functions system was applied in 1981 by Hutchinson\cite{HUTCHINSON1981}, but this phrase was presented by Barnsley, briefly call IFS.
An IFS includes a nonempty set $\Lambda$ and some functions $f_\lambda,\lambda\in \Lambda$, on an arbitrary space $M$.
As, in an IFS, the nonempty set $\Lambda$ can be finite or infinite (countable) or its functions can be special, so different IFSs have been investigated.  The importance of using the IFSs is their applicable attractor set that is called fractal \cite{BARNSLEY1985}.\\
From numerical perspective, whenever we simulate a dynamical system by a computer, since any number is represented in the computer with finite precision, there will be the small difference between the original number and the registered number in the process of the resolution.
That is, the error occurs, for example, resultant error from round-off and so on.
Passing the time, this error is growing and amplified.
If we can find a true solution nearby the generated solution, then we say that the system has shadowing property.
It's mean, shadowing property is finding of the true orbit which it remains nearby generated orbit.

The approximated (or generated) orbit is called pseudo orbit.
The pseudo orbits have an important role in shadowing and every shadowed pseudo orbit provide useful information about the dynamic of system \cite{bowen1975equilibrium}.
%The first result of classic shadowing for the hyperbolic sets was presented by Anosov in the year 1967 in \cite{anosov1967geodesic}.
%Sinai, 1972, proved the shadowing lemma for Anosov diffeomorphisms in [\cite{sinai1972gibbs}, Lemma(1.5)], using the theorem which Anosov had affirmed in \cite{anosov1967geodesic} about the structural stability of Anosov diffeomorphisms.
Using the stable manifold theorem, Bowen in [\cite{bowen1975omega}, page: 335] proved the shadowing lemma for diffeomorphisms satisfying axiom A.
\\
%The shadowing lemma has been also extended for homeomorphisms, for example, the studies \cite{anosov1970one} and \cite{robinson1977stability} have done near a hyperbolic set of a homeomorphism, and in \cite{shub1978global}, the shadowing lemma is proved for a set similar to this set.
%Ombach used two methods in 1993 and in \cite{ombach1993simplest} demonstrated that every hyperbolic linear homeomorphism of a Banach space has the SP.
 Petrov and Pilyugin give sufficient conditions under which a homeomorphism of a compact metric space has the shadowing property \cite{petrov2014lyapunov}.
%They performed this study in terms of the existence of a pair of Lyapunov functions.\\
%The SP in other systems has also been investigated, including autonomous system,\cite{coomes1995rigorous}; non-autonomous systems,\cite{palmer1984exponential,Palmer1988,aoki1994topological}; singularly perturbed systems,\cite{Lin1989shadowing}( nonlinear shadowing theorem); induced set-valued systems with some expansive maps,\cite{Wn2010shadowing}; and $C^1$- generic conservative systems,\cite{Bessa2015shadowing}.\\
We know that in the direction of a vector field, the hyperbolic property is not satisfied.
However, efforts have been done in order to explore the shadowing property in vector fields.
Franke and Selgrade, for the first time in 1977, extended the shadowing lemma for the hyperbolic sets of vector fields.
These attempts caused the arrival of shadowing lemma in ordinary differential equations \cite{FRANKE1977}.
%You can see the works by Coomes and his co-workers \cite{Coomes1994shadowing,Coomes1995ashadowing} and \cite{Brian1995}.
%They provided in \cite{Kocak2007} the formula of pseudo orbit and shadowing in ODE.}
%\paragraph*{
%{\it{\textbf{Topological stability?}}}\\
%Is there a neighborhood of a function( or a vector field) in which the orbits of the functions( or the flows) essentially are similar, that is, have the same structure in topology?
%The most useful notion for this matter is topological stability( abbrev, TS), sometimes it was previously called lower semistable.
%The notation of TS was used by Walters in 1970 for the first time,\cite{Walters1970topology}.
%He show that Anosov diffeomorphism are TS.
%There exist relations between TS and shadowing of homeomorphism.
 Walters proved that the shadowing is necessary condition for topological stability of a homeomorphism on manifold of dimension$\geq$ 2,\cite{Walters1978orbit}.
In 1980, Yano proved that this condition is not sufficient,\cite{Yano1980circle}, he presented a homeomorphism on a circle that has shadowing property but is no topologically stable.
Later, in 1999, Pilyugin proved the converse of  Walters's demonstration by adding a condition,\cite{pilyugin1999shadowing}.
In this paper, we define topological stability for an IFS.
Now, the following questions arise:\\
{\it Does an IFS have the topological stability if it is topologically stable whereas the functions of IFS are homeomorphisms?}\\
{\it Is the converse of above the demonstration true?}\\
%Though, sometimes, systems look like, seemingly, they have completely different dynamical behaviors,( it raises bifurcation, chaos,...).
%Therefore, it leads to creating another concept that is called "structural stability";( abbrev, SS).
%The literature such as \cite{bonatti2001dynamical} said that the concept of structural stability with this name was introduced by M. M. Peixoto.
%In fact, this concept is a generalization of the concept of systems grossier or rough systems in 1973 by A. A. Andronov and L. S. Pontryagin.
%Andronov has been interested the preservation of the qualitative properties of the flows under small perturbations and he has asked a question whose history can be seen in \cite{Anosov1985}.
%Indeed Peixoto in 1959 introduced the concept of the structural stability using corrections of the mistakes of the article \cite{Baggis1955}.\\
Robinson  showed that each structurally stable diffeomorphism has the shadowing property on a closed manifold, then using this assertion, he proved the stability of a diffeomorphism nearby a hyperbolic set \cite{Robinson1976stability}.
%We can see another proof of this demonstration in Sawada's research in the article \cite{Sawada1980extended}, 1980.
%In fact, Sawada in this article has answered Takens' third conjecture which has given in \cite{Takens1974tolerance}.
%Then in 1994, Sakai extended Robinson's demonstration in \cite{Sakai1994orbit}.
Then the authors developed this assertion about $C^1$-vector fields and showed that each $C^1$-vector field with no singular point belongs to $C^1$-interior all of vector fields with shadowing property if and only if it's Structurally stable,\cite{Lee2007structural}.
%Pilyugin demonstrated Robinson's assertion for flows in \cite{Pilyugin1997structural}, 1997.
We know that the set of all diffeomorphisms with shadowing property isn't equivalent to the set of all structurally stable diffeomorphisms.
In fact, there exist examples of diffeomorphisms with shadowing property but without strutural stability like a diffeomorphism of the circle $S^1$. Also
this is showed that there exists an equivalence between the set of all diffeomorphisms with variational shadowing and the set of all structurally stable diffeomorphisms \cite{Pilyugin2010variational}.
%In the same year, he and his co-workers proved another equivalence between the set of all diffeomorphisms with Lipschitz  shadowing and the set of all Structurally stable diffeomorphisms in \cite{Pilyugin2010lipschitz};( Lipschitz  shadowing property was proposed by Bowen in 1975, \cite{bowen1975equilibrium}).
%Again, in 2014, Pilyugin demonstrated this equivalence in a different way in \cite{Pilyugin2014mane}.
We can see the summary of important and new results in the theory of pseudo-orbit shadowing in the first decade of the 21st century in survey \cite{Pilyugin2011orbit}.
The main objective of this summary is SP, SS and some equivalent sets on these cases.\\
In this paper, we define the concept of structural stability for an IFS. Then we attempt to present the demonstration for IFSs similar to Robinson's assertion. We consider conditions that an IFS including some of diffeomorphisms on compact manifold M, shadowing property if it's Structurally stable and investigate reverse demonstration.
%\paragraph*{
%{\it{\textbf{Expansiveness property?}}}\\
%We consider two unequal points and study their orbits.
%Do their orbits remain nearby each other?
%If for every two arbitrary points the answer to this question is negative, we say that DS has expansiveness property.
%In other words, if DS has expansiveness property, the two points that remain nearby due to frequent have to be equal.
%This concept has an important role in researches of stability, and it was first put forward by Utz in 1950; however, he proposed expansiveness known as unstable homeomorphism,\cite{Utz1950}.
%The problem of existence of expansiveness homeomorphism and its construct method have been investigated in some studies, for example, in 1955, Willams presented an expansiveness homeomorphism on the dyadic solenoid and Reddy proved the existence of expansiveness homeomorphism on a torus in 1965,\cite{Reddy1965}.
%This concept was proposed for one-parameter flows by Bowen and Walter in 1972; they proved similar theorems to diffeomorphisms in \cite{Bowen1972flow}.
%Now. the following questions come to mind:\\
%{\it Can we define a similar concept to expansiveness for IFSs?}\\
%{\it What relations are there between expansiveness and topological stability?}
%}
\\
Here is a description of the sections in this paper.
\\ In Section 2, we present the basic definitions.
We also formulate definitions of the TS and weakly topologically stable for an IFS.
Then, we prove fundamental Theorem \ref{Main}, through proving some lemmas:\\
THEOREM \ref{Main}.
{\it Suppose that $\mathcal{F}=\Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$ be an IFS and $dim M\geq 2$. If $\mathcal{F}$ is topologically stable, then $\mathcal{F}$ has the shadowing property.}
 In Section 3, we define expansiveness and shadowing uniqueness properties for an IFS.
In the following, we prove some lemmas to provide a proof of the following technical theorem:\\
THEOREM \ref{secondary}.
{\it
Suppose that $\mathcal{F}=\Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}\subset Homeo(M)$ is an expansive IFS relative to $\sigma=\Big\{\lambda_{0},\lambda_{1},\ldots\Big\}$ with expansive constant $\eta$.
Also $\mathcal{F}$ has the shadowing property. Then there exist $\epsilon>0$, $3\epsilon<\eta$, and $\delta>0$ with the following property:\\
If $\mathcal{G}=\Big\{g_{\overline{\lambda}},\,M\,: {\overline{\lambda}}\in{\overline{\Lambda}}\Big\}\subset Homeo(M)$ be an IFS  and $\overline{\sigma}$ be a sequence in ${\overline{\Lambda}}^W$ such that ${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)<\delta$ then there exists a continuous function $h: M\rightarrow M$ such that:}}
$\left \{\begin{array}{lll}
i)  & r\Big(G_{{\overline{\sigma}}_n}(x), F_{\sigma_n}(h(x))\Big)<\epsilon, &  \forall x\in M\,\,and\,\,\forall n\in W, \\
ii) &  r\Big(x, h(x)\Big)<\epsilon,   &  \forall x\in M.
\end{array}\right.$\\
{\it Moreover, if $\epsilon>0$ is sufficiently small, then the function $h$ is surjective and also $F_{\sigma_n}oh= h o G_{{\overline{\sigma}}_n}$ for every $n\in W$.}\\
Furthermore, we prove Corollary \ref{corone} that is an important conclusion of the above theorem:\\
COROLLARY \ref{corone}.
{\it If IFS $\mathcal{F}$ has shadowing property and moreover $\mathcal{F}$ is expansive relative to the sequence $\sigma$ with small expansive constant, then $\mathcal{F}$ is weakly topologically stable.}
\\
 In Section 4, we present a formulation for the concept of the SS of an IFS.
Then, by giving an example, we show that in an IFS, the shadowing property doesn't imply structural stability.
}
{\center\section{\textbf {Topological stability and shadowing property in an IFS}}}
 Investigations of TS and SS of a diffeomorphism have been simultaneously progressed.
 As we know examining TS of a diffeomorphism has been done by tools; for example, shadowing property, \cite{Moriyasu1991TS}, Lyapunov functions, \cite{Lewowicz1980Lyapunov} and \cite{Tolosa2007Lyapunov}.
 In this paper, we study TS of an IFS by SP.
 First, we give basic definitions.
\begin{definition}
Let $(M,d)$ be a complete metric space and $\mathcal{F}$ be a family of continuous mappings $f_{\lambda}: M\rightarrow M$ for every $\lambda\in \Lambda$, where $\Lambda$ is a finite nonempty set; that is, $\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda= \{1,2,\ldots,N\}\Big\}$.
We call this family an "Iterated Functions System" or shortly, IFS.
\end{definition}
In this paper, all of the functions of an IFS are homeomorphism or diffeomorphism.
Let $W$ be the set of non-negative integer numbers and $\Lambda^W$ denote the set of all infinite sequences ${\{\lambda_i\}}_ {i\in W}$ where $\lambda_i= \lambda(i)\in \Lambda$.
Let us introduce the temporary notation $F_{\sigma_n}$ for
$f_{\lambda_n}o f_{\lambda_{n-1}}o\ldots of_{\lambda_1}of_{\lambda_0}$
\begin{definition}
Suppose that $\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$ is an IFS.
The sequence ${\{x_i\}}_{i\in W}\subset M$ is said to be a "chain" for IFS $\mathcal{F}$ if, for every $i\in W,$ there exists ${\lambda_i}=\lambda(i)\in\Lambda$ such that $x_{i+1}= f_{\lambda_i}(x_i)$.
\end{definition}
\begin{definition}
Let $\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$ be an IFS.
For the given $\delta>0$, the sequence ${\{x_i\}}_{i\in W}$ is called a "$\delta-$chain" for IFS $\mathcal{F}$ if, for every $i\in W,$ there exists ${\lambda_i}= \lambda(i)\in\Lambda$ such that $d\Big(x_{i+1},f_{\lambda_i}(x_i)\Big)\leq \delta.$
\end{definition}
\begin{definition}
Suppose that $\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$ is an IFS.
We say that $\mathcal{F}$ has "shadowing property" if for every $\epsilon>0$ there exists $\delta> 0$ such that for every $\delta$-chain ${\{x_i\}}_{i\in W}$ with the sequence $\sigma={\{\lambda_i\}}_ {i\in W}$, there exists the chain ${\{y_i\}}_{i\in W}$ with the sequence $\bar{\sigma}={\{\bar{\lambda_i}\}}_ {i\in W}$ such that $d(x_{i}, y_{i})\leq\epsilon$ for every $i\in W.$
Sometimes is said that the chain ${\{y_i\}}_{i\in W}$ ($\epsilon$)-shadows $\delta$-chain ${\{x_i\}}_{i\in W}.$
\end{definition}
Now suppose $M$ is a $C^{\infty}$ smooth m-dimensional closed( that is, compact and boundaryless) manifold, and $r$ is a Riemannian metric on $M.$
We consider the set of all homeomorphisms on $M$.
The metric $\rho_{0}$ on this set defined as follows:\\
if $f$ and $g$ are the two homeomorphisms on $M$, we define
$$\rho_0(f, g)= Max\bigg\{r\Big(f(x), g(x)\Big),\,r\Big(f^{-1}(x),g^{-1}(x)\Big);\,\,for\,\,all\,\,x\in M\bigg\}.$$
This set with the topology induced by the metric $\rho_{0}$ will be denoted by Homeo($M$).
\begin{definition}
Suppose that $\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$ and $\mathcal{G}= \Big\{g_{\overline\lambda},\,M\,: {\overline\lambda}\in{\overline\Lambda}\Big\}$ are two IFSs as the subsets of the space $Homeo(M).$
Let $\sigma\in\Lambda^W$ and $\overline{\sigma}\in{\overline{\Lambda}}^W.$
We consider the sequences $\mathcal{F}_\sigma= {\{f_{\lambda_i}\}}_{i\in W}$ and
$\mathcal{G}_{\overline{\sigma}}= {\{g_{{\overline{\lambda}}_i}\}}_{i\in W}$ where ${\lambda_i}\in\sigma$ and ${{\overline{\lambda}}_i}\in{\overline{\sigma}}$ for every $i\in W.$
We will denote by $\mathcal{D}_0$ the measure distance between the two IFSs relative to the sequences $\sigma$ and $\overline{\sigma}$ and define as follows:
$${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)= sup\Big\{\rho_0(f_{{\lambda}_i}, g_{{\overline\lambda}_i}):\quad\;\;{\lambda_i}\in\sigma,\;{{\overline{\lambda}}_i}\in{\overline{\sigma}}\;\;for\;all\;i\in W \Big\}.$$
\end{definition}
\begin{definition}
Let $\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$ be an IFS.
We say that an IFS $\mathcal{F}$ is "topologically stable" if for a given $\epsilon>0$, there exists $\delta>0$ such that if $\mathcal{G}= \Big\{g_{\overline{\lambda}},\,M\,: {\overline{\lambda}}\in\overline{\Lambda}\Big\}$ be an IFS that for every $\sigma$ and $\overline{\sigma}$ with
 ${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)< \delta$ then there exists a continuous mapping $h$ of $M$ onto $M$ with the following properties:\\
$\left \{\begin{array}{lll}
i)  & F_{\sigma_n}oh= ho G_{\overline{\sigma}_n}, & \forall n\in W, \\
ii) &  r\Big(x, h(x)\Big)<\epsilon,   &  \forall x\in M.
\end{array}\right.$
\end{definition}
\begin{definition}
Let $\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$ be an IFS and $\sigma\in\Lambda^W$ be given. The IFS $\mathcal{F}$ is called "weakly topologically stable" if for a given $\epsilon> 0$, there exists $\delta> 0$ such that if $\mathcal{G}= \Big\{g_{\overline{\lambda}},\,M\,: {\overline{\lambda}}\in\overline{\Lambda}\Big\}$ be an IFS that for every $\overline{\sigma}$ with
${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)< \delta$
then there exists a continuous mapping $h$ of $M$ onto $M$ with the following properties:\\
$\left \{\begin{array}{lll}
i)  & F_{\sigma_n}oh= ho G_{\overline{\sigma}_n}, & \forall n\in W, \\
ii) &  r\Big(x, h(x)\Big)<\epsilon,   &  \forall x\in M.
\end{array}\right.$
\end{definition}
Now, we are going to find the relation between topological stability and shadowing property in IFSs.
In \cite{pilyugin1999shadowing}, Pilyugin proved that a topologically stable homeomorphism has SP.
In this paper, we also show this demonstration for IFSs using his methods.
But since we deal with the set of functions, proving is harder and more complex.
In the proof of the following lemma, the method of proof of shadowing property on $N$ subset of $M$ is a bit different from Pilyugin's method because of presenting of a chain.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{lemma}\label{finite shadowing}
{\it Consider IFS $\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$.
Suppose that $\mathcal{F}$ has finite shadowing property on $N (N\subset M)$; that is, for a given $\epsilon> 0$ there exists $\delta> 0$ such that for every set $\Big\{x_0,\ldots,x_m\Big\}\subset N$ that satisfies in the inequality $r\Big(x_{i+1}, f_{\lambda_{i}}(x_i)\Big)\leq \delta$ for every $i=0,\ldots,m-1$, then there exists a chain ${\{y_i\}}_{i\in W}\subset M$ such that for every $i=0,\ldots,m-1$, $r(x_{i}, y_{i})< \epsilon.$
Thus, $\mathcal{F}$ has shadowing property on $N.$}
\end{lemma}
\begin{proof}
For a given $\epsilon>0$, by using the uniformly continuous $f_{\lambda}$, $\lambda\in \Lambda$, there exists
$\delta_\lambda> 0$ such that for every $x,y\in M$ if $r(x,y)<\delta_\lambda$, then $r\Big(f_\lambda(x), f_\lambda(y)\Big)< \frac{\epsilon}{4}$.
Put $\delta_0= min\{\delta_\lambda\,:\,\lambda\in \Lambda\}$.
Thus, for every $x,y\in M$ and for each $\lambda\in \Lambda$, $r\Big(f_\lambda(x), f_\lambda(y)\Big)< \frac{\epsilon}{4}$ if $r(x,y)<\delta_0$.
For the obtained $\delta_0$, duo to finite shadowing property of $\mathcal{F}$, there exists $\delta >0$ such that for every set $\Big\{x_0,\ldots,x_m\Big\}\subset N$ that satisfies in the inequality $r\Big(x_{i+1}, f_{\lambda_{i}}(x_i)\Big)\leq \delta$ for every $i=0,\ldots,m-1$, then there exists a chain ${\{y_i\}}_{i\in W}\subset M$ such that for every $i=0,\ldots,m-1$, $r(x_{i}, y_{i})<\delta_0.$
We can assume that $\delta<\frac{\epsilon}{4}$.
Now, suppose that $\xi= {\{x_i\}}_{i\in W}\subset N$ is a $\delta$-chain for IFS $\mathcal{F}$. Let $m >0$ be a constant number.
Consider the set $\{x_i\,:\,\,0\leq i\leq m\}$ with $r\Big(x_{i+1}, f_{\lambda_{i}}(x_i)\Big)\leq \delta$ for every $i$, $0\leq i\leq m-1$, then there exists a chain ${\{{y^\prime}_{m,i}\}}_{i\in W}\subset M$ that
\begin{eqnarray}\label{firstequation}
r\Big(x_i, {y^\prime}_{m,i}\Big)<\frac{\epsilon}{4}\hspace{2cm} \forall i,\hspace{0.5cm} 0\leq i\leq m-1.
\end{eqnarray}
Now, we choose the value $k$ in $W.$
According to what was said, we see that for the arbitrary positive integer number $m$ there exists ${y^\prime}_{m,k}\in M.$
Consider the sequence ${\{{y^\prime}_{m,k}\}}_{m=1}^\infty\subset M.$
This space is a compact metric space then this sequence has limit points in this space and since the manifold $M$ is Hausdorff, limit point is unique alike $y_k$; $y_k\in M.$
With repeating of the previous process for every value $k$ in $W,$ we obtain the sequence
${\{y_k\}}_{k\in W}\subset M.$
We claim that this sequence is a chain for IFS $\mathcal{F}$ and for each $k\in W,$ $r(x_k,y_k)< \frac{\epsilon}{4}.$
Since the metric $r$ and $f_{\lambda}$, $\lambda\in \Lambda$, are continuous, for every $k\in W$ we have
\begin{eqnarray*}
\begin{array}{ll}
r\Big(y_{k+1}, f_{\lambda_{k}}(y_k)\Big) &= \lim_{m\rightarrow +\infty} r\Big({y^\prime}_{m,k+1}, f_{\lambda_{k}}({y^\prime}_{m,k})\Big)\\
                                        &\leq \lim_{m\rightarrow +\infty} r\Big({y^\prime}_{m,k+1},x_{k+1}\Big) + \lim_{m\rightarrow +\infty} r\Big(x_{k+1}, f_{\lambda_{k}}({y^\prime}_{m,k})\Big).
\end{array}
\end{eqnarray*}
Passing to the limit as $m\rightarrow +\infty$ in the inequality \ref{firstequation}, we get
\begin{eqnarray}\label{secondequation}
r(x_k,y_k)< \frac{\epsilon}{4},\hspace{2cm} \forall k\in W.
\end{eqnarray}
Since $r$ is metric so we can write
 \begin{eqnarray*}
 \begin{array}{ll}
\lim_{m\rightarrow +\infty} r\Big(x_{k+1}, f_{\lambda_{k}}({y^\prime}_{m,k})\Big)\leq &
\lim_{m\rightarrow +\infty} r\Big(x_{k+1}, f_{\lambda_{k}}(x_k)\Big)\\
& +\lim_{m\rightarrow +\infty} r\Big(f_{\lambda_{k}}(x_k),f_{\lambda_{k}}(y_k)\Big)\\
     & +\lim_{m\rightarrow +\infty} r\Big(f_{\lambda_{k}}(y_k),f_{\lambda_{k}}({y^\prime}_{m,k})\Big).
\end{array}
\end{eqnarray*}
We know that $\xi$ is a $\delta$-chain, the function $f_{\lambda_{k}}(\lambda_{k}\in \Lambda)$ is uniformly continuous, $\delta<\frac{\epsilon}{4}$, and the sequence ${\{{y^\prime}_{m,k}\}}_{m=1}^\infty$ is convergent to $y_k.$
Regarding these facts, we will get the following relation from the latter inequality:
\begin{eqnarray}\label{thirdequation}
\lim_{m\rightarrow +\infty} r\Big(x_{k+1}, f_{\lambda_{k}}({y^\prime}_{m,k})\Big)\leq
\epsilon+\epsilon+\epsilon=3\frac{\epsilon}{4}.
\end{eqnarray}
Also from the relation \ref{secondequation}, we have
\begin{eqnarray}\label{fourthequation}
\lim_{m\rightarrow +\infty} r\Big({y^\prime}_{m,k+1}, x_{k+1}\Big)=r\Big(y_{k+1},x_{k+1}\Big)<\frac{\epsilon}{4}.
\end{eqnarray}
Thus, for each $k\in W,$ we obtain the following relation from the relations \ref{thirdequation} and \ref{fourthequation}:
$$r\Big(y_{k+1}, f_{\lambda_{k}}(y_k)\Big)\leq \epsilon.$$
According to the making of the sequence ${\{y_k\}}_{k\in W}$, we see that if $\epsilon> 0$ be a very small value, then the obtained sequence ${\{y_k\}}_{k\in W}$ is valid for every arbitrary value $\epsilon>0$.
Therefore for this sequence ${\{y_k\}}_{k\in W}$, the previous relation is true for every arbitrary value $\epsilon>0$.
So we will get $r\Big(y_{k+1}, f_{\lambda_{k}}(y_k)\Big)= 0$ and hence $y_{k+1}= f_{\lambda_{k}}(y_k)$ and this means that, ${\{y_k\}}_{k\in W}$ is a chain for IFS $\mathcal{F}$ and by considering the relation \ref{secondequation}, $r(x_k,y_k)< \epsilon$ for every $k\in W,$ so our claim is proved.
Therefore, for a given $\epsilon> 0$ we found $\delta> 0$ such that for every $\delta$-chain ${\{x_k\}}_{k\in W},$ there exists a chain ${\{y_k\}}_{k\in W}$ with $r(x_k,y_k)< \epsilon,$ that is, $\mathcal{F}$ has shadowing property on $N.$
\end{proof}
\begin{lemma}\label{finite}
{\it Assume $dim(M)\geq 2$.
Consider a finite collection $\Big\{(p_{i},q_{i})\in M\times M\,:\hspace{0.5cm}i=1,\ldots,k\Big\}$ such that}
$$\left \{\begin{array}{lll}
i)  & p_{i}\neq p_{j},\, q_{i}\neq q_{j} & for\,\, 1\leq i< j\leq k, \\
ii) &  r\Big(p_{i},q_{i}\Big)<\delta,   &  for\,\,i=1,\ldots,k,\;with\;small\;positive\;\delta.
\end{array}\right.$$
{\it Then, there exists a diffeomorphism $f$ of $M$  with the following properties:}
$$\left \{\begin{array}{lll}
i)  & \rho_0(f, id)<2\delta, & (here\;id\;is\;the\;identity\;mapping\;of\;M), \\
ii) &  f(p_{i})=q_{i},   & for\,\,i=1,\ldots,k.
\end{array}\right.$$
\end{lemma}
\begin{proof}
It has proved at Lemma 2.1.1. in \cite{pilyugin1999shadowing}.
\end{proof}
\begin{lemma}\label{to find a set points}
{\it Suppose $\xi= {\{x_i\}}_{i\in W}$ is a $\delta$-chain for the IFS
$\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}\subset Homeo(M)$ with the sequence $\sigma.$
Consider the integer number $m\geq 0$ and also the number $\eta>0$.
Then, there exists a set of the points $\Big\{y_0,\ldots,y_m\Big\}$ such that it satisfies in the following conditions:}
\begin{enumerate}
\item  for every $i$, $0\leq i\leq m$, $r(x_i,y_i)<\eta$,\\
\item  for every $i$, $0\leq i\leq m-1$, and $\lambda_i\in\sigma$,
$r\Big(y_{i+1}, f_{\lambda_{i}}(y_i)\Big)<3\delta$,\\
\item  for every $i,j$, $0\leq i<j\leq m$, $y_i\neq y_j$.
\end{enumerate}
\end{lemma}
\begin{proof}
We prove the statement by using induction on $m.$
If $m=0$, then it is sufficient to consider the singleton set $\Big\{y_0= x_0\Big\}$ then, $r(x_0,y_0)= r(x_0,x_0)=0<\eta$, so for $m=0$, the lemma is true.\\
Suppose that the statement is true for $m-1.$
Now we prove the lemma for $m.$\\
For a given $\eta>0$, assume that $\eta<\delta$ since if $\eta\geq \delta$, then there exist $q,p\in\Bbb N$ such that $\eta=q\delta + p$ where $0<p<\delta$ or $p=0$.
If $0<p<\delta$ then, assume $\eta=p$ and if $p=0$ then, take the new $\eta$ to be less than $\eta\over q$.
Since $\mathcal{F}\subset Homeo(M)$ and $M$ is compact, each function $f_\lambda$, $\lambda\in\Lambda$, is uniformly continuous.
Consequently, for $\delta$ and $f_\lambda$ there exists $\delta_{\lambda}(\delta)>0$ such that for every $x,y\in M$ that $r(x,y)<\delta_{\lambda}$ then $r\Big(f_{\lambda}(x), f_{\lambda}(y)\Big)<\delta$. Put $\delta_0 = min\{\delta_{\lambda}\,\,:\,\, \lambda\in\Lambda\}.$
We can consider $\delta_0<\eta$, that is, $\delta_{0}\in (0, \eta)$ because if $\delta_0\geq\eta$, then it is sufficient to take the new $\delta_0$, $\delta^{\prime}_0$, to be less than $\eta.$
Thus, for every $x,y\in M$ that $r(x,y)< \delta^{\prime}_0$ we have $r(x,y)< \delta^{\prime}_0<\eta\leq\delta_0$, according to the assumption of uniformly continuous, $r\Big(f_{\lambda}(x), f_{\lambda}(y)\Big)<\delta$ for every $\lambda\in\Lambda$.
By using the assumption of induction, we can find a set of the points $\Big\{y_0,\ldots,y_{m-1}\Big\}$ such that
\begin{enumerate}
\item for every $i$, $0\leq i\leq m-1$, $r(x_i,y_i)<\delta_0$,\\
\item  for every $i$, $0\leq i\leq m-2$, and $\lambda_i\in\sigma$, $r\Big(y_{i+1}, f_{\lambda_{i}}(y_i)\Big)<3\delta$,\\
\item  for every $i,j$, $0\leq i<j\leq m-1$, $y_i\neq y_j$.
\end{enumerate}
Since the functions of IFS$\mathcal{F}$ are uniformly continuous, we can choose a point $y_m$ such that  $r(x_m,y_m)<\delta_0$ and also $y_m\neq y_i$ for every $i=0,\ldots,m-1.$
Now, for $\lambda_{m-1}\in\sigma,$ we have
\begin{eqnarray*}
\begin{array}{ll}
r\Big(f_{\lambda_{m-1}}(y_{m-1}), y_m\Big)  & < r\Big(f_{\lambda_{m-1}}(y_{m-1}), x_m\Big) + r(x_m,y_m)\\
                                       & < r\Big(f_{\lambda_{m-1}}(y_{m-1}), f_{\lambda_{m-1}}(x_{m-1})\Big)\\
                                      & +  r\Big(f_{\lambda_{m-1}}(x_{m-1}), x_m\Big) + r(x_m,y_m).
\end{array}
\end{eqnarray*}
We know that the function $f_\lambda$, $\lambda\in\Lambda$, is uniformly continuous and $r(y_{m-1},x_{m-1})< \delta_0$ then $r\Big(f_{\lambda_{m-1}}(y_{m-1}), f_{\lambda_{m-1}}(x_{m-1})\Big)<\delta$.
Also $\lambda_{m-1}\in\sigma$ and $\xi= {\{x_i\}}_{i\in W}$ is a $\delta$-chain and $r(x_m,y_m)<\delta_0$ and $\delta_0<\eta< \delta$ thus, the previous relation is $r\Big(f_{\lambda_{m-1}}(y_{m-1}), y_m\Big)<\delta+\delta+\delta=3\delta$.
Thus, the statement of induction for $m$ was proved.
\end{proof}
The method of finding the required IFS in the demonstration of the following lemma is complicated.
\begin{lemma}\label{existence another IFS}
{\it Suppose $dim M\geq2$ and let $\mathcal{F}=\Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}\subset Homeo(M)$ be an IFS.
Let $m\in\Bbb N$ and $\Delta>0$ be given.
Then there exists $\delta >0$ with the following property:\\
If $\xi={\{x_i\}}_{i\in W}$ is a $\delta$-chain for IFS $\mathcal{F}$ with the sequence $\sigma$, then there exist an IFS $\mathcal{G}\subset Homeo(M)$ and a sequence $\overline{\sigma}$ such that ${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)< \Delta.$
Also, there exists a chain ${\{y_i\}}_{i\in W}$ for IFS $\mathcal{G}$ with $r(x_i,y_i)<\Delta$ for $i=0,\ldots,m$.
}
\end{lemma}
\begin{proof}
Since $\mathcal{F}\subset Homeo(M)$, the function $f_{\lambda}^{-1}$ for every $\lambda\in\Lambda$ is continuous and consequently, it is uniformly continuous on the compact space $M.$
Thus for a given $\Delta> 0$ and for each $\lambda\in\Lambda$ there exists $\delta_{\lambda}(\Delta)> 0$ such that for every $x, y\in M$ with $r(x, y)<\delta_{\lambda}$ then $r\Big(f_{\lambda}^{-1}(x), f_{\lambda}^{-1}(y)\Big)< \Delta$.
Put $\delta_0= min\{{\Delta\over 2},\,\delta_{\lambda};\,\,\lambda\in\Lambda\}$.
Then, put $\delta= {\delta_0\over 6}$ and suppose that $\xi={\{x_i\}}_{i\in W}$ is a $\delta$-chain for IFS $\mathcal{F}$ with the sequence $\sigma$.
By Lemma \ref{to find a set points}, there exists a finite sequence $\Big\{y_0,\ldots,y_m\Big\}$ with the following conditions
\begin{enumerate}
\item  for every $i$, $0\leq i\leq m$, $r(x_i,y_i)<\Delta$,\\
\item  for every $i$, $0\leq i\leq m-1$, and $\lambda_i\in\sigma$, $r\Big(y_{i+1}, f_{\lambda_{i}}(y_i)\Big)<3\delta={\delta_0\over 2}$,\\
\item  for every $i,j$, $0\leq i<j\leq m$, $y_i\neq y_j$.
\end{enumerate}
Now, for every $i$, $0\leq i\leq m-1$, and $\lambda_{i}\in\sigma$, consider the singleton set $\bigg\{\Big(f_{\lambda_{i}}(y_{i}), y_{i+1}\Big)\bigg\}.$
Considering condition(2) and using Lemma \ref{finite}, there exists a diffeomorphism $h_{\lambda_{i}}$ of $M$ such that $\rho_0\Big(h_{\lambda_{i}}, id\Big)< \delta_0$ and also $h_{\lambda_{i}}\Big(f_{\lambda_{i}}(y_i)\Big)= y_{i+1}.$
Now, for every $i$, $i=0,\ldots,m-1$, $\lambda_{i}\in\sigma$, and $\lambda\in\Lambda$, put $g_{{\lambda_{i}},\lambda}= h_{\lambda_{i}} o f_{\lambda}$.
We prove that $\rho_0\Big(g_{{\lambda_{i}},\lambda}, f_{\lambda}\Big)<\Delta$.\\
Suppose $x\in M$.
For each $i$, $i=0,\ldots,m-1$, $\lambda_{i}\in\sigma$, and $\lambda\in\Lambda$, we have
\begin{eqnarray*}
\begin{array}{ll}
r\Big(g_{{\lambda_{i}},\lambda}(x), f_{\lambda}(x)\Big)
                           & = r\Big((h_{\lambda_{i}} o f_{\lambda})(x), f_{\lambda}(x)\Big)\\
                          & = r\bigg(h_{\lambda_{i}}\Big(f_{\lambda}(x)\Big), f_{\lambda}(x)\bigg)\\
                          & = r\bigg(h_{\lambda_{i}}\Big(f_{\lambda}(x)\Big), id\Big(f_{\lambda}(x)\Big)\bigg)\\
                          & <\rho_0\Big(h_{\lambda_{i}}, id\Big)<\delta_0<\Delta,
\end{array}
\end{eqnarray*}
and
\begin{eqnarray*}
\begin{array}{ll}
r\Big(g_{{\lambda_{i}},\lambda}^{-1}(x), f_{\lambda}^{-1}(x)\Big)
                & = r\Big((f_{\lambda}^{-1} o h_{\lambda_{i}}^{-1})(x), f_{\lambda}^{-1}(x)\Big)\\
                & = r\bigg(f_{\lambda}^{-1}\Big(h_{\lambda_{i}}^{-1}(x)\Big), f_{\lambda}^{-1}(x)\bigg)<\Delta,
\end{array}
\end{eqnarray*}
because $r\Big( h_{\lambda_{i}}^{-1}(x), x\Big)= r\Big( h_{\lambda_{i}}^{-1}(x), I^{-1}(x)\Big) <\rho_0\Big(h_{\lambda_{i}}, id\Big)<\delta_0$ and the function $f_{\lambda}^{-1}$ is uniformly continuous.\\
Therefore,
$$\rho_0\Big(g_{{\lambda_{i}},\lambda}, f_{\lambda}\Big)= Max\bigg\{r\Big(g_{{\lambda_{i}},\lambda}(x), f_{\lambda}(x)\Big),\, r\Big(g_{{\lambda_{i}},\lambda}^{-1}(x), f_{\lambda}^{-1}(x)\Big);\,\,for\,\,all\,\, x\in M\bigg\}<\Delta$$
We consider the first $m$ elements of the sequence $\sigma$, that is $\lambda_{0},\lambda_{1},\ldots,\lambda_{m-1}$, and we put them in a set which is called ${\overline{\Lambda}}$.
Then consider IFS $\mathcal{G}$ as $\mathcal{G}= \Big\{g_{{\lambda_{i}},\lambda},\,M\,:\,\lambda_{i}\in{\overline{\Lambda}},\, \lambda\in\Lambda\Big\}$.
Every element of $\mathcal{G}$ is a homeomorphism on $M$ since it is the composition of the homeomorphisms so we can consider IFS $\mathcal{G}$ as a subset of $Homeo(M)$.
Fix the value $k$, $0\leq k\leq m-1$, we make the sequence $\overline{\sigma}={\Big\{(\lambda_k, \lambda_j)\Big\}}_{j\in W}$ where $\lambda_{j}\in\sigma$.
Now, set $\mathcal{G}_{\overline{\sigma}}= {\{g_{{\lambda_{i}},\lambda}\}}_{(\lambda_{i},\lambda)\in {\overline{\sigma}}}= {\{g_{{\lambda_{k}},\lambda_{j}}\}}_{j\in W}$.
According to the above, we have ${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)< \Delta$.
Now, we are going to extend the set $\Big\{y_0,\ldots,y_m\Big\}$ such that ${\{y_j\}}_{j\in W}$ be a chain for IFS $\mathcal{G}$.
It is sufficient to put $y_{j+1}=g_{{\lambda_{k}},\lambda_j}(y_j)$ for every positive integer $j$ with condition $j\geq m$.
Thus, ${\{y_j\}}_{j\in W}$ is a chain for IFS $\mathcal{G}$ such that for every $j$, $j=0,\ldots,m$, $r(x_j,y_j)< \Delta$ by condition(1).
So, the proof is completed.
\end{proof}
\begin{theorem}\label{Main}
{\it Suppose that $dim M\geq 2$ and $\mathcal{F}=\Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$ be an IFS.
If $\mathcal{F}$ is topologically stable, then $\mathcal{F}$ has shadowing property.}
\end{theorem}
\begin{proof}
Let $\epsilon> 0$ be given.
For $\epsilon\over 2$, since $\mathcal{F}$ is the topologically stable, there exists a $\Delta> 0$ with the mentioned properties in the definition of the topological stability.\\
We assume that $\Delta< {\epsilon\over 2}$ because if $\Delta\geq{\epsilon\over 2}$, then there exist the natural numbers $q$ and $p$ such that $\Delta=q.{\epsilon\over 2}+ p$, consequently, we can consider $\Delta$ being equal to $p$ or less than $\Delta\over q$.
For $\Delta$ and an arbitrary natural number $m$, using Lemma \ref{existence another IFS} and the introduced notations in this lemma, there exists $\delta> 0$ such that for every $\delta$-chain $\xi={\{x_i\}}_{i\in W}$ of IFS $\mathcal{F}$ with the sequence $\sigma$  exist an IFS $\mathcal{G}= \Big\{g_{{\lambda_{i}},\lambda},\,M\,:\,\lambda_{i}\in{\overline{\Lambda}},\, \lambda\in\Lambda\Big\}\subset Homeo(M)$ and a sequence $\overline{\sigma}$ such that ${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)<\Delta$ and also there exists a chain ${\{y_i\}}_{i\in W}$ for IFS $\mathcal{G}$ with $r(x_i,y_i)< \Delta$ for all $i$, $0\leq i \leq m$.
Since ${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)< \Delta$, then for this $\sigma$ on the basis of topological stability of IFS $\mathcal{F}$, there exists a continuous mapping $h$ of $M$ onto $M$ such that\\
$\left \{\begin{array}{lll}
i)  & F_{\sigma_n}oh= ho G_{{\overline{\sigma}}_n}, & \forall n\in W, \\
ii) &  r\Big(x, h(x)\Big)<{\epsilon\over 2},   &  \forall x\in M.
\end{array}\right.$\\
Now, for every $i\in W$ put $z_i= h(y_i)$.
We prove that the sequence ${\{z_i\}}_{i\in W}$ is a chain for IFS $\mathcal{F}$.\\
On the basis of the proof of Lemma \ref{existence another IFS}, ${\{y_i\}}_{i\in W}$ is a chain for IFS $\mathcal{G}$ with the sequence $\Big\{(\lambda_0, \lambda_{0}), (\lambda_1, \lambda_{1}), \ldots, (\lambda_{m-1}, \lambda_{m-1}), (\lambda_k, \lambda_{m}), (\lambda_k, \lambda_{m+1}), \ldots\Big\}$ where $\lambda_k\in\overline{\Lambda}$ is fixed.
Considering this matter and the part$(i)$ of the above relations, we see that
\begin{eqnarray*}
\begin{array}{ll}
z_{0} & = h(y_{0})\\
z_{1} & = h(y_{1})= h\Big(g_{{\lambda_{0}},{\lambda_{0}}}(y_{0})\Big)= f_{\lambda_{0}}\Big(h(y_{0})\Big)= f_{\lambda_{0}}(z_{0})\\
z_{2} & = h(y_{2})= h\Big(g_{{\lambda_{1}},{\lambda_{1}}}(y_{1})\Big)=
h\Big((g_{{\lambda_{1}},{\lambda_{1}}} o g_{{\lambda_{0}},{\lambda_{0}}})(y_{0})\Big)\\
       & = (f_{\lambda_{1}} o f_{\lambda_{0}})\Big(h(y_{0})\Big)
         = f_{\lambda_{1}}\Big(f_{\lambda_{0}}(h(y_{0}))\Big)
         = f_{\lambda_{1}}\Big(f_{\lambda_{0}}(z_0)\Big)
         = f_{\lambda_{1}}(z_{1})\\
\vdots &    \\
z_{i+1} & = h(y_{i+1})= h\Big(G_{{\overline{\sigma}}_i}(y_{0})\Big)= F_{\sigma_i}\Big(h(y_{0})\Big)
          = F_{\sigma_i}(z_{0})\\
        & = (f_{\lambda_i}of_{\lambda_{k-1}}o\ldots of_{\lambda_1}of_{\lambda_0})(z_0)
        = (f_{\lambda_i}of_{\lambda_{i-1}}o\ldots of_{\lambda_1})(f_{\lambda_0}(z_0))\\
        & = (f_{\lambda_i}of_{\lambda_{i-1}}o\ldots of_{\lambda_1})(z_1)
        =\ldots = f_{\lambda_i}(z_i)
\end{array}
\end{eqnarray*}
The relation $z_{i+1}= f_{\lambda_i}(z_i)$ shows that ${\{z_i\}}_{i\in W}$ is a chain for IFS $\mathcal{F}$.
Also, for every $i$, $i=0,\ldots,m$, we obtain that
\begin{eqnarray*}
\begin{array}{ll}
r(x_i, z_i) & = r\Big(x_i, h(y_i)\Big)\\
            & \leq r(x_i, y_i) + r\Big(y_i, h(y_i)\Big)\\
            & \leq {\epsilon\over 2}+ {\epsilon\over 2}= \epsilon
\end{array}
\end{eqnarray*}
Thus, for given $\epsilon> 0$ we found $\delta> 0$ such that if $\xi={\{x_i\}}_{i\in W}$ is a $\delta$-chain for IFS $\mathcal{F}$, then there exists a chain ${\{z_i\}}_{i\in W}$ for $\mathcal{F}$ with $r(x_i, z_i)\leq \epsilon$, for every $i$, $i=0,\ldots,m-1$.
Therefore, according to Lemma \ref{finite shadowing}, $\mathcal{F}$ has shadowing property.
\end{proof}
{\center\section{\textbf {The weak converse demonstration of the previous section}}}
In this section, we define expansiveness property for an IFS and then prove the converse demonstration of the previous section by Lemmas \ref{expansive} and \ref{uniq} and Theorem \ref{secondary}.
\begin{definition}
Consider IFS $\mathcal{F}= \Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}$.
Assume that the sequence $\sigma=\Big\{\lambda_{0},\lambda_{1},\ldots\Big\}$ be given.
We say that $\mathcal{F}$ is "expansive relative to $\sigma$" if there exists $\Delta> 0$ such that for two arbitrary points $x$ and $y$ in $M$ with $r\Big(F_{\sigma_n}(x), F_{\sigma_n}(y)\Big)\leq\Delta,$ for each $n\in W,$ then $x= y.$
The number $\Delta$ is called "expansive constant relative to $\sigma$".
\end{definition}
\begin{lemma}\label{expansive}
{\it Suppose that IFS $\mathcal{F}=\Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}\subset Homeo(M)$ is expansive relative to $\sigma=\Big\{\lambda_{0},\lambda_{1},\ldots\Big\}$ with constant expansive $\eta$.
Let $\mu>0$ be given.
Thus, there exists $a\geq 1$ such that if for every $x, y\in M$ that verify to the relation $r\Big(F_{\sigma_n}(x), F_{\sigma_n}(y)\Big)\leq\eta$, for each integer number $n$ with $0\leq n< a$, then $r(x, y)<\mu$.}
\end{lemma}
\begin{proof}
Let $\mu>0$ be given.
By demonstration of contradiction, we assume that there exists no $a\geq 1$ that satisfies in the properties of the lemma, thus for each $a\geq 1$ there exist the points $x_a$ and $y_a$ such that $r\Big(F_{\sigma_n}(x_a), F_{\sigma_n}(y_a)\Big)\leq\eta$ for all integer number $n$ with $0\leq n< a$ and also $r\Big(x_a, y_a\Big)\geq\mu$.
Choose two arbitrary subsequences ${\Big\{x_{a_i}\Big\}}_{i=1}^{+\infty}$ and ${\Big\{y_{a_i}\Big\}}_{i=1}^{+\infty}$ with condition $a_i\rightarrow +\infty$ as $i\rightarrow +\infty$.
Since $M$ is a compact metric space so it has Bolzano-Weierstrass property and since it's Hausdorff space so these subsequences have unique limit points in this space.
Therefore, the points $x$ and $y$ there exist such that $x_{a_i}\rightarrow x$ and  $y_{a_i}\rightarrow y$ as $i\rightarrow +\infty$.\\
Since $\mathcal{F}\subset Homeo(M)$, the function $F_{\sigma_n}$, for every $n$, is the composition of continuous functions and consequently, itself is a continuous function.
Therefore, we have $F_{\sigma_n}(x_{a_i})\rightarrow F_{\sigma_n}(x)$ and $F_{\sigma_n}(y_{a_i})\rightarrow F_{\sigma_n}(y)$ as $i\rightarrow +\infty$.
Thus, for a given $\epsilon>0$, there exist $k_1, k_2\in\Bbb N$ such that for every $i\geq k_1$, $r\Big(F_{\sigma_n}(x_{a_i}), F_{\sigma_n}(x)\Big)< {\epsilon\over 2}$ and for every $i\geq k_2$, $r\Big(F_{\sigma_n}(y_{a_i}), F_{\sigma_n}(y)\Big)< {\epsilon\over 2}$.
Consequently, for every $i\geq k= max\{k_1, k_2\}$ also the above relations are true.
We have
\begin{eqnarray*}
\begin{array}{ll}
r\Big(F_{\sigma_n}(x), F_{\sigma_n}(y)\Big) & \leq r\Big( F_{\sigma_n}(x), F_{\sigma_n}(x_{a_i})\Big)+
                                            r\Big(F_{\sigma_n}(x_{a_i}), F_{\sigma_n}(y_{a_i})\Big)\\
                                            & + r\Big(F_{\sigma_n}(y_{a_i}), F_{\sigma_n}(y)\Big).
\end{array}
\end{eqnarray*}
Now, for sufficiently large $a_i$ when $i\rightarrow +\infty$, we see that
$$r\Big(F_{\sigma_n}(x), F_{\sigma_n}(y)\Big)<{\epsilon\over 2}+ \eta+ {\epsilon\over 2}=\epsilon+ \eta.$$
Whereas $a_i\rightarrow +\infty$ as $i\rightarrow +\infty$ so the previous relation for every $n\in W$ is true.
Since $\epsilon>0$ is a small arbitrary number then for each $n\in W,$ we have $r\Big(F_{\sigma_n}(x), F_{\sigma_n}(y)\Big)\leq \eta$.
Whereof $\mathcal{F}$ is expansive relative to $\sigma$ with constant expansive $\eta$ hence we obtain $x= y$ and so $r(x, y)=0$.
So
\begin{eqnarray*}
\begin{array}{ll}
r\Big(x_{a_i}, y_{a_i}\Big)& < r\Big(x_{a_i}, x\Big)+ r(x, y)+ r\Big(y, y_{a_i}\Big)\\
                           & = r\Big(x_{a_i}, x\Big)+ r\Big(y, y_{a_i}\Big).
\end{array}
\end{eqnarray*}
As $i\rightarrow +\infty$, on the basis of the convergence of the subsequences ${\Big\{x_{a_i}\Big\}}_{i=1}^{+\infty}$ and ${\Big\{y_{a_i}\Big\}}_{i=1}^{+\infty}$ to $x$ and $y$, respectively, for given $\epsilon> 0( \epsilon< \mu)$ there exists $k_3\in\Bbb N$ such that for every $i\geq k_3$, $r\Big(x_{a_i}, x\Big)< {\epsilon\over 2}$ and
$r\Big(y_{a_i}, y\Big)< {\epsilon\over 2}$.
Thus, for sufficiently large $a_i$ when $i\rightarrow +\infty$, the previous relation will be as follows
$$r\Big(x_{a_i}, y_{a_i}\Big)< {\epsilon\over 2}+ {\epsilon\over 2}= \epsilon< \mu$$
This contradicts absurd hypothesis and the assertion is proved.
\end{proof}
\begin{definition}
We say that IFS $\mathcal{F}$ has "shadowing uniqueness property relative to $\sigma$" if there exists a constant number $\epsilon> 0$ such that for every $\delta$-chain $\xi= {\{x_i\}}_{i\in W}$ with the sequence $\sigma$ there exists only one chain ${\{y_i\}}_{i\in W}$ with the same sequence $\sigma$ that $r\Big(x_{i}, y_{i}\Big)< \epsilon$ for every $i\in W.$
\end{definition}
In the following lemma, we show that if an IFS has shadowing property and is the expansive relative to given $\sigma$, IFS has shadowing uniqueness property relative to $\sigma.$
\begin{lemma}\label{uniq}
{\it Suppose that $\mathcal{F}$ is an expansive IFS relative to $\sigma= \Big\{\lambda_{0},\lambda_{1},\ldots\Big\}$ with constant expansive $\eta$.
Also, $\mathcal{F}$ has the shadowing property.
Then $\mathcal{F}$ has the shadowing uniqueness property relative to $\sigma$.}
\end{lemma}
\begin{proof}
Put $\epsilon= {\eta\over 2}.$
Assume that $\xi={\{x_i\}}_{i\in W}$ is a $\delta$-chain with the given sequence $\sigma$.
By considering the process of the proof of Theorem(3.4) in \cite{FatehiNia2016various}, we see that there exists a chain ${\{y_i\}}_{i\in W}$ with the same sequence $\sigma$ such that $r\Big(x_{i}, y_{i}\Big)< \epsilon$ for all $i\in W.$\\
Now, we prove the uniqueness.
Let ${\{y_i\}}_{i\in W}$ and ${\{z_i\}}_{i\in W}$ be two chains with the given sequence $\sigma$ that for every $i\in W,$ $r\Big(x_{i}, y_{i}\Big)< \epsilon$ and $r\Big(x_{i}, z_{i}\Big)< \epsilon.$
Thus, for each $i\in W,$ we obtain the following relation
\begin{eqnarray*}
\begin{array}{ll}
r\Big(F_{\sigma_i}(y_0), F_{\sigma_i}(z_0)\Big) & = r\Big(y_{i}, z_{i}\Big)\\
                                                & \leq r\Big(y_{i}, x_{i}\Big)+ r\Big(x_{i}, z_{i}\Big)\\
                                                & <\epsilon+ \epsilon= 2\epsilon= \eta.
\end{array}
\end{eqnarray*}
Since $\mathcal{F}$ is expansive relative to $\sigma$ with constant expansive $\eta$ thus $y_0=z_0.$
We know that $\mathcal{F}$ is an IFS, then for each $i\in W,$ $F_{\sigma_i}$ is a function and so $F_{\sigma_i}(y_0)= F_{\sigma_i}(z_0)$.
That is, $y_{i}= z_{i}$.
Therefore, the chain ${\{y_i\}}_{i\in W}$ is unique and the statement is proved.
\end{proof}
Now, we prove the following technical theorem whose process of proof is especially complicated and delicate.
This theorem has a critical role in the proof of the converse demonstration of Theorem \ref{Main}( weakly) with further conditions.
\begin{theorem}\label{secondary}
{\it Suppose that $\mathcal{F}=\Big\{f_{\lambda},\,M\,: \lambda\in\Lambda\Big\}\subset Homeo(M)$ is an expansive IFS relative to $\sigma= \Big\{\lambda_{0},\lambda_{1},\ldots\Big\}$ with constant expansive $\eta$.
Also, $\mathcal{F}$ has the shadowing property.
Then there exist $\epsilon> 0$, $3\epsilon< \eta$, and $\delta> 0$ with the following property:\\
If $\mathcal{G}=\Big\{g_{\overline{\lambda}},\,M\,: {\overline{\lambda}}\in{\overline{\Lambda}}\Big\}\subset Homeo(M)$ be an IFS  and $\overline{\sigma}$ be a sequence in ${\overline{\Lambda}}^W$ such that ${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)< \delta$ then there exists a continuous function $h: M\rightarrow M$ such that:}\\
$\left \{\begin{array}{lll}
i)  & r\Big(G_{{\overline{\sigma}}_n}(x), F_{\sigma_n}(h(x))\Big)<\epsilon, &  \forall x\in M\,\,and\,\,\forall n\in W, \\
ii) &  r\Big(x, h(x)\Big)<\epsilon,   &  \forall x\in M.
\end{array}\right.$\\
{\it Moreover, if $\epsilon> 0$ is sufficiently small, then the function $h$ is surjective and also $F_{\sigma_n}oh= h o G_{{\overline{\sigma}}_n}$ for every $n\in W.$}
\end{theorem}
\begin{proof}
We consider $\epsilon> 0$ with condition $3\epsilon< \eta$.
Since $\mathcal{F}$ has the shadowing property, there exists $\delta> 0$ such that every $\delta$-chain $\epsilon$-is shadowed by a chain.
Let us now assume that $\mathcal{G}= \Big\{g_{\overline{\lambda}},\,M\,: {\overline{\lambda}}\in{\overline{\Lambda}}\Big\}\subset Homeo(M)$ be an IFS and let $\overline{\sigma}$ be a sequence in ${\overline{\Lambda}}^W$ such that ${\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)< \delta$.
Fix $x\in M$.
We make the sequence $\xi= \Big\{x, G_{{\overline{\sigma}}_0}(x), G_{{\overline{\sigma}}_1}(x), \ldots, G_{{\overline{\sigma}}_n}(x), \ldots\Big\}$.
We claim that $\xi$ is a $\delta$-chain for IFS $\mathcal{F}.$
The proof of the claim is as follows:
$$r\Big(G_{{\overline{\sigma}}_0}(x), f_{\lambda_0}(x)\Big)= r\Big(g_{{\overline{\lambda}}_0}(x), f_{\lambda_0}(x)\Big)< \rho_0\Big(g_{{\overline{\lambda}}_0}, f_{\lambda_0}\Big)< {\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)<\delta,$$
and for every $n\geq 1$, we also have
\begin{eqnarray*}
\begin{array}{ll}
r\bigg(G_{{\overline{\sigma}}_n}(x), f_{\lambda_{n}}\Big(G_{{\overline{\sigma}}_{n-1}}(x)\Big)\bigg)
       & = r\bigg(g_{{\overline{\lambda}}_n}\Big(G_{{\overline{\sigma}}_{n-1}}(x)\Big), f_{\lambda_{n}}\Big(G_{{\overline{\sigma}}_{n-1}}(x)\Big)\bigg)\\
       & < \rho_0\Big(g_{{\overline{\lambda}}_0}, f_{\lambda_0}\Big)<
       {\mathcal{D}}_0\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)<\delta.
\end{array}
\end{eqnarray*}
Thus the claim is proved.
By using Lemma \ref{uniq} and according to the proof of this lemma, IFS $\mathcal{F}$ has the shadowing uniqueness property relative to $\sigma$ with the constant $\epsilon= {\eta\over 2}$.
Thus there is a unique chain ${\{y_n\}}_{n\in W}$ such that $r(x, y_0)< \epsilon$ and $r\Big(G_{{\overline{\sigma}}_n}(x), y_{n+1}\Big)< \epsilon$ for every $n\in W.$\\
Therefore, for every $x\in M,$ we obtain the unique chain ${\{y_n\}}_{n\in W}$, it follows that the function defined $h: M\rightarrow M$ with the criterion $h(x)= y_0$ is well-defined.
By substitution $h(x)= y_0$ we will get $r\Big(x, h(x)\Big)< \epsilon$.
Since ${\{y_n\}}_{n\in W}$ is a chain with the sequence $\sigma$, for every $n\in W,$ we obtain $y_{n+1}= F_{\sigma_n}(y_0)$.
Subsequently, for every $n\in W$, we rewrite the relation $r\Big(G_{{\overline{\sigma}}_n}(x), y_{n+1}\Big)< \epsilon$ as $r\Big(G_{{\overline{\sigma}}_n}(x), F_{\sigma_n}(y_0)\Big)= r\Big(G_{{\overline{\sigma}}_n}(x), F_{\sigma_n}(h(x))\Big)<\epsilon.$\\
Now, we show that the function $h$ is continuous.
Whereas the space $M$ is compact, continuity is equivalent to uniform continuity thus, we prove that $h$ is uniformly continuous on $M.$
Suppose that $\mu> 0$ be given.
By using Lemma \ref{expansive} for this $\sigma$ there is $a\geq 1$ such that if $u,v\in M$ that we have $r\Big(F_{\sigma_n}(u), F_{\sigma_n}(v)\Big)\leq \eta$ for every $n$, $0\leq n<a$, then $r(u,v)<\mu$.
We know that for every $n\in W,$ the functions $F_{\sigma_n}$ and $G_{{\overline{\sigma}}_n}$ are uniformly continuous on $M$ so for every integer number $n$, $0\leq n<a$, there exist the positive numbers $\beta_n$ and $\alpha_n$, respectively, dependent on the given values $\eta\over 3$ and $\epsilon$, respectively, such that if $r(x, y)<\beta_n$, then $r\Big(F_{\sigma_n}(x), F_{\sigma_n}(y)\Big)<{\eta\over 3}$ and if $r(x, y)<\alpha_n$, then $r\Big(G_{{\overline{\sigma}}_n}(x), G_{{\overline{\sigma}}_n}(y)\Big)<\epsilon$.
Put $\beta= min \Big\{\beta_n\;|\;0\leq n<a\Big\}$ and $\alpha= min \Big\{\alpha_n\;|\;0\leq n<a\Big\}$.
Now, we choose the positive number $\gamma< min\{\beta, \alpha\}$.
Subsequently, for every $x,y\in M$ with $r(x, y)< \gamma$, the relations $r\Big(F_{\sigma_n}(x), F_{\sigma_n}(y)\Big)< {\eta\over 3}$ and $r\Big(G_{{\overline{\sigma}}_n}(x), G_{{\overline{\sigma}}_n}(y)\Big)<\epsilon$ are true for every $n$, $0\leq n<a$, and thereby, we see that
\begin{eqnarray*}
\begin{array}{ll}
r\bigg(F_{\sigma_{n}}\Big(h(x)\Big), F_{\sigma_{n}}\Big(h(y)\Big)\bigg)
                 & \leq r\bigg(F_{\sigma_{n}}\Big(h(x)\Big),  G_{{\overline{\sigma}}_n}(x)\bigg)
                 + r\Big( G_{{\overline{\sigma}}_n}(x), G_{{\overline{\sigma}}_n}(y)\Big)\\
                 & +\,r\bigg( G_{{\overline{\sigma}}_n}(y), F_{\sigma_{n}}\Big(h(y)\Big)\bigg)\\
                 & < \epsilon+ \epsilon+ \epsilon= 3\epsilon< \eta.
\end{array}
\end{eqnarray*}
The previous relation is true for very $n$, $0\leq n<a$, so $r\Big(h(x), h(y)\Big)< \mu$.
Thus, for every $\mu> 0$ there exists $\gamma> 0$ such that every $x,y\in M$ with $r(x, y)< \gamma$ implies
$r\Big(h(x), h(y)\Big)< \mu$ and this means that the function $h$ is uniformly continuous on $M$ and consequently, it is continuous.\\
Now, assume that $\epsilon> 0$ is sufficiently small.
Since $M$ is a compact metric space, thus for the given $\epsilon> 0$ there exist $x_1, x_2,\ldots, x_n$ in $M$ that $M= \bigcup_{i=1}^{n} B_{\epsilon}(x_i)$.
Choose $y\in M$.
Therefore, there is $x_j\in M$ such that $y\in B_{\epsilon}(x_j)$.
Hence, $$r\Big(y, h(x_j)\Big)\leq r(y, x_j)+ r\Big(x_j, h(x_j)\Big)<\epsilon+ \epsilon= 2\epsilon.$$
Also, for every $x\in M$, we have
\begin{eqnarray*}
\begin{array}{ll}
r\bigg(F_{\sigma_{n}}\Big(h(x)\Big), h\Big(G_{{\overline{\sigma}}_n}(x)\Big)\bigg)
                  & \leq r\bigg(F_{\sigma_{n}}\Big(h(x)\Big), G_{{\overline{\sigma}}_n}(x)\bigg)
                   + r\bigg(G_{{\overline{\sigma}}_n}(x), h\Big(G_{{\overline{\sigma}}_n}(x)\Big)\bigg)\\
                   & < \epsilon+ \epsilon= 2\epsilon
\end{array}
\end{eqnarray*}
Since $\epsilon> 0$ is sufficiently small, we can calculate the limitation as $\epsilon\rightarrow 0$ in the two previous relations.
From the former relation, we will obtain the relation $r\Big(y, h(x_j)\Big)= 0$, that is, $y= h(x_j)$, and from the latter relation, for every $x\in M$, we get the relation $r\bigg(F_{\sigma_{n}}\Big(h(x)\Big), h\Big(G_{{\overline{\sigma}}_n}(x)\Big)\bigg)= 0.$
Consequently, these relations show that the function $h$ is surjective and $F_{\sigma_n}oh= hoG_{{\overline{\sigma}}_n}$ for every $n\in W$.
\end{proof}
Considering the previous theorem and the definition of weakly topologically stable, we have the following corollary;
\begin{corollary}\label{corone}
{\it If IFS $\mathcal{F}$ has the shadowing property and moreover $\mathcal{F}$ is the expansive relative to the sequence $\sigma$ with sufficiently small expansive constant, then $\mathcal{F}$ is weakly topologically stable( relative to this $\sigma$).}
\end{corollary}
{\center\section{\textbf { Shadowing property is not enough for structural stability}}}
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
$$\parallel Df(x)-Dg(x)\parallel= 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 set of $C^{1}$-diffeomorphisms on $M$ with the induced topology of the metric $\rho_1$ is denoted by
${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 the SP.
In fact, the SS is stronger than the SP.
Robinson proves that a structurally stable diffeomorphism on a closed manifold has the SP.
The previous converse demonstration has been rejected by giving a counterexample; for example, in the article \cite{Pilyugin2010variational}.
In the following, we show that this equivalence is not also true for IFSs by giving an example.
\begin{definition}
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 subsets of ${Diff}^{1}(M)$.
Let $\sigma\in\Lambda^W$ and $\overline{\sigma}\in{\overline{\Lambda}}^W.$
We consider the sequences $\mathcal{F}_\sigma= {\{f_{\lambda_i}\}}_{i\in W}$ and
$\mathcal{G}_{\overline{\sigma}}= {\{g_{{\overline{\lambda}}_i}\}}_{i\in W}$ where ${\lambda_i}\in\sigma$ and ${{\overline{\lambda}}_i}\in{\overline{\sigma}}$ for every $i\in W.$
The measure distance between the two IFSs relative to the sequences $\sigma$ and $\overline{\sigma}$ will be denoted by $\mathcal{D}_1$ and is defined as follows:
$${\mathcal{D}}_1\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)= sup\Big\{\rho_1(f_{{\lambda}_i}, g_{{\overline\lambda}_i}):\quad\;\;{\lambda_i}\in\sigma,\;{{\overline{\lambda}}_i}\in{\overline{\sigma}}\;\;for\;all\;i\in W \Big\}$$
\end{definition}
Notice that $\mathcal{D}_1$ is well-defined and metric.
\begin{definition}
Assume that $\mathcal{F}=\{f_{\lambda}, M : \lambda\in\Lambda\}\subset {Diff}^{1}(M)$ be an IFS.
We say that IFS $\mathcal{F}$ is "structurally stable" if for given $\epsilon> 0$ there is $\delta> 0$ such that for any IFS $\mathcal{G}= \Big\{g_{\overline\lambda},\,M\,: {\overline\lambda}\in{\overline\Lambda}\Big\}\subset {Diff}^{1}(M)$ and for every sequence $\sigma$ and $\overline{\sigma}$ with the condition ${\mathcal{D}}_1\Big(\mathcal{F}_\sigma, \mathcal{G}_{\overline{\sigma}}\Big)<\delta$, there exists a homeomorphism $h: M\rightarrow M$ with the following properties:\\
$\left \{\begin{array}{lll}
i)  & F_{\sigma_n}oh= hoG_{{\overline{\sigma}}_n}, & \forall n\in W, \\
ii) & r\Big(x, h(x)\Big)<\epsilon,   &  \forall x\in M.
\end{array}\right.$
\end{definition}
We show that in an IFS, shadowing property doesn't imply structural stability by giving an example.
\begin{example}
We define the function $F:{T^{2}\times T^{2}}\rightarrow {T^{2}\times T^{2}}$( $T^{2}$ is a two-dimensional torus) with the following criterion:
$$F(x, y, u, v)= \Big(2x-c(u, v)f(x)+y, x-c(u, v)f(x)+y, 2u+v, u+v\Big),$$
where $f(x)= {1\over 2\pi}\sin{2\pi x}$ and $c$ is a $C^{\infty}$ function from $T^{2}$ to $\Bbb R$ such that the first order derivatives are small and also $0< c(u, v)\leq 1$ for every $(u, v)\in T^{2}$.
Moreover, $c(u, v)= 1$ if and only if $(u, v)$ belong to nontrivial and the minimal set of the function $G$, $G: T^{2}\rightarrow T^{2}$ with the criterion $G(u, v)= (2u+v, u+v)$.\\
In the criterion of the function $F$, we once put $c(u, v)= \cos^{2}{\pi(u+ v)}$ and  call the obtained function  $F_1$, again we set $c(u, v)= \cos^{2}{\pi(u- v)}$ and call this obtained function $F_2$.
Now, consider $\mathcal{F}= \Big\{F_1, F_2\; ; \; {T^{2}\times T^{2}}\Big\}$.
Clearly, $\mathcal{F}$ is an IFS and since $T^{2}$ is a compact metric space then ${T^{2}\times T^{2}}$ is compact metric space.\\
First, we show that IFS $\mathcal{F}$ has shadowing property.
On the basis of Corollary(3.4) in \cite{Fatehi2015IFS}, it is sufficient we prove that for a given $\epsilon> 0$ there is $\delta> 0$ such that
\begin{eqnarray}\label{ss}
B\Big(F_i(X), \epsilon+ \delta\Big)\subseteq F_i\Big(B(X, \epsilon)\Big);\;\;\;\forall X\in {T^{2}\times T^{2}},\;i=1, 2.
\end{eqnarray}
The functions $F_1$ and $F_2$ are diffeomorphisms by the criteria of the functions, so these functions are uniformly continuous on the compact space ${T^{2}\times T^{2}}$.
Assume that $\epsilon> 0$ be given.
Put $\delta= \epsilon$.
For an arbitrary and assumed value $X\in {T^{2}\times T^{2}}$ and $i$, $i=1, 2$, consider $Z\in B\Big(F_i(X), 2\epsilon\Big)$.
According to the uniform continuity of the function $F_i$, for this value $\epsilon$, there exists $\delta_1> 0$ such that for every $Y\in {T^{2}\times T^{2}}$ with $r(Y, X)< \delta_1$ then $r\Big(F_i(Y), F_i(X)\Big)< \epsilon$.
Since $F_i$ is one to one function, we put $Z^*= F_{i}^{-1}(Z)$.
$F_i$ is uniformly continuous, there is $\delta_2$ such that for every $Y\in {T^{2}\times T^{2}}$ with $r(Y, Z^* )< \delta_2$ then $r\Big(F_i(Y), F_i(Z^*)\Big)< \epsilon$.
We can choose the values $\delta_1$ and $\delta_2$ such that $\delta_1, \delta_2< {\epsilon\over 2}$.
Put $\delta^*= min\{\delta_1, \delta_2\}$.
Assume that $Y\in {T^{2}\times T^{2}}$ with $r(Y, X)< \delta^*$ and $r(Y, Z^* )< \delta^*$, then we see that
$$r(Z^*, X)< r(Z^*, Y)+ r(Y, X)< 2\delta^*< \epsilon.$$
Hence, $Z^*\in B(X, \epsilon)$ and whereas $F_i(Z^*)= Z$, we obtain that $Z\in F_i\Big(B(X, \epsilon)\Big)$ and consequently, the relation \ref{ss} is proved.\\
Second, we claim that IFS $\mathcal{F}$ isn't structurally stable.
By reduction ad absurdum, we assume that IFS $\mathcal{F}$ is structurally stable.
Thus, for given $\epsilon> 0$ there exists $\delta> 0$ such that if $\mathcal{G}= \Big\{G_1, G_2\; ; \; {T^{2}\times T^{2}}\Big\}$ be an IFS including $C^{1}$-diffeomorphisms functions with ${\mathcal{D}}_1\Big(\mathcal{F}, \mathcal{G}\Big)< \delta$ then for the sequence $\sigma= \{1, 1,\ldots\}$ and $n=1$ there is a homeomorphism $h:{T^{2}\times T^{2}}\rightarrow {T^{2}\times T^{2}}$ such that $F_1 oh= hoG_1$.
Since $G_1$ is an arbitrary function with $\rho_1\Big(F_1, G_1\Big)< \delta$, according to the previous relation, we conclude that the function $F_1$ is structurally stable.
But we conclude from the article \cite{Robbin1972} that the function $F_1$ isn't structurally stable and this is a contradiction.
Thus, our claim is proved.
\end{example}
\section{Discussion}
Certainly, structural stability doesn't imply shadowing property in an IFS, because if it be true then it for an IFS including a diffeomorphism must be true.
But on the basis of scientific texts' theorems, it's false.
Now, a question arises that under what conditions a structurally stable IFS has shadowing property.



% BibTeX users please use one of
%\bibliographystyle{spbasic}      % basic style, author-year citations
%\bibliographystyle{spmpsci}      % mathematics and physical sciences
%\bibliographystyle{spphys}       % APS-like style for physics
%\bibliography{}   % name your BibTeX data base

% Non-BibTeX users please use
\begin{center}
\begin{thebibliography}{99} % Enter references in alphabetical order and according to the following format.
\bibitem{Baggis1955}
        F. Baggis G.,  Rough systems of two differential equations, {\it Uspehi. Matem. Nauk.,} 10 (1995),  101-126.

\bibitem{BARNSLEY1985}
         M. F. Barnsley and S. Demko, Iterated function systems and the global construction of fractals, {\it Proc. Roy. Soc. London Ser. A,}  399 (1985), 243-275.
\bibitem{birkhoff1926extension}
        G. D. Birkhoff,  An extension of Poincare's last geometric theorem}, {\it Acta Math.,} 47 (1926), 297-311.
\bibitem{bowen1975equilibrium}
        R. Bowen, {\it Equilibrium states and the ergodic theory of Anosov diffeomorphisms} Springer-Verlag, Berlin, (2008).
\bibitem{conley1978isolated}
        C. Conley,  {\it Isolated invariant sets and the Morse index}, Vol. 38 of CBMS Regional Conference Series in Mathematics, American Mathematical Society, Providence, R.I., {1978).
\bibitem{bowen1975omega}
         R. Bowen,  ω-limit sets for axiom a diffeomorphisms, {\it Journal of differential equations} 18 (1975), 333-339.
\bibitem{duvall1992}
       F. Duvall P. and S. Husch L.,  Attractors of iterated function systems, {\it Proceedings of the American Mathematical Society}, 116 (1992), 279-284.

\bibitem{FatehiNia2016various}
        M. Fatehi Nia,  Various shadowing properties and their equivalent for expansive iterated function systems, {\it Miskolc Mathematical Notes}, 19 (2018), 19 (2018), 413-422.
\bibitem{Fatehi2015IFS}
        M. Fatehi Nia,  Iterated function systems with the shadowing property, {\it J. Adv. Res. Pure Math.},  7  (2015), 83-91.
        \bibitem{FRANKE1977}
        J. E. Franke and J. F. Selgrade,  Hyperbolicity and chain recurrence, {\it Journal of Differential Equations,} 26 (1977), 27-36.
\bibitem{hata1985}
        M. Hata, On the structure of self-similar sets, {\it Japan J. Appl. Math.,}  2 (1985), 381-414.

\bibitem{HUTCHINSON1981}
         J. E. Hutchinson, Fractals and self-similarity, {\it Indiana Univ. Math. J.,}  30 (1981), 713-747.
\bibitem{Lee2007structural}
         K. Lee and K. Sakai,  Structural stability of vector fields with shadowing, {\it J. Differential Equations}, 232 (2007), 303-313.
\bibitem{Lewowicz1980Lyapunov}
        J. Lewowicz,  Lyapunov functions and topological stability, {\it J. Differential Equations}, 38 (1980), 192-209.
   \bibitem{Moriyasu1991TS}
        K. Moriyasu,  The topological stability of diffeomorphisms,  {\it Nagoya Math. J},  123 (1991), 91-102.

\bibitem{pilyugin1999shadowing}
        S. Y. Pilyugin, {\it Shadowing in dynamical systems}. Vol. 1706 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, (1999).
\bibitem{petrov2014lyapunov}
         A. A. Petrov and S. Y. Pilyugin,  Lyapunov functions, shadowing and topological stability, {\it Topol. Methods Nonlinear Anal.,} 43 (2014), 231-240.



\bibitem{Robinson1976stability}
        C. Robinson,  Stability theorems and hyperbolicity in dynamical systems,  {\it Proceedings of the Regional Conference on the Application of Topological Methods in Differential Equations( Boulder, Colo., 1976),}  7 (1977), 425-437.

  \bibitem{Pilyugin2010variational}
         S. Y. Pilyugin,  Variational shadowing, {\it Discrete Contin. Dyn. Syst. Ser. B,}  14 (2010), 733-737.
\bibitem{Pilyugin2011orbit}
        S. Y. Pilyugin,  Theory of pseudo-orbit shadowing in dynamical systems, {\it Differ. Equ.,} 47 (2011), 1929-1938.
      \bibitem{Robbin1972}
       J. W. Robbin, Topological conjugacy and structural stability for discrete dynamical systems, {\it Bull. Amer. Math. Soc.}, 78 (1972), 923-952.
\bibitem{Tolosa2007Lyapunov}
        J. Tolosa,  The method of Lyapunov functions of two variables, {\it Fluids and waves},  440 of Contemp. Math., Amer. Math. Soc., Providence, RI, (2007), 243-271.
\bibitem{Walters1970topology}
         P. Walters,  Anosov diffeomorphisms are topologically stable, {\it Topology}  9 (1970), 71-78.
\bibitem{Walters1978orbit}
        P. Walters,  On the pseudo-orbit tracing property and its relationship to stability,  {\it Proc. Conf., North Dakota State Univ., Fargo, N.D., 1977},  668 (1978,) 231–244.

\bibitem{Wn2010shadowing}
        Y. Wu and X. Xue, Shadowing property for induced set-valued dynamical systems of some expansive maps,  {\it Dynam. Systems Appl.,} 19 (2010), 405-414.
        \bibitem{Yano1980circle}
        K. Yano,  Topologically stable homeomorphisms of the circle, {\it Nagoya Math. J.,} 79 (1980), 145-149.
%
%\bibitem{RefJ1}
% Format for Journal Reference
%F. Author and S. Author, Instructions for authors, {\it Journal Name}, Volume (year), pp-pp.

%\bibitem{RefJ2}
% Format for Journal Reference
%F. Author, S. Author and T. Author, Article title should be written here, {\it Journal Name}, Volume (year), pp-pp.

% Format for books
%\bibitem{RefB}
%F. Author, {\it Book Title Should Be Written Here}, pp-pp, Publisher, place (year)
% etc

\end{thebibliography}
\end{center}



{\small

\noindent{\bf Fatemeh Rezaei}

\noindent Department of Mathematics

\noindent Assistant Professor of Mathematics

\noindent Yazd University

\noindent Yazd, Iran

\noindent E-mail: f$\_$rezaaei@yahoo.com}\\

{\small
\noindent{\bf   Mehdi Fatehi Nia   }

\noindent  Department of Mathematics

\noindent Associate Professor of Mathematics

\noindent Yazd University

\noindent Yazd, Iran

\noindent E-mail: fatehiniam@yazd.ac.ir}\\



\end{document}
