读书笔记：高等代数上册

内容&特点&体会
附录
- 第一章线性方程组的解法
- 第二章方阵的行列式
- 第三章 n维向量空间线性方程组理论
- 第四章矩阵的运算
- 第五章矩阵的相抵分类与相似分类
- 第六章二次型矩阵的合同分类

既然是从头开始捞起，就绕不过线性代数。虽然有诸如David Lay的线性代数及其应用、Gilbert Strang的线性代数导论这种公认的线性代数优秀教材，由于受到一位计算机牛人的心得，谈到计算机和数学，很实用~ （转载，原出处不明）这篇博文的影响，我还是决心看一本起名是高等代数的教材，最终在图书馆中找到了1996年版邱维声老师编著的高等代数上下册。它的口碑貌似不错，我因此选定了这本。我对于本书的笔记和数学分析新讲一样，分书的册数来写，所以这次只是对于高等代数上册的一些理解和笔记。

内容&特点&体会

大一的时候上是上过线性代数，但因为建院不用到，所以到后来真的连矩阵乘法都记不起来，可见练习使用的重要性。现在看书的时候也担心因为光看不练，并不能掌握得好。好在本书有充分的习题来练习（虽然也没有做很多），但相比数学分析新讲是可以有更多练习机会了。丘老的高等代数版本很多，习题集也很多，以后有时间可以做做。同时这本书的讲解也会和习题联系，经常出现后文的证明需要用到前几节习题中的结论。

这本书作为丘老自己课程的教材，写的也是非常循序渐进，至少我在看的过程中没有遇到不能理解的问题。上册在介绍完基本的线性方程组和矩阵知识后再介绍了几个分类关系。毕竟只是一个上册，给人一种点了各种技能、过了各种任务，准备好去下册打boss的感觉。所以这里就不多分析这些。

在学习线性代数的过程中，总感觉怪怪的，就比如矩阵的计算方法和其他的数学不一样，很难直观地体会并且猜测结果，至少对我来说非常反直觉。本科没好好学线代，但还是记得老师所说的两句话：线代要当成工具来用；手不要生要勤练。所以或许我学完下册，了解更多、练习更多之后就会有更好的理解吧。

附录

照例附上看书时的一些记录，如有谬误敬请指正！

第一章线性方程组的解法

增广矩阵、系数矩阵、线性方程组的初等变换是什么
如何判断阶梯型方程组解的个数
数域的定义是什么，数域的封闭性是什么
齐次线性方程组是什么

第二章方阵的行列式

排列的逆序数是什么，偶排列 / 奇排列是什么
对换如何改变n元排列的奇偶性
n级矩阵行列式的定义是什么 / det映射是什么
上下三角矩阵、对角矩阵、单位矩阵分别是什么
转置矩阵、三种初等变换后行列式如何变化，如何证明
行列式如何按一行展开，如何应用于行列式的计算中
范德蒙矩阵是什么，行列式等于多少，如何证明
n级行列式计算技巧有哪些：化归、递归、应用特殊矩阵等等
k级子式的代数余子式是什么
拉普拉斯定理是什么，如何证明
行列式的几何意义是什么，如何证明

第三章 n维向量空间线性方程组理论

什么是n维向量空间，及什么是它的线性子空间，由α1,α2,...,αs\alpha_1,\alpha_2,...,\alpha_sα1,α2,...,αs张成的子空间<α1,α2,...,αs><\alpha_1,\alpha_2,...,\alpha_s><α1,α2,...,αs>与该向量组的关系
线性表出与线性方程组解的关系
共面、共线的代数本质是什么，什么是线性相关、线性关系
向量组整体无关，则部分无关；向量组部分相关，则整体相关
向量组线性无关，则延伸组也无关；延伸组线性相关，则向量组相信相关
线性相关性、齐次线性方程组的解、系数矩阵的行列式互相之间的关系
基：向量组成为基的条件是什么，标准基是什么，坐标是什么；如何证明每个线性子空间都有一个基
向量组等价的条件是什么，KnK^nKn 中任一线性无关向量组所含向量 <n<n<n 如何证明
维数：dimWdimWdimW是什么，如何证明维数为 r 的线性子空间中 r 个线性无关向量就是它的一个基
秩：极大线性无关向量组是什么，而向量组的秩的含义是什么
矩阵的初等变换是否改变矩阵的行秩、列秩？行秩列秩如何证明其相等
矩阵的秩、行列式、r级子式的关系是什么，如何利用子式求极大线性无关组
线性方程组有解的充要条件为系数矩阵与增广矩阵的秩相等，如何证明；系数矩阵秩与未知量个数与解的关系
齐次线性方程组：基础解系是什么；基础解系的维度 = n - r 如何证明
非齐次线性方程组：导出组是什么，线性流型是什么，如何求非齐次线性方程组的解？
n个平面，通过一条直线但步合并为一个平面的充要条件是什么

