要证两个向量组生成的向量空间相等该怎样证明

问题描述:

要证两个向量组生成的向量空间相等该怎样证明

例5.9设齐次方程组 ,记它的解集为 .证明 关于向量通常的线性运算构成向量空间.
证 ,有 、 ,则 ; ,亦有 ,于是 是完备的,关于向量通常的线性运算构成向量空间.称 为齐次方程组 的解空间.若 ,则 的维数为 (见第四章定理4.19),基础解系 就是 的一个基,通解 就是空间的生成形式,于是解空间 也可以写作基础解系的生成空间的形式: