文章目录
多项式矩阵
基本定义和性质
定义:多项式矩阵( 
      
       
        
        
          λ 
         
        
       
         \lambda 
        
       
     λ 阵)
 形如以下的矩阵
  
      
       
        
        
          ( 
         
         
          
           
            
             
              
              
                a 
               
              
                11 
               
              
             
               ( 
              
             
               λ 
              
             
               ) 
              
             
            
           
           
            
             
              
              
                a 
               
              
                12 
               
              
             
               λ 
              
             
            
           
           
            
            
              ⋯ 
             
            
           
           
            
             
              
              
                a 
               
               
               
                 1 
                
               
                 n 
                
               
              
             
               ( 
              
             
               λ 
              
             
               ) 
              
             
            
           
          
          
           
            
             
              
              
                a 
               
              
                21 
               
              
             
               ( 
              
             
               λ 
              
             
               ) 
              
             
            
           
           
            
             
              
              
                a 
               
              
                22 
               
              
             
               λ 
              
             
            
           
           
            
            
              ⋯ 
             
            
           
           
            
             
              
              
                a 
               
               
               
                 2 
                
               
                 n 
                
               
              
             
               ( 
              
             
               λ 
              
             
               ) 
              
             
            
           
          
          
           
            
             
             
               ⋮ 
              
              
               
              
             
            
           
           
            
             
             
               ⋮ 
              
              
               
              
             
            
           
           
            
             
            
           
           
            
             
             
               ⋮ 
              
              
               
              
             
            
           
          
          
           
            
             
              
              
                a 
               
               
               
                 m 
                
               
                 1 
                
               
              
             
               ( 
              
             
               λ 
              
             
               ) 
              
             
            
           
           
            
             
              
              
                a 
               
               
               
                 m 
                
               
                 2 
                
               
              
             
               λ 
              
             
            
           
           
            
            
              ⋯ 
             
            
           
           
            
             
              
              
                a 
               
               
               
                 m 
                
               
                 n 
                
               
              
             
               ( 
              
             
               λ 
              
             
               ) 
              
             
            
           
          
         
        
          ) 
         
        
       
         \begin{pmatrix} a_{11}(\lambda)&a_{12}\lambda&\cdots&a_{1n}(\lambda)\\ a_{21}(\lambda)&a_{22}\lambda&\cdots&a_{2n}(\lambda)\\ \vdots&\vdots&&\vdots\\ a_{m1}(\lambda)&a_{m2}\lambda&\cdots&a_{mn}(\lambda)\\ \end{pmatrix} 
        
       
      
              a11(λ)a21(λ)⋮am1(λ)a12λa22λ⋮am2λ⋯⋯⋯a1n(λ)a2n(λ)⋮amn(λ) 
              
称为多项式矩阵,或称 λ \lambda λ 矩阵,记为 A ( λ ) A(\lambda) A(λ),其中 a i j ( λ ) a_{ij}(\lambda) aij(λ) 是以 λ \lambda λ 为未定元的数域 K \mathbb{K} K 上的多项式
定义:多项式矩阵的初等变换
 初等行(列)变换
- 将 A ( λ ) A(\lambda) A(λ) 的两行(列)对换
- 将 A ( λ ) A(\lambda) A(λ) 的第 i i i 行(列)乘以非零常数 c ∈ K c\in\mathbb{K} c∈K
- 将 A ( λ ) A(\lambda) A(λ) 的第 i i i 行(列)乘以 K \mathbb{K} K 上的多项式 f ( λ ) f(\lambda) f(λ) 后加到第 j j j 行(列)
定义:相抵
 若  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
         , 
        
       
         B 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        A(\lambda),B(\lambda) 
       
      
    A(λ),B(λ) 是同阶  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵且  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        A(\lambda) 
       
      
    A(λ) 经  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵的初等变换后可变为  
     
      
       
       
         B 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        B(\lambda) 
       
      
    B(λ),则称  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        A(\lambda) 
       
      
    A(λ) 与  
     
      
       
       
         B 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        B(\lambda) 
       
      
    B(λ) 相抵
