Nuprl Definition : quasilinear-weighted-mean

quasilinear-weighted-mean(f;g) ==  λx,y,r,s. (f convex-comb(g x;g y;r;s))


Definitions occuring in Statement :  convex-comb: convex-comb(x;y;r;s),  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  convex-comb: convex-comb(x;y;r;s),  apply: f a
FDL editor aliases :  quasilinear-weighted-mean
Latex:
quasilinear-weighted-mean(f;g)  ==    \mlambda{}x,y,r,s.  (f  convex-comb(g  x;g  y;r;s))


Date html generated: 2017_10_04-PM-11_13_21
Last ObjectModification: 2017_07_29-PM-06_25_16

Theory : reals_2


Home Index