线性方程组Ax=b的行视图是超平面,列视图是列向量的线性组合。从这个视角,将矩阵与向量组联系起来了。
5.1 线性相关、线性无关
定义:给定向量组A:a1,a2,...,ama1,a2,...,am,如果存在不全为零的数k1,k2,,...,kmk1,k2,,...,km,使得k1a1+k2a2+...+kmam=0k1a1+k2a2+...+kmam=0,则称向量组A是线性相关的,否则称为线性无关的。
定理:向量组A:ai,i=1,...,mA:ai,i=1,...,m 线性相关 ⇔⇔ Ax=0有非零解 ⇔⇔ R(A)<mR(A)<m ;
向量组A:ai,i=1,...,mA:ai,i=1,...,m 线性无关 ⇔⇔ Ax=0有唯一解,即零解 ⇔⇔ R(A)=mR(A)=m ;
向量组的秩等于其最大线性无关向量组中向量个数。
定理:矩阵的秩等于它的列向量组的秩。
定理:如果n维向量组a1,…,ar是一组两两正交的非零向量,那么a1,…,ar线性无关。
定理7:设A∈Rm×nA∈Rm×n 的秩R(A)=rR(A)=r ,则n元齐次线性方程组Ax=0Ax=0 的解集S的秩R(S)=n−rR(S)=n−r 。解集中任意n-r个线性无关解都可构成它的基础解系。
5.2 span,基,子空间
向量组A:ai,i=1,...,N,ai∈RmA:ai,i=1,...,N,ai∈Rm 线性无关,则可以构成一个子空间S
S=span[a1,...,aN]={ y∈Rm|y=∑Ni=1kiai}S=span[a1,...,aN]={ y∈Rm|y=∑i=1Nkiai}
向量组A称为子空间S的一组基。如果向量组A两两正交(aTiaj=0aiTaj=0 ),则称为正交基,如果向量aiai 为单位向量,则称为规范正交基。
子空间的基有很多,但是基的秩(即向量个数)是不变的,称为子空间的维度。
从子空间定义可知,子空间一定包含原点(全为0的向量)。
5.2.1 四个基本子空间
1. 列空间 column space
列空间也称为值域或span,用C(A)表示,其中A∈Rm×nA∈Rm×n