定义:初等 λ \lambda λ 阵
- 将 n n n 阶单位阵的第 i i i 行与第 j j j 行对换,记为 P i j P_{ij} Pij
- 将 n n n 阶单位阵的第 i i i 行乘以非零常数 c ∈ K c\in\mathbb{K} c∈K,记为 P i ( c ) P_i(c) Pi(c)
- 将 n n n 阶单位阵的第 i i i 行乘以多项式 f ( λ ) f(\lambda) f(λ) 后加到第 j j j 行上去得到的矩阵,记为 T i j ( f ( λ ) ) T_{ij}(f(\lambda)) Tij(f(λ))
命题
 对  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        A(\lambda) 
       
      
    A(λ) 施加第1,2,3类初等行(列)变换等效于用第1,2,3类初等  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵左(右)乘  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        A(\lambda) 
       
      
    A(λ)
定义:可逆  
      
       
        
        
          λ 
         
        
       
         \lambda 
        
       
     λ 阵
 若  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
         , 
        
       
         B 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        A(\lambda),B(\lambda) 
       
      
    A(λ),B(λ) 都是  
     
      
       
       
         n 
        
       
      
        n 
       
      
    n 阶  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵,且
  
      
       
        
        
          A 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          B 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          = 
         
        
          B 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          A 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          = 
         
         
         
           I 
          
         
           n 
          
         
        
       
         A(\lambda)B(\lambda)=B(\lambda)A(\lambda)=I_n 
        
       
     A(λ)B(λ)=B(λ)A(λ)=In
则称 B ( λ ) B(\lambda) B(λ) 是 A ( λ ) A(\lambda) A(λ) 的逆 λ \lambda λ 阵
性质
- 有限个可逆 λ \lambda λ 阵之积仍为可逆 λ \lambda λ 阵
- 初等 λ \lambda λ 阵必为可逆 λ \lambda λ 阵
相抵标准型
命题: 
      
       
        
        
          λ 
         
        
       
         \lambda 
        
       
     λ 阵的带余除法
 设  
     
      
       
       
         M 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
         , 
        
       
         N 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        M(\lambda),N(\lambda) 
       
      
    M(λ),N(λ) 是两个  
     
      
       
       
         n 
        
       
      
        n 
       
      
    n 阶  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵且不为零,又设  
     
      
       
       
         B 
        
       
      
        B 
       
      
    B 为  
     
      
       
       
         n 
        
       
      
        n 
       
      
    n 阶数字矩阵,则必存在  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵  
     
      
       
       
         Q 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
         , 
        
       
         S 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        Q(\lambda),S(\lambda) 
       
      
    Q(λ),S(λ) 和数字矩阵  
     
      
       
       
         R 
        
       
         , 
        
       
         T 
        
       
      
        R,T 
       
      
    R,T,使得
  
      
       
        
        
          M 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          = 
         
        
          ( 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          B 
         
        
          ) 
         
        
          Q 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          + 
         
        
          R 
         
        
       
         M(\lambda)=(\lambda I-B)Q(\lambda)+R 
        
       
     M(λ)=(λI−B)Q(λ)+R
N ( λ ) = S ( λ ) ( λ I − B ) + T N(\lambda)=S(\lambda)(\lambda I-B)+T N(λ)=S(λ)(λI−B)+T
定理
 设数域  
     
      
       
       
         K 
        
       
      
        \mathbb{K} 
       
      
    K 上的矩阵  
     
      
       
       
         A 
        
       
         , 
        
       
         B 
        
       
      
        A,B 
       
      
    A,B,则  
     
      
       
       
         A 
        
       
         , 
        
       
         B 
        
       
      
        A,B 
       
      
    A,B 相似当且仅当  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵  
     
      
       
       
         λ 
        
       
         I 
        
       
         − 
        
       
         A 
        
       
      
        \lambda I-A 
       
      
    λI−A 与  
     
      
       
       
         λ 
        
       
         I 
        
       
         − 
        
       
         B 
        
       
      
        \lambda I-B 
       
      
    λI−B 相抵
