Hilbert space
で入れたヒルベルト空間 "L"2(Ω"E",μ) のユニタリ変換になる。