Axiom:Kolmogorov Axioms

Definition
Let $$\mathcal E$$ be an experiment.

Let $$\left({\Omega, \Sigma, \Pr}\right)$$ be a probability measure on $$\mathcal E$$.

Then $$\mathcal E$$ can be defined as being a measure space $$\left({\Omega, \Sigma, \Pr}\right)$$, such that $$\Pr \left({\Omega}\right) = 1$$.

Thus $$\Pr$$ satisfies the Kolmogorov axioms:

First Axiom

 * $$\forall A \in \Sigma: 0 \le \Pr \left({A}\right) \le 1$$

The probability of an event occurring is a real number between $$0$$ and $$1$$.

Second Axiom

 * $$\Pr \left({\Omega}\right) = 1$$
 * $$\Pr \left({\varnothing}\right) = 0$$

The probability that some elementary event occurring in the sample space is $$1$$, while the probability of no event occurring is zero.

Third Axiom
Let $$A_1, A_2, \ldots$$ be a countable (possibly countably infinite) sequence of pairwise disjoint events.

Then:
 * $$\Pr \left({\bigcup_{i \ge 1}A_i}\right) = \sum_{i \ge 1} \Pr \left({A_i}\right)$$

The probability of any one of countably many pairwise disjoint events occurring is the sum of the probabilities of the occurrence of each of the individual events.

Note
The axioms follow directly from the fact that $$\left({\Omega, \Sigma, \Pr}\right)$$ is a measure space.