In real analysis, the monotone convergence theorem is any of a number of related theorems proving, under certain conditions, the convergence of monotonic sequences, i.e. sequences that are non-increasing, or non-decreasing. In its simplest form, it says that a non-decreasing bounded-above sequence of real numbers a 1 ≤ a 2 ≤ a 3 ≤ . . . ≤ K {\displaystyle a_{1}\leq a_{2}\leq a_{3}\leq ...\leq K} converges to its smallest upper bound, its supremum. Likewise, a non-increasing bounded-below sequence converges to its largest lower bound, its infimum. In particular, infinite sums of non-negative numbers converge to the supremum of the partial sums if and only if the partial sums are bounded. For non-negative double-indexed non-decreasing sequences 0 ≤ a i , 1 ≤ a i , 2 ≤ ⋯ {\displaystyle 0\leq a_{i,1}\leq a_{i,2}\leq \cdots } , it says that taking the sum and the supremum can be interchanged. In more advanced mathematics the monotone convergence theorem usually refers to a fundamental result in measure theory due to Lebesgue and Beppo Levi that says that for sequences of non-negative pointwise-increasing measurable functions 0 ≤ f 1 ( x ) ≤ f 2 ( x ) ≤ ⋯ {\displaystyle 0\leq f_{1}(x)\leq f_{2}(x)\leq \cdots } , taking the integral and the supremum can be interchanged with the result being finite if either one is finite.
Convergence of a monotone sequence of real numbers Theorem: Let ( a n ) n ∈ N {\displaystyle (a_{n})_{n\in \mathbb {N} }} be a monotone sequence of real numbers (either a n ≤ a n + 1 {\displaystyle a_{n}\leq a_{n+1}} for all n {\displaystyle n} or a n ≥ a n + 1 {\displaystyle a_{n}\geq a_{n+1}} for all n {\displaystyle n} ). Then the following are equivalent:
( a n ) {\displaystyle (a_{n})} has a finite limit in R {\displaystyle \mathbb {R} } .
( a n ) {\displaystyle (a_{n})} is bounded. Moreover, if ( a n ) {\displaystyle (a_{n})} is nondecreasing, then lim n → ∞ a n = sup n a n {\displaystyle \lim _{n\to \infty }a_{n}=\sup _{n}a_{n}} ; if ( a n ) {\displaystyle (a_{n})} is nonincreasing, then lim n → ∞ a n = inf n a n {\displaystyle \lim _{n\to \infty }a_{n}=\inf _{n}a_{n}} .
… excerpt ends here. Continue reading the full article.
