定義
設
![友矩陣](/img/2/8d7/wZwpmLyMjM4YDM5AzN0MTN1UTM1QDN5MjM5ADMwAjMwUzLwczL4czLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
是數域F上的首項為1的多項式,則n階矩陣:
![友矩陣](/img/2/0bd/wZwpmL3ITOxMDN5gjN0MTN1UTM1QDN5MjM5ADMwAjMwUzL4YzLxczLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
稱為多項式f(t)的友矩陣(或伴侶矩陣),方陣的有理標準形就是由友矩陣塊構成的分塊對角矩陣,而有理標準形在套用上以及理論推導中,都有較大的作用。
相關定理
定理1
每一個首1多項式既是它的友矩陣的最小多項式,又是它的友矩陣的特徵多項式。
![友矩陣](/img/0/b58/wZwpmL2gzN4YzN0kDN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5QzLyQzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![友矩陣](/img/0/b58/wZwpmL2gzN4YzN0kDN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5QzLyQzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![友矩陣](/img/8/754/wZwpmL0ADO3gTNwAzNwMzM1UTM1QDN5MjM5ADMwAjMwUzLwczLzYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
如 的極小多項式的次數為n,那么與每一個特徵值對應的最大的Jordan塊就是與每一個特徵值對應的唯一的Jordan塊.這樣的矩陣是無損的,特別地,每一個友矩陣都是無損的,當然,不一定每個無損的矩陣 都是友矩陣,但是A與A的特徵多項式的友矩陣C有同樣的Jordan標準型(與每一個不同的特徵值 對應的只有一個分塊,所以A與C相似。
定理2
![友矩陣](/img/8/754/wZwpmL0ADO3gTNwAzNwMzM1UTM1QDN5MjM5ADMwAjMwUzLwczLzYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
設C為多項式p(x)的友矩陣, 是C的特徵值,則
![友矩陣](/img/7/4d6/wZwpmL1EzM1ITN3gjN0MTN1UTM1QDN5MjM5ADMwAjMwUzL4YzLxUzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![友矩陣](/img/8/754/wZwpmL0ADO3gTNwAzNwMzM1UTM1QDN5MjM5ADMwAjMwUzLwczLzYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
是C的對應於 的特徵向量。
定理3
![友矩陣](/img/e/9dd/wZwpmL2cjNxgTO3cTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL3UzL0gzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
n階複數矩陣A相似於它的特徵多項式 的友鉅陣,當日僅當A的最小多項式與特徵多項式相同。
定理4
![友矩陣](/img/0/b58/wZwpmL2gzN4YzN0kDN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5QzLyQzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![友矩陣](/img/3/6b6/wZwpmL4MDN5EjMzUTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL1UzLxUzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![友矩陣](/img/e/9dd/wZwpmL2cjNxgTO3cTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL3UzL0gzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
設 有極小多項式 以及特徵多項式 ,則下面諸結論等價:
![友矩陣](/img/3/6b6/wZwpmL4MDN5EjMzUTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL1UzLxUzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
(a) 的次數為n;
![友矩陣](/img/e/9dd/wZwpmL2cjNxgTO3cTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL3UzL0gzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![友矩陣](/img/3/6b6/wZwpmL4MDN5EjMzUTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL1UzLxUzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
(b) = ;
(c)A是無損的;
![友矩陣](/img/e/9dd/wZwpmL2cjNxgTO3cTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL3UzL0gzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
(d) 與P^(t)的友矩陣相似。