X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/d81b15b2024adaf639e9d4a85934a5b5722c1bf1..ac26aa33009d503bf9c04a2b00244c5bf723e694:/annexePreuveDistribution.tex?ds=inline

diff --git a/annexePreuveDistribution.tex b/annexePreuveDistribution.tex
index ea5f4f1..af03fed 100644
--- a/annexePreuveDistribution.tex
+++ b/annexePreuveDistribution.tex
@@ -63,10 +63,10 @@ $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(s,\check{s})=0$.
 RÃ©ciproquement si $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(s,\check{s})=0$, alors
 $\forall k \in \mathds{N}, v^k=\check{v}^k$ d'aprÃ¨s la dÃ©finition de $d$.
 Or les Ã©lÃ©ments entre les positions $p+1$ et  $p+n$ 
-sont nules et correspondent Ã  $|u^0-\check{u}^0|$, 
+sont nulles et correspondent Ã  $|u^0-\check{u}^0|$, 
 on peut conclure que $u^0=\check{u}^0$.
 On peut Ã©tendre ce rÃ©sultat aux $n \times \max{(\mathcal{P})}$ premiers 
-bloc engendrant $u^i=\check{u}^i$, $\forall i \leqslant v^0=\check{v}^0$, 
+blocs engendrant $u^i=\check{u}^i$, $\forall i \leqslant v^0=\check{v}^0$, 
 et en vÃ©rifiant tous les  $n \times \max{(\mathcal{P})}$ blocs, $u=\check{u}$.
  \item $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}$ est Ã©videmment  symÃ©trique 
 ($d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(s,\check{s})=d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(\check{s},s)$). 
@@ -79,7 +79,7 @@ aussi.
 
 Montrons que: 
 \begin{lemma}
-Le graphe d'itÃ©ration $\textsc{giu}_{\mathcal{P}}(f)$ 
+Le graphe d'itÃ©rations $\textsc{giu}_{\mathcal{P}}(f)$ 
 est fortement connexe si et seulement si 
 la fonction $G_{f_u,\mathcal{P}}$ est topologiquement transitive sur
 $(\mathcal{X}_{\mathsf{N},\mathcal{P}},d)$. 
@@ -92,7 +92,7 @@ Soit $x=(e,(u,v)),\check{x}=(\check{e},(\check{u},\check{v}))
 On cherche un point $y$ dans une boule ouverte $\mathcal{B}(x,\varepsilon )$ 
 et un nombre 
 $n_0 \in \mathds{N}$ tels que $G_{f_u,\mathcal{P}}^{n_0}(y)=\check{x}$: 
-Cette transitivitÃ© forte entrainera la propriÃ©tÃ© de transitivitÃ© classique.
+Cette transitivitÃ© forte entraÃ®nera la propriÃ©tÃ© de transitivitÃ© classique.
 On peut supposer que $\varepsilon <1$ sans perte de gÃ©nÃ©ralitÃ©.
 
 Soit $(E,(U,V))$ les Ã©lÃ©ments de  $y$. Comme 
