定义4.4 设 若有F上一组不 全为零的数 使得 则称向量组 线性相.pptVIP

定理4.6 * 定义4.4 设 若有F上一组不 全为零的数 使得 则称向量组 线性相关. 4.3 向量组的线性相关性 定义4.5 一个向量组如果不线性相关,就称之为线性无关. 则称 线性无关. 定义4.5 设 是一个n维向量组,如果 对于数 只要 就必有 那么就称向量组 线性无关. 换言之,如果不存在一组不全为 零的数 使得 定义4.5又可以等价地定义如下： 例4.2 n维单位向量 线性无关. 证明 若 则有 从而 因此 线性无关. 即 例4.3(第131页） 定理 m个n维向量 线性无关的充要条件是以 为 系数列向量的齐次线性方程组 (1) 只有零解. 证明 齐次线性方程组(1)相当于向量等式 (2) 若 线性无关, 故只有 满足方程组(1). 反之,若(1)只有零解,则仅当 时(2)式才成立. 故