证明
 必要性易证,考虑充分性,设存在  
     
      
       
       
         M 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
         , 
        
       
         N 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        M(\lambda),N(\lambda) 
       
      
    M(λ),N(λ),使得
  
      
       
        
        
          M 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          ( 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          A 
         
        
          ) 
         
        
          N 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          = 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          B 
         
        
       
         M(\lambda)(\lambda I-A)N(\lambda)=\lambda I-B 
        
       
     M(λ)(λI−A)N(λ)=λI−B
由带余除法
  
      
       
        
        
          M 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          = 
         
        
          ( 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          B 
         
        
          ) 
         
        
          Q 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          + 
         
        
          R 
         
        
       
         M(\lambda)=(\lambda I-B)Q(\lambda)+R 
        
       
     M(λ)=(λI−B)Q(λ)+R
整理得
  
      
       
        
        
          R 
         
        
          ( 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          A 
         
        
          ) 
         
        
          = 
         
        
          ( 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          B 
         
        
          ) 
         
        
          [ 
         
        
          N 
         
        
          ( 
         
        
          λ 
         
         
         
           ) 
          
          
          
            − 
           
          
            1 
           
          
         
        
          − 
         
        
          Q 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          ( 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          A 
         
        
          ) 
         
        
          ] 
         
        
       
         R(\lambda I-A)=(\lambda I-B)[N(\lambda)^{-1}-Q(\lambda)(\lambda I-A)] 
        
       
     R(λI−A)=(λI−B)[N(λ)−1−Q(λ)(λI−A)]
比较两端关于 λ \lambda λ 的多项式次数,可得 P ≜ N ( λ ) − 1 − Q ( λ ) ( λ I − A ) P\triangleq N(\lambda)^{-1}-Q(\lambda)(\lambda I-A) P≜N(λ)−1−Q(λ)(λI−A) 是常数矩阵
再次整理得
  
      
       
        
        
          ( 
         
        
          R 
         
        
          − 
         
        
          P 
         
        
          ) 
         
        
          λ 
         
        
          = 
         
        
          R 
         
        
          A 
         
        
          − 
         
        
          B 
         
        
          P 
         
        
       
         (R-P)\lambda=RA-BP 
        
       
     (R−P)λ=RA−BP
比较次数得  
     
      
       
       
         R 
        
       
         = 
        
       
         P 
        
       
         , 
        
       
         R 
        
       
         A 
        
       
         = 
        
       
         B 
        
       
         P 
        
       
      
        R=P,RA=BP 
       
      
    R=P,RA=BP,只需证  
     
      
       
       
         P 
        
       
      
        P 
       
      
    P 是一个非异阵,由于
  
      
       
        
        
          P 
         
        
          N 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          + 
         
        
          Q 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          ( 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          A 
         
        
          ) 
         
        
          N 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          = 
         
        
          I 
         
        
       
         PN(\lambda)+Q(\lambda)(\lambda I-A)N(\lambda)=I 
        
       
     PN(λ)+Q(λ)(λI−A)N(λ)=I
但 ( λ I − A ) N ( λ ) = M ( λ ) − 1 ( λ I − B ) (\lambda I-A)N(\lambda)=M(\lambda)^{-1}(\lambda I-B) (λI−A)N(λ)=M(λ)−1(λI−B)
因此
  
      
       
        
        
          P 
         
        
          N 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          + 
         
        
          Q 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          M 
         
        
          ( 
         
        
          λ 
         
         
         
           ) 
          
          
          
            − 
           
          
            1 
           
          
         
        
          ( 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          B 
         
        
          ) 
         
        
          = 
         
        
          I 
         
        
       
         PN(\lambda)+Q(\lambda)M(\lambda)^{-1}(\lambda I-B)=I 
        
       
     PN(λ)+Q(λ)M(λ)−1(λI−B)=I
