复变函数由来.doc_第1页
复变函数由来.doc_第2页
复变函数由来.doc_第3页
复变函数由来.doc_第4页
复变函数由来.doc_第5页
已阅读5页,还剩22页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

复变函数由来:/view/41994.htm /jyzx/sx/sxxklw/20118/6090.html 数学发展史图书:先驱者的足迹:高等数学的形成/ebook/read_11485653.html复变函数与积分变换参考书电子版:/ebook相关视频:土豆网搜索“复变函数与积分变换”复变函数相关介绍:/s/blog_4b700c4c0100l02s.html学术讨论论坛:小木虫/bbs/ 博客:科学网/积分变换介绍:/view/131353.htm 复数的起源16世纪意大利米兰学者卡当(Jerome Cardan15011576)在1545年发表的重要的艺术一书中,公布了三次方程的一般解法,被后人称之为“卡当公式”。他是第一个把负数的平方根写到公式中的数学家,并且在讨论是否可能把10分成两部分,使它们的乘积等于40时,他把答案写成=40,尽管他认为和这两个表示式是没有意义的、想象的、虚无飘渺的,但他还是把10分成了两部分,并使它们的乘积等于40。给出“虚数”这一名称的是法国数学家笛卡尔(15961650),他在几何学(1637年发表)中使“虚的数”与“实的数”相对应,从此,虚数才流传开来。数系中发现一颗新星虚数,于是引起了数学界的一片困惑,很多大数学家都不承认虚数。德国数学家莱布尼茨(16461716)在1702年说:“虚数是神灵遁迹的精微而奇异的隐避所,它大概是存在和虚妄两界中的两栖物”。瑞士数学大师欧拉(17071783)说;“一切形如,-1,-2的数学式子都是不可能有的,想象的数,因为它们所表示的是负数的平方根。对于这类数,我们只能断言,它们既不是什么都不是,也不比什么都不是多些什么,更不比什么都不是少些什么,它们纯属虚幻。”然而,真理性的东西一定可以经得住时间和空间的考验,最终占有自己的一席之地。法国数学家达朗贝尔(17171783)在1747年指出,如果按照多项式的四则运算规则对虚数进行运算,那么它的结果总是的形式(a、b都是实数)(说明:现行教科书中没有使用记号=-i,而使用=-1)。法国数学家棣莫佛(16671754)在1730年发现公式了,这就是著名的棣莫佛定理。欧拉在1748年发现了有名的关系式,并且是他在微分公式(1777年)一文中第一次用i来表示一1的平方根,首创了用符号i作为虚数的单位。“虚数”实际上不是想象出来的,而它是确实存在的。挪威的测量学家成塞尔(17451818)在1779年试图给于这种虚数以直观的几何解释,并首先发表其作法,然而没有得到学术界的重视。德国数学家阿甘得(17771855)在1806年公布了虚数的图象表示法,即所有实数能用一条数轴表示,同样,虚数也能用一个平面上的点来表示。在直角坐标系中,横轴上取对应实数a的点A,纵轴上取对应实数b的点B,并过这两点引平行于坐标轴的直线,它们的交点C就表示复数a+bi。象这样,由各点都对应复数的平面叫做“复平面”,后来又称“阿甘得平面”。高斯在1831年,用实数组(a,b)代表复数a+bi,并建立了复数的某些运算,使得复数的某些运算也象实数一样地“代数化”。他又在1832年第一次提出了“复数”这个名词,还将表示平面上同一点的两种不同方法直角坐标法和极坐标法加以综合。统一于表示同一复数的代数式和三角式两种形式中,并把数轴上的点与实数一对应,扩展为平面上的点与复数一对应。高斯不仅把复数看作平面上的点,而且还看作是一种向量,并利用复数与向量之间一对应的关系,阐述了复数的几何加法与乘法。至此,复数理论才比较完整和系统地建立起来了。经过许多数学家长期不懈的努力,深刻探讨并发展了复数理论,才使得在数学领域游荡了200年的幽灵虚数揭去了神秘的面纱,显现出它的本来面目,原来虚数不虚呵。虚数成为了数系大家庭中一员,从而实数集才扩充到了复数集。随着科学和技术的进步,复数理论已越来越显出它的重要性,它不但对于数学本身的发展有着极其重要的意义,而且为证明机翼上升力的基本定理起到了重要作用,并在解决堤坝渗水的问题中显示了它的威力,也为建立巨大水电站提供了重要的理论依据。 复数的应用系统分析在系统分析中,系统常常通过拉普拉斯变换从时域变换到频域。因此可在复平面上分析系统的极点和零点。分析系统稳定性的根轨迹法、奈奎斯特图法(Nyquist plot)和尼科尔斯图法(Nichols plot)都是在复平面上进行的。 无论系统极点和零点在左半平面还是右半平面,根轨迹法都很重要。如果系统极点位於右半平面,则因果系统不稳定; 都位于左半平面,则因果系统稳定;位於虚轴上,则系统为临界稳定的。如果系统的全部零点都位於右半平面,则这是个最小相位系统。如果系统的极点和零点关於虚轴对称,则这是全通系统。 信号分析信号分析和其他领域使用复数可以方便的表示周期信号。模值|z|表示信号的幅度,辐角arg(z)表示给定频率的正弦波的相位。利用傅立叶变换可将实信号表示成一系列周期函数的和。这些周期函数通常用形式如下的复函数的实部表示:其中对应角频率,复数z 包含了幅度和相位的信息。 电路分析中,引入电容、电感与频率有关的虚部可以方便的将电压、电流的关系用简单的线性方程表示并求解。(有时用字母j 作为虚数单位,以免与电流符号i 混淆。) 反常积分在应用层面,复分析常用以计算某些实值的反常函数,藉由复值函数得出。方法有多种,见围道积分方法。 量子力学量子力学中复数是十分重要的,因其理论是建基於复数域上无限维的希尔伯特空间。 相对论如将时间变数视为虚数的话便可简化一些狭义和广义相对论中的时空度量 (Metric) 方程。 应用数学实际应用中,求解给定差分方程模型的系统,通常首先找出线性差分方程对应的特征方程的所有复特征根r ,再将系统以形为f(t) = e的基函数的线性组合表示。 流体力学复函数於流体力学中可描述二维势流 (2D Potential Flow)。 碎形一些碎形如曼德勃罗集合和茹利亚集 (Julia set) 是建基於复平面上的点的。 数系理论的历史发展数系理论的历史发展表明,数的概念的每一次扩张都标志着数学的进步,但是这种进步并不是按照数学教科书的逻辑步骤展开的。希腊人关于无理数的发现暴露出有理数系的缺陷,而实数系的完备性一直要到19世纪才得以完成。复数早在九章算术中就已被中国数学家所认识,然而,15世纪的欧洲人仍然不愿意承认复数的意义。“四元数”的发明,打开了通向抽象代数的大门,同时也宣告在保持传统运算定律的意义下,复数是数系扩张的终点。人类发明的记数法并没有束缚自己的想象力,中国古代“数穷则变”的思想对于当代数学哲学仍具有积极的意义。数,是数学中的基本概念,也是人类文明的重要组成部分。数的概念的每一次扩充都标志着数学的巨大飞跃。一个时代人们对于数的认识与应用,以及数系理论的完善程度,反映了当时数学发展的水平。今天,我们所应用的数系,已经构造的如此完备和缜密,以致于在科学技术和社会生活的一切领域中,它都成为基本的语言和不可或缺的工具。在我们得心应手地享用这份人类文明的共同财富时,是否想到在数系形成和发展的历史过程中,人类的智慧所经历的曲折和艰辛呢?一、 记数法、位置制和零 人类在进化的蒙昧时期,就具有了一种“识数”的才能,心理学家称这种才能为“数觉”(perception of number)。动物行为学家则认为,这种“数觉”并非为人类所独有。人类智慧的卓越之处在于他们发明了种种记数方法。周易系辞下记载“上古结绳而治,后世圣人,易之以书契”。东汉郑玄称:“事大,大结其绳;事小,小结其绳。结之多少,随物众寡”。以结绳和书契记数的方法实际上遍及世界各地,如希腊、波斯、罗马、巴勒斯坦、伊斯兰和中美洲国家都有文献记载和实物标本。直到1826年,英国财政部才决定停止采用符契作为法定记数器。随着人类社会的进步,数的语言也在不断发展和完善。数系发展的第一个里程碑出现了:位置制记数法。所谓位置制记数法,就是运用少量的符号,通过它们不同个数的排列,以表示不同的数。引起历史学家、数学史家兴趣的是,在自然环境和社会条件影响下,不同的文明创造了迥然不同的记数方法。如巴比伦的楔形数字系统、埃及象形数字系统、希腊人字母数字系统、玛雅数字系统、印度阿拉伯数字系统和中国的算筹记数系统。最早发展的一类数系应该是简单分群数系(simple grouping system),如在公元前3400年埃及象形文字中就有实例,它是10进的,但却不是位置的。在公元前3000到2000年之间,巴比伦人发展了60进位的定位数系(positional numeral system),它采用了位置制,却不是10进的。而最重要和最美妙的记数法则是10进位位置制记数法。法国著名数学家拉普拉斯(Laplace,1749 1827)曾经写道:用十个记号来表示一切的数,每个记号不但有绝对的值,而且有位置的值,这种巧妙的方法出自印度。这是一个深远而又重要的思想,它今天看来如此简单,以致我们忽视了它的真正伟绩。但恰恰是它的简单性以及对一切计算都提供了极大的方便,才使我们的算术在一切有用的发明中列在首位;而当我们想到它竟逃过了古代最伟大的两位人物阿基米德和阿波罗尼斯的天才思想的关注时,我们更感到这成就的伟大了。拉普拉斯的这段评论十分精彩,只可惜他张冠李戴,把这项发明归之于印度。现已有充分而确凿的史料证明,10进位位置制记数法最先产生于中国。这一点也为西方的一些数学史家所主张。李约瑟就曾指出“在西方后来所习见的印度数字的背后,位置制已在中国存在了两千年。”不过,10进位位置制记数法的产生不能单纯地归结为天才的智慧。记数法的进步是与计算工具的改进相联系的。研究表明,10进位位置制记数之产生于中国,是与算筹的使用与筹算制度的演进分不开的。“0”作为记数法中的空位,在位置制记数的文明中是不可缺少的。早期的巴比伦楔形文字和宋代以前的中国筹算记数法,都是留出空位而没有符号。印度人起初也是用空位表示零,后来记成点号“ ”,最后发展为圈号。印度数码在公元8世纪传入阿拉伯国家。13世纪初,意大利的商人斐波那契(Leonado Fibonacci, 1175 - 1250)编著算经(Liber Abacci,1202),把包括零号在内完整的印度数码介绍到了欧洲。印度数码和10进位位置制记数法被欧洲人普遍接受后,在欧洲的科学和文明的进步中扮演了重要的角色。二、大数记法古代希腊人曾经提出一个问题:他们认为世界上的沙子是无穷的,即使不是无穷,也没有一个可以写出来的数超过沙子的数。阿基米德(Archimedes,BC287 - 212)的回答是:不。在数沙术中,阿基米德以万(myriad)为基础,建立新的记数法,使得任何大的数都能表示出来。他的做法是:从1起到1亿(原文是万万,myriad myriads, 这里按照中文的习惯改称为亿)叫做第1级数;以亿(108)为第2 级数的单位,从亿到亿亿(108)2叫做第2级数;在以亿亿为单位,直到亿亿亿(108)3叫做第3级数。直到第1亿级数的最后一数亿亿。阿基米德算出充满宇宙的沙子的数目不过是1051,即使扩充到“恒星宇宙”,即以太阳到恒星的距离为半径的天球,也不过只能容纳1063个沙粒!同样的问题也出现在中国古代。汉代以前,数皆10进,以10万位亿。韦昭解国语郑语第十六:“计亿事,材兆物,收经入,行垓极”。注称“计,算也;材,裁也。贾唐说皆以万万为亿,郑后司农云:十万曰亿,十亿曰兆,从古数也。”数术记遗中则详细记载了对大数的一整套命名和三种进位方法。数术记遗称:黄帝为法,数有十等,及其用也,乃有三焉。十等者亿、兆、京、垓、秭、壤、沟、涧、正、载;三等者,谓上、中、下也。其下数者。十十变之,若言十万曰亿,十亿曰兆,十兆曰京也。中数者,万万变之,若言万万曰亿、万万亿曰兆,万万兆曰京。上数者,数穷则变,若言万万曰亿,亿亿曰兆,兆兆曰京也。从亿至载,终于大衍。数术记遗中的“大数之法”的数学意义并不仅仅在于它构造了三种记数方法,更为重要的是它揭示了人们对数的认识从有限走向无限的艰难历程。客观的需要和数学的发展都促使人们去认识和把握越来越大的数。起初,对一些较大的数,人们还可以理解它,还能够利用已有的记数单位去表示它。但是,随着人们认识的发展,这些大数也在迅速的扩张,原有的记数单位难以为用。人们不禁要问:数有穷乎?这是数系发展中的需要回答的重大命题。数术记遗中记载的徐岳和他的老师刘洪的对话,精彩的阐明了“数穷则变”的深刻道理:徐岳问曰:数有穷乎?会稽(刘洪)答曰:吾曾游天目山中,见有隐者,世莫知其名,号曰天目先生,余亦以此意问之。先生曰:世人言三不能比两,乃云捐闷与四维。数不识三,妄谈知十。不辨积微之为量,讵晓百亿于大千?黄帝为法,数有十等。从亿至载,终于大衍。会稽问曰:先生之言,上数者数穷则变,既云终于大衍,大衍有限,此何得无穷?先生答曰:数之为用,言重则变,以小兼大,又加循环。循环之理,且有穷乎!天目先生的做法是借助“以小兼大”的“循环之理”,以有限来认识无限,而指引这一途径的重要思想是“言重则变”。即便是今日,“数穷则变”这一朴素的辩证思维所蕴涵的深邃哲理仍值得人们深思。三、 有理数系位置制记数法的出现,标志着人类掌握的数的语言,已从少量的文字个体,发展到了一个具有完善运算规则的数系。人类第一个认识的数系,就是常说的“自然数系”。但是,随着人类认识的发展,自然数系的缺陷也就逐渐显露出来。首先,自然数系是一个离散的、而不是稠密的数系2 ,因此,作为量的表征,它只能限于去表示一个单位量的整数倍,而无法表示它的部分。同时,作为运算的手段,在自然数系中只能施行加法和乘法,而不能自由地施行它们的逆运算。这些缺陷,由于分数和负数的出现而得以弥补。有趣的是这些分数也都带有强烈的地域特征。巴比伦的分数是60进位的,埃及采用的是单分数(unit fraction),阿拉伯的分数更加复杂:单分数、主分数和复合分数。这种繁复的分数表示必然导致分数运算方法的繁杂,所以欧洲分数理论长期停滞不前,直到15世纪以后才逐步形成现代的分数算法。与之形成鲜明对照的是中国古代在分数理论上的卓越贡献。原始的分数概念来源于对量的分割。如说文八部对“分”的解释:“分,别也。从八从刀,刀以分别物也。”但是,九章算术中的分数是从除法运算引入的。其“合分术”有云:“实如法而一。不满法者,以法命之。”这句话的今译是:被除数除以除数。如果不能除尽,便定义了一个分数。中国古代分数理论的高明之处是它借助于“齐同术”把握住了分数算法的精髓:通分。刘徽在九章算术注中所言:众分错杂,非细不会。乘而散之,所以通之。通之则可并也。凡母互乘子谓之齐,群母相乘谓之同。同者,相与通同共一母也。齐者,子与母齐,势不可失本数也。有了齐同术,就可将分数化异类为同类,变相违为相通。刘徽深得其中奥秘,称:“然则齐同之术要矣。错综度数,动之斯谐,其犹佩?解结,无往而不理焉。乘以散之,约以聚之,齐同以通之,此其算之纲纪乎。” 容易证明,分数系是一个稠密的数系,它对于加、乘、除三种运算是封闭的。为了使得减法运算在数系内也同行无阻,负数的出现就是必然的了。盈余与不足、收入与支出、增加与减少是负数概念在生活中的实例,教科书在向学生讲授负数是也多循此途。这就产生一种误解:似乎人类正是从这种具有相反意义的量的认识而引进了负数的。历史的事实表明:负数之所以最早为中算家所引进,这是由中国古代传统数学中,算法高度发达和筹算机械化的特点所决定的。负数的概念和算法首先出现在九章算术“方程”章,因为对“方程”进行两行之间的加减消元时,就必须引入负数和建立正负数的运算法则。刘徽的注释深刻的阐明了这点:今两算得失相反,要令正负以名之。正算赤,负算黑,否则以斜正为异。方程自有赤黑相取,左右数相推求之术。而其并减之势不得广通,故使赤黑相消夺之。故赤黑相杂足以定上下之程,减益虽殊足以通左右之数,差实虽分足以应同异之率。然则其正无入负之,负无入正之,其率不妄也。负数虽然通过阿拉伯人的著作传到了欧洲,但16世纪和17世纪的大多数数学家并不承认它们是数,或者即使承认了也并不认为它们是方程的根。如丘凯(Nicolas Chuquet ,1445-1500)和斯蒂费尔(Stifel ,1486-1567)都把负数说成是荒谬的数,是“无稽之零下”。卡丹(Cardan,1501- 1576) 把负数作为方程的根,但认为它们是不可能的解,仅仅是一些记号;他把负根称作是虚有的。韦达(Vieta, 1540- 1630) 完全不要负数,巴斯卡(Pascal,1623- 1662)则认为从0减去4纯粹是胡说。负数是人类第一次越过正数域的范围,前此种种的经验,在负数面前全然无用。在数系发展的历史进程中,现实经验有时不仅无用,反而会成为一种阻碍。我们将会看到,负数并不是惟一的例子。四、 实数理论的完善无理数的发现,击碎了Pythagoras学派“万物皆数”的美梦。同时暴露出有理数系的缺陷:一条直线上的有理数尽管是“稠密”,但是它却漏出了许多“孔隙”,而且这种“孔隙”多的“不可胜数”。这样,古希腊人把有理数视为是连续衔接的那种算术连续统的设想,就彻底的破灭了。它的破灭,在以后两千多年时间内,对数学的发展,起到了深远的影响。不可通约的本质是什么?长期以来众说纷纭。两个不可通约量的比值也因其得不到正确的解释,而被认为是不可理喻的数。15世纪达芬奇(Leonardo da Vinci, 1452- 1519) 把它们称为是“无理的数”(irrational number),开普勒(J. Kepler, 1571- 1630)称它们是“不可名状”的数。这些“无理”而又“不可名状”的数,找到虽然在后来的运算中渐渐被使用,但是它们究竟是不是实实在在的数,却一直是个困扰人的问题。中国古代数学在处理开方问题时,也不可避免地碰到无理根数。对于这种“开之不尽”的数,九章算术直截了当地“以面命之”予以接受,刘徽注释中的“求其微数”,实际上是用10进小数来无限逼近无理数。这本是一条完成实数系统的正确道路,只是刘徽的思想远远超越了他的时代,而未能引起后人的重视。不过,中国传统数学关注的是数量的计算,对数的本质并没有太大的兴趣。(李)而善于究根问底的希腊人就无法迈过这道坎了。既然不能克服它,那就只好回避它。此后的希腊数学家,如欧多克斯(Eudoxus)、欧几里得(Euclid)在他们的几何学里,都严格避免把数与几何量等同起来。欧多克斯的比例论(见几何原本第5卷),使几何学在逻辑上绕过了不可公度的障碍,但就在这以后的漫长时期中,形成了几何与算术的显著分离。17、18世纪微积分的发展几乎吸引了所有数学家的注意力,恰恰是人们对微积分基础的关注,使得实数域的连续性问题再次突显出来。因为,微积分是建立在极限运算基础上的变量数学,而极限运算,需要一个封闭的数域。无理数正是实数域连续性的关键。无理数是什么?法国数学家柯西(A.Cauchy,1789- 1875)给出了回答:无理数是有理数序列的极限。然而按照柯西的极限定义,所谓有理数序列的极限,意即预先存在一个确定的数,使它与序列中各数的差值,当序列趋于无穷时,可以任意小。但是,这个预先存在的“数”,又从何而来呢?在柯西看来,有理序列的极限,似乎是先验地存在的。这表明,柯西尽管是那个时代大分析学家,但仍未能摆脱两千多年来以几何直觉为立论基础的传统观念的影响。变量数学独立建造完备数域的历史任务,终于在19世纪后半叶,由维尔斯特拉斯(Weierstrass,1815- 1897)、戴德金(R.Dedekind1831- 1916)、康托(G.Cantor,1845- 1918)等人加以完成了。1872年,是近代数学史上最值得纪念的一年。这一年,克莱因(F.Kline,1849- 1925)提出了著名的“埃尔朗根纲领”(Erlanger Programm),维尔斯特拉斯给出了处处连续但处处不可微函数的著名例子。也正是在这一年,实数的三大派理论:戴德金“分割”理论;康托的“基本序列”理论,以及维尔斯特拉斯的“有界单调序列”理论,同时在德国出现了。努力建立实数的目的,是为了给出一个形式化的逻辑定义,它既不依赖几何的含义,又避免用极限来定义无理数的逻辑错误。有了这些定义做基础,微积分中关于极限的基本定理的推导,才不会有理论上的循环。导数和积分从而可以直接在这些定义上建立起来,免去任何与感性认识联系的性质。几何概念是不能给出充分明白和精确的,这在微积分发展的漫长岁月的过程中已经被证明。因此,必要的严格性只有通过数的概念,并且在割断数的概念与几何量观念的联系之后才能完全达到。这里,戴德金的工作受到了崇高的评价,这是因为,由“戴德金分割”定义的实数,是完全不依赖于空间与时间直观的人类智慧的创造物。实数的三大派理论本质上是对无理数给出严格定义,从而建立了完备的实数域。实数域的构造成功,使得两千多年来存在于算术与几何之间的鸿沟得以完全填平,无理数不再是“无理的数”了,古希腊人的算术连续统的设想,也终于在严格的科学意义下得以实现。五、 复数的扩张复数概念的进化是数学史中最奇特的一章,那就是数系的历史发展完全没有按照教科书所描述的逻辑连续性。人们没有等待实数的逻辑基础建立之后,才去尝试新的征程。在数系扩张的历史过程中,往往许多中间地带尚未得到完全认识,而天才的直觉随着勇敢者的步伐已经到达了遥远的前哨阵地。1545年,此时的欧洲人尚未完全理解负数、无理数,然而他们智力又面临一个新的“怪物”的挑战。例如卡丹在所著重要的艺术(1545)中提出一个问题:把10分成两部分,使其乘积为40。这需要解方程x (10-x) = 40,他求得的根是 和 ,然后说“不管会受到多大的良心责备,”把 和 相乘,得到25(15)= 40。于是他说,“算术就是这样神妙地搞下去,它的目标,正如常言所说,是有精致又不中用的。”笛卡尔(Descartes,1596-1650)也抛弃复根,并造出了“虚数”(imaginary number)这个名称。对复数的模糊认识,莱布尼兹(Leibniz,1646- 1716)的说法最有代表性:“圣灵在分析的奇观中找到了超凡的显示,这就是那个理想世界的端兆,那个介于存在与不存在之间的两栖物,那个我们称之为虚的1的平方根。” 直到18世纪,数学家们对复数才稍稍建立了一些信心。因为,不管什么地方,在数学的推理中间步骤中用了复数,结果都被证明是正确的。特别是1799年,高斯(Gauss,1777- 1855)关于“代数基本定理”的证明必须依赖对复数的承认,从而使复数的地位得到了近一步的巩固。当然,这并不是说人们对“复数”的顾虑完全消除了。甚至在1831年,棣莫甘(De Morgan,1806- 1871) 在他的著作论数学的研究和困难中依然认为:已经证明了记号是没有意义的,或者甚至是自相矛盾或荒唐可笑的。然而,通过这些记号,代数中极其有用的一部分便建立起来的,它依赖于一件必须用经验来检验的事实,即代数的一般规则可以应用于这些式子(复数)。 我们知道,18世纪是数学史上的“英雄世纪”,人们的热情是如何发挥微积分的威力,去扩大数学的领地,没有人会对实数系和复数系的逻辑基础而操心。既然复数至少在运算法则上还是直观可靠的,那又何必去自找麻烦呢?1797年,挪威的韦塞尔(C. Wessel,1745-1818)写了一篇论文“关于方向的分析表示”,试图利用向量来表示复数,遗憾的是这篇文章的重大价值直到1897年译成法文后,才被人们重视。瑞士人阿甘达(J. Argand ,1768-1822)给出复数的一个稍微不同的几何解释。他注意到负数是正数的一个扩张,它是将方向和大小结合起来得出的,他的思路是:能否利用新增添某种新的概念来扩张实数系?在使人们接受复数方面,高斯的工作更为有效。他不仅将 a+ bi 表示为复平面上的一点 ( a, b),而且阐述了复数的几何加法和乘法。他还说,如果1, 1 和原来不称为正、负和虚单位,而称为直、反和侧单位,那么人们对这些数就可能不会产生种种阴暗神秘的印象。他说几何表示可以使人们对虚数真正有一个新的看法,他引进术语“复数”(complex number)以与虚数相对立,并用 i 代替 。 在澄清复数概念的工作中,爱尔兰数学家哈米尔顿(Hamilton,1805 1865)是非常重要的。哈米尔顿所关心的是算术的逻辑,并不满足于几何直观。他指出:复数a+ bi 不是 2 3意义上的一个真正的和,加号的使用是历史的偶然,而 bi 不能加到a 上去。复数a+ bi 只不过是实数的有序数对(a,b),并给出了有序数对的四则运算,同时,这些运算满足结合律、交换率和分配率。在这样的观点下,不仅复数被逻辑地建立在实数的基础上,而且至今还有点神秘的也完全消除了。回顾数系的历史发展,似乎给人这样一种印象:数系的每一次扩充,都是在旧的数系中添加新的元素。如分数添加于整数,负数添加于正数,无理数添加于有理数,复数添加于实数。但是,现代数学的观点认为:数系的扩张,并不是在旧的数系中添加新元素,而是在旧的数系之外去构造一个新的代数系,其元素在形式上与旧的可以完全不同,但是,它包含一个与旧代数系同构的子集,这种同构必然保持新旧代数系之间具有完全相同的代数构造。当人们澄清了复数的概念后,新的问题是:是否还能在保持复数基本性质的条件下对复数进行新的扩张呢?答案是否定的。当哈米尔顿试图寻找三维空间复数的类似物时,他发现自己被迫要做两个让步:第一,他的新数要包含四个分量;第二,他必须牺牲乘法交换率。这两个特点都是对传统数系的革命。他称这新的数为“四元数”。“四元数”的出现昭示着传统观念下数系扩张的结束。1878年,富比尼(F.Frobenius, 1849 1917) 证明:具有有限个原始单元的、有乘法单位元素的实系数先行结合代数,如果服从结合律,那就只有实数,复数和实四元数的代数。数学的思想一旦冲破传统模式的藩篱,便会产生无可估量的创造力。哈米尔顿的四元数的发明,使数学家们认识到既然可以抛弃实数和复数的交换性去构造一个有意义、有作用的新“数系”,那么就可以较为自由地考虑甚至偏离实数和复数的通常性质的代数构造。数系的扩张虽然就此终止,但是,通向抽象代数的大门被打开了 复变函数论是数学中一个基本的分支学科,它的研究对象是复变数的函数。复变函数论历史悠久,内容丰富,理论十分完美。它在数学许多分支、力学以及工程技术科学中有着广泛的应用。复数起源于求代数方程的根。简介复数的概念起源于求方程的根,在二次、三次代数方程的求根中就出现了负数开平方的情况。在很长时间里,人们对这类数不能理解。但随着数学的发展,这类数的重要性就日益显现出来。复数的一般形式是:a+bi,其中i是虚数单位。历史复变函数论产生于十八世纪。1774年,欧拉在他的一篇论文中考虑了由复变函数的积分导出的两个方程。而比他更早时,法国数学家达朗贝尔在他的关于流体力学的论文中,就已经得到了它们。因此,后来人们提到这两个方程,把它们叫做“达朗贝尔-欧拉方程”。到了十九世纪,上述两个方程在柯西和黎曼研究流体力学时,作了更详细的研究,所以这两个方程也被叫做“柯西-黎曼条件”。复变函数论的全面发展是在十九世纪,就像微积分的直接扩展统治了十八世纪的数学那样,复变函数这个新的分支统治了十九世纪的数学。当时的数学家公认复变函数论是最丰饶的数学分支,并且称为这个世纪的数学享受,也有人称赞它是抽象科学中最和谐的理论之一。为复变函数论的创建做了最早期工作的是欧拉、达朗贝尔,法国的拉普拉斯也随后研究过复变函数的积分,他们都是创建这门学科的先驱。后来为这门学科的发展作了大量奠基工作的要算是柯西、黎曼和德国数学家维尔斯特拉斯。二十世纪初,复变函数论又有了很大的进展,维尔斯特拉斯的学生,瑞典数学家列夫勒、法国数学家彭加勒、阿达玛等都作了大量的研究工作,开拓了复变函数论更广阔的研究领域,为这门学科的发展做出了贡献。复变函数论在应用方面,涉及的面很广,有很多复杂的计算都是用它来解决的。比如物理学上有很多不同的稳定平面场,所谓场就是每点对应有物理量的一个区域,对它们的计算就是通过复变函数来解决的。比如俄国的茹柯夫斯基在设计飞机的时候,就用复变函数论解决了飞机机翼的结构问题,他在运用复变函数论解决流体力学和航空力学方面的问题上也做出了贡献。复变函数论不但在其他学科得到了广泛的应用,而且在数学领域的许多分支也都应用了它的理论。它已经深入到微分方程、积分方程、概率论和数论等学科,对它们的发展很有影响。广义解析函数的应用范围很广泛,不但应用在流体力学的研究方面,而且象薄壳理论这样的固体力学部门也在应用。因此,近年来这方面的理论发展十分迅速。从柯西算起,复变函数论已有170多年的历史了。它以其完美的理论与精湛的技巧成为数学的一个重要组成部分。它曾经推动过一些学科的发展,并且常常作为一个有力的工具被应用在实际问题中,它的基础内容已成为理工科很多专业的必修课程。现在,复变函数论中仍然有不少尚待研究的课题,所以它将继续向前发展,并将取得更多应用。内容复变函数论主要包括单值解析函数理论、黎曼曲面理论、几何函数论、留数理论、广义解析函数等方面的内容。如果当函数的变量取某一定值的时候,函数就有一个唯一确定的值,那么这个函数解就叫做单值解析函数,多项式就是这样的函数。复变函数也研究多值函数,黎曼曲面理论是研究多值函数的主要工具。由许多层面安放在一起而构成的一种曲面叫做黎曼曲面。利用这种曲面,可以使多值函数的单值枝和枝点概念在几何上有非常直观的表示和说明。对于某一个多值函数,如果能作出它的黎曼曲面,那么,函数在离曼曲面上就变成单值函数。黎曼曲面理论是复变函数域和几何间的一座桥梁,能够使人们把比较深奥的函数的解析性质和几何联系起来。、关于黎曼曲面的研究还对另一门数学分支拓扑学有比较大的影响,逐渐地趋向于讨论它的拓扑性质。复变函数论中用几何方法来说明、解决问题的内容,一般叫做几何函数论,复变函数可以通过共形映象理论为它的性质提供几何说明。导数处处不是零的解析函数所实现的映像就都是共形映象,共形映像也叫做保角变换。共形映象在流体力学、空气动力学、弹性理论、静电场理论等方面都得到了广泛的应用。留数理论是复变函数论中一个重要的理论。留数也叫做残数,它的定义比较复杂。应用留数理论对于复变函数积分的计算比起线积分计算方便。计算实变函数定积分,可以化为复变函数沿闭回路曲线的积分后,再用留数基本定理化为被积分函数在闭合回路曲线内部孤立奇点上求留数的计算,当奇点是极点的时候,计算更加简洁。把单值解析函数的一些条件适当地改变和补充,以满足实际研究工作的需要,这种经过改变的解析函数叫做广义解析函数。广义解析函数所代表的几何图形的变化叫做拟保角变换。解析函数的一些基本性质,只要稍加改变后,同样适用于广义解析函数。在二次、三次代数方程求根的公式中就出现了形为式一式一的一类数,其中,b是实数。式二式二在实数范围内是没有意义的,因此在很长时间里这类数不能为人们所理解。R笛卡儿曾称之为虚数。但是随着数学的发展,这类数的重要性就日益显现出来。例如,每一个代数方程在此数域内至少有一个根,这就是代数学的基本定理。有时也称它为达朗贝尔定理,而最初的严格证明则是由C.F.高斯给出的。后来人们习惯以i表示复变函数论,并且称+bi为复数。在复数+bi与平面上的点(,b)之间可以建立一一对应。 L.欧拉在初等函数中引进了复变数,并给出了著名的欧拉公式 eix=cosx+isinx。欧拉公式揭示了三角函数与指数函数间的联系。发展柯西-黎曼方程一些实际问题也推动着复变函数理论的产生与发展。早在1752年J.le R.达朗贝尔关于流体阻力的研究中,便考虑在什么条件下当平面上的点(x,y)趋于一点时复值函数u(x,y)+iv(x,y)存在导数。这里要求导数与(x,y)所沿的路径无关。这个问题的答案是:若 ?(z)=u+iv在域D内定义,且u,v作为x,y的函数在D内可微,则?(z)可导的充要条件为:式(1) 式(1)。这个条件称为柯西-黎曼方程。在域D内可导的函数称为解析函数或全纯函数。由条件(1)易知,若u,v存在连续的二阶偏导数,则u,v应满足拉普拉斯方程。由(1)联系着的两个调和函数称为共轭调和函数。19世纪前半叶,柯西为复变函数理论的建立奠定了基础。他定义了复变函数的积分,并证明了下述柯西积分定理:若?(z)在区域D内解析,C为可求长的简单闭曲线,且C及其内部均含于D内,则有式(2) 式(2)。柯西积分定理从柯西积分定理可以得出一系列重要结论,诸如柯西积分公式、柯西不等式、惟一性定理、最大模原理等。特别地,若?(z)在域D内解析,则它在D内任意阶导数存在,并且在D内每点的邻域内?(z)可展为 z-的幂级数。作为柯西积分定理的推广,则有应用广泛的留数定理。代数学基本定理就是留数定理的一个简单推论。应用它还可计算一些较复杂的定积分。黎曼映射定理从几何观点看,定义在域D内的一个解析函数w=?(z),把D映为w平面上的一个区域。这样的映射具有保持角度的性质,所以称为保角映射,又称共形映射。19世纪中叶,黎曼对此作了很多研究。他首先提出了如下的原理(狄利克雷原理):在简单闭曲线C上给了一个连续函数,则必存在于C内调和且连续到C上的函数u,u在C上的值与相同。在此基础上,黎曼得出共形映射的基本定理:若单连通域D的边界多于一点,z0为D内一点且0为一实数,则存在惟一的单叶解析函数w?(z)将D映为w 平面上的单位圆w0。这个定理称为黎曼映射定理,它是复变函数几何理论的基础。根据这个定理,对于单连通区域内的解析函数常常可以化到单位圆内去研究。后来C卡拉西奥多里进一步指出,在黎曼映射定理中,若域D的边界为一简单闭曲线 C,则C上的点与圆周w=1上的点也一一对应。幂级数的作用如前所述,解析函数在每点邻域内可以展为幂级数,所以幂级数是研究解析函数的有力工具。这也是K.外尔斯特拉斯从事研究的出发点。若幂级数式 (3) 式 (3)的收敛半径R为有穷正数,则?(z)在:zR内解析而在圆周z=R上?(z)至少有一个奇点z0,即不存在以z0为心的圆和在内解析的函数 g(z),使在与的交内有g(z)=?(z)。当z=R上所有的点都是?(z)的奇点时,?(z)就不能从内解析开拓出去,这时|z|=R称为?(z)的自然边界。关于收敛圆周上的奇点及自然边界的研究,J.(-S.)阿达马、S.曼德尔勃罗伊及G.波伊亚等人均有很好的工作。若z=R上的点z0不是?(z)的奇点,则?(z)可以经过z0利用幂级数开拓到z=R 以外的部分。从幂级数(2)出发,向各个方向尽量进行解析开拓,所得的全体幂级数构成一个集合。这个集合定义了一个完全解析函数。关于完全解析函数,(J.-)H庞加莱和V沃尔泰拉等人有重要工作。完全解析函数可以是单值的或多值的。对于多值函数,自变量z绕某些点一圈后函数从一个值变为另一个值,这些点称为分支点。黎曼曲面是表示多值函数的具体的几何方法,它是由一些互相适当连接的重叠的平面构成的。一个多值函数在其黎曼曲面上即成为单值的。黎曼曲面的重要例子是代数函数,即由代数方程P(z,w)=0确定的函数。这种函数的黎曼曲面恒可连续变形到球面或带有若干个环柄的球面。环柄的个数称为黎曼曲面的亏格,它决定了该曲面的很多重要性质。综述总之,复变函数的主要研究对象是解析函数,包括单值函数、多值函数以及几何理论三大部分。在悠久的历史进程中,经过许多学者的努力,使得复变函数论获得了巨大发展,并且形成了一些专门的研究领域。单值函数单值函数中最基本的两类函数是整函数和亚纯函数,它们分别是多项式和有理函数的发展。外尔斯特拉斯将多项式的因式分解定理推广到整函数,而G.米塔-列夫勒则将有理函数分解为部分分式的定理推广到亚纯函数。(C.-).皮卡、(F.-.-J.-) .波莱尔等进一步发现了整函数的取值与多项式的取值之间有着很大的相似性。在此基础上,1925年R.奈望林纳建立了亚纯函数值分布的近代理论,对函数论的发展产生了重要影响。从19世纪末一直到现在,有很多学者从事函数值分布论的研究,优秀工作很多。它和复变函数论的其他领域也存在着密切联系。例如,1973年A.伯恩斯坦应用实变函数的思想引进T*函数,它在值分布论的亏量问题、整函数的最小模问题以及单叶函数的研究中都发挥了显著效用。多值函数关于多值函数的研究主要是围绕着黎曼曲面及单值化的问题来进行的。1913年(C.H.)H.外尔在其经典著作黎曼曲面概念中首先给出了抽象黎曼曲面的定义,它是流形这个现代数学基本概念的雏形。黎曼曲面的研究不仅使自身形成了完美的理论,而且它为代数几何、自守函数、复流形、代数数论等近代数学重要分支的研究提供了简单、明了的模型。几何理论在复变函数的应用上,共形映射具有重要的地位。H.E.茹科夫斯基通过共形映射研究绕机翼的流动便是著名的例子。实际应用中,常常要借助近似方法具体地构造出映射函数。这方面有不少研究工作。当然,有时并不需要知道具体的映射函数,只是应用其几何性质。这就推动了复变函数几何理论的发展。单叶函数的研究是复变函数几何理论的一个重要组成部分,特别是1916年L.比伯巴赫提出的单位圆内形如式(4)式(4)的单叶解析函数应有nn的猜测引起了许多学者的注意。近70年来,围绕着比伯巴赫猜想曾有不少研究工作,但是直到1984年,L.de布朗基才完全证实了这个猜想。证明中主要应用了莱伯德米林的工作,C.勒夫纳的参数表示法以及关于雅可比多项式的结果。柯西黎曼方程表明了解析函数与椭圆型偏微分方程组之间的联系,20世纪50年代以来L.伯斯,.韦夸等考虑较为一般的椭圆型偏微分方程组,并引入广义解析函数的概念。解析函数决定的映射为共形映射,它把无穷小圆映为无穷小圆;而广义解析函数则决定了拟共形映射,它把无穷小圆映为无穷小椭圆。L.V.阿尔福斯,.拉夫连季耶夫为拟共形映射的理论奠定了基础。聚集合的概念解析函数虽然在区域内部有很好的性质,但是当自变量z趋向于边界时,函数的变化情况常常十分复杂。关于这方面的研究就形成了一个专门的领域,称为解析函数边界性质。经典的结果有法图定理,.卢津和.普里瓦洛夫在这方面也有系统的研究。出现了聚集合的概念,进一步将研究引向深入。作用近代还有些函数论研究工作不再是考虑个别的函数,而是把具有某种性质的一族函数合在一起研究。事实上,P蒙泰尔的解析函数正规族就应属于这种类型的研究,并且显示了其威力。从这种观点出发的

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论