X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/9ed4f504a9b9dd9704b62305d743e177a9ae6f72..refs/heads/master:/annexePreuveMixage.tex

diff --git a/annexePreuveMixage.tex b/annexePreuveMixage.tex
index d4087d4..71c1c8e 100644
--- a/annexePreuveMixage.tex
+++ b/annexePreuveMixage.tex
@@ -3,35 +3,33 @@ $\preceq$  entre les  classes d'Ã©quivalences.
 Formellement, \class{p}
 $\preceq$   \class{q}   
 s'il existe un chemin de longueur   $\alpha$
-($0<\alpha<|\mathcal{K}|$)  entre un Ã©lÃ©ment le la classe
+($0\le\alpha<|\mathcal{K}|$)  entre un Ã©lÃ©ment le la classe
 \class{p} vers un Ã©lÃ©ment  de
-\class{q}.  
-On remarque que si la  \class{p}$\preceq$\class{q}, 
-il n'est alors pas possible que  \class{q}$\preceq$\class{p}.
+\class{q}. 
 
 \begin{lemma}
-  Il existe un processus de renommage qui effecte un nouvel identifiant aux
-  Ã©lÃ©ment  $i\in$ \class{p}  et $j  \in$ \class{q}  tel que 
+  Il existe un processus de renommage qui affecte un nouvel identifiant aux
+  Ã©lÃ©ments  $i\in$ \class{p}  et $j  \in$ \class{q}  tel que 
   $i  \le  j$ si et seulement si
   \class{p} $\preceq$ \class{q}.
-  \begin{Proof}
+  \begin{proof}
     
-    Tout d'abord,  soit  \class{p_1},   \ldots,  \class{p_l}  des   classes 
-    contenant respectivement $n_1$,\ldots,  $n_l$  Ã©lÃ©ments respectively
+    Tout d'abord,  soient  \class{p_1},   \ldots,  \class{p_l}  des   classes 
+    contenant respectivement les Ã©lÃ©ments $n_1$,\ldots,  $n_l$
     qui ne dÃ©pendent d'aucune autre classe.  
     Les Ã©lÃ©ments de  \class{p_1} sont renommÃ©s par $1$, \ldots,  $n_1$,
