[측도론] 1-4 칸토어집합과 칸토어-르베그 함수
유계닫힌구간 I=[0,1]을 3등분하여 가운데에 있는 (13,23)을 제거한다. 그 다음으로 남아있는 구간인 [0,13]∪[23,1]에서 [0,13]과 [23,1]에 대해서도 3등분한 후 가운데를 제거한다.
3등분하고 가운데 부분을 제거하는 시행의 횟수를 n이라 하고, 이에 따른 시행의 결과를 {Cn}이라고 하면C1=[0,13]∪[23,1]C2=[0,19]∪[29,39]∪[69,79]∪[89,1]⋮
(1) 모든 n에 대하여 Cn은 닫힌집합이고 Cn+1⊂Cn
(2) 모든 n에 대하여 Cn은 2n개의 서로소인 닫힌 구간들의 합집합이고, 각 구간의 길이는 13n이다.
1.21 C를 칸토어 집합이라 하자.
a. C는 닫힌집합이다.
b. m(C)=0
c. card(C)=c(C는 비가산집합이다)
증명:
a. 모든 n에 대하여 Cn은 닫힌집합이고, 닫힌집합들의 임의의 교집합은 닫힌집합이므로 따라서 C는 닫힌집합이다.
b. 모든 n에 대하여 C⊂Cn이고m(Cn)≤2n⋅13n=(23)n
c. x∈C라 하면, x=∞∑i=0ai3i(ai=0orai=2)로 나타낼 수 있고, f(x)=∞∑i=1bi2i(bi=ai2)라 하면, f(x)는 [0,1]에 속하는 수의 2진전개이고, 따라서 이 방법으로 [0,1]에 속하는 수들을 나타낼 수 있으므로 f는 C에서 [0,1]로의 전사이고, card([0,1])=c이므로 따라서 card(C)=c이다.
칸토어 집합의 건설과정에서 제거되는 것은 열린구간들이다. n번째 단계에서 제거된 열린구간들의 합집합을 Un이라 하면, Cn=[0,1]−Un이다. U=∞⋃i=1Ui이라 하면, C=[0,1]−U이다.
고정된 n에 대하여 증가함수 φ를 Un에서 정의하는데 2n−1개의 구간에서 상수함수로 두고 그 값들을 순서대로 {12n,22n,32n,...,2n−12n}이라 하자. 예를들어 n=2일 때 다음과 같다.φ(x)={14x∈(19,29)24x∈(39,69)34x∈(79,89)
φ는 U에서 증가하므로 [0,1]에서도 증가한다. ϕ는 U의 각 점들에서 연속인데 그 점들은 φ가 상수함수인 열린구간에 포함되어 있기 때문이다. x0∈C−{0,1}이라 하면, x0∉U이다. 모든 n에 대하여 Un의 구간 중에서 x0의 양 옆에 있는 구간 중, 왼쪽구간에서 an, 오른쪽 구간에서 bn을 고르자. 그러면 an<x0<bn이고 φ(bn)−φ(an)=12n이 되는데 n이 임의의 자연수이므로 φ는 x0에서 점프불연속이 아니다.
증가함수에서 불연속이 되는 경우는 점프불연속 뿐이므로 φ는 x0에서 연속이고, x0=0,1인 경우도 위와 같은 방법으로 연속이다. 따라서 φ는 [0,1]에서 증가하는 연속함수이다.
참고자료:
Real Analysis: Modern Techniques and Their Applications Second edition, Folland, Wiley
Real Analysis 4th edition, Royden, Fitzpatrick, Pearson
'실변수 함수론 > 측도론' 카테고리의 다른 글
[측도론] 2-2 음이 아닌 함수의 적분 (0) | 2019.12.12 |
---|---|
[측도론] 2-1 가측함수 (0) | 2019.12.11 |
[측도론] 1-3 실직선 상의 보렐측도 (0) | 2019.12.09 |
[측도론] 1-2 측도와 외측도 (0) | 2019.12.07 |
[측도론] 1-1 이상적인 측도의 비존재성과 시그마대수 (0) | 2019.12.06 |