:: deftheorem Def777 defines simple_RV_help FINANCE6:def 13 :
for Omega being non empty set
for F being SigmaField of Omega
for ChiFuncs being sequence of (set_of_chi_RV F)
for ConstFuncs being sequence of (set_of_constant_RV F)
for n being Nat
for b₆ being Function of Omega,REAL holds
( b₆ = simple_RV_help (ChiFuncs,ConstFuncs,n) iff for w being Element of Omega holds b₆ . w = (Partial_Sums ((Conv2_constant_RV (ConstFuncs,w)) (#) (Conv2_chi_RV (ChiFuncs,w)))) . n );