结构推理 体系的两个密度矩阵对于的相对熵定义为 证明它是非负的。