Solution: Building the Probability Space for a Two-Step Binomial Tree
Part 1: Sample space
Ω={uu,ud,du,dd}
Each element
ω∈Ω is a complete
path — a sequence of moves over both time steps.
ω=ud means the stock moved up at step 1 and down at step 2, ending at
S2=100×1.1×0.9=99. These four paths are the four ways the world can evolve under this model.
The terminal stock prices are:
| ω | S1 | S2 |
|---|
| uu | 110 | 121 |
| ud | 110 | 99 |
| du | 90 | 99 |
| dd | 90 | 81 |
Note:
ud and
du give the same terminal price (
S2=99) but are
distinct paths — the model tracks the entire trajectory, not just the endpoint.
Part 2: Sigma-algebra
With ∣Ω∣=4, the power set F=2Ω has 24=16 elements:
F={∅,{uu},{ud},{du},{dd},{uu,ud},{uu,du},{uu,dd},{ud,du},{ud,dd},{du,dd},{uu,ud,du},{uu,ud,dd},{uu,du,dd},{ud,du,dd},Ω}
In practice, the full power set is manageable for finite Ω. The richness of F matters when we introduce filtrations: F0⊂F1⊂F2=F captures what is known at each time step.
Part 3: Real-world measure P
With independent up/down moves at probability p=0.6:
P({uu})=0.62=0.36
P({ud})=0.6×0.4=0.24
P({du})=0.4×0.6=0.24
P({dd})=0.42=0.16
Check: 0.36+0.24+0.24+0.16=1.00. ✓
Part 4: Risk-neutral measure Q
The risk-neutral condition at any node: e−r[q⋅Stu+(1−q)⋅Std]=St, which simplifies to:
q=u−der−d=1.1−0.9e0.05−0.9=0.21.0513−0.9=0.20.1513≈0.7565
With q≈0.7565 and 1−q≈0.2435, applying independence across steps:
Q({uu})=q2≈0.5723
Q({ud})=q(1−q)≈0.1842
Q({du})=(1−q)q≈0.1842
Q({dd})=(1−q)2≈0.0593
Check: 0.5723+0.1842+0.1842+0.0593=1.00. ✓
Part 5: Comparison of P and Q
For
A={uu}:
P(A)=0.36 and
Q(A)=0.5723. They are
not equal.
Are they
equivalent? Two measures are equivalent if they agree on null sets:
P(A)=0⇔Q(A)=0 for all
A∈F. In this finite model,
P and
Q both assign positive probability to every path (since
0<p<1 and
0<q<1). So neither measure has any null events except
∅. Therefore
P and Q are equivalent.
Equivalent measures agree on what is possible and what is impossible — they just disagree on how likely things are. In continuous-time finance,
P∼Q (equivalent measures) is precisely the condition that guarantees Girsanov's theorem applies and that the
change of measure from
P to
Q is well-defined. If the measures were not equivalent — if some paths had positive
P-probability but zero
Q-probability — no consistent no-arbitrage price would exist for instruments whose payoff depended on those paths.
Takeaways
- A multi-step binomial tree is a fully explicit probability space: Ω is the set of paths, F is the power set, and both P and Q are valid probability measures on this triplet.
- The risk-neutral measure Q makes discounted prices martingales. It is uniquely determined by the no-arbitrage condition, not by the real-world dynamics.
- P and Q are equivalent in complete markets — they share the same null sets. This equivalence is the content of "no-arbitrage implies equivalent martingale measure" and is the rigorous foundation for risk-neutral pricing.
- Individual paths ud and du are distinct elements of Ω even when they produce the same terminal stock price. Filtrations distinguish them by tracking which information has been revealed at each step.