本页只解决一个问题
局部共形坐标如何拼成全局结构,标准域由什么决定?
本页是原长篇讲义的单概念版本。第一次阅读只追踪本页定义的对象;看见未掌握的前置符号时,先沿链接退回,不要跳过定义硬背结论。
开始前
8. Riemann 映射定理
若Ω⊊C 是非空单连通开集,则存在双全纯映射
f:Ω→D.
若指定一点z0∈Ω 满足
f(z0)=0,f′(z0)>0,
则映射唯一。
8.1 它没有说什么
- 不直接给出数值算法;
- 不适用于整个复平面;
- 不说明边界一定光滑延拓;
- 不适用于多连通域的单位圆盘映射;
- 不保证面积或长度畸变小。
多连通平面域需要圆域定理(Koebe uniformization):适当条件下可共形映到边界分支为圆的圆域。
9. 等温坐标
二维黎曼曲面局部存在坐标(x,y),使
g=e2u(x,y)(dx2+dy2).
这相当于说任意二维度量局部都只差一个标量共形因子。证明可通过解 Beltrami 方程或调和坐标完成。
9.1 从一般度量得到 Beltrami 系数
一般二维度量
g=E,dx2+2F,dxdy+G,dy2
可以唯一写成
g=ρ(z)∣dz+μ(z)dzˉ∣2,ρ>0,∣μ∣<1.
求解坐标变换的 Beltrami 方程,就能把μ 消去,得到等温坐标。
9.2 等温坐标中的公式简化
若g=e2u∣dz∣2:
Δg=e−2uΔ0,
K=−e−2uΔ0u.
Dirichlet 能量在二维共形变换下不变:若g~=e2ug,则
∣df∣g~2dAg~=e−2u∣df∣g2e2udAg=∣df∣g2dAg.
这是二维调和映射与共形几何特别契合的根本原因。
10. 共形图册与黎曼面
一个定向二维流形的图册{(Uα,zα)} 若所有过渡函数
zβ∘zα−1
都是全纯函数,则称为共形图册。互相兼容的最大共形图册定义共形结构;带共形结构的曲面就是黎曼面。
二维中存在三类等价结构:
共形结构⟺复结构⟺黎曼度量的共形等价类
这里“度量共形等价类”指
[g]={e2ug:u∈C∞(M)}.
11. 一致化定理
每个单连通黎曼面共形等价于以下三者之一:
- Riemann 球面C;
- 复平面C;
- 单位圆盘D。
等价地,任意黎曼曲面的通用覆盖具有常高斯曲率度量:
| 类型 | 标准空间 | 曲率 | 紧致可定向曲面 |
|---|
| 球面型 | S2 | +1 | g=0 |
| 欧氏型 | C | 0 | g=1 |
| 双曲型 | D | −1 | g≥2 |
为何由亏格决定,可由 Gauss–Bonnet 看出:常曲率K 满足
KArea(M)=2πχ(M)=4π(1−g).
因此g=0,1,≥2 分别对应正、零、负曲率符号。
11.1 唯一性要模掉自同构
一致化映射通常不是唯一的:球面有 Möbius 自同构,圆盘也有三实维自同构群。数值计算必须固定足够多的锚点或归一化条件。
读完必须能回答
- 不看公式,用自己的话回答开头的核心问题。
- 指出本页最重要公式中每个符号的类型:标量、向量、矩阵、映射还是集合。
- 找出定理成立所需的假设,并举一个删除某条假设后可能失败的例子。
- 对最小例子手算一遍;若本页含代码,再比较手算与程序输出。
前后课程
上一课:全纯函数与基本共形映射 | 下一课:球面立体投影
许可协议:CC BY
作者:Davids
本文链接:https://hustjjd.github.io/ccg/04-05-uniformization/
更新于:2026年10月12日