王朝百科
分享
 
 
 

黎曼曲面

王朝百科·作者佚名  2010-01-25  
宽屏版  字体: |||超大  

黎曼曲面
函数 f(z) = sqrt(z) 的黎曼曲面

数学上,特别是在复分析中,一个黎曼曲面是一个一维复流形。黎曼曲面可以被认为是一个复平面的变形版本:在每一点局部看来,他们就像一片复平面,但整体的拓扑可能极为不同。例如,他们可以看起来像球或是环,或者两个页面粘在一起。

黎曼曲面的要点在于在他们之间可以定义全纯函数(holomorphic function)。黎曼曲面现在被认为是研究这些函数的整体行为的自然选择,特别是像平方根和自然对数这样的多值函数。

每个黎曼曲面都是二维实解析流形(也就是曲面),但它有更多的结构(特别是一个复结构),因为和乐函数的无歧义的定义需要用到这些结构。一个实二维流形可以变成为一个黎曼曲面(通常有几种不同的方式)当且仅当它是可定向的。所以球和环有复结构,但是莫比乌斯圈,克莱因瓶和投影平面没有。

黎曼曲面的几何性质是最妙的,它们也给向其它曲线,流形或代数簇上的推广提供了直观的理解和动力。Riemann-Roch 定理就是这种影响的最佳例子。

令X为一个豪斯多夫空间(Hausdorff space)。一个从开子集U⊂X到C的子集的同胚称为图(chart). 两个有重叠区域的图f和g称为兼容,如果映射f o g-1 和g o f-1 是在定义域上全纯的。若A一组相容的图,并且每个X中的x都在某个f的定义域中,则称A为一个图集(atlas)。当我们赋予X一个图集A,我们称(X,A)为一个黎曼曲面。如果知道有图集,我们简称X为黎曼曲面。

