Classical Probability is a Probability Measure
From ProofWiki
Contents |
Theorem
The classical probability model is a probability measure.
Proof
We check all the Kolmogorov axioms in turn:
First Axiom
From Empty Set Subset of All and from the definitions of the event space and sample space:
- $\varnothing \subseteq \Sigma \subseteq \Omega $
From Cardinality of Empty Set and Cardinality of Subset of Finite Set:
- $0 \le \# \left({\Sigma}\right) \le \# \left({\Omega}\right)$
Dividing all terms by $\# \left({\Omega}\right)$:
- $0 \le \dfrac {\# \left({\Sigma}\right)} {\#\left({\Omega}\right)} \le 1$
The middle term is the asserted definition of $\Pr \left({\cdot}\right)$.
$\Box$
Second Axiom
- $\Pr \left({\Omega}\right) = \dfrac {\# \left({\Omega}\right)} {\# \left({\Omega}\right)} = 1$
$\Box$
Third Axiom
Follows from Cardinality is an Additive Function and the Corollary to the Inclusion-Exclusion Principle.
If you are fairly certain that there are none, please remove {{proofread}} from the code.
Please fix formatting and $\LaTeX$ errors and inconsistencies.
It may also need to be brought up to our standard house style.
If you have done this or know it has been done, please remove {{Tidy}} from the code.
