Rigorous Proof of the Probability Axioms

Introduction

Probability theory provides a foundational framework for modeling uncertainty and randomness in mathematical and statistical contexts. The axioms of probability are the cornerstone of this theory, ensuring consistency and coherence in the calculation of probabilities. These axioms define the properties of a probability measure, which assigns a numerical value to events in a sample space, reflecting their likelihood of occurrence. The first axiom asserts that probabilities are non-negative, the second ensures countable additivity, and the third guarantees that the entire sample space has probability 1. These properties are not only essential for theoretical development but also underpin practical applications in fields such as statistics, physics, and economics. This article presents a rigorous proof of these axioms, emphasizing their logical necessity and interdependence.

Axiom 1: Non-Negativity

The first axiom states that for any event $ A $ in the σ-algebra $ \mathcal{F} $, the probability $ \mathbb{P}(A) \geq 0 $. This property is critical for ensuring that probabilities are well-defined and do not violate intuitive expectations. To prove this, we leverage the definition of a probability measure, which is a function $ \mathbb{P} : \mathcal{F} \to \mathbb{R} $ satisfying the following conditions:

  1. $ \mathbb{P}(\emptyset) = 0 $,
  2. $ \mathbb{P}(A) \geq 0 $ for all $ A \in \mathcal{F} $,
  3. $ \mathbb{P}(S) = 1 $, where $ S $ is the entire sample space.

The non-negativity axiom follows directly from the definition of a measure. A measure assigns a "size" to subsets of a sample space, and by construction, this size cannot be negative. The σ-algebra ensures that all relevant events are included, and the measure's non-negativity is preserved under union and intersection operations. For instance, consider two disjoint events $ A $ and $ B $. The measure $ \mathbb{P}(A \cup B) $ must equal $ \mathbb{P}(A) + \mathbb{P}(B) $, and since probabilities are non-negative, this confirms the axiom's validity.

Axiom 2: Countable Additivity

The second axiom asserts that for any countable sequence of pairwise disjoint events $ A_1, A_2, \ldots \in \mathcal{F} $, the probability of their union satisfies:
$$