real analysis - Why is the Monotone Convergence Theorem restricted to a nonnegative function sequence?

Monotone Convergence Theorem for general measure:

Let $(X,\Sigma,\mu)$ be a measure space. Let $f_1, f_2, ...$ be a pointwise non-decreasing sequence of $[0, \infty]$-valued $\Sigma-$measurable functions, i.e. for every $k\ge 1$ and every $x$ in $X$,

$$0 \le f_k(x) \le f_{k+1}(x).$$ Next, set the pointwise limit of the sequence ${f_n}$ to be $f$. That is, for every $x$ in $X$, $$f(x) = \lim_{k\to \infty}f_k(x).$$ Then $f$ is $\Sigma-$measurable and $$\lim_{k\to \infty}\int f_k d\mu = \int f d\mu.$$

I've noticed that when it comes to monotone convergence theorem (either Lebesgue or general measure), usually its definition restricts the monotone function sequences to be nonnegative. I'm not sure why the 'nonnegative' is necessary.

Answer

Well, if $f_k$ could be negative, then its integral might not even be defined. For instance, if $X=\mathbb{R}$ with Lebesgue measure and $f_k(x)=x$ for some $k$, there is no good way to define $\int f_k$ (it should morally be "$\infty-\infty$"). On the other hand, the integral of a nonnegative measurable function can always be defined (though it might be $\infty$).

Even if you require $\int f_k$ to be defined for all $k$, if $\int f_k$ is allowed to be $-\infty$, the result can be false. For instance, let $X=\mathbb{N}$ with counting measure and let $f_k(n)=-1$ if $n>k$ and $0$ if $n\leq k$. Then the $f_k$ are monotone increasing and converge pointwise to the constant function $0$, but $\int f_k=-\infty$ for all $k$.

On the other hand, if you require $\int f_k$ to be defined and $>-\infty$ for all $k$, the result is true. Indeed, you can just replace each $f_k$ by $f_k-f_1$ and use the usual version of the theorem, since all these functions are nonnegative (and the equation $\int f_k=\int f_1+\int (f_k-f_1)$ is guaranteed to make sense and be true since $\int f_1>-\infty$).