求指教:向量组个数与维数的问题有这么两条推论:1.向量组个数大于维数必线性相关;2.个数小于维数则齐次线性方程组有非零解