測度 / measure
1. 개요
길이, 부피 등의 크기 개념을 집합에 부여할 수 있도록 추상적으로 정립한 것이다. 적분 이론과 함수 공간 구성의 바탕이 되므로 실해석학의 기초가 된다.2. 배경
물의 부피를 측정하는 방법을 예로 들어보자. 물 분자의 수를 일일이 세서 물질량으로 전달해주거나 컵의 길이를 재서 부피를 정의하고 컵에 담겨있는 물의 들이를 계산하는 등의 다양한 방식을 생각해볼 수 있다. 이러한 방식들이 크기를 부여하는 과정이라고 할 수 있다. 전자는 물 분자 하나하나마다 1개라고 크기를 정의했을 때 물이 얼마나 들어있는가를 분자의 개수로 정의한 것이고, 후자는 길이라는 크기를 정의했을 때 물이 얼마나 들어있는가를 부피로 정의한 것이다. 위의 예시처럼 물이 담겨있는 컵과 그 안의 물 분자들에 크기 개념을 부여하는 작업을, 수학적으로 집합과 원소의 개념으로 확장했을 때 얻어낼 수 있는 집합의 크기라는 개념이 바로 측도(測度, measure)이다. 길이, 질량, 부피, 개수, 확률 등 많은 것들이 측도가 될 수 있다.적분론의 발전에 따라 기존의 개념만으로는 그 크기를 측정할 수 없는 집합이 발견되며 측도의 필요성이 대두되었다. 전통적으로 직사각형이 아닌 도형의 넓이는 구분구적법으로 계산하였고, 이것을 근대에 정립한 것이 바로 적분, 특히 리만 적분의 개념이었다. 현대의 표현으로 [math(A \subset \R^n)]에 대하여 [math(A)]에서 1, [math(A^c)]에서 0으로 정의된 특성함수(characteristic function)의 적분값이 넓이가 되는 것이다. 그러나 리만 적분으로 그 크기를 측정할 수 없는 집합이 존재한다. 예를 들어 유리수 집합의 특성함수인 디리클레 함수
[math(\displaystyle
\bold{1}_{\mathbb Q}(x) = \begin{cases} 1 \quad {\sf if} \,x \in \mathbb{Q} \\
0 \quad {\sf otherwise} \end{cases}
)]
는 리만 적분이 불가능하므로 특성함수의 리만적분으로 유리수 집합의 길이를 정의할 수 없다. 수학자들은 자연스럽게 리만 적분 불가능한 특성함수를 갖는 집합의 넓이를 정의할 수 있는지에 대한 의문을 가졌고, 이와 같은 문제를 해결할 수 있는 새로운 측량 개념을 정의하기 위하여 노력하였다. 그 결과 앙리 르베그(Henri Lebesgue, 1875-1941)가 기존의 조르당 측도(Jordan measure/Jordan contents) 등의 아이디어들을 정립해 르베그 측도(Lebesgue measure)와 그 위에서 이루어지는 르베그 적분을 고안했다. 르베그 측도를 도입함으로써 리만 적분으로 길이를 측정할 수 없었던 유리수 집합 등에 길이를 줄 수 있게 되었다. 또한 르베그 측도를 토대로 정의된 르베그 적분은 리만 적분의 문제점을 다수 해결하였다.
기존의 길이나 넓이가 없는 곳에서는 어떻게 측도를 생각할 수 있을까? 이에 대한 질문은 의외로 확률론에서 시작되었다. 확률 문서에도 있지만 확률이 무엇인지 정의하는 문제는 의외로 수학자들을 나름 골먹여온 것들 중 하나였는데, 연속적인 공간에서 일관성 있게 확률을 정의하는 방식이 없었기 때문이다. 확률을 종종 넓이로 생각하던 기하학적 확률의 사고방식과 맞물려 측도론의 아이디어들이 확률론에도 점차 들어오게 되었고, 이것을 안드레이 콜모고로프(Andrey Kolmogorov, 1903-1987)가 '확률=측도'로 정확히 못박은 것이 현대 공리적 확률론의 출발점이다. 더 정확히는 이 확률론에서의 측도를 정립하는 과정에서 실수 위에서만 적용되던 기존의 측도 내용이 임의의 집합에 대해서까지 일반화된 것에 가깝다.
이제 측도론은 길이/넓이 뿐만이 아니라 일반적인 상황을 다루어야 했고, 어떻게 하면 최소한의 조건만 갖고도 측도를 만들어낼 수 있을까에 대한 의문을 해결하게 되었다. 예를 들어 동전을 끝없이 던지는 상황을 생각해 보면, 앞면과 뒷면이 나오는 비율이 1로 수렴할 확률은 얼마일까? 아니 애초에 저 사건에 확률을 줄 수 있을까? 저 공간 자체에 확률을 주는 것이 가능은 할까? 의외로 이런 비교적 일상적인 상황에서도 확률을 모순 없이 정의하는 데에는 측도론이 필요했던 것이다.
3. 정의
3.1. 시그마 대수
모든 집합이 잴 수 있는 것은 아니다. 즉, 어떠한 측도를 이용해도 그 크기를 부여할 수 없는 집합이 존재한다. '모든 집합의 크기가 0인 측도'와 같은 수학적으로 무의미한 측도는 부여할 수 있지만, 유용한 측도를 부여할 수는 없다. 자세한 내용은 바나흐-타르스키 역설 참고. 따라서 측도론과 이를 이용한 해석학 이론은 모든 집합이 아닌, 측도를 부여할 수 있는 집합만을 대상으로 한다.[1] 측정할 수 있는 대상(measurable sets)을 모아 놓은 집합을 시그마 대수([math(\sigma)]-algebra)라고 하며, 시그마 대수는 후술할 측도의 엄밀한 정의와 호환되도록 아래와 같이 정의한다.공집합이 아닌 집합 [math(X)]의 [math(\sigma)]-대수 [math(\mathcal{M})]은 다음 조건을 만족시키는, [math(mathcal{P}(X))]의 부분집합이다.
- 임의의 [math(E \in \mathcal{M})]에 대하여 [math(E^c \in \mathcal{M})]이다.
- [math(M_1, M_2, \cdots \in \mathcal{M})]에 대하여 [math(\displaystyle \bigcup_{k=1}^\infty M_k \in \mathcal{M})]이다.
위 정의에 따라 [math(M_1, M_2, \cdots \in \mathcal{M})]에 대하여
[math(\displaystyle \begin{aligned}
\bigcap_{k=1}^\infty M_k = \!\left( \bigcup_{k=1}^\infty (M_k)^c \right)^{\!c} \!\in \mathcal{M}
\end{aligned})]
이므로 [math(\sigma)]-대수는 가산 교집합에 대하여 닫혀있다. 또한 [math(E \in \mathcal{M})]에 대하여 [math(E \cap E^c = \varnothing)]이고 [math(\varnothing^c = X)]이므로 [math(\sigma)]-대수는 공집합과 전체집합을 원소로 갖는다.
[math(\sigma)]-대수의 정의에 의하여 [math(\sigma)]-대수의 임의의 교집합은 [math(\sigma)]-대수이다. 따라서 집합족 [math(\mathcal{E})]를 포함하는 모든 [math(\sigma)]-대수의 교집합을 취하여 [math(\mathcal{E})]를 포함하는 최소 [math(\sigma)]-대수 [math(\mathcal{M(E)})]를 얻을 수 있다. 이를 [math(\mathcal{E})]로 생성된 [math(\sigma)]-대수라고 한다.
3.2. 측도
측도는 잴 수 있는 집합 즉, 시그마 대수의 각 원소에 그 크기에 해당하는 0 이상의 실수를 부여하는 함수이다. 측도의 정의는 다음과 같다.가측공간 [math((X, \mathcal{M}))]에 대하여 다음 조건을 만족시키는 함수 [math(\mu: \mathcal{M} \to [0, \infty])]를 [math((X,\mathcal{M}))] 위의 측도(measure)라고 한다.
- [math(\mu(\varnothing) = 0)]
- ([math(\sigma)]-additive) 서로소 가산 집합족(countable disjoint family) [math(\{E_k\}_{k=1}^\infty\subseteq \mathcal{M})] 에 대하여 다음을 만족한다.
[math(\displaystyle \begin{aligned} \mu \Biggl( \bigcup_{k=1}^\infty E_k \Biggr) \!= \sum_{k=1}^\infty \mu (E_k) \end{aligned})] |
집합 [math(X)] 위의 측도 [math(\mu)]가 [math(\mu(X) < \infty)]을 만족할 때, [math(\mu)]를 유한하다고 한다. [math(X)]가 모든 [math(k)]에 대하여 [math(\mu(E_k) < \infty)]인 집합 열 [math(\{E_k\}_{k=1}^\infty \subseteq \mathcal{M})]의 합집합, 즉 [math(X = \bigcup_{k=1}^\infty E_k)]이면 [math(\mu)]를 [math(\sigma)]-유한이라고 한다.
측도 공간 [math((X, \mathcal{M}, \mu))]의 가측 집합 [math(E \in \mathcal{M})]가 [math(\mu(E) = 0)]을 만족시킬 때, [math(E)]를 영집합(null set)이라고 한다. 어떤 명제가 영집합을 제외한 모든 [math(x \in X)]에서 성립할 때, 이 명제는 거의 모든 곳에서(almost everywhere, 줄여서 a.e.) 참이라고 한다. 예를 들어 두 함수 [math(f, g)]에 대하여 집합 [math(\{x: f(x) \ne g(x)\})]의 측도가 0이면 [math(f, g)]를 거의 모든 곳에서 같은 함수라고 한다.
영집합이 아닌 가측 집합 [math(A\in\mathcal{M})]가 [math(\mu(E)<\mu(A))]를 만족시키는 임의의 가측 부분집합 [math(E\subset A)]에 대하여 [math(\mu(E)=0)]일 때, [math(A)]를 측도공간 [math((X, \mathcal{M},\mu))]의 원자(atom)라고 한다. [math(\sigma)]-유한 측도 [math(\mu)]에 대하여 임의의 양측도 가측집합이 원자를 포함하면 [math(\mu)]를 원자적 측도라고 하며, 원자를 갖지 않는 측도 [math(\mu)]를 비원자적측도라 한다.
[math(\mu(E) = 0)]인 임의의 [math(E \in \mathcal{M})]에 대하여 [math(E)]의 모든 부분집합이 가측인 측도를 완비측도라고 한다.
4. 성질
측도공간 [math((X, \mathcal{M}, \mu))]에 대하여 다음 성질이 성립한다.- (monotonicity) [math(A, B \in \mathcal{M})]에 대하여
{{{#!wiki style="text-align:center"
[math(A \subseteq B)] 이면 [math(\mu(A) \le \mu(B))]이다.}}} - (excision) [math(A, B \in \mathcal{M})]에 대하여, [math(A \subseteq B)]일 때
{{{#!wiki style="text-align:center"
[math(\mu(A) < \infty)] 이면 [math(\mu(B \setminus A) = \mu(B) - \mu(A))]이다.}}} - (countable monotonicity) [math(E \in \mathcal{M})]일 때, [math(E)]를 덮는, 즉 [math(\displaystyle E \subseteq \bigcup_{k=1}^\infty E_k)]인 가측인 가산 집합족 [math(\{E_k\}_{k=1}^\infty \subseteq \mathcal{M})]에 대하여 [math(\displaystyle \mu(E) \le \sum_{k=1}^\infty \mu(E_k))]를 만족한다.
- (continuity from below) [math(\mathcal{M})]의 증가집합열 [math(\{E_k\})]에 대하여 [math(\displaystyle \mu \Biggl( \bigcup_{k=1}^\infty E_k \Biggr) \!= \lim_{k\to\infty} \mu(E_k))]이다.
- (continuity from above) [math(\mathcal{M})]의 [math(\mu(E_1)<\infty)]인 감소집합열 [math(\{E_k\})]에 대하여 [math(\displaystyle \mu \Biggl( \bigcap_{k=1}^\infty E_k \Biggr) \!= \lim_{k\to\infty} \mu(E_k))]이다.
[math(E\cup F\in \overline{\mathcal{M}})]에 대하여 [math(\overline{\mu}(E\cup F)=\mu(E))]라 하자. [math(E_1 \cup F_1,\ E_2\cup F_2 \in\mathcal{\overline{M}}(F_i\subseteq N_i \in\mathcal{N}))]에 대하여 [math(E_1\cup F_1 \ne E_2 \cup F_2)]이면 [math(E_1 \subseteq E_1 \cup F_1\cup N_2=E_2 \cup N_2)]이므로 [math(\mu(E_1)\le\mu(E_2)+\mu(N_2)=\mu(E_2))]이다. 같은 방법으로 [math(\mu(E_2)\le \mu(E_1))]을 얻고, [math(\overline{\mu}(E_1\cup F_1)=\overline{\mu}(E_2\cup F_2))]로 [math(\overline{\mu})]는 잘 정의된 측도이다.
[math(\mu^\prime)]을 [math(\mathcal{\overline{M}})] 위의 [math(\mu)]의 확장 측도라고 하자. [math(E \cup F \in \mathcal{\overline{M}}(E\in\mathcal{M},\ F\subseteq N\in\mathcal{N}))]에 대하여 [math(\mu^\prime(E\cup F)=\mu^\prime(E)+\mu^\prime(F)=\mu(E)+\mu^\prime(F)=\overline{\mu}(E\cup F)+\mu^\prime(F))]이고 [math(F\subseteq N\in\mathcal{N})], [math(\mu^\prime(N)=\mu(N)=0)]에서 [math(\mu^\prime(F)=0)]이므로 [math(\overline{\mu}(E\cup F)=\mu^\prime(E\cup F))]이다. 즉, [math(\overline{\mu})]는 [math(\mu)]의 [math(\overline{\mathcal{M}})] 위에서의 유일한 확장이다. ||
5. 측도의 구성
5.1. 외측도
외측도는 집합 위에 [math(\sigma)]-대수와 측도를 구성하는 도구이다. 평면 위의 비정형적인 영역의 넓이는 직사각형 격자를 이용해 영역을 나누고 그 격자의 간격을 세밀하게 하여 영역을 덮는 직사각형들의 넓이의 합을 이용해 근사할 수 있다. 이 과정을 일반화한 것이 외측도이다. [math(X)] 위의 외측도는 공집합이 아닌 집합 [math(X)]에 대하여 다음을 만족시키는 함수 [math(\mu^*: \mathcal{P}(X) \to [0, \infty])]이다.- [math(\mu^*(\varnothing) = 0)]
- [math(A \subseteq B)]이면 [math(\mu^* (A) \leq \mu^*(B))]
- [math(\displaystyle \mu^* \Biggl( \bigcup_{k=1}^\infty A_k \Biggr) \!\leq \sum_{k=1}^\infty \mu^*(A_k))]
가측 집합에 대해서만 정의되는 측도와 달리, 외측도는 임의의 부분집합에 대하여 정의된다. 또한 측도는 서로소 집합열에 대하여 가산 가법성을 만족시키지만 외측도는 그렇지 않다.
집합 [math(X)] 위의 외측도 [math(\mu^*)]에 대한 [math(\bf\mu^*)]-가측 집합은 임의의 [math(E \subseteq X)]에 대하여 [math(\mu^*(E) = \mu^*(E\cap A) + \mu^*(E\cap A^c))]를 만족시키는 [math(A \subseteq X)]이다. 이는 집합 [math(A)]를 격자로 나누어 집합의 바깥쪽에서 근사했을 때([math(\mu^*(E \cap A))])와 안쪽에서 근사했을 때([math(\mu^*(E) - \mu^*(E \cap A^c))])의 크기가 같아 측도를 부여할 수 있는 것으로 이해할 수 있다.
5.2. 예비측도
외측도는 주로 대수 위에서 정의된 예비측도를 사용하여 구성한다. 집합 [math(X)]의 대수(algebra)는 여집합과 유한 합집합에 닫혀있는, [math(X)]의 부분집합족이다. 대수 [math(\mathcal{A})] 위의 예비측도(premeasure) [math(\mu_0: \mathcal{A} \to [0, \infty])]는 다음 조건을 만족시키는 함수이다.- [math(\mu_0(\varnothing) = 0)]
- 대수 [math(\mathcal{A})]의 가산 서로소 집합열 [math(\{E_k\})]에 대하여 [math(\displaystyle \bigcup_{k=1}^\infty E_k \in \mathcal{A})]이면 [math(\displaystyle \mu_0 \Biggl( \bigcup_{k=1}^\infty E_k \Biggr) \!= \sum_{k=1}^\infty \mu_0(E_k))]
집합 [math(X)]의 대수 [math(\mathcal{A})] 위에서 정의된 예비측도 [math(\mu_0)]와 [math(A\subseteq X)]에 대하여
[math(\displaystyle \begin{aligned}
\mu^*(A) = \inf\limits_{\{E_n\} \subseteq \mathcal{A}} \left\{ \sum_{n=1}^\infty \mu_0(E_n) \right\} \qquad\cdots(1)
\end{aligned} )]
로 정의된 함수 [math(\mu^*: \mathcal{P}(X) \to [0, \infty])]는 [math(X)] 위의 외측도이다. 여기서 [math(\{E_n\})]은 [math(A)]의 덮개이다. 이와 같이 예비측도 [math(\mu_0)]를 확장하여 얻은 외측도 [math(\mu^*)]에 대하여 [math(\mu^*|_{\mathcal{A}} = \mu_0)]이며, 각 [math(A \in \mathcal{A})]는 [math(\bf\mu^*)]-가측집합이다.
임의의 집합에 대해 측도를 부여할 때는 집합 전체에서 정의되는 외측도를 이용하여 가측집합을 구성하고, 외측도의 정의역을 가측 집합족으로 제한하여 측도를 구성한다.
| 카라테오도리 정리 (Carathéodory's theorem) [math(\mu^*)]-가측 집합의 모임 [math(\mathcal{M})]은 [math(\sigma)]-대수이며, [math(\mu = \mu^*|_{\mathcal{M}})]는 가측 공간 [math((X, \mathcal{M}))] 위의 완비측도이다. |
| 정리 대수 [math(A \subseteq \mathcal{P}(X))]로 생성된 [math(\sigma)]-대수를 [math(\mathcal{M})]이라 하자. [math(\mathcal{A})] 위의 예비측도 [math(\mu_0)]를 이용해 [math((1))]과 같이 구성된 외측도 [math(\mu^*)]에 대하여 [math(\mathcal{M})] 위의 측도 [math(\mu = \mu^*|_{\mathcal{M}})]은 [math(\mu_0)]의 확장이다. [math(\mu_0)]가 [math(\sigma)]-유한이면 [math(\mathcal{M})] 위의 [math(\mu_0)]의 확장된 측도는 [math(\mu)]가 유일하다. |
6. 적용
6.1. 셈 측도
공집합이 아닌 집합 [math(X)]와 함수 [math(f:X\to [0,\ \infty])]에 대하여 [math(\mu(E)=\sum_{x\in E}f(x))]로 정의된 [math(\mu:\mathcal{P}(X)\to[0,\ \infty] )]는 멱집합 [math(\mathcal{P}(X))]를 [math(\sigma)]-대수로 하는 측도이다. 모든 [math(x\in X)]에 대하여 [math(f(x)=1)]일 때, [math(\mu)]를 셈측도라고 한다. [math(E)]가 유한집합인 경우 [math(\mu(E))]는 [math(E)]의 원소의 개수와 같다. [math(X)]가 무한집합인 경우 [math(\sum_{x\in X}f(x))]는 [math(\sup\left\{\sum_{x\in F}f(x):F\subseteq X,\ |F|<\infty \right\})]로 정의한다. 이때 집합 [math(A=\{x:f(x)>0\})]가 비가산인 경우 [math(\sum_{x\in X}f(x)=\infty)]이며, [math(A)]가 가산인 경우 [math(A=\{x_1,\ x_2,\ \ldots\})]라 할 때 [math(\sum_{x\in X}f(x)=\sum_{n=1}^\infty x_n)]이다.6.2. 보렐 측도
거리(위상)공간 [math(X)]의 모든 열린집합의 집합족으로 생성된 [math(\sigma)]-대수 [math(\mathcal{B}_X)]를 보렐 [math(\sigma)]-대수라고 한다. 즉, 보렐 [math(\sigma)]-대수는 [math(X)]의 모든 열린집합을 원소로 갖는 최소 [math(\sigma)]-대수이다. 보렐 [math(\sigma)]-대수의 원소를 보렐 집합이라고 하며, 보렐 [math(\sigma)]-대수 위에서 정의된 측도를 보렐 측도라고 한다. 프랑스의 수학자이자 정치인 에밀 보렐의 이름에서 따왔다.실수 전체의 집합 [math(\R)]에서 보렐 측도의 구성 과정은 대수와 예비측도가 [math(\sigma)]-대수와 측도로 확장되는 과정을 보여주는 대표적인 예시이다. 또한, 보렐 측도의 완비화를 통하여 르베그-스틸체스 측도를 얻을 수 있다. [math(\R)]의 보렐 측도는 [math(\mathcal{B}_{\R})]를 생성하는 [math(\R)]의 대수 [math(\mathcal{A} = \{ (a,b] \subseteq \R \,|\, a, b \in \overline{\R} \})] 위에 예비 측도를 부여함으로써 구성할 수 있다. [math(F: \R \to \R)]가 우연속 증가함수이고 [math((a_k, b_k])](단, [math(k=1, \cdots\!, n)])가 서로소인 반열린구간일 때, 다음과 같이 정의된 함수 [math(\mu_0: \mathcal{A} \to [0, \infty])]는 대수 [math(\mathcal{A})]의 예비측도이다.
- [math(\mu_0(\varnothing) = 0)]
- [math(\displaystyle \mu_0 \Biggl( \bigcup_{k=1}^n (a_k, b_k] \Biggr) \!= \sum_{k=1}^n [ F(b_k)-F(a_k) ])]
| 보조정리 임의의 [math(E \in \mathcal{M}_\mu)]에 대하여 다음이 성립한다. [math(\displaystyle \begin{aligned} \mu(E) = \inf \left\{ \sum_{k=1}^\infty \mu((a_k, b_k)) \,\middle|\, E \subseteq \bigcup_{k=1}^\infty (a_k, b_k) \right\} \end{aligned} )] |
| 정리 [math(E \in \mathcal{M}_\mu)]에 대하여 다음이 성립한다. [math(\displaystyle \begin{aligned} \mu(E) &= \inf \{ \mu(U) \,|\, E \subseteq U, \,U\text{는 열린집합} \} \\ &= \sup \{ \mu(K) \,|\, E \supseteq K, \,K\text{는 컴팩트 집합} \} \end{aligned} )] |
| 정리 [math(E\subseteq\R)]에 대하여 다음은 동치이다.
|
6.2.1. 르베그 측도
함수 [math(F(x)=x)]에 대한 르베그-스틸체스 측도 [math(\mu_F)]를 르베그 측도(Lebesgue measure)라 한다. 함수 [math(F(x)=x)]에 대한 예비측도가 구간 [math((a,b))]에 길이 [math(b-a)]를 부여하므로 르베그 측도는 실직선 위에서 정의된 길이의 자연스러운 추상화로 파악할 수 있다. 르베그 측도는 [math(m)]으로 표기하며, [math(m)]의 정의역인 [math(\sigma)]-대수를 [math(\mathcal{L})]로 나타낸다. 실수 [math(\R)]에서 르베그 측도의 구성 과정을 요약하면 다음과 같다.외측도 [math(m^*: \mathcal{P}(\R) \to [0, \infty])]를
[math(\displaystyle \begin{aligned} m^*(E) = \inf \left\{ \sum_{k=1}^\infty |b_k-a_k| \,\middle|\, E \subseteq \bigcup_{k=1}^\infty (a_k, b_k) \right\} \end{aligned} )] |
일반적인 유클리드 공간 [math(\R^d)]에서는 구간 [math((a_k, b_k))]를 직사각형 [math((a_{1k}, b_{1k}) \times \cdots \times (a_{dk}, b_{dk}))]로, 구간의 길이 [math(|b_k-a_k|)]를 부피 [math(\prod_{i=1}^d |b_{ik}-a_{ik}|)]로 대체하여 정의할 수 있다.
르베그-스틸체스 측도의 정의에 따라 르베그 측도는 완비측도이다. 실제로 [math(m(E)=0)]인 [math(E \in \mathcal{M}_m)]에 대하여 임의의 [math(F\subseteq E)]가 [math(F \in \mathcal{M}_m)]임을 확인할 수 있다. 또한 르베그 측도는 집합의 평행이동에 불변이며, 확대 및 축소에 자연스럽게 대응된다. 즉, [math(E \in \mathcal{L})]와 [math(a, b \in \R)]에 대하여 [math(E+a \in \mathcal{L})], [math(bE \in \mathcal{L})]이다. 또한 [math(m(E+a) = m(E))], [math(m(bE) = |b|m(E))]이다.
모든 한 원소 집합의 르베그 측도는 [math(0)]이므로 가산 가법성에 의해 가산 집합의 측도는 [math(0)]이다. 따라서 리만적분으로는 측정할 수 없던 유리수 전체 집합의 측도는 [math(0)]이다. 한편 칸토어 집합과 같이 비가산 집합임에도 측도 [math(0)]인 집합이 존재한다. 르베그 비가측 집합의 예시는 비탈리 집합이다.
르베그 측도를 이용하여 전개된 적분 이론을 르베그 적분이라고 한다. 르베그 적분론은 기존의 리만 적분이 가지고 있던 문제를 해결하였으며, 함수 공간에 완비성을 부여하여 함수해석학의 발전에 결정적인 역할을 했다.
6.3. 수학 외 분야
측도는 실해석학의 기본으로 확률론쪽에서 굉장히 많이 쓰인다. 확률이라는 개념 자체를 '확률 측도(probability measure)'라는 개념으로 엄밀하게 따지는데, 위에서 언급한 측도의 한가지 조건이 추가된다.가측공간 [math((\Omega, \mathcal{F}))][2]에 대하여 측도 [math(P :\mathcal{F} \to [0, 1])]가 아래의 조건을 추가로 만족할 때
- [math(P(\Omega) = 1)][3]
측도 [math(P)]를 [math((\Omega, \mathcal{F}))] 위의 확률 측도라고 하며, 이러한 측도가 부여된 가측 공간 [math((\Omega, \mathcal{F}, P))]를 확률 공간(probability space)이라고 한다.
그 외에도 하우스도르프 측도를 굉장히 많이 사용한다.
물리학의 경우 통계역학으로 가면 '깁스 측도' 라는, 바른틀 앙상블을 확장시킨 개념을 만나볼 수 있다. 양자역학에선 힐베르트 공간이 완비성을 가진다는 성질을 자주 사용하는데, 완비성을 실제로 보이기 위해선 측도공간과 적분가능성에 대한 논의가 필요하다.
전산학의 경우, 베이즈 통계학에 기반한 방법론들이 판을 치고 있는 것과는 별개로 측도론을 사용해서 엄밀한 접근을 하는 경우가 있다.
7. 관련 문서
- 선택공리 - 측도론의 내용은 거의 모든 부분에서 엄밀한 공리적 접근 없이는 수학적 개념이 공허해질 수 있는 함정에 빠질 수 있다. 그러한 접근 중 측도에서 가장 관련성이 있는 것은 선택 공리이다. 가장 대표적인 예로, 비탈리 집합이 르벡 비가측임을 증명하는 데 선택공리를 사용한다. (정확히는 비탈리 집합을 만들 때 선택공리를 이용하여 만든다.)
- 곱측도
- 해석학/확률론
- 절대 연속 측도