矩阵的自由变量与基本变量 – 示例与解答

表示方程组的矩阵的自由变量与基本变量

定义 对于处于行阶梯形的方程组(可以用增广矩阵表示),其系数为首项 1(主元)的变量称为基本变量,没有主元的变量称为自由变量。

注意: 自由变量也称为参数。它们的值可以自由选择;一旦选定,基本变量就唯一确定。

示例

考虑以下方程组,它已经处于行阶梯形:

\[ \begin{cases} x_1 + 2x_2 - x_3 + x_4 - 3x_5 = 0 \\ \phantom{x_1 + 2x_2} x_3 - 2x_5 = 0 \\ \phantom{x_1 + 2x_2 + x_3} x_4 - x_5 = 0 \end{cases} \]

相应的行阶梯形增广矩阵为:

\[ \left[ \begin{array}{ccccc|c} 1 & 2 & -1 & 1 & -3 & 0 \\ 0 & 0 & 1 & 0 & -2 & 0 \\ 0 & 0 & 0 & 1 & -1 & 0 \end{array} \right] \]

主元列是第 1、3、4 列。因此:

用自由变量表示基本变量:

代入 \( x_3 = 2x_5 \) 和 \( x_4 = x_5 \):

\[ x_1 = -2x_2 + 2x_5 - x_5 + 3x_5 = -2x_2 + 4x_5 \]

因此通解为:

\[ \begin{aligned} x_1 &= -2x_2 + 4x_5 \\ x_3 &= 2x_5 \\ x_4 &= x_5 \end{aligned} \qquad \text{其中 } x_2, x_5 \in \mathbb{R}. \]

自由变量 \( x_2 \) 和 \( x_5 \) 可以取任意实数值——因此得名。这种参数形式明确描述了整个解集。

练习题

对于以下每个行阶梯形增广矩阵,确定哪些变量是基本变量,哪些是自由变量。假设变量依次为 \( x_1, x_2, \ldots \)。

  1. 矩阵 1:

    \[ \left[ \begin{array}{ccccc|c} 1 & 4 & 3 & 0 & 0 & 0 \\ 0 & 0 & 1 & -3 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 \end{array} \right] \]
  2. 矩阵 2:

    \[ \left[ \begin{array}{cc|c} 1 & 0 & 0 \\ 0 & 1 & 0 \end{array} \right] \]
  3. 矩阵 3:

    \[ \left[ \begin{array}{ccccc|c} 1 & 2 & 0 & -1 & -2 & 0 \\ 0 & 1 & 1 & 0 & 3 & 0 \\ 0 & 0 & 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 \end{array} \right] \]
  4. 矩阵 4:

    \[ \left[ \begin{array}{ccc|c} 1 & 2 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \end{array} \right] \]

上述习题的解答

由于这些是增广矩阵,变量个数等于(列数 − 1)。例如,5 列的增广矩阵有 \( 5 - 1 = 4 \) 个变量:\( x_1, x_2, x_3, x_4 \)。

  1. 矩阵 1 — 2 个主元,4 个变量。
    • 主元在 (第 1 行, 第 1 列) → \( x_1 \) 基本
    • 主元在 (第 2 行, 第 3 列) → \( x_3 \) 基本
    • 自由变量:\( x_2,\ x_4 \)
  2. 矩阵 2 — 2 个主元,2 个变量。
    • 主元在 (第 1 行, 第 1 列) → \( x_1 \) 基本
    • 主元在 (第 2 行, 第 2 列) → \( x_2 \) 基本
    • 没有自由变量(唯一解)。
  3. 矩阵 3 — 3 个主元,5 个变量。
    • 主元在 (第 1 行, 第 1 列) → \( x_1 \) 基本
    • 主元在 (第 2 行, 第 2 列) → \( x_2 \) 基本
    • 主元在 (第 3 行, 第 4 列) → \( x_4 \) 基本
    • 自由变量:\( x_3,\ x_5 \)
  4. 矩阵 4 — 2 个主元,3 个变量。
    • 主元在 (第 1 行, 第 1 列) → \( x_1 \) 基本
    • 主元在 (第 2 行, 第 3 列) → \( x_3 \) 基本
    • 自由变量:\( x_2 \)
相容性提示: 如果增广矩阵的某一行形如 \([0\ 0\ \cdots\ 0 \mid b]\) 且 \(b \neq 0\),则无论有多少自由变量,方程组都无解。

更多参考与链接

  1. 行阶梯形矩阵的主元
  2. 线性代数中心
  3. 用消元法求解线性方程组
  4. 初等矩阵
↑ 返回顶部