中国高校课件下载中心 》 教学资源 》 大学文库

西安电子科技大学:《高等代数》课程PPT教学课件(讲稿)第八章 λ-矩阵 8.3 不变因子

文档信息
资源类别:文库
文档格式:PPT
文档页数:20
文件大小:590.5KB
团购合买:点击进入团购
内容简介
一、行列式因子 二、不变因子
刷新页面文档预览

第八章入一矩阵S1入一矩阵S4矩阵相似的条件S2入一矩阵的S5矩阵相似的条件标准形s6若当(Jordan)标准形S3不变因子的理论推导小结与习题

§2 λ-矩阵的 标准形 §3 不变因子 §1 λ-矩阵 §4 矩阵相似的条件 §6 若当(Jordan)标准形 的理论推导 §5 矩阵相似的条件 小结与习题 第八章 λ─矩阵

$ 8.3不变因子一、行列式因子二、 不变因子88.3不变因子A

§8.3 不变因子 一、行列式因子 二、不变因子 §8.3 不变因子

一、行列式因子1. 定义:设一矩阵A(a)的秩为r,对于正整数k,1≤k≤r,A(a)中必有非零的k级子式,A(a)中全部k级子式的首项系数为1的最大公因式 D(),称为A(a)的k阶行列式因子注:若 秩(A(a))=r,则 A(a)有 r个行列式因子,88.3不变因子KV

§8.3 不变因子 1. 定义: 一、行列式因子 注: k 阶行列式因子. 的首项系数为1的最大公因式 Dk ( ),  称为 A( )  的 A( )  中必有非零的 k 级子式, A( )  中全部 k 级子式 设  -矩阵 A( )  的秩为 r ,对于正整数 k , 1 ,   k r 若 秩 ( A r ( )  ) = ,则 A( )  有 r 个行列式因子

2.有关结论1)(定理3)等价矩阵具有相同的秩与相同的各级行列式因子。(即初等变换不改变一矩阵的秩与行列式因子)证:只需证,兀一矩阵经过一次初等变换,秩与行列式因子是不变的。设A(2)经过一次初等变换变成B(2),f(2)与g(a) 分别是 A(a)与 B(a)的k级行列式因子.下证f=g,分三种情形:88.3不变因子区区

§8.3 不变因子 行列式因子. 1) (定理3)等价矩阵具有相同的秩与相同的各级 (即初等变换不改变  -矩阵的秩与行列式因子) 证:只需证,  -矩阵经过一次初等变换,秩与行 列式因子是不变的. 2. 有关结论 设 A( )  经过一次初等变换变成 B( )  , f ( )  与 g( )  分别是 A( )  与 B( )  的 k级行列式因子. 下证 f g = ,分三种情形:

① A(2)[i]>B(a)。此时 B(2) 的每个k级子式或者等于 A(a) 的某个k级子式,或者与 A(2)的某个k级子式反号,因此,f(a)是B(a)的k级子式的公因式,从而f(a)lg(a)② A(a)[i)]>B(a)。 此时 B(a) 的每个k 级子式或者等于 A(a)的某个k级子式,或者等于A(a)的某个k 级子式的c倍.因此,f(a)是 B(a)的k级子式的公因式,从而f(a)lg(a).88.3不变因子区区

§8.3 不变因子 k 级子式反号. 公因式, 此时 B( )  的每个 k 级子式或 者等于 A( )  的某个 k 级子式,或者与 A( )  的某个 因此, f ( )  是 B( )  的 k 级子式的  ,  ( ) ( ). i j ① A B   ⎯⎯⎯→ 从而 f g ( ) ( ).   ( ) ( ) ( ). i c A B     ② ⎯⎯⎯→   k 级子式的c倍. 者等于 A( )  的某个 k 级子式,或者等于 A( )  的某个 此时 B( )  的每个 k 级子式或 因此, f ( )  是 B( )  的 k 级子式的 公因式, 从而 f g ( ) ( ).  

[i(0)]>B(a)。此时B(a)中包含i,j两行③ A(a)的和不包含 j行的那些k级子式与 A(a)中对应的k级子式相等;B(a)中包含i行但不包含j行的k级子式,按i行分成A(a)的一个k级子式与另一个k级子式的土p(a)倍的和,即为A(a)的两个k级子式的组合,因此f(a)是B(a)的k级子式的公因式,从而 f(a)g(a).: f(a)=g(a).同理可得,g(a)f(a).88.3不变因子

