{{위키데이터 속성 추적}}
[[파일:CantorEscalier.svg|섬네일|right|400px|[[단위 구간]]에 나타낸 컨토어 함수의 그래프]]
[[수학]]에서 '''칸토어 함수'''({{llang|en|Cantor function}})는 [[연속 함수|연속]]이지만 [[절대 연속 측도|절대 연속]]은 아닌 [[함수]]의 예시이다. 이 함수는 '''칸토어 삼진함수'''({{llang|en|Cantor ternary function}}), '''르베그 함수'''({{llang|en|Lebesgue function}})<ref>{{harvnb|Vestrup|2003|loc=Section 4.6.}}</ref>, '''르베그의 특이함수'''({{llang|en|Lebesgue's singular function}}), '''칸토어-비탈리 함수'''({{llang|en|Cantor-Vitali function}}), '''악마의 계단'''({{llang|en|Devil's staircase}})<ref>{{harvnb|Thomson|Bruckner|Bruckner|2008|p=252}}</ref>, '''칸토어 계단 함수'''({{llang|en|Cantor staircase function}})<ref>http://mathworld.wolfram.com/CantorStaircaseFunction.html</ref>, 그리고 '''칸토어-르베그 함수'''({{llang|en|Cantor-Lebesgue function}})로도 불린다.<ref>{{harvnb|Bass|2013|p=28}}.</ref> {{harvs|txt|first=Georg |last=Cantor|authorlink=게오르크 칸토어|year=1884}}는 칸토어 함수를 소개했으며 Scheeffer가 Carl Gustav Axel Harnack에 의한 미적분학의 기본 정리의 확장에 반례가 존재한다는 것을 지적했을 때 사용되었다. 칸토어 함수는 {{harvtxt|Scheeffer|1884}}, {{harvtxt|Lebesgue|1904}} 그리고 {{harvtxt|Vitali|1905}}에 의해서 논의되었고 유명해졌다.

== 정의 ==
[[파일:Cantor function.gif|300px|right]]

그림을 보라. 수식적으로 칸토어 함수 ''c'' : [0,1] → [0,1]을 정의하려면, ''x''가 [0,1]에 있다고 가정하고 다음 단계를 따라서 ''c''(''x'')를 얻는다:

#''x''를 삼진법으로 나타낸다.
#''x''에 1이 있을 경우, 첫번째 1 이후의 모든 자릿수를 0으로 바꾼다.
#모든 2를 1로 바꾼다.
#결과를 이진법으로 해석하면 ''c''(''x'')가 된다.

예를 들면:
* 1/4는 삼진법으로 0.02020202...이다. 1이 없기 때문에 다음 단계에도 여전히 0.02020202...이다. 2를 1로 바꾸면 0.01010101...이다. 2진법으로 읽으면, 이 수는 1/3이다, 따라서 ''c''(1/4) = 1/3이다.
* 1/5는 삼진법으로 0.01210121...이다. 첫번째 1 이후의 자리를 0으로 바꾸면 0.01000000...이 된다. 2가 없기 때문에 바꾸지 않는다. 이진법으로 읽으면, 이 수는 1/4이다, 따라서 ''c''(1/5) = 1/4이다.
* 200/243는 삼진법으로 0.21102 (or 0.211012222...)이다. 첫번째 1 이후 0으로 바꾸면 0.21이다. 이것은 0.11로 바뀐다. 이진법으로 읽으면, 이 수는 3/4이다, 따라서 ''c''(200/243) = 3/4이다.

== 특성 ==
칸토어 함수는 [[연속 함수|연속성]]과 [[측도]]에 관한 직관에 반한다. 이 함수는 어디서나 연속이고 [[거의 어디서나]] 기울기가 0이지만(즉 함수가 증가할 확률이 0%) <math display="inline>x</math>가 0에서 1로 감에 따라서 <math display="inline">c(x)</math>도 0에서 1로 가며, 그 사이의 모든 값들을 지난다. 칸토어 함수는 [[균등 연속 함수|균등 연속]](정확히는 멱지수가 ''α''&nbsp;=&nbsp;log&nbsp;2/log&nbsp;3인 [[횔더 연속 함수|횔더 연속]]이다)이지만 [[절대 연속 함수|절대 연속]]은 아닌 함수의 예시로 가장 많이 인용되는 함수이다. 이 함수는 (0.''x''<sub>1</sub>''x''<sub>2</sub>''x''<sub>3</sub>...''x''<sub>n</sub>022222..., 0.''x''<sub>1</sub>''x''<sub>2</sub>''x''<sub>3</sub>...''x''<sub>n</sub>200000...)의 형태의 구간에서 상수함수이고, 칸토어 집합에 속하지 않는 모든 점은 이 구간에 속해있어서 칸토어 집합의 외부에서는 기울기가 0이다. 반면에, 위에서 설명한 끝점을 포함하는 [[칸토어 집합]]의 [[비가산 집합|비가산]] 부분집합은 [[미분계수]]가 존재하지 않는다.

칸토어 함수는 칸토어 집합을 지지집합으로 가지는 1/2-1/2 [[베르누이 스킴|베르누이 측도]] μ의 [[누적 분포 함수|누적 확률 분포 함수]]로 볼 수 도 있다: <math display="inline">c(x)=\mu([0,x])</math>. [[칸토어 분포]]라 불리는 이 분포는 이산적인 부분이 없다. 즉, 대응하는 측도는 [[원자 (측도론)|원자]]가 없다. 이것은 함수에서 비약 불연속점이 없는 이유이다(어떤 비약 불연속점은 측도의 원자로 대응한다).

하지만, 칸토어 함수의 상수부분이 아닌 부분은 [[확률 밀도 함수]]의 적분으로 나타낼 수 있다. 어떤 구간에서 [[거의 어디서나]] 영이 아닌 어떤 추정 [[확률 밀도 함수]]를 적분하면 이 분포에서 확률이 0인 구간에 양의 확률을 준다. 특히 {{harvtxt|Vitali|1905}}이 지적했듯이 이 함수는 도함수가 거의 어디서나 존재함에도 불구하고 그 함수의 도함수의 적분이 아니다.

칸토어 함수는 [[특이 함수]]의 일반적인 예시이다.

칸토어 함수는 감소하지 않고, 특히 그 그래프는 [[길이를 갖는 곡선]]을 정의한다.  {{harvtxt|Scheeffer|1884}}는 이 그래프의 곡선 길이는 2라는 것을 보였다.

== 다른 정의 ==
=== 재귀적 구성 ===
[[파일:Cantor function sequence.png|250px|right]]

아래에서는 단위 구간에서 칸토어 함수로 수렴하는 함수의 [[수열]] {''&fnof;''<sub>n</sub>}을 정의할 것이다.

''&fnof;''<sub>0</sub>(''x'') = ''x''라고 하자.

그리고 모든 정수 {{nowrap|''n'' &ge; 0}}에 대해서, 다음 함수 ''&fnof;''<sub>''n''+1</sub>(''x'')는 다음과 같이 ''&fnof;''<sub>''n''</sub>(''x'')를 이용해서 정의된다:

:''&fnof;''<sub>''n''+1</sub>(''x'')&nbsp;= {{nowrap|0.5 &times; ''&fnof;''<sub>''n''</sub>(3''x'')}},&nbsp; ({{nowrap|0 ≤ ''x'' ≤ 1/3&thinsp;}})

:''&fnof;''<sub>''n''+1</sub>(''x'')&nbsp;= 0.5,&nbsp; ({{nowrap|1/3 ≤ ''x'' ≤ 2/3&thinsp;}})

:''&fnof;''<sub>''n''+1</sub>(''x'')&nbsp;= {{nowrap|0.5 + 0.5  &times; ''&fnof;''<sub>''n''</sub>(3&thinsp;''x'' &minus; 2)}},&nbsp; ({{nowrap|2/3 ≤ ''x'' ≤ 1}}).

세 정의는 양 끝점인 1/3과 2/3에서 양립 가능하다. 왜냐하면 모든 ''n''에 대해서 ''&fnof;''<sub>''n''</sub>(0)&nbsp;= 0이고 ''&fnof;''<sub>''n''</sub>(1)&nbsp;= 1이기 때문이다. 혹자는 ''&fnof;''<sub>''n''</sub>이 위에서 정의한 칸토어 함수에 모든 점에서 수렴하는지를 볼 수 있을 것이다. 게다가, 수렴은 균등하다. 당연히 ''&fnof;''<sub>''n''+1</sub>의 정의에 의해 세 경우로 나오기 때문에 다음을 볼 수 있다.

:<math>\max_{x \in [0, 1]} |f_{n+1}(x) - f_n(x)| \le \frac 1 2 \, \max_{x \in [0, 1]} |f_{n}(x) - f_{n-1}(x)|, \quad n \ge 1.</math>

''&fnof;''가 [[극한]] 함수를 의미한다면 모든 ''n''&nbsp;&ge;&nbsp;0에 대해서 다음을 따른다:

:<math>\max_{x \in [0, 1]} |f(x) - f_n(x)| \le 2^{-n+1} \, \max_{x \in [0, 1]} |f_1(x) - f_0(x)|.</math>

또한 시작하는 함수는 ''&fnof;''<sub>0</sub>(0)&nbsp;= 0, ''&fnof;''<sub>0</sub>(1)&nbsp;= 1 그리고 ''&fnof;''<sub>0</sub>가 [[유계함수|유계]]이기만 하면 실제로는 전혀 문제가 되지 않는다{{출처|날짜=2018-03-01}}.

=== 프랙탈 부피===
칸토어 함수는 [[칸토어 집합]]과 밀접한 관련이 있다. 칸토어 집합 ''C''는 구간 [0,&nbsp;1]에서 [[진법|삼진법]]에서 1 뒤에 0만이 나타나는 것(1000<math>\ldots</math>으로 끝나는 경우로, 1을 제거하기 위해서 0222<math>\ldots</math>로 바꿀 수 있다)을 제외하고 1이 나타나지 않는 숫자의 집합으로 정의할 수 있다. 칸토어 집합은 (비가산) 무한히 많은 점 (0차원 크기)을 가지지만 길이(1차원 크기)는 0인 [[프랙탈]]로 나타났다. D차원 크기 <math> H_D </math> ([[하우스도르프 차원|하우스도르프 측도]]의 관점에서)만이 유일하게 유한한 값을 가지며, 이 <math> D = \log(2)/\log(3) </math>는 ''C''의 분수 차원이다. 이제 칸토어 함수를 칸토어 집합의 부분의 D차원 크기로 정의할 수 있다:

: <math>
f(x)=H_D(C \cap (0,x)).
</math>

== 일반화 ==
다음을 [[실수]] 0 ≤ ''y'' ≤ 1의 [[이진 유리수|이진]] 표현이라고 하자.

: <math>y=\sum_{k=1}^\infty b_k 2^{-k}</math>

이 때, 자릿수 ''b''<sub>''k''</sub> &isin; {0,1}이다. 그러면 다음의 함수를 생각하자

: <math>C_z(y)=\sum_{k=1}^\infty b_k z^{k}.</math>

''z''&nbsp;=&nbsp;1/3에 대해서, 이 함수의 역함수 ''x'' = 2&nbsp;''C''<sub>1/3</sub>(''y'')는 칸토어 함수이다. 즉, ''y''&nbsp;=&nbsp;''y''(''x'')는 칸토어 함수이다. 일반적으로, 어떤 ''z''&nbsp;&lt;&nbsp;1/2에 대해서, ''C''<sub>''z''</sub>(''y'')는 칸토어 함수를 옆으로 눕힌 것처럼 보이며, ''z''가 0에 가까워 질 수록 가운데 단계가 넓어진다.

위에서 언급했듯이, 칸토어 함수는 칸토어 집합에 대한 측도의 누적 분포 함수이다. 다른 칸토어 함수 또는 악마의 계단은 칸토어 집합이나 다른 프랙탈을 지지집합으로 가지는 다른 원자가 없는 확률 측도를 고려함으로 얻을 수 있다. 칸토어 함수는 미분계수가 거의 어디서나 0이지만, 현재 연구에서는 우상극한과 좌하극한이 달라서 미분계수가 존재하지 않는 점들의 집합의 크기에 관한 문제에 집중하고 있다. 미분가능성의 해석은 보통 [[프랙탈 차원]]의 관점에서 주어지며, 보통 하우스도르프 차원을 가장 많이 선택한다. 이 연구는 90년대에 칸토어 함수의 비-미분가능성의 집합의 하우스도르프 차원은 자신의 지지집합의 제곱 <math>(\log2/\log3)^2</math>이라는 것을 밝힌 Darst에 의해서 시작되었다.<ref>{{저널 인용|title = The Hausdorff Dimension of the Nondifferentiability Set of the Cantor Function is [ ln(2)/ln(3) ]2|jstor = 2159830|journal = Proceedings of the American Mathematical Society|date = 1993-09-01|pages = 105–108|volume = 119|issue = 1|doi = 10.2307/2159830|first = Richard|last = Darst}}</ref> 더 최근에는 [[케네스 팔코너]](Kenneth Falconer)는 이 제곱의 관계는 모든 Ahlfor의 정규, 특이 측도에 적용이 된다는 것을 밝혔다:<ref>{{저널 인용|title = One-sided multifractal analysis and points of non-differentiability of devil's staircases|url = http://journals.cambridge.org/article_S0305004103006960|journal = Mathematical Proceedings of the Cambridge Philosophical Society|date = 2004-01-01|issn = 1469-8064|pages = 167–174|volume = 136|issue = 01|doi = 10.1017/S0305004103006960|first = Kenneth J.|last = Falconer}}</ref><math display="block">\dim_{H}\left\{x : f'(x)=\lim_{h\to0^+}\frac{\mu([x,x+h])}{h}\text{ does not exist}\right\}=\left(\dim_{H}\mathrm{supp}(\mu)\right)^2</math>나중에, Troscheit은 자기 등각(self-conformal)이고 [[자기유사성|자기유사 집합]]에 의해 지지되는 더 일반적인 정상화 깁스 측도에 대해서 미분 계수가 존재하지 않는 집합의 더 포괄적인 그림을 얻었다.<ref>{{저널 인용|title = Hölder differentiability of self-conformal devil's staircases|url = http://journals.cambridge.org/article_S0305004113000698|journal = Mathematical Proceedings of the Cambridge Philosophical Society|date = 2014-03-01|issn = 1469-8064|pages = 295–311|volume = 156|issue = 02|doi = 10.1017/S0305004113000698|first = Sascha|last = Troscheit}}</ref>

== 같이 보기 ==
* [[바이어슈트라스 함수]]
== 각주 ==
<references />

== 참고 문헌 ==
* {{서적 인용|ref=harv|first1=Richard Franklin|last1=Bass|author1-link=Richard F. Bass|title=Real analysis for graduate students|year=2013|origyear=2011|edition=Second|publisher=Createspace Independent Publishing|isbn=978-1-4818-6914-0}}
* {{인용|first= G.|last= Cantor|title= De la puissance des ensembles parfaits de points|journal= Acta Math.|volume= 4 |year=1884|pages= 381–392|doi=10.1007/BF02418423}} Reprinted in: E. Zermelo (Ed.), Gesammelte Abhandlungen Mathematischen und Philosophischen Inhalts, Springer, New York, 1980.
* {{인용|mr=2681574
|last=Darst|first= Richard B.|last2= Palagallo|first2= Judith A.|last3= Price|first3= Thomas E.
|title=Curious curves|publisher= World Scientific Publishing Co. Pte. Ltd.|place= Hackensack, NJ |year=2010|isbn= 978-981-4291-28-6}}
* {{인용
 |mr=2195181
 |last=Dovgoshey
 |first=O.
 |last2=Martio
 |first2=O.
 |last3=Ryazanov
 |first3=V.
 |last4=Vuorinen
 |first4=M.
 |title=The Cantor function
 |journal=Expo. Math.
 |volume=24
 |year=2006
 |issue=1
 |pages=1–37
 |url=http://users.utu.fi/vuorinen/REA12/107.pdf
}}{{깨진 링크|date=November 2016 |bot=InternetArchiveBot |fix-attempted=yes }}
* {{인용|first=J.F.|last= Fleron|title= A note on the history of the Cantor set and Cantor function|journal= Math. Mag.|volume= 67 |year=1994|pages= 136–140|jstor=2690689}}
* {{인용|first=H.|last= Lebesgue |title=Leçons sur l’intégration et la recherche des fonctions primitives|place= Paris|publisher= Gauthier-Villars|year= 1904}}
* Leoni, Giovanni (2017). ''[http://bookstore.ams.org/gsm-181/ A First Course in Sobolev Spaces: Second Edition]''. [[Graduate Studies in Mathematics]]. '''181'''. American Mathematical Society. pp. 734. '''{{ISBN|978-1-4704-2921-8}}'''
* {{인용|first=Ludwig|last= Scheeffer|title= Allgemeine Untersuchungen über Rectification der Curven|journal= Acta Math.|volume= 5 |year=1884|pages= 49–82|doi=10.1007/BF02421552}}
* {{서적 인용|ref=harv|last1=Thomson|first1=Brian S.|last2=Bruckner|first2=Judith B.|last3=Bruckner|first3=Andrew M.|title=Elementary real analysis|publisher=ClassicalRealAnalysis.com|edition=Second|year=2008|origyear=2001|isbn=978-1-4348-4367-8}}
* {{서적 인용|ref=harv|title=The theory of measures and integration|last=Vestrup|first=E.M.|series=Wiley series in probability and statistics|publisher=John Wiley & sons|year=2003|isbn=978-0471249771}}
* {{인용|first=A.|last= Vitali|title=Sulle funzioni integrali|journal=Atti Accad. Sci. Torino Cl. Sci. Fis. Mat. Natur.|volume= 40 |year=1905 |pages= 1021–1034}}

== 외부 링크 ==
* [http://www.encyclopediaofmath.org/index.php/Cantor_ternary_function ''Cantor ternary function'' at Encyclopaedia of Mathematics]
* [http://demonstrations.wolfram.com/CantorFunction/ Cantor Function] by Douglas Rivers, the [[Wolfram Demonstrations Project]].
* {{매스월드|title= Cantor Function |urlname= CantorFunction}}

[[분류:프랙탈]]
[[분류:측도론]]
[[분류:특수 함수]]
[[분류:게오르크 칸토어]]