文章目录

  • ​​LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法​​
  • ​​分块矩阵​​
  • ​​乘法​​
  • ​​逆​​
  • ​​例​​
  • ​​准对角矩阵​​
  • ​​转置​​
  • ​​矩阵的初等变换🎈​​
  • ​​等价矩阵​​
  • ​​行`阶梯形`矩阵🎈​​
  • ​​变换步骤​​
  • ​​行简化阶梯形矩阵@最简矩阵​​
  • ​​等价标准形矩阵​​
  • ​​变换步骤​​
  • ​​小结​​
  • ​​初等矩阵​​
  • ​​初等矩阵的结论🎈​​
  • ​​小结​​
  • ​​逆矩阵计算@初等变换法​​
  • ​​步骤​​
  • ​​利用初等行变换直接求解简单`矩阵方程`​​

LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法

分块矩阵

乘法

  • 注意对相乘的两个高阶矩阵的划分方法,子矩阵之间要能够相乘
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_02
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_03
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_04
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_05
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_06
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_07
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_08
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_09

  • 借助分块乘法,可以将高阶矩阵求逆转为低阶矩阵求逆

  • n阶矩阵:LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_10,A,B均可逆
  • 待定系数法:LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_11
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_12
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_13
  • 特别的,当LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_14
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_15
  • 类似的:
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_16
  • 注意区分行列式中的拉普拉斯展开

准对角矩阵

  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_17

转置

  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_18

矩阵的初等变换🎈

  • 初等变换分为行变换和列变换,仅以行变换为例:
  • 交换矩阵的某两行位置LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_19
  • 用一个非零常数k乘以矩阵的某一行LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_20
  • 将矩阵的某一行乘以非零常数k后加到另一行:LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_21

等价矩阵

  • 如果矩阵B可以由矩阵A经过有限次初等变换得到,则称A和B为等价矩阵,记为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_22
  • 其中LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_23式全等(congruent)号,在此处是等价号
  • 等价矩阵的性质:
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_24
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_25
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_26

行​​阶梯形​​矩阵🎈

  • Row Echelon Form,记为REF-Matrix
  1. 若有零行(矩阵中元素全为0的行),则零行都位于矩阵下方(特点1)
  2. 从第一行起,每行的主元(第一个非零元素)前面零的个数逐行增加(严格增加). (特点2)
  • 或者说,每行主元的列指标严格增加

变换步骤

  • 为了得到行简化矩阵,可以执行一系列的初等变换(这些初等变换要么全是行变换,要么全是列变换)
  • 将矩阵行中最接近全零行的行调整到第一行
  • 利用第一行将第一列到最后一列尽可能的零化(使得结果满足特点1,2)
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_27
  • 行阶梯形矩阵的条件比较宽松,同一个矩阵化为行阶梯型矩阵的结果可以是多种多样的
  • 从一般行阶梯形矩阵化为行简化矩阵(最简矩阵)的过程(中间结果矩阵)都是行阶梯形矩阵
  • 但是最简形式是一样的(行简化阶梯形矩阵)

行简化阶梯形矩阵@最简矩阵

  • 简化列阶梯形矩阵简约行梯形式矩阵(reduced row echelon form),也称作行规范形矩阵(row canonical form),记为RREF-Matrix如果满足额外的条件:
  • 阶梯形矩阵中非零行主元(第一个非零元素)为1
  • 且主元所在的​​列​​的其他元素都为0
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_28

等价标准形矩阵

  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_29
  • 其等价矩阵(行简化阶梯形矩阵)中,位于左上角的子矩阵是一个r阶单位阵(LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_30)
  • 其余子块都是零矩阵(如果有的话)
  • note:当A是可逆方阵时,LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_31
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_32
  • 对A经过一系列的初等变换得到标准形矩阵C,可以用初等矩阵乘法表示为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_33
  • 对两边取行列式:LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_34
  • 由拉普拉斯展开
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_35
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_36
  • 若A可逆,则LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_37
  • 初等矩阵LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_38均可逆(LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_39不为0),等式LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_36左边不为0,所以等式右边也不为0
  • 可见,只有当r=n时,等式右边不为0,此时C是n阶单位矩阵

变换步骤

  • 假设矩阵A经过初等行变换得行简化阶梯形矩阵B=RREF(A)
  • 对B再所若干次初等列变换,得到A的等价标准型矩阵
    LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_41
  • 将过上述变换,将一个一般的方阵A变换为一个与之等价的标准形矩阵

小结

  • 任意矩阵都可以通过若干次初等变换化为"行阶梯形矩阵"和"行简化阶梯形矩阵"
  • 任意矩阵都可以通过初等变换(包括行变换和列变换)化为等价的标准形矩阵

