施瓦茨引理相关问询：内圆满射解析映射是否为旋转线性映射？

AI 小北

2026-5-19

嘿，这个问题问得很到位！答案是肯定的——我们完全可以推出$f(z)=cz$（其中$|c|=1$，也就是单位圆盘上的旋转映射）。下面我一步步给你拆解推导过程：

结论先行

当存在某个$0<r<1$使得$f({z:|z|<r}) = {z:|z|<r}$时，$f$必然是形如$f(z)=cz$的旋转映射，其中$|c|=1$。

我们先定义一个新的解析函数：
$$g(z) = \frac{f(rz)}{r}$$

先验证$g$的核心性质：

$g$是单位圆盘${z:|z|<1}$到自身的解析映射：因为$f$把${z:|z|<r}$映射到${z:|z|<r}$，所以对任意$|z|<1$，$|rz|<r$，因此$|f(rz)|<r$，进而$|g(z)| = \frac{|f(rz)|}{r} < 1$，满足施瓦茨引理的适用条件。
$g(0) = 0$：因为$f(0)=0$，代入直接可得。
$g$是满射的：对任意$w \in {z:|z|<1}$，$rw$属于${z:|z|<r}$，题目中给出$f$把这个小圆盘映满到自身，所以存在$z' \in {z:|z|<r}$使得$f(z')=rw$。令$z = \frac{z'}{r}$，则$|z|<1$，且$g(z) = \frac{f(rz)}{r} = \frac{f(z')}{r} = w$，这就证明了$g$能取到单位圆盘里的所有点。

根据施瓦茨引理，我们知道对所有$|z|<1$，$|g(z)| \leq |z|$。现在$g$是满射的，我们可以用两种思路确认$g$是旋转：

思路一（施瓦茨引理的等号条件）：如果$g$不是旋转，那么存在某个$z_0 \neq 0$使得$|g(z_0)| < |z_0|$。但因为$g$是满射，存在$z_1$使得$g(z_1)=z_0$，于是$|z_0| = |g(z_1)| \leq |z_1|$，进而$|g(z_0)| < |z_0| \leq |z_1|$。但$g(g(z_1)) = g(z_0)$，这会导致$|g(g(z_1))| < |g(z_1)| < |z_1|$，这和$g$是满射矛盾——因为满射要求对于任意小的模长的点都能被取到，而如果存在严格小于的情况，$g$的像集会是单位圆盘的真子集，和满射矛盾。因此必须对所有$z$都有$|g(z)|=|z|$，根据施瓦茨引理的等号条件，$g(z)=cz$，其中$|c|=1$。
思路二（单位圆盘解析自满射的性质）：单位圆盘到自身的解析满射一定是Möbius变换，形式为$g(z) = e^{i\theta} \frac{z - a}{1 - \overline{a}z}$。因为$g(0)=0$，代入得$0 = e^{i\theta} \cdot \frac{-a}{1}$，所以$a=0$，因此$g(z)=e^{{i\theta}z$，也就是旋转映射，$|c|=1$（这里$c=e}{i\theta}$）。

既然$g(z) = \frac{f(rz)}{r} = cz$，那么$f(rz) = rcz$。令$w = rz$（即$z = \frac{w}{r}$），代入可得：
$$f(w) = rc \cdot \frac{w}{r} = cw$$
也就是$f(z)=cz$，其中$|c|=1$。

这样就完成了整个推导过程，结论成立。

内容的提问来源于stack exchange，提问作者co.sine