算术、初等代数、高等代数、数论、欧式几何、非欧几何、解析几何、微分几何、代数几何学、射影几何学、拓扑学、分形几何、微积分学、实变函数论、概率和数理统计、复变函数论、泛函分析、偏微分方程、常微分方程、数理逻辑、模糊数学、运筹学、计算数学、突变理论、数学物理学 初等代数 初等代数是研究数字和文字的代数运算理论和方法，更确切的说，是研究实数和复数，以及以它们为系数的多项式的代数运算理论和方法的数学分支学科。 初等代数是更古老的算术的推广和发展。在古代，当算术里积累了大量的，关于各种数量问题的解法后，为了寻求有系统的、更普遍的方法，以解决各种数量关系的问题，就产生了以解方程的原理为中心问题的初等代数。 代数是由算术演变来的，这是毫无疑问的。至于什么年代产生的代数学这门学科，就很不容易说清楚了。比如，如果你认为“代数学”是指解ax²+bx+c=0这类用符号表示的方程的技巧。那么,这种“代数学”是在十六世纪才发展起来的。 如果我们对代数符号不是要求象现在这样简练，那么，代数学的产生可上溯到更早的年代。西方人将公元前三世纪古希腊数学家藩都看作是代数学的鼻祖。而在中国，用文字来表达的代数问题出现的就更早了。 “代数”作为一个数学专有名词、代表一门数学分支在我国正式使用，最早是在1859年。那年，清代数学家里李善兰和英国人韦列亚力共同翻译了英国人棣么甘所写的一本书，译本的名称就叫做《代数学》。当然，代数的内容和方法，我国古代早就产生了，比如《九章算术》中就有方程问题。 初等代数的中心内容是解方程，因而长期以来都把代数学理解成方程的科学，数学家们也把主要精力集中在方程的研究上。它的研究方法是高度计算性的。 要讨论方程，首先遇到的一个问题是如何把实际中的数量关系组成代数式，然后根据等量关系列出方程。所以初等代数的一个重要内容就是代数式。由于事物中的数量关系的不同，大体上初等代数形成了整式、分式和根式这三大类代数式。代数式是数的化身，因而在代数中，它们都可以进行四则运算，服从基本运算定律，而且还可以进行乘方和开方两种新的运算。通常把这六种运算叫做代数运算，以区别于只包含四种运算的算术运算。 在初等代数的产生和发展的过程中，通过解方程的研究，也促进了数的概念的进一步发展，将算术中讨论的整数和分数的概念扩充到有理数的范围，使数包括正负整数、正负分数和零。这是初等代数的又一重要内容，就是数的概念的扩充。 有了有理数，初等代数能解决的问题就大大的扩充了。但是，有些方程在有理数范围内仍然没有解。于是，数的概念在一次扩充到了实数，进而又进一步扩充到了复数。 那么到了复数范围内是不是仍然有方程没有解，还必须把复数再进行扩展呢？数学家们说：不用了。这就是代数里的一个著名的定理—代数基本定理。这个定理简单地说就是n次方程有n个根。1742年12月15日瑞士数学家欧拉曾在一封信中明确地做了陈述，后来另一个数学家、德国的高斯在1799年给出了严格的证明。 把上面分析过的内容综合起来，组成初等代数的基本内容就是： 三种数——有理数、无理数、复数 三种式——整式、分式、根式 中心内容是方程——整式方程、分式方程、根式方程和方程组。 初等代数的内容大体上相当于现代中学设置的代数课程的内容，但又不完全相同。比如，严格的说，数的概念、排列和组合应归入算术的内容；函数是分析数学的内容；不等式的解法有点像解方程的方法，但不等式作为一种估算数值的方法，本质上是属于分析数学的范围；坐标法是研究解析几何的„„。这些都只是历史上形成的一种编排方法。 初等代数是算术的继续和推广，初等代数研究的对象是代数式的运算和方程的求解。代数运算的特点是只进行有限次的运算。全部初等代数总起来有十条规则。这是学习初等代数需要理解并掌握的要点。 这十条规则是： 五条基本运算律：加法交换律、加法结合律、乘法交换律、乘法结合律、分配律； 两条等式基本性质:等式两边同时加上一个数，等式不变；等式两边同时乘以一个非零的数，等式不变； 三条指数律：同底数幂相乘，底数不变指数相加；指数的乘方等于底数不变指数想乘；积的乘方等于乘方的积。 初等代数学进一步的向两个方面发展，一方面是研究未知数更多的一次方程组；另一方面是研究未知数次数更高的高次方程。这时候，代数学已由初等代数向着高等代数的方向发展了。 高等代数 初等代数从最简单的一元一次方程开始，一方面进而讨论二元及三元的一次方程组，另一方面研究二次以上及可以转化为二次的方程组。沿着这两个方向继续发展，代数在讨论任意多个未知数的一次方程组，也叫线型方程组的同时还研究次数更高的一元方程组。发展到这个阶段，就叫做高等代数。 高等代数是代数学发展到高级阶段的总称，它包括许多分支。现在大学里开设的高等代数，一般包括两部分：线性代数初步、多项式代数。 高等代数在初等代数的基础上研究对象进一步的扩充，引进了许多新的概念以及与通常很不相同的量，比如最基本的有集合、向量和向量空间等。这些量具有和数相类似的运算的特点，不过研究的方法和运算的方法都更加繁复。 集合是具有某种属性的事物的全体；向量是除了具有数值还同时具有方向的量；向量空间也叫线性空间，是由许多向量组成的并且符合某些特定运算的规则的集合。向量空间中的运算对象已经不只是数，而是向量了，其运算性质也由很大的不同了。 高等代数发展简史 代数学的历史告诉我们，在研究高次方程的求解问题上，许多数学家走过了一段颇不平坦的路途，付出了艰辛的劳动。 人们很早就已经知道了一元一次和一元二次方程的求解方法。关于三次方程，我国在公元七世纪，也已经得到了一般的近似解法，这在唐朝数学家王孝通所编的《缉古算经》就有叙述。到了十三世纪，宋代数学家秦九韶再他所著的《数书九章》这部书的“正负开方术”里，充分研究了数字高次方程的求正根法，也就是说，秦九韶那时候以得到了高次方程的一般解法。 在西方，直到十六世纪初的文艺复兴时期，才由有意大利的数学家发现一元三次方程解的公式——卡当公式。 在数学史上，相传这个公式是意大利数学家塔塔里亚首先得到的,后来被米兰地区的数学家卡尔达诺(1501～1576)骗到了这个三次方程的解的公式，并发表在自己的著作里。所以现在人们还是叫这个公式为卡尔达诺公式(或称卡当公式)，其实，它应该叫塔塔里亚公式。 三次方程被解出来后，一般的四次方程很快就被意大利的费拉里(1522～1560)解出。这就很自然的促使数学家们继续努力寻求五次及五次以上的高次方程的解法。遗憾的是这个问题虽然耗费了许多数学家的时间和精力，但一直持续了长达三个多世纪，都没有解决。 到了十九世纪初，挪威的一位青年数学家阿贝尔(1802～1829)证明了五次或五次以上的方程不可能有代数解。既这些方程的根不能用方程的系数通过加、减、乘、除、乘方、开方这些代数运算表示出来。阿贝尔的这个证明不但比较难，而且也没有回答每一个具体的方程是否可以用代数方法求解的问题。 后来，五次或五次以上的方程不可能有代数解的问题，由法国的一位青年数学家伽罗华彻底解决了。伽罗华20岁的时候，因为积极参加法国资产阶级运动，曾两次被捕入狱，1832年4月，他出狱不久，便在一次私人决斗中死去，年仅21岁。 伽罗华在临死前预料自己难以摆脱死亡的命运，所以曾连夜给朋友写信，仓促地把自己生平的数学研究心得扼要写出，并附以论文手稿。他在给朋友舍瓦利叶的信中说：“我在分析方面做出了一些新发现。有些是关于方程论的；有些是关于整函数的„„。公开请求雅可比或高斯，不是对这些定理的正确性而是对这些定理的重要性发表意见。我希望将来有人发现消除所有这些混乱对它们是有益的。” 伽罗华死后，按照他的遗愿，舍瓦利叶把他的信发表在《百科评论》中。他的论文手稿过了14年，才由刘维尔(1809～1882)编辑出版了他的部分文章，并向数学界推荐。 随着时间的推移，伽罗华的研究成果的重要意义愈来愈为人们所认识。伽罗华虽然十分年轻，但是他在数学史上做出的贡献，不仅是解决了几个世纪以来一直没有解决的高次方程的代数解的问题，更重要的是他在解决这个问题中提出了“群”的概念，并由此发展了一整套关于群和域的理论，开辟了代数学的一个崭新的天地，直接影响了代数学研究方法的变革。从此，代数学不再以方程理论为中心内容，而转向对代数结构性质的研究，促进了代数学的进一步的发展。在数学大师们的经典著作中，伽罗华的论文是最薄的，但他的数学思想却是光辉夺目的。 高等代数的基本内容 代数学从高等代数总的问题出发，又发展成为包括许多分支的一个大的数学科目，比如：多项式代数、线性代数等。代数学研究的对象，也已不仅是数，还有矩阵、向量、向量空间的变换等，对于这些对象，都可以进行运算。虽然也叫做加法或乘法，但是关于数的基本运算定律，有时不再保持有效。因此代数学的内容可以概括为研究带有运算的一些集合，在数学中把这样的一些集合叫做代数系统。比如群、环、域等。 多项式是一类最常见、最简单的函数，它的应用非常广泛。多项式理论是以代数方程的根的计算和分布作为中心问题的，也叫做方程论。研究多项式理论，主要在于探讨代数方程的性质，从而寻找简易的解方程的方法。 多项式代数所研究的内容，包括整除性理论、最大公因式、重因式等。这些大体上和中学代数里的内容相同。多项式的整除性质对于解代数方程是很有用的。解代数方程无非就是求对应多项式的零点，零点不存在的时候，所对应的代数方程就没有解。 我们知道一次方程叫做线性方程，讨论线性方程的代数就叫做线性代数。在线性代数中最重要的内容就是行列式和矩阵。 行列式的概念最早是由十七世纪日本数学家关孝和提出来的，他在1683年写了一部叫做《解伏题之法》的著作，标题的意思是“解行列式问题的方法”，书里对行列式的概念和它的展开已经有了清楚的叙述。欧洲第一个提出行列式概念的是德国的数学家莱布尼茨。德国数学家雅可比于1841年总结并提出了行列式的系统理论。 行列式有一定的计算规则，利用行列式可以把一个线性方程组的解表示成公式，因此行列式是解线性方程组的工具。行列式可以把一个线性方程组的解表示成公式，也就是说行列式代表着一个数。 因为行列式要求行数等于列数，排成的表总是正方形的，通过对它的研究又发现了矩阵的理论。矩阵也是由数排成行和列的数表，可以行数和烈数相等也可以不等。 矩阵和行列式是两个完全不同的概念，行列式代表着一个数，而矩阵仅仅是一些数的有顺序的摆法。利用矩阵这个工具，可以把线性方程组中的系数组成向量空间中的向量；这样对于一个多元线性方程组的解的情况，以及不同解之间的关系等等一系列理论上的问题，就都可以得到彻底的解决。矩阵的应用是多方面的，不仅在数学领域里，而且在力学、物理、科技等方面都十分广泛的应用。 代数学研究的对象，不仅是数，也可能是矩阵、向量、向量空间的变换等，对于这些对象，都可以进行运算，虽然也叫做加法或乘法，但是关于数的基本运算定律，有时不再保持有效。因此代数学的内容可以概括称为带有运算的一些集合，在数学中把这样的一些集合，叫做代数系统。比较重要的代数系统有群论、环论、域论。群论是研究数学和物理现象的对称性规律的有力工具。现在群的概念已成为现代数学中最重要的，具有概括性的一个数学的概念，广泛应用于其他部门。 高等代数与其他学科的关系 代数学、几何学、分析数学是数学的三大基础学科，数学的各个分支的发生和发展，基本上都是围绕着这三大学科进行的。那么代数学与另两门学科的区别在哪儿呢？ 首先，代数运算是有限次的，而且缺乏连续性的概念，也就是说，代数学主要是关于离散性的。尽管在现实中连续性和不连续性是辩证的统一的，但是为了认识现实，有时候需要把它分成几个部分，然后分别地研究认识，在综合起来，就得到对现实的总的认识。这是我们认识事物的简单但是科学的重要手段，也是代数学的基本思想和方法。代数学注意到离散关系，并不能说明这时它的缺点，时间已经多次、多方位的证明了代数学的这一特点是有效的。 其次，代数学除了对物理、化学等科学有直接的实践意义外，就数学本身来说，代数学也占有重要的地位。代数学中发生的许多新的思想和概念，大大地丰富了数学的许多分支，成为众多学科的共同基础。 数学中的皇冠——数论 人类从学会计数开始就一直和自然数打交道了，后来由于实践的需要，数的概念进一步扩充，自然数被叫做正整数，而把它们的相反数叫做负整数，介于正整数和负整数中间的中性数叫做0。它们和起来叫做整数。 对于整数可以施行加、减、乘、除四种运算，叫做四则运算。其中加法、减法和乘法这三种运算，在整数范围内可以毫无阻碍地进行。也就是说，任意两个或两个以上的整数相加、相减、相乘的时候，它们的和、差、积仍然是一个整数。但整数之间的除法在整数范围内并不一定能够无阻碍地进行。 人们在对整数进行运算的应用和研究中，逐步熟悉了整数的特性。比如，整数可分为两大类—奇数和偶数（通常被称为单数、双数）等。利用整数的一些基本性质，可以进一步探索许多有趣和复杂的数学规律，正是这些特性的魅力，吸引了古往今来许多的数学家不断地研究和探索。 数论这门学科最初是从研究整数开始的，所以叫做整数论。后来整数论又进一步发展，就叫做数论了。确切的说，数论就是一门研究整数性质的学科。 数论的发展简况 自古以来，数学家对于整数性质的研究一直十分重视，但是直到十九世纪，这些研究成果还只是孤立地记载在各个时期的算术著作中，也就是说还没有形成完整统一的学科。 自我国古代，许多著名的数学著作中都关于数论内容的论述，比如求最大公约数、勾股数组、某些不定方程整数解的问题等等。在国外，古希腊时代的数学家对于数论中一个最基本的问题——整除性问题就有系统的研究，关于质数、和数、约数、倍数等一系列概念也已经被提出来应用了。后来的各个时代的数学家也都对整数性质的研究做出过重大的贡献，使数论的基本理论逐步得到完善。 在整数性质的研究中，人们发现质数是构成正整数的基本“材料”，要深入研究整数的性质就必须研究质数的性质。因此关于质数性质的有关问题，一直受到数学家的关注。 到了十八世纪末，历代数学家积累的关于整数性质零散的知识已经十分丰富了，把它们整理加工成为一门系统的学科的条件已经完全成熟了。德国数学家高斯集中前人的大成，写了一本书叫做《算术探讨》，1800年寄给了法国科学院，但是法国科学院拒绝了高斯的这部杰作，高斯只好在1801年自己发表了这部著作。这部书开始了现代数论的新纪元。 在《算术探讨》中，高斯把过去研究整数性质所用的符号标准化了，把当时现存的定理系统化并进行了推广，把要研究的问题和意志的方法进行了分类，还引进了新的方法。 数论的基本内容 数论形成了一门的学科后，随着数学其他分支的发展，研究数论的方法也在不断发展。如果按照研究方法来说，可以分成初等数论、解析数论、代数数论和几何数论四个部分。 初等数论是数论中不求助于其他数学学科的帮助，只依靠初等的方法来研究整数性质的分支。比如中国古代有名的“中国剩余定理”，就是初等数论中很重要的内容。 解析数论是使用数学分析作为工具来解决数论问题的分支。数学分析是以函数作为研究对象的、在极限概念的基础上建立起来的数学学科。用数学分析来解决数论问题是由欧拉奠基的，数学家车比雪夫等也对它的发展做出过贡献。解析数论是解决数论中艰深问题的强有力的工具。比如，对于“质数有无限多个”这个命题，欧拉给出了解析方法的证明，其中利用了数学分析中有关无穷级数的若干知识。二十世纪三十年代，苏联数学家维诺格拉多夫创造性的提出了“三角和方法”，这个方法对于解决某些数论难题有着重要的作用。我国数学家陈景润在解决“哥德猜想”问题中也使用的是解析数论的方法。 代数数论是把整数的概念推广到代数整数的一个分支。数学家把整数概念推广到一般代数数域上去，相应地也建立了素整数、可除性等概念。 几何数论是由德国数学家、物理学家闵可夫斯基等人开创和奠基的。几何数论研究的基本对象是“空间格网”。什么是空间格网呢？在给定的直角坐标系上，坐标全是整数的点，叫做整点；全部整点构成的组就叫做空间格网。空间格网对几何学和结晶学有着重大的意义。由于几何数论涉及的问题比较复杂，必须具有相当的数学基础才能深入研究。 数论是一门高度抽象的数学学科，长期以来，它的发展处于纯理论的研究状态，它对数学理论的发展起到了积极的作用。但对于大多数人来讲并不清楚它的实际意义。 由于近代计算机科学和应用数学的发展，数论得到了广泛的应用。比如在计算方法、代数编码、组合论等方面都广泛使用了初等数论范围内的许多研究成果；又文献报道，现在有些国家应用“孙子定理”来进行测距，用原根和指数来计算离散傅立叶变换等。此外，数论的许多比较深刻的研究成果也在近似分析、差集合、快速变换等方面得到了应用。特别是现在由于计算机的发展，用离散量的计算去逼近连续量而达到所要求的精度已成为可能。 数论在数学中的地位是独特的，高斯曾经说过“数学是科学的皇后，数论是数学中的皇冠”。因此，数学家都喜欢把数论中一些悬而未决的疑难问题，叫做“皇冠上的明珠”，以鼓励人们去“摘取”。下面简要列出几颗“明珠”：费尔马大定理、孪生素数问题、歌德猜想、圆内整点问题、完全数问题„„ 在我国近代，数论也是发展最早的数学分支之一。从二十世纪三十年代开始，在解析数论、藩都方程、一致分布等方面都有过重要的贡献，出现了华罗庚、闵嗣鹤、柯召等第一流的数论专家。其中华罗庚教授在三角和估值、堆砌素数论方面的研究是享有盛名的。1949年以后，数论的研究的得到了更大的发展。特别是在“筛法”和“歌德猜想”方面的研究，已取得世界领先的优秀成绩。 特别是陈景润在1966年证明“歌德猜想”的“一个大偶数可以表示为一个素数和一个不超过两个素数的乘积之和”以后，在国际数学引起了强烈的反响，盛赞陈景润的论文是解析数学的名作，是筛法的光辉顶点。至今，这仍是“歌德猜想”的最好结果。 欧式几何 “几何”这个词在汉语里是“多少？”的意思，但在数学里“几何”的涵义就完全不同了。“几何”这个词的词义来源于希腊文，原意是土地测量，或叫测地术。 几何学和算术一样产生于实践，也可以说几何产生的历史和算术是相似的。在远古时代，人们在实践中积累了十分丰富的各种平面、直线、方、圆、长、短、款、窄、厚、薄等概念，并且逐步认识了这些概念之间、它们以及它们之间位置关系跟数量关系之间的关系，这些后来就成了几何学的基本概念。 正是生产实践的需要，原始的几何概念便逐步形成了比较粗浅的几何知识。虽然这些知识是零散的，而且大多数是经验性的，但是几何学就是建立在这些零散、经验性的、粗浅的几何知识之上的。 几何学是数学中最古老的分支之一，也是在数学这个领域里最基础的分支之一。古代中国、古巴比伦、古埃及、古印度、古希腊都是几何学的重要发源地。 大量出土文物证明，在我国的史前时期，人们已经掌握了许多几何的基本知识，看一看远古时期人们使用过的物品中那许许多多精巧的、对称的图案的绘制，一些简单设计但是讲究体积和容积比例的器皿，都足以说明当时人们掌握的几何知识是多么丰富了。 几何之所以能成为一门系统的学科，希腊学者的工作曾起了十分关键的作用。两千多年前的古希腊商业繁荣，生产比较发达，一批学者热心追求科学知识，研究几何就是最感兴趣的内容，在这里应当提及的是哲学家、几何学家柏拉图和哲学家亚里士多德对发展几何学的贡献。 柏拉图把逻辑学的思想方法引入了几何，使原始的几何知识受逻辑学的指导逐步趋向于系统和严密的方向发展。柏拉图在雅典给他的学生讲授几何学，已经运用逻辑推理的方法对几何中的一些命题作了论证。亚里士多德被公认是逻辑学的创始人，他所提出的“三段论”的演绎推理的方法，对于几何学的发展，影响更是巨大的。到今天，在初等几何学中，仍是运用三段论的形式来进行推理。 但是，尽管那时候已经有了十分丰富的几何知识，这些知识仍然是零散的、孤立的、不系统的。真正把几何总结成一门具有比较严密理论的学科的，是希腊杰出的数学家欧几里得。 欧几里得在公元前300年左右，曾经到亚历山大城教学，是一位受人尊敬的、温良敦厚的教育家。他酷爱数学，深知柏拉图的一些几何原理。他非常详尽的搜集了当时所能知道的一切几何事实，按照柏拉图和亚里士多德提出的关于逻辑推理的方法，整理成一门有着严密系统的理论，写成了数学史上早期的巨著——《几何原本》。 《几何原本》的伟大历史意义在于，它是用公理法建立起演绎的数学体系的最早典范。在这部著作里，全部几何知识都是从最初的几个假设除法、运用逻辑推理的方法展开和叙述的。也就是说，从《几何原本》发表开始，几何才真正成为了一个有着比较严密的理论系统和科学方法的学科。 欧几里得的《几何原本》 欧几里得的《几何原本》共有十三卷，其中第一卷讲三角形全等的条件，三角形边和角的大小关系，平行线理论，三角形和多角形等积（面积相等）的条件；第二卷讲如何把三角形变成等积的正方形；第三卷讲圆；第四卷讨论内接和外切多边形；第六卷讲相似多边形理论；第五、第七、第八、第九、第十卷讲述比例和算术得里论；最后讲述立体几何的内容。 从这些内容可以看出，目前属于中学课程里的初等几何的主要内容已经完全包含在《几何原本》里了。因此长期以来，人们都认为《几何原本》是两千多年来传播几何知识的标准教科书。属于《几何原本》内容的几何学，人们把它叫做欧几里得几何学，或简称为欧式几何。 《几何原本》最主要的特色是建立了比较严格的几何体系，在这个体系中有四方面主要内容，定义、公理、公设、命题（包括作图和定理）。《几何原本》第一卷列有23个定义，5条公理，5条公设。（其中最后一条公设就是著名的平行公设，或者叫做第五公设。它引发了几何史上最著名的长达两千多年的关于“平行线理论”的讨论，并最终诞生了非欧几何。） 这些定义、公理、公设就是《几何原本》全书的基础。全书以这些定义、公理、公设为依据逻辑地展开他的各个部分的。比如后面出现的每一个定理都写明什么是已知、什么是求证。都要根据前面的定义、公理、定理进行逻辑推理给予仔细证明。 关于几何论证的方法，欧几里得提出了分析法、综合法和归谬法。所谓分析法就是先假设所要求的已经得到了，分析这时候成立的条件，由此达到证明的步骤；综合法是从以前证明过的事实开始，逐步的导出要证明的事项；归谬法是在保留命题的假设下，否定结论，从结论的反面出发，由此导出和已证明过的事实相矛盾或和已知条件相矛盾的结果，从而证实原来命题的结论是正确的，也称作反证法。 欧几里得《几何原本》的诞生在几何学发展的历史中具有重要意义。它标志着几何学已成为一个有着比较严密的理论系统和科学方法的学科。 从欧几里得发表《几何原本》到现在，已经过去了两千多年，尽管科学技术日新月异，但是欧几里得几何学仍旧是中学生学习数学基础知识的好教材。 由于欧氏几何具有鲜明的直观性和有着严密的逻辑演绎方法相结合的特点，在长期的实践中表明，它巳成为培养、提高青、少年逻辑思维能力的好教材。历史上不知有多少科学家从学习几何中得到益处，从而作出了伟大的贡献。 少年时代的牛顿在剑桥大学附近的夜店里买了一本《几何原本》，开始他认为这本书的内容没有超出常识范围，因而并没有认真地去读它，而对笛卡儿的“坐标几何”很感兴趣而专心攻读。后来，牛顿于16年4月在参加特列台奖学金考试的时候遭到落选，当时的考官巴罗博士对他说：“因为你的几何基础知识太贫乏，无论怎样用功也是不行的。”这席谈话对牛顿的震动很大。于是，牛顿又重新把《几何原本》从头到尾地反复进行了深入钻研，为以后的科学工作打下了坚实的数学基础。 近代物理学的科学巨星爱因斯坦也是精通几何学，并且应用几何学的思想方法，开创自己研究工作的一位科学家。爱因斯坦在回忆自己曾走过的道路时，特别提到在十二岁的时候“几何学的这种明晰性和可靠性给我留下了一种难以形容的印象”。后来，几何学的思想方法对他的研究工作确实有很大的启示。他多次提出在物理学研究工作中也应当在逻辑上从少数几个所谓公理的基本假定开始。在狭义相对论中，爱因斯坦就是运用这种思想方法，把整个理论建立在两条公理上：相对原理和光速不变原理。 在几何学发展的历史中，欧几里得的《几何原本》起了重大的历史作用。这种作用归结到一点，就是提出了几何学的“根据”和它的逻辑结构的问题。在他写的《几何原本》中，就是用逻辑的链子由此及彼的展开全部几何学，这项工作，前人未曾作到。 但是，在人类认识的长河中，无论怎样高明的前辈和名家，都不可能把问题全部解决。由于历史条件的，欧几里得在《几何原本》中提出几何学的“根据”问题并没有得到彻底的解决，他的理论体系并不是完美无缺的。比如，对直线的定义实际上是用一个未知的定义来解释另一个未知的定义，这样的定义不可能在逻辑推理中起什么作用。又如，欧几里得在逻辑推理中使用了“连续”的概念，但是在《几何原本》中从未提到过这个概念。 现代几何公理体系 人们对《几何原本》中在逻辑结果方面存在的一些漏洞、破绽的发现，正是推动几何学不断向前发展的契机。最后德国数学家希尔伯特在总结前人工作的基础上，在他19年发表的《几何基础》一书中提出了一个比较完善的几何学的公理体系。这个公理体系就被叫做希尔伯特公理体。 希尔伯特不仅提出了—个完善的几何体系，并且还提出了建立一个公理系统的原则。就是在一个几何公理系统中，采取哪些公理，应该包含多少条公理，应当考虑如下三个方面的问题： 第一，共存性(和谐性)，就是在一个公理系统中，各条公理应该是不矛盾的，它们和谐而共存在同一系统中。 第二，性，公理体系中的每条公理应该是各自而互不依附的，没有一条公理是可以从其它公理引伸出来的。 第三，完备性，公理体系中所包含的公理应该是足够能证明本学科的任何新命题。 这种用公理系统来定义几何学中的基本对象和它的关系的研究方法，成了数学中所谓的“公理化方法”，而把欧几里得在《几何原本》提出的体系叫做古典公理法。 公理化的方法给几何学的研究带来了一个新颖的观点，在公理法理论中，由于基本对象不予定义，因此就不必探究对象的直观形象是什么，只专门研究抽象的对象之间的关系、性质。从公理法的角度看，我们可以任意地用点、线、面代表具体的事物，只要这些具体事物之间满足公理中的结合关系、顺序关系、合同关系等，使这些关系满足公理系统中所规定的要求，这就构成了几何学。 因此，凡是符合公理系统的元素都能构成几何学，每一个几何学的直观形象不止只有—个，而是可能有无穷多个，每一种直观形象我们把它叫做几何学的解释，或者叫做某种几何学的模型。平常我们所熟悉的几何图形，在研究几何学的时候，并不是必须的，它不过是一种直观形象而已。 就此，几何学研究的对象更加广泛了，几何学的含义比欧几里得时代更为抽象。这些，都对近代几何学的发展带来了深远的影响。 非欧几何学 常意义的非欧几何，就是指罗式几何和黎曼几何这两种几何。 非欧几何学是一门大的数学分支，一般来讲 ，他有广义、狭义、通常意义这三个方面的不同含义。所谓广义式泛指一切和欧几里的几何学不同的几何学，狭义的非欧几何只是指罗式几何来说的，至于通 欧几里得的《几何原本》提出了五条公设，长期以来，数学家们发现第五公设和前四个公设比较起来，显得文字叙述冗长，而且也不那么显而易见。 有些数学家还注意到欧几里得在《几何原本》一书中直到第二十九个命题中才用到，而且以后再也没有使用。也就是说，在《几何原本》中可以不依靠第五公设而推出前二十八个命题。 因此，一些数学家提出，第五公设能不能不作为公设，而作为定理？能不能依靠前四个公设来证明第五公设？这就是几何发展史上最著名的，争论了长达两千多年的关于“平行线理论”的讨论。 由于证明第五公设的问题始终得不到解决，人们逐渐怀疑证明的路子走的对不对？第五公设到底能不能证明？ 到了十九世纪二十年代，喀山大学教授罗巴切夫斯基在证明第五公设的过程中，他走了另一条路子。他提出了一个和欧式平行公理相矛盾的命题,用它来代替第五公设，然后与欧式几何的前四个公设结合成一个公理系统，展开一系列的推理。他认为如果这个系统为基础的推理中出现矛盾，就等于证明了第五公设。我们知道，这其实就是数学中的反证法。 但是，在他极为细致深入的推理过程中，得出了一个又一个在直觉上匪夷所思，但在逻辑上毫无矛盾的命题。最后，罗巴切夫斯基得出两个重要的结论： 第一，第五公设不能被证明。 第二，在新的公理体系中展开的一连串推理，得到了一系列在逻辑上无矛盾的新的定理，并形成了新的理论。这个理论像欧式几何一样是完善的、严密的几何学。 这种几何学被称为罗巴切夫斯基几何，简称罗氏几何。这是第一个被提出的非欧几何学。 从罗巴切夫斯基创立的非欧几何学中，可以得出一个极为重要的、具有普遍意义的结论：逻辑上互不矛盾的一组假设都有可能提供一种几何学。 几乎在罗巴切夫斯基创立非欧几何学的同时，匈牙利数学家鲍耶·雅诺什也发现了第五公设不可证明和非欧几何学的存在。鲍耶在研究非欧几何学的过程中也遭到了家庭、社会的冷漠对待。他的父亲——数学家鲍耶·法尔卡什认为研究第五公设是耗费精力劳而无功的蠢事，劝他放弃这种研究。但鲍耶·雅诺什坚持为发展新的几何学而辛勤工作。终于在1832年，在他的父亲的一本著作里，以附录的形式发表了研究结果。 那个时代被誉为“数学王子”的高斯也发现第五公设不能证明，并且研究了非欧几何。但是高斯害怕这种理论会遭到当时教会力量的打击和，不敢公开发表自己的研究成果，只是在书信中向自己的朋友表示了自己的看法，也不敢站出来公开支持罗巴切夫斯基、鲍耶他们的新理论。 罗式几何 罗式几何学的公理系统和欧式几何学不同的地方仅仅是把欧式几何平行公理用“从直线外一点，至少可以做两条直线和这条直线平行”来代替，其他公理基本相同。由于平行公理不同，经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。 我们知道，罗式几何除了一个平行公理之外采用了欧式几何的一切公理。因此，凡是不涉及到平行公理的几何命题，在欧式几何中如果是正确的，在罗式几何中也同样是正确的。在欧式几何中，凡涉及到平行公理的命题，再罗式几何中都不成立，他们都相应地含有新的意义。下面举几个例子加以说明： 欧式几何 同一直线的垂线和斜线相交。 垂直于同一直线的两条直线或向平行。 存在相似的多边形。 过不在同一直线上的三点可以做且仅能做一个圆。 罗式几何 同一直线的垂线和斜线不一定相交。 垂直于同一直线的两条直线，当两端延长的时候，离散到无穷。 不存在相似的多边形。 过不在同一直线上的三点，不一定能做一个圆。 从上面所列举得罗式几何的一些命题可以看到，这些命题和我们所习惯的直观形象有矛盾。所以罗式几何中的一些几何事实没有象欧式几何那样容易被接受。但是，数学家们经过研究，提出可以用我们习惯的欧式几何中的事实作一个直观“模型”来解释罗式几何是正确的。 1868年，意大利数学家贝特拉米发表了一篇著名论文《非欧几何解释的尝试》，证明非欧几何可以在欧几里得空间的曲面（例如拟球曲面）上实现。这就是说，非欧几何命题可以“翻译”成相应的欧几里得几何命题，如果欧几里得几何没有矛盾，非欧几何也就自然没有矛盾。 人们既然承认欧几里是没有矛盾的，所以也就自然承认非欧几何没有矛盾了。直到这时，长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究，罗巴切夫斯基的独创性研究也就由此得到学术界的高度评价和一致赞美，他本人则被人们赞誉为“几何学中的哥白尼”。 黎曼几何 欧氏几何与罗氏几何中关于结合公理、顺序公理、连续公理及合同公理都是相同的，只是平行公理不一样。欧式几何讲“过直线外一点有且只有一条直线与已知直线平行”。罗氏几何讲“过直线外一点至少存在两条直线和已知直线平行”。那么是否存在这样的几何“过直线外一点，不能做直线和已知直线平行”？黎曼几何就回答了这个问题。 黎曼几何是德国数学家黎曼创立的。他在1851年所作的一篇论文《论几何学作为基础的假设》中明确的提出另一种几何学的存在，开创了几何学的一片新的广阔领域。 黎曼几何中的一条基本规定是：在同一平面内任何两条直线都有公共点(交点)。在黎曼几何学中不承认平行线的存在，它的另一条公设讲：直线可以无限演唱，但总的长度是有限的。黎曼几何的模型是一个经过适当“改进”的球面。 近代黎曼几何在广义相对论里得到了重要的应用。在物理学家爱因斯坦的广义相对论中的空间几何就是黎曼几何。在广义相对论里，爱因斯坦放弃了关于时空均匀性的观念，他认为时空只是在充分小的空间里以一种近似性而均匀的，但是整个时空却是不均匀的。在物理学中的这种解释，恰恰是和黎曼几何的观念是相似的。 此外，黎曼几何在数学中也是一个重要的工具。它不仅是微分几何的基础，也应用在微分方程、变分法和复变函数论等方面。 三种几何的关系 欧氏几何、罗氏几何、黎曼几何是三种各有区别的几何。这三中几何各自所有的命题都构成了一个严密的公理体系，各公理之间满足和谐性、完备性和性。因此这三种几何都是正确的。 在我们这个不大不小、不远不近的空间里，也就是在我们的日常生活中，欧式几何是适用的；在宇宙空间中或原子核世界，罗氏几何更符合客观实际；在地球表面研究航海、航空等实际问题中，黎曼几何更准确一些。 坐标法—解析几何 十六世纪以后，由于生产和科学技术的发展，天文、力学、航海等方面都对几何学提出了新的需要。比如，德国天文学家开普勒发现行星是绕着太阳沿着椭圆轨道运行的，太阳处在这个椭圆的一个焦点上；意大利科学家伽利略发现投掷物体试验着抛物线运动的。这些发现都涉及到圆锥曲线，要研究这些比较复杂的曲线，原先的一套方法显然已经不适应了，这就导致了解析几何的出现。 1637年，法国的哲学家和数学家笛卡尔发表了他的著作《方》，这本书的后面有三篇附录，一篇叫《折光学》，一篇叫《流星学》，一篇叫《几何学》。当时的这个“几何学”实际上指的是数学，就像我国古代“算术”和“数学”是一个意思一样。 笛卡尔的《几何学》共分三卷，第一卷讨论尺规作图；第二卷是曲线的性质；第三卷是立体和“超立体”的作图，但他实际是代数问题，探讨方程的根的性质。后世的数学家和数学史学家都把笛卡尔的《几何学》作为解析几何的起点。 从笛卡尔的《几何学》中可以看出，笛卡尔的中心思想是建立起一种“普遍”的数学，把算术、代数、几何统一起来。他设想，把任何数学问题化为一个代数问题，在把任何代数问题归结到去解一个方程式。 为了实现上述的设想，笛卡尔茨从天文和地理的经纬制度出发，指出平面上的点和实数对(x,y)的对应关系。x,y的不同数值可以确定平面上许多不同的点，这样就可以用代数的方法研究曲线的性质。这就是解析几何的基本思想。 具体地说，平面解析几何的基本思想有两个要点：第一，在平面建立坐标系，一点的坐标与一组有序的实数对相对应；第二，在平面上建立了坐标系后，平面上的一条曲线就可由带两个变数的一个代数方程来表示了。从这里可以看到，运用坐标法不仅可以把几何问题通过代数的方法解决，而且还把变量、函数以及数和形等重要概念密切联系了起来。 解析几何的产生并不是偶然的。在笛卡尔写《几何学》以前，就有许多学者研究过用两条相交直线作为一种坐标系；也有人在研究天文、地理的时候，提出了一点位置可由两个“坐标”（经度和纬度）来确定。这些都对解析几何的创建产生了很大的影响。 在数学史上，一般认为和笛卡尔同时代的法国业余数学家费尔马也是解析几何的创建者之一，应该分享这门学科创建的荣誉。 费尔马是一个业余从事数学研究的学者，对数论、解析几何、概率论三个方面都有重要贡献。他性情谦和，好静成癖，对自己所写的“书”无意发表。但从他的通信中知道，他早在笛卡尔发表《几何学》以前，就已写了关于解析几何的小文，就已经有了解析几何的思想。只是直到1679年，费尔马死后，他的思想和著述才从给友人的通信中公开发表。 笛卡尔的《几何学》，作为一本解析几何的书来看，是不完整的，但重要的是引入了新的思想，为开辟数学新园地做出了贡献。 解析几何的基本内容 在解析几何中，首先是建立坐标系。如上图，取定两条相互垂直的、具有一定方向和度量单位的直线，叫做平面上的一个直角坐标系oxy。利用坐标系可以把平面内的点和一对实数(x,y)建立起一一对应的关系。除了直角坐标系外，还有斜坐标系、极坐标系、空间直角坐标系等等。在空间坐标系中还有球坐标和柱面坐标。 坐标系将几何对象和数、几何关系和函数之间建立了密切的联系，这样就可以对空间形式的研究归结成比较成熟也容易驾驭的数量关系的研究了。用这种方法研究几何学，通常就叫做解析法。这种解析法不但对于解析几何是重要的，就是对于几何学的各个分支的研究也是十分重要的。 解析几何的创立，引入了一系列新的数学概念，特别是将变量引入数学，使数学进入了一个新的发展时期，这就是变量数学的时期。解析几何在数学发展中起了推动作用。恩格斯对此曾经作过评价“数学中的转折点是笛卡尔的变数，有了变书，运动进入了数学；有了变数，辩证法进入了数学；有了变数，微分和积分也就立刻成为必要的了，„„” 解析几何的应用 解析几何又分作平面解析几何和空间解析几何。 在平面解析几何中，除了研究直线的有关直线的性质外，主要是研究圆锥曲线（圆、椭圆、抛物线、双曲线）的有关性质。 在空间解析几何中，除了研究平面、直线有关性质外，主要研究柱面、锥面、旋转曲面。 椭圆、双曲线、抛物线的有些性质，在生产或生活中被广泛应用。比如电影放映机的聚光灯泡的反射面是椭圆面，灯丝在一个焦点上，影片门在另一个焦点上；探照灯、聚光灯、太阳灶、雷达天线、卫星的天线、射电望远镜等都是利用抛物线的原理制成的。 总的来说，解析几何运用坐标法可以解决两类基本问题：一类是满足给定条件点的轨迹，通过坐标系建立它的方程；另一类是通过方程的讨论，研究方程所表示的曲线性质。 运用坐标法解决问题的步骤是：首先在平面上建立坐标系，把已知点的轨迹的几何条件“翻译”成代数方程；然后运用代数工具对方程进行研究；最后把代数方程的性质用几何语言叙述，从而得到原先几何问题的答案。 坐标法的思想促使人们运用各种代数的方法解决几何问题。先前被看作几何学中的难题，一旦运用代数方法后就变得平淡无奇了。坐标法对近代数学的机械化证明也提供了有力的工具。 微积分学微积分学是微分学和积分学的总称。 的概念后，就有可能把运动现象用数学来加以描述了。 客观世界的一切事物，小至粒子，大至宇宙，始终都在运动和变化着。因此在数学中引入了变量 由于函数概念的产生和运用的加深，也由于科学技术发展的需要，一门新的数学分支就继解析几何之后产生了，这就是微积分学。微积分学这门学科在数学发展中的地位是十分重要的，可以说它是继欧氏几何后，全部数学中的最大的一个创造。 微积分学的建立 从微积分成为一门学科来说，是在十七世纪，但是，微分和积分的思想在古代就已经产生了。 公元前三世纪，古希腊的阿基米德在研究解决抛物弓形的面积、球和球冠面积、螺线下面积和旋转双曲体的体积的问题中，就隐含着近代积分学的思想。作为微分学基础的极限理论来说，早在古代以有比较清楚的论述。比如我国的庄周所著的《庄子》一书的“天下篇”中，记有“一尺之棰，日取其半，万世不竭”。三国时期的刘徽在他的割圆术中提到“割之弥细，所失弥小，割之又割，以至于不可割，则与圆周和体而无所失矣。”这些都是朴素的、也是很典型的极限概念。 到了十七世纪，有许多科学问题需要解决，这些问题也就成了促使微积分产生的因素。归结起来，大约有四种主要类型的问题：第一类是研究运动的时候直接出现的，也就是求即时速度的问题。第二类问题是求曲线的切线的问题。第三类问题是求函数的最大值和最小值问题。第四类问题是求曲线长、曲线围成的面积、曲面围成的体积、物体的重心、一个体积相当大的物体作用于另一物体上的引力。 十七世纪的许多著名的数学家、天文学家、物理学家都为解决上述几类问题作了大量的研究工作，如法国的费尔玛、笛卡尔、罗伯瓦、笛沙格；英国的巴罗、瓦里士；德国的开普勒；意大利的卡瓦列利等人都提出许多很有建树的理论。为微积分的创立做出了贡献。 十七世纪下半叶，在前人工作的基础上，英国大科学家牛顿和德国数学家莱布尼茨分别在自己的国度里独自研究和完成了微积分的创立工作，虽然这只是十分初步的工作。他们的最大功绩是把两个貌似毫不相关的问题联系在一起，一个是切线问题（微分学的中心问题），一个是求积问题(积分学的中心问题)。 牛顿和莱布尼茨建立微积分的出发点是直观的无穷小量，因此这门学科早期也称为无穷小分析，这正是现在数学中分析学这一大分支名称的来源。牛顿研究微积分着重于从运动学来考虑，莱布尼茨却是侧重于几何学来考虑的。 牛顿在1671年写了《流数法和无穷级数》，这本书直到1736年才出版，它在这本书里指出，变量是由点、线、面的连续运动产生的，否定了以前自己认为的变量是无穷小元素的静止集合。他把连续变量叫做流动量，把这些流动量的导数叫做流数。牛顿在流数术中所提出的中心问题是：已知连续运动的路径，求给定时刻的速度（微分法）；已知运动的速度求给定时间内经过的路程(积分法)。 德国的莱布尼茨是一个博才多学的学者，1684年，他发表了现在世界上认为是最早的微积分文献，这篇文章有一个很长而且很古怪的名字《一种求极大极小和切线的新方法，它也适用于分式和无理量，以及这种新方法的奇妙类型的计算》。就是这样一片说理也颇含糊的文章，却有划时代的意义。他以含有现代的微分符号和基本微分法则。1686年，莱布尼茨发表了第一篇积分学的文献。他是历史上最伟大的符号学者之一，他所创设的微积分符号，远远优于牛顿的符号，这对微积分的发展有极大的影响。现在我们使用的微积分通用符号就是当时莱布尼茨精心选用的。 微积分学的创立，极大地推动了数学的发展，过去很多初等数学束手无策的问题，运用微积分，往往迎刃而解，显示出微积分学的非凡威力。 前面已经提到，一门科学的创立决不是某一个人的业绩，他必定是经过多少人的努力后，在积累了大量成果的基础上，最后由某个人或几个人总结完成的。微积分也是这样。 不幸的事，由于人们在欣赏微积分的宏伟功效之余，在提出谁是这门学科的创立者的时候，竟然引起了一场悍然大波，造成了欧洲的数学家和英国数学家的长期对立。英国数学在一个时期里闭关锁国，囿于民族偏见，过于拘泥在牛顿的“流数术”中停步不前，因而数学发展整整落后了一百年。 其实，牛顿和莱布尼茨分别是自己研究，在大体上相近的时间里先后完成的。比较特殊的是牛顿创立微积分要比莱布尼词早10年左右，但是整是公开发表微积分这一理论，莱布尼茨却要比牛顿发表早三年。他们的研究各有长处，也都各有短处。那时候，由于民族偏见，关于发明优先权的争论竟从1699年始延续了一百多年。 应该指出，这是和历史上任何一项重大理论的完成都要经历一段时间一样，牛顿和莱布尼茨的工作也都是很不完善的。他们在无穷和无穷小量这个问题上，其说不一，十分含糊。牛顿的无穷小量，有时候是零，有时候不是零而是有限的小量；莱布尼茨的也不能自圆其说。这些基础方面的缺陷，最终导致了第二次数学危机的产生。 直到１９世纪初，法国科学学院的科学家以柯西为首，对微积分的理论进行了认真研究，建立了极限理论，後来又经过德国数学家维尔斯特拉斯进一步的严格化，使极限理论成为了微积分的坚定基础。才使微积分进一步的发展开来。 任何新兴的、具有无量前途的科学成就都吸引着广大的科学工作者。在微积分的历史上也闪烁着这样的一些明星：瑞士的雅科布·贝努利和他的兄弟约翰·贝努利、欧拉、法国的拉格朗日、科西„„ 欧氏几何也好，上古和中世纪的代数学也好，都是一种常量数学，微积分才是真正的变量数学，是数学中的大。微积分是高等数学的主要分支，不只是局限在解决力学中的变速问题，它驰骋在近代和现代科学技术园地里，建立了数不清的丰功伟绩。 微积分的基本内容 研究函数，从量的方面研究事物运动变化是微积分的基本方法。这种方法叫做数学分析。 本来从广义上说，数学分析包括微积分、函数论等许多分支学科，但是现在一般已习惯于把数学分析和微积分等同起来，数学分析成了微积分的同义词，一提数学分析就知道是指微积分。微积分的基本概念和内容包括微分学和积分学。 微分学的主要内容包括：极限理论、导数、微分等。 积分学的主要内容包括：定积分、不定积分等。 微积分是与应用联系着发展起来的，最初牛顿应用微积分学及微分方程为了从万有引力定律导出了开普勒行星运动三定律。此后，微积分学极大的推动了数学的发展，同时也极大的推动了天文学、力学、物理学、化学、生物学、工程学、经济学等自然科学、社会科学及应用科学各个分支中的发展。并在这些学科中有越来越广泛的应用，特别是计算机的出现更有助于这些应用的不断发展。 数理逻辑数理逻辑的产生 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 利用计算的方法来代替人们思维中的逻辑推理过程，这种想法早在十七世纪就有人提出过。莱布尼茨就曾经射向果能不能创造一种“通用的科学语言”，可以把推理过程象数学一样利用公式来进行计算，从而得出正确的结论。由于当时的社会条件，他的想法并没有实现。但是它的思想却是现代数理逻辑部分内容的萌芽，从这个意义上讲，莱布尼茨的思想可以说是数理逻辑的先驱。 1847年，英国数学家布尔发表了《逻辑的数学分析》，建立了“布尔代数”，并创造一套符号系统，利用符号来表示逻辑中的各种概念。布尔建立了一系列的运算法则，利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础。 十九世纪末二十世纪初，数理逻辑有了比较大的发展，1884年，德国数学家弗雷格出版了《数论的基础》一书，在书中引入量词的符号，使得数理逻辑的符号系统更加完备。对建立这门学科做出贡献的，还有美国人皮尔斯，他也在著作中引入了逻辑符号。从而使现代数理逻辑最基本的理论基础逐步形成，成为一门的学科。 数理逻辑的内容 数理逻辑包括哪些内容呢？这里我们先介绍它的两个最基本的也是最重要的组成部分，就是“命题演算”和“谓词演算”。 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。 如果我们把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词看作运算符号，就象代数中的“加、减、乘、除”那样，那么由简单命题组成复和命题的过程，就可以当作逻辑运算的过程，也就是命题的演算。 这样的逻辑运算也同代数运算一样具有一定的性质，满足一定的运算规律。例如满足交换律、结合律、分配律，同时也满足逻辑上的同一律、吸收律、双否定律、狄摩根定律、三段论定律等等。利用这些定律，我们可以进行逻辑推理，可以简化复和命题，可以推证两个复合命题是不是等价，也就是它们的真值表是不是完全相同等等。 命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑费，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。 逻辑代数的运算特点如同电路分析中的开和关、高电位和低电位、导电和截至等现象完全一样，都只有两种不同的状态，因此，它在电路分析中得到广泛的应用。 利用电子元件可以组成相当于逻辑加、逻辑成和逻辑非的门电路，就是逻辑元件。还能把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当的组合来实现，从而使电子元件具有逻辑判断的功能。因此，在自动控制方面有重要的应用。 谓词演算也叫做命题涵项演算。在谓词演算里，把命题的内部结构分析成具有主词和谓词的逻辑形式，由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。 命题涵项就是指除了含有常项以外还含有变项的逻辑公式。常项是指一些确定的对象或者确定的属性和关系；变项是指一定范围内的任何一个，这个范围叫做变项的变域。命题涵项和命题演算不同，它无所谓真和假。如果以一定的对象概念代替变项，那么命题涵项就成为真的或假的命题了。 命题涵项加上全程量词或者存在量词，那么它就成为全称命题或者特称命题了。 数理逻辑的发展 数理逻辑这门学科建立以后，发展比较迅速，促进它发展的因素也是多方面的。比如，非欧几何的建立，促进人们去研究非欧几何和欧氏几何的无矛盾性，就促进了数理逻辑的发展。 集合论的产生是近代数学发展的重大事件，但是在集合论的研究过程中，出现了一次称作数学史上的第三次大危机。这次危机是由于发现了集合论的悖论引起。什么是悖论呢？悖论就是逻辑矛盾。集合论本来是论证很严格的一个分支，被公认为是数学的基础。 1903年，英国唯心主义哲学家、逻辑学家、数学家罗素却对集合论提出了以他名字命名的“罗素悖论”，这个悖论的提出几乎动摇了整个数学基础。 罗素悖论中有许多例子，其中一个很通俗也很有名的例子就是“理发师悖论”：某乡村有一位理发师，有一天他宣布：只给不自己刮胡子的人刮胡子。那么就产生了一个问题：理发师究竟给不给自己刮胡子？如果他给自己刮胡子，他就是自己刮胡子的人，按照他的原则，他又不该给自己刮胡子；如果他不给自己刮胡子，那么他就是不自己刮胡子的人，按照他的原则，他又应该给自己刮胡子。这就产生了矛盾。 悖论的提出，促使许多数学家去研究集合论的无矛盾性问题，从而产生了数理逻辑的一个重要分支—公理集合论。 非欧几何的产生和集合论的悖论的发现，说明数学本身还存在许多问题，为了研究数学系统的无矛盾性问题，需要以数学理论体系的概念、命题、证明等作为研究对象，研究数学系统的逻辑结构和证明的规律，这样又产生了数理逻辑的另一个分支—证明论。 数理逻辑新近还发展了许多新的分支，如递归论、模型论等。第归论主要研究可计算性的理论，他和计算机的发展和应用有密切的关系。模型论主要是研究形式系统和数学模型之间的关系。 数理逻辑近年来发展特别迅速，主要原因是这门学科对于数学其它分支如集合论、数论、代数、拓扑学等的发展有重大的影响，特别是对新近形成的计算机科学的发展起了推动作用。反过来，其他学科的发展也推动了数理逻辑的发展。 正因为它是以门新近兴起而又发展很快的学科，所以它本身也存在许多问题有待于深入研究。现在许多数学家正针对数理逻辑本身的问题，进行研究解决。 总之，这门学科的重要性已经十分明显，他已经引起了更多人的关心和重视。 拓扑学 几何拓扑学是十九世纪形成的一门数学分支，它属于几何学的范畴。有关拓扑学的一些内容早在十八世纪就出现了。那时候发现一些孤立的问题，后来在拓扑学的形成中占着重要的地位。 在数学上，关于哥尼斯堡七桥问题、多面体的欧拉定理、四色问题等都是拓扑学发展史的重要问题。 哥尼斯堡（今俄罗斯加里宁格勒）是东普鲁士的首都，普莱格尔河横贯其中。十八世纪在这条河上建有七座桥，将河中间的两个岛和河岸联结起来。人们闲暇时经常在这上边散步，一天有人提出：能不能每座桥都只走一遍，最后又回到原来的位置。这个问题看起来很简单有很有趣的问题吸引了大家，很多人在尝试各种各样的走法，但谁也没有做到。看来要得到一个明确、理想的答案还不那么容易。 1736年，有人带着这个问题找到了当时的大数学家欧拉，欧拉经过一番思考，很快就用一种独特的方法给出了解答。欧拉把这个问题首先简化，他把两座小岛和河的两岸分别看作四个点，而把七座桥看作这四个点之间的连线。那么这个问题就简化成，能不能用一笔就把这个图形画出来。经过进一步的分析，欧拉得出结论——不可能每座桥都走一遍，最后回到原来的位置。并且给出了所有能够一笔画出来的图形所应具有的条件。这是拓扑学的“先声”。 在拓扑学的发展历史中，还有一个著名而且重要的关于多面体的定理也和欧拉有关。这个定理内容是：如果一个凸多面体的顶点数是v、棱数是e、面数是f，那么它们总有这样的关系：f+v-e=2。 根据多面体的欧拉定理，可以得出这样一个有趣的事实：只存在五种正多面体。它们是正四面体、正六面体、正八面体、正十二面体、正二十面体。 著名的“四色问题”也是与拓扑学发展有关的问题。四色问题又称四色猜想，是世界近代三大数学难题之一。 四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。” 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理。但后来数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久，泰勒的证明也被人们否定了。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。 进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明方法。 上面的几个例子所讲的都是一些和几何图形有关的问题，但这些问题又与传统的几何学不同，而是一些新的几何概念。这些就是“拓扑学”的先声。 什么是拓扑学？ 拓扑学的英文名是Topology，直译是地志学，也就是和研究地形、地貌相类似的有关学科。我国早期曾经翻译成“形势几何学”、“连续几何学”、“一对一的连续变换群下的几何学”，但是，这几种译名都不大好理解，1956年统一的《数学名词》把它确定为拓扑学，这是按音译过来的。 拓扑学是几何学的一个分支，但是这种几何学又和通常的平面几何、立体几何不同。通常的平面几何或立体几何研究的对象是点、线、面之间的位置关系以及它们的度量性质。拓扑学对于研究对象的长短、大小、面积、体积等度量性质和数量关系都无关。 举例来说，在通常的平面几何里，把平面上的一个图形搬到另一个图形上，如果完全重合，那么这两个图形叫做全等形。但是，在拓扑学里所研究的图形，在运动中无论它的大小或者形状都发生变化。在拓扑学里没有不能弯曲的元素，每一个图形的大小、形状都可以改变。例如，前面讲的欧拉在解决哥尼斯堡七桥问题的时候，他画的图形就不考虑它的大小、形状，仅考虑点和线的个数。这些就是拓扑学思考问题的出发点。 拓扑性质有那些呢？首先我们介绍拓扑等价，这是比较容易理解的一个拓扑性质。 在拓扑学里不讨论两个图形全等的概念，但是讨论拓扑等价的概念。比如，尽管圆和方形、三角形的形状、大小不同，在拓扑变换下，它们都是等价图形。左图的三样东西就是拓扑等价的，换句话讲，就是从拓扑学的角度看，它们是完全一样的。 在一个球面上任选一些点用不相交的线把它们连接起来，这样球面就被这些线分成许多块。在拓扑变换下，点、线、块的数目仍和原来的数目一样，这就是拓扑等价。一般地说，对于任意形状的闭曲面，只要不把曲面撕裂或割破，他的变换就是拓扑变幻，就存在拓扑等价。 应该指出，环面不具有这个性质。比如像左图那样，把环面切开，它不至于分成许多块，只是变成一个弯曲的圆桶形，对于这种情况，我们就说球面不能拓扑的变成环面。所以球面和环面在拓扑学中是不同的曲面。 直线上的点和线的结合关系、顺序关系，在拓扑变换下不变，这是拓扑性质。在拓扑学中曲线和曲面的闭合性质也是拓扑性质。 我们通常讲的平面、曲面通常有两个面，就像一张纸有两个面一样。但德国数学家莫比乌斯(1790～1868)在1858年发现了莫比乌斯曲面。这种曲面就不能用不同的颜色来涂满两个侧面。 拓扑变换的不变性、不变量还有很多，这里不在介绍。 拓扑学建立后，由于其它数学学科的发展需要，它也得到了迅速的发展。特别是黎曼创立黎曼几何以后，他把拓扑学概念作为分析函数论的基础，更加促进了拓扑学的进展。 二十世纪以来，集合论被引进了拓扑学，为拓扑学开拓了新的面貌。拓扑学的研究就变成了关于任意点集的对应的概念。拓扑学中一些需要精确化描述的问题都可以应用集合来论述。 因为大量自然现象具有连续性，所以拓扑学具有广泛联系各种实际事物的可能性。通过拓扑学的研究，可以阐明空间的集合结构，从而掌握空间之间的函数关系。本世纪三十年代以后，数学家对拓扑学的研究更加深入，提出了许多全新的概念。比如，一致性结构概念、抽象距概念和近似空间概念等等。有一门数学分支叫做微分几何，是用微分工具来研究取线、曲面等在一点附近的弯曲情况，而拓扑学是研究曲面的全局联系的情况，因此，这两门学科应该存在某种本质的联系。1945年，美籍中国数学家陈省身建立了代数拓扑和微分几何的联系，并推进了整体几何学的发展。 拓扑学发展到今天，在理论上已经十分明显分成了两个分支。一个分支是偏重于用分析的方法来研究的，叫做点集拓扑学，或者叫做分析拓扑学。另一个分支是偏重于用代数方法来研究的，叫做代数拓扑。现在，这两个分支又有统一的趋势。 拓扑学在泛函分析、李群论、微分几何、微分方程额其他许多数学分支中都有广泛的应用。 代 数 几 何 空间的概念复我们来说是熟悉的。我们生活的空间是包含在上下、前后、左右之中的。如果需要描述我们所处的空间中的某一位置，就需要用三个方向来表示，这个意思也就是说空间是“三维”的。 在数学中经常用到“空间”这个概念，它指的范围很广，一般指某种对象（现象、状况、图形、函数等）的任意集合，只要其中说明了“距离”或“邻域”的概念就可以了。而所谓“维”的概念，如果我们所谈到的只是简单的几何图形，如点、线、三角形和多边形„„，那么理解维的概念并不困难：点的维数是零；一条线段的维数是一；一个三角形的维数是二；一个立方体内所有点的集合的是三维的。 如果把维度的概念扩充到任意点集合上去的时候，维的概念就不那么容易理解了。比如，什么是四维空间呢？关于四维空间，我国古代有一些说法是很有意思的。最典型的就是对于“宇宙”两字的解释，古人的说法是“四方上下曰宇，古往今来曰宙”，用现在的话说就是，四维空间是在三维空间的基础上再加上时间维作为并列的第四个坐标。 爱因斯坦认为每一瞬间三维空间中的所有实物在占有一定的位置就是四维的。比如我们所住的房子，就是由长度、宽度、高度、和时间制约的。所谓时间制约就是从盖房的时候算起，直到最后房子倒塌为止。 根据上边的说法，几何学和其它科学研究的 n维空间的概念，就可以理解成由空间的点的 n个坐标决定。这个空间的图形就定义成满足这个或那个条件的点的轨迹。一般来说，某个图形由 n个条件给出，那么这个图形就是某个 n维的点。至于这个图形到底是什么形象，我们是否能想象得出来，对数学来说是无关紧要的。 几何学中的“维”的概念，实际上就是构成空间的基本元素，也就是点的活动的自由度，或者说是点的坐标。所谓 n维空间，经常是用来表示超出通常的几何直观范围的数学概念的一种几何语言。 从上面的介绍可以看出，几何中的元素可用代数中的是数来表示，代数问题如果通过几何的语言给与直观的描述，有时候可以给代数问题提示适当的解法。比如解三元一次方程组，就可以认为是求解三个平面的交点问题。 代数几何学的内容 用代数的方法研究几何的思想，在继出现解析几何之后，又发展为几何学的另一个分支，这就是代数几何。代数几何学研究的对象是平面的代数曲线、空间的代数曲线和代数曲面。 代数几何学的兴起，主要是源于求解一般的多项式方程组，开展了由这种方程组的解答所构成的空间，也就是所谓代数簇的研究。解析几何学的出发点是引进了坐标系来表示点的位置，同样，对于任何一种代数簇也可以引进坐标，因此，坐标法就成为研究代数几何学的一个有力的工具。 代数几何的研究是从19世纪上半叶关于三次或更高次的平面曲线的研究开始的。例如，阿贝尔在关于椭圆积分的研究中，发现了椭圆函数的双周期性，从而奠定了椭圆曲线理论基础。 黎曼1857年引入并发展了代数函数论，从而使代数曲线的研究获得了一个关键性的突破。黎曼把他的函数定义在复数平面的某种多层复迭平面上，从而引入了所谓黎曼曲面的概念。运用这个概念，黎曼定义了代数曲线的一个最重要的数值不变量：亏格。这也是代数几何历史上出现的第一个绝对不变量。 在黎曼之后，德国数学家诺特等人用几何方法获得了代数曲线的许多深刻的性质。诺特还对代数曲面的性质进行了研究。他的成果给以后意大利学派的工作建立了基础。 从19世纪末开始，出现了以卡斯特尔诺沃、恩里奎斯和塞维里为代表的意大利学派以及以庞加莱、皮卡和莱夫谢茨为代表的法国学派。他们对复数域上的低维代数簇的分类作了许多非常重要的工作，特别是建立了被认为是代数几何中最漂亮的理论之一的代数曲面分类理论。但是由于早期的代数几何研究缺乏一个严格的理论基础，这些工作中存在不少漏洞和错误，其中个别漏洞直到目前还没有得到弥补。 20世纪以来代数几何最重要的进展之一是它在最一般情形下的理论基础的建立。20世纪30年代，扎里斯基和范·德·瓦尔登等首先在代数几何研究中引进了交换代数的方法。在此基础上，韦伊在40年代利用抽象代数的方法建立了抽象域上的代数几何理论，然后20世纪50年代中期，法国数学家塞尔把代数簇的理论建立在层的概念上，并建立了凝聚层的上同调理论，这个为格罗腾迪克随后建立概型理论奠定了基础。概型理论的建立使代数几何的研究进入了一个全新的阶段。 代数几何学中要证明的定理多半是纯几何的，在论证中虽然使用坐标法，但是采用坐标法多建立在射影坐标系的基础上。 在解析几何中，主要是研究一次曲线和曲面、二次曲线和曲面。而在代数几何中主要是研究三次、四次的曲线和曲面以及它们的分类，继而过渡到研究任意的代数流形。 代数几何与数学的许多分支学科有着广泛的联系，如数论、解析几何、微分几何、交换代数、代数群、拓扑学等。代数几何的发展和这些学科的发展起着相互促进的作用。同时，作为一门理论学科，代数几何的应用前景也开始受到人们的注意，其中的一个显著的例子是代数几何在控制论中的应用。 近年来，人们在现代粒子物理的最新的超弦理论中已广泛应用代数几何工具，这预示着抽象的代数几何学将对现代物理学的发展发挥重要的作用。 分 形 几 何 学 普通几何学研究的对象，一般都具有整数的维数。比如，零维的点、一维的线、二维的面、三维的立体、乃至四维的时空。最近十几年的，产生了新兴的分形几何学，空间具有不一定是整数的维，而存在一个分数维数，这是几何学的新突破，引起了数学家和自然科学者的极大关注。 分形几何的产生 客观自然界中许多事物，具有自相似的“层次”结构，在理想情况下，甚至具有无穷层次。适当的放大或缩小几何尺寸，整个结构并不改变。不少复杂的物理现象，背后就是反映着这类层次结构的分形几何学。 客观事物有它自己的特征长度，要用恰当的尺度去测量。用尺来测量万里长城，嫌太短；用尺来测量大肠杆菌，又嫌太长。从而产生了特征长度。还有的事物没有特征尺度，就必须同时考虑从小到大的许许多多尺度（或者叫标度），这叫做“无标度性”的问题。 如物理学中的湍流，湍流是自然界中普遍现象，小至静室中缭绕的轻烟，巨至木星大气中的涡流，都是十分紊乱的流体运动。流体宏观运动的能量，经过大、中、小、微等许许多度尺度上的漩涡，最后转化成分子尺度上的热运动，同时涉及大量不同尺度上的运动状态，就要借助“无标度性”解决问题，湍流中高漩涡区域，就需要用分形几何学。 在二十世纪七十年代，法国数学家曼德尔勃罗特在他的著作中探讨了英国的海岸线有多长？这个问题这依赖于测量时所使用的尺度。 如果用公里作测量单位，从几米到几十米的一些曲折会被忽略；改用米来做单位，测得的总长度会增加，但是一些厘米量级以下的就不能反映出来。由于涨潮落潮使海岸线的水陆分界线具有各种层次的不规则性。海岸线在大小两个方向都有自然的，取不列颠岛外缘上几个突出的点，用直线把它们连起来，得到海岸线长度的一种下界。使用比这更长的尺度是没有意义的。还有海沙石的最小尺度是原子和分子，使用更小的尺度也是没有意义的。在这两个自然限度之间，存在着可以变化许多个数量级的“无标度”区，长度不是海岸线的定量特征，就要用分维。 数学家寇赫从一个正方形的“岛”出发，始终保持面积不变，把它的“海岸线”变成无限曲线，其长度也不断增加，并趋向于无穷大。以后可以看到，分维才是“寇赫岛”海岸线的确切特征量，即海岸线的分维均介于1到2之间。 这些自然现象，特别是物理现象和分形有着密切的关系，银河系中的若断若续的星体分布，就具有分维的吸引子。多孔介质中的流体运动和它产生的渗流模型，都是分形的研究对象。这些促使数学家进一步的研究，从而产生了分形几何学。 电子计算机图形显示协助了人们推开分形几何的大门。这座具有无穷层次结构的宏伟建筑，每一个角落里都存在无限嵌套的迷宫和回廊，促使数学家和科学家深入研究。 法国数学家曼德尔勃罗特这位计算机和数学兼通的人物，对分形几何产生了重大的推动作用。他在1975、1977和1982年先后用法文和英文出版了三本书，特别是《分形——形、机遇和维数》以及《自然界中的分形几何学》，开创了新的数学分支——分形几何学。 分形几何的内容 分形几何学的基本思想是：客观事物具有自相似的层次结构，局部与整体在形态、功能、信息、时间、空间等方面具有统计意义上的相似性，成为自相似性。例如，一块磁铁中的每一部分都像整体一样具有南北两极，不断分割下去，每一部分都具有和整体磁铁相同的磁场。这种自相似的层次结构，适当的放大或缩小几何尺寸，整个结构不变。 维数是几何对象的一个重要特征量，它是几何对象中一个点的位置所需的坐标数目。在欧氏空间中，人们习惯把空间看成三维的，平面或球面看成二维，而把直线或曲线看成一维。也可以稍加推广，认为点是零维的，还可以引入高维空间，对于更抽象或更复杂的对象，只要每个局部可以和欧氏空间对应，也容易确定维数。但通常人们习惯于整数的维数。 分形理论认为维数也可以是分数，这类维数是物理学家在研究混沌吸引子等理论时需要引入的重要概念。为了定量地描述客观事物的“非规则”程度，1919年，数学家从测度的角度引入了维数概念，将维数从整数扩大到分数，从而突破了一般拓扑集维数为整数的界限。 维数和测量有着密切的关系，下面我们举例说明一下分维的概念。 当我们画一根直线，如果我们用 0维的点来量它，其结果为无穷大，因为直线中包含无穷多个点；如果我们用一块平面来量它，其结果是 0，因为直线中不包含平面。那么，用怎样的尺度来量它才会得到有限值哪？看来只有用与其同维数的小线段来量它才会得到有限值，而这里直线的维数为 1(大于0、小于2)。 对于我们上面提到的“寇赫岛”曲线，其整体是一条无限长的线折叠而成，显然，用小直线段量，其结果是无穷大，而用平面量，其结果是 0(此曲线中不包含平面)，那么只有找一个与“寇赫岛”曲线维数相同的尺子量它才会得到有限值，而这个维数显然大于 1、小于 2，那么只能是小数了，所以存在分维。经过计算“寇赫岛”曲线的维数是1.2618„„。 分形几何学的应用 分形几何学已在自然界与物理学中得到了应用。如在显微镜下观察落入溶液中的一粒花粉，会看见它不间断地作无规则运动(布朗运动)，这是花粉在大量液体分子的无规则碰撞(每秒钟多达十亿亿次)下表现的平均行为。布朗粒子的轨迹，由各种尺寸的折线连成。只要有足够的分辨率，就可以发现原以为是直线段的部分，其实由大量更小尺度的折线连成。这是一种处处连续，但又处处无导数的曲线。这种布朗粒子轨迹的分维是 2，大大高于它的拓扑维数 1。 在某些电化学反应中，电极附近成绩的固态物质，以不规则的树枝形状向外增长。受到污染的一些流水中，粘在藻类植物上的颗粒和胶状物，不断因新的沉积而生长，成为带有许多须须毛毛的枝条状，就可以用分维。 自然界中更大的尺度上也存在分形对象。一枝粗干可以分出不规则的枝杈，每个枝杈继续分为细杈„„，至少有十几次分支的层次，可以用分形几何学去测量。 有人研究了某些云彩边界的几何性质，发现存在从 1公里到1000公里的无标度区。小于 1公里的云朵，更受地形概貌影响，大于1000公里时，地球曲率开始起作用。大小两端都受到一定特征尺度的，中间有三个数量级的无标度区，这已经足够了。分形存在于这中间区域。 近几年在流体力学不稳定性、光学双稳定器件、化学震荡反映等试验中，都实际测得了混沌吸引子，并从实验数据中计算出它们的分维。学会从实验数据测算分维是最近的一大进展。分形几何学在物理学、生物学上的应用也正在成为有充实内容的研究领域。 复变函数论 复数的概念起源于求方程的根，在二次、三次代数方程的求根中就出现了负数开平方的情况。在很长时间里，人们对这类数不能理解。但随着数学的发展，这类数的重要性就日益显现出来。复数的一般形式是：a+bi，其中i是虚数单位。 以复数作为自变量的函数就叫做复变函数，而与之相关的理论就是复变函数论。解析函数是复变函数中一类具有解析性质的函数，复变函数论主要就研究复数域上的解析函数，因此通常也称复变函数论为解析函数论。 复变函数论的发展简况 复变函数论产生于十八世纪。1774年，欧拉在他的一篇论文中考虑了由复变函数的积分导出的两个方程。而比他更早时，法国数学家达朗贝尔在他的关于流体力学的论文中，就已经得到了它们。因此，后来人们提到这两个方程，把它们叫做“达朗贝尔-欧拉方程”。到了十九世纪，上述两个方程在柯西和黎曼研究流体力学时，作了更详细的研究，所以这两个方程也被叫做“柯西-黎曼条件”。 复变函数论的全面发展是在十九世纪，就像微积分的直接扩展统治了十八世纪的数学那样，复变函数这个新的分支统治了十九世纪的数学。当时的数学家公认复变函数论是最丰饶的数学分支，并且称为这个世纪的数学享受，也有人称赞它是抽象科学中最和谐的理论之一。 为复变函数论的创建做了最早期工作的是欧拉、达朗贝尔，法国的拉普拉斯也随后研究过复变函数的积分，他们都是创建这门学科的先驱。 后来为这门学科的发展作了大量奠基工作的要算是柯西、黎曼和德国数学家维尔斯特拉斯。二十世纪初，复变函数论又有了很大的进展，维尔斯特拉斯的学生，瑞典数学家列夫勒、法国数学家彭加勒、阿达玛等都作了大量的研究工作，开拓了复变函数论更广阔的研究领域，为这门学科的发展做出了贡献。 复变函数论在应用方面，涉及的面很广，有很多复杂的计算都是用它来解决的。比如物理学上有很多不同的稳定平面场，所谓场就是每点对应有物理量的一个区域，对它们的计算就是通过复变函数来解决的。 比如的茹柯夫斯基在设计飞机的时候，就用复变函数论解决了飞机机翼的结构问题，他在运用复变函数论解决流体力学和航空力学方面的问题上也做出了贡献。 复变函数论不但在其他学科得到了广泛的应用，而且在数学领域的许多分支也都应用了它的理论。它已经深入到微分方程、积分方程、概率论和数论等学科，对它们的发展很有影响。 复变函数论的内容 复变函数论主要包括单值解析函数理论、黎曼曲面理论、几何函数论、留数理论、广析函数等方面的内容。 如果当函数的变量取某一定值的时候，函数就有一个唯一确定的值，那么这个函数解就叫做单值解析函数，多项式就是这样的函数。 复变函数也研究多值函数，黎曼曲面理论是研究多值函数的主要工具。由许多层面安放在一起而构成的一种曲面叫做黎曼曲面。利用这种曲面，可以使多值函数的单值枝和枝点概念在几何上有非常直观的表示和说明。对于某一个多值函数，如果能作出它的黎曼曲面，那么，函数在离曼曲面上就变成单值函数。 黎曼曲面理论是复变函数域和几何间的一座桥梁，能够使我们把比较深奥的函数的解析性质和几何联系起来。近来，关于黎曼曲面的研究还对另一门数学分支拓扑学有比较大的影响，逐渐地趋向于讨论它的拓扑性质。 复变函数论中用几何方法来说明、解决问题的内容，一般叫做几何函数论，复变函数可以通过共形映象理论为它的性质提供几何说明。导数处处不是零的解析函数所实现的映像就都是共形映象，共形映像也叫做保角变换。共形映象在流体力学、空气动力学、弹性理论、静电场理论等方面都得到了广泛的应用。 留数理论是复变函数论中一个重要的理论。留数也叫做残数，它的定义比较复杂。应用留数理论对于复变函数积分的计算比起线积分计算方便。计算实变函数定积分，可以化为复变函数沿闭回路曲线的积分后，再用留数基本定理化为被积分函数在闭合回路曲线内部孤立奇点上求留数的计算，当奇点是极点的时候，计算更加简洁。 把单值解析函数的一些条件适当地改变和补充，以满足实际研究工作的需要，这种经过改变的解析函数叫做广析函数。广析函数所代表的几何图形的变化叫做拟保角变换。解析函数的一些基本性质，只要稍加改变后，同样适用于广析函数。 广析函数的应用范围很广泛，不但应用在流体力学的研究方面，而且象薄壳理论这样的固体力学部门也在应用。因此，近年来这方面的理论发展十分迅速。 从柯西算起，复变函数论已有170多年的历史了。它以其完美的理论与精湛的技巧成为数学的一个重要组成部分。它曾经推动过一些学科的发展，并且常常作为一个有力的工具被应用在实际问题中，它的基础内容已成为理工科很多专业的必修课程。现在，复变函数论中仍然有不少尚待研究的课题，所以它将继续向前发展，并将取得更多应用。 实变函数论 微积分产生于十七世纪，到了十八世纪末十九世纪初，微积分学已经基本上成熟了。数学家广泛地研究并建立起它的许多分支，是它很快就形成了数学中的一大部门，也就是数学分析。 也正是在那个时候，数学家逐渐发现分析基础本身还存在着学多问题。比如，什么是函数这个看上去简单而且十分重要的问题，数学界并没有形成一致的见解。以至长期争论者问题的这样和那样的解答，这样和那样的数学结果，弄不清究竟谁是正确的。又如，对于什么是连续性和连续函数的性质是什么，数学界也没有足够清晰的理解。 十九世纪初，曾经有人试图证明任何连续函数除个别点外总是可微的。后来，德国数学家维尔斯特拉斯提出了一个由级数定义的函数，这个函数是连续函数，但是维尔斯特拉斯证明了这个函数在任何点上都没有导数。这个证明使许多数学家大为吃惊。 由于发现了某些函数的奇特性质，数学家对函数的研究更加深入了。人们又陆续发现了有些函数是连续的但处处不可微，有的函数的有限导数并不黎曼可积；还发现了连续但是不分段单调的函数等等。这些都促使数学家考虑，我们要处理的函数，仅仅依靠直观观察和猜测是不行的，必须深入研究各种函数的性质。比如，连续函数必定可积，但是具有什么性质的不连续函数也可积呢？如果改变积分的定义，可积分条件又是什么样的？连续函数不一定可导，那么可导的充分必要条件由是什么样的？„„ 上面这些函数性质问题的研究，逐渐产生了新的理论，并形成了一门新的学科，这就是实变函数。 实变函数的内容 以实数作为自变量的函数就做实变函数，以实变函数作为研究对象的数学分支就叫做实变函数论。它是微积分学的进一步发展，它的基础是点集论。什么是点集论呢？点集论是专门研究点所成的集合的性质的理论。也可以说实变函数论是在点集论的基础上研究分析数学中的一些最基本的概念和性质的。比如，点集函数、序列、极限、连续性、可微性、积分等。实变函数论还要研究实变函数的分类问题、结构问题。 实变函数论的内容包括实值函数的连续性质、微分理论、积分理论和测度论等。这里我们只对它的一些重要的基本概念作简要的介绍。 实变函数论的积分理论研究各种积分的推广方法和它们的运算规则。由于积分归根到底是数的运算，所以在进行积分的时候，必须给各种点集以一个数量的概念，这个概念叫做测度。 什么实测度呢？简单地说，一条线段的长度就是它的测度。测度的概念对于实变函数论十分重要。集合的测度这个概念实由法国数学家勒贝格提出来的。 为了推广积分概念，13年，约当在他所写的《分析教程》中，提出了“约当容度”的概念并用来讨论积分。18年，法国数学家波莱尔把容度的概念作了改进，并把它叫做测度。波莱尔的学生勒贝格后来发表《积分、长度、面积》的论文，提出了“勒贝格测度”、“勒贝格积分”的概念。勒贝格还在他的论文《积分和圆函数的研究》中，证明了有界函数黎曼可积的充分必要条件是不连续点构成一个零测度集，这就完全解决了黎曼可积性的问题。 勒贝格积分可以推广到无界函数的情形，这个时候所得积分是绝对收敛的，后来由推广到积分可以不是绝对收敛的。从这些就可以看出，勒贝格积分比起由柯西给出后来又由黎曼发扬的老积分定义广大多了。也可以看出，实变函数论所研究的是更为广泛的函数类。 自从维尔斯特拉斯证明连续函数必定可以表示成一致收敛的多项式级数，人们就认清连续函数必定可以解析地表达出来，连续函数也必定可以用多项式来逼近。这样，在实变函数论的领域里又出现了逼近论的理论。 什么是逼近理论呢？举例来说，如果能把 A类函数表示成 B类函数的极限，就说 A类函数能以 B类函数来逼近。如果已经掌握了 B类函数的某些性质，那么往往可以由此推出 A类函数的相应性质。逼近论就是研究那一类函数可以用另一类函数来逼近、逼近的方法、逼近的程度和在逼近中出现的各种情况。 和逼近理论密切相关的有正交级数理论，三角级数就是一种正交级数。和逼近理论相关的还有一种理论，就是从某一类已知函数出发构造出新的函数类型的理论，这种理论叫做函数构造论。 总之，实变函数论和古典数学分析不同，它是一种比较高深精细的理论，是数学的一个重要分支，它的应用广泛，它在数学各个分支的应用是现代数学的特征。 实变函数论不仅应用广泛，是某些数学分支的基本工具，而且它的观念和方法以及它在各个数学分支的应用，对形成近代数学的一般拓扑学和泛涵分析两个重要分支有着极为重要的影响。 泛函分析 泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。它是20世纪30年代形成的。从变分法、微分方程、积分方程、函数论以及量子物理等的研究中发展起来的，它运用几何学、代数学的观点和方法研究分析学的课题，可看作无限维的分析学。 泛函分析的产生 十九世纪以来，数学的发展进入了一个新的阶段。这就是，由于对欧几里得第五公设的研究，引出了非欧几何这门新的学科；对于代数方程求解的一般思考，最后建立并发展了群论；对数学分析的研究又建立了集合论。这些新的理论都为用统一的观点把古典分析的基本概念和方法一般化准备了条件。 本世纪初，瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作中，出现了把分析学一般化的萌芽。随后，希尔伯特和海令哲来创了“希尔伯特空间”的研究。到了二十年代，在数学界已经逐渐形成了一般分析学，也就是泛函分析的基本概念。 由于分析学中许多新部门的形成，揭示出分析、代数、集合的许多概念和方法常常存在相似的地方。比如，代数方程求根和微分方程求解都可以应用逐次逼近法，并且解的存在和唯一性条件也极其相似。这种相似在积分方程论中表现得就更为突出了。泛函分析的产生正是和这种情况有关，有些乍看起来很不相干的东西，都存在着类似的地方。因此它启发人们从这些类似的东西中探寻一般的真正属于本质的东西。 非欧几何的确立拓广了人们对空间的认知，n维空间几何的产生允许我们把多变函数用几何学的语言解释成空间的影响。这样，就显示出了分析和几何之间的相似的地方，同时存在着把分析几何化的一种可能性。这种可能性要求把几何概念进一步推广，以至最后把欧氏空间扩充成无穷维数的空间。 这时候，函数概念被赋予了更为一般的意义，古典分析中的函数概念是指两个数集之间所建立的一种对应关系。现代数学的发展却是要求建立两个任意集合之间的某种对应关系。 这里我们先介绍一下算子的概念。算子也叫算符，在数学上，把无限维空间到无限维空间的变换叫做算子。 研究无限维线性空间上的泛函数和算子理论，就产生了一门新的分析数学，叫做泛函分析。在二十世纪三十年代，泛函分析就已经成为数学中一门的学科了。 泛函分析的特点和内容 泛函分析的特点是它不但把古典分析的基本概念和方法一般化了，而且还把这些概念和方法几何化了。比如，不同类型的函数可以看作是“函数空间”的点或矢量，这样最后得到了“抽象空间”这个一般的概念。它既包含了以前讨论过的几何对象，也包括了不同的函数空间。 泛函分析对于研究现代物理学是一个有力的工具。n维空间可以用来描述具有n个自由度的力学系统的运动，实际上需要有新的数学工具来描述具有无穷多自由度的力学系统。比如梁的震动问题就是无穷多自由度力学系统的例子。一般来说，从质点力学过渡到连续介质力学，就要由有穷自由度系统过渡到无穷自由度系统。现代物理学中的量子场理论就属于无穷自由度系统。 正如研究有穷自由度系统要求 n维空间的几何学和微积分学作为工具一样，研究无穷自由度的系统需要无穷维空间的几何学和分析学，这正是泛函分析的基本内容。因袭，泛函分析也可以通俗的叫做无穷维空间的几何学和微积分学。古典分析中的基本方法，也就是用线性的对象去逼近非线性的对象，完全可以运用到泛函分析这门学科中。 泛函分析是分析数学中最“年轻”的分支，它是古典分析观点的推广，它综合函数论、几何和代数的观点研究无穷维向量空间上的函数、算子、和极限理论。他在二十世纪四十到五十年代就已经成为一门理论完备、内容丰富的数学学科了。 半个多世纪来，泛函分析一方面以其他众多学科所提供的素材来提取自己研究的对象，和某些研究手段，并形成了自己的许多重要分支，例如算子谱理论、巴拿赫代数、拓扑线性空间理论、广义函数论等等；另一方面，它也强有力地推动着其他不少分析学科的发展。它在微分方程、概率论、函数论、连续介质力学、量子物理、计算数学、控制论、最优化理论等学科中都有重要的应用，还是建立群上调和分析理论的基本工具，也是研究无限个自由度物理系统的重要而自然的工具之一。今天，它的观点和方法已经渗入到不少工程技术性的学科之中，已成为近代分析的基础之一。 泛函分析在数学物理方程、概率论、计算数学、连续介质力学、量子物理学等学科有着广泛的应用。近十几年来，泛函分析在工程技术方面有获得更为有效的应用。它还渗透到数学内部的各个分支中去，起着重要的作用。 常微分方程 方程对于学过中学数学的人来说是比较熟悉的；在初等数学中就有各种各样的方程，比如线性方程、二次方程、高次方程、指数方程、对数方程、三角方程和方程组等等。这些方程都是要把研究的问题中的已知数和未知数之间的关系找出来，列出包含一个未知数或几个未知数的一个或者多个方程式，然后取求方程的解。 但是在实际工作中，常常出现一些特点和以上方程完全不同的问题。比如：物质在一定条件下的运动变化，要寻求它的运动、变化的规律；某个物体在重力作用下自由下落，要寻求下落距离随时间变化的规律；火箭在发动机推动下在空间飞行，要寻求它飞行的轨道，等等。 物质运动和它的变化规律在数学上是用函数关系来描述的，因此，这类问题就是要去寻求满足某些条件的一个或者几个未知函数。也就是说，凡是这类问题都不是简单地去求一个或者几个固定不变的数值，而是要求一个或者几个未知的函数。 解这类问题的基本思想和初等数学解方程的基本思想很相似，也是要把研究的问题中已知函数和未知函数之间的关系找出来，从列出的包含未知函数的一个或几个方程中去求得未知函数的表达式。但是无论在方程的形式、求解的具体方法、求出解的性质等方面，都和初等数学中的解方程有许多不同的地方。 在数学上，解这类方程，要用到微分和导数的知识。因此，凡是表示未知函数的导数以及自变量之间的关系的方程，就叫做微分方程。 微分方程差不多是和微积分同时先后产生的，苏格兰数学家耐普尔创立对数的时候，就讨论过微分方程的近似解。牛顿在建立微积分的同时，对简单的微分方程用级数来求解。后来瑞士数学家雅各布·贝努利、欧拉、法国数学家克雷洛、达朗贝尔、拉格朗日等人又不断地研究和丰富了微分方程的理论。 常微分方程的形成与发展是和力学、天文学、物理学，以及其他科学技术的发展密切相关的。数学的其他分支的新发展，如复变函数、李群、组合拓扑学等，都对常微分方程的发展产生了深刻的影响，当前计算机的发展更是为常微分方程的应用及理论研究提供了非常有力的工具。 牛顿研究天体力学和机械力学的时候，利用了微分方程这个工具，从理论上得到了行星运动规律。后来，法国天文学家勒维烈和英国天文学家亚当斯使用微分方程各自计算出那时尚未发现的海王星的位置。这些都使数学家更加深信微分方程在认识自然、改造自然方面的巨大力量。 微分方程的理论逐步完善的时候，利用它就可以精确地表述事物变化所遵循的基本规律，只要列出相应的微分方程，有了解方程的方法。微分方程也就成了最有生命力的数学分支。 常微分方程的内容 如果在一个微分方程中出现的未知函数只含一个自变量，这个方程就叫做常微分方程，也可以简单地叫做微分方程。 一般地说，n 阶微分方程的解含有 n个任意常数。也就是说，微分方程的解中含有任意常数的个数和方程的解数相同，这种解叫做微分方程的通解。通解构成一个函数族。 如果根据实际问题要求出其中满足某种指定条件的解来，那么求这种解的问题叫做定解问题，对于一个常微分方程的满足定解条件的解叫做特解。对于高阶微分方程可以引入新的未知函数，把它化为多个一阶微分方程组。 常微分方程的特点 常微分方程的概念、解法、和其它理论很多，比如，方程和方程组的种类及解法、解的存在性和唯一性、奇解、定性理论等等。下面就方程解的有关几点简述一下，以了解常微分方程的特点。 求通解在历史上曾作为微分方程的主要目标，一旦求出通解的表达式，就容易从中得到问题所需要的特解。也可以由通解的表达式，了解对某些参数的依赖情况，便于参数取值适宜，使它对应的解具有所需要的性能，还有助于进行关于解的其他研究。 后来的发展表明，能够求出通解的情况不多，在实际应用中所需要的多是求满足某种指定条件的特解。当然，通解是有助于研究解的属性的，但是人们已把研究重点转移到定解问题上来。 一个常微分方程是不是有特解呢？如果有，又有几个呢？这是微分方程论中一个基本的问题，数学家把它归纳成基本定理，叫做存在和唯一性定理。因为如果没有解，而我们要去求解，那是没有意义的；如果有解而又不是唯一的，那又不好确定。因此，存在和唯一性定理对于微分方程的求解是十分重要的。 大部分的常微分方程求不出十分精确的解，而只能得到近似解。当然，这个近似解的精确程度是比较高的。另外还应该指出，用来描述物理过程的微分方程，以及由试验测定的初始条件也是近似的，这种近似之间的影响和变化还必须在理论上加以解决。 现在，常微分方程在很多学科领域内有着重要的应用，自动控制、各种电子学装置的设计、弹道的计算、飞机和导弹飞行的稳定性的研究、化学反应过程稳定性的研究等。这些问题都可以化为求常微分方程的解，或者化为研究解的性质的问题。应该说，应用常微分方程理论已经取得了很大的成就，但是，它的现有理论也还远远不能满足需要，还有待于进一步的发展，使这门学科的理论更加完善。 偏微分方程 如果一个微分方程中出现的未知函数只含一个自变量，这个方程叫做常微分方程，也简称微分方程；如果一个微分方程中出现多元函数的偏导数，或者说如果未知函数和几个变量有关，而且方程中出现未知函数对几个变量的导数，那么这种微分方程就是偏微分方程。 在科学技术日新月异的发展过程中，人们研究的许多问题用一个自变量的函数来描述已经显得不够了，不少问题有多个变量的函数来描述。比如，从物理角度来说，物理量有不同的性质，温度、密度等是用数值来描述的叫做纯量；速度、电场的引力等，不仅在数值上有不同，而且还具有方向，这些量叫做向量；物体在一点上的张力状态的描述出的量叫做张量，等等。这些量不仅和时间有关系，而且和空间坐标也有联系，这就要用多个变量的函数来表示。 应该指出，对于所有可能的物理现象用某些多个变量的函数表示，只能是理想化的，如介质的密度，实际上“在一点”的密度是不存在的。而我们把在一点的密度看作是物质的质量和体积的比当体积无限缩小的时候的极限，这就是理想化的。介质的温度也是这样。这样就产生了研究某些物理现象的理想了的多个变量的函数方程，这种方程就是偏微分方程。 微积分方程这门学科产生于十八世纪，欧拉在他的著作中最早提出了弦振动的二阶方程，随后不久，法国数学家达朗贝尔也在他的著作《论动力学》中提出了特殊的偏微分方程。这些著作当时没有引起多大注意。1746年，达朗贝尔在他的论文《张紧的弦振动时形成的曲线的研究》中，提议证明无穷多种和正弦曲线不同的曲线是振动的模式。这样就由对弦振动的研究开创了偏微分方程这门学科。 和欧拉同时代的瑞士数学家丹尼尔·贝努利也研究了数学物理方面的问题，提出了解弹性系振动问题的一般方法，对偏微分方程的发展起了比较大的影响。拉格朗日也讨论了一阶偏微分方程，丰富了这门学科的内容。 偏微分方程得到迅速发展是在十九世纪，那时候，数学物理问题的研究繁荣起来了，许多数学家都对数学物理问题的解决做出了贡献。这里应该提一提法国数学家傅立叶，他年轻的时候就是一个出色的数学学者。在从事热流动的研究中，写出了《热的解析理论》，在文章中他提出了三维空间的热方程，也就是一种偏微分方程。他的研究对偏微分方程的发展的影响是很大的。 偏微分方程的内容 偏微分方程是什么样的？它包括哪些内容？这里我们可从一个例子的研究加以介绍。 弦振动是一种机械运动，当然机械运动的基本定律是质点力学的 F=ma，但是弦并不是质点，所以质点力学的定律并不适用在弦振动的研究上。然而，如果我们把弦细细地分成若干个极小极小的小段，每一小段抽象地看作是一个质点，这样我们就可以应用质点力学的基本定律了。 弦是指又细又长的弹性物质，比如弦乐器所用的弦就是细长的、柔软的、带有弹性的。演奏的时候，弦总是绷紧着具有一种张力，这种张力大于弦的重量几万倍。当演奏的人用薄片拨动或者用弓在弦上拉动，虽然只因其所接触的一段弦振动，但是由于张力的作用，传播到使整个弦振动起来。 用微分的方法分析可得到弦上一点的位移是这一点所在的位置和时间为自变量的偏微分方程。偏方程又很多种类型，一般包括椭圆型偏微分方程、抛物型偏微分方程、双曲型偏微分方程。上述的例子是弦振动方程，它属于数学物理方程中的波动方程，也就是双曲型偏微分方程。 偏微分方程的解一般有无穷多个，但是解决具体的物理问题的时候，必须从中选取所需要的解，因此，还必须知道附加条件。因为偏微分方程是同一类现象的共同规律的表示式，仅仅知道这种共同规律还不足以掌握和了解具体问题的特殊性，所以就物理现象来说，各个具体问题的特殊性就在于研究对象所处的特定条件，就是初始条件和边界条件。 拿上面所举的弦振动的例子来说，对于同样的弦的弦乐器，如果一种是以薄片拨动弦，另一种是以弓在弦上拉动，那么它们发出的声音是不同的。原因就是由于“拨动”或“拉动”的那个“初始”时刻的振动情况不同，因此产生后来的振动情况也就不同。 天文学中也有类似情况，如果要通过计算预言天体的运动，必须要知道这些天体的质量，同时除了牛顿定律的一般公式外，还必须知道我们所研究的天体系统的初始状态，就是在某个起始时间，这些天体的分布以及它们的速度。在解决任何数学物理方程的时候，总会有类似的附加条件。 就弦振动来说，弦振动方程只表示弦的内点的力学规律，对弦的端点就不成立，所以在弦的两端必须给出边界条件，也就是考虑研究对象所处的边界上的物理状况。边界条件也叫做边值问题。 当然，客观实际中也还是有“没有初始条件的问题”，如定场问题（静电场、稳定浓度分布、稳定温度分布等），也有“没有边界条件的问题”，如着重研究不靠近两端的那段弦，就抽象的成为无边界的弦了。 在数学上，初始条件和边界条件叫做定解条件。偏微分方程本身是表达同一类物理现象的共性，是作为解决问题的依据；定解条件却反映出具体问题的个性，它提出了问题的具体情况。方程和定解条件合而为一体，就叫做定解问题。 求偏微分方程的定解问题可以先求出它的通解，然后再用定解条件确定出函数。但是一般来说，在实际中通解是不容易求出的，用定解条件确定函数更是比较困难的。 偏微分方程的解法还可以用分离系数法，也叫做傅立叶级数；还可以用分离变数法，也叫做傅立叶变换或傅立叶积分。分离系数法可以求解有界空间中的定解问题，分离变数法可以求解无界空间的定解问题；也可以用拉普拉斯变换法去求解一维空间的数学物理方程的定解。对方程实行拉普拉斯变换可以转化成常微分方程，而且初始条件也一并考虑到，解出常微分方程后进行反演就可以了。 应该指出，偏微分方程的定解虽然有以上各种解法，但是我们不能忽视由于某些原因有许多定解问题是不能严格解出的，只可以用近似方法求出满足实际需要的近似程度的近似解。 常用的方法有变分法和有限差分法。变分法是把定解问题转化成变分问题，再求变分问题的近似解；有限差分法是把定解问题转化成代数方程，然后用计算机进行计算；还有一种更有意义的模拟法，它用另一个物理的问题实验研究来代替所研究某个物理问题的定解。虽然物理现象本质不同，但是抽象地表示在数学上是同一个定解问题，如研究某个不规则形状的物体里的稳定温度分布问题，在数学上是拉普拉斯方程的边值问题，由于求解比较困难，可作相应的静电场或稳恒电流场实验研究，测定场中各处的电势，从而也解决了所研究的稳定温度场中的温度分布问题。 随着物理科学所研究的现象在广度和深度两方面的扩展，偏微分方程的应用范围更广泛。从数学自身的角度看，偏微分方程的求解促使数学在函数论、变分法、级数展开、常微分方程、代数、微分几何等各方面进行发展。从这个角度说，偏微分方程变成了数学的中心。 概率论和数理统计 在自然界和现实生活中，一些事物都是相互联系和不断发展的。在它们彼此间的联系和发展中，根据它们是否有必然的因果联系，可以分成截然不同的两大类：一类是确定性的现象。这类现象是在一定条件下，必定会导致某种确定的结果。举例来说，在标准大气压下，水加热到100摄氏度，就必然会沸腾。事物间的这种联系是属于必然性的。通常的自然科学各学科就是专门研究和认识这种必然性的，寻求这类必然现象的因果关系，把握它们之间的数量规律。 另一类是不确定性的现象。这类现象是在一定条件下，它的结果是不确定的。举例来说，同一个工人在同一台机床上加工同一种零件若干个，它们的尺寸总会有一点差异。又如，在同样条件下，进行小麦品种的人工催芽试验，各棵种子的发芽情况也不尽相同，有强弱和早晚的分别等等。为什么在相同的情况下，会出现这种不确定的结果呢？这是因为，我们说的“相同条件”是指一些主要条件来说的，除了这些主要条件外，还会有许多次要条件和偶然因素又是人们无法事先一一能够掌握的。正因为这样，我们在这一类现象中，就无法用必然性的因果关系，对个别现象的结果事先做出确定的答案。事物间的这种关系是属于偶然性的，这种现象叫做偶然现象，或者叫做随机现象。 在自然界，在生产、生活中，随机现象十分普遍，也就是说随机现象是大量存在的。比如：每期体育彩票的中奖号码、同一条生产线上生产的灯泡的寿命等，都是随机现象。因此，我们说：随机现象就是：在同样条件下，多次进行同一试验或调查同一现象，所的结果不完全一样，而且无法准确地预测下一次所得结果的现象。随机现象这种结果的不确定性，是由于一些次要的、偶然的因素影响所造成的。 随机现象从表面上看，似乎是杂乱无章的、没有什么规律的现象。但实践证明，如果同类的随机现象大量重复出现，它的总体就呈现出一定的规律性。大量同类随机现象所呈现的这种规律性，随着我们观察的次数的增多而愈加明显。比如掷硬币，每一次投掷很难判断是那一面朝上，但是如果多次重复的掷这枚硬币，就会越来越清楚的发现它们朝上的次数大体相同。 我们把这种由大量同类随机现象所呈现出来的集体规律性，叫做统计规律性。概率论和数理统计就是研究大量同类随机现象的统计规律性的数学学科。 概率论的产生和发展 概率论产生于十七世纪，本来是又保险事业的发展而产生的，但是来自于者的请求，却是数学家们思考概率论中问题的源泉。 早在1654年，有一个赌徒梅累向当时的数学家帕斯卡提出一个使他苦恼了很久的问题：“两个赌徒相约赌若干局，谁先赢 m局就算赢，全部赌本就归谁。但是当其中一个人赢了 a (a 因篇幅问题不能全部显示，请点此查看更多更全内容
Copyright © 2019- 91gzw.com 版权所有 湘ICP备2023023988号-2
违法及侵权请联系：TEL:199 18 7713 E-MAIL:2724546146@qq.com
本站由北京市万商天勤律师事务所王兴未律师提供法律服务