向量组线性相关充要条件：完整解析与推导

向量组线性相关的充要条件有多种，以下列举其中几个：

存在一组不全为零的实数$k_1,k_2,\cdots,k_n$，使得向量组中的向量线性组合为零向量，即$k_1\vec{v}_1+k_2\vec{v}_2+\cdots+k_n\vec{v}_n=\vec{0}$。
向量组中至少存在一个向量可以表示为其余向量的线性组合，即存在$i\in{1,2,\cdots,n}$，使得$\vec{v}i$可以表示为$k_1\vec{v}1+k_2\vec{v}2+\cdots+k{i-1}\vec{v}{i-1}+k{i+1}\vec{v}_{i+1}+\cdots+k_n\vec{v}_n$。
存在某一个向量可以表示为其余向量的线性组合，且这个向量不是零向量，即存在$i\in{1,2,\cdots,n}$，使得$\vec{v}i$可以表示为$k_1\vec{v}1+k_2\vec{v}2+\cdots+k{i-1}\vec{v}{i-1}+k{i+1}\vec{v}_{i+1}+\cdots+k_n\vec{v}_n$，且$\vec{v}_i\neq\vec{0}$。
行向量组和列向量组之间的秩不相等，即$\mathrm{rank}(A)\neq\mathrm{rank}(A^\mathrm{T})$，其中$A$为由向量组成的矩阵。

需要注意的是，这些条件之间并不是互相独立的，有些条件可以由其他条件推导出来。