측도

덤프버전 :

파일:다른 뜻 아이콘.svg
은(는) 여기로 연결됩니다.
본선에 접하여 설치되는 도로에 대한 내용은 측도(교통) 문서
측도(교통)번 문단을
측도(교통)# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
참고하십시오.





Analysis · Calculus


[ 펼치기 · 접기 ]
실수와 복소수
실수(실직선 · 아르키메데스 성질) · 복소수(복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수
함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수(동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
초등함수(대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수(변분법 · 오일러 방정식) · 병리적 함수
극한·연속
함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴(균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 0.999…=1
중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사
수열·급수
수열 · 급수(멱급수 · 테일러 급수(일람) · 조화급수 · 그란디 급수(라마누잔합) · 망원급수(부분분수분해)) · 그물
오일러 수열 · 베르누이 수열 · 월리스 곱
단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측미해결
미분
미분 · 도함수(도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점(변곡점 · 안장점) · 매끄러움
평균값 정리(롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법
적분
적분 · 정적분(예제) · 스틸체스 적분 · 부정적분(부정적분 일람) · 부분적분(LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 이상적분(코시 주요값)
미적분의 기본정리 · 적분의 평균값 정리
리시 방법 · 2학년의 꿈
다변수·벡터 미적분
편도함수 · 미분형식 · · 중적분(선적분 · 면적분 · 야코비안) ·야코비 공식
라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리(발산 정리 · 그린 정리변분법
미분방정식
미분방정식(풀이) · 라플라스 변환
측도론
측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
칸토어 집합 · 비탈리 집합
복소해석
코시-리만 방정식 · 로랑 급수 · 유수 · 해석적 연속 · 오일러 공식(오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석
공간
위상벡터공간 · 노름공간 · 바나흐 공간 · 힐베르트 공간 · 거리공간 · Lp 공간
작용소
수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
대수
C*-대수 · 폰 노이만 대수
정리
한-바나흐 정리 · 스펙트럼 정리
이론
디랙 델타 함수(분포이론)
조화해석
푸리에 해석(푸리에 변환 · 아다마르 변환)
관련 분야
해석기하학 · 미분기하학 · 해석적 정수론(1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설미해결) · 확률론(확률변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학 · 수리경제학(경제수학) · 공업수학
양-밀스 질량 간극 가설미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움미해결
기타
퍼지 논리



1. 개요
2. 배경
3. 정의
3.1. 시그마 대수
3.2. 측도
4. 성질
5. 측도의 구성
5.1. 외측도
5.2. 예비측도
6. 적용
6.1. 셈 측도
6.2. 보렐 측도
6.2.1. 르베그 측도
6.3. 수학 외 분야
7. 관련 문서


/ measure

1. 개요[편집]


길이, 부피 등의 크기 개념을 집합에 부여할 수 있도록 추상적으로 정립한 것이다. 적분 이론과 함수 공간 구성의 바탕이 되므로 실해석학의 기초가 된다.


2. 배경[편집]


물의 부피를 측정하는 방법을 예로 들어보자. 물 분자의 수를 일일이 세서 물질량으로 전달해주거나 컵의 길이를 재서 부피를 정의하고 컵에 담겨있는 물의 들이를 계산하는 등의 다양한 방식을 생각해볼 수 있다. 이러한 방식들이 크기를 부여하는 과정이라고 할 수 있다. 전자는 물 분자 하나하나마다 1개라고 크기를 정의했을 때 물이 얼마나 들어있는가를 분자의 개수로 정의한 것이고, 후자는 길이라는 크기를 정의했을 때 물이 얼마나 들어있는가를 부피로 정의한 것이다. 위의 예시처럼 물이 담겨있는 컵과 그 안의 물 분자들에 크기 개념을 부여하는 작업을 집합과 원소의 개념으로 확장했을 때 얻어낸 집합의 크기의 개념을 바로 측도(, measure)라고 한다. 길이, 질량, 부피, 개수, 확률 등 많은 것들이 측도가 될 수 있다.

적분론의 발전에 따라 기존의 개념만으로는 그 크기를 측정할 수 없는 집합이 발견되며 측도의 필요성이 대두되었다. 전통적으로 직사각형이 아닌 도형의 넓이는 구분구적법으로 계산하였고, 이것을 근대에 정립한 것이 바로 적분, 특히 리만 적분의 개념이었다. 현대의 표현으로 [math(A \subset \R^n)]에 대하여 [math(A)]에서 1, [math(A^c)]에서 0으로 정의된 특성함수(characteristic function)의 적분값이 넓이가 되는 것이다. 그러나 리만 적분으로 그 크기를 측정할 수 없는 집합이 존재한다. 예를 들어 유리수 집합의 특성함수인 디리클레 함수

[math(\displaystyle
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(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(\sigma)]-대수 [math(\mathcal{M})]이 부여된 집합 [math((X, \mathcal{M}))]을 가측 공간(잴 수 있는 공간, measurable space)이라고 하며, [math(\mathcal{M})]의 원소를 가측 집합(잴 수 있는 집합, measurable set)이라고 한다.

위 정의에 따라 [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})]
[1] 모든 집합을 잴 수 없어도 르베그 측도가 잴 수 있는 집합들만 모아도 이들이 충분히 잘 행동하며 모순 없는 적분이론을 전개할 수 있다는 것이 해석학(수학)에서의 측도론의 내용이다.

이므로 [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_n\}_{n=1}^\infty \in \mathcal{M})] 에 대하여 [math(\displaystyle \mu \Biggl( \bigcup_{k=1}^\infty E_k \Biggr) \!= \sum_{k=1}^\infty \mu (E_k))]이다.
측도가 부여된 가측 공간 [math((X, \mathcal{M}, \mu))]를 측도 공간(measure space)이라고 한다.

집합 [math(X)] 위의 측도 [math(\mu)]가 [math(\mu(X) < \infty)]이면 [math(\mu)]를 유한이라고 한다. [math(X)]가 모든 [math(k)]에 대하여 [math(\mu(E_k) < \infty)]인 집합 렬 [math(\{E_k\})]의 합집합, 즉 [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})]에 대하여 [math(A \subseteq B)]이면 [math(\mu(A) \le \mu(B))]이다.
  • (excision) [math(A, B \in \mathcal{M})]에 대하여 [math(A \subseteq B)]일 때, [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(\sigma)]-대수에 적절한 원소를 추가하여 완비 측도로 확장할 수 있다. 측도공간 [math((X, \mathcal{M}, \mu))]에 대하여 [math(\mathcal{N} = \{ N\in\mathcal{M} \,|\, \mu(N)=0 \})], [math(\overline{\mathcal{M}} = \{ E\cup F \,|\, E\in\mathcal{M}, F\subseteq N \,(N\in\mathcal{N}) \})]이라 하자. 그러면 [math(\overline{M})]은 [math(\sigma)]-대수이고 [math(\mu)]의 [math(\overline{M})]으로의 유일한 확장인 완비측도 [math(\overline{\mu})]가 존재한다.
증명
[math(\mathcal{M},\ \mathcal{N})]은 가산 합집합에 대하여 닫혀 있으므로 [math(\overline{\mathcal{M}})]은 가산 합집합에 닫혀있다. [math(E\cup F \in \overline{\mathcal{M}}(E\in\mathcal{M},\ F\subseteq N\in\mathcal{N}))]에 대하여 [math(F\setminus E\subseteq N\setminus E \in\mathcal{N} )]이고 [math(E\cup F=E\cup(F\setminus E))]이므로 [math(E\cap F =\varnothing)]이라 하자. [math(E \cup F=(E\cup N)\cap(N^c \cup F))]에서 [math((E\cup F)^c =(E \cup N)^c \cup (N\setminus F))]이고 [math((E\cup N)^c \in \mathcal{M},\ N\setminus F \subseteq N)]이므로 [math((E\cup F)^c\in\overline{\mathcal{M}})]이므로 [math(\overline{\mathcal{M}})]은 [math(\sigma)]-대수이다.
[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(\sigma)]-대수 위의 측도로 자연스럽게 확장시킬 수 있다.
정리

대수 [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(\mu_0)]를 [math(\mathcal{B}_{\R})] 위로 확장한 측도의 완비화를 [math(\mu_F)]로 나타낸다. [math(\mu_F)]를 [math(F)]에 대한 르베그-스틸체스 측도라고 한다. 르베그-스틸체스 측도의 정의에서 반열린구간을 열린구간으로 대체 가능하다. 우연속 증가 함수 [math(F)]에 대한 르베그-스틸체스 측도를 [math(\mu)], [math(\mu)]의 정의역인 [math(\sigma)]-대수를 [math(\mathcal{M}_\mu)]라고 하면 다음이 성립한다.
보조정리

임의의 [math(E \in \mathcal{M}_\mu)]에 대하여 다음이 성립한다.
\end{aligned} )]
또한 보렐 측도는 위상 공간에서 정의되었기 때문에 집합의 측도와 가측성을 위상적 대상을 이용하여 표현할 수 있다.
정리

[math(E \in \mathcal{M}_\mu)]에 대하여 다음이 성립한다.
\end{aligned} )]
다음 정리에서 [math(G_\delta)] 집합과 [math(F_\sigma)] 집합은 각각 열린집합의 가산 교집합과 닫힌집합의 가산 합집합을 의미한다.
정리

[math(E\subseteq\R)]에 대하여 다음은 동치이다.
* [math(E \in \mathcal{M}_\mu)]
* [math(G_\delta)] 집합 [math(V)]와 영집합 [math(N_1)]에 대하여 [math(E=V-N_1)]
* [math(F_\sigma)] 집합 [math(H)]와 영집합 [math(N_2)]에 대하여 [math(E=H\cup N_2)]


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])]를
\end{aligned} )]
로 정의하면, 집합족 [math(\mathcal{M}_m = \{ A\subseteq\R \,|\, m^*(E) = m^*(E\cup A) +m^*(E\cup A^c) {\sf \ for\ all\ } E\subseteq\R \})]은 [math(\sigma)]-대수이다. [math(A \in \mathcal{M}_m)]를 르베그 가측 집합이라고 하며, 르베그 측도 [math(m)]은 외측도 [math(m^*)]의 [math(\sigma)]-대수 [math(\mathcal{M_m})]으로의 제한사상 [math(m = m^*|_{\mathcal{M}_m})]이다.

