06 Series
📘 Chapter 3 — Series 통합 강의
📍 1. 전체 구조 (Big Picture)
이 절에서부터 Chapter 3의 중심이 본격적으로 무한급수로 이동한다.
- 먼저 series를 “항들의 무한합”이 아니라 partial sums의 limit로 정의한다.
- 그 다음 sequence의 Cauchy criterion을 series 버전으로 바꾼다.
- 일반항이 0으로 가는 것은 필요조건이지만 충분조건은 아니라는 사실을 확인한다.
- nonnegative series에서는 convergence가 partial sum boundedness와 동치가 됨을 본다.
- 마지막으로 comparison test를 도입한다.
이 절의 핵심 메시지는 다음 두 줄로 요약된다.
- 급수는 사실상 “partial sum sequence” 문제다.
- 일반항이 0으로 가는 것만으로는 부족하고, 꼬리합 전체를 통제해야 한다.
🔵 2. 원문 기반 정리 (완전 반영)
▪ Definition 3.21 — Infinite series
sequence ${a_n}$가 주어졌을 때 \(\sum_{n=p}^q a_n\qquad (p\le q)\) 는 유한합 \(a_p+a_{p+1}+\cdots+a_q\) 를 뜻한다.
이제 partial sums를 \(s_n=\sum_{k=1}^n a_k\) 로 정의한다. 기호 \(a_1+a_2+a_3+\cdots, \qquad \sum_{n=1}^{\infty}a_n\) 를 infinite series라고 부른다.
만약 partial sum sequence ${s_n}$가 어떤 $s$로 수렴하면, 우리는 \(\sum_{n=1}^{\infty}a_n=s\) 라고 쓰고, series가 converge한다고 말한다.
즉 “series의 sum”은 단순한 무한 덧셈 결과가 아니라, partial sums의 limit이다.
▪ Theorem 3.22 — Cauchy criterion for series
series $\sum a_n$이 수렴할 필요충분조건은 다음과 같다:
모든 $\varepsilon>0$에 대해 어떤 $N$이 존재하여, $m\ge n\ge N$이면 \(\left|\sum_{k=n}^m a_k\right|\le \varepsilon.\)
▪ Proof
partial sums를 $s_n=\sum_{k=1}^n a_k$라 하면 \(\sum_{k=n}^m a_k=s_m-s_{n-1}.\) 따라서 series가 수렴한다는 것은 partial sum sequence ${s_n}$가 수렴한다는 뜻이고, 이는 Theorem 3.11의 Cauchy criterion과 정확히 같다.
▪ Theorem 3.23
$\sum a_n$이 수렴하면 \(\lim_{n\to\infty}a_n=0.\)
▪ Proof
Theorem 3.22에서 $m=n$으로 두면 \(|a_n|\le \varepsilon \qquad (n\ge N)\) 가 되어 바로 결론이 나온다.
▪ Remark
그러나 \(a_n\to0\) 은 충분조건이 아니다. 대표 반례는 harmonic series \(\sum_{n=1}^{\infty}\frac1n\) 이다.
▪ Theorem 3.24
nonnegative 항들의 series는 수렴할 필요충분조건이 partial sums가 bounded sequence를 이루는 것이다.
▪ Proof
nonnegative series에서는 partial sums가 자동으로 monotonically increasing이다. 따라서 Theorem 3.14를 바로 적용하면 boundedness와 convergence가 동치가 된다.
▪ Theorem 3.25 — Comparison test
어떤 고정된 $N_0$에 대해 $n\ge N_0$이면 \(|a_n|\le c_n\) 이고 $\sum c_n$이 수렴하면, $\sum a_n$도 수렴한다.
$n\ge N_0$에 대해 \(a_n\ge d_n\ge0\) 이고 $\sum d_n$이 발산하면, $\sum a_n$도 발산한다.
▪ Proof
(1) $\epsilon>0$를 주자. $\sum c_n$이 수렴하므로 Cauchy criterion에 의해 어떤 $N\ge N_0$가 있어서 $m\ge n\ge N$이면 \(\sum_{k=n}^m c_k\le \epsilon.\) 이때 \(\left|\sum_{k=n}^m a_k\right| \le \sum_{k=n}^m |a_k| \le \sum_{k=n}^m c_k \le \epsilon.\) 따라서 $\sum a_n$은 Cauchy criterion으로 수렴한다.
(2) 만약 $\sum a_n$이 수렴한다면, $a_n\ge d_n\ge0$이므로 (1)을 역으로 적용하는 방식 또는 Theorem 3.24를 이용해 $\sum d_n$도 수렴해야 한다. 이는 가정과 모순. 따라서 $\sum a_n$은 발산한다.
🟢 3. 개념 해설 + 엄밀성
series를 limit로 정의해야 하는 이유
무한히 많은 수를 실제로 “한 번에 더한다”는 것은 수학적으로 의미가 모호하다. 그래서 해석학은 \(s_1, s_2, s_3, \dots\) 라는 partial sum sequence를 만든 뒤, 그것의 limit로 series를 정의한다.
즉 급수는 본질적으로 수열 문제다.
왜 $a_n\to0$만으로는 부족한가
각 항이 작아진다고 해서 전체 누적합이 멈춘다는 보장은 없다. harmonic series는 항이 0으로 가지만, 너무 천천히 가기 때문에 계속 누적되어 발산한다.
nonnegative series가 쉬운 이유
항이 모두 0 이상이면 partial sums는 절대 내려가지 않는다. 그래서 monotone sequence 정리를 그대로 쓸 수 있다. 이 때문에 nonnegative series는 해석이 훨씬 단순하다.
🟡 4. 핵심 사용법 (문제 풀이 연결)
📌 언제 사용하는가
- 급수가 수렴하는지 정의 수준에서 판정할 때
- tail sum을 제어해야 할 때
- 비교 가능한 표준급수와 크기 비교할 때
- nonnegative series의 bounded partial sums를 이용할 때
📌 문제 풀이 패턴
Cauchy tail 패턴
꼬리합이 작아지는지 본다.necessary condition 패턴
일반항이 0으로 안 가면 즉시 발산.comparison 패턴
익숙한 convergent/divergent series와 비교한다.partial-sum boundedness 패턴
nonnegative series에서는 이것만 보면 된다.
🔴 5. 대표 문제 & 풀이 전략
harmonic series가 왜 중요한가
\(\sum \frac1n\) 은 “일반항이 0으로 가도 발산할 수 있다”는 가장 기본 반례다. 이후의 거의 모든 convergence test는 이 반례를 이기기 위해 등장한다고 봐도 된다.
Chapter 3 과제와의 연결
- Exercise 5는 limsup inequality 문제지만, 뒤쪽에서 series와 꼬리합을 다룰 때도 같은 꼬리 관점이 계속 쓰인다.
- Exercise 14(d)(e)는 average와 tail control을 다루는데, Cauchy-tail 감각이 그대로 연결된다.
⚫ 6. 섹션 체크리스트
- Definition 3.21 포함
- Theorem 3.22 포함
- Theorem 3.23 포함
- Theorem 3.24 포함
- Theorem 3.25 포함
- 문제 풀이 연결 포함
- PDF 원문과 문장 단위 추가 대조 완료
⚪ 7. 이해 확인 & 훈련 문제
개념 확인 질문
- 급수의 sum을 왜 partial sums의 limit로 정의하는가?
- 왜 $a_n\to0$은 필요조건이지 충분조건이 아닌가?
- nonnegative series에서 bounded partial sums가 왜 결정적인가?
간단한 훈련 문제
- $\sum 2^{-n}$의 partial sums를 써 보고 수렴을 확인하라.
- $\sum 1$이 왜 발산하는지 partial sums로 설명하라.
- $0\le a_n\le 1/n^2$이면 $\sum a_n$이 왜 수렴하는지 설명하라.
댓글남기기