X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/d69000ebda300fc836232f34cebb88ddfce4ac98..14c1d10fe358cdd30da162c360362d5ca68b28a3:/preuveDistanceGeneralisee.tex?ds=inline diff --git a/preuveDistanceGeneralisee.tex b/preuveDistanceGeneralisee.tex index c8a6c5c..93c8481 100644 --- a/preuveDistanceGeneralisee.tex +++ b/preuveDistanceGeneralisee.tex @@ -4,7 +4,7 @@ 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}}}. \] 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. +que $d$ définie à l'équation~(\ref{eq:distance:Xg}) est une distance.