正交投影算子的性质