---

Step * of Lemma real-vec-infinity-norm-req

No Annotations
∀[n:ℕ+]. ∀[v:ℝ^n].  (||v||∞ = if (n =z 1) then |v 0| else rmax(||v||∞;|v (n - 1)|) fi )
BY
{ Auto }

1
1. n : ℕ+
2. v : ℝ^n
⊢ ||v||∞ = if (n =z 1) then |v 0| else rmax(||v||∞;|v (n - 1)|) fi 

---

Latex:

---

Latex:
No  Annotations
\mforall{}[n:\mBbbN{}\msupplus{}].  \mforall{}[v:\mBbbR{}\^{}n].    (||v||\minfty{}  =  if  (n  =\msubz{}  1)  then  |v  0|  else  rmax(||v||\minfty{};|v  (n  -  1)|)  fi  )


By

---

Latex:
Auto

---

Home Index