更改

跳到导航 跳到搜索

迭代函数系统 (查看源代码)

2021年12月5日 (日) 13:00的版本

添加3,118字节 、 2021年12月5日 (日) 13:00
无编辑摘要
第2行： 第2行：  
[[File:Sierpinski_triangle.png|thumb|right|250px|[[Sierpinski triangle]] created using IFS (colored to illustrate self-similar structure) 使用IFS创建的Sierpinski三角形（用颜色来说明自相似结构）。]]
 
[[File:Sierpinski_triangle.png|thumb|right|250px|[[Sierpinski triangle]] created using IFS (colored to illustrate self-similar structure) 使用IFS创建的Sierpinski三角形（用颜色来说明自相似结构）。]]
 
[[File:Chris Ursitti fractal 0000.png|thumb|right|200px| 彩色 IFS 使用Apophysis 软件设计，使用Electric Sheep渲染。]]
 
[[File:Chris Ursitti fractal 0000.png|thumb|right|200px| 彩色 IFS 使用Apophysis 软件设计，使用Electric Sheep渲染。]]
 +
在数学中，'''迭代函数系统 iterated function systems（IFS）'''是一种构造[[分形几何 Fractal]]的方法；产生的分形通常是自相似的。IFS分形与集合论的关系比分形几何更大。<ref name="picg">{{cite book |title=Progress in Computer Graphics: Volume 1 |last=Zobrist |first= George Winston |author2=Chaman Sabharwal |year=1992 |publisher=Intellect Books |isbn=9780893916510 |page=135 |url=https://play.google.com/store/books/details?id=Ai6Qo0qoE9EC |accessdate=7 May 2017}}</ref>它们于1981年被提出。
   −
在数学中，’’’迭代函数系统 iterated function systems（IFS）’’’是一种构造[[分形几何 Fractal]]的方法；产生的分形通常是自相似的。IFS分形与集合论的关系比分形几何更大。<ref name="picg">{{cite book |title=Progress in Computer Graphics: Volume 1 |last=Zobrist |first= George Winston |author2=Chaman Sabharwal |year=1992 |publisher=Intellect Books |isbn=9780893916510 |page=135 |url=https://play.google.com/store/books/details?id=Ai6Qo0qoE9EC |accessdate=7 May 2017}}</ref>它们于1981年被提出。
+
IFS分形，正如他们被通常称呼一样，可以是任何维度的，但通常在2维空间计算和绘制。分形是由其本身的几个副本的结合体组成，每个副本都由一个函数变换而成（因此称为 "函数系统"）。典型的例子是[[谢尔宾斯基三角形]] Sierpiński triangle。这些函数通常是收缩的，这意味着它们使点更接近，使形状更小。因此，IFS分形的形状是由若干个可能重叠的较小副本组成的，每个副本也是由自己的副本组成的，无穷无尽[[ad infinitum]]。这就是其自相似分形性质的来源。
   −
IFS分形，正如他们被通常称呼一样，可以是任何维度的，但通常在2维空间计算和绘制。分形是由其本身的几个副本的结合体组成，每个副本都由一个函数变换而成（因此称为 "函数系统"）。典型的例子是[[谢尔宾斯基三角形]] Sierpiński triangle。这些函数通常是收缩的，这意味着它们使点更接近，使形状更小。因此，IFS分形的形状是由若干个可能重叠的较小副本组成的，每个副本也是由自己的副本组成的，无穷无尽[[ad infinitum]]。这就是其自相似分形性质的来源。
      
==定义==
 
==定义==
第11行： 第11行：  
:<math>\{f_i:X\to X\mid i=1,2,\dots,N\},\ N\in\mathbb{N}</math>
 
:<math>\{f_i:X\to X\mid i=1,2,\dots,N\},\ N\in\mathbb{N}</math>
 
如果每个<math>f_i</math>都是完整的度量空间<math>X</math>上的收缩，则是一个迭代函数系统。
 
如果每个<math>f_i</math>都是完整的度量空间<math>X</math>上的收缩，则是一个迭代函数系统。
 +
    
==性质==
 
==性质==
第19行： 第20行：     
:<math>S = \overline{\bigcup_{i=1}^N f_i(S)}.</math>
 
:<math>S = \overline{\bigcup_{i=1}^N f_i(S)}.</math>
 +
    
集合''S''因此是[[Hutchinson算子]]的固定集。<math>F: 2^X/to 2^X</math>定义为<math>A/subseteq X</math>，通过
 
集合''S''因此是[[Hutchinson算子]]的固定集。<math>F: 2^X/to 2^X</math>定义为<math>A/subseteq X</math>，通过
    
:<math>F(A)=\overline{\bigcup_{i=1}^N f_i(A)}.</math>
 
:<math>F(A)=\overline{\bigcup_{i=1}^N f_i(A)}.</math>
 +
    
''S''的存在性和唯一性是[[contraction mapping principle]]的结果，就如
 
''S''的存在性和唯一性是[[contraction mapping principle]]的结果，就如
 +
 
:<math>\lim_{n\to\infty}F^{\circ n}(A)=S</math>
 
:<math>\lim_{n\to\infty}F^{\circ n}(A)=S</math>
 +
    
对于<math>X</math>中的任何非空紧集<math>A</math>。(对于收缩型IFS，即使对于任何非空的闭合有界集<math>A</math>，也会发生这种收敛。)。任意接近''S''的随机元素可以通过下面描述的 "chaos game "获得。
 
对于<math>X</math>中的任何非空紧集<math>A</math>。(对于收缩型IFS，即使对于任何非空的闭合有界集<math>A</math>，也会发生这种收敛。)。任意接近''S''的随机元素可以通过下面描述的 "chaos game "获得。
 +
    
最近，人们证明了非收缩型的IFS(即由相对于''X''中的任何拓扑等价度量不收缩的映射组成)可以产生吸引子。
 
最近，人们证明了非收缩型的IFS(即由相对于''X''中的任何拓扑等价度量不收缩的映射组成)可以产生吸引子。
 +
    
这些都是在投影空间中自然产生的，尽管经典的圆上的无理旋转也可以适应。<ref>M. Barnsley, A. Vince, The Chaos Game on a General Iterated Function System</ref>
 
这些都是在投影空间中自然产生的，尽管经典的圆上的无理旋转也可以适应。<ref>M. Barnsley, A. Vince, The Chaos Game on a General Iterated Function System</ref>
   −
函数的集合<math>f_i</math>能产生是运算下的独异点。如果只有两个这样的函数，那么这个单体可以可视化为一棵[[binary tree]]，在树的每一个节点上，我们可以用一个或另一个函数进行合成（''即''取左支或右支）。一般来说，如果有''k个''函数，那么可以将单子可视化为一个完整的[[k-ary树|''k-''ary树]]，也称为[[Cayley tree]]。
+
 
 +
函数的集合<math>f_i</math>能产生是运算下的独异点。如果只有两个这样的函数，那么这个单体可以可视化为一棵二叉树，在树的每一个节点上，我们可以用一个或另一个函数进行合成（''即''取左支或右支）。一般来说，如果有''k个''函数，那么可以将单子可视化为一个完整的[[k-ary树|''k-''ary树]]，也称为[[Cayley tree]]。
 +
 
    
==构建==
 
==构建==
第44行： 第53行：  
  | direction = horizontal
 
  | direction = horizontal
 
  | width = 150
 
  | width = 150
−
  | header = 2012年10月11日
+
  | header = 2012-10-11
 
  | image1 = Golden_Square_fractal_6.png
 
  | image1 = Golden_Square_fractal_6.png
 
  | caption1 = [[Golden ratio|Golden square]] fractal
 
  | caption1 = [[Golden ratio|Golden square]] fractal
 
  | image2 = Half_square_fractal_5.svg.png
 
  | image2 = Half_square_fractal_5.svg.png
 
  | caption2 = Half fractal
 
  | caption2 = Half fractal
−
  | footer = 2012年10月22日
+
  | footer = 2012-10-22
 
}}
 
}}
 +
 
