本文证明了对实自共轭迹类算子有Ｔｒ（（ＡＢ）＾２＾ｎ）≤Ｔｒ（Ａ＾２＾ｎ，Ｂ＾２＾ｎ），即Ｋ＝２＾ｎ情形下的Ｈｉｌｂｅｒｔ空间中Ｂｅｌｌｍａｎ不等式；定义了Ｋ－换位子，讨论其若干性质；并给出Ｔｒ（（ＡＡ）＾２＝Ｔｒ（Ａ＾２Ａ）＾２的充要条件，等价定义了正常迹类算子。......