例 3.47

依赖于

  • 无显式依赖

被以下题目直接调用

例 3.47

是四维实行向量空间 中的向量,它们生成的子空间为 ,又向量 生成的子空间为 ,求子空间 的基。

解答

解法 1 是由 生成的,因此只要求出这 6 个向量的极大无关组即可。将这 6 个向量按列分块方式排成矩阵,并用初等行变换将其化为阶梯形矩阵:

故可取 的基(不唯一)。

再来求 的基。首先注意到 的基(从上面的矩阵即可看出),又不难验证 的基, 中的向量可以表示为 的线性组合。假设 属于 ,则向量组 和向量组 的秩相等(因为 的基)。因此,我们可以用矩阵方法求出参数 。注意到

故可得 ,所以 的基可取为

解法 2 的基同解法 1,现用解线性方程组的方法来求 的基。因为 的基, 的基,故对任一向量 。因此,求向量 等价于求解线性方程组

通过初等行变换将其系数矩阵 进行化简:

故上述线性方程组的通解为 ,从而 ,于是 的基。

要证明向量空间 是其子空间 的直和,只需证明两件事:一是证明 中任一向量均可表示为 中向量之和,即 ;二是证明 的交等于零。下面是两个典型的例子。