本节将引入向量空间(vector spaces)和子空间(subspaces)。

文章目录

  • 1. 置换 Permutations
  • 2. 转置 Transposes
    • 2.1 对称矩阵 Symmetric
    • 2.2 证明:置换矩阵的逆矩阵等于置换矩阵的转置矩阵
  • 3. 向量空间 Vector spaces
  • 4. 子空间 Subspaces
    • 4.1 R2R^2R2的子空间
    • 4.2 R3R^3R3的子空间
  • 5. 列空间 Column spaces

1. 置换 Permutations

  当应用消元法求解方程组的时候我们需要通过行交换将 0 从主元位置移走。左乘一个置换矩阵可以实现行交换的操作。(在Matlab 中,更进一步的是会对接近于0的非零主元进行行交换),因此对于可逆矩阵的LU分解:从A=LUA=LUA=LU 变为 PA=LUPA=LUPA=LU。其中的 PPP 就是对AAA的行向量进行重新排序的置换矩阵。

  置换矩阵PPP 是通过对单位阵进行“行交换”得到的。对于 n∗nn*nn∗n 矩阵存在着 n!n!n!个置换矩阵。置换矩阵具有特殊性质P−1=PTP^{-1}=P^TP−1=PT,即 PTP=IP^TP=IPTP=I。

  举例来说,矩阵A为:
(010001100)\begin{gathered} \begin{pmatrix} 0 & 1 & 0 \\ 0& 0 & 1 \\ 1 & 0 & 0 \end{pmatrix} \end{gathered} ⎝⎛​001​100​010​⎠⎞​​

  逆矩阵则为:
