(i) | $f : X \to [-\infty, \infty]$ is an D1921: Absolutely integrable function on $M$ |

**signed integral**of $f$ with respect to $M$ is the D993: Real number \begin{equation} \int_X f \, d \mu := \int_X f^+ \, d \mu - \int_X f^- \, d \mu \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Map

▾ Simple map

▾ Simple function

▾ Measurable simple complex function

▾ Simple integral

▾ Unsigned basic integral

▾ P-integrable basic function

▾ Absolutely integrable function

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Map

▾ Simple map

▾ Simple function

▾ Measurable simple complex function

▾ Simple integral

▾ Unsigned basic integral

▾ P-integrable basic function

▾ Absolutely integrable function

Formulation 0

Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space such that

The **signed integral** of $f$ with respect to $M$ is the D993: Real number
\begin{equation}
\int_X f \, d \mu := \int_X f^+ \, d \mu - \int_X f^- \, d \mu
\end{equation}

(i) | $f : X \to [-\infty, \infty]$ is an D1921: Absolutely integrable function on $M$ |

Formulation 1

Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space such that

The **signed integral** of $f$ with respect to $M$ is the D993: Real number
\begin{equation}
\mu(f) : = \mu(f^+) - \mu(f^-)
\end{equation}

(i) | $f : X \to [-\infty, \infty]$ is an D1921: Absolutely integrable function on $M$ |

Child definitions

Results