ThmDex – An index of mathematical definitions, results, and conjectures.
F10978
Formulation 0
Let $M = (X, \mathcal{F}, \delta_{x_0})$ be a D5671: Point measure space such that
(i) $\phi : X \to [0, \infty]$ is a D2956: Measurable simple complex function on $M$
Then \begin{equation} \int_X \phi \, d \delta_{x_0} = \phi(x_0) \end{equation}