线代知识大杂烩
基本结论
矩阵乘法
矩阵转置
对称矩阵
可逆矩阵
初等矩阵
对矩阵
对矩阵
行列式
行列式展开定理
伴随矩阵
分块矩阵
将矩阵
分块加法
两个行数相同、列数相同且分块方式相同的矩阵相加时,对应子块相加:
分块数乘
分块乘法
将
分块转置
即:子块先各自转置,再把子块本身当作元素进行转置。
分块对角矩阵
称为分块对角矩阵(或准对角矩阵),记作
性质:
- 行列式:
- 幂运算:
- 可逆性:
可逆 每个 都可逆,且
分块三角矩阵
上三角分块矩阵(对角块均为方阵):
性质:
- 行列式:
- 对于分块下三角矩阵同理
常用分块矩阵公式
拉普拉斯展开式:
分块矩阵求逆(
线性相关性
唯一表示定理:设向量组
线性无关的证明: 对于向量组
若
秩
任意矩阵的行秩与列秩相等,其值等于它对应的最简阶梯型矩阵或阶梯型矩阵的非零行的行数
初等变换不改变矩阵的秩
规定零矩阵的秩为0
设
矩阵的秩有如下性质
向量空间
维数
变基:
设
称矩阵
过渡矩阵一定为可逆矩阵
要将基
特征值
求解
由
展开后为
性质
若
代数重数:特征值
几何重数:特征值
恒有
方阵的对角化
充要条件:
有 个线性无关的特征向量- 每个特征值的几何重数 = 代数重数,即
阶矩阵有 个不同特征值 可对角化(充分非必要)
求解步骤:
- 求特征值
- 对每个
,解 得线性无关的特征向量 - 以特征向量为列构成
,对应的特征值排成 - 验证
Euclid空间
向量内积
定义了内积的
内积性质(
范数(长度):
夹角:
正交:
标准正交基
若向量组
- 两两正交:
- 均为单位向量:
则称其为标准正交向量组。构成向量空间基的标准正交向量组称为标准正交基。
标准正交基下坐标计算简便:若
施密特正交化
将线性无关组
求解步骤:
- 正交化(得
):
- 单位化(得
):
正交矩阵
性质:
实对称矩阵
实对称矩阵的特征值和特征向量
性质:
- 实对称矩阵的特征值均为实数
- 实对称矩阵的属于不同特征值的特征向量相互正交
- 实对称矩阵的每个特征值的几何重数 = 代数重数
对角化
求解步骤:
- 求
的根,得特征值 (均为实数) - 对每个
,解 得基础解系(特征向量) - 若
为重根,对其特征向量作 Schmidt 正交化 - 将所有特征向量单位化,以它们为列构成正交矩阵
- 得
二次齐次多项式
二次型
其中
构造
矩阵的合同
性质:
- 合同关系具有自反性、对称性、传递性
- 合同变换保持对称性:若
对称,则 也对称 - 合同变换不改变秩:
**充要条件:**正负惯性系数相同
用正交变换化二次型为标准形
存在正交变换
其中
求解步骤:
- 写出二次型的对称矩阵
(对角元为平方项系数,非对角元为交叉项系数的一半) - 对
作正交对角化,得特征值 和正交矩阵 - 令
,得标准形
正定二次型与正定矩阵
二次型的规范形
由惯性定理:二次型经任何可逆线性变换化为标准形后,正平方项个数
令
由霍尔维茨定理(Sylvester 判别法):
负定: 奇数阶顺序主子式
正定二次形
判别条件(以下等价):
正定 的特征值全为正 的正惯性指数 的各阶顺序主子式- 存在可逆矩阵
使
半正定:
方程组的解问题
线性方程组解的结构
基础解系
设
解空间维数:
齐次线性方程组
解的结构(
其中
求解步骤:
- 对系数矩阵
作初等行变换,化为阶梯型,求出 - 若
,仅有零解;若 ,继续 - 进一步化为最简阶梯型,确定主元变量与自由变量
- 令自由变量依次取
,回代求出基础解系 - 通解为基础解系的任意线性组合
非齐次线性方程组
有解判定:
解的结构(有解时):
即:导出组
求解步骤:
- 对增广矩阵
作初等行变换,化为阶梯型 - 比较
与 :不等则无解 - 继续化为最简阶梯型,确定主元变量与自由变量
- 令所有自由变量
,回代求出一个特解 - 令
,求导出组的基础解系 - 写出通解
方阵相似
若对于
则称
性质
- 自反性
- 对称性
- 传递性
以上均为必要条件,但非充分。例如特征值相同不能保证相似,除非两个矩阵均可对角化且特征值(含重数)完全相同。
对于可对角化的矩阵,若特征值相同,则方阵相似