Non-Trivial Event is Union of Simple Events

From ProofWiki
Jump to navigation Jump to search


Let $\EE$ be an experiment.

Let $e$ be an event in $\EE$ such that $e \ne \O$.

That is, such that $e$ is non-trivial.

Then $e$ can be expressed as the union of a set of simple events in $\EE$.


By definition of event, $e$ is a subset of the sample space $\Omega$ of $\EE$.

By hypothesis:

$e \ne \O$

and so:

$\exists s \in \Omega: s \in e$

Let $S$ be the set defined as:

$S = \set {\set s: s \in e}$

By Union is Smallest Superset: Set of Sets it follows that:

$\ds \bigcup S \subseteq e$

Let $x \in e$.

Then by Singleton of Element is Subset:

$\set x \subseteq e$

and by definition of $S$ it follows that:

$\set x \in S$

and so by definition of set union:

$x \in \ds \bigcup S$

Thus we have:

$e \subseteq \ds \bigcup S$

The result follows by definition of set equality.