冪等行列formula_49の像空間を、零空間をとすれば、formula_49はへの射影作用素であり、さらに直交射影でもあるための必要十分条件は対称行列であることである。