함수열과 함수급수 (Sequences & Series of Functions)
함수열 $\{f_n\}$은 각 자연수 $n$에 대해 정의된 함수의 나열입니다. 단순히 값이 수렴하는지를 넘어, 수렴한 결과인 극한함수 $f$가 연속성, 미분 가능성, 적분 가능성을 보존하는가를 탐구합니다.
Pointwise Convergence
1. 점별 수렴
정의역의 각 점 $x$를 고정했을 때, 수열 $f_n(x)$가 $f(x)$로 수렴하는 경우입니다.
$$f(x) = \lim_{n \to \infty} f_n(x)$$
한계점
- 각 $f_n$이 연속이라도 극한함수 $f$는 불연속일 수 있습니다.
- 적분과 극한의 순서를 함부로 바꿀 수 없습니다.
Uniform Convergence
2. 평등 수렴 (균등 수렴)
모든 $x$에 대해 $n$이 커짐에 따라 $f_n$이 $f$에 "동시에, 고르게" 접근하는 강력한 수렴 조건입니다.
$$\forall \epsilon > 0, \exists N \text{ s.t. } n \ge N \implies |f_n(x) - f(x)| < \epsilon, \forall x$$
강점 (유전적 성질)
- 연속성: $f_n$이 연속이고 평등 수렴하면 $f$도 연속입니다.
- 적분: $\lim \int f_n = \int \lim f_n$ (순서 교환 가능)
함수급수와 바이어슈트라스 M-판정법
함수급수 $\sum f_n(x)$의 평등 수렴을 판정하는 가장 실용적인 도구입니다.
$$\text{만약 } |f_n(x)| \le M_n \text{ 이고 } \sum M_n \text{ 이 수렴하면, } \sum f_n(x) \text{ 는 평등 수렴한다.}$$
핵심 요약: 왜 평등 수렴이 중요한가?
- 극한의 교환: 미분과 극한, 적분과 극한의 순서를 바꾸기 위해서는 평등 수렴이라는 '안전장치'가 필요합니다.
- 함수의 근사: 복잡한 함수를 간단한 함수열(예: 다항식)로 근사할 때, 근사의 오차가 전체 영역에서 일정하게 작아짐을 보장합니다.