Estoy tratando de conseguir algo de intuición en Harris recurrencia en las cadenas de Markov. Definir el espacio de estado $\mathcal S$ integrada por una sola clase de comunicación, $f_{ii}^{(n)}=P(X_n=i, X_{n-1}\ne i,\ldots X_1\ne i\mid X_0=i)$, $f_{ii}=\sum_n f_{ii}^{(n)}$, $T_{ii}=\inf_n \{X_n=i\mid X_0=i\}$ y $E(T_{ii})=\sum_n nf_{ii}^{(n)}$$V_i=\sum_n\mathbb 1_{X_n=i}$, tenemos los siguientes.
- Transitoriedad: $f_{ii}<1$
- Null recurrencia:$f_{ii}=1$, $E(T_{ii})=\infty$
- Positivo recurrencia: $f_{ii}=1$, $E(T_{ii})<\infty$, $E(V_i)=\infty\ \forall i\in \mathcal S$
- Harris recurrencia: $f_{ii}=1$, $P(\omega:V_i(\omega)=\infty)=1\ \forall i\in \mathcal S$
Son las relaciones anteriores correcta? No veo cómo la última viñeta se refiere a la definición en Wikipedia. Hay ejemplos de finito de cadenas de Markov que son positivas pero no Harris recurrente?