令S(H)是复Hilbert空间H上所有态（即，迹是1的正算子）构成的凸集，2≤dimH＜∞．本文证明了映射ψ∶S(H)→S(K)保纯态和严格凸组合（即，ψ把纯态......