前置知识:

  • 【定义】线性方程组
  • 线性方程组的矩阵形式

设有 n n n 个未知数 m m m 个方程的线性方程组
{ a 11 x a + a 12 x 2 + ⋯ + a 1 n x n = b 1 a 21 x a + a 22 x 2 + ⋯ + a 2 n x n = b 1 ⋯ a m 1 x a + a m 2 x 2 + ⋯ + a m n x n = b 1 (1) \left\{ \begin{align*} & a_{11} x_a + a_{12} x_2 + \cdots + a_{1n} x_n = b_1 \\ & a_{21} x_a + a_{22} x_2 + \cdots + a_{2n} x_n = b_1 \\ & \cdots \\ & a_{m1} x_a + a_{m2} x_2 + \cdots + a_{mn} x_n = b_1 \\ \end{align*} \right. \tag{1} ⎩ ⎨ ⎧​​a11​xa​+a12​x2​+⋯+a1n​xn​=b1​a21​xa​+a22​x2​+⋯+a2n​xn​=b1​⋯am1​xa​+am2​x2​+⋯+amn​xn​=b1​​(1)
上式可以写成以向量 x \boldsymbol{x} x 为未知元的向量方程
A x = b (2) \boldsymbol{A} \boldsymbol{x} = \boldsymbol{b} \tag{2} Ax=b(2)
定义 1 线性方程组如果有解,就称它是 相容 的;如果无解,就称它 不相容

利用系数矩阵 A \boldsymbol{A} A 和增广矩阵 B = ( A , b ) \boldsymbol{B} = (\boldsymbol{A},\boldsymbol{b}) B=(A,b) 的秩,可以方便地讨论线性方程组是否有解(即是否相容)以及有解时解是否唯一等问题,有定理和证明如下:

定理 2  n n n 阶线性方程组 A x = b \boldsymbol{A} \boldsymbol{x} = \boldsymbol{b} Ax=b

(1) 无解的充分必要条件是 R ( A ) < R ( A , b ) R(\boldsymbol{A}) < R(\boldsymbol{A},\boldsymbol{b}) R(A)<R(A,b);

(2) 有唯一解的充分必要条件是 R ( A ) = R ( A , b ) = n R(\boldsymbol{A}) = R(\boldsymbol{A},\boldsymbol{b}) = n R(A)=R(A,b)=n;

(3) 有无限多解的充分必要条件是 R ( A ) = R ( A , b ) < n R(\boldsymbol{A}) = R(\boldsymbol{A},\boldsymbol{b}) < n R(A)=R(A,b)<n。

证明 因为无解、有唯一解和有无限多解这 3 种情况涵盖了所有解的所有可能。所以 1 的必要性,是 2 和 3 的充分性的逆否命题;2 的必要性,是 1 和 3 的充分性的逆否命题;3 的必要性,是 1 和 2 的充分性的逆否命题。因此,只需要以此证明这 3 个条件的充分性即可。

设 R ( A ) = r R(\boldsymbol{A}) = r R(A)=r。不妨设 B = ( A , b ) \boldsymbol{B} = (\boldsymbol{A}, \boldsymbol{b}) B=(A,b) 的行最简形矩阵为
B ~ = ( 1 0 ⋯ 0 b 11 ⋯ b 1 , n − r d 1 0 1 ⋯ 0 b 21 ⋯ b 2 , n − r d 2 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 0 0 ⋯ 1 b r 1 ⋯ b r , n − r d r 0 0 ⋯ 0 0 ⋯ 0 d r + 1 0 0 ⋯ 0 0 ⋯ 0 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 0 0 ⋯ 0 0 ⋯ 0 0 ) \tilde{\boldsymbol{B}} = \begin{pmatrix} 1 & 0 & \cdots & 0 & b_{11} & \cdots & b_{1,n-r} & d_1 \\ 0 & 1 & \cdots & 0 & b_{21} & \cdots & b_{2,n-r} & d_2 \\ \vdots & \vdots & & \vdots & \vdots & & \vdots & \vdots \\ 0 & 0 & \cdots & 1 & b_{r1} & \cdots & b_{r,n-r} & d_r \\ 0 & 0 & \cdots & 0 & 0 & \cdots & 0 & d_{r+1} \\ 0 & 0 & \cdots & 0 & 0 & \cdots & 0 & 0 \\ \vdots & \vdots & & \vdots & \vdots & & \vdots & \vdots \\ 0 & 0 & \cdots & 0 & 0 & \cdots & 0 & 0 \\ \end{pmatrix} B~=⎝ ⎛​10⋮000⋮0​01⋮000⋮0​⋯⋯⋯⋯⋯⋯​00⋮100⋮0​b11​b21​⋮br1​00⋮0​⋯⋯⋯⋯⋯⋯​b1,n−r​b2,n−r​⋮br,n−r​00⋮0​d1​d2​⋮dr​dr+1​0⋮0​⎠ ⎞​

(1) 若 R ( A ) < R ( B ) R(\boldsymbol{A}) < R(\boldsymbol{B}) R(A)<R(B),则 B ~ \tilde{\boldsymbol{B}} B~ 中的 d r + 1 = 1 d_{r+1} = 1 dr+1​=1,于是 B ~ \tilde{\boldsymbol{B}} B~ 的第 r + 1 r+1 r+1 行对应矛盾方程 0 = 1 0=1 0=1,故方程 ( 2 ) (2) (2) 无解。

(2) 若 R ( A ) = R ( B ) = n R(\boldsymbol{A}) = R(\boldsymbol{B}) = n R(A)=R(B)=n,则行最简形矩阵 B ~ \tilde{\boldsymbol{B}} B~ 中 n n n 个非零行的首非零元对应的未知数均不是自由未知数,故方程 ( 2 ) (2) (2) 有唯一解。

(3) 若 R ( A ) = R ( B ) = r < n R(\boldsymbol{A}) = R(\boldsymbol{B}) = r < n R(A)=R(B)=r<n,则行最简形矩阵 B ~ \tilde{\boldsymbol{B}} B~ 中 r r r 个非零行的首非零元对应的未知数不是自由未知数,而其余 n − r n-r n−r 个未知数均为自由未知数,故方程 ( 2 ) (2) (2) 有无穷多解。

根据定理 2,可得线性方程组理论中两个最基本的定理,分别是

定理 3  n n n 元齐次线性方程组 A x = 0 \boldsymbol{A} \boldsymbol{x} = \boldsymbol{0} Ax=0 有非零解的充分必要条件是 R ( A ) < n R(\boldsymbol{A}) < n R(A)<n。

证明 因为 A x = 0 \boldsymbol{A} \boldsymbol{x} = 0 Ax=0,所以 R ( A ) = R ( B ) R(\boldsymbol{A}) = R(\boldsymbol{B}) R(A)=R(B)。

证明充分性。当 R ( A ) = R ( B ) < n R(\boldsymbol{A}) = R(\boldsymbol{B}) < n R(A)=R(B)<n 时,根据定理 2 (3),方程组有无限多解,其中自然也包括非零解。

证明必要性。当 R ( A ) = R ( B ) = n R(\boldsymbol{A}) = R(\boldsymbol{B}) = n R(A)=R(B)=n 时,只有唯一的零解。因此,若 A x = 0 \boldsymbol{A} \boldsymbol{x} = \boldsymbol{0} Ax=0 有非零解,则 R ( A ) = R ( B ) < n R(\boldsymbol{A}) = R(\boldsymbol{B}) < n R(A)=R(B)<n。

定理 4 线性方程组 A x = b \boldsymbol{A} \boldsymbol{x} = \boldsymbol{b} Ax=b 有解的充分必要条件是 R ( A ) = R ( A , b ) R(\boldsymbol{A}) = R(\boldsymbol{A},\boldsymbol{b}) R(A)=R(A,b)。

证明 定理 4 为定理 2 (1) 的逆否命题,得证。

将定理 4 推广到矩阵方程,得到定理和证明如下:

定理 5 矩阵方程 A X = b \boldsymbol{A} \boldsymbol{X} = \boldsymbol{b} AX=b 有解的充分必要条件是 R ( A ) = R ( A , B ) R(\boldsymbol{A}) = R(\boldsymbol{A},\boldsymbol{B}) R(A)=R(A,B)。

证明 设 A \boldsymbol{A} A 为 m × n m \times n m×n 矩阵, B \boldsymbol{B} B 为 m × l m \times l m×l 矩阵,则 X \boldsymbol{X} X 为 n × l n \times l n×l 矩阵。把 X \boldsymbol{X} X 和 B \boldsymbol{B} B 按列分块,记为
X = ( x 1 , x 2 , ⋯ , x l ) , B = ( b 1 , b 2 , ⋯ , b l ) \boldsymbol{X} = (\boldsymbol{x}_1,\boldsymbol{x}_2,\cdots,\boldsymbol{x}_l), \hspace{1em} \boldsymbol{B} = (\boldsymbol{b}_1,\boldsymbol{b}_2,\cdots,\boldsymbol{b}_l) X=(x1​,x2​,⋯,xl​),B=(b1​,b2​,⋯,bl​)
则矩阵方程 A X = B \boldsymbol{A} \boldsymbol{X} = \boldsymbol{B} AX=B 等价于 l l l 个向量方程
A x i = b i ( i = 1 , 2 , ⋯ , l ) \boldsymbol{A} \boldsymbol{x}_i = \boldsymbol{b}_i \hspace{1em} (i=1,2,\cdots,l) Axi​=bi​(i=1,2,⋯,l)
又,设 R ( A ) = r R(\boldsymbol{A}) = r R(A)=r,且 A \boldsymbol{A} A 的行最简形矩阵为 A ~ \tilde{\boldsymbol{A}} A~,有 A ~ \tilde{\boldsymbol{A}} A~ 有 r r r 的非零行,且 A ~ \tilde{\boldsymbol{A}} A~ 的后 m − r m-r m−r 行全为零行。再设
( A , B ) = ( A , b 1 , b 2 , ⋯ , b l ) ∼ r ( A ~ , b ~ 1 , b ~ 2 , ⋯ , b ~ l ) (\boldsymbol{A},\boldsymbol{B}) = (\boldsymbol{A},\boldsymbol{b}_1,\boldsymbol{b}_2,\cdots,\boldsymbol{b}_l) \stackrel{r}{\sim} (\tilde{\boldsymbol{A}},\tilde{\boldsymbol{b}}_1,\tilde{\boldsymbol{b}}_2,\cdots,\tilde{\boldsymbol{b}}_l) (A,B)=(A,b1​,b2​,⋯,bl​)∼r(A~,b~1​,b~2​,⋯,b~l​)
从而
( A , b i ) ∼ r ( A ~ , b ~ i ) ( i = 1 , 2 , ⋯ , l ) (\boldsymbol{A},\boldsymbol{b}_i) \stackrel{r}{\sim} (\tilde{\boldsymbol{A}},\tilde{\boldsymbol{b}}_i) \hspace{1em} (i=1,2,\cdots,l) (A,bi​)∼r(A~,b~i​)(i=1,2,⋯,l)
依据上述讨论,有如下推论过程:

  • 根据上述讨论: A X = b \boldsymbol{A} \boldsymbol{X} = \boldsymbol{b} AX=b ⇔ \Leftrightarrow ⇔ A x i = b i \boldsymbol{A} \boldsymbol{x}_i = \boldsymbol{b}_i Axi​=bi​ 有解( i = 1 , 2 , ⋯ , l i=1,2,\cdots,l i=1,2,⋯,l)
  • 根据定理 4: A x i = b i \boldsymbol{A} \boldsymbol{x}_i = \boldsymbol{b}_i Axi​=bi​ 有解 ⇔ \Leftrightarrow ⇔ R ( A ) = R ( A , b i ) R(\boldsymbol{A}) = R(\boldsymbol{A},\boldsymbol{b}_i) R(A)=R(A,bi​)( i = 1 , 2 , ⋯ , l i=1,2,\cdots,l i=1,2,⋯,l)
  • R ( A ) = R ( A , b i ) R(\boldsymbol{A}) = R(\boldsymbol{A},\boldsymbol{b}_i) R(A)=R(A,bi​) ⇔ \Leftrightarrow ⇔ b ~ i \tilde{\boldsymbol{b}}_i b~i​ 的后 m − r m-r m−r 个元全为零( i = 1 , 2 , ⋯ , l i=1,2,\cdots,l i=1,2,⋯,l)
  • b ~ i \tilde{\boldsymbol{b}}_i b~i​ 的后 m − r m-r m−r 个元全为零 ⇔ \Leftrightarrow ⇔ ( b ~ 1 , b ~ 2 , ⋯ , b ~ l ) (\tilde{\boldsymbol{b}}_1,\tilde{\boldsymbol{b}}_2,\cdots,\tilde{\boldsymbol{b}}_l) (b~1​,b~2​,⋯,b~l​) 的后 m − r m-r m−r 行全为零行( i = 1 , 2 , ⋯ , l i=1,2,\cdots,l i=1,2,⋯,l)
  • ( b ~ 1 , b ~ 2 , ⋯ , b ~ l ) (\tilde{\boldsymbol{b}}_1,\tilde{\boldsymbol{b}}_2,\cdots,\tilde{\boldsymbol{b}}_l) (b~1​,b~2​,⋯,b~l​) 的后 m − r m-r m−r 行全为零行 ⇔ \Leftrightarrow ⇔ R ( A , B ) = R ( A ) R(\boldsymbol{A},\boldsymbol{B}) = R(\boldsymbol{A}) R(A,B)=R(A)( i = 1 , 2 , ⋯ , l i=1,2,\cdots,l i=1,2,⋯,l)

综上所述: A X = b \boldsymbol{A} \boldsymbol{X} = \boldsymbol{b} AX=b ⇔ \Leftrightarrow ⇔ R ( A , B ) = R ( A ) R(\boldsymbol{A},\boldsymbol{B}) = R(\boldsymbol{A}) R(A,B)=R(A)。

线性方程组与矩阵的秩相关推荐

  1. 线性方程组系数矩阵的秩与解的个数的关系

    线性方程组系数矩阵的秩与解的个数的关系 线性方程组的系数矩阵是n阶方阵 线性方程组的系数矩阵是 m × n m×n m×n阶矩阵 小结 线性方程组的系数矩阵是n阶方阵 齐次方程组: A x = 0 A ...

  2. 线性代数带参数的线性方程组的求法示例详解

    线性方程组的求法与示例详解 线性方程组 由n个1维未知量,m个方程组成的组合叫做线性方程组. 特别的当方程组右边的值全都是0时叫做齐次线性方程组. 增广矩阵 在系数矩阵的右边添上一列,该列由线性方程组 ...

  3. 【定义】向量与向量组

    前置知识: [定义]矩阵 线性方程组与矩阵的秩 前置定理 1 线性方程组 A x = b \boldsymbol{A} \boldsymbol{x} = \boldsymbol{b} Ax=b 有解的 ...

  4. matlab联立两个方程组求解,实验二 Matlab求解数学问题(终稿)2

    实验二 MATLAB求解数学问题 2.1实验目的 掌握MATLAB在大学数学问题中的基本应用,会使用MATLAB软件求解高等数学.线性代数和概率统计中的常见问题. 2.2实验要求 掌握MATLAB简单 ...

  5. 《线性代数》同济版知识梳理

    1 行列式 1.1 二阶与三阶行列式 [定义]二阶行列式 二元线性方程组与二阶行列式 [定义]三阶行列式 1.2 全排列和对换 [定义]排列及其逆序数 对换对排列奇偶性的影响 1.3 n 阶行列式的定 ...

  6. 《神经网络与深度学习》 邱希鹏 学习笔记(二)

    正则化 所有损害优化的方法都是正则化.增加优化约束,干扰优化过程 优化约束包括 L1/L2约束,数据增强 干扰优化包括 随机梯度下降 权重衰减 提前停止 在上式中 y ( n ) 为样本 n ,其展开 ...

  7. 线性代数:第三章 矩阵的初等变换与线性方程组(1)矩阵的初等变换 矩阵的秩

    第一节 矩阵的初等变换 一. 数学概念 等价关系具有的性质: (i)  反身性 A~A; (ii) 对称性 若A~B,则B~A; (iii)  传递性 若A~B, B~C,则A~C; 二. 重点,难 ...

  8. c++求矩阵的秩_Matlab:矩阵的秩,简化梯形矩阵和线性方程组

    点击上方蓝字关注 无距书乡 获取持续更新 在开始今天的正式内容之前,先补充一个创建矩阵的方法--由向量组合成矩阵.A=[1;2;3],B=A+3,C=B+3,A, B, C 均为列向量,矩阵D由向量A ...

  9. 保研复习——线性代数3:矩阵的秩与线性方程组

    博主不定期更新[保研/推免.C/C++.5G移动通信.Linux.生活随笔]系列文章,喜欢的朋友[点赞+关注]支持一下吧! 矩阵的秩与线性方程组 1.矩阵秩的概念 在m×n阶矩阵A中,任意取定k行l列 ...

最新文章

  1. 无需标注数据集,自监督注意力机制就能搞定目标跟踪
  2. 【细无巨细,包你学会】自学Python运行时会遇到的异常与解决方法
  3. Mads Torgersen介绍C# 7及后续版本新特性
  4. [云炬ThinkPython阅读笔记]2.6 字符串运算
  5. mysql 互为主从复制常见问题
  6. SAP Cloud for Customer客户主数据的classification
  7. VS2005无法启动解决方法(转)
  8. 7-2 两个数的简单计算器 (10 分)
  9. servlet中使用db4o
  10. MATLAB dir函数文件名排序问题
  11. 首次使用计算机 鼠标没反应,电脑鼠标没反应是怎么回事
  12. 整理了173家国企清单,跳槽必备!
  13. 高等数学 极限存在 与 极限不存在
  14. 世界时、国际原子时、协调世界时到底有什么联系(最简单易懂版)
  15. 使用python获取日历信息并制作订阅文件
  16. C语言课设飞机票订购系统
  17. RMON学习笔记(二)
  18. JVM上篇(13):GC分类器
  19. RoboCup仿真3D底层通信模块介绍(二)
  20. c/c++中的转义字符

热门文章

  1. SWUSTOJ #77 计算员工周工资
  2. 讨论一下微信小程序中如何长按识别图片中二维码跳转
  3. 固态硬盘量产复活记(慧荣SM2256K+H27QFG8PEM5R)
  4. 入门理解计算机视觉、图形学、图像处理
  5. 随机森林用matlab实现,matlab实现随机森林
  6. 含源码 | C语言做可写入文件的账号密码登录系统
  7. 一个积分不等式的再讨论
  8. 通过源码理解 vue beforecreated 周期与 created 周期之间发生了什么
  9. 邻居好说话:冒泡排序
  10. A股个股财报数据更全面啦!—股票数据远程下载服务升级