<p>몇번의 글을 써본 결과, 글 내용이 복잡해질 수록 추천이 별로 없는거 같아요ㅠ.ㅠ</p>
<p>그래서 오늘은 간략히 <b>수학과 예술의 만남!</b> 프랙탈(fractal)도형에 관해 쓰…려고 하였으나 그 마저도 내용이 복잡하게 전개될 거 같아 오늘은 그 중에서도 굉장히 유명한!! 프랙탈이라는 이름을 만든 故 Benoit B. Mandelbrot翁(2010.10.14 사망)을 기려 <b>만델브로 집합(Mandelbrot set)</b>을 소개하려고 합니다. 오늘도 베오베에 한번 도전!</p>
<p>여러분은 고등학교 때 배운 점화식을 기억하시나요? 수열에서, 전 항(들)의 관계로부터 뒷 항을 만들어내는 식을 점화식이라고 합니다. 예를들어 등차수열 <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5C%7Ba_%7Bn%7D%5C%7D_%7Bn%5Cin%5Cmathbb%7BN%7D%7D&bg=ffffff&fg=333333&s=0' alt='\displaystyle \{a_{n}\}_{n\in\mathbb{N}}' title='\displaystyle \{a_{n}\}_{n\in\mathbb{N}}' class='latex' />의 경우, <img src='http://s0.wp.com/latex.php?latex=a_%7Bn%2B1%7D+%3D+a_%7Bn%7D+%2B+d&bg=ffffff&fg=333333&s=0' alt='a_{n+1} = a_{n} + d' title='a_{n+1} = a_{n} + d' class='latex' />(단, <img src='http://s0.wp.com/latex.php?latex=d%5Cin%5Cmathbb%7BR%7D&bg=ffffff&fg=333333&s=0' alt='d\in\mathbb{R}' title='d\in\mathbb{R}' class='latex' />는 상수)가 됩니다. 여기에 초기조건 <img src='http://s0.wp.com/latex.php?latex=a_%7B1%7D&bg=ffffff&fg=333333&s=0' alt='a_{1}' title='a_{1}' class='latex' />값만 주어지면 수열이 점화식으로부터 전부 쏟아져나오겠죠.</p>
<p>만델브로 집합 또한 복소수 수열 <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5C%7Bz_%7Bn%7D%5C%7D_%7Bn%5Cin%5Cmathbb%7BN%7D%7D&bg=ffffff&fg=333333&s=0' alt='\displaystyle \{z_{n}\}_{n\in\mathbb{N}}' title='\displaystyle \{z_{n}\}_{n\in\mathbb{N}}' class='latex' />에 대한 간단한 점화식 관계로부터 도출됩니다.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+z_%7Bn%2B1%7D+%3D+z_%7Bn%7D%5E%7B2%7D+%2B+c&bg=ffffff&fg=333333&s=0' alt='\displaystyle z_{n+1} = z_{n}^{2} + c' title='\displaystyle z_{n+1} = z_{n}^{2} + c' class='latex' />(단, <img src='http://s0.wp.com/latex.php?latex=c%5Cin%5Cmathbb%7BC%7D&bg=ffffff&fg=333333&s=0' alt='c\in\mathbb{C}' title='c\in\mathbb{C}' class='latex' />는 상수)라는 점화식을 생각하고, 첫항을 <img src='http://s0.wp.com/latex.php?latex=z_%7B1%7D%3D1&bg=ffffff&fg=333333&s=0' alt='z_{1}=1' title='z_{1}=1' class='latex' />라 합시다. 그러면 이 수열은 전부 결정되는데, 이 때 모든 항(복소수)의 크기(실수부와 허수부의 제곱의→합의→양의 제곱근)가 어떤 유한범위 내에 갇혀있으면 그에 해당하는 <img src='http://s0.wp.com/latex.php?latex=c&bg=ffffff&fg=333333&s=0' alt='c' title='c' class='latex' />를 집합 <img src='http://s0.wp.com/latex.php?latex=M&bg=ffffff&fg=333333&s=0' alt='M' title='M' class='latex' />안에 집어넣습니다. 이렇게 전~부 집어넣은 <img src='http://s0.wp.com/latex.php?latex=M&bg=ffffff&fg=333333&s=0' alt='M' title='M' class='latex' />을 바로 만델브로 집합이라고 합니다.</p>
<p>예를들어, <img src='http://s0.wp.com/latex.php?latex=c%3D1&bg=ffffff&fg=333333&s=0' alt='c=1' title='c=1' class='latex' />로 두면, <img src='http://s0.wp.com/latex.php?latex=0%2C%7B%7D1%2C%7B%7D2%2C%7B%7D5%2C%7B%7D26%2C%7B%7D...&bg=ffffff&fg=333333&s=0' alt='0,{}1,{}2,{}5,{}26,{}...' title='0,{}1,{}2,{}5,{}26,{}...' class='latex' /> 과 같이 수열의 크기가 계속 크기가 커짐을 알 수 있습니다. 따라서 <img src='http://s0.wp.com/latex.php?latex=1&bg=ffffff&fg=333333&s=0' alt='1' title='1' class='latex' />은 <img src='http://s0.wp.com/latex.php?latex=M&bg=ffffff&fg=333333&s=0' alt='M' title='M' class='latex' />에 들어가지 않게 됩니다.<br />
반면 <img src='http://s0.wp.com/latex.php?latex=c%3Di&bg=ffffff&fg=333333&s=0' alt='c=i' title='c=i' class='latex' />로 두면, <img src='http://s0.wp.com/latex.php?latex=0%2C%7B%7Di%2C%7B%7D-1%2Bi%2C%7B%7D-i%2C%7B%7D-1%2Bi%2C%7B%7D-i%2C%7B%7D...&bg=ffffff&fg=333333&s=0' alt='0,{}i,{}-1+i,{}-i,{}-1+i,{}-i,{}...' title='0,{}i,{}-1+i,{}-i,{}-1+i,{}-i,{}...' class='latex' />과 같이 수열의 크기가 <img src='http://s0.wp.com/latex.php?latex=%5Csqrt%7B%28-1%29%5E%7B2%7D%2B1%5E%7B2%7D%7D%3D%5Csqrt%7B2%7D&bg=ffffff&fg=333333&s=0' alt='\sqrt{(-1)^{2}+1^{2}}=\sqrt{2}' title='\sqrt{(-1)^{2}+1^{2}}=\sqrt{2}' class='latex' />를 넘어가지 못함을 알 수 있고, <img src='http://s0.wp.com/latex.php?latex=i&bg=ffffff&fg=333333&s=0' alt='i' title='i' class='latex' />는 <img src='http://s0.wp.com/latex.php?latex=M&bg=ffffff&fg=333333&s=0' alt='M' title='M' class='latex' />에 들어가게 됩니다.</p>
<p>(Mandelbrot set <img src='http://s0.wp.com/latex.php?latex=M&bg=ffffff&fg=333333&s=0' alt='M' title='M' class='latex' />의 정의를 Formal하게 다시 적으면,<br />
<img src='http://s0.wp.com/latex.php?latex=M%3D%5C%7Bc%5Cin%5Cmathbb%7BC%7D%3A&bg=ffffff&fg=333333&s=0' alt='M=\{c\in\mathbb{C}:' title='M=\{c\in\mathbb{C}:' class='latex' />There exists a constant <img src='http://s0.wp.com/latex.php?latex=K%5Cin%5Cmathbb%7BR%7D&bg=ffffff&fg=333333&s=0' alt='K\in\mathbb{R}' title='K\in\mathbb{R}' class='latex' /> such that for any <img src='http://s0.wp.com/latex.php?latex=n%5Cin%5Cmathbb%7BN%7D%2C+%5C%7Cz_%7Bn%7D%5C%7C%5Cleq+K%5C%7D&bg=ffffff&fg=333333&s=0' alt='n\in\mathbb{N}, \|z_{n}\|\leq K\}' title='n\in\mathbb{N}, \|z_{n}\|\leq K\}' class='latex' /> )</p>
<p><img src='http://s0.wp.com/latex.php?latex=M&bg=ffffff&fg=333333&s=0' alt='M' title='M' class='latex' />의 영역을 복소평면위에 검게 칠하면 다음과 같은 그림이 됩니다.</p>
<p><img src="http://upload.wikimedia.org/wikipedia/commons/5/56/Mandelset_hires.png" width="400" height="289"><br />
[만델브로 집합(Mandelbrot set)]</p>
<p>무슨 외계 생명체같이 생겼네요… 뻗어나가는 세균같기도 하고…-_-a</p>
<p>조금 더 퐌타스틱하게 보이기 위해 색을 좀 칠하면 다음과 같은 알흠다운 그림이 얻어집니다.</p>
<p><img src="http://upload.wikimedia.org/wikipedia/commons/2/21/Mandel_zoom_00_mandelbrot_set.jpg" width="400" height="289"></p>
<p>(색을 칠하는 방법에는 여러가지가 있습니다만, 대부분 <img src='http://s0.wp.com/latex.php?latex=%5C%7Cz_%7Bn%7D%5C%7C&bg=ffffff&fg=333333&s=0' alt='\|z_{n}\|' title='\|z_{n}\|' class='latex' />(아까 말씀드린 수열의 크기)가 무한대로 접근하는 속도에 따라 다른 색을 칠하는 방식을 씁니다.)</p>
<p>그렇다면 만델브로가 프랙탈인가? 그러고보니 프랙탈 도형의 소개를 안했네요. 아주 rough하게 말하자면, 프랙탈 도형이란 자기유사성(self-similarity)을 가지고 있는 도형이라고 정의합니다. 자기유사성이랑 어떤 부분을 적당히 확대 시켰을 때 다시 같은 패턴이 나오는 것을 뜻하는데, 예를 들면 다음과 같은 도형들입니다.</p>
<p><img src="http://upload.wikimedia.org/wikipedia/commons/f/fd/Von_Koch_curve.gif"><br />
[코흐의 눈송이(Koch snowflake)]</p>
<p><img src="http://upload.wikimedia.org/wikipedia/commons/c/c5/Menger_sponge_%28Level_1-4%29.jpg"><br />
[멩거 스폰지(Menger sponge)]</p>
<p>이것들은 인간에게 신비감을 주기 때문에 예술 작품의 아이디어가 되기도 하며, 이러한 예술을 프랙탈 예술(Fractal art)라고 합니다.</p>
<p>그렇다면 만델브로 집합은 어떤 자기유사성을 가지고 있을까요? 안타깝게도, 만델브로 집합이 자기유사성을 띄는 부분은 그렇게 많지 않습니다. 하지만 확대시켰을 경우, 완전히 자신와 같지는 않더라도 “거의 같은” 경우는 많고, 또한 아무리 확대 시켜도 “복잡성”을 유지한다는 것이 특징입니다. 예를들어 원의 한 부분을 확대 시키면 보다 단순한 도형 직선에 가까워지지만, 만델브로 집합은 그러한 현상을 보이지 않습니다.<br />
(여기서 “거의 같은”과 “복잡성”은 수학적으로 엄밀하게 정의될 수 있으나 생략하겠습니다.)</p>
<p><img src="http://upload.wikimedia.org/wikipedia/commons/a/a4/Mandelbrot_sequence_new.gif"><br />
[만델브로 집합의 자기 유사성]</p>
<p>위의 이미지를 보시면 처음 그림과 완전히 같아지는 그림처럼 보이는 경우가 몇번 있을텐데, 사실은 그게 완벽하게 똑같지는 않습니다(꼬리 부분의 구성이 조금 다르게 됩니다.). 이러한 자기 유사성을 quasi-self-similarity라고 합니다.</p>
<p>이 이상 얘기하면 머리아파지니까 그만하고, 그렇다면 오늘의 하일라이트!!!!</p>
<p>만델브로 집합을 지대로 여행해 볼까요?^^*</p>

<object width="560" height="349"><param name="movie" value="http://www.youtube.com/v/foxD6ZQlnlU?version=3&hl=ko_KR"></param><param name="allowFullScreen" value="true"></param><param name="allowscriptaccess" value="always"></param><embed src="http://www.youtube.com/v/foxD6ZQlnlU?version=3&hl=ko_KR" type="application/x-shockwave-flash" width="560" height="349" allowscriptaccess="always" allowfullscreen="true"></embed></object>

<p>수학으로 베오베 가는 그날까지!!</p>
<p>읽어주셔서 감사합니다(__)</p>