怎么判断一个矩阵有几个线性无关的解