프랙탈(fractal)은 자기 유사성(self-similarity)을 갖는 기하학적 구조를 의미한다. 자기 유사성이란 어떤 도형의 일부를 확대하였을 때 전체와 닮은 형태가 반복적으로 나타나는 성질을 말한다. 프랙탈은 수학, 기하학 연구 분야의 하나로서, 부분과 전체가 유사한 형태를 띠는 무한한 단계의 기하학적 도형을 연구 대상으로 한다.
어원
프랙탈이라는 용어는 1975년 프랑스계 미국 수학자 브누아 망델브로(Benoit Mandelbrot)가 그의 저서 《The Fractal Geometry of Nature》에서 처음 사용하였다. 어원은 '부서진', '조각난'이라는 뜻의 라틴어 형용사 'fractus'에서 유래하였으며, 같은 어원을 가진 영어 단어 'fracture'(골절)와 'fraction'(분수)의 어감도 반영되었다.
정의와 특징
프랙탈에 대한 단일한 수학적 정의는 학자들 간에 완전히 합의되지 않았으나, 일반적으로 다음과 같은 특징을 갖는 기하학적 대상으로 설명된다.
- 자기 유사성: 도형의 일부가 전체와 닮은 형태를 띤다. 이는 완전한 자기 유사성(정확한 반복), 통계적 자기 유사성(확률적 반복), 준-자기 유사성(대략적 유사성) 등으로 구분된다.
- 축소에 대한 불변성: 확대 또는 축소의 정도와 관계없이 유사한 패턴이 유지된다.
- 프랙탈 차원: 하우스도르프 차원(Hausdorff dimension)으로 측정되며, 일반적인 위상 차원(정수)과 달리 정수가 아닌 소수 차원을 가질 수 있다. 예를 들어 코흐 곡선의 프랙탈 차원은 약 1.2619, 시에르핀스키 삼각형의 프랙탈 차원은 약 1.585이다.
역사
프랙탈의 개념은 17세기 고트프리트 라이프니츠가 자기 유사성에 대해 사고한 데서 비롯되었으나, 본격적인 수학적 연구는 19세기 후반에 이루어졌다. 1872년 카를 바이어슈트라스는 모든 점에서 연속이지만 어디에서도 미분 불가능한 함수를 제시하였고, 1883년 게오르크 칸토어는 칸토어 집합을 발표하였다. 1904년 헬게 폰 코흐는 코흐 눈송이(코흐 곡선)를, 1915년 바츠와프 시에르핀스키는 시에르핀스키 삼각형을 각각 고안하였다. 1918년 피에르 파투와 가스통 쥘리아는 복소수와 반복 함수에 관한 연구를 진행하였고, 같은 해 펠릭스 하우스도르프는 차원의 개념을 확장하여 정수가 아닌 차원을 정의하였다. 이후 망델브로가 1975년 '프랙탈'이라는 용어를 정립하고 컴퓨터 시각화를 통해 대중화하였다.
분류
프랙탈은 생성 기법에 따라 다음과 같이 분류된다.
- 시간매개형 프랙탈(escape-time fractals): 복소평면 상에서 각 점이 발산하는 속도를 색으로 나타낸 이미지. 망델브로 집합, 쥘리아 집합이 대표적이다.
- 반복함수계(iterated function system, IFS): 기하학적 대체 규칙에 의해 만들어진 도형. 칸토어 집합, 시에르핀스키 삼각형, 코흐 곡선 등이 이에 해당한다.
- 기이한 끌개(strange attractors): 혼돈 이론과 관련된 프랙탈로, 주어진 방정식의 해를 반복적으로 변환하여 얻어진다.
- 무작위적 프랙탈(random fractals): 확률적 규칙에 의해 생성된 프랙탈로, 자연 현상 모델링에 사용된다.
자연에서의 발견
프랙탈 구조는 자연계에서 널리 관찰된다. 구름, 산, 번개, 해안선, 강줄기, 나뭇가지, 로마네스코 브로콜리, 혈관계, 신경세포 등에서 자기 유사성이 발견된다. 다만 자연에서 나타나는 프랙탈은 완전한 수학적 프랙탈이 아닌 유한한 범위 내에서 통계적 자기 유사성을 보이는 근사 프랙탈이다.
응용 분야
프랙탈 이론은 다양한 분야에 응용된다. 수학 및 과학 분야에서는 혼돈 이론과 결합하여 복잡계를 모델링하는 도구로 사용된다. 컴퓨터 그래픽스에서는 프랙탈 기법을 이용하여 자연 풍경, 지형, 나무 등을 사실적으로 생성한다. 의학 분야에서는 신경퇴행성 질환의 조기 진단, 종양 분석 등에 프랙탈 차원 분석이 활용된다. 경제학에서는 주가 변동의 자기 유사성 분석에 적용된다. 또한 이미지 압축, 안테나 설계, 건축 디자인, 예술 등에도 응용되고 있다.
대표적인 프랙탈 도형
- 망델브로 집합(Mandelbrot set): 복소수 점화식 z_(n+1) = z_n² + c에서 발산하지 않는 복소수 c의 집합.
- 코흐 곡선(Koch curve): 정삼각형의 각 변을 3등분하여 가운데 부분을 정삼각형 모양으로 돌출시키는 과정을 무한 반복하여 얻어지는 곡선.
- 시에르핀스키 삼각형(Sierpinski triangle): 정삼각형을 4개의 합동인 작은 정삼각형으로 나누고 가운데 하나를 제거하는 과정을 무한 반복하여 얻어지는 도형.
- 칸토어 집합(Cantor set): 구간을 3등분하여 가운데를 제거하는 과정을 무한 반복하여 얻어지는 집합.
- 멩거 스펀지(Menger sponge): 정육면체의 각 모서리를 3등분하여 얻어지는 27개의 작은 정육면체 중 면 중앙과 중심의 7개를 제거하는 과정을 무한 반복하여 얻어지는 3차원 프랙탈.
