是说，对于任两个formula_1的矩阵formula_2、formula_16和纯量formula_17，都有：更进一步来说，当formula_10是一个域时，迹数函数formula_21是formula_1矩阵的空间formula_12上的一个线性泛函。由于一个矩阵formula_2的转置矩阵formula_25的主对角线元素和原来矩阵的主对角线元素是一样的，所以任意一个矩阵和其转置矩阵都会有相同的迹：
矩阵乘积的迹数.设"A"是一个formula_27矩阵，"B"是个