<gallery mode="packed" heights="140">
 
<gallery mode="packed" heights="140">
−
File:Golden_Square_fractal_6.png|[[Golden ratio|Golden square]] fractal
+
File:Golden_Square_fractal_6.png|[[Golden ratio|Golden square]] 分形
−
File:Half_square_fractal_5.svg.png| Half fractal 半分形
+
File:Half_square_fractal_5.svg.png| 半分形
 
</gallery>
 
</gallery>
−
Sometimes each function <math>f_i</math> is required to be a [[Linear transformation|linear]], or more generally an [[affine transformation|affine]], transformation, and hence represented by a [[matrix (mathematics)|matrix]]. However, IFSs may also be built from non-linear functions, including [[projective transformation]]s and [[Möbius transformation]]s. The [[Fractal flame]] is an example of an IFS with nonlinear functions.
     −
有时，每个函数<math>f_i</math>都必须是线性的[[Linear transformation|linear]]，或者更一般的[[affine transformation|affine]]，变换，因此用[[matrix (mathematics)|matrix]]表示。然而，IFS也可以由非线性函数建立，包括[[projective transformation]]和[[Möbius transformation]]。[[Fractal flame]]是一个非线性函数的IFS的例子。
+
有时，每个函数<math>f_i</math>都必须是线性变换，或者更一般的仿射变换，因此用矩阵表示。然而，IFS也可以由非线性函数建立，包括[[projective transformation]]和[[Möbius transformation]]。[[Fractal flame]]是一个非线性函数的IFS的例子。
   −
