131. Axioms

131.1. Probability Axioms

131.1.1. Non-Negativity Axiom

Probability of any event is always non-negative

131.1.2. Normalization Axiom

The probability of the sample space is always 1

131.1.3. Finite Additivity Axiom

If two events are disjoint (mutually exclusive),

then

Consequences of the Axioms:

131.1.4.

Since

we have

Thus,

131.1.5.

131.1.6.

Follows immediately from additivity applied to and .

131.1.7. Probability of Finite Unions of Disjoint Events

For three mutually disjoint sets:

More generally, if:

then:

From (Finite) Additivity, we have:

So,

More generally, by induction:

131.1.8. If then

131.1.9.

131.1.10. Union Bound

Since

131.1.11. Union of more than two overlapping (non disjoint) sets

131.2. Discrete Uniform Law

131.3. Probability Calculations Steps

Discrete but infinite sample space

Example

Number of coin tosses until we observe a heads toss

Sample Space

We are given

131.3.1. Countable Additivity Axiom

If is an infinite sequence of disjoint events, then