《高等代数》教学大纲（教学计划）
第一学期第一周：
（第一章 §1）
代数系统的概念；数域的定义；
定理 任一数域都包含有理数域；
集合的运算，集合的映射（像与原像、单射、满射、双射）的概念；求和号与求积号。
（第一章 §2）
高等代数基本定理及其等价命题；
推论 数域上的两个次数小于m的多项式如果在m个不同的复数处的取值相等，则此二多项式相等；
韦达定理；
实系数代数方程的根成对出现；
推论 实数域上的奇数次一元代数方程至少有一个实根。
第二周：
（第一章 §3）
数域K上的线性方程组的初等变换的定义；
命题 线性方程组经过初等变换后与原方程组同解；
线性方程组的系数矩阵和增广矩阵的以及矩阵的初等变换的定义；
线性方程组无解、有唯一解和有无穷多解的判别准则；
命题 变元个数大于方程个数的齐次线性方程组必有非零解；
线性方程组的解的存在性与数域的变化无关（这不同于高次代数方程）。
（第二章 §1）
向量和n维向量空间的定义及性质；
线性组合和线性表出的定义；
向量组的线性相关与线性无关的定义以及等价表述。
第三周：
（第二章 §1）
向量组的秩；
向量组的线性等价；极大线性无关组；
集合上的等价关系。
（第二章 §2）
矩阵的行秩与列秩，行（列）初等变换不改变行（列）秩；
命题 矩阵的行（列）初等变换不改变列（行）秩；
矩阵的转置；
推论 矩阵的行、列秩相等，称为矩阵的秩，矩阵的秩记为r；
满秩方阵；
矩阵的相抵；相抵是等价关系；秩是相抵等价类的完全不变量；
用初等变换求矩阵的秩。
第四周：
（第二章 §3）
齐次线性方程组的基础解系；
定理 数域上的齐次线性方程组的基础解系中的向量个数等于变元个数减去系数矩阵的秩；
基础解系的求法；
非齐次线性方程组的解的结构。
（第二章 §4）
矩阵的加法和数乘的定义；
矩阵的乘法的定义，
矩阵的运算（加法、数乘、乘法、转置）的性质；
矩阵的和与积的秩。
第五周：
（第二章 §5）
n阶方阵，对角矩阵，数量矩阵，单位矩阵，初等矩阵，对称、反对称、上三角、下三角矩阵；
命题 矩阵的初等行（列）变换等价于左（右）乘初等矩阵；
定理 一个方阵是满秩的当且仅当它能表示为初等矩阵的乘积。
推论 设是满秩矩阵，对于任意矩阵，有rr，rr（只要乘法有意义）.
可逆矩阵，方阵的逆矩阵的定义；
群和环的定义；
命题 数域上的阶可逆矩阵的全体关于矩阵的乘法构成群，称为上的一般线性群，记为GL；数域上的阶方阵的全体关于矩阵的加、乘法构成环，称为上的全矩阵环，记为M；
可逆矩阵转置的逆矩阵；
命题 矩阵可逆当且仅当满秩；
用初等变换求可逆矩阵的逆矩阵，矩阵方程和的解法（为可逆阵）；
例 设和为数域上的和矩阵，则
rr+r
第六周：
（第二章 §6）
分块矩阵的乘法，准对角阵的乘积和秩，可逆准对角阵的逆矩阵；
命题 分块矩阵的秩大于等于与的秩的和；
命题 设、、为数域上的三个可以连乘的矩阵，则
rrr r.
矩阵分块技巧的运用（挖洞法）。
（第三章 §1，§2）
平行四边形的有向面积和平行六面体的有向体积具有的三条性质；
利用上述三条性质定义阶方阵的行列式函数的det；
定理 行列式函数存在、唯一；
行列式的六条性质。
第七周：
（第三章 §2）
行列式的展开式；
范德蒙行列式；
准对角阵的行列式；
可微函数的方阵的行列式的微商。
（第三章 §3）
行列式的应用：用行列式求逆矩阵；克莱姆法则（解线性方程组）；
矩阵乘积的行列式；
用矩阵的子式的行列式刻画矩阵的秩。
第八周：
（第三章 §4）
行列式的完全展开式。
期中考试。
第九周：
（第四章 §1）
线性空间的定义及例；
零向量和负向量的唯一性，向量减法的定义，线性空间的加法和数乘运算与通常数的加、乘法类似的性质；
线性空间中线性组合和线性表出的定义，向量组的线性相关与线性无关的定义以及等价表述，向量组的秩，向量组的线性等价；极大线性无关组。
线性空间的基与维数，向量的坐标。
第十周：
（第四章 §1，§2）
线性空间的基变换，基的过渡矩阵；
向量的坐标变换公式；中的两组基的过渡矩阵；
线性空间的子空间的定义（等价于在减法和数乘下封闭）。
子空间的交与和，生成元集；
维数公式。
第十一周：
（第四章 §2）
子空间的直和的四个等价定义；
直和因子的基的并构成直和的基；
补空间的定义及存在性（通常不唯一）。
线性空间关于一个子空间的同余关系（是等价关系）
商空间的定义（线性空间关于子空间的商空间记为），定义的合理性；
命题 ；
商空间的基的选取。
第十二周：
（第四章 §3）
线性映射的定义（由数域上的线性空间到的-线性映射的全体记为Hom，或简记为Hom）；
线性空间的同构的定义，同构映射的逆映射也是同构映射；
线性映射的核（ker）、像（im）与余核（coker）的定义；
命题 线性映射是单的当且仅当ker，是满的当且仅当coker.
定理（同态基本定理） 设是数域上的线性空间的满线性映射，则映射
是同构映射.
线性映射的加法和数乘的定义，Hom在加法和数乘下构成数域上的线性空间；
线性映射在一组基下的矩阵的定义；
命题 设和是数域上的线性空间，，，则Hom同构于上的矩阵的全体构成的线性空间.
线性映射的复合的矩阵等于矩阵的乘积。
第十三周：
（第四章 §3）
线性空间到自身的线性映射称为线性变换（Hom记为End或End）；.
End关于加法和复合（作为乘法）构成环，称为的自同态环；设为数域上的维线性空间，则End同构于M；
线性变换（在一组基下）的矩阵的定义是线性映射的矩阵的特例；在给定的基下向量在线性变换下的像的坐标等于的线性变换的矩阵乘以原来向量的坐标；
命题 设线性变换A在一组基下的矩阵为，由基到基的过渡矩阵为，则A在下的矩阵为.
矩阵的相似的定义；二矩阵相似当且仅当它们是同一个线性变换在两组基下的矩阵。
（第四章 §4）
线性变换的特征值与特征向量的定义；
线性空间中属于确定的特征值的特征向量（添加上零向量）构成子空间，称为属于特征值的特征子空间；
特征值和特征子空间的计算（用特征多项式以及线性方程组）。
第十四周：
（第四章 §4）
命题 线性变换的属于不同特征值的特征向量线性无关.
推论 维空间的具有个不同特征值的线性变换的矩阵相似于对角矩阵.
定理 维空间线性变换的矩阵相似于对角矩阵的充分必要条件是该空间等于特征子空间的直和.
线性变换的不变子空间的定义；
命题 维空间线性变换的矩阵相似于准对角矩阵的充分必要条件是该空间能分解为不变子空间的直和.
命题 如果维空间线性变换A的矩阵相似于对角矩阵，则A在任一不变子空间上（的限制）的矩阵相似于对角矩阵.
（第四章 §5）
线性变换在（关于不变子空间的）商空间上的诱导变换的定义；
命题 设A是维线性空间上的线性变换，是A的不变子空间，则A的特征多项式等于A的特征多项式与A在商空间上的诱导变换的特征多项式的乘积.
命题 设A是数域上的线性空间上的线性变换，则A的特征多项式的根都属于当且仅当A在的某组基下的矩阵为上三角形。
第十五周：
（第五章 §1）
线性空间上的线性函数的定义；
数域上的维线性空间上的线性函数的全体关于函数加法和数乘构成上的维线性空间，称为的对偶空间，记为；
线性空间上的双线性函数的定义；
双线性函数在给定基下的矩阵；
数域上的维线性空间上的双线性函数的全体关于函数加法和数乘构成上的维线性空间（与M作为上线性空间同构）；
命题 设线性空间上的双线性函数在一组基下的矩阵为，由基到基的过渡矩阵为，则在下的矩阵为,
矩阵合同的定义；合同是一个等价关系；
双线性函数的秩定义为该函数在一组基下的矩阵的秩。
线性空间上的对称双线性函数、二次型函数的定义；
对称双线性函数与二次型函数一一对应；
定理 数域上的维线性空间上的双线性函数的矩阵必合同于对角阵.
（第五章 §1）
数域上的二次型的定义，二次型对应的二次型函数的定义；二次型的矩阵和秩的定义；
定理 数域上的元二次型在可逆变数替换下可以化为只有平方项的标准形.
二次型化为标准形的计算方法（配方法）。
第十六、十七周：
复习与期末考试。
第二学期第一周：
（第五章 §3）
定理 复数域上的任一二次型在可逆变数替换下都可化为规范形
其中是的秩,复二次型的规范形是唯一的.
定理 实数域上的任一二次型在可逆变数替换下都可化为规范形
其中正平方项的个数称为的正惯性指数，负平方项的个数称为的负惯性指数（称为的符号差），是的秩,实二次型的规范形是唯一的.
正惯性指数等于变元个数的实二次型称为正定二次型；
正定二次型的（实对称）矩阵称为正定矩阵；
方阵的顺序主子式的定义；
定理 设是实二次型，则下述四条等价：
（i） 正定；
（ii） 的矩阵，其中为可逆阵；
（iii） 对应的二次型函数R;
（iv） 的矩阵的所有顺序主子式都大于0.
半正定二次型、负定二次型、半负定二次型、不定二次型的定义。
第二周：
（第六章 §1）
实线性空间中二向量的内积的定义；具有内积的实线性空间称为欧几里得空间（简称欧氏空间）；
欧氏空间中向量的长度、单位向量的定义；
柯西—布尼雅可夫斯基不等式；二向量的夹角的定义，二向量正交的的定义；
有限维的欧氏空间的一组基的度量矩阵的定义；
标准正交基的定义；
正交矩阵的定义；正交矩阵的等价表述（两组标准正交基间的过度矩阵）；
标准正交基的求法（施密特正交化方法）。
欧氏空间空间的子空间的正交补的定义（子空间的的正交补记为）；
命题 设是维欧氏空间的子空间，则；
推论 维欧氏空间中的任一两两正交的单位向量组都可以扩充为的标准正交基；
欧氏空间同构映射与同构的定义；
（第六章 §2）
正交变换的定义；
正交变换的四个等价表述；
命题 维欧氏空间上的正交变换的全体（关于映射的复合）构成群，称为维正交变换群，记为.
平行地，阶正交矩阵的全体（对于矩阵的乘法）构成群，称为阶正交群，也记为.
二类正交变换的概念；
第三周：
（第六章 §2）
命题 正交矩阵的特征多项式的根的绝对值等于1.
推论 正交矩阵的特征值只能是1.
命题 设A是维欧氏空间上的正交变换，若A的特征多项式有一个根e，则在内存在互相正交的单位向量，使得
A
A
命题 维欧氏空间上的正交变换的不变子空间的正交补仍是不变子空间.
定理 设A是维欧氏空间上的正交变换，则A在的某组标准正交基下的矩阵呈准对角形，其主对角线由和如下的二阶子阵组成：
（第六章 §3）
对称变换的定义；
命题 维欧氏空间上的线性变换是对称变换当且仅当它在标准正交基下的矩阵是实对称矩阵.
命题 实对称矩阵的特征根都是实数.
命题 维欧氏空间上的对称变换的属于不同特征值的特征向量必正交.
命题 维欧氏空间上的对称变换的不变子空间的正交补仍是不变子空间.
定理 设维欧氏空间上的对称变换某组标准正交基下的矩阵呈对角形.
推论 设是阶实对称矩阵，则存在阶正交矩阵，使得为对角阵.
推论 元实二次型经过适当的正交线性变数替换可以化为标准形.
用正交矩阵将实对称矩阵化成对角形的计算方法（亦即用正交线性变数替换将元实二次型化为标准形的计算方法）。
第四周：
（第六章 §3）
复线性空间中内积的定义，具有内积的复线性空间称为酉空间（欧氏空间在复线性空间上的推广）；
酉空间中向量的长度、单位向量的定义；
二向量正交的的定义；
标准正交基的定义；
标准正交基的求法；
酉矩阵的定义；酉矩阵的等价表述（两组标准正交基间的过度矩阵）；
酉空间空间的子空间的正交补的定义（子空间的的正交补记为）；
命题 设是维酉空间的子空间，则；
推论 维酉空间中的任一两两正交的单位向量组都可以扩充为的标准正交基；
酉空间同构映射与同构的定义；
酉变换的定义（正交变换在酉空间上的推广）；
酉变换的四个等价表述；
命题 维酉空间上的酉变换的全体（关于映射的复合）构成群，称为维酉变换群，记为.
平行地，阶酉矩阵的全体（对于矩阵的乘法）构成群，称为阶酉群，也记为.
厄米特变换、厄米特矩阵、厄米特二次型的定义（对称变换、实对称矩阵、实二次型的推广）。
（酉变换和厄米特变换都是下面的正规变换的特殊情形.）
酉空间上的线性变换的共轭变换的定义（线性变换A的共轭变换记为A ）；
共轭变换的四条性质；
正规变换的定义（酉变换的推广）；
（将酉变换的性质推广，有一般的结果：）
命题 酉空间上的线性变换A的不变子空间的正交补是共轭变换A 的不变子空间.
命题 酉空间上的正规变换A的属于特征值的特征向量的是共轭变换A 的属于特征值的特征向量.
命题 酉空间上的正规变换的属于不同特征值的特征向量互相正交.
定理 维酉空间上的正规变换在某组标准正交基下的矩阵是对角阵.
推论 维酉空间上的酉变换在某组标准正交基下的矩阵是对角阵.
命题 厄米特变换的特征值都是实数.
推论 维酉空间上的厄米特变换在某组标准正交基下的矩阵是实对角阵.
厄米特二次型的定义；
定理 厄米特二次型在适当的酉变数替换下可以化为标准形
其中都是实数；
（推广欧氏空间上的度量的概念，用以统一处理洛仑兹变换和辛变换）
数域上的维线性空间的任一满秩双线性函数都可以定义上的度量（以及一组基的度量矩阵）；在此度量下同样定义一个线性变换的共轭变换和正交变换；
在给定的基（度量矩阵为）下一个线性变换A（矩阵为）的共轭变换的矩阵，
如果A是正交变换，A的共轭变换等于A。
第五周：
（第六章 §4）
四维时空空间的度量的定义；
广义洛仑兹变换的定义（关于四维时空空间的度量的正交变换）；
广义洛仑兹变换的三条性质；
类时向量与正类时向量的定义；
洛仑兹变换的定义；
命题 广义洛仑兹变换是洛仑兹变换的充分必要条件是它在正类时向量上的作用封闭；
命题 洛仑兹变换所组成的集合（关于映射的复合）构成群（称为洛仑兹群）；
辛空间的定义（以反对称双线性函数为度量的线性空间）；
正交的定义；
基的度量矩阵的定义；
偶数维复空间第一、二类辛基的定义存在性；
辛变换的定义（偶数维辛空间上的正交变换）；
命题 偶数维辛空间上的线性变换A是辛变换的充分必要条件是A可逆且它的逆等于它的共轭变换；
命题 维辛空间上所有辛变换构成群，称为维辛变换群，所有的阶辛矩阵的全体构成群，称为阶辛群。
（第七章 §1）
幂零线性变换与幂零矩阵的定义；
命题 幂零线性变换的特征值等于0.
循环不变子空间、Jordan形矩阵、Jordan块的定义；
命题 数域上的维线性空间上的幂零线性变换在某组基下的矩阵可以成为Jordan形的充分必要条件是可以分解为循环不变子空间的直和.
定理 数域上的维线性空间上的幂零线性变换在某组基下的矩阵可以成为Jordan形。
第六周：
（第七章 §2）
定理 设A是数域上的维线性空间上的线性变换,如果A的特征值全属于，则A在的某组基下的矩阵为Jordan形，并且在不计Jordan块的意义下Jordan形是唯一的.
定理 设是数域上的阶方阵,如果的特征值全属于，则在上相似于Jordan形矩阵，并且在不计Jordan块的意义下Jordan形是唯一的.
Jordan 标准形的计算方法。
方阵的化零多项式的定义；
Hamilton–Cayley定理；
方阵的最小多项式的定义；
方阵的最小多项式与基域的变化无关；
由方阵的Jordan 标准形确定其最小多项式。
第七周：
期中考试。
（第八章 §1）
有理整数环中的带余除法；
用辗转相除法求二整数的最大公因子；
理想的定义；
主理想的定义；
命题 有理整数环的理想都是主理想；
主理想整环（PID）的定义；
唯一分解整环的定义；
定理 主理想整环是唯一分解整环.
推论（算术基本定理）。
第八周：
（第八章 §2）
有理整数环中的同余的定义；
同余是等价关系；
与互素的剩余类的定义；
Euler-函数；
Euler定理；
Fermat小定理；
中国剩余定理。
（第八章 §3）
模的剩余类环的定义；
个元素的有限域；
关于有限域上的线性代数的说明。
第九周：
（第九章 §1）
域上的一元多项式环的定义；
整除、因式、重因式、最大公因式、不可约多项式的定义；
带余除法；
用辗转相除法求二多项式的最大公因子。
一元多项式环的理想、主理想的定义；
命题 域上的一元多项式环是主理想整环；
推论 域上的一元多项式环是唯一分解整环；
理想的交与和的定义；
命题 域上的一元多项式环中二理想与的和等于由与的最大公因子生成的理想.
推论 设与是域上的一元多项式环中二多项式，与的最大公因子为，则存在、，使得。
第十周：
（第九章 §1）
用形式微商判断多项式是否有重因式。
模多项式同余的定义；
中国剩余定理；
Lagrenge插值公式；
Jordan-Chevally分解定理。
（第九章 §2）
复数域、实数域上多项式的因式分解。
第十一周：
（第九章 §1）
本原多项式的定义；
高斯引理；
推论 整系数本元多项式在Z中不可约当且仅当在Q中不可约.
推论 唯一分解整环上的多项式环仍是唯一分解整环；
爱森斯坦判别法；
有理整数环上的一元多项式的因子分解。
（第九章 §3）
复系数多项式的根的绝对值的上界；
斯图姆定理；
斯图姆序列的构造方法。
第十二周：
（第九章 §3）
域上的一元有理分式域的定义；
有理分式的准素分解式；
（第十章 §2）
对称多项式、初等对称多项式的定义；
定理 域上的对称多项式能唯一地表为初等对称多项式的多项式.
牛顿公式。
第十三周：
（第十章 §2）
一元多项式的判别式的定义；
（第十章 §3）
两个一元多项式的结式的定义；
命题 两个一元多项式的结式等于0当且仅当此二多项式不互素。
用一个多项式的根和另一个多项式计算结式的公式；
用一个多项式与它的微商的结式表达该多项式的判别式。
第十四周：
（第十二章 §1）
线性空间的一组基的对偶基的定义；
线性空间的多线性函数、多线性映射的定义（双线性函数、线性映射的推广）；
（第十二章 §2）
域上的二线性空间的张量积的定义（类似地有多个张量积的定义）；
定理 域上的二线性空间的张量积存在，并且在同构意义下是唯一的。
命题 在同构意义下张量积满足交换律、结合律以及与直和的分配律；
线性变换的张量积的定义；
线性变换的张量积的矩阵与线性变换的矩阵的关系；
线性变换的张量积的三条性质。
第十五周：
（第十章 §3）
张量的定义；
张量的记法（Einstein约定）；
逆变张量、协变张量和混合张量的定义；
张量的加法和乘法的定义。
（第十章 §3）
域上的线性空间的到域上的线性空间的重交错映射的定义；
重交错映射的三条性质；
用坐标计算重交错映射的像的公式；
外积的定义；
外积的泛性质（与张量积的定义性质类似）；
外代数中乘法的定义。
第十六、十七周：
复习与期末考试。
第一学期第一周：
（第一章 §1）
代数系统的概念；数域的定义；
定理 任一数域都包含有理数域；
集合的运算，集合的映射（像与原像、单射、满射、双射）的概念；求和号与求积号。
（第一章 §2）
高等代数基本定理及其等价命题；
推论 数域上的两个次数小于m的多项式如果在m个不同的复数处的取值相等，则此二多项式相等；
韦达定理；
实系数代数方程的根成对出现；
推论 实数域上的奇数次一元代数方程至少有一个实根。
第二周：
（第一章 §3）
数域K上的线性方程组的初等变换的定义；
命题 线性方程组经过初等变换后与原方程组同解；
线性方程组的系数矩阵和增广矩阵的以及矩阵的初等变换的定义；
线性方程组无解、有唯一解和有无穷多解的判别准则；
命题 变元个数大于方程个数的齐次线性方程组必有非零解；
线性方程组的解的存在性与数域的变化无关（这不同于高次代数方程）。
（第二章 §1）
向量和n维向量空间的定义及性质；
线性组合和线性表出的定义；
向量组的线性相关与线性无关的定义以及等价表述。
第三周：
（第二章 §1）
向量组的秩；
向量组的线性等价；极大线性无关组；
集合上的等价关系。
（第二章 §2）
矩阵的行秩与列秩，行（列）初等变换不改变行（列）秩；
命题 矩阵的行（列）初等变换不改变列（行）秩；
矩阵的转置；
推论 矩阵的行、列秩相等，称为矩阵的秩，矩阵的秩记为r；
满秩方阵；
矩阵的相抵；相抵是等价关系；秩是相抵等价类的完全不变量；
用初等变换求矩阵的秩。
第四周：
（第二章 §3）
齐次线性方程组的基础解系；
定理 数域上的齐次线性方程组的基础解系中的向量个数等于变元个数减去系数矩阵的秩；
基础解系的求法；
非齐次线性方程组的解的结构。
（第二章 §4）
矩阵的加法和数乘的定义；
矩阵的乘法的定义，
矩阵的运算（加法、数乘、乘法、转置）的性质；
矩阵的和与积的秩。
第五周：
（第二章 §5）
n阶方阵，对角矩阵，数量矩阵，单位矩阵，初等矩阵，对称、反对称、上三角、下三角矩阵；
命题 矩阵的初等行（列）变换等价于左（右）乘初等矩阵；
定理 一个方阵是满秩的当且仅当它能表示为初等矩阵的乘积。
推论 设是满秩矩阵，对于任意矩阵，有rr，rr（只要乘法有意义）.
可逆矩阵，方阵的逆矩阵的定义；
群和环的定义；
命题 数域上的阶可逆矩阵的全体关于矩阵的乘法构成群，称为上的一般线性群，记为GL；数域上的阶方阵的全体关于矩阵的加、乘法构成环，称为上的全矩阵环，记为M；
可逆矩阵转置的逆矩阵；
命题 矩阵可逆当且仅当满秩；
用初等变换求可逆矩阵的逆矩阵，矩阵方程和的解法（为可逆阵）；
例 设和为数域上的和矩阵，则
rr+r
第六周：
（第二章 §6）
分块矩阵的乘法，准对角阵的乘积和秩，可逆准对角阵的逆矩阵；
命题 分块矩阵的秩大于等于与的秩的和；
命题 设、、为数域上的三个可以连乘的矩阵，则
rrr r.
矩阵分块技巧的运用（挖洞法）。
（第三章 §1，§2）
平行四边形的有向面积和平行六面体的有向体积具有的三条性质；
利用上述三条性质定义阶方阵的行列式函数的det；
定理 行列式函数存在、唯一；
行列式的六条性质。
第七周：
（第三章 §2）
行列式的展开式；
范德蒙行列式；
准对角阵的行列式；
可微函数的方阵的行列式的微商。
（第三章 §3）
行列式的应用：用行列式求逆矩阵；克莱姆法则（解线性方程组）；
矩阵乘积的行列式；
用矩阵的子式的行列式刻画矩阵的秩。
第八周：
（第三章 §4）
行列式的完全展开式。
期中考试。
第九周：
（第四章 §1）
线性空间的定义及例；
零向量和负向量的唯一性，向量减法的定义，线性空间的加法和数乘运算与通常数的加、乘法类似的性质；
线性空间中线性组合和线性表出的定义，向量组的线性相关与线性无关的定义以及等价表述，向量组的秩，向量组的线性等价；极大线性无关组。
线性空间的基与维数，向量的坐标。
第十周：
（第四章 §1，§2）
线性空间的基变换，基的过渡矩阵；
向量的坐标变换公式；中的两组基的过渡矩阵；
线性空间的子空间的定义（等价于在减法和数乘下封闭）。
子空间的交与和，生成元集；
维数公式。
第十一周：
（第四章 §2）
子空间的直和的四个等价定义；
直和因子的基的并构成直和的基；
补空间的定义及存在性（通常不唯一）。
线性空间关于一个子空间的同余关系（是等价关系）
商空间的定义（线性空间关于子空间的商空间记为），定义的合理性；
命题 ；
商空间的基的选取。
第十二周：
（第四章 §3）
线性映射的定义（由数域上的线性空间到的-线性映射的全体记为Hom，或简记为Hom）；
线性空间的同构的定义，同构映射的逆映射也是同构映射；
线性映射的核（ker）、像（im）与余核（coker）的定义；
命题 线性映射是单的当且仅当ker，是满的当且仅当coker.
定理（同态基本定理） 设是数域上的线性空间的满线性映射，则映射
是同构映射.
线性映射的加法和数乘的定义，Hom在加法和数乘下构成数域上的线性空间；
线性映射在一组基下的矩阵的定义；
命题 设和是数域上的线性空间，，，则Hom同构于上的矩阵的全体构成的线性空间.
线性映射的复合的矩阵等于矩阵的乘积。
第十三周：
（第四章 §3）
线性空间到自身的线性映射称为线性变换（Hom记为End或End）；.
End关于加法和复合（作为乘法）构成环，称为的自同态环；设为数域上的维线性空间，则End同构于M；
线性变换（在一组基下）的矩阵的定义是线性映射的矩阵的特例；在给定的基下向量在线性变换下的像的坐标等于的线性变换的矩阵乘以原来向量的坐标；
命题 设线性变换A在一组基下的矩阵为，由基到基的过渡矩阵为，则A在下的矩阵为.
矩阵的相似的定义；二矩阵相似当且仅当它们是同一个线性变换在两组基下的矩阵。
（第四章 §4）
线性变换的特征值与特征向量的定义；
线性空间中属于确定的特征值的特征向量（添加上零向量）构成子空间，称为属于特征值的特征子空间；
特征值和特征子空间的计算（用特征多项式以及线性方程组）。
第十四周：
（第四章 §4）
命题 线性变换的属于不同特征值的特征向量线性无关.
推论 维空间的具有个不同特征值的线性变换的矩阵相似于对角矩阵.
定理 维空间线性变换的矩阵相似于对角矩阵的充分必要条件是该空间等于特征子空间的直和.
线性变换的不变子空间的定义；
命题 维空间线性变换的矩阵相似于准对角矩阵的充分必要条件是该空间能分解为不变子空间的直和.
命题 如果维空间线性变换A的矩阵相似于对角矩阵，则A在任一不变子空间上（的限制）的矩阵相似于对角矩阵.
（第四章 §5）
线性变换在（关于不变子空间的）商空间上的诱导变换的定义；
命题 设A是维线性空间上的线性变换，是A的不变子空间，则A的特征多项式等于A的特征多项式与A在商空间上的诱导变换的特征多项式的乘积.
命题 设A是数域上的线性空间上的线性变换，则A的特征多项式的根都属于当且仅当A在的某组基下的矩阵为上三角形。
第十五周：
（第五章 §1）
线性空间上的线性函数的定义；
数域上的维线性空间上的线性函数的全体关于函数加法和数乘构成上的维线性空间，称为的对偶空间，记为；
线性空间上的双线性函数的定义；
双线性函数在给定基下的矩阵；
数域上的维线性空间上的双线性函数的全体关于函数加法和数乘构成上的维线性空间（与M作为上线性空间同构）；
命题 设线性空间上的双线性函数在一组基下的矩阵为，由基到基的过渡矩阵为，则在下的矩阵为,
矩阵合同的定义；合同是一个等价关系；
双线性函数的秩定义为该函数在一组基下的矩阵的秩。
线性空间上的对称双线性函数、二次型函数的定义；
对称双线性函数与二次型函数一一对应；
定理 数域上的维线性空间上的双线性函数的矩阵必合同于对角阵.
（第五章 §1）
数域上的二次型的定义，二次型对应的二次型函数的定义；二次型的矩阵和秩的定义；
定理 数域上的元二次型在可逆变数替换下可以化为只有平方项的标准形.
二次型化为标准形的计算方法（配方法）。
第十六、十七周：
复习与期末考试。
第二学期第一周：
（第五章 §3）
定理 复数域上的任一二次型在可逆变数替换下都可化为规范形
其中是的秩,复二次型的规范形是唯一的.
定理 实数域上的任一二次型在可逆变数替换下都可化为规范形
其中正平方项的个数称为的正惯性指数，负平方项的个数称为的负惯性指数（称为的符号差），是的秩,实二次型的规范形是唯一的.
正惯性指数等于变元个数的实二次型称为正定二次型；
正定二次型的（实对称）矩阵称为正定矩阵；
方阵的顺序主子式的定义；
定理 设是实二次型，则下述四条等价：
（i） 正定；
（ii） 的矩阵，其中为可逆阵；
（iii） 对应的二次型函数R;
（iv） 的矩阵的所有顺序主子式都大于0.
半正定二次型、负定二次型、半负定二次型、不定二次型的定义。
第二周：
（第六章 §1）
实线性空间中二向量的内积的定义；具有内积的实线性空间称为欧几里得空间（简称欧氏空间）；
欧氏空间中向量的长度、单位向量的定义；
柯西—布尼雅可夫斯基不等式；二向量的夹角的定义，二向量正交的的定义；
有限维的欧氏空间的一组基的度量矩阵的定义；
标准正交基的定义；
正交矩阵的定义；正交矩阵的等价表述（两组标准正交基间的过度矩阵）；
标准正交基的求法（施密特正交化方法）。
欧氏空间空间的子空间的正交补的定义（子空间的的正交补记为）；
命题 设是维欧氏空间的子空间，则；
推论 维欧氏空间中的任一两两正交的单位向量组都可以扩充为的标准正交基；
欧氏空间同构映射与同构的定义；
（第六章 §2）
正交变换的定义；
正交变换的四个等价表述；
命题 维欧氏空间上的正交变换的全体（关于映射的复合）构成群，称为维正交变换群，记为.
平行地，阶正交矩阵的全体（对于矩阵的乘法）构成群，称为阶正交群，也记为.
二类正交变换的概念；
第三周：
（第六章 §2）
命题 正交矩阵的特征多项式的根的绝对值等于1.
推论 正交矩阵的特征值只能是1.
命题 设A是维欧氏空间上的正交变换，若A的特征多项式有一个根e，则在内存在互相正交的单位向量，使得
A
A
命题 维欧氏空间上的正交变换的不变子空间的正交补仍是不变子空间.
定理 设A是维欧氏空间上的正交变换，则A在的某组标准正交基下的矩阵呈准对角形，其主对角线由和如下的二阶子阵组成：
（第六章 §3）
对称变换的定义；
命题 维欧氏空间上的线性变换是对称变换当且仅当它在标准正交基下的矩阵是实对称矩阵.
命题 实对称矩阵的特征根都是实数.
命题 维欧氏空间上的对称变换的属于不同特征值的特征向量必正交.
命题 维欧氏空间上的对称变换的不变子空间的正交补仍是不变子空间.
定理 设维欧氏空间上的对称变换某组标准正交基下的矩阵呈对角形.
推论 设是阶实对称矩阵，则存在阶正交矩阵，使得为对角阵.
推论 元实二次型经过适当的正交线性变数替换可以化为标准形.
用正交矩阵将实对称矩阵化成对角形的计算方法（亦即用正交线性变数替换将元实二次型化为标准形的计算方法）。
第四周：
（第六章 §3）
复线性空间中内积的定义，具有内积的复线性空间称为酉空间（欧氏空间在复线性空间上的推广）；
酉空间中向量的长度、单位向量的定义；
二向量正交的的定义；
标准正交基的定义；
标准正交基的求法；
酉矩阵的定义；酉矩阵的等价表述（两组标准正交基间的过度矩阵）；
酉空间空间的子空间的正交补的定义（子空间的的正交补记为）；
命题 设是维酉空间的子空间，则；
推论 维酉空间中的任一两两正交的单位向量组都可以扩充为的标准正交基；
酉空间同构映射与同构的定义；
酉变换的定义（正交变换在酉空间上的推广）；
酉变换的四个等价表述；
命题 维酉空间上的酉变换的全体（关于映射的复合）构成群，称为维酉变换群，记为.
平行地，阶酉矩阵的全体（对于矩阵的乘法）构成群，称为阶酉群，也记为.
厄米特变换、厄米特矩阵、厄米特二次型的定义（对称变换、实对称矩阵、实二次型的推广）。
（酉变换和厄米特变换都是下面的正规变换的特殊情形.）
酉空间上的线性变换的共轭变换的定义（线性变换A的共轭变换记为A ）；
共轭变换的四条性质；
正规变换的定义（酉变换的推广）；
（将酉变换的性质推广，有一般的结果：）
命题 酉空间上的线性变换A的不变子空间的正交补是共轭变换A 的不变子空间.
命题 酉空间上的正规变换A的属于特征值的特征向量的是共轭变换A 的属于特征值的特征向量.
命题 酉空间上的正规变换的属于不同特征值的特征向量互相正交.
定理 维酉空间上的正规变换在某组标准正交基下的矩阵是对角阵.
推论 维酉空间上的酉变换在某组标准正交基下的矩阵是对角阵.
命题 厄米特变换的特征值都是实数.
推论 维酉空间上的厄米特变换在某组标准正交基下的矩阵是实对角阵.
厄米特二次型的定义；
定理 厄米特二次型在适当的酉变数替换下可以化为标准形
其中都是实数；
（推广欧氏空间上的度量的概念，用以统一处理洛仑兹变换和辛变换）
数域上的维线性空间的任一满秩双线性函数都可以定义上的度量（以及一组基的度量矩阵）；在此度量下同样定义一个线性变换的共轭变换和正交变换；
在给定的基（度量矩阵为）下一个线性变换A（矩阵为）的共轭变换的矩阵，
如果A是正交变换，A的共轭变换等于A。
第五周：
（第六章 §4）
四维时空空间的度量的定义；
广义洛仑兹变换的定义（关于四维时空空间的度量的正交变换）；
广义洛仑兹变换的三条性质；
类时向量与正类时向量的定义；
洛仑兹变换的定义；
命题 广义洛仑兹变换是洛仑兹变换的充分必要条件是它在正类时向量上的作用封闭；
命题 洛仑兹变换所组成的集合（关于映射的复合）构成群（称为洛仑兹群）；
辛空间的定义（以反对称双线性函数为度量的线性空间）；
正交的定义；
基的度量矩阵的定义；
偶数维复空间第一、二类辛基的定义存在性；
辛变换的定义（偶数维辛空间上的正交变换）；
命题 偶数维辛空间上的线性变换A是辛变换的充分必要条件是A可逆且它的逆等于它的共轭变换；
命题 维辛空间上所有辛变换构成群，称为维辛变换群，所有的阶辛矩阵的全体构成群，称为阶辛群。
（第七章 §1）
幂零线性变换与幂零矩阵的定义；
命题 幂零线性变换的特征值等于0.
循环不变子空间、Jordan形矩阵、Jordan块的定义；
命题 数域上的维线性空间上的幂零线性变换在某组基下的矩阵可以成为Jordan形的充分必要条件是可以分解为循环不变子空间的直和.
定理 数域上的维线性空间上的幂零线性变换在某组基下的矩阵可以成为Jordan形。
第六周：
（第七章 §2）
定理 设A是数域上的维线性空间上的线性变换,如果A的特征值全属于，则A在的某组基下的矩阵为Jordan形，并且在不计Jordan块的意义下Jordan形是唯一的.
定理 设是数域上的阶方阵,如果的特征值全属于，则在上相似于Jordan形矩阵，并且在不计Jordan块的意义下Jordan形是唯一的.
Jordan 标准形的计算方法。
方阵的化零多项式的定义；
Hamilton–Cayley定理；
方阵的最小多项式的定义；
方阵的最小多项式与基域的变化无关；
由方阵的Jordan 标准形确定其最小多项式。
第七周：
期中考试。
（第八章 §1）
有理整数环中的带余除法；
用辗转相除法求二整数的最大公因子；
理想的定义；
主理想的定义；
命题 有理整数环的理想都是主理想；
主理想整环（PID）的定义；
唯一分解整环的定义；
定理 主理想整环是唯一分解整环.
推论（算术基本定理）。
第八周：
（第八章 §2）
有理整数环中的同余的定义；
同余是等价关系；
与互素的剩余类的定义；
Euler-函数；
Euler定理；
Fermat小定理；
中国剩余定理。
（第八章 §3）
模的剩余类环的定义；
个元素的有限域；
关于有限域上的线性代数的说明。
第九周：
（第九章 §1）
域上的一元多项式环的定义；
整除、因式、重因式、最大公因式、不可约多项式的定义；
带余除法；
用辗转相除法求二多项式的最大公因子。
一元多项式环的理想、主理想的定义；
命题 域上的一元多项式环是主理想整环；
推论 域上的一元多项式环是唯一分解整环；
理想的交与和的定义；
命题 域上的一元多项式环中二理想与的和等于由与的最大公因子生成的理想.
推论 设与是域上的一元多项式环中二多项式，与的最大公因子为，则存在、，使得。
第十周：
（第九章 §1）
用形式微商判断多项式是否有重因式。
模多项式同余的定义；
中国剩余定理；
Lagrenge插值公式；
Jordan-Chevally分解定理。
（第九章 §2）
复数域、实数域上多项式的因式分解。
第十一周：
（第九章 §1）
本原多项式的定义；
高斯引理；
推论 整系数本元多项式在Z中不可约当且仅当在Q中不可约.
推论 唯一分解整环上的多项式环仍是唯一分解整环；
爱森斯坦判别法；
有理整数环上的一元多项式的因子分解。
（第九章 §3）
复系数多项式的根的绝对值的上界；
斯图姆定理；
斯图姆序列的构造方法。
第十二周：
（第九章 §3）
域上的一元有理分式域的定义；
有理分式的准素分解式；
（第十章 §2）
对称多项式、初等对称多项式的定义；
定理 域上的对称多项式能唯一地表为初等对称多项式的多项式.
牛顿公式。
第十三周：
（第十章 §2）
一元多项式的判别式的定义；
（第十章 §3）
两个一元多项式的结式的定义；
命题 两个一元多项式的结式等于0当且仅当此二多项式不互素。
用一个多项式的根和另一个多项式计算结式的公式；
用一个多项式与它的微商的结式表达该多项式的判别式。
第十四周：
（第十二章 §1）
线性空间的一组基的对偶基的定义；
线性空间的多线性函数、多线性映射的定义（双线性函数、线性映射的推广）；
（第十二章 §2）
域上的二线性空间的张量积的定义（类似地有多个张量积的定义）；
定理 域上的二线性空间的张量积存在，并且在同构意义下是唯一的。
命题 在同构意义下张量积满足交换律、结合律以及与直和的分配律；
线性变换的张量积的定义；
线性变换的张量积的矩阵与线性变换的矩阵的关系；
线性变换的张量积的三条性质。
第十五周：
（第十章 §3）
张量的定义；
张量的记法（Einstein约定）；
逆变张量、协变张量和混合张量的定义；
张量的加法和乘法的定义。
（第十章 §3）
域上的线性空间的到域上的线性空间的重交错映射的定义；
重交错映射的三条性质；
用坐标计算重交错映射的像的公式；
外积的定义；
外积的泛性质（与张量积的定义性质类似）；
外代数中乘法的定义。
第十六、十七周：
复习与期末考试。
