莫比乌斯变换

✍ dations ◷ 2025-04-04 11:07:38 #复分析,共形几何,射影几何,李群

在几何学里, 莫比乌斯变换是一类从黎曼球面映射到自身的函数。用扩展复平面上的复数表示的话,其形式为:

其中 , , , , 为满足 − ≠ 0的(扩展)复数。

莫比乌斯变换也可以被分解为以下几个变换:把平面射影到球面上,把球体进行旋转、位移等任何变换,然后把它射影回平面上。莫比乌斯变换是以数学家奥古斯特·费迪南德·莫比乌斯的名字命名的,它也被叫做单应变换(homographic transformation)或分式线性变换(linear fractional transformation)。

莫比乌斯变换是定义在扩充复平面上的(扩充复平面是指在普通的复平面加入无穷远点构成的集合)

扩充复平面可以看做是一个球面,它的另一个名称就是黎曼球面。每个莫比乌斯变换都是从黎曼球面到它自身的一一对应的共形变换。事实上,所有这样的变换都是莫比乌斯变换。

所有莫比乌斯变换的集合在函数复合作用下构成一个群,称为“莫比乌斯群”,记作 M ( C ^ ) {\displaystyle {\mathcal {M}}({\widehat {\mathbb {C} }})} 、、、是任何满足 − ≠ 0 的复数(当 = 的时候这个表达式退化成一个常数,通常约定常数函数不是莫比乌斯变换)。当≠0 时,定义

这样便将莫比乌斯变换扩展到整个黎曼球面上。

如果=0,那么定义

这样定义后莫比乌斯变换就成为了黎曼球面上的一个一一对应的全纯函数。

由于对莫比乌斯变换的每一个系数乘上一个相同的系数 λ {\displaystyle \lambda } − ≠ 0 的条件改成 − = 1. 这样的定义下得到的莫比乌斯变换可以说是“约简后”的莫比乌斯变换:22。

莫比乌斯变换的实质与反演密切相关。实际上,一个形如

的莫比乌斯变换可以分解成四个变换:51:

这四个变换的复合就是莫比乌斯变换:

在这种分解之下,我们可以清楚地看出莫比乌斯变换的不少基本性质。首先,由于以上分解中的每个变换都是可逆的(它们的逆变换也十分清楚),因此可以容易地看出,莫比乌斯变换的逆变换也是一个莫比乌斯变换,而且其表达式可以具体计算。具体来说,设变换函数 g 1 , g 2 , g 3 , g 4 {\displaystyle g_{1},g_{2},g_{3},g_{4}} 的逆变换就是:

由于莫比乌斯变换可以分解为平移、反演、位似与旋转变换,因此能够保持所有反演变换的性质。一个基本的例子是保角性:由于平移、反演、位似与旋转变换都保持角度不变,因此两个复数(或向量)之间的幅角差(夹角)在经过莫比乌斯变换后不变。

此外,一个广义圆经过莫比乌斯变换后,仍会映射到一个广义圆。广义圆是指黎曼球面上的圆,包括普通的圆形和带无穷远点的直线(可以认为是一个半径无限大的圆)。这也是反演保持广义圆的结果。当然莫比乌斯变换并不是将圆映射到圆,将直线映射到直线,经过映射后直线可能变成圆,圆也可能变成直线。

莫比乌斯变换也可以保持复数的复比不变。设有四个两两不同的复数 z 1 , z 2 , z 3 , z 4 {\displaystyle z_{1},z_{2},z_{3},z_{4}} ,对应扩充复平面上四个不同的点,它们经过莫比乌斯变换后变成 w 1 , w 2 , w 3 , w 4 {\displaystyle w_{1},w_{2},w_{3},w_{4}} 四点,那么复比:

z 1 , z 2 , z 3 , z 4 {\displaystyle z_{1},z_{2},z_{3},z_{4}} 中有一个或多个是无穷大时,复比就定义为相应逼近的极限。比如说当四个复数是 z 1 , z 2 , z 3 , {\displaystyle z_{1},z_{2},z_{3},\infty } 时,复比就是:

给定平面上三个不同点 z 1 , z 2 , z 3 {\displaystyle z_{1},z_{2},z_{3}} ,存在着唯一的一个莫比乌斯变换 f {\displaystyle f} ,使得 f ( z 1 ) , f ( z 2 ) , f ( z 3 ) {\displaystyle f(z_{1}),f(z_{2}),f(z_{3})} 分别等于 0 , 1 , {\displaystyle 0,1,\infty } 。这个莫比乌斯变换就是:

而由于对于另外的三个不同点 w 1 , w 2 , w 3 {\displaystyle w_{1},w_{2},w_{3}} ,也唯一存在一个莫比乌斯变换 g {\displaystyle g} ,使得 g ( z 1 ) , g ( z 2 ) , g ( z 3 ) {\displaystyle g(z_{1}),g(z_{2}),g(z_{3})} 分别等于 0 , 1 , {\displaystyle 0,1,\infty } 。因此,对于任意一组出发点 z 1 , z 2 , z 3 {\displaystyle z_{1},z_{2},z_{3}} ,任意一组到达点 w 1 , w 2 , w 3 {\displaystyle w_{1},w_{2},w_{3}} ,都唯一存在一个莫比乌斯变换,将 z 1 , z 2 , z 3 {\displaystyle z_{1},z_{2},z_{3}} 分别映射到点 w 1 , w 2 , w 3 {\displaystyle w_{1},w_{2},w_{3}} 。具体地说,这个变换就是 g ( 1 ) f {\displaystyle g^{(-1)}\circ f} :59-60。作为推论,如果一个莫比乌斯变换有三个不动点,那么它是恒等变换。

