CONTENTS

Solution: Building the Probability Space for a Two-Step Binomial Tree

Part 1: Sample space

Ω={uu,  ud,  du,  dd}\Omega = \{uu,\; ud,\; du,\; dd\}
Each element ωΩ\omega \in \Omega is a complete path — a sequence of moves over both time steps. ω=ud\omega = ud means the stock moved up at step 1 and down at step 2, ending at S2=100×1.1×0.9=99S_2 = 100 \times 1.1 \times 0.9 = 99. These four paths are the four ways the world can evolve under this model.

The terminal stock prices are:

ω\omegaS1S_1S2S_2
uuuu110121
udud11099
dudu9099
dddd9081
Note: udud and dudu give the same terminal price (S2=99S_2 = 99) but are distinct paths — the model tracks the entire trajectory, not just the endpoint.

Part 2: Sigma-algebra

With Ω=4|\Omega| = 4, the power set F=2Ω\mathcal{F} = 2^\Omega has 24=162^4 = 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},  Ω}\mathcal{F} = \{\emptyset,\; \{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\},\; \Omega\}

In practice, the full power set is manageable for finite Ω\Omega. The richness of F\mathcal{F} matters when we introduce filtrations: F0F1F2=F\mathcal{F}_0 \subset \mathcal{F}_1 \subset \mathcal{F}_2 = \mathcal{F} captures what is known at each time step.

Part 3: Real-world measure P\mathbb{P}

With independent up/down moves at probability p=0.6p = 0.6:

P({uu})=0.62=0.36\mathbb{P}(\{uu\}) = 0.6^2 = 0.36 P({ud})=0.6×0.4=0.24\mathbb{P}(\{ud\}) = 0.6 \times 0.4 = 0.24 P({du})=0.4×0.6=0.24\mathbb{P}(\{du\}) = 0.4 \times 0.6 = 0.24 P({dd})=0.42=0.16\mathbb{P}(\{dd\}) = 0.4^2 = 0.16

Check: 0.36+0.24+0.24+0.16=1.000.36 + 0.24 + 0.24 + 0.16 = 1.00. ✓

Part 4: Risk-neutral measure Q\mathbb{Q}

The risk-neutral condition at any node: er[qStu+(1q)Std]=Ste^{-r}[q \cdot S_t u + (1-q) \cdot S_t d] = S_t, which simplifies to:

q=erdud=e0.050.91.10.9=1.05130.90.2=0.15130.20.7565q = \frac{e^r - d}{u - d} = \frac{e^{0.05} - 0.9}{1.1 - 0.9} = \frac{1.0513 - 0.9}{0.2} = \frac{0.1513}{0.2} \approx 0.7565

With q0.7565q \approx 0.7565 and 1q0.24351 - q \approx 0.2435, applying independence across steps:

Q({uu})=q20.5723\mathbb{Q}(\{uu\}) = q^2 \approx 0.5723 Q({ud})=q(1q)0.1842\mathbb{Q}(\{ud\}) = q(1-q) \approx 0.1842 Q({du})=(1q)q0.1842\mathbb{Q}(\{du\}) = (1-q)q \approx 0.1842 Q({dd})=(1q)20.0593\mathbb{Q}(\{dd\}) = (1-q)^2 \approx 0.0593

Check: 0.5723+0.1842+0.1842+0.0593=1.000.5723 + 0.1842 + 0.1842 + 0.0593 = 1.00. ✓

Part 5: Comparison of P\mathbb{P} and Q\mathbb{Q}

For A={uu}A = \{uu\}: P(A)=0.36\mathbb{P}(A) = 0.36 and Q(A)=0.5723\mathbb{Q}(A) = 0.5723. They are not equal.
Are they equivalent? Two measures are equivalent if they agree on null sets: P(A)=0Q(A)=0\mathbb{P}(A) = 0 \Leftrightarrow \mathbb{Q}(A) = 0 for all AFA \in \mathcal{F}. In this finite model, P\mathbb{P} and Q\mathbb{Q} both assign positive probability to every path (since 0<p<10 < p < 1 and 0<q<10 < q < 1). So neither measure has any null events except \emptyset. Therefore P\mathbb{P} and Q\mathbb{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, PQ\mathbb{P} \sim \mathbb{Q} (equivalent measures) is precisely the condition that guarantees Girsanov's theorem applies and that the change of measure from P\mathbb{P} to Q\mathbb{Q} is well-defined. If the measures were not equivalent — if some paths had positive P\mathbb{P}-probability but zero Q\mathbb{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: Ω\Omega is the set of paths, F\mathcal{F} is the power set, and both P\mathbb{P} and Q\mathbb{Q} are valid probability measures on this triplet.
  • The risk-neutral measure Q\mathbb{Q} makes discounted prices martingales. It is uniquely determined by the no-arbitrage condition, not by the real-world dynamics.
  • P\mathbb{P} and Q\mathbb{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 udud and dudu are distinct elements of Ω\Omega even when they produce the same terminal stock price. Filtrations distinguish them by tracking which information has been revealed at each step.
Solution — Building the Probability Space for a Two-Step Binomial Tree | q4quant.studio