解的存在性: Ax=b,A.shape=(m,n),m<nA.shape=(m,n),m<n,未知数的个数大于方程的个数,由此推断:Ax=0存在非0解,Ax=0的解存在的原因是矩阵消元后存在自由列。 线性相关性: 定义:x1,x2,...,