投影算子是在赋范线性空间X上具有幂等性的有界线性算子。设P是X上的有界线性算子，如果P2=P，则称P为投影算子。