The most common algorithm to compute IFS fractals is called the "[[chaos game]]". It consists of picking a random point in the plane, then iteratively applying one of the functions chosen at random from the function system to transform the point to get a next point. An alternative algorithm is to generate each possible sequence of functions up to a given maximum length, and then to plot the results of applying each of these sequences of functions to an initial point or shape.
     −
计算IFS分形最常用的算法叫做"[[chaos game]]"。它包括在平面上随机选取一个点，然后反复应用从函数系统中随机选取的一个函数来变换该点，去得到下一个点。另一种算法是生成每一个可能的函数序列，直到给定的最大长度，然后将这些函数序列中的每一个应用于初始点或形状的结果绘制出来。
+
计算IFS分形最常用的算法叫做“混沌游戏 chaos game”。它包括在平面上随机选取一个点，然后反复应用从函数系统中随机选取的一个函数来变换该点，去得到下一个点。另一种算法是生成每一个可能的函数序列，直到给定的最大长度，然后将这些函数序列中的每一个应用于初始点或形状的结果绘制出来。
   −
Each of these algorithms provides a global construction which generates points distributed across the whole fractal. If a small area of the fractal is being drawn, many of these points will fall outside of the screen boundaries. This makes zooming into an IFS construction drawn in this manner impractical.
      
这些算法中的每一种都提供了一个全局结构，生成分布在整个分形上的点。如果正在绘制分形的一小块区域，这些点中的许多将落在屏幕边界之外。这使得放大以这种方式绘制的IFS结构不切实际。
 
这些算法中的每一种都提供了一个全局结构，生成分布在整个分形上的点。如果正在绘制分形的一小块区域，这些点中的许多将落在屏幕边界之外。这使得放大以这种方式绘制的IFS结构不切实际。
第77行： 第84行：  
==逆问题==
 
==逆问题==
 
