3 子空间
类似集合里面子集的概念,但是更复杂一点。
3.1 子空间定义
设V是数域F上的线性空间,W是V的子集,若对W中的任意元素,及,按V中的加法和数乘有:
-
;
-
.
则W也是数域F上的线性空间,称W为V的线性子空间(简称子空间)。
-
1)由单个零元素组成的子集{}是线性子空间;
-
2)线性空间V本身也是自己的线性子空间;
{}与V是称为V的平凡子空间,dim{}=0(因为是线性相关的,又找不到线性无关的向量)。
3.2 常见的子空间
3.2.1
设A是一给定的实矩阵,记
(1)
(2)
则N(A)是的子空间,称为A的零空间;
则R(A)是的子空间,称为A的列空间。
表示矩阵A的秩。
看懂下面这个例题,就很好理解这两个概念了。
例1:
1)方程组Ax=0的基础解系就是零空间N(A)的基
因为
所以rank(A)=2,所以dimN(A)=4-2=2
解得方程组Ax=0的基础解系:
所以是N(A)的基,
2)因为rank(A)=2,所以dimR(A)=2
由上矩阵化简结果可知,是矩阵A列向量的加大线性无关组。
所以是N(A)的基,
3.2.2
设是线性空间V的一向量组,记
(3)
则是V的子空间,称为由张成的子空间。
上面这个记号解决了抽象线性空间中子集(即子空间)的描述。
1)若是子空间W的基,则有 (4)
2)设,记,其中
则有 (5)
(这里不是太懂,个人理解如下:A_{i}是矩阵第i列,一个的向量,x是一个的向量,而Ax展开就是,就是张成的子空间的表达式,如公式(3)所示,所以就等于张成的一个子空间,记为)
极大线性无关组的个数等于矩阵的秩,R的维数等于矩阵的秩。
3.3 基扩张定理
定理:设是中一组线性无关向量,则存在中n-r个向量 ,使得
构成的基。
通俗理解就是:通过少数线性无关向量,可以扩张成一组空间的基。
3.4 和空间与交空间
设与均是线性空间的子空间。
- 不是线性空间的子空间;
- 是线性空间的子空间。
并运算得到结果并不是子空间,所以引出了一个新的概念:和空间。
3.4.1 定义
定义:设与均是线性空间的子空间,令(W1和W2中间是“且”字)
称为与的交空间;
称为与的和空间。
注:1)是V的子空间;
2)设,,则有
3.4.2 维数公式
1) 设与均是线性空间的子空间,则有
2) 和空间中的向量一定可以分解成两个向量之和,其中一个向量属于,另一个向量属于,即
注:这种分解不是唯一,如果要唯一就是下一节提出的概念——直和。
3.5 直和
3.5.1 定义
设中的任一向量只能唯一地分解为中的一个向量与中的一个向量之和,则称为与的直和,记为。(公式1)W1和W2中间是“且”字)
称为与的交空间;
称为与的和空间。
3.5.2 直和等价条件
,则有