『量子プログラミングの基礎』p.27 エルミート作用素（観測量）のスペクトル分解

hackmd.io
添え字は\lambdaでやっているがこれは重複を許すので本質的には部分空間ごとに添え字づけられていると思ってほしい．
これ無限次元でうまくいくのか分からん．