EN
Consider a proper metric space 𝖷 and a sequence $(Fₙ)_{n≥0}$ of i.i.d. random continuous mappings 𝖷 → 𝖷. It induces the stochastic dynamical system (SDS) $Xₙ^{x} = Fₙ ∘ ... ∘ F₁(x)$ starting at x ∈ 𝖷. In this and the subsequent paper, we study existence and uniqueness of invariant measures, as well as recurrence and ergodicity of this process.
In the present first part, we elaborate, improve and complete the unpublished work of Martin Benda on local contractivity, which merits publicity and provides an important tool for studying stochastic iterations. We consider the case when the Fₙ are contractions and, in particular, discuss recurrence criteria and their sharpness for the reflected random walk.