序
高等代数是大学数学科学学院（或数学系，应用数学系）最主要的基础课程之一。本套教材是作者在北京大学进行高等代数课程建设和教学改革的成果，它具有下述鲜明特色。
１．明确主线：以研究线性空间和多项式环的结构及其态射（线性映射，多项式环的通用性质）为主线。自从１８３２年伽罗瓦（Ｇａｌｏｉｓ）利用一元高次方程的根的置换群给出了方程有求根公式的充分必要条件之后，代数学的研究对象发生了根本性的转变。研究各种代数系统的结构及其态射（即保持运算的映射）成为现代代数学研究的中心问题。２０世纪，代数学研究结构及其态射的观点已经渗透到现代数学的各个分支中。因此，在高等代数课程的教学中贯穿研究线性空间和多项式环的结构及其态射这条主线，就是把握住了代数学的精髓。
本套教材上册的第１，２，３章研究线性方程组的解法、解的情况的判别和解集的结构时，贯穿了研究数域犓上狀维向量空间犓狀及其子空间的结构这条主线。线性方程组是数学中最基础、最有用的知识，狀维向量空间犓狀是狀维线性空间的一个具体模型，狀元齐次线性方程组的解空间的维数公式本质上是线性映射的核与值域的维数公式。因此把线性方程组和狀维向量空间犓狀作为高等代数课程的开始部分的内容，既符合学生的认知规律，又是高等代数知识的内在规律的体现。上册的第４，５，６章研究矩阵的运算，矩阵的相抵、相似、合同关系及与它们有关的矩阵的特征值和特征向量、二次型。研究矩阵
的运算为研究线性映射打下了基础。矩阵的相抵关系在解决有关矩阵的秩的问题中起着重要作用，而矩阵的秩本质上是相应的线性映射的值域的维数。研究矩阵的相似标准形本质上是研究线性变换在一个合适的基下的矩阵具有最简单的形式。研究对称矩阵的合同标准形与研究二次型的化简密切相关，而二次型与线性空间犞上的双线性函数有密切联系。
本套教材下册的第７章研究一元和狀元多项式环的结构及其态射（多项式环的通用性质），第８章研究线性空间的结构，第９章研究线性映射，第１０章研究具有度量的线性空间的结构及与度量有关的线性变换。第１１章研究多重线性代数时，基础概念是多重线性映射，主要工具是线性空间的张量积。
２．内容全面。本套教材包括线性代数，多项式理论，环、域、群的概念及重要例子，多重线性代数，共四部分。在下册第７章从数域犓上所有一元多项式组成的集合、整数集、数域犓上所有狀级矩阵组成的集合都有加法和乘法运算，自然而然地引出了环的概念；从数域犓上所有分式组成的集合、模狆剩余类（狆是素数）组成的集合，水到渠成地引出了域的概念。于是我们在下册第８章讲的是任意域上的线性空间，而不只是数域上的线
性空间。这是当今信息时代的需要，因为在信息的安全与可靠中大量使用二元域上的线性空间理论。我们不仅着重研究有限维的线性空间，也研究无限维的线性空间，因为许多函数空间都是无限维线性空间。我们在第９章不仅研究线性变换的Ｊｏｒｄａｎ标准形，
而且研究线性变换的有理标准形。我们在第１０章不仅研究欧几里得空间和酉空间，
而且研究正交空间和辛空间；不仅研究欧几里得空间上的正交变换、对称变换，酉空间上的酉变换，而且研究酉空间上的Ｈｅｒｍｉｔｅ变换、正规变换。在第１０章讲了欧几里得空间上的正交变换，酉空间上的酉变换，正交空间上的正交变换，辛空间上的辛变换之后，水到渠成地引出群的概念，介绍了正交群、酉群、辛群。我们在第１１章研究了线性空间的张量积，
张量及张量代数，外代数（或格拉斯曼（Ｇｒａｓｓｍａｎｎ
）代数），它们在微分几何、现代分析、群表示论和量子力学等领域中有重要应用。
本套教材的第一、二、三个组成部分，内容之间的内在联系可以用下述框图来表示
：
·Ⅱ·高等代数（上册）
３．理论深刻。本套教材阐述了深刻的理论，
证明了许多重要结论。举例如下：矩阵犃的秩是犃的行向量组的秩，也是犃的列向量组的秩。犃的秩等于犃的不为
零的子式的最高阶数，
等于犃的行向量组生成的子空间（简称为行空间）的维数，等于犃的列向量组生成的子空间（简称为列空间）的维数。设犞是域犉上的狀维线性空间，犞上
的线性变换犃在犞的一个基α１，α２，…，α狀下的矩阵为犃，
则犃的秩等于犃的值域的维数。设犞中向量组β１，β２，…，β狊的坐标组成的矩阵为犅，则犅的秩等于β１，β２，…，β
狊生成的子空间的维数。由此可知，矩阵的秩是一个非常深刻的概念，它有许多重要应用。例如，线
性方程组有解的充分必要条件是它的系数矩阵与增广矩阵有相等的秩。狀元齐次线性方程组犃犡＝０的解空间的维数等于狀－ｒａｎｋ（犃）。矩阵方程犃犡＝犅有解的充分必要条件是
ｒａｎｋ（犃）＝ｒａｎｋ（犃，犅）。矩阵方程犃犅犡＝犃有解的充分必要条件是ｒａｎｋ（犃犅）＝ｒａｎｋ（犃）。矩阵方程犃犡－犢犅＝犆有解的充分必要条件是
ｒａｎｋ犃００（）犅＝ｒａｎｋ犃犆０（）犅．
域犉上狀级矩阵犃是幂等矩阵（即犃２＝犃）当且仅当
ｒａｎｋ（犃）＋ｒ
ａｎｋ（犐－犃）＝狀．特征不等于２的域犉上狀级矩阵犃是对合矩阵（即犃２＝犐）
当且仅当ｒａｎｋ（犃＋犐）＋ｒ
ａｎｋ（犃－犐）＝狀．设犃１，犃２，…，犃狊都是域犉上的狀级矩阵，则犃１，犃２，…，犃狊都是幂等矩阵且犃犻
犃犼＝０（当犻≠犼）
的充分必要条件是∑狊犻＝１犃犻是幂等矩阵，且ｒａｎｋ（∑狊
犻＝１犃犻）＝∑狊
犻＝１ｒａｎｋ（犃犻
）．Ｓｙ
ｌｖｅｓｔｅｒ秩不等式：设犃、犅分别是域犉上狊×狀，狀×犿矩阵，则ｒａｎｋ（犃犅）≥
ｒａｎｋ（犃）＋ｒａｎｋ（犅）－狀．在Ｓｙ
ｌｖｅｓｔｅｒ秩不等式中，等号成立的充分必要条件是ｒａｎｋ犃０犐狀（）犅＝ｒａｎｋ犃００（）犅．
设犃，
犅分别是域犉上狊×狀，狀×狊矩阵，则ｒａｎｋ（犃－犃犅犃）＝ｒａｎｋ（犃）＋ｒａｎｋ（犐狀－犅
犃）－狀．从而犅是犃的一个广义逆当且仅当ｒａｎｋ（犃）＋ｒａｎｋ（犐狀－
犅犃）＝狀。设犃，犅，犆，犇都是数域犓上的狀级矩阵，且犃犆＝犆犃，
则犃犅
犆犇＝狘
犃犇－犆犅狘． 设犃，
犅分别是数域犓上的狊×狀，狀×狊矩阵，则狘犐狊－犃犅狘＝狘犐狀－犅
犃狘．利用这个结论证得，犃犅与犅犃有相同的非零特征值，
并且重数相同。设犃＝犃１犃２犃３犃烄烆
烌烎４是数域犓上狀级对称矩阵，且犃１是狉级可逆矩阵，则·
Ⅲ·序
犃
犃１０
０犃４－犃２′犃－１１犃
烄
烆
烌
烎
２
，狘犃狘＝狘犃
１狘狘犃４－犃２′犃－１１犃２狘．
利用这个结论简洁地证得，实对称矩阵犃是正定的充分必要条件是：犃的所有顺序主子
式全大于０。利用上述结论还证得，设犕＝
犃犅
（）
犅′犇
是狀级正定矩阵，则狘犕狘≤狘犃狘狘犇狘，
等号成立当且仅当犅＝０。进而证得，若犃＝（犪
犻犼）是狀级正定矩阵，则狘犃狘≤犪
１１犪２２
…犪
狀狀
，
等号成立当且仅当犃是对角矩阵。由此立即得到Ｈａｄａｍａｒｄ不等式：
若犆＝（犮
犻犼
）是狀级实矩阵，则狘犆狘２≤∏狀
犼＝１（犮２
１犼＋犮２２犼＋
…＋犮２
狀犼
）．
数域犓上狀级矩阵犃能够分解成一个主对角元都为１的下三角矩阵犅与可逆上三角矩阵犆的乘积犃＝犅犆（称为犔犝－分解）当且仅当犃的各阶顺序主子式全不为０，并且犃的这种分解是唯一的。
狀级实可逆矩阵犃能够唯一地分解成正交矩阵犜与主对角元都为正数的上三角矩阵犅的乘积犃＝犜犅。
设犃是犿×狀列满秩实矩阵，则犃能够唯一地分解成犃＝犙犚，其中犙是列向量组为正交单位向量组的
犿×狀矩阵，犚是主对角元都为正数的狀级上三角矩阵，这称为犙犚－分解。
设犃是狀级实可逆矩阵，则存在正交矩阵犜和两个正定矩阵犛
１，犛
２
，使得犃＝犜犛
１＝
犛２犜，并且犃的这两种分解的每一种都是唯一的。（这称为极分解定理）。
设犃是狀级复可逆矩阵，则存在酉矩阵犘和两个正定Ｈｅｒｍｉｔｅ矩阵犎
１，犎
２
，使得
犃＝犘犎１＝犎２犘，并且犃的这两种分解的每一种都是唯一的。（这也称为极分解定理）。
对于任一狀级实可逆矩阵犃，存在两个正交矩阵犜
１，犜
２
，使得
犃＝犜１ｄｉａｇ｛λ１，λ２，…，λ狀｝犜２，其中λ２１，λ２２，…，λ２狀是犃′犃的全部特征值。
设犃是犿×狀实矩阵，则犃可以分解成犃＝犙犇犜′，其中犙是列向量组为正交单位向量
组的犿×狀矩阵；犇是主对角元λ
１，λ
２
，…，λ
狀
全为非负数的狀级对角矩阵，且λ２
１
，λ２
２
，…，λ２
狀
是
犃′犃的全部特征值；犜是狀级正交矩阵，它的第犼列是犃′犃的属于特征值λ２犼的一个特征向量，犼＝１，２，…，狀。犃的这种分解称为奇异值分解，其中犇的非零的主对角元称为犃的奇异值。犃的奇异值分解在生物统计学等领域中有应用。
设犳（狓），犵（狓）∈犉［狓］，域犈 犉，则在犉［狓］中犵（狓）｜犳（狓）当且仅当在犈［狓
］中
犵（狓）｜犳（狓），称之为整除性不随域的扩大而改变。犳（狓）与犵（狓）的首项系数为１的最大公因式也不随域的扩大而改变，从而互素性也不随域的扩大而改变。若犉是特征为０的域，则犳（狓）有无重因式不随域的扩大而改变。我们证明了：设犃是域犉上的狀级矩阵，域犈 犉，则犃的最小多项式犿（λ）不随域的扩大而改变。显然，犃的特征多项式不随域的扩大而改变。我们还证明了：犃的特征多项式犳（λ）与犃的最小多项式犿（λ）在域犉中有相同的根（重数可以不同），在域犈中也有相同的根（重数可以不同）。
本套教材在研究线性空间的结构时，证明了有限维线性空间的许多结论对于无限维
线性空间也成立。例如，域犉上线性空间犞的两个子空间犞
１，犞
２
（它们可以是无限维的）
的和是直和当且仅当犞
１的一个基与犞
２
的一个基合起来是犞
１＋犞２
的一个基。域犉上线
·
Ⅳ
·高等代数（上册）
性空间犞的任一子空间犠（可以是无限维的）都有补空间，即存在犞的子空间犝，使得
犞＝犠 犝。从而对于犞的任一子空间犠，
都存在平行于犠的一个补空间犝在犠上的投影犘犠，并且Ｉｍ犘犠＝犠，Ｋｅｒ犘犠＝犝。
若犃是域犉上线性空间犞上的幂等线性变换，则犃是平行于Ｋｅｒ犃在Ｉｍ犃上的投影，且犞＝Ｉｍ犃 Ｋｅｒ犃。反之，
若犞＝犠 犝，则平行于犝在犠上的投影犘犠是幂等变换，平行于犠在犝上的投影犘犝也是幂等变换，且犘犝犘犠＝犘犠犘犝＝０（此时称犘犝与犘犠正交），犘犝＋
犘犠＝犐。投影是最基本的线性变换。设犞是域犉上的线性空间（可以是无限维的），犃是犞上的一个线性变换。在犉［狓］中，犳（狓）＝犳１（狓）犳２（狓）…犳狊（狓），其中犳１（狓），犳２（狓），…，犳狊（
狓）两两互素，则Ｋｅｒ犳（犃）＝Ｋｅｒ犳１（犃） Ｋｅｒ犳２（犃） … Ｋｅｒ犳狊（
犃）．（１） 设犃是域犉上狀维线性空间犞上的线性变换，如果犃的特征多项式犳（λ）在犉［λ］
中能分解成
犳（λ）＝（λ－λ１）狉１（λ－λ２）狉２…（λ－λ狊）狉狊，
（２
）其中λ１，λ２，…，λ狊是犉中两两不等的元素，狉犻＞
０，犻＝１，２，…，狊。则犞＝Ｋｅｒ（犃－λ１犐）狉１ Ｋｅｒ（犃－λ２犐）狉２ … Ｋｅｒ（犃－λ狊犐）狉狊，其中Ｋｅｒ（犃－λ犼犐）狉犼，犼＝１，２，…，狊，称为犃的根子空间；并且犃的根子空间Ｋｅｒ（犃－λ犼
犐）狉犼的维数等于犃的特征值λ犼的代数重数狉犼，
犼＝１，２，…，狊。若犃的最小多项式犿（λ）在犉［λ］
中的标准分解式为犿（λ）＝（λ－λ１）犾１（λ－λ２）犾２…（λ－λ狊）犾狊，
（３）则犞＝Ｋｅｒ（犃－λ１犐）犾１ Ｋｅｒ（犃－λ２犐）犾２ … Ｋｅｒ（犃－λ狊
犐）犾狊，（４）并且Ｋｅｒ（犃－λ犼犐）犾犼等于犃的根子空间Ｋｅｒ（犃－λ犼
犐）狉犼，犼＝１，２，…，狊。对于域犉上狀维线性空间犞上的线性变换犃，若它的最小多项式犿（λ）在犉［λ］中能分解成上述一次因式的方幂的乘积，我们通过把犞分解成犃的根子空间的直和，在犃的
每个根子空间犠犼＝Ｋｅｒ（犃－λ犼
犐）犾犼中取一个合适的基（通过犠犼上的幂零变换犅犼＝犃｜犠犼－λ犼
犐来找合适的基），使得犃｜犠犼在此基下的矩阵犃犼为一个Ｊｏｒｄａｎ形矩阵；把犠犼（犼＝１，
２，…，狊）的基合起来成为犞的一个基，则犃在犞的这个基下的矩阵犃＝ｄｉａｇ｛犃１，犃２，…，犃狊｝
是一个Ｊｏｒｄａｎ形矩阵，称它为犃的Ｊｏｒｄａｎ标准形。除去Ｊｏｒｄａｎ块的排列次序外，犃的Ｊｏｒｄａｎ标准形是唯一的。
Ｗｉｔｔ消去定理的推广：设犉是特征不等于２的域，犃１，犃２是域犉上狀级对称矩阵，
犅１，犅２是域犉上的犿级对称矩阵。如果
犃１００犅烄烆烌烎１
犃２００犅烄烆烌烎
２，且犃１ 犃２，那么犅１ 犅２。
设犞是特征不为２的域犉上的狀维线性空间，犳是犞上的对称或斜对称双线性函数，犠是犞的一个非平凡子空间，
则犞＝犠 犠⊥的充分必要条件为犳在犠上的限制是非退化的，其中犠⊥∶＝｛α∈犞｜犳（α，β）＝０， β∈犠｝
。设狇是欧几里得空间犚狀上的一个二次函数，则狇的零锥犛（即：使得狇（ξ）
＝０的所有ξ组成的集合）包含犚狀的一个标准正交基的充分必要条件是：狇在犚狀的一个标准正交基·
Ⅴ·序
