第六讲--代数学的新生.pptVIP

凯莱（A .Cayley）在1849-1854年间指出了矩阵在乘法下、四元数在加法下都构成群，人们还发现高斯在数论中研究过的具有同一判别式的二次型类 f = ax2 + 2bxy + cy2 (a, b, c 为整数，x, y 取整数值，D = b2 – ac 取固定值)对于型的合成运算也构成群。 1868-1869年间，若尔当（C.Jordan）在物理学家布拉维斯(A.Bravais)关于运动群的理论的启发下开展了无限群（即有无限多个元素的群）的系统研究。 若尔当的工作影响克莱因(F.Klein)关于几何分类中的无限变换群的研究。 1874-1883年间, 挪威数学家李(S.Lie,1842-1899 )又研究了无限连续变换群（李群）。 Arthur Cayley Camille Jordan Felix Christian Klein 1849--1925 Sophus Lie 到19世纪80年代，关于各种不同类型的群的研究使数学家们有了足够的积累来形成抽象群的概念： （A） 封闭性： 对于运算 * ,? a , b ? R，则a * b = c ? R ； （B） 结合性： 对于运算 * ，? a ，b ，c ? R， 则（a * b ） * c = a * （ b * c ） ； （C） 存在单位元： ? I ? R，使 I * a = a * I = a ; （D） 存在逆元： ? a ? R，则 ? a -1 ? R，使 a * a -1 = a -1 * a = I . 在抽象的群概念中，其元素本身的具体内容已无关紧要，关键是联系这些元素的运算关系。这样建立起来的一般群论也就成了描写其他各种数学和物理现象的对称性质的普遍工具。在19世纪末，群论已被应用于晶体结构的研究，在现代物理中，群论更成为研究基本粒子、量子力学的有力武器。 代数学由于群的概念的引进和发展而获得新生，它不再仅仅是研究代数方程，而更多地是研究各种抽象对象的运算关系，从而为20世纪代数结构观念的产生奠定了基础。 一个群的简单实例： 平面上（或空间中）的正交变换（也称保距变换），如果把平面（空间）图形Γ变成与它自己重合的图形，则称这个正交变换叫做图形Γ的对称（性）变换。 如图，等边三角形的对称变换有6个。 l1 l3 l2 O τ1 τ2 I 记G={I,l1, l2,l3,τ1,τ2}, 则集合G是一个群。 §8.2 从四元数到超复数 8.2.1 19世纪初复数的几何表示 四元数的发现是继伽罗瓦提出群的概念后，19世纪代数学最重大的事件。四元数是推广平面复数系结构的产物。 18末19世纪初，韦塞尔、阿尔冈和高斯等人给出了复数 a + bi (a，b 为实数)的几何表示，这样复数才有了合法地位。在稍微熟悉了复数的几何表示之后，数学家们认识到复数能用来表示和研究平面上的向量。 a y O b x 8.2.2 空间向量及其运算 向量概念在物理学上十分重要，力、速度或加速度这些有大小和方向的量都是向量，而人们很早就已知道向量的合成服从平行四边形法则。数学家们发现两个复数相加的结果正好对应于平行四边形法则相加的向量和。用复数来表示向量及其运算有一个很大的优点，那就是，人们从此不必几何地作出向量运算，就能通过代数的方法研究它们。这就像方程能用来表示和研究曲线而带给人们方便一样。然而事实却使数学家们很快发觉，他们无法在三维情况下找到复数的一个类似物。 O Sir William Rowan Hamilton 8.2.3 哈密顿对复数的推广 在寻找复数三维推广的数学家中，爱尔兰数学家哈密顿也是其中一员。他在1837年曾把复数处理成实数的有序数偶，并希望通过推广这种有序数偶的思想，来达到自己的目的。如此结过15年的努力，他终于发现自己所要找的新数组应包含四个分量，而且必须放弃乘法的交换性。他把这种新数组命名为四元数。 　 哈密顿的四元数形如 a + b i + c j + d k，其中a , b ,c , d为实数，i，j，k满足　 i 2 = j 2 = k 2 = -1 ;　 ij = -ji = k , jk = -kj =i , ki = -ik = j 两个四元数相乘可以根据上面的规则仿照复数乘法那样去做，例如，设 p =1+2i + 3j + 4k , q =