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