NICEFA Logo
nicefa.
Library
←Module

The Martingale Property of the Wiener Process

Exploring the cinematic intuition of The Martingale Property of the Wiener Process.

Visualizing...

Our institutional research engineers are currently mapping the formal proof for The Martingale Property of the Wiener Process.

Apply for Institutional Early Access →

The Formal Theorem

Let Wt W_t be a standard Wiener process defined on a probability space (Ω,F,P) (\Omega, \mathcal{F}, P) equipped with a filtration Ft \mathcal{F}_t . The process Wt W_t satisfies the martingale property with respect to Ft \mathcal{F}_t if, for all 0≤s<t<∞ 0 \leq s < t < \infty , the conditional expectation satisfies:
E[Wt∣Fs]=Ws E[W_t | \mathcal{F}_s] = W_s

Analytical Intuition.

Imagine a gambler standing on a tightrope over the abyss of uncertainty. The Wiener process Wt W_t represents their position relative to the starting point. The martingale property is the mathematical embodiment of a 'fair game.' At any moment s s , the best estimate of where the gambler will be at a future time t t is precisely where they are standing right now at s s . Because the increments of the Wiener process are independent and follow a normal distribution with mean zero, they cannot 'drift'—they possess no memory of the past trajectory that could bias future movement. The noise is perfectly balanced, ensuring that the expected future value is tethered entirely to the present reality. It is a state of perpetual, balanced flux where the path is purely stochastic, yet the expectation remains stubbornly stationary, rendering the process a quintessential benchmark for arbitrage-free pricing in mathematical finance.
CAUTION

Institutional Warning.

Students often conflate the martingale property with the stationary increment property. While increments Wt−Ws W_t - W_s are stationary, the process Wt W_t itself is not stationary; its variance Var(Wt)=t Var(W_t) = t grows linearly with time, yet its expected value remains constant.

Academic Inquiries.

01

Why is the Wiener process a martingale but Wt2 W_t^2 is not?

Because E[Wt2∣Fs]=Ws2+(t−s) E[W_t^2 | \mathcal{F}_s] = W_s^2 + (t - s) . The extra term (t−s) (t - s) introduces a drift, which is why Wt2−t W_t^2 - t is required to be a martingale.

02

Does the martingale property hold for all stochastic processes?

No. Only processes where the conditional expectation of future increments is zero satisfy this property; many processes, like those involving trend or drift, are submartingales or supermartingales.

Standardized References.

  • Definitive Institutional SourceØksendal, B., Stochastic Differential Equations: An Introduction with Applications.

Related Proofs Cluster.

Advanced

Solving the SDE: Unveiling the Log-Normal Distribution for Geometric Brownian Motion

Exploring the cinematic intuition of Solving the SDE: Unveiling the Log-Normal Distribution for Geometric Brownian Motion.

Advanced

Ito's Lemma: The Cornerstone of Stochastic Calculus

Exploring the cinematic intuition of Ito's Lemma: The Cornerstone of Stochastic Calculus.

Advanced

Girsanov's Theorem: Transforming Measures for Risk-Neutral Valuation

Exploring the cinematic intuition of Girsanov's Theorem: Transforming Measures for Risk-Neutral Valuation.

Advanced

Martingales: The Non-Arbitrage Principle in Discounted Asset Prices

Exploring the cinematic intuition of Martingales: The Non-Arbitrage Principle in Discounted Asset Prices.

Institutional Citation

Reference this proof in your academic research or publications.

NICEFA Visual Mathematics. (2026). The Martingale Property of the Wiener Process: Visual Proof & Intuition. Retrieved from https://nicefa.org/library/advanced-stochastic-processes/the-martingale-property-of-the-wiener-process

Dominate the Logic.

"Abstract theory is just a movement we haven't seen yet."

Subscribe for Full ProofsEarly Access