本页只解决一个问题
复可微为何强迫局部映射成为旋转加统一缩放?
本页是原长篇讲义的单概念版本。第一次阅读只追踪本页定义的对象;看见未掌握的前置符号时,先沿链接退回,不要跳过定义硬背结论。
开始前
4. 复可微与 Cauchy–Riemann 方程
把(x,y) 写成z=x+iy,映射
f(z)=u(x,y)+iv(x,y).
复导数要求极限
f′(z0)=h→0limhf(z0+h)−f(z0)
与h 接近 0 的方向无关。
沿实轴h=t:
f′(z0)=ux+ivx.
沿虚轴h=it:
f′(z0)=iuy+ivy=vy−iuy.
相等得到 Cauchy–Riemann 方程:
ux=vy,uy=−vx.
于是 Jacobian
Jf=[uxvxuyvy]=[ab−ba].
这正是复数乘法a+ib 的实矩阵:缩放a2+b2 加旋转。
若f′(z0)=0,则f 在z0 局部共形。若导数为 0,例如f(z)=z2 在原点,则角度会乘以分支次数,不能称作局部微分同胚意义下的共形映射。
读完必须能回答
- 不看公式,用自己的话回答开头的核心问题。
- 指出本页最重要公式中每个符号的类型:标量、向量、矩阵、映射还是集合。
- 找出定理成立所需的假设,并举一个删除某条假设后可能失败的例子。
- 对最小例子手算一遍;若本页含代码,再比较手算与程序输出。
前后课程
上一课:保角的线性、微分与度量条件 | 下一课:Wirtinger 导数与 Beltrami 方程
许可协议:CC BY
作者:Davids
本文链接:https://hustjjd.github.io/ccg/04-02-lesson/
更新于:2026年10月12日