由带余除法 N ( λ ) = S ( λ ) ( λ I − B ) + T N(\lambda)=S(\lambda)(\lambda I-B)+T N(λ)=S(λ)(λI−B)+T
得
  
      
       
        
        
          [ 
         
        
          P 
         
        
          S 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          + 
         
        
          Q 
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          M 
         
        
          ( 
         
        
          λ 
         
         
         
           ) 
          
          
          
            − 
           
          
            1 
           
          
         
        
          ] 
         
        
          ( 
         
        
          λ 
         
        
          I 
         
        
          − 
         
        
          B 
         
        
          ) 
         
        
          = 
         
        
          I 
         
        
          − 
         
        
          P 
         
        
          T 
         
        
       
         [PS(\lambda)+Q(\lambda)M(\lambda)^{-1}](\lambda I-B)=I-PT 
        
       
     [PS(λ)+Q(λ)M(λ)−1](λI−B)=I−PT
上式右侧是次数小于等于零得矩阵多项式,故左边括号内的矩阵多项式必须为零,从而 P T = I PT=I PT=I,即 P P P 是非异阵
引理
 设  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
         = 
        
       
         ( 
        
        
        
          a 
         
         
         
           i 
          
         
           j 
          
         
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
        
        
          ) 
         
         
         
           m 
          
         
           × 
          
         
           n 
          
         
        
       
      
        A(\lambda)=(a_{ij}(\lambda))_{m\times n} 
       
      
    A(λ)=(aij(λ))m×n 是任意非零  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵,则  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        A(\lambda) 
       
      
    A(λ) 必相抵于如下的  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵  
     
      
       
       
         B 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
         = 
        
       
         ( 
        
        
        
          b 
         
         
         
           i 
          
         
           j 
          
         
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
        
        
          ) 
         
         
         
           m 
          
         
           × 
          
         
           n 
          
         
        
       
      
        B(\lambda)=(b_{ij}(\lambda))_{m\times n} 
       
      
    B(λ)=(bij(λ))m×n,其中  
     
      
       
        
        
          b 
         
        
          11 
         
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
         ≠ 
        
       
         0 
        
       
      
        b_{11}(\lambda)\neq 0 
       
      
    b11(λ)=0,且  
     
      
       
        
        
          b 
         
        
          11 
         
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        b_{11}(\lambda) 
       
      
    b11(λ) 可整除  
     
      
       
       
         B 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        B(\lambda) 
       
      
    B(λ) 中的任意元素
定理: 
      
       
        
        
          λ 
         
        
       
         \lambda 
        
       
     λ 阵的相抵标准型
 设  
     
      
       
       
         n 
        
       
      
        n 
       
      
    n 阶  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        A(\lambda) 
       
      
    A(λ),则  
     
      
       
       
         A 
        
       
         ( 
        
       
         λ 
        
       
         ) 
        
       
      
        A(\lambda) 
       
      
    A(λ) 相抵于对角阵
  
      
       
        
        
          d 
         
        
          i 
         
        
          a 
         
        
          g 
         
        
          { 
         
         
         
           d 
          
         
           1 
          
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          , 
         
         
         
           d 
          
         
           2 
          
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          , 
         
        
          … 
         
        
          , 
         
         
         
           d 
          
         
           r 
          
         
        
          ( 
         
        
          λ 
         
        
          ) 
         
        
          , 
         
        
          0 
         
        
          , 
         
        
          … 
         
        
          , 
         
        
          0 
         
        
          } 
         
        
       
         diag \{d_1(\lambda),d_2(\lambda),\dots,d_r(\lambda),0,\dots,0\} 
        
       
     diag{d1(λ),d2(λ),…,dr(λ),0,…,0}
其中 d i ( λ ) d_i(\lambda) di(λ) 是非零首一多项式且 d i ( λ ) ∣ d i + 1 ( λ ) , i = 1 , 2 , … , r − 1 d_i(\lambda)\mid d_{i+1}(\lambda),i=1,2,\dots,r-1 di(λ)∣di+1(λ),i=1,2,…,r−1
注:
- 对长方形 λ \lambda λ 阵,结论和证明也类似
- 称上述定理中的 r r r 为 A ( λ ) A(\lambda) A(λ) 的秩
推论
 任意  
     
      
       
       
         n 
        
       
      
        n 
       
      
    n 阶可逆  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵均可表示为有限个初等  
     
      
       
       
         λ 
        
       
      
        \lambda 
       
      
    λ 阵之积










