If a markov chain is in a recurrent communication class, will it stay or leave the class?

141 Views Asked by At

I see intuitively that if it is recurrent, the chain will return to the particular state it is in with probability 1. And because that state it is in is in a particular recurrence class, with recurrence being a classwide property, it will always stay in that class. How do I prove this formally?