在线性代数中,一個的矩陣的跡(或跡數),是指的主對角線(從左上方至右下方的對角線)上各個元素的總和,一般記作或:
其中代表矩陣的第i行j列上的元素的值[1]。一個矩陣的跡是其特徵值的總和(按代數重數計算)。
跡的英文為trace,是來自德文中的Spur這個單字(與英文中的Spoor是同源詞),在數學中,通常簡寫為「Sp」或「tr」。
例子
設有矩陣:
它的跡是:
= 3 + 9 + 4 = 16
性質
給定一個環,跡是一個從係數在環中的矩陣的空間射到環之上的線性算子。也就是說,對於任兩個的矩陣、和純量,都有:
更進一步來說,當是一個域時,跡數函數是矩陣的空間上的一個線性泛函。
由於一個矩陣的轉置矩陣的主對角線元素和原來矩陣的主對角線元素是一樣的,所以任意一個矩陣和其轉置矩陣都會有相同的跡[2]:
設A是一個矩陣,B是個矩陣,則:
其中是一個矩陣,而是一個矩陣。
上述的性質可以由矩陣乘法的定義證明:
如果和都是的方形矩陣,那麼它們的乘積和也會是方形矩陣。因此,利用這個結果,可以推導出:計算若干個同樣大小的方形矩陣的乘積的跡數時,可以循環改變乘積中方形矩陣相乘的順序,而最終的結果不變[2]。例如,有三個方形矩陣、和,則:
但是要注意:
更一般地,乘積中的矩陣不一定要是方形矩陣,只要某一個循環改變後的乘積依然存在,那麼得到的跡數依然會和原來的跡數相同[2]。
另外,如果、和是同樣大小的方陣而且還是對稱矩陣的話,那麼其乘積的跡数不只在循環置換下不會改變,而且在所有的置換下都不會改變:
跡數擁有相似不變性。如果矩陣和相似的話,它們會有相同的跡。這一性質可使上面講過的循環性質來證明:
- 因此
一个的方形矩阵的特征多项式定义为减去倍的单位矩阵后所得到的矩阵的行列式:
特征多项式是一个关于的n次多项式,它的常数项是的行列式的值,最高次项是,而接下来的n-1次项就是,也就是说:
当系数域是代数闭域时(否则可以将系数域扩展到其代数闭包上来看),特征多项式有n个根,它可以表达成:
其中的是特征多项式的不同的根,而是这些根在特征多项式裡的重数,称为代数重数。显然,所有代数重数加起来等于n。一方面,特征多项式的根就是矩阵的特征值,而另一方面,借由根与多项式系数的关系可以知道:特征多项式的所有的根加起来等于矩阵的迹数。所以矩阵的迹数是矩阵的所有特征值(按照代数重数计算)的和[4]。
如果将矩阵写成它的若尔当标准型的话,也可以看出这一点,因为若尔当标准型的特征多项式的所有的根(包括重根)就是对角线上的所有元素。
如果不区分相同或不同的特征值的话,上述关系也可以写成:
其中的是矩阵的特征值。 而且有:
線性映射的跡數
設系数域为的是一個有限維的向量空間,維數是n。給定任一線性映射,可以定義此一映射的跡數為其变换矩阵的跡,即選定的一個基底並用對應於此基底的一個方形矩陣描述,再定義這個方形矩陣的跡數為的跡數。這個定義下的跡數和所選取的基無關:只需要注意到不同的基底的選取實際上等價於對變換矩陣做一次相似變換,而兩個相似的矩陣的跡數是一樣的。因此這樣的定義是自洽的。
另外一种定义涉及到行列式的性质。考虑的一个基底,以及函数:
根据行列式理论,这个函数也是一个行列式型的函数,也就是说存在一个只取决于的量,使得
可以证明,这个纯量就等于之前定义的的跡數[6]。
迹的梯度
由迹的定义可知迹可以看作是矩阵的实标量函数,所以我们可以通过求实标量函数的梯度来求迹的梯度。
- A是m×m矩阵时,有
- m×m矩阵A可逆时,有
- 对于两个向量x和y的外积,有
- 若A为m×n矩阵,有
- 若A为m×m矩阵,有
- 若A为m×n矩阵,B是m×n矩阵,有
- 若A为m×n矩阵,B是n×m矩阵,有
- 当A和B均为对称矩阵时,有
- 若A和B都是m×m矩阵,并且A是非奇异矩阵,有
參見
参考来源
参考书籍
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.