单叶函数

数学名词

单叶函数是复变函数中一类重要的解析函数。对复平面区域D上单值的解析函数ƒ(z),若对D中任意的不同的两点z1、z2有ƒ(z1)≠ƒ(z2),则说f(z)为D上的单叶函数。单叶函数及其相关的单叶映射等课题是复变函数论最重要的研究内容之一。单叶函数具有很多比较好的性质,例如:单叶函数最基本的性质为其导数无零点;单叶函数的单叶函数仍为单叶函数;单叶函数的反函数仍为单叶函数。

定义
单叶函数是复变函数中一类重要的解析函数。对复平面区域D上单值的解析函数ƒ(z),若对D中任意的不同的两点z1、z2有ƒ(z1)≠ƒ(z2),则说f(z)为D上的单叶函数,记作f(z)属于φ。单叶函数及其相关的单叶映射等课题是复变函数论最重要的研究内容之一。
由著名的黎曼映射定理知道,任意两个至少有两个边界点单连通区域D1及D2,一定可以相互共形映射,即存在解析的单叶函数ƒ,将D1一一地映射为D2,所以对单叶函数的研究在复变函数论中显得很重要。由于单叶映射也是最简单的映射,所以对它的讨论也是复变函数论中最基本的内容之一。若解析函数ƒ(z)在D中单叶,则ƒ’(z)≠0在D中成立;反之,ƒ'(z)≠0在D中成立,不一定能保证ƒ(z)在D中单叶,只能说在一点的一个邻域内单叶。最早对单叶函数有重要贡献的是P.克贝(1909)、L.比伯巴赫(1916)、G.费伯(1916)等。例如,比伯巴赫证明了重要的偏差定理:若 ƒ(z)在|z|<1中正则单叶,且ƒ(0)=0,ƒ'(0)=1,则有:
上述等号限于克贝函数 时成立。
重要贡献者
德国数学家克贝和比伯巴赫
德国数学家克贝和比伯巴赫等最早对单叶函数做出贡献。例如,比伯巴赫从1916年开始对单位圆内全纯单叶函数进行了定量研究,他讨论了单叶的半纯函数,建立了面积原理,由此导出贝克掩盖定理,最后证明了重要的偏差定理。
原苏联数学家戈卢津
原苏联数学家戈卢津研究单叶函数的几何性质,证明了有趣的回转定理。
比伯巴赫与芬兰数学家奈望林纳
比伯巴赫与芬兰数学家奈望林纳共同建立了单位圆内单叶函数的系统理论。1916年比伯巴赫提出了一个著名猜想,被称为比伯巴赫猜想。它曾经是单叶函数研究的中心问题,吸引过许多著名数学家。围绕这个猜想所做的工作推动了复变函数论的发展。
注意:由比伯巴赫猜想产生了一系列相关的猜想,如米林猜想罗伯森猜想、希尔斯莫尔猜想、罗戈辛斯基猜想、李特尔伍德猜想等,其中最重要的是米林猜想,可以证明米林猜想导出比伯巴赫猜想。1984年L.de布朗基结合勒夫纳方法及米林方法证明了米林猜想,从而证明了比伯巴赫猜想。历时68年终于证明了这个著名的猜想。
性质
性质1
单叶函数最基本的性质为其导数零点。即:f(z)∈φ,z∈R f'(z)≠0,z∈R。
证明:设R为开域,且f(z)∈φ,z∈R。如果上述性质不成立,则在R中至少存在一点z0,使得f'(z0)=0。令f(z0)=w0,则f(z0)-w0以z0为m阶零点(m≥2)。因为f(z)为单叶函数,当然不为常数,于是f(z)-w0及f'(z)的零点都有孤立性。因此存在ρ>0,使得在闭圆域|z-z0|≤ρ中,除去点z0外,不仅f(z)-w0不为零,而且f'(z)也不为零,并且这个闭圆域全部在R中。以τ表示圆|z-z0|=ρ,并令δ=min|f(z)-f(z0)|,其中z属于τ。对w平面满足不等式0<|w1-w0|<δ的任一点w1,利用鲁歇定理,仿照保存开域原则的证明方法,并注意到0<|z-z0|≤ρ,f'(z)≠0,即可证明τ内f(z)-w1有m个单零点。设z1,z2为这m个单零点的任意两个,则z1≠z2,且z1,z2∈R,但f(z1)=f(z2)=w1。因此,w=f(z)在R中不能为单叶函数,这与假设矛盾。这就证明了上述性质。
性质2
单叶函数的单叶函数仍为单叶函数。
证明:设w=f(z)在开域R中为单叶函数,且把z平面的开域R变为w平面的开域R',ξ=F(w)在开域R‘’中为单叶函数,且把w平面的开域R'变为ξ平面的开域R”。我们知道解析函数的解析函数仍为解析函数,因而ξ=F{f(z)}在R中解析。又R中的点与R'中的点一一对应,R’中的点与R''中的点一一对应,所以R中的点与R''中的点必然是一一对应的。所以ξ=F{f(z)}∈φ,z∈R。定理证毕。
性质3
单叶函数的反函数仍为单叶函数。
证明:为书写方便起见,令 。已知z=φ(w)建立了R'中的点的一一对应关系,要证明z=φ(w)在R'中为单叶函数,只需证明它在R'中解析即可。
首先证明z=φ(w)在R'中连续。设w0为R'中任意一定点,并令z0=φ(w0),则w0=f(z0)。设 为任意给定的正数,并取得适当小,使得z0的邻域E:l z—z0l<ε全部在R中。在变换w=f(z)下,z平面的开域E变为w平面的开域E',它们全部在R'中。注意到w0为E'的内点,因此可以w0为中心,最大可能的正数δ为半径作w0的邻域Ω:I w-w0I<δ全部在E’中。显然对任意一点w∈Ω,它所对应的z属于E。这就证明了当lw-w0I<δ时,Iz-z0l=Iφ(w)-φ(w0)I<ε,所以z=φ(w)在w0处连续。由于点w0可以为R'中任意一点,故z=φ(w)在R'中连续。
其次证明z=φ(w)在点w0处导数存在。因已知z=φ(w)为w的连续函数,故当w→w0时,z→z0,又从性质1可知,f '(z0)≠0,于是有:
这就证明了z=φ(w)在点w0处导数存在,且其值为 。由于w0可以为R'中的任意一点,因此φ(w)在R'中处处有导数,当然解析。于是证明了φ(w)∈φ,w∈R'。
性质4
设w=f(z)在单位圆|z|<1中为单叶,且把|z|<1变为|w|<1。如果能够保持圆心不变,则w=f(z)必为整线性变换,这里a为实数。如果还知道能够保持经过圆心的某一方向不变,则w=f(z)必为恒等变换w=z。
证明:按照假设w=f(z)∈φ,|z|<1,且把|z|<1变为|w|<1,把点z=0变为w=0.从此即知f(z)满足三个条件:
(1)f(z)∈A,|z|<1;
(2)|f(z)|<1,|z|<1;
(3)f(0)=0。
于是根据模相似定理,得|w|=|f(z)|≤|z|(其中|z|<1)。
另一方面,从性质3可知w=f(z)的反函数z=φ(w)∈φ,|w|<1。显然z=φ(w)把|w|<1变为|z|<1,把w=0变为z=0。于是φ(w)也满足三个条件:
(1)φ(w)∈A,|w|<1;
(2)|φ(w)|<1,|w|<1;
(3)φ(0)=0。
同理有|z|=|φ(w)|≤|w|(其中|w|<1),故得对|z|<1中任意一定点z来说,它与其影点w满足关系式|z|≤|w|≤|z|,因此有|w|=|z|。于是根据模相似定理中取等号的情形,可知,因而变换w=f(z)简化为。
如果还知道能够保持经过圆心的某一方向不变,也就是这个方向的转动角度为零,这时f'(0)=|f'(0)|>0,于是从可得,因为α=0。这时f(z)=z,这就证明了w=f(z)简化成恒等变换w=z.
全国各地天气预报查询

