Created by Knut M. Synstadfrom the Noun Project

Accessible

Definition (Accessible)

Let Xn,n≥0X_{n},n\ge0 be a MC, with transition matrix PP and the state space SS. Let i,j∈Si,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\mboxforsomen≥0)=1P_{i}(X_{n}=j \mbox{ for some }n\ge0)=1and write i→ji\to j. If i→ji\to j we also say jj is accessible from ii.

Theorem

The following are equivalent:

  1. i→ji\to j
  2. ∃n≥0\exists n\ge0 and i0,⋯ ,ini_{0},\cdots,i_{n} s.t. we have i0=i, in=ji_{0}=i, \ i_{n}=j then pi0i1⋯pin−1in>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 n≥0n\ge0

Linked from