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

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

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

因为,对系数矩阵初等行变换时要同时对右侧的零向量进行变换,这等价于用一个结果为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零空间矩阵。

相关推荐
Tisfy10 小时前
LeetCode 3090.每个字符最多出现两次的最长子字符串:二重循环 / 滑动窗口
算法·leetcode·字符串·题解·模拟·双指针·滑动窗口
-dzk-10 小时前
【技巧】LC 136.只出现一次的数字
算法·异或
专注仿真11 小时前
问答大模型技术方案算法实现-RAPTOR树构建算法与BEG集成使用
python·算法
zlinear数据采集卡12 小时前
数据采集卡从入门到精通(10):采样率与分辨率的核心关系——反比律、架构分布与过采样
arm开发·嵌入式硬件·算法·fpga开发·架构·开源
GeekZHR13 小时前
C语言指针进阶补充6:动态内存管理、mem系列内存函数、复杂指针声明,一次补齐指针的“三大盲区“
java·c语言·算法·指针
Herbert_hwt13 小时前
第七章 Java深入理解枚举类型
java·开发语言·算法
.道阻且长.13 小时前
8.LeetCode算法习题讲解--滑动窗口--长度最小的子数组
算法·leetcode·职场和发展
(❁´◡`❁)Jimmy(❁´◡`❁)13 小时前
P1156 [USACO01OPEN] 垃圾陷阱
算法·动态规划
疯狂打码的少年14 小时前
【数据结构】二叉排序树(BST)的定义与操作
数据结构·笔记·算法
lally.14 小时前
整数等差数列超图中的三个非微扰现象
算法