我们曾在线性代数里学过向量空间,它是由向量做成的集合。在这个集合里向量可以相加,向量可以乘以一个倍数,由此我们可以讨论向量的线性组合、向量的线性相关等概念。
线性空间的概念
线性空间
定义1.1:数域:一个对和、差、积、商运算都封闭的复数的非空集合
称为数域。
-
定义1.2:设
是一个非空的集合,如果在
中定义二元运算(加法),
- 即
中任意两个元素
,
经过这个运算结果仍是
中的一个元素,这个元素称为
与
的和,记
。
- 在数域
与
之间定义一个运算叫作数量乘法,即对于
中的任意数
与
中的任意一个元素
,经过这一运算的结果仍然是
中的一个元素,称为
与
的数量乘积,记
。
- 即
如果上述运算满足以下规则,则称为数域
上的线性空间。
中的元素也称为向量。
- 对任意的
,
,则称
为数域
上的线性空间,
中的元素也称为向量。
- 对任意的
,
,
,
,
;
- 在
中存在一个零元素,记作
,对任意的
;
- 对任意的
,都有
的负元素,记作
;
- 对任意的
,有
;
- 对任意的
,
,
;
- 对任意的
,
,
- 对任意的
,
,
线性空间的例子,基底、坐标
定义1.3:(线性相关)在
中有一组元素
,
,
,
线性无关,且其他元素都可以被它们线性表达,则称
,
,
,
为
的一组基,
为空间
的维数,记作
,而表达式的系数是这个元素的坐标。
例题: 求
中多项式
在基底1,
,
下的坐标:
解:
令其对应项相等即可。
基变换与坐标变换
一般来说,一个元素在不同的基底下有不同的坐标,它们的坐标有什么关系呢?
设是
上的
维线性空间,
,
,
,
和
,
,
,
是
的两个不同的基底,因为
,
,
,
是基底,所以
,
,
,
可以被这个基底线性表达,这两个基底的关系是:
利用过渡矩阵就可以得到这个元素的两个坐标之间的关系:
子空间和维数定理
子空间及生成方式
我们知道三维线性空间的二维平面
也是一个线性空间,这种类型的空间叫作子空间。
定义1.5:设
是数域
上的线性空间,
是
的非空子集,如果
对于线性空间
所定义的加法运算及数乘运算也构成
上的线性空间,则称
为
的线性子空间,简称子空间。
定理1.1:设
是
上的线性空间
的非空子集,则
是
的线性子空间的充要条件是:
1):若,则
;
2):若,
,则
。
及
本身也是
的子空间,这两个子空间是
的平凡子空间。
设
,
,
,
是
上的
个元素,由这
个元素的任意组合构成的集合
对
中的加法及数乘封闭,因而这个子集是
中的子空间。记作:
- 用原有的子空间生成新的子空间的方法:
1):设,
是
的子空间,则
是
的子空间,叫做两个子空间的交子空间。
2):设,
是
的子空间,
也是
的子空间,这里:
这个子空间叫做和
的和子空间。
维数定理
由两个子空间,
生成的子空间的维数
,
与原来的子空间的维数之间有一个关系,称之为维数定理,即:
-
定理1.2:
是直和的充要条件是
。
这个几个概念比较重要,需要记住。
线性空间中的线性变换
-
定义1.6:设
是
上的变换,如果对于任意的
,
及
都有:
则称为
上的线性变换。线性变换保持
上的运算。
上面这个线性变换的公式需要记住,经常会考这个改变以及以下变种。比如下文的线性变换的矩阵的公式:
由:
能得到:
这时如果知道:
即可求出:
等于:
等于:
零变换及单位变换也是线性变换,零变换是把所有元素变成零的变换,单位变换是把每个元素映射成自己的变换。
线性变换作为一种运算也可以组合,如果
,
是线性变换,则:
可以证明,线性空间中的所有线性变换也做成一个线性空间,记作
- 即用线性变换,定义的子空间,一个是像子空间,一个是核子空间。
像:
核:。
像子空间是由中所有元素的像构成的,即任取
,则一定存在
,使得
。
核子空间是由所有中的一些元素构成的,这些元素在线性变换的作用下是零。
-
定理1.3(维数定理):设
是
维空间上的线性变换,则
线性变换的矩阵
上的所有线性变换构成的子空间是一个比较抽象的空间,我们知道一些具体的线性变换,但是任意一个线性变换是什么样子的,怎么表达呢?
设,
可以看出,决定线性变换结果的是:
即基底在这个线性变换之下变成了什么形式。
因为,仍然是
中的元素,当然可以被
的基底表达:
为线性变换
在基底
下的矩阵。
可见每一个线性变换实际上与一个矩阵相对应,反过来,每一个矩阵也对应一个线性变换,即给定一个矩阵,只要定义:
则这个矩阵对应一个线性变换。
我的微信公众号名称:深度学习与先进智能决策
微信公众号ID:MultiAgent1024
公众号介绍:主要研究分享深度学习、机器博弈、强化学习等相关内容!期待您的关注,欢迎一起学习交流进步!