正交投影线性有界算子性质泛函