Probability Measure on Finite Sample Space/Corollary

From ProofWiki
Jump to navigation Jump to search

Corollary to Probability Measure on Finite Sample Space

Let $\Omega = \set {\omega_1, \omega_2, \ldots, \omega_n}$ be a finite set.

Let $\Sigma$ be the power set of $\Omega$.

Let $p_1, p_2, \ldots, p_n$ be non-negative real numbers such that:

$p_1 + p_2 + \cdots + p_n = 1$

Let $Q: \Sigma \to \R$ be the mapping defined as:

$\forall A \in \Sigma: \map Q A = \ds \sum_{i: \omega_i \in A} p_i$


Then $\struct {\Omega, \Sigma, Q}$ constitutes a probability space.

That is, $Q$ is a probability measure on $\struct {\Omega, \Sigma}$.


Proof

We have that Power Set of Sample Space is Event Space.

Hence this is a special case of Probability Measure on Finite Sample Space.

$\blacksquare$


Sources