User Tools
world:forward-downward-martingale
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
world:forward-downward-martingale [2026/02/03 16:14] rdouc ↷ Page name changed from world:foward-downward-martingale to world:forward-downward-martingale |
world:forward-downward-martingale [2026/02/03 16:16] (current) rdouc [Theorem 2 (Doob's Forward Convergence Theorem)] |
||
|---|---|---|---|
| Line 47: | Line 47: | ||
| Summing the contributions of all completed upcrossings and accounting for the final correction yields the stated inequality. ∎ | Summing the contributions of all completed upcrossings and accounting for the final correction yields the stated inequality. ∎ | ||
| - | ===== Theorem 2 (Doob's Forward Convergence Theorem) ===== | + | ===== Theorem 1 (Doob's Forward Convergence Theorem) ===== |
| <WRAP center round todo 80%> | <WRAP center round todo 80%> | ||
world/forward-downward-martingale.txt · Last modified: 2026/02/03 16:16 by rdouc
Page Tools
