미적분학 30단계 · 5단계 · 해석학적 수렴 판정

05. 코시 수열과 수렴성 (Cauchy Sequence)

극한의 정의($\epsilon-N$)는 극한값 $L$이 무엇인지 미리 알아야만 사용할 수 있습니다. 하지만 코시 수열은 극한값을 몰라도 "수열 자체가 수렴할 준비가 되었는가"를 항들 사이의 거리만을 통해 판정하게 해줍니다. 실수계에서는 '코시 수열인 것'과 '수렴하는 것'이 동치입니다.

1. 개념 기반 목표 지향 수업 지도안

수업 목표 1
코시 수열의 엄밀한 정의를 이해하고 $\epsilon-N$ 논법으로 기술할 수 있다.

수업 목표 2
수렴하는 수열은 항상 코시 수열임을 증명할 수 있다.

수업 목표 3
실수의 완비성과 코시 수렴 정리의 논리적 연결 고리를 파악한다.

수업 목표 4
축소적 수열(Contractive Sequence)의 수렴성을 코시 수열로 판정한다.

수업 흐름

도입 : "극한값을 모르는 상태에서 수열의 수렴 여부를 어떻게 확신할 수 있을까?"라는 질문으로 시작한다.
탐구 1 : "충분히 뒤로 가면 항들끼리 서로 매우 가까워진다"는 코시 수열의 아이디어를 정의한다.
탐구 2 : 유리수계($\mathbb{Q}$)에서는 코시 수열이지만 유리수로 수렴하지 않는 반례(예: $\sqrt{2}$)를 통해 실수의 중요성을 깨닫는다.
정리 : 코시 수열의 유계성과 코시 수렴 원리(Cauchy Convergence Criterion)를 정리한다.
확장 : 수열뿐만 아니라 급수의 수렴성을 판단하는 기초 도구로서의 역할을 이해한다.

2. 개념 상세 설명

개념 1. 코시 수열의 정의

수열 $\{a_n\}$이 코시 수열(Cauchy Sequence)이라는 것은, 아무리 작은 오차 $\epsilon$이 주어져도 특정 번호 $N$ 이후의 임의의 두 항 사이의 거리가 $\epsilon$보다 작아짐을 의미한다.

$$\forall \epsilon > 0, \exists N \in \mathbb{N} \text{ s.t. } n, m \ge N \implies |a_n - a_m| < \epsilon$$

일반 극한과의 차이: $|a_n - L|$이 아니라 $|a_n - a_m|$을 비교합니다.

개념 2. 코시 수렴 정리 (Cauchy Convergence Criterion)

실수 수열 $\{a_n\}$에 대하여 다음은 동치이다.

$$\{a_n\} \text{ 이 수렴한다. } \iff \{a_n\} \text{ 이 코시 수열이다.}$$

이 정리는 실수계의 완비성(Completeness)을 표현하는 또 다른 방식입니다. (Metric Space에서는 코시 수열이 수렴하는 공간을 '완비 공간'이라 부릅니다.)

개념 3. 축소적 수열 (Contractive Sequence)

연속한 두 항의 차이가 일정 비율 $r < 1$로 줄어드는 수열은 항상 코시 수열이며, 따라서 수렴합니다.

$$|a_{n+2} - a_{n+1}| \le r|a_{n+1} - a_n| \quad (0 < r < 1)$$

3. Graph 및 시각적 이해

시각화 1. 코시 수열의 거동

뒤로 갈수록 항들이 서로를 '끌어당기듯' 좁은 영역으로 모여듭니다.

시각화 2. 유리수의 불완전성

$\mathbb{Q}$에서 $\sqrt{2}$로 향하는 코시 수열을 만들 수 있지만, 그 종착지($\sqrt{2}$)가 집합 내에 없으므로 유리수 공간은 '구멍'이 난 불완비 공간입니다.

4. 각각의 개념 예시 문제