第四章矩阵的运算

如何证明一个映射是单设或者满射
左右零因子、平凡零因子、单位矩阵、数量矩阵、基本矩阵、对角矩阵、上下三角矩阵、对称矩阵、斜对称矩阵是什么
如何证明矩阵乘积的秩小于等于作为乘子的矩阵的秩
矩阵分块后相乘的条件有哪两个
分块对角矩阵、分块上三角矩阵的运算规则、行列式计算规则；分块矩阵的三种初等行变换是什么
什么是退化的仿真，方阵不退化、方阵乘积不退化的条件是什么
ABA BAB为同级方阵则∣AB∣=∣A∣∣B∣|AB|=|A||B|∣AB∣=∣A∣∣B∣，如何证明
当ABA BAB不是方阵时，乘积的行列式计算公式Binet−CauchyBinet-CauchyBinet−Cauchy公式是什么，如何证明，如何用于矩阵各级子式的计算
方阵可逆的充要条件是什么，有哪些等价的推论
伴随矩阵的定义是什么，当A可逆时逆矩阵的公式是什么，如何利用它证明crammer法则
矩阵求逆的方法有哪些？（书中五种）
正交矩阵、标准正交基、欧氏空间、正交向量组、正交单位向量组的概念是什么
如何通过Gram−SchmidtGram-SchmidtGram−Schmidt正交化过程把线性无关向量组变为正交单位向量组

第五章矩阵的相抵分类与相似分类

研究矩阵的分类是为了研究某一类矩阵之间的共同性质并加以利用
二元关系是什么，等价关系成立的三条原则是什么，等价和划分的关系，等价关系的不变量与完全不变量，商集是什么
声明是矩阵相抵、相抵标准形
广义逆矩阵的公式是什么，如何证明
线性方程组相容的定义是什么，如何利用广义逆矩阵进行：
1. 非齐次方程组有解的证明
2. 非齐次方程组通解的计算与证明
3. 齐次方程组通解的计算与证明
Moore−PenroseMoore-PenroseMoore−Penrose 广义逆矩阵是什么
矩阵相似的定义，相似矩阵行列式、秩、迹的关系，可对角化的定义，相似标准形是什么
特征多项式是什么，特征值的特征子空间是什么
相似矩阵的特征多项式、特征值相同，如何证明
如何计算n级矩阵的各项系数？
不同特征值的特征向量线性无关如何证明
幂等矩阵是什么，为何一定可以对角化，它的标准形是什么
如何证明矩阵ABABAB、BABABA是相同的非零特征值，重数也相同
声明是特征值的几何重数、代数重数，如何证明几何重数 < 代数重数
如何证明实对称矩阵的复数域中每个根都是实数，而且不同特征值的特征向量都是正交的
正交相似是什么，如何证明实对称矩阵一定可以相似于一个对角矩阵

第六章二次型矩阵的合同分类

二次型的定义是什么，二次型与二次型矩阵如何互相转换
什么是非退化的线性替换，什么是矩阵的合同关系，什么是二次型的等价关系
什么是：二次型的标准形、矩阵的合同标准形
如何证明：任何一个二次型都能经过非退化的线性替换编程只含平方项的二次型，即任一对称矩阵都合同于一个对角矩阵
矩阵的成对初等行、列变换法是什么
什么是实、复二次型的规范形，秩为什么是n级复对称矩阵的集合在合同关系下的完全不变量
惯性定理是什么，如何证明规范形的唯一性，正、负惯性指数、符号差是什么
正交的线性替换是什么，如何证明 α′Aα∣α∣2\frac{\alpha'A\alpha}{|\alpha|^2}∣α∣2α′Aα 的值大于等于矩阵A最小的特征值，且小于等于最大的特征值
对称矩阵正定、半正定、负定、半负定、不定的定义是什么
如何从二次型、正惯性指数、合同规范形、合同标准形、特征值、顺序主子式六个方面判断实对称矩阵是正定的，如何证明
如何证明实对称矩阵A实半正定的充要条件为A的所有主子式都非负