Definition:Equiprobability Space

From ProofWiki
Jump to navigation Jump to search

Definition

An equiprobability space is a finite probability space $\struct {\Omega, \Sigma, \Pr}$ with equiprobable outcomes.

That is, for all $\omega_i, \omega_j \in \Omega$:

$\map \Pr {\omega_i} = \map \Pr {\omega_j}$


From Probability Measure on Equiprobable Outcomes, we have that:

$\forall \omega \in \Omega: \map \Pr \omega = \dfrac 1 n$
$\forall A \subseteq \Omega: \map \Pr A = \dfrac {\card A} n$