1: \begin{abstract}

2:    We study the convergence of random function iterations for finding

3:    an invariant measure of the corresponding Markov operator.  We call

4:    the problem of finding such an invariant measure the {\em

5:      stochastic fixed point problem}.  This generalizes earlier work

6:    studying the {\em stochastic feasibility problem}, namely, to find

7:    points that are, with probability 1, fixed points of the random

8:    functions \cite{HerLukStu19a}.  When no such points exist, the

9:    stochastic feasibility problem is called {\em inconsistent}, but

10:    still under certain assumptions, the more general stochastic fixed

11:    point problem has a solution and the random function iteration

12:    converges to an invariant measure for the corresponding Markov

13:    operator.  We show how common structures in deterministic fixed

14:    point theory can be exploited to establish existence of invariant

15:    measures and convergence in distribution of the Markov chain.  This framework

16:    specializes to many applications of current interest including, for

17:    instance, stochastic algorithms for large-scale distributed

18:    computation, and deterministic iterative procedures with

19:    computational error.  The theory developed in 

20: this study provides a solid basis for describing the convergence

21: of simple computational methods without the assumption of infinite precision

22: arithmetic or vanishing computational errors.  

23: 

24: \end{abstract}

25: