Nuprl Definition : realvec-max-ibs
realvec-max-ibs(n;p) == rless_ibs(r0;mdist(max-metric(n);p;λi.r0))
Definitions occuring in Statement :
rless_ibs: rless_ibs(x;y),
max-metric: max-metric(n),
mdist: mdist(d;x;y),
int-to-real: r(n),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
rless_ibs: rless_ibs(x;y),
mdist: mdist(d;x;y),
max-metric: max-metric(n),
lambda: λx.A[x],
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
realvec-max-ibs
Latex:
realvec-max-ibs(n;p) == rless\_ibs(r0;mdist(max-metric(n);p;\mlambda{}i.r0))
Date html generated:
2019_10_30-AM-10_16_08
Last ObjectModification:
2019_07_03-PM-04_14_18
Theory : real!vectors
Home
Index