\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needed by:
Measurable Function Operations
Random Variables
Simple Integrals
Sheet PDF
Graph PDF

Measurable Functions


We define integrals using an infinite process; in order for each step of the process to make sense, we need functions to be measurable.1


A function between the base sets of two measurable spaces is measurable with respect to the distinguished sets of the two spaces if the inverse image of every distinguished subset of the codomain is a distinguished subset of the domain.


Let $(X, \mathcal{A} )$ and $(Y, \mathcal{B} )$ be measurable spaces. Then a function $f: X \to Y$ is measurable if $B \in \mathcal{B} $ implies $f^{-1}(B) \in \mathcal{A} $. We say that $f$ is measurable with respect to $\mathcal{A} $ and $\mathcal{B} $.

In this case, we sometimes say $f$ is a measurable function from $(X, \mathcal{A} )$ to $(Y, \mathcal{B} )$. We say, $f: (X, \mathcal{A} ) \to (Y, \mathcal{B} )$ is measurable, read aloud as “f from X, A to Y, B is measurable.”

  1. This statement contains a forward reference to Real Integrals, and so may be modified in future editions. ↩︎
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view