Definition talk:Integral of Integrable Function

Integral for not integrable function

For a measurable function $f: X \to \overline \R$, the integral:

$\ds \int f \rd \mu$

is well-defined whenever either:

$\int f^+ \rd \mu < +\infty$

or:

$\int f^- \rd \mu < +\infty$

This definition seems missing in $\mathsf{Pr} \infty \mathsf{fWiki}$, so this must be added somewhere. --Usagiop (talk) 12:30, 18 June 2022 (UTC)

I had noticed this omission but have not needed to say that such an integral exists but is infinite yet, I think Cohn mentions it so I can add it to the source flow in due time. Caliburn (talk) 12:31, 18 June 2022 (UTC)