A Markov chain on a measurable state space is a discrete-time-homogeneous Markov chain with a measurable space as state space.
History The definition of Markov chains has evolved during the 20th century. In 1953 the term Markov chain was used for stochastic processes with discrete or continuous index set, living on a countable or finite state space, see Doob. or Chung. Since the late 20th century it became more popular to consider a Markov chain as a stochastic process with discrete index set, living on a measurable state space.
Definition Denote with ( E , Σ ) {\displaystyle (E,\Sigma )} a measurable space and with p {\displaystyle p} a Markov kernel with source and target ( E , Σ ) {\displaystyle (E,\Sigma )} . A stochastic process ( X n ) n ∈ N {\displaystyle (X_{n})_{n\in \mathbb {N} }} on ( Ω , F , P ) {\displaystyle (\Omega ,{\mathcal {F}},\mathbb {P} )} is called a time homogeneous Markov chain with Markov kernel p {\displaystyle p} and start distribution μ {\displaystyle \mu } if
P [ X 0 ∈ A 0 , X 1 ∈ A 1 , … , X n ∈ A n ] = ∫ A 0 … ∫ A n − 1 p ( y n − 1 , A n ) p ( y n − 2 , d y n − 1 ) … p ( y 0 , d y 1 ) μ ( d y 0 ) {\displaystyle \mathbb {P} [X_{0}\in A_{0},X_{1}\in A_{1},\dots ,X_{n}\in A_{n}]=\int _{A_{0}}\dots \int _{A_{n-1}}p(y_{n-1},A_{n})\,p(y_{n-2},dy_{n-1})\dots p(y_{0},dy_{1})\,\mu (dy_{0})}
is satisfied for any n ∈ N , A 0 , … , A n ∈ Σ {\displaystyle n\in \mathbb {N} ,\,A_{0},\dots ,A_{n}\in \Sigma } . One can construct for any Markov kernel and any probability measure an associated Markov chain.
Remark about Markov kernel integration For any measure μ : Σ → [ 0 , ∞ ] {\displaystyle \mu \colon \Sigma \to [0,\infty ]} we denote for μ {\displaystyle \mu } -integrable function f : E → R ∪ { ∞ , − ∞ } {\displaystyle f\colon E\to \mathbb {R} \cup \{\infty ,-\infty \}} the Lebesgue integral as ∫ E f ( x ) μ ( d x ) {\displaystyle \int _{E}f(x)\,\mu (dx)} . For the measure ν x : Σ → [ 0 , ∞ ] {\displaystyle \nu _{x}\colon \Sigma \to [0,\infty ]} defined by ν x ( A ) := p ( x , A ) {\displaystyle \nu _{x}(A):=p(x,A)} we used the following notation:
∫ E f ( y ) p ( x , d y ) := ∫ E f ( y ) ν x ( d y ) . {\displaystyle \int _{E}f(y)\,p(x,dy):=\int _{E}f(y)\,\nu _{x}(dy).}
Basic properties
… excerpt ends here. Continue reading the full article.
