§2线性子空间与子空间的分解在通常的三维几何空间中,考虑一个通过原点的平面
不难看出,这个平面上的所有向量对于加法和数量乘法组成一个二维的线性空间,这就是说,它一方面是三维几何空间的一个部分,同时它对于原来的运算也构成一个线性空间
一般地,我们不仅要研究整个线性空间的结构,而且要研究它的线性子空间,一方面线性子空间本身有它的应用,另一方面通过研究线性子空间可以更深刻地揭示整个线性空间的结构
一、线性子空间的定义定义7设是数域上的一个线性空间,是的一非空子集
如果对于中所定义的加法和数乘运算也构成数域上的一个线性空间,则称为的一个线性子空间,简称子空间
验证是否为的子空间,实际上只需考察对于中加法和数乘运算是否封闭就行了
因为线性空间定义中的规则在对线性运算是封闭的情况下必是满足的
例1任何线性空间有两个平凡子空间或假子空间;一个是它自身,另一个是,称为零元素空间(零子空间)
除此之外的子空间称为非平凡子空间或真子空间
下面举几个常见的例子
例2给定,集合分别是和上的子空间,依次称为的零空间(核)和列空间(值域),零空间的维数称为零度的零空间是齐次线性方程组的全部解向量构成的维线性空间的一个子空间
因为解空间的基就是齐次线性方程组的基础解系
的左零空间和行空间,
表示的广义逆,满足,则有且,幂等
所以例3设是的个向量,它们所有可能的线性组合所成的集合是的一个子空间,称为由生成的子空间
若记,则由子空间的定义可知,如果的一个子空间包含向量,那么就一定包含它们所有的线性组合
也就是说是的一个子空间
注:容易证明(1)
(2),,特别若可表示为的线性组合,则
定理2设是的一个维子空间,是的一个基,则这个向量必定可扩充为的基
证明若,则定理已成立
若,则中必存在一个向量不能由线性表出,从而线性无关
如果,则定理已成立
否则继续上述步骤
经过次,则可得到内个线性无关的向量,使为