线性方程组

✍ dations ◷ 2025-06-30 20:34:24 #线性代数,方程

向量 · 向量空间  · 行列式  · 矩阵

标量 · 向量 · 向量空间 · 向量投影 · 外积 · 内积 · 数量积 · 向量积

矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 迹 · 单位矩阵 · 初等矩阵 · 方块矩阵 · 分块矩阵 · 三角矩阵 · 非奇异方阵 · 转置矩阵 · 逆矩阵 · 对角矩阵 · 可对角化矩阵 · 对称矩阵 · 反对称矩阵 · 正交矩阵 · 幺正矩阵 · 埃尔米特矩阵 · 反埃尔米特矩阵 · 正规矩阵 · 伴随矩阵 · 余因子矩阵 · 共轭转置 · 正定矩阵 · 幂零矩阵 · 矩阵分解 (LU分解 · 奇异值分解 · QR分解 · 极分解 · 特征分解) · 子式和余子式 · 拉普拉斯展开 ·

线性空间 · 线性变换 · 线性子空间 · 线性生成空间 · 基 · 线性映射 · 线性投影 · 线性无关 · 线性组合 · 线性泛函 · 行空间与列空间 · 对偶空间 · 正交 · 特征向量 · 最小二乘法 · 格拉姆-施密特正交化 ·

线性方程组是数学方程组的一种,它符合以下的形式:

其中的 a 1 , 1 , a 1 , 2 {\displaystyle a_{1,1},\,a_{1,2}} 是× 矩阵,x是含有个元素列向量,b是含有 个元素列向量。

这是线性方程组的另一种记录方法。在已知矩阵 A {\displaystyle A} 和)的时候,方程组里面的每一个方程可以看成Oxy平面(正交直角坐标系)上的一条直线的方程。直线上的点的坐标就是满足这个方程的一组数。从这个角度看来,方程组的解就是所有这种直线的公共点。而若干条直线的公共部分要么是一条直线,要么是一个点,要么是空集,因此对应的,线性方程组的解要么有无穷个,要么恰好有一个,要么不存在。

如果未知数有三个,那么每一个方程则代表了三维空间里面的一个平面,而方程组的解集也就是一些平面的共同部分。所有解的集合可以对应一个平面,一条直线,一个点或空集。

这个问题的一般情况可以从线性空间的角度去分析,即我们可以将线性方程组的求解问题看成向量 b {\displaystyle \mathbf {b} } 个的话,可以想象每个方程代表了n维空间里面的一个超平面。而方程组的解就是所有超平面的公共点。

齐次的线性方程组是指向量 b = 0 {\displaystyle \mathbf {b} =0} 纵列换成向量b之后得到的矩阵。

可以看出,这些表达式只有在 D = det ( A ) {\displaystyle D=\det(A)} 存在并且不等于0的时候才是有意义的,这点只有在有效方程数等于未知数的个数的时候才能得到保证。

在实际运算中,当矩阵的维数较高时,计算行列式是非常困难的。也就是说,计算行列式的计算复杂度随维数的增长非常快,对于一个 n × n {\displaystyle n\times n} 的矩阵,用初等的方法计算其行列式,需要的计算时间是 O ( n ! ) {\displaystyle O(n!)} (n的阶乘)。因此,克莱姆法则在实际计算中并未被采用。其意义仅仅在于出现在教材上,用以说明好的数值方法的重要性。

经典的求解线性方程组的方法一般分为两类:直接法和迭代法。前者例如高斯消元法, LU分解等,后者的例子包括共轭梯度法等。这些方法的计算复杂度在可以接受的范围内,因此被广泛采用。例如,高斯消元法的复杂度为 O ( n 3 ) {\displaystyle O(n^{3})} .一般来说,直接法对于阶数比较低的方程组(少于20000至30000个未知数)比较有效;而后者对于比较大的方程组更有效。在实际计算中,几十万甚至几百万个未知数的方程组并不少见。在这些情况下,迭代法有无可比拟的优势。另外,使用迭代法可以根据不同的精度要求选择终止时间,因此比较灵活。在问题特别大的时候,计算机内存可能无法容纳被操作的矩阵,这给直接法带来很大的挑战。而对于迭代法,则可以将矩阵的某一部分读入内存进行操作,然后再操作另外部分。

