Nuprl Definition : trans-from-kernel
trans-from-kernel(rv;e;f;g;t;x) == let h,z = rv-decomp(rv;x;e) in h + f h ((g h z) + t)*e
Definitions occuring in Statement :
rv-decomp: rv-decomp(rv;x;e),
rv-mul: a*x,
rv-add: x + y,
radd: a + b,
apply: f a,
spread: spread def
Definitions occuring in definition :
spread: spread def,
rv-decomp: rv-decomp(rv;x;e),
rv-add: x + y,
rv-mul: a*x,
radd: a + b,
apply: f a
FDL editor aliases :
trans-from-kernel
Latex:
trans-from-kernel(rv;e;f;g;t;x) == let h,z = rv-decomp(rv;x;e) in h + f h ((g h z) + t)*e
Date html generated:
2017_10_05-AM-00_24_11
Last ObjectModification:
2017_06_27-AM-11_59_55
Theory : inner!product!spaces
Home
Index