人类从学会计数开始就一直和自然数打交道了,后来由于实践的需要,数的概念进一步扩充,自然数被叫做正整数(现在的数学课本里已经把0归入自然数了),而把它们的相反数叫做负整数,介于正整数和负整数中间的中性数叫做0。它们和起来叫做整数。
对于整数可以施行加、减、乘、除四种运算,叫做四则运算。其中加法、减法和乘法这三种运算,在整数范围内可以毫无阻碍地进行。也就是说,任意两个或两个以上的整数相加、相减、相乘的时候,它们的和、差、积仍然是一个整数。但整数之间的除法在整数范围内并不一定能够无阻碍地进行。
人们在对整数进行运算的应用和研究中,逐步熟悉了整数的特性。比如,整数可分为两大类—奇数和偶数(通常被称为单数、双数)等。利用整数的一些基本性质,可以进一步探索许多有趣和复杂的数学规律,正是这些特性的魅力,吸引了古往今来许多的数学家不断地研究和探索。
数论这门学科最初是从研究整数开始的,所以叫做整数论。后来整数论又进一步发展,就叫做数论了。确切的说,数论就是一门研究整数性质的学科。
数论的发展简况
自古以来,数学家对于整数性质的研究一直十分重视,但是直到十九世纪,这些研究成果还只是孤立地记载在各个时期的算术著作中,也就是说还没有形成完整统一的学科。
自我国古代,许多著名的数学著作中都关于数论内容的论述,比如求最大公约数、勾股数组、某些不定方程整数解的问题等等。在国外,古希腊时代的数学家对于数论中一个最基本的问题——整除性问题就有系统的研究,关于质数、和数、约数、倍数等一系列概念也已经被提出来应用了。后来的各个时代的数学家也都对整数性质的研究做出过重大的贡献,使数论的基本理论逐步得到完善。
在整数性质的研究中,人们发现质数是构成正整数的基本“材料”,要深入研究整数的性质就必须研究质数的性质。因此关于质数性质的有关问题,一直受到数学家的关注。
到了十八世纪末,历代数学家积累的关于整数性质零散的知识已经十分丰富了,把它们整理加工成为一门系统的学科的条件已经完全成熟了。德国数学家高斯集中前人的大成,写了一本书叫做《算术探讨》,1800年寄给了法国科学院,但是法国科学院拒绝了高斯的这部杰作,高斯只好在1801年自己发表了这部著作。这部书开始了现代数论的新纪元。
在《算术探讨》中,高斯把过去研究整数性质所用的符号标准化了,把当时现存的定理系统化并进行了推广,把要研究的问题和意志的方法进行了分类,还引进了新的方法。
数论的基本内容
数论形成了一门独立的学科后,随着数学其他分支的发展,研究数论的方法也在不断发展。如果按照研究方法来说,可以分成初等数论、解析数论、代数数论和几何数论四个部分。
初等数论是数论中不求助于其他数学学科的帮助,只依靠初等的方法来研究整数性质的分支。比如中国古代有名的“中国剩余定理”,就是初等数论中很重要的内容。
解析数论是使用数学分析作为工具来解决数论问题的分支。数学分析是以函数作为研究对象的、在极限概念的基础上建立起来的数学学科。用数学分析来解决数论问题是由欧拉奠基的,俄国数学家车比雪夫等也对它的发展做出过贡献。解析数论是解决数论中艰深问题的强有力的工具。比如,对于“质数有无限多个”这个命题,欧拉给出了解析方法的证明,其中利用了数学分析中有关无穷级数的若干知识。二十世纪三十年代,苏联数学家维诺格拉多夫创造性的提出了“三角和方法”,这个方法对于解决某些数论难题有着重要的作用。我国数学家陈景润在解决“哥德巴赫猜想”问题中也使用的是解析数论的方法。
代数数论是把整数的概念推广到代数整数的一个分支。数学家把整数概念推广到一般代数数域上去,相应地也建立了素整数、可除性等概念。
几何数论是由德国数学家、物理学家闵可夫斯基等人开创和奠基的。几何数论研究的基本对象是“空间格网”。什么是空间格网呢?在给定的直角坐标系上,坐标全是整数的点,叫做整点;全部整点构成的组就叫做空间格网。空间格网对几何学和结晶学有着重大的意义。由于几何数论涉及的问题比较复杂,必须具有相当的数学基础才能深入研究。
数论是一门高度抽象的数学学科,长期以来,它的发展处于纯理论的研究状态,它对数学理论的发展起到了积极的作用。但对于大多数人来讲并不清楚它的实际意义。
由于近代计算机科学和应用数学的发展,数论得到了广泛的应用。比如在计算方法、代数编码、组合论等方面都广泛使用了初等数论范围内的许多研究成果;又文献报道,现在有些国家应用“孙子定理”来进行测距,用原根和指数来计算离散傅立叶变换等。此外,数论的许多比较深刻的研究成果也在近似分析、差集合、快速变换等方面得到了应用。特别是现在由于计算机的发展,用离散量的计算去逼近连续量而达到所要求的精度已成为可能。
数论在数学中的地位是独特的,高斯曾经说过“数学是科学的皇后,数论是数学中的皇冠”。因此,数学家都喜欢把数论中一些悬而未决的疑难问题,叫做“皇冠上的明珠”,以鼓励人们去“摘取”。下面简要列出几颗“明珠”:费尔马大定理、孪生素数问题、歌德巴赫猜想、圆内整点问题、完全数问题……
在我国近代,数论也是发展最早的数学分支之一。从二十世纪三十年代开始,在解析数论、刁藩都方程、一致分布等方面都有过重要的贡献,出现了华罗庚、闵嗣鹤、柯召等第一流的数论专家。其中华罗庚教授在三角和估值、堆砌素数论方面的研究是享有盛名的。1949年以后,数论的研究的得到了更大的发展。特别是在“筛法”和“歌德巴赫猜想”方面的研究,已取得世界领先的优秀成绩。
特别是陈景润在1966年证明“歌德巴赫猜想”的“一个大偶数可以表示为一个素数和一个不超过两个素数的乘积之和”以后,在国际数学引起了强烈的反响,盛赞陈景润的论文是解析数学的名作,是筛法的光辉顶点。至今,这仍是“歌德巴赫猜想”的最好结果。
拓扑学拓扑学的由来
几何拓扑学是十九世纪形成的一门数学分支,它属于几何学的范畴。有关拓扑学的一些内容早在十八世纪就出现了。那时候发现一些孤立的问题,后来在拓扑学的形成中占着重要的地位。
在数学上,关于哥尼斯堡七桥问题、多面体的欧拉定理、四色问题等都是拓扑学发展史的重要问题。
哥尼斯堡(今俄罗斯加里宁格勒)是东普鲁士的首都,[推荐]数学各个研究方向简介普莱格尔河横贯其中。十八世纪在这条河上建有七座桥,将河中间的两个岛和河岸联结起来。人们闲暇时经常在这上边散步,一天有人提出:能不能每座桥都只走一遍,最后又回到原来的位置。这个问题看起来很简单有很有趣的问题吸引了大家,很多人在尝试各种各样的走法,但谁也没有做到。看来要得到一个明确、理想的答案还不那么容易。
1736年,有人带着这个问题找到了当时的大数学家欧拉,欧拉经过一番思考,很快就用一种独特的方法给出了解答。欧拉把这个问题首先简化,他把两座小岛和河的两岸分别看作四个点,而把七座桥看作这四个点之间的连线。那么这个问题就简化成,能不能用一笔就把这个图形画出来。经过进一步的分析,欧拉得出结论——不可能每座桥都走一遍,最后回到原来的位置。并且给出了所有能够一笔画出来的图形所应具有的条件。这是拓扑学的“先声”。
在拓扑学的发展历史中,还有一个著名而且重要的关于多面体的定理也和欧拉有关。这个定理内容是:如果一个凸多面体的顶点数是v、棱数是e、面数是f,那么它们总有这样的关系:f v-e=2。
根据多面体的欧拉定理,可以得出这样一个有趣的事实:只存在五种正多面体。它们是正四面体、正六面体、正八面体、正十二面体、正二十面体。
著名的“四色问题”也是与拓扑学发展有关的问题。四色问题又称四色猜想,是世界近代三大数学难题之一。
四色猜想的提出来自英国。1852年,毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:“看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家都被着上不同的颜色。”
1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878~1880年两年间,著名律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文,宣布证明了四色定理。但后来数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久,泰勒的证明也被人们否定了。于是,人们开始认识到,这个貌似容易的题目,其实是一个可与费马猜想相媲美的难题。
进入20世纪以来,科学家们对四色猜想的证明基本上是按照肯普的想法在进行。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程。1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明。不过不少数学家并不满足于计算机取得的成就,他们认为应该有一种简捷明快的书面证明方法。
上面的几个例子所讲的都是一些和几何图形有关的问题,但这些问题又与传统的几何学不同,而是一些新的几何概念。这些就是“拓扑学”的先声。
什么是拓扑学?
拓扑学的英文名是Topology,直译是地志学,也就是和研究地形、地貌相类似的有关学科。我国早期曾经翻译成“形势几何学”、“连续几何学”、“一对一的连续变换群下的几何学”,但是,这几种译名都不大好理解,1956年统一的《数学名词》把它确定为拓扑学,这是按音译过来的。
拓扑学是几何学的一个分支,但是这种几何学又和通常的平面几何、立体几何不同。通常的平面几何或立体几何研究的对象是点、线、面之间的位置关系以及它们的度量性质。拓扑学对于研究对象的长短、大小、面积、体积等度量性质和数量关系都无关。
举例来说,在通常的平面几何里,把平面上的一个图形搬到另一个图形上,如果完全重合,那么这两个图形叫做全等形。但是,在拓扑学里所研究的图形,在运动中无论它的大小或者形状都发生变化。在拓扑学里没有不能弯曲的元素,每一个图形的大小、形状都可以改变。例如,前面讲的欧拉在解决哥尼斯堡七桥问题的时候,他画的图形就不考虑它的大小、形状,仅考虑点和线的个数。这些就是拓扑学思考问题的出发点。
拓扑性质有哪些呢?首先我们介绍拓扑等价,这是比较容易理解的一个拓扑性质。
在拓扑学里不讨论两个图形全等的概念,但是讨论拓扑等价的概念。比如,尽管圆和方形、三角形的形状、大小不同,在拓扑变换下,它们都是等价图形。左图的三样东西就是拓扑等价的,换句话讲,就是从拓扑学的角度看,它们是完全一样的。
在一个球面上任选一些点用不相交的线把它们连接起来,这样球面就被这些线分成许多块。在拓扑变换下,点、线、块的数目仍和原来的数目一样,这就是拓扑等价。一般地说,对于任意形状的闭曲面,只要不把曲面撕裂或割破,他的变换就是拓扑变幻,就存在拓扑等价。
应该指出,环面不具有这个性质。比如像左图那样,把环面切开,它不至于分成许多块,只是变成一个弯曲的圆桶形,对于这种情况,我们就说球面不能拓扑的变成环面。所以球面和环面在拓扑学中是不同的曲面。
直线上的点和线的结合关系、顺序关系,在拓扑变换下不变,这是拓扑性质。在拓扑学中曲线和曲面的闭合性质也是拓扑性质。[推荐]数学各个研究方向简介
我们通常讲的平面、曲面通常有两个面,就像一张纸有两个面一样。但德国数学家莫比乌斯(1790~1868)在1858年发现了莫比乌斯曲面。这种曲面就不能用不同的颜色来涂满两个侧面。
拓扑变换的不变性、不变量还有很多,这里不在介绍。
拓扑学建立后,由于其它数学学科的发展需要,它也得到了迅速的发展。特别是黎曼创立黎曼几何以后,他把拓扑学概念作为分析函数论的基础,更加促进了拓扑学的进展。
二十世纪以来,集合论被引进了拓扑学,为拓扑学开拓了新的面貌。拓扑学的研究就变成了关于任意点集的对应的概念。拓扑学中一些需要精确化描述的问题都可以应用集合来论述。
因为大量自然现象具有连续性,所以拓扑学具有广泛联系各种实际事物的可能性。通过拓扑学的研究,可以阐明空间的集合结构,从而掌握空间之间的函数关系。本世纪三十年代以后,数学家对拓扑学的研究更加深入,提出了许多全新的概念。比如,一致性结构概念、抽象距概念和近似空间概念等等。有一门数学分支叫做微分几何,是用微分工具来研究取线、曲面等在一点附近的弯曲情况,而拓扑学是研究曲面的全局联系的情况,因此,这两门学科应该存在某种本质的联系。1945年,美籍中国数学家陈省身建立了代数拓扑和微分几何的联系,并推进了整体几何学的发展。
拓扑学发展到今天,在理论上已经十分明显分成了两个分支。一个分支是偏重于用分析的方法来研究的,叫做点集拓扑学,或者叫做分析拓扑学。另一个分支是偏重于用代数方法来研究的,叫做代数拓扑。现在,这两个分支又有统一的趋势。
射影几何射影几何是研究图形的射影性质,即它们经过射影变换后,依然保持不变的图形性质的几何学分支学科。一度也叫做投影几何学,在经典几何学中,射影几何处于一种特殊的地位,通过它可以把其他一些几何学联系起来。
射影几何的发展简况
十七世纪,当笛卡儿和费尔马创立的解析几何问世的时候,还有一门几何学同时出现在人们的面前。这门几何学和画图有很密切的关系,它的某些概念早在古希腊时期就曾经引起一些学者的注意,欧洲文艺复兴时期透视学的兴起,给这门几何学的产生和成长准备了充分的条件。这门几何学就是射影几何学。
基于绘图学和建筑学的需要,古希腊几何学家就开始研究透视法,也就是投影和截影。早在公元前200年左右,阿波罗尼奥斯就曾把二次曲线作为正圆锥面的截线来研究。在4世纪帕普斯的著作中,出现了帕普斯定理。
在文艺复兴时期,人们在绘画和建筑艺术方面非常注意和大力研究如何在平面上表现实物的图形。那时候,人们发现,一个画家要把一个事物画在一块画布上就好比是用自己的眼睛当作投影中心,把实物的影子影射到画布上去,然后再描绘出来。在这个过程中,被描绘下来的像中的各个元素的相对大小和位置关系,有的变化了,有的却保持不变。这样就促使了数学家对图形在中心投影下的性质进行研究,因而就逐渐产生了许多过去没有的新的概念和理论,形成了射影几何这门学科。
射影几何真正成为独立的学科、成为几何学的一个重要分支,主要是在十七世纪。在17世纪初期,开普勒最早引进了无穷远点概念。稍后,为这门学科建立而做出了重要贡献的是两位法国数学家——笛沙格和帕斯卡。
笛沙格是一个自学成才的数学家,他年轻的时候当过陆军军官,后来钻研工程技术,成了一名工程师和建筑师,他很不赞成为理论而搞理论,决心用新的方法来证明圆锥曲线的定理。1639年,他出版了主要著作《试论圆锥曲线和平面的相交所得结果的初稿》,书中他引入了许多几何学的新概念。他的朋友笛卡尔、帕斯卡、费尔马都很推崇他的著作,费尔马甚至认为他是圆锥曲线理论的真正奠基人。
迪沙格在他的著作中,把直线看作是具有无穷大半径的圆,而曲线的切线被看作是割线的极限,这些概念都是射影几何学的基础。用他的名字命名的迪沙格定理:“如果两个三角形对应顶点连线共点,那么对应边的交点共线,反之也成立”,就是射影几何的基本定理。
帕斯卡也为射影几何学的早期工作做出了重要的贡献,1641年,他发现了一条定理:“内接于二次曲线的六边形的三双对边的交点共线。”这条定理叫做帕斯卡六边形定理,也是射影几何学中的一条重要定理。1658年,他写了《圆锥曲线论》一书,书中很多定理都是射影几何方面的内容。迪沙格和他是朋友,曾经敦促他搞透视学方面的研究,并且建议他要把圆锥曲线的许多性质简化成少数几个基本命题作为目标。帕斯卡接受了这些建议。后来他写了许多有关射影几何方面的小册子。
不过迪沙格和帕斯卡的这些定理,只涉及关联性质而不涉及度量性质(长度、角度、面积)。但他们在证明中却用到了长度概念,而不是用严格的射影方法,他们也没有意识到,自己的研究方向会导致产生一个新的几何体系射影几何。他们所用的是综合法,随着解析几何和微积分的创立,综合法让位于解析法,射影几何的探讨也中断了。
射影几何的主要奠基人是19世纪的彭赛列。他是画法几何的创始人蒙日的学生。蒙日带动了他的许多学生用综合法研究几何。由于迪沙格和帕斯卡等的工作被长期忽视了,前人的许多工作他们不了解,不得不重新再做。
1822年,彭赛列发表了射影几何的第一部系统著作。他是认识到射影几何是一个新的数学分支的第一个数学家。他通过几何方法引进无穷远虚圆点,研究了配极对应并用它来确立对偶原理。稍后,施泰纳研究了利用简单图形产生较复杂图形的方法,线素二次曲线概念也是他引进的。为了摆脱坐标系对度量概念的依赖,施陶特通过几何作图来建立直线上的点坐标系,进而使交比也不依赖于长度概念。由于忽视了连续公理的必要性,他建立坐标系的做法还不完善,但却迈出了决定性的一步。
另—方面,运用解析法来研究射影几何也有长足进展。首先是莫比乌斯创建一种齐次坐标系,把变换分为全等,相似,仿射,直射等类型,给出线束中四条线交比的度量公式等。接着,普吕克引进丁另一种齐次坐标系,得到了平面上无穷远线的方程,无穷远圆点的坐标。他还引进了线坐标概念,于是从代数观点就自然得到了对偶原理,并得到了关于一般线素曲线的一些概念。
在19世纪前半叶的几何研究中,综合法和解析法的争论异常激烈;有些数学家完全否定综合法,认为它没有前途,而一些几何学家,如沙勒,施图迪和施泰纳等,则坚持用综合法而排斥解析法。还有一些人,如彭赛列,虽然承认综合法有其局限性,在研究过程中也难免借助于代数,但在著作中总是用综合法来论证。他们的努力使综合射影几何形成一个优美的体系,而且用综合法也确实形象鲜明,有些问题论证直接而简洁。1882年帕施建成第一个严格的射影几何演绎体系。
射影几何学的发展和其他数学分支的发展有密切的关系,特别是“群”的概念产生以后,也被引进了射影几何学,对这门几何学的研究起了促进作用。
把各种几何和变换群相联系的是克莱因,他在埃尔朗根纲领中提出了这个观点,并把几种经典几何看作射影几何的子几何,使这些几何之间的关系变得十分明朗。这个纲领产生了巨大影响。但有些几何,如黎曼几何,不能纳入这个分类法。后来嘉当等在拓广几何分类的方法中作出了新的贡献。
射影几何学的内容
概括的说,射影几何学是几何学的一个重要分支学科,它是专门研究图形的位置关系的,也是专门用来讨论在把点投影到直线或者平面上的时候,图形的不变性质的科学。
在射影几何学中,把无穷远点看作是“理想点”。通常的直线再加上一个无穷点就是无穷远直线,如果一个平面内两条直线平行,那么这两条直线就交于这两条直线共有的无穷远点。通过同一无穷远点的所有直线平行。
在引入无穷远点和无穷远直线后,原来普通点和普通直线的结合关系依然成立,而过去只有两条直线不平行的时候才能求交点的限制就消失了。
由于经过同一个无穷远点的直线都平行,因此中心射影和平行射影两者就可以统一了。平行射影可以看作是经过无穷远点的中心投影了。这样凡是利用中心投影或者平行投影把一个图形映成另一个图形的映射,就都可以叫做射影变换了。
射影变换有两个重要的性质:首先,射影变换使点列变点列,直线变直线,线束变线束,点和直线的结合性是射影变换的不变性;其次,射影变换下,交比不变。交比是射影几何中重要的概念,用它可以说明两个平面点之间的射影对应。
在射影几何里,把点和直线叫做对偶元素,把“过一点作一直线”和“在一直线上取一点”叫做对偶运算。在两个图形中,它们如果都是由点和直线组成,把其中一图形里的各元素改为它的对偶元素,各运算改为它的对偶运算,结果就得到另一个图形。这两个图形叫做对偶图形。在一个命题中叙述的内容只是关于点、直线和平面的位置,可把各元素改为它的对偶元素,各运算改为它的对偶运算的时候,结果就得到另一个命题。这两个命题叫做对偶命题。
这就是射影几何学所特有的对偶原则。在射影平面上,如果一个命题成立,那么它的对偶命题也成立,这叫做平面对偶原则。同样,在射影空间里,如果一个命题成立,那么它的对偶命题也成立,叫做空间对偶原则。
研究在射影变换下二次曲线的不变性质,也是射影几何学的一项重要内容。
如果就几何学内容的多少来说,射影几何学< 仿射几何学< 欧氏几何学,这就是说欧氏几何学的内容最丰富,而射影几何学的内容最贫乏。比如在欧氏几何学里可以讨论仿射几何学的对象(如简比、平行性等)和射影几何学的对象(如四点的交比等),反过来,在射影几何学里不能讨论图形的仿射性质,而在仿射几何学里也不能讨论图形的度量性质。
1872年,德国数学家克莱因在爱尔朗根大学提出著名的《爱尔朗根计划书》中提出用变换群对几何学进行分类,就是凡是一种变换,它的全体能组成“群”,就有相应的几何学,而在每一种几何学里,主要研究在相应的变换下的不变量和不变性。
常微分方程微分方程的概念
方程对于学过中学数学的人来说是比较熟悉的;在初等数学中就有各种各样的方程,比如线性方程、二次方程、高次方程、指数方程、对数方程、三角方程和方程组等等。这些方程都是要把研究的问题中的已知数和未知数之间的关系找出来,列出包含一个未知数或几个未知数的一个或者多个方程式,然后取求方程的解。
但是在实际工作中,常常出现一些特点和以上方程完全不同的问题。比如:物质在一定条件下的运动变化,要寻求它的运动、变化的规律;某个物体在重力作用下自由下落,要寻求下落距离随时间变化的规律;火箭在发动机推动下在空间飞行,要寻求它飞行的轨道,等等。
物质运动和它的变化规律在数学上是用函数关系来描述的,因此,这类问题就是要去寻求满足某些条件的一个或者几个未知函数。也就是说,凡是这类问题都不是简单地去求一个或者几个固定不变的数值,而是要求一个或者几个未知的函数。
解这类问题的基本思想和初等数学解方程的基本思想很相似,也是要把研究的问题中已知函数和未知函数之间的关系找出来,从列出的包含未知函数的一个或几个方程中去求得未知函数的表达式。但是无论在方程的形式、求解的具体方法、求出解的性质等方面,都和初等数学中的解方程有许多不同的地方。
在数学上,解这类方程,要用到微分和导数的知识。因此,凡是表示未知函数的导数以及自变量之间的关系的方程,就叫做微分方程。
微分方程差不多是和微积分同时先后产生的,苏格兰数学家耐普尔创立对数的时候,就讨论过微分方程的近似解。牛顿在建立微积分的同时,对简单的微分方程用级数来求解。后来瑞士数学家雅各布·贝努利、欧拉、法国数学家克雷洛、达朗贝尔、拉格朗日等人又不断地研究和丰富了微分方程的理论。
常微分方程的形成与发展是和力学、天文学、物理学,以及其他科学技术的发展密切相关的。数学的其他分支的新发展,如复变函数、李群、组合拓扑学等,都对常微分方程的发展产生了深刻的影响,当前计算机的发展更是为常微分方程的应用及理论研究提供了非常有力的工具。
牛顿研究天体力学和机械力学的时候,利用了微分方程这个工具,从理论上得到了行星运动规律。后来,法国天文学家勒维烈和英国天文学家亚当斯使用微分方程各自计算出那时尚未发现的海王星的位置。这些都使数学家更加深信微分方程在认识自然、改造自然方面的巨大力量。
微分方程的理论逐步完善的时候,利用它就可以精确地表述事物变化所遵循的基本规律,只要列出相应的微分方程,有了解方程的方法。微分方程也就成了最有生命力的数学分支。
常微分方程的内容
如果在一个微分方程中出现的未知函数只含一个自变量,这个方程就叫做常微分方程,也可以简单地叫做微分方程。
一般地说,n 阶微分方程的解含有 n个任意常数。也就是说,微分方程的解中含有任意常数的个数和方程的解数相同,这种解叫做微分方程的通解。通解构成一个函数族。
如果根据实际问题要求出其中满足某种指定条件的解来,那么求这种解的问题叫做定解问题,对于一个常微分方程的满足定解条件的解叫做特解。对于高阶微分方程可以引入新的未知函数,把它化为多个一阶微分方程组。
常微分方程的特点
常微分方程的概念、解法、和其它理论很多,比如,方程和方程组的种类及解法、解的存在性和唯一性、奇解、定性理论等等。下面就方程解的有关几点简述一下,以了解常微分方程的特点。
求通解在历史上曾作为微分方程的主要目标,一旦求出通解的表达式,就容易从中得到问题所需要的特解。也可以由通解的表达式,了解对某些参数的依赖情况,便于参数取值适宜,使它对应的解具有所需要的性能,还有助于进行关于解的其他研究。
后来的发展表明,能够求出通解的情况不多,在实际应用中所需要的多是求满足某种指定条件的特解。当然,通解是有助于研究解的属性的,但是人们已把研究重点转移到定解问题上来。
一个常微分方程是不是有特解呢?如果有,又有几个呢?这是微分方程论中一个基本的问题,数学家把它归纳成基本定理,叫做存在和唯一性定理。因为如果没有解,而我们要去求解,那是没有意义的;如果有解而又不是唯一的,那又不好确定。因此,存在和唯一性定理对于微分方程的求解是十分重要的。
大部分的常微分方程求不出十分精确的解,而只能得到近似解。当然,这个近似解的精确程度是比较高的。另外还应该指出,用来描述物理过程的微分方程,以及由试验测定的初始条件也是近似的,这种近似之间的影响和变化还必须在理论上加以解决。
现在,常微分方程在很多学科领域内有着重要的应用,自动控制、各种电子学装置的设计、弹道的计算、飞机和导弹飞行的稳定性的研究、化学反应过程稳定性的研究等。这些问题都可以化为求常微分方程的解,或者化为研究解的性质的问题。应该说,应用常微分方程理论已经取得了很大的成就,但是,它的现有理论也还远远不能满足需要,还有待于进一步的发展,使这门学科的理论更加完善。
非欧几何非欧几何的来源
非欧几何学是一门大的数学分支,一般来讲 ,他有广义、狭义、通常意义这三个方面的不同含义。所谓广义式泛指一切和欧几里的几何学不同的几何学,狭义的非欧几何只是指罗式几何来说的,至于通常意义的非欧几何,就是指罗式几何和黎曼几何这两种几何。
欧几里得的《几何原本》提出了五条公设,长期以来,数学家们发现第五公设和前四个公设比较起来,显得文字叙述冗长,而且也不那么显而易见。
有些数学家还注意到欧几里得在《几何原本》一书中直到第二十九个命题中才用到,而且以后再也没有使用。也就是说,在《几何原本》中可以不依靠第五公设而推出前二十八个命题。
因此,一些数学家提出,第五公设能不能不作为公设,而作为定理?能不能依靠前四个公设来证明第五公设?这就是几何发展史上最著名的,争论了长达两千多年的关于“平行线理论”的讨论。
由于证明第五公设的问题始终得不到解决,人们逐渐怀疑证明的路子走的对不对?第五公设到底能不能证明?[推荐]数学各个研究方向简介
到了十九世纪二十年代,俄国喀山大学教授罗巴切夫斯基在证明第五公设的过程中,他走了另一条路子。他提出了一个和欧式平行公理相矛盾的命题,用它来代替第五公设,然后与欧式几何的前四个公设结合成一个公理系统,展开一系列的推理。他认为如果这个系统为基础的推理中出现矛盾,就等于证明了第五公设。我们知道,这其实就是数学中的反证法。
但是,在他极为细致深入的推理过程中,得出了一个又一个在直觉上匪夷所思,但在逻辑上毫无矛盾的命题。最后,罗巴切夫斯基得出两个重要的结论:
第一,第五公设不能被证明。
第二,在新的公理体系中展开的一连串推理,得到了一系列在逻辑上无矛盾的新的定理,并形成了新的理论。这个理论像欧式几何一样是完善的、严密的几何学。
这种几何学被称为罗巴切夫斯基几何,简称罗氏几何。这是第一个被提出的非欧几何学。
从罗巴切夫斯基创立的非欧几何学中,可以得出一个极为重要的、具有普遍意义的结论:逻辑上互不矛盾的一组假设都有可能提供一种几何学。
几乎在罗巴切夫斯基创立非欧几何学的同时,匈牙利数学家鲍耶·雅诺什也发现了第五公设不可证明和非欧几何学的存在。鲍耶在研究非欧几何学的过程中也遭到了家庭、社会的冷漠对待。他的父亲——数学家鲍耶·法尔卡什认为研究第五公设是耗费精力劳而无功的蠢事,劝他放弃这种研究。但鲍耶·雅诺什坚持为发展新的几何学而辛勤工作。终于在1832年,在他的父亲的一本著作里,以附录的形式发表了研究结果。
那个时代被誉为“数学王子”的高斯也发现第五公设不能证明,并且研究了非欧几何。但是高斯害怕这种理论会遭到当时教会力量的打击和迫害,不敢公开发表自己的研究成果,只是在书信中向自己的朋友表示了自己的看法,也不敢站出来公开支持罗巴切夫斯基、鲍耶他们的新理论。
罗式几何
罗式几何学的公理系统和欧式几何学不同的地方仅仅是把欧式几何平行公理用“从直线外一点,至少可以做两条直线和这条直线平行”来代替,其他公理基本相同。由于平行公理不同,经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。
我们知道,罗式几何除了一个平行公理之外采用了欧式几何的一切公理。因此,凡是不涉及到平行公理的几何命题,在欧式几何中如果是正确的,在罗式几何中也同样是正确的。在欧式几何中,凡涉及到平行公理的命题,再罗式几何中都不成立,他们都相应地含有新的意义。下面举几个例子加以说明:
欧式几何
同一直线的垂线和斜线相交。
垂直于同一直线的两条直线或向平行。
存在相似的多边形。
过不在同一直线上的三点可以做且仅能做一个圆。
罗式几何
同一直线的垂线和斜线不一定相交。
垂直于同一直线的两条直线,当两端延长的时候,离散到无穷。
不存在相似的多边形。
过不在同一直线上的三点,不一定能做一个圆。
从上面所列举得罗式几何的一些命题可以看到,这些命题和我们所习惯的直观形象有矛盾。所以罗式几何中的一些几何事实没有象欧式几何那样容易被接受。但是,数学家们经过研究,提出可以用我们习惯的欧式几何中的事实作一个直观“模型”来解释罗式几何是正确的。
1868年,意大利数学家贝特拉米发表了一篇著名论文《非欧几何解释的尝试》,证明非欧几何可以在欧几里得空间的曲面(例如拟球曲面)上实现。这就是说,非欧几何命题可以“翻译”成相应的欧几里得几何命题,如果欧几里得几何没有矛盾,非欧几何也就自然没有矛盾。
人们既然承认欧几里是没有矛盾的,所以也就自然承认非欧几何没有矛盾了。直到这时,长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究,罗巴切夫斯基的独创性研究也就由此得到学术界的高度评价和一致赞美,他本人则被人们赞誉为“几何学中的哥白尼”。
黎曼几何
欧氏几何与罗氏几何中关于结合公理、顺序公理、连续公理及合同公理都是相同的,只是平行公理不一样。欧式几何讲“过直线外一点有且只有一条直线与已知直线平行”。罗氏几何讲“过直线外一点至少存在两条直线和已知直线平行”。那么是否存在这样的几何“过直线外一点,不能做直线和已知直线平行”?黎曼几何就回答了这个问题。
黎曼几何是德国数学家黎曼创立的。他在1851年所作的一篇论文《论几何学作为基础的假设》中明确的提出另一种几何学的存在,开创了几何学的一片新的广阔领域。
黎曼几何中的一条基本规定是:在同一平面内任何两条直线都有公共点(交点)。在黎曼几何学中不承认平行线的存在,它的另一条公设讲:直线可以无限演唱,但总的长度是有限的。黎曼几何的模型是一个经过适当“改进”的球面。
近代黎曼几何在广义相对论里得到了重要的应用。在物理学家爱因斯坦的广义相对论中的空间几何就是黎曼几何。在广义相对论里,爱因斯坦放弃了关于时空均匀性的观念,他认为时空只是在充分小的空间里以一种近似性而均匀的,但是整个时空却是不均匀的。在物理学中的这种解释,恰恰是和黎曼几何的观念是相似的。
此外,黎曼几何在数学中也是一个重要的工具。它不仅是微分几何的基础,也应用在微分方程、变分法和复变函数论等方面。
三种几何的关系
欧氏几何、罗氏几何、黎曼几何是三种各有区别的几何。这三中几何各自所有的命题都构成了一个严密的公理体系,各公理之间满足和谐性、完备性和独立性。因此这三种几何都是正确的。
在我们这个不大不小、不远不近的空间里,也就是在我们的日常生活中,欧式几何是适用的;在宇宙空间中或原子核世界,罗氏几何更符合客观实际;在地球表面研究航海、航空等实际问题中,黎曼几何更准确一些。
计算数学什么是计算数学
现代的科学技术发展十分迅速,他们有一个共同的特点,就是都有大量的数据问题。
比如,发射一颗探测宇宙奥秘的卫星,从卫星世纪开始到发射、回收为止,科学家和工程技术人员、工人就要对卫星的总体、部件进行全面的设计和生产,要对选用的火箭进行设计和生产,这里面就有许许多多的数据要进行准确的计算。发射和回收的时候,又有关于发射角度、轨道、遥控、回收下落角度等等需要进行精确的计算。
有如,在高能加速器里进行高能物理试验,研究具有很高能量的基本粒子的性质、它们之间的相互作用和转化规律,这里面也有大量的数据计算问题。
计算问题可以数是现代社会各个领域普遍存在的共同问题,工业、农业、交通运输、医疗卫生、文化教育等等,那一行那一业都有许多数据需要计算,通过数据分析,以便掌握事物发展的规律。
研究计算问题的解决方法和有关数学理论问题的一门学科就叫做计算数学。
计算数学属于应用数学的范畴,它主要研究有关的数学和逻辑问题怎样由计算机加以有效解决。
计算数学的内容
计算数学也叫做数值计算方法或数值分析。主要内容包括代数方程、线性代数方程组、微分方程的数值解法,函数的数值逼近问题,矩阵特征值的求法,最优化计算问题,概率统计计算问题等等,还包括解的存在性、唯一性、收敛性和误差分析等理论问题。
我们知道五次及五次以上的代数方程不存在求根公式,因此,要求出五次以上的高次代数方程的解,一般只能求它的近似解,求近似解的方法就是数值分析的方法。对于一般的超越方程,如对数方程、三角方程等等也只能采用数值分析的办法。怎样找出比较简洁、误差比较小、花费时间比较少的计算方法是数值分析的主要课题。
在求解方程的办法中,常用的办法之一是迭代法,也叫做逐次逼近法。迭代法的计算是比较简单的,是比较容易进行的。迭代法还可以用来求解线性方程组的解。求方程组的近似解也要选择适当的迭代公式,使得收敛速度快,近似误差小。
在线性代数方程组的解法中,常用的有塞德尔迭代法、共轭斜量法、超松弛迭代法等等。此外,一些比较古老的普通消去法,如高斯法、追赶法等等,在利用计算机的条件下也可以得到广泛的应用。
在计算方法中,数值逼近也是常用的基本方法。数值逼近也叫近似代替,就是用简单的函数去代替比较复杂的函数,或者代替不能用解析表达式表示的函数。数值逼近的基本方法是插值法。初等数学里的三角函数表,对数表中的修正值,就是根据插值法制成的。
在遇到求微分和积分的时候,如何利用简单的函数去近似代替所给的函数,以便容易求到和求积分,也是计算方法的一个主要内容。微分方程的数值解法也是近似解法。常微分方程的数值解法由欧拉法、预测校正法等。偏微分方程的初值问题或边值问题,目前常用的是有限差分法、有限元素法等。
有限差分法的基本思想是用离散的、只含有限个未知数的差分方程去代替连续变量的微分方程和定解条件。求出差分方程的解法作为求偏微分方程的近似解。
有限元素法是近代才发展起来的,它是以变分原理和剖分差值作为基础的方法。在解决椭圆形方程边值问题上得到了广泛的应用。穆恰,有许多人正在研究用有限元素法来解双曲形和抛物形的方程。
计算数学的内容十分丰富,它在科学技术中正发挥着越来越大的作用。
运筹学分形几何分形几何的产生
客观自然界中许多事物,具有自相似的“层次”结构,在理想情况下,甚至具有无穷层次。适当的放大或缩小几何尺寸,整个结构并不改变。不少复杂的物理现象,背后就是反映着这类层次结构的分形几何学。
客观事物有它自己的特征长度,要用恰当的尺度去测量。用尺来测量万里长城,嫌太短;用尺来测量大肠杆菌,又嫌太长。从而产生了特征长度。还有的事物没有特征尺度,就必须同时考虑从小到大的许许多多尺度(或者叫标度),这叫做“无标度性”的问题。
如物理学中的湍流,湍流是自然界中普遍现象,小至静室中缭绕的轻烟,巨至木星大气中的涡流,都是十分紊乱的流体运动。流体宏观运动的能量,经过大、中、小、微等许许多度尺度上的漩涡,最后转化成分子尺度上的热运动,同时涉及大量不同尺度上的运动状态,就要借助“无标度性”解决问题,湍流中高漩涡区域,就需要用分形几何学。
在二十世纪七十年代,法国数学家曼德尔勃罗特在他的著作中探讨了英国的海岸线有多长?这个问题这依赖于测量时所使用的尺度。
如果用公里作测量单位,从几米到几十米的一些曲折会被忽略;改用米来做单位,测得的总长度会增加,但是一些厘米量级以下的就不能反映出来。由于涨潮落潮使海岸线的水陆分界线具有各种层次的不规则性。海岸线在大小两个方向都有自然的限制,取不列颠岛外缘上几个突出的点,用直线把它们连起来,得到海岸线长度的一种下界。使用比这更长的尺度是没有意义的。还有海沙石的最小尺度是原子和分子,使用更小的尺度也是没有意义的。在这两个自然限度之间,存在着可以变化许多个数量级的“无标度”区,长度不是海岸线的定量特征,就要用分维。
数学家寇赫从一个正方形的“岛”出发,始终保持面积不变,把它的“海岸线”变成无限曲线,其长度也不断增加,并趋向于无穷大。以后可以看到,分维才是“寇赫岛”海岸线的确切特征量,即海岸线的分维均介于1到2之间。
这些自然现象,特别是物理现象和分形有着密切的关系,银河系中的若断若续的星体分布,就具有分维的吸引子。多孔介质中的流体运动和它产生的渗流模型,都是分形的研究对象。这些促使数学家进一步的研究,从而产生了分形几何学。
电子计算机图形显示协助了人们推开分形几何的大门。这座具有无穷层次结构的宏伟建筑,每一个角落里都存在无限嵌套的迷宫和回廊,促使数学家和科学家深入研究。
法国数学家曼德尔勃罗特这位计算机和数学兼通的人物,对分形几何产生了重大的推动作用。他在1975、1977和1982年先后用法文和英文出版了三本书,特别是《分形——形、机遇和维数》以及《自然界中的分形几何学》,开创了新的数学分支——分形几何学。
分形几何的内容
分形几何学的基本思想是:客观事物具有自相似的层次结构,局部与整体在形态、功能、信息、时间、空间等方面具有统计意义上的相似性,成为自相似性。例如,一块磁铁中的每一部分都像整体一样具有南北两极,不断分割下去,每一部分都具有和整体磁铁相同的磁场。这种自相似的层次结构,适当的放大或缩小几何尺寸,整个结构不变。
维数是几何对象的一个重要特征量,它是几何对象中一个点的位置所需的独立坐标数目。在欧氏空间中,人们习惯把空间看成三维的,平面或球面看成二维,而把直线或曲线看成一维。也可以稍加推广,认为点是零维的,还可以引入高维空间,对于更抽象或更复杂的对象,只要每个局部可以和欧氏空间对应,也容易确定维数。但通常人们习惯于整数的维数。
分形理论认为维数也可以是分数,这类维数是物理学家在研究混沌吸引子等理论时需要引入的重要概念。为了定量地描述客观事物的“非规则”程度,1919年,数学家从测度的角度引入了维数概念,将维数从整数扩大到分数,从而突破了一般拓扑集维数为整数的界限。
维数和测量有着密切的关系,下面我们举例说明一下分维的概念。
当我们画一根直线,如果我们用 0维的点来量它,其结果为无穷大,因为直线中包含无穷多个点;如果我们用一块平面来量它,其结果是 0,因为直线中不包含平面。那么,用怎样的尺度来量它才会得到有限值哪?看来只有用与其同维数的小线段来量它才会得到有限值,而这里直线的维数为 1(大于0、小于2)。
对于我们上面提到的“寇赫岛”曲线,其整体是一条无限长的线折叠而成,显然,用小直线段量,其结果是无穷大,而用平面量,其结果是 0(此曲线中不包含平面),那么只有找一个与“寇赫岛”曲线维数相同的尺子量它才会得到有限值,而这个维数显然大于 1、小于 2,那么只能是小数了,所以存在分维。经过计算“寇赫岛”曲线的维数是1.2618……。
分形几何学的应用
分形几何学已在自然界与物理学中得到了应用。如在显微镜下观察落入溶液中的一粒花粉,会看见它不间断地作无规则运动(布朗运动),这是花粉在大量液体分子的无规则碰撞(每秒钟多达十亿亿次)下表现的平均行为。布朗粒子的轨迹,由各种尺寸的折线连成。只要有足够的分辨率,就可以发现原以为是直线段的部分,其实由大量更小尺度的折线连成。这是一种处处连续,但又处处无导数的曲线。这种布朗粒子轨迹的分维是 2,大大高于它的拓扑维数 1
在某些电化学反应中,电极附近成绩的固态物质,以不规则的树枝形状向外增长。受到污染的一些流水中,粘在藻类植物上的颗粒和胶状物,不断因新的沉积而生长,成为带有许多须须毛毛的枝条状,就可以用分维。
自然界中更大的尺度上也存在分形对象。一枝粗干可以分出不规则的枝杈,每个枝杈继续分为细杈……,至少有十几次分支的层次,可以用分形几何学去测量。
有人研究了某些云彩边界的几何性质,发现存在从 1公里到1000公里的无标度区。小于 1公里的云朵,更受地形概貌影响,大于1000公里时,地球曲率开始起作用。大小两端都受到一定特征尺度的限制,中间有三个数量级的无标度区,这已经足够了。分形存在于这中间区域。
近几年在流体力学不稳定性、光学双稳定器件、化学震荡反映等试验中,都实际测得了混沌吸引子,并从实验数据中计算出它们的分维。学会从实验数据测算分维是最近的一大进展。分形几何学在物理学、生物学上的应用也正在成为有充实内容的研究领域。
突变理论突变理论是20世纪70年代发展起来的一个新的数学分支。
突变理论的产生
许多年来,自然界许多事物的连续的、渐变的、平滑的运动变化过程,都可以用微积分的方法给以圆满解决。例如,地球绕着太阳旋转,有规律地周而复始地连续不断进行,使人能及其精确地预测未来的运动状态,这就需要运用经典的微积分来描述。
但是,自然界和社会现象中,还有许多突变和飞跃的过程,飞越造成的不连续性把系统的行为空间变成不可微的,微积分就无法解决。例如,水突然沸腾,冰突然融化,火山爆发,某地突然地震,房屋突然倒塌,病人突然死亡……。
这种由渐变、量变发展为突变、质变的过程,就是突变现象,微积分是不能描述的。以前科学家在研究这类突变现象时遇到了各式各样的困难,其中主要困难就是缺乏恰当的数学工具来提供描述它们的数学模型。那么,有没有可能建立一种关于突变现象的一般性数学理论来描述各种飞跃和不连续过程呢?这迫使数学家进一步研究描述突变理论的飞跃过程,研究不连续性现象的数学理论。
1972年法国数学家雷内·托姆在《结构稳定性和形态发生学》一书中,明确地阐明了突变理论,宣告了突变理论的诞生。
突变理论的内容
突变理论主要以拓扑学为工具,以结构稳定性理论为基础,提出了一条新的判别突变、飞跃的原则:在严格控制条件下,如果质变中经历的中间过渡态是稳定的,那么它就是一个渐变过程。
比如拆一堵墙,如果从上面开始一块块地把砖头拆下来,整个过程就是结构稳定的渐变过程。如果从底脚开始拆墙,拆到一定程度,就会破坏墙的结构稳定性,墙就会哗啦一声,倒塌下来。这种结构不稳定性就是突变、飞跃过程。又如社会变革,从封建社会过渡到资本主义社会,法国大革命采用暴力来实现,而日本的明治维新就是采用一系列改革,以渐变方式来实现。
对于这种结构的稳定与不稳定现象,突变理论用势函数的洼存在表示稳定,用洼取消表示不稳定,并有自己的一套运算方法。例如,一个小球在洼底部时是稳定的,如果把它放在突起顶端时是不稳定的,小球就会从顶端处,不稳定滚下去,往新洼地过渡,事物就发生突变;当小球在新洼地底处,又开始新的稳定,所以势函数的洼存在与消失是判断事物的稳定性与不稳定性、渐变与突变过程的根据。
托姆的突变理论,就是用数学工具描述系统状态的飞跃,给出系统处于稳定态的参数区域,参数变化时,系统状态也随着变化,当参数通过某些特定位置时,状态就会发生突变。
突变理论提出一系列数学模型,用以解是自然界和社会现象中所发生的不连续的变化过程,描述各种现象为何从形态的一种形式突然地飞跃到根本不同的另一种形式。如岩石的破裂,桥梁的断裂,细胞的分裂,胚胎的变异,市场的破坏以及社会结构的激变……。
按照突变理论,自然界和社会现象中的大量的不连续事件,可以由某些特定的几何形状来表示。托姆指出,发生在三维空间和一维空间的四个因子控制下的突变,有七种突变类型:折迭突变、尖顶突变、燕尾突变、蝴蝶突变、双曲脐突变、椭圆脐形突变以及抛物脐形突变。
例如,用大拇指和中指夹持一段有弹性的钢丝,使其向上弯曲,然后再用力压钢丝使其变形,当达到一定程度时,钢丝会突然向下弯曲,并失去弹性。这就是生活中常见的一种突变现象,它有两个稳定状态:上弯和下弯,状态由两个参数决定,一个是手指夹持的力(水平方向),一个是钢丝的压力(垂直方向),可用尖顶突变来描述。
尖顶突变和蝴蝶突变是几种质态之间能够进行可逆转的模型。自然界还有些过程是不可逆的,比如死亡是一种突变,活人可以变成死人,反过来却不行。这一类过程可以用折迭突变、燕尾突变等时函数最高奇次的模型来描述。所以,突变理论是用形象而精确的得数学模型来描述质量互变过程。
英国数学家奇曼教授称突变理论是“数学界的一项智力革命——微积分后最重要的发现”。他还组成一个研究团体,悉心研究,扩展应用。短短几年,论文已有四百多篇,可成为盛极一时,托姆为此成就而荣获当前国际数学界的最高奖——菲尔兹奖。
突变理论的应用
突变理论在在自然科学的应用是相当广泛的。在物理学研究了相变、分叉、混沌与突变的关系,提出了动态系统、非线性力学系统的突变模型,解释了物理过程的可重复性是结构稳定性的表现。在化学中,用蝴蝶突变描述氢氧化物的水溶液,用尖顶突变描述水的液、气、固的变化等。在生态学中研究了物群的消长与生灭过程,提出了根治蝗虫的模型与方法。在工程技术中,研究了弹性结构的稳定性,通过桥梁过载导致毁坏的实际过程,提出最优结构设计……。
突变理论在社会现象的一个用归纳为某种量的突变问题,人们施加控制因素影响社会状态是有一定条件的,只有在控制因素达到临界点之前,状态才是可以控制的。一旦发生根本性的质变,它就表现为控制因素所无法控制的突变过程。还可以用突变理论对社会进行高层次的有效控制,为此就需要研究事物状态与控制因素之间的相互关系,以及稳定区域、非稳定区域、临界曲线的分布特点,还要研究突变的方向与幅度。
模糊数学二十世纪六十年代,产生了模糊数学这门新兴学科。
模糊数学的产生
现代数学是建立在集合论的基础上。集合论的重要意义就一个侧面看,在与它把数学的抽象能力延伸到人类认识过程的深处。一组对象确定一组属性,人们可以通过说明属性来说明概念(内涵),也可以通过指明对象来说明它。符合概念的那些对象的全体叫做这个概念的外延,外延其实就是集合。从这个意义上讲,集合可以表现概念,而集合论中的关系和运算又可以表现判断和推理,一切现实的理论系统都一可能纳入集合描述的数学框架。
但是,数学的发展也是阶段性的。经典集合论只能把自己的表现力限制在那些有明确外延的概念和事物上,它明确地限定:每个集合都必须由明确的元素构成,元素对集合的隶属关系必须是明确的,决不能模棱两可。对于那些外延不分明的概念和事物,经典集合论是暂时不去反映的,属于待发展的范畴。
在较长时间里,精确数学及随机数学在描述自然界多种事物的运动规律中,获得显著效果。但是,在客观世界中还普遍存在着大量的模糊现象。以前人们回避它,但是,由于现代科技所面对的系统日益复杂,模糊性总是伴随着复杂性出现。
各门学科,尤其是人文、社会学科及其它“软科学”的数学化、定量化趋向把模糊性的数学处理问题推向中心地位。更重要的是,随着电子计算机、控制论、系统科学的迅速发展,要使计算机能像人脑那样对复杂事物具有识别能力,就必须研究和处理模糊性。
我们研究人类系统的行为,或者处理可与人类系统行为相比拟的复杂系统,如航天系统、人脑系统、社会系统等,参数和变量甚多,各种因素相互交错,系统很复杂,它的模糊性也很明显。从认识方面说,模糊性是指概念外延的不确定性,从而造成判断的不确定性。
在日常生活中,经常遇到许多模糊事物,没有分明的数量界限,要使用一些模糊的词句来形容、描述。比如,比较年轻、高个、大胖子、好、漂亮、善、热、远……。在人们的工作经验中,往往也有许多模糊的东西。例如,要确定一炉钢水是否已经炼好,除了要知道钢水的温度、成分比例和冶炼时间等精确信息外,还需要参考钢水颜色、沸腾情况等模糊信息。因此,除了很早就有涉及误差的计算数学之外,还需要模糊数学。
人与计算机相比,一般来说,人脑具有处理模糊信息的能力,善于判断和处理模糊现象。但计算机对模糊现象识别能力较差,为了提高计算机识别模糊现象的能力,就需要把人们常用的模糊语言设计成机器能接受的指令和程序,以便机器能像人脑那样简洁灵活的做出相应的判断,从而提高自动识别和控制模糊现象的效率。这样,就需要寻找一种描述和加工模糊信息的数学工具,这就推动数学家深入研究模糊数学。所以,模糊数学的产生是有其科学技术与数学发展的必然性。
模糊数学的研究内容
1965年,美国控制论专家、数学家查德发表了论文《模糊集合》,标志着模糊数学这门学科的诞生。
模糊数学的研究内容主要有以下三个方面:
第一,研究模糊数学的理论,以及它和精确数学、随机数学的关系。察德以精确数学集合论为基础,并考虑到对数学的集合概念进行修改和推广。他提出用“模糊集合”作为表现模糊事物的数学模型。并在“模糊集合”上逐步建立运算、变换规律,开展有关的理论研究,就有可能构造出研究现实世界中的大量模糊的数学基础,能够对看来相当复杂的模糊系统进行定量的描述和处理的数学方法。
在模糊集合中,给定范围内元素对它的隶属关系不一定只有“是”或“否”两种情况,而是用介于0和1之间的实数来表示隶属程度,还存在中间过渡状态。比如“老人”是个模糊概念,70岁的肯定属于老人,它的从属程度是 1,40岁的人肯定不算老人,它的从属程度为 0,按照查德给出的公式,55岁属于“老”的程度为0.5,即“半老”,60岁属于“老”的程度0.8。查德认为,指明各个元素的隶属集合,就等于指定了一个集合。当隶属于0和1之间值时,就是模糊集合。
第二,研究模糊语言学和模糊逻辑。人类自然语言具有模糊性,人们经常接受模糊语言与模糊信息,并能做出正确的识别和判断。
为了实现用自然语言跟计算机进行直接对话,就必须把人类的语言和思维过程提炼成数学模型,才能给计算机输入指令,建立和是的模糊数学模型,这是运用数学方法的关键。查德采用模糊集合理论来建立模糊语言的数学模型,使人类语言数量化、形式化。
如果我们把合乎语法的标准句子的从属函数值定为1,那么,其他文法稍有错误,但尚能表达相仿的思想的句子,就可以用以0到1之间的连续数来表征它从属于“正确句子”的隶属程度。这样,就把模糊语言进行定量描述,并定出一套运算、变换规则。目前,模糊语言还很不成熟,语言学家正在深入研究。
人们的思维活动常常要求概念的确定性和精确性,采用形式逻辑的排中律,既非真既假,然后进行判断和推理,得出结论。现有的计算机都是建立在二值逻辑基础上的,它在处理客观事物的确定性方面,发挥了巨大的作用,但是却不具备处理事物和概念的不确定性或模糊性的能力。
为了使计算机能够模拟人脑高级智能的特点,就必须把计算机转到多值逻辑基础上,研究模糊逻辑。目前,模糊罗基还很不成熟,尚需继续研究。
第三,研究模糊数学的应用。模糊数学是以不确定性的事物为其研究对象的。模糊集合的出现是数学适应描述复杂事物的需要,查德的功绩在于用模糊集合的理论找到解决模糊性对象加以确切化,从而使研究确定性对象的数学与不确定性对象的数学沟通起来,过去精确数学、随机数学描述感到不足之处,就能得到弥补。在模糊数学中,目前已有模糊拓扑学、模糊群论、模糊图论、模糊概率、模糊语言学、模糊逻辑学等分支。
模糊数学的应用
模糊数学是一门新兴学科,它已初步应用于模糊控制、模糊识别、模糊聚类分析、模糊决策、模糊评判、系统理论、信息检索、医学、生物学等各个方面。在气象、结构力学、控制、心理学等方面已有具体的研究成果。然而模糊数学最重要的应用领域是计算机职能,不少人认为它与新一代计算机的研制有密切的联系。
目前,世界上发达国家正积极研究、试制具有智能化的模糊计算机,1986年日本山川烈博士首次试制成功模糊推理机,它的推理速度是1000万次/秒。1988年,我国汪培庄教授指导的几位博士也研制成功一台模糊推理机——分立元件样机,它的推理速度为1500万次/秒。这表明我国在突破模糊信息处理难关方面迈出了重要的一步。
模糊数学还远没有成熟,对它也还存在着不同的意见和看法,有待实践去检验。
偏微分方程偏微分方程的起源 如果一个微分方程中出现的未知函数只含一个自变量,这个方程叫做常微分方程,也简称 微分方程;如果一个微分方程中出现多元函数的偏导数,或者说如果未知函数和几个变量 有关,而且方程中出现未知函数对几个变量的导数,那么这种微分方程就是偏微分方程。
在科学技术日新月异的发展过程中,人们研究的许多问题用一个自变量的函数来描述已经 显得不够了,不少问题有多个变量的函数来描述。比如,从物理角度来说,物理量有不同 的性质,温度、密度等是用数值来描述的叫做纯量;速度、电场的引力等,不仅在数值上 有不同,而且还具有方向,这些量叫做向量;物体在一点上的张力状态的描述出的量叫做 张量,等等。这些量不仅和时间有关系,而且和空间坐标也有联系,这就要用多个变量的 函数来表示。
应该指出,对于所有可能的物理现象用某些多个变量的函数表示,只能是理想化的,如介 质的密度,实际上“在一点”的密度是不存在的。而我们把在一点的密度看作是物质的质量 和体积的比当体积无限缩小的时候的极限,这就是理想化的。介质的温度也是这样。这样 就产生了研究某些物理现象的理想了的多个变量的函数方程,这种方程就是偏微分方程。
微积分方程这门学科产生于十八世纪,欧拉在他的著作中最早提出了弦振动的二阶方程, 随后不久,法国数学家达朗贝尔也在他的著作《论动力学》中提出了特殊的偏微分方程。这些著作当时没有引起多大注意。1746年,达朗贝尔在他的论文《张紧的弦振动时形成的 曲线的研究》中,提议证明无穷多种和正弦曲线不同的曲线是振动的模式。这样就由对弦 振动的研究开创了偏微分方程这门学科。
和欧拉同时代的瑞士数学家丹尼尔·贝努利也研究了数学物理方面的问题, 提出了解弹性系 振动问题的一般方法,对偏微分方程的发展起了比较大的影响。拉格朗日也讨论了一阶偏 微分方程,丰富了这门学科的内容。
偏微分方程得到迅速发展是在十九世纪,那时候,数学物理问题的研究繁荣起来了,许多 数学家都对数学物理问题的解决做出了贡献。这里应该提一提法国数学家傅立叶,他年轻 的时候就是一个出色的数学学者。在从事热流动的研究中,写出了《热的解析理论》 ,在 文章中他提出了三维空间的热方程,也就是一种偏微分方程。他的研究对偏微分方程的发 展的影响是很大的。
偏微分方程的内容
偏微分方程是什么样的?它包括哪些内容?这里我们可从一个例子的研究加以介绍。
弦振动是一种机械运动,当然机械运动的基本定律是质点力学的 F=ma,但是弦并不是质 点,所以质点力学的定律并不适用在弦振动的研究上。然而,如果我们把弦细细地分成若 干个极小极小的小段,每一小段抽象地看作是一个质点,这样我们就可以应用质点力学的 基本定律了。
弦是指又细又长的弹性物质,比如弦乐器所用的弦就是细长的、柔软的、带有弹性的。演 奏的时候,弦总是绷紧着具有一种张力,这种张力大于弦的重量几万倍。当演奏的人用薄 片拨动或者用弓在弦上拉动,虽然只因其所接触的一段弦振动,但是由于张力的作用,传 播到使整个弦振动起来。
用微分的方法分析可得到弦上一点的位移是这一点所在的位置和时间为自变量的偏微分 方程。偏方程又很多种类型,一般包括椭圆型偏微分方程、抛物型偏微分方程、双曲型偏 微分方程。上述的例子是弦振动方程,它属于数学物理方程中的波动方程,也就是双曲型 偏微分方程。
偏微分方程的解一般有无穷多个,但是解决具体的物理问题的时候,必须从中选取所需要 的解,因此,还必须知道附加条件。因为偏微分方程是同一类现象的共同规律的表示式, 仅仅知道这种共同规律还不足以掌握和了解具体问题的特殊性,所以就物理现象来说,各 个具体问题的特殊性就在于研究对象所处的特定条件,就是初始条件和边界条件。
拿上面所举的弦振动的例子来说,对于同样的弦的弦乐器,如果一种是以薄片拨动弦,另 一种是以弓在弦上拉动, 那么它们发出的声音是不同的。原因就是由于“拨动”或“拉动”的那 个“初始”时刻的振动情况不同,因此产生后来的振动情况也就不同。
天文学中也有类似情况,如果要通过计算预言天体的运动,必须要知道这些天体的质量, 同时除了牛顿定律的一般公式外,还必须知道我们所研究的天体系统的初始状态,就是在 某个起始时间,这些天体的分布以及它们的速度。在解决任何数学物理方程的时候,总会 有类似的附加条件。
就弦振动来说,弦振动方程只表示弦的内点的力学规律,对弦的端点就不成立,所以在弦 的两端必须给出边界条件,也就是考虑研究对象所处的边界上的物理状况。边界条件也叫 做边值问题。当然,客观实际中也还是有“没有初始条件的问题” 如定场问题(静电场、稳定浓度分布、 , 稳定温度分布等) ,也有“没有边界条件的问题” 如着重研究不靠近两端的那段弦,就抽象 , 的成为无边界的弦了。在数学上,初始条件和边界条件叫做定解条件。偏微分方程本身是表达同一类物理现象的 共性,是作为解决问题的依据;
定解条件却反映出具体问题的个性,它提出了问题的具体 情况。方程和定解条件合而为一体,就叫做定解问题。
求偏微分方程的定解问题可以先求出它的通解,然后再用定解条件确定出函数。但是一般 来说,在实际中通解是不容易求出的,用定解条件确定函数更是比较困难的。
偏微分方程的解法还可以用分离系数法,也叫做傅立叶级数;还可以用分离变数法,也叫 做傅立叶变换或傅立叶积分。分离系数法可以求解有界空间中的定解问题,分离变数法可 以求解无界空间的定解问题;也可以用拉普拉斯变换法去求解一维空间的数学物理方程的 定解。对方程实行拉普拉斯变换可以转化成常微分方程,而且初始条件也一并考虑到,解 出常微分方程后进行反演就可以了。
应该指出,偏微分方程的定解虽然有以上各种解法,但是我们不能忽视由于某些原因有许 多定解问题是不能严格解出的,只可以用近似方法求出满足实际需要的近似程度的近似 解。
常用的方法有变分法和有限差分法。变分法是把定解问题转化成变分问题,再求变分问题 的近似解;有限差分法是把定解问题转化成代数方程,然后用计算机进行计算;还有一种 更有意义的模拟法,它用另一个物理的问题实验研究来代替所研究某个物理问题的定解。虽然物理现象本质不同,但是抽象地表示在数学上是同一个定解问题,如研究某个不规则 形状的物体里的稳定温度分布问题,在数学上是拉普拉斯方程的边值问题,由于求解比较 困难,可作相应的静电场或稳恒电流场实验研究,测定场中各处的电势,从而也解决了所 研究的稳定温度场中的温度分布问题。
随着物理科学所研究的现象在广度和深度两方面的扩展,偏微分方程的应用范围更广泛。从数学自身的角度看,偏微分方程的求解促使数学在函数论、变分法、级数展开、常微分 方程、代数、微分几何等各方面进行发展。从这个角度说,偏微分方程变成了数学的中心。
篇幅有限,还有一些大的数学分支尚未介绍,比如 分析学(实分析,复分析,调和分析),随机数学等,具体到应用数学的二级分支,均未涉及到。
注:本文转载自公众号“算法与数学之美”
Copyright © 2024 妖气游戏网 www.17u1u.com All Rights Reserved