Stochastic integrals on general topological measurable spaces

Abstract

A general theory of stochastic integral in the abstract topological measurable space is established. The martingale measure is defined as a random set function having some martingale property. All square integrable martingale measures constitute a Hilbert space M 2. For each μ∈M 2, a real valued measure 〈μ〉 on the predictable σ-algebra ℘ is constructed. The stochastic integral of a random function \(\mathfrak{h} \in L^2 \left( {\left\langle \mu \right\rangle } \right)\) with respect to μ is defined and investigated by means of Riesz's theorem and the theory of projections. The stochastic integral operator I μis an isometry from L 2(〈μ〉) to a stable subspace of M 2, its inverse is defined as a random Radon-Nikodym derivative. Some basic formulas in stochastic calculus are obtained. The results are extended to the cases of local martingale and semimartingale measures as well.