§8.3 不变因子 此时 B( )  中包含 i j , 两行 级子式相等; ( ) ( ) ( ). i j A B      + ③ ⎯⎯⎯⎯→   的和不包含 j 行的那些 k 级子式与 A( )  中对应的 k B( )  中包含 i 行但不包含 j 行的 k 级 子式,按 i 行分成 A( )  的一个 k 级子式与另一个 k 级子式的  ( ) 倍的和,即为 A( )  的两个 k 级子式 从而 f g ( ) ( ).   的组合, 因此 f ( )  是 B( )  的 k 级子式的公因式, 同理可得, g f ( ) ( ).    = f g ( ) ( ).  

2)若-矩阵A(2)的标准形为(d,(a)d,(a)D(2) =0)其中d,(a),d,(a)为首1多项式,且d,(a)di+(a), i=1,2,...r -1,则A(a)的k级行列式因子为D,(a) = d,(a)d,(a)...d,(a), k =1,2,...r.88.3不变因子区

§8.3 不变因子 2)若  − 矩阵 A( )  的标准形为 1 ( ) ( ) ( ) 0 0 r d d D          =         其中 d d 1 ( ), ( )  r 为首1多项式,且 1 ( ) ( ), 1,2, 1, i i d d i r   + = − 则 A( )  的 k 级行列式因子为 1 2 ( ) ( ) ( ) ( ), 1,2, . D d d d k r k k     = =

证::A()与 D(a)等价,: A(a) 与 D(a)有相的秩与行列式因子在D(2)中,若一个k级子式包含的行、列指标不完全相同,则这个k级子式为零所以只需考虑由i,iz,…i行与i,iz,…i列组成的k级子式 (1≤i,iz,i≤r),即 d,(a)..d, (a).而这种k级子式的最大公因式为d,(a)d,(a)..d,(a)所以,A(a)的k级行列式因子D,(a) = d,(a)d,(a)...d,(a), k = 1,2,...r.88.3不变因子A

§8.3 不变因子 证: A( )  与 D( )  等价, 完全相同,则这个 k 级子式为零. 在 D( )  中,若一个 k 级子式包含的行、列指标不  A D ( ) ( )   与 有相的秩与行列式因子. 1 2 (1 , , ), k 级子式   i i i r 所以只需考虑由 i i i 1 2 , , k 行与 i i i 1 2 , , k 列组成的 k 1 ( ) ( ). k i i 即 d d   而这种 k 级子式的最大公因式为 1 2 ( ) ( ) ( ). k d d d    所以, A( )  的 k 级行列式因子 1 2 ( ) ( ) ( ) ( ), 1,2, . D d d d k r k k     = =

3(定理4)2一矩阵的标准形是唯一的,证:设-矩阵A(a)的标准形为(d,(a)d,(a)D(a) =0其中d,(a),d,(a)为首1多项式,且d,(a)di+(a), i=1,2,...r-1,88.3不变因子V

§8.3 不变因子 证:设  − 矩阵 A( )  的标准形为 3)(定理4)  − 矩阵的标准形是唯一的. 1 ( ) ( ) ( ) 0 0 r d d D          =         其中 d d 1 ( ), ( )  r 为首1多项式,且 1 ( ) ( ), 1,2, 1, i i d d i r   + = −

由2),A(2)的k级行列式因子为D,(a) = d,(a)d,(a)...d,(a), k =1,2,...r.于是D,(a)D,(a)d,(a)= D,(a), d,(a)=d.(2) :Dr-I(a)D(a)即 d,(a),,d,(a)由 A(a)的行列式因子所唯一确定所以 A(a)的标准形唯一,秩为r的一矩阵的r个行列式因子满足:407D,(a)Dk+i(a), k =1,2,"",r -1.88.3不变因子

§8.3 不变因子 于是 2 1 1 2 1 1 ( ) ( ) ( ) ( ), ( ) , , ( ) ( ) ( ) r r r D D d D d d D D         − = = = 即 d d 1 ( ), , ( )  r 由 A( )  的行列式因子所唯一确定. 由2), A( )  的 k 级行列式因子为 1 2 ( ) ( ) ( ) ( ), 1,2, . D d d d k r k k     = = 4)秩为 r 的  − 矩阵的 r 个行列式因子满足: 1 ( ) ( ), 1,2, , 1. D D k r k k   + = − 所以 A( )  的标准形唯一

共20页,试读已结束,阅读完整版请下载
刷新页面下载完整文档
VIP每日下载上限内不扣除下载券和下载次数;
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
相关文档