2.9 维数与秩(第二章 矩阵代数)

主要内容

本节首先引入了坐标系的概念,利用子空间的一组基,将子空间的任意一个向量用这组基来表示。接着引入了子空间的维数的概念,其实质是子空间中任意一组基的个数。并讨论了矩阵列空间的维数(也称作秩)和零空间的维数及二者之间的关系。

坐标系

根据上一节的定义,子空间 H H H中的一组基是线性无关的。由于基是线性无关的,所以 H H H中的每个向量可以被表示为基向量的线性组合的唯一形式。
证:

假设 β = { b 1 , ⋯   , b p } \beta = \{\boldsymbol b_1, \cdots, \boldsymbol b_p\} β={b1,,bp} H H H的基, H H H中的一个向量 x \boldsymbol x x可以由两种方式生成,设:
x = c 1 b 1 + ⋯ + c p b p \boldsymbol x=c_1\boldsymbol b_1 + \cdots+c_p\boldsymbol b_p x=c1b1++cpbp
x = d 1 b 1 + ⋯ + d p b p \boldsymbol x = d_1\boldsymbol b_1 + \cdots + d_p\boldsymbol b_p x=d1b1++dpbp
两式相减得:
0 = ( c 1 − d 1 ) b 1 + ⋯ + ( c p − d p ) b p \boldsymbol 0 = (c_1 - d_1)\boldsymbol b_1 + \cdots + (c_p - d_p)\boldsymbol b_p 0=(c1d1)b1++(cpdp)bp
由于 β \beta β是线性无关的,所以上式中的系数必全为0,因此 H H H中的一个向量只能通过基的唯一组合进行表示。

定义:

假设 β = { b 1 , ⋯   , b p } \beta = \{\boldsymbol b1,\cdots,\boldsymbol b_p\} β={b1,,bp}是子空间 H H H的一组基,对 H H H中的每一个向量 x \boldsymbol x x,相对于基 β \beta β的坐标是使 x = c 1 b 1 + ⋯ + c p b p \boldsymbol x = c_1\boldsymbol b_1 + \cdots + c_p\boldsymbol b_p x=c1b1++cpbp成立的权 c 1 , ⋯   , c p c_1, \cdots, c_p c1,,cp,其 R p \mathbb R^p Rp中的向量
[ x ] β = [ c 1 . . . c p ] {[\boldsymbol x]}_\beta = \begin{bmatrix}c_1 \\ ... \\ c_p\end{bmatrix} [x]β=c1...cp
称为 x \boldsymbol x x(相对于 β \beta β)的坐标向量,或 x \boldsymbol x x β − \beta- β坐标向量。

例:

v 1 = [ 3 6 2 ] \boldsymbol v_1 = \begin{bmatrix}3 \\ 6 \\ 2\end{bmatrix} v1=362 v 2 = [ − 1 0 1 ] \boldsymbol v_2 = \begin{bmatrix}-1 \\ 0 \\ 1\end{bmatrix} v2=101 x = [ 3 12 7 ] \boldsymbol x = \begin{bmatrix}3 \\ 12 \\7\end{bmatrix} x=3127 β = { v 1 , v 2 } \beta = \{\boldsymbol v_1, \boldsymbol v_2\} β={v1,v2},。由于 v 1 \boldsymbol v_1 v1, v 2 \boldsymbol v_2 v2线性无关,故 β \beta β H = S p a n { v 1 , v 2 } H=Span\{\boldsymbol v_1, \boldsymbol v_2\} H=Span{v1,v2}的一组基。判断 x \boldsymbol x x是否在 H H H中,如果是,求 x \boldsymbol x x相对于基 β \beta β的坐标向量。

解:

