代数学的新生—点世纪的代数学.ppt

在布尔之后，一些逻辑学家和数学家又对他的逻辑演算作了改进和发展。其中比较重要的如： 杰文斯改进了相加的类必须不相交的限制； 皮尔斯则区分了命题和命题函数，并引入了两个变量的命题函数； 在施罗德的三大卷《逻辑代数讲义》（1890-1905）中，布尔代数更是发展到了顶峰。 William Jevons 1835-1882 Charles S Peirce 1839-1914 Ernst Schr?der 1841-1902 1879年，德国数学家弗雷格开创了数理逻辑研究的另一种传统，即数学基础传统。他的目标不是把数学应用于逻辑以实现逻辑规律和逻辑推理的数学化，而是利用精密化的逻辑为数学建立一个可靠的基础。 Gottlob Frege 1848-1925 Giuseppe Peano 1858-1932 Alfred Whitehead 1861-1947 以后，通过佩亚诺（G.Peano）、怀特海(A.Whitehead)和罗素（B.Russell）等人的工作，就将数理逻辑研究中的逻辑代数传统和数学基础传统汇合在一起。 Bertrand Russell 1872-1970 4.1 高斯的《算术研究》 4 代数数论 在19世纪以前，数论只是一系列孤立的结果，但自从高斯在1801年发表了他的《算术研究》后，数论作为现代数学的一个重要分支得到了系统的发展。 《算术研究》中有三个主要思想：同余理论，复整数理论和型的理论。其中复整数理论正是代数数论的开端，而这个理论又是从高斯对同余理论的研究中派生出来的。如果 a , b , m 是整数，并且a－b 能被m 整除，那么这时就说 a 和 b 关于模 m是同余的，高斯将这一事实记为 a ? b (mod m ), 它也称为同余式。对于模相同的同余式，可以像等式那样来处理。例如，从 a ? b (mod m ) 和 a’ ? b’ (mod m ), 可以得出 a ? a’ ? b ? b’ (mod m ) 。 Gauss 高斯特别研究了二次剩余。而关于二次剩余和二次非剩余，有一个著名的定理与之相联系，高斯称之为二次互反律： 设 p 和 q 是两个相异的奇素数，如果乘积 是偶数，则当且仅当 x2 ? p (mod q )有解时， x2 ? q(mod p)有解 ；如果上述乘积是奇数，则当且仅当 x2 ? p (mod q )无解时， x2 ? q(mod p)有解 。利用勒让德后来引入的一个记号 （q / p）： 如果 x2 ? q(mod p)有解 如果 x2 ? q(mod p)无解 还可以把二次互反律表达成如下优美的形式： 它最先由欧拉所发现，但缺少证明。高斯非常欣赏这个定律，把它誉为“算术中的宝石”，《算术研究》中就有该定律的一个完全证明。 高斯在证明了二次互反律之后，试图将它推广到三次或四次互反律，但他发现为使三次和四次剩余的理论简单、优美，就必须超出通常的整数范围，引进复整数，即实部和虚部皆为整数的复数。对于复整数可以像处理普通整数那样讨论它的数论性质。从而开辟了数论的一个新天地。 Adrien-Marie Legendre 4.2 库默尔与理想数 Eduard Kummer 在高斯之后对代数数论作出重要贡献的是德国数学家库默尔。他引进了一种新的代数数，从而推广了高斯的复整数理论。库默尔原本打算基于这种代数数来证明费马大定理。然而不久，他的设想便因狄利克雷对这种代数数唯一分解性的否定而被否定。因为对于一般的代数整数，唯 一分解定理并不成立。例如考虑形如 的代数整数，这里 a , b 是整数。我们有 容易证明这四个因子都是素整数，可见唯一分解定理不成立。为了重建唯一分解定理，使得普通数论的一些结果在推广到代数数论时仍能成立，为了使普通数论的一些结果在推广到代数数论时仍能成立，库默尔在1844-1847年间又创立了理想数理论。如针对上面的例子，在引入理想数 后，6 就可以唯一地表示成四个因子的乘积： 6 =?2?1?2 。后来德国数学家戴德金又把库默尔的工作系统化并推广到一般的代数数域，从而创立了现代代数数的理论。 戴德金将代数数的概念一般化之后，遂开始重建代数数域中的唯一因子分析定理，他引进了代数数类来代替理想数，为了纪念库默尔的理想数，他把它们称为理想。 * 18世纪的几何与代数 分析的光芒使18世纪综合几何的发展暗然失色，但分析方法的应用却开拓出了一个崭新的几何分支，即微分几何，从而改变了