View source for A map from two sigma-algebras, A and B, is measurable if and only if for some generator of B (call it G) we have the inverse image of S is in A for every S in G

{{DISPLAYTITLE:A map, {{M|f:(A,\mathcal{A})\rightarrow(F,\mathcal{F})}}, is {{M|\mathcal{A}/\mathcal{F} }} measurable ''if and only if'' for some generator {{M|\mathcal{F}_0}} of {{M|\mathcal{F} }} we have {{M|\forall S\in\mathcal{F}_0[f^{-1}(S)\in\mathcal{A}]}}}}
{{Stub page}}
__TOC__
==Statement==
A [[map]] from a [[sigma-algebra|{{sigma|algebra}}]] {{M|(A,\mathcal{A})}} to another {{sigma|algebra}} {{M|(F,\mathcal{F})}}, {{M|f:A\rightarrow F}}, is [[measurable map|{{M|\mathcal{A}/\mathcal{F} }} measurable]] {{iff}} for some [[Generator (sigma-algebra)|generator]], {{M|\mathcal{G} }}, of {{M|\mathcal{F} }}<ref group="Note">Thus {{M|1=\mathcal{F}=\sigma(\mathcal{G})}}</ref> we have{{rMIAMRLS}}<ref name="PAS">Probability and Stochastics - Erhan Cinlar</ref>:
* {{M|\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:
* {{M|f^{-1}(\mathcal{G})\subseteq\mathcal{A} }}
==Proof==
{{Todo|See ref<ref name="PAS"/> page 6, also lemma 7.2 in<ref name="MIAMRLS"/>}}
==Notes==
<references group="Note"/>
==References==
<references/>
{{Measure theory navbox|plain}}
{{Theorem Of|Measure Theory}}