术语曼德勃罗集通常既指一类通用的分形集,也指这类集合的特定实例。一般来说,曼德勃罗集标记了复平面中的点集,使得相应的朱利亚集是连通的并且不是可计算的。
“该”曼德勃罗集是从二次递推方程获得的集合
(1)
|
其中 ,其中复平面中的点 ,对于这些点, 的轨道不会趋于无穷大,则属于该集合。将 等于集合中任何不是周期点的点都会得到相同的结果。曼德勃罗集最初被 Mandelbrot 称为 分子。J. Hubbard 和 A. Douady 证明了曼德勃罗集是连通的。
上面显示了曼德勃罗集的图,其中复平面中 的值根据达到 所需的步数进行着色。曼德勃罗集的肾形部分最终被一个具有以下方程的心脏线包围
(2)
| |||
(3)
|
曼德勃罗集的中心区域在 附近,有时被称为海马谷,因为其中出现的螺旋形状类似于海马尾巴 (Giffin, Munafo)。
类似地,曼德勃罗集的中心区域在 附近,大小约为 ,被称为象谷。
Shishikura (1994) 证明了曼德勃罗集的边界是分形,豪斯多夫维数为 2,驳斥了 Elenbogen 和 Kaeding (1989) 关于它不是分形的结论。然而,曼德勃罗集是否是路径连通的尚不清楚。如果它是路径连通的,那么 Hubbard 和 Douady 的证明意味着曼德勃罗集是一个圆的图像,并且可以通过折叠内部的某些弧线从圆盘构建而成 (Douady 1986)。
曼德勃罗集的面积可以精确地写成
(4)
|
其中 是共形映射 的无穷远处的洛朗级数的系数,该映射将单位圆盘的外部映射到曼德勃罗集的外部,
(5)
| |||
(6)
|
(OEIS A054670 和 A054671; Ewing 和 Schober 1992)。 的递归由下式给出
(7)
| |||
(8)
| |||
(9)
| |||
(10)
|
这些系数可以递归计算,但尚不清楚闭合形式。此外,该总和收敛非常缓慢,因此需要 项才能获得前两位数字,需要 项才能获得三位数字。Ewing 和 Schober (1992) 计算了 个 值,发现 在此范围内,并推测此不等式始终成立。此计算还提供了极限 ,并使作者相信真实值介于 和 之间。
通过像素计数获得的集合面积为 (OEIS A098403; Munafo; Lesmoir-Gordon et al. 2000, p. 97),通过统计抽样获得的面积为 ,置信度为 95% (Mitchell 2001),这两者都明显小于 Ewing 和 Schober (1992) 的估计值。
为了可视化曼德勃罗集,可以将点被认为已逃逸的极限近似为 而不是无穷大。然后,可以通过根据非成员点发散到 的速度对其进行着色来创建精美的计算机生成图。一个常见的选择是将一个称为计数的整数定义为最大的 ,使得 ,其中 可以方便地取为 ,并为不同计数的点着色不同的颜色。连续计数之间的边界定义了一系列“曼德勃罗集双纽线”(或“等势线”;Peitgen 和 Saupe 1988),其定义是通过迭代二次递归,
(11)
|
因此,前几个双纽线由下式给出
(12)
| |||
(13)
| |||
(14)
| |||
(15)
| |||
(16)
| |||
(17)
| |||
(18)
|
(OEIS A114448)。
当写成 并取每边的绝对平方时,双纽线可以在复平面中绘制,前几个由下式给出
(19)
| |||
(20)
| |||
(21)
|
这些是一个圆(黑色)、一个卵形线(红色)和一个梨形曲线(黄色)。事实上,第二个曼德勃罗集双纽线 可以用新的坐标系表示,其中 为
(22)
|
这只是一个 卡西尼卵形线,其中 和 。曼德勃罗集双纽线随着计数的增加而变得越来越复杂,如上图所示,并且随着计数趋于无穷大而接近曼德勃罗集。
术语曼德勃罗集也可以应用于“该”曼德勃罗集的推广,其中函数 被其他函数替换。在上面的图中,, , 并且 允许在复平面中变化。请注意,对于不位于分形吸引子中的 的选择,可以获得完全不同的集合(不是曼德勃罗集)。因此,例如,在上面的集合中,选择 在单位圆盘内但在红色盆地之外,会得到一组外观完全不同的图像。
曼德勃罗集的推广可以通过用 或 替换 来构造,其中 是一个正整数, 表示 的复共轭。上面的图显示了对于 、3 和 4 获得的分形 (Dickau)。底部的图用 替换了 ,有时被称为“曼德勃条集”。