-    les elements  de \class{p_i},   $2  \le   i  \le   l$  sont renommÃ©s par 
+    les Ã©lÃ©ments  de \class{p_i},   $2  \le   i  \le   l$  sont renommÃ©s par 
     $1+
     \Sigma_{k=1}^{i-1}  n_k$, \ldots, $\Sigma_{k=1}^{i}  n_k$. 
     On considÃ¨re maintenant les classes \class{p_1},  \ldots, \class{p_{l'}} 
     dont les Ã©lÃ©ments ont Ã©tÃ© renommÃ©s et soit 
-    $m$ le plus grand indice des elements de \class{p_1}, \ldots,
+    $m$ le plus grand indice des Ã©lÃ©ments de \class{p_1}, \ldots,
     \class{p_{l'}}.
     Soit une autre classe \class{p} qui dÃ©pend exclusivement d'une classe 
-    \class{p_i}, $1 \le i \le l'$ et qui contient $k$ elements. 
+    \class{p_i}, $1 \le i \le l'$ et qui contient $k$ Ã©lÃ©ments. 
     Les Ã©lÃ©ments de \class{p} sont renommÃ©s par  $m+1$, \ldots, $m+k$.
     Ce processus a Ã©tÃ© appliquÃ© sur  $l'+1$ classes. Il se termine 
-    puisqu'il diminue le nombre d'elements auquel il reste 
+    puisqu'il diminue le nombre d'Ã©lÃ©ments auquel il reste 
     Ã  affecter un numÃ©ro. 
 
     Il reste Ã  montrer que cette mÃ©thode de renommage vÃ©rifie la propriÃ©tÃ© 
@@ -43,7 +41,7 @@ il n'est alors pas possible que  \class{q}$\preceq$\class{p}.
     dÃ©pend immÃ©diatement de 
     \class{p},  \textit{i.e.} 
     le chemin le plus long entre les Ã©lÃ©ments de   \class{p} et les 
-    elements de \class{q} est de longueur 1.  
+    Ã©lÃ©ments de \class{q} est de longueur 1.  
     En raison de la mÃ©thode renommage, chaque numÃ©ro d'Ã©lÃ©ment
     \class{q}  est plus grand que tous ceux de  \class{p} et la preuve est 
     Ã©tablie.
@@ -61,7 +59,7 @@ il n'est alors pas possible que  \class{q}$\preceq$\class{p}.
     \class{p}  $\preceq$ \class{q'}  et pour chaque  $i$, $k$  tels que $i  \in$
     \class{p} et  $k \in$ \class{q'}, $i \le k$
     et le rÃ©sultat est Ã©tabli.
-  \end{Proof}
+  \end{proof}
 \end{lemma}
 
 On peut remarquer que ce processus de renommage est inspirÃ© des \emph{graphes 
@@ -72,7 +70,7 @@ On peut remarquer que ce processus de renommage est inspirÃ© des \emph{graphes
 %   Processes numbers are already compliant with the order $\preceq$.
 % \end{xpl}
 
-\begin{Proof}[of Theorem~\ref{th:cvg}]
+\begin{proof}[du thÃ©orÃ¨me~\ref{th:cvg}]
 
   Le reste de la preuve est fait par induction sur le numÃ©ro de classe. 
   ConsidÃ©rons la premiÃ¨re  classe \class{b_1} de $n_1$ Ã©lÃ©ments 
@@ -83,24 +81,24 @@ On peut remarquer que ce processus de renommage est inspirÃ© des \emph{graphes
   fini d'itÃ©rations. %pseudo periods. % [[JFC : borner m1/n1]].
   Ainsi toutes les  \emph{classes sources} 
   (indÃ©pendantes de toutes les  autres classes) vont aussi converger 
-  dans le mode mixe. 
-  On peut ainsi  supposer que le  mode d'itÃ©ration mixe avec dÃ©lais 
+  dans le mode mixte. 
+  On peut ainsi  supposer que le  mode d'itÃ©ration mixte avec dÃ©lais 
   uniformes fait converger les classes \class{b_1},  \ldots, \class{b_k}
   en  un temps $t_k$.
   Par construction, la classe \class{b_{k+1}}  dÃ©pend uniquement 
   de certaines classes de  \class{b_1}, \ldots,
   \class{b_k} et Ã©ventuellement d'elle-mÃªme.
-  Il existe un nombre d'iteration suffisamment grand 
-  $t_0$  tel que  $D^{t_0}_{p_{k+1}p_j}$  est suppÃ©rieur ou Ã©gal Ã    $t_k$ 
+  Il existe un nombre d'itÃ©rations suffisamment grand 
+  $t_0$  tel que  $D^{t_0}_{p_{k+1}p_j}$  est supÃ©rieur ou Ã©gal Ã    $t_k$ 
   pour chaque 
   $p_{k+1} \in$ \class{b_{k+1}} et $p_j \in$ \class{b_j}, $1 \le j \le k$.
 
-  Il nous reste donc des itÃ©rations synchronous entre les 
-  elements  of \class{b_{k+1}} en dÃ©marant dans des configurations
+  Il ne reste donc que des itÃ©rations synchrones entre les 
+  Ã©lÃ©ments  de \class{b_{k+1}} en dÃ©marrant dans des configurations
   oÃ¹ tous les Ã©lÃ©ments de  \class{b_j}, $1 \le j
-  \le k$, on des valeurs constantes.  
+  \le k$, ont  des valeurs constantes.  
   D'aprÃ¨s les hypothÃ¨ses du thÃ©orÃ¨me, cela converge.
-\end{Proof}
+\end{proof}
 
 
 
