3
II. Graphe d’une chaîne de Markov
Définition : La matrice de transition d’une chaîne de Markov est représentée par un graphe orienté G
= (S, A), défini comme suit :
- S = {E
1
, ...,E
r
} = {1, ..., r} (« les sommets sont les états de la chaîne »),
- (i, j)
A ssi p
ij
> 0 et dans ce cas l’étiquette est p
ij
.
Exemple 1 :
=0,500,5
0,250,50,25
0,250,250,5
P
III. Classification des états
Définition : Un ensemble d’états non vide C est dit fermé si aucun état à l’extérieur de C ne peut être
atteint à partir d’un état E
i
appartenant à C, c’est-à-dire C est fermé ssi :
∀E
i
C et E
j
C, p
ij
= 0.
Si un singleton C = {E
i
} est fermé, on dit que l’état E
i
est absorbant (p
ii
= 1).
Un ensemble fermé F est irréductible s’il n’existe pas de sous-ensemble fermé F′ ≠ F de F.
Une chaîne de Markov est irréductible s’il n’existe pas d’autre ensemble fermé que l’ensemble de
tous les états (« tous les états de la chaîne communiquent entre eux »).
Lemme : Une chaîne de Markov est irréductible ssi son graphe est fortement connexe (il existe un
chemin de chaque état à chaque autre état).
NB : La chaîne de Markov de l’exemple 1 est irréductible.
Définition : Un état E
i
est dit persistant (ou récurrent) si la probabilité que, parti de E
i
, le système y
revienne, est égale à 1. Sinon, il est dit transitoire.
De point de vue pratique, les états persistants et transitoires sont caractérisés par :
- E
i
est transitoire ssi il existe E
j
tel que l’on puisse atteindre E
j
(en plusieurs étapes si besoin) à
partir de E
i
, mais que l’on ne puisse pas atteindre E
i
à partir de E
j
,
- les états d’une chaîne de Markov peuvent être répartis, de manière unique, en une partition :
k21
C...CCTΩ∪∪∪∪=
avec T l’ensemble des états transitoires, et chaque C
i
est un
ensemble fermé irréductible d’états persistants. De plus, toute chaîne de Markov finie
admet au moins un état persistant.
Remarque : Dans le graphe, tous les états de C
i
sont mutuellement accessibles. Des états de T on peut
toujours passer à un des C
i
(mais jamais revenir). On ne peut pas passer entre C
i
et C
j
.
1
2
3
0,5
0,5
0,25
0,25
0,5
0,25 0,25
0,5