Introduction à la commande stochastique v.0.9 - Jean-Pierre ...
Introduction à la commande stochastique v.0.9 - Jean-Pierre ...
Introduction à la commande stochastique v.0.9 - Jean-Pierre ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
6. PROPRIÉTÉS COMBINATOIRES 23<br />
uniforme sur [0, m − 1] par une loi exponentielle et le passage <strong>à</strong> <strong>la</strong> limite<br />
sur m par un passage <strong>à</strong> <strong>la</strong> limite sur le taux de l’ exponentielle.<br />
EXERCICE 5.6. Vérifier <strong>la</strong> formule : Eν = 1 . λ<br />
6. PROPRIÉTÉS COMBINATOIRES<br />
Etant donnée une chaîne de Markov de matrice de transition M, onlui<br />
associe l’application :<br />
Ɣ : E → P(E),<br />
x → Ɣ(x) ={y ∈ E : M xy > 0 }<br />
c.a.d l’application qui <strong>à</strong> un noeud du graphe (associé<strong>à</strong><strong>la</strong>chaîne de Markov)<br />
fait correspondre l’ensemble des noeuds accessibles par une transition de<br />
probabilité non nulle.<br />
Un chemin de longueur n al<strong>la</strong>nt de x 0 <strong>à</strong> x n ∈ E sera <strong>la</strong> donnée de<br />
x 0 ···x n avec x k ∈ Ɣ(x k−1 ). Un circuit sera un chemin revenant <strong>à</strong> son point<br />
de départ. Les noeuds sont vus comme des chemins de longueur zéro. On<br />
définit alors :<br />
• <strong>la</strong> re<strong>la</strong>tion d’équivalence :<br />
x ∼ y ⇔ x et y appartiennent <strong>à</strong>unmême circuit ;<br />
• le préordre<br />
x > y ⇔∃un chemin de longueur quelconque al<strong>la</strong>nt de x <strong>à</strong> y .<br />
Par passage au quotient, ce préordre définit une re<strong>la</strong>tion d’ordre sur les c<strong>la</strong>sses<br />
d’équivalences. On a alors les définitions :<br />
• une c<strong>la</strong>sse d’équivalence est dite finale si elle est minimale pour <strong>la</strong><br />
re<strong>la</strong>tion d’ordre entre les c<strong>la</strong>sses,<br />
• une c<strong>la</strong>sse non finale est dite transitoire,<br />
• un ensemble A ∈ E est dit clos s’il n’existe pas d’arc ayant son<br />
origine dans A et son extrémitédans∁ A ,<br />
• une chaîne de Markov ayant une seule c<strong>la</strong>sse est dite irréductible.<br />
5<br />
2<br />
7<br />
4<br />
1<br />
6<br />
3<br />
FIGURE 4. Exemple de chaîne de Markov<br />
EXEMPLE 6.1. La chaîne de <strong>la</strong> figure 4 a 2 c<strong>la</strong>sses transitoires (1,2) (5) et<br />
2 c<strong>la</strong>sses finales (3,4) (6,7). La sous chaîne (6,7) est irréductible.