Lecture 1

Robin Sandquist Robin Sandquist

Sample spaces, events, probability axioms, and uniform probability

Sample spaces and events

Definition (Random experiment)

A trial, experiment, or random experiment is a situation in which an outcome will occur, but we cannot be sure beforehand what will happen.

Example (Random experiments)

Examples include throwing a die or observing when a radioactive isotope will next decay.

Definition (Outcome)

An outcome is the result of an experiment. It is often denoted by u.

Definition (Sample space)

The sample space is the set of all possible outcomes. It is often denoted by Ω.

Definition (Event)

An event A is a subset of the sample space Ω. The event A occurs if the outcome belongs to A.

Example (Rolling a die)

When rolling a die, let

Ω={1,2,3,4,5,6},A={2,4,6},B={4,5,6}.

Here, A is the event of rolling an even number, and B is the event of rolling a number greater than 3.

Operations on events

Definition (Complement)

The complement of A, denoted by Ac, consists of all outcomes in Ω that are not in A. Thus, Ac occurs if and only if A does not occur.

Example (Complement in the die experiment)

In the example above,

Ac={1,3,5},

the odd numbers.

Definition (Intersection)

The intersection of A and B, denoted by A∩B, consists of all outcomes that belong to both A and B. Thus, A∩B occurs if both A and B occur.

Example (Intersection in the die experiment)A∩B={4,6}.
Definition (Union)

The union of A and B, denoted by A∪B, consists of all outcomes that belong to A, to B, or to both. Thus, A∪B occurs if at least one of A and B occurs.

Example (Union in the die experiment)A∪B={2,4,5,6}.
Definition (Set difference)

The set difference A∖B consists of all outcomes that belong to A but not to B. Thus, A∖B occurs if and only if A occurs and B does not occur. Equivalently,

A∖B=A∩Bc.
Example (Difference in the die experiment)A∖B={2}.
Definition (Subevent)

Given two events A and B, we write A⊆B if every outcome in A is also in B. In other words, A entails B. We then say that A is a subevent, or subset, of B.

It follows that

A⊆B⟺A∩B=A.
Definition (Mutually exclusive events)

Two events A and B are mutually exclusive, or disjoint, if they have no outcomes in common, meaning

A∩B=∅.

In particular, A and Ac are always disjoint.

Several events

The intersection and union extend to any finite number of events. If A1,…,An are events, then

⋂i=1nAi=A1∩⋯∩An

is the event that all the events occur, and

⋃i=1nAi=A1∪⋯∪An

is the event that at least one of the events occurs.

Probabilities

Definition (Probability)

Each event A in a sample space Ω is assigned a number P(A), called the probability of A. The function P takes values in [0,1] and satisfies the probability axioms.

Note (Kolmogorov’s axioms)
  1. Non-negativity: for every event A,

    0≤P(A)≤1.
  2. Normalisation:

    P(Ω)=1.
  3. Additivity for disjoint events: if A∩B=∅, then

    P(A∪B)=P(A)+P(B).

The third statement is the two-event form used here. In general, Kolmogorov’s third axiom requires countable additivity: for pairwise disjoint events A1,A2,…,

P(⋃i=1∞Ai)=∑i=1∞P(Ai).
Theorem (Calculation rules for probabilities)
  1. Complement rule:

    P(Ac)=1−P(A).
  2. Impossible event:

    P(∅)=0.
  3. Addition rule:

    P(A∪B)=P(A)+P(B)−P(A∩B).

The first two rules follow directly from the axioms. The third follows by splitting the union into disjoint parts, as illustrated by a Venn diagram; the same set decomposition appears in discrete mathematics.

Uniform probability

Assume that Ω={u1,…,un} is a finite, nonempty sample space.

Definition (Uniform probability measure)

P is called the uniform probability measure on Ω if every outcome is equally likely:

P({ui})=1n,i=1,2,…,n.
Theorem (Probability by counting)

Let Ω={u1,…,un} be a finite, nonempty sample space, and let P be the uniform probability measure on Ω. If A⊆Ω, then

P(A)=number of outcomes in Anumber of outcomes in Ω=|A||Ω|.

Proof

The singleton events corresponding to distinct outcomes are disjoint, and

A=⋃i:ui∈A{ui}.

Therefore, by additivity,

P(A)=∑i:ui∈AP({ui})=∑i:ui∈A1n=1n∑i:ui∈A1=|A|n=|A||Ω|.

□