张成空间与线性无关

张成空间：
中一组向量 的所有线性组合所构成的集合称为 的张成空间，记为 ，空向量组 的张成空间定义为

证明：

线性无关：
中一组向量 称为线性无关，如果使得 等于 的 只有 。

证明： 线性无关，