Hilbert space
ヒルベルト空間 上の有界線型作用素 がユニタリであるとは、