일반적인 유클리드 공간 [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. 수학 외 분야[편집]


측도는 실해석학의 기본으로 확률론쪽에서 굉장히 많이 쓰인다. 확률이라는 개념 자체를 '확률 측도'라는 개념으로 엄밀하게 따지고 들며, 그 외에도 하우스도르프 측도를 굉장히 많이 사용한다.

물리학의 경우 통계역학으로 가면 '깁스 측도' 라는, 바른틀 앙상블을 확장시킨 개념을 만나볼 수 있다. 양자역학에선 힐베르트 공간이 완비성을 가진다는 성질을 자주 사용하는데, 완비성을 실제로 보이기 위해선 측도공간과 적분가능성에 대한 논의가 필요하다.

전산학의 경우, 베이즈 통계학에 기반한 방법론들이 판을 치고 있는 것과는 별개로 측도론을 사용해서 엄밀한 접근을 하는 경우가 있다.


7. 관련 문서[편집]


  • 선택공리 - 측도론의 내용은 거의 모든 부분에서 엄밀한 공리적 접근 없이는 수학적 개념이 공허해질 수 있는 함정에 빠질 수 있다. 그러한 접근 중 측도에서 가장 관련성이 있는 것은 선택 공리이다. 가장 대표적인 예로, 비탈리 집합이 르벡 비가측임을 증명하는 데 선택공리를 사용한다. (정확히는 비탈리 집합을 만들 때 선택공리를 이용하여 만든다.)
  • 곱측도
  • 절대 연속 측도
파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-12-19 08:34:17에 나무위키 측도 문서에서 가져왔습니다.