함께 배우는 수업 · 수학

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

고전 리만 적분이 풀지 못했던 불연속 함수와 함수열의 극한 교환 문제를 해결하기 위해 정립된 현대 해석학 및 확률론의 초석입니다.

이 수업에서 해 볼 일

  • 집합의 측도와 르베그 적분의 기초 성질을 적용한다

먼저 알면 좋은 것: 실해석학 기초 · 일반위상수학 · 리만 적분과 구분구적법

오늘의 목표

가입 없이 시작할 수 있어요. 설명을 읽고, 함께 연습한 뒤, 처음 보는 문제에서 직접 확인합니다.

판단 과정과 비교 사례

측도는 집합에 크기를 부여하고 르베그 적분은 그 측도에 따라 함수값을 모으는 방법이다. 실수선의 한 점과 가산 집합의 르베그 측도는 0이다.시그마 대수는 여집합과 가산 합집합 등에 닫힌 집합족이다. 유한 연산만 확인하는 대수와 가산 연산까지 허용하는 조건을 구별한다.지시함수의 적분은 해당 집합의 측도와 같다. 거의 모든 곳에서 같은 함수는 영측도 예외를 제외한 적분에서 같을 수 있으므로 점별 값과 적분값을 구분한다.

1. 개념 정의와 직관적 원리: 리만 적분의 한계와 르베그의 발상 전환

고등학교와 대학 미적분학에서 배우는 리만 적분(Riemann Integral)은 정의역 구간 [a,b][a, b]를 잘게 쪼갠 뒤 직사각형들의 넓이 합으로 근사합니다. 그러나 함수가 너무 심하게 진동하거나 불연속점이 조밀하게 분포하면 상합과 하합이 일치하지 않아 리만 적분이 불가능해집니다. 대표적인 예가 유리수에서 11, 무리수에서 00의 값을 갖는 디리클레 함수(Dirichlet Function) f(x)=1Q(x)f(x) = \mathbf{1}_{\mathbb{Q}}(x)입니다. 프랑스의 수학자 앙리 르베그(Henri Lebesgue)는 유명한 '지갑 속 동전 세기 비유'를 통해 적분의 패러다임을 완전히 바꾸었습니다: - 리만 적분 (정의역 xx축 분할): 지갑에서 돈을 꺼내는 순서대로 100원, 500원, 100원, 1000원을 차례대로 더하는 방식입니다. - 르베그 적분 (치역 yy축 분할): 먼저 금액별로 100원짜리 묶음, 500원짜리 묶음, 1000원짜리 묶음으로 분류(치역 분할)한 뒤, 각 금액에 해당하는 동전의 개수(집합의 크기, 즉 측도 μ\mu)를 곱해 합산하는 방식입니다. 이 아이디어를 수학적으로 구현하기 위해 시그마 대수(σ\sigma-algebra, M\mathcal{M})라 불리는 가측 집합(Measurable Set)들의 모임과, 집합의 길이를 일반화한 측도(Measure, μ:M→[0,∞]\mu: \mathcal{M} \to [0, \infty])를 정의합니다. 유한 개의 값 α1,…,αn\alpha_1, \dots, \alpha_n만을 갖는 단순함수(Simple Function) s(x)=∑i=1nαi1Ai(x)s(x) = \sum_{i=1}^n \alpha_i \mathbf{1}_{A_i}(x)의 적분을 ∫Es dμ=∑i=1nαiμ(Ai∩E)\int_E s \, d\mu = \sum_{i=1}^n \alpha_i \mu(A_i \cap E)로 정의한 후, 일반 가측 함수 f≥0f \ge 0의 르베그 적분을 다음과 같이 정의합니다.
∫Ef dμ=sup⁡{∫Es dμ:0≤s≤f, s는 가측 단순함수}\int_E f \, d\mu = \sup \left\{ \int_E s \, d\mu : 0 \leq s \leq f, \, s \text{는 가측 단순함수} \right\}
🎯 르베그 적분은 정의역이 아닌 '치역(함숫값)'을 분할하여 역상 집합 f⁻¹([y, y+dy))의 측도를 곱합니다. 이 덕분에 극단적으로 불연속인 함수도 가측성만 만족하면 매끄럽게 적분할 수 있습니다!

