1、高等代数教学大纲及教学计划第一学期第一周:(第一章 1)代数系统的概念;数域的定义;定理 任一数域都包含有理数域;集合的运算,集合的映射(像与原像、单射、满射、双射)的概念;求和号与求积号。(第一章 2)高等代数基本定理及其等价命题;推论 数域上的两个次数小于 m 的多项式如果在 m 个不同的复数处的取值相等,则此二多项式相等;韦达定理;实系数代数方程的根成对出现;推论 实数域上的奇数次一元代数方程至少有一个实根。第二周:(第一章 3)数域 K 上的线性方程组的初等变换的 定义;命题 线性方程组经过初等变换后与原方程组同解;线性方程组的系数矩阵和增广矩阵的以及矩阵的初等变换的定义;线性方程组无
2、解、有唯一解和有无穷多解的判别准则;命题 变元个数大于方程个数的齐次线性方程组必有非零解;线性方程组的解的存在性与数域的变化无关(这不同于高次代数方程) 。(第二章 1)向量和 n 维向量空间的定义及性质;线性组合和线性表出的定义;向量组的线性相关与线性无关的定义以及等价表述。第三周:(第二章 1)向量组的秩;向量组的线性等价;极大线性无关组;集合上的等价关系。(第二章 2)矩阵的行秩与列秩,行(列)初等变换不改变行(列)秩;命题 矩阵的行(列)初等变换不改变列(行)秩;矩阵的转置;推论 矩阵的行、列秩相等,称为矩阵的秩,矩阵 的秩记为 r ;A)(满秩方阵;矩阵的相抵;相抵是等价关系;秩是相
3、抵等价类的完全不变量;用初等变换求矩阵的秩。第四周:(第二章 3)齐次线性方程组的基础解系;定理 数域上的齐次线性方程组的基础解系中的向量个数等于变元个数减去系数矩阵的秩;基础解系的求法;非齐次线性方程组的解的结构。(第二章 4)矩阵的加法和数乘的定义;矩阵的乘法的定义,矩阵的运算(加法、数乘、乘法、转置)的性质;矩阵的和与积的秩。第五周:(第二章 5)n 阶方阵,对角矩阵,数量矩阵,单位矩阵,初等矩阵,对称、反对称、上三角、下三角矩阵;命题 矩阵的初等行(列)变换等价于左(右)乘初等矩阵;定理 一个方阵是满秩的当且仅当它能表示为初等矩阵的乘积。推论 设 是满秩矩阵,对于任意矩阵 ,有 r r
4、 ,r r (只ACB,)(AB)(CA要乘法有意义).可逆矩阵,方阵的逆矩阵的定义;群和环的定义;命题 数域 上的 阶可逆矩阵的全体关于矩阵的乘法构成群,称为 上的一般线性Kn K群,记为 GL ;数域 上的 阶方阵的全体关于矩阵的加、乘法构成 环,称为 上)(n的全矩阵环,记为 M ;n可逆矩阵转置的逆矩阵;命题 矩阵可逆当且仅当满秩;用初等变换求可逆矩阵的逆矩阵,矩阵方程 和 的解法( 为可逆阵) ;BAXA例 设 和 为数域 上的 和 矩阵,则ABKnmsr r +r)(.)(n第六周:(第二章 6)分块矩阵的乘法,准对角阵的乘积和秩,可逆准对角阵的逆矩阵;命题 分块矩阵 的秩大于等于
5、 与 的秩的和;BCA0AB命题 设 、 、 为数域 上的三个可以连乘的矩阵,则Kr r r r .)()(C矩阵分块技巧的运用(挖洞法) 。(第三章 1,2)平行四边形的有向面积和平行六面体的有向体积具有的三条性质;利用上述三条性质定义 阶方阵的行列式函数的 det;n定理 行列式函数存在、唯一;行列式的六条性质。第七周:(第三章 2)行列式的展开式;范德蒙行列式;准对角阵的行列式;可微函数的方阵的行列式的微商。(第三章 3)行列式的应用:用行列式求逆矩阵;克莱姆法则(解线性方程组) ;矩阵乘积的行列式;用矩阵的子式的行列式刻画矩阵的秩。第八周:(第三章 4)行列式的完全展开式。期中考试。第
6、九周:(第四章 1)线性空间的定义及例;零向量和负向量的唯一性,向量减法的定义,线性空间的加法和数乘运算与通常数的加、乘法类似的性质;线性空间中线性组合和线性表出的定义,向量组的线性相关与线性无关的定义以及等价表述,向量组的秩,向量组的线性等价;极大线性无关组。线性空间的基与维数,向量的坐标。第十周:(第四章 1,2)线性空间的基变换,基的过渡矩阵;向量的坐标变换公式; 中的两组基的过渡矩阵;nK线性空间的子空间的定义(等价于在减法和数乘下封闭) 。子空间的交与和,生成元集;维数公式。第十一周:(第四章 2)子空间的直和的四个等价定义;直和因子的基的并构成直和的基;补空间的定义及存在性(通常不
7、唯一) 。线性空间关于一个子空间的同余关系(是等价关系)商空间的定义(线性空间 关于子空间 的商空间记为 ) ,定义的合理性;VWV/命题 ;/dimidi商空间的基的选取。第十二周:(第四章 3)线性映射的定义(由数域 上的线性空间 到 的 -线性映射的全体记为 HomKUVK,或简记为 Hom ) ;),(VUK),(V线性空间的同构的定义,同构映射的逆映射也是同构映射;线性映射的核(ker) 、像(im)与余核(coker)的定义;命题 线性映射 是单的当且仅当 ker , 是满的当且仅当 coker .f 0ff 0f定理(同态基本定理) 设 是数域 上的线性空间的满线性映射,则映射V
8、Uf:K)(ker,/f是同构映射.线性映射的加法和数乘的定义,Hom 在加法和数乘下构成数域 上的线性空),(VK K间;线性映射在一组基下的矩阵的定义;命题 设 和 是数域 上的线性空间, , ,则 HomUVnUdimmVi同构于 上的 矩阵的全体构成的线性空间.),(VKnm线性映射的复合的矩阵等于矩阵的乘积。第十三周:(第四章 3)线性空间到自身的线性映射称为线性变换(Hom 记为 End 或 End ) ;.),(VK)(K)(VEnd 关于加法和复合(作为乘法)构成环,称为 的自同态环;设 为数域 上)(V的 维线性空间,则 End 同构于 M ;n)(V)(n线性变换(在一组基
9、下)的矩阵的定义是线性映射的矩阵的特例;在给定的基下向量在线性变换下的像的坐标等于的线性变换的矩阵乘以原来向量的坐标;命题 设线性变换 A 在一组基 下的矩阵为 ,由基 到基n,1 An,1的过渡矩阵为 ,则 A 在 下的矩阵为 .n,1 Tn,1 T1矩阵的相似的定义;二矩阵相似当且仅当它们是同一个线性变换在两组基下的矩阵。(第四章 4)线性变换的特征值与特征向量的定义;线性空间 中属于确定的特征值 的特征向量(添加上零向量)构成子空间,称为属V于特征值 的特征子空间;特征值和特征子空间的计算(用特征多项式以及线性方程组) 。第十四周:(第四章 4)命题 线性变换的属于不同特征值的特征向量线
10、性无关.推论 维空间的具有 个不同特征值的线性变换的矩阵相似于对角矩阵.nn定理 维空间线性变换的矩阵相似于对角矩阵的充分必要条件是该空间等于特征子空间的直和.线性变换的不变子空间的定义;命题 维空间线性变换的矩阵相似于准对角矩阵的充分必要条件是该空间能分解为n不变子空间的直和.命题 如果 维空间线性变换 A 的矩阵相似于对角矩阵,则 A 在任一不变子空间上(的限制)的矩阵相似于对角矩阵.(第四章 5)线性变换在(关于不变子空间的)商空间上的诱导变换的定义;命题 设 A 是 维线性空间 上的线性变换, 是 A 的不变子空间,则 A 的特征多nVW项式等于 A 的特征多项式与 A 在商空间 上的
11、诱导变换的特征多项式的乘积.W| /命题 设 A 是数域 上的 线性空间 上的线性变换,则 A 的特征多项式的根都属于K当且仅当 A 在 的某组基下的矩阵为上三角形。K第十五周:(第五章 1)线性空间上的线性函数的定义;数域 上的 维线性空间 上的线性函数的全体关于函数加法和数乘构成 上的 维KnVKn线性空间,称为 的对偶空间,记为 ;线性空间上的双线性函数的定义; 双线性函数在给定基下的矩阵;数域 上的 维线性空间 上的双线性函数的全体关于函数加法和数乘构成 上的KnVK维线性空间(与 M 作为 上线性空间同构) ;2n)(K命题 设线性空间 上的双线性函数 在一组基 下的矩阵为 ,由基f
12、n,1 A到基 的过渡矩阵为 ,则 在 下的矩阵为 . n,1 n,1 Tn,1 T矩阵合同的定义;合同是一个等价关系;双线性函数的秩定义为该函数在一组基下的矩阵的秩。线性空间上的对称双线性函数、二次型函数的定义;对称双线性函数与二次型函数一一对应;定理 数域 上的 维线性空间 上的双线性函数的矩阵必合同于对角阵.KnV(第五章 1)数域上的二次型的定义,二次型 对应的二次型函数 的定义;二次型的矩阵和f )(fQ秩的定义;定理 数域 上的 元二次型在可逆变数替换下可以化为只有平方项的标准形.Kn二次型化为标准形的计算方法(配方法) 。第十六、十七周:复习与期末考试。第二学期第一周:(第五章
13、3)定理 复数域上的任一二次型 在可逆变数替换下都可化为规范形f,221rz其中 是 的秩. 复二次型的规范形是唯一的.rf定理 实数域上的任一二次型 在可逆变数替换下都可化为规范形f ,22121 qppzzz其中正平方项的个数 称为 的正惯性指数,负平方项的个数 称为 的负惯性指数(pf f称为 的符号差) , 是 的秩. 实二次型的规范形是唯一的.qpfq正惯性指数等于变元个数的实二次型称为正定二次型;正定二次型的(实对称)矩阵称为正定矩阵;方阵的顺序主子式的定义;定理 设 是实二次型,则下述四条等价:f(i) 正定;(ii) 的矩阵 ,其中 为可逆阵;fTA(iii) 对应的二次型函数
14、 R ;(0)fQ)0,n(iv) 的矩阵的所有顺序主子式都大于 0.f半正定二次型、负定二次型、半负定二次型、不定二次型的定义。第二周:(第六章 1)实线性空间中二向量的内积的定义;具有内积的实线性空间称为欧几里得空间(简称欧氏空间) ;欧氏空间中向量的长度、单位向量的定义;柯西布尼雅可夫斯基不等式;二向量的夹角的定义,二向量正交的的定义;有限维的欧氏空间的一组基的度量矩阵的定义;标准正交基的定义; 正交矩阵的定义;正交矩阵的等价表述(两组标准正交基间的过度矩阵) ;标准正交基的求法(施密特正交化方法) 。欧氏空间空间的子空间的正交补的定义(子空间的 的正交补记为 ) ;W命题 设 是 维欧
15、氏空间 的子空间,则 ;WnV推论 维欧氏空间 中的任一两两正交的单位向量组都可以扩充为 的标准正交基;V欧氏空间同构映射与同构的定义;(第六章 2)正交变换的定义;正交变换的四个等价表述;命题 维欧氏空间上的正交变换的全体(关于映射的复合)构成群,称为 维正交n n变换群,记为 .)(O平行地, 阶正交矩阵的全体(对于矩阵的乘法)构成群,称为 阶正交群,也记为.)(n第一、 二类正交变换的概念;第三周:(第六章 2)命题 正交矩阵的特征多项式的根的绝对值等于 1.推论 正交矩阵的特征值只能是 1.命题 设 A 是 维欧氏空间 上的正交变换,若 A 的特征多项式有一个根 enV0i,则在 内存
16、在互相正交的单位向量 ,使得sico 21,A sinco11A .si22命题 维欧氏空间上的正交变换的不变子空间的正交补仍是不变子空间.n定理 设 A 是 维欧氏空间 上的正交变换,则 A 在 的某组标准正交基下的矩阵呈VV准对角形,其主对角线由 和如下的二阶子阵组成:1.cossinii(第六章 3)对称变换的定义;命题 维欧氏空间上的线性变换是对称变换当且仅当它在标准正交基下的矩阵是实n对称矩阵.命题 实对称矩阵的特征根都是实数.命题 维欧氏空间上的对称变换的属于不同特征值的特征向量必正交.n命题 维欧氏空间上的对称变换的不变子空间的正交补仍是不变子空间.定理 设 维欧氏空间上的对称变
17、换某组标准正交基下的矩阵呈对角形.推论 设 是 阶实对称矩阵,则存在 阶正交矩阵 ,使得 为对角AnnT)(1AT阵.推论 元实二次型经过适当的正交线性变数替换可以化为标准形.用正交矩阵将实对称矩阵化成对角形的计算方法(亦即用正交线性变数替换将 元实n二次型化为标准形的计算方法) 。第四周:(第六章 3)复线性空间中内积的定义,具有内积的复线性空间称为酉空间(欧氏空间在复线性空间上的推广) ;酉空间中向量的长度、单位向量的定义;二向量正交的的定义;标准正交基的定义;标准正交基的求法;酉矩阵的定义;酉矩阵的等价表述(两组标准正交基间的过度矩阵) ;酉空间空间的子空间的正交补的定义(子空间的 的正
18、交补记为 ) ;W命题 设 是 维酉空间 的子空间,则 ;WnV推论 维酉空间 中的任一两两正交的单位向量组都可以扩充为 的标准正交基;V酉空间同构映射与同构的定义;酉变换的定义(正交变换在酉空间上的推广) ;酉变换的四个等价表述;命题 维酉空间上的酉变换的全体(关于映射的复合)构成群,称为 维酉变换群,n n记为 .()U平行地, 阶酉矩阵的全体(对于矩阵的乘法)构成群,称为 阶酉群,也记为 .()U厄米特变换、厄米特矩阵、厄米特二次型的定义(对称变换、实对称矩阵、实二次型的推广) 。(酉变换和厄米特变换都是下面的正规变换的特殊情形.)酉空间上的线性变换的共轭变换的定义(线性变换 A 的共轭
19、变换记为 A ) ;共轭变换的四条性质;正规变换的定义(酉变换的推广) ;(将酉变换的性质推广,有一般的结果:)命题 酉空间上的线性变换 A 的不变子空间的正交补是共轭变换 A 的不变子空间.命题 酉空间上的正规变换 A 的属于特征值 的特征向量 的是共轭变换 A 的属于特征值 的特征向量.命题 酉空间上的正规变换的属于不同特征值的特征向量互相正交.定理 维酉空间上的正规变换在某组标准正交基下的矩阵是对角阵.n推论 维酉空间上的酉变换在某组标准正交基下的矩阵是对角阵.命题 厄米特变换的特征值都是实数.推论 维酉空间上的厄米特变换在某组标准正交基下的矩阵是实对角阵.n厄米特二次型的定义;定理 厄
20、米特二次型 在适当的酉变数替换下可以化为标准形f ,1nydyd其中 都是实数;nd,1(推广欧氏空间上的度量的概念,用以统一处理洛仑兹变换和辛变换)数域 上的 维线性空间 的任一满秩双线性函数 都可以定义 上的度量(以及一KVfV组基的度量矩阵) ;在此度量下同样定义一个线性变换的共轭变换 和正交变换;在给定的基(度量矩阵为 )下一个线性变换 A(矩阵为 )的共轭变换的矩阵G,AG1如果 A 是正交变换, A 的共轭变换等于 A 。1第五周:(第六章 4)四维时空空间的度量的定义;广义洛仑兹变换的定义(关于四维时空空间的度量的正交变换) ;广义洛仑兹变换的三条性质;类时向量与正类时向量的定义
21、;洛仑兹变换的定义;命题 广义洛仑兹变换是洛仑兹变换的充分必要条件是它在正类时向量上的作用封闭;命题 洛仑兹变换所组成的集合(关于映射的复合)构成群(称为洛仑兹群) ;辛空间的定义(以反对称双线性函数为度量的线性空间) ;正交的定义;基的度量矩阵的定义;偶数维复空间第一、二类辛基的定义存在性;辛变换的定义(偶数维辛空间上的正交变换) ;命题 偶数维辛空间上的线性变换 A 是辛变换的充分必要条件是 A 可逆且它的逆等于它的共轭变换;命题 维辛空间上所有辛变换构成群,称为 维辛变换群 ,所有的 阶辛矩阵m2m2m2的全体构成群,称为 阶辛群。(第七章 1)幂零线性变换与幂零矩阵的定义;命题 幂零线
22、性变换的特征值等于 0.循环不变子空间、Jordan 形矩阵、Jordan 块的定义;命题 数域 上的 维线性空间上的幂零线性变换在某组基下的矩阵可以成为 JordanKn形的充分必要条件是 可以分解为循环不变子空间的直和.V定理 数域 上的 维线性空间上的幂零线性变换在某组基下的矩阵可以成为 Jordan形。第六周:(第七章 2)定理 设 A 是数域 上的 维线性空间 上的线性变换. 如果 A 的特征值全属于 ,KnVK则 A 在 的某组基下的矩阵为 Jordan 形,并且在不计 Jordan 块的意义下 Jordan 形是唯V一的.定理 设 是数域 上的 阶方阵. 如果 的特征值全属于 ,
23、则 在 上相似于AKnAKAJordan 形矩阵,并且在不计 Jordan 块的意义下 Jordan 形是唯一的 .Jordan 标准形的计算方法。方阵的化零多项式的定义;HamiltonCayley 定理;方阵的最小多项式的定义;方阵的最小多项式与基域的变化无关;由方阵的 Jordan 标准形确定其最小多项式。第七周:期中考试。(第八章 1)有理整数环中的带余除法;用辗转相除法求二整数的最大公因子;理想的定义;主理想的定义;命题 有理整数环的理想都是主理想;主理想整环(PID)的定义;唯一分解整环的定义;定理 主理想整环是唯一分解整环.推论(算术基本定理) 。第八周:(第八章 2)有理整数环
24、中的同余的定义;同余是等价关系;与 互素的剩余类的定义;mEuler -函数;Euler 定理;Fermat 小定理;中国剩余定理。(第八章 3)模 的剩余类环的定义;m个元素的有限域;p关于有限域上的线性代数的说明。第九周:(第九章 1)域上的一元多项式环的定义;整除、因式、重因式、最大公因式、不可约多项式的定义;带余除法;用辗转相除法求二多项式的最大公因子。一元多项式环的理想、主理想的定义;命题 域上的一元多项式环是主理想整环;推论 域上的一元多项式环是唯一分解整环;理想的交与和的定义;命题 域 上的一元多项式环 中二理想 与 的和等于由 与KxK)(xf)(g)(xf的最大公因子生成的理
25、想.)(xg推论 设 与 是域 上的一元多项式环 中二多项式, 与 的)(xfg)(fg最大公因子为 ,则存在 、 ,使得 。d)(xuvx)(xvxud第十周:(第九章 1)用形式微商判断多项式是否有重因式。模多项式 同余的定义; )(xm中国剩余定理;Lagrenge 插值公式;Jordan-Chevally 分解定理。(第九章 2)复数域、实数域上多项式的因式分解。第十一周:(第九章 1)本原多项式的定义;高斯引理;推论 整系数本元多项式在 Z 中不可约当且仅当在 Q 中不可约.xx推论 唯一分解整环上的多项式环仍是唯一分解整环;爱森斯坦判别法;有理整数环上的一元多项式的因子分解。(第九
26、章 3)复系数多项式的根的绝对值的上界;斯图姆定理;斯图姆序列的构造方法。第十二周:(第九章 3)域上的一元有理分式域的定义;有理分式的准素分解式;(第十章 2)对称多项式、初等对称多项式的定义;定理 域上的对称多项式能唯一地表为初等对称多项式的多项式.牛顿公式。第十三周:(第十章 2)一元多项式的判别式的定义;(第十章 3)两个一元多项式的结式的定义;命题 两个一元多项式的结式等于 0 当且仅当此二多项式不互素。用一个多项式的根和另一个多项式计算结式的公式;用一个多项式与它的微商的结式表达该多项式的判别式。第十四周:(第十二章 1)线性空间的一组基的对偶基的定义;线性空间的多线性函数、多线性
27、映射的定义(双线性函数、线性映射的推广) ;(第十二章 2)域 上的二线性空间的张量积的定义(类似地有多个张量积的定义) ;K定理 域 上的二线性空间的张量积存在,并且在同构意义下是唯一的。命题 在同构意义下张量积满足交换律、结合律以及与直和的分配律;线性变换的张量积的定义;线性变换的张量积的矩阵与线性变换的矩阵的关系;线性变换的张量积的三条性质。第十五周:(第十章 3)张量的定义;张量的记法(Einstein 约定) ;逆变张量 、 协变张量和混合张量的定义;张量的加法和乘法的定义。(第十章 3)域 上的线性空间 的到域 上的线性空间 的 重交错映射的定义;KrVKWr重交错映射的三条性质;r用坐标计算 重交错映射的像的公式;外积的定义;外积的泛性质(与张量积的定义性质类似) ;外代数中乘法的定义。第十六、十七周:复习与期末考试。