线性映射
定义及示例
设
- 可加性(additivity):对于任意
,都有 ; - 齐性(homogeneity):对于任意
和 ,都有 ;
此外,对于向量空间
有一些特殊的线性映射:
- 零(zero)
在线性映射概念中,符号0表示一种特殊的映射——将某个向量空间中的每个元素都映射成另一个向量空间中的加法单位元,即:
- 设
和 是向量空间, 有 ,使得任意 都满足 (这里左边的0是 的函数,右边的0是 的加法单位元);
- 恒等映射(identity)
恒等映射是一种特殊的线性映射,它将某个向量空间中的每个元素都映射为元素本身,即:
- 有向量空间
及其恒等映射 ,对于任意 满足 ;
- 微分(differentiation)
微分操作实际上是一种线性映射。
例如,定义
- 对于任意多项式
,都有 ;
我们可以发现函数
- 积分(integration)
相应的,积分实际上也可以是一种线性映射。
例如,定义
- 对于任意多项式
,都有 ;
函数
- 乘以
例如,定义
- 对于任意
, ;
- 后移操作(backward shift)
仔细观察,它也是满足线性映射的条件的。
定义
按这样构建的对任意两个在序列长度不同标量向量空间的映射,实际上也是满足线性映射的条件的。线性代数中也时常这样构建这样的映射。
相关性质
线性映射与其定义域的基
设两个向量空间
这条性质实际上揭示了线性映射的某个本质,即:线性映射实际上是将某个向量空间的基,转换为值域向量空间的子空间(也是个向量空间)的一个张成组。再进一步:因为转换成的张成组实际上可以转换为该子空间的基(即“涵有”),所以线性映射的核心就是将一个向量空间的基通过某个唯一确定的方式转换为另一个向量空间的基。
该性质的证明过程如下:
- 定义映射
的形式如下:
这里的
- 取任意
, 其中 且 ,这里的 和 都是 的元素,则:
满足线性映射所要求的可加性。
- 取
, ,则:
满足线性映射所要求的齐性,至此,已经证明
- 现在开始证明唯一性,设
,且 ; 设 。由于 的齐性, 。又因为其可加性:
上式其实等价于
上的代数运算
加法与标量乘法
设
并且,对于任意
线性映射的乘积
设有向量空间
即,
线性映射的乘积还有以下代数性质:
- 结合律(associativity):
- 单位元(identity)
此处
- 分配律(distributive properties)
此处
对于0的线性映射
若
其证明过程十分简单,利用线性映射的可加性即可: