Lemma- Si una cadena de Markov es irreducible, entonces el periodo de todos los estados es igual, es decir. gcdT(x)=gcdT(y)gcdT(x)=gcdT(y) para todos x,yXx,yX
Prueba- Fijar dos estados x e y. Existen enteros no negativos r y l tales que que Pr(x,y)>0Pr(x,y)>0 y Pl(y,x)>0Pl(y,x)>0 . Dejar m=r+lm=r+l tenemos mT(x)T(y)mT(x)T(y) y T(x)T(y)mT(x)T(y)m de donde gcd T(y)T(y) divide todos los elementos de T(x)T(x) . Concluimos que gcd T(y)gcdT(x)T(y)gcdT(x) . Por un argumento totalmente paralelo, gcdT(x)gcdT(y)gcdT(x)gcdT(y) .
En esta prueba se puede explicar cómo T(x)T(y)mT(x)T(y)m se deriva?