前置知识:

  • 【定义】矩阵
  • 逆矩阵的性质
  • 【定义】矩阵初等变换和矩阵等价

前置定义 1(矩阵等价) 如果矩阵 矩阵初等变换与矩阵乘法的联系_线性代数 经有限次初等行变换变成矩阵 矩阵初等变换与矩阵乘法的联系_线性代数_02,就称矩阵 矩阵初等变换与矩阵乘法的联系_线性代数矩阵初等变换与矩阵乘法的联系_线性代数_02 行等价,记作 矩阵初等变换与矩阵乘法的联系_对换_05

证明见 “【定义】矩阵初等变换和矩阵等价”。

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

证明 不妨设 矩阵初等变换与矩阵乘法的联系_逆矩阵_06 阶方阵 矩阵初等变换与矩阵乘法的联系_线性代数矩阵初等变换与矩阵乘法的联系_线性代数_02 均可逆,则有 矩阵初等变换与矩阵乘法的联系_逆矩阵_09,即 矩阵初等变换与矩阵乘法的联系_逆矩阵_10


定义 由单位矩阵 矩阵初等变换与矩阵乘法的联系_对换_11

(1)对换两行

把单位矩阵中第 矩阵初等变换与矩阵乘法的联系_线性代数_12 两行对换(或将第 矩阵初等变换与矩阵乘法的联系_线性代数_12 两列对换),得到初等矩阵
矩阵初等变换与矩阵乘法的联系_逆矩阵_14
可以验知:

  • 矩阵初等变换与矩阵乘法的联系_逆矩阵_15阶初等矩阵矩阵初等变换与矩阵乘法的联系_对换_16左乘矩阵矩阵初等变换与矩阵乘法的联系_线性代数_17,其结果相当于对矩阵矩阵初等变换与矩阵乘法的联系_线性代数施行第一种初等行变换:把矩阵初等变换与矩阵乘法的联系_线性代数的第矩阵初等变换与矩阵乘法的联系_矩阵_20行与第矩阵初等变换与矩阵乘法的联系_对换_21列对换(矩阵初等变换与矩阵乘法的联系_线性代数_22);
  • 矩阵初等变换与矩阵乘法的联系_逆矩阵_06阶初等矩阵矩阵初等变换与矩阵乘法的联系_矩阵_24右乘矩阵矩阵初等变换与矩阵乘法的联系_线性代数,其结果相当于对矩阵矩阵初等变换与矩阵乘法的联系_线性代数施行第一种初等列变换:把矩阵初等变换与矩阵乘法的联系_线性代数的第矩阵初等变换与矩阵乘法的联系_矩阵_20列与第矩阵初等变换与矩阵乘法的联系_对换_21列对换(矩阵初等变换与矩阵乘法的联系_矩阵_30)。

(2)以数 矩阵初等变换与矩阵乘法的联系_矩阵_31

以数 矩阵初等变换与矩阵乘法的联系_矩阵_31 乘单位矩阵的第 矩阵初等变换与矩阵乘法的联系_矩阵_33 行(或第 矩阵初等变换与矩阵乘法的联系_矩阵_33 列),得到初等矩阵
矩阵初等变换与矩阵乘法的联系_对换_35
可以验知:

  • 矩阵初等变换与矩阵乘法的联系_对换_36左乘矩阵矩阵初等变换与矩阵乘法的联系_线性代数,其结果相当于以数矩阵初等变换与矩阵乘法的联系_线性代数_38矩阵初等变换与矩阵乘法的联系_线性代数的第矩阵初等变换与矩阵乘法的联系_矩阵_20行(矩阵初等变换与矩阵乘法的联系_对换_41);
  • 矩阵初等变换与矩阵乘法的联系_对换_42右乘矩阵矩阵初等变换与矩阵乘法的联系_线性代数,其结果相当于以数矩阵初等变换与矩阵乘法的联系_线性代数_38矩阵初等变换与矩阵乘法的联系_线性代数的第矩阵初等变换与矩阵乘法的联系_矩阵_20列(矩阵初等变换与矩阵乘法的联系_对换_47)。

(3)把某一行所有元的 矩阵初等变换与矩阵乘法的联系_线性代数_48

矩阵初等变换与矩阵乘法的联系_线性代数_48 乘单位矩阵的第 矩阵初等变换与矩阵乘法的联系_逆矩阵_50 行加到第 矩阵初等变换与矩阵乘法的联系_矩阵_33 行上或以 矩阵初等变换与矩阵乘法的联系_线性代数_48 乘单位矩阵的第 矩阵初等变换与矩阵乘法的联系_矩阵_33 列加到第 矩阵初等变换与矩阵乘法的联系_逆矩阵_50 列上,得初等矩阵
矩阵初等变换与矩阵乘法的联系_逆矩阵_55
可以验知:

  • 矩阵初等变换与矩阵乘法的联系_矩阵_56左乘矩阵矩阵初等变换与矩阵乘法的联系_线性代数,其结果相当于把矩阵初等变换与矩阵乘法的联系_线性代数的第矩阵初等变换与矩阵乘法的联系_对换_21行乘矩阵初等变换与矩阵乘法的联系_线性代数_38加到第矩阵初等变换与矩阵乘法的联系_矩阵_20行上(矩阵初等变换与矩阵乘法的联系_线性代数_62);
  • 矩阵初等变换与矩阵乘法的联系_矩阵_56右乘矩阵矩阵初等变换与矩阵乘法的联系_线性代数,其结果相当于把矩阵初等变换与矩阵乘法的联系_线性代数的第矩阵初等变换与矩阵乘法的联系_矩阵_20列乘矩阵初等变换与矩阵乘法的联系_线性代数_38加到第矩阵初等变换与矩阵乘法的联系_对换_21列上(矩阵初等变换与矩阵乘法的联系_线性代数_69)。

