作用素のスペクトル分解はノルムで縛られている。
一致はしないけど、平均とかは収束してしまう