2024-12-22

912: Measurable Map Between Measurable Spaces

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of measurable map between measurable spaces

Topics


About: measure

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of measurable map between measurable spaces.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\( (S_1, A_1)\): \(\in \{\text{ the measurable spaces }\}\)
\( (S_2, A_2)\): \(\in \{\text{ the measurable spaces }\}\)
\(*f\): \(: S_1 \to S_2\)
//

Conditions:
\(\forall a_2 \in A_2 (f^{-1} (a_2) \in A_1)\)
//


References


<The previous article in this series | The table of contents of this series | The next article in this series>