虽然不是数学系学生(化学系学生),但是觉得也勉强可以回答一下。
数学分析我也坐等大佬填坑,我数学分析学的并不好;高等代数倒是可以说说一点一孔之见,有点长,欢迎友好交流。
高等代数是研究线性关系的代数学,是当代代数学的基础。那么既然提到线性关系,那么最容易想到的一定是一次齐次多项式,你可以想一下,在同一平面内的两条直线,有哪几种关系?
这个我想大家都想的明白:相交、平行或者重合。相互“平行”的几个一次齐次多项式组成的方程(条件独立)不就是线性方程组吗?相互“相交”的不就是多项式环(几个多项式依赖于乘法结合)?相互“重合”的不就是重因式吗?(重合可以看做相交的特殊情况,就是有解的情况下有无穷解,所以划到多项式环一点问题没有)
所以,国内较为常见的打开思路是要么先讲一元多项式环(或者多项式环),以张贤科先生《高等代数学》和孟道骥先生《高等代数与解析几何》的书为例;要么先讲线性方程组,以丘维声先生《高等代数》为例。姚慕生老师的书《高等代数学》开篇就是行列式,按照个人观点来看其实有问题的。从行列式的三种定义(从线性变换对应矩阵表示的角度来讲,明显不合适,观点太超前了;从映射的角度来讲,对初学者太抽象;从逆序数组合乘积再求和来讲,没有直观意义,只是沦为计算工具)来看,其十分不适合放在开篇第一章的位置。相应的,我是非常不待见考研数学线性代数经典书籍同济版本的线性代数的,这书我相信开篇行列式的打开方式令无数考研同学对于代数从此一叶障目,不见泰山。
个人比较推崇丘维声老师的思路。原因有以下几点:
第一,不仅结构相对清晰,而且思路叙述相对完备。举个例子,从线性方程组的完全求解(即完全解决线性方程组的求解方法——Gauss-Jordan算法和解的结构)开始,第一章叙述求解方法,(第二章叙述行列式,我觉得这是一个败笔。我本人也曾用他的教材授过一次课,跳过完全没问题,一个跳过去完全不影响以后发展的章节说明其在结构上是赘余的,所以说是败笔)第三章通过n维向量空间作为脚手架来解决解的结构问题,接着引出矩阵(系数矩阵)的表示方法,引出矩阵解法。这一系列线性代数的基本概念都在解决线性方程组求解的问题中产生,并发挥作用,证明也很大程度上依赖线性方程组的基本理论,可以说结构相对清晰,中间为什么引入向量叙述也算是比较充分(但是个人在授课时依然倾向于让学生在观察求解线性方程组时系数的变化情况而引入,而不是先引入再告诉你联系,觉得这样更有逻辑些,但是毕竟有所提及,解释问题)。
我同意这样的看法:代数学是“生产定理的机器”,是研究结构的学科。有一个清晰的结构很重要,但叙述思想与概念的来源同样非常重要,因为这样的想法可以指导以后的认知,这是真正的授之以渔。
第二,定理内容深刻,进行了很大推广,在推广过程中让读者意识到每个条件的意义。第五章是特征值与特征向量,第六章是二次型(后二章里面用了大量一元多项式环的内容,虽然结论深刻了,但是要求提高了)(至此线性代数部分结束,转入高等代数部分),仅靠上半本和下半本的第七章就可以对于矩阵的特征值和特征向量有相对充分的认识了(当然,有些问题还是没能够解决,比如怎样的多项式的特征值重数不变)。之后的第十章讨论了具有度量的线性空间,并不限于实数域与复数域,还推广到了一般域(通常这个域的特征不为2)的情况,叙述正交空间与辛空间,这其实对于矢量与场论分析基础有帮助,这个是很好的,也帮助读者更好认识从实数域、经过复数域再到一般数域,因为正定性这一关键(不然就没有办法定义内积)而不断放低条件的过程。
第三,例题丰富,便于自学,并至少试图进行广泛应用。表明所学的意义和用法,这一点也非常重要。我们当下很多的学生只是单纯的学习数学知识,但是对于学科的基本思想与方法全然无睹,导致的严重后果是当需要用到这些知识的时候学生们要么根本不记得多少,要么根本想不起来用。个人认为大学最重要的是培养的是人的思维方式,而不是知识(当然不是不重要,只是有了这些才有真正意义上的知识)。让读者能够学以致用,这一点上,在国内的基础教材内,丘维声老师的书确实做的非常好。
以上既是丘老师书的优点,也是在阅读的时候需要注意的:注意叙述的时候课程或者教材结构的合理性;注重每个定理的意义和条件的意义;进行应用和推广时应注意什么。
这个其实也是是学习数学的一般思维。当然针对于代数,我也有其他的一些想法与认识,(敲黑板),以下是学习代数时应该注意的想法和方式:
第一,注意有限与无限的区别。无限和有限的意义往往不一样,这个在有限维里成立的命题,未必可以推广到无限维。比如伴随变换在有限维酉空间里一定有,但是在无限维酉空间里就不一定有了。但是线性空间的补空间在有限维和无限维空间里都是有的。
第二,要有“基”和维数的意识,这是(有限维的)线性代数独有的。研究一个有限维的线性空间只需要找到一个基,研究一个有限维线性空间上的线性变换除了找对应关系,还是要找一个基(线性映射找两个)。有了基才有坐标的意义,度量才有了意义。与基相关联的还有维数,这同样是描述线性空间的核心数学量(比如,两个有限维实内积空间同构当且仅当二者同维)。我所指的基,可不仅仅指线性空间中的基,还有多项式环中的不可约多项式(这往往倒是无限多的),不可约多项式和线性空间的基看似是不同的概念,却都是构筑相应结构(基域上多项式环和基域上有限维线性空间)的“砖石”。这个观点非常重要,以后讲述抽象代数,这个“砖石”有名字的,叫做“生成元”,甚至于学习群表示论,我们更关心群的不可约表示,就是因为这个。
第三,以研究态射为高等代数的核心。当然这也是后续课程抽象代数学的核心。高等代数的重难点就是线性空间与线性映射,搞不清楚这一点就没办法弄清楚结构问题,或者“作用效果”。解决问题一定要抓住要解决所需的必要条件,比如做一个矩阵分解,我得知道矩阵分解能够体现什么特征。比如,我做一个极分解,结果相当于做第一类正交变换和仿射变换这说明我作用这个矩阵可以得到这样的效果(类比于经典力学中曲线运动,我将力分解为切向力和法向力,每个分力都要承担效果的)。
第四,学习抓临界条件来解决关键问题,不要随意丢弃“脚手架”。秩的概念的本质就是向量集合的最小的生成元集中元素的个数,最小多项式更是如此(次数最低的零化多项式)。最小本质就是一种临界条件(有点类似于物理中的临界问题,或者边界条件?),临界状态往往是突破口;还有一些用过的工具用过了不代表没用,比如向量组提出其实可以看做是用来解决线性方程组问题的,但是解决了不代表就没其他用了,相应的,在度量上,其依然发挥着重要作用。
这就是个人的一点观点,不局限于高等代数(也一定不能局限,否则难以提出真正的高观点),再次表示欢迎真正的大佬前来指教,姑且作为抛砖引玉了。
因篇幅问题不能全部显示,请点此查看更多更全内容