关于广义迹函数的陈道琦不等式

摘要

设G≤Sn,f∈CG,广义迹函数Tf:Mn(C)→C定义为Tf(A)=∑σ∈Gf(σ)∑ni=1aiσ(i)。1988年陈道琦先生给出了半正定Herm ite矩阵乘积迹的一个著名不等式(1)。将这个不等式推广到了广义迹函数的情形,证明了不等式(2)。从而使不等式(1)成为不等式(2)的一个特例。