数学的三大核心领域

——数学的三大核心领域 代数学范畴 数学发展到现在，已经成为科学世界中拥有 100多个主要分支学科的庞大的 “ ”共和国 。大体说来，数学中研究数的部分属于代数学的范畴；研究形的部分， 属于几何学的范筹；沟通形与数且涉及极限运算的部分，属于分析学的范围。这 三大类数学构成了整个数学的本体与核心。在这一核心的周围，由于数学通过数 与形这两个概念，与其它科学互相渗透，而出现了许多边缘学科和交叉学科。本 章简要介绍数学三大核心领域中十几门主要分支学科的有关历史发展情况。 一、代数学范畴 　　1、算术 “ ”　　算术有两种含义，一种是从中国传下来的，相当于一般所说的 数学 ，如 “ ”《九章算术》等。另一种是从欧洲数学翻译过来的，源自希腊语，有 计算技术 之 “ ”意。现在一般所说的 算术 ，往往指自然数的四则运算；如果是在高等数学中， “ ”则有 数论 的含义。作为现代小学课程内容的算术，主要讲的是自然数、正分数 以及它们的四则运算，并通过由计数和度量而引起的一些最简单的应用题加以 巩固。 　　算术是数学中最古老的一个分支，它的一些结论是在长达数千年的时间里， 缓慢而逐渐地建立起来的。它们反映了在许多世纪中积累起来，并不断凝固在人 们意识中的 经验 班主任工作经验交流宣传工作经验交流材料优秀班主任经验交流小学课改经验典型材料房地产总经理管理经验 。 　　自然数是在对于对象的有限集合进行计算的过程中，产生的抽象概念。日常 生活中要求人们不仅要计算单个的对象，还要计算各种量，例如长度、重量和时 间。为了满足这些简单的量度需要，就要用到分数。 　　现代初等算术运算方法的发展，起源于印度，时间可能在 10世纪或 11世 纪。它后来被阿拉伯人采用，之后传到西欧。15世纪，它被改造成现在的形式。 在印度算术的后面，明显地存在着我国古代的影响。 　　19世纪中叶，格拉斯曼第一次成功地挑选出一个基本公理体系，来定义加 法与乘法运算；而算术的其它命题，可以作为逻辑的结果，从这一体系中被推 导出来。后来，皮亚诺进一步完善了格拉斯曼的体系。 　　算术的基本概念和逻辑推论法则，以人类的实践活动为基础，深刻地反映 了世界的客观规律性。尽管它是高度抽象的，但由于它概括的原始材料是如此广 泛，因此我们几乎离不开它。同时，它又构成了数学其它分支的最坚实的基础。 　　2、初等代数 　　作为中学数学课程主要内容的初等代数，其中心内容是方程理论。代数一词 “ ”的拉丁文原意是 归位 。代数方程理论在初等代数中是由一元一次方程向两个方 面扩展的：其一是增加未知数的个数，考察由有几个未知数的若干个方程所构 成的二元或三元方程组(主要是一次方程组)；其二是增高未知量的次数，考察 一元二次方程或准二次方程。初等代数的主要内容在 16世纪便已基本上发展完 备了。 　　古巴比伦(公元前 19世纪～前 17世纪)解决了一次和二次方程问题，欧几 里得的《原本》(公元前 4世纪)中就有用几何形式解二次方程的方法。我国的《九 章算术》(公元 1世纪)中有三次方程和一次联立方程组的解法，并运用了负数。3 世纪的丢番图用有理数求一次、二次不定方程的解。13世纪我国出现的天元术 (李冶《测圆海镜》)是有关一元高次方程的数值解法。16世纪意大利数学家发现 了三次和四次方程的解法。 　　代数学符号发展的历史，可分为三个阶段。第一个阶段为三世纪之前，对问 题的解不用缩写和符号，而是写成一篇 论文 政研论文下载论文大学下载论文大学下载关于长拳的论文浙大论文封面下载 ，称为文字叙述代数。第二个阶段为 三世纪至 16世纪，对某些较常出现的量和运算采用了缩写的方法，称为简化 代数。三世纪的丢番图的杰出贡献之一，就是把希腊代数学简化，开创了简化代 数。然而此后文字叙述代数，在除了印度以外的世界其它地方，还十分普通地存 在了好几百年，尤其在西欧一直到 15世纪。第三个阶段为 16世纪以后，对问 题的解多半表现为由符号组成的数学速记，这些符号与所表现的内容没有什么 明显的联系，称为符号代数。16世纪韦达的名著《分析方法入门》，对符号代数 的发展有不少贡献。16世纪末，维叶特开创符号代数，经笛卡尔改进后成为现 代的形式。 “ ” “ ”　　 ＋ 、 － 号第一次在数学 书 关于书的成语关于读书的排比句社区图书漂流公约怎么写关于读书的小报汉书pdf 中出现，是 1489年魏德曼的著作。不过正式 为大家所公认，作为加、减法运算的符号，那是从 1514年由荷伊克开始的 。 1540 “ ”年，雷科德开始使用现在使用 ＝ 。到 1591年，韦达在著作中大量使用 后，才逐渐为人们所接受。1600 “ ” “ ”年哈里奥特创用大于号 ＞ 和小于号 ＜ 。 1631 “年，奥屈特给出 ×” “、÷”作为乘除运算符。1637年，笛卡尔第一次使用 了根号，并引进用字母表中头前的字母表示已知数、后面的字母表示未知数的习 “≮” “≯” “≠”惯做法。至于 、 、 这三个符号的出现，那是近代的事了。 　　数的概念的拓广，在历史上并不全是由解代数方程所引起的，但习惯上仍 把它放在初等代数里，以求与这门课程的安排相一致。公元前 4世纪，古希腊人 发现无理数。公元前 2世纪(西汉时期)，我国开始应用负数。1545年，意大利的 卡尔达诺开始使用虚数。1614年，英国的耐普尔发明对数。17世纪末，一般的 实数指数概念才逐步形成。 　　3、高等代数 　　在高等代数中，一次方程组（即线性方程组）发展成为线性代数理论；而 —、二次方程发展成为多项式理论。前者是向量空间、线性变换、型论、不变量论和 张量代数等内容的一门近世代数分支学科，而后者是研究只含有一个未知量的 任意次方程的一门近世代数分支学科。作为大学课程的高等代数，只研究它们的 基础。 　　1683年关孝和(日本人)最早引入行列式概念。关于行列式理论最系统的论 述，则是雅可比 1841年的《论行列式的形成与性质》一书。在逻辑上，矩阵的概 念先于行列式的概念；而在历史上，次序正相反。凯雷在 1855年引入了矩阵的 概念，在 1858年发表了关于这个课题的第一篇重要文章《矩阵论的研究报告》。 　　19世纪，行列式和矩阵受到人们极大的关注，出现了千余篇关于这两个课 题的文章。但是，它们在数学上并不是大的改革，而是速记的一种表达式。不过 已经证明它们是高度有用的工具。 　　多项式代数的研究始于对 3、4次方程求根公式的探索。1515年，菲洛解决 了被简化为缺 2次项的 3次方程的求解问题。1540年，费尔拉里成功地发现了 一般 4次方程的代数解法。人们继续寻求 5次、6次或更高次方程的求根公式， 但这些努力在 200多年中付诸东流。 　　1746 “ ”年，达朗贝尔首先给出了 代数学基本定理 的证明(有不完善之处)。 这个定理断言：每一个实系数或复系数的 n次代数方程，至少有一个实根或复 根。因此，一般地说，n次代数方程应当有 n个根。1799年，22岁的高斯在写 博士论文中，给出了这个定理的第一个严格的证明。1824年，22岁的阿贝尔 证明了：高于 4次的一般方程的全部系数组成的根式，不可能是它的根。1828 年，年仅 17 “ ”岁的伽罗华创立了 伽罗华理论 ，包含了方程能用根号解出的充 分必要条件。 　　4、数论 　　以正整数作为研究对象的数论，可以看作是算术的一部分，但它不是以运 算的观点，而是以数的结构的观点，即一个数可用性质较简单的其它数来表达 的观点来研究数的。因此可以说，数论是研究由整数按一定形式构成的数系的科 学。 　　早在公元前 3世纪，欧几里得的《原本》讨论了整数的一些性质。他证明素数 的个数是无穷的，他还给出了求两个数的公约数的辗转相除法。这与我国《九章 “ ”算术》中的 更相减损法 是相同的。埃拉托色尼则给出了寻找不大于给定的自然 数 N “ ”的全部素数的 筛法 ：在写出从 1到 N的全部整数的纸草上，依次挖去 2、3、5、7……的倍数(各自的 2倍，3 ……倍， )以及 1，在这筛子般的纸草上留 下的便全是素数了。 　　当两个整数之差能被正整数m “ ”除尽时，便称这两个数对于 模 m同余。我 国《孙子算经》(公元 4世纪) “ ” “中计算一次同余式组的 求一术 ，有 中国剩余定 ”理 之称。13 ——“ ”世纪，秦九韶已建立了比较完整的同余式理论 大衍求一术 ， 这是数论研究的内容之一。 　　丢番图的《算术》中给出了求 x?＋y?＝z?所有整数解的方法。费尔马指出 x^n＋y^n＝z^n在 n＞3时无整数解，对于该问题的研究产生了 19世纪的 数论。之后高斯的《数论研究》(1801年)形成了系统的数论。 　　数论的古典内容基本上不借助于其它数学分支的方法，称为初等数论。17 世纪中叶以后，曾受数论影响而发展起来的代数、几何、分析、概率等数学分支， 又反过来促进了数论的发展，出现了代数数论( —“研究整系数多项式的根 代数 ”数 )、几何数论( “ ”—“ ”研究直线坐标系中坐标均为整数的全部 整点 空间格网 )。 19 世纪后半期出现了解析数论，用分析方法研究素数的分布。二十世纪出现了 完备的数论理论。 　　5、抽象代数 　　1843 ——年，哈密顿发明了一种乘法交换律不成立的代数 四元数代数。第 二年，格拉斯曼推演出更有一般性的几类代数。1857年，凯雷 设计 领导形象设计圆作业设计ao工艺污水处理厂设计附属工程施工组织设计清扫机器人结构设计 出另一种不 ——可交换的代数 矩阵代数。他们的研究打开了抽象代数(也叫近世代数)的大门。 实际上，减弱或删去普通代数的某些假定，或将某些假定代之以别的假定(与其 余假定是相容的)，就能研究出许多种代数体系。 　　1870年，克隆尼克给出了有限阿贝尔群的抽象定义；狄德金开始使用 “ ”体 的说法，并研究了代数体；1893年，韦伯定义了抽象的体；1910年，施 坦尼茨展开了体的一般抽象理论；狄德金和克隆尼克创立了环论；1910年， 施坦尼茨总结了包括群、代数、域等在内的代数体系的研究，开创了抽象代数学。 　　1926年，诺特完成了理想(数)理论；1930年，毕尔霍夫建立格论，它源 于 1847年的布尔代数；第二次世界大战后，出现了各种代数系统的理论和布 尔巴基学派；1955年，嘉当、格洛辛狄克和爱伦伯克建立了同调代数理论。 　　到现在为止，数学家们已经研究过 200多种这样的代数结构，其中最主要 德若当代数和李代数是不服从结合律的代数的例子。这些工作的绝大部分属于 20世纪，它们使一般化和抽象化的思想在现代数学中得到了充分的反映。 　　抽象代数是研究各种抽象的公理化代数系统的数学学科。典型的代数系统有 群、环、域等，它们主要起源于 19世纪的群论，包含有群论、环论、伽罗华理论、 格论、线性代数等许多分支，并与数学其它分支相结合产生了代数几何、代数数 论、代数拓扑、拓扑群等新的数学学科。抽象代数已经成了当代大部分数学的通用 语言。 　　现在，可以笼统地把代数学解释为关于字母计算的学说，但字母的含义是 在不断地拓广的。在初等代数中，字母表示数；而在高等代数和抽象代数中，字 母则表示向量(或 n元有序数组)、矩阵、张量、旋量、超复数等各种形式的量。可以 说，代数已经发展成为一门关于形式运算的一般学说了。 ——数学的三大核心领域 几何学范畴 二、几何学范畴 　　1、初等几何 “ ” “ ” “ ”　　在希腊语中， 几何学 是由 地 与 测量 合并而来的，本来有测量土地的 “ ” “ ”含义，意译就是 测地术 。几何学 这个名词，系我国明代数学家根据读音译出 的，沿用至今。 　　现在的初等几何主要是指欧几里得几何，它是讨论图形(点、线、面、角、圆 等)在运动下的不变性质的科学。例如，欧氏几何中的两点之间的距离，两条直 线相交的交角大小，半径是 r的某一圆的面积等都是一些运动不变量。 　　初等几何作为一门课程来讲，安排在初等代数之后；然而在历史上，几何 学的发展曾优先于代数学，它主要被认为是古希腊人的贡献。 　　几何学舍弃了物质所有的其它性质，只保留了空间形式和关系作为自己研 究的对象，因此它是抽象的。这种抽象决定了几何的思维方法，就是必须用推理 的方法，从一些结论导出另一些新结论。定理是用演绎的方式来证明的，这种论 证几何学的代表作，便是公元前三世纪欧几里得的《原本》，它从定义与公理出 发，演绎出各种几何定理。 　　现在中学《平面三角》中关于三角函数的理论是 15世纪才发展完善起来的， 但是它的一些最基本的概念，却早在古代研究直角三角形时便己形成。因此，可 把三角学划在初等几何这一标题下。 　　古代埃及、巴比伦、中国、希腊都研究过有关球面三角的知识。公元前 2世纪 希帕恰斯制作了弦表，可以说是三角的创始人。后来印度人制作了正弦表；阿拉 伯的阿尔·巴塔尼用计算 sinθ值的方法来解方程，他还与阿布尔·沃法共同导出 了正切、余切、正割、余割的概念；赖蒂库斯作了较精确的正弦表，并把三角函数 与圆弧联系起来。 　　由于直角三角形是最简单的直线形，又具有很重要的实用价值，所以各文 明古国都极重视它的研究。我国《周髀算经》一开始就记载了周朝初年(约公元前 1100年左右) “ ”的周公与学者商高的对话，其中就谈到 勾三股四弦五 ，即勾股 定理的特殊形式；还记载了在周公之后的陈子，曾用勾股定理和相似图形的比 例关系，推算过地球与太阳的距离和太阳的直径，同时为勾股定理作的图注达 几十种之多。在国外，传统称勾股定理为毕达哥拉斯定理，认为它的第一个一致 性的证明源于毕氏学派(公元前 6世纪)，虽然巴比伦人在此以前 1000多年就 发现了这个定理。到现在人们对勾股定理已经至少提供了 370种证明。 　　19世纪以来，人们对于关于三角形和圆的初等综合几何，又进行了深入的 研究。至今这一研究领域仍然没有到头，不少资料已引申到四面体及伴随的点、 线、面、球。 　　2、射影几何 　　射影几何学是一门讨论在把点射影到直线或平面上的时候，图形的不变性 质的一门几何学。幻灯片上的点、线，经过幻灯机的照射投影，在银幕上的图画 中都有相对应的点线，这样一组图形经过有限次透视以后，变成另一组图形， 这在数学上就叫做射影对应。射影几何学在航空、摄影和测量等方面都有广泛的 应用。 　　射影几何是迪沙格和帕斯卡在 1639 —年开辟的。迪沙格发表了 本关于圆维 曲线的很有独创性的小册子，从开普勒的连续性原理开始，导出了许多关于对 合、调和变程、透射、极轴、极点以及透视的基本原理，这些课题是今天学习射影 几何这门课程的人所熟悉的。年仅 16岁的帕斯卡得出了一些新的、深奥的定理， 并于 9年后写了一份内容很丰富的手稿。18世纪后期，蒙日提出了二维平面上 的适当投影表达三维对象的方法，因而从提供的数据能快速算出炮兵阵地的位 置，避开了冗长的、麻烦的算术运算。 　　射影几何真正独立的研究是由彭赛勒开创的。1822年，他发表了《论图形 的射影性质》一文，给该领域的研究以巨大的推动作用。他的许多概念被斯坦纳 进一步发展。1847年，斯陶特发表了《位置几何学》一书，使射影几何最终从测 量基础中解脱出来。 　　后来证明，采用度量适当的射影定义，能在射影几何的范围内研究度量几 何学。将一个不变二次曲线添加到平面上的射影几何中，就能得到传统的非欧几 何学。在 19世纪晚期和 20世纪初期，对射影几何学作了多种公设处理，并且 有限射影几何也被发现。事实证明，逐渐地增添和改变公设，就能从射影几何过 渡到欧几里得几何，其间经历了许多其它重要的几何学。 　 　　3、解析几何 　　解析几何即坐标几何，包括平面解析几何和立体解析几何两部分。解析几何 通过平面直角坐标系和空间直角坐标系，建立点与实数对之间的一一对应关系， 从而建立起曲线或曲面与方程之间的一一对应关系，因而就能用代数方法研究 几何问题，或用几何方法研究代数问题。 　　在初等数学中，几何与代数是彼此独立的两个分支；在方法上，它们也基 本是互不相关的。解析几何的建立，不仅由于在内容上引入了变量的研究而开创 了变量数学，而且在方法上也使几何方法与代数方法结合起来。 　　在迪沙格和帕斯卡开辟了射影几何的同时，笛卡儿和费尔马开始构思现代 解析几何的概念。这两项研究之间存在一个根本区别：前者是几何学的一个分支 后者是几何学的一种方法。 　　1637年，笛卡儿发表了《方法论》及其三个附录，他对解析几何的贡献， 就在第三个附录《几何学》中，他提出了几种由机械运动生成的新曲线。在《平面 和立体轨迹导论》中，费尔马解析地定义了许多新的曲线。在很大程度上，笛卡 儿从轨迹开始，然后求它的方程；费尔马则从方程出发，然后来研究轨迹。这正 “ ”是解析几何基本原则的两个相反的方面， 解析几何 的名称是以后才定下来的。 　　这门课程达到现在课本中熟悉的形式，是 100多年以后的事。象今天这样 使用坐标、横坐标、纵坐标这几个术语，是莱布尼兹于 1692年提出的。1733年， 年仅 18岁的克雷洛出版了《关于双重曲率曲线的研究》一书，这是最早的一部 空间解析几何著作。1748年，欧拉写的《无穷分析概要》，可以说是符合现代意 义的第一部解析几何学教程。1788年，拉格朗日开始研究有向线段的理论 。 1844年，格拉斯曼提出了多维空间的概念，并引入向量的记号。于是多维解析 几何出现了。 　　解析几何在近代的发展，产生了无穷维解析几何和代数几何等一些分支。普 通解析几何只不过是代数几何的一部分，而代数几何的发展同抽象代数有着密 切的联系。 　 　　4、非欧几何 　　非欧几何有三种不同的含义：狭义的，单指罗氏(罗巴切夫斯基)几何；广 义的，泛指一切和欧氏(欧几里得)几何不同的几何；通常意义的，指罗氏几何 和黎曼几何。 　　欧几里得的第 5公设(平行公设)在数学史上占有特殊的地位，它与前 4条 公设相比，性质显得太复杂了。它在《原本》中第一次应用是在证明第 29个定理 时，而且此后似乎总是尽量避免使用它。因此人们怀疑第五公设的公理地位，并 探索用其它公理来证明它，以使它变为一条定理。在三千多年的时间中，进行这 种探索并有案可查的就达两千人以上，其中包括许多知名的数学家，但他们都 失败了。 　　罗巴契夫斯基于 1826年，鲍耶于 1832年发表了划时代的研究结果，开 “创了非欧几何。在这种几何中，他们假设 过不在已知直线上的一点，可以引至 ”少两条直线平行于已知直线 ，用以代替第五公设，同时保留了欧氏几何的其它 公设。 　　1854 “年，黎曼推出了另一种非欧几何。在这种几何中，他假设 过已知直 ”线外一点，没有和已知直线平行的直线可引 ，用以代替第 5公设，同时保留了 欧氏几何的其它公设。1871年，克莱因把这 3 —种几何：罗巴契夫斯基 鲍耶的、 欧几里得的和黎曼的分别定名为双曲几何、抛物几何和椭圆几何。 ——　　非欧几何的发现不仅最终解决了平行公设的问题 平行公设被证明是独 立于欧氏几何的其它公设的，而且把几何学从其传统模型中解放出来，创造了 许多不同体系的几何的道路被打开了。 　　1854 “ ”年，黎曼发表了 关于作为几何学基础的假设的讲演 。他指出：每种 不同的(两个无限靠近的点的)距离公式决定了最终产生的空间和几何的性质 。 1872年，克莱因建立了各种几何系统按照不同变换群不变量的分类方法。 　　19世纪以后，几何空间概念发展的另一方向，是按照所研究流形的微分几 何原则的分类，每一种几何都对应着一种定理系统。1899年，希尔伯特发表了 《几何基础》一书，提出了完备的几何公理体系，建立了欧氏几何的严密的基础 并给出了证明一个公理体系的相容性(无矛盾性)、独立性和完备性的普遍原则。 按照他的观点，不同的几何空间乃是从属于不同几何公理要求的元素集合。欧氏 几何和非欧几何，在大量的几何系统中，只不过是极其特殊的情形罢了。 　 　　5、拓扑学 　　1736年，欧拉发表论文，讨论哥尼斯堡七桥问题。他还提出球面三角形剖 分图形顶点、边、面之间关系的欧拉公式，这可以说是拓扑学的开端。 　　庞加莱于 1895～1904年建立了拓扑学，采用代数组合的方法研究拓扑性 —质。他把欧拉公式推广为欧拉 庞加莱公式，与此有关的理论现在称为同调理论 和同伦理论。以后的拓扑学主要按照庞加莱的设想发展。 　　拓扑学开始是几何学的一个分支，在二十世纪它得到了极大的推广。1906 “ ”年，弗雷歇发表博士论文，把函数作为一个 点 来看，把函数收敛描绘成点的 收敛，这就把康托的点集论和分析学的抽象化联系起来了。他在函数所构成的集 合中引入距离的概念，构成距离空间，展开了线性距离空间的理论。在这个基础 上，产生了点集拓扑学。在豪斯道夫的《点集论纲要》一书中，出现了更一般的点 集拓扑学的完整想法。第二次世界大战后，把分析引进拓扑，发展了微分拓扑。 　　现在的拓扑学可以粗略地定义为对于连续性的数学研究。任何事物的集合都 能在某种意义上构成拓扑空间，拓扑学的概念和理论已基本完组成为数学的基 础理论之一，渗入到各个分支，并且成功地应用于电磁学和物理学的研究。 ——数学的三大核心领域 分析学范畴 三、分析学范畴 　　1、微积分 　　微积分学是微分学和积分学的统称，它是研究函数的导数、积分的性质和应 用的一门数学分支学科。 　　微积分的出现具有划时代意义，时至今日，它不仅成了学习高等数学各个 分支必不可少的基础，而且是学习近代任何一门自然科学和 工程 路基工程安全技术交底工程项目施工成本控制工程量增项单年度零星工程技术标正投影法基本原理 技术的必备工 具。现在的微积分学的教程，通常的讲授次序是先极限、再微分、后积分，这与历 史顺序正好相反。 　　在微积分历史中，最初的问题是涉及计算面积、体积和弧长的。阿基米得(公 元前 3世纪)的方法最接近于现行的积分法。在 17世纪探索微积分的至少有十几 位大数学家和几十位小数学家。牛顿和莱布尼茨分别进行了创造性的工作，各自 “ ”独立地跑完了 微积分这场接力赛的最后一棒 。 　　1609年，开普勒为了计算行星运动第二定律中包含的面积，和在他的论 文中讨论的酒桶的体积，而借助了某种积分方法。1635年，卡瓦列利发表了一 篇阐述不可分元法的论文，提出卡瓦列利原理，它是计算面积和体积的有价值 的工具。1650年，沃利斯把卡瓦列利的方法系统化，并作了推广。 　　微分起源于作曲线的切线和求函数的极大值或极小值问题。虽然可以追溯到 古希腊，但是第一个真正值得注意的先驱工作，是费尔马 1629年陈述的概念 。 1669年，巴罗对微分理论作出了重要的贡献，他用了微分三角形，很接近现 代微分法。一般认为，他是充分地认识到微分法为积分法的逆运算的第一个人。 　　至此，还有什么要做的呢？首要的是，创造一般的符号和一整套形式的解 析规则，形成可以应用的微积分学，这项工作是由牛顿和莱布尼兹彼此独立地 做出的。接着的工作是在可接受的严格的基础上，重新推导基本理论，这必须等 到此课题想到多方面应用之后。柯西和他的后继者们完成了这一工作。 　　牛顿早在 1665年才 23岁时，就创造了流数法(微分学)，并发展到能求曲 线上任意一点的切线和曲率半径。他的《流数法》写于1671年，但直到死后 9年 的 1736年才发表。牛顿考虑了两种类型的问题，等价于现在的微分和解微分方 程。他定义了流数(导数)、极大值、极小值、曲线的切线、曲率、拐点、凸性和凹性， 并把它的理论应用于许多求积问题和曲线的求长问题。 　　牛顿创立的微积分原理是同他的力学研究分不开的，他借此发现、并研究了 力学三大定律和万有引力定律，1687年出版了名著《自然哲学的数学原理》。这 本书是研究天体力学的，包括了微积分的一些基本概念和原理。 　　莱布尼茨是在 1673年到 1676年之间，从几何学观点上独立发现微积分 的。1676 ∫年，他第一次用长写字母 表示积分符号，象今天这样写微分和微商 。 1684年～1686年，他发表了一系列微积分著作，力图找到普遍的方法来解决 问题。今天课本中的许多微分的基本原则就是他推导出来的，如求两个函数乘积 的 n阶导数的法则，现在仍称作菜布尼兹法则。莱布尼兹的另一最大功绩是创造 了反映事物本质的数字符号，数学分析中的基本概念的记号，例如微分 dx，二 级微分 dx? ∫，积分 ydx，导数 dy/dx等都是他提出来的，并且沿用至今，非常 方便。 　　牛顿与莱布尼茨的创造性工作有很大的不同。主要差别是牛顿把 x和 y的无 穷小增量作为求导数的手段，当增量越来越小的时候，导数实际上就是增量比 的极限，而莱布尼兹却直接用 x和 y的无穷小增量(就是微分)求出它们之间的 关系。 　　这个差别反映了他们研究方向的不同，在牛顿的物理学方向中，速度之类 是中心概念；而在莱布尼兹的几何学方向中，却着眼于面积体积的计算。其它差 别是，牛顿自由地用级数表示函数，采用经验的、具体和谨慎的工作方式，认为 用什么记号无关紧要；而莱布尼兹则宁愿用有限的形式来表示函数，采用富于 想象的、喜欢推广的、大胆的工作方式，花费很多时间来选择富有提示性的符号。 　　到 1700年，现在大学且学习的大部分微积分内容已经建立起来。第一部微 积分课本出版于 1696年，是洛比达写的。1769年，欧拉论述了二重积分 。 1773年，拉格朗日考察了三重积分。1837年，波尔查诺给出了级数的现代定 义。19世纪分析学的严谨化，是由柯西奠基的。现在课本中的极限、连续性定义、 把导数看作差商的极限、把定积分看做和的权限等等，实质上都是柯西给出的。 进一步完成这一工作的是威尔斯特拉斯，他给出了现在使用的精确的极限定义， 并同狄德金、康托于 19世纪 70年代建立了严格的实数理论，使微积分有了坚 固可靠的逻辑基础。 　　2、微分方程 　　凡是表示未知函数和未知函数的导数以及自变量之间的关系的方程，就叫 做微分方程。如果未知函数是一元函数，则称为常微分方程，如果未知函数是多 元函数，则称为偏微分方积。微分方程的基本问题是在一定条件下，从所给出的 微分方程解出未知函数。 　　微分方程几乎是与微积分同时发展起来的，由于它与力学、物理学的渊源很 深，所以在 13世纪便已自成一门独立的学科了。两个多世纪来，这一学科已发 展得相当完善。 　　1676 “ ”年，莱布尼兹在致牛顿的信中，首先提出了 微分方程 这个名称。在 他们两人的著作中，都包含了许多微分方程的实例。早期的研究侧重于探讨各类 一阶方程的解法，并由此导致了方程的分类。18世纪，欧拉解决了全微分方程 “ ”和 欧拉方程 (一类高阶变系数线性微分方程)，提出了通解和特解的概念，指 出了 n阶线性方程通解的结构。其后，泰勒得到了方程的奇解；拉格朗日推导了 非齐次线性方程的常数交易法。 　　对于微分方程组的研究，始于达朗贝尔。19世纪前半叶，柯西开始研究解 的存在性和唯一性。19世纪后半叶，数学家们开始利用群论来研究微分方程， 由此建立连续群和李群的新理论。庞加莱引入了极限环的概念，李雅普诺夫引入 了微分方程组解的稳定性概念。他们的方法都不必直接求解，称为定性理论 。 1927 “ ”年，毕尔霍夫建立了 动力系统 的一段定性理论。 　　一阶偏微分方程的研究首先是从几何学问题开始的。拉格朗日指出，解一阶 线性偏微分方程的技巧，在于把它们化为常微分方程。一阶非线性偏微分方程的 研究，始于欧拉和拉格朗日，蒙日为偏微分方程的几何理论奠定了基础。到 18 世纪末叶，在引入奇解、通解、全积分、通积分、特积分等概念之后，偏微分方程 已形成一门独立的学科。 　　二阶偏微分方程的研究，始于 18世纪的弦振动理论。通常见的二阶偏微分 —方程均来自物理或力学的实际问题，它们构成了这门学科中一个独立的系统 数学物理方程。 　　积分方程源于阿贝尔 1826年的工作，但是直到 1888年杜·波阿·雷蒙的著 作中，才正式提出了积分方程这个名词。1896年开始，伏特拉给出了两类积分 方程的一般理论；不久，弗雷德荷姆大体上完成了一类重要的线性积分方程理 论。由于这类积分方程常出现在一些物理问题中，因此积分方程论常被包含在数 学物理方程内。 　　现代科学技术，如空间技术、现代物理学、力学等，都有许多问题需要用微 分方程来求解，甚至在化学、生物学、医药学、经济学等方面，微分方程的应用也 越来越多。 　　3、微分几何 　　微分几何这门分支学科主要研究三维欧氏空间中曲线和曲面的内在性质， 所谓内在性质就是同几何对象在空间中的位置无关的性质。它以微积分、微分方 程这些分支学科的理论为研究工具。或简单地说，微分几何就是用分析方法研究 几何性质。 　　微分几何的发端可见于 1731年克莱洛的著作中。蒙日 1809年的著作包含 了这一学科的雏型；欧拉研究了曲面的一般理论；高斯 1827年的《关于曲面的 一般研究》一书，论述了曲面理论，创立了内蕴几何学，奠定了曲面微分几何的 基础。1887～1896年，达布的《曲面一般理论的讲义》集曲线和曲面微分几何 之大成。 　　变换理论对于微分几何的影响，产生了射影微分几何、仿射微分几何等分支 二十世纪初，出现了对非充分光滑曲线和曲面以及曲线曲面的整体问题的研究， 形成现代微分几何。1923年，嘉当提出了一般联络的理论。1945年，陈省身建 立了代数拓扑和微分几何的联系，他又是纤维丛概念的创建人之一。 　　4、函数论 　　函数论包括复变函数论和实变函数论，但有时也单指复变函数论 (或复分 析)而言。 　　复数概念出现于 16世纪，但对它的全面掌握和广泛运用，却迟至 18世纪。 自变量是复数的函数，叫做复变函数。如果复变函数在某一区域内除了可能有有 限个例外点之外，处处有导数，那么这个伏辩函数叫做在这个区域内的解析函 数；例外点叫做奇点。复变函数论主要研究解析函数的性质。 　　复变函数的研究是从 18世纪开始的。30～40年代，欧拉利用幂级数详细 讨论了初等复变函数的性质。达朗贝尔于 1752年得出复变函数可微的必要条件 ( “ — ”即 柯西 黎曼条件 )。拉普拉斯也考虑过复变函数的积分。 　　复变函数的全面发展是在 19世纪。1825年，柯西讨论了虚限定积分， 1831年他实质上推出了柯西积分公式，并在此基础上建立了一整套复变函数 微分和积分的理论。黎曼 1851年的博士论文《复变函数论的基础》，奠定了复变 “ ”函数论的基础。他推广了单位解析函数到多位解析函数；引入了 黎曼曲面 的重 要概念，确立了复变因数的几何理论基础；证明了保角映射基本定理。威尔斯特 拉斯完全摆脱了几何直观，以幂级数为工具，用严密的纯解析推理展开了函数 论。定义解析函数是可以展开为幂级数的函数，围绕着奇点研究函数的性质。近 几十年来，复变函数论又有很大的推进。 　　复变函数论是解决工程技术问题的有力工具，飞机飞行理论、热运动理论、 流体力学理论、电场和弹性理论等中的很多问题。 　　实变函数的发展较晚，其中积分论是它的重要组成部分。容度和测度是线段 长度概念的推广，是为了推广积分的概念而建立起来的。1893年，约当给出了 “ ”约当容度 的概念，并用于讨论积分。1894年，斯提捷首先推广了积分概念， “ ”得到了 斯提捷积分 。1898 ‘ ”年，波莱尔改进了容度的概念，他称之为 测度 。 下一步决定性的进展是 1902 “ ”年勒贝格改进了测度理论，建立了 勒贝格测度 、 “ ”勒贝格积分 等概念。1904年，他完全解决了黎曼可积性的问题。后来，数学 家们对积分的概念又作了种种推广和探索。 　　实变函数的另一个领域是函数构造论。1885年，威尔斯特拉斯证明：连续 函数必可表示为一致收敛的多项式级数。这一结果和切比雪夫斯基最佳逼近论， 是函数构造论的开端。近年来，这个方向的研究十分活跃。 　　5、泛函分析 ——　　本世纪初，出现了一个广阔的新领域 泛函分析，它是古典分析观点的 推广。近几十年来，由于分析学中许多新分支的形成，从而发现在代数、几何、分 析中不同领域之间的某些方面的类似。其次，几何与集合论的结合产生了抽象空 间的理论，将函数看成函数空间中的点。再加上实变函数论以及近世代数的感念 和方法的影响，就产生了泛画分析。它综合函数论，几何和代数的观点，研究无 穷维向量空间上的函数、算子和极限理论。 　　19世纪末，弗尔太拉和二十世纪初阿达玛的著作中已出现泛函分析的萌芽 “ ”随后希尔伯特、海令哲开创了 希尔伯将空间 的研究，黎斯、冯·诺伊曼等人在这 方面都有重要的建树。