线性代数 秩零定理 $\mathrm{dim} , \mathrm{Col}A=\mathrm{rank}A$ $\mathrm{dim},\mathrm{Nul}A=n-\mathrm{rank}A$