线性映射

線性映射（英語：linear map）是於向量空間之間，保持向量加法和标量乘法的函數，所以線性映射也是向量空間間的同态。但從範疇論來講，線性映射只是向量空間所構成的範疇中，某種特別的態射。

線性算子（英語：linear operator）與線性變換（英語：linear transformation）是與線性映射相關的慣用名詞，但其實際意義存在許多分歧，詳見相關名詞一節。

定义和基本性质

設 $V$ 和 $W$ 都是在域 $K$ 上定義的向量空間，若函數$f:V\rightarrow W$ 對任二向量 $x,\,y\in V$ 與任何标量 $a\in K$，滿足：

可加性：	$f(x+y)=f(x)+f(y)$
齐次性：	$f(a\cdot x)=a\cdot f(x)$

則$f$ 被称为是線性映射。

这等價於要求 $f$ 對任意向量 $x_{1},\,\ldots ,\,x_{m}\in V$ 和任意标量 $a_{1},\,\ldots ,\,a_{m}\in K$ 須滿足

$f(a_{1}\cdot x_{1}+\ldots +a_{m}\cdot x_{m})=a_{1}\cdot f(x_{1})+\ldots +a_{m}\cdot f(x_{m})$

若要特別強調标量所在的母集合是域 $K$ ，會特稱 $f$ 為 $K$-線性映射。如對复数的共軛運算 ${\bar {\,\,}}:\mathbb {C} \to \mathbb {C}$ 是$\mathbb {R}$-線性映射（因為取實數為标量才會有齐次性）。

線性泛函

域本身就是定義在自己之上（也就是以自己為标量母集合）的向量空間，所以如 $f:V\rightarrow K$ 的線性映射被特稱為線性泛函。線性泛函分析就是不預先假設基底存在性的的高等線性代数（也就是直觀來說，無窮維或是不可數維度的向量空間）。線性泛函分析是泛函分析最成熟的分支，但泛函分析最早研究的是有關向量空間$V$上的实值函数（它们一般是非線性映射）的變分问题。

注意事項

• 本条目所定义的“線性”与“函数图像是条直线”間有根本的区别（可见下文的举例说明），请勿混淆。

• 線性映射可以复合，但一般不能随便交換复合的先后顺序；如“给函数乘上$x^{2}$”和“对函数进行微分”都是線性算子（可见下文的举例说明），但对一个函数“先乘上$x^{2}$再进行微分”和“先进行微分再乘上$x^{2}$”所得到的结果一般是不一样的。

• 由“可加性”不可能推导出“齐次性”，由“齐次性”也不可能推导出“可加性”，所以这2条件对于“線性”的定义缺一不可。

相關名詞

線性變換和線性算子与本条目的線性映射密切相關，但不同作者对它們有不同的定義。而這種定義分歧的根源在於，如 $f:V\rightarrow V$ 這樣，定義域和對應域為同個向量空間的特殊線性映射（以範疇論來看為一自同態），有的人會給予不同的稱呼，來跟一般的線性映射做區別。

比如Axler和龔昇就稱這種特殊線性映射為線性算子，但另一方面將線性映射和線性變換視為同義詞；李尚志則将這種特殊線性映射称为線性變換；而泛函分析的書籍一般將三者都視為同義詞。

為方便起見，本条目的線性算子就是這種定義域和對應域相同的線性映射；至於線性變換，本条目則視為線性映射的同義詞。

例子

• 恒等映射和零映射是線性的。

• 对于实数，映射$x\mapsto x^{2}$不是線性的。

• 如果$A$是$m\times n$实矩阵，則$A$定义了一个从$R^{n}$到$R^{m}$的線性映射，这个映射将列向量$x\in R^{n}$映射到列向量$Ax\in R^{m}$。反过来说，在有限维向量空間之間的任何線性映射都可以用这种方式表示；参见后面章节。

• 积分生成从在某个区間上所有可积分实函数的空間到$R$的線性映射。这只是把积分的基本性质（“积分的可加性”和“可从积分号内提出常数倍数”）用另一种说法表述出来。

• 微分是从所有可微分函数的空間到所有函数的空間的線性映射。

• “给函数乘上$x^{2}$”是一种線性映射。设$C$是由全体连续函数所组成的函数空間，則此运算也是空間$C$中的算子。

• 后向移位（backward shift）运算是一种線性映射。即把无穷维向量$(x_{1},x_{2},x_{3},x_{4},...)$的第一个坐标划去：$\operatorname {T} (x_{1},x_{2},x_{3},x_{4},...)=(x_{2},x_{3},x_{4},...)$。

• 如果$V$和$W$为在域$F$上的有限维向量空間，則从線性映射$f:V\rightarrow W$到在后面所描述的$\dim _{F}(W)\times \dim _{F}(V)$矩阵的函数也是線性映射。

• 一次函数$y=f(x)=x+b$仅在$b=0$时才是一种線性變換。容易验证一次函数仅在$b=0$时，線性變換的基本性质$f(0)=0$才能成立。（尽管$b\neq 0$时其图像也是一条直线，但这里所说的線性不是指函数图像为直线。）同理，平移變換一般也不是線性變換（平移距离为零时才是線性變換）。

