高等代数(上册)——大学高等代数课程创新教材

《高等代数(上册)——大学高等代数课程创新教材》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、序高等代数是大学数学科学学院（或数学系，应用数学系）最主要的基础课程之一。本套教材是作者在北京大学进行高等代数课程建设和教学改革的成果，它具有下述鲜明特色。１．明确主线：以研究线性空间和多项式环的结构及其态射（线性映射，多项式环的通用性质）为主线。自从１８３２年伽罗瓦（Ｇａｌｏｉｓ）利用一元高次方程的根的置换群给出了方程有求根公式的充分必要条件之后，代数学的研究对象发生了根本性的转变。研究各种代数系统的结构及其态射（即保持运算的映射）成为现代代数学研究的中心问题。２０世纪，代数学研究结构及其态射的观点已经渗透到现代数学的各个分支中。因此，在高等代数课程的教学中贯穿研究线性空间和多

2、项式环的结构及其态射这条主线，就是把握住了代数学的精髓。本套教材上册的第１，２，３章研究线性方程组的解法、解的情况的判别和解集的结构时，贯穿了研究数域犓上狀维向量空间犓狀及其子空间的结构这条主线。线性方程组是数学中最基础、最有用的知识，狀维向量空间犓狀是狀维线性空间的一个具体模型，狀元齐次线性方程组的解空间的维数公式本质上是线性映射的核与值域的维数公式。因此把线性方程组和狀维向量空间犓狀作为高等代数课程的开始部分的内容，既符合学生的认知规律，又是高等代数知识的内在规律的体现。上册的第４，５，６章研究矩阵的运算，矩阵的相抵、相似、合同关系及与它们有关的矩阵的特征值和特征向量、二次型

3、。研究矩阵的运算为研究线性映射打下了基础。矩阵的相抵关系在解决有关矩阵的秩的问题中起着重要作用，而矩阵的秩本质上是相应的线性映射的值域的维数。研究矩阵的相似标准形本质上是研究线性变换在一个合适的基下的矩阵具有最简单的形式。研究对称矩阵的合同标准形与研究二次型的化简密切相关，而二次型与线性空间犞上的双线性函数有密切联系。本套教材下册的第７章研究一元和狀元多项式环的结构及其态射（多项式环的通用性质），第８章研究线性空间的结构，第９章研究线性映射，第１０章研究具有度量的线性空间的结构及与度量有关的线性变换。第１１章研究多重线性代数时，基础概念是多重线性映射，主要工具是线性空间的张量积。

4、２．内容全面。本套教材包括线性代数，多项式理论，环、域、群的概念及重要例子，多重线性代数，共四部分。在下册第７章从数域犓上所有一元多项式组成的集合、整数集、数域犓上所有狀级矩阵组成的集合都有加法和乘法运算，自然而然地引出了环的概念；从数域犓上所有分式组成的集合、模狆剩余类（狆是素数）组成的集合，水到渠成地引出了域的概念。于是我们在下册第８章讲的是任意域上的线性空间，而不只是数域上的线·Ⅱ·高等代数（上册）性空间。这是当今信息时代的需要，因为在信息的安全与可靠中大量使用二元域上的线性空间理论。我们不仅着重研究有限维的线性空间，也研究无限维的线性空间，因为许多函数空间都是无限维线性空

5、间。我们在第９章不仅研究线性变换的Ｊｏｒｄａｎ标准形，而且研究线性变换的有理标准形。我们在第１０章不仅研究欧几里得空间和酉空间，而且研究正交空间和辛空间；不仅研究欧几里得空间上的正交变换、对称变换，酉空间上的酉变换，而且研究酉空间上的Ｈｅｒｍｉｔｅ变换、正规变换。在第１０章讲了欧几里得空间上的正交变换，酉空间上的酉变换，正交空间上的正交变换，辛空间上的辛变换之后，水到渠成地引出群的概念，介绍了正交群、酉群、辛群。我们在第１１章研究了线性空间的张量积，张量及张量代数，外代数（或格拉斯曼（Ｇｒａｓｓｍａｎｎ）代数），它们在微分几何、现代分析、群表示论和量子力学等领域中有重要应用。本套

6、教材的第一、二、三个组成部分，内容之间的内在联系可以用下述框图来表示：序·Ⅲ·３．理论深刻。本套教材阐述了深刻的理论，证明了许多重要结论。举例如下：矩阵犃的秩是犃的行向量组的秩，也是犃的列向量组的秩。犃的秩等于犃的不为零的子式的最高阶数，等于犃的行向量组生成的子空间（简称为行空间）的维数，等于犃的列向量组生成的子空间（简称为列空间）的维数。设犞是域犉上的狀维线性空间，犞上的线性变换犃在犞的一个基α，α，…，α下的矩阵为犃，则犃的秩等于犃的值域的维数。１２狀设犞中向量组，，…，的坐标组成的矩阵为犅，则犅的秩等于，，…，生成的子β１β２β狊β１β２β狊空间的维数。由此可知，矩阵的秩是

7、一个非常深刻的概念，它有许多重要应用。例如，线性方程组有解的充分必要条件是它的系数矩阵与增广矩阵有相等的秩。狀元齐次线性方程组犃犡＝０的解空间的维数等于狀－ｒａｎｋ（犃）。矩阵方程犃犡＝犅有解的充分必要条件是ｒａｎｋ（犃）＝ｒａｎｋ（犃，犅）。矩阵方程犃犅犡＝犃有解的充分必要条件是ｒａｎｋ（犃犅）＝ｒａｎｋ（犃）。矩阵方程犃犡－犢犅＝犆有解的充分必要条件是犃０犃犆ｒａｎｋ＝ｒａｎｋ．（０犅）（０犅）域犉上狀级矩阵犃是幂等矩阵（即犃２＝犃）当且仅当ｒａｎｋ（犃）＋ｒａｎｋ（犐－犃）