Nuprl Definition : real-vec-infinity-norm
||v||∞ == mdist(max-metric(n);v;λi.r0)
Definitions occuring in Statement :
max-metric: max-metric(n),
mdist: mdist(d;x;y),
int-to-real: r(n),
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
real-vec-infinity-norm
Latex:
||v||\minfty{} == mdist(max-metric(n);v;\mlambda{}i.r0)
Date html generated:
2020_05_20-PM-00_46_45
Last ObjectModification:
2019_11_11-PM-08_13_03
Theory : reals
Home
Index