线性表出结论

• 加入一个向量无关变相关，那个向量可以被唯一线性表出
• 个数小的向量组表出个数大的向量组，大的向量组线性相关
• 线性无关的向量组只可能被大于等于它的向量组线性表出