조르당 측도

해석학에서 조르당 측도(-測度, 영어: Jordan measure) 또는 페아노-조르당 측도(-測度, 영어: Peano–Jordan measure)는 리만 중적분을 정의하는 데 쓰이는 준측도이다. 유클리드 공간 R n {\displaystyle \mathbb {R} ^{n}} 속 유계 집합 E ⊆ R n {\displaystyle E\subseteq \mathbb {R} ^{n}} 의 조르당 외측도(-外測度, 영어: outer Jordan measure)와 조르당 내측도(-內測度, 영어: inner Jordan measure)는 각각 다음과 같다. μ J ∗ ( E ) = inf { ∑ i = 1 m ∏ j = 1 n ( b i j − a i j ) : m ∈ N , a i , b i ∈ R , a i ≤ b i , ⨆ i = 1 m ∏ j = 1 n [ a i j , b i j ) ⊇ E } {\displaystyle {\mu _{\operatorname {J} }}^{*}(E)=\inf \left\{\sum _{i=1}^{m}\prod _{j=1}^{n}(b_{ij}-a_{ij})\colon m\in \mathbb {N} ,\;a_{i},b_{i}\in \mathbb {R} ,\;a_{i}\leq b_{i},\;\bigsqcup _{i=1}^{m}\prod _{j=1}^{n}[a_{ij},b_{ij})\supseteq E\right\}} μ J ∗ ( E ) = sup { ∑ i = 1 m ∏ j = 1 n ( b i j − a i j ) : m ∈ N , a i , b i ∈ R , a i ≤ b i , ⨆ i = 1 m ∏ j = 1 n [ a i j , b i j ) ⊆ E } {\displaystyle {\mu _{\operatorname {J} }}_{*}(E)=\sup \left\{\sum _{i=1}^{m}\prod _{j=1}^{n}(b_{ij}-a_{ij})\colon m\in \mathbb {N} ,\;a_{i},b_{i}\in \mathbb {R} ,\;a_{i}\leq b_{i},\;\bigsqcup _{i=1}^{m}\prod _{j=1}^{n}[a_{ij},b_{ij})\subseteq E\right\}} 여기서 ⨆ {\displaystyle \textstyle \bigsqcup } 은 분리 합집합이다. 유클리드 공간 R n {\displaystyle \mathbb {R} ^{n}} 속의 초등 집합(初等集合, 영어: elementary set)은 구간의 곱집합들의 유한 합집합으로 나타낼 수 있는 부분 집합이다. 유클리드 공간 R n {\displaystyle \mathbb {R} ^{n}} 속 유계 집합 E ⊆ R n {\displaystyle E\subseteq \mathbb {R} ^{n}} 에 대하여, 다음 세 조건이 서로 동치이며, 이를 만족시키는 E {\displaystyle E} 를 조르당 가측 집합(-可測集合, 영어: Jordan measurable set)이라고 한다. μ J ∗ ( E ) = μ J ∗ ( E ) {\displaystyle {\mu _{\operatorname {J} }}^{*}(E)={\mu _{\operatorname {J} }}_{*}(E)} μ J ∗ ( ∂ E ) = 0 {\displaystyle {\mu _{\operatorname {J} }}^{*}(\partial E)=0} 임의의 양의 실수 ϵ > 0 {\displaystyle \epsilon >0} 에 대하여, A ϵ ⊆ E ⊆ B ϵ {\displaystyle A_{\epsilon }\subseteq E\subseteq B_{\epsilon }} 이며 μ J ∗ ( B ϵ ∖ A ϵ ) < ϵ {\displaystyle {\mu _{\operatorname {J} }}^{*}(B_{\epsilon }\setminus A_{\epsilon })<\epsilon } 인 초등 집합 A ϵ , B ϵ ⊆ R n {\displaystyle A_{\epsilon },B_{\epsilon }\subseteq \mathbb {R} ^{n}} 이 존재한다. 여기서 ∂ E {\displaystyle \partial E} 는 E {\displaystyle E} 의 경계이다. 조르당 가측 집합 E ⊆ R n {\displaystyle E\subseteq \mathbb {R} ^{n}} 의 조르당 측도는 다음과 같다. μ J ( E ) = μ J ∗ ( E ) = μ J ∗ ( E ) = lim ϵ → 0 μ J ( A ϵ ) = lim ϵ → 0 μ J ( B ϵ ) {\displaystyle \mu _{\operatorname {J} }(E)={\mu _{\operatorname {J} }}^{*}(E)={\mu _{\operatorname {J} }}_{*}(E)=\lim _{\epsilon \to 0}\mu _{\operatorname {J} }(A_{\epsilon })=\lim _{\epsilon \to 0}\mu _{\operatorname {J} }(B_{\epsilon })} 조르당 가측 집합들은 각각 집합환을 이룬다. 즉, 유한 합집합, 유한 교집합, 차집합에 대하여 닫혀 있다. 임의의 조르당 가측 집합 E ⊆ R n {\displaystyle E\subseteq \mathbb {R} ^{n}} 에 대하여, E {\displaystyle E} 의 조르당 가측 부분 집합들은 집합 대수를 이룬다. 조르당 측도는 조르당 가측 집합들의 집합환 위의 준측도를 이룬다. 모든 조르당 가측 집합은 르베그 가측 집합이며, 조르당 가측 집합의 조르당 측도는 르베그 측도와 일치한다. 따라서 대부분의 경우 조르당 측도 대신 르베그 측도를 사용하여도 무방하다. 집합 K ⊆ R n {\displaystyle K\subseteq \mathbb {R} ^{n}} 이 다음 두 조건을 모두 만족시킨다면, 조르당 가측 집합이다.:237, Exercise 3.10.75 K {\displaystyle K} 는 콤팩트 집합이다. (하이네-보렐 정리에 따라 이는 유계 닫힌집합과 동치이다.) 임의의 x , y ∈ R n {\displaystyle x,y\in \mathbb {R} ^{n}} 에 대하여, { t ∈ R : x + t y ∈ K } {\displaystyle \{t\in \mathbb {R} \colon x+ty\in K\}} 는 유한 개의 구간의 합집합이다. 집합 [ 0 , 1 ] ∩ Q ⊆ R {\displaystyle [0,1]\cap \mathbb {Q} \subseteq \mathbb {R} } 는 조르당 가측 집합이 아니다. 이는 조르당 외측도와 내측도가 각각 1, 0이기 때문이다. (또는 그 경계 [ 0 , 1 ] {\displaystyle [0,1]} 의 조르당 측도가 1이기 때문이다.) 이 집합은 가산 개의 한원소 집합의 합집합이므로, 르베그 가측 집합이며, 그 르베그 측도는 0이다. 모든 한원소 집합은 (조르당 측도가 0인) 조르당 가측 집합이므로, 조르당 가측 집합은 가산 합집합에 대하여 닫혀 있지 않으며, 시그마 대수를 이루지 않는다. 주세페 페아노와 카미유 조르당이 도입하였다. Bogachev, Vladimir I. (2007). 《Measure theory. Volume I》 (영어). Berlin, Heidelberg: Springer. doi:10.1007/978-3-540-34514-5. ISBN 978-3-540-34513-8. LCCN 2006933997.  Peano, Giuseppe (1887). 《Applicazioni geometriche del calcolo infinitesimale》 (이탈리아어). Torino.  Jordan, Camille (1893–1896). 《Cours d'analyse de l'École polytechnique. T. 1–3》 (프랑스어) 2판. Paris.  Terekhin, A. P. (2001). “Jordan measure”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. ISBN 978-1-55608-010-4.  Derwent, John. “Jordan measure”. 《Wolfram MathWorld》 (영어). Wolfram Research.