线性子空间
定义
定义:数域P上线性空间V的一个非空子集合W,若W对V的两种运算也构成数域P上的线性空间,则W称为V的一个线性子空间,简称子空间
条件:
设W是V的子集合
1.若W中包含向量,则W一定同时包含域P中的数k与的数量乘积
2.若W中包含向量,则W一定同时包含与的和
3.0在W中
4.若W中包含向量,则也在W中
定理:若线性空间V的非空子集合W对于V的两种运算是封闭的,即满足上述条件1,2,则W为一个子空间
注:任何一个线性子空间的维数不能超过整个空间的维数
例
1.在线性空间中,由单个的零向量所组成的子集合是一个线性空间,称为零子空间
2.线性空间V本身也是V的一个子空间
注:在线性空间中,零子空间和线性空间本身这两个子空间称为平凡子空间,其他的线性子空间称为非平凡子空间
3.在全体实函数组成的空间中,所有实系数多项式组成一个子空间=
4.是线性空间的子空间
5.在线性空间中,齐次线性方程组
的全部解向量组成一个子空间,称为齐次线性方程组的解空间
注:解空间的基即方程组的基础解系,维数等于n-r,其中r为系数矩阵的秩
6.设是线性空间V中一组向量,这组向量所有可能的线性组合所成的集合非空,且对两种运算封闭,是V的一个子空间,称为由生成的子空间,记作
注:
(1)由子空间的定义,若V的一个子空间包含,则一定包含它们所有的线性组合,即包含
(2)在有限维线性空间中,任一子空间都可这样得到,设W是V的一个子空间,显然W是有限维的,设是W的一组基,则
定理
定理:两个向量组生成相同子空间两个向量组等价
证明:
定理:的维数等于向量组的秩
证明:
定理:设W是数域P上n维线性空间V的一个m维子空间,是W的一组基,则这组向量必可扩充维整个空间的基,即在V中必可找到n-m个向量使是V的一组基
证明: