フラクタル幾何
フラクタル幾何は、自然界や人工物に見られる複雑な形状を数学的に記述・解析するための幾何学の一分野です。直感的には、「どれだけ拡大しても、常に細部にわたって複雑な構造が現れる図形」、すなわち
フラクタル図形を研究対象とします。海岸線の複雑な入り組み方、樹木の枝分かれ、雲の形、岩のひび割れなど、従来のユークリッド幾何学では捉えきれなかった不規則で複雑なパターンを扱うことを得意としています。
この分野の理論は、その多くがポーランド生まれのフランスの数学者、
ブノワ・マンデルブロ(Benoit Mandelbrot, 1924-2010)によって創始、体系化されました。彼は、それまで個別に研究されていたり、単なる数学的な curiosities(珍しいもの)と見なされていた様々な複雑な図形や現象に共通する性質を見出し、「フラクタル」という概念を提唱しました。
厳密な定義とフラクタル次元
フラクタル図形を数学的に厳密に定義する場合、その図形(集合K)の
位相次元(dimT(K))と
ハウスドルフ次元(dimH(K))という二つの異なる次元概念を用います。一般的な図形では、位相次元はハウスドルフ次元以下であることが知られています(dimT(K) ≤ dimH(K))。例えば、線は位相次元もハウスドルフ次元も1、平面はどちらも2となります。
これに対し、集合Kがフラクタルであるとは、その位相次元よりもハウスドルフ次元の方が厳密に大きい(dimT(K) < dimH(K))という性質を持つことと定義されます。このとき、ハウスドルフ次元 dimH(K) の値は、しばしば0以上の実数となり、これをその集合Kの
フラクタル次元と呼びます。フラクタル次元は、図形の「ぎっしり詰まっている度合い」や「複雑さ」を数値として表現するものと言えます。例えば、通常の線はフラクタル次元1、面はフラクタル次元2ですが、フラクタル図形では次元が整数値を取るとは限りません。
自己相似図形と相似次元
フラクタル図形の中でも特に理解しやすく、またフラクタル次元の計算が比較的容易なクラスとして、
自己相似図形があります。自己相似図形とは、自分自身の全体が、自分自身を縮小したコピー(ミニチュア)をいくつか集めることで構成されているような図形です。これは、木の枝が全体と似た形で枝分かれしていく様子や、海岸線のごく一部が全体の海岸線の形と似ている様子をモデル化したものと言えます。
自己相似図形に対しては、
相似次元と呼ばれる特別な方法でフラクタル次元を計算することができます。もし、ある自己相似図形が、元の図形をサイズ1/nに縮小したミニチュアm個から成り立っているとします。このとき、その相似次元 d は次の式で定義されます。
d = log(m)
この定義は、通常の次元の考え方を拡張したものと捉えることができます。例えば、一辺の長さ1の正方形は、一辺の長さ1/2の正方形4個(n=2, m=4)で構成されます。この場合の相似次元は log₂(4) = 2 となり、これは正方形が2次元であることを示しています。同様に、一辺の長さ1の立方体は、一辺の長さ1/2の立方体8個(n=2, m=8)で構成され、相似次元は log₂(8) = 3 となり、立方体が3次元であることを示しています。
有名なフラクタル図形である
コッホ曲線は、自己相似図形の一例です。
コッホ曲線は、元の図形を1/3のサイズに縮小した4個のコピーから構成されています(n=3, m=4)。したがって、その相似次元、すなわちフラクタル次元は次の計算によって求められます。
d = log₃(4) ≈ 1.26
このフラクタル次元の値が1.26であるということは、
コッホ曲線が単なる直線(次元1)よりも複雑である一方、平面(次元2)ほど「ぎっしり詰まって」はいないことを示しています。このように、フラクタル次元を用いることで、図形の複雑さや構造を定量的に比較することが可能になります。
自己相似図形の中には、異なるサイズのミニチュアを組み合わせて構成されているものもありますが、その場合も同様の考え方に基づき、より複雑な計算によってフラクタル次元を求めることができます。
フラクタル幾何は、メンガーのスポンジなど様々な興味深い図形を生み出しており、この分野に関する多数の専門書が出版されています。これらの文献を参照することで、さらに深くフラクタル幾何の世界を探求することができます。