1. Summary. Given below is a brief description of the main results of this paper: ?3. It is shown that the study of a Markov process X,(Q , v) where Q is a general state space, E a separable a-field of subsets of Q, and v a a-finite stationary measure for the process, can essentially be reduced to the study of a real-valued Markov process Yn(K, A, A) where K is a bounded interval or the entire real line, A the Borel sets of K, and A Lebesgue measure, stationary for the process. To show this a notion of isomorphism of processes is introduced. The main tool is the geometric-isomorphism theorem of Halmos and von Neumann. ?4. Processes Xn(R, A, A) are discussed where R is the real line, and A and A are as defined in ? 3. The selection of R rather than a bounded interval K is made because we are particularly interested in infinite stationary measures and the infinite case introduces a few technical difficulties. Treatment of the finite case is practically identical to that of the infinite case except that it is simpler. The basic result is that the process Xn(R, A, A) may be approximated in a certain way by processes (called k-processes) which are essentially Markov chains on a countable state space. The nature of the approximation is weak convergence of measures on function space. Such an approximation is useful because certain results difficult to prove directly for processes on a continuous state space may be easy to prove for Markov chains, and then carried over to the general process by using the k-processes. (Similar approaches have been used to approximate continuous time by discrete time processes; in this paper it is the state space rather than the time parameter which is discretized-time is discrete throughout.) Next, if the process is conservative and ergodic (that is, the shift T is; see [9] and Halmos' Lectures on ergodic theory) we derive a few conclusions about the nature of the k-processes. ?5. As an application of ?4, we give a probabilistic proof of Birkhoff's ergodic theorem. ?6. Using the isomorphism of ?3, we extend the results of the paper to processes Xn(Q, , v) for E separable.
Read full abstract