Nuprl Definition : rv-unit
rv-unit(rv;x) == (r1/||x||)*x
Definitions occuring in Statement :
rv-norm: ||x||,
rv-mul: a*x,
rdiv: (x/y),
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rv-norm: ||x||,
natural_number: $n,
int-to-real: r(n),
rdiv: (x/y),
rv-mul: a*x
FDL editor aliases :
rv-unit
Latex:
rv-unit(rv;x) == (r1/||x||)*x
Date html generated:
2016_11_08-AM-09_16_54
Last ObjectModification:
2016_10_31-PM-04_47_47
Theory : inner!product!spaces
Home
Index