Shadowing property and topological ergodicity for iterated function systems
Let [Formula: see text] be a compact metric space and [Formula: see text] be two continuous maps on [Formula: see text]. The iterated function system [Formula: see text] is the action of the semi-group generated by [Formula: see text] on [Formula: see text]. In this paper, we introduce the definitions of shadowing property, average shadowing property and topological ergodicity for [Formula: see text] and give some examples. Then we show that (1) if [Formula: see text] has the shadowing property then so do [Formula: see text] and [Formula: see text]; (2) [Formula: see text] has the shadowing property if and only if the step skew product corresponding to [Formula: see text] has the shadowing property. At last, we prove a Lyapunov stable iterated function system having the average shadowing property is topologically ergodic.