Nuprl Definition : rv-norm
||x|| ==  rsqrt(x^2)
Definitions occuring in Statement : 
rv-ip: x ⋅ y
, 
rsqrt: rsqrt(x)
Definitions occuring in definition : 
rv-ip: x ⋅ y
, 
rsqrt: rsqrt(x)
FDL editor aliases : 
rv-norm
Latex:
||x||  ==    rsqrt(x\^{}2)
Date html generated:
2016_11_08-AM-09_16_02
Last ObjectModification:
2016_10_31-PM-04_34_08
Theory : inner!product!spaces
Home
Index