线性空间的定义
线性空间是定义在数域 上满足某些运算规律的向量集合,而数域本身也是一种特殊的集合。所以我们先讲数域,再讲线性空间
什么是数域?数域是一种数集,元素的和、差、积、商仍在数集中(举有封闭性),称为数域。如,有理数域,复数域
,实数域
线性空间的定义:
设
是以
为元素的非空集合,
是一个数域,定义两种运算:加法
; 数乘 \forall k \in \mathbb {F}, \alpha \in V, k \alpha \in V。满足8条性质:加法交换律、加法结合律、数乘结合律、两个分配律,零元 (单位元) 存在,1 (幺) 元存在,负元存在。则称
为数域
上的线性空间
- 交换律
- 结合律
- 零元素 存在唯一的零元素
,使得对于
中的任一元素
都有
- 负元素 在
中每一个元素
,都有
中的元素
,使得
,其中
代表零元素。
-
中存在单位元
,使
- 结合律
- 分配律1
- 分配律2
注:
简单点说,上述 8 条,只要有任意一条不满足,则 就不是数域
上的线性空间(线性空间中的元素叫向量)
例 1
是数域,判断
是否为数域
上的线性空间
解:判断是否线性空间,只需要证明集合 在数域
上是否满足上述 8 条。这里明显满足条件,因此
是数域
上的线性空间
例2
表示所有正实数集合,在
中定义加法
与数量乘法
分别为
判断 是否构成实数域
上的线性空间
解:通过证明交换律,结合律,零元素,负元素,数乘结合律,两个分配律。因此 是实数域
上的线性空间
例3
设 是由系数在实数域
上,次数为
的
次多项式
构成的集合,其加法运算与数乘运算按照通常规定,举例说明
不是
上的线性空间
其它线性空间的例子
线性空间的性质
- 加法零元(单位元)唯一
- 加法负元唯一
证略