]> AND Private Git Repository - hdrcouchot.git/blobdiff - preuveDistanceGeneralisee.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
correction prng chaos chap 5
[hdrcouchot.git] / preuveDistanceGeneralisee.tex
index 9b7f3b6fccdbf5f6e49f23af9ae8ba3de3fd47ba..c8a6c5ce1a3ad69fc277fff1ff98ece1ea2123eb 100644 (file)
@@ -3,7 +3,8 @@ on définit
 \[
 \displaystyle{d_S(S,S')=\frac{9}{{\mathsf{N}}}\sum_{t\in\Nats}\frac{|S_t \Delta S'_t|}{10^{t+1}}}.
 \]
 \[
 \displaystyle{d_S(S,S')=\frac{9}{{\mathsf{N}}}\sum_{t\in\Nats}\frac{|S_t \Delta S'_t|}{10^{t+1}}}.
 \]
-Montrons que $d_S$ est une distance sur $\mathcal{P}(\{1, \ldots, {\mathsf{N}}\})$.
+Montrons que $d_S$ est une distance sur $\mathcal{P}(\{1, \ldots, {\mathsf{N}}\})$ et ainsi 
+que $d$ définie à l'equation~(\ref{eq:distance:Xg}) est une distance.