**線性映射**（**英語：**）是於向量空間之間，保持向量加法和标量乘法的函數，所以線性映射也是向量空間間的同态。

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

正式定义
----

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

|  |  |
| --- | --- |
| 可加性： | {\displaystyle f(x+y)=f(x)+f(y)} |
| 齐次性： | {\displaystyle f(a\cdot x)=a\cdot f(x)} |

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

这等價於要求 f 對任意向量 {\displaystyle x\_{1},\,\ldots ,\,x\_{m}\in V} 和任意标量 {\displaystyle a\_{1},\,\ldots ,\,a\_{m}\in K} 須滿足

{\displaystyle 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*-線性映射。如對复数的共軛運算 {\displaystyle {\bar {\,\,}}:\mathbb {C} \to \mathbb {C} } 是\mathbb {R} -線性映射（因為取實數為标量才會有齐次性）。

### 線性泛函

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

### 注意事項

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

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

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

相關名詞
----

**線性變換**和**線性算子**与本条目的**線性映射**密切相關，但不同作者对它們有不同的定義。而這種定義分歧的根源在於，如 {\displaystyle f:V\rightarrow V} 這樣，定義域和值域落在同個向量空間的**特殊線性映射**，有些人為了凸顯而予之不同的稱呼。

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

但為清晰起見，本条目一律以**線性映射**稱呼，其他的細節都以函數的慣用符號表達。

例子
--

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

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

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

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

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

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

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

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

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

矩阵
--

若向量空間 *V* 和 *W* 都是有限維的，且它們定義在**同個**标量域 K 上，則从 *V* 到 *W* 的所有線性映射可以用矩阵表示。反之亦然，下面將詳述如何表示。

### 以矩陣表示线性映射

假設 {\displaystyle T:V\to W} 是個線性映射，且

{\displaystyle {\mathfrak {B}}\_{V}=\left\{\alpha \_{1},\alpha \_{2},\,\ldots ,\alpha \_{n}\right\}}
{\displaystyle {\mathfrak {B}}\_{W}=\left\{\beta \_{1},\beta \_{2},\,\ldots ,\beta \_{m}\right\}}
分別是 *V* 和 *W* 的基底。

根據基底 {\displaystyle {\mathfrak {B}}\_{W}} 的基本定義，對於每個基向量 {\displaystyle \alpha \_{i}\in {\mathfrak {B}}\_{V}} ，存在唯一一組标量 {\displaystyle t\_{1i},\,t\_{2i},\,\ldots ,\,t\_{mi}\in K} 使得

{\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}}
直觀上，标量 {\displaystyle t\_{1i},\,t\_{2i},\,\ldots ,\,t\_{mi}\in K} 就是對基向量 {\displaystyle \alpha \_{i}\in {\mathfrak {B}}\_{V}} 的作用結果 {\displaystyle T(\alpha \_{i})\in W} ，在基底 {\displaystyle {\mathfrak {B}}\_{W}} 下的諸分量。

現在任取一個 *V* 裡的向量 *v \in V* ，因為基底 {\displaystyle {\mathfrak {B}}\_{V}} 的基本定義，存在唯一一組标量 {\displaystyle v\_{1},\,v\_{2},\,\ldots ,\,v\_{n}\in K} 使得

{\displaystyle v=\sum \_{i=1}^{n}v\_{i}\cdot \alpha \_{i}}
這樣根據求和符号的性質，可以得到

{\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}}
然後考慮到 {\displaystyle T(v)\in W} ，所以根據基底 {\displaystyle {\mathfrak {B}}\_{W}} 的基本定義，存在唯一一組标量 {\displaystyle \lambda \_{1},\,\lambda \_{2},\,\ldots ,\,\lambda \_{m}\in K} 使得

{\displaystyle T(v)=\sum \_{j=1}^{m}\lambda \_{j}\cdot \beta \_{j}}
因為這樣的标量 {\displaystyle \lambda \_{1},\,\lambda \_{2},\,\ldots ,\,\lambda \_{M}\in K} 是唯一存在的，所以對 {\displaystyle j=1,\,2,\,\ldots ,\,m} 有