(001100010)\begin{gathered} \begin{pmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{pmatrix} \end{gathered} ⎝⎛​010​001​100​⎠⎞​​

  如果换种解法来求解,比如每次只考虑两行的交换呢?对于上述矩阵A而言,容易得到E23E13A=IE_{23}E_{13}A=IE23​E13​A=I,那么逆矩阵则为E23E13E_{23}E_{13}E23​E13​。

2. 转置 Transposes

  矩阵AAA的转置矩阵记为ATA^TAT,对矩阵进行转置就是将AAA矩阵的行变为ATA^{T}AT的列,则完成后 AAA的列也就成为了ATA^{T}AT的行,看起来矩阵如同沿着对角线进行了翻转。

  其数学表达式为(AT)ij=Aji(A^T)_{ij}=A_{ji}(AT)ij​=Aji​,即 ATA^{T}AT的第iii行jjj列的元素为原矩阵AAA中第jjj行iii列的元素。

2.1 对称矩阵 Symmetric

  对称矩阵必然是方阵,并且满足:
AT=AA^T=AAT=A

  给定一个矩阵RRR,RRR可以不是方阵,则乘积 RTRR^{T}RRTR 一定是对称阵。
(RTR)T=RT(RT)T=RTR(R^TR)^T=R^T(R^T)^T=R^TR(RTR)T=RT(RT)T=RTR

2.2 证明:置换矩阵的逆矩阵等于置换矩阵的转置矩阵

  假设置换矩阵可以表示成多个矩阵的乘积P=Pm∗⋯∗P1P=P_m*\dots*\ P_1P=Pm​∗⋯∗ P1​(公式一),其中P1,…,PmP_1,\dots, P_mP1​,…,Pm​每个矩阵都是置换矩阵中的对称矩阵(即只表示对其中两行进行交换的矩阵,所以它们为对称阵)。那么对公式一两边求逆矩阵,则得:
P−1=P1−1∗⋯∗Pm−1P^{-1}=P_1^{-1}*\dots*\ P_m^{-1}P−1=P1−1​∗⋯∗ Pm−1​

  对称矩阵的逆矩阵即为它的转置,即P1−1=P1TP_1^{-1}=P_1^TP1−1​=P1T​,那么上式即为:
P−1=P1T∗⋯∗PmTP^{-1}=P_1^{T}*\dots*\ P_m^{T}P−1=P1T​∗⋯∗ PmT​

  所以置换矩阵的逆矩阵等于置换矩阵的转置矩阵得证。

3. 向量空间 Vector spaces

  这里空间的含义是说,表示有很多向量。并且向量之间满足加法运算、数乘运算以及不同向量之间的线性组合。向量空间对线性运算封闭,即空间内向量进行线性运算得到的向量仍在空间之内。

  R2R^2R2即为向量空间,它是具有两个实数分量的所有向量(二维实向量)的集合。在R2R^2R2中(0, 0)是所有向量中最重要的。简单来说,就是由所有向量组成的向量空间。

  所有向量空间必然包含零向量,因为任何向量数乘 0 或者加上反向量都会得到零向量,而因为向量空间对线性运算封闭,所以零向量必属于向量空间。

  R3R^3R3 是向量空间,它是具有三个实数分量的所有向量的集合。
  RnR^nRn 是向量空间,它是具有 n 个实数分量的所有向量的集合。
  反例:R2R^2R2中的第一象限不是一个向量空间。

4. 子空间 Subspaces

  包含于向量空间之内的一个向量空间称为原向量空间的一个子空间。例如用实数ccc数乘R2R^2R2 空间中的某一向量vvv 所得到的向量集合就是R2R^2R2空间的一个子空间,其图像为二维平面上穿过原点的一条直线,它对于线性运算封闭。

  但不是所有直线空间都是向量空间,比如:R2R^2R2中不穿过原点的直线就不是向量空间。子空间必须包含零向量,原因就是数乘 0 的到的零向量必须处于子空间中。

4.1 R2R^2R2的子空间

  • R2R^2R2 空间本身
  • 过原点的一条直线 (这是 R2R^2R2空间中的一条直线, 与 R1R^1R1空间有区别)
  • 零向量

4.2 R3R^3R3的子空间

  • R3R^3R3 空间本身
  • 过原点的一个平面
  • 过原点的一条直线
  • 零向量

5. 列空间 Column spaces

  在矩阵中构建子空间的方法之一是通过列向量进行构造。

  给定矩阵AAA,其列向量属于R3R^3R3 空间,这些列向量和它们的线性组合张成了R3R^3R3空间中的一个子空间,即矩阵AAA的列空间C(A)C(A)C(A)。

  如果A=[132341]A=\left[ \begin{array} { l l } { 1 } & { 3 } \\ { 2 } & { 3 } \\ { 4 } & { 1 } \end{array} \right]A=⎣⎡​124​331​⎦⎤​,则AAA的列空间是 R3R^3R3空间中包含向量[124]\left[ \begin{array} { l } { 1 } \\ { 2 } \\ { 4 } \end{array} \right]⎣⎡​124​⎦⎤​和[331]\left[ \begin{array} { l } { 3 } \\ {3 } \\ {1 } \end{array} \right]⎣⎡​331​⎦⎤​并穿过原点的平面,空间内包含两向量的所有线性组合。

  后续课程会是在列空间和子空间的基础上深入理解Ax=bAx=bAx=b。

MIT线性代数笔记五 转置、置换和空间相关推荐

  1. MIT线性代数笔记三 矩阵的乘法和逆矩阵

    文章目录 1. 矩阵乘法 Matrix multiplication 1.1 标准方法(行乘以列) 1.2 列向量的线性组合 1.3 行向量的线性组合 1.4 分块乘法 2. 逆矩阵 2.1 逆矩阵的 ...

  2. 我总结的120页《图解MIT线性代数笔记.pdf》,都是干货!

    作者:丁坤博 北京大学研究生 线性代数在工科学科上的地位是任何学科无可比拟的,MIT的线性代数课程更是线性代数课程中的最佳学习资料,我们本次分享这套课程的图解笔记. 经过最近几个月的整理和总结,我们产 ...

  3. MIT线性代数笔记一 行图像和列图像

    文章目录 1. 曾经 2. 现在 3. 第一讲 行图像和列图像 3.1 行图像 3.2 列图像 1. 曾经   若干年前,有一个年轻的男老师(王清老师)给我们讲线性代数.他讲课的声音比较小,坐到后面接 ...

  4. MIT线性代数笔记四 矩阵的LU分解

    文章目录 1. 矩阵的LU分解 2. 消元法所需运算量 3. 行互换 Row exchanges   本节的主要目的是从矩阵的角度理解高斯消元法,最后找到所谓的 LLL矩阵,使得矩阵 AAA可以转变为 ...

  5. MIT线性代数笔记二 矩阵消元

    文章目录 1. 消元 Elimation 2. 回代 Back-Substitution 3. 消元矩阵 Elimination Matrices 4. 置换矩阵 Permutation 5. 逆矩阵 ...

  6. MIT线性代数笔记二十五讲 对称矩阵和正定性

      对称矩阵是最重要的矩阵之一.那么它的特征值和特征向量有什么特别之处吗? 文章目录 1. 对称矩阵 Symmetric matrices 2. 实特征值 Real eigenvalues 3. 正定 ...

  7. MIT线性代数笔记十七讲 正交矩阵和施密特正交化

      本节是"正交"部分的最后内容.Gram-Schmidt 过程可以将原空间的一组基转变为标准正交基. 文章目录 1. 标准正交向量 Orthonormal vectors 2. ...

  8. MIT线性代数笔记九 线性无关,基和维度

      向量的线性无关意味着什么?如何用线性无关的概念来帮助我们描述包括零空间在内的子空间.   首先我们需要注意的是,线性无关是针对向量组而言的,而不是对矩阵而言的.   重要概念:线性无关(线性相关) ...

  9. rust放置木箱转向_rust笔记五 - cyper的个人空间 - OSCHINA - 中文开源技术交流社区...

    http://doc.rust-lang.org/guide.html#crates-and-modules 15 crates和modules 一个木箱是一个独立的编译单元,可以包含一个module ...

最新文章

  1. Nature Genetics:微生物如何适应植物的?
  2. FPGA之道(25)VHDL数据类型转换函数与数据对象的属性
  3. 零基础自学python的app-零基础入门免费学Python 课程和APP推荐
  4. JVM规范系列第2章:Java虚拟机结构
  5. 现在mfc的现状如何_天玑云客:微信代运营现在什么现状?如何挑选合适的代运营公司?...
  6. linux使用外部smtp发送邮件,Centos 配置mailx使用外部smtp发送邮件
  7. 小程序和APP的差别是什么?
  8. 4_1 古老的密码(UVa1339)排序
  9. b站视频解析php,B站视频解析套路
  10. Linux 系统-----vim命令详解
  11. 一、zabbix与nagios对比
  12. 连点脚本java,按键精灵键盘连点脚本日常
  13. 快速打造 Android 自定义表情库
  14. WhbtomT(半路出家) 的每日英语 收集 (三)
  15. c语言统计大写英文字母的个数,c语言 对任意输入的字符串,统计其中的大写字母和小写字母的个数...
  16. Oracle event px,oracle wait event:PX Deq Credit: send blkd
  17. 打造综合娱乐性平台,TCL爱奇艺电视体验记
  18. 华东师范学院计算机模拟试卷,华东师范大学计算机组成原理模拟卷
  19. 专访三维力控科解读实时数据库的发展
  20. 金立e3t刷android4.4,金立E3T刷机包 基于百度云官方ROM 深度精简 超强权限 省电耐用 安全稳定...

热门文章

  1. 网络分流器-网络分流器之DPI深度数据包检测技术及作用
  2. 一个厉害的人,你也可以!掌握高效人士的14项深度思考能力
  3. java计算机毕业设计高校智能排课系统源程序+mysql+系统+lw文档+远程调试
  4. 01Excel数据格式
  5. ERROR 1813 -Mysql:Tablespace for table 'xxx`.'xxx` exists.
  6. oracle 递归查询,深入sql oracle递归查询
  7. 天刀服务器维护开服时间表,天刀8月26日服务器例行维护 师徒系统开放
  8. Chemex3.4 怎么修改资产设备那原始二维码,扫码可查看该资产详细信息
  9. 专科毕业的Java菜鸟,只干了这一件事,offer拿到手软!
  10. Apache网页的优化,安全与防盗链