复变函数论(七)-共形映射2-分式线性变换2：分式线性变换的共形性

为了证明分式线性变换 (7.3) 在扩充 $z$ 平面上是共形的,我们只要证明 (I) 和(II) 型变换在扩充 $z$ 平面上是保角的, 因为 (7.3) 在扩充 $z$
平面上是单叶的.

对于 (II) 型变换 $w=\frac{1}{z}$ 来说, 只要 $z\ne 0,z\ne \infty$,

则有

$$\frac{\mathrm{d}w}{\mathrm{d}z}=-\frac{1}{z^2}\ne 0,$$

根据定理 7.4, 即知在 $z\ne 0,z\ne \infty$ 的各处是保角的. 至于在$z=0$ 及 $z=\infty$ 处, 就涉及我们如何理解两条曲线在无穷远点处交角的意义.

由于第五章 $\S 3$ 对无穷远点情形的讨论, 启发我们有

定义 7.3

二曲线在无穷远点处的交角为 $\alpha$,就是指它们在反演变换下的像曲线在原点处的交角为 $\alpha$.按照这样的定义, (II) 型变换 $w=\frac{1}{z}$ 在 $z=0$ 及 $z=\infty$处是保角的.

因而 (II) 型变换在扩充 $z$ 平面上是保角的.

下面我们来看 ( I ) 型变换

$$w=kz+h(k\ne 0)$$

在扩充 $z$ 平面上的保角性.

因为

$$\frac{\mathrm{d}w}{\mathrm{d}z}=k\ne 0,$$

根据定理 7.4 , 即知在 $z\ne \infty$ 的各处是保角的.

要证 (I) 型变换在 $z=\infty$ (像点为 $w=\infty$ ) 保角, 由定义 7.3 ,我们引入两个反演变换:

$$\lambda =\frac{1}{z},\mu =\frac{1}{w}.$$

它们分别将 $z$ 平面的无穷远点保角变换为 $\lambda$ 平面的原点, 将$\omega$ 平面的无穷远点保角变换为 $\mu$ 平面的原点. 现将它们代人 (I)型变换得

$$\frac{1}{\mu }=k\frac{1}{\lambda }+h,$$

即

$$\mu =\frac{\lambda }{h\lambda +k},$$

它将 $\lambda$ 平面的原点 $\lambda =0$ 变为 $\mu$ 平面的原点 $\mu =0$. 而

$$\frac{\mathrm{d}\mu }{\mathrm{d}\lambda }={\frac{h\lambda +k-h\lambda }{(h\lambda +k{)}^2}|}_{\lambda =0}=\frac{k}{k^2}=\frac{1}{k}\ne 0.$$

故变换 (7.8) 在 $\lambda =0$ 是保角的.

于是 (I) 型变换在 $z=\infty$ 是保角的, 因而在扩充 $z$ 平面上是保角的.

这样,我们就证明了:

定理 7.7

分式线性变换 (7.3) 在扩充 $z$ 平面上是共形的.

注 在无穷远点处不考虑伸缩率的不变性.