{\displaystyle \lambda \_{j}=\sum \_{i=1}^{n}t\_{ji}v\_{i}}
考慮到矩陣乘法的定義，上式可以改寫為

{\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}}}
也就是說，只要知道 {\displaystyle T(\alpha \_{i})} 在 {\displaystyle {\mathfrak {B}}\_{W}} 下的諸分量 {\displaystyle t\_{ji}} ，任意向量 *v \in V* 的作用結果 {\displaystyle T(v)} ，都可以表示為矩陣 {\displaystyle \mathbf {T} ={[t\_{ji}]}\_{m\times n}} 與行向量 {\displaystyle \mathbf {v} ={[v\_{i}]}\_{n\times 1}} 的乘積。更直觀的來說，矩陣 {\displaystyle \mathbf {T} ={[t\_{ji}]}\_{m\times n}} 就是把 {\displaystyle T(\alpha \_{i})} 的諸分量沿**行**（**column**）擺放所構成的。

由上面的推導可以知道，**不同的基底** {\displaystyle {\mathfrak {B}}\_{V}} 和 {\displaystyle {\mathfrak {B}}\_{W}} 下，矩陣 {\displaystyle \mathbf {T} ={[t\_{ji}]}\_{m\times n}} 也**不同**，為了強調這點，也會將矩陣 {\displaystyle \mathbf {T} } 記為

{\displaystyle \mathbf {T} ={[T]}\_{{\mathfrak {B}}\_{W}}^{{\mathfrak {B}}\_{V}}}
來強調這種關聯性。

若 {\displaystyle T:V\to V} ，在同個向量空間 *V* 通常沒有取不同基底的必要，那上面的推導可以在 {\displaystyle {\mathfrak {B}}\_{V}={\mathfrak {B}}\_{W}} 的前提下進行。這時上式可以進一步簡寫為

{\displaystyle \mathbf {T} ={[T]}\_{{\mathfrak {B}}\_{V}}}
### 以线性映射表示矩陣

若有由 {\displaystyle m\times n} 個标量構成的矩陣 {\displaystyle \mathbf {A} ={[a\_{ij}]}\_{m\times n}\in K^{m\times n}} ，如果取 {\displaystyle f:K^{n\times 1}\to K^{m\times 1}} 為

{\displaystyle f(\mathbf {x} )=\mathbf {A} \mathbf {x} }
其中

{\displaystyle \mathbf {x} ={\begin{bmatrix}x\_{1}\\x\_{2}\\\vdots \\x\_{n}\end{bmatrix}}\in K^{n\times 1}}
因為矩陣乘法只有唯一的結果，上面的定義的確符合函数定義的基本要求。然後考慮 {\displaystyle K^{n\times 1}} 和 {\displaystyle K^{m\times 1}} 都可以視為定義在**同個**标量域 K 上的向量空间，而且矩陣乘法是線性的，所以上述定義的函數 f 的確符合线性映射的基本定義。

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

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

線性映射的矩阵的例子
----------

