Monotone Convergence Theorem (Measure Theory)/Corollary

From ProofWiki
Jump to navigation Jump to search

Corollary to Monotone Convergence Theorem (Measure Theory)

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

Let $\sequence {u_n}_{n \mathop \in \N} \in \map {\LL^1} \mu$, $u_n: X \to \R$ be a decreasing sequence of $\mu$-integrable functions.

Let $\displaystyle \inf_{n \mathop \in \N} u_n: X \to \overline \R$ be the pointwise infimum of the $u_n$.


Then $\displaystyle \inf_{n \mathop \in \N} u_n$ is $\mu$-integrable if and only if:

$\displaystyle \inf_{n \mathop \in \N} \int u_n \rd \mu > -\infty$

and, in that case:

$\displaystyle \int \inf_{n \mathop \in \N} u_n \rd \mu = \inf_{n \mathop \in \N} \int u_n \rd \mu$


Proof


Sources