Hilbert space
がヒルベルト空間の場合、部分空間 の直交補空間は、 の閉包 の補空間になる。つまり、formula_9 が成り立つ（ はヒルベルト空間の内部直和）。