Skip to content

Events, conditional probability, and expectation

After this lesson, you should be able to:

  • identify events that form a disjoint and exhaustive partition;
  • calculate a conditional probability;
  • calculate an expectation when a random value is constant on each event;
  • use conditional event means when the value varies inside an event.

An outcome is one possible result of a modeled experiment. An event is a specified set of outcomes. Use the local probability-event A\explain{probability-event}{A} for one such set and the local probability-measure P\explain{probability-measure}{\mathbb{P}} for the rule that assigns probabilities to events. In this lesson, P\explain{probability-measure}{\mathbb{P}} is a general probability measure. A later finance lesson uses P\explain{probability-measure}{\mathbb{P}} only for real-world probabilities and introduces a different symbol for pricing probabilities. This lesson does not choose between the two.

In this lesson, a finite partition is a finite list of events that are:

  • disjoint: no outcome belongs to two different partition events; and
  • exhaustive: every possible outcome belongs to one of them.

Use the local probability-event-index j\explain{probability-event-index}{j} to select an event and the local probability-partition-size m\explain{probability-partition-size}{m} to count the events. For a disjoint and exhaustive list A1,…,Am\explain{probability-event}{A}_1,\ldots,\explain{probability-event}{A}_{\explain{probability-partition-size}{m}}, additivity of the probability measure gives the sum of the event probabilities:

∑j=1mP(Aj)=1\sum_{\explain{probability-event-index}{j}=1}^{\explain{probability-partition-size}{m}}\explain{probability-measure}{\mathbb{P}}(\explain{probability-event}{A}_{\explain{probability-event-index}{j}})=1

If the events overlap, the sum of their probabilities can count some outcomes twice. If the events are not exhaustive, the sum omits some outcomes. These event and additivity definitions follow Shreve’s probability-space treatment[1].

Conditional probability restricts the outcomes

Section titled “Conditional probability restricts the outcomes”

Suppose the question asks for the probability of event A\explain{probability-event}{A} given another event. Write the conditioning event as B\explain{probability-event}{B}. When P(B)>0\explain{probability-measure}{\mathbb{P}}(\explain{probability-event}{B})>0, the conditional probability of A\explain{probability-event}{A} given B\explain{probability-event}{B} is defined as:

P(A∣B)=P(A∩B)P(B)\explain{probability-measure}{\mathbb{P}}(\explain{probability-event}{A}\mid\explain{probability-event}{B}) =\frac{\explain{probability-measure}{\mathbb{P}}(\explain{probability-event}{A}\cap\explain{probability-event}{B})} {\explain{probability-measure}{\mathbb{P}}(\explain{probability-event}{B})}

The denominator is the probability of the outcomes that the condition “given B\explain{probability-event}{B}” keeps. For example, suppose 30% of all outcomes are in B\explain{probability-event}{B}, and 12% are in both A\explain{probability-event}{A} and B\explain{probability-event}{B}. Then the conditional probability is:

P(A∣B)=0.120.30=0.40\explain{probability-measure}{\mathbb{P}}(\explain{probability-event}{A}\mid\explain{probability-event}{B}) =\frac{0.12}{0.30}=0.40

In a default model, consider the probability of “default during this period given survival to its start.” Its denominator is the probability of survival to the start of the period. This conditional probability is different from the unconditional probability of default by a horizon. Shreve develops conditioning as averaging within the information or event retained by the condition[2].

Use the local probability-random-value X\explain{probability-random-value}{X} for a numerical value determined by the outcome and the expectation operator E\explain{expectation}{\mathbb{E}} for its probability-weighted average. In this lesson every random value is constant on each event of a finite partition, so the general integral definition of E\explain{expectation}{\mathbb{E}} reduces to the weighted sum below. The expectation has the same unit as X\explain{probability-random-value}{X}; a random USD payment has an expected value in USD, not in percent.

This section gives two formulas. The first formula requires X\explain{probability-random-value}{X} to be constant on each event. The second formula does not.

