ConceptComplete

Probability Spaces and Events - Examples and Constructions

Understanding probability spaces through concrete examples illuminates the abstract definitions and reveals how the theory applies to real-world situations.

Discrete Probability Spaces

When the sample space is finite or countably infinite, we have a discrete probability space.

Example

Rolling a Die: Ξ©={1,2,3,4,5,6}\Omega = \{1, 2, 3, 4, 5, 6\}, F=2Ξ©\mathcal{F} = 2^{\Omega} (all subsets), and for a fair die: P({k})=16,k=1,2,…,6P(\{k\}) = \frac{1}{6}, \quad k = 1, 2, \ldots, 6

The event "roll is even" has probability P({2,4,6})=1/2P(\{2,4,6\}) = 1/2.

For discrete spaces with countably many outcomes, we need the probability mass function p:Ξ©β†’[0,1]p: \Omega \to [0,1] satisfying βˆ‘Ο‰βˆˆΞ©p(Ο‰)=1\sum_{\omega \in \Omega} p(\omega) = 1. Then for any event A∈FA \in \mathcal{F}: P(A)=βˆ‘Ο‰βˆˆAp(Ο‰)P(A) = \sum_{\omega \in A} p(\omega)

Continuous Probability Spaces

For continuous sample spaces like Ξ©=R\Omega = \mathbb{R} or Ξ©=[0,1]\Omega = [0,1], we cannot assign positive probability to individual points.

Example

Uniform Distribution on [0,1]: Here Ξ©=[0,1]\Omega = [0,1], F\mathcal{F} is the Borel Οƒ\sigma-algebra (generated by open intervals), and: P([a,b])=bβˆ’aΒ forΒ 0≀a≀b≀1P([a,b]) = b - a \text{ for } 0 \leq a \leq b \leq 1

This represents choosing a random number uniformly from the interval. Any single point has probability zero: P({x})=0P(\{x\}) = 0 for all x∈[0,1]x \in [0,1], yet the interval itself has probability 1.

Product Spaces and Independence

Given two probability spaces (Ξ©1,F1,P1)(\Omega_1, \mathcal{F}_1, P_1) and (Ξ©2,F2,P2)(\Omega_2, \mathcal{F}_2, P_2), we construct their product space to model independent experiments.

Product Space: Ξ©=Ξ©1Γ—Ξ©2\Omega = \Omega_1 \times \Omega_2, F=F1βŠ—F2\mathcal{F} = \mathcal{F}_1 \otimes \mathcal{F}_2 (product Οƒ\sigma-algebra), and: P(A1Γ—A2)=P1(A1)β‹…P2(A2)P(A_1 \times A_2) = P_1(A_1) \cdot P_2(A_2)

Example

Tossing two independent fair coins corresponds to the product of two copies of ({H,T},2{H,T},P)(\{H,T\}, 2^{\{H,T\}}, P) where P({H})=P({T})=1/2P(\{H\}) = P(\{T\}) = 1/2. The product space has: Ξ©={HH,HT,TH,TT},P({HH})=14\Omega = \{HH, HT, TH, TT\}, \quad P(\{HH\}) = \frac{1}{4}

Conditional Probability Spaces

Given an event BB with P(B)>0P(B) > 0, we can construct a new probability space (Ω,F,PB)(\Omega, \mathcal{F}, P_B) where PB(A)=P(A∣B)P_B(A) = P(A|B).

This "updated" probability space represents our knowledge after learning that BB has occurred. All probabilities are now computed relative to the reduced sample space BB.

Remark

The construction of probability spaces from simpler ones (products, conditioning, mixtures) is fundamental in probability theory. Complex random phenomena are often modeled by building up from simple independent components.

Example

Medical Testing: Consider a disease with 1% prevalence. Let DD = "has disease" and TT = "tests positive". If the test has 95% sensitivity (true positive rate) and 90% specificity (true negative rate), we can construct: P(D)=0.01,P(T∣D)=0.95,P(Tc∣Dc)=0.90P(D) = 0.01, \quad P(T|D) = 0.95, \quad P(T^c|D^c) = 0.90 The probability space allows us to compute P(D∣T)P(D|T) using Bayes' theorem.