问题的实质是判断下面的方程是否相容:
c 1 [ 3 6 2 ] + c 2 [ − 1 0 1 ] = [ 3 12 7 ] c_1\begin{bmatrix}3\\6\\2\end{bmatrix} + c_2\begin{bmatrix}-1\\0\\1\end{bmatrix} = \begin{bmatrix}3\\12\\7\end{bmatrix} c1362+c2101=3127
经计算, c 1 = 2 c_1=2 c1=2 c 2 = 3 c_2=3 c2=3 [ x ] β = [ 2 3 ] [\boldsymbol x]_\beta = \begin{bmatrix}2\\3\end{bmatrix} [x]β=[23]。基 β \beta β确定 H H H上的一个坐标系,如下图所示:
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Ls38XrQq-1583389305394)(en-resource://database/18801:1)]
注意到,虽然 H H H中的点也在 R 3 \mathbb R^3 R3中,但它们完全由属于 R 2 \mathbb R^2 R2的坐标向量确定。映射 x → [ x ] β \boldsymbol x \rightarrow[\boldsymbol x]_\beta x[x]β H H H R 2 \mathbb R^2 R2之间保持线性组合关系的一一映射,我们称这种映射是同构的,切 H H H R 2 \mathbb R^2 R2同构。

一般的,如果 β = { b 1 , ⋯   , b p } \beta = \{\boldsymbol b_1, \cdots, \boldsymbol b_p\} β={b1,,bp} H H H的基,则映射 x → [ x ] β \boldsymbol x\rightarrow [\boldsymbol x]_\beta x[x]β是使 H H H R p \mathbb R^p Rp的形态一样的一一映射,尽管 H H H中的向量可能有多于 p p p个元素。

子空间的维数

定义:

非零子空间 H H H的维数(用 d i m H dim H dimH表示)是 H H H的任意一个基的向量个数。零子空间 { 0 } \{\boldsymbol 0\} {0}的维数定义为零。

R n \mathbb R^n Rn空间维数为 n n n R n \mathbb R^n Rn的每个基由 n n n个向量组成。 R 3 \mathbb R^3 R3中一个经过 0 \boldsymbol 0 0的平面是二维的,一条经过 0 \boldsymbol 0 0的直线是一维的。

例:

在前一章的内容中,我们观察到,矩阵 A A A的零空间的基的数量对应于方程 A x = 0 A\boldsymbol x = \boldsymbol 0 Ax=0中自由变量的数量,因此,要确定 N u l   A Nul \ A Nul A的维数,只需求出 A = 0 A\boldsymbol =\boldsymbol 0 A=0中自由变量的个数。

定义:

矩阵 A A A的秩(记为 r a n k A rank A rankA)是 A A A的列空间的维数。

因为 A A A的主元列形成 C o l   A Col \ A Col A的一个基,故 A A A的秩正好是 A A A的主元列的个数。
例:

确定下列矩阵的秩:
A = [ 2 5 − 3 − 4 8 4 7 − 4 − 3 9 6 9 − 5 2 4 0 − 9 6 5 − 6 ] A=\begin{bmatrix}2&5&-3&-4&8\\4&7&-4&-3&9\\6&9&-5&2&4\\0&-9&6&5&-6\end{bmatrix} A=24605799345643258946

解:

A A A经过行化简,其阶梯形矩阵为:
[ 2 5 − 3 − 4 8 0 − 3 2 5 − 7 0 0 0 4 − 6 0 0 0 0 0 ] \begin{bmatrix}2&5&-3&-4&8\\0&-3&2&5&-7\\0&0&0&4&-6\\0&0&0&0&0\end{bmatrix} 20005300320045408760
可见, A A A有三个主元列(第1,2,4列),因此 r a n k   A = 3 rank \ A = 3 rank A=3

从这个例子中还可以看到,方程 A x = 0 A\boldsymbol x=\boldsymbol 0 Ax=0有两个自由变量(由于 A A A的五列中只有三个主元列),因此得出如下关系:
定义:

如果一矩阵 A A A n n n列,则 r a n k   A + d i m   N u l   A = n rank \ A + dim \ Nul \ A = n rank A+dim Nul A=n

上述定理被称作秩定理

下面的定理被称为基定理

H H H R n \mathbb R^n Rn p p p维子空间, H H H中的任何恰好由 p p p个元素组成的线性无关集构成 H H H的一个基。并且, H H H中任何生成 H H H p p p个向量集也构成 H H H的一个基。

秩与可逆矩阵定理

子空间基的线性无关性质可以与逆矩阵发生一些关联,下面是逆矩阵与本节知识关联得到的一些推论

定理:

A A A是一 n × n n \times n n×n矩阵,则下面的每个命题与 A A A是可逆矩阵的命题等价:
a. A A A的列向量构成 R n \mathbb R^n Rn的一个基
b. C o l   A = R n Col \ A = \mathbb R^n Col A=Rn
c. d i m   C o l   A = n dim \ Col \ A = n dim Col A=n
d. r a n k   A = n rank \ A = n rank A=n
e. N u l   A = { 0 } Nul \ A = \{\boldsymbol 0\} Nul A={0}
f. d i m   N u l   A = 0 dim \ Nul \ A = 0 dim Nul A=0

  • 3
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
第1章 引言 1.1 概述 1.2 字体印刷约定 第2章 MATLAB基本特性 2.1 简单数学运算 2.2 MATLAB工作空间 2.3 保存和检索数据 2.4 数值显示格式 2.5 关于变量 2.6 注释和标点 2.7 复数 2.8 数学函数 2.9 脚本文件 2.10 文件管理 2.11 命令窗口控制 2.12 MATLAB启动 2.13 在线帮助 第3章 数值 3.1 简单数组 3.2 数组编址 3.3 数组构造 3.4 数组方向 3.5 标量数组运算 3.6 数组-数组运算 3.7 数组操作 3.8 子数组查找 3.9 数组大小 3.10 数组操作函数 3.11 M文件举例 第4章 矩阵运算和函数 4.1 线性方程组 4.2 矩阵函数 4.3 特殊矩阵 4.4 稀疏矩阵 第5章 关系和逻辑运算 5.1 关系算子 5.2 逻辑算子 5.3 关系和逻辑函数 5.4 NaNs和空矩阵 第6章 文本 6.1 字符串 6.2 字符串转换 6.3 循环串函数 第7章 决策: 控制流 7.1 For 循环 7.2 While 循环 7.3 If-Else-End结构 7.4 小结 7.5 M文件举例 第8章 M-文件函数 8.1 规则与属性 第9章 数据分析 9.1 数据分析函数 9.2 M文件举例 第10章 多项式 10.1 根 10.2 乘法 10.3 加法 10.4 除法 10.5 微分 10.6 估值 10.7 有理多项式 10.8 M文件举例 10.9 小结 第11章 曲线拟合与插值 11.1 曲线拟合 11.2 一维插值 11.3 二维插值 11.4 M文件举例 11.5 小结 第12章 三次条样 12.1 基本特性 12.2 分段多项式 12.3 积分 12.4 微分 12.5 小结 第13章 数值分析 13.1 绘图 13.2 极小化 13.3 求零点 13.4 积分 13.5 微分 13.6 微分方程 13.7 M文件举例 13.8 小结 第14章 富里哀分析 14.1 快速富里哀变换 14.2 富里哀级数 14.3 小结 第15章 低级文件I/O 第16章 调试工具 第17章 二维图形 17.1函数Plot 17.2 线型、标记和颜色 17.3 加格栅与标志 17.4 加图例 17.5 定制图形坐标轴 17.6 图形保持 17.7 子图 17.8 多图形窗口 17.9 屏幕刷新 17.10 zoom命令 17.11 ginput函数 17.12 其它基本2维图 17.13 特殊的2维画图函数 17.14 M文件举例 17.15 小结 第18章 三维图 18.1 函数Plot3 18.2 改变视角 18.3 二变量的标量函数 18.4 杂乱或散射数据的插值 18.5 网格图 18.6 曲面图 18.7 等值线图 18.8 三维数据的二维图 18.9 其它函数 18.10 动画 18.11 小结 第19章 颜色 19.1 颜色映象理解 19.2 颜色映象使用 19.3 颜色映象显示 19.4 颜色映象的建立和修改 19.5 图形中使用一个以上的颜色映象 19.6 用颜色描述第四维 19.7 照明模型 19.8 小结 第20章 句柄图 20.1 谁需要句柄图? 20.2 什么是句柄图的对象? 20.3 句柄对象 20.4 通用函数get和set 20.5 查找对象 20.6 用鼠标选择对象 20.7 位置和单位 20.8 图形打印 20.9 缺省属性 20.10 非文件式属性 20.11 M文件举例 20.12 属性名称和值 20.13 小结 第21章 创建图形用户界面 21.1 谁创建图形用户界面GUI? 为什么? 21.2 GUI 对象层次结构 21.3 菜单 21.4 控制框 21.5 编程和回调的考虑 21.6 指针和鼠标按钮事件 21.7 回调中断的规则 21.8 M文件举例 21.9 对话框和请求程序 21.10 用户自制的GUI M文件 21.11 小结 第22章 符号数学工具箱 22.1 引言 22.2 符号表达式 22.3 符号表达式运算 22.4 微分和积分 22.5 符号表达式画图 22.6 符号表达式简化和格式化 22.7 可变精度算术运算 22.8 方程求解 22.9 线性代数矩阵 22.10 小结 第23章 Internet 23.1 UESNET新闻组 23.2 匿名FTP 23.3 全球广域网WWW 23.4 MATLAB电子邮件自动应答系统 23.5 MathWork MATLAB文摘 23.6 MATLAB通报 23.7 MathWork 电子邮件和网络地址 附录: Ⅰ. MATLAB快速参考表 Ⅱ. 句柄图形属性表 Ⅲ. 符号数工具快速参考表 Ⅳ. 精通MATLAB工具箱快速参考表 Ⅴ. 精通MATLAB工具箱参考说明 书中术语英汉对照
精通MATLAB—综合辅导与指南 目 录 前言 第1章 引言 1.1 概述 1.2 字体印刷约定 第2章 MATLAB基本特性 2.1 简单数学运算 2.2 MATLAB工作空间 2.3 保存和检索数据 2.4 数值显示格式 2.5 关于变量 2.6 注释和标点 2.7 复数 2.8 数学函数 2.9 脚本文件 2.10 文件管理 2.11 命令窗口控制 2.12 MATLAB启动 2.13 在线帮助 第3章 数值 3.1 简单数组 3.2 数组编址 3.3 数组构造 3.4 数组方向 3.5 标量数组运算 3.6 数组-数组运算 3.7 数组操作 3.8 子数组查找 3.9 数组大小 3.10 数组操作函数 3.11 M文件举例 第4章 矩阵运算和函数 4.1 线性方程组 4.2 矩阵函数 4.3 特殊矩阵 4.4 稀疏矩阵 第5章 关系和逻辑运算 5.1 关系算子 5.2 逻辑算子 5.3 关系和逻辑函数 5.4 NaNs和空矩阵 第6章 文本 6.1 字符串 6.2 字符串转换 6.3 循环串函数 第7章 决策: 控制流 7.1 For 循环 7.2 While 循环 7.3 If-Else-End结构 7.4 小结 7.5 M文件举例 第8章 M-文件函数 8.1 规则与属性 第9章 数据分析 9.1 数据分析函数 9.2 M文件举例 第10章 多项式 10.1 根 10.2 乘法 10.3 加法 10.4 除法 10.5 微分 10.6 估值 10.7 有理多项式 10.8 M文件举例 10.9 小结 第11章 曲线拟合与插值 11.1 曲线拟合 11.2 一维插值 11.3 二维插值 11.4 M文件举例 11.5 小结 第12章 三次条样 12.1 基本特性 12.2 分段多项式 12.3 积分 12.4 微分 12.5 小结 第13章 数值分析 13.1 绘图 13.2 极小化 13.3 求零点 13.4 积分 13.5 微分 13.6 微分方程 13.7 M文件举例 13.8 小结 第14章 富里哀分析 14.1 快速富里哀变换 14.2 富里哀级数 14.3 小结 第15章 低级文件I/O 第16章 调试工具 第17章 二维图形 17.1函数Plot 17.2 线型、标记和颜色 17.3 加格栅与标志 17.4 加图例 17.5 定制图形坐标轴 17.6 图形保持 17.7 子图 17.8 多图形窗口 17.9 屏幕刷新 17.10 zoom命令 17.11 ginput函数 17.12 其它基本2维图 17.13 特殊的2维画图函数 17.14 M文件举例 17.15 小结 第18章 三维图 18.1 函数Plot3 18.2 改变视角 18.3 二变量的标量函数 18.4 杂乱或散射数据的插值 18.5 网格图 18.6 曲面图 18.7 等值线图 18.8 三维数据的二维图 18.9 其它函数 18.10 动画 18.11 小结 第19章 颜色 19.1 颜色映象理解 19.2 颜色映象使用 19.3 颜色映象显示 19.4 颜色映象的建立和修改 19.5 图形中使用一个以上的颜色映象 19.6 用颜色描述第四维 19.7 照明模型 19.8 小结 第20章 句柄图 20.1 谁需要句柄图? 20.2 什么是句柄图的对象? 20.3 句柄对象 20.4 通用函数get和set 20.5 查找对象 20.6 用鼠标选择对象 20.7 位置和单位 20.8 图形打印 20.9 缺省属性 20.10 非文件式属性 20.11 M文件举例 20.12 属性名称和值 20.13 小结 第21章 创建图形用户界面 21.1 谁创建图形用户界面GUI? 为什么? 21.2 GUI 对象层次结构 21.3 菜单 21.4 控制框 21.5 编程和回调的考虑 21.6 指针和鼠标按钮事件 21.7 回调中断的规则 21.8 M文件举例 21.9 对话框和请求程序 21.10 用户自制的GUI M文件 21.11 小结 第22章 符号数学工具箱 22.1 引言 22.2 符号表达式 22.3 符号表达式运算 22.4 微分和积分 22.5 符号表达式画图 22.6 符号表达式简化和格式化 22.7 可变精度算术运算 22.8 方程求解 22.9 线性代数矩阵 22.10 小结 第23章 Internet 23.1 UESNET新闻组 23.2 匿名FTP 23.3 全球广域网WWW 23.4 MATLAB电子邮件自动应答系统 23.5 MathWork MATLAB文摘 23.6 MATLAB通报 23.7 MathWork 电子邮件和网络地址 附录: Ⅰ. MATLAB快速参考表 Ⅱ. 句柄图形属性表 Ⅲ. 符号数工具快速参考表 Ⅳ. 精通MATLAB工具箱快速参考表 Ⅴ. 精通MATLAB工具箱参考说明 书中术语英汉对照
精通matlab综合辅导与指南例程 西安交通大学 李人厚 张平安 目 录 前言 第1章 引言 1.1 概述 1.2 字体印刷约定 第2章 MATLAB基本特性 2.1 简单数学运算 2.2 MATLAB工作空间 2.3 保存和检索数据 2.4 数值显示格式 2.5 关于变量 2.6 注释和标点 2.7 复数 2.8 数学函数 2.9 脚本文件 2.10 文件管理 2.11 命令窗口控制 2.12 MATLAB启动 2.13 在线帮助 第3章 数值 3.1 简单数组 3.2 数组编址 3.3 数组构造 3.4 数组方向 3.5 标量数组运算 3.6 数组-数组运算 3.7 数组操作 3.8 子数组查找 3.9 数组大小 3.10 数组操作函数 3.11 M文件举例 第4章 矩阵运算和函数 4.1 线性方程组 4.2 矩阵函数 4.3 特殊矩阵 4.4 稀疏矩阵 第5章 关系和逻辑运算 5.1 关系算子 5.2 逻辑算子 5.3 关系和逻辑函数 5.4 NaNs和空矩阵 第6章 文本 6.1 字符串 6.2 字符串转换 6.3 循环串函数 第7章 决策: 控制流 7.1 For 循环 7.2 While 循环 7.3 If-Else-End结构 7.4 小结 7.5 M文件举例 第8章 M-文件函数 8.1 规则与属性 第9章 数据分析 9.1 数据分析函数 9.2 M文件举例 第10章 多项式 10.1 根 10.2 乘法 10.3 加法 10.4 除法 10.5 微分 10.6 估值 10.7 有理多项式 10.8 M文件举例 10.9 小结 第11章 曲线拟合与插值 11.1 曲线拟合 11.2 一维插值 11.3 二维插值 11.4 M文件举例 11.5 小结 第12章 三次条样 12.1 基本特性 12.2 分段多项式 12.3 积分 12.4 微分 12.5 小结 第13章 数值分析 13.1 绘图 13.2 极小化 13.3 求零点 13.4 积分 13.5 微分 13.6 微分方程 13.7 M文件举例 13.8 小结 第14章 富里哀分析 14.1 快速富里哀变换 14.2 富里哀级数 14.3 小结 第15章 低级文件I/O 第16章 调试工具 第17章 二维图形 17.1函数Plot 17.2 线型、标记和颜色 17.3 加格栅与标志 17.4 加图例 17.5 定制图形坐标轴 17.6 图形保持 17.7 子图 17.8 多图形窗口 17.9 屏幕刷新 17.10 zoom命令 17.11 ginput函数 17.12 其它基本2维图 17.13 特殊的2维画图函数 17.14 M文件举例 17.15 小结 第18章 三维图 18.1 函数Plot3 18.2 改变视角 18.3 二变量的标量函数 18.4 杂乱或散射数据的插值 18.5 网格图 18.6 曲面图 18.7 等值线图 18.8 三维数据的二维图 18.9 其它函数 18.10 动画 18.11 小结 第19章 颜色 19.1 颜色映象理解 19.2 颜色映象使用 19.3 颜色映象显示 19.4 颜色映象的建立和修改 19.5 图形中使用一个以上的颜色映象 19.6 用颜色描述第四维 19.7 照明模型 19.8 小结 第20章 句柄图 20.1 谁需要句柄图? 20.2 什么是句柄图的对象? 20.3 句柄对象 20.4 通用函数get和set 20.5 查找对象 20.6 用鼠标选择对象 20.7 位置和单位 20.8 图形打印 20.9 缺省属性 20.10 非文件式属性 20.11 M文件举例 20.12 属性名称和值 20.13 小结 第21章 创建图形用户界面 21.1 谁创建图形用户界面GUI? 为什么? 21.2 GUI 对象层次结构 21.3 菜单 21.4 控制框 21.5 编程和回调的考虑 21.6 指针和鼠标按钮事件 21.7 回调中断的规则 21.8 M文件举例 21.9 对话框和请求程序 21.10 用户自制的GUI M文件 21.11 小结 第22章 符号数学工具箱 22.1 引言 22.2 符号表达式 22.3 符号表达式运算 22.4 微分和积分 22.5 符号表达式画图 22.6 符号表达式简化和格式化 22.7 可变精度算术运算 22.8 方程求解 22.9 线性代数矩阵 22.10 小结 第23章 Internet 23.1 UESNET新闻组 23.2 匿名FTP 23.3 全球广域网WWW 23.4 MATLAB电子邮件自动应答系统 23.5 MathWork MATLAB文摘 23.6 MATLAB通报 23.7 MathWork 电子邮件和网络地址 附录: Ⅰ. MATLAB快速参考表 Ⅱ. 句柄图形属性表 Ⅲ. 符号数工具快速参考表 Ⅳ. 精通MATLAB工具箱快速参考表 Ⅴ. 精通MATLAB工具箱参考说明

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值