线性方程组Ax=b的行视图是超平面,列视图是列向量的线性组合。从这个视角,将矩阵与向量组联系起来了。
5.1 线性相关、线性无关
定义:给定向量组A:,如果存在不全为零的数,使得,则称向量组A是线性相关的,否则称为线性无关的。
定理:向量组 线性相关 Ax=0有非零解 ;
向量组 线性无关 Ax=0有唯一解,即零解 ;
向量组的秩等于其最大线性无关向量组中向量个数。
定理:矩阵的秩等于它的列向量组的秩。
定理:如果n维向量组a1,…,ar是一组两两正交的非零向量,那么a1,…,ar线性无关。
定理7:设 的秩 ,则n元齐次线性方程组 的解集S的秩 。解集中任意n-r个线性无关解都可构成它的基础解系。
5.2 span,基,子空间
向量组 线性无关,则可以构成一个子空间S
向量组A称为子空间S的一组基。如果向量组A两两正交( ),则称为正交基,如果向量 为单位向量,则称为规范正交基。
子空间的基有很多,但是基的秩(即向量个数)是不变的,称为子空间的维度。
从子空间定义可知,子空间一定包含原点(全为0的向量)。
5.2.1 四个基本子空间
1. 列空间 column space
列空间也称为值域或span,用C(A)表示,其中 ,其定义为所有列向量的线性组合即
, C(A)是 的子空间。
2. 零空间 null space
零空间N(A)定义为Ax=0的所有解构成的集合。N(A)是 的子空间。
3. 行空间 row space
行空间是所有行的线性组合,表示为 ,是 的子空间
4. 左零空间 left null space
,是 的子空间。
5.2.2 四个子空间的关系
对于 ,四个子空间的关系可以用下图来表示:
可以看到,行空间和零空间正交,行空间和零空间共同组成 空间,行空间和零空间正交互补;列空间和左零空间正交,列空间和左零空间共同组成 空间,列空间和左零空间正交互补。
正交证明:假定y1,y2分别来自行空间和零空间,根据定义有:
则 , 正交。
5.2.3 从子空间角度重新看线性方程组
对于线性方程组Ax=b,其解的形式为x=p+v,其中p为特解(Ap=b),v为零解(Av=0)。
若 维度为0,那么方程只有唯一解,p
若 维度大于0,那么方程有无穷多解
若 ,方程无解
5.2.4 方阵的特征分解
5.2.4.1 特征值、特征向量
的几何意义:
是指对向量x进行了旋转。当x为A的特征向量时,旋转后的向量与原向量共线,其缩放倍数为特征值 。
为求特征值:
有非0解,则 ,这个方程称为矩阵A的特征方程。
特征方程在复数范围内恒有解,解得个数等于方程的次数,因此,n阶矩阵在复数范围内有n个特征值。
设n阶矩阵A=(aij)的特征值为 ,则:
是方阵A的特征值,则 是 的特征值, 是 的特征值 , 是 的特征值 ,如果A可逆,则 是 的特征值。
定理: 设 是方阵A的n个特征值, 为对应的特征向量,如果特征值各不相同,则特征向量线性无关。
5.2.4.2 相似矩阵和对角化
相似矩阵定义: 设A,B都是n阶矩阵,若存在可逆矩阵P,使得 ,则称B是A的相似矩阵。
定理: 若n阶矩阵A,B相似,则A,B的特征多项式相同,特征值相同。
推论:若n阶矩阵A与对角阵 相似, 则A的特征值为
对角化:对于n阶矩阵,寻求相似变换矩阵P,使得 的过程成为把A对角化。
定理 : n阶矩阵A可对角化 A有n个线性无关的特征向量 A的n个特征值互不相同。
如果A有重特征值时,如果能找到对应的线性无关特征向量,则A也可以对角化。重点在于线性无关的特征向量。
5.2.4.3 对称矩阵的对角化
定理:对称阵的特征值为实数。
因此,对称阵的特征值大小可以进行排序。
定理 :设 是对称阵A的两个特征值, 是对应的特征向量,若 ,则 正交。
定理:A为n阶对称阵,则必有**正交阵**P,使得其对角化,即
定理:对称阵的k重特征值可以求得k个线性无关特征向量。
由以上定理可知,对于一个对称阵,无论其特征值相同或不同,都可以找到线性无关的特征向量,且可以得到两两正交的单位特征向量。即( ,P为特征向量组成的正交阵)
因此,
,
这就是对称矩阵的特征分解 ,从上式可以看到,特征值较小的项可以略掉。这就是降维的思想。
对任意矩阵A, ,当A为对称阵时,
证明:若x满足Ax=0,则它也满足 ,若x满足 ,则 ,因此 同解。假设解集的秩为s,则 ,得证。
对于任意x, , 因此, 都是半正定的。
5.2.4.4 特征分解和子空间的关系
对于对阵矩阵A,如果 ,则A有r个非零特征值,(n-r)个零特征值。(可以由 得到)
可以将特征向量写成分块形式 其中,P1对应非零特征值的特征向量,P2对应零特征值的特征向量。那么:列空间 可以表示为:
上式是特征向量P1的线性组合,因此 ,因此,P1是C(A)的正交基。
上式还可以表示为: , 对于零空间, ,由对称矩阵特征向量正交性可知, 属于零空间。且零空间维度为n-r, 的秩也是n-r,因此,P2是N(A)的正交基。