假设A为nxn方阵。
- 当r(A)=n时,Ax=0的解集是{0}。由定义可知,dim({0})={0}的基的个数=0,所以0+n=n。
- 当r(A)=0时,Ax必然等于0,用X表示x的解空间,则由dim(X)=n,所以n+0=n。
- 当r(A)=r时,A必定由r个非零行,不妨假设前r行为非零行,利用高斯消元法可将后n-r行化成0,因此方程组必有n-r个自由未知数,即基础解系中包含n-r个解向量,所以dim(X)=n-r,故r+n-r=0
综上,dim(Null(A))+rank(A)=0。
假设A为nxn方阵。