StatlectThe Digital Textbook
Index > Fundamentals of probability

Probability

This lecture defines the concept of probability and introduces its main properties.

Table of Contents

Definition of probability

It would be nice to start a course on probability theory by giving a concise, simple and intuitive, yet rigorous, definition of probability. Unfortunately, this is not possible.

On the one hand, a rigorous definition of probability requires a sophisticated mathematical apparatus and is pretty unintuitive.

On the other hand, simple definitions are often misleading or, at best, tautological.

For example, we could say that probability is a number that quantifies the likelihood of a given event when it is not yet known whether the event will happen or not. This definition is circular because it uses the concept of likelihood, which is a synonym for probability. Nonetheless, we can use this definition as a starting point. It highlights two important facts:

By elaborating on these two facts, we will give an (almost entirely) rigorous definition of probability. To this end, we will introduce the concept of event in the next section. Then, we will define probability as a function that attaches numbers to events and satisfies certain "intuitive" properties.

Throughout this lecture, we will assume that you are familiar with the basics of set theory. If you are not, you can revise the basics here.

Sample space, sample points and events

The first thing we do when we start thinking about the probability of an event is to list a number of things that could possibly happen. The things in this list form a set, which we denote by Omega. We require Omega to satisfy the following two properties:

  1. Mutually exclusive outcomes. Only one of the things in Omega can happen. That is, if [eq1] happens, then none of the things in the set [eq2] can happen.

  2. Exhaustive outcomes. At least one of the things in Omega will happen.

If Omega satisfies these two properties it is called a sample space, or space of all possible outcomes. Furthermore,

Here is an example of a sample space.

Example Suppose that we toss a die. Six numbers, from 1 to 6, can appear face up, but we do not yet know which one of them will appear. The sample space is[eq4]Each of the six numbers is a sample point. The outcomes are mutually exclusive because only one number at a time can appear face up. The outcomes are also exhaustive because at least one of the six numbers will appear face up after we toss the die. Define[eq5]E is an event (a subset of Omega). It can be described as "an odd number appears face up". Now define[eq6]Also F is an event and it can be described as "the number 6 appears face up".

Note that the sample space Omega itself is an event because every set is a subset of itself.

Also the empty set $emptyset $ is an event because it can be considered a subset of Omega.

Space of events

Now that we have defined the concept of an event, we can think of the probability of an event E as a number attached to E that tells us how likely it is that E will happen. Unfortunately, this is not yet a real definition because "likely" is a synonym of "probable". We are being circular again! But we are closer to a definition than before. To get even closer, we need to introduce another concept, that of space of events.

A space of events, which we denote by $	ciFourier $, is a set of subsets of Omega. In other words, each element of $	ciFourier $ is an event.

Example Consider the same sample space introduced in the previous example (toss of a die):[eq7]Define the events[eq8]The set[eq9]is a space of events (remember that Omega and $emptyset $ are events).

In rigorous probability theory, the space of events is required to satisfy certain properties (it is required to be a sigma-algebra). For the moment, we are not discussing these properties, but we will briefly speak about them below, after having defined probability.

Probability is defined by three properties

We are now ready to define probability.

Definition Denote by $QTR{rm}{P}$ a function from the space of events $	ciFourier $ to the set of real numbers, that is, a function that assigns a number [eq10] to each event $Ein 	ciFourier $. The function $QTR{rm}{P}$ is a probability measure if and only if it satisfies the following three properties:

  1. Range: [eq11]for any event E.

  2. Sure thing: [eq12]

  3. Sigma-additivity (or countable additivity): [eq13]for any sequence [eq14] of mutually exclusive events (i.e., such that [eq15] if $i
eq j$).

When a probability measure $QTR{rm}{P}$ assigns a number [eq16] to an event E, then [eq17] is called the probability of E.

We are finally done! We have defined probability! We now need to make sure that we fully understand the definition.

Let us recap the main steps made so far:

The last point needs to be explained. But before trying to understand why the three properties above are used to define probability, let us analyze them in more detail.

The Range property is self-explanatory. It just means that the probability of an event is a real number between 0 and 1. This can be thought of as a convention: we decide that probability needs to be a positive number and that events can have at most probability 1.

The Sure thing property says that the highest possible probability needs to be assigned to the sure event (remember that the sample space Omega needs to be exhaustive, so surely one of the things in Omega will happen).

The Sigma-additivity property is a bit more cumbersome. It can be proved (see below) that if sigma-additivity holds, then also the following holds:[eq18]

The latter property, called finite additivity, while very similar to sigma-additivity, is easier to interpret. It says that if two events are disjoint, then the probability that either one or the other happens is equal to the sum of their individual probabilities.

For concreteness, we now make a simple example that illustrates the properties of probability.

