# Definition:Space of Integrable Functions

## Definition

Let $\struct {X, \Sigma, \mu}$ be a measure space.

Then the **space of $\mu$-integrable, real-valued functions** $\map {\LL^1} \mu$ is the collection of all $\mu$-integrable real-valued functions:

- $\map {\LL^1} \mu := \set {f: X \to \R: \text {$f$ is $\mu$-integrable} }$

Similarly, the **space of $\mu$-integrable, extended real-valued functions** $\map {\LL^1_{\overline \R} } \mu$ is the collection of all $\mu$-integrable extended real-valued functions:

- $\map {\LL^1_{\overline \R} } \mu := \set {f: X \to \overline \R: \text {$f$ is $\mu$-integrable} }$

## Also known as

It is often taken clear from the context whether the functions are real-valued or extended real-valued.

Thus, one often simply calls $\map {\LL^1} \mu$ and $\map {\LL^1_{\overline \R} } \mu$ the **space of $\mu$-integrable functions**.

Furthermore, if necessary or convenient, it is common to write for example $\map {\LL^1} {\Sigma, \mu}$ to emphasize $\Sigma$.

When $\mu$ is clear from the context, it may also be dropped from both name and notation, yielding $\LL^1$, the **space of integrable functions**.

## Also see

- Lebesgue Space, of which this is a special case

This article is complete as far as it goes, but it could do with expansion.In particular: links to pages with results on thisYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Sources

- 2005: René L. Schilling:
*Measures, Integrals and Martingales*... (previous) ... (next): $10.1$