黎曼映射定理

黎曼映射定理（Riemann mapping theorem）说明，复平面中每个非空、单连通、且不是整个平面的区域，都可以与单位圆盘建立双全纯对应。边界可以很不规则，区域也不必有界；定理说的是内部的复解析结构，而非要求边界具有同样形状。

这里“区域”指连通开集，“双全纯”指一一对应、函数与逆函数都全纯。给定区域内部一点 $a$，还可唯一选择映射 $F$ 满足 $$F(a)=0,F^{\prime }(a)>0,$$ 后一条件表示导数为正实数，消去旋转自由度。

一般区域的存在性需要正规族、极值构造等理论，本篇将其作为所列Lebl讲义§6.3的定理引用，不把下面的特殊分式算例冒充一般证明。下面完整证明规范化唯一性，并对两个重要区域算出映射、逆式和范围。

唯一性由施瓦茨引理决定

假设 $F,G$ 都是区域到圆盘的双全纯对应，均把 $a$ 映到零。令 $h=G\circ F^{-1}$，它是固定零的圆盘自同构。对 $h$ 和 $h^{-1}$ 分别用施瓦茨引理，得到 $$|h(w)|\le |w|\le |h(w)|.$$ 所以每个非零点取等号，引理的等号结论迫使 $h(w)=e^{i\theta }w$。若两个映射在 $a$ 的导数都为正实数，则 $h^{\prime }(0)=G^{\prime }(a)/F^{\prime }(a)>0$，模一旋转因子只能是一，故 $F=G$。

因此固定基点后仍需指定旋转方向，才能谈“唯一的黎曼映射”；不规范化时有无穷多个同样正确的对应。

上半平面到单位圆盘

取 $ℍ=\{z:\mathrm{\Im }z>0\}$，令 $$T(z)=\frac{z-i}{z+i}.$$ 分母在上半平面不为零，故全纯。对 $z=x+iy$， $$|z+i{|}^2-|z-i{|}^2=4y>0,$$ 所以 $|T(z)|<1$。从 $w=T(z)$ 解得逆式 $$z=i\frac{1+w}{1-w}.$$ 它在单位圆盘全纯，并满足 $$\mathrm{\Im }z=\frac{1-|w{|}^2}{|1-w{|}^2}>0.$$ 正反两个式子复合为恒等，因而既没有遗漏圆盘内点，也没有多个原像，双全纯对应成立。

基点 $i$ 被送到零，但 $T^{\prime }(i)=-i/2$。若要求上述正导数规范化，就取 $F=iT$，其导数为 $1/2$。例如 $T(2i)=1/3$，规范化后的 $F(2i)=i/3$；逆式代入 $w=1/3$ 恢复 $2i$。

图使用未再旋转的T。它在i处导数为负i除二；乘以i后才是正导数的规范化映射，图文明确区分这一步。

水平条带的有解答变式

变式。 设 $S=\{z:|\mathrm{\Im }z|<\pi /2\}$。指数把它一一映到右半平面：模为 $e^{\mathrm{\Re }z}>0$，辐角在 $(-\pi /2,\pi /2)$ 内，区间宽度小于 $2\pi$，所以没有指数的周期重叠。

右半平面的点 $\zeta$ 再通过 $(\zeta -1)/(\zeta +1)$ 映到圆盘，因为两个模平方之差为 $4\mathrm{\Re }\zeta >0$。复合得到 $$F_S(z)=\frac{e^z-1}{e^z+1}=\tanh (z/2).$$ 它把零映到零，导数为 $1/2$，已符合规范化。逆式为 $$z=\mathrm{Log}\frac{1+w}{1-w},$$ 其中对数取右半平面上辐角在 $(-\pi /2,\pi /2)$ 的分支。例如 $z=\log 3$ 映到 $1/2$，代回逆式得到 $\log 3$。

条件不能删去

若原区域是整个复平面，映入圆盘的全纯函数有界，刘维尔定理（复分析）使它只能为常数，不可能双全纯。环域则不是单连通；双全纯对应也是同胚，会保存闭路能否在区域内缩成一点的性质，所以它不能与圆盘双全纯。

即使一般存在性已保证，也不代表总能用初等函数写出映射；实际构造常需数值方法。定理本身也不保证映射能连续或一一延伸到任意不规则边界，边界延拓另有相应的几何条件。

参考文献

Jiří Lebl，Guide to Cultivating Complex Analysis，1.9，2026-07-11，§6.3（黎曼映射存在性及规范化），§3.5（唯一性所用施瓦茨引理）。