{{위키데이터 속성 추적}}
[[파일:Hilbert curve!.gif|섬네일|힐베르트 곡선을 생성하는 과정]]
[[수학]]에서, '''힐베르트 곡선'''({{llang|en|Hilbert curve}})은 평면 위의 [[프랙탈]] [[공간 채움 곡선]]의 하나이다.

== 정의 ==
{{-}}
<gallery mode="packed" heights="200px">
Hilbert curve with Line 1 (bl).svg|1차 힐베르트 다각형
Hilbert curve with Line 2 (bl).svg|2차 힐베르트 다각형
Hilbert curve with Line 3 (bl).svg|3차 힐베르트 다각형
</gallery>
'''힐베르트 곡선''' <math>h\colon[0,1]\to[0,1]\times[0,1]</math>은 다음과 같은 [[연속 함수]]들의 열 <math>h_n\colon[0,1]\to[0,1]\times[0,1]</math> (<math>n\in\mathbb Z^+</math>)의 [[균등 극한]]이다.
# (1차 힐베르트 다각형) 구간 <math>[0,1]</math>을 4등분하고, 정사각형 <math>[0,1]\times[0,1]</math>을 4개의 부분 정사각형으로 등분한다. 분할된 4개의 구간과 4개의 정사각형을 대응시킨다. (이웃하는 구간은 이웃하는 정사각형과 대응한다.) 이제 이웃하는 두 구간에 대응하는 두 정사각형의 중심을 이어붙인다.
# (2차 힐베르트 다각형) 다시 각 구간과 그에 대응하는 정사각형을 4등분한 뒤, 16개의 구간과 16개의 정사각형을 대응시킨다. (각 구간의 부분 구간은 그 구간에 대응하는 정사각형의 한 부분 정사각형에 대응하며, 이웃하는 구간은 이웃하는 정사각형과 대응한다.) 15쌍의 이웃하는 구간에 대응하는 15쌍의 정사각형의 중심을 이어붙인다.
# (3차 힐베르트 다각형) 16개의 구간과 16개의 정사각형을 각각 64개의 부분 구간과 64개의 부분 정사각형으로 등분하여 같은 과정을 반복한다. 이러한 과정은 1차 힐베르트 다각형과 ‘닮은’ 부분 곡선을 2차 힐베르트 다각형과 닮은 모양으로 대체하는 것으로 요약할 수 있다.
<math>(h_n)_{n\in\mathbb Z^+}</math>이 <math>h</math>로 균등 수렴함은 다음과 같이 보일 수 있다. [[축소 구간 정리]]에 따라, 임의의 <math>t\in[0,1]</math>에 대하여, <math>(h_n(t))_{n\in\mathbb Z^+}</math>는 어떤 점 <math>h(t)\in[0,1]\times[0,1]</math>로 수렴한다. <math>h(t)</math>와 <math>h_n(t)</math>는 <math>n</math>번 분할로 얻어진 변의 길이가 <math>1/2^n</math>인 같은 작은 정사각형에 속하며, 따라서 이들 사이의 거리는 작은 정사각형의 대각선을 넘지 않는다. 즉, 다음이 성립한다.
:<math>|h(t)-h_n(t)|\le\sqrt 2/2^n\qquad(\forall t\in[0,1],n\in\mathbb Z^+)</math>
따라서 <math>(h_n)_{n\in\mathbb Z^+}</math>은 <math>h</math>로 균등 수렴한다.

=== 명시적 표현 ===
구간 <math>[0,1]</math> 속의 수를 [[4진법]]으로 나타내고, 정사각형 <math>[0,1]\times[0,1]</math> 속 점을 [[복소수]]로 여겼을 때, '''힐베르트 곡선'''은 다음과 같이 명시적으로 나타낼 수 있다.<ref name="Sagan">{{서적 인용
|이름=Hans
|성=Sagan
|제목=Space-Filling Curves
|언어=en
|총서=Universitext
|출판사=Springer
|위치=New York, NY
|날짜=1994
|isbn=978-0-387-94265-0
|issn=0172-5939
|doi=10.1007/978-1-4612-0871-6
|mr=1299533
|zbl=0806.01019
}}</ref>{{rp|17, (2.3.13); 18, (2.4.3)}}
:<math>h\colon[0,1]\to[0,1]\times[0,1]</math>
:<math>\begin{align}h(t)&=\sum_{j=1}^\infty(-1)^{e_{3j}}2^{-j}\sgn(t_j)(t_j-1+(-1)^{d_j}i)\exp(i\pi d_j/2)\\&=\sum_{j=1}^\infty(-1)^{e_{0j}}2^{-j}\sgn(t_j)((1-d_j)t_j-1+(1-d_jt_j)i)\end{align}</math>
여기서
* <math>t=0.t_1t_2t_3\cdots_{(4)}</math>는 <math>t</math>의 4진법 전개이다.
* <math>e_{kj}=|\{r\in\{1,2,\dots,j-1\}\colon t_r=k\}|\in\mathbb Z/2\mathbb Z=\{0,1\}</math>
* <math>d_j=e_{0j}+e_{3j}\in\mathbb Z/2\mathbb Z=\{0,1\}</math>
* <math>\sgn</math>은 [[부호 함수]]이다.
* <math>\exp</math>는 [[지수 함수]]이다.
* <math>i</math>는 [[허수 단위]]이다.

== 성질 ==
힐베르트 곡선은 다음 성질들을 만족시킨다.<ref name="Sagan" />{{rp|§§2.1–2.2}}
* [[균등 연속 함수]]이다.
* [[전사 함수]]이다.
* [[단사 함수]]가 아니다. (이는 [[네토 정리]]의 특수한 경우이며, 또한 자체적으로도 쉽게 보일 수 있다.)
* 모든 곳에서 [[미분 불가능]]하다. 특히, [[립시츠 연속 함수]]가 아니다.

== 역사 ==
[[다비트 힐베르트]]가 1891년 논문에서 제시하였다.<ref name="Hilbert">{{저널 인용
|이름=David
|성=Hilbert
|저자링크=다비트 힐베르트
|제목=Ueber die stetige Abbildung einer Linie auf ein Flächenstück
|언어=de
|저널=Mathematische Annalen
|권=38
|쪽=459–460
|날짜=1891
|issn=0025-5831
|doi=10.1007/BF01199431
|mr=1510683
|jfm=23.0422.01
}}</ref> 이는 처음 제시된 [[공간 채움 곡선]]이 아니지만 (최초의 공간 채움 곡선은 [[주세페 페아노]]가 제시하였다), 그가 논문에 실은 그림은 [[공간 채움 곡선]]의 생성 과정을 설명하는 최초의 그림이다 ([[#정의]]에서의 그림과 유사하다).<ref name="Sagan" />{{rp|10}}

== 같이 보기 ==
* [[참조 국부성]]
== 참고 문헌 ==
{{각주}}

== 외부 링크 ==
* {{매스월드|id=HilbertCurve|제목=Hilbert curve}}

[[분류:프랙탈 곡선]]
[[분류:다비트 힐베르트]]