任意の関数は単関数で近似できる(単関数近似定理)

ルベーグ積分の定義は単関数に基礎があります。 空間$X$とその部分集合の$\sigma$-加法族$\mathfrak{B}$、$\mathfrak{B}$上の測度$u(A)$が与えられたとする。集合$E \in \mathfrak{B}$と$E$上の$\mathfrak{B}$-可測関数$f(x)$があるとき、$f(x)$が単関数$f(x) = \sum _{j=0} ^{n} \alpha _{j} \chi _{A _{j}} (x)$である場…