默比乌斯变换(Mobius transformation),也称
莫比乌斯变换,是数论中的一种重要变换。默比乌斯变换是以
数学家奥古斯特·费迪南德·莫比乌斯命名的,它也被叫做homographic transformations 或 fractional linear transformations。每个莫比乌斯变换都是从
黎曼球面到它自身的
一一对应的
共形变换。
简介
复平面中的默比乌斯变换
莫比乌斯变换是定义在扩充复平面上的(扩充复平面是指在普通的复平面加入无穷远点构成的集合)
扩充复平面可以看做是一个球面,它的另一个名称就是
黎曼球面。每个莫比乌斯变换都是从黎曼球面到它自身的
一一对应的
共形变换。事实上,所有这样的变换都是莫比乌斯变换。
所有莫比乌斯变换的集合在函数复合作用下构成一个群,称为“莫比乌斯群”,记作。这个群是黎曼球面(作为一个
黎曼曲面)的
自同构群,因此有时也被记作:
莫比乌斯群
同构于三维双曲空间中的保向等距同构群,因此在三维双曲空间中的子流形的研究中占有重要地位。
数论中的默比乌斯变换
对于给定的数论函数,定义新的数论函数:
称为的默比乌斯变换,而为的默比乌斯逆变换。
定义
在
几何学里,默比乌斯变换是一类从
黎曼球面映射到自身的函数。用扩展复平面上的复数表示的话,其形式为:
其中z,a,b,c,d为满足ad−bc≠0的(扩展)
复数。
(当ad=bc的时候这个表达式退化成一个常数,通常约定常数函数不是默比乌斯变换)。
当c≠0时,定义
如果c=0,那么定义
这样定义后,默比乌斯变换就成为了黎曼球面上的一个一一对应的
全纯函数。
由于对默比乌斯变换的每一个系数乘上一个相同的系数后不会改变这个变换:
所以也有的定义中将ad−bc≠0的条件改成ad−bc=1。这样的定义下得到的默比乌斯变换可以说是“约简后”的默比乌斯变换。
默比乌斯变换也可以被分解为以下几个变换:把平面射影到球面上,把球体进行旋转、位移等任何变换,然后把它射影回平面上。默比乌斯变换是以数学家
奥古斯特·费迪南德·莫比乌斯的名字命名的,它也被叫做单应变换(homographic transformation)或
分式线性变换(linear fractional transformation)。
分解
默比乌斯变换的实质与
反演密切相关。实际上,一个形如
的默比乌斯变换可以分解成四个变换:
2) (关于
单位圆做
反演变换然后关于实数轴做
镜面反射);
这四个变换的复合就是默比乌斯变换:
在这种分解之下,可以清楚地看出默比乌斯变换的不少基本性质。
首先,由于以上分解中的每个变换都是可逆的(它们的逆变换也十分清楚),因此可以容易地看出,默比乌斯变换的逆变换也是一个默比乌斯变换,而且其表达式可以具体计算。
具体来说,设变换函数,其中每一个都是相应的的逆变换(反函数),
那么默比乌斯变换f的逆变换就是:。
性质
保角性与保圆性
由于默比乌斯变换可以分解为
平移、
反演、
位似与
旋转变换,因此能够保持所有
反演变换的性质。一个基本的例子是保角性:由于平移、反演、位似与旋转变换都保持角度不变,因此两个复数(或向量)之间的幅角差(夹角)在经过莫比乌斯变换后不变。
此外,一个广义圆经过默比乌斯变换后,仍会映射到一个广义圆。
广义圆是指黎曼球面上的圆,包括普通的圆形和带无穷远点的直线(可以认为是一个半径无限大的圆)。这也是反演保持广义圆的结果。当然默比乌斯变换并不是将圆
映射到圆,将直线映射到直线,经过映射后直线可能变成圆,圆也可能变成直线。
复比不变性
默比乌斯变换也可以保持复数的复比不变。设有四个两两不同的复数,对应扩充复平面上四个不同的点,它们经过默比乌斯变换后变成四点,那么复比:
当中有一个或多个是无穷大时,复比就定义为相应逼近的极限。比如说当四个复数是时,复比就是:
确定默比乌斯变换
给定平面上三个不同点,存在着唯一的一个默比乌斯变换,使得分别等于。这个默比乌斯变换就是:
而由于对于另外的三个不同点,也唯一存在一个默比乌斯变换,使得分别等于。因此,对于任意一组出发点,任意一组到达点,都唯一存在一个默比乌斯变换,将分别映射到点。具体地说,这个变换就是。作为推论,如果一个默比乌斯变换有三个不动点,那么它是
恒等变换。
矩阵表示
默比乌斯变换构成的默比乌斯群和由二阶复
可逆矩阵所构成的二阶复系数
一般线性群有
同态的关系。事实上,考虑一个二阶的可逆矩阵:,其中,那么由矩阵的系数可以写出一个默比乌斯变换:
而如果考虑映射:
则经过计算可以知道,,也就是说:
注意
对所有的复数,,所以变换。因此,可以将起始空间由一般线性群缩小到
特殊线性群。而由于有且仅有
单位矩阵和负单位矩阵在
群同态下对应的默比乌斯变换是
恒等变换,所以的
核是。根据
群同态基本定理,有以下群同构关系: