[[분류:프랙탈 이론]][[분류:나무위키 수학 프로젝트]] [include(틀:기하학·위상수학)] [목차] == 개요 == [[프랙탈 이론]] 하에서 정의한 [[차원]]. == 상세 == [[프랙탈 이론]]에서는 [[차원]]이라는 단어를 유클리드 공간에서의 의미와는 약간 다른 의미로 쓴다. 프랙탈 이론에서 말하는 차원은 '''하우스도르프 차원'''(Hausdorff dimension)으로 정의될 수 있다. 이 정의를 처음 생각해낸 독일의 수학자 펠릭스 하우스도르프의 이름을 딴 것이다. 본디 차원(次元)이라는 개념은, 혹은 '한 점의 위치를 정하기 위해 필요한 최소한의 수치의 개수'로 말할 수 있다. 이 경우, 일반적으로는 0차원, 1차원, 2차원, 3차원만을 생각할 수 있다. 그러나, 차원을 정의하기에 따라서는 정수가 아닌 차원을 생각할 수 있다. 먼저, [[선분]]을 2배 크게(길게) 하면 길이는 2배(2^^1^^배)가 된다. [[정사각형]]의 한 변의 길이를 2배 길게 하면 정사각형의 넓이는 4배(2^^2^^배)가 된다. [[정육면체]]의 한 모서리의 길이를 2배 길게 하면 정육면체의 부피는 8배(2^^3^^배)가 된다. 이에 착안하여, '''어느 도형의 길이를 [math(x)]배 확대할 때 그 도형의 길이나 넓이나 부피가 [math(n)]배 증가하면, [math(\boldsymbol{\log_xn})]을 하우스도르프 차원'''으로 정의한 것이다. [[파일:external/upload.wikimedia.org/699px-SierpinskiTriangle.svg.png|width=400]] 이 정의로는 정수가 아닌 차원이 가능한데, 프랙탈 도형(자기상사도형)이 그렇다. 위 그림이 그 예이다. 이 도형은 정삼각형을 정삼각형 4개로 나누고, 중간 부분을 제거한 후 또 새로 생긴 작은 정삼각형을 나누고 중간 부분을 제거하는 것을 '''무한히''' 반복한 도형으로 '시에르핀스키의 개스킷(시어핀스키 삼각형)'이라 한다. [[파일:external/upload.wikimedia.org/Sierpinski1.png]] 이 도형의 길이를 2배로 만들면 위와 같이 3개의 기존 도형으로 이루어진다.(빨간색, 노란색, 파란색의 3개.) 따라서 이 도형의 하우스도르프 차원은 [math(\log_xn)]≒'''1.585차원'''이 된다. 절대로 착각하지 마라! 위상적인 의미의 차원[* 엄밀히 말하면 르베그 덮개 차원]은 여전히 2차원이긴 하다. [youtube(gB9n2gHsHN4)] [[3Blue1Brown]]에서도 프랙탈을 자기 유사성을 가진 도형이라기보다는 소수 차원을 갖는 도형으로 설명한다. 실제로 많은 프랙탈 도형에서는 정확한 형태의 자기유사성이 성립하지 않기 때문에, 프랙탈 이론에서는 하우스도르프 차원을 통해 프랙탈을 정의하고 분류하는 경우가 많다. 다만 프랙탈 도형 중에 정수 차원을 갖는 경우도 있고 [* 대표적으로 [[드래곤 커브]]가 하우스도르프 차원이 2차원인 곡선이다. 그 외에도 여러 [[https://en.wikipedia.org/wiki/Space-filling_curve|공간 채움 곡선]] 등이 있다.] 위상적인 차원보다 항상 프랙탈 차원이 커지지 않는 경우도 있다 보니 이 정의를 항상 사용할 수는 없음에 주의하자. == 측도론에서의 정확한 정의 == 거리공간 [math(X)] 위에서의 '''하우스도르프 [[측도]]'''(Hausdorff measure)의 정의는 다음과 같다. [math(X)]의 부분집합 [math(S)]에 대해, [math(S)]를 반지름 [math(\delta)] 이하의 원으로 덮는 덮개를 생각하고, 이 중 반지름의 [math(d)]제곱의 총합의 하한으로 외측도 [math(H_{\delta}^d(S))]를 정의하자. ([math(d)]: 고정된 양수) [math(\displaystyle H_{\delta}^d(S) = \inf \{\sum_{i=1}^{\infty} r_i^d : S \subseteq \bigcup_{i=1}^{\infty} B(x_i, r_i), r_i < \delta \} )] 하우스도르프 측도는 이 [math(H_{\delta}^d(S) )]의 극한으로 정의되고, 거리 공간에서의 측도론은 이 하우스도르프 측도가 열린 집합 및 보렐 시그마 대수 위에서 (외측도가 아닌 일반 측도로서) [[잘 정의됨]]을 보장한다. [math(\displaystyle H^d(S) = \lim_{\delta\rightarrow 0} H_{\delta}^d(S) )] 이 때, 하우스도르프 차원은 이 측도가 0이 되는 [math(d)]의 하한이 된다. [math(\displaystyle \mathrm{dim}_{H}(S) = \inf \{ d : H^d(S) = 0\})] 일반적으로 집합 [math(S)]의 하우스도르프 차원을 [math(d_0)]라 할 때, [math(d<d_0)]이면 [math(H^d(S)=\infty)]이고, [math(d>d_0)]이면 [math(H^d(S)=0)]이 된다. 프랙탈 도형에 대해서는 위에서 설명한 하우스도르프 차원과 이 정의가 동일함을 보일 수 있고, 자기닮음을 찾아보기 힘든 일반적인 도형의 경우에도 이 정의는 적용이 가능하기 때문에, 정확한 논의에서는 이 측도론적 방식이 하우스도르프 차원의 정의가 된다. [* 엄밀하게 본다면 2절에서 정의한 프랙탈 차원과 하우스도르프 차원이 달라지는 경우도 있지만, 대부분의 경우 동일한 값을 주기 때문에 보통 깊게 따지진 않는다.] [각주][include(틀:문서 가져옴, title=프랙탈 이론, version=115)]