线性映射(英语:linear map)是向量空间之间,保持向量加法和纯量乘法的函数。线性映射也是向量空间作为模的同态[1]。
Quick Facts 线性代数, 向量 ...
线性代数
|
![{\displaystyle \mathbf {A} ={\begin{bmatrix}1&2\\3&4\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a31efc33ac33577d719a3ccd162a9bf21e4847ea)
|
向量 · 向量空间 · 基底 · 行列式 · 矩阵
|
|
|
Close
线性算子(英语:linear operator)与线性转换(英语:linear transformation)是与线性映射相关的惯用名词,但其实际意义存在许多分歧,详见相关名词一节。
设
和
都是系数体为
的向量空间,
是一个从
送到
的一个映射。如果
具有以下两个性质:
- 维持向量加法——对于任意两个
中的向量
和
:![{\displaystyle f(x+y)=f(x)+f(y)}](//wikimedia.org/api/rest_v1/media/math/render/svg/11e072f8427aa606b95bad4d8fba9cb3da2c0b09)
- 维持纯量乘法——对于任何
中的向量
和任何纯量
:![{\displaystyle f(a\cdot x)=a\cdot f(x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/2eeea715d963c53b5db41eeadb16f2b1ef61087d)
则称
是一个
-线性映射。在系数体不致混淆的情况下也经常简称线性映射。
这等价于要求
对任意向量
和任意纯量
:
- 线性映射中的“线性”与“函数图形是直线”没有任何关联。
- 定义域和对应域相同的线性映射可以进行函数合成,合成的结果依然会是线性映射。但是如果改变合成的顺序,那合成出来的结果通常不会相同。例如“把函数乘上
”和“对函数进行微分”都是线性算子,但是对一个函数“先乘上
再进行微分”和“先进行微分再乘上
”是不同的线性映射。[2]
- 维持向量加法的映射可能不维持纯量乘法;同样地,维持纯量乘法的映射也可能不维持向量加法。[3]
线性变换和线性算子这两个名词,与本条目的线性映射密切相关,但不同作者有不同的定义。而这种定义分歧的根源在于,如
这样,定义域和值域落在同个向量空间的特殊线性映射,有些人为了凸显而予之不同的称呼。
比如Axler和龚昇就称这种特殊线性映射为线性算子[4][5],但另一方面将线性映射和线性变换视为同义词;李尚志则将这种特殊线性映射称为线性变换[6];而泛函分析的书籍一般将三者都视为本条目所定义的“线性映射”,其他细节以函数的符号传达[7][8]。
本条目采用泛函分析的习惯。
- 对于实数,映射
不是线性的。
- 如果
是
实矩阵,则
定义了一个从
到
的线性映射,这个映射将列向量
映射到列向量
。反过来说,在有限维向量空间之间的任何线性映射都可以用这种方式表示;参见后面章节。
- 积分生成从在某个区间上所有可积分实函数的空间到
的线性映射。这只是把积分的基本性质(“积分的可加性”和“可从积分号内提出常数倍数”)用另一种说法表述出来。[9]
- 微分是从所有可微分函数的空间到所有函数的空间的线性映射。[9]
- “给函数乘上
”是一种线性映射。[9]设
是由全体连续函数所组成的函数空间,则此运算也是空间
中的算子。
- 后向移位(backward shift)运算是一种线性映射。即把无穷维向量
的第一个坐标划去:
。[9]
- 如果
和
为在体
上的有限维向量空间,则从线性映射
到在后面所描述的
矩阵的函数也是线性映射。[9]
- 一次函数
仅在
时才是一种线性变换。容易验证一次函数仅在
时,线性变换的基本性质
才能成立。(尽管
时其图像也是一条直线,但这里所说的线性不是指函数图像为直线。)同理,平移变换一般也不是线性变换(平移距离为零时才是线性变换)。[10][11]
假设
是个线性映射,且
![{\displaystyle {\mathfrak {B}}_{V}=\left\{\alpha _{1},\alpha _{2},\,\ldots ,\alpha _{n}\right\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/e418eccfde9170a40179e242a475a761c9d3a99c)
![{\displaystyle {\mathfrak {B}}_{W}=\left\{\beta _{1},\beta _{2},\,\ldots ,\beta _{m}\right\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/bb4684e60e96524e0708ac4844a0ca978f615bd7)
分别是
和
的基底。
根据基底
的基本定义,对于每个基向量
,存在唯一一组纯量
使得
![{\displaystyle T(\alpha _{i})=\sum _{j=1}^{m}t_{ji}\cdot \beta _{j}=t_{1i}\cdot \beta _{1}+t_{2i}\cdot \beta _{2}+\cdots +t_{mi}\cdot \beta _{m}}](//wikimedia.org/api/rest_v1/media/math/render/svg/07574a1ca5bcd29d412c73766aa8a5ba446bbced)
直观上,纯量
就是对基向量
的作用结果
,在基底
下的诸分量。
现在任取一个
里的向量
,因为基底
的基本定义,存在唯一一组纯量
使得
![{\displaystyle v=\sum _{i=1}^{n}v_{i}\cdot \alpha _{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f5efcd6ce621dbd0af7f6bead102004005a0a94c)
这样根据求和符号的性质,可以得到
![{\displaystyle T(v)=\sum _{i=1}^{n}v_{i}\cdot \left(\sum _{j=1}^{m}t_{ji}\cdot \beta _{j}\right)=\sum _{i=1}^{n}\sum _{j=1}^{m}(t_{ji}v_{i})\cdot \beta _{j}=\sum _{j=1}^{m}\sum _{i=1}^{n}(t_{ji}v_{i})\cdot \beta _{j}=\sum _{j=1}^{m}\left(\sum _{i=1}^{n}t_{ji}v_{i}\right)\cdot \beta _{j}}](//wikimedia.org/api/rest_v1/media/math/render/svg/d805608945923b09c719654b827a957467c2925f)
然后考虑到
,所以根据基底
的基本定义,存在唯一一组纯量
使得
![{\displaystyle T(v)=\sum _{j=1}^{m}\lambda _{j}\cdot \beta _{j}}](//wikimedia.org/api/rest_v1/media/math/render/svg/12036283aabce9de5d9487c747b1f42812b4bc98)
因为这样的纯量
是唯一存在的,所以对
有
![{\displaystyle \lambda _{j}=\sum _{i=1}^{n}t_{ji}v_{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/1ba8ea912895064970088211bfe5e132241d167d)
考虑到矩阵乘法的定义,上式可以改写为
![{\displaystyle {\begin{bmatrix}\lambda _{1}\\\lambda _{2}\\\vdots \\\lambda _{m}\end{bmatrix}}={\begin{bmatrix}t_{11}&t_{12}&\dots &t_{1n}\\t_{21}&t_{22}&\dots &t_{2n}\\\vdots &\vdots &\ddots &\vdots \\t_{m1}&t_{m2}&\dots &t_{mn}\end{bmatrix}}{\begin{bmatrix}v_{1}\\v_{2}\\\vdots \\v_{n}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/fade7eaf717a1a8a4f55c8e989db8a48284fb7fe)
也就是说,只要知道
在
下的诸分量
,任意向量
的作用结果
,都可以表示为矩阵
与行向量
的乘积。更直观的来说,矩阵
就是把
的诸分量沿行(column)摆放所构成的。
由上面的推导可以知道,不同的基底
和
下,矩阵
也不同,为了强调这点,也会将矩阵
记为
![{\displaystyle \mathbf {T} ={[T]}_{{\mathfrak {B}}_{W}}^{{\mathfrak {B}}_{V}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b4c2e3cbab9350c132edfd924ac5eb747bc39b82)
来强调这种关联性。
若
,在同个向量空间
通常没有取不同基底的必要,那上面的推导可以在
的前提下进行。这时上式可以进一步简写为
![{\displaystyle \mathbf {T} ={[T]}_{{\mathfrak {B}}_{V}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/41b8abb0e9d73aff454eb142eae020602b3aad57)
根据积和余积的泛性质,我们有
![{\displaystyle \mathrm {Hom} \left(\bigoplus _{i\in I}U_{i},\prod _{j\in J}V_{j}\right)\simeq \prod _{i\in I}\prod _{j\in J}\mathrm {Hom} \left(U_{i},V_{j}\right).}](//wikimedia.org/api/rest_v1/media/math/render/svg/845a9c3a3fe57b8653e2ccfe316970a8beec9c0c)
在
-线性空间构成的范畴中,有限个线性空间的余积和积是一回事。对于
的基
,取
,我们有
,所以左边的线性映射 \(\mathrm{Hom}(U, V)\) 就被拆解为了 \(nm\) 个 \(K\) 中的元素,这就是线性映射的矩阵表示。
- 把线性映射写成具体而简明的2维数阵形式后,就成了一种矩阵。进而由线性映射的加法规则和覆合规则来分别定义矩阵的加法规则和乘法规则是很自然的想法。[12]当空间的基变化(坐标系变换)时,线性映射的矩阵也会有规律地变化。在特定的基上研究线性映射,就转化为对矩阵的研究。利用矩阵的乘法,可以把一些线性系统的方程表达得更紧凑(比如把线性方程组用矩阵表达和研究),也使几何意义更明显。矩阵可以分块计算,可以通过适当的变换以“解耦”(把覆杂的变换分解为一些简单变换的组合)。要求出一个线性变换的秩,先写出其矩阵形式几乎是不可避免的一个步骤。
- 遇到
这样的加上了1个常量的非线性映射可以通过增加1个维度的方法,把变换映射写成2×2维的方形矩阵形式,从而在形式上把这一类特殊的非线性映射转化为线性映射。这个办法也适用于处理在高维线性变换上多加了一个常向量的情形。这在计算机图形学和刚体理论(及其相关机械制造和机器人学)中都有大量应用。
- 对角化的矩阵具有诸多优点。线性映射在写成矩阵后可以进行对角化(不能对角化的矩阵可以化简成接近对角矩阵的准对角矩阵),从而可以获得对角化矩阵拥有的独特优势(极大地简化乘法运算,易于分块,容易看出与基的选取无关的不变量)。比如,对于作用于同一个空间的可对角化的方形矩阵
,要求出
自乘
次后的结果
,一个一个慢慢地乘是很麻烦的事情。而知道对角化技巧的人会发现,在将这矩阵对角化后,其乘法运算会变得格外简单。实际应用中有很多有意思的问题或解题方法都会涉及到矩阵自乘n次的计算,如1阶非齐次线性递推数列通项公式的线性代数求解法和马尔可夫链的极限状态(极限分布)的求解。线性代数及矩阵论的一个主要问题就是寻找可使矩阵对角化的条件或者可使矩阵化简到含很多个0的条件[13],以便简化计算(这是主要原因之一)。
自同态的线性映射在泛函分析和量子力学中都有很重要的地位。按前文约定,我们用“线性算子”来简称它。(注意泛函分析中所说的“线性算子”不一定是自同态(endomorphism)映射,但我们为了照顾不同书籍的差异以及叙述的方便,暂用“线性算子”来称呼这种自同态。)
多重线性映射是线性映射最重要的推广,它也是格拉斯曼代数和张量分析的数学基础。其特例为双线性映射。
见Lax 2010,第7页(位于第2章“线性映射”第1节“线性映射生成的代数”)。
А·Н·柯尔莫哥洛夫,佛明(С. В. Фомин). 第4章“線性泛函與線性算子”第5節“線性算子”. Элементы теории функций и функционального анализа [函数论与泛函分析初步]. 俄罗斯数学教材选译. 段虞荣 (翻译),郑洪深 (翻译),郭思旭 (翻译) 原书第7版,中译本第2版. 高等教育出版社. 2006年: 162. ISBN 7-04-018407-9.
见Lax 2010,第131页(位于第15章“有界线性映射”的开头部分)。原文为“线性映射也称为线性算子或线性变换”。
见Artin 2010,第156页。(位于第6章“Symmetry”第1节“
Symmetry of the Plane Figures”)
其证明只需要用到三角函数的基础知识,在网上很容易找到证明过程。也可参见Feynman第11章“Vectors”第3节“Rotations”。