Simple Function

The simplest functions you will ever integrate, hence the name.

Definition

Let $(X,{\mathcal {M}},\mu )$ be a measure space. A measurable function $f:X\rightarrow \mathbb {R}$ is a simple function if $f(X)$ is a finite subset of $\mathbb {R}$. The standard representation for a simple function is given by

$f(x)=\sum _{i=1}^{n}c_{i}1_{E_{i}}(x)$,

where $1_{E_{i}}(x)$ is the indicator function on the disjoint sets $E_{i}=f^{-1}(\{c_{i}\})\in {\mathcal {M}}$ that partition $X$, where $f(X)=\{c_{1},\dots ,c_{n}\}$.