Math
Text

# Probability Axioms

Lesson 3 Chapter 2

Let's roll a dice and ask the following informal question: What is the chance of getting six as the outcome? It is equivalent to another more formal question: What is the probability of getting a six in rolling a dice? Informal answer: The same as getting any other number most probably. Formal response: 1/6. How do we interpret the calculation of 1/6? Well, it is clear that when you roll a dice, you get a number in the range of {1,2,3,4,5,6}, and you do NOT get any other number. We can call {1,2,3,4,5,6} the outcome space that nothing outside of it may happen. To mathematically define those chances, some universal definitions and rules must be applied, so we all agree with.

To this aim, it is crucial to know what governs the probability theory. We start with axioms. The definition of an axiom is as follows: "a statement or proposition which is regarded as being established, accepted, or self-evidently true." Before stepping into the axioms, we should have some preliminary definitions.

## Sample and Event Space

Probability theory is mainly associated with random experiments. For a random experiment, we cannot predict with certainty which event may occur. However, the set of all possible outcomes might be known.

### Sample Space

We call the set of all possible outcomes as the sample space and we denote it by .

After defining the sample space, we should define an event.

### Event

An event is a set embracing some possible outcomes. Any event is a subset of the sample space . The empty set is called the impossible event as it is null and does not represent any outcome.

Now, let's discuss some operations on events.

• Union: For any set of events , the union event consists of all outcomes that occurred in any of E_{i} events at least once. Ex: The indicates that if or  occurred.
• Intersection: For any set of events , the intersection event consists of all outcomes that occurred in all of E_{i} events at least once. Ex: The indicates if and  both occurred.
• Mutually Exclusive: Two events and are mutually exclusive, if they cannot occur concurrently. In other words, . Ex: (A) throwing a fair coin and (B) rolling a dice. A and B are clearly mutually exclusive.
• Complement Set: For any event , we denote as the complement of and stands for all outcomes in the sample space that are not in . Basically and .

The sets A and B are inside the sample space

## Axioms

Andrey Kolmogorov, in 1933, proposed Kolmogorov Axioms that form the foundations of Probability Theory. The Kolmogorov Axioms can be expressed as follows: Assume we have the probability space of . Then, the probability measure  is a real-valued function mapping as satisfies all the following axioms:

1. 1
For any event , (the probability of occurrence is non-negative).
2. 2
.
3. 3
for any set of mutually exclusive events .

## Outcomes

Using the axioms, we can conclude some fundamental characteristics as below:

• If event is a subset of event (), then .
• If is an event and is the complementary set (all other events except in the event space ), then .
• The probability of the empty set is zero () as the empty set is the complementary set of the sample space .
• For any event , we have the probability bound of .