分式化简结果要求_复变函数学习笔记(3)special:分式线性变换

这一篇专门讲分式线性变换，这在后面的共形映射的理论里会有用，而且貌似对古典欧氏几何的理论也挺有用的(?

(说实话，知乎的エロティック图片审查机制我貌似摸清楚了)

---

所谓分式线性变换，或者说Möbius变换，是指复变函数

，其中

。通过一些计算可以证明分式线性变换的复合和逆变换还是分式线性变换。具体而言，如果

，则有

。

如果

，这个变换是一个线性函数

，称为

整线性变换(因为这是整函数)。

作为分式线性变换的第一个性质，我们有

定理(保角性) 分式线性变换是保角变换。

注意到

在

全纯，有

。这处处不为零，所以由导数几何意义即证得命题。

接下来我们会证明更多的性质。

保圆性，交比

首先我们来证明：

定理(保圆性) 分式线性变换把

中的圆周变成圆周。

注意，所谓

中的圆周是指圆周或者直线，半径无穷大的圆周。

先证明两种特殊情况，再证明一般情况。

1.整线性变换

这时候设

，则

可以拆分为三个变换的复合：

。

第一个是旋转变换，第二个是伸缩变换，第三个是平移变换，三种变换都把圆周变成圆周。

在古典几何里，整线性变换就是顺相似变换。

2.变换

任何一个圆，无论是普通的圆还是直线，其在复平面内的方程都是下面的形式：

，

其中

。这样在变换

下这个方程变成

，还是圆周。

这里的变换实际上是对称变换与后面会提到的反演变换的复合。

3.一般情况

考虑

。它可以改写成

。令

，以及

。变换

可以拆成三个变换的复合：

。

这三个变换都已经