Definition (Itô stochastic integral)
Let X∈E and let (Mt)t≥0 be a right continuous L2-martingale. We define ∫XdM=i=1∑nai1Fi(Mti−Msi)to be the Itô Stochastic Integral.
Proposition (Properties)
- The integral is R-linear ∫(i=0∑n1(si,ti]×Fi)dM=i=0∑n∫1(si,ti]×FidM