Ch1 行列式

一些定义

n阶行列式

n阶行列式的值是一个数

余子式

代数余子式

image-20230321102004862

n阶行列式的值的定义(公式)

image-20230321102118925

行列式的性质

行列式与其转置的行列式相等:DT=DD^T=D

​ 证明:数学归纳法

数乘:第二类初等变换

行列式的某一行(列)都乘以k,等于用k乘以行列式:

image-20230321102810996

​ 推论:如果行列式某一行(列)都是0,则行列式为0

交换行列式的两行,行列式反号

推论:若行列式两行(列)元素对应相等(成比例),行列式值为0

​ 推论:行列式任一行的所有元素与另一行对应元素的代数余子式乘积之和等于零

​ 证明:放入新行列式D1D_1中,D1D_1有两行元素相同,故D1=0D_1=0

所以有:

image-20230321110457803

拆项:

image-20230321110650171

第三类初等变换:

image-20230321110744108

行列式的计算

利用行列式的性质,使得要计算的行列式中有尽可能多的0,从而降阶和简化计算

三角行列式,D=a11a22annD=a_{11}a_{22}…a_{nn},只与主对角有关

爪型行列式(P15)

Vandermonde行列式P16

三对角行列式P18

Cramer法则

image-20230321211808118 image-20230321211819678

证明用到了定理

齐次方程组的非零解

image-20230321222412650

Ch2 矩阵

(行列式的)一些性质

矩阵无乘法交换律

矩阵有:结合律、分配律、数乘

矩阵的行列式,有性质: det(kA)=kndet(A) det(kA)=k^ndet(A)

image-20230321230032450

ATA^{T}的性质

矩阵转置的行列式不变(数学归纳法) AT=A \Rightarrow |A^T|=|A|

image-20230321230105158

r(ATA)=r(A)=r(AT) r(A^TA)=r(A)=r(A^T)

可逆矩阵

​ 可逆矩阵一定是方阵

​ 可逆矩阵的逆矩阵是唯一的

证明 A可逆det(A)=0A可逆 \Leftrightarrow det(A)=0

通过AA^*A1A^{-1}

伴随矩阵:$A^A$每个元素换成其对应的代数余子式,然后取转置得到的矩阵,且有: A^{-1} = \frac{A^}{det(A)}

image-20230322000925109 image-20230322001716872

逆矩阵的性质

image-20230322002855321

​ 最重要的:AB=BAAB = BA

分块矩阵

​ 乘法、逆、转置

​ 对角分块矩阵的逆:

image-20230322120148524

矩阵的初等变换

image-20230322120540195

行阶梯形与行标准形

image-20230322120704419

标准形

image-20230322121044795

初等矩阵:对单位矩阵II实施一次初等变换得到的矩阵,成为初等矩阵

​ 行初等与列初等,各自分为三种

对矩阵AA实施一次行初等变换,相当于用相应的初等矩阵左乘;列初等变换相当于用相应的初等矩阵右乘

矩阵等价:

image-20230322122214731

​ 自反、对称、传递

初等变换求逆法:

image-20230322125151595

矩阵的秩

性质:

满秩可逆det(A)0 满秩 \Leftrightarrow 可逆 \Leftrightarrow det(A) \ne 0 image-20230322131832370

初等变换不改变矩阵的秩

有关秩的定理:

​ 矩阵乘积的秩不超过每个因子的秩: r(AB)minr(A),r(B) r(AB) \le min { r(A), r(B)} ​ Sylvester公式:

image-20230322131959259

​ 还有:

image-20230322132141462

Ch3 向量

除非特别说明,所有向量都指向量

运算

线性运算:加法与数乘

image-20230322132503135

向量组的线性相关性

线性组合

线性无关/相关:

image-20230322185905251

​ 即,仅当k1…kn都为0时向量的线性组合才为0,时,线性无关

​ 若线性无关,则说明“不共线”(几何意义)

​ 向量组$\left { \alpha_1, \alpha_2, \alpha_3…, \alpha_m \right } $线性无关 \Leftrightarrow 其中至少有一个向量是其余向量的线性组合

性质:(好像没用)

image-20230322192005922

向量组的极大线性无关组

等价的向量组:image-20230322192254803

image-20230322194557827

由此引出极大线性无关组

image-20230322201823058

给定一个向量组,它的任何两个极大线性无关组都是等价的,从而所含向量一样多,因此:

image-20230322200131219

向量组的秩与矩阵的秩的关系:

首先,对于矩阵AA实行行初等变换,不会改变AA的列向量组的线性相关性和线性组合关系

​ 例题,求向量组的线性相关性,把列向量矩阵华为行标准形,有0行即线性相关

