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