有非常快速的算法可以从一组IFS或PIFS参数生成图像。与存储和传输图像中每个像素的颜色相比，存储描述如何创建图像、将该描述传输到目标设备并在目标设备上重新生成图像的速度更快，所需的存储空间也更小。<ref name="lacroix">Bruno Lacroix. [http://www.collectionscanada.gc.ca/obj/s4/f2/dsk2/ftp01/MQ36939.pdf "Fractal Image Compression"]. 1998.</ref>
 
有非常快速的算法可以从一组IFS或PIFS参数生成图像。与存储和传输图像中每个像素的颜色相比，存储描述如何创建图像、将该描述传输到目标设备并在目标设备上重新生成图像的速度更快，所需的存储空间也更小。<ref name="lacroix">Bruno Lacroix. [http://www.collectionscanada.gc.ca/obj/s4/f2/dsk2/ftp01/MQ36939.pdf "Fractal Image Compression"]. 1998.</ref>
 +
    
逆问题比较困难：给定一些原始的任意数字图像，如一张数字照片，试图找到一组IFS参数，通过迭代评估后，产生另一幅与原始图像视觉上相似的图像。在1989年，Arnaud Jacquin 提出了一个只用 PIFS 的限制形式的反问题的解，反问题的一般形式仍未解决。<ref>Dietmar Saupe, Raouf Hamzaoui.[https://www.uni-konstanz.de/mmsp/pubsys/publishedFiles/SaHa94.pdf "A Review of the Fractal Image Compression Literature"].</ref><ref name="kominek">John Kominek.
 
逆问题比较困难：给定一些原始的任意数字图像，如一张数字照片，试图找到一组IFS参数，通过迭代评估后，产生另一幅与原始图像视觉上相似的图像。在1989年，Arnaud Jacquin 提出了一个只用 PIFS 的限制形式的反问题的解，反问题的一般形式仍未解决。<ref>Dietmar Saupe, Raouf Hamzaoui.[https://www.uni-konstanz.de/mmsp/pubsys/publishedFiles/SaHa94.pdf "A Review of the Fractal Image Compression Literature"].</ref><ref name="kominek">John Kominek.
第109行： 第117行：  
   
 
   
 
<br/>
 
<br/>
 +
 +
 +
==编辑推荐==
 +
===书籍推荐===
 +
====[http://rrd.me/gfyYz  分形对象：形、机遇和维数  Fractals:From,Chance,and Dimension]====
 +
本书考察和研究出现在自然界中的若干典型分形对象，为我们提供了一个关于分形的内容，意义及方法的扼要介绍。尽管自该书第一版（法文版）问世以来，分形的理论及其应用发展极为迅速，并出现了大量的有关著作，但此书仍不失为分形理论最好的入门书之一
 +
 +
 +
====[http://rrd.me/gfzjk  大自然的分形几何 The Fractal Geometry of Nature ]====
 +
这本书介绍了自然界中各种各样的分形理论，从海岸线、雪花，到河流、星系等自然现象，去阐述分形这一概念。作为多个学科的交叉，分形几何对以往欧氏几何不屑一顾（或说无能为力）的“病态”曲线（如科赫雪花曲线等）的全新解释，是人类认识客观世界不断开拓的必然结果。这说明欧氏几何只是对客观世界的近似反映，而分形几何则深化了这种认识，因此分形几何学是描述各种复杂自然曲线的大自然的几何学。
 +
 +
 +
====[http://rrd.me/gfz56  市场的（错误）行为：风险、破产与收益的分形观点The Misbehavior of Markets: A Fractal View of Financial Turbulence]====
 +
《市场的（错误）行为》以分形视角观察金融市场的行为，推翻了作为当代金融分析基础的“随机游走”理论。通过分形模型，市场表现被重新阐释。本书是现代金融理论标准工具和模型的一次革命性重估，书中的观点颠覆了成千上万投资者的既有观念。
 +
 +
 +
===网站资源===
 +
====[http://www.fxysw.com/forum-12-1.html  分形艺术网]====
 +
[[File:003522d0gu40lukr822vwu.jpg|400px|right|thumb|分形艺术网作品]]
 +
分形艺术网是一个展示分形艺术之美，学习交流分形艺术创作的平台，其中包含了很多分形艺术作品及分形资源推荐。
 +
 +
 +
===视频资源===
 +
====[http://www.ted.com/talks/benoit_mandelbrot_fractals_the_art_of_roughness.html  TED分享视频：伯努·瓦曼德布洛特: 分形和粗糙的艺术 Benoit Mandelbrot: Fractals and the Art of Roughness ]====
 +
Benoit Mandelbrot的研究使世界对分形有了更深刻的理解，分形是研究粗糙的广泛而有力的工具，在自然界和人类的作品中都是如此。该视频概述了分形的研究，以及它们为许多领域带来的颠覆性见解。
 +
 +
 +
====[https://www.bilibili.com/video/av13766486/?p=2  寻找隐藏的维 Hunting the Hidden Dimension]====
 +
什么是电影特效，股票市场，和心脏病的共同点？它们连接了一个革命性的新的数学分支，改变了我们看世界，开辟了广阔的新领域，以科学的分析和理解。数学家们开发不规则碎片形是从单纯的好奇心到接触几乎每一个分科的理解，包括我们宇宙的命运。
 +
 +
 +
===课程推荐===
 +
[[File:分形课程.png|400px|thumb|upright=3|[https://campus.swarma.org/play/coursedetail?id=10419  系统科学简史与现代复杂系统科学,本课程主要探讨了现代复杂系统科学的研究主题，同时也介绍了系统科学的历史，生命游戏与分形结构等知识点]|right]]
 +
====[https://campus.swarma.org/play/coursedetail?id=10621  分形与奇异吸引子的几何学]====
 +
本课程对非线性动力学和混沌进行了详细的讲解，强调分析方法、具体实例和几何直觉。主讲人为Steven Strogatz。
 +
 +
 +
====[https://campus.swarma.org/play/coursedetail?id=10698  分形的世界]====
 +
在此堂课程，主要介绍了关于分形的思想与脉络，分形现象、分形维数、利用分形规律的计算方法以及混沌。主讲人为北京师范大学系统学院狄增如教授。狄增如教授主要从事复杂网络和经济（金融）物理学等方面的研究，是国内最早从事经济物理学研究的学者之一。
 +
 +
 +
===集智百科文章===
 +
*[https://mp.weixin.qq.com/s/XpdpBfeMgN43HC7BXAbdIQ  与树共舞：分形舞蹈可视化]
 +
*[https://mp.weixin.qq.com/s/WIoTavOE1c98USA1cGoPmw?from=singlemessage&scene=1&subscene=10000&clicktime=1584552553&enterid=1584552553  城市为何遵循规模法则？分形几何揭开幂律成因]
 +
*[https://mp.weixin.qq.com/s/AGt-C281sPBa25fXAWhoJA?from=singlemessage&scene=1&subscene=10000&clicktime=1584552710&enterid=1584552710  混沌、分形理论及其在信息科学中的应用 | IWCFTA2018]
     
薄荷
7,129

个编辑

取自“https://wiki.swarma.org/index.php/特殊:移动版差异/27876”

导航菜单