不同的图集可以在X上给出本质上相同的黎曼曲面结构;为避免这种模糊性,我们有时候要求X为极大的,也就是它不是任何一个更大的图集的子集。根据佐恩引理(Zorn's Lemma)每个图集A包含于一个唯一的最大图集中。

复平面C可能是最平凡的黎曼曲面了。映射f(z) = z (恒等映射)定义了C的一个图,而 是C的一个图集. 映射g(z) = z* (共轭)映射也定义了C的一个图而也是C的一个图集. 图f和g不相容,所以他们各自给了C一个黎曼曲面结构。事实上,给定黎曼曲面X及其图集A, 共轭图集B = {f* : f ∈ A} 总是不和A相容, 因此赋予X一个不同的黎曼曲面结构。

类似的,每个复平面的开子集可以自然的视为黎曼曲面。更一般的,每个黎曼曲面的开子集是一个黎曼曲面。

令S = C ∪ {∞} 并令f(z) = z 其中z 属于S {∞} 并且令g(z) = 1 / z 其中z属于S 以及 定义1/∞为0. 则f 和g为图,它们相容,而{ f, g }是S图集, 使S成为黎曼曲面。这个特殊的曲面称为黎曼球因为它可以解释为把复平面裹在一个球上。不象复平面,它是一个紧空间。

埃舍尔的《画廊》也运用了黎曼曲面

紧黎曼曲面可以视为和定义在复数上的非奇异代数曲线等效。非紧黎曼曲面的重要例子由解析连续给出(见下面

两个黎曼曲面M和N之间的 函数f : M → N称为全纯(holomorphic),如果对于M的图集中的每个图g和N的图集中的每个图h,映射h o f o g-1 在所有有定义的地方是全纯的(作为从C到C的函数) 。两个全纯函数的复合是全纯的。两个黎曼曲面M和N称为保角等价(或共形等价conformally equivalent),如果存在一个双射的从M到N的全纯函数并且其逆也是全纯的(最后一个条件是自动满足的所以可以略去)。两个保角等价的黎曼曲面对于所有的实际应用来讲是完全相同的。

每个单连通的黎曼曲面和C或黎曼球C ∪ {∞}或开圆盘{z ∈ C : |z| < 1}保角等价。这个命题称为一致化定理。

每个连通黎曼曲面可以转成有常数曲率-1,0或1 的完备实黎曼流形。这个黎曼结构除了度量的缩放外是唯一。有曲率-1的黎曼曲面称为双曲的;开圆盘是个经典的例子。有曲率0的黎曼曲面称为抛物的;C是典型的抛物黎曼曲面。最后,有曲率+1的黎曼曲面称为椭圆的;黎曼球C ∪ {∞}是这样的一个例子.

对于每个闭抛物黎曼曲面,基本群同构于2阶格群,因而曲面可以构造为C/Γ,其中C是复平面而Γ 是格群。陪集的代表的集合叫做基本域。

类似的,对每个双曲黎曼曲面,基本群同构于Fuchsian 群,因而曲面可以由Fuchsian 模型H/Γ 构造,其中H是上半平面而Γ是Fuchsian 群。H/Γ陪集的代表是自由正则集,可以作为度量基本多边形。

当一个双曲曲面是紧的,则曲面的总面积是<math>4pi(g-1)</math>, 其中 g 是曲面的亏格(genus);面积可由把Gauss-Bonnet 定理应用到基本多边形的面积上来算出。

前面我们提到黎曼曲面,象所有复流形,象实流形一样可定向。因为复图f和g有变换函数h = f(g-1(z)),我们 可以认为h是从R2开集到R2的映射,在点z的雅戈比阵也就是由乘以复数h'(z)的运算给出的实线性变换。但是,乘以复数α的行列式等于|α|^2, 所以h的雅戈比阵有正的行列式值。所以,复图集是可定向图集。

黎曼最早开始研究黎曼曲面。黎曼曲面以他命名。

该文内容主要参考Wiki中文的黎曼曲面[1]词条,在此特别声明。

 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
如何用java替换看不见的字符比如零宽空格&#8203;十六进制U+200B
 干货   2023-09-10
网页字号不能单数吗,网页字体大小为什么一般都是偶数
 干货   2023-09-06
java.lang.ArrayIndexOutOfBoundsException: 4096
 干货   2023-09-06
Noto Sans CJK SC字体下载地址
 干货   2023-08-30
window.navigator和navigator的区别是什么?
 干货   2023-08-23
js获取referer、useragent、浏览器语言
 干货   2023-08-23
oscache遇到404时会不会缓存?
 干货   2023-08-23
linux下用rm -rf *删除大量文件太慢怎么解决?
 干货   2023-08-08
刀郎新歌破世界纪录!
 娱乐   2023-08-01
js实现放大缩小页面
 干货   2023-07-31
生成式人工智能服务管理暂行办法
 百态   2023-07-31
英语学习:过去完成时The Past Perfect Tense举例说明
 干货   2023-07-31
Mysql常用sql命令语句整理
 干货   2023-07-30
科学家复活了46000年前的虫子
 探索   2023-07-29
英语学习:过去进行时The Past Continuous Tense举例说明
 干货   2023-07-28
meta name="applicable-device"告知页面适合哪种终端设备:PC端、移动端还是自适应
 干货   2023-07-28
只用css如何实现打字机特效?
 百态   2023-07-15
css怎么实现上下滚动
 干货   2023-06-28
canvas怎么画一个三角形?
 干货   2023-06-28
canvas怎么画一个椭圆形?
 干货   2023-06-28
canvas怎么画一个圆形?
 干货   2023-06-28
canvas怎么画一个正方形?
 干货   2023-06-28
中国河南省郑州市金水区蜘蛛爬虫ip大全
 干货   2023-06-22
javascript简易动态时间代码
 干货   2023-06-20
感谢员工的付出和激励的话怎么说?
 干货   2023-06-18
 
>>返回首页<<
 
 
 
静静地坐在废墟上,四周的荒凉一望无际,忽然觉得,凄凉也很美
© 2005- 王朝网络 版权所有