根据以上讨论,得到性质如下:

性质 1 设 矩阵初等变换与矩阵乘法的联系_线性代数 是一个 矩阵初等变换与矩阵乘法的联系_线性代数_71 矩阵,对 矩阵初等变换与矩阵乘法的联系_线性代数 施行一次初等行变换,相当于在 矩阵初等变换与矩阵乘法的联系_线性代数 的左边乘相应的 矩阵初等变换与矩阵乘法的联系_逆矩阵_15 阶初等矩阵;对 矩阵初等变换与矩阵乘法的联系_线性代数 施行一次初等列变换,相当于在 矩阵初等变换与矩阵乘法的联系_线性代数 的右边乘相应的 矩阵初等变换与矩阵乘法的联系_逆矩阵_06

观察上述初等矩阵,显然有

性质 2 初等矩阵都是可逆的,且其可逆矩阵是同一类型的初等矩阵。具体地:

  • 矩阵初等变换与矩阵乘法的联系_对换_78
  • 矩阵初等变换与矩阵乘法的联系_逆矩阵_79
  • 矩阵初等变换与矩阵乘法的联系_对换_80

根据以上性质,我们得到定理和证明如下:

定理 设 矩阵初等变换与矩阵乘法的联系_线性代数矩阵初等变换与矩阵乘法的联系_线性代数_02

  1. 矩阵初等变换与矩阵乘法的联系_对换_83 的充分必要条件是存在 矩阵初等变换与矩阵乘法的联系_对换_84 阶可逆矩阵 矩阵初等变换与矩阵乘法的联系_线性代数_85,使 矩阵初等变换与矩阵乘法的联系_对换_86
  2. 矩阵初等变换与矩阵乘法的联系_对换_87 的充分必要条件是存在 矩阵初等变换与矩阵乘法的联系_逆矩阵_88 阶可逆矩阵 矩阵初等变换与矩阵乘法的联系_对换_89,使 矩阵初等变换与矩阵乘法的联系_线性代数_90
  3. 矩阵初等变换与矩阵乘法的联系_逆矩阵_91 的充分必要条件是存在 矩阵初等变换与矩阵乘法的联系_对换_84 阶可逆矩阵 矩阵初等变换与矩阵乘法的联系_线性代数_85矩阵初等变换与矩阵乘法的联系_逆矩阵_88 阶可逆矩阵 矩阵初等变换与矩阵乘法的联系_对换_89,使 矩阵初等变换与矩阵乘法的联系_矩阵_96

证明 这里证明第 1 条,类似可证明第 2 条和第 3 条。

根据前置定义 1,可知:矩阵初等变换与矩阵乘法的联系_对换_05;等价于矩阵 矩阵初等变换与矩阵乘法的联系_线性代数 经有限次初等行变换变成矩阵 矩阵初等变换与矩阵乘法的联系_线性代数_02

根据性质 1,可知:矩阵 矩阵初等变换与矩阵乘法的联系_线性代数 经有限次初等行变换变成矩阵 矩阵初等变换与矩阵乘法的联系_线性代数_02;等价于矩阵 矩阵初等变换与矩阵乘法的联系_线性代数 左乘有限个 矩阵初等变换与矩阵乘法的联系_逆矩阵_15 阶初等矩阵可以得到 矩阵初等变换与矩阵乘法的联系_线性代数_02;即存在有限个 矩阵初等变换与矩阵乘法的联系_逆矩阵_15 阶初等矩阵 矩阵初等变换与矩阵乘法的联系_逆矩阵_106,使得 矩阵初等变换与矩阵乘法的联系_矩阵_107

因为初等矩阵都是可逆矩阵,根据前置定理 2,可知:存在有限个 矩阵初等变换与矩阵乘法的联系_逆矩阵_15 阶初等矩阵 矩阵初等变换与矩阵乘法的联系_逆矩阵_106,使得 矩阵初等变换与矩阵乘法的联系_矩阵_107;等价于存在 矩阵初等变换与矩阵乘法的联系_逆矩阵_15 阶可逆矩阵 矩阵初等变换与矩阵乘法的联系_线性代数_112,使得 矩阵初等变换与矩阵乘法的联系_对换_113

综上所述,得到 矩阵初等变换与矩阵乘法的联系_对换_05 的充分必要条件是存在 矩阵初等变换与矩阵乘法的联系_逆矩阵_15 阶可逆矩阵 矩阵初等变换与矩阵乘法的联系_线性代数_112,使 矩阵初等变换与矩阵乘法的联系_对换_113。得证。

上述定理表明,如果 矩阵初等变换与矩阵乘法的联系_对换_118 则有可逆矩阵 矩阵初等变换与矩阵乘法的联系_逆矩阵_119,使 矩阵初等变换与矩阵乘法的联系_逆矩阵_120。下面讨论如何求得这个可逆矩阵 矩阵初等变换与矩阵乘法的联系_逆矩阵_119

由于 矩阵初等变换与矩阵乘法的联系_矩阵_122。因此,如果对矩阵 矩阵初等变换与矩阵乘法的联系_对换_123 作初等行变换,那么当把 矩阵初等变换与矩阵乘法的联系_逆矩阵_124 变成 矩阵初等变换与矩阵乘法的联系_逆矩阵_125 时,矩阵初等变换与矩阵乘法的联系_逆矩阵_126 就变成了矩阵初等变换与矩阵乘法的联系_逆矩阵_119。于是就得到所求的可逆矩阵 矩阵初等变换与矩阵乘法的联系_逆矩阵_119