矩阵初等变换
作者:追风剑情 发布于:2024-3-4 17:17 分类:Algorithms
线性代数的一个重要而基本的方面,就是线性方程组的求解。早在我国古代重要的数学著作《九章算术》就详细地讨论了线性方程组的解法,为线性代数铺下了第一块基石。
例如求解线性方程组 $$ \begin{equation} (Ⅰ) \quad \left\{ \begin{aligned} 2x_1 + x_2 = 1, \quad (1) \\ x_1 + x_2 = 1, \quad (2) \end{aligned} \right. \end{equation} $$ 首先交换(1)式和(2)式得 $$ \begin{equation} (Ⅱ) \quad \left\{ \begin{aligned} x_1 + x_2 = 1, \quad (3) \\ 2x_1 + x_2 = 1, \quad (4) \end{aligned} \right. \end{equation} $$ 其次将第(4)式减去第(3)式的2倍得 $$ \begin{equation} (Ⅲ) \quad \left\{ \begin{aligned} x_1 + x_2 = 1, \quad (5) \\ -x_2 = -1, \quad (6) \end{aligned} \right. \end{equation} $$ 最后将(6)式加到(5)式,再在(6)式两边乘以-1,得 $$ \begin{equation} (Ⅳ) \quad \left\{ \begin{aligned} x_1 = 0, \quad \\ x_2 = 1. \quad \end{aligned} \right. \quad \quad \quad \quad \end{equation} $$ 这就是经典的高斯消元法的过程。由于方程组(Ⅰ)对应一个矩阵 $$ A=\left( \begin{array}{l} 2 & 1 & 1 \\ 1 & 1 & 1 \end{array} \right) $$ 这里A的第一行对应第(1)式,A的第二行对应第(2)式。
用$r_i \leftrightarrow r_j$表示交换第i行和第j行;$kr_i$表示第i行乘以非零的数k;$r_i + kr_j$表示将第j行的每个元素的k倍加到第i行对应的元素上。
于是,上述消元法求解过程可用矩阵表示。 $$ \begin{aligned} &A=\left( \begin{array}{l} 2 & 1 & 1 \\ 1 & 1 & 1 \end{array} \right) \xrightarrow{r_1 \leftrightarrow r_2} \left( \begin{array}{l} 1 & 1 & 1 \\ 2 & 1 & 1 \end{array} \right) \xrightarrow{r_2 - 2r_1} \left( \begin{array}{c} 1 & 1 & 1 \\ 0 & -1 & -1 \end{array} \right) \\ & \xrightarrow{r_1 + r_2} \left( \begin{array}{l} 1 & 0 & 0 \\ 0 & -1 & -1 \end{array} \right) \xrightarrow{(-1)\cdot r_2} \left( \begin{array}{l} 1 & 0 & 0 \\ 0 & 1 & 1 \end{array} \right)=\mathbf{B} \end{aligned} $$ 其中B为行最简形矩阵,它对应于方程组(IV)。
行最简形矩阵要满足的条件:
(1)所有非零行的第一个非零元素必须为1。
(2)所有非零行的第一个非零元素所在列的其它元素必须为0。
定义 1.6 矩阵的下面三种变换统称为矩阵的初等行变换(初等列变换)。
(1)对换变换 交换矩阵的第i行(列)与第j行(列),记作$r_i \leftrightarrow r_j \; (c_i \leftrightarrow c_j)$;
(2)倍乘变换 用不为零的数k去乘以矩阵的第i行(列),记作$kr_i \; (kc_i)$;
(3)倍加变换 把矩阵的第j行(列)乘以数k加到第i行(列),记作$r_i + kr_j \; (c_i + kc_j)$。
初等行变换和初等列变换统称为初等变换。
注 1.5 从下面的变换过程容易看出上述三种初等变换都是可逆的。 $$ \begin{flalign} &(1)\quad A \xrightarrow {r_i \leftrightarrow r_j} B \xrightarrow {r_i \leftrightarrow r_j} A. \quad \quad \quad \; \; A \xrightarrow {c_i \leftrightarrow c_j} B \xrightarrow {c_i \leftrightarrow c_j} A. &\\ &(2)\quad A \xrightarrow {kr_i} B \xrightarrow{\frac{1}{k}r_i} A. \quad \quad \quad \quad \quad \; A \xrightarrow {kc_i} B \xrightarrow{\frac{1}{k}c_i} A. &\\ &(3)\quad A \xrightarrow{r_i + kr_j} B \xrightarrow{r_i - kr_j} A. \quad \quad \quad \; A \xrightarrow{c_i + kc_j} B \xrightarrow{c_i - kc_j} A. \end{flalign} $$
定义 1.7 如果矩阵A可以经过有限次初等变换化为矩阵B,就称矩阵A与矩阵B等价,记作$\mathbf{A}\cong\mathbf{B}$.
矩阵之间的等价有下面的性质。
(1)反身性:$\mathbf{A}\cong\mathbf{A}$
(2)对称性:若$\mathbf{A}\cong\mathbf{B}$,则$\mathbf{B}\cong\mathbf{A}$
(3)传递性:若$\mathbf{A}\cong\mathbf{B},\mathbf{B}\cong\mathbf{C}$,则$\mathbf{A}\cong\mathbf{C}$
数学中把具有上述三条性质的关系叫做等价关系。
若矩阵$A_{m×n}$与分块矩阵 $$ \begin{aligned} E^{(r)}_{m×n}= \left( \begin{array}{l} E_{r×r} & O_{r×(n-r)} \\ O_{(m-r)×r} & O_{(m-r)×(n-r)} \end{array} \right) \end{aligned} $$ 等价,则称$E^{(r)}_{m×n}$为$A_{m×n}$的等价标准形。注意,当r=0时,$E^{(0)}_{m×n}$就是零矩阵$O_{m×n}$。
例 1.8 用初等行变换将矩阵 $ \begin{aligned} A= \left( \begin{array}{l} 1 & 1 & 1 & 2 \\ -1 & 2 & 3 & 3 \\ 1 & 4 & 5 & 7 \\ \end{array} \right) \end{aligned} $ 化为行最简形,再利用列变换化为等价标准形。
解 对A作初等行变换得 $$ \begin{aligned} &A \xrightarrow{\begin{array}{l} r_2+r_1 \\ r_3-r_1 \end{array}} \left( \begin{array}{l} 1 & 1 & 1 & 2 \\ 0 & 3 & 4 & 5 \\ 0 & 3 & 4 & 5 \\ \end{array} \right) \xrightarrow{r3-r2} \left( \begin{array}{l} 1 & 1 & 1 & 2 \\ 0 & 3 & 4 & 5 \\ 0 & 0 & 0 & 0 \\ \end{array} \right) \\ &\xrightarrow{\frac{1}{3}r_2} \left( \begin{array}{l} 1 & 1 & 1 & 2 \\ 0 & 1 & \frac{4}{3} & \frac{5}{3} \\ 0 & 0 & 0 & 0 \\ \end{array} \right) \xrightarrow{r_1 - r_2} \left( \begin{array}{l} 1 & 0 & -\frac{1}{3} & \frac{1}{3} \\ 0 & 1 & \frac{4}{3} & \frac{5}{3} \\ 0 & 0 & 0 & 0 \\ \end{array} \right) = B \end{aligned} $$ 这里B为行最简形矩阵。再对B作初等列变换得 $$ B \xrightarrow{ \begin{array}{l} c_3 + \frac{1}{3}c_1 \\ c_4 - \frac{1}{3}c_1 \end{array} } \left( \begin{array}{l} 1 & 0 & 0 & 0 \\ 0 & 1 & \frac{4}{3} & \frac{5}{3} \\ 0 & 0 & 0 & 0 \\ \end{array} \right) \xrightarrow{ \begin{array}{l} c_3 - \frac{4}{3}c_2 \\ c_4 - \frac{5}{3}c_2 \end{array} } \left( \begin{array}{l} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ \end{array} \right) = E^{(2)}_{3×4} $$
一般地,按上述方法讨论可知,对于任意m×n矩阵A,可以实施有限次初等行变换,化为行最简形矩阵;而且总可以经过有限次初等变换(行变换和列变换),把它化为等价标准形。
注意,矩阵$A_{m×n}$的等价标准形$E^{(r)}_{m×n}$是由$A_{m×n}$唯一确定的。
标签: Algorithms
日历
最新文章
随机文章
热门文章
分类
存档
- 2024年11月(3)
- 2024年10月(5)
- 2024年9月(3)
- 2024年8月(3)
- 2024年7月(11)
- 2024年6月(3)
- 2024年5月(9)
- 2024年4月(10)
- 2024年3月(11)
- 2024年2月(24)
- 2024年1月(12)
- 2023年12月(3)
- 2023年11月(9)
- 2023年10月(7)
- 2023年9月(2)
- 2023年8月(7)
- 2023年7月(9)
- 2023年6月(6)
- 2023年5月(7)
- 2023年4月(11)
- 2023年3月(6)
- 2023年2月(11)
- 2023年1月(8)
- 2022年12月(2)
- 2022年11月(4)
- 2022年10月(10)
- 2022年9月(2)
- 2022年8月(13)
- 2022年7月(7)
- 2022年6月(11)
- 2022年5月(18)
- 2022年4月(29)
- 2022年3月(5)
- 2022年2月(6)
- 2022年1月(8)
- 2021年12月(5)
- 2021年11月(3)
- 2021年10月(4)
- 2021年9月(9)
- 2021年8月(14)
- 2021年7月(8)
- 2021年6月(5)
- 2021年5月(2)
- 2021年4月(3)
- 2021年3月(7)
- 2021年2月(2)
- 2021年1月(8)
- 2020年12月(7)
- 2020年11月(2)
- 2020年10月(6)
- 2020年9月(9)
- 2020年8月(10)
- 2020年7月(9)
- 2020年6月(18)
- 2020年5月(4)
- 2020年4月(25)
- 2020年3月(38)
- 2020年1月(21)
- 2019年12月(13)
- 2019年11月(29)
- 2019年10月(44)
- 2019年9月(17)
- 2019年8月(18)
- 2019年7月(25)
- 2019年6月(25)
- 2019年5月(17)
- 2019年4月(10)
- 2019年3月(36)
- 2019年2月(35)
- 2019年1月(28)
- 2018年12月(30)
- 2018年11月(22)
- 2018年10月(4)
- 2018年9月(7)
- 2018年8月(13)
- 2018年7月(13)
- 2018年6月(6)
- 2018年5月(5)
- 2018年4月(13)
- 2018年3月(5)
- 2018年2月(3)
- 2018年1月(8)
- 2017年12月(35)
- 2017年11月(17)
- 2017年10月(16)
- 2017年9月(17)
- 2017年8月(20)
- 2017年7月(34)
- 2017年6月(17)
- 2017年5月(15)
- 2017年4月(32)
- 2017年3月(8)
- 2017年2月(2)
- 2017年1月(5)
- 2016年12月(14)
- 2016年11月(26)
- 2016年10月(12)
- 2016年9月(25)
- 2016年8月(32)
- 2016年7月(14)
- 2016年6月(21)
- 2016年5月(17)
- 2016年4月(13)
- 2016年3月(8)
- 2016年2月(8)
- 2016年1月(18)
- 2015年12月(13)
- 2015年11月(15)
- 2015年10月(12)
- 2015年9月(18)
- 2015年8月(21)
- 2015年7月(35)
- 2015年6月(13)
- 2015年5月(9)
- 2015年4月(4)
- 2015年3月(5)
- 2015年2月(4)
- 2015年1月(13)
- 2014年12月(7)
- 2014年11月(5)
- 2014年10月(4)
- 2014年9月(8)
- 2014年8月(16)
- 2014年7月(26)
- 2014年6月(22)
- 2014年5月(28)
- 2014年4月(15)
友情链接
- Unity官网
- Unity圣典
- Unity在线手册
- Unity中文手册(圣典)
- Unity官方中文论坛
- Unity游戏蛮牛用户文档
- Unity下载存档
- Unity引擎源码下载
- Unity服务
- Unity Ads
- wiki.unity3d
- Visual Studio Code官网
- SenseAR开发文档
- MSDN
- C# 参考
- C# 编程指南
- .NET Framework类库
- .NET 文档
- .NET 开发
- WPF官方文档
- uLua
- xLua
- SharpZipLib
- Protobuf-net
- Protobuf.js
- OpenSSL
- OPEN CASCADE
- JSON
- MessagePack
- C在线工具
- 游戏蛮牛
- GreenVPN
- 聚合数据
- 热云
- 融云
- 腾讯云
- 腾讯开放平台
- 腾讯游戏服务
- 腾讯游戏开发者平台
- 腾讯课堂
- 微信开放平台
- 腾讯实时音视频
- 腾讯即时通信IM
- 微信公众平台技术文档
- 白鹭引擎官网
- 白鹭引擎开放平台
- 白鹭引擎开发文档
- FairyGUI编辑器
- PureMVC-TypeScript
- 讯飞开放平台
- 亲加通讯云
- Cygwin
- Mono开发者联盟
- Scut游戏服务器引擎
- KBEngine游戏服务器引擎
- Photon游戏服务器引擎
- 码云
- SharpSvn
- 腾讯bugly
- 4399原创平台
- 开源中国
- Firebase
- Firebase-Admob-Unity
- google-services-unity
- Firebase SDK for Unity
- Google-Firebase-SDK
- AppsFlyer SDK
- android-repository
- CQASO
- Facebook开发者平台
- gradle下载
- GradleBuildTool下载
- Android Developers
- Google中国开发者
- AndroidDevTools
- Android社区
- Android开发工具
- Google Play Games Services
- Google商店
- Google APIs for Android
- 金钱豹VPN
- TouchSense SDK
- MakeHuman
- Online RSA Key Converter
- Windows UWP应用
- Visual Studio For Unity
- Open CASCADE Technology
- 慕课网
- 阿里云服务器ECS
- 在线免费文字转语音系统
- AI Studio
- 网云穿
- 百度网盘开放平台
- 迅捷画图
- 菜鸟工具
- [CSDN] 程序员研修院
- 华为人脸识别
- 百度AR导航导览SDK
- 海康威视官网
- 海康开放平台
- 海康SDK下载
- git download
交流QQ群
-
Flash游戏设计: 86184192
Unity游戏设计: 171855449
游戏设计订阅号