矩阵

如果$V$和$W$是有限维的，并且在这些空間中有选择好的基，則从$V$到$W$的所有線性映射可以被表示为矩阵。反过来说，矩阵生成線性映射的例子：如果$A$是实数的$m\times n$矩阵，則规定$f(x)=Ax$描述一个線性映射$R^{n}\rightarrow R^{m}$(参见欧几里得空間)。

设$\{v_{1},\cdots ,v_{n}\}$是$V$的一个基。則在$V$中所有向量$v$是唯一的由在

$c_{1}v_{1}+\cdots +c_{n}v_{n}$

的系数$c_{1},\cdots ,c_{n}$确定的。如果$f:V\rightarrow W$是線性映射，

$f(c_{1}v_{1}+\cdots +c_{n}v_{n})=c_{1}f(v_{1})+\cdots +c_{n}f(v_{n}),$

这蕴涵了这个函数$f$是完全由

$f(v_{1}),\cdots ,f(v_{n})$

的值确定的。

现在设$\{w_{1},\dots ,w_{m}\}$是$W$的基。則可以表示每个$f(v_{j})$的值为

$f(v_{j})=a_{1j}w_{1}+\cdots +a_{mj}w_{m}$。因此函数$f$是完全由$a_{i,j}$的值确定的。

如果把这些值放置到$m\times n$矩阵$M$中，則可以方便的使用它来计算$f$对在$V$中任何向量的值。如果我放置$c_{1},\cdots ,c_{n}$的值到$n\times 1$矩阵$C$，我们有$MC=f(v)$。

一个单一的線性映射可以由很多矩阵表示。这是因为矩阵的元素的值依赖于选择的基。

用矩阵表示線性映射的原因和好处

1. 把線性映射写成具体而简明的2维数阵形式后，就成了一种矩阵。进而由線性映射的加法规則和复合规則来分别定义矩阵的加法规則和乘法规則是很自然的想法。当空間的基变化（坐标系變換）时，線性映射的矩阵也会有规律地变化。在特定的基上研究線性映射，就转化为对矩阵的研究。利用矩阵的乘法，可以把一些線性系统的方程表达得更紧凑（比如把線性方程组用矩阵表达和研究），也使几何意义更明显。矩阵可以分块计算，可以通过适当的變換以“解耦”（把复杂的變換分解为一些简单變換的组合）。要求出一个線性變換的秩，先写出其矩阵形式几乎是不可避免的一个步骤。
2. 遇到$y=x+3$这样的加上了1个常量的非線性映射可以通过增加1个维度的方法，把變換映射写成2×2维的方形矩阵形式，从而在形式上把这一类特殊的非線性映射转化为線性映射。这个办法也适用于处理在高维線性變換上多加了一个常向量的情形。这在计算机图形学和刚体理论（及其相關机械制造和机器人学）中都有大量应用。
3. 对角化的矩阵具有诸多优点。線性映射在写成矩阵后可以进行对角化（不能对角化的矩阵可以化简成接近对角矩阵的准对角矩阵），从而可以获得对角化矩阵拥有的独特优势（极大地简化乘法运算，易于分块，容易看出与基的选取无關的不变量）。比如，对于作用于同一个空間的可对角化的方形矩阵$A$，要求出$A$自乘$n$次后的结果$A^{n}$，一个一个慢慢地乘是很麻烦的事情。而知道对角化技巧的人会发现，在将这矩阵对角化后，其乘法运算会变得格外简单。实际应用中有很多有意思的问题或解题方法都会涉及到矩阵自乘n次的计算，如1阶非齐次線性递推数列通项公式的線性代数求解法和马尔可夫链的极限状态（极限分布）的求解。線性代数及矩阵论的一个主要问题就是寻找可使矩阵对角化的条件或者可使矩阵化简到含很多个0的条件，以便简化计算（这是主要原因之一）。

線性映射的矩阵的例子

二维空間$R^{2}$的線性變換的一些特殊情况有：

• 逆时针旋转90度：

  $A={\begin{bmatrix}0&-1\\1&0\end{bmatrix}}$

• 逆時針旋轉$\theta$度：

  $A={\begin{bmatrix}\cos(\theta )&-\sin(\theta )\\\sin(\theta )&\cos(\theta )\end{bmatrix}}$

• 针对y轴反射：

  $A={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}$

• 在所有方向上放大2倍：

  $A={\begin{bmatrix}2&0\\0&2\end{bmatrix}}$

• 水平错切：

  $A={\begin{bmatrix}1&m\\0&1\end{bmatrix}}$

• 挤压：

  $A={\begin{bmatrix}k&0\\0&1/k\end{bmatrix}}$

• 向y轴投影：

  $A={\begin{bmatrix}0&0\\0&1\end{bmatrix}}$

从给定線性映射构造新的線性映射

两个線性映射的复合映射是線性的：如果$f:V\rightarrow W$和$g:W\rightarrow Z$是線性的，則$g\circ f:V\rightarrow Z$也是線性的。

