코시 수열과 완비성 (Cauchy Sequences)

수렴하는 수열은 반드시 코시 수열이지만, 모든 코시 수열이 수렴하는지는 그 집합의 완비성(Completeness)에 달려 있습니다. 실수는 이 '구멍'이 없는 완비 거리 공간입니다.

1. 코시 수열의 엄밀한 정의

수열 $\{a_n\}$이 코시 수열이라는 것은, 임의의 양수 $\epsilon$에 대하여 적당한 자연수 $N$이 존재하여 $N$보다 큰 모든 $m, n$에 대해 다음을 만족함을 뜻합니다.

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

즉, 수열의 항들이 극한값 $L$을 향해 가는 것이 아니라, 항들끼리 서로 뭉치기 시작함을 의미합니다.

2. 실수의 완비성 (Completeness of $\mathbb{R}$)

Fundamental Theorem

실수 집합 $\mathbb{R}$에서 수열 $\{a_n\}$이 수렴할 필요충분조건은 그 수열이 코시 수열인 것이다.

수렴 $\implies$ 코시: 삼각형 부등식을 통해 쉽게 증명됩니다.
코시 $\implies$ 수렴: 실수의 구조적 특성(완비성 공리)에 의존합니다.

3. 코시 수열의 주요 성질

유계성: 모든 코시 수열은 유계(Bounded)입니다.
부분 수열: 코시 수열의 한 부분 수열이 수렴하면, 전체 수열도 같은 값으로 수렴합니다.
유리수와의 차이: 유리수 집합 $\mathbb{Q}$는 완비적이지 않습니다. 예를 들어 $\sqrt{2}$로 수렴하는 유리수 코시 수열은 $\mathbb{Q}$ 안에서 수렴하지 않습니다.

4. 코시 수렴 판정법의 유용성

일반적인 극한 정의($|a_n - L| < \epsilon$)는 극한값 $L$을 미리 알고 있어야 하지만, 코시 정의는 $L$을 모르는 상태에서 수렴성만 판단할 때 압도적으로 유리합니다.

$$|a_{n+k} - a_n| \to 0 \quad (\text{as } n \to \infty, \text{ for all } k > 0)$$

5. 응용: 축소구간 정리 및 고정점 정리

코시 수열의 개념은 거리 공간(Metric Space)으로 확장되어, 수치해석에서 해를 찾는 바나흐 고정점 정리(Banach Fixed Point Theorem)의 근간이 됩니다. 함수열의 수렴성(Cauchy Criterion for Uniform Convergence)을 논할 때도 핵심적인 역할을 합니다.