设a1,...,am为n维(列)向量组,令A = (a1,...,am),则A为n行m列的矩阵.
根据定义可以看出 a1,...,am线性相关 等价于 齐次线性方程组Ax = 0有非零解.
当m > n时,Ax = 0确实有非零解,故a1,...,am线性相关.