矩阵分析速通

第一章 - 线性空间

1. 线性空间八条性质
2. 线性空间的子空间
3. 线性空间的基、坐标
4. 维数公式
5. 直和
6. 线性变换，特征值，特征向量
7. 相似矩阵： 存在可逆矩阵 使得
8. Jordan 标准形：对任意 存在可逆矩阵 使得 ，其中 为 Jordan 标准形

酉空间

1. 酉空间，内积四条性质：正定，共轭对称，齐次，可加
2. 列空间垂直
3. 正交补的存在性、唯一性
4. 投影变换： 线性变换 使得 , 又称为幂等变换
5. 正交投影： , 满足 是正交投影
6. 初等矩阵
   1. 特征谱
   2. 时可逆
7. Householder 矩阵 (初等酉阵)
   2. 是镜像变换，, 是关于垂直于 的超平面的镜像变换
8. 酉变换、酉矩阵是正交变换、正交矩阵在复数域的推广
   2. 酉矩阵的特征值模长为
   3. 酉矩阵的乘积是酉矩阵

Kronecker 积

1. 单位矩阵之间的 Kronecker 积是单位矩阵
2. 标量积、对加法分配律、结合律
3. 转置，共轭
4. 混合积 前行后列展开定义证明
5. 逆
6. 迹、秩
7. 行列式 用 Jordan 标准型和混合积证明
8. 保持转置、Hermite、酉矩阵
9. 乘积的乘方
10. 特征值 对应的特征向量做 Kronecker 积
11. Kronecker 和 的特征值是 和 的特征值之和，对应的特征向量是 和 的特征向量的 Kronecker 积
12. 向量化算子 (Flatten in Fortran order),

第二章 - 范数

向量范数

1. 向量范数定义：正定性、齐次性、三角不等式
2. 常用向量范数
   1. 1-范数：各分量模长之和
   2. 2-范数：模长
   3. -范数：最大分量模长
3. Cauchy 不等式
4. 非负 , , Holder 不等式 Holder 范数
5. 矩阵 列满秩，则 是 上的向量范数
6. 任意向量范数 关于 连续
7. 定理 任意向量范数等价，
8. 定理 向量序列收敛等价于范数收敛

矩阵范数

1. 从向量范数推广的矩阵范数
   1. 正定性、齐次性、三角不等式
   2. 1-范数 , 2-范数 , -范数
   3. 等价性
2. 相容性 对矩阵乘法保持三角关系 自相容
   1. 和 相容，展开矩阵乘用三角不等式、Cauchy 不等式证明
   2. 不相容，修正为 是相容的
3. Frobenius 范数
   3. 酉矩阵 不改变 Frobenius 范数

算子范数

1. 矩阵范数与向量范数的相容性
2. 显然 与 相容， 与 相容， 与 相容
3. 算子范数 对于任意向量范数构造与之相容的矩阵范数
   1. 算子范数是与向量范数相容的矩阵范数中最小的
   2. 算子范数是自相容的矩阵范数
4. 定理 对于相容的矩阵范数存在向量范数 与矩阵范数相容
5. 定理 相容的矩阵范数不小于特征值
6. 极大列和范数 从属于 的算子范数
7. 极大行和范数 从属于 的算子范数
8. 谱半径 谱范数 从属于 的算子范数
   1. 转置、Hermite、共轭不改变谱范数
   2. 酉矩阵不改变谱范数
9. 常用矩阵范数的等价性
10. 广义算子范数 矩阵范数的相容性

第三章 - 矩阵分解

三角分解

1. 行满秩、列满秩
2. 行单位向量正交阵 , 列单位向量正交阵
3. 上三角阵、单位上三角阵、下三角阵、单位下三角阵
4. 三角阵、酉矩阵具有逆运算、乘积运算的结构不变性
5. UR 分解 满秩复矩阵 可唯一分解成酉矩阵 和正线上三角复矩阵 或正线下三角复矩阵 的乘积 UR 分解可对 的列向量做 Gram-Schmidt 正交化
   1. 的列向量是
   2. 的元素
6. QR 分解 满秩实矩阵