측도론과 르베그 적분 (Lebesgue Integration)

고등학교와 대학 미적분학에서 배우는 리만 적분(Riemann Integral)은 정의역 구간 $[a, b]$를 잘게 쪼갠 뒤 직사각형들의 넓이 합으로 근사합니다. 그러나 함수가 너무 심하게 진동하거나 불연속점이 조밀하게 분포하면 상합과 하합이 일치하지 않아 리만 적분이 불가능해집니다. 대표적인 예가 유리수에서 $1$, 무리수에서 $0$의 값을 갖는 디리클레 함수(Dirichlet Function) $f(x) = \mathbf{1}_{\mathbb{Q}}(x)$입니다.

프랑스의 수학자 앙리 르베그(Henri Lebesgue)는 유명한 '지갑 속 동전 세기 비유'를 통해 적분의 패러다임을 완전히 바꾸었습니다:

이 아이디어를 수학적으로 구현하기 위해 시그마 대수($\sigma$-algebra, $\mathcal{M}$)라 불리는 가측 집합(Measurable Set)들의 모임과, 집합의 길이를 일반화한 측도(Measure, $\mu: \mathcal{M} \to [0, \infty]$)를 정의합니다. 유한 개의 값 $\alpha_1, \dots, \alpha_n$만을 갖는 단순함수(Simple Function) $s(x) = \sum_{i=1}^n \alpha_i \mathbf{1}_{A_i}(x)$의 적분을 $\int_E s \, d\mu = \sum_{i=1}^n \alpha_i \mu(A_i \cap E)$로 정의한 후, 일반 가측 함수 $f \ge 0$의 르베그 적분을 다음과 같이 정의합니다.

측도 공간 $(X, \mathcal{M}, \mu)$에서 가측성과 가산 가법성(Countable Additivity)은 가장 강력한 무기입니다. 서로소인 가산 개의 가측 집합열 $\{E_k\}_{k=1}^{\infty}$에 대하여 항상 다음이 성립합니다:

이 성질로부터 측도가 $0$인 집합, 즉 널 집합(Null Set 또는 Measure Zero Set)의 놀라운 성질이 유도됩니다. 실수선 $\mathbb{R}$ 위의 한 점 $\{q\}$의 길이는 $0$입니다. 유리수 전체의 집합 $\mathbb{Q} = \{q_1, q_2, q_3, \dots\}$는 무한집합이지만 번호를 매길 수 있는 가산 무한집합(Countably Infinite Set)이므로, 가산 가법성에 의해 그 르베그 측도는 정확히 $0$이 됩니다!

반면 구간 $[0, 1]$ 전체의 측도는 $1$이므로, $[0, 1]$ 안의 무리수 집합 $[0, 1] \setminus \mathbb{Q}$의 측도는 $1 - 0 = 1$입니다. 이처럼 측도가 $0$인 예외 집합을 제외한 모든 곳에서 어떤 성질이 성립할 때, 이를 '거의 어디서나(almost everywhere, 약어로 a.e.)' 성립한다고 말합니다. 두 함수 $f$와 $g$가 $f = g \text{ (a.e.)}$이면 두 함수의 르베그 적분값은 완전히 동일합니다.

해석학에서 가장 중요한 문제 중 하나는 "언제 극한 기호 $\lim$와 적분 기호 $\int$의 순서를 바꿀 수 있는가?"입니다:

리만 적분에서는 함수열 $f_n$이 균등수렴(Uniform Convergence)이라는 매우 까다로운 조건을 만족해야만 등호가 성립했습니다. 반면 르베그 적분은 점별수렴(Pointwise Convergence)만으로도 극한과 적분의 교환을 허용하는 3대 수렴 정리를 제공합니다:

실전 빈출 함정 분석: