数学漫步：复平面上变换、曼德博与茱莉亚分形集合 _小知识

文章插图

（观看相应的视频：第六章：复数，续）这章通过在复平面上变换的动画演示加深人们对复数概念的直观感觉。
一个变换 T 是一个操作把对于每一个平面内的点，也即复数 z 与另一点 T(z) 联系起来。为了展示变换，我们把法国数学家杜阿迪的照片放在平面上，显示它经过变换后的样子：相片上的每个像素都是经过 T 变换得到的。
杜阿迪以自己个照片为例举了下面复平面变换 T 函数的例子。
T(z) = z/2【数学漫步：复平面上变换、曼德博与茱莉亚分形集合】

文章插图

每一个数都除以 2，图片被因子 2 缩小了：一个反向变焦(reverse zoom)！我们把这称作位似变换。
T(z) = iz

文章插图

由 i 的定义可知，这即旋转四分之一圆周。

文章插图

T(z) = (1+i)z1 ＋ i 的模是 √2，它的辐角是 45° 。这是由旋转 45°和 √2 因子位似复合的变换。这叫做相似。这是复数的一大优势：它容许我们把简单相似描述成乘法。

文章插图

T(z) = z2这是我们的第一个非线性变换。通过把相片放在不同点，我们就会了解在复平面上应用平方的效果：模被平方辐角被加倍。

文章插图

T(z) = -1/z这个变换的作用与俗称的反演(inversion)相似。与 0 相对应的原点不能被变换。但是我们约定原点被变换到无穷点。原因很简单：如果一个复数 z 接近 0，即模趋于 0，被变换后的数-1/z 的模—— z 的模的倒数，将趋于无穷大。这个变换有「爆破」的性质，把靠近原点的领域内的点移至很远处，越过萤幕的边界……相反地，离原点很远的点被「压」至原点附近。

文章插图

长久以来，学术书籍中都很重视反演，因为它协助我们证明相当漂亮的定理。反转最主要的性质是把圆变换成圆或直线。艺术家利用这种类型的变换，而把它称作失真(anamorphosis) 。
T(z) = (az+b)/(cz+d)

文章插图

更普遍地，如果我们选取四个复数 a、b、c、d，考虑变换 T(z) = (az+b)/(cz+d) 。
这些变换在数学中有好几个名字——Moebius 变换，射影变换，单应变换(homographies)——但是它们首要的性质是把圆变换成圆或直线。这是一种美丽的几何——共形几何的一个变换群。这种几何和非欧几何相似，这已是另一个主题了！
T(z) = z+k/z

文章插图

俄罗斯科学家茹科夫斯基在他开拓机翼的空气动力学( the aerodynamics of airfoils )的过程中研究过这个变换。这个图示的意义在于它展示了这种类型变换的基本性质。当然它不再保圆（只有 Moebius 变换保圆），但是在无穷小的范围内它还是保圆的。这些变换叫做全纯的(holomorphic)或共形的(conformal) 。希腊语与拉丁语词根「holo」与「con」意思是「一样(same)」，「morph」意思是「形状(form)」：换句话来说，这些变换保持形状。全纯函数(holomorphic functions)的研究在数学中占很重要的地位。

文章插图

六、复变动态系统在第六章的第二部分，杜阿迪介绍了一个重要分支，他也是这个分支的贡献者之一。是关于茱莉亚集合(Julia set) 的研究，这不仅是基于数学上的兴趣，更是由于它出奇地美丽（当然这两点也有关联）。很少见一个强大的数学理论能以如此美丽的形式展示出来。许多艺术家被这些图像激发灵感。

文章插图

开头的想法很简单：我们随意取一个复数 c 。考虑变换 Tc(z) = z2+c 。它先复数 z 平方然后平移 c 。在起始点 z，变换的结果是 z1 = Tc(z) 。我们进而可以考虑它的变换结果 z2 = Tc(z1)，我们一直这样无穷下去，产生复数序列 zn，每个数都由前一个数变换得到。我们说在变换 Tc 下，序列 zn 处于起始点 z 的轨道(orbit)中。研究序列 zn 的性质，就是要了解 Tc 的动力学(dynamics) 。下面一个简单的例子，足以体现数学之美。