Pre-Image Sigma-Algebra on Domain is Sigma-Algebra

Theorem
Let $X, X'$ be sets, and let $f: X \to X'$ be a mapping.

Let $\mathcal{A}'$ be a $\sigma$-algebra on $X'$.

Then the pre-image $\sigma$-algebra $f^{-1} \left({\mathcal{A}'}\right)$ is a $\sigma$-algebra on $X$.

Proof
Verify the axioms for a $\sigma$-algebra in turn:

Axiom $(1)$
As $f$ is a mapping, it is immediate that $f^{-1} \left({X'}\right) = X$.

Also $X' \in \mathcal{A}'$ as $\mathcal{A}'$ is a $\sigma$-algebra.

Hence $X \in f^{-1} \left({\mathcal{A}'}\right)$.

Axiom $(2)$
Let $S = f^{-1} \left({A'}\right) \in f^{-1} \left({\mathcal{A}'}\right)$.

By Mapping Preimage of Set Difference and $f^{-1} \left({X'}\right) = X$, have:


 * $X \setminus S = f^{-1} \left({X'}\right) \setminus f^{-1} \left({A'}\right) = f^{-1} \left({X' \setminus A'}\right)$

As $X' \setminus A' \in \mathcal{A}'$, this means $X \setminus S \in f^{-1} \left({\mathcal{A}'}\right)$.

Axiom $(3)$
Let $\left({S_i}\right)_{i \in \N}$ be a sequence in $f^{-1} \left({\mathcal{A}'}\right)$.

Let, for all $i \in \N$, $A'_i \in \mathcal{A}'$ such that $S_i = f^{-1} \left({A'}\right)$.

By Mapping Preimage of Union: General Result, have:


 * $\displaystyle \bigcup_{i \in \N} S_i = \bigcup_{i \in \N} f^{-1} \left({A'_i}\right) = f^{-1} \left({\bigcup_{i \in \N} A'_i}\right)$

Now $\displaystyle \bigcup_{i \in \N} A'_i \in \mathcal{A}'$ as $\mathcal{A}'$ is a $\sigma$-algebra.

Hence $\displaystyle \bigcup_{i \in \N} S_i \in f^{-1} \left({\mathcal{A}'}\right)$.