上海市

  • 市辖区
  • 云南省

  • 临沧市
  • 云南省

  • 丽江市
  • 云南省

  • 保山市
  • 云南省

  • 大理白族自治州
  • 云南省

  • 德宏傣族景颇族自治州
  • 云南省

  • 怒江傈僳族自治州
  • 云南省

  • 文山壮族苗族自治州
  • 云南省

  • 昆明市
  • 云南省

  • 昭通市
  • 云南省

  • 普洱市
  • 云南省

  • 曲靖市
  • 云南省

  • 楚雄彝族自治州
  • 云南省

  • 玉溪市
  • 云南省

  • 红河哈尼族彝族自治州
  • 云南省

  • 西双版纳傣族自治州
  • 云南省

  • 迪庆藏族自治州
  • 内蒙古自治区

  • 乌兰察布市
  • 内蒙古自治区

  • 乌海市
  • 内蒙古自治区

  • 兴安盟
  • 内蒙古自治区

  • 包头市
  • 内蒙古自治区

  • 呼伦贝尔市
  • 内蒙古自治区

  • 呼和浩特市
  • 内蒙古自治区

  • 巴彦淖尔市
  • 内蒙古自治区

  • 赤峰市
  • 内蒙古自治区

  • 通辽市
  • 内蒙古自治区

  • 鄂尔多斯市
  • 内蒙古自治区

  • 锡林郭勒盟
  • 内蒙古自治区

  • 阿拉善盟
  • 北京市

  • 市辖区
  • 吉林省

  • 吉林市
  • 吉林省

  • 四平市
  • 吉林省

  • 延边朝鲜族自治州
  • 吉林省

  • 松原市
  • 吉林省

  • 白城市
  • 吉林省

  • 白山市
  • 吉林省

  • 辽源市
  • 吉林省

  • 通化市
  • 吉林省

  • 长春市
  • 四川省

  • 乐山市
  • 四川省

  • 内江市
  • 四川省

  • 凉山彝族自治州
  • 四川省

  • 南充市
  • 四川省

  • 宜宾市
  • 四川省

  • 巴中市
  • 四川省

  • 广元市
  • 四川省

  • 广安市
  • 四川省

  • 德阳市
  • 四川省

  • 成都市
  • 四川省

  • 攀枝花市
  • 四川省

  • 泸州市
  • 四川省

  • 甘孜藏族自治州
  • 四川省

  • 眉山市
  • 四川省

  • 绵阳市
  • 四川省

  • 自贡市
  • 四川省

  • 资阳市
  • 四川省

  • 达州市
  • 四川省

  • 遂宁市
  • 四川省

  • 阿坝藏族羌族自治州
  • 四川省

  • 雅安市
  • 天津市

  • 市辖区
  • 宁夏回族自治区

  • 中卫市
  • 宁夏回族自治区

  • 吴忠市
  • 宁夏回族自治区

  • 固原市
  • 宁夏回族自治区

  • 石嘴山市
  • 宁夏回族自治区

  • 银川市
  • 安徽省

  • 亳州市
  • 安徽省

  • 六安市
  • 安徽省

  • 合肥市
  • 安徽省

  • 安庆市
  • 安徽省

  • 宣城市
  • 安徽省

  • 宿州市
  • 安徽省

  • 池州市
  • 安徽省

  • 淮北市
  • 安徽省

  • 淮南市
  • 安徽省

  • 滁州市
  • 安徽省

  • 芜湖市
  • 安徽省

  • 蚌埠市
  • 安徽省

  • 铜陵市
  • 安徽省

  • 阜阳市
  • 安徽省

  • 马鞍山市
  • 安徽省

  • 黄山市
  • 山东省

  • 东营市
  • 山东省

  • 临沂市
  • 山东省

  • 威海市
  • 山东省

  • 德州市
  • 山东省

  • 日照市
  • 山东省

  • 枣庄市
  • 山东省

  • 泰安市
  • 山东省

  • 济南市
  • 山东省

  • 济宁市
  • 山东省

  • 淄博市
  • 山东省

  • 滨州市
  • 山东省

  • 潍坊市
  • 山东省

  • 烟台市
  • 山东省

  • 聊城市
  • 山东省

  • 菏泽市
  • 山东省

  • 青岛市
  • 山西省

  • 临汾市
  • 山西省

  • 吕梁市
  • 山西省

  • 大同市
  • 山西省

  • 太原市
  • 山西省

  • 忻州市
  • 山西省

  • 晋中市
  • 山西省

  • 晋城市
  • 山西省

  • 朔州市
  • 山西省

  • 运城市
  • 山西省

  • 长治市
  • 山西省

  • 阳泉市
  • 广东省

  • 东莞市
  • 广东省

  • 中山市
  • 广东省

  • 云浮市
  • 广东省

  • 佛山市
  • 广东省

  • 广州市
  • 广东省

  • 惠州市
  • 广东省

  • 揭阳市
  • 广东省

  • 梅州市
  • 广东省

  • 汕头市
  • 广东省

  • 汕尾市
  • 广东省

  • 江门市
  • 广东省

  • 河源市
  • 广东省

  • 深圳市
  • 广东省

  • 清远市
  • 广东省

  • 湛江市
  • 广东省

  • 潮州市
  • 广东省

  • 珠海市
  • 广东省

  • 肇庆市
  • 广东省

  • 茂名市
  • 广东省

  • 阳江市
  • 广东省

  • 韶关市
  • 广西壮族自治区

  • 北海市
  • 广西壮族自治区

  • 南宁市
  • 广西壮族自治区

  • 崇左市
  • 广西壮族自治区

  • 来宾市
  • 广西壮族自治区

  • 柳州市
  • 广西壮族自治区

  • 桂林市
  • 广西壮族自治区

  • 梧州市
  • 广西壮族自治区

  • 河池市
  • 广西壮族自治区

  • 玉林市
  • 广西壮族自治区

  • 百色市
  • 广西壮族自治区

  • 贵港市
  • 广西壮族自治区

  • 贺州市
  • 广西壮族自治区

  • 钦州市
  • 广西壮族自治区

  • 防城港市
  • 新疆维吾尔自治区

  • 乌鲁木齐市
  • 新疆维吾尔自治区

  • 伊犁哈萨克自治州
  • 新疆维吾尔自治区

  • 克孜勒苏柯尔克孜自治州
  • 新疆维吾尔自治区

  • 克拉玛依市
  • 新疆维吾尔自治区

  • 博尔塔拉蒙古自治州
  • 新疆维吾尔自治区

  • 吐鲁番市
  • 新疆维吾尔自治区

  • 和田地区
  • 新疆维吾尔自治区

  • 哈密市
  • 新疆维吾尔自治区

  • 喀什地区
  • 新疆维吾尔自治区

  • 塔城地区
  • 新疆维吾尔自治区

  • 巴音郭楞蒙古自治州
  • 新疆维吾尔自治区

  • 昌吉回族自治州
  • 新疆维吾尔自治区

  • 自治区直辖县级行政区划
  • 新疆维吾尔自治区

  • 阿克苏地区
  • 新疆维吾尔自治区

  • 阿勒泰地区
  • 江苏省

  • 南京市
  • 江苏省

  • 南通市
  • 江苏省

  • 宿迁市
  • 江苏省

  • 常州市
  • 江苏省

  • 徐州市
  • 江苏省

  • 扬州市
  • 江苏省

  • 无锡市
  • 江苏省

  • 泰州市
  • 江苏省

  • 淮安市
  • 江苏省

  • 盐城市
  • 江苏省

  • 苏州市
  • 江苏省

  • 连云港市
  • 江苏省

  • 镇江市
  • 江西省

  • 上饶市
  • 江西省

  • 九江市
  • 江西省

  • 南昌市
  • 江西省

  • 吉安市
  • 江西省

  • 宜春市
  • 江西省

  • 抚州市
  • 江西省

  • 新余市
  • 江西省

  • 景德镇市
  • 江西省

  • 萍乡市
  • 江西省

  • 赣州市
  • 江西省

  • 鹰潭市
  • 河北省

  • 保定市
  • 河北省

  • 唐山市
  • 河北省

  • 廊坊市
  • 河北省

  • 张家口市
  • 河北省

  • 承德市
  • 河北省

  • 沧州市
  • 河北省

  • 石家庄市
  • 河北省

  • 秦皇岛市
  • 河北省

  • 衡水市
  • 河北省

  • 邢台市
  • 河北省

  • 邯郸市
  • 河南省

  • 三门峡市
  • 河南省

  • 信阳市
  • 河南省

  • 南阳市
  • 河南省

  • 周口市
  • 河南省

  • 商丘市
  • 河南省

  • 安阳市
  • 河南省

  • 平顶山市
  • 河南省

  • 开封市
  • 河南省

  • 新乡市
  • 河南省

  • 洛阳市
  • 河南省

  • 漯河市
  • 河南省

  • 濮阳市
  • 河南省

  • 焦作市
  • 河南省

  • 省直辖县级行政区划
  • 河南省

  • 许昌市
  • 河南省

  • 郑州市
  • 河南省

  • 驻马店市
  • 河南省

  • 鹤壁市
  • 浙江省

  • 丽水市
  • 浙江省

  • 台州市
  • 浙江省

  • 嘉兴市
  • 浙江省

  • 宁波市
  • 浙江省

  • 杭州市
  • 浙江省

  • 温州市
  • 浙江省

  • 湖州市
  • 浙江省

  • 绍兴市
  • 浙江省

  • 舟山市
  • 浙江省

  • 衢州市
  • 浙江省

  • 金华市
  • 海南省

  • 三亚市
  • 海南省

  • 三沙市
  • 海南省

  • 儋州市
  • 海南省

  • 海口市
  • 海南省

  • 省直辖县级行政区划
  • 湖北省

  • 十堰市
  • 湖北省

  • 咸宁市
  • 湖北省

  • 孝感市
  • 湖北省

  • 宜昌市
  • 湖北省

  • 恩施土家族苗族自治州
  • 湖北省

  • 武汉市
  • 湖北省

  • 省直辖县级行政区划
  • 湖北省

  • 荆州市
  • 湖北省

  • 荆门市
  • 湖北省

  • 襄阳市
  • 湖北省

  • 鄂州市
  • 湖北省

  • 随州市
  • 湖北省

  • 黄冈市
  • 湖北省

  • 黄石市
  • 湖南省

  • 娄底市
  • 湖南省

  • 岳阳市
  • 湖南省

  • 常德市
  • 湖南省

  • 张家界市
  • 湖南省

  • 怀化市
  • 湖南省

  • 株洲市
  • 湖南省

  • 永州市
  • 湖南省

  • 湘潭市
  • 湖南省

  • 湘西土家族苗族自治州
  • 湖南省

  • 益阳市
  • 湖南省

  • 衡阳市
  • 湖南省

  • 邵阳市
  • 湖南省

  • 郴州市
  • 湖南省

  • 长沙市
  • 甘肃省

  • 临夏回族自治州
  • 甘肃省

  • 兰州市
  • 甘肃省

  • 嘉峪关市
  • 甘肃省

  • 天水市
  • 甘肃省

  • 定西市
  • 甘肃省

  • 平凉市
  • 甘肃省

  • 庆阳市
  • 甘肃省

  • 张掖市
  • 甘肃省

  • 武威市
  • 甘肃省

  • 甘南藏族自治州
  • 甘肃省

  • 白银市
  • 甘肃省

  • 酒泉市
  • 甘肃省

  • 金昌市
  • 甘肃省

  • 陇南市
  • 福建省

  • 三明市
  • 福建省

  • 南平市
  • 福建省

  • 厦门市
  • 福建省

  • 宁德市
  • 福建省

  • 泉州市
  • 福建省

  • 漳州市
  • 福建省

  • 福州市
  • 福建省

  • 莆田市
  • 福建省

  • 龙岩市
  • 西藏自治区

  • 山南市
  • 西藏自治区

  • 拉萨市
  • 西藏自治区

  • 日喀则市
  • 西藏自治区

  • 昌都市
  • 西藏自治区

  • 林芝市
  • 西藏自治区

  • 那曲市
  • 西藏自治区

  • 阿里地区
  • 贵州省

  • 六盘水市
  • 贵州省

  • 安顺市
  • 贵州省

  • 毕节市
  • 贵州省

  • 贵阳市
  • 贵州省

  • 遵义市
  • 贵州省

  • 铜仁市
  • 贵州省

  • 黔东南苗族侗族自治州
  • 贵州省

  • 黔南布依族苗族自治州
  • 贵州省

  • 黔西南布依族苗族自治州
  • 辽宁省

  • 丹东市
  • 辽宁省

  • 大连市
  • 辽宁省

  • 抚顺市
  • 辽宁省

  • 朝阳市
  • 辽宁省

  • 本溪市
  • 辽宁省

  • 沈阳市
  • 辽宁省

  • 盘锦市
  • 辽宁省

  • 营口市
  • 辽宁省

  • 葫芦岛市
  • 辽宁省

  • 辽阳市
  • 辽宁省

  • 铁岭市
  • 辽宁省

  • 锦州市
  • 辽宁省

  • 阜新市
  • 辽宁省

  • 鞍山市
  • 重庆市

  • 重庆市

  • 市辖区
  • 陕西省

  • 咸阳市
  • 陕西省

  • 商洛市
  • 陕西省

  • 安康市
  • 陕西省

  • 宝鸡市
  • 陕西省

  • 延安市
  • 陕西省

  • 榆林市
  • 陕西省

  • 汉中市
  • 陕西省

  • 渭南市
  • 陕西省

  • 西安市
  • 陕西省

  • 铜川市
  • 青海省

  • 果洛藏族自治州
  • 青海省

  • 海东市
  • 青海省

  • 海北藏族自治州
  • 青海省

  • 海南藏族自治州
  • 青海省

  • 海西蒙古族藏族自治州
  • 青海省

  • 玉树藏族自治州
  • 青海省

  • 西宁市
  • 青海省

  • 黄南藏族自治州
  • 黑龙江省

  • 七台河市
  • 黑龙江省

  • 伊春市
  • 黑龙江省

  • 佳木斯市
  • 黑龙江省

  • 双鸭山市
  • 黑龙江省

  • 哈尔滨市
  • 黑龙江省

  • 大兴安岭地区
  • 黑龙江省

  • 大庆市
  • 黑龙江省

  • 牡丹江市
  • 黑龙江省

  • 绥化市
  • 黑龙江省

  • 鸡西市
  • 黑龙江省

  • 鹤岗市
  • 黑龙江省

  • 黑河市
  • 黑龙江省

  • 齐齐哈尔市