해석학 (Analysis)

해석학은 미적분학의 엄밀한 기초를 제공하는 수학 분야입니다. 19세기 바이어슈트라스, 코시, 리만 등에 의해 극한, 수렴, 연속성 등의 개념이 $\varepsilon$-$\delta$ 논법으로 정밀하게 체계화되었습니다. 현대 해석학은 실해석학, 복소해석학, 함수해석학으로 확장됩니다.

해석학이란? — 미적분학과 무엇이 다른가

미적분학(Calculus)을 배우신 분이라면 이런 의문을 가지실 수 있습니다. "극한, 미분, 적분을 이미 배웠는데, 해석학은 왜 따로 있는 것입니까?" 그 핵심 차이는 엄밀성(rigor)에 있습니다.

해석학은 역사적으로도 미적분학의 "위기"에서 탄생했습니다. 18세기까지 수학자들은 극한의 엄밀한 정의 없이 미분과 적분을 사용했고, 그 결과 여러 역설과 오류가 발생했습니다. 19세기에 코시(Cauchy), 바이어슈트라스(Weierstrass) 등이 $\varepsilon$-$\delta$ 논법을 도입하면서 비로소 미적분학의 논리적 기초가 완성되었습니다.

이런 곳에 쓰여요

선수 지식: 미적분학, 집합론

난이도: ★★★★★ (대학교 심화)

실수의 완비성

실수 체계 $\mathbb{R}$의 가장 본질적인 성질은 완비성(Completeness)입니다. 직관적으로 "수직선에 빈틈이 없다"는 뜻이며, 여러 동치 형태로 표현됩니다.

상한 공리 (Least Upper Bound Property)

$\mathbb{R}$의 비어 있지 않은 부분집합 $S$가 위로 유계이면 상한 $\sup S \in \mathbb{R}$가 존재합니다.

상한의 정의: $M = \sup S$는 (1) 모든 $s \in S$에 대해 $s \leq M$이고 (2) $M' < M$이면 $s > M'$인 $s \in S$가 존재하는 수입니다.

예시: $S = \{q \in \mathbb{Q} \mid q^2 < 2\}$에서 $\sup S = \sqrt{2}$입니다. 이 상한은 $\mathbb{Q}$에 존재하지 않으므로 $\mathbb{Q}$는 완비가 아닙니다.

데데킨트 절단 (Dedekind Cut)

데데킨트 절단은 실수를 유리수만으로 구성하는 방법입니다. 유리수 집합 $\mathbb{Q}$를 두 부분 $(A, B)$로 나누되, 다음 조건을 만족시킵니다:

1. $A \neq \emptyset$, $B \neq \emptyset$이고 $A \cup B = \mathbb{Q}$이다.
2. 모든 $a \in A$와 $b \in B$에 대하여 $a < b$이다.
3. $A$에는 최대원소가 없다.

각 절단 $(A, B)$가 하나의 실수를 정의합니다. 예를 들어 $\sqrt{2}$에 대응하는 절단은:

이 절단에서 $A$의 "경계"에 해당하는 수가 바로 $\sqrt{2}$이지만, 이 수는 $\mathbb{Q}$ 안에 존재하지 않습니다. 데데킨트 절단은 이러한 "빈틈"을 메꾸어 실수를 완성합니다.

완비성의 동치 조건

볼차노-바이어슈트라스 정리 (Bolzano-Weierstrass Theorem)

정리: $\mathbb{R}$에서 유계인 수열은 수렴하는 부분수열(subsequence)을 가진다.

증명 (축소 구간법):

1. 수열 $\{a_n\}$이 $[c, d]$에 포함된다고 하자. 구간을 이등분하면 $[c, \frac{c+d}{2}]$와 $[\frac{c+d}{2}, d]$ 중 적어도 하나에 무한히 많은 항이 들어 있다.
2. 무한히 많은 항이 들어 있는 쪽을 $[c_1, d_1]$로 잡는다. 이 과정을 반복하면 축소하는 구간열 $[c_k, d_k]$를 얻고, $d_k - c_k = \frac{d-c}{2^k} \to 0$이다.
3. 축소 구간 정리에 의해 $\bigcap_{k=1}^{\infty} [c_k, d_k] = \{L\}$인 점 $L$이 존재한다.
4. 각 $[c_k, d_k]$에서 항 $a_{n_k}$를 ($n_k$가 순증가하도록) 뽑으면, $|a_{n_k} - L| \leq d_k - c_k \to 0$이므로 부분수열 $\{a_{n_k}\}$는 $L$에 수렴한다. $\blacksquare$

수열의 수렴

수열의 수렴 정의 — $\varepsilon$-$N$ 논법을 직관적으로

수열 $\{a_n\}$이 $L$에 수렴한다는 것은:

$\lim_{n \to \infty} a_n = L$로 표기합니다.

구체적 예시: $a_n = \frac{1}{n}$이 $0$에 수렴함을 증명하겠습니다.

임의의 $\varepsilon > 0$이 주어졌다고 합시다. $N = \lceil 1/\varepsilon \rceil + 1$로 잡으면, $n \geq N$일 때:

예를 들어 $\varepsilon = 0.01$이면 $N = 101$로 잡으면 됩니다. $n \geq 101$이면 $\frac{1}{n} \leq \frac{1}{101} < 0.01$이 성립합니다. $\varepsilon = 0.001$이면 $N = 1001$로 잡으면 됩니다. 과녁이 줄어들수록 $N$이 커지지만, 항상 찾을 수 있으므로 수렴합니다.

수렴 수열의 성질

• 유계성: 수렴 수열은 유계입니다.
• 극한의 유일성: 수렴 수열의 극한은 유일합니다.
• 산술 법칙: 수렴 수열의 합, 곱, 몫(분모 $\neq 0$)도 수렴합니다.
• 조임 정리(Squeeze Theorem): $a_n \leq b_n \leq c_n$이고 $a_n \to L$, $c_n \to L$이면 $b_n \to L$이다.

조임 정리 증명: 임의의 $\varepsilon > 0$에 대하여, $a_n \to L$이므로 $n \geq N_1$이면 $|a_n - L| < \varepsilon$, 즉 $L - \varepsilon < a_n$이다. 마찬가지로 $c_n \to L$이므로 $n \geq N_2$이면 $c_n < L + \varepsilon$이다. $N = \max(N_1, N_2)$로 잡으면, $n \geq N$일 때:

따라서 $|b_n - L| < \varepsilon$이다. $\blacksquare$

코시 수열 (Cauchy Sequence)

수열 $\{a_n\}$이 코시 수열이면:

$\mathbb{R}$에서 수렴하는 수열 $\Leftrightarrow$ 코시 수열입니다. 이 동치가 바로 실수의 완비성입니다.

상극한과 하극한

유계 수열 $\{a_n\}$에 대하여:

$\{a_n\}$이 수렴 $\Leftrightarrow$ $\limsup a_n = \liminf a_n$

상극한의 직관적 이해: $\limsup a_n$은 수열이 "결국 도달할 수 있는 가장 큰 값"입니다. 좀 더 정확히 말하면, 수열의 부분수열이 수렴할 수 있는 극한값 중 가장 큰 것입니다.

예시: $a_n = (-1)^n + \frac{1}{n}$일 때, 홀수 항은 $-1 + \frac{1}{n} \to -1$, 짝수 항은 $1 + \frac{1}{n} \to 1$이므로:

두 값이 다르므로 이 수열은 수렴하지 않습니다.

주요 극한 예시

급수의 수렴

급수 $\sum_{n=1}^{\infty} a_n$은 부분합 수열 $S_N = \sum_{n=1}^{N} a_n$이 수렴할 때 수렴합니다.

발산 판정법 (필요조건)

$\sum a_n$이 수렴하면 $\lim a_n = 0$입니다. 역은 성립하지 않습니다 ($\sum \frac{1}{n}$은 $a_n \to 0$이지만 발산).

양항급수의 수렴 판정법

적분 판정법 — 상세 설명과 증명

정리: $f: [1, \infty) \to \mathbb{R}$가 양의 감소함수이고 $a_n = f(n)$이면, 급수 $\sum_{n=1}^{\infty} a_n$과 이상적분 $\int_1^{\infty} f(x)\,dx$는 동시에 수렴하거나 동시에 발산한다.

증명: $f$가 감소함수이므로 $[k, k+1]$에서 $f(k+1) \leq f(x) \leq f(k)$이다. 양변을 적분하면:

$k = 1, 2, \ldots, N-1$에 대해 합산하면:

따라서 부분합 $S_N$과 적분 $\int_1^N f(x)\,dx$는 서로를 위아래로 제어하므로, 한쪽이 유계(수렴)이면 다른 쪽도 유계(수렴)이다. $\blacksquare$

예시 ($p$-급수): $\sum \frac{1}{n^p}$의 수렴/발산을 적분 판정법으로 확인하겠습니다.

따라서 $\sum \frac{1}{n^p}$는 $p > 1$일 때 수렴하고, $p \leq 1$일 때 발산합니다.

수렴 판정법 — 단계별 예제

각 판정법을 실제로 어떻게 사용하는지 예제를 통해 살펴보겠습니다.

비교 판정법 예제

문제: $\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^2 + 1}$의 수렴/발산을 판정하십시오.

풀이: 모든 $n \geq 1$에서 $n^2 + 1 > n^2$이므로:

$\sum \frac{1}{n^2}$은 $p$-급수($p=2 > 1$)이므로 수렴합니다. 비교 판정법에 의해 $\sum \frac{1}{n^2+1}$도 수렴합니다.

비율 판정법 예제

문제: $\displaystyle\sum_{n=1}^{\infty} \frac{n!}{3^n}$의 수렴/발산을 판정하십시오.

풀이: 연속하는 두 항의 비를 구합니다:

$L > 1$이므로 이 급수는 발산합니다. 팩토리얼은 지수함수보다 훨씬 빠르게 증가하기 때문입니다.

근 판정법 예제

문제: $\displaystyle\sum_{n=1}^{\infty} \left(\frac{2n+1}{3n+2}\right)^n$의 수렴/발산을 판정하십시오.

풀이:

$L < 1$이므로 이 급수는 수렴합니다.

교대급수와 절대수렴/조건수렴

교대급수 판정법 (라이프니츠): $a_n > 0$이 단조감소하고 $a_n \to 0$이면 $\sum (-1)^n a_n$은 수렴합니다.

