1.1.3 线性空间的基与维数
基与维数
IMPORTANT设 是
线性空间中的线性无关向量组,若任意 都可以被 线性表出,则,
- 称 是 的
基;- 称 的
维数为 ,即 中向量数量。记作 ;- 称 是一个
维线性空间,通常记作 ;- .
TIP
线性空间的一组基就是该线性空间的一组极大线性无关组。上面的定义中实际上隐含了这个事实, 都可以被 线性表出,也就是说向该向量组中加入任意一个向量就会变得线性相关。
示例
下面给出一些具体例子。
NOTE
基:
维数:
NOTE
基:
维数:
复数的虚数部分可以由 引入.
NOTE
基:
复数的虚数部分不能从 中引入,只能从基中引入.
NOTE
基:
维数:
NOTE
TIP其中, 表示次数不超过 的实系数多项式.
基:
维数:
注意
不要遗漏了常数项.
NOTE
- ,其中,
对于 : 基:
维数:
对于 : 基:
维数:
NOTE
和 其中
TIP
- 对于
根据
零空间定义, 是矩阵方程 的解空间,而该解空间的任意解向量能够由 的一组基线性表示。因此,线性空间 的一组基实际上就是该解空间的一组基础解系。而该基础解系中向量的个数就等于
零空间维数。对于基础解系而言,其向量个数等于矩阵方程中自由变量个数,于是有,其中 即为矩阵 的
秩。实际上这被称为秩-零化度定理:那么如何求解矩阵方程 解空间 的基础解系呢?
求解零空间或 基础解系的一般步骤为: 1. 化矩阵 为
行最简型;2. 确定主变量与自由变量;3. 用自由变量表示主变量;4. 构造基础解系。
- 对于
值空间也表示矩阵 的列空间,即由矩阵 的列向量张成的空间。于是,矩阵 列向量的极大线性无关组也是值空间 一组基。而值空间 的维数是矩阵 列向量的极大线性无关组的向量个数,实际上就是矩阵 的秩 ,因此,
坐标
IMPORTANT定理:设 是 维线性空间 的一组基,则 可以被
唯一地线性表示,也即:存在唯一确定的一组 ,使得称为 在基 下的
坐标向量,简称坐标。记 ,则
IMPORTANT任意 维线性空间
同构于 ,记作 。
线性空间的同构
IMPORTANT对数域 上的两个线性空间 ,若存在
一一映射,满足:对 和 ,总有则称,
同构, 称为同构映射。也即,
同构映射可以与线性运算交换次序。
同构的性质
IMPORTANT
.
CAUTION这里的
0应该视为线性空间中的零元 .证明如下:
根据同构定义不难证明:
中的向量组 线性相关,当且仅当 线性相关.
同构的线性空间
维数相同,基一一对应.
给定基求向量的坐标
IMPORTANT例:取 的基:
求
在 下的坐标.
解:设
也即
记
求解这个
矩阵方程,显然 可逆,否则不存在唯一解,即在基下的坐标。于是可解