24，它们的内积formula_25都等于0。一个投影是正交投影，当且仅当它是自伴随的变换，这意味着正交投影的矩阵有特殊的性质。如果投影是在实向量空间中，那么它对应的矩阵是对称矩阵: formula_26。如果投影是在虚向量空间中，那么它的矩阵则是埃尔米特矩阵:formula_27。实际上，如果投影 formula_28 是自伴算子，那么所以 formula_28 是正交投影。反过来如果 formula_28 是正交投影，那么 formula_36，鉴于 formula_40 是任取的，必然有 for