线性代数笔记

前面一部分简单基础是我以前写的格式太乱,后面内容改版简洁值得一看

行列式

行列式
二阶与三阶行列式

|abcdefghi|

上面这个就是个三阶行列式,别问为什么是三阶,因为有三行三列

以下是一个二元线性方程组(为什么是二元,单纯就是两个未知数x和y)(为什么是线性,单纯就是未知数的次幂是一次,在xoy坐标轴画出来是一条直线) {a11x1+a12x2=b1a21x1+a22x2=b2

为啥,,,这样取下标啊,这人是不是有毛病,跟Oracle为jdk版本取名有的一比啊(行吧,知道你看不懂这个笑话)

仔细看,是说第一行第一个未知数的系数所以就是11,就是第二行的第二个未知数的系数,其他的类比

行了,我们随便选择一个未知数消去,当一个方程只有一个未知数时便很好求出未知数的值

这样吧,知道你很2,我们就消去,第一步就是用分别乘上①和②方程的两端

{a11a22x1+a12a22x2=a22b1a12a21x1+a12a22x2=a12b2

这个时候,上下方程的前的系数一样就可以上下相减,于是乎:

当然,也可以是:

同理得出

这样一来,轻轻松松拿捏的解:

注意看方程的分子和分母都是四个数两两相乘再相减,其中分母是有四个未知数的系数确定,把四个系数,按在方程组中的位置放置(反正这段话我是看晕了,我最头疼的就是这种,我说太阳好晒,你来给我讲太阳主要由氢组成,氢占质量的70%以上。 在太阳内部高温 (在1000万k以上)、高压 (约为2500亿大气压力)的条件下,氢原子会发生“热核反应”........)

上面就是个单纯的数表,伟大的数学家们在它的两旁加上竖线就成了行列式

上面这个就是二阶行列式,数就是行列式的元素,i是行标,j是列标,表示元素位于第i行第j列,位于第i行第j列的元素称为行列式的(i,j)元

-----------------------------------------------------------------------------

图中的实线是主对角线,虚线是副对角线

因此我们的分母也就是主对角线之积减去副对角线之积

-----------------------------------------------------------------------------

你讲这么多分母,那分子呢?分子又臭又长,毫无规律,怎么来的啊?

b1a22a12b2=|b1a12b2a22|a11b2b1a21=|a11b1a21b2|

我滴妈,分子怎么就等于这个行列式了啊,你是不是随便凑的啊?

-----------------------------------------------------------------------------

其实不是,细看下面

把方程组的系数,以及常数项提出来,就会发现左边两列是行列式

右边一列就是常数项(你这不是废话?)

-----------------------------------------------------------------------------

别急,我们分别用常数列替换行列式的第一列与第二列

这不就是分子的行列式了?嘿嘿

-----------------------------------------------------------------------------

目前为止只需要知道,怎么计算行列式就可以了(对角线法则)

对角线法则也就是凑对角线,并且将对角线冠号,对角冠号以后相加

-----------------------------------------------------------------------------

全排列和对换


           

把n个不同的元素排成一列,称为这n个元素的全排列

= 1,2,3 即有 1 2 3 自然数从小到大为标准次序 2 3 1 而2 3 1 这种1在3后面即为一个逆序,且1在2后面又是一个逆序(23是按顺序来的),即231存在2个逆序 3 1 2 3存在0个逆序,1存在1个逆序,2存在1个逆序,即312存在0+1+1=2个逆序 1 3 2 1存在0个逆序,3存在0个逆序,2存在1个逆序,即132存在0+0+1=1个逆序 2 1 3 2存在0个逆序,1存在1个逆序,3存在0个逆序,即213存在0+1+0=1个逆序 3 2 1 3存在0个逆序,2存在1个逆序,1存在2个逆序,即321存在0+1+2=3个逆序

逆序数奇数的排列叫做奇排列

逆序数为偶数的排列叫做偶排列

对换

定理一:一个排列中的任意两个元素对换,排列改变奇偶性

推论:
奇排列对换成标准排列的对换次数为奇数
偶排列对换成标准排列的对换次数为偶数

n阶行列式


	

还记得这个行列式吧

行列式的值很容易得:
毕竟就是对角线法则嘛,可是为什么副对角线的值要冠负号呢?细看,主与副下标的第一个数,都是123开头的行标,后面是列标(没有规律)
主:123,231,312 副:132,213,321
也就是123的逆序数为0(偶排列),231逆序数为2(偶排列),312的逆序数为2(偶排列)
也就是132的逆序数为1(奇排列),213逆序数为1(奇排列),321的逆序数为3(奇排列)

D=

以上是n阶行列式,以下是上(下)三角形行列式


主对角线以下(上)的元素都为0的行列式叫做上(下)三角形行列式

特别的,当除主对角线外的元素都为0的行列式叫做对角行列式

三角形行列式的值就是主对角线的乘积

如果一个n阶行列式中等于0的元素比还多,则此行列式值为0

行列式的性质

            
                

性质一:行列式与它的转置行列式相等

称为行列式D的转置行列式(行变列,列变行)

性质二:对换行列式的两行(列),行列式变号

交换第i行(列)和第j行(列),记作(列: )

=-196
=196

推导出:如果行列式有两行(列)完全相同,则此行列式为零(行列式本质是个值)

证:两行相同,交换两行行列式什么都不变,得到D=-D,移项得2D=0,得出D=0,证毕。

性质三:行列式的某一行(列)中所有的元素都乘以同一个倍数k,等于用数k乘以此行列式

第i行(列)乘以k,记作

k
=

性质四:行列式中如果有两行(列)元素成比例,则此行列式为零

我觉得与性质2相铺相成

性质五:若行列式的某一行(列)的元素都是两数之和

D =
...
...
...
=
...
...
...
+
...
...
...

拆成两个其他项不变,单拆其一列(行)

性质六:把行列式的某一行(列)的个元素乘以同一个倍数,然后加到另一行(列)对应的元素上去,行列式不变

以数k乘j行(列)加到第i行(列)上,记

敲黑板!后面的加到前面去,儿子在后面,爸爸在前面(我是乱说的,我不会举例🫤)

计算行列式常用的方法

            
            

例如下面这个行列式:

以下是我的看法与解决过程

我刚开始学的时候总觉得像玩魔方,真的。(可我不会啊!😭)

行列式按行(列)展开

            
                

在n阶行列式中,把(i,j)元所在的第i行和第j列划去后,留下的n-1阶行列式叫做(i,j)元余子式,记作


↑代数余子式 ↑余子式

例如下面的这个行列式

D=

在D中(3,2)元 的余子式和代数余子式分别为:

余子式(去掉第三行以及第二列) 代数余子式

你如果不蠢,就看出来了,代数余子式就是余子式加了个代数罢了,也就是个符号问题

引理:

举个例子

D=

在行列式所示,在n阶行列式中,第3行除(3,3)元

Laplace展开定理

            
                

范德蒙德行列式

|x10x20x30...xn0x11x21x31...xn1x12x22x32...xn2...............x1n1x2n1x3n1...xnn1|=(xixj)(nij1)

上面这个符号是指连乘的意思

范德蒙德行列式一点都不难,见到这个行列式就偷着笑吧,下面是举例

Dn=|1111abcda2b2c2d2a3b3c3d3|=(da)(db)(dc)(ca)(cb)(ba)

没错就是不同两数的相减再相乘,但是值得注意的是范德蒙德行列式第一行一定要是0次方,并且每一行的是一个次幂的关系

稍复杂行列式计算方法

1.行(列)和相等

解法:都加到第一行(列),提出公因子,再高斯消元

|1234231431244213|=|10101010231431244213|=10|1111231431244213|

10|1111011231244213|=10|1111011202110231|=10|1111011200350053|

10|1111011200350053|=10|1121011200250023|=10|1121011200250008|=10×1×1×2×8

怎么样,是不是操作起来很简单

2.爪型行列式

解法:高斯消元法消去第一行第一列的元素,反正就是消去爪的其中一个爪

|a11111a20010a30100a4|

例题:

|1111120010301004|=|1111011101210113|=|1111011100120022|=|1111011100120002|=1×1×1×(2)

没啥好说的

3.点斜行列式

解法:点在哪里跟点走,按点所在行(列)展开

|ab0...000ab...0000a...00000...abb00...0a|

怎么样,是不是一眼看去,感觉整个人像是脑袋缺血,要g了感觉

没事儿,小问题,细看这个行列式,是不是对角线以及周围一点点是连续的,然后在靠近四个角落的地方出现一个单独的点

以上是看懂这个行列式长什么样,其他你不需要过度关注,认识一个东西,然后才是解决它。

|1a0001a0001aa001|=a|a001a001a|=(1)4+1a|a001a001a|=(1)4+1a×a×a×a

看了上面感觉很简单?别飘,下面难点就来

4.三线行列式

解法:展开递推法,利用展开定理求递推公式。

是不是一头雾水,没关系,慢慢来,这部分确实不太好理解

Dn=|2002120200220012|=_.

我们按第一行展开

=2A11+2A1n=(1)1+12|20...0212...020002200012|+(1)n+12|12000012000001200001|

没问题吧,可是我们发现展开以后是两个行列式

第二个行列式刚好就是上三角,直接求,对角线相乘,可是有多少个-1呢?还用想,第一行没有-1,其余行都有,n阶,肯定是n-1个

=2A11+2A1n=(1)1+12|20...0212...020002200012|+(1)n+12×(1)n1

=2A11+2A1n=(1)1+12|20...0212...020002200012|+(1)2n2

=2A11+2A1n=(1)1+12|20...0212...020002200012|+2

没问题吧?那现在有个问题就是第一个行列式怎么算?

你仔细看看,它就是我们原来的行列式少了 一行而已,整体上还是保持三行,再展开还是如此

我是不是可以这样写Dn=2Dn1+2

那怎么求第n项?我们已知的有等比以及等差都可以求第n项,我们构造等比数列的样子

Dn=2Dn1+2Dn+2=2Dn1+4Dn+2=2(Dn1+2)Dn+2Dn1+2=2

完美,现在我们知道D其实就是一个等比数列,其中公比是2

等比数列第n项公式=a1qn1

Dn=D12n1

D1=|2|因为你看嘛,你一直展,展到最后是不是只有一个右下角的那个2

Dn+2=(D1+2)×2n1Dn=2n+12

二阶线性递推式的求解

上面的递推式相信你也看到了,我们凑等比是比较好理解的一种方式

Dn=aDn1+bDn1

这种怎么办?

有两种办法

第一种

Dn+xDn1=y(Dn1+xDn2)

{yx=ayx=b{x=y=

以上在干嘛,其实也是在构造等比数列

第二种

写特征方程

DnaDn1bDn2=0

λ2aλb=0

解出λ1λ2

解出λ1λ2{>0Dn=Aλ1n1+Bλ2n1=0Dn=(A+Bn)λ1n1

代入D1D2AB

行列式计算经验总结

①利用求逆矩阵公式计算伴随,然后可以求解代数余子式的加和
②重点区分一个点,代数余子式是不会乘上当前元素的,只是正负号+n-1阶行列式。只有当求行列式的时候,才会让元素乘上代数余子式。
③要喜欢用分块来求解行列式
        

AB均为n阶正交矩阵,且|A|=|B|,则行列式|A+B|=

交换使用一对单位阵

|A+B|=|EA+BE|

=|BB1A+BA1A|=|B(B1+A1)A|=|B(BT+AT)A|

|A+B|=|A|2|A+B|

|A+B|=|A+B|

|A+B|=0

这道题题目呢,主要用到两个知识点,第一个使用一对单位阵构造新矩阵 第二个就是正交矩阵的知识,正交矩阵就是自身乘上转置为单位阵就是正交,并且转置是等于逆矩阵的 A的行列式乘上A的转置的行列式是单位阵的行列式就是1,注意是A行列式的平方是1,A行列式是-1或1

值得一提的是,基础概念我这里不再赘述。只是将复杂的知识点串起来

矩阵

零矩阵元素全为0

单位矩阵对角线元素为1,其余全0

对角矩阵主对角线外的所有元素全为0

矩阵运算没有两个律:交换律、消去律

对称矩阵A的转置=A

反对称矩阵A的转置=-A

伴随矩阵元素代数余子式构成再转置


逆矩阵

不是方阵不谈逆矩阵

AB=E

A和B互为逆矩阵,天然可交换就是A点乘B=B点乘A

可逆矩阵也称为非奇异矩阵

逆矩阵可逆的充要条件

|A|=0A不可逆

|A|0A可逆

矩阵的逆是什么东西?

我们说E是单位矩阵,单位矩阵意味着如同我们数学里面的1

而我们的

AA1=E

相当于

818=1

但是也只是相当于,矩阵是没有除法的

我们知道,当行列式不为0的时候,矩阵可逆

为什么?

一种解释是

A1=A|A|

当然其实使用这个记住当矩阵可逆行列式不为0其实也ok

在二维矩阵中矩阵的行列式是一个面积

在三维矩阵中矩阵的行列式是一个体积

...

因此在每一个维数行列式=0时代表,组成当前物质的线(向量)都是共线

满秩代表着组成这个矩阵的所有向量都是线性无关的,也就是这些向量都可以成为空间中的坐标系

既然可以组成坐标系也就是不共线,于是这个矩阵的行列式绝对不为0,因为不共线

并且我们知道可逆就是倍数,缩小与放大,如果是行列式=0,也就是共线,我们将它缩小一个点,此时这个点不能通过可逆,变回原来的线

与此同时,如果行列式不为0,也就是这些向量组成一个坐标系并且行列式为其中的一个物质(二维面,三维体)

我们将它缩小,也可以通过可逆变换,将它回放为原来的

因此总结以上

可逆=行列式不为0,满秩=可逆=行列式不为0


分块矩阵

加法:A、B同型,采用相同的分块法,相对应元素所在部分相加

数乘乘上分块矩阵的每一个部分

乘法与矩阵乘法一致

分块矩阵的转置大体上转置,里面的每一个元素也转置

分块矩阵的两个重要的结论

1.分块矩阵行列式

|An×n00Bm×m|=|An×nC0Bm×m|=|An×n0CBm×m|=|A||B|

2.分块矩阵的逆矩阵

口诀:主满只取反,主满顺时针,副满要互换,副满逆时针

A1=(BD0C)A11=(B1B1DC10C1)

A2=(DBC0)A21=(0C1B1B1DC1)

矩阵的初等变换

单位矩阵⟹有限初等行变换_⇒初等矩阵

Eij:交换了一次ij()得到

Ei(k):在第i()乘上k

E31(k):第一行×k+第三行/第三列×k+第一列

行就近,列就远

左行右列:左乘行变换,右乘列变换

初等变换法求逆矩阵

(AE)有限初等行变换(EA1)

NB表 Eij Ei(k) Eij(k)
左乘 交换ij行 第i行×k 第j行×k+第i行
右乘 交换ij列 第j列×k 第i列×k+第j列
行列式 -1 k 1
逆矩阵 Eij Ei(1k) Eij(k)
转置 Eij Ei(k) Eij(k)

怎么着对上面的表不以为意?甚至觉得让你感到厌恶?

(010100001)1=

(100010002)1=

(100210001)1=

(010100001)2024(123456789)(110010001)=

你不会傻乎乎还用传统的逆矩阵求解办法来吧?
第一题
看第一个不就是交换一二行,或者一二列,whatever
反正就是Eij 逆矩阵不就是等于本身
(010100001)1=(010100001) 第二题
第二个不就初等矩阵的第三行或者第三列×-2
Ei(2) 逆矩阵不就是
Ei(1k) 你别再自以为是了,我问你这里的k分之1是什么意思?难道是给全部乘上吗?肯定不是啊,就是我们将本来×k的换成×1/k
(100010002)1=(1000100012) 第三题
不就是第一行×2加到第二行吗?你要是用列的想法也行,我建议是一贯制
Eij(2) 它的逆矩阵不就是
Eij(2) 所以
(100210001)1=(100210001) 第四题
我们先看左边,因为左行右列,也就是左乘是行变换
(010100001)2024 我们思考一个问题,假如这是一次方得到时候,是不是就是交换两行的意思?
如果是平方呢?什么意思,这么快不认识平方了?矩阵平方不就是A×A吗?A交换1与2行
A乘A,交换1与2行,再交换1与2行,不就恢复原位了
好,简简单单,偶数次方就是原,奇数就是交换了
2024是偶数还是奇数?不知道请去你们当地申请老年大学吧
我们再看右边
(110010001) 是不是第一列的负一倍加到第二列
Eij(1) 左行右列,这是右乘也就是变换列,也就是以某列的数倍加到某列
那到底是哪一个呢?ij分别是什么?行就近,列就远
Eij(k),列变换,i离k远就是以i列的-1倍加到j列
也就是将中间矩阵的第一列的-1倍加到第二列
(010100001)2024(123456789)(110010001)=(113416719)

 设 A 是 3 阶矩阵,将 A 的第 1、2 行互换得矩阵 B,再将 B 的第 2、3 列互换得单位矩阵,记 P1=(010100001),P2=(100001010),则 A=A.P1P2.B.P2P1.C.P11P2.D.P1P21.
我们不着急,分析题目,看目的,求A的伴随
以我们往常的经验求伴随要么就是按定义硬求
要么就是拿出求伴随的公式
A1=A|A| 这道题可能是围绕这个公式来的,因为我们不知道A的具体数值
好,我们尝试求A的逆矩阵,A的逆矩阵也不好求,因为我们不知道A
所以有没有一种可能我们用一个东西替换A
看题目给条件
P1A=B P1AP2=E E是单位矩阵我们知道,两个P我们也知道,那我们就从中剥离A,左乘右乘P的逆
P11P1AP2P21=P11EP21 A=P11EP21 A=P1P2 别说你不知道初等矩阵的逆矩阵就是本身
A=(P1P2) A=P2P1 A=P21|P2|P11|P1| 考虑我们的NB表
初等逆是本身,初等行列式交换是-1
A=P2P1 所以选B

矩阵的广义初等变换

这一块是针对分块来讲的(左行右列,左乘行变换,右乘列变换) [ABCD]r1r2[CDAB]等价于[OEEO][ABCD]=[CDAB](行变换需左乘) [ABCD]c1c2[BADC]等价于[ABCD][OEEO]=[BADC](列变换需右乘) ------------------------------------------------------ (1) 第2行左乘矩阵M后加到第1行:[ABCD]r1+Mr2[A+MCB+MDCD]等价于 [EMOE][ABCD]=[A+MCB+MDCD](行变换需左乘(2) 第1行左乘矩阵M后加到第2行:[ABCD]r2+Mr1[ABC+MAD+MB]等价于 [EOME][ABCD]=[ABC+MAD+MB](行变换需左乘(3)第2列右乘矩阵M后加到第1列:[ABCD]c1+c2M[A+BMBC+DMD]等价于 [ABCD][EOME]=[A+BMBC+DMD](列变换需右乘)(4)第1列右乘矩阵M后加到第2列:[ABCD]c2+c1M[AB+AMCD+CM]等价于 [ABCD][EMOE]=[AB+AMCD+CM](列变换需右乘) ------------------------------------------------------ (1) 第1行左乘矩阵M(|M|0):[ABCD]Mr1[MAMBCD]等价[MOOE][ABCD]=[MAMBCD](行变换需左乘)(2)第2行左乘矩阵M(|M|0):[ABCD]Mr2[ABMCMD]价于 [EOOM][ABCD]=[ABMCMD](行变换需左乘)(3) 第1列右乘矩阵M(|M|0):[ABCD]c1M[AMBCMD]等价于[ABCD][MOOE]=[AMBCMD](列变换需右乘)(4) 第2列右乘矩阵M(|M|0):[ABCD]c2M[ABMCDM]等价于 [ABCD][EOOM]=[ABMCDM](列变换需右乘) M需要保证可逆,才能不改变原本矩阵的秩

矩阵等价

A有限次初等变换BAB等价(AB)

判定方法两种:

第一种:存在两个可逆矩阵P、Q使得PAQ=B,则A等价B

第二种:首先A、B矩阵同型,r(A)=r(B)则A等价B

矩阵的秩的11大公式

我自己整理了一个口诀

越乘越小,列行满秩可逆原r(AB)min{r(A),r(B)}P列满秩,则r(PA)=r(A),P行满秩,则r(AP)=r(A),P可逆,r(PA)=r(A),r(AP)=r(A)
乘为0秩和小于列
并大小和,和小分
数乘转置也为原
大0小行列

不想详细说了,太麻烦,不是什么难点

思考一个问题,矩阵A的伴随矩阵是不是都是A的n-1阶子式

r(A)={n,r(A)=n1,r(A)=n10,r(A)<n1

是不是很突然,没关系,我们一个个来解释

当 r(A)=n 时,|A|0,所以 |A|=|A|n10,所以 r(A)=n

第二个,因为A的秩是n-1所以n-1阶子式一定存在一个不为0,所以伴随的秩就是大于等于1,A乘上A的伴随等于A的行列式乘E,A行列式为0,所有两矩阵相乘为0,秩和小于列就是n,而A是n-1,所以A伴随就是小于等于1,所以伴随矩阵就是1

因为A的n-1阶子式行列式全为0,而伴随是由n-1阶子式构成,所以伴随的秩就是0

向量与向量组

向量线性运算

向量正交分解

向量在笛卡尔坐标系上

向量的概念

行向量与列向量

向量组:同维向量

向量的线性组合:每个向量乘上一个常数以后的加和

线性表出:向量的线性组合=一个新向量,这个新向量就是线性表出的结果

线性相关:线性组合=0,其中当乘的每个常数k=0的时候有一个解,当所有常数不全为0的时候也有解就是线性相关,称这个向量组线性相关

线性无关:线性组合=0,当只有常数全为0的时候,等式成立,称这个向量组线性无关

局部相关整体就相关,整体无关局部就无关(好好品味一下这句话)

其实很好理解,家里面有个盆,盆里面有花,那么家里面就有花,如果整个家没有花,当然盆里面也没有

向量组的秩与极大线性无关组:向量组的秩就是极大现线性无关组中向量的个数

注意,向量组是由一个个向量构成的,矩阵是一个数表

我们可以将向量组写成矩阵形式,并且求的秩也都是一样的结果,但是本质是不一样的

利用向量组的秩判断向量组的线性相关性

向量秩、向量个数

秩=个数就是无关

秩< 个数就是相关

见到一个向量组被另一个向量组线性表出,立即写成矩阵相乘的形式

一个矩阵A乘上一个可逆矩阵不会改变A的秩

向量组线性无关,伸长也无关,向量组线性相关,缩短也相关

向量组中的个数超过维数,该向量组必线性相关

向量组线性无关,若此时加入一个向量变成线性相关,那么新加的向量可由原来的向量组线性表出

向量组A可由向量组B线性表出,那么r(A)<=r(B)

具体数值的极大无关组判断:化行阶梯矩阵,任选列,看其行列式为0则相关,非0则无关

线性方程组

自由未知数=总未知数-独立未知数

独立未知数:矩阵的秩,可以将自由未知数线性表出

齐次线性方程组 A X=0

齐次线性方程组一定有解,至少有零解

齐次线性方程组解的判定

因为是齐次,所以增广矩阵的秩的永远等于矩阵的秩

当矩阵的秩=向量个数可以推出仅有零解,列向量组线性无关

当矩阵的秩< 向量的个数说明有非零解,列向量组线性相关

也可以通过行列式来判定,但是前提是向量组形成的矩阵是方阵

行列式不为0,说明满秩,只有零解

行列式为0说明不满秩,有非零解

下面来一道例题:

 设 A=[111111042],求解 Ax=0

拿到题目,秒了🤣开个微笑。玩笑,我们肯定要判断一下秩,那就是化呗,化行最简一步到位

[111000042][201021000]

怎么,希望你没有说怎么没有加负号,那是行列式变换两行才加,这是矩阵,初等变换不是等号发现没有

可以看出矩阵秩为2,自由未知数=3-2=1,为什么是减2?傻啊你,秩是2啊,独立未知数就是2,总未知数是3,3-2=1,自由未知数不就是1了

由于矩阵的秩是2<3所以有无穷多解,我们选择最具代表性的构造基础解系

X=k(1)

我们将自由未知数赋值为1,去解两行里面的独立未知数

X=k(12121)

就是这莫简单

Am×nBn×p=0

看到上面这个东西,立即想两个东西:秩和解

秩:r(A)+r(B)n

解:B的列均是AX=0的解

非齐次线性方程组

增广矩阵最后一列不再是0

克拉默法制(必须是方阵)

用增广矩阵的那一列依次替换系数矩阵的列形成行列式除上系数矩阵行列式,就是每一个x解

D=[a11a12...a1na21a22...a2n............an1an2...ann]这是系数矩阵

D=[a11a12...a1nb1a21a22...a2nb2...............an1an2...annbn]这是增广,[b1b2...bn]这是增广矩阵那一列

我们用增广替换第一列得出D1

D1=[b1a12...a1nb2a22...a2n............bnan2...ann]

所以第一个X解出来就是这个矩阵的行列式除上没有替换的

X1=|D1||D|

其他依次类推

不难看出啊,当D的行列式(分母)不为0的时候,是有唯一解的,那等于=0咋办,那就是无穷解或者无解

这是克拉默法制给出依据行列式求解并判定解个数。还是那句话,方阵。

不是方阵怎么办?用秩先判定增广和矩阵的秩是否相等,不相等无解,相等且等于向量组个数是唯一解,小于向量组向量个数是无数解

齐次是通解,那非齐次怎么说,就是通解加一个特解

下面是例题:

{x12x2+2x3x4=1,2x14x2+8x3=2,2x1+4x22x3+3x4=3,3x16x26x4=4;

我们写出增广矩阵

[1221|12480|22423|33606|4]

化行最简阶梯,只用初等行变换

[1221|108122|40021|30063|1][2000|30404|30021|30000|10]

不难看出,无解因为矩阵的秩 不等于增广的秩

再来一道!

A=[111111042],b=[112],Ax=b;

[111111110422][111104220000][222202110000][201102110000]

可以看出矩阵秩等于增广秩,所以有阶,且秩小于向量组向量个数所以有无数多解,就是求非齐次的基础解系,通解+特解

先求齐次通解

X=k(12121)

解非齐次的时候将自由未知数赋值为0简单点

X=k(12121)+(12120)

总的来说齐次就是----=0.非齐次特解就是-----=a

线性表出

例如我们上一题的答案

X=k(12121)+(12120)

X=k(12121)+(12120)=(12k1212k+12k)

β=(12k12)α1+(12k+12)α2+(k)α3

将其余向量被极大无关组表出

解法:将极大无关组化为单位阵,没听错就是单位阵,其余向量表出的系数就是其系数

例题

已知α1=[1023],α2=[1135],α3=[11a+2a+21],α4=[124a+8],β=[11b+35],( 1) a,b 为何值时 ,β 不能表示成α1,α2,α3,α4 的线性组合;(2) a,b 为何值时 ,β 有α1,α2,α3,α4 的唯一线性表出式,并写出该表出式.

多的不说,第二问解出来,当a≠-1时

[111110112100a+10b000a+10][10002ba+10100a+b+1a+10010ba+100010]

β=2ba+1α1+a+b+1a+1α2+ba+1α3+0α4.


r(α1α2α3α4α5)=2

以上这个式子意味着什么?

秩:极大线性无关个数

也就是说有2个是极大无关,用这两个可以表示其他所有

类似平面的二维坐标,可以表示所有平面上的向量

其次如果2个无关再多一个就是线性相关的了

当r=3的时候,也就是极大无关是3个,3个坐标系就是三维空间

最多三个线性无关,多一个都是线性相关

3个线性无关向量可以表示三维向量中的所有向量

---------------------------------------

AX=0是齐次方程

我们有一个公式

S=n-r

就是说自由未知数=总未知数-独立未知数

S我们说自由未知数,也就是线性无关的

X=k1α1+k2α2

一般我们解齐次方程是解出以上这种东西,我们一开始就是通过s=n-r=2推断出有两个自由未知数,于是就两个k

为什么两个k,因为这两个向量线性无关

既然线性无关是不是声明秩是2?毕竟秩是极大线性无关组个数

确实是的,秩是2,那是谁的秩?是公式里面的r?

不是的,r是系数矩阵的秩,也就是AX=0中的A的秩,即r(A)=2

那这个s是谁的?是X的秩

s等于多少,说明了解齐次解X的解系中有多少个线性无关向量,也就是k的个数是多少个

以上都是齐次解

非齐次解的公式是

s+1 = n - r + 1

请注意这里只是单纯的公式,不要化简,不要把1两边去掉

s+1=5,说明非齐次解X的秩就是5

非齐次解的构成是=齐次解+一个特解

也就是s本身是齐次解的个数=4,+一个特解,这个特解是不能用齐次解表示,所以就是非齐次解的秩就是齐次解的秩+1

也就是为什么非齐次解要用s+1了,也就是非齐次解最多s+1个线性无关向量


矩阵方程

A[]=[b11b12b21b22b31b32]

AX=B

这一眼看上去不就是非齐次增广吗?no,非齐次是只有一列,这是多列组成的常数项矩阵

X的解也很好说,就是将常数项矩阵的每一列依次拿出来形成非齐次增广矩阵按照非齐次求解就是每个X的解

求出来的每一个X再组成一个向量组,或者是用这些向量线性表出的结果就是X的解

矩阵方程解的判定

同样与线性方程组的方法一模一样

向量组的等价

向量组可以相互表出就是等价

判定方法(三秩相等)


特征值和特征向量

Aα=λα(α是非零向量)

满足以上式子,λ是特征值,α是特征向量

为什么我们求解特征值的时候总是用以下这个式子

|λEA|=0

因为我们看定义式子

Aα=λαλαAα=0(λEA)α=0

嘿,您儿猜怎么着儿,是不是像齐次线性方程组

(λEA)α=0A1α=0

我们知道就是一件事,齐次线性方程如果秩等于向量个数的话,说明只有唯一解,说明α解只有0解

而n元齐次线性方程组A x = 0有非零解的充分必要条件是R ( A ) < n

我们定义里面说了,α是非零向量当然是秩小于个数,也就是n阶行列式是为0的

这里我其实一开始有点犹豫的,因为我想到线性相关的定义时,全0和非全0是系数k的,而不是x后来想了想没有半毛钱关系,两个都不是一个东西

特征向量怎么求?

我们通过行列式为0求出多个特征值,分别回代求出多个特征向量

主对角线的上三角、下三角、对角阵的特征值为对角线上的数

[1000010013202321]的特征值就是1121

特征值与特征向量是一一对应的

不同特征值对应的特征向量是线性无关的(别脑洞打开,相同特征值对应的特征向量不一定相关)

特征值对应的特征向量的数乘不影响特征值

同一特征值对应的不同特征向量,两个不同特征向量经过线性关系后对应的特征值还是这个特征值


矩阵相似与相似对角化

存在可逆矩阵P,使得P1AP=B,AB相似

相似是具有传递性的

相似的五等五相似很重要

相似对角化

很简单,就是一个矩阵A如果相似于一个对角矩阵,那么A就可以相似对角化

P1AP=

给我认真点!😡🤬这就是相似定义的式子,只不过现在相似对象是对角矩阵

我们左乘一个P

A(p1,p2,,pn)=(p1,p2,,pn)[λ1λ2λn]=(λ1p1,λ2p2,,λnpn),

Api=λipi

怎么样是不是就是特征值与特征矩阵的味道

然后就是线性方程组和矩阵方程的味道!🤣🤣🤣🤣🤣

P现在就是一个特征向量组而不是单一个特征向量,其次特征值也不是一个,而是特征向量对应特征值构成的对角阵,注意特征值对角阵和特征向量组也是一一对应

矩阵是否相似对角化的判定

1.r重特征值一定具有r个线性无关的特征向量(充要)

2.A具有n个不同特征值(充分)

我们看到第一个判定方法,线性无关,是不是很耳熟,利用秩来判定

满秩说明无关

当矩阵可以相似对角化时,矩阵的非零特征值的个数等于矩阵的秩

隔了无数天,回头来看的这句话,为什么相似对角化的时候,秩是非零特征值个数

因为相似对角化以后特征值构成对角阵,这个对角阵因为相似于矩阵,也就是两个秩是相等的

既然如此特征值构成的对角阵,非零的特征值构成的当然是它的秩


正交矩阵、施密特正交化

向量内积

α=[a1a2...an]

β=[b1b2...bn]

(α,β)=a1b1+a2b2+...+anbn

对应元素相乘再相加

在矩阵中这种是点乘

当两个向量内积是0的时候就说明这两个向量是正交

向量的模长就是向量内各个元素平方和再开方。

模长为1的是单位向量

向量单位化

α0=α|α|

施密特正交化

α1α2线性无关β1=α1(选一个作为基准)β2=α2(α2,β1)(β1,β1)β1

三个向量怎么办?

α1α2α3线性无关β1=α1(选一个作为基准)β2=α2(α2,β1)(β1,β1)β1β3=α3(α3,β1)(β1,β1)β1(α3,β2)(β2,β2)β2

正交矩阵

AAT=EA是正交矩阵

不知道你的脑袋瓜子够不够聪明,这是不是和之前的某个东西很像!yeyeyey没错就是矩阵乘逆矩阵等于E

那不就是说明

A是正交矩阵⇔A1=AT

正交矩阵的性质

矩阵的每一个列向量均为单位向量

矩阵的列向量之间是正交向量


实对称矩阵相似对角化

实对称矩阵

构成的都是实数,然后是对称矩阵

实对称矩阵的性质

1.实对称矩阵的特征值都是实数

2.实对称矩阵中不同特征值对应的特征向量是正交的

之前我们说不同特征值对应特征向量是线性无关的,现在实对称是正交的

3.实对称矩阵一定可以相似对角化

4.实对称矩阵一定存在正交阵使该矩阵相似对角化

Q1AQ=

这和之前相似对角化很想啊,我们之前相似对角问题是求特征值对应特征向量组P,以及对角阵

现在类比我们求正交阵Q以及对角阵

对角阵一直是由特征值作为主对角元素构成

关键是在于正交阵怎么求

其实是一样的,按照相似对角化的求法求出P特征向量组

再把向量组中每一个向量分别正交化然后单位化,然后就是正交阵

α1α2α3正交化β1β1β1单位化β10β20β30Q=(β10β20β30)


秩为1的矩阵

已知两非零向量α=[a1a2a3]β=[b1b2b3]1.αTβ=a1b1+a2b2+a3b32.βTα=a1b1+a2b2+a3b33.αβT=[a1b1a1b2a1b3a2b1a2b2a2b3a3b1a3b2a3b3]4.βαT=[a1b1a1b2a1b3a2b1a2b2a2b3a3b1a3b2a3b3]秩为1的矩阵可以观察到呢就是两个矩阵的tr迹就是上面的数迹就是对角线加和啊

秩为1的矩阵的充要条件

r(A)=1⇔存在两个非零向量α,β使得A=αβT

r(A)=1且为对称阵⇔存在两个非零向量α使得A=ααT

秩为1的矩阵的特征值

r(A)=1⟺则A的特征值是tr(A),0,0,0,...0

秩为1的矩阵相似对角化的判定

tr(A)0⟺可对角化

tr(A)=0⟺不可对角化


二次型

就是次数都是2

f(x,y)=ax2+by2+abxy

xy的次数也是2

f(x1,x2,x3)=ax12+bx1x2+cx1x3+....

[x1x2x3][abc][x1x2x3]

找规律,谁找到送ta一朵小红花贴ta脑门上🌸

没错,a所在位置是第一行第一列所以对应x是x₁的平方,b所在位置是第一行第二列所以x是x₁x₂

根据这种规律我们就可以将函数变换成矩阵相乘的形式

但是问题来了,下标x₂x₁和x₁x₂当写成f形式的时候是假如7x₁x₂,怎么分配?

我第一行第二列可以写4,第二行第一列可以写3,我第一行第二列可以写2,第二行第一列可以写5也是一样

那这对应的矩阵岂不是无数个?所以

规定:二次型对应矩阵必须为对称矩阵

这样一来都是公平分,就一样了

f=XTAX

二次型的形式

一般:就是上面这种

标准:只有平方项

规范:不仅仅是只有平方,并且系数只能是1,-1,0

正惯性指数:标准型平方项的系数为正的个数

负惯性指数:标准型平方项的系数为负的个数

问题来了,标准型只有平方项是不是意味着是一个对角阵

是的

线性变换

X=CY[xxxx]=[][yyyy]

当C的行列式不为0,也就是C可逆的时候,称为可逆线性变换

当C为正交矩阵的时候,就叫正交线性变换


矩阵二次型签了一个什么?合同

P可逆PTAP=B则称AB合同记作AB

相信你也看出来了,这个合同的定义和二次型的很像,不着急慢慢来

回到我们的二次型中,忘掉合同定义

f=XTAX

如果这个时候我们将X进行一个可逆线性变换X=PY

f=XTAX(PY)TA(PY)YTPTAPYYT(PTAP)Y

f=XTAXYT(PTAP)Y

好啦,回忆合同定义式子

震惊!!!!一女子名:合同,竟然躲在二次型可逆变换后的面具里面!!!😁😁😁😁😁

完美啊,躲的完美啊,合同你本身也是现在P是可逆的,绝了,天衣无缝

f=XTAXYT(PTAP)YYT(B)Y

好啦,其实就是二次型经过可逆线性变换,变成新二次型,两二次型对应矩阵是合同关系

f=XTAXYT(B)Y

PTAP=B

AB

讲了这么多是在干什么?????

就是在将二次型化标准型

方法一:正交变换法

我们知道标准型对应的一定是对角阵

X=QYf=XTAX⟶⟶⟶⟶YTYQ=[β10,β20,β30]

这样的对角阵不就刚好对应是标准型🤩🤩

原理?

啦啦啦🎤《谁会不厌其烦的 安慰那无知的少年~》

f=XTAX(QY)TA(QY)YT(QTAQ)Y

正交矩阵本身就是可逆的,加上正交矩阵的性质

Q1=QTQ1AQ

我了个亲娘✌。这不就是实对称矩阵的相似对角化的式子吗?

Q1AQ=YTY

这下不就是对角阵了

方法二:配方法

f=x12+8x22+4x1x2

f=(x1+2x2)2+4x22

再换元

{x1+2x2=y1x2=y2{x1=y12y2x2=y2

[x1x2]=[1201][y1y2]

f=y12+4y22

你猜我为什么不直接换元,反正最终也就是换元直接得,搞这么麻烦,要回求,还要摆矩阵

你错了,这种本质还是一种可逆线性变换法X=PY,我求出矩阵,是看看这个P是否可逆,可逆就是行列式不为0

很明显我们摆出的常数项矩阵行列式不为0

说起配方下面三个你肯定有两个不陌生

(x+y)2=x2+2xy+y2

(xy)2=x22xy+y2

(ax+by+cz)2=a2x2+b2y2+c2z2+2abxy+2acxz+2bcyz

西尔维斯特惯性定理(惯性定理)

很简单

一个二次型,二次前的系数正负各有多少个称为正负惯性指数(前面说了)

这个二次型经过我们的可逆线性变换后形成的型的二次型,这个新的二次型的正负惯性指数不变

合同判定

AB⟺存在可逆矩阵P使得PTAP=B

2.对于实对称矩阵AB而言,AB⟺正负惯性指数相等

我来解释一下第二条,实对称矩阵的性质不知道你记不记得,实对称矩阵是一定存在一个正交矩阵使得Q^{-1}AQ=对称阵

也就是可逆矩阵是天然成立的

-----------------------------

合同一定等价

相似一定合同

相似一定等价


正定二次型和正定矩阵

正定二次型若 x0,都有 f=XTAX>0,则称 Q(x) 是正定二次型。

设 A 是 n 阶实对称矩阵,若对于任意非零向量 x,都有 xTAx>0,则称 A 是正定矩阵。

f=XTAX是正定二次型A为正定矩阵X0,f=XTAX>0λi>0⟺正惯性指数p=n,负惯性指数q=0⟺存在可逆矩阵P使得PTAP=E⟺存在可逆D使得A=DTDA所有的顺序主子式都>0

我了个老天✌

你让我选一个作为我一辈子用的方式,我选最后一个,顺序主子式是什么?

[123456789]

第一个顺序主子式

[1]

第二个

[1245]

第三个

[123456789]

我写的是矩阵,判定是时候是算它的行列式,判断正负

易错点

行列展开式和代数余子式和余子式是不一样的,行列展开是一整行一整列,其元素乘上代数余子式的值为行列式的值,代数余子式只有正负号乘上其余子式,没有乘元素

好啦,线性代数的部分就告一段落了