rank(A)+rank(NULL)=n

UTF8gbsn

null space

什么叫矩阵的NULL space?

$Ax=0$, 那么$x\in$ NULL space of row vectors of A.
我们把它明明为null.那么接下来我们看看一些结论.

$$rank(A)+rank(null)=n$$

其中n是A的行向量的含有的元素个数.

null空间证明

我们在这里要来证明null是一个空间.

• $0\in null$.

• 如果$\alpha \in null$,那么 $$a\alpha \in null$$

• 如果$\alpha ,\beta \in null$,那么 $$a+\beta \in null$$

由此可见null是一个向量空间.

注意: A的所有行向量张成一个向量空间.

证明

1. 设A的行向量空间的维度为k,而设它的一组极大线性无关组为
   $${\eta }_1,{\eta }_2,\cdots ,{\eta }_k$$

2. 我们扩展这组极大线性无关组.是它的维度为n,也就是A的行向量的元素个数.
   $${\eta }_1,{\eta }_2,\cdots ,{\eta }_k,{\eta }_{k+1},\cdots ,{\eta }_n$$

3. 我们现在可以改写A的形式了 $$A=\left(\begin{array}{c}{\alpha }_{11}{\eta }_1+{\alpha }_{12}{\eta }_2+\cdots +{\alpha }_{1k}{\eta }_k\\ {\alpha }_{21}{\eta }_1+{\alpha }_{22}{\eta }_2+\cdots +{\alpha }_{2k}{\eta }_k\\ ⋮\\ {\alpha }_{m1}{\eta }_1+{\alpha }_{m2}{\eta }_2+\cdots {\alpha }_{mk}{\eta }_k\end{array}\right)$$

4. 由此可见,只要$c\in \left({\eta }_1,{\eta }_2,\cdots ,{\eta }_k\right)$张成的空间,那么$Ac\ne 0$.

5. 另外只要,$b\in \left({\eta }_{k+1},{\eta }_{k_2},\cdots ,{\eta }_n\right)$张成的空间,那么$Ab=0$

6. 现在要来证明$null$和$\left({\eta }_{k+1},{\eta }_{k+2},\cdots ,{\eta }_n\right)$相等.

   • 你可以很容易的证明
     $$\left({\eta }_{k+1},{\eta }_{k+2},\cdots ,{\eta }_n\right)\subseteq null$$

   • 由于$\left({\eta }_1,{\eta }_2,\cdots ,{\eta }_n\right)$张成真个n维空间.我们来看看$\gamma \notin \left({\eta }_{k+1},{\eta }_{k+2},\cdots ,{\eta }_n\right)$.

     1. 我们先来看看,$\gamma$位于哪里?我们第一感觉是,第一种可能$\gamma \in \left({\eta }_1,{\eta }_2,\cdots ,{\eta }_k\right)$.属于这个空间的$\gamma \Rightarrow A\gamma \ne 0$

     2. $\gamma$还可能属于哪个空间?首先要注意.
        $$\left({\eta }_1,{\eta }_2,\cdots ,{\eta }_k\right)$$ 加上
        $$\left({\eta }_{k+1},{\eta }_{k+2},\cdots ,{\eta }_n\right)$$
        不等于整个n维空间.其中有一部分向量是需要各自用到这两个空间中的向量才能表示.在这里面的向量至少可以找到不等于0的$\sigma ,\lambda$
        使得
        $$\gamma =\sigma {\eta }_i+\lambda {\eta }_j+{\eta }_{d_1}+{\eta }_{d_2}+\cdots +{\eta }_{d_s}$$
        但是,这里面的$\gamma$使得$A\gamma \ne 0$,这个区域并不构成一个向量空间.但是里面确实含有不少向量是不属于null也不属于A的行向量空间的.

     3. 由此可见只要$A\gamma =0\Rightarrow \gamma \in \left({\eta }_{k+1},{\eta }_{k+2},\cdots ,{\eta }_n\right)$

   由此可见$null\in \left({\eta }_{k+1},{\eta }_{k+2},\cdots ,{\eta }_n\right)$

7. 最终可以得出结论.

   $$rank(A)+rank(null)=n$$