投影矩阵
特征值只有 $\lambda=0$ 和 $\lambda=1$
$\lambda=0$ 对应的所有特征向量组成零空间
$\lambda=1$ 对应的所有特征向量组成列空间