2008年 機本伸司 著 ハルキ文庫
フラクタル コッホ曲線 必要条件･十分条件 不完全性定理
ごく普通の女子大生である井沢直美が，飛行機に搭載された量子コンピューターを駆使して占いやカウンセリングをしようとする会社でのアルバイトで，それまでの日常から想像もできなかったような稀有な体験をするという話です．
｢フラクタル?」 智恵実が聞いた。
｢規則性の単純な "自己相似" 図形ですね。つまり図形を構成する小さな部分が、 図形全体と同じょうな構造をもつ幾何学図形。自然のなかでも、海岸線、 雲、 銀河、 星団などが、よく似た性質をもつと考えられています。そのフラクタルのなかで、我々が採用したのは "コッホ曲線" といわれるもので、正三角形をべースにしています」
｢清算関係?」
｢正三角形」小佐薙がもう一度言った。「各辺を三等分し、その中央を一辺とする小さな 正三角形を、外側にそれぞれ描く。それを際限なく描き続ける。すると，有限の大きさであるにもかかゎらず、周囲の長さは、理論上無限大の図形ができるわけです」
有限の大きさの中に、無限の長さ ......。直美は、頭の中でくり返した。
フラクタル図形とは自己相似な図形，すなわち部分と全体とが相似な図形のことで，ここで登場したコッホ曲線の他に，シェルピンスキーのギャスケット，カントール集合などが有名です．
1次元図形である線分、2次元図形である正方形、3次元図形である立方体の各辺を2等分したとき、1次元では2個の線分、2次元では4個の正方形、3次元では8個の立方体ができます．つまり、一辺を$n$等分すると、$n$個の線分、$n^2$個の正方形、$n^3$個の立方体ができますが，この指数が普通に2次元，3次元などという次元の数を表しています．
フラクタル次元は，一辺を$n$等分して$m$個の相似な図形ができるとき，
$$\frac{\log{m}}{\log{n}}$$で定義されます．この定義は普通の次元にも当てはまり，例えば立方体の各辺を2等分したとき，8個の立方体ができるので，
$$\frac{\log{8}}{\log{2}}=3$$となり，次元の数は3ということになります．
一方，
フラクタル図形は次元が非整数になるのが特徴です．
コッホ曲線
 |
| コッホ曲線 |
一辺を3等分して真ん中の線分を除き、そこへ除いた線分と正三角形ができるように同じ長さの2辺を追加すると，元の線分の1/3の長さを持つ線分が4つつながった折れ線ができます．この操作のたびに，3等分した後4つの相似な図形ができるので，
$$\frac{\log4}{\log3}≒1.262$$となり，コッホ曲線のフラクタル次元は1.262ということになります．また，この操作を繰り返していくと，曲線の長さは公比$\frac{4}{3}$の等比数列になるので，無限に長くなっていきます．
シェルピンスキーのギャスケット
 |
| シェルピンスキーのギャスケット |
正三角形の真ん中から辺の長さが1/2になる上下逆向きの正三角形を取り除くと，元の三角形の1/4の面積を持つ正三角形が３つできます．この操作のたびに，2等分した後3つの相似な図形ができるので，
$$\frac{\log3}{\log2}≒1.585$$となり，コッホ曲線のフラクタル次元は1.585ということになります．また，この操作を繰り返していくと，残る三角形の面積の和は公比$\frac{3}{4}$の等比数列になるので，限りなく0に近づいていきます．
カントール集合
 |
| カントール集合 |
線分を3等分して真ん中の線分を取り除くと，元の1/3の長さを持つ線分が2つできます．この操作のたびに，3等分した後2つの相似な図形ができるので，
$$\frac{\log2}{\log3}≒0.631$$となり，カントール集合のフラクタル次元は
0.631ということになります．また，この操作を繰り返していくと，残る線分の長さの和は公比$\frac{2}{3}$の等比数列になるので，限りなく0に近づいていきます．
この小説は神様論が冗長で，読むのに少し疲れるところもありましたが，面白い言葉のパロディが多くて楽しめました．