二维空間{\displaystyle 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和{\displaystyle g:W\rightarrow Z}是線性的，則{\displaystyle g\circ f:V\rightarrow Z}也是線性的。 

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

如果{\displaystyle f\_{1}:V\rightarrow W}和{\displaystyle f\_{2}:V\rightarrow W}是線性的，則它们的和{\displaystyle f\_{1}+f\_{2}}也是線性的(这是由{\displaystyle \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的線性映射的集合{\displaystyle L\left(V,W\right)}自身形成在K上的向量空間，有时指示为{\displaystyle \mathrm {Hom} \left(V,W\right)}。进一步的说，在V=W的情况中，这个向量空間(指示为{\displaystyle \mathrm {End} (V)})是在映射复合下的结合代数，因为两个線性映射的复合再次是線性映射，所以映射的复合总是结合律的。

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

自同态線性映射
-------

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

### 自同态和自同构

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

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

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

### 量子力学应用

核、像和秩-零化度定理
-----------

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

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

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

推广
--

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

参见
--

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

脚注与参考资料
-------

### 脚注

1. ↑  见Lax 2010，第7頁(位于第2章"线性映射"第1节"线性映射生成的代数")。
2. ↑  见Axler 2009，第41頁(位于第3章"线性映射"第1节"定义与例子")。
3. ↑  见Axler 2009，第59頁(位于第3章"线性映射"末尾习题旁的说明)。
4. ↑  见龚昇《线性代数五讲》第1讲第10页。
5. ↑  见Axler 2009，第38頁(位于第3章"线性映射"第1节"定义与例子")。
6. ↑  李尚志..  第1版. 高等教育出版社. 2006: 326. ISBN 7-04-019870-3. 则V到自身的线性映射称为V的线性变换(linear transformation)。
7. ↑  А·Н·柯尔莫哥洛夫，佛明(С. В. Фомин)..  [函数论与泛函分析初步]. 俄罗斯数学教材选译. 段虞荣 (翻译)，郑洪深 (翻译)，郭思旭 (翻译) 原书第7版，中译本第2版. 高等教育出版社. 2006年: 162. ISBN 7-04-018407-9.
8. ↑  见Lax 2010，第131頁(位于第15章"有界线性映射"的开头部分)。原文为"线性映射也称为线性算子或线性变换"。
9. 1 2 3 4 5 6  见Axler 2009，第38-39頁(位于第3章"线性映射"第1节"定义与例子")。
10. ↑  见Artin 2010，第156頁。(位于第6章"Symmetry"第1节"
Symmetry of the Plane Figures")
11. ↑  Walter Rudin..  [泛函分析]. Higher mathematics series. McGraw-Hill Book Company. 1973: 13.
12. ↑  见Axler 2009，第51頁(位于第3章"线性映射"第3节"线性映射的矩阵")。
13. ↑  见Axler 2009，第82頁(位于第5章"本征值与本征向量"第3节"上三角矩阵")。
14. ↑  其证明只需要用到三角函数的基础知识，在网上很容易找到证明过程。也可参见Feynman第11章"Vectors"第3节"Rotations"。

### 脚注所引资料

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

### 其它参考资料

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

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
泛函分析 |
| --- |
|  |
| 集合 / 子集 | 
* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥

 |
|  |
| 拓撲向量空間 | 
* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：）
* 賦範向量空間 （范数）
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：） (希尔伯特空间中)
* 速降函数空间

 |
|  |
| 映射拓扑 | 
* 对偶空间
* 算子拓扑（英语：）
* 弱拓扑（英语：）
* 强拓扑（英语：）
* 拓扑的一致收敛（英语：）

 |
|  |
| 线性算子 | 
* 伴随
* 双线性
	+ 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：）
* 自伴
* 严格奇异算子（英语：）
* 迹类
* 有限秩
* 转置（英语：）
* 酉 / 幺正

 |
|  |
| 集合运算 | 
* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

 |
|  |
| 算子理论（英语：） | 
* 巴拿赫代数（英语：）
* C\*-代数
* 谱 (泛函分析) （谱半径）
* 谱理论（英语：）（谱定理）
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 导数 (加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：）)
* 泛函演算（英语：） (波莱尔泛函演算（英语：）
* 连续泛函演算（英语：）)
* 反函数定理
* 向量测度
* 弱可测函数

 |

 |

|  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
线性代数的相关概念 |
| --- |
|  |
| 重要概念 | 
* 标量
* 向量
* 向量空间
* 向量子空间

* 线性生成空间
* 线性映射
* 投影
* 線性無關
* 线性组合

* 基
* 標記
* 列空间
* 行空间
* 零空间
* 对偶空间
* 正交
* 特征值
* 特征向量

* 数量积
* 内积空间
* 点乘
* 轉置
* 格拉姆-施密特正交化
* 线性方程组
* 克萊姆法則

 |
|  |
| 矩阵 | 
* 矩阵
* 矩陣乘法
* 矩阵分解
* 行列式
* 子式和余子式
* 矩阵的秩
* 克萊姆法則
* 逆矩阵
* 高斯消去法
* 线性变换
* 分块矩阵

 |
|  |
| 数值线性代数 | 
* 浮点数
* 数值稳定性
* 基础线性代数程序集
* 稀疏矩阵

 |

 |