若線性映射可逆，則该線性映射的逆也是線性映射。

如果$f_{1}:V\rightarrow W$和$f_{2}:V\rightarrow W$是線性的，則它们的和$f_{1}+f_{2}$也是線性的(这是由$\left(f_{1}+f_{2}\right)\left(x\right)=f_{1}\left(x\right)+f_{2}\left(x\right)$定义的)。

如果$f:V\rightarrow W$是線性的，而a是基础域K的一个元素，則定义自 (af)(x) = a (f(x))的映射af也是線性的。

所以从$V$到$W$的線性映射的集合$L\left(V,W\right)$自身形成在$K$上的向量空間，有时指示为$\mathrm {Hom} \left(V,W\right)$。进一步的说，在$V=W$的情况中，这个向量空間(指示为$\mathrm {End} (V)$)是在映射复合下的结合代数，因为两个線性映射的复合再次是線性映射，所以映射的复合总是结合律的。

给定有限维的情况，如果基已经选择好了，則線性映射的复合对应于矩阵乘法，線性映射的加法对应于矩阵加法，而線性映射与标量的乘法对应于矩阵与标量的乘法。

自同态線性映射

自同态的線性映射在泛函分析和量子力学中都有很重要的地位。按前文约定，我们用“線性算子”来简称它。（注意泛函分析中所说的“線性算子”不一定是自同态(endomorphism)映射，但我们为了照顾不同书籍的差异以及叙述的方便，暂用“線性算子”来称呼这种自同态。）

自同态和自同构

自同态是一个数学对象到它本身的保持結構的映射（同态），例如群$G$的自同态則是群同态$f:G\to G$。對於向量空間$V$，其自同态是線性算子$f:V\rightarrow V$；所有这种自同态的集合$\mathrm {End} (V)$与如上定义的加法、复合和标量乘法一起形成一个结合代数，带有在域$K$上的单位元(特别是一个环)。这个代数的乘法单位元是恒等映射$\mathrm {id} :V\rightarrow V$。

若$V$的自同态也剛好是同构則稱之為自同构。两个自同构的复合再次是自同构，所以$V$的所有的自同构的集合形成一个群，$V$的自同构群可表为$\mathrm {Aut} (V)$或$\mathrm {GL} (V)$。因为自同构正好是那些在复合運算下擁有逆元的自同态，所以$\mathrm {Aut} (V)$也就是在环$\mathrm {End} (V)$中的可逆元群。

如果$V$之维度$n$有限$\mathrm {End} (V)$同构於带有在$K$中元素的所有$n\times n$矩阵構成的结合代数，且$V$的自同态群同构于带有在$K$中元素的所有$n\times n$可逆矩阵構成的一般線性群$\mathrm {GL} (n,K)$。

核、像和秩-零化度定理

如果$f:V\rightarrow W$是線性的，我们定义$f$的核和像（或称值域）为

$\operatorname {\ker } (f)=\{\,x\in V:f(x)=0\,\}$

$\operatorname {Im} (f)=\{\,f(x):x\in V\,\}$

$\operatorname {\ker } (f)$是$V$的子空間，而$\operatorname {Im} (f)$是$W$的子空間。下面的叫做秩-零化度定理的维度公式经常是有用的：

$\dim(\ker(f))+\dim(\operatorname {Im} (f))=\dim(V)\,$

$\dim(\mathrm {Im} (f))$的数也叫做“$f$的秩”(rank)并写为$\mathrm {rk} (f)$，有时写为$\rho (f)$；$\dim(\ker(f))$的数也叫做“$f$的零化度”(nullity)并写为$v(f)$。如果$V$和$W$是有限维的，基已经选择好并且$f$被表示为矩阵$A$，則$f$的秩和零化度分别等于矩阵$A$的秩和零化度。

推广

多重線性映射是線性映射最重要的推广，它也是格拉斯曼代数和张量分析的数学基础。其特例为双線性映射。

参见

• 線性方程
• 反線性映射
• 變換矩阵
• 连续線性算子
• 人工神經網路
• 计算机图形学
• 線性系统

脚注与参考资料

脚注所引资料

• Michael Artin. Algebra [代数] 2. Pearson. 2010. ISBN 978-0132413770. 
• Sheldon Axler. Linear Algebra Done Right [线性代数应该这样学]. 图灵数学•统计学丛书. 杜现昆 (汉译者); 马晶 (汉译者). 人民邮电出版社. 2009. ISBN 9787115206145 （中文（中国大陆））. 
• Peter D. Lax. Functional Analysis [泛函分析]. 图灵数学·统计学丛书. 侯成军 (翻译); 王利广 (翻译). 人民邮电出版社. 2010. ISBN 978-7-115-23174-1. 
• Richard Feynman. The Feynman Lectures on Physics [费曼物理学讲义] 1. Addison-Wesley. 1999. ISBN 978-0201021165. 

其它参考资料

• Halmos, Paul R., Finite-Dimensional Vector Spaces, Springer-Verlag, (1993). ISBN 0-387-90093-4.