第7课-求解-ax-0-主变量与特解

Course: 线性代数 MIT 18.06 Linear Algebra

🎓 第7课 求解 Ax=0 主变量与特解

📢 主讲人:未知


📝 1️⃣ 课程主题与目标

  • 讨论向量空间、矩阵的空空间与列空间
  • 重点:如何描述矩阵空空间中的所有向量
  • 方法:把理论定义转化为具体算法,求解 Ax = 0

🛠️ 2️⃣ 矩阵示例与初步观察

  • 矩阵形式:矩形矩阵(行数与列数不等)
  • 例子矩阵特点:
    • 第二列是第一列的倍数
    • 有行是其他行的线性组合
  • 注意事项:行列的线性依赖提示自由变量和枢轴变量

3️⃣ 高斯消元法与零空间不变性

  • 执行高斯消元法求解 Ax = 0 时:
    • 不改变零空间
    • 可以改变列空间,但解集合保持不变
  • 操作说明:
    • 从一个方程减去另一方程的倍数
    • 左边操作不会改变方程的解
  • 目标:将矩阵化为阶梯型(或上三角型)

📚 4️⃣ 枢轴变量与自由变量

  • 定义:
    • 枢轴列 = 对应有主元的列
    • 自由列 = 无主元,可自由赋值
  • 举例:
    • 4 个未知数,3 个方程 → 有自由变量
    • 枢轴变量可用自由变量求解

🎵 5️⃣ 特解构造方法

  • 步骤:
    1. 找出枢轴变量与自由变量
    2. 对自由变量进行 0-1 特殊赋值
    3. 用反向代入求出枢轴变量
  • 特解示例:
    • 自由变量选择 (x₂, x₄) = (1,0) → 枢轴变量 x₁, x₃ 求出
    • 自由变量选择 (x₂, x₄) = (0,1) → 枢轴变量求出另一解
  • 特解意义:
    • 每个特解对应自由变量的一组特殊值
    • 所有零空间向量可表示为这些特解的线性组合

6️⃣ 零空间的描述

  • 零空间 = 所有 Ax = 0 的解的集合
  • 可由特解矩阵生成:
    • 每列一个特解
    • 任意线性组合仍在零空间中
  • 空间维度 = 自由变量数量 = n - r (n=变量数,r=矩阵秩)

📦 7️⃣ 矩阵秩与算法步骤

  • 矩阵秩 r = 枢轴数量
  • 算法概述:
    1. 执行高斯消元
    2. 找出枢轴列与自由列
    3. 对自由列赋值(0 或 1)
    4. 反向代入求解枢轴变量
    5. 构造特解矩阵
    6. 线性组合生成所有零空间向量

🎇 8️⃣ 矩阵的简化形式

  • 行阶梯形(阶梯型):非零元素呈阶梯状排列
  • 简化行阶梯形(Reduced Row Echelon Form, RREF):
    • 枢轴元素为 1
    • 枢轴列其他元素为 0
    • 自由列尽可能保持单位矩阵形式
  • MATLAB/教学代码可直接生成 RREF 并提取零空间

🪂 9️⃣ 特殊解矩阵示例

  • 设 R 是简化矩阵
  • F 是自由变量部分
  • 构造零空间矩阵 N:
    • 左边 I(单位矩阵)对应自由变量
    • 右边 -F 对应枢轴变量
    • Rx = 0 得到零空间

🔗 10️⃣ 算法总结与注意事项

  • 高斯消元不改变零空间
  • 枢轴变量数量 r 决定自由变量数量 n - r
  • 特解选择可用 0-1 赋值,生成基础向量
  • 所有零空间向量 = 特解的线性组合
  • 步骤清晰,可用计算机程序(如 MATLAB)直接实现

🎵 11️⃣ 课程核心结论

  • 零空间维度 = 自由变量数量
  • 特解提供零空间基
  • 枢轴变量 + 自由变量划分是求解 Ax=0 的关键
  • 所有零空间向量可由特解矩阵生成,任意线性组合仍满足 Ax=0

📚 12️⃣ 补充说明

  • 对矩阵进行进一步清理(简化行阶梯形)能让特解直接可读
  • 反向代入法是从最后一个方程开始求枢轴变量
  • 构造特解时,负号出现是由于代入自由变量后得到的结果