这个是定义.原因呢~
因为行列式不为0,也就是满秩,它的秩为n,可以用初等行变换化为对角矩阵,那么就可以得出不存在一组不全为0的数使方程k1α1+k2α2+k3α3+...+knαn=0
所以向量组就线性无关