Hilbert space
この結果はヒルベルト空間の距離構造を特徴付けるものだが、位相線型空間としてのヒルベルト空間の構造は補空間の存在の言葉で特徴付けられる。即ち、