分形

分形（英語：fractal，源自拉丁語：frāctus，有「零碎」、「破裂」之意），又稱碎形、殘形，通常被定義為「一個粗糙或零碎的幾何形狀，可以分成數個部分，且每一部分都（至少近似地）是整體縮小後的形狀」，即具有自相似的性質。分形在数学中是一种抽象的物体，用于描述自然界中存在的事物。人工分形通常在放大后能展现出相似的形状。分形也被称为扩展对称或展开对称。如果在每次放大后，形状的重复是完全相同的，这被称为自相似。自相似的一个例子是门格海绵。分形在不同的缩放级别上可以是近似相似的。曼德博集合的放大图像中显示了这种模式。分形也包有图像的细节重复自身的意味。
分形与其他幾何圖形相似但又有所不同。当缩放一个图形时，就能看出分形和其他几何图形的区别。将一个多边形的边长加倍，它的面积变为原来的四倍。新的边长与旧边长相比增加了2倍，而面积增加了4倍，即22{\displaystyle 2^{2}}倍。平面内的多边形在二维空间中，指数2刚好是多边形所在的二维空间的维数。类似的，对于三维空间中的球，如果它的半径加倍，则它的体积变为原来的8倍，即23{\displaystyle 2^{3}}倍，指数3依旧是球所在空间的维数。如果将分形的一维长度加倍，如将康托三分集的初始线段长加倍，分形空间的内容变为2n{\displaystyle 2^{n}}倍，此时n不一定是个整数。幂指数n称为分形的维数，它通常大于分形的拓撲維數。
作为一个数学函数，分形通常是处处不可微的。无穷分形曲线可以理解为一条一维的曲线在空间中绕行，它的拓撲維數仍然是1，但大于1的分形维数暗示了它也有类似曲面的性质。
我们可以从这些年来正式发表的文献中追踪分形概念的发展史。从17世纪有了递归的概念开始，到19世纪，伯納德·波爾查諾、波恩哈德·黎曼和卡尔·魏尔斯特拉斯对连续不可微函数开创性的研究，这些严谨的数学概念推动着分形的发展。20世纪时，人们创造了分形这个词，随之而来的是人们对分形和计算机建模和兴趣的迅速增长。1975年本華·曼德博首次提出“分形(fractal)”这个术语。分形的拉丁文词源frāctus（英语：wikt:fractus#Latin）有“破坏”、“破碎”的意思，曼德博将分形的概念从理论分形维数拓展到自然界中的几何图形。
一個數學意義上分形的生成是基於一個不斷迭代的方程式，即一種基於遞歸的反饋系統。分形有幾種類型，可以分別依據表現出的精確自相似性、半自相似性和統計自相似性來定義。权威学者们对分形的精确定义仍有争论。曼德博自己将分形总结为：“美丽、（研究起来）极其困难但又非常的有用，这就是分形”。1982年曼德博提出了更正式的定义：“分形是一种其豪斯多夫维数严格大于拓撲維數的集合”。后来他认为这种定义过于严格，于是简化并扩展了这个定义：“分形是由与整体在某些方面相似的部分构成的图形。”。又过了一段时间，曼德博决定使用以下方式来描述分形：“...在研究和使用分形时，不需要迂腐的定义。用分形维数作为描述各种不同分形的通用术语。”
通常认为，理论分形是无限迭代、自相似的、具有分形维数的详细数学结构。人们创造了许多分形图形并进行了充分的研究。分形并不限于几何图形，它也可以描述时间序列。雖然分形是一個數學構造，它們同樣可以在自然界中被找到，這使得它們被劃入藝術作品的範疇。分形在醫學、土力學、地震学和技术分析中都有应用。在自然、技术、艺术、建筑和法律等领域，人们对图形、结构和音频中不同程度自相似的分形图形进行了研究，并反过来利用分形理论取生成图形、结构和音频。分形和混沌理论密切相关，因为混沌过程的图形大多数都是分形。
和数学家们相比，分形一词对大众来说含义不尽相同。相对于数学概念来说，大众可能更熟悉分形艺术。即使是对数学家来说分形也很难定义，但只要一点点数学背景就可以理解分形的核心特征。
分形的“自我相似”的特征很容易通过类比来理解，就像用镜头或其他设备放大数字图像，从而发现以前不可见的、更精细的新结构。如果你放大一个分形的图像，则不会出现新的细节；图像没什么变化，相似的图案一遍又一遍的重复出现。对于有些分形几乎完全一样的图像会不断地重复。自我相似的特征并非反直觉的。人们在生活中也能看到自我相似的现象，例如：两面平行的镜子间的无限重复（英语：Infinite regress）、山上庙里老和尚的故事里的山……分形的不同之处在于重复的图案一定有详细的细节。
细节性的概念和分形的另一个特征——分形维数有关。分形维数不需要数学背景，也很容易理解：分形的分形维数大于它的拓扑维数，通过将分形尺度与普通的几何形状相比较，我们便能感受到他们的差别。举个例子，通常认为直线是是一维的，如果直线被分为三部分，每部分都是原来的1/3长，你会得到相等的三部分。相比之下，科赫雪花的拓扑维数是1，和普通的直线一样，但它的分形维数大于1，因为它有很多的细节。雪花曲线被分为原长的1/3，得到的是4条原始雪花曲线重组组合的结果。这种与众不同的关系是分形维数的基础。
这也引出了第三个特征：分形在数学上是处处不可微的。具体的说，这意味着分形不能用传统的方法测量。测量非分形曲线，如波浪曲线的长度，只要放大到足够大，总能用直线拟合一小段曲线，然后就能用卷尺测量这段直线的长度，再将各段直线长度相加，就可以得出波浪的长度。这样做实质上是把曲线看作数学上的函数，在一小段范围内取一阶泰勒展开，近似为直线，然后求和总长度。但分形曲线是处处不可微的，如果尝试使用直线去拟合分形曲线，如科赫雪花曲线，缩放的过程永远不会停止，因为曲线图案的重复模式总会不断地出现，每次缩放，都需要使用更小的卷尺来贴合曲线。
分形的历史可以从主要理论的研究追溯到现代计算机图形学中的应用，在这个过程中有几个著名的人物对典型的分形形式做出了贡献。根据Pickover的说法，17世紀時，數學家兼哲學家萊布尼茨思考過遞迴的自相似，分形的數學從那時開始漸漸地成形（雖然他誤認只有直線會自相似）。在他的著作中萊布尼茨使用了“分形指数”这个术语，但遗憾的是“几何”还不知道它们。根据不同史书的记载，在这之后，很少再有数学家尝试解决这些问题。已有的工作也模糊不清，主要的原因是人们对不熟悉新兴概念的抵触，这些概念有时被称为数学“怪物”。
因此直到两个世纪之后，1872年7月18日卡尔·魏尔斯特拉斯才在皇家普鲁士科学院给出分形的第一个定义：分形是一种具有处处连续，但又处处不可微等反直觉性质的函数图形。另外，随着求和计算值的增加，函数的导数变得任意大。不久之后，1883年，参加过魏爾施特拉斯课程的格奧爾格·康托爾也給出一個具有不尋常性質的例子：實直線上的子集——康托爾集，现在也被認為是分形。同样的，在那个世纪的末尾，菲利克斯·克莱因和儒勒·昂利·庞加莱也提出了一种称为“自逆”分形的分形。
分形发展的一个里程碑在1904年，当时海里格·馮·科赫不滿意魏爾施特拉斯那抽象和基于分析的定義，它扩展了庞加莱的定义，給出了更加幾何化的定義并附上了一個類似函數的手绘图形，今天稱之為科赫雪花。另一个里程碑在十年之后，1915年瓦茨瓦夫·謝爾賓斯基构造出了謝爾賓斯基三角形；隔年，又造出了謝爾賓斯基地毯。1918年，两名法国数学家皮埃爾·法圖（英语：Pierre Fatou）和加斯東·茹利亞（英语：Gaston Julia）通过各自独立的工作，基本上同时得出了描述複數映射以及函数迭代相关分形行为的结果，并由此引出了之后关于奇异吸引子的想法。吸引子理论之后在分形理论中占有十分重要的地位。在这项巩固走发表之后不久，1918年3月，费利克斯·豪斯多夫扩展了“维数”的定义，允许几何具有非整数维数，这对分形定义的发展意义重大。1938年，保羅·皮埃爾·萊維在他的論文《平面、空间曲线和由与整体自相似部件组成的曲面》中將自相似曲線的概念更進一步地推進，他在文中描述了一個新的分形曲線－萊維C形曲線。
1960年代，本華·曼德博開始研究自相似，且在路易斯·弗萊·理查德森之前工作的基礎上，寫下一篇論文《英國的海岸線有多長？統計自相似和分數維度》。最終，曼德博在1975年提出了「分形」一詞，來標記一個豪斯多夫-贝西科维奇維數大於拓扑维数的物件。曼德博以顯著的電腦绘制圖像來描繪此一數學定義，這些圖像征服了大眾的想像；它們中許多都基於递归，導致了大眾對術語「分形」的通俗理解。
不同的研究者推测，由于缺乏现代计算机图形学的帮助，早期的研究人员受限于工具，只能手绘图形。因此缺乏可视化分形之美的手段，也无法欣赏它们发现的许多分形模式的含义。如茱莉亚集，通过几次迭代，只能可视化为非常简单的图形。这种情况在20世纪60年代得到了改观，当时本華·曼德博正开始写他基于刘易斯·弗莱·理查森（英语：Lewis Fry Richardson）早期工作的论文：《英國的海岸線有多長？統計自相似和分數維度》。1975年，曼德博将数百年来关于分形的构思与发展固化在“分形”一词上，并用高超的计算机可视化构造来说明他的数学定义。这些图像，包括他定义的曼德博集合，抓住了大众的想象力。其中的很多图形都是基于递归的，这也让“分形”一词具有了现在的含义。
1980年，洛伦·卡彭特在计算机图形学顶级年会SIGGRAPH上发表了一次演讲，演讲中他介绍了他基于分形理论开发的用于产生风景的软件。
分形一般有以下特質：
因為分形在所有的大小尺度下都顯得相似，所以通常被認為是無限複雜的（以不严谨的用詞來說）。自然界裡一定程度上類似分形的事物有雲、山脈、閃電、海岸線、雪片、植物根、多種蔬菜（如花椰菜和西蘭花）和動物的毛皮的圖案等等。但是，並不是所有自相似的東西都是分形，如實直線雖然在形式上是自相似的，但卻不符合分形的其他特質，比如說它能被傳統的歐氏幾何語言所描述。
分形的圖像可以用碎形生成軟件（英语：Fractal-generating software）作出。儘管用此類軟件生成的圖像並不具備上述分形的特徵，比如說存在放大後無上述特徵的局部區域，但是這些圖像通常仍然被稱為分形。而且這些圖像可能含有由計算或顯示造成的人為偏差——一些不屬於分形的特徵。
一類分形的典型例子有：康托爾集、謝爾賓斯基三角形和地毯、門格海綿、龍形曲線、皮亚诺曲线和科赫曲線。其他的例子包括李亞普諾夫碎形（英语：Lyapunov fractal）及克萊因群（英语：Kleinian group）的極限集。分形可以是確定性的，如上述所有的分形；也可以是隨機的（即非確定性的）。比如說，平面上布朗運動的軌跡的豪斯多夫維數等於2。
混沌動力系統有時候會和分形聯繫起來。動力系統的相空間中的對象可以是分形（參見吸引子），一族系統的參數空間（英语：Parameter space）中的對象也可以是分形。一個有意思的例子就是曼德博集。這個集合包含很多完整的圓盤，所以它的豪斯多夫維數等於它的拓扑維數2；但是真正令人驚訝的是，曼德博集的邊界的豪斯多夫維數也是2（而拓扑維數是1），這個結果由宍倉光廣（Mitsuhiro Shishikura）在1991年证明。一个与曼德博集紧密相关的分形是朱利亚集。
四個製造分形的一般技術如下：
分形也可以依據其自相似來分類，有如下三種：
如上所述，隨機分形可以用來描述許多高度不規則的現實世界的物件。其他分形的應用亦包括：