First suppose X\explain{probability-random-value}{X} is constant on every partition event. Use the local probability-event-value xj\explain{probability-event-value}{x_{\explain{probability-event-index}{j}}} for its value on Aj\explain{probability-event}{A}_{\explain{probability-event-index}{j}}. Then the expectation is the sum of the event values, each multiplied by the probability of its event:

E[X]=∑j=1mxjP(Aj),X=xj on Aj\explain{expectation}{\mathbb{E}}[\explain{probability-random-value}{X}] =\sum_{\explain{probability-event-index}{j}=1}^{\explain{probability-partition-size}{m}}\explain{probability-event-value}{x_{\explain{probability-event-index}{j}}}\explain{probability-measure}{\mathbb{P}}(\explain{probability-event}{A}_{\explain{probability-event-index}{j}}), \qquad \explain{probability-random-value}{X}=\explain{probability-event-value}{x_{\explain{probability-event-index}{j}}}\text{ on }\explain{probability-event}{A}_{\explain{probability-event-index}{j}}

Shreve states the expectation of a finite-valued random variable in the form of (1.2.4)[3].

If X\explain{probability-random-value}{X} is not constant inside Aj\explain{probability-event}{A}_{\explain{probability-event-index}{j}}, one representative value is in general not exact. For each event with positive probability, replace the value with the conditional mean of X\explain{probability-random-value}{X} inside that event. The expectation is then:

E[X]=∑j=1mP(Aj)E[X∣Aj]\explain{expectation}{\mathbb{E}}[\explain{probability-random-value}{X}] =\sum_{\explain{probability-event-index}{j}=1}^{\explain{probability-partition-size}{m}}\explain{probability-measure}{\mathbb{P}}(\explain{probability-event}{A}_{\explain{probability-event-index}{j}})\explain{expectation}{\mathbb{E}}[\explain{probability-random-value}{X}\mid \explain{probability-event}{A}_{\explain{probability-event-index}{j}}]

An event with zero probability contributes zero to the sum and can be omitted. Its conditional mean need not be defined.

The partition identity (1.2.5) follows by splitting an expectation across disjoint events and using the partial-averaging property of conditional expectation. Shreve gives the disjoint-event integral split and the unconditional-average property of conditional expectation[4].

Example 1.2.1 Expectation over disjoint events

Link to Example 1.2.1: Expectation over disjoint events

Constant value on each event

Suppose X\explain{probability-random-value}{X} is a payment in USD. It equals USD 0, USD 50, or USD 100 on three disjoint exhaustive events with probabilities 0.10, 0.20, and 0.70.

EventConstant payment, USDProbabilityContribution, USD
A1\explain{probability-event}{A}_100.100.00
A2\explain{probability-event}{A}_2500.2010.00
A3\explain{probability-event}{A}_31000.7070.00

The expectation is the sum of the contributions:

E[X]=0×0.10+50×0.20+100×0.70=USD 80\explain{expectation}{\mathbb{E}}[\explain{probability-random-value}{X}] =0\times0.10+50\times0.20+100\times0.70 =\text{USD }80

The expectation of USD 80 is a probability-weighted average. An expectation need not be one of the possible payments, and in this example it is not.

Conditional means inside events

Suppose three disjoint exhaustive events have probabilities 0.01, 0.02, and 0.97, and the payment varies inside each event. The conditional means of the payment are USD 40, USD 30, and USD 0. The exact expectation from these conditional means is:

E[X]=0.01×40+0.02×30+0.97×0=USD 1.00\explain{expectation}{\mathbb{E}}[\explain{probability-random-value}{X}] =0.01\times40+0.02\times30+0.97\times0 =\text{USD }1.00

USD 40 is the average payment inside the first event. The example does not claim that every outcome in the first event pays USD 40.

Default inside a period

For a CDS period, one event can be “default occurs in this period.” A protection payment discounted at the actual default time varies within that event. Accrued premium also varies within the event, because a default near the end of the period accrues more premium than a default near its start.