성질	명제	판정
수렴성	수렴하는 수열은 코시 수열인가?	Yes (삼각부등식으로 증명)
유계성	모든 코시 수열은 유계인가?	Yes
차이의 극한	$\lim (a_{n+1}-a_n) = 0$ 이면 코시 수열인가?	No (조화수열 반례)

5. 기초 5문항

1. 코시 수열의 정의에서 $|a_n - a_m| < \epsilon$ 을 만족해야 하는 항의 번호 $n, m$의 조건은?

정답 : $n, m \ge N$ (충분히 큰 임의의 두 인덱스)

2. 수열 $a_n = \frac{1}{n}$ 이 코시 수열임을 정의를 이용하여 직관적으로 설명하시오.

정답 : $n, m$이 커질수록 두 값 모두 0에 가까워지므로, 두 값 사이의 거리 $|1/n - 1/m|$도 0으로 수렴한다.

3. "모든 코시 수열이 수렴한다"는 성질이 성립하는 수 체계는?

정답 : 실수 ($\mathbb{R}$) 또는 복소수 ($\mathbb{C}$)

4. $a_n = (-1)^n$ 은 코시 수열인가?

$|a_n - a_{n+1}| = 2$ 이므로 아무리 큰 $N$을 잡아도 거리가 2인 항들이 존재한다.

정답 : 아니오

5. 코시 수열이 유계임을 증명할 때 사용하는 $\epsilon$의 값은 관습적으로 무엇으로 잡는가?

정답 : $1$ (임의의 양수면 가능하지만 1이 가장 편리함)

6. 응용 5문항

1. 수렴하는 수열 $\{a_n\}$이 $L$로 수렴할 때, $|a_n - a_m| \le |a_n - L| + |a_m - L|$ 이 성립함을 이용하여 코시 수열임을 증명하시오.

임의의 $\epsilon/2$에 대해 $n, m \ge N$이면 각 항의 오차가 $\epsilon/2$보다 작으므로 합은 $\epsilon$보다 작다.

2. 수열 $a_n$이 $|a_{n+1} - a_n| < \frac{1}{2^n}$ 을 만족할 때, 이 수열이 코시 수열임을 보이시오.

기하급수의 합 공식을 이용하면 $|a_{n+k} - a_n| < \sum_{i=n}^{n+k-1} \frac{1}{2^i} < \frac{1}{2^{n-1}}$ 이 되어 $n$이 커짐에 따라 0으로 간다.

3. 조화 수열 $a_n = 1 + \frac{1}{2} + \dots + \frac{1}{n}$ 이 코시 수열이 아님을 보이시오.

$|a_{2n} - a_n| = \frac{1}{n+1} + \dots + \frac{1}{2n} > n \cdot \frac{1}{2n} = \frac{1}{2}$ 이므로 항의 거리가 줄어들지 않는다.

4. 코시 수열의 부분 수열이 $L$로 수렴하면, 본 수열도 $L$로 수렴함을 증명하시오.

5. 두 코시 수열 $\{a_n\}, \{b_n\}$에 대하여 $\{a_n + b_n\}$도 코시 수열임을 증명하시오.

7. 심화 5문항

1. 실수의 완비성 공리(상한 공리)를 사용하여 코시 수렴 정리를 증명하는 과정을 요약하시오.

2. 수열 $x_{n+1} = \frac{1}{2+x_n}, x_1=1$ 이 축소적 수열임을 보이고 이를 통해 수렴성을 증명하시오.

3. $d(x, y) = |\frac{1}{x} - \frac{1}{y}|$ 로 정의된 거리 공간 $( (0, 1], d)$ 에서 수열 $a_n = \frac{1}{n}$ 이 코시 수열인지 판정하시오.

4. 모든 코시 수열이 수렴하는 거리 공간을 무엇이라 부르는가?

정답 : 완비 거리 공간 (Complete Metric Space)

5. 코시 수열을 이용하여 유리수로부터 실수를 구성(Construction)하는 방법인 '코시 완성(Cauchy Completion)'의 개념을 서술하시오.