前置知识:

  • 【定义】矩阵

定义 1(初等行变换) 下面三种变换称为矩阵的行初等变换:

  • 对换两行(对换 【定义】矩阵初等变换和矩阵等价_线性代数 两行,记作 【定义】矩阵初等变换和矩阵等价_矩阵_02);
  • 以数 【定义】矩阵初等变换和矩阵等价_等价关系_03 乘某一行中的所有元(第 【定义】矩阵初等变换和矩阵等价_等价关系_04 行乘 【定义】矩阵初等变换和矩阵等价_传递性_05,记作 【定义】矩阵初等变换和矩阵等价_对换_06
  • 把某一行所有元的 【定义】矩阵初等变换和矩阵等价_传递性_05 倍加到另一行对应的元上去(第 【定义】矩阵初等变换和矩阵等价_矩阵_08 行的 【定义】矩阵初等变换和矩阵等价_传递性_05 倍加到第 【定义】矩阵初等变换和矩阵等价_等价关系_04 行上,记作 【定义】矩阵初等变换和矩阵等价_传递性_11

定义 2(初等列变换) 将定义 1 中的 “行” 换成 “列”,即得矩阵的初等列变换的定义(所用记号是把 “【定义】矩阵初等变换和矩阵等价_线性代数_12” 换成 “【定义】矩阵初等变换和矩阵等价_传递性_13”)

矩阵的初等行变换与初等列变换,统称初等变换。

显然,三种初等变换都是可逆的,且其逆变换是同一类型的初等变换;变换 【定义】矩阵初等变换和矩阵等价_对换_14 的逆变换就是其本身;变换 【定义】矩阵初等变换和矩阵等价_线性代数_15 的逆变换为 【定义】矩阵初等变换和矩阵等价_传递性_16(或记作 【定义】矩阵初等变换和矩阵等价_矩阵_17);变换 【定义】矩阵初等变换和矩阵等价_矩阵_18 的逆变换为 【定义】矩阵初等变换和矩阵等价_矩阵_19(或记作 【定义】矩阵初等变换和矩阵等价_对换_20)。

定义 3(矩阵等价) 如果矩阵 【定义】矩阵初等变换和矩阵等价_线性代数_21 经有限次初等行变换变成矩阵 【定义】矩阵初等变换和矩阵等价_矩阵_22,就称矩阵 【定义】矩阵初等变换和矩阵等价_线性代数_21【定义】矩阵初等变换和矩阵等价_矩阵_22 行等价,记作 【定义】矩阵初等变换和矩阵等价_对换_25;如果矩阵 【定义】矩阵初等变换和矩阵等价_线性代数_21 经有限次初等列变换变成矩阵 【定义】矩阵初等变换和矩阵等价_矩阵_22,就称矩阵 【定义】矩阵初等变换和矩阵等价_线性代数_21【定义】矩阵初等变换和矩阵等价_矩阵_22 列等价,记作 【定义】矩阵初等变换和矩阵等价_对换_30;如果矩阵 【定义】矩阵初等变换和矩阵等价_线性代数_21 经有限次初等变换变成矩阵 【定义】矩阵初等变换和矩阵等价_矩阵_22,就称矩阵 【定义】矩阵初等变换和矩阵等价_线性代数_21【定义】矩阵初等变换和矩阵等价_矩阵_22 等价,记作 【定义】矩阵初等变换和矩阵等价_传递性_35

矩阵之间的等价关系具有下列性质:

  • 反身性:【定义】矩阵初等变换和矩阵等价_传递性_36
  • 对称性:若【定义】矩阵初等变换和矩阵等价_传递性_35,则【定义】矩阵初等变换和矩阵等价_矩阵_38
  • 传递性:若【定义】矩阵初等变换和矩阵等价_传递性_35【定义】矩阵初等变换和矩阵等价_对换_40,则【定义】矩阵初等变换和矩阵等价_传递性_41