Sea $i$ y $j$ sean dos estados distintos de una cadena de Markov. Si existe alguna probabilidad positiva de que el proceso pase del estado $i$ al estado $j$ cualquiera que sea el número de pasos (digamos 1, 2, 3 $\cdots$ ), entonces decimos que el estado $j$ es accesible desde el estado $i$ .
Notablemente, lo expresamos como $i\rightarrow j$ . En términos de probabilidad, se expresa del siguiente modo: un estado $j$ es accesible desde el estado $i$ si existe un número entero $m>0$ tal que $p_{ij}^{(m)}>0$ .
Del mismo modo, decimos que, $j\rightarrow i$ si existe un número entero $n>0$ tal que $p_{ji}^{(n)}>0$ .
Ahora bien, si ambos $i\rightarrow j$ y $j\rightarrow i$ son verdaderos, entonces decimos que los estados $i$ y $j$ se comunican entre sí, y se expresa notacionalmente como $i \leftrightarrow j$ . En términos de probabilidad, esto significa que existen dos números enteros $m>0,\;\; n>0$ tal que $p_{ij}^{(m)}>0$ y $p_{ji}^{(n)}>0$ .
Si todos los estados de la cadena de Markov pertenecen a una clase comunicada cerrada la cadena se denomina cadena de Markov irreducible . La irreductibilidad es una propiedad de la cadena.
En una cadena de Markov irreducible, el proceso puede ir de cualquier estado a cualquier estado sea cual sea el número de pasos que requiera.