단조 수렴 정리

역사 raw
대문 랜덤 문서 최근 토론

1. 개요[편집]

단조 수렴 정리(Monotone Convergence Theorem, MCT)는 해석학에서 수열의 극한과 관련된 정리 중 하나이다. 증명하는 방법은 완비 공리(Completeness Axiom)를 이용하여 실수의 완비성(Completeness of Real Number)을 밝혀내는 것이다.

2. 상세[편집]

단조 수렴 정리를 바르게 이해하기 위해서는, 단조수열(Monotone Sequence)과 유계(Bounded)라는 개념을 정확히 이해할 필요가 있다.

일단 무한수열 {an}이 주어져 있다고 하자.

모든 자연수 n에 대하여 anan+1a_n \leq a_{n+1}이면 {an}\{a_n\}(단조)증가수열이다.
모든 자연수 n에 대하여 anan+1a_n \geq a_{n+1}이면 {an}\{a_n\}(단조)감소수열이다.
{an}이 증가수열 또는 감소수열일 때, 단조수열이라고 부른다.

실수 MM이 존재하고 모든 자연수 n에 대하여 anMa_n \leq M일 때 {an}\{a_n\}위로 유계(Bounded Above)이다. 이때 MM을 상계(Upper Bound)라고 한다.
실수 mm이 존재하고 모든 자연수 nn에 대하여 anma_n \geq m일 때 {an}\{a_n\}아래로 유계(Bounded Below)이다. 이때 mm을 하계(Lower Bound)라고 한다.
{an}\{a_n\}이 위로 유계이면서 아래로 유계일 때, 유계라고 부른다.

"유계이면서 단조인 실수열은 모두 수렴한다(If a real sequence is bounded and monotone, it converges.)"라는 것이 단조 수렴 정리의 내용이다.

더욱 자세한 내용은 단조 수렴 정리(네이버 블로그), 상한과 하한(네이버 블로그)를 참고하자.