関数として複素数係数の多項式、有理式(分数式)を考えます。
関数によって、平面の点の動きが決まります。 点Z が 点 f(Z)に移ると考えます。
平面上の点(x、y)と複素数x+yiを同じものと考えます。
移動先のまた移動先、移動先の移動先の移動先、・・・をその点の軌道といいます。
関数による移動を無限に繰り返したときに点がどう動くのかで平面を色分けしたのが
ジュリア集合の画像です。
平面上で特殊な動きをする点がいくつかあります。
(1)ぜんぜん動かない点、これを不動点と言います。
たとえば関数Z2に対して1は12=1なので不動点です。
(2)何回かで元に戻ってくる点、これを周期点と言います。
戻ってくるまでの回数を周期といいます。
点AがBに行って、次にCに行きAに戻る場合Aは周期3の周期点ですがB,Cも周期3の
周期点になっています。
これらは1セットで考えます。
たとえばcos(π/3)+i*sin(π/3)は
(cos(π/3)+i*sin(π/3))2=cos(2π/3)+i*sin(2π/3)
(cos(2π/3)+i*sin(2π/3))2=cos(π/3)+i*sin(π/3)
となるので関数Z2の周期2の周期点です。
またcos(π/7)+i*sin(π/7)は
(cos(π/7)+i*sin(π/7))2=cos(2π/7)+i*sin(2π/7)
(cos(2π/7)+i*sin(2π/7))2=cos(4π/7)+i*sin(4π/7)
(cos(4π/7)+i*sin(4π/7))2=cos(π/7)+i*sin(π/7)
となるので関数Z2の周期3の周期点です。
不動点は1回目で戻ってくるとも考えられるので、周期1の周期点とも考えられます。
(3)ある曲線上をまわって、その曲線を埋めていく点。
このような動きをする点の集まりを考えると、2つのケースがあります。
(a)円盤状(実際はいびつな形になることが多い)になっていて、全体が回転する。
(b)ドーナツ状になっていて、全体が回転する。
(a)をジーゲルディスク、
(b)をエルマンリングといいます。
これらも周期点と同じように周期を持ちます。
周期の数だけのよく似た形のジーゲルディスク/エルマンリングが現れます。
周期が3なら内部の点は3回に1回みればジーゲルディスク/エルマンリングの
1つの中をぐるぐる回ります。
ジーゲルディスク エルマンリング
通常マンデルブロート集合と呼ばれているものは、関数Z2の場合にあたります。
また関数Znの場合のものはマルチブロート集合と呼ばれています。
ここではこれらを含めて拡張した意味でマンデルブロート集合と呼びます。
マンデルブロート集合は、その1点毎に関数が対応します。関数にはジュリア集合が対応します。
したがってマンデルブロート集合は
ジュリア集合の集まりだと考えることができます。
マンデルブロート集合と
ジュリア集合の関係の具体例は以下を見てください。
マンデルブロート集合とジュリア集合の関係 Z2の場合
Z3の場合
Z6の場合