Created by Knut M. Synstadfrom the Noun Project

Accessible

Definition (Accessible)

Let Xn,n0X_{n},n\ge0 be a MC, with transition matrix PP and the state space SS. Let i,jSi,j\in S be two states. We say ii leads to jj if the probability of reaching jj from ii is positive i.e. Pi(Xn=j\mboxforsomen0)=1P_{i}(X_{n}=j \mbox{ for some }n\ge0)=1and write iji\to j. If iji\to j we also say jj is accessible from ii.

Theorem

The following are equivalent:

  1. iji\to j
  2. n0\exists n\ge0 and i0,,ini_{0},\cdots,i_{n} s.t. we have i0=i, in=ji_{0}=i, \ i_{n}=j then pi0i1pin1in>0p_{i_{0}i_{1}}\cdots p_{i_{n-1}i_{n}}>0
  3. (Pn)i,j>0(P^{n})_{i,j}>0 for some n0n\ge0

Linked from