So one midpoint value for the whole period is an approximation. The exact contribution of the event is the interval default probability multiplied by the conditional mean of the discounted payment inside the period. If the period is divided into smaller disjoint default-time intervals, the sum has more terms. In a continuous-time model, the limit of this sum is an integral over the default time. The later CDS lesson gives the hazard-rate probabilities and the cash-flow formulas for that integral.

These items separately test events, conditioning, and both expectation forms. Each question stays collapsed until you open it; answers and explanations appear once you check.

Knowledge check 1.2.1 Events, conditioning, and expectation

Link to Knowledge check 1.2.1: Events, conditioning, and expectation

This lesson teaches finite partitions and the idea of the limit of a refinement. It does not construct probability spaces, prove measure-theoretic integration, estimate probabilities from data, calibrate risk-neutral probabilities, or evaluate the default-time integrals used by a CDS model. A later lesson distinguishes real-world and risk-neutral measures.

The lesson paraphrases the cited textbook; it remains draft pending human verification of the printed locators, formulas, examples, and notation bindings.

  1. Shreve, Stochastic Calculus for Finance II: Continuous-Time Models (2004). Ch. 1 §1.1, printed pp. 1-3, Def. 1.1.2 and eqs. 1.1.2-1.1.5. draft ↩
  2. Shreve, Stochastic Calculus for Finance II: Continuous-Time Models (2004). Ch. 2 §2.3, printed pp. 66-69, eqs. 2.3.4-2.3.17 and Def. 2.3.1. draft ↩
  3. Shreve, Stochastic Calculus for Finance II: Continuous-Time Models (2004). Ch. 1 §1.3, printed pp. 13-18, Thms. 1.3.1 and 1.3.4. draft ↩
  4. Shreve, Stochastic Calculus for Finance II: Continuous-Time Models (2004). Ch. 1 §1.3, printed p. 17, Remark 1.3.2; Ch. 2 §2.3, printed pp. 68-72, eqs. 2.3.16-2.3.17 and 2.3.25. draft ↩
Notation used on this page (7)
AAProbability eventdraft

A specified set of possible outcomes in this lesson's probability model. An indexed form selects one event in a finite disjoint and exhaustive partition.

Aj\explain{probability-event}{A}_j
jjProbability event indexdraft

Selects one event in the lesson's finite partition. The index is bookkeeping and has no probability or monetary unit.

j∈{1,…,m}\explain{probability-event-index}{j} \in \{1,\ldots,m\}
xjx_jProbability event valuedraft

The constant value taken by the random value on one partition event. This quantity can replace a conditional mean only when every outcome in the event gives the same value.

Units: value units

P\mathbb{P}Probability measuredraft

Assigns each modeled event a number between zero and one. The symbol is page-local and generic; it does not yet select a real-world or risk-neutral interpretation.

Units: probability between zero and one

mmProbability partition sizedraft

Counts the events in the lesson's finite partition. The count is a positive integer and does not represent time.

m∈N\explain{probability-partition-size}{m} \in \mathbb{N}
XXProbability random valuedraft

A numerical value determined by which modeled outcome occurs. Its unit is stated by the example, such as USD for a random payment.

Units: value units

E\mathbb{E}Expectationdraft

Operator returning the average of a random quantity, each outcome weighted by its probability under a stated measure; a superscript names that measure when more than one is in play.

E[X]=∫ΩX(ω) dP(ω)\explain{expectation}{\mathbb{E}}[\explain{expectation.random-variable}{X}]=\int_{\explain{expectation.sample-space}{\Omega}} \explain{expectation.random-variable}{X}(\explain{expectation.outcome}{\omega})\,d\explain{expectation.probability-measure}{\mathbb{P}}(\explain{expectation.outcome}{\omega})
Symbols
XXrandom variable
Ω\Omegasample space
ω\omegaoutcome
P\mathbb{P}probability measure(dimensionless probability weights between zero and one)

Units: value units