Integral on L-1 Space is Well-Defined

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

Let $\map {L^1} {X, \Sigma, \mu}$ be the $L^1$ space of $\struct {X, \Sigma, \mu}$.

Let $E \in \map {L^1} {X, \Sigma, \mu}$.

Then the $\mu$-integral of $E$ is well-defined.

Proof
Let $E = \eqclass f \sim$.

We first establish that:


 * $\ds \int f \rd \mu$

is a well-understood real number.

We then will show that the $\mu$-integral of $E$ is independent of the choice of representative for $E$.

Since $E \in \map {L^1} {X, \Sigma, \mu}$, we have that $f \in \map {\LL^1} {X, \Sigma, \mu}$.

Then:


 * $\ds \int \size f \rd \mu < \infty$

So, from Characterization of Integrable Functions, we have:


 * $\ds \int f \rd \mu$ is well-defined and exists as a finite number.

Suppose now that $\eqclass f \sim = \eqclass g \sim$.

From Equivalence Class Equivalent Statements:


 * $f = g$ $\mu$-almost everywhere

from the definition of the $\mu$-almost everywhere relation.

From A.E. Equal Positive Measurable Functions have Equal Integrals: Corollary 1, we have:


 * $\ds \int f \rd \mu = \int g \rd \mu$

So:


 * $\ds \int E \rd \mu$

is independent of the choice of representative for $E$.