균등수렴
점별 vs 균등 — 연속·적분·미분이 극한과 교환되는 조건
개요 — 동기·문제의식
함수열 $\{f_n\}$ 이 함수 $f$ 로 "수렴한다"는 말은 자연스럽게 각 점에서의 수렴(점별수렴)을 떠올리게 한다. 그런데 점별수렴만으로는 미적분의 기본 작업 — 극한과 연속의 교환, 극한과 적분의 교환, 극한과 미분의 교환 — 이 전혀 보장되지 않는다는 것이 해석학 발전사의 충격적인 발견이었다(19세기 초 Cauchy조차 이 함정에 빠졌었다). 균등수렴은 극한이 "잘 행동하게" 만드는 더 강한 조건이다: 균등수렴은 극한과 연속·적분·미분의 교환을 정당화한다. "점별수렴만으로는 부족하다"는 경고가 두 책의 전개를 이끈다.
직관
균등연속과 정확히 같은 패턴의 직관이다 — 점별수렴은 "각 점이 자기 속도로 수렴해도 된다"는 것이고, 균등수렴은 "모든 점이 같은 속도로(같은 $N$ 으로) 동시에 수렴한다"는 것이다. 그래프로 그리면: 균등수렴은 $f$ 의 그래프 주위에 폭 $2\varepsilon$ 인 "관(tube)"을 그렸을 때, 충분히 큰 $n$ 부터는 $f_n$ 의 그래프 전체가 그 관 안에 들어가야 한다는 뜻이다. 점별수렴은 각 $x$ 마다 따로 관 안에 들어가는 시점이 다를 수 있어서, 어떤 고정된 $n$ 에서도 그래프 전체가 관 안에 들어간다는 보장이 없다 — $x^n$ on $[0,1]$ 의 그래프가 $n$ 이 커질수록 $0$ 근처에서는 낮게, $1$ 근처에서는 가파르게 치솟는 모양을 유지하는 것이 바로 이 "관을 벗어나는" 현상이다.
정의
함수열 $\{f_n\}$ 이 $E$ 위에서 $f$ 로 균등수렴(uniformly convergent)한다는 것은:1
$$\forall\varepsilon>0,\ \exists N \text{ s.t. } n\ge N \Rightarrow |f_n(x)-f(x)|<\varepsilon \quad(\forall x\in E \text{ 동시에}).$$
점별수렴과의 차이: 점별수렴은 $N$ 이 $x$ 에 의존할 수 있지만, 균등수렴은 정의역 전체에 같은 $N$. 즉 $\sup_x|f_n(x)-f(x)|\to0$. 이는 균등연속에서 $\delta$ 가 점에 의존하지 않도록 강화한 것과 정확히 평행한 구조다 — 그곳에서는 공간 변수($x$)에 대해 균등했다면, 여기서는 함수열의 인덱스($n$)와 무관하게 공간 변수 전체에 동시 균등하다는 것.
| 정량사 순서 | 의미 | |
|---|---|---|
| 점별수렴 | $\forall x\,\forall\varepsilon\,\exists N$ | $N$ 이 $x$ 에 의존 가능 |
| 균등수렴 | $\forall\varepsilon\,\exists N\,\forall x$ | $N$ 이 $\varepsilon$ 에만 의존, 모든 $x$ 에 동시 적용 |
주요 정리
정리 1 (Cauchy 판정). $\{f_n\}$ 이 균등수렴 $\iff$ $\forall\varepsilon>0,\ \exists N$ s.t. $m,n\ge N \Rightarrow \sup_x|f_n(x)-f_m(x)|<\varepsilon$.
증명 보기
증명 스케치. ($\Rightarrow$) 삼각부등식 $|f_n(x)-f_m(x)|\le|f_n(x)-f(x)|+|f(x)-f_m(x)|$. ($\Leftarrow$) 각 고정된 $x$ 에서 $\{f_n(x)\}$ 가 실수의 Cauchy 수열이므로 완비성 공리에 의해 극한 $f(x)$ 가 존재 — 점별극한 $f$ 가 정의된 후, $m\to\infty$ 극한을 취하면(Cauchy 부등식에서) 균등수렴 조건이 따라옴. ∎ 이 정리의 핵심은 함수공간 $\mathscr{C}(X)$ 가 sup-노름으로 완비라는 사실의 증명과 본질적으로 같다 — 거리공간 예제 2.
정리 2 (Weierstrass M-판정). $|f_n(x)|\le M_n$ 이고 $\sum M_n<\infty$ 이면 $\sum f_n$ 은 균등수렴한다.2
증명 보기
증명. 부분합 $s_n=\sum_{k=1}^n f_k$ 의 Cauchy성을 확인: $m>n$ 일 때 $|s_m(x)-s_n(x)|=\left|\sum_{k=n+1}^m f_k(x)\right|\le\sum_{k=n+1}^m|f_k(x)|\le\sum_{k=n+1}^m M_k$ — $\sum M_n$ 이 수렴하므로 그 꼬리합이 $0$ 으로 가서(실수 급수의 Cauchy 판정), 우변이 임의로 작아진다. 이 상계가 $x$ 와 무관하므로 정리 1(균등 Cauchy 판정)로 균등수렴. ∎
정리 3 (연속함수의 균등극한은 연속). $f_n\to f$ 균등수렴이고 각 $f_n$ 이 연속이면 $f$ 도 연속이다.
증명 보기
증명 ($\varepsilon/3$ 논법). $p\in E$ 와 $\varepsilon>0$ 고정. 균등수렴으로 $n$ 을 충분히 크게 잡아 모든 $x\in E$ 에서 $|f_n(x)-f(x)|<\varepsilon/3$. $f_n$ 의 ($p$ 에서의) 연속성으로 $\delta>0$: $d(x,p)<\delta\Rightarrow|f_n(x)-f_n(p)|<\varepsilon/3$. 그러면 $d(x,p)<\delta$ 인 $x$ 에서 $$|f(x)-f(p)|\le|f(x)-f_n(x)|+|f_n(x)-f_n(p)|+|f_n(p)-f(p)|<\varepsilon/3+\varepsilon/3+\varepsilon/3=\varepsilon.$$ ∎ ($\lim_n \lim_{x\to a} f_n = \lim_{x\to a}\lim_n f_n$ 라는 극한 교환의 정당화가 바로 이 증명.)
정리 4 (항별 적분). $f_n\to f$ 균등수렴, $[a,b]$ 에서 각 $f_n$ 적분가능이면 $f$ 도 적분가능하고 $\int_a^b f = \lim_n\int_a^b f_n$.
증명 보기
증명 스케치. $\left|\int f_n - \int f\right| = \left|\int(f_n-f)\right| \le \int|f_n-f| \le (b-a)\sup_x|f_n(x)-f(x)| \to 0$ — 균등수렴의 $\sup$ 통제가 적분 부등식에 직접 들어가는 구조. 점별수렴만으로는 이 부등식의 마지막 단계가 성립하지 않는다(각 $x$ 마다 다른 속도로 가면 $\sup$ 가 통제되지 않음).
정리 5 (항별 미분). (도함수에 주의하여) $f_n'$ 이 균등수렴하고 어떤 한 점에서 $f_n$ 이 수렴하면 $f_n\to f$ (균등)이고 $f'=\lim f_n'$ — 가설이 $f_n$ 자체가 아니라 $f_n'$ 의 균등수렴에 걸려 있다는 점이 특이하다(예제 3 참고, 가장 깨지기 쉬운 정리).
이들이 멱급수를 수렴반경 내부에서 미분가능하게 하고, $\exp$·$\log$·삼각함수를 엄밀히 정초한다.
예제
예제 1 (점별수렴만 되고 균등수렴은 실패 — 불연속 극한). $f_n(x)=x^n$ on $[0,1]$: 점별극한은 불연속($f(x)=0$ for $x<1$, $f(1)=1$)이고 균등수렴 아님 — 균등극한이면 연속이어야 하므로(정리 3의 대우). 직접 확인: $\sup_{[0,1]}|x^n-f(x)|=1$ (어느 $n$ 에서도 $x$ 가 $1$ 에 충분히 가까우면 $x^n$ 이 $1$ 에 가까워 $f(x)=0$ 과의 차이가 $1$ 에 근접).
예제 2 (같은 함수열, 구간을 좁히면 균등수렴). $f_n(x)=x^n$ on $[0,a]$ ($a<1$): 균등수렴($\to0$) — $\sup_{[0,a]}|x^n|=a^n\to0$ (구간 끝에서의 "위험 지점" $x=1$ 을 배제했기 때문).
예제 3 (균등수렴해도 항별 미분이 실패할 수 있음). $f_n(x)=\dfrac{\sin nx}{n}$: $\mathbb{R}$ 에서 균등수렴($\to0$, $\sup\le1/n$), 그러나 도함수 $f_n'(x)=\cos nx$ 는 수렴 안 함(예: $x=0$ 에서 $f_n'(0)=1$ 은 상수로 머물지만 다른 점에서는 진동) — 항별 미분에 가정($f_n'$ 자체의 균등수렴)이 필요한 이유를 보여주는 결정적 반례.
예제 4 (M-판정의 직접 응용). $\sum \dfrac{1}{n^2}\cos nx$: M-판정($M_n=1/n^2$, $\sum1/n^2=\pi^2/6<\infty$)으로 균등수렴 — 합 함수가 자동으로 연속(정리 3)이고 항별 적분 가능(정리 4).
예제 5 (균등수렴이 적분의 극한을 바꾸는 결정적 예). $f_n(x) = n^2x(1-x^2)^n$ on $[0,1]$ 은 점별로 $0$ 에 수렴하지만($x>0$ 고정 시 $(1-x^2)^n\to0$ 이 $n^2$ 보다 빠르게 소멸 — 단, 정확한 형태에 따라 균등성 여부가 갈림) $\int_0^1 f_n\,dx$ 가 $0$ 으로 가지 않을 수 있는 구성이 가능 — 이런 함수열은 균등수렴이 아니며, 정리 4의 가설(균등수렴)이 빠지면 $\lim\int f_n \ne \int\lim f_n$ 이 실제로 일어날 수 있음을 경고하는 표준적 반례 패턴이다.
예제 6 (Cauchy 판정의 직접 적용). $f_n(x) = \sum_{k=1}^n x^k/k!$ (지수함수의 부분합)은 $[-R,R]$ 의 임의의 유계구간에서 균등 Cauchy임을 비율판정으로 확인할 수 있어, 정리 1로 균등수렴 — 이것이 $\exp$ 의 멱급수 정의를 정당화하는 핵심 단계.
두 교재의 접근
본질은 작고, 범위가 특징적이다.
- Rudin 7장: 균등수렴을 일반 거리/함수공간에서 전개하고, 공간 $\mathscr{C}(X)$ 를 sup-노름으로 도입(균등수렴 = 이 거리의 수렴), 동등연속(equicontinuity) 과 Arzelà–Ascoli 정리, 그리고 정점 stone weierstrass 까지.
- Bartle §8.1–8.2: 점별 vs 균등수렴과 극한 교환 정리를 다루고, 곧장 §8.3–8.4에서 이를 응용해 초월함수를 세운다3 — 구체적으로 머물며 Arzelà–Ascoli·Stone–Weierstrass는 추구하지 않음.
흔한 오해와 함정
- "점별수렴 + 각 $f_n$ 연속 ⇒ 극한도 연속"이라고 가정 — 거짓(예제 1). 균등수렴이라는 추가 가정이 본질적이다.
- "균등수렴이면 항별 미분도 자동으로 된다" — 거짓(예제 3). 항별 미분 정리는 $f_n$ 자체가 아니라 도함수열 $f_n'$ 의 균등수렴을 요구한다 — 세 정리(연속·적분·미분) 중 가장 강한 가설을 요구하는 것이 미분.
- Cauchy 판정을 점별 Cauchy성과 혼동 — 정리 1의 $\sup_x|f_n(x)-f_m(x)|<\varepsilon$ 은 $x$ 에 대해 동시에 성립해야 한다. 각 $x$ 마다 따로 Cauchy인 것(점별 Cauchy)은 점별수렴만 보장하지 균등수렴을 보장하지 않는다.
- M-판정을 필요충분조건으로 오해 — M-판정은 균등수렴의 충분조건일 뿐 필요조건이 아니다. M-판정이 적용 안 되는데도 균등수렴하는 급수가 있을 수 있다(절대수렴이 아닌 경우 등).
- "균등수렴은 항상 좋은 것"이라며 함수열의 구간을 점검하지 않음 — 균등수렴은 정의역에 강하게 의존한다(예제 1 vs 예제 2, 같은 함수열이 $[0,1]$ 에서는 실패하고 $[0,a]$ 에서는 성립). 정의역을 명시하지 않은 "균등수렴"은 의미가 불완전하다.
큰 그림 / 연결
균등수렴은 균등연속과 정확히 평행한 "정량사 균등화" 패턴의 함수열 버전이며, 연속·리만 적분·미분 세 영역 모두에서 극한 교환을 정당화하는 단일 메커니즘이다. 거리공간의 관점에서는, 균등수렴이 정확히 sup-노름 거리 $d(f,g)=\sup|f-g|$ 에서의 수렴이며, 이 거리에서 함수공간 $\mathscr{C}(X)$ 가 완비라는 사실(Cauchy 판정의 증명)이 완비성 공리의 "Cauchy 완비성"이 점들의 공간을 넘어 함수들의 공간으로 일반화되는 첫 사례다. 멱급수는 수렴반경 내부의 콤팩트 부분집합에서 항상 균등수렴하므로 이 모든 정리(연속·적분·미분)를 자동으로 누리며, 이것이 $\exp,\log,\sin,\cos$ 같은 초월함수를 엄밀하게 정초하는 표준 경로다. Rudin의 stone weierstrass 정리는 "임의의 연속함수를 다항식(또는 더 일반적 함수족)으로 균등하게 근사할 수 있다"는, 균등수렴 개념의 정점에 해당하는 결과다.
연습문제
- $f_n(x)=x/n$ on $[0,1]$ 이 균등수렴함을 직접 증명하라($\sup$ 을 계산).
- $f_n(x)=\dfrac{x}{1+nx^2}$ on $\mathbb{R}$ 이 $0$ 으로 균등수렴함을 보여라.
- Cauchy 판정(정리 1)의 ($\Rightarrow$) 방향을 증명하라.
- M-판정(정리 2)을 이용해 $\sum \dfrac{x^n}{n^2}$ 이 $[-1,1]$ 에서 균등수렴함을 보여라.
- 본문 예제 1($x^n$ on $[0,1]$)이 균등수렴이 아님을 $\sup$ 을 직접 계산해 증명하라.
- 정리 3($\varepsilon/3$ 논법)을 본문 스케치를 보고 빈틈없이 다시 써 보라.
- 항별 적분 정리(정리 4)가 실패하는 (균등수렴이 아닌) 구체적인 함수열의 예를 들어라.
- $f_n \to f$ 균등수렴이고 모든 $f_n$ 이 유계이면 $f$ 도 유계이고, 어떤 $M$ 이 존재해 모든 $n$ ($n\ge N$ 이후)에서 $f_n$ 도 그 $M$ 으로 균등하게 유계임을 보여라.
힌트 / 정답
- $\sup_{[0,1]}|x/n-0|=1/n\to0$ — 균등수렴.
- $\left|\frac{x}{1+nx^2}\right|$ 를 $x$ 에 대해 미분해 최댓값을 구하면 $x=1/\sqrt n$ 에서 최댓값 $\frac{1}{2\sqrt n}\to0$ — 균등수렴.
- 본문 정리 1 증명 참고: 삼각부등식 $|f_n(x)-f_m(x)|\le|f_n(x)-f(x)|+|f(x)-f_m(x)|$, 양변이 $\varepsilon/2$ 씩 통제되면 합도 $\varepsilon$ 이하.
- $|x^n/n^2|\le1/n^2$ on $[-1,1]$, $\sum1/n^2<\infty$ — M-판정.
- $x=(1/2)^{1/n}$ 에서 $x^n=1/2$, $f(x)=0$ (since $x<1$) — 차이 $1/2$, 또는 더 직접적으로 $x\to1^-$ 일 때 $x^n\to1$ 이므로 $\sup_{[0,1]}|x^n-f(x)|\ge\sup_{x<1}|x^n-0|=1$ (극한을 취하면) — $\sup$ 이 $0$ 으로 가지 않음.
- 본문 정리 3 증명 그대로 — $\varepsilon/3$ 씩 세 부분으로 쪼개 삼각부등식.
- $f_n(x) = n$ on $(0,1/n)$, $f_n(x)=0$ 그 외, $[0,1]$ 위에서: 점별로 $0$ 에 수렴($x>0$ 고정 시 충분히 큰 $n$ 에서 $x>1/n$)하지만 $\int_0^1 f_n = n\cdot(1/n) = 1$ 이 항상 $1$ — $\int\lim f_n=0\ne1=\lim\int f_n$, 균등수렴 실패가 원인.
- $\varepsilon=1$ 에 대응하는 $N$ 을 잡으면 $n\ge N$ 에서 $\sup_x|f_n(x)-f(x)|<1$ — $f_N$ 이 유계($|f_N|\le M_N$)이므로 $|f(x)|\le|f_N(x)|+1\le M_N+1$ 이 모든 $x$ 에서 성립, $f$ 유계. 비슷하게 $n\ge N$ 인 모든 $f_n$ 도 $|f_n(x)|\le|f(x)|+1\le M_N+2$ 로 균등하게 유계.
관련 개념
-
원전 소개 — Rudin §7.7 — "a sequence of functions {fₙ}... converges uniformly on E to a function f if for every ε > 0 there is an integer N such that [|fₙ(x) − f(x)| ≤ ε] for all x ∈ E whenever n ≥ N." ↩
-
원전 소개 — Rudin §7.8, §7.10 [synthesis] — 균등수렴의 Cauchy 판정과 Weierstrass M-판정("|fₙ(x)| ≤ Mₙ... Σfₙ converges uniformly on E if ΣMₙ converges"). ↩
-
원전 소개 — Bartle §8.1–8.4 / Preface — "Sequences of functions and uniform convergence are discussed in the first two sections of Chapter 8, and the basic transcendental functions are put on a firm foundation in Section 8.3 and 8.4 by using uniform convergence." ↩