13.6.5 迹函数和半迹函数