Example Suppose that we flip a coin. The possible outcomes are either tail ($T$) or head (H), that is,[eq19]Consider the space of events[eq20] The following assignment of probabilities satisfies the properties enumerated above:[eq21]All these probabilities are between 0 and 1, so the range property is satisfied. [eq22], so the sure thing property is satisfied. Also sigma-additivity is satisfied because[eq23]and the four couples $left( T,H
ight) $, [eq24], [eq25], [eq26] are the only four possible couples of disjoint sets.

Now that we are familiarized with the three properties of probability, a fundamental question remains to be answered: why have these properties been chosen to define probability? Basically, it is for historical reasons. Before Andrey Kolmogorov, an eminent Russian mathematician, came up with this definition, statisticians had proposed other definitions (see the next section). These definitions had flaws, but they all allowed to prove that probability needs to satisfy the three properties above. Kolmogorov proposed to abandon the previous definitions and instead use the three properties as a definition. This approach had already proved successful in a branch of mathematics called measure theory. Actually, Kolmogorov realized that probability was a special measure (bounded by 1) and adapted the definition of measure, which is very similar to the definition of probability given above.

In the next section we report some of the old definitions of probability. Despite their flaws, they can help to improve our understanding of the concept of probability.

Old definitions of probability

This section briefly discusses some old definitions of probability. Although none of them is entirely rigorous and coherent, nor sufficient per se to clarify the meaning of probability, they all touch upon important aspects.

Classical definition of probability

According to the classical definition, when all the possible outcomes of an experiment are equally likely, the probability of an event is the ratio between the number of outcomes that are favorable to the event and the total number of possible outcomes. While intuitive, this definition has two main drawbacks:

  1. it is circular, because it uses the concept of probability to define probability: it is based on the assumption of 'equally likely' outcomes, where equally likely means "having the same probability";

  2. it is limited in scope, because it does not allow to define probability when the possible outcomes are not all equally likely.

Frequentist definition of probability

According to the frequentist definition, the probability of an event is the relative frequency of the event itself, observed over a large number of repetitions of the same experiment. In other words, it is the limit to which the ratio:[eq27]converges when the number of repetitions of the experiment tends to infinity. Despite its intuitive appeal, also this definition has some important drawbacks:

  1. it assumes that all probabilistic experiments can be repeated many times, which is false;

  2. it is also somewhat circular, because it implicitly relies on a Law of Large Numbers, which can be derived only after having defined probability.

Subjectivist definition of probability

According to the subjectivist definition, the probability of an event is related to the willingness of an individual to accept bets on that event. Suppose a lottery ticket pays off 1 dollar in case the event occurs and 0 in case the event does not occur. An individual is asked to set a price for this lottery ticket, at which she must be indifferent between being a buyer or a seller of the ticket. The subjective probability of the event is defined to be equal to the price thus set by the individual. Also this definition has some drawbacks:

  1. different individuals can set different prices, therefore preventing an objective assessment of probabilities;

  2. the price an individual is willing to pay to participate in a lottery can be influenced by other factors that have nothing to do with probability; for example, an individual's betting behavior can be influenced by her preferences.

Other properties of probability

The following subsections discuss other properties enjoyed by probability.

The probability of the empty set is 0

Here we prove that [eq28].

Proof

Define a sequence of event as follows: [eq29]The sequence is a sequence of disjoint events, because the empty set is disjoint from any other set. Then, [eq30]which implies[eq31]and [eq28].

A sigma-additive function is additive

A sigma-additive function is also additive:[eq33]

Proof

Define a sequence of events as follows: [eq34]The sequence is a sequence of disjoint events, because the empty set is disjoint from any other set. Then,[eq35]

Probability of the complement

Let E be an event and $E^{c}$ its complement (i.e., the set of all elements of Omega that do not belong to E). Then,[eq36]

Proof

Note that[eq37]and that E and $E^{c}$ are disjoint sets. Then, by using the sure thing property and finite additivity, we obtain[eq38]which implies[eq39]

In other words, the probability that an event does not occur is equal to one minus the probability that it occurs.

Probability of a union

We have already seen how to compute [eq40] in the special case in which E and F are two disjoint events. In the more general case, in which they are not necessarily disjoint, the formula is[eq41]

Proof

This is proved as follows. First note that[eq42]so that[eq43]Furthermore the event $Ecup F$ can be written as follows:[eq44]and the three events on the right hand side are disjoint. Thus,[eq45]

Monotonicity of probability

If two events E and F are such that $Esubseteq F$, then[eq46]

Proof

This is easily proved by using additivity:[eq47]where the latter inequality is a consequence of the fact that [eq48] (by the range property of probability).

In other words, if E occurs less often than F, because the latter contemplates more occurrences, then the probability of E must be less than the probability of F.

