マンデルブロ集合

数学、特に複素力学系におけるマンデルブロ集合（マンデルブロしゅうごう、英: Mandelbrot set ）は、充填ジュリア集合に対する指標として提唱された集合である。数学者ブノワ・マンデルブロの名に因む。

定義編集

左上：場所 a の拡大図，右上：場所 b の拡大図，左下：場所 c の拡大図，右下：全体図

{\begin{cases}z_{n+1}=z_{n}^{2}+c\\z_{0}=0\end{cases}}

で定義される複素数列 {z_n}_n∈N∪{0} が n → ∞ の極限で無限大に発散しないという条件を満たす複素数 c 全体が作る集合がマンデルブロ集合である^[1]。

複素数 c を複素平面上の点として（あるいは同じことだが c = a + ib と表して c を xy-平面上の点 (a, b) として）表すと、この平面上でマンデルブロ集合はフラクタル図形として表される。右に示した 4 つの図は複素平面上でのマンデルブロ集合である。右下が全体像、他の 3 つの図は各部の拡大像である。図中の黒い部分がマンデルブロ集合に相当し、周囲の色は発散する速さを表している。

複素平面上においてマンデルブロ集合の大半の面積を占めるのは、原点を含むカージオイドに無数の円が外接し、その円にさらに無数の小さい円が外接することを無限に繰り返してできるフラクタル図形である。さらに、周囲を拡大すると、このフラクタル図形に類似した「飛び地」のような図形（図左上など）が無数に見られる。また、これらの図形を包含する、発散の遅い領域もやはりフラクタルの特徴を有しており、螺旋・相似等の多様な図形要素を構成する（#拡大イメージ参照）。マンデルブロ集合全体は、「飛び地」を含め、連結であることが証明されている。

マンデルブロ集合の周を拡大すると繰り返し現れる「飛び地」はマンデルブロ集合全体に良く似ているものの、互いに異なっている。つまりマンデルブロ集合の周は自己相似ではないフラクタルの一種であり、その相似次元は平面内の曲線としては最大の2次元である。このことはマンデルブロの予想と呼ばれ未解決問題の一つ^[要出典]だったが、宍倉光広によって肯定的に証明^{[要検証 – ノート]}された。