The process is adapted because is -measurable, is -measurable, and is -measurable. Using the predictability of and the martingale increment property,The assumed integrability therefore proves that is the martingale transform of by and is a martingale.
The increments of satisfySince , the indicator is predictable. Part (a), applied to this bounded integrand, shows that is a martingale. Equivalently, this is the stopped martingale theorem.
Write . Conditional on , the variables , , and are known, while . HenceThe denominator is positive almost surely, so the recovery of a martingale-transform integrand by conditional covariance gives
Let . Given , the new information at time is only the independent symmetric sign . Thusfor some -measurable . Taking conditional expectation and using the martingale property gives . More explicitly, one can takewhich is predictable. ThereforeThis is the predictable representation in a Rademacher filtration.
Choose with . By part (d),Each is -measurable. Distinct summands are orthogonal: if , conditioning on makes every factor except known and . The cross terms with vanish in the same way, while . Expanding the square therefore givesThis is the stopped martingale isometry in a Rademacher filtration.
Articles by others on the same topic
There are currently no matching articles.