9 c, y" [- s _5 H “+”、“-”号第一次在数学书中出现,是1489年魏德曼的著作。不过正式为大家所公认,作为加、减法运算的符号,那是从1514年由荷伊克开始的。1540年,雷科德开始使用现在使用“=”。到1591年,韦达在著作中大量使用后,才逐渐为人们所接受。1600年哈里奥特创用大于号“>”和小于号“<”。1631年,奥屈特给出“×”、“÷”作为乘除运算符。1637年,笛卡尔第一次使用了根号,并引进用字母表中头前的字母表示已知数、后面的字母表示未知数的习惯做法。至于“≮”、“≯”、“≠”这三个符号的出现,那是近代的事了。8 X3 Q& X% g3 `7 y e
5 }1 P+ f' L' G6 r/ F8 k
数的概念的拓广,在历史上并不全是由解代数方程所引起的,但习惯上仍把它放在初等代数里,以求与这门课程的安排相一致。公元前4世纪,古希腊人发现无理数。公元前2世纪(西汉时期),我国开始应用负数。1545年,意大利的卡尔达诺开始使用虚数。1614年,英国的耐普尔发明对数。17世纪末,一般的实数指数概念才逐步形成。, M- {# y+ t: |% U6 k
5 H! i7 X) `/ f3 h/ ?. o+ w |
5 ^ K, v( r7 E* ~3、高等代数& H$ K: Q+ a. ^. R4 {6 E$ ^2 ?
# Y3 y" A0 } X) Q2 O7 t: r
在高等代数中,一次方程组(即线性方程组)发展成为线性代数理论;而—、二次方程发展成为多项式理论。前者是向量空间、线性变换、型论、不变量论和张量代数等内容的一门近世代数分支学科,而后者是研究只含有一个未知量的任意次方程的一门近世代数分支学科。作为大学课程的高等代数,只研究它们的基础。 9 z; m9 c, k* n/ _' c! u |1 Y$ x , H$ @% k( T7 \9 U& i4 O' K 1683年关孝和(日本人)最早引入行列式概念。关于行列式理论最系统的论述,则是雅可比1841年的《论行列式的形成与性质》一书。在逻辑上,矩阵的概念先于行列式的概念;而在历史上,次序正相反。凯雷在1855年引入了矩阵的概念,在1858年发表了关于这个课题的第一篇重要文章《矩阵论的研究报告》。3 ~. l1 w6 m7 q& B# q2 ?
" N. ?9 l7 e3 L1 D 19世纪,行列式和矩阵受到人们极大的关注,出现了千余篇关于这两个课题的文章。但是,它们在数学上并不是大的改革,而是速记的一种表达式。不过已经证明它们是高度有用的工具。 5 N$ R) A6 x/ k2 g5 z3 W) j4 Z/ r6 ^1 T* U- J) c
多项式代数的研究始于对3、4次方程求根公式的探索。1515年,菲洛解决了被简化为缺2次项的3次方程的求解问题。1540年,费尔拉里成功地发现了一般4次方程的代数解法。人们继续寻求5次、6次或更高次方程的求根公式,但这些努力在200多年中付诸东流。 ' S% _ u) z r/ j; c+ `' e8 y' ?8 @. P
1746年,达朗贝尔首先给出了“代数学基本定理”的证明(有不完善之处)。这个定理断言:每一个实系数或复系数的n次代数方程,至少有一个实根或复根。因此,一般地说,n次代数方程应当有n个根。1799年,22岁的高斯在写博士论文中,给出了这个定理的第一个严格的证明。1824年,22岁的阿贝尔证明了:高于4次的一般方程的全部系数组成的根式,不可能是它的根。1828年,年仅17岁的伽罗华创立了“伽罗华理论”,包含了方程能用根号解出的充分必要条件。% M- U# d0 K/ [! j3 u' W" O
P* r# |6 |9 {# V0 G+ e3 J# C! l6 z- a( y. p, Y. D5 g: |, Q 4、数论 ( c& w0 m! f' ?# T* |+ N! k. ^" I+ k5 `& M* M$ I+ O9 J) c. O5 r+ K
以正整数作为研究对象的数论,可以看作是算术的一部分,但它不是以运算的观点,而是以数的结构的观点,即一个数可用性质较简单的其它数来表达的观点来研究数的。因此可以说,数论是研究由整数按一定形式构成的数系的科学。 : g% Y% x, T* L( Q& h8 y% A9 b
早在公元前3世纪,欧几里得的《原本》讨论了整数的一些性质。他证明素数的个数是无穷的,他还给出了求两个数的公约数的辗转相除法。这与我国《九章算术》中的“更相减损法”是相同的。埃拉托色尼则给出了寻找不大于给定的自然数N的全部素数的“筛法”:在写出从1到N的全部整数的纸草上,依次挖去2、3、5、7……的倍数(各自的2倍,3倍,……)以及1,在这筛子般的纸草上留下的便全是素数了。+ Q4 `- \9 y. H0 ` k1 H
6 i8 G& \% S9 y7 d
当两个整数之差能被正整数m除尽时,便称这两个数对于“模”m同余。我国《孙子算经》(公元4世纪)中计算一次同余式组的“求一术”,有“中国剩余定理”之称。13世纪,秦九韶已建立了比较完整的同余式理论——“大衍求一术”,这是数论研究的内容之一。 3 n4 P& g# P! X1 z# Z+ ~2 w& f P6 |
丢番图的《算术》中给出了求x?+y?=z?所有整数解的方法。费尔马指出x^n+y^n=z^n在n>3时无整数解,对于该问题的研究产生了19世纪的数论。之后高斯的《数论研究》(1801年)形成了系统的数论。 " o* D' K$ E( O8 p6 i7 W f( Z/ \4 N% T
数论的古典内容基本上不借助于其它数学分支的方法,称为初等数论。17世纪中叶以后,曾受数论影响而发展起来的代数、几何、分析、概率等数学分支,又反过来促进了数论的发展,出现了代数数论(研究整系数多项式的根—“代数数”)、几何数论(研究直线坐标系中坐标均为整数的全部“整点”—“空间格网”)。19世纪后半期出现了解析数论,用分析方法研究素数的分布。二十世纪出现了完备的数论理论。 5 n. O/ Z) q2 x" ~. u; l3 A4 J1 N ^ 4 N7 n& s8 M# @, I% i# a4 o P / b3 U' @. O; y5 P; O$ t6 {, i5、抽象代数2 q! I! Z$ c E% L3 W |
h9 R( }* ~- c# G1 t' H' M4 c 1843年,哈密顿发明了一种乘法交换律不成立的代数——四元数代数。第二年,格拉斯曼推演出更有一般性的几类代数。1857年,凯雷设计出另一种不可交换的代数——矩阵代数。他们的研究打开了抽象代数(也叫近世代数)的大门。实际上,减弱或删去普通代数的某些假定,或将某些假定代之以别的假定(与其余假定是相容的),就能研究出许多种代数体系。 6 l5 a3 K8 b" R% ?8 f2 t, j) S% O# m, j; k/ c/ e v w
1870年,克隆尼克给出了有限阿贝尔群的抽象定义;狄德金开始使用“体”的说法,并研究了代数体;1893年,韦伯定义了抽象的体;1910年,施坦尼茨展开了体的一般抽象理论;狄德金和克隆尼克创立了环论;1910年,施坦尼茨总结了包括群、代数、域等在内的代数体系的研究,开创了抽象代数学。 3 j r5 [" [7 A/ o$ N ( M6 L( K! i( w; G& Q, G* }+ J 1926年,诺特完成了理想(数)理论;1930年,毕尔霍夫建立格论,它源于1847年的布尔代数;第二次世界大战后,出现了各种代数系统的理论和布尔巴基学派;1955年,嘉当、格洛辛狄克和爱伦伯克建立了同调代数理论。) e" [1 F; n; e) D) R5 c
! p! b* `0 c& o6 \
到现在为止,数学家们已经研究过200多种这样的代数结构,其中最主要德若当代数和李代数是不服从结合律的代数的例子。这些工作的绝大部分属于20世纪,它们使一般化和抽象化的思想在现代数学中得到了充分的反映。/ X4 B' N0 h0 _6 g9 y: ^( x1 L5 N+ a: M
1 }* z: I* i) D! v7 m
抽象代数是研究各种抽象的公理化代数系统的数学学科。典型的代数系统有群、环、域等,它们主要起源于19世纪的群论,包含有群论、环论、伽罗华理论、格论、线性代数等许多分支,并与数学其它分支相结合产生了代数几何、代数数论、代数拓扑、拓扑群等新的数学学科。抽象代数已经成了当代大部分数学的通用语言。 " v# _' m/ I n' S3 ~+ C 6 k1 |. }, D# o 现在,可以笼统地把代数学解释为关于字母计算的学说,但字母的含义是在不断地拓广的。在初等代数中,字母表示数;而在高等代数和抽象代数中,字母则表示向量(或n元有序数组)、矩阵、张量、旋量、超复数等各种形式的量。可以说,代数已经发展成为一门关于形式运算的一般学说了。