截断前马氏过程与截断后马氏过程

证明了任一马氏过程X(t,ω),若用一停时α(ω)去截X(t,ω)的样本轨道,则截断前的样本轨道函数在满足条件{α>t}∈Ft∞的条件下是一马氏过程,同时得到了截断后的样本轨道函数也是一马氏过程。另外,对于任意的随机过程,证明了X(t,ω)的t前σ-代数Ft满足右连续性(即Ft=∩s>tFs),以及任一首达时间是一停时。