Nuprl Definition : punit
u(a) == (r1/||a||)*a
Definitions occuring in Statement :
real-vec-norm: ||x||,
real-vec-mul: a*X,
rdiv: (x/y),
int-to-real: r(n),
add: n + m,
natural_number: $n
Definitions occuring in definition :
real-vec-mul: a*X,
rdiv: (x/y),
int-to-real: r(n),
real-vec-norm: ||x||,
add: n + m,
natural_number: $n
FDL editor aliases :
punit
Latex:
u(a) == (r1/||a||)*a
Date html generated:
2017_10_05-AM-00_17_07
Last ObjectModification:
2017_06_18-PM-01_26_55
Theory : inner!product!spaces
Home
Index