Voilà, aux erreurs de notation près (
au lieu de
et
), c'est une chaîne de Markov pas forcément homogène à espace d'états fini
.
Ca contredit ton énoncé qui demande une chaîne de Markov homogène...
Maintenant, si dans ta définition tu mets
à droite du signe =, pour avoir une chaîne homogène, remarque que pour n, tu as
, ce qui est une initialisation pour p = 1 d'une récurrence.
Pour l'hérédite, si l'égalité de l'énoncé est vraie jusqu'au rang p, alors
En simplifiant (pourquoi peut-on considérer que c'est possible ?) et en utilisant l'hypothèse de récurrence
Enfin,
et une dernière simplification (pourquoi c'est possible ?) conduit à
et donc à la véracité de l'assertion au rang p+1
Il y a des moyens plus rapides de conclure, mais j'espère que le calcul est clair
A titre d'exercice, tu peux montrer qu'en fait on a même
pour tous deux ensembles mesurables
et
.
Ou en français : "pour une chaîne de Markov, prédire le futur à partir du présent et du passé est la même chose que de le prédire à partir de seulement le présent"