증명: 부분합 $S_{2n} = a_1 - a_2 + a_3 - \cdots - a_{2n}$을 살펴보겠습니다.

• $S_{2n} = S_{2n-2} + (a_{2n-1} - a_{2n}) \geq S_{2n-2}$ (단조감소이므로 $a_{2n-1} \geq a_{2n}$) $\to$ $\{S_{2n}\}$은 단조 증가
• $S_{2n} = a_1 - (a_2 - a_3) - (a_4 - a_5) - \cdots - a_{2n} \leq a_1$ $\to$ $\{S_{2n}\}$은 위로 유계

단조수렴정리에 의해 $\{S_{2n}\}$은 어떤 $S$로 수렴합니다. $S_{2n+1} = S_{2n} + a_{2n+1}$이고 $a_{2n+1} \to 0$이므로 $\{S_{2n+1}\}$도 $S$로 수렴합니다. 따라서 $\{S_n\}$이 $S$로 수렴합니다. $\blacksquare$

절대수렴과 조건수렴

• 절대수렴(Absolute Convergence): $\sum |a_n|$이 수렴하면 $\sum a_n$은 절대수렴한다. 절대수렴 $\implies$ 수렴.
• 조건수렴(Conditional Convergence): $\sum a_n$은 수렴하지만 $\sum |a_n|$은 발산. 예: $\sum \frac{(-1)^{n+1}}{n}$

$\mathbb{R}^n$에서의 위상적 개념

해석학의 많은 정리는 위상수학적 개념에 의존합니다. 여기서는 $\mathbb{R}^n$에서 가장 핵심적인 위상 개념을 다루겠습니다.

열린집합과 닫힌집합

열린 공(Open Ball): $\mathbb{R}^n$에서 중심이 $\mathbf{a}$이고 반지름이 $r > 0$인 열린 공은:

열린집합(Open Set): 집합 $U \subseteq \mathbb{R}^n$가 열린집합이란, $U$의 모든 점이 내점(interior point)인 것입니다. 즉, 모든 $\mathbf{x} \in U$에 대하여 $B(\mathbf{x}, r) \subseteq U$인 $r > 0$이 존재합니다.

닫힌집합(Closed Set): 여집합 $U^c$가 열린집합인 집합을 닫힌집합이라 합니다. 동치 조건으로, $U$가 닫힌집합이란 $U$ 안의 수렴하는 수열의 극한이 항상 $U$에 속하는 것입니다.

열린집합의 성질:

• 임의 개수의 열린집합의 합집합은 열린집합이다.
• 유한 개의 열린집합의 교집합은 열린집합이다. (무한 교집합은 열린집합이 아닐 수 있다: $\bigcap_{n=1}^{\infty}(-\frac{1}{n}, \frac{1}{n}) = \{0\}$)

콤팩트성 (Compactness)

$\mathbb{R}^n$에서 콤팩트(compact)하다는 것은 여러 동치 조건으로 특성화됩니다.

정의: 집합 $K \subseteq \mathbb{R}^n$가 콤팩트하다 $\Leftrightarrow$ $K$의 모든 열린 덮개(open cover)가 유한 부분덮개(finite subcover)를 가진다.

하이네-보렐 정리(Heine-Borel Theorem): $\mathbb{R}^n$의 부분집합 $K$에 대하여 다음은 동치이다:

1. $K$는 콤팩트하다 (모든 열린 덮개가 유한 부분덮개를 가진다).
2. $K$는 닫혀 있고 유계이다.
3. $K$의 모든 수열은 $K$에 수렴하는 부분수열을 가진다 (점열 콤팩트).

연결성 (Connectedness)

정의: 집합 $S \subseteq \mathbb{R}^n$가 연결(connected)이란, $S$를 두 개의 비어있지 않은 서로소인 열린집합의 합집합으로 나눌 수 없는 것입니다.

경로 연결(Path-connected): $S$의 임의의 두 점 $\mathbf{a}, \mathbf{b}$에 대하여 $S$ 안에 $\mathbf{a}$에서 $\mathbf{b}$로 가는 연속 경로가 존재하면 경로 연결이라 합니다. $\mathbb{R}^n$에서 경로 연결과 연결은 열린 집합에 대해 동치입니다.

$\mathbb{R}$에서의 연결 부분집합: $\mathbb{R}$의 부분집합이 연결인 것과 구간(interval)인 것은 동치입니다. 이 사실이 바로 중간값 정리의 근거가 됩니다.

함수의 연속

점별 연속 ($\varepsilon$-$\delta$ 정의)

$f: D \to \mathbb{R}$가 $c \in D$에서 연속:

구체적 예시: $f(x) = 3x + 1$이 $c = 2$에서 연속임을 $\varepsilon$-$\delta$로 증명하겠습니다.

$f(2) = 7$이므로 $|f(x) - 7| = |3x + 1 - 7| = 3|x - 2|$입니다.

$|f(x) - 7| < \varepsilon$이 되려면 $3|x - 2| < \varepsilon$, 즉 $|x - 2| < \varepsilon/3$이면 됩니다.

따라서 $\delta = \varepsilon / 3$으로 잡으면 정의를 만족합니다.

예시 2: $f(x) = x^2$이 $c$에서 연속임을 증명하겠습니다.

