X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/eb86b87fcb8bd9aa66283fcea4d9efbe964179ff..2bf0bca226facdce323e96552021bf90952eefce:/annexePreuveDistribution.tex

diff --git a/annexePreuveDistribution.tex b/annexePreuveDistribution.tex
index 7a05f11..8de466c 100644
--- a/annexePreuveDistribution.tex
+++ b/annexePreuveDistribution.tex
@@ -55,3 +55,33 @@ Ces rÃ©sultats permettent formuler et de prouver le thÃ©orÃ¨me suivant:
   $M$ est  doublement  stochastique.
 \end{Proof}
 
+
+
+Montrons que
+\begin{lemma}
+$d$ est une distance sur $\mathcal{X}_{\mathsf{N},\mathcal{P}}$.
+\end{lemma}
+
+
+\begin{proof}
+ $d_{\mathds{B}^\mathsf{N}}$ est la distance de Hamming.
+ Prouvons que  
+ $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}$ est aussi une distance;
+$d$ sera ainsi une distance comme somme de deux distances.
+ \begin{itemize}
+\item De maniÃ¨re Ã©vidente, $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(s,\check{s})\geqslant 0$, et si $s=\check{s}$, alors
+$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|$, 
+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$, 
+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)$). 
+\item l'inÃ©galitÃ© triangulaire est Ã©tablie puisque la valeur absolue la vÃ©rifie
+aussi.
+ \end{itemize}
+\end{proof}
