:: deftheorem Def777 defines simple_RV_help FINANCE6:def 8 :
for Omega being non empty set
for F being SigmaField of Omega
for D1, D2 being non empty b₂ -random-membered set
for ChiFuncs being sequence of D1
for ConstFuncs being sequence of D2
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_RV (ConstFuncs,w)) (#) (Conv2_RV (ChiFuncs,w)))) . n );