- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
一、行列式因子 在上一节,我们讨论了 ? - 矩阵的标准形,其 主要结论是:任何 ? - 矩阵都能化成标准形. 但是 矩阵的标准形是否唯一呢? 答案是肯定的. 为了证 明唯一性,要引入矩阵的行列式因子的概念. 1. 定义 定义 1 设 ? - 矩阵 A(?) 的秩为 r ,对于正整 数 k,1? k ? r , A(?) 中必有非零的 k 级子式. A(?) 中全部 k 级子式的首项系数为 1 的最大公因式 Dk(?) 称为 A(?) 的 k 级行列式因子. 由定义可知,对于秩为 r 的 ? - 矩阵,行列式 因子一共有 r 个. D1(?) ,D2(?) ,…,Dr(?) . 例1 求A(?)的行列式因子: 2. 行列式因子的性质 定理 1 等价的 ? - 矩阵具有相同的各级 行列式因子.(初等变换不改变行列式因子) 证明 我们只要证明,? - 矩阵经过一次初等 行变换,行列式因子是不变的. 设 ? - 矩阵 A(?) 经过一次初等行变换变成 B(?) , f(?) 与 g(?) 分别是 A(?) 与 B(?) 的 k 级行列式因子. 我们证明 f(?) = g(?) . 下面分三种情形讨论. 级子式反号. 公因式, 此时 的每个 级子式或 者等于 的某个 级子式, 或者与 的某个 因此, 是 的 级子式的 ① 从而 ② 级子式的 c 倍. 者等于 的某个 级子式,或者等于 的某个 此时 的每个 级子式或 因此, 是 的 级子式的 公因式, 从而 此时 中包含 两行 级子式相等; ③ 的和不包含 行的那些 级子式与 中对应的 中包含 行但不包含 行的 级 子式,按 行分成 的一个 级子式与另一个 级子式的 倍的和, 即为 的两个 级子式 从而 的组合, 因此 是 的 级子式的公因式, 同理可得, 对于列变换,可以完全一样地讨论. 总之,如 果 A(?) 经一次初等变换变成 B(?) ,那么 f(?) | g(?) . 但由于初等变换是可逆的, B(?) 也可以经一次初 等变换变成 A(?) . 由上面的讨论,同样应有 g(?) | f(?) . 于是 f(?) = g(?) . 当 A(?) 的全部 k 级子式为零时,B(?) 的全部 k 级子式也就为零; 反之亦然. 因此, A(?) 与 B(?) 既有相同的各级行列式因 子,又有相同的秩. 证毕 推论 等价的 ? - 矩阵具有相同的秩, 反之,不然. 例如 二、标准形的唯一性 1. 标准形的行列式因子 若 矩阵 的标准形为 其中 为首1多项式,且 则 的 级行列式因子为 2. 标准形的唯一性 定理 2 ? - 矩阵的标准形是唯一的. 证明 设 (1) 是 A(?) 的标准形. 由于A(?) 与 (1) 等价,它们有相同的秩与相同的行列式因子, 因此, A(?) 的秩就是标准形的主对角线上非零元 素的个数 r ; A(?) 的 k 级行列式因子就是 于是 (3) 这说明 A(?) 的标准形 (1) 的主对角线上的元素是被 A(?) 的行列式因子所唯一确定的,所以 A(?) 的标 准形是唯一的. 证毕 三、不变因子 1. 定义 定义 2 标准形的主对角线上非零元素 d1(?) , d2(?) , … , dr(?) 称为 ? - 矩阵 A(?) 的不变因子. 2. 性质 定理 3 两个 ? - 矩阵等价的充分必要条件是 它们有相同的行列式因子,或者,它们有相同的 不变因子. 证明 给出了 ? - 矩阵的行 列式因子与不变因子之间的关系. 这个关系式说明 行列式因子与不变因子是相互确定的. 因此,说两 个矩阵有相同的各级行列式因子,就等于说它们有 相同的各级不变因子. 必要性已由 证明. 充分性是很明显的. 因为若 ? - 矩阵A(?)与B(?) 有相同的不变因子,则 A(?) 与 B(?) 和同一个标准 形等价,因而它们也等价. 证毕 由 可以看出,在 ? - 矩阵的行列式因子 之间,有关系 Dk (?) | Dk+1 (?) ( k = 1, 2, … , r-1 ) . (4) 在计算 ? - 矩阵的行列式因子时,常常是先计 算最高级的行列式因子. 这样,由 (4) 我们就大致 有了低级行列式因子的范围了. 推论 注意 例1 试求下列矩阵的行列式因子、不变因子 与标准形: 的非零二级子式
文档评论(0)