必要性显然,唯一的极大无关组即向量组自身充分性:反证.假设a1,a2,...,am线性相关则存在一个向量可由其余向量线性表示不妨设a1可由其余向量线性表示为a1=k2a2+k3a3+...+kmam因为 a1≠0,所以 k2,k3,...,km 不全为0不妨...