相似次元のソースを表示

'''相似次元'''（そうじじげん、similarity dimension）は、図形の[[自己相似|自己相似性]]に注目した次元の定義である。人工的な自己相似図形に対して[[次元]]を求める場合に用いる。人工的な自己相似図形以外の図形（実際の自然界に存在する図形など）に対しても相似次元の概念を適用できるように定義を拡張した次元として、[[容量次元]]がある。

== 定義 ==
[[Image:Dimensions.svg|thumb|right|通常のユークリッド次元との整合性: ユークリッド次元 ''D'' の自己相似図形は相似比 1/''r'' の小図形を ''N'' = ''r''<sup>''D''</sup> 個用いて復元される。]]
自己相似図形の相似次元は、縮小図形をいくつ集めると元の図形を復元できるかという観点から定義される。ある図形を ''r'' 分の 1 の相似比で縮小したとき、元の図形を復元するために必要な縮小図形の個数を ''N'' = ''N''(1/''r'') とする。このとき、
:<math>N\!\left( \frac{1}{r} \right) = \left( \frac{1}{r} \right)^{-D_s} \iff D_s = \log(N(1/r))/\log(r)</math>
となるような ''D''<sub>''s''</sub> を、相似次元と呼ぶ。相似次元が ''D'' であるような自己相似図形は、それを 1/''r'' に縮小したものを ''r''<sup>''D''</sup> 個集めることによって復元されるものである。 ある図形が全体を ''a'' 分の 1 に縮小した相似図形 ''b'' 個によって成り立っているとき、相似次元は
:<math>D_s = \frac{\log b}{\log a} = \log_a b</math>
となる。もし、相似次元 ''D'' の図形を 1/''r'' に縮小した小図形を考えるとき、これをさらに 1/''r'' に縮小したものを ''r''<sup>''D''</sup> 個を集めればこの小図形は復元される。この小図形はもちろん ''r''<sup>''D''</sup> 個あつめれば元の図形にもどるのだから、元の図形は 1/''r''<sup>2</sup> に縮小した小図形 (''r''<sup>D</sup>)<sup>2</sup> = (''r''<sup>2</sup>)<sup>''D''</sup> 個で復元される。この操作を ''l'' 回繰り返したとすると、復元に必要な個数は ''N''(1/''r''<sup>''l''</sup>) = (''r''<sup>''l''</sup>)<sup>''D''</sup> となるが、このとき 
: <math>\log(N(1/r^l))/\log(r^l) = D</math>
となる。小図形を別なスケールに縮小しても同様であり、この次元の定義はスケール変換や分割の個数に関して整合的である。
: <math>D_s = \lim_{r\to\infty}\log(N(1/r))/\log(r)</math>

[[画像:Cantors_dust_in_seven_iterations.png|thumb|カントール集合]]
[[Image:Koch_curve.svg|thumb|コッホ曲線]]
[[カントール集合]]の場合、元の図形を3分の1に縮小したものを2つ集めると元の図形に復元できる。そのため、

:<math>2 = N \left( \frac{1}{3} \right) = \left( \frac{1}{3} \right)^{-D_s}</math>

から、相似次元は
:<math>D_s = \log_3 2 = 0.6309 \cdots</math>
と、非整数になる。

[[コッホ曲線]]の場合、元の図形を3分の1に縮小したものを4つ集めると元の図形に復元できるので、相似次元は 
: <math>D_s = \log_3 4 = 1.2618 \cdots</math>
である。

==関連項目==
* [[フラクタル]]
* [[フラクタル幾何]]

==参考文献==
* Huntchinson, J. E. （1981年） "Fractals and Self-Similarity," ''Indiana University Mathematical Journal'' 30, 713-747.
* Feder, J. （1988年） ''Fractals,'' Plenum Press, New York.
* [[高安秀樹]] （1986年） 『フラクタル』, 朝倉書店.

{{次元}}
{{DEFAULTSORT:そうししけん}}
[[Category:フラクタル]]
[[Category:数学に関する記事]]
[[Category:次元]]