ヒルベルト空間
ヒルベルト空間 の正規直交系 に対し、以下は同値となる。