Nuprl Definition : realvec-ibs
realvec-ibs(n;p) == rless_ibs(r0;||p||)
Definitions occuring in Statement :
rless_ibs: rless_ibs(x;y),
real-vec-norm: ||x||,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rless_ibs: rless_ibs(x;y),
int-to-real: r(n),
natural_number: $n,
real-vec-norm: ||x||
FDL editor aliases :
realvec-ibs
Latex:
realvec-ibs(n;p) == rless\_ibs(r0;||p||)
Date html generated:
2019_10_30-AM-10_16_01
Last ObjectModification:
2019_06_28-PM-01_55_47
Theory : real!vectors
Home
Index