所以,矩阵AA的秩等于AA的列向量组的秩

->

image-20230322201514379

向量空间

向量生成的线性空间

基:线性无关,任一向量都可表出

image-20230323134009617

​ 可逆矩阵(可逆变换)不改变向量组的线性相关性\leftarrow可逆矩阵等价于一系列初等矩阵的积

向量空间VV的基实际上是VV作为向量集合的极大线性无关组

过渡矩阵(基变换矩阵)

image-20230323133326058

坐标变换公式

image-20230323172834259

用初等行变换求CCA1BA^{-1}B)以及C1XC^{-1}X:由过度矩阵可知B=ACB=AC

image-20230323180659208

α\alpha关于AA的坐标为XX,有Y=C1XY=C^{-1}X:因为坐标变换公式

Euclidean空间 Rn\mathbb{R}^n

内积(向量点乘)

Cauchy-Schwarz 不等式

image-20230323183133562

夹角,夹角余弦

正规化

标准正交向量组

把 线性无关向量组 化为 正交向量组的 Gram-Schmidt 正交化方法

image-20230323222529277

Ch4 线性方程组

线性方程组 齐次/非齐次 解

等价的线性方程组

image-20230324001303513

唯一解:

image-20230324002554707

为什么?

Gauss 消元法

image-20230324003235147

线性方程组有解/无解的充要条件:

image-20230324003624303

自由变量

齐次方程组解的结构

解空间N(A)N(A)

解空间是一个向量空间

解空间的基称为方程组AX=0AX=0的基础解系

image-20230324005518582

解空间的维数:

image-20230324005926277

基础解系的求法:

image-20230324010808390

在秩不等式中的应用:

image-20230324012927795

非齐次方程组解的结构

image-20230324012927795

非齐次解相减即为齐次解

Ch5 相似矩阵

本章讨论都是方阵

特征向量与特征值

image-20230324095224314

特征值 特征向量 矩阵的特征值等于逆矩阵特征值的倒数,反过来也一样

image-20230324100408412 如果λA的一个特征值,对应的特征向量为v,则f(λ)f(A)的一个特征值,对应的特征向量仍为v 如果λ是A的一个特征值,对应的特征向量为v,则f(λ)是f(A)的一个特征值,对应的特征向量仍为v。 特征多项式: image-20230324100424325

特征值:

image-20230324101747513

迹:

image-20230324101824037

特征值和特征向量的求法:

image-20230324102245525

g(λ)g(\lambda)g(A)g(A)的特征值:

image-20230324105659443

特征向量的性质

特征向量的线性无关性:简言之,同一个特征值对应的所有特征向量都是线性相关的,不同特征值的特征向量之间一定线性无关

实对称不同特征值对应的特征向量 \rightarrow 彼此正交

重数:

image-20230324114243028

相似矩阵对角化

相似矩阵:

image-20230324114539783 image-20230324114606259

对角化:

image-20230324114811245

可逆矩阵PP的n个列向量X1,X2,,XnX_1,X_2,…,X_n分别是AA对应于λ1,,λn\lambda_1,…,\lambda_n的特征向量:

image-20230324115020053

可对角化条件:

image-20230324115108157 image-20230324120147016 image-20230324121031919 image-20230324121104198

应用:一阶齐次线性常系数微分方程组

Ch6 二次型

二次型及其矩阵表示

关于对称矩阵:以主对角线为轴,各元素对应相等

要求二次型为、、、、、、、、、、、、、、、、、矩阵!!!

image-20230324134127094 image-20230324134217572

线性变换:

image-20230324134403432 image-20230324134421748

标准形、规范形

image-20230324142452438 image-20230324142518699

二次型的基本问题:

image-20230324142544875

矩阵合同

image-20230324142806566 image-20230324142857983

矩阵间的三种关系

image-20230324142922849

正交变换法化二次型为标准形

正交矩阵

image-20230324143032924

正交变换

image-20230324143049802

用正交矩阵得到的矩阵合同同时也是矩阵的相似

image-20230324144057629

主轴定理

image-20230324161927033

用正交变换化二次型为标准形的步骤:

image-20230324161942551

几何意义

image-20230324164134085

二次型的正定性

惯性定理:

image-20230324172259180

惯性指数:

image-20230324172433827

规范形:

image-20230324172525616

对称矩阵合同:

image-20230324172752971

正定二次型:

image-20230324172849159

判断准则:实对称矩阵正定的充要条件是特征值全正

image-20230324173144646

Sylvester定理

image-20230324174142725

正定性判断的几种方式:

image-20230324174221945

正定矩阵主对角元素恒正:

image-20230324174458557

正定矩阵的乘积(也正定):

image-20230324174702323