Introduction to Probability

Axioms of Probability

Suppose we have some experiment, any procedure that can be repeated and has a well-defined set of outcomes.

We define the set of all possible outcomes for the experiment to be the sample space . Any subset of outcomes from this sample space is known as an event.

The null event, denoted , is the set with no elements.

Example: Sample Spaces and Events

Suppose we roll a 6-sided die. Then, we would have sample space:

Any subset of this sample space would be a valid event for this experiment. Some events include:

Suppose we have events .

A probability function is a function satisfying the following axioms of probability:

  1. Bounds of Probability: Probability must be given as a number between 0 and 1.
  2. Cumulative Probability: Probability of the set of all outcomes must equal 1.
  3. Pairwise Disjoint Events: If events are pairwise disjoint, then the probability of their union must equal the summation of individual probabilities

Example: Applying Axioms of Probability

You flip a two-sided coin, and the probability of heads is . How can we use the axioms of probability to justify the probability of ?

We know that the set of all outcomes . We use the axioms of probability to justify .

We know by the axioms that . Furthermore, we know that and are disjoint events, and their union forms our sample space .

From these axioms of probability, we can also derive the following properties of probability. Let be events of sample space . Then,

  1. If , then

Note that the third property can be extended for any number of sets. For example, on 3 sets , we have

This is generalized to sets in the following theorem.

Theorem: Inclusion-Exclusion Theorem

If , then

Example: Inclusion-Exclusion Theorem

A person visits the dentist. There is a 0.7 chance a cavity is filled, 0.2 a tooth is extracted, and 0.1 chance that both occur.

What is the probability in a visit that neither occur?

If is the event of a cavity, and is the event of an extraction, then

Calculating Probability

We often focus on the case the sample space is finite.

In the case every element has equal chance, we have for any event ,

In other words, the probability of the event is equal to all ways the event can occur, divided by the total number of outcomes.

See the below examples.

Example: Calculating Probability (1)

A coin is flipped 10 times. What is the probability of getting exactly 3 heads?

To find the number of outcomes where we have 3 heads, choose 3 “coins” to be heads.

Furthermore, as every position can either be heads or tails, our total number of outcomes is equal to

This gives us probability

In some cases may be uncountable, but we can still find the probability. See the below example.

Example: Calculating Probability - Uncountable Sets

As an extremely simple example, let . While we may not be able to find the probability of one specific number (say, ), we can easily find the probability of a range of numbers.

Let . Then,

Theorem: Probability with Uncountable Sets

Let be events in . Then

  1. The union of the events is equal to the largest event , as the rest are subsets of .

  2. The intersection of the events is equal to the smalest event , as is the only event which is a subset of all the others.

Conditional Probability

Introduction to Conditional Probability

Let be events, where .

The conditional probability of given (“probability of given ”) is given as

Conditional probability essentially has the effect of restricting our sample space to that of .

We have the following properties of conditional probability:

  1. Bounds of Probability: Just like any other probability, conditional probability must also be a value from 0 to 1.
  2. Cumulative Probability: The probability of the sample space given is 1, as everything in is in .
  3. Pairwise Disjoint Events: If are pairwise disjoint events, then

Let’s see some conditional probability examples.

Example: Conditional Probability (1)

A loaded 6-sided die has an odd number occurring twice as likely as even. Determine the number is a perfect square, given the value is larger than 3.

Let denote the event of a perfect square, and let denote the event of a number larger than 3.

We see that .

Let be the probability that we roll an even number. Then,

Thus, the probability of rolling an even number is , and an odd number .

We find our answer as

Using conditional probability, we can also calculate the probability of intersections.

Multiplicaton Rule

Let , where .

Then,

This is known as the multiplication rule.

Independence of Events

Let and be events. We say and are independent if .

Otherwise the events are dependent.

In particular, if , then being independent implies

In other words, occurring does not affect the probability of .

Independence does not necessarily mean the events lack a common intersection. See the below example.

Example: Independence Misconceptions

We toss a coin 3 times. Let be the event a head () occurs on toss 1 and 2, and let be the event a tails () occurs on toss 3.

Thus, and , and the total number of outcomes is . This gives us probabilities

Furthermore, we see that their intersection has one outcome, giving us

We see that despite having a common intersection, these events are actually independent of one another.

Mathematical independence is not the same as the independence we’re commonly used to.

We can generalize this concept of independence to multiple events. Say we have many events . Then, they are all independent if

In other words, the probability of their common intersection equals the product of their individual probabilities. Note that to guarantee independence, we have to check every possible combination of interactions of these sets.

Alternatively, are pairwise independent if

Note that independence of sets implies their pairwise independence, but the converse is not true.

Example: Independence vs. Pairwise Independence

Conider 4 labeled balls, and pick one.

Let , , and . Now, note that

Thus, are pairwise independent.

However, because

The events are not independent.

Theorem: Independence of Complements

Let be events. Then are independent if and only if and are independent.

Understanding independence is extremely important, as it may let us solve problems that we wouldn’t be able to otherwise.

Example: Applying Independence

Alice and Bob can solve 75% and 70% of the problems in a book, respectively. Assuming every event is independent, if a problem is selected at random from the book, whatis the probability it will be solved?

Let be the event that Alice solves the problem, and be the event that Bob solves the problem.

We want one of them to solve the problem - in other words, . Applying our set identity, we find

Bayes’ Formula

Let be events that are a partition of sample space . We define a partition as

In other words, no two events intersect, and the combination of all ‘s forms our sample space .

Now say we have an event which has a subset of . Then, because all of our ‘s form a disjoint union of ,

Because our ‘s disjointly form , we can conceptually think of this as “slicing” into multiple ‘s. Thus, we can find by totaling all places where intersects a .

graph LR
      E[Experiment];
      B1[B1]; B2[B2]; B3[B3]; B4[B4];
      A1[A]; A2[A]; A3[A]; A4[A];

      E -.-> B1 & B2 & B3 & B4;
      B1 -.-> A1;
      B2 -.-> A2;
      B3 -.-> A3;
      B4 -.-> A4;

Applying our definition for conditional probability, we find

This formula derives the base of Bayes’ formula.

Theorem: Bayes' Formula

Let be a partition of . Then,

In other words, given we know for all , we can find .

We see some applications of Bayes’ Formula below.

Example: Bayes' Formula (1)

  • If Alice plays, there is a 75% chance the team wins.
  • If Bob plays, there is a 40% chance the team wins.
  • The team doctor says there’s a 70% chance Alice can play.
  • Only Alice or Bob can play at a given time.

Given that the team won, what’s the chance that Bob played?

Let denote the event that Alice plays, denote the event that Bob plays, and denote the event that the team wins. We know the following

We want to find .