现实中的问题大多数是连续的,例如工程中求解结构受力后的变形,空气动力学中计算机翼周围的流场,气象预报中计算大气的流动。这些现象大多是用若干个微分方程描述。用数值方法求解微分方程(组),不论是差分方法还是有限元方法,通常都是通过对微分方程(连续的问题,未知数的维数是无限的)进行离散,得到线性方程组(离散问题,因为未知数的维数是有限的)。因此线性方程组的求解在科学与工程中的应用非常广泛。

许多具体的应用会得到结构比较特别的线性方程组,比如用差分方法和有限元方法离散微分方程后通常会得到三对角或五对角的方程组,网络问题有时会得到对称的线性方程组( A = A T {\displaystyle A=A^{T}} ),因此除了通用的线性方程组求解器,在一些专业领域,研究人员们也开发了适用于特定问题的求解器,比如适用于稀疏矩阵的求解器,适用于三对角矩阵的求解器,适用于对称矩阵的求解器等。

由于线性方程组的求解是一个非常普遍的问题,在多年的科学与工程实践中,科学家和工程师们积累很多高效率的线性方程组求解器,例如:LAPACK、BLAS等。这些软件中,许多可以可以在NetLib免费获得。LAPACK和BLAS在大多数Linux的发行版本中都已经预装。目前LAPACK有Fortran(包括90和77版本)、C、C++等几个语言的版本。利用LAPACK和BLAS中的子程序,Matlab对这些线性方程组求解器进行封装。用户不需要选择求解器的类型和问题的类型,Matlab可以根据对矩阵的分析自动选择合适的求解器。

上面讲的是线性方程组的数值解法。对于比较小的线性方程组,求得符号解是可能的。常用的软件有Mathematica, Maple等。在某些领域的研究中,这种需要并且可能求符号解(精确解)的情况偶尔会遇到。未知数的个数一般限制在几十个左右。显然,符号解在对于实际中遇到的有几百万个未知数的问题是无能为力的,比如,大型结构,天气预报,湍流模拟等问题中得到的线性方程组。



相关

  • 病毒包膜一个位于宿主细胞之外的独立、功能完全的病毒颗粒一些病毒拥有的包裹病毒体的脂肪泡一段DNA或RNA。如果把核苷酸比作字的话,那么基因就是由核苷酸写成的句子。基因会指导病毒
  • 阿列维派阿列维派(Alevi)是伊斯兰教的一个独立教派,从什叶派分化而来,吸收了安纳托利亚地区苏菲主义的成分。主要分布在土耳其,在该国的人数在1500~2000万之间。另外在塞浦路斯、希腊、保
  • 国立美术馆澳洲国立美术馆(National Gallery of Australia),1967年由澳洲联邦政府成立的公共美术馆,位于澳洲首都特区堪培拉。1970年选定伯利·格里芬湖畔现址后,美术馆于1982年完工并正式
  • 东法兰克国王德国君主列表给出了从843年《凡尔登条约》(该条约三分了法兰克王国,从而导致了东法兰克王国的诞生)签订,到1918年德意志帝国帝制终结为止的统治德国地区的历代君主,也包括神圣罗
  • 马克思主义教育学院南开大学马克思主义教育学院,简称南开马院,是南开大学从事马克思主义研究和承担政治思想教育的学术机构,位于南开大学津南校区文科学院组团。2016年1月,入选第一批全国重点马克
  • 中央情报总监美国中央情报总监(Director of Central Intelligence,缩写:DCI)由美国总统杜鲁门设立于1946年1月23日,授命海军上将席尼·索伊尔(英语:Sidney Souers)出任职掌。中央情报总监协调美
  • 国家陆地面积列表索引 国防预算 石油储量 军事(武装部队) 死刑 国债 生育率 最高点 官方语言 地理 政体 面积 代码 陆地面积 人口 人口密度 国内生产总值 国徽 国旗 国歌 国家格言 首都 城市
  • 翡翠谷 (电影)《翡翠谷》(英语:How Green Was My Valley)是一部由20世纪福克斯公司拍摄的美国电影,本片根据1939年的一篇小说改编而来,获得了1941年奥斯卡奖10项提名并最终斩获包括最佳影片奖
  • 辽南专区辽南专区,中华人民共和国辽宁省已撤销的行政区,在今辽宁省南部。1965年置,专员公署驻盖县(今盖州市)。辖原属营口市的盖县、营口2县;原属旅大市的金县、新金、复县3县及原属鞍山市
  • 罗小黑战记 (电影)《罗小黑战记》是一部2019年的中国大陆二维动画喜剧奇幻片,由木头执导,讲述了一只叫小黑的小猫妖因为家园被人类破坏,开始流浪,先后结识了和他有着一样经历但是对于人类有着对抗