矩阵乘积的一个偏迹不等式

关于矩阵乘积的迹，文对半正定Ｈｅｒｍｉｔｅ阵证明了本文中的不等式（１），本文将这个不等式推广到了偏迹的情形。