在一个时间演变过程中,由时间t0系统或过程所处的状态,可以决定系统或过程在时刻t>t0所处的状态,而无需借助于t0前的历史信息。未来的状态仅依赖于当前状态,而不依赖于过去状态。
P(Xt+1=xt+1∣Xt=xt,Xt−1=xt−1,…,X0=x0)=P(Xt+1=xt+1∣Xt=xt)
其中:
- Xt 是随机变量,表示时间 t 时的状态。
- x 表示随机变量 X 可能取的某个具体的值
- P(⋅) 是条件概率。
马尔可夫性质说明,给定当前状态 Xt,未来状态 Xt+1 的概率分布与过去状态无关。
现在用分布函数来表述马尔可夫性。设随机过程{X(t),t∈T}的状态空间为S,如果对时间t但任意n个数值t1<t2<⋯<tn, n≥3. ti∈T,在条件X(ti)=xi, xi∈S, i=1,2,⋯,n−1下,X(tn)的条件分布函数恰等于在条件X(tn−1)=xn−1下的条件分布函数,即
P{X(tn)≤xn∣X(t1)=x1,X(t2)=x2,⋯,X(tn−1)=xn−1}=P{X(tn)≤xn∣X(tn−1)=xn−1}
, xn∈R。或写成$$F_{t_n|t_1,\cdots t_{n-1}}(x_n,t_n|x_1,x_2,\cdots,x_{n-1};t_1,t_2,\cdots,t_{n-1})=F_{t_n|t_{n-1}(x_n,t_n|x_{n-1},t_{n-1})}$$ 则过程{X(t),t∈T}具有马尔可夫性或无后效性,并称此过程为马尔可夫过程。 由于时间t与状态x都是离散的,且可以一一对应,上式可以简写为:
Ftn∣t1,…,tn−1(xn∣x1,…,xn−1)=Ftn∣tn−1(xn∣xn−1)
上面的公式看起来复杂,实际上核心性质就是一条: n−1之前的时间ti下的状态xi对当前时间的状态xn没有影响,去掉也无所谓。
马尔可夫过程可以是离散时间或连续时间的,并且状态空间可以是离散的或连续的。 [[泊松过程]]: 时间连续,状态离散的马尔可夫过程 [[维纳过程]]: 时间和状态都连续的马尔可夫过程 马尔可夫链: 状态和时间都离散的马尔可夫过程都是马尔可夫链
对于齐次马尔可夫链,转移概率定义为:
P(Xt+1=xt+1∣Xt=xt)=pxt,xt+1
其中,pxt,xt+1表示从状态xt转移到状态xt+1的概率。
经过n步后从状态xi到状态xj的概率为:
Pn(i,j)=P(Xt+n=xj∣Xt=xi)
一步转移概率组成的矩阵为:
P=p1,1p2,1⋮pn,1p1,2p2,2⋮pn,2⋯⋯⋱⋯p1,np2,n⋮pn,n
其中,Pn为n步转移概率矩阵。一步转移概率矩阵是重点讨论对象。
经过 n 步从状态 i 转移到状态 j 的概率为:
Pij(n)=P(Xt+n=j∣Xt=i)
多步转移概率可以通过转移概率矩阵的幂计算:P(n)=Pn
如果马尔可夫过程是时间齐次的(Homogeneous Markov Process),则转移概率与具体时间 t 无关:P(Xt+1=j∣Xt=i)=P(X1=j∣X0=i)
在时间 t=0 时,随机变量 X0 的概率分布:
P(X0=x)=π(x),x∈S
其中
- π(x) 是初始状态的概率
- S:状态空间(State Space),所有可能的状态的集合