Hilbert空間上の作用素論3：射影値測度（PVM）による積分論、スペクトル測度、Borel汎関数計算