基礎

平面としての複素数

複素数は、水平方向の実部と垂直方向の虚部から構成されます。これを点として扱うことで、算術演算が平面上の移動、伸縮、回転へと変換されます。

曲がりくねった境界帯を持つ、カラーレンダリングされたジュリア集合
MandelKitにおけるジュリア集合:1回の反復規則により、表示限界まで構造を持つ境界が生成されます。画像: Björn Kindler / MandelKit · MandelKit · Eigene Darstellung · Own work

独自の乗算係数を持つ座標

z = x + yi と記述してください。加算は点を平行移動させます。乗算は大きさを合成し、角度を加算します。二乗すると角度が2倍になり、原点からの距離は2乗されます。この幾何学的挙動が、定数 c が加算される前に z² によって生じる回転による折り目を説明しています。

幾何学的に言えば、複素乗算はスケーリングと回転を組み合わせたものです。そのため、ごく短い多項式でも、ねじれを伴う高度に対称な軌道を生み出すことができます。虚数単位は単なる装飾的な追加要素ではなく、多項式方程式とその反復計算を自然に扱うことができる代数的な枠組みを提供します。レンダラーは実部と虚部を2つの座標として保存し、すべての乗算において、固定された規則に従って2つの軸を結びつけます。

軌道、大きさ、脱出

ある点から開始し、レンダラーは関数を繰り返し適用して、その結果生じる軌道を観察します。大きさ |z| は原点からの距離を表します。二次ファミリーの場合、軌道が 2 の脱出半径を越えると、有界な経路に戻ることはできなくなります。

「Magnitude」は、通常の二次写像において、十分な半径を超えた軌道は戻ってこないため、単純な脱出テストを提供します。その証明が得られるまでは、依然として反復計算が必要です。境界付近の点は、脱出するまで長い間、束縛されているように見えることがあります。したがって、「Bailout radius(脱出半径)」と「iteration limit(反復回数の上限)」は異なる判断基準となります。半径は数学的な境界を提供するのに対し、上限は、残りのすべての点について所属を証明することなく、有限の計算を終了させるものです。

パラメータ平面と力学平面

マンデルブロ集合では、各ピクセルがパラメータ c であり、軌道はゼロから始まります。ジュリア集合では、c は固定されており、各ピクセルが開始点 z を提供します。これらの方程式は密接に関連していますが、この図が投げかける問いは異なります。

これら2つの平面は相互に補完し合っています。パラメータ空間は、どの定数が特定のグローバルな挙動を生み出すかを問うものであり、力学平面は、選択された定数のもとで始点がどのように分割されるかを示します。マンデルブロ集合内のパラメータを選択すると、連結された塗りつぶされたジュリア集合が得られ、集合外のパラメータを選択すると、非連結なジュリア集合が得られます。パラメータ空間での選択によって、それに伴ってジュリアビューが更新される場合、インタラクティブなツールは特に教育的な効果を発揮します。

出典および参考文献

本記事は、以下の専門資料を原文のまま要約したものです。12年8月にアクセスし、編集上のレビューを行いました 2026。

  1. Mandelbrot SetWolfram MathWorld
  2. Julia SetWolfram MathWorld