Lecture 1
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 .
Definition (Sample space)
The sample space is the set of all possible outcomes. It is often denoted by .
Definition (Event)
An event is a subset of the sample space . The event occurs if the outcome belongs to .
Example (Rolling a die)
When rolling a die, let
Here, is the event of rolling an even number, and is the event of rolling a number greater than .
Operations on events
Definition (Complement)
The complement of , denoted by , consists of all outcomes in that are not in . Thus, occurs if and only if does not occur.
Example (Complement in the die experiment)
In the example above,
the odd numbers.
Definition (Intersection)
The intersection of and , denoted by , consists of all outcomes that belong to both and . Thus, occurs if both and occur.
Example (Intersection in the die experiment)
Definition (Union)
The union of and , denoted by , consists of all outcomes that belong to , to , or to both. Thus, occurs if at least one of and occurs.
Example (Union in the die experiment)
Definition (Set difference)
The set difference consists of all outcomes that belong to but not to . Thus, occurs if and only if occurs and does not occur. Equivalently,
Example (Difference in the die experiment)
Definition (Subevent)
Given two events and , we write if every outcome in is also in . In other words, entails . We then say that is a subevent, or subset, of .
It follows that
Definition (Mutually exclusive events)
Two events and are mutually exclusive, or disjoint, if they have no outcomes in common, meaning
In particular, and are always disjoint.
Several events
The intersection and union extend to any finite number of events. If are events, then
is the event that all the events occur, and
is the event that at least one of the events occurs.
Probabilities
Definition (Probability)
Each event in a sample space is assigned a number , called the probability of . The function takes values in and satisfies the probability axioms.
Note (Kolmogorov’s axioms)
-
Non-negativity: for every event ,
-
Normalisation:
-
Additivity for disjoint events: if , then
The third statement is the two-event form used here. In general, Kolmogorov’s third axiom requires countable additivity: for pairwise disjoint events ,
Theorem (Calculation rules for probabilities)
-
Complement rule:
-
Impossible event:
-
Addition rule:
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 is a finite, nonempty sample space.
Definition (Uniform probability measure)
is called the uniform probability measure on if every outcome is equally likely:
Theorem (Probability by counting)
Let be a finite, nonempty sample space, and let be the uniform probability measure on . If , then
Proof
The singleton events corresponding to distinct outcomes are disjoint, and
Therefore, by additivity,