코시 수열: 정의 · 완비성의 의미 · MIT 노트 요약 · 스케치 · 연습
“뒤로 갈수록 서로 가까워진다”(코시)와 “진짜로 한 점으로 모인다”(완비성)를 한 번에 잡아봅니다.
① 코시 수열의 정의
실수수열 \( \{x_n\} \)이 코시라는 것은: 임의의 \( \varepsilon>0 \)에 대해 어떤 \( N \)이 존재하여 모든 \( m,n\ge N \)에 대해 \[ |x_m - x_n| < \varepsilon \] 가 성립하는 것입니다. 즉, “충분히 뒤에서는 서로서로 가까워진다”는 뜻입니다.
거리공간 \( (X,d) \)에서는 \[ \forall \varepsilon>0,\ \exists N,\ \forall m,n\ge N:\ d(x_m,x_n)<\varepsilon \] 이면 코시 수열이라 합니다. 모든 수렴 수열은 코시지만, 그 역은 완비성이 없으면 성립하지 않습니다.
정의·표기 전개는 표준 해석학 교재의 기술을 따름.
② “모든 코시 수열이 수렴한다” = 완비성
- 완비 공간: 모든 코시 수열이 그 공간 안의 어떤 점으로 수렴하는 공간.
- \( \mathbb{R} \)에서는 “수렴 ⇔ 코시” (코시 수렴 정리).
- \( \mathbb{Q} \)는 비완비: 유리수로만 이루어진 코시 수열이 무리수로 수렴 가능.
③ MIT 18.100A Lecture 10 요약 — The Completeness of the Reals
핵심 내용
- 실수의 완비성을 바탕으로 \( \mathbb{R} \)에서 “코시 ⇔ 수렴”을 증명.
- 코시 ⇒ 유계, 볼차노–바이어슈트라스로 수렴 부분수열 확보, 극한의 유일성으로 전체 수열의 수렴을 결론.
- 완비성의 등가적 표현, 연속함수 하에서의 보존 등도 함께 다룸.
원문 PDF: MIT 18.100A Lecture 10
④ 코시 ⇔ 수렴 (실수에서) — 증명 스케치
1) 수렴 ⇒ 코시
수열 \( x_n \to x \). 주어진 \( \varepsilon>0 \)에 대해 충분히 큰 \( N \)에서 \( n\ge N \Rightarrow |x_n-x|<\varepsilon/2 \). 그러면 \( m,n\ge N \)이면 \[ |x_m-x_n| \le |x_m-x| + |x_n-x| < \varepsilon. \]
2) 코시 ⇒ 수렴 (실수에서)
- 코시이면 유계.
- 볼차노–바이어슈트라스 정리: 유계 수열은 수렴 부분수열을 가진다.
- 코시 조건으로 전체 수열이 그 점으로 수렴함을 보인다.
아이디어: 유계성 → 부분수열 수렴 → 코시 조건으로 전체 수렴.
자세한 증명은 MIT 18.100A Lecture 10 본문 참고.
⑤ 연습문제 (학부 난이도)
문제 1 · 코시 ⇔ 수렴 (ℝ)
(a) 수렴이면 코시임을, (b) 코시면 수렴임을 증명하라. 힌트: 유계성 → 볼차노–바이어슈트라스 정리 이용.
문제 2 · \( \mathbb{Q} \)는 왜 비완비인가
루트2의 유리 근사 수열을 예로 들어 \( \mathbb{Q} \) 안에서는 코시지만 수렴점이 없음을 보여라.
문제 3 · 일반 거리공간
임의의 거리공간 \( (X,d) \)에서 “수렴 ⇒ 코시”를 증명하고, “코시 ⇒ 수렴”이 일반적으로 성립하지 않는 예를 들어라.
문제 4 · 함수공간 맛보기
\( L^2([0,1]) \)에서 부분합 \( \{S_N\} \)이 코시임을 보이면 급수가 수렴함을 설명하라. (완비성 활용)
⑥ 추천 PDF & 참고
'수리과학' 카테고리의 다른 글
| 텐서 학습노트 (0) | 2025.10.16 |
|---|---|
| 볼차노-바이어슈트라스 정리 (BWT, Bolzano-Weierstrass Theorem) (0) | 2025.10.16 |
| 코시 수열(Cauchy Sequence) 학습노트 (0) | 2025.10.15 |
| 힐베르트 공간 학습노트 (0) | 2025.10.15 |
| [선형대수학] Lesson 0 (3) | 2025.10.12 |