조르당 측도

2차원 초등 집합의 예시

2차원 초등 집합은 유한 개의 서로소 직사각형들의 합집합이다.

조르당 가측 집합일 필요 충분 조건은 초등 집합을 통해 안과 밖에서 부피를 근사한 결과가 같은 것이다.

해석학에서 조르당 측도(-測度, 틀:Llang) 또는 페아노-조르당 측도(-測度, 틀:Llang)는 리만 중적분을 정의하는 데 쓰이는 준측도이다.

정의

조르당 외측도와 조르당 내측도

유클리드 공간 ${ℝ}^n$ 속 유계 집합 $E\subseteq {ℝ}^n$의 조르당 외측도(-外測度, 틀:Llang)와 조르당 내측도(-內測度, 틀:Llang)는 각각 다음과 같다.

${{\mu }_{\mathrm{J}}}^{*}(E)=\inf \{\sum _{i=1}^m\prod _{j=1}^n(b_{ij}-a_{ij}):m\in \mathbb{N},a_i,b_i\in ℝ,a_i\le b_i,\underset{i=1}{\overset{m}{⨆}}\prod _{j=1}^n[a_{ij},b_{ij})\supseteq E\}$

${{\mu }_{\mathrm{J}}}_{*}(E)=\sup \{\sum _{i=1}^m\prod _{j=1}^n(b_{ij}-a_{ij}):m\in \mathbb{N},a_i,b_i\in ℝ,a_i\le b_i,\underset{i=1}{\overset{m}{⨆}}\prod _{j=1}^n[a_{ij},b_{ij})\subseteq E\}$

여기서 $⨆$은 분리 합집합이다.

조르당 가측 집합

유클리드 공간 ${ℝ}^n$ 속의 초등 집합(初等集合, 틀:Llang)은 구간의 곱집합들의 유한 합집합으로 나타낼 수 있는 부분 집합이다.

유클리드 공간 ${ℝ}^n$ 속 유계 집합 $E\subseteq {ℝ}^n$에 대하여, 다음 세 조건이 서로 동치이며, 이를 만족시키는 $E$를 조르당 가측 집합(-可測集合, 틀:Llang)이라고 한다.

• ${{\mu }_{\mathrm{J}}}^{*}(E)={{\mu }_{\mathrm{J}}}_{*}(E)$
• ${{\mu }_{\mathrm{J}}}^{*}(\partial E)=0$
• 임의의 양의 실수 $ϵ>0$에 대하여, $A_{ϵ}\subseteq E\subseteq B_{ϵ}$이며 ${{\mu }_{\mathrm{J}}}^{*}(B_{ϵ}\setminus A_{ϵ})<ϵ$인 초등 집합 $A_{ϵ},B_{ϵ}\subseteq {ℝ}^n$이 존재한다.

여기서 $\partial E$는 $E$의 경계이다.

조르당 측도

조르당 가측 집합 $E\subseteq {ℝ}^n$의 조르당 측도는 다음과 같다.

${\mu }_{\mathrm{J}}(E)={{\mu }_{\mathrm{J}}}^{*}(E)={{\mu }_{\mathrm{J}}}_{*}(E)=\underset{ϵ\to 0}{\lim }{\mu }_{\mathrm{J}}(A_{ϵ})=\underset{ϵ\to 0}{\lim }{\mu }_{\mathrm{J}}(B_{ϵ})$

성질

연산에 대한 닫힘

조르당 가측 집합들은 각각 집합환을 이룬다. 즉, 유한 합집합, 유한 교집합, 차집합에 대하여 닫혀 있다. 임의의 조르당 가측 집합 $E\subseteq {ℝ}^n$에 대하여, $E$의 조르당 가측 부분 집합들은 집합 대수를 이룬다.

르베그 측도와의 관계

조르당 측도는 조르당 가측 집합들의 집합환 위의 준측도를 이룬다. 모든 조르당 가측 집합은 르베그 가측 집합이며, 조르당 가측 집합의 조르당 측도는 르베그 측도와 일치한다. 따라서 대부분의 경우 조르당 측도 대신 르베그 측도를 사용하여도 무방하다.

조르당 가측 집합일 충분 조건

집합 $K\subseteq {ℝ}^n$이 다음 두 조건을 모두 만족시킨다면, 조르당 가측 집합이다.틀:Rp

• $K$는 콤팩트 집합이다. (하이네-보렐 정리에 따라 이는 유계 닫힌집합과 동치이다.)
• 임의의 $x,y\in {ℝ}^n$에 대하여, $\{t\in ℝ:x+ty\in K\}$는 유한 개의 구간의 합집합이다.

예

집합

$[0,1]\cap \mathbb{Q}\subseteq ℝ$

는 조르당 가측 집합이 아니다. 이는 조르당 외측도와 내측도가 각각 1, 0이기 때문이다. (또는 그 경계 $[0,1]$의 조르당 측도가 1이기 때문이다.) 이 집합은 가산 개의 한원소 집합의 합집합이므로, 르베그 가측 집합이며, 그 르베그 측도는 0이다. 모든 한원소 집합은 (조르당 측도가 0인) 조르당 가측 집합이므로, 조르당 가측 집합은 가산 합집합에 대하여 닫혀 있지 않으며, 시그마 대수를 이루지 않는다.

역사

주세페 페아노와 카미유 조르당이 도입하였다.

외부 링크

• 틀:Eom
• 틀:매스월드