En teoría de la probabilidad , el teorema de Foster , llamado así por Gordon Foster , [1] se utiliza para extraer conclusiones sobre la recurrencia positiva de las cadenas de Markov con espacios de estados contables . Utiliza el hecho de que las cadenas de Markov con recurrencia positiva exhiben una noción de " estabilidad de Lyapunov " en términos de regresar a cualquier estado a partir del cual se parte dentro de un intervalo de tiempo finito.
Consideremos una cadena de Markov de tiempo discreto irreducible en un espacio de estados contable que tiene una matriz de probabilidad de transición con elementos para pares , en . El teorema de Foster establece que la cadena de Markov es recurrente positiva si y solo si existe una función de Lyapunov , tal que y
para algún conjunto finito y estrictamente positivo . [2]