前置知识:

  • 【定义】逆矩阵
  • 逆矩阵的性质
  • 【定义】行阶梯形矩阵、行最简形矩阵和标准形
  • 矩阵初等变换与矩阵乘法的联系

前置定理 1 初等矩阵都是可逆的,且其逆矩阵是同一类型的初等矩阵。

证明见 “矩阵初等变换与矩阵乘法的联系”。

前置定理 2 有限个可逆矩阵的乘积仍可逆。

证明 不妨设 nnn 阶方阵 A\boldsymbol{A}A 和 B\boldsymbol{B}B 均可逆,则有 (AB)(AB)−1=(AB)(B−1A−1)=E(\boldsymbol{A} \boldsymbol{B})(\boldsymbol{A} \boldsymbol{B})^{-1} = (\boldsymbol{A} \boldsymbol{B}) (\boldsymbol{B}^{-1} \boldsymbol{A}^{-1}) = \boldsymbol{E}(AB)(AB)−1=(AB)(B−1A−1)=E,即 AB\boldsymbol{A} \boldsymbol{B}AB 可逆。以此类推,有限个可逆矩阵的乘积仍可逆。得证。

前置性质 3 设 A\boldsymbol{A}A 是一个 m×nm \times nm×n 矩阵,对 A\boldsymbol{A}A 施行一次初等行变换,相当于在 A\boldsymbol{A}A 的左边乘相应的 mmm 阶初等矩阵;对 A\boldsymbol{A}A 施行一次初等列变换,相当于在 A\boldsymbol{A}A 的右边乘相应的 nnn 阶初等矩阵。

证明见 “矩阵初等变换与矩阵乘法的联系”。

前置定理 4 若矩阵 A\boldsymbol{A}A 可逆,则 ∣A∣≠0|\boldsymbol{A}| \ne 0∣A∣=0。

证明见 “逆矩阵的性质”。

前置定义 5(行最简形矩阵) 若行阶梯形矩阵满足:

  1. 非零行的首非零元为 111;
  2. 首非零元所在的列的其他元均为 000

则称此矩阵为 行最简形矩阵

说明见 “【定义】行阶梯形矩阵、行最简形矩阵和标准形”。

前置定理 6 初等矩阵都是可逆的,且其可逆矩阵是同一类型的初等矩阵。

证明见 “矩阵初等变换与矩阵乘法的联系”。

前置定义 7 对于 nnn 阶矩阵 A\boldsymbol{A}A,如果有一个 nnn 阶矩阵 B\boldsymbol{B}B,使
AB=BA=E\boldsymbol{A} \boldsymbol{B} = \boldsymbol{B} \boldsymbol{A} = \boldsymbol{E} AB=BA=E
则说矩阵 A\boldsymbol{A}A 是 可逆 的,并把矩阵 B\boldsymbol{B}B 称为矩阵 A\boldsymbol{A}A 的 逆矩阵,简称 逆阵

说明见 “【定义】逆矩阵”。

前置定理 8 设 A\boldsymbol{A}A 和 B\boldsymbol{B}B 为 $m \times n $ 矩阵,那么:A∼rB\boldsymbol{A} \stackrel{r}{\sim} \boldsymbol{B}A∼rB 的充分必要条件是存在 mmm 阶可逆矩阵 P\boldsymbol{P}P,使 PA=B\boldsymbol{P} \boldsymbol{A} = \boldsymbol{B}PA=B。

证明见 “矩阵初等变换与矩阵乘法的联系”。


首先,为讨论方阵可逆时的非零行数,有引理及证明如下:

引理 1 若 nnn 阶方阵 A\boldsymbol{A}A 可逆,则 A\boldsymbol{A}A 的非零行数为 nnn。

证明 设 nnn 阶方阵 A\boldsymbol{A}A 可逆,根据前置定理 4 可知,∣A∣≠0|\boldsymbol{A}| \ne 0∣A∣=0。

使用反证法,设 A\boldsymbol{A}A 中存在第 iii 行,该行所有元素均为 000;将行列式 ∣A∣|\boldsymbol{A}|∣A∣ 按该行展开,则有行列式 ∣A∣=0|\boldsymbol{A}| = 0∣A∣=0,与 ∣A∣≠0|\boldsymbol{A}| \ne 0∣A∣=0 冲突。因此,A\boldsymbol{A}A 中的非零行数为 nnn。

引入矩阵的初等变换,有性质及证明如下:

性质 1 方阵 A\boldsymbol{A}A 可逆的充分必要条件是存在有限个初等矩阵 P1,P2,⋯,Pl\boldsymbol{P}_1,\boldsymbol{P}_2,\cdots,\boldsymbol{P}_lP1​,P2​,⋯,Pl​,使得 A=P1P2⋯Pl\boldsymbol{A} = \boldsymbol{P}_1 \boldsymbol{P}_2 \cdots \boldsymbol{P}_lA=P1​P2​⋯Pl​。

