線性代數
|
|
向量 · 向量空間 · 基底 · 行列式 · 矩陣
|
|
|
在線性代數中,一個的矩陣的跡(或跡數),是指的主對角線(從左上方至右下方的對角線)上各個元素的總和,一般記作或:
其中代表矩陣的第i行j列上的元素的值[1]。一個矩陣的跡是其特徵值的總和(按代數重數計算)。
跡的英文為trace,是來自德文中的Spur這個單字(與英文中的Spoor是同源詞),在數學中,通常簡寫為「Sp」或「tr」。
設有矩陣:
它的跡是:
= 3 + 9 + 4 = 16
給定一個環,跡是一個從係數在環中的矩陣的空間射到環之上的線性算子。也就是說,對於任兩個的矩陣、和純量,都有:
- [2]
更進一步來說,當是一個域時,跡數函數是矩陣的空間上的一個線性泛函。
由於一個矩陣的轉置矩陣的主對角線元素和原來矩陣的主對角線元素是一樣的,所以任意一個矩陣和其轉置矩陣都會有相同的跡[2]:
設A是一個矩陣,B是個矩陣,則:
- [2]
其中是一個矩陣,而是一個矩陣。
上述的性質可以由矩陣乘法的定義證明:
如果和都是的方形矩陣,那麼它們的乘積和也會是方形矩陣。因此,利用這個結果,可以推導出:計算若干個同樣大小的方形矩陣的乘積的跡數時,可以循環改變乘積中方形矩陣相乘的順序,而最終的結果不變[2]。例如,有三個方形矩陣、和,則:
- [3]
但是要注意:
- [3]
更一般地,乘積中的矩陣不一定要是方形矩陣,只要某一個循環改變後的乘積依然存在,那麼得到的跡數依然會和原來的跡數相同[2]。
另外,如果、和是同樣大小的方陣而且還是對稱矩陣的話,那麼其乘積的跡數不只在循環置換下不會改變,而且在所有的置換下都不會改變:
跡數擁有相似不變性。如果矩陣和相似的話,它們會有相同的跡。這一性質可使上面講過的循環性質來證明:
- 矩陣和相似也就是說存在可逆矩陣,使得
- 因此
一個的方形矩陣的特徵多項式定義為減去倍的單位矩陣後所得到的矩陣的行列式:
特徵多項式是一個關於的n次多項式,它的常數項是的行列式的值,最高次項是,而接下來的n-1次項就是,也就是說:
當係數域是代數閉體時(否則可以將係數域擴展到其代數閉包上來看),特徵多項式有n個根,它可以表達成:
其中的是特徵多項式的不同的根,而是這些根在特徵多項式裡的重數,稱為代數重數。顯然,所有代數重數加起來等於n。一方面,特徵多項式的根就是矩陣的特徵值,而另一方面,藉由根與多項式係數的關係可以知道:特徵多項式的所有的根加起來等於矩陣的跡數。所以矩陣的跡數是矩陣的所有特徵值(按照代數重數計算)的和[4]。
如果將矩陣寫成它的若爾當標準型的話,也可以看出這一點,因為若爾當標準型的特徵多項式的所有的根(包括重根)就是對角線上的所有元素。
如果不區分相同或不同的特徵值的話,上述關係也可以寫成:
其中的是矩陣的特徵值。
而且有:
設係數域為的是一個有限維的向量空間,維數是n。給定任一線性映射,可以定義此一映射的跡數為其轉換矩陣的跡,即選定的一個基底並用對應於此基底的一個方形矩陣描述,再定義這個方形矩陣的跡數為的跡數。這個定義下的跡數和所選取的基無關:只需要注意到不同的基底的選取實際上等價於對變換矩陣做一次相似變換,而兩個相似的矩陣的跡數是一樣的。因此這樣的定義是自洽的。
另外一種定義涉及到行列式的性質。考慮的一個基底,以及函數:
根據行列式理論,這個函數也是一個行列式型的函數,也就是說存在一個只取決於的量,使得
[5]
可以證明,這個純量就等於之前定義的的跡數[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是非奇異矩陣,有
- ^ 張賢達,《矩陣分析與應用》,第54頁
- ^ 2.0 2.1 2.2 2.3 2.4 張賢達,《矩陣分析與應用》,第55頁
- ^ 3.0 3.1 Carl Dean Meyer, Matrix Analysis and Applied Linear Algebra,第110頁
- ^ Karim M. Abadir,Jan R. Magnus, Matrix algebra,第168頁
- ^ Werner, Linear Algebra,第126頁
- ^ Werner, Linear Algebra,第127-128頁
- (英文)Karim M. Abadir,Jan R. Magnus. Matrix algebra. Cambridge University Press. 2005. ISBN 978-0521537469.