2. 핵심 공식 유도 및 성질: 널 집합(Null Set)과 거의 어디서나(a.e.)

측도 공간 (X,M,μ)(X, \mathcal{M}, \mu)에서 가측성과 가산 가법성(Countable Additivity)은 가장 강력한 무기입니다. 서로소인 가산 개의 가측 집합열 {Ek}k=1∞\{E_k\}_{k=1}^{\infty}에 대하여 항상 다음이 성립합니다:
μ(⋃k=1∞Ek)=∑k=1∞μ(Ek)\mu\left( \bigcup_{k=1}^{\infty} E_k \right) = \sum_{k=1}^{\infty} \mu(E_k)
이 성질로부터 측도가 00인 집합, 즉 널 집합(Null Set 또는 Measure Zero Set)의 놀라운 성질이 유도됩니다. 실수선 R\mathbb{R} 위의 한 점 {q}\{q\}의 길이는 00입니다. 유리수 전체의 집합 Q={q1,q2,q3,… }\mathbb{Q} = \{q_1, q_2, q_3, \dots\}는 무한집합이지만 번호를 매길 수 있는 가산 무한집합(Countably Infinite Set)이므로, 가산 가법성에 의해 그 르베그 측도는 정확히 00이 됩니다!
μ(Q)=μ(⋃k=1∞{qk})=∑k=1∞μ({qk})=∑k=1∞0=0\mu(\mathbb{Q}) = \mu\left( \bigcup_{k=1}^{\infty} \{q_k\} \right) = \sum_{k=1}^{\infty} \mu(\{q_k\}) = \sum_{k=1}^{\infty} 0 = 0
반면 구간 [0,1][0, 1] 전체의 측도는 11이므로, [0,1][0, 1] 안의 무리수 집합 [0,1]∖Q[0, 1] \setminus \mathbb{Q}의 측도는 1−0=11 - 0 = 1입니다. 이처럼 측도가 00인 예외 집합을 제외한 모든 곳에서 어떤 성질이 성립할 때, 이를 '거의 어디서나(almost everywhere, 약어로 a.e.)' 성립한다고 말합니다. 두 함수 ff와 gg가 f=g (a.e.)f = g \text{ (a.e.)}이면 두 함수의 르베그 적분값은 완전히 동일합니다.

예제로 살펴보기

구간 [0, 1]에서 정의된 디리클레 함수 f(x) (x가 유리수이면 1, 무리수이면 0)의 르베그 적분값 ∫_[0,1] f dμ 를 구하시오.
  1. 1) 디리클레 함수는 유리수 집합 Q_0 = [0, 1] ∩ Q 의 특성함수 1_{Q_0}(x) 와 같습니다. 2) 유리수 집합 Q_0 는 가산 집합이므로 르베그 측도 μ(Q_0) = 0 입니다. 3) 무리수 집합 [0, 1] \ Q_0 에서는 함숫값이 0입니다. 4) 따라서 ∫_[0,1] f dμ = 1 × μ(Q_0) + 0 × μ([0, 1] \ Q_0) = 1 × 0 + 0 × 1 = 0 입니다. (즉, f = 0 a.e. 이므로 적분값은 0입니다.)
확인: 르베그 적분은 정의역이 아닌 '치역'을 분할하여 가측 집합의 측도(Measure)를 곱해 합산한다.

3. 심화 응용 및 실전 빈출 함정 분석: 3대 수렴 정리와 칸토어 집합

