线性代数(七)主变量与特解

本篇主要讨论如何求解齐次方程组的解,即求解

举例,,首先容易想到的算法是通过初等行变换进行消元,将其化为行最简形式。这里指出,在进行初等变换的时候,解构成的空间是不会改变的。

因为,对系数矩阵初等行变换时要同时对右侧的零向量进行变换,这等价于用一个结果为0的方程减去另一个结果为0的方程,显然结果仍然为0,那么解同样属于0空间。

继续消元。显然矩阵A可以通过初等行变换转化为阶梯矩阵 ,每一行首个非零元对应的即主元,其余为自由元,主元的个数即矩阵的秩(rank)。矩阵A对应的主元的x1、x3,自有元为x2、x4。主元所在的列成为主列,显然第一列、第三列为主列,第二列、第四列成为自由列。

自由元的值可以随意给定,如x2=1,x4=0。容易求出x1=-2,x3=0。则解为:,显然这个解可以张成一个子空间,即,而这在中是一条过原点的直线。但这条直线并不能完全张成Ax=0的零空间。

重新设定自由元的值,x2=0,x4=1,容易求出x1=2,x3=-2。则解为,其张成的子空间为,显然这同样是中一条过原点的直线,并且这条直线与之前的方向不同。

两个特解进行线性组合,在几何空间中即两条方向不同的直线进行线性组合,其可以张成一个平面,也即Ax=0的解空间(或Ax=0的零空间)。

继续观察矩阵,主变量有两个,rank=2,表示只有两个方程起作用;4个待解变量,只有两个为需要求特定解,而其余的两个可以给定任意数值。

继续化简矩阵A,可以得到其行最简形式 ,将主列合并,可以得到:
,该矩阵可以表述为,其中I为二阶单位阵,F为自由列,不难注意到,F中的相反数构成了主元的解(课程中把这样形式的矩阵加做行最简矩阵,但国内的教材定义行最简矩阵并不要求把主列放在相邻的位置)。

矩阵,I为r阶,R为n阶,则矩阵R表示有r个主元、r个主列、n-r个自由元、自由列。

RN=0,则,矩阵N是由特解构成的矩阵,或称之为0零空间矩阵。

相关推荐
雪落漂泊10 分钟前
C++算法 二分查找篇(上)
开发语言·c++·算法
LabVIEW开发2 小时前
LabVIEW 连接板:28 个端子怎么排,优先级怎么定
java·算法·labview
严肃小白兔3 小时前
MATLAB 数值计算中的精度与误差问题:浮点运算、误差传播与数值稳定性
人工智能·算法·matlab
青少儿编程课堂4 小时前
蓝桥杯青少组图形化省考报名倒计时·全国青少年信息素养大赛·电子学会图形化考级:校园黑白棋人机对战解析
c++·python·算法·bfs·信息学竞赛
jktantan5 小时前
注解式脱敏:用 Jackson 的 ContextualSerializer 做字段级策略(一)
spring boot·后端·算法·spring cloud·系统架构
Dream it possible!18 小时前
LeetCode 面试经典 150_多维动态规划_交错字符串(97_C++_中等)
算法·leetcode·面试·动态规划
心抵鹊18 小时前
算法之双指针系列(一)
算法·leetcode
十二19 小时前
【洛谷题解】P1083 [NOIP 2012 提高组] 借教室(二分答案 + 差分)
数据结构·c++·算法·蓝桥杯
小此方20 小时前
[算法实战论:动态规划]回文串问题的dp解法,回文串问题的母题,以及以此为基础的派生题
算法·动态规划
Pniubi20 小时前
力扣560.和为k的子数组
算法·leetcode·职场和发展