Rigorous definitions

In this section we provide entirely rigorous definitions of event and probability.

A more rigorous definition of event

The definition of event given above is not entirely rigorous. Often, statisticians work with probability models where some subsets of the sample space are not considered events. This happens mainly for the following two reasons:

  1. sometimes, the sample space is a really complicated set; to make things simpler, attention is restricted to only some subsets of the sample space;

  2. sometimes, it is possible to assign probabilities only to some subsets of the sample space; in these cases, only the subsets to which probabilities can be assigned are considered events.

Denote by $	ciFourier $ the space of events, that is, the set of subsets of Omega that are considered events. In rigorous probability theory, the space of event is required to be a sigma-algebra.

Definition $	ciFourier $ is a sigma-algebra on Omega if it is a set of subsets of Omega satisfying the following three properties:

  1. Whole set. [eq49].

  2. Closure under complementation. If $Ein 	ciFourier $ then also [eq50] (the complement $E^{c}$ is the set of all elements of Omega that do not belong to E).

  3. Closure under countable unions. If [eq51] is a sequence of subsets of Omega belonging to $	ciFourier $, then[eq52]

Why is a space of events required to satisfy these properties? Besides a number of mathematical reasons, it seems pretty intuitive that they must be satisfied.

Property 1) means that the space of events must include the event "something will happen", quite a trivial requirement!

Property 2) means that if "one of the things in the set E will happen" is considered an event, then also "none of the things in the set E will happen" is considered an event. This is quite natural: if you are considering the possibility that an event will happen, then, by necessity, you must also be simultaneously considering the possibility that the same event will not happen.

Property 3) is a bit more complex. However, the following property, implied by 3), is probably easier to interpret:[eq53]It means that if "one of the things in E will happen" and "one of the things in F will happen" are considered two events, then also "either one of the things in E or one of the things in F will happen" must be considered an event. This simply means that if you are able to separately assess the possibility of two events happening, then, of course, you must be able to assess the possibility of either one or the other happening. Property 3) simply extends this intuitive property to countable collection of events: the extension is needed for mathematical reasons, to derive certain continuity properties of probability measures.

A more rigorous definition of probability

The definition of probability given above was not entirely rigorous. Now that we have defined sigma-algebras and spaces of events, we can make it completely rigorous.

Definition Let $	ciFourier $ be a sigma-algebra on the sample space Omega. A function [eq54] is a probability measure if and only if it satisfies the following two properties:

  1. Sure thing. [eq22].

  2. Sigma-additivity. Let [eq56] be any sequence of elements of $	ciFourier $ such that $i
eq j$ implies [eq15]. Then,[eq13]

Nothing new has been added to the definition given above. This definition just clarifies that a probability measure is a function defined on a sigma-algebra of events. Hence, it is not possible to properly speak of probability for subsets of the sample space that do not belong to the sigma-algebra.

A triple [eq59] is called a probability space.

Solved exercises

Below you can find some exercises with explained solutions.

Exercise 1

A ball is drawn at random from an urn containing colored balls. The balls can be either red or blue (no other colors are possible). The probability of drawing a blue ball is $1/3$. What is the probability of drawing a red ball?

Solution

The sample space Omega can be represented as the union of two disjoint events E and F:[eq60]where the event E can be described as 'a red ball is drawn' and the event F can be described as 'a blue ball is drawn'. Note that E is the complement of F:[eq61]

We know [eq62], the probability of drawing a a blue ball:[eq63]

We need to find [eq64], the probability of drawing a a red ball. Using the formula for the probability of a complement:[eq65]

Exercise 2

Consider a sample space Omega comprising three possible outcomes:[eq66]

Suppose the probabilities assigned to the three possible outcomes are[eq67]

Can you find an event whose probability is $3/4$?

Solution

There are two events whose probability is $3/4$.

The first one is[eq68]

By using the formula for the probability of a union of disjoint events, we get[eq69]

The second one is[eq70]

By using again the formula for the probability of a union of disjoint events, we obtain[eq71]

Exercise 3

Consider a sample space Omega comprising four possible outcomes:[eq72]

Consider the three events E, F and $G$ defined as follows:[eq73]

Suppose their probabilities are[eq74]

Now, consider a fourth event H defined as follows:[eq75]

Find [eq76].

Solution

First note that, by additivity:[eq77]

Therefore, in order to compute [eq76], we need to compute [eq79] and [eq80].

[eq79] is found by using additivity on F:[eq82]so that[eq83]

[eq84] is found using the fact that one minus the probability of an event is equal to the probability of its complement and the fact that [eq85]:[eq86]

As a consequence,[eq87]

The book

Most of the learning materials found on this website are now available in a traditional textbook format.