$|f(x) - f(c)| = |x^2 - c^2| = |x+c||x-c|$입니다. $|x - c| < 1$로 제한하면 $|x| < |c| + 1$이므로 $|x+c| < 2|c| + 1$입니다.

따라서 $\delta = \min\left(1, \frac{\varepsilon}{2|c|+1}\right)$로 잡으면, $|x - c| < \delta$일 때:

연속함수의 주요 정리

중간값 정리 (Intermediate Value Theorem) — 상세 증명

정리: $f$가 $[a,b]$에서 연속이고 $f(a) < k < f(b)$이면, $f(c) = k$인 $c \in (a,b)$가 존재한다.

증명: $S = \{x \in [a,b] \mid f(x) < k\}$로 놓자. $a \in S$이므로 $S \neq \emptyset$이고 $S$는 $b$에 의해 위로 유계이다. 상한 공리에 의해 $c = \sup S$가 존재한다.

$f(c) = k$임을 보이자.

• $f(c) < k$이 불가능함: $f(c) < k$이면 연속성에 의해 $c$ 근방에서도 $f < k$이므로 $c$보다 큰 원소가 $S$에 존재하여 $c = \sup S$에 모순이다.
• $f(c) > k$이 불가능함: $f(c) > k$이면 연속성에 의해 $c$ 근방에서도 $f > k$이므로 $c$보다 작은 상계가 존재하여 $c = \sup S$에 모순이다.

따라서 $f(c) = k$이다. $\blacksquare$

최대최소 정리 (Extreme Value Theorem) — 상세 증명

정리: $f$가 닫힌 유계 구간 $[a,b]$에서 연속이면, $f$는 $[a,b]$에서 최댓값과 최솟값을 가진다.

증명 (최댓값 부분):

1. $f$가 유계임을 보인다: $f$가 위로 유계가 아니라고 가정하면, 모든 $n$에 대해 $f(x_n) > n$인 $x_n \in [a,b]$가 존재한다. 볼차노-바이어슈트라스 정리에 의해 $\{x_n\}$은 수렴하는 부분수열 $x_{n_k} \to c \in [a,b]$를 가진다. $f$의 연속성에 의해 $f(x_{n_k}) \to f(c)$이지만 $f(x_{n_k}) > n_k \to \infty$이므로 모순이다. 따라서 $f$는 유계이다.
2. 상한이 달성됨을 보인다: $M = \sup_{[a,b]} f$로 놓자. $M$의 정의에 의해 $f(y_n) > M - \frac{1}{n}$인 $y_n \in [a,b]$이 존재한다. 볼차노-바이어슈트라스에 의해 $y_{n_k} \to c^* \in [a,b]$인 부분수열이 존재하고, 연속성에 의해 $f(c^*) = \lim f(y_{n_k}) = M$이다. $\blacksquare$

균등연속 (Uniform Continuity)

$f: D \to \mathbb{R}$가 $D$에서 균등연속:

반례: $f(x) = \frac{1}{x}$는 $(0, 1)$에서 연속이지만 균등연속이 아닙니다. $x$가 $0$에 가까워질수록 그래프가 급격히 치솟으므로, 같은 $\varepsilon$ 정확도를 유지하기 위해 필요한 $\delta$가 점점 작아집니다. "전국 어디든 같은 시간에 배달"하는 것이 불가능한 상황입니다.

반면: $f(x) = x^2$은 $[0, 10]$ 같은 닫힌 유계 구간에서 균등연속입니다. 하이네-칸토어 정리에 의해, 닫힌 유계 구간에서 연속인 함수는 자동으로 균등연속이 됩니다. 이것은 해석학에서 가장 실용적인 정리 중 하나입니다.

리프시츠 연속

$|f(x) - f(y)| \leq L|x - y|$ (상수 $L > 0$)이면 리프시츠 연속(Lipschitz Continuous)입니다.

역은 일반적으로 성립하지 않습니다. 예를 들어 $f(x) = \sqrt{x}$는 $[0,1]$에서 균등연속이지만, $x = 0$ 근방에서 기울기가 $\infty$로 발산하므로 리프시츠 연속이 아닙니다.

미분의 엄밀한 이론

미적분학에서 배운 미분의 개념을 해석학적으로 엄밀하게 다루겠습니다.

미분의 정의

$f: (a,b) \to \mathbb{R}$가 $c \in (a,b)$에서 미분 가능(differentiable)하다란, 다음 극한이 존재하는 것입니다:

미분 가능 $\implies$ 연속이지만, 역은 성립하지 않습니다. $f(x) = |x|$는 $x = 0$에서 연속이지만 미분 불가능합니다.

평균값 정리 (Mean Value Theorem)

정리: $f$가 $[a,b]$에서 연속이고 $(a,b)$에서 미분 가능하면:

인 $c \in (a,b)$가 존재한다.

