프랙탈(Fractal)은 자연 현상과 과학, 예술 등 다양한 분야에서 발견되는 자기 유사성과 무한한 복잡성을 특징으로 하는 기하학적 형태이다. '프랙탈'이라는 용어는 '조각나다', '부서지기 쉬운'이라는 뜻의 라틴어 'fractus'에서 유래되었으며, 1975년 프랑스 태생의 수학자 베누아 만델브로트(Benoit B. Mandelbrot, 1924~2010)에 의해 처음 만들어졌다.
프랙탈의 역사와 주요 예시
프랙탈의 개념이 정립되기 오래 전부터, 수학자들은 전통적인 유클리드 기하학의 틀을 벗어나는 복잡한 도형과 곡선을 연구해 왔다.
초기 연구: 19세기 말에서 20세기 초, 게오르크 칸토어, 주세페 페아노, 헬게 폰 코흐(Helge von Koch), 바츨라프 시에르핀스키(Wacław Sierpiński)와 같은 수학자들이 오늘날 프랙탈로 분류되는 특이한 집합과 곡선들을 제시하였다. 이들은 연속하지만 미분 불가능한 곡선이나 차원이 정수가 아닌 집합의 존재를 보여주었다.
예시
칸토어 집합(Cantor Set): 1883년. 선분을 3등분하여 가운데 부분을 제거하는 과정을 무한히 반복하여 얻는 집합이다.
코흐 곡선 (Koch Curve) 1904년 발표. 길이가 $L$인 선분을 3등분하여 가운데 선분을 정삼각형의 두 변으로 대체하는 과정을 무한히 반복하여 얻는 곡선이다. 이 곡선은 둘레가 무한하지만, 이 곡선으로 둘러싸인 면적은 유한하다.
시에르핀스키 삼각형 (Sierpiński Gasket) 1915년 발표. 정삼각형을 4개의 작은 정삼각형으로 나누고 가운데 삼각형을 제거하는 과정을 무한히 반복하여 얻는 도형이다. 이 도형은 면적이 0에 가까워진다.
만델브로트의 정립: 1960년대와 1970년대에 만델브로트는 컴퓨터 그래픽 기술과 함께 이 도형들의 공통적인 특성인 자기 유사성에 주목하고 이들을 통칭하는 '프랙탈'이라는 용어를 만들었다. 그는 1975년 저서 "The Fractal Geometry of Nature"를 통해 프랙탈 기하학을 새로운 수학 분야로 확립하였다.
코흐 곡선과 시에르핀스키 삼각형 상세 설명
코흐 곡선 (Koch Curve)
헬게 폰 코흐(Helge von Koch)가 1904년에 발표한 코흐 곡선은 연속적이지만 모든 점에서 미분 불가능한 곡선이라는 특성을 지닌 프랙탈의 대표적인 예시이다.
생성 과정
코흐 곡선은 간단한 규칙을 무한히 반복하여 생성된다.
시작 도형 (0단계): 길이가 $L$인 선분 하나에서 시작한다.
반복 규칙: 모든 선분을 3등분하고, 가운데 선분을 제거한 자리에 정삼각형의 두 변을 추가한다. 원래 하나의 선분은 길이가 $\frac{L}{3}$인 4개의 선분으로 대체된다.
최종 도형: 이 과정을 무한히 반복하여 최종적인 코흐 곡선을 얻는다.
기하학적 특성
길이: 코흐 곡선은 무한한 길이를 가진다. $n$단계에서 곡선의 총 길이 $C_n$은 다음과 같다. $$C_n = \left(\frac{4}{3}\right)^n$$따라서 무한히 반복하면, $\lim_{n \to \infty} C_n = \infty$ (무한)이 된다.
면적: 세 개의 코흐 곡선으로 둘러싸인 코흐 눈송이(Koch Snowflake)는 둘레가 무한함에도 불구하고 유한한 면적을 가진다.
프랙탈 차원: 1차원(선)과 2차원(면) 사이에 위치하는 차원을 가진다. $$D_{Koch} = \frac{\log 4}{\log 3} \approx 1.2618$$
시에르핀스키 삼각형 (Sierpiński Gasket)
바츨라프 시에르핀스키(Wacław Sierpiński)가 1915년에 소개한 시에르핀스키 삼각형은 2차원 평면에서 가장 흔히 볼 수 있는 프랙탈 구조 중 하나이다.
생성 과정
시에르핀스키 삼각형은 반복적인 제거 과정을 통해 생성된다.
시작 도형 (0단계):정삼각형 하나에서 시작한다.
반복 규칙: 현재 도형 내의 모든 정삼각형의 세 변의 중점을 연결하여 4개의 작은 정삼각형을 만들고, 이 중 가운데 정삼각형을 제거한다.
최종 도형: 이 과정을 무한히 반복하여 최종적인 시에르핀스키 삼각형을 얻는다.
기하학적 특성
면적: 시에르핀스키 삼각형의 면적은 0에 가까워진다. $n$단계에서 남는 면적의 비율은 $\left(\frac{3}{4}\right)^n$으로, 무한히 반복하면 면적은 0이 된다.
둘레: 제거 과정에도 불구하고 경계선의 총 길이는 무한대로 발산한다.
프랙탈 차원: 1차원과 2차원 사이에 위치하며, 면적을 잃으면서 복잡성이 증가하는 특성을 보여준다. $$D_{Sierpinski} = \frac{\log 3}{\log 2} \approx 1.585$$
코흐 곡선과 시에르핀스키 삼각형은 모두 자기 유사성을 가지며, 프랙탈 차원이라는 새로운 개념을 통해 유클리드 기하학으로는 설명할 수 없었던 복잡한 형태의 특성을 정량화할 수 있게 해준 중요한 수학적 발견이다.
만델브로트 집합
만델브로트 집합은 프랙탈 기하학의 아버지인베누아 만델브로트의 이름을 딴 수학적 집합이자, 프랙탈의자기 유사성과무한한 복잡성을 가장 아름답게 보여주는 대표적인 예이다. 이 집합은 복소평면에서 매우 간단한 반복 계산(점화식)을 통해 생성되는데, 그 경계는 미스터리하고 무한히 복잡한 구조를 지닌다.
정의
만델브로트 집합 $M$은 다음과 같은 복소수 점화식을 반복했을 때 발산하지 않고 유한한 값에 머무르는 모든 복소수 $c$의 집합이다.
$$z_{n+1} = z_n^2 + c$$
여기서:
$n$은 반복 횟수를 나타내며 $n=0, 1, 2, \dots$ 이다.
$z$와 $c$는 모두 복소수이다. ($z=a+bi$, $c=x+yi$)
초기값은 항상 $z_0 = 0$ 으로 설정한다.
집합에 속하는 조건
복소수 $c$가 만델브로트 집합 $M$에 속하기 위한 조건은, 위 점화식을 무한히 반복했을 때 수열 $\{z_0, z_1, z_2, \dots \}$이 발산하지 않는 경우이다.
$c \in M$ (집합에 속함): $|z_n|$의 크기가 특정 값(예: 2)을 넘지 않고 무한히 반복해도 유한한 영역에 머무를 때.
$c \notin M$ (집합에 속하지 않음): $|z_n|$의 크기가 무한대로 발산할 때.
만델브로트 집합의 기하학적 특징
만델브로트 집합을 복소평면($c=x+yi$ 평면) 위에 그래프로 나타내면, 우리가 흔히 보는 신비로운 형태의 이미지가 나타난다.
자기 유사성: 집합의 경계에 있는 작은 부분들을 아무리 확대해도 전체 집합의 모습과 흡사한 형태(미니어처 복사본)가 무한히 반복되어 나타난다. 이는 프랙탈의 가장 핵심적인 특성이다.
복잡성: 집합의 경계는 무한히 뻗어 나가며, 만델브로트 집합의 경계는 프랙탈 차원 $D=2$를 가진다고 알려져 있다. 이는 경계가 너무 복잡해서 선(1차원)처럼 보이지 않고, 평면(2차원)을 채우는 것처럼 보인다는 의미이다.
2) 만델브로트 집합과 줄리아 집합
만델브로트 집합은 무수한 줄리아 집합(Julia Set)들을 모두 모아 놓은 "지도" 역할을 한다.
줄리아 집합은 $z_{n+1} = z_n^2 + c$ 점화식을 사용하지만, $c$는 고정된 상수이고, $z_0$는 복소평면의 모든 점으로 설정된다.
만델브로트 집합은 $c$ 값이 만들어내는 줄리아 집합이 연결되어 있는지(발산하지 않는지)를 나타내는 지표이다.
의의 및 활용
만델브로트 집합은 20세기 후반 수학, 컴퓨터 과학, 그리고 예술 분야에 혁명적인 영향을 미쳤다.
수학적 발견: '복잡한 형태의 정량화'를 프랙탈 차원이라는 개념으로 해결하는 계기가 되었다. 이 간단한 점화식에서 비롯된 무한한 복잡성은 카오스 이론과 동역학 시스템 연구에 중요한 토대가 되었다.
컴퓨터 기술: 만델브로트 집합의 이미지 생성은 컴퓨터 그래픽스 기술과 과학적 시각화 발전에 크게 기여하였다.
자연의 이해: 구름, 산맥, 해안선 등 자연 현상이 왜 불규칙하고 복잡한지를 수학적으로 설명하는 '프랙탈 기하학'의 상징이 되었다.
만델브로트 집합은 '질서(간단한 공식)'에서 '무질서(무한한 복잡성)'가 어떻게 탄생하는지를 보여주는 가장 극적이고 아름다운 수학적 예시이다.
프랙탈 차원
프랙탈은 그 복잡성과 '채우고 있는 정도'가 유클리드 차원(0, 1, 2, 3) 사이에 위치하는 경우가 많다. 프랙탈 차원은 이러한 특성을 정량적으로 나타내는 척도이며, 일반적으로 자기 유사성 차원(Self-Similarity Dimension)을 통해 쉽게 이해할 수 있다.
자기 유사성 차원 공식: 하우스도르프 차원 (Hausdorff dimension)
어떤 도형을 $N$개의 닮은 조각으로 나누었을 때, 각 조각의 축소 비율이 $r$이라면, 그 도형의 차원 $D$는 다음의 관계식을 만족한다.
$$N = \left(\frac{1}{r}\right)^D$$
따라서 차원 $D$는 다음과 같다.
$$D = \frac{\log N}{\log (1/r)}$$
차원이 정수가 아닌 프랙탈 도형
코흐 곡선: $\frac{1}{r} = 3$ 배 확대했을 때 $N = 4$ 개의 조각으로 구성된다.