证明 先证充分性。设 A=P1P2⋯Pl\boldsymbol{A} = \boldsymbol{P}_1 \boldsymbol{P}_2 \cdots \boldsymbol{P}_lA=P1​P2​⋯Pl​,因为初等矩阵都是可逆的(前置定理 1),又因为有限个可逆矩阵的乘积仍可逆(前置定理 2),所以 A\boldsymbol{A}A 是可逆的。

再证必要性。设 nnn 阶方阵 A\boldsymbol{A}A 可逆,它经过有限次初等行变换成为行最简形矩阵 B\boldsymbol{B}B。由前置性质 3 可知有初等矩阵 Q1,Q2,⋯,Ql\boldsymbol{Q}_1,\boldsymbol{Q}_2,\cdots,\boldsymbol{Q_l}Q1​,Q2​,⋯,Ql​ 使
Q1Q2⋯QlA=B\boldsymbol{Q}_1 \boldsymbol{Q}_2 \cdots \boldsymbol{Q_l} \boldsymbol{A} = \boldsymbol{B} Q1​Q2​⋯Ql​A=B
因为初等矩阵都是可逆的(前置定理 1),又因为 A\boldsymbol{A}A 可逆,再因为有限个可逆矩阵的乘积仍可逆(前置定理 2),所以 B\boldsymbol{B}B 是可逆的,从而 B\boldsymbol{B}B 的非零行数为 nnn(引理 1)。因为 B\boldsymbol{B}B 是行最简形矩阵矩阵,所以 B\boldsymbol{B}B 有 nnn 个首非零元 111,且首非零元所在的列的其他元均为 000(前置定义 5),但 B\boldsymbol{B}B 只有 nnn 个列,所以 B=E\boldsymbol{B} = \boldsymbol{E}B=E。于是
A=Q1−1Q2−1⋯Ql−1B=Q1−1Q2−1⋯Ql−1E=Q1−1Q2−1⋯Ql−1=P1P2⋯Pl\boldsymbol{A} = \boldsymbol{Q}_1^{-1} \boldsymbol{Q}_2^{-1} \cdots \boldsymbol{Q_l}^{-1} \boldsymbol{B} = \boldsymbol{Q}_1^{-1} \boldsymbol{Q}_2^{-1} \cdots \boldsymbol{Q_l}^{-1} \boldsymbol{E} = \boldsymbol{Q}_1^{-1} \boldsymbol{Q}_2^{-1} \cdots \boldsymbol{Q_l}^{-1} = \boldsymbol{P}_1 \boldsymbol{P}_2 \cdots \boldsymbol{P}_l A=Q1−1​Q2−1​⋯Ql​−1B=Q1−1​Q2−1​⋯Ql​−1E=Q1−1​Q2−1​⋯Ql​−1=P1​P2​⋯Pl​
其中 Pi=Qi−1\boldsymbol{P}_i = \boldsymbol{Q}_i^{-1}Pi​=Qi−1​ 为初等矩阵(前置定理 6),即 A\boldsymbol{A}A 是若干个初等矩阵的乘积。

根据性质 1,有推论和证明如下:

推论 1 方阵 A\boldsymbol{A}A 可逆的充分必要条件是 A∼rE\boldsymbol{A} \stackrel{r}{\sim} \boldsymbol{E}A∼rE。

证明 方阵 A\boldsymbol{A}A 可逆,等价于:存在可逆矩阵 P\boldsymbol{P}P,使 PA=E\boldsymbol{P} \boldsymbol{A} = \boldsymbol{E}PA=E。(前置定义 7)

存在可逆矩阵 P\boldsymbol{P}P,使 PA=E\boldsymbol{P} \boldsymbol{A} = \boldsymbol{E}PA=E,等价于 A∼rE\boldsymbol{A} \stackrel{r}{\sim} \boldsymbol{E}A∼rE。(前置定理 8)

综上所述,方阵 A\boldsymbol{A}A 可逆的充分必要条件是 A∼rE\boldsymbol{A} \stackrel{r}{\sim} \boldsymbol{E}A∼rE。得证。