증명: 보조함수 $g(x) = f(x) - \frac{f(b)-f(a)}{b-a}(x-a)$를 정의하자. 그러면 $g(a) = f(a) = g(b)$이다. $g$는 $[a,b]$에서 연속이고 $(a,b)$에서 미분 가능하므로 롤의 정리(Rolle's Theorem)에 의해 $g'(c) = 0$인 $c \in (a,b)$가 존재한다:

따라서 $f'(c) = \frac{f(b)-f(a)}{b-a}$이다. $\blacksquare$

평균값 정리의 응용:

• $f'(x) = 0$ for all $x \in (a,b)$ $\implies$ $f$는 $(a,b)$에서 상수함수이다.
• $f'(x) > 0$ for all $x \in (a,b)$ $\implies$ $f$는 $(a,b)$에서 순증가한다.
• $|f'(x)| \leq M$ for all $x \in (a,b)$ $\implies$ $|f(x) - f(y)| \leq M|x-y|$ (리프시츠 조건).

로피탈 법칙 (L'Hopital's Rule)

정리: $f(x) \to 0$, $g(x) \to 0$ (또는 $f(x) \to \pm\infty$, $g(x) \to \pm\infty$)이고 $\lim_{x \to a} \frac{f'(x)}{g'(x)} = L$이 존재하면:

증명 ($\frac{0}{0}$ 형태): $f(a) = g(a) = 0$으로 확장 정의하자. $x \neq a$에 대해 코시 평균값 정리(Cauchy's MVT)에 의해:

$c_x$는 $a$와 $x$ 사이에 있다. $x \to a$이면 $c_x \to a$이므로:

테일러 정리 (Taylor's Theorem)

정리: $f$가 $[a,b]$에서 $n$번 미분 가능하고 $(a,b)$에서 $(n+1)$번 미분 가능하면, 임의의 $x \in [a,b]$에 대하여:

여기서 나머지 항(remainder term) $R_n(x)$은 여러 형태로 표현됩니다:

라그랑주 형태: $a$와 $x$ 사이의 어떤 $c$에 대하여:

적분 형태:

증명 (라그랑주 나머지): $R_n(x) = f(x) - P_n(x)$로 놓자 ($P_n$은 $n$차 테일러 다항식). $G(t) = f(x) - P_n(x) - \frac{R_n(x)}{(x-a)^{n+1}}(x-t)^{n+1}$로 정의하면, $G(a) = 0 = G(x)$이다. 롤의 정리에 의해 $G'(c) = 0$인 $c$가 존재하고, 이를 정리하면 라그랑주 형태를 얻는다. $\blacksquare$

예시: $e^x$의 $a = 0$ 주위 테일러 전개:

$|R_n(x)| \leq \frac{e^{|x|}}{(n+1)!}|x|^{n+1} \to 0$ ($n \to \infty$)이므로:

이것이 모든 $x \in \mathbb{R}$에서 성립합니다.

리만 적분

리만 적분(Riemann Integral)은 구간을 분할하여 직사각형의 넓이의 합으로 적분을 정의합니다.

상합과 하합

구간 $[a, b]$의 분할 $P = \{x_0, x_1, \ldots, x_n\}$에 대하여:

리만 적분 가능 조건

$f$가 $[a, b]$에서 리만 적분 가능 $\Leftrightarrow$ $\inf_P U(f,P) = \sup_P L(f,P)$

동치 조건으로 말하면, 임의의 $\varepsilon > 0$에 대해 $U(f, P) - L(f, P) < \varepsilon$인 분할 $P$가 존재하면 리만 적분 가능합니다.

리만 적분 가능한 함수의 예:

• 연속함수: $[a,b]$에서 연속인 함수는 리만 적분 가능하다 (하이네-칸토어 정리의 균등연속성 이용).
• 단조함수: $[a,b]$에서 단조인 함수는 리만 적분 가능하다 (불연속점이 고작 가산개).
• 유한 불연속: 유한 개의 불연속점을 가진 유계 함수는 리만 적분 가능하다.

리만 적분 불가능한 예: 디리클레 함수 $D(x) = \begin{cases}1 & x \in \mathbb{Q}\\0 & x \notin \mathbb{Q}\end{cases}$는 모든 점에서 불연속이므로(불연속점 집합이 $[0,1]$ 전체) 리만 적분 불가능합니다.

미적분학의 기본정리 — 해석학적 증명

제1 기본정리: $f$가 $[a,b]$에서 리만 적분 가능하고, $F(x) = \int_a^x f(t)\,dt$로 정의하면, $F$는 $[a,b]$에서 연속이다. 또한 $f$가 $c$에서 연속이면 $F'(c) = f(c)$이다.

증명: $f$가 $c$에서 연속이라 하자. 임의의 $\varepsilon > 0$에 대해 $|t - c| < \delta$이면 $|f(t) - f(c)| < \varepsilon$인 $\delta > 0$이 존재한다. $0 < |h| < \delta$이면:

따라서 $F'(c) = f(c)$이다. $\blacksquare$

측도론과 르베그 적분

리만 적분의 한계를 극복하기 위해 앙리 르베그(Henri Lebesgue, 1902)가 측도론에 기반한 적분을 도입했습니다.

르베그 적분의 핵심 아이디어

리만이 $x$축을 쪼갠다면, 르베그는 $y$축을 쪼갭니다.

르베그 측도

르베그 측도(Lebesgue Measure) $m$은 $\mathbb{R}^n$의 부분집합에 "크기"를 부여합니다:

• 구간의 측도: $m([a,b]) = b - a$
• 가산 집합의 측도: $m(\mathbb{Q}) = 0$ (유리수 집합은 측도 0)
• 칸토어 집합: 비가산이지만 측도 0

리만 적분 vs 르베그 적분

핵심 수렴 정리

함수열과 함수급수

점별수렴 (Pointwise Convergence)

함수열 $\{f_n\}$이 $f$에 점별수렴:

각 점 $x$마다 독립적으로 수렴을 확인합니다. 수렴 속도가 점마다 다를 수 있습니다.

균등수렴 (Uniform Convergence)

함수열 $\{f_n\}$이 $f$에 균등수렴:

모든 점에서 동시에 수렴합니다. $N$이 $x$에 의존하지 않습니다.

정리 (연속성 보존): $f_n$이 $D$에서 연속이고 $f_n \to f$ 균등수렴이면, $f$도 $D$에서 연속이다.

증명: 임의의 $c \in D$와 $\varepsilon > 0$이 주어졌다고 하자. 균등수렴에 의해 $n \geq N$이면 $|f_n(x) - f(x)| < \varepsilon/3$ (모든 $x$)이다. $f_N$이 $c$에서 연속이므로 $|x - c| < \delta$이면 $|f_N(x) - f_N(c)| < \varepsilon/3$이다. 삼각 부등식에 의해:

따라서 $f$는 $c$에서 연속이다. $\blacksquare$

바이어슈트라스 M-판정법 (Weierstrass M-test)

정리: $|f_n(x)| \leq M_n$ (모든 $x \in D$)이고 $\sum M_n$이 수렴하면, $\sum f_n(x)$는 $D$에서 균등수렴하고 절대수렴한다.

증명: $S_N(x) = \sum_{n=1}^{N} f_n(x)$로 놓자. $M > N$이면:

$\sum M_n$이 수렴하므로, $\varepsilon > 0$에 대해 충분히 큰 $N_0$를 잡으면 $M > N \geq N_0$일 때 $\sum_{n=N+1}^{M} M_n < \varepsilon$이다. 이것은 $\{S_N(x)\}$가 균등 코시 수열임을 뜻하고, 따라서 균등수렴한다. $\blacksquare$

예시: $\sum_{n=1}^{\infty} \frac{\sin(nx)}{n^2}$의 균등수렴을 보이겠습니다. $\left|\frac{\sin(nx)}{n^2}\right| \leq \frac{1}{n^2} = M_n$이고 $\sum \frac{1}{n^2} = \frac{\pi^2}{6}$이 수렴하므로, 바이어슈트라스 M-판정법에 의해 원래 급수는 $\mathbb{R}$에서 균등수렴합니다.

항별 미분과 항별 적분

항별 적분 정리: $f_n$이 $[a,b]$에서 연속이고 $\sum f_n$이 $[a,b]$에서 균등수렴하면:

항별 미분 정리: $f_n$이 $[a,b]$에서 미분 가능하고, $\sum f_n(c)$가 어떤 $c$에서 수렴하며, $\sum f_n'$이 $[a,b]$에서 균등수렴하면:

반례 (점별수렴이지만 균등수렴이 아닌 경우):

$f_n(x) = x^n$은 $[0, 1)$에서 $0$에, $x = 1$에서 $1$에 점별수렴하지만, 극한 함수가 불연속이므로 $[0, 1]$에서 균등수렴이 아닙니다. 연속함수열의 점별 극한이 불연속이 되는 것은 균등수렴의 실패를 나타냅니다.

멱급수

멱급수의 정의와 수렴 반경

멱급수(Power Series)는 다음 형태의 급수입니다:

여기서 $a$를 중심(center), $\{c_n\}$을 계수(coefficient)라 합니다.

수렴 반경(Radius of Convergence):

멱급수는 $|x - a| < R$에서 절대수렴하고, $|x - a| > R$에서 발산합니다. $|x - a| = R$인 경계에서의 수렴 여부는 각각 별도로 조사해야 합니다.

수렴 반경 구하기 (비율법): $c_n \neq 0$이면:

(이 극한이 존재하는 경우)

예시:

멱급수의 성질

수렴 반경 $R > 0$인 멱급수 $f(x) = \sum c_n (x-a)^n$은 $|x - a| < R$에서:

• 무한히 미분 가능: $f^{(k)}(a) = k! \cdot c_k$, 즉 $c_k = \frac{f^{(k)}(a)}{k!}$이다.
• 항별 미분 가능: $f'(x) = \sum_{n=1}^{\infty} n c_n (x-a)^{n-1}$이며 수렴 반경은 같다.
• 항별 적분 가능: $\int_a^x f(t)\,dt = \sum_{n=0}^{\infty} \frac{c_n}{n+1}(x-a)^{n+1}$이며 수렴 반경은 같다.
• 균등수렴: $|x - a| \leq r < R$인 모든 닫힌 부분구간에서 균등수렴한다.

아벨 정리 (Abel's Theorem)

정리: $\sum c_n R^n$이 수렴하면 (즉, 경계점 $x = a + R$에서 수렴하면):

즉, 경계에서 수렴하면 좌극한이 그 값과 같습니다.

응용: $\ln 2 = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots$를 아벨 정리로 보이겠습니다.

$\ln(1+x) = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n}x^n$은 $|x| < 1$에서 성립합니다. $x = 1$에서 $\sum \frac{(-1)^{n+1}}{n}$은 교대급수 판정법에 의해 수렴합니다. 아벨 정리에 의해:

해석함수 (Analytic Function)

$f$가 점 $a$의 근방에서 멱급수로 표현될 수 있으면, $f$를 $a$에서 해석적(analytic)이라 합니다. 모든 해석함수는 무한히 미분 가능하지만, 역은 성립하지 않습니다.

반례: $f(x) = \begin{cases}e^{-1/x^2} & x \neq 0\\0 & x = 0\end{cases}$는 $x = 0$에서 무한히 미분 가능하고 $f^{(n)}(0) = 0$ (모든 $n$)이지만, $f(x) \neq 0$ ($x \neq 0$)이므로 $x = 0$ 주위의 테일러 급수 $\sum 0 \cdot x^n = 0$은 $f$와 일치하지 않습니다. 따라서 $f$는 $x = 0$에서 해석적이 아닙니다.

암묵함수 정리와 역함수 정리

역함수 정리 (Inverse Function Theorem)

정리: $f: \mathbb{R}^n \to \mathbb{R}^n$가 $C^1$급이고 점 $\mathbf{a}$에서 야코비 행렬식 $\det Df(\mathbf{a}) \neq 0$이면, $\mathbf{a}$의 근방 $U$와 $f(\mathbf{a})$의 근방 $V$가 존재하여 $f: U \to V$가 $C^1$급 전단사이고 역함수 $f^{-1}: V \to U$도 $C^1$급이다.

1차원에서의 의미: $f'(a) \neq 0$이면 $a$ 근방에서 $f$는 일대일이며 역함수가 미분 가능하다:

예시: $f(x) = x^3 + x$에서 $f'(x) = 3x^2 + 1 > 0$ (모든 $x$)이므로 $f$는 $\mathbb{R}$ 전체에서 일대일이며 역함수가 존재하고 미분 가능합니다.

암묵함수 정리 (Implicit Function Theorem)

정리: $F: \mathbb{R}^{n+m} \to \mathbb{R}^m$가 $C^1$급이고 $F(\mathbf{a}, \mathbf{b}) = \mathbf{0}$이며 $\det \frac{\partial F}{\partial \mathbf{y}}(\mathbf{a}, \mathbf{b}) \neq 0$이면, $\mathbf{a}$의 근방에서 $F(\mathbf{x}, \mathbf{g}(\mathbf{x})) = \mathbf{0}$을 만족하는 $C^1$급 함수 $\mathbf{g}$가 유일하게 존재한다.

1차원 예시: $F(x, y) = x^2 + y^2 - 1 = 0$ (단위원)에서 $(x_0, y_0) = (0, 1)$ 근방을 살펴봅시다.

$\frac{\partial F}{\partial y} = 2y$이고 $(0, 1)$에서 $\frac{\partial F}{\partial y} = 2 \neq 0$이므로, 암묵함수 정리에 의해 $x = 0$ 근방에서 $y = g(x) = \sqrt{1-x^2}$이 유일하게 결정됩니다. 미분하면:

스톤-바이어슈트라스 정리

바이어슈트라스 근사 정리(Weierstrass Approximation Theorem): $[a,b]$에서 연속인 함수는 다항식으로 균등하게 근사할 수 있습니다.

좀 더 정확히 말하면, $f \in C[a,b]$이면 임의의 $\varepsilon > 0$에 대해 $\|f - p\|_\infty < \varepsilon$인 다항식 $p$가 존재합니다.

스톤-바이어슈트라스 정리(Stone-Weierstrass Theorem)는 이를 일반화합니다:

정리: $K$가 콤팩트 하우스도르프 공간이고, $\mathcal{A} \subseteq C(K, \mathbb{R})$가 다음을 만족하는 부분대수(subalgebra)이면:

1. $\mathcal{A}$는 점을 분리한다: 임의의 $x \neq y$에 대해 $f(x) \neq f(y)$인 $f \in \mathcal{A}$가 존재한다.
2. $\mathcal{A}$는 소멸하지 않는다: 임의의 $x$에 대해 $f(x) \neq 0$인 $f \in \mathcal{A}$가 존재한다.

그러면 $\mathcal{A}$는 $C(K, \mathbb{R})$에서 $\|\cdot\|_\infty$ 노름에 의해 조밀하다.

구체적 예시 (번스타인 다항식): 바이어슈트라스 근사 정리의 구성적 증명으로 번스타인 다항식(Bernstein polynomial)이 있습니다:

$n \to \infty$이면 $B_n(f; x) \to f(x)$ 균등수렴합니다. 이 방법은 $f$의 함숫값만 사용하므로 매우 직접적입니다.

아르젤라-아스콜리 정리

볼차노-바이어슈트라스 정리가 "유계 수열에서 수렴하는 부분수열을 뽑을 수 있다"는 정리라면, 아르젤라-아스콜리 정리(Arzela-Ascoli Theorem)는 이 아이디어를 함수열로 확장한 것입니다.

동등연속 (Equicontinuity)

함수 모임 $\mathcal{F} \subseteq C(K)$가 동등연속(equicontinuous)이란, 다음이 성립하는 것입니다:

이것은 균등연속의 "함수 모임 버전"입니다. $\delta$가 $f$에도 의존하지 않습니다.

정리 (아르젤라-아스콜리)

$K$가 콤팩트 거리 공간이고 $\mathcal{F} \subseteq C(K)$에 대하여 다음은 동치이다:

1. $\mathcal{F}$의 모든 수열이 균등수렴하는 부분수열을 가진다 ($\mathcal{F}$가 상대적 콤팩트).
2. $\mathcal{F}$는 균등유계(uniformly bounded)이고 동등연속(equicontinuous)이다.

증명 스케치 (2 $\implies$ 1):

1. $K$가 콤팩트이므로 $K$ 안에 조밀한 가산 부분집합 $\{x_1, x_2, \ldots\}$이 존재한다.
2. 균등유계이므로 $\{f_n(x_1)\}$은 유계 수열이다. 볼차노-바이어슈트라스에 의해 수렴하는 부분수열을 뽑는다.
3. 대각선 논법(Cantor's diagonal argument)을 사용하여 모든 $x_k$에서 수렴하는 부분수열 $\{f_{n_j}\}$를 뽑는다.
4. 동등연속성을 사용하여 가산 집합에서의 점별수렴을 $K$ 전체에서의 균등수렴으로 확장한다. $\blacksquare$

응용: 아르젤라-아스콜리 정리는 미분방정식의 해의 존재 증명(페아노 존재 정리), 변분법, 최적 제어 이론 등에서 핵심적으로 사용됩니다.

함수 공간

$L^p$ 공간

$p \geq 1$에 대하여 $L^p$ 공간은 $p$-차 적분 가능한 함수의 집합입니다:

$L^p$ 노름: $\|f\|_p = \left(\int |f|^p \, d\mu\right)^{1/p}$

중요한 $L^p$ 공간

힐베르트 공간과 바나흐 공간

• 바나흐 공간(Banach Space): 완비 노름 공간. 모든 $L^p$ 공간($1 \leq p \leq \infty$)은 바나흐 공간이다.
• 힐베르트 공간(Hilbert Space): 내적이 정의된 완비 공간. $L^2$가 대표적이다. 내적은 $\langle f, g \rangle = \int f \cdot g \, d\mu$로 정의된다.

$L^p$ 공간의 핵심 부등식:

• 횔더 부등식(Holder's Inequality): $\frac{1}{p} + \frac{1}{q} = 1$이면 $\|fg\|_1 \leq \|f\|_p \|g\|_q$
• 민코프스키 부등식(Minkowski's Inequality): $\|f + g\|_p \leq \|f\|_p + \|g\|_p$ (삼각 부등식)

복소해석학 (개요)

복소해석학은 복소수 위의 미분 가능한 함수(정칙함수, holomorphic function)를 연구합니다.

코시-리만 방정식

$f(z) = u(x,y) + iv(x,y)$가 정칙이면:

핵심 정리

로랑 급수

특이점 주변에서 정칙함수를 음의 거듭제곱을 포함하여 전개합니다:

$c_{-1}$을 유수(Residue)라 하며, 유수 정리를 통해 실수 정적분, 급수의 합 등을 계산할 수 있습니다.

응용과 현대 해석학으로의 연결

해석학은 순수수학 내부뿐만 아니라 자연과학, 공학, 사회과학에 이르기까지 광범위하게 응용됩니다.

미분방정식과의 관계

상미분방정식(ODE)의 해의 존재와 유일성은 해석학의 핵심 정리들에 의존합니다:

• 피카르-린델뢰프 정리(Picard-Lindelof): 리프시츠 조건 하에서 초기값 문제의 해가 유일하게 존재합니다. 증명에는 바나흐 고정점 정리와 함수열의 균등수렴이 사용됩니다.
• 페아노 존재 정리(Peano): 연속 조건만으로 해의 존재(유일성은 아님)를 보장합니다. 아르젤라-아스콜리 정리가 핵심 도구입니다.

푸리에 해석학

주기함수를 삼각함수의 급수로 표현하는 푸리에 급수(Fourier Series)는 해석학의 주요 연구 대상입니다:

핵심 질문은 "이 급수가 언제, 어떤 의미로 $f$에 수렴하는가"입니다:

• $L^2$ 수렴: $f \in L^2$이면 파르스발 등식(Parseval's equality)에 의해 $L^2$ 노름으로 수렴합니다.
• 점별 수렴: 디리클레-조르단 판정법에 의해 유한 변분 조건 하에서 점별 수렴합니다.
• 균등 수렴: $f$가 $C^1$급이면 푸리에 급수가 균등수렴합니다.

현대 해석학의 주요 분야

핵심 정리 요약

참고자료

• Rudin, W. — Principles of Mathematical Analysis, McGraw-Hill
• Royden, H. L. — Real Analysis, Pearson
• Folland, G. B. — Real Analysis, Wiley
• Ahlfors, L. V. — Complex Analysis, McGraw-Hill
• Stein, E. M. & Shakarchi, R. — Princeton Lectures in Analysis I–IV
• Kreyszig, E. — Introductory Functional Analysis with Applications, Wiley
• 미적분학 — 해석학의 직관적 기초
• 위상수학 — 연속 함수의 일반적 틀
• 수 체계 — 실수의 구성
• 확률론 — 측도론의 응용