---

Step * of Lemma mdist-rn-prod-metric

∀[k,x,y:Top].  (mdist(rn-prod-metric(k);x;y) ~ Σ{|(x i) - y i| | 0≤i≤k - 1})
BY
{ (RepUR ``mdist rn-prod-metric prod-metric rmetric`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[k,x,y:Top].    (mdist(rn-prod-metric(k);x;y)  \msim{}  \mSigma{}\{|(x  i)  -  y  i|  |  0\mleq{}i\mleq{}k  -  1\})


By

---

Latex:
(RepUR  ``mdist  rn-prod-metric  prod-metric  rmetric``  0  THEN  Auto)

---

Home Index