Real Analysis · Bolzano–Weierstrass
볼차노–바이어슈트라스 정리: 개념 · 증명법 · 연습문제 + 추천 PDF
“유계 수열은 수렴 부분수열을 가진다.” — 모바일에서도 깨지지 않는 수식 표기로 깔끔하게 정리했습니다.
① 볼차노–바이어슈트라스 정리: 정의와 의미
핵심: 유계 ⇒ 수렴 부분수열
정리(BWT). 모든 유계 실수 수열 (xn)은 적어도 하나의 수렴 부분수열을 갖는다. 같은 내용은 ℝn에서도 성립한다.
- 의미: “완비성/콤팩트성”으로 가는 관문. 유계성만으로 전체 수열의 수렴은 보장 못 해도, 부분수열은 반드시 수렴한다.
- 등가표현: 닫힌 구간
[a,b]는 콤팩트 ↔ 순차콤팩트(모든 수열이 수렴 부분수열을 가짐). - 활용: 단조부분수열 존재, lim sup/lim inf 존재, 연속·적분·미분의 핵심 정리들에 반복 등장.
② 대표 증명법 4가지
1) 구간 이분법(중첩 구간)
- 유계를
[a,b]로 두고 절반씩 이분한다. 무한히 많은 항이 들어가는 절반을 매 단계 선택. - 길이
2−k(b−a)인 중첩 구간열[ak, bk]생성. - 완비성으로
∩k[ak, bk] = {c}인 점c가 존재. - 각 단계 구간에 속하는 항을 뽑아
(xnk)를 만들면xnk → c.
교과서적 고전 증명.
2) 단조부분수열 정리 사용
- 임의의 수열에는 단조 부분수열이 존재(에르되시–셀레시/간단한 구성).
- 유계 + 단조 ⇒ 수렴(단조수렴정리) → 수렴 부분수열 존재.
3) lim sup / lim inf 접근
- 유계 수열에 대해
lim sup xn,lim inf xn가 항상 존재. - 각각을 극한으로 하는 부분수열을 구성 가능 → 수렴 부분수열 보장.
4) 콤팩트성/순차콤팩트성
[a,b]는 콤팩트(하이네–보렐).- 콤팩트 ⇔ 순차콤팩트: 임의의 수열은 수렴 부분수열을 갖는다.
- 따라서
(xn)⊂[a,b]이면 BWT.
③ 연습문제 (학부 난이도)
문제 1 · 이분법 증명 완성
유계 수열 (xn)⊂[a,b]에 대해, “중첩 구간” 아이디어로 BWT를 증명하라(부분수열 선택 과정을 엄밀히 작성).
핵심 각 단계에서 구간에 들어가는 인덱스를 증가시키며 선택해
n1<n2<…를 만든다. 구간 길이 → 0 이면 한 점 c로 모이고, 선택한 항도 c로 수렴.문제 2 · 단조부분수열로 BWT
“임의의 수열에는 단조부분수열이 있다”를 증명하고, 유계성을 이용해 BWT를 유도하라.
힌트 피크 인덱스를 기준으로 증가/감소 부분수열 구성. 유계 단조수열은 수렴.
문제 3 · lim sup/lim inf 부분수열
유계 수열 (xn)에 대해 lim sup xn를 극한으로 하는 부분수열을 구성하라.
아이디어 상한열
ak = sup{xn : n ≥ k} 사용. ak에 ε-근접한 항을 단계별로 골라 부분수열을 만든다.문제 4 · ℝn 확장
ℝn에서 BWT를 보이라(대각화 또는 좌표별 적용).
스케치 좌표마다 수렴 부분수열을 순차 선택(대각화). 또는 초입방체 이분.
보너스 · 표기 모음(모바일 안전)
n→∞, lim sup xn, lim inf xn, |xm−xn|, [a,b], a≤b, xnk→c
④ 추천 PDF (신뢰도 높은 학부 자료)
정의–증명–응용이 균형 있는 최신/공식 강의노트를 우선했습니다.
'수리과학' 카테고리의 다른 글
| 체(Field) 학습노트 2 (0) | 2025.10.29 |
|---|---|
| 텐서 학습노트 (0) | 2025.10.16 |
| 코시 수열 (Cauchy Sequence) 학습노트 2 (0) | 2025.10.15 |
| 코시 수열(Cauchy Sequence) 학습노트 (0) | 2025.10.15 |
| 힐베르트 공간 학습노트 (0) | 2025.10.15 |