美文网首页
MIT-18.06-线性代数(第七讲)

MIT-18.06-线性代数(第七讲)

作者: 林枫bioinfo | 来源:发表于2022-03-26 19:10 被阅读0次

第七讲 —— Ax=0:主变量、特解

1. 计算零空间、主变量、自由变量、特解

有矩阵A=\begin{bmatrix} 1 & 2 & 2 & 2 \\ 2 & 4 & 6 & 8 \\ 3 & 6 & 8 & 10 \\ \end{bmatrix},对这个矩阵消元,消元过程中,零空间不会改变。
消元后,最终得到了阶梯形式(echelon form),即非零元素以一种阶梯形式出现。本例中,主元只有两个,主元的数量是2,该数字称为矩阵的秩(rank)

此时解Ax=0变成了解Ux=0,但解的值和零空间不变。下面进行回代,首先找出主变量(pivot variables)主列(pivot columns),也就是主元所在的列,这里存在第一列和第三列两个pivot columns,另外两列为自由列(free columns),这些自由列表示,可以自由或任意分配数值给这些未知数,即列二和列四的乘数是任意的,因此x_2x_4可以任取,然后只需求解x_1x_3即可。

写成方程组的形式,\left\{ \begin{array}{c} x_1+2x_2+2x_3+2x_4=0 \\ 2x_3+4x_4=0 \\ \end{array} \right.,求x_1x_3可以通过回代,新的知识点:自由变量(free variables),自由变量可以取任何值,这里任意选择x_2=1x_4=0,回代得到x_1=-2,x_3=0,这样就得到零空间的一个向量\begin{bmatrix} -2 \\ 1 \\ 0 \\ 0 \\ \end{bmatrix},也就是Ax=0的一个解。该向量的任意倍数是方程组的解。得到四维空间中一条无限延伸的直线,直线在零空间中,但它是整个零空间吗?不是。自由变量有两个,可以任意取值。若x_2=0,x_4=1,回代得x_1=2,x_3=-2,可得到另一个零空间的向量\begin{bmatrix} 2 \\ 0 \\ -2 \\ 1 \\ \end{bmatrix}

以上两个向量称为特解(special solutions),特解也就是特定的解,特定在于给自由变量分配的特定值,从而得到零空间内特定的解。通过特解能构造出整个零空间。零空间所包含的正好是特解的线性组合。本例中则为x=c\begin{bmatrix} -2 \\ 1 \\ 0 \\ 0 \\ \end{bmatrix}+d\begin{bmatrix} 2 \\ 0 \\ -2 \\ 1 \\ \end{bmatrix}那么有多少个特解?每个自由变量对应一个特解, 那么有多少自由变量呢?对于m×n矩阵,n个变量,若其秩为r,自由变量个数则为n-rr个主变量,表示只有r个方程起作用,剩下的n-r个变量都可以自由选取,令其为0、1这样的特定值,就能得到特解。

2. 简化行阶梯形式

矩阵R,称为简化行阶梯形式(reduced row echelon form),这意味着U能进一步简化。

U=\begin{bmatrix} 1 & 2 & 2 & 2 \\ 0 & 0 & 2 & 4 \\ 0 & 0 & 0 & 0 \\ \end{bmatrix},行三均为0,是因为其是行一和行二的线性组合,消元发现了这一点,将其剔除。此时可以向上消元,\begin{bmatrix} 1 & 2 & 2 & 2 \\ 0 & 0 & 2 & 4 \\ 0 & 0 & 0 & 0 \\ \end{bmatrix} ——> \begin{bmatrix} 1 & 2 & 0 & -2 \\ 0 & 0 & 2 & 4 \\ 0 & 0 & 0 & 0 \\ \end{bmatrix} ——> \begin{bmatrix} 1 & 2 & 0 & -2 \\ 0 & 0 & 1 & 2 \\ 0 & 0 & 0 & 0 \\ \end{bmatrix}=R。(在Matlab中,rref(A)可直接得到R)。它以最简形式包含了所有信息。主行主列交汇处存在单位阵\begin{bmatrix} 1 & 0 \\ 0 & 1 \\ \end{bmatrix}

写成方程组的形式,\left\{ \begin{array}{c} x_1+2x_2-2x_4=0 \\ x_3+2x_4=0 \\ \end{array} \right.,即Rx=0,现在处理自由变量并回代,分别考虑主列和自由列,

这个步骤其实相当于回代,结果是自由列中数字的相反数。

假设方程组已经是rref形式,有R=\begin{bmatrix} I & F \\ 0 & 0 \\ \end{bmatrix},这是典型的简化行阶梯形式。求解Rx=0。构建零空间矩阵,它的各列由特解组成,记作N,有RN=0,得N=\begin{bmatrix} -F \\ I \\ \end{bmatrix},Matlab可以通过指令null求出。Rx=0=\begin{bmatrix} I & F \\ \end{bmatrix} \begin{bmatrix} x_{pivot} \\ x_{free} \\ \end{bmatrix}x_{pivot}=-Fx_{free}

再一个例子,有A=\begin{bmatrix} 1 & 2 & 3 \\ 2 & 4 & 6 \\ 2 & 6 & 8 \\ 2 & 8 & 10 \\ \end{bmatrix},开始消元,\begin{bmatrix} 1 & 2 & 3 \\ 2 & 4 & 6 \\ 2 & 6 & 8 \\ 2 & 8 & 10 \\ \end{bmatrix} ——> \begin{bmatrix} 1 & 2 & 3 \\ 0 & 0 & 0 \\ 0 & 2 & 2 \\ 0 & 4 & 4 \\ \end{bmatrix} ——> \begin{bmatrix} 1 & 2 & 3 \\ 0 & 2 & 2 \\ 0 & 0 & 0 \\ 0 & 4 & 4 \\ \end{bmatrix} ——> \begin{bmatrix} 1 & 2 & 3 \\ 0 & 2 & 2 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \\ \end{bmatrix}。秩仍然为2,矩阵主列的个数与其转置相同。只有一个自由列。令自由变量为1,回代,得到x=\begin{bmatrix} -1 \\ -1 \\ 1 \\ \end{bmatrix}。零空间内还有什么向量呢?乘以c即可,整个零空间是一条直线,记为c\begin{bmatrix} -1 \\ -1 \\ 1 \\ \end{bmatrix}。向上消元得到R=\begin{bmatrix} 1 & 0 & 1 \\ 0 & 1 & 1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \\ \end{bmatrix}=\begin{bmatrix} I & F \\ 0 & 0 \\ \end{bmatrix},进而有x=c\begin{bmatrix} -F \\ I \\ \end{bmatrix},-F=\begin{bmatrix} -1 \\ -1 \\ \end{bmatrix},I=1

相关文章

  • MIT-18.06-线性代数(第七讲)

    第七讲 —— :主变量、特解 1. 计算零空间、主变量、自由变量、特解 有矩阵,对这个矩阵消元,消元过程中,零空间...

  • MIT-18.06-线性代数(第二讲)

    第二讲 —— 矩阵消元 消元(Elimination) 回代(Back-Substitution) 用矩阵语言描述...

  • MIT-18.06-线性代数(第五讲)

    第五讲 —— 转置、置换、向量空间 1. 置换与转置 1.1 置换 置换矩阵,记为,是用来完成行互换的矩阵。,该描...

  • MIT-18.06-线性代数(第六讲)

    第六讲 —— 列空间和零空间 1. 子空间回顾 子空间,是向量空间内的一些向量,它们属于母空间,但自身又构成向量空...

  • MIT-18.06-线性代数(第八讲)

    第八讲 —— 可解性及解的结构 本讲将完整解出线性方程组,目标是:。其是否有解需要通过消元来确认,有解则需要知道是...

  • MIT-18.06-线性代数(第九讲)

    第九讲 —— 线性相关性,基,维数 本讲将学习线性无关(linear independence),对于向量组,何谓...

  • MIT-18.06-线性代数(第十讲)

    第十讲 —— 四个基本子空间 本讲将讲解矩阵的四个基本子空间(subspace)。研究四个子空间及其关系是线性代数...

  • MIT-18.06-线性代数(第一讲)

    第一讲 —— 方程组的几何解释 本讲将讨论线性代数的基础,求解线性方程组,方程组有n个方程,n个未知数 行图像(R...

  • MIT-18.06-线性代数(第四讲)

    第四讲 —— 的分解 回顾上一节没讲完的一些内容,首先是乘积的逆,两矩阵相乘,且它们的逆均已知,那么的逆是什么?有...

  • MIT-18.06-线性代数(第三讲)

    第三讲 —— 矩阵乘法和逆 1. 矩阵乘法 1.1 行列内积 假设矩阵乘矩阵,得到矩阵,。回顾单个元素的求法,取特...

网友评论

      本文标题:MIT-18.06-线性代数(第七讲)

      本文链接:https://www.haomeiwen.com/subject/qvadjrtx.html