ヒルベルト空間
を選ぶ。ここでgは実定数でformula_5はformula_1のいるヒルベルト空間、およびformula_7はformula_2のいるヒルベルト空間上で作用するエルミート演算子である。