在线性代数中,n乘n方阵“A”的迹,是指“A”的主对角线各元素的总和(从左上方至右下方的对角线),例如:
tr(A) = A1,1 + A2,2 + ... + An,n其中 Aij 代表在 i 行 j 栏中的数值。同样的,元素的迹是其特征值的总和,使其不变量根据选择的基本准则而定。
迹的英文为“trace”,是来自德文中的“Spur”这个单字(与英文中的“Spoor”是同源词),在数学中,通常简写为“Sp”。
性质迹是一种线性算子。亦即,对于任两个方阵A、B和标量r,会有下列关系:
tr(A + B) = tr(A) + tr(B) tr(rA) = r tr(A)因为主对角线不会在转置矩阵中被换掉,所以所有的矩阵和其转置矩阵都会有相同的迹:
tr(A) = tr(AT)设A是一个n×m矩阵,B是个m×n矩阵,则:
tr(AB) = tr(BA)其中AB是n×n矩阵,而BA是m×m矩阵。
上述可以由矩阵乘法的定义证明:
利用这个结果,我们可以推导出方阵的乘积和其任何循环置换的乘积会有相同的迹,称为迹的“循环性质”。例如,有三个方阵A、B、C,则:
tr(ABC) = tr(CAB) = tr(BCA)更一般化地,当矩阵不被假设为方阵,但其所有乘积依然存在时,其迹依然会完全相同。
若A、B、C为有着相同维度的方阵而且对称的话,其乘积的迹不只在循环置换下不会改变,而是在所有的置换下均不会改变,亦即
tr(ABC) = tr(CAB) = tr(BCA) = tr(BAC) = tr(CBA) = tr(ACB)迹拥有相似不变性,即A和P?1AP会有相同的迹,尽管总是存在一相同迹但不相似的矩阵。这一性质可使上面讲过的循环性质来证明:
tr(P?1AP) = tr(PP?1A) = tr(A)给定任一线性映射f : V → V(V是一有限维向量空间),我们可以定义此一映射的迹为其矩阵表达式的迹,即选定V的一基并描述f为一对应于此基的矩阵,再取此一方阵的迹。其结果将和所选取的基无关,当不同的基都会得出相似的矩阵。