向量组的线性相关性是线性代数中的核心概念，描述向量组中向量之间的依赖关系。具体定义和性质如下：

一、定义

给定向量组 ${ mathbf{a}_1, mathbf{a}_2, dots, mathbf{a}_m }$，如果存在不全为零的实数系数 $k_1, k_2, dots, k_m$，使得

$$

k_1mathbf{a}_1 + k_2mathbf{a}_2 + dots + k_mmathbf{a}_m = mathbf{0}

$$

则称该向量组 线性相关 ；否则，称其 线性无关 。

二、等价表述

向量组中至少有一个向量可以表示为其他向量的线性组合；

存在非零解的齐次线性方程组 $k_1mathbf{a}_1 + k_2mathbf{a}_2 + dots + k_mmathbf{a}_m = mathbf{0}$；

向量组的秩小于向量的维数（即 $r（mathbf{a}_1, mathbf{a}_2, dots, mathbf{a}_m） < m$）。

三、特殊情形

含零向量 ：任何包含零向量的向量组都是线性相关的，因为零向量可以表示为自身乘以零系数；

成比例向量 ：若向量组中存在两个向量成比例（如 $mathbf{a}_2 = kmathbf{a}_1$），则该向量组线性相关。

四、性质

整体与部分 ：若向量组整体线性相关，则其部分组也线性相关；反之，部分相关则整体相关；

延长与截短 ：无关向量组的延长组仍无关，相关向量组的截短组相关；

维数关系 ：$n$维向量组中，若向量个数$m > n$，则向量组必线性相关。

五、几何解释（低维空间）

二维空间 ：共线向量组线性相关，不共线则线性无关；

三维空间 ：若三个向量共面，则线性相关；若不共面则线性无关。

六、判定方法

行列式法 ：若系数矩阵为方阵且行列式为零，则向量组线性相关；

秩判定 ：通过初等行变换将矩阵化为行阶梯形，非零行数小于向量个数则线性相关。

通过以上定义、性质及判定方法，可以系统判断向量组的线性相关性及其应用场景。