初等矩阵

  • 单位矩阵E做一次初等行变换得到的矩阵称为初等矩阵
  • 易知单位矩阵本身也是初等矩阵
  • 每个初等变换都有一个与之对应的初等矩阵
  • 交换第i,j两行(列)的位置,记为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_42
  • 交换第i,j行和交换第i,j列效果一样
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_43
  • k倍乘第i行(列),记为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_44
  • 第i行乘以k和第i列乘以k效果一样
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_45
  • k倍乘第j行,加到第i行,记为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_46
  • 第j行的k倍加到第i行LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_47效果等价于第i列乘以k倍加到第j列LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_48
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_49相等,此时变为倍乘效果
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_50

初等矩阵的结论🎈

  • 初等矩阵有三类:LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_51
  • 初等矩阵均可逆,其逆矩阵仍然为初等矩阵(用逆矩阵定义可以求证下列结论)
  • 对初等矩阵取行列式,都不为0
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_52
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_53
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_54
  • 对矩阵LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_55
  • 做一次初等行变换,相当于对A左乘相应的LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_56阶初等矩阵
  • 做一次初等列变换,相当于对A右乘相应的LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_57阶初等矩阵.
  • 初等矩阵是由单位矩阵经过初等变换得到的.
  • 假设初等矩阵M是由单位阵E经过初等变换LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_58得到的LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_59
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_60变换可细分为
  • 初等行变换LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_61
  • 初等列变换,LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_62
  • 能够满足LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_63的变换即可
  • 可以初等矩阵M详细记为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_64
  • 那么
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_65相当于:对矩阵A做一次LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_66变换得到矩阵C
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_67相当于:对矩阵A做一次LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_68变换得到矩阵D
  • 证明:(以初等行变换)为例
  • 做如下矩阵分块(预计算),相比直接计算原始矩阵更加简洁
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_69
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_70
    LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_71
  • 这相当于把矩阵A的第i行和第j行互换
  • 类似的,令LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_72有:
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_73
  • 这相当于把矩阵A的第i行乘以k倍
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_74
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_75
  • 相当于将矩阵A第j行乘以k倍加到第i行
  • 右乘初等矩阵和列变换关系的证明
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_76
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_77
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_78
  • 相当于将矩阵A的第i列和第j列互换
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_79
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_80
  • 相当于将矩阵A的第i列乘以k
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_81
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_82
  • 相当于将矩阵A的第j列乘以k加到第i列

小结

  • 矩阵A和B等价的充分条件是存在初等矩阵LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_83LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_84使得
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_85
  • 可逆矩阵和同阶单位矩阵等价
  • 任意矩阵可以化为(存在)与之等价的标准形矩阵:
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_86

逆矩阵计算@初等变换法

  • n阶矩阵A可逆的充要条件是,A可以表示为若干个初等矩阵的乘积
  • 因为n阶矩阵A可逆(A与同阶单位阵E等价),则存在n阶初等矩阵序列LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_87LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_88,使得
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_86
  • 由于初等矩阵及其逆矩阵都是可逆矩阵(LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_90)都可逆
  • 两侧同时左乘LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_91LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_92
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_93
  • 为例更加统一,可以记LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_94
  • 所以可逆矩阵A可以表示为若干个初等矩阵的乘积
  • 任意可逆矩阵都可以经过初等行变换化为单位矩阵
  • 设A为可逆矩阵
  • A可以表示为若干个初等矩阵的乘积,记为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_逆矩阵_95
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_96
  • 从而LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_97
  • 即可逆矩阵A左乘初等矩阵序列 LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_98得到单位矩阵
  • 对A做若干初等行变换(而不需要初等列变换)就可求出LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_99
  • 利用这个原理可以求解可逆矩阵的逆

步骤

  • 对n阶可逆矩阵A,构造一个LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_100的增广矩阵LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_101
  • A可以表示为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_102
  • 易知对LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_103左乘LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_104,得到LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_105
  • 由分块矩阵乘法公式可以得到上述结论LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_106
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_107是我们需要求解的东西,往往无法直接得到
  • 但是LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_108
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_109
  • 也就是说通过观察矩阵A(或其增广阵B),对其进行一系列初等行变换来得到包含LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_110的矩阵LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_111,从该矩阵读出LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_110

利用初等行变换直接求解简单​​矩阵方程​

  • 对于基本的矩阵方程LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_113
  • A为n阶可逆方阵
  • B为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_114矩阵
  • X则为LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_114矩阵
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_113两边同时左乘LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_117
  • LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_118
  • 构造LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_线性代数_119
  • 对两边同时左乘LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_99,LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_121
  • 我们从LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_转置_122可以直接读出LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_矩阵_118(但是读不出LA@分块矩阵@初等变换@初等矩阵#逆矩阵计算@初等变换法_分块_99)