反函数连续性定理 反三角_共形映射与反函数

复分析：

共形映射的研究动机是

与

两个开集间，是否存在全纯双射？

意义：

的几何结构很少，

的几何结构很好（ 单位圆盘

最好）。

首先给出共形等价的定义：

命题：如果

是全纯的单射，那么对所有的

,

.特别的，

（

的逆映射）在其定义域内也是全纯的。

证明：（反证法）假设存在

使得

,那么对所有

附近的

，有

,其中

（因为此时

）,并且函数

在

有

阶零点。

阶零点的原因：

其中

是非零的全纯函数，不管

多么趋向于

，

,因为

。

取

，当

足够小时在以

为中心的小圆周上

因为

。

,因为

在该圆周内至少有两个零点（代数基本定理，

）因此

在圆盘内也至少有两个零点（儒歇定理）。

因为我们假设

，所以由单射的题干可以知道

时

，

时

的两根不同。

即

的两根互异，矛盾于单性。

用

表示

的逆函数，则 因为

所以

的导数存在：

在

点是全纯的。

推论：

和

共形等价

,其中

反函数定理：

是

的,则存在

,

是

的一个开集，

是

的一个开集，满足有

的逆映射

，且两个线性映射的Jacobi矩阵互为倒数。

该定理说明如果从

的一个开集U到Rn的

类函数

的全导数在

可逆（也就是说，

在

的雅可比行列式不为零），那么

在

的附近具有反函数。也就是说，在

的某个邻域内，

的反函数存在。而且，反函数

也是

类的。

证明：

第一步：正规化：

首先将

分别进行平移化为

然后将Jacobi纠正为单位阵：

第二步：

证明G是双-Lipchitz函数:

有

等号成立条件：

设

,则

因为G是连续可微的，因此G的Jacobi矩阵是连续的，而

,由连续性可知

,因此

同理，由另一个方向的三角不等式可以知道，

第三步：在

上证明单射

因为

因此

又因为

单射可证

第四步：在

证明满射

作

目的是：

压缩映像原理：

满足

，其中E是有界闭集。则存在唯一的不动点

因为

所以

又因为

故也可以用压缩映像原理

第三四步证明了G的双射，由

可知

因此

,即

是连续的