trace函数性质