线性空间
线性空间是
前置知识:阿贝尔群、域。
通俗地讲,一个集合关于某运算封闭,满足结合律、单位元与逆元则构成群。如果还满足交换律,则构成阿贝尔群。
如果一个集合关于四则运算封闭,则构成域。相关定义详见 抽象代数基本概念。
定义
线性空间(向量空间)是线性代数的基本概念与重要研究对象。线性空间是由向量集合
具体来说,设
定义
且满足以下条件:
- 数乘对向量加法分配律:对于
, - 数乘对标量加法分配律:对于
, - 数乘结合律(一致于域乘法):对于
, - 标量乘法单位元:令
是 的乘法单位元,则对于 ,
则称代数系统
不管是一列数还是箭头,或是别的什么东西,只要满足上述公理,都可以认为是向量,也就都可以利用线性代数的理论来研究。
称加法群中的零元为零向量,记作
原阿贝尔群中向量的加减法,与线性空间新定义的数乘,统称为 线性运算。
Note
为行文方便,下文中:
- 对
中的元素不做加粗处理。 - 将满足线性空间定义的代数系统
也称为线性空间。
请注意区分。
直观理解
不是很严谨地说,标量乘法对应着一种「缩放」,基域
条件 1-4 描述的是「缩放」与「叠加」的关联。可以结合二维平面上的箭头来理解。
简单性质
Note
以下性质可在群论等中找到。
对线性空间
唯一 , 唯一 , , 有 , 有- 无零因子:
, 有 -
加法的消去律:
, 有实际上,加法的消去律是阿贝尔群的性质。
例子
关于数域 上的加法和乘法构成 上的一个线性空间。例如 可以是 , , ( 为素数)等。- 数域
上的 阶矩阵 关于矩阵的加法和数乘构成 上的一个线性空间。 - 数域
上的一元多项式环 关于多项式的加法和数乘构成 上的一个线性空间。 - 区间
上的全体连续函数(记作 )关于「函数加法」和「值与连续函数的数乘」构成值域上的一个线性空间。
相关概念
线性相关、线性无关
对线性空间
- 称
为 的一个 向量组。 - 对于
, 称 为向量组 的一个 线性组合。 - 若向量
可以表示为向量组 的一个线性组合,则称 能被向量组 线性表出。 - 对于
, 若向量组 满足 , 则称向量组 线性无关,否则称向量组 线性相关。
规定零向量与任意向量线性相关。
线性表示或线性相关的式子,可以写成矩阵乘法的形式:
根据习惯,把向量
注意:这里标量构成的「列向量」只是方便的形式记号,不在空间
下文指出,这里的线性表示也等价于,向量
根据下文中的定义,零向量一定会落在像空间里。如果用线性变换的观点看,线性相关等价于变换后多个向量变换到零向量,而线性无关等价于只有零向量本身变换到零向量。
性质
对线性空间
- 若向量组的一部分线性相关,则向量组线性相关。若向量组线性无关,则其任意非空部分均线性无关。简记为:「大无关、小无关」;「小相关、大相关」。
- 含
的向量组线性相关。 - 向量组线性相关当且仅当向量组的某个向量可以由其余向量线性表出。
- 若向量
可被向量组 线性表出,则表出方式唯一当且仅当向量组 线性无关。 - 若向量组
线性无关,则向量 可被向量组 线性表出当且仅当向量组 线性相关。
极大线性无关组、秩
线性相关可以理解为「多余」,说明向量组内部有的向量可以被其他向量表出,可以删去。删完了之后,将剩下极大线性无关组。
对线性空间
-
对于向量组
, 令 , 若有:- 向量组
线性无关。 , 向量组 线性相关。
则称向量组
为向量组 中的一个 极大线性无关组。类似地,可定义线性空间 的极大线性无关组。规定向量组
的极大线性无关组为空集,于是全 矩阵对应的向量组没有极大线性无关组。从向量组删向量的删法不唯一,因此极大线性无关组也不唯一。习惯上从左到右按顺序删。
很巧的是,按顺序删,留下的向量,恰好就是「按行看」观点里面,高斯消元法剩下的行最简形矩阵中,元素
所在的列。称向量组
的极大线性无关组的大小为向量组的 秩,记作 , 规定 。于是,向量组的秩的定义与矩阵的秩的定义完全一致。
- 向量组
-
若向量组
能线性表出向量组 中的所有向量,称向量组 能被向量组 线性表出。 -
若向量组
能被向量组 线性表出,且向量组 能被向量组 线性表出,则称两向量组 等价,记作 。向量组的 等价 就是向量组张成的空间相同。张成空间相同的向量组相互等价,张成空间不同的向量组不等价。
向量组等价比矩阵等价条件更强,不仅要求秩相同,还要求空间完全一样。因此,把两个矩阵 横向 拼在一起,秩不能发生变化。
矩阵等价仅要求秩相同,因此矩阵等价表示前一个矩阵或空间,可以通过可逆变换,到达后一个矩阵或空间。
性质
对线性空间
-
设向量组
能被线性表出向量组 线性表出。- 若
, 则向量组 线性相关。 - 若向量组
线性无关,则 。
- 若
-
等价的线性无关向量组的大小相等。
向量组的任意极大线性无关组的大小均相等。
-
向量组线性无关当且仅当其秩等于其大小。
-
若向量组
能被线性表出向量组 线性表出,则 。 -
等价的向量组的秩相等。
线性包
对于线性空间
这里的
线性子空间
对线性空间
关于 构成 上的线性空间
则称
任何空间
若第 2 条中的
本页面最近更新:2024/10/29 23:19:09,更新历史
发现错误?想一起完善? 在 GitHub 上编辑此页!
本页面贡献者:Tiphereth-A, c-forrest, Great-designer, aofall, CCXXXI, codewasp942, CoelacanthusHex, Marcythm, Persdre, shuzhouliu
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供,附加条款亦可能应用