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 satisfy
Since , 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 . Hence
The 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 . Thus
for some -measurable . Taking conditional expectation and using the martingale property gives . More explicitly, one can take
which is predictable. Therefore
This 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 gives
This is the stopped martingale isometry in a Rademacher filtration.

Articles by others on the same topic (0)

There are currently no matching articles.