结构推理 给定系统A的一个混态，证明它能够作为两体系统A和B的Hilbert空间中某个纯态的约化密度矩阵来得到。