Nuprl Definition : rv-decomp
rv-decomp(rv;x;e) == <x - x ⋅ e*e, x ⋅ e>
Definitions occuring in Statement :
rv-sub: x - y,
rv-ip: x ⋅ y,
rv-mul: a*x,
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
rv-sub: x - y,
rv-mul: a*x,
rv-ip: x ⋅ y
FDL editor aliases :
rv-decomp
Latex:
rv-decomp(rv;x;e) == <x - x \mcdot{} e*e, x \mcdot{} e>
Date html generated:
2017_10_05-AM-00_20_54
Last ObjectModification:
2017_06_21-AM-11_43_34
Theory : inner!product!spaces
Home
Index