Measure theory MOC

Measurable function

A measurable functions is a structure-preserving map of measurable spaces. Let and be measurable spaces. A function is called measurable iff the preïmage of every measurable set is measurable1 , #m/def/measure i.e. for any .

Properties

  1. A measurable function from a measure space induces a Pushforward measure on its codomain.

#state/tidy | #lang/en | #SemBr

Footnotes

  1. Note this is analogous to the topological definition of Continuity. ↩