矩阵初等变换与方阵可逆的条件相关推荐

  1. 矩阵可逆的条件以及特征值、特征向量与可对角化条件

    矩阵可逆的条件: 1 秩等于行数 2 行列式不为0,即|A|≠0 3 行向量(或列向量)是线性无关组 4 存在一个矩阵,与它的乘积是单位阵 5 齐次线性方程组AX=0 仅有零解 6 非齐次线性方程组A ...

  2. 如何将矩阵化为约旦标准型_【解题方法】矩阵初等变换的应用

    [本文为了赚点知乎盐值而写, 供各位同学一笑 :P] 本文将介绍并总结矩阵初等变换的一系列的解题应用包括,内容全部整理自本人本科期间的学习笔,对于正在学习高等代数的同学解题应该很有用. 本文主要内容 ...

  3. 数学/线性代数 {矩阵初等变换,[阶梯形/最简形]矩阵,初等矩阵}

    数学/线性代数 {矩阵初等变换,[阶梯形/最简形]矩阵,初等矩阵}; @LOC_COUNTER: 3; 矩阵的初等变换 定义 矩阵的初等变换 和行列式的变换 是完全一样的; . LINK: (http ...

  4. 阐述矩阵初等变换方法在线性代数中的应用

    阐述矩阵初等变换方法在线性代数中的应用. 解:(1)矩阵初等变换的定义: 矩阵的初等变换包括矩阵的初等行变化与初等列变换.矩阵的初等行(列)变换:(1)对调矩阵的两行(列):(2)矩阵的某行(列)所有 ...

  5. 矩阵初等变换与矩阵乘法的联系

    前置知识: [定义]矩阵 逆矩阵的性质 [定义]矩阵初等变换和矩阵等价 前置定义 1(矩阵等价) 如果矩阵 A\boldsymbol{A}A 经有限次初等行变换变成矩阵 B\boldsymbol{B} ...

  6. 「管理数学基础」1.6 矩阵理论:方阵相似的条件、若当标准形

    方阵相似的条件.若当标准形 文章目录 方阵相似的条件.若当标准形 方阵相似的条件 例题1 方阵在相似变换下的若当标准形 证明若当标准形与原矩阵相似 例题2 几个很直观的若当块推论 例题:求若当标准形J ...

  7. 方阵可逆,方阵行列式≠0,方阵满秩三者关系推导

    首先明确这三者是等价的. 接下来我们得先明确概念的定义: ①方阵可逆:即方阵存在逆阵,使:AA^-1=E; ②矩阵行列式:即由矩阵的全部元素构成的行列式; ③方阵的秩:等于方阵n个列向量所构成的向量组 ...

  8. 【定义】矩阵初等变换和矩阵等价

    前置知识: [定义]矩阵 定义 1(初等行变换) 下面三种变换称为矩阵的行初等变换: 对换两行(对换 i,ji,ji,j 两行,记作 ri↔rjr_i \leftrightarrow r_jri​↔r ...

  9. 矩阵方阵matlab,求助!!错误使用 inv 矩阵必须为方阵。

    >> clear; %输入原始数据和预测长度 x0=[95.94,129.46,156.29,145.24,115.07,173.51,253.91]; x=[1,2,3,4,5,6,7, ...

最新文章

  1. gdoi2017总结
  2. R语言scale_colour_brewer()函数和scale_fill_brewer()函数调色板及填充ggplot2图像实战
  3. 过滤功能失效 Google Base成“虚拟×××”
  4. 广义互相关的公式,这一文都搜集全了
  5. 数据结构--折半查找法 详解
  6. spring-cloud-eureka服务注册与发现
  7. Interview and paper based test
  8. Chrome 开发者工具的Timeline和Profiles提高Web应用程序的性能[转]
  9. 【神经网络】RBF神经网络逼近任意连续非线性函数的Simulink仿真
  10. 专业工具软件Protel DXP复习资料
  11. 研大考研:只办最好的集训营
  12. 网易云音乐数仓建设之路
  13. CellID 基站定位
  14. 闭包是什么?运用在那些地方?
  15. c语言魔塔编程,魔塔V1.0 用C语言写的魔塔小游戏 - 下载 - 搜珍网
  16. 李永乐(四)初等变换、初等矩阵、分块矩阵——笔记
  17. 阿里妈妈 广告部门 Java 一二面面经
  18. PyTorch GPU 利用率低?常见原因分析及优化
  19. python秒转换成小时分钟秒_Python函数将秒数转换成分,小时和天
  20. 百度云管家 v 5.5.0 破解安装版

热门文章

  1. 【深度学习系列】(二)--An overview of gradient descent optimization algorithms
  2. postgre数据库
  3. ubuntu换内核 reboot后,开机进入busybox,root=UUID=(一串数字),tyy命令行无图形界面,问题解决方案(使用grub的设置)
  4. defer有什么用呢
  5. linux下的swap分区
  6. 通信教程01_什么是并行通信?什么是串行通信?
  7. 已解决pip正确安装fitz模块
  8. python 回归算法归一化及还原问题
  9. mysql 键缓冲块_减震器缓冲块的作用?汽车减震器上的缓冲胶块有什么作用
  10. 哈工大计算机学科等级,计算机学科评估为A以上10所高校!北邮超过哈工、上交、南大等...