A map, $f:(A,\mathcal{A})\rightarrow(F,\mathcal{F})$, is $\mathcal{A}/\mathcal{F}$ measurable if and only if for some generator $\mathcal{F}_0$ of $\mathcal{F}$ we have $\forall S\in\mathcal{F}_0[f^{-1}(S)\in\mathcal{A}]$

(Unknown grade)

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.

Statement

A map from a $\sigma$-algebra $(A,\mathcal{A})$ to another $\sigma$-algebra $(F,\mathcal{F})$, $f:A\rightarrow F$, is $\mathcal{A}/\mathcal{F}$ measurable if and only if for some generator, $\mathcal{G}$, of $\mathcal{F}$ we have:

• $\forall S\in\mathcal{G}[f^{-1}(S)\in\mathcal{A}]$

Which we may alternatively write (for brevity, see: abuses of the implies-subset relation) as:

• $f^{-1}(\mathcal{G})\subseteq\mathcal{A}$

Proof

---

TODO: See ref page 6, also lemma 7.2 in

---