ヒルベルト空間上の有界作用素 Aは特異値分解 A=W|A| が可能であることをさっと証明する．(Wは部分等長作用素) 部分等長作用素W をAをつかって代数的に書いてみる． 特異値分解がフォンノイマン代数で閉じていることを確認する． 極大部分等長作用素というも…