) b: Z$ x2 M+ } } j# h+ i7 @* l# z- } 1、初等几何 $ ^) _( @7 M4 r2 i! v# m/ e4 `. ]& M# C2 i w9 i, a6 C
在希腊语中,“几何学”是由“地”与“测量”合并而来的,本来有测量土地的含义,意译就是“测地术”。“几何学”这个名词,系我国明代数学家根据读音译出的,沿用至今。 ! d6 ?- o8 Z; [# R. z$ V R 3 |6 `9 W6 U% g: m 现在的初等几何主要是指欧几里得几何,它是讨论图形(点、线、面、角、圆等)在运动下的不变性质的科学。例如,欧氏几何中的两点之间的距离,两条直线相交的交角大小,半径是r的某一圆的面积等都是一些运动不变量。 t. \) C& P4 L+ R3 n9 W0 y $ y4 `) [- G" T 初等几何作为一门课程来讲,安排在初等代数之后;然而在历史上,几何学的发展曾优先于代数学,它主要被认为是古希腊人的贡献。 / p. }) a3 J! J, q' _8 u0 W! N* w Q6 V$ K& q
几何学舍弃了物质所有的其它性质,只保留了空间形式和关系作为自己研究的对象,因此它是抽象的。这种抽象决定了几何的思维方法,就是必须用推理的方法,从一些结论导出另一些新结论。定理是用演绎的方式来证明的,这种论证几何学的代表作,便是公元前三世纪欧几里得的《原本》,它从定义与公理出发,演绎出各种几何定理。 + s4 i3 x+ G9 F9 h% G- V0 S4 J, I: c- u* n# W. _' Y- K
现在中学《平面三角》中关于三角函数的理论是15世纪才发展完善起来的,但是它的一些最基本的概念,却早在古代研究直角三角形时便己形成。因此,可把三角学划在初等几何这一标题下。 ( `" |1 k% T; ?: b 7 U9 e3 \$ L, h6 ~1 j0 W 古代埃及、巴比伦、中国、希腊都研究过有关球面三角的知识。公元前2世纪,希帕恰斯制作了弦表,可以说是三角的创始人。后来印度人制作了正弦表;阿拉伯的阿尔·巴塔尼用计算sinθ值的方法来解方程,他还与阿布尔·沃法共同导出了正切、余切、正割、余割的概念;赖蒂库斯作了较精确的正弦表,并把三角函数与圆弧联系起来。* b- T) ?2 n. H9 R+ y# T
! C# B: Y0 ^, j# \3 ^, J
由于直角三角形是最简单的直线形,又具有很重要的实用价值,所以各文明古国都极重视它的研究。我国《周髀算经》一开始就记载了周朝初年(约公元前1100年左右)的周公与学者商高的对话,其中就谈到“勾三股四弦五”,即勾股定理的特殊形式;还记载了在周公之后的陈子,曾用勾股定理和相似图形的比例关系,推算过地球与太阳的距离和太阳的直径,同时为勾股定理作的图注达几十种之多。在国外,传统称勾股定理为毕达哥拉斯定理,认为它的第一个一致性的证明源于毕氏学派(公元前6世纪),虽然巴比伦人在此以前1000多年就发现了这个定理。到现在人们对勾股定理已经至少提供了370种证明。) p' @# i; l! _! s& b9 K5 Y4 k
6 x) P7 B3 j: E7 U& z+ z. g 19世纪以来,人们对于关于三角形和圆的初等综合几何,又进行了深入的研究。至今这一研究领域仍然没有到头,不少资料已引申到四面体及伴随的点、线、面、球。 ; q# T n* u! ~' j. y. L: r 6 j2 B, k8 Z6 m9 F. P. n0 J5 ~% }+ U* y8 s, }3 P0 n. A 2、射影几何 0 k, U8 {8 z% ?# d 8 } c) E7 j4 a q, } t* K 射影几何学是一门讨论在把点射影到直线或平面上的时候,图形的不变性质的一门几何学。幻灯片上的点、线,经过幻灯机的照射投影,在银幕上的图画中都有相对应的点线,这样一组图形经过有限次**以后,变成另一组图形,这在数学上就叫做射影对应。射影几何学在航空、摄影和测量等方面都有广泛的应用。 $ B* V) \6 p. g1 ~% H9 y. Q' _) `: W2 }; u7 D
射影几何是迪沙格和帕斯卡在1639年开辟的。迪沙格发表了—本关于圆维曲线的很有独创性的小册子,从开普勒的连续性原理开始,导出了许多关于对合、调和变程、透射、极轴、极点以及**的基本原理,这些课题是今天学习射影几何这门课程的人所熟悉的。年仅16岁的帕斯卡得出了一些新的、深奥的定理,并于9年后写了一份内容很丰富的手稿。18世纪后期,蒙日提出了二维平面上的适当投影表达三维对象的方法,因而从提供的数据能快速算出炮兵阵地的位置,避开了冗长的、麻烦的算术运算。 : h: ~& W3 `5 s% \( o8 r, s 9 j$ P) E" M) N! n: o& o 射影几何真正独立的研究是由彭赛勒开创的。1822年,他发表了《论图形的射影性质》一文,给该领域的研究以巨大的推动作用。他的许多概念被斯坦纳进一步发展。1847年,斯陶特发表了《位置几何学》一书,使射影几何最终从测量基础中解脱出来。! y% e& Q, ^) r
' u. w9 G% l2 X( f9 R
后来证明,采用度量适当的射影定义,能在射影几何的范围内研究度量几何学。将一个不变二次曲线添加到平面上的射影几何中,就能得到传统的非欧几何学。在19世纪晚期和20世纪初期,对射影几何学作了多种公设处理,并且有限射影几何也被发现。事实证明,逐渐地增添和改变公设,就能从射影几何过渡到欧几里得几何,其间经历了许多其它重要的几何学。 : s* n& M5 |+ Y* M7 u ' h' A l, L; P6 M
( ~) b0 A6 d8 \5 H% D3 A3、解析几何 5 f) X x8 i; H/ c2 Q0 |( t( v% a3 ]( p2 k
解析几何即坐标几何,包括平面解析几何和立体解析几何两部分。解析几何通过平面直角坐标系和空间直角坐标系,建立点与实数对之间的一一对应关系,从而建立起曲线或曲面与方程之间的一一对应关系,因而就能用代数方法研究几何问题,或用几何方法研究代数问题。$ O& S/ u. b4 L* B' B# G$ Z$ t
7 s# m) ]& @; g' R* w
在初等数学中,几何与代数是彼此独立的两个分支;在方法上,它们也基本是互不相关的。解析几何的建立,不仅由于在内容上引入了变量的研究而开创了变量数学,而且在方法上也使几何方法与代数方法结合起来。" U: z# q5 p4 i2 w9 ^8 f
/ B z4 e7 u$ _1 n- |0 }
在迪沙格和帕斯卡开辟了射影几何的同时,笛卡儿和费尔马开始构思现代解析几何的概念。这两项研究之间存在一个根本区别:前者是几何学的一个分支,后者是几何学的一种方法。' m1 W" l8 J' H# s% R' O4 [+ ]
, t- g0 x& T# ?( A% N# _
1637年,笛卡儿发表了《方**》及其三个附录,他对解析几何的贡献,就在第三个附录《几何学》中,他提出了几种由机械运动生成的新曲线。在《平面和立体轨迹导论》中,费尔马解析地定义了许多新的曲线。在很大程度上,笛卡儿从轨迹开始,然后求它的方程;费尔马则从方程出发,然后来研究轨迹。这正是解析几何基本原则的两个相反的方面,“解析几何”的名称是以后才定下来的。 : A3 z8 u5 w/ U; t5 t' @7 t! U# x4 a
这门课程达到现在课本中熟悉的形式,是100多年以后的事。象今天这样使用坐标、横坐标、纵坐标这几个术语,是莱布尼兹于1692年提出的。1733年,年仅18岁的克雷洛出版了《关于双重曲率曲线的研究》一书,这是最早的一部空间解析几何著作。1748年,欧拉写的《无穷分析概要》,可以说是符合现代意义的第一部解析几何学教程。1788年,拉格朗日开始研究有向线段的理论。1844年,格拉斯曼提出了**空间的概念,并引入向量的记号。于是**解析几何出现了。 - `) Z. \- I! g# b9 B- x% f2 T9 S6 n
解析几何在近代的发展,产生了无穷维解析几何和代数几何等一些分支。普通解析几何只不过是代数几何的一部分,而代数几何的发展同抽象代数有着密切的联系。 . |0 E/ A3 B0 ]3 P , v$ H3 c: I# Z3 T/ c 2 j- Z; m1 G% T( j I' I4、非欧几何 9 Q4 B/ _5 a; g 6 K) O* x( |% q. k1 ?: v; P* o; E 非欧几何有三种不同的含义:狭义的,单指罗氏(罗巴切夫斯基)几何;广义的,泛指一切和欧氏(欧几里得)几何不同的几何;通常意义的,指罗氏几何和黎曼几何。3 m3 b% S2 E: _* K9 ~0 }( F
; M1 N+ \/ b D. [4 x9 O
欧几里得的第5公设(平行公设)在数学史上占有特殊的地位,它与前4条公设相比,性质显得太复杂了。它在《原本》中第一次应用是在证明第29个定理时,而且此后似乎总是尽量避免使用它。因此人们怀疑第五公设的公理地位,并探索用其它公理来证明它,以使它变为一条定理。在三千多年的时间中,进行这种探索并有案可查的就达两千人以上,其中包括许多知名的数学家,但他们都失败了。 - d) H* }* V1 g( C # B$ F4 F! a% c# a. Z 罗巴契夫斯基于1826年,鲍耶于1832年发表了划时代的研究结果,开创了非欧几何。在这种几何中,他们假设“过不在已知直线上的一点,可以引至少两条直线平行于已知直线”,用以代替第五公设,同时保留了欧氏几何的其它公设。, _6 b' w; y2 f
+ ~3 I0 p: P* u
1854年,黎曼推出了另一种非欧几何。在这种几何中,他假设“过已知直线外一点,没有和已知直线平行的直线可引”,用以代替第5公设,同时保留了欧氏几何的其它公设。1871年,克莱因把这3种几何:罗巴契夫斯基—鲍耶的、欧几里得的和黎曼的分别定名为双曲几何、抛物几何和椭圆几何。0 v, m- [3 ] i7 t. @+ _
4 Q* t; m# a5 U9 z0 N
非欧几何的发现不仅最终解决了平行公设的问题——平行公设被证明是独立于欧氏几何的其它公设的,而且把几何学从其传统模型中解放出来,创造了许多不同体系的几何的道路被打开了。 : J: m, P1 M5 Z2 k3 ?4 M4 o) W1 _; B/ x: `
1854年,黎曼发表了“关于作为几何学基础的假设的讲演”。他指出:每种不同的(两个无限靠近的点的)距离公式决定了最终产生的空间和几何的性质。1872年,克莱因建立了各种几何系统按照不同变换群不变量的分类方法。 $ V$ [4 t1 }8 q! ~1 d4 b Q/ C & W1 H- e+ u& C, a 19世纪以后,几何空间概念发展的另一方向,是按照所研究流形的微分几何原则的分类,每一种几何都对应着一种定理系统。1899年,希尔伯特发表了《几何基础》一书,提出了完备的几何公理体系,建立了欧氏几何的严密的基础,并给出了证明一个公理体系的相容性(无矛盾性)、独立性和完备性的普遍原则。按照他的观点,不同的几何空间乃是从属于不同几何公理要求的元素集合。欧氏几何和非欧几何,在大量的几何系统中,只不过是极其特殊的情形罢了。. m! U" I! o' n
' m# w! H9 z' W
: J2 n) c, r# s% W5 {2 ?3 ] 5、拓扑学9 _) [+ e5 A; n, w S6 z
R$ ^* O- d L# N4 u6 U 1736年,欧拉发表论文,讨论哥尼斯堡七桥问题。他还提出球面三角形剖分图形顶点、边、面之间关系的欧拉公式,这可以说是拓扑学的开端。 3 k5 f$ B) n- B6 v6 X1 L! Q0 L3 e+ r% d) x* `! n0 e6 q$ |
庞加莱于1895~1904年建立了拓扑学,采用代数组合的方法研究拓扑性质。他把欧拉公式推广为欧拉—庞加莱公式,与此有关的理论现在称为同调理论和同伦理论。以后的拓扑学主要按照庞加莱的设想发展。0 n& K: U$ I& h
9 v9 h* U6 }/ c8 _# v 拓扑学开始是几何学的一个分支,在二十世纪它得到了极大的推广。1906年,弗雷歇发表博士论文,把函数作为一个“点”来看,把函数收敛描绘成点的收敛,这就把康托的点集论和分析学的抽象化联系起来了。他在函数所构成的集合中引入距离的概念,构成距离空间,展开了线性距离空间的理论。在这个基础上,产生了点集拓扑学。在豪斯道夫的《点集论纲要》一书中,出现了更一般的点集拓扑学的完整想法。第二次世界大战后,把分析引进拓扑,发展了微分拓扑。- Y; h0 K0 H7 K: B
8 F3 f$ k6 d; A* j1、微积分: Q) T* F' x5 u, U$ s* ~* ^
" L: ~1 ?# p8 a4 P 微积分学是微分学和积分学的统称,它是研究函数的导数、积分的性质和应用的一门数学分支学科。 ( e( y; l& P, J- W3 y" x0 |! y) C; s# ^1 u
微积分的出现具有划时代意义,时至今日,它不仅成了学习高等数学各个分支必不可少的基础,而且是学习近代任何一门自然科学和工程技术的必备工具。现在的微积分学的教程,通常的讲授次序是先极限、再微分、后积分,这与历史顺序正好相反。+ W1 p, |5 S9 C9 ?+ l9 ?0 O* l
* f8 Q& I! k3 v
在微积分历史中,最初的问题是涉及计算面积、体积和弧长的。阿基米得(公元前3世纪)的方法最接近于现行的积分法。在17世纪探索微积分的至少有十几位大数学家和几十位小数学家。牛顿和莱布尼茨分别进行了创造性的工作,各自独立地跑完了“微积分这场接力赛的最后一棒”。 3 C; T/ w. |9 u) G ) i0 \2 J( p7 l) ?4 E 1609年,开普勒为了计算行星运动第二定律中包含的面积,和在他的论文中讨论的酒桶的体积,而借助了某种积分方法。1635年,卡瓦列利发表了一篇阐述不可分元法的论文,提出卡瓦列利原理,它是计算面积和体积的有价值的工具。1650年,沃利斯把卡瓦列利的方法系统化,并作了推广。1 {# z% _) L t S
: Q! V1 F- O7 Q' _6 {
微分起源于作曲线的切线和求函数的极大值或极小值问题。虽然可以追溯到古希腊,但是第一个真正值得注意的先驱工作,是费尔马1629年陈述的概念。1669年,巴罗对微分理论作出了重要的贡献,他用了微分三角形,很接近现代微分法。一般认为,他是充分地认识到微分法为积分法的逆运算的第一个人。 + w. _3 A! s' l+ M/ x; Y w ]' p' `: P/ T2 z
至此,还有什么要做的呢?首要的是,创造一般的符号和一整套形式的解析规则,形成可以应用的微积分学,这项工作是由牛顿和莱布尼兹彼此独立地做出的。接着的工作是在可接受的严格的基础上,重新推导基本理论,这必须等到此课题想到多方面应用之后。柯西和他的后继者们完成了这一工作。 0 G! C( r% q0 t7 S; Z# ^ 8 H$ A8 h/ [4 M: _; f( R 牛顿早在1665年才23岁时,就创造了流数法(微分学),并发展到能求曲线上任意一点的切线和曲率半径。他的《流数法》写于1671年,但直到死后9年的1736年才发表。牛顿考虑了两种类型的问题,等价于现在的微分和解微分方程。他定义了流数(导数)、极大值、极小值、曲线的切线、曲率、拐点、凸性和凹性,并把它的理论应用于许多求积问题和曲线的求长问题。2 J! j6 l& e# s g
: _# a2 }* a U, l( o# p
牛顿创立的微积分原理是同他的力学研究分不开的,他借此发现、并研究了力学三大定律和万有引力定律,1687年出版了名著《自然哲学的数学原理》。这本书是研究天体力学的,包括了微积分的一些基本概念和原理。 . Y# O# h3 F& W8 E( F: V 1 }5 P) a1 f. |- u: [ 莱布尼茨是在1673年到1676年之间,从几何学观点上独立发现微积分的。1676年,他第一次用长写字母∫表示积分符号,象今天这样写微分和微商。1684年~1686年,他发表了一系列微积分著作,力图找到普遍的方法来解决问题。今天课本中的许多微分的基本原则就是他推导出来的,如求两个函数乘积的n阶导数的法则,现在仍称作菜布尼兹法则。莱布尼兹的另一最大功绩是创造了反映事物本质的数字符号,数学分析中的基本概念的记号,例如微分dx,二级微分dx?,积分∫ydx,导数dy/dx等都是他提出来的,并且沿用至今,非常方便。' i! i* Q2 ?, L& r- m3 V: f
$ O- w, T. H) ]1 B 牛顿与莱布尼茨的创造性工作有很大的不同。主要差别是牛顿把x和y的无穷小增量作为求导数的手段,当增量越来越小的时候,导数实际上就是增量比的极限,而莱布尼兹却直接用x和y的无穷小增量(就是微分)求出它们之间的关系。5 M' C7 ^' e( U' b a
3 o0 U! X. J& O7 G 这个差别反映了他们研究方向的不同,在牛顿的物理学方向中,速度之类是中心概念;而在莱布尼兹的几何学方向中,却着眼于面积体积的计算。其它差别是,牛顿自由地用级数表示函数,采用经验的、具体和谨慎的工作方式,认为用什么记号无关紧要;而莱布尼兹则宁愿用有限的形式来表示函数,采用富于想象的、喜欢推广的、大胆的工作方式,花费很多时间来选择富有提示性的符号。8 S% F3 n) d! l: O
$ v" o8 c1 g2 b$ w0 q- w 到1700年,现在大学且学习的大部分微积分内容已经建立起来。第一部微积分课本出版于1696年,是洛比达写的。1769年,欧拉论述了二重积分。1773年,拉格朗日考察了三重积分。1837年,波尔查诺给出了级数的现代定义。19世纪分析学的严谨化,是由柯西奠基的。现在课本中的极限、连续性定义、把导数看作差商的极限、把定积分看做和的权限等等,实质上都是柯西给出的。进一步完成这一工作的是威尔斯特拉斯,他给出了现在使用的精确的极限定义,并同狄德金、康托于19世纪70年代建立了严格的实数理论,使微积分有了坚固可靠的逻辑基础。 ) k+ R/ X7 i9 J7 C; B" _. ?' B& U! L) q3 f
+ R9 v4 q2 p' M* w8 e" G9 q 2、微分方程 5 Y+ C, b1 C3 A% C# ~# N' g: A8 p5 `( W1 V, d: l; X
凡是表示未知函数和未知函数的导数以及自变量之间的关系的方程,就叫做微分方程。如果未知函数是一元函数,则称为常微分方程,如果未知函数是多元函数,则称为偏微分方积。微分方程的基本问题是在一定条件下,从所给出的微分方程解出未知函数。) h. [5 v3 x2 h! g+ H: n
% `: _( g/ y& H& X0 U
微分方程几乎是与微积分同时发展起来的,由于它与力学、物理学的渊源很深,所以在13世纪便已自成一门独立的学科了。两个多世纪来,这一学科已发展得相当完善。 : g8 W. S' a& u" a. G " S* G( Y: j+ n* V' r. N1 s 1676年,莱布尼兹在致牛顿的信中,首先提出了“微分方程”这个名称。在他们两人的著作中,都包含了许多微分方程的实例。早期的研究侧重于探讨各类一阶方程的解法,并由此导致了方程的分类。18世纪,欧拉解决了全微分方程和“欧拉方程”(一类高阶变系数线性微分方程),提出了通解和特解的概念,指出了n阶线性方程通解的结构。其后,泰勒得到了方程的奇解;拉格朗日推导了非齐次线性方程的常数交易法。 9 k/ |7 D$ H6 z 6 L9 F) m/ W5 u% z7 F3 Q6 g& p 对于微分方程组的研究,始于达朗贝尔。19世纪前半叶,柯西开始研究解的存在性和唯一性。19世纪后半叶,数学家们开始利用群论来研究微分方程,由此建立连续群和李群的新理论。庞加莱引入了极限环的概念,李雅普诺夫引入了微分方程组解的稳定性概念。他们的方法都不必直接求解,称为定性理论。1927年,毕尔霍夫建立了“动力系统”的一段定性理论。 9 G3 e! j8 k, M; n1 \* Q9 D! I% b1 ]& d0 `% a% O7 k
一阶偏微分方程的研究首先是从几何学问题开始的。拉格朗日指出,解一阶线性偏微分方程的技巧,在于把它们化为常微分方程。一阶非线性偏微分方程的研究,始于欧拉和拉格朗日,蒙日为偏微分方程的几何理论奠定了基础。到18世纪末叶,在引入奇解、通解、全积分、通积分、特积分等概念之后,偏微分方程已形成一门独立的学科。 ( O, `3 ]$ o: @7 E7 m5 z$ k0 X' R- G( z7 o M
二阶偏微分方程的研究,始于18世纪的弦振动理论。通常见的二阶偏微分方程均来自物理或力学的实际问题,它们构成了这门学科中一个独立的系统—数学物理方程。 - y) W# q% h6 s& \: Y0 }- V) K( t/ v- S" Z5 U9 v8 D! l
积分方程源于阿贝尔1826年的工作,但是直到1888年杜·波阿·雷蒙的著作中,才正式提出了积分方程这个名词。1896年开始,伏特拉给出了两类积分方程的一般理论;不久,弗雷德荷姆大体上完成了一类重要的线性积分方程理论。由于这类积分方程常出现在一些物理问题中,因此积分方程论常被包含在数学物理方程内。6 {" x1 O* ~2 C ^: `
0 \* r& s. z( J% ^& `8 X) z 现代科学技术,如空间技术、现代物理学、力学等,都有许多问题需要用微分方程来求解,甚至在化学、生物学、医药学、经济学等方面,微分方程的应用也越来越多。* B8 X3 M* @0 E J5 y
3 D. Z, k( z$ W7 B5 N% O, k2 c" r' s! r 3、微分几何9 n4 s( z7 J+ D) [2 y8 g
3 r, H; r h! L% h1 { 微分几何这门分支学科主要研究三维欧氏空间中曲线和曲面的内在性质,所谓内在性质就是同几何对象在空间中的位置无关的性质。它以微积分、微分方程这些分支学科的理论为研究工具。或简单地说,微分几何就是用分析方法研究几何性质。# ], C1 { J h. r7 O
. u8 D+ P8 F( ?$ J, J U' A6 X
微分几何的发端可见于1731年克莱洛的著作中。蒙日1809年的著作包含了这一学科的雏型;欧拉研究了曲面的一般理论;高斯1827年的《关于曲面的一般研究》一书,论述了曲面理论,创立了内蕴几何学,奠定了曲面微分几何的基础。1887~1896年,达布的《曲面一般理论的讲义》集曲线和曲面微分几何之大成。 3 G! w1 [0 q6 i+ ~9 ]" t & W' T2 f/ K9 z; E' s 变换理论对于微分几何的影响,产生了射影微分几何、仿射微分几何等分支。二十世纪初,出现了对非充分光滑曲线和曲面以及曲线曲面的整体问题的研究,形成现代微分几何。1923年,嘉当提出了一般联络的理论。1945年,陈省身建立了代数拓扑和微分几何的联系,他又是纤维丛概念的创建人之一。) [/ _1 M, f' Z/ `+ e
i! `- f6 P" ~5 z
; z( R. O& R! B6 w; ^; m/ F+ Z3 F" \ 4、函数论 ( E" q9 u3 J+ N$ j0 K- N3 |/ Q 7 w& h& J. u$ `1 h( y 函数论包括复变函数论和实变函数论,但有时也单指复变函数论(或复分析)而言。& Y+ L/ {8 [' i' E0 K0 o' \
3 h9 v! u' R1 P* A. F 复数概念出现于16世纪,但对它的全面掌握和广泛运用,却迟至18世纪。自变量是复数的函数,叫做复变函数。如果复变函数在某一区域内除了可能有有限个例外点之外,处处有导数,那么这个伏辩函数叫做在这个区域内的解析函数;例外点叫做奇点。复变函数论主要研究解析函数的性质。, B g r( ?1 Y$ q. Y% `