증명은 다음과 같습니다.
코시 수열의 정의에 따라 임의의 $\epsilon>0$에 대해
자연수 $H(\epsilon)$이 존재하여 모든 자연수 $n,~m\geq H(\epsilon)$에 대해
$|x_n-x_m|<\epsilon$을 만족합니다.
따라서 $H(\epsilon)$번째 이후의 모든 수열 값은
$(x_{H(\epsilon)}-\epsilon,x_{H(\epsilon)}+\epsilon)$의 범위에 존재합니다.
즉 $(x_n)$이 코시 수열이면 모든 자연수 $n$에 대해 다음을 만족하여 유계임을 보이게 됩니다.
$|x_n|\leq max(|x_1|,~|x_2|,~\cdots,~|x_{H(\epsilon)}|,~|x_{H(\epsilon)}+\epsilon|,~|x_{H(\epsilon)}-\epsilon|)$
'해석학' 카테고리의 다른 글
수축하는 수열 (contractive sequence)이란? (0) | 2012.11.21 |
---|---|
코시 수렴 기준 (Cauchy Convergence Criterion) (0) | 2012.11.21 |
코시 수열 (Cauchy sequence)이란? (4) | 2012.11.20 |
수렴하는 부분 수열이 모두 x로 수렴하는 유계 수열은 x로 수렴한다. (0) | 2012.11.20 |
볼차노 바이어슈트라스 정리 (Bolzano-Weierstrass Theorem) (0) | 2012.11.20 |