Monotone convergence theorem

Monotone convergence theorem In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the convergence of monotonic sequences (sequences that are non-decreasing or non-increasing) that are also bounded. Informalmente, the theorems state that if a sequence is increasing and bounded above by a supremum, then the sequence will converge to the supremum; in the same way, if a sequence is decreasing and is bounded below by an infimum, it will converge to the infimum.

Conteúdo 1 Convergence of a monotone sequence of real numbers 1.1 Lema 1 1.2 Prova 1.3 Lema 2 1.4 Prova 1.5 Teorema 1.6 Prova 2 Convergence of a monotone series 2.1 Teorema 3 Beppo Levi's lemma 3.1 Teorema 3.2 Prova 3.2.1 Intermediate results 3.2.1.1 Lebesgue integral as measure 3.2.1.1.1 Prova 3.2.1.2 "Continuity from below" 3.2.2 Prova do teorema 4 Veja também 5 Notes Convergence of a monotone sequence of real numbers Lemma 1 If a sequence of real numbers is increasing and bounded above, then its supremum is the limit.

Proof Let {estilo de exibição (uma_{n})_{nin mathbb {N} }} be such a sequence, e deixar {estilo de exibição {uma_{n}}} be the set of terms of {estilo de exibição (uma_{n})_{nin mathbb {N} }} . Por suposição, {estilo de exibição {uma_{n}}} is non-empty and bounded above. By the least-upper-bound property of real numbers, {textstyle c=sup _{n}{uma_{n}}} exists and is finite. Agora, para cada {displaystyle varepsilon >0} , existe {estilo de exibição N} de tal modo que {estilo de exibição a_{N}>c-varepsilon } , since otherwise {displaystyle c-varepsilon } is an upper bound of {estilo de exibição {uma_{n}}} , which contradicts the definition of {estilo de exibição c} . Então desde {estilo de exibição (uma_{n})_{nin mathbb {N} }} está aumentando, e {estilo de exibição c} is its upper bound, para cada {displaystyle n>N} , temos {estilo de exibição |c-a_{n}|leq |c-a_{N}|

Se você quiser conhecer outros artigos semelhantes a Monotone convergence theorem você pode visitar a categoria Sequences and series.