The research on the strong Markov property

Abstract

Let $X(t, ω) ≜ {x_t(ω); t ≥ 0}$ be a Markov process defined on a probability space $(Ω, F, P)$ and valued in a measurable space $(E, ε)$. In this paper, we give the definitions of $σ-algebras$ prior to $α$ and $post-α$ and discuss their properties. At the same time, we prove that the strong Markov property holds for an arbitrary Markov process, that is, we prove that the Markov property is equivalent to the strong Markov property.