非負演算子A (<ψ|A|ψ> >= 0)の固有値が0以上であるということを証明したいです．
今のところ使える道具としては
極分解
スペクトル分解
です．
どなたか分かる人教えてください．