해석학에서 가장 중요한 문제 중 하나는 "언제 극한 기호 lim⁡\lim와 적분 기호 ∫\int의 순서를 바꿀 수 있는가?"입니다:
lim⁡n→∞∫Efn dμ=∫E(lim⁡n→∞fn)dμ\lim_{n \to \infty} \int_E f_n \, d\mu = \int_E \left( \lim_{n \to \infty} f_n \right) d\mu
리만 적분에서는 함수열 fnf_n이 균등수렴(Uniform Convergence)이라는 매우 까다로운 조건을 만족해야만 등호가 성립했습니다. 반면 르베그 적분은 점별수렴(Pointwise Convergence)만으로도 극한과 적분의 교환을 허용하는 3대 수렴 정리를 제공합니다: 1. 단조 수렴 정리 (MCT, Monotone Convergence Theorem): 0≤f1≤f2≤⋯0 \le f_1 \le f_2 \le \cdots 인 단조증가 가측 함수열은 무조건 극한과 적분이 교환됩니다. 2. 파투의 보조정리 (Fatou's Lemma): 음이 아닌 가측 함수열에 대해 ∫(lim inf⁡fn) dμ≤lim inf⁡∫fn dμ\int (\liminf f_n) \, d\mu \le \liminf \int f_n \, d\mu 부등식이 항상 성립합니다. 3. 르베그 지배 수렴 정리 (DCT, Dominated Convergence Theorem): fn→ff_n \to f (a.e.)이고, 모든 nn에 대해 ∣fn(x)∣≤g(x)|f_n(x)| \le g(x)를 만족하는 적분 가능한 지배 함수 g∈L1(μ)g \in L^1(\mu)가 존재하면 극한과 적분을 자유롭게 교환할 수 있습니다. 실전 빈출 함정 분석: - "측도가 0이면 반드시 가산 집합인가?" →\rightarrow 거짓! 구간 [0,1][0, 1]에서 가운데 1/31/3씩을 무한히 파내어 만든 칸토어 집합(Cantor Set, CC)은 제거된 길이의 합이 ∑k=1∞2k−13k=1\sum_{k=1}^{\infty} \frac{2^{k-1}}{3^k} = 1이므로 측도가 μ(C)=1−1=0\mu(C) = 1 - 1 = 0인 널 집합이지만, 원소의 개수는 실수 전체와 같은 비가산 무한집합(∣C∣=2ℵ0|C| = 2^{\aleph_0})입니다. - "특이적분(Improper Riemann Integral)이 수렴하면 르베그 적분도 가능한가?" →\rightarrow 거짓! 함수 ff가 르베그 적분 가능(f∈L1f \in L^1)하려면 반드시 절댓값 적분 ∫∣f∣ dμ<∞\int |f| \, d\mu < \infty 여야 합니다. 예를 들어 ∫1∞sin⁡xx dx\int_1^{\infty} \frac{\sin x}{x} \, dx는 교대급수처럼 상쇄되어 이상 리만 적분은 π2−Si(1)\frac{\pi}{2} - \text{Si}(1)로 수렴하지만, ∫1∞∣sin⁡xx∣dμ=∞\int_1^{\infty} \left|\frac{\sin x}{x}\right| d\mu = \infty 이므로 르베그 의미에서는 적분 불가능(Not Lebesgue Integrable)합니다!⚠️ 대학원 지필고사 단골 함정: 르베그 적분 가능성(L¹ 소속)은 '절대수렴(∫|f|dμ < ∞)'과 동치입니다. sin(x)/x 처럼 부호가 교대하며 조건부 수렴하는 이상 리만 적분은 르베그 적분 불가능함을 반드시 기억하세요!

참고 근거와 확인 범위

설명·예제·문제 구성 및 오류 수정 책임: 프리런. 위 자료는 표시한 주제를 확인하거나 더 읽기 위한 근거이며, 외부 기관의 공식 수업이나 감수본을 뜻하지 않습니다.

참고 자료 연결 점검: 2026-11-02. 제작 방식·검수 범위와 수정 기록에서 확인 범위를 볼 수 있습니다. 오류는 상단의 의견 보내기 또는 contact@freelearn.io로 알려 주세요.

이 단원의 개념서 읽기 →