- 引言:边听网课边看线性代数,爽!
线代太好玩了,鉴于博主的老年记忆,赶紧记录下来
本文主要介绍行列式的一些性质与应用,还有矩阵的一些运算
大概是《线性代数》的精简版外加一些自己的理解 - 行列式的定义:
令为
的一个排列,排列中的逆序对个数为
,那么行列式为
引理1:交换排列中的任意两个数,逆序对个数奇偶性改变
证明:相邻的时候显然会改变,不相邻的时候假设中间有个数,需要用
次换过去再用
次换回来,得证。
- 行列式的性质:
记
其中为 行列式
的转置行列式。
- 性质1:
。
对于中的任意一项,
,交换
,意义是行标排列和列标排列做了一次相应的对换,注意到这个过程并不改变奇偶性,于是我们可以找到
中的唯一一项
与之相等,只需要考虑每次把第
换到第
项即可。
- 性质2:对换行列式中的两行或两列,行列式变号。
考虑某一项,变成
逆序对个数改变奇偶性于是
,得证。
推论:两行或两列相同行列式为 0 - 性质3:行列式中某一行或一列乘上一个数
的行列式等于用
乘上这个行列式
- 性质4:若行列式的某一行或列都是两数的和,那么可以拆成两个行列式的和
推论:把某一行或列的每个元素乘上加到令一行行列式不变
- 行列式按行(列)展开
在阶行列式中,把
元
的第
行和第
列划去留下的
阶行列式叫做
元
的余子式,记为
,记
,叫做
元
的代数余子式
- 引理:如果第
行元素除了
外都为 0 ,那么
当时显然成立,否则我们交换
次换到第一行,交换
次换到第一列
定理:行列式等于它任一行(一列)的各元素对应的代数余子式乘积之和 - 简介:范德蒙得行列式
证明:数学归纳法,当时
假设其对阶行列式成立,要证其对
阶成立,我们需要把
将阶(展开)
从最后一行开始减掉上一行的倍
- 若要计算
那么我们可以把第
行换成
向量算行列式
正确性显然,这就引发一个推论:当取行列式某一行
时
- 这就引出了矩阵中一个特别巧妙的东西 ----伴随矩阵
行列式的各个元素的代数余子式
构成如下矩阵
称为的伴随矩阵,那么根据之前的结论有:
- 矩阵求逆:
引理:指矩阵
乘矩阵
的行列式等于分别的行列式的乘积,证明
的情况:
设,构造一个四阶行列式:
对于一个阶矩阵,如果有一个
阶矩阵
,使
则称矩阵
是可逆的,并把
称为
的逆矩阵,骚气变换:
设,构造一个四阶行列式:
定理1:若矩阵 可逆,则
证明:存在 使得
,故
所以
定理2:若 ,则矩阵可逆,且
,妙妙妙!
- 克拉默法则
解线性方程组
记为
克拉默法则:如果,那么方程组有唯一解
发现,注意到
其中为将矩阵的第
列换为
的矩阵 ,
为代数余子式
矩阵初等变换与矩阵求逆看这里
- 矩阵的秩
定义:在的矩阵
中,任取
行
列不改变次序算出行列式称为矩阵
的
阶子式。
引理:设,则
与
中的非零子式的最高阶数相等。
我们只需证明经过一次初等行变换得到的,在交换两行或将一行乘
时,总能找到与
对应的
阶子式使得
当一行加上另一行的倍时,只需考虑
的特殊情况:
当不包含第一行, 那么不影响,若包涵第一行
若则
,否则
,
不同为 0
挺妙的
注意这个并没有关系非0子式,而只是关心它的阶数,于是我们定义矩阵的秩:
设在矩阵中有一个不等于0的
阶子式
,且所有
阶(若存在)子式均为 0,那么
称为矩阵的秩,记做
那么有一些性质:
若,则
,证明:
故 - 当矩阵的秩与线性方程组联系在一起就厉害得不行
对于元线性方程组
(1) 无解的充分必要条件是
(2) 有唯一解的充分必要条件是
(3) 有无限多解的充分必要条件是
证明略且较为显然。 - 定理:矩阵方程
有解的充分必要条件是
证明:设为
矩阵,
为
矩阵,则
为
矩阵,将
按列分块,记为:
则矩阵方程等价于
个向量方程
如果,那么
的后
行为 0,那么容易发现当有解时
的后
行一定为 0,故
- 定理:
即矩阵方程有解
,于是有
同理有,故
- 向量內积·
记做,向量正交定义为
定理:若维向量
是一组两两正交的向量,则
线性无关
证明:设有使
将与上式两端作內积,故有
,故
,
线性无关
- 向量正交化
这个构造个人觉得很巧妙,我们现在需要将正交化为
那么我们构造出一组使得
,然后构造
满足与前
项內积为 0,那么有:
把变成单位长度就可以得到标准正交基
定义:正交矩阵
若满足
,则
为正交矩阵,同时有
特征多项式的一套理论可以看这里 here
- 相似矩阵:
定义:设均为
阶矩阵,若有可逆矩阵
使
,则成
是
的相似矩阵
定理:若阶矩阵
相似,则
与
的特征多项式相同
我们发现,是可以与如下矩阵相似的
其中为矩阵的特征值
如果我们要求或是
,这个等价于
如何找到满足
为对角矩阵?
我们有
发现即
特征值
对应的特征向量