莫比乌斯变换构成的莫比乌斯群 M ( C ^ ) {\displaystyle {\mathcal {M}}({\widehat {\mathbb {C} }})} 和由二阶复可逆矩阵所构成的二阶复系数一般线性群 G L 2 ( C ) {\displaystyle {\mathcal {GL}}_{2}(\mathbb {C} )} 有同态的关系。事实上,考虑一个二阶的可逆矩阵: A = ( a 1 a 2 a 3 a 4 ) {\displaystyle A={\begin{pmatrix}a_{1}&a_{2}\\a_{3}&a_{4}\end{pmatrix}}} ,其中 a 1 a 4 a 2 a 3 0 {\displaystyle a_{1}a_{4}-a_{2}a_{3}\neq 0} ,那么由矩阵的系数 a 1 , a 2 , a 3 , a 4 {\displaystyle a_{1},a_{2},a_{3},a_{4}} 可以写出一个莫比乌斯变换:

而如果考虑映射:

则经过计算可以知道, g A B = g A g B {\displaystyle g_{AB}=g_{A}\circ g_{B}} ,也就是说:

因此 φ {\displaystyle \varphi } 是一个群同态:53。

注意到对所有的复数 λ {\displaystyle \lambda } λ a 1 z + λ a 2 λ a 3 z + λ a 4 = a 1 z + a 2 a 3 z + a 4 {\displaystyle {\frac {\lambda a_{1}z+\lambda a_{2}}{\lambda a_{3}z+\lambda a_{4}}}={\frac {a_{1}z+a_{2}}{a_{3}z+a_{4}}}} ,所以变换 g ( λ A ) = g A {\displaystyle g_{(\lambda A)}=g_{A}} 。因此,可以将起始空间由一般线性群缩小到特殊线性群 S L 2 ( C ) {\displaystyle {\mathcal {SL}}_{2}(\mathbb {C} )} 。而由于有且仅有单位矩阵 I d 2 {\displaystyle \mathbf {Id} _{2}} 和负单位矩阵 I d 2 {\displaystyle -\mathbf {Id} _{2}} 在群同态 φ {\displaystyle \varphi } 下对应的莫比乌斯变换是恒等变换,所以 φ {\displaystyle \varphi } 的核是 { I d 2 , I d 2 } {\displaystyle \left\{\mathbf {Id} _{2},-\mathbf {Id} _{2}\right\}} 。根据群同态基本定理,有以下群同构关系:23:

其中 P S L 2 ( C ) {\displaystyle \mathbb {P} {\mathcal {SL}}_{2}(\mathbb {C} )} 为复平面上的射影特殊线性群。

相关

  • 酒精滥用酗酒(英语:alcoholism),又称酒精使用疾患(alcohol use disorder, AUD)或酒精依赖症候群(alcohol dependence syndrome),其为饮用酒精所致相关问题的广义用语,过去将之分成酒精滥用(英语
  • 奥本海默安全听证会朱利叶斯·罗伯特·奥本海默(英语:Julius Robert Oppenheimer,/ˈɒpənˌhaɪmər/,1904年4月22日-1967年2月18日),美国理论物理学家,曾于加利福尼亚大学伯克利分校任教物理。第二
  • 第65届威尼斯电影节第65届威尼斯电影节于2008年8月27日至9月6日在意大利水城威尼斯举行。开幕影片是科恩兄弟导演的《阅后即焚》,闭幕影片是意大利小蒂托-西帕于1973年拍摄的《Orfeo 9》。
  • 调幅广播调幅广播(英语:Amplitude Modulation Broadcast,常缩写为AM广播)是一种利用幅度调制技术的广播方式,通常专指中波广播。调幅是二十世纪主要的广播技术,至二十一世纪的现在仍然广泛
  • 普拉杰拉托普拉杰拉托(意大利语:Pragelato),是意大利都灵省的一个市镇。总面积88平方公里,人口784人,人口密度8.9人/平方公里(2009年)。ISTAT代码为001201。
  • 道格索姆·鲍道道格索姆·鲍道(蒙古语:Догсомын Бодоо,1895年-1922年)蒙古族,蒙古国中央省人。他在任世俗职务之前是一位喇嘛,后来成为蒙古人民党的创始人之一。自1921年4月16日至19
  • 克劳迪奥·阿兰萨迪何塞·克劳迪奥·阿兰萨迪·马丁内斯(西班牙语:José Claudio Aranzadi Martínez,1946年10月9日-)是西班牙工程师、商人、政治家。前西班牙工业大臣。1946年10月9日生于毕尔巴鄂
  • 沙伊斯塔汗米尔扎·阿布·塔利布,(1600-1694),更为人所知名称的是沙伊斯塔汗,是蒙兀儿帝国总督和将军,是皇帝奥朗则布的舅舅。他从1664年到1688年担任莫卧儿王朝驻孟加拉的统治者,并且是他外
  • 王强 (连环杀手)王强(1975年1月16日-2005年11月17日),辽宁宽甸县步达远镇人,生于辽宁开原马家寨子乡杏花村。中国近30年来最残忍的连环杀手之一。从1995年1月22日第一次杀人至2003年7月14日落网,
  • 卷积在泛函分析中,卷积(又称叠积(convolution)、褶积或旋积),是透过两个函数 和 生成第三个函数的一种数学算子,表征函数 与经过翻转和平移的 的乘积函数所围成的曲边梯形的面积。