在線性代數中，**線性泛函**（英語：）是指由向量空間到對應純量域的線性映射。在 **ℝ***n*中，向量空間的向量以行向量表示；線性泛函則會以列向量表示，在向量上的作用則為它們的矩陣積。一般地，如果 V 是域 k 上的向量空間，線性泛函 f 是一个从 V 到 k 的函数，它有以下的线性特性：

f({\vec {v}}+{\vec {w}})=f({\vec {v}})+f({\vec {w}})\quad \forall \ {\vec {v}},{\vec {w}}\in V
f(a{\vec {v}})=af({\vec {v}})\quad \forall \ {\vec {v}}\in V,a\in k
所有從 V 到 k 的線性泛函集合, 記為 \operatorname {Hom}\_{k}(V,k), 本身即為一向量空間，稱為 V 的對偶空間（或稱為V的**代数对偶空间**，以和连续对偶空间区分）。

连续线性泛函
------

参见：连续线性算子
若V是一拓撲向量空間，所有连续線性泛函的集稱為连续对偶，有時也簡稱為對偶空間。若V是巴拿赫空間，其對偶空間也是。为了把普通的对偶空间与连续对偶空间區別，有时把前一个称为*代数对偶*。在有限维空间中，每一个线性泛函都是连续的，因此连续对偶与代数对偶相同；但在无限维空间的情况下，连续对偶是代数对偶的真子空间。

例子和應用
-----

### **R***n*内的线性泛函

假设实坐标空间**R***n*内的向量用列向量来表示：

{\vec {x}}={\begin{bmatrix}x\_{1}\\\vdots \\x\_{n}\end{bmatrix}}.
那么这些坐标中的任何线性泛函都可以用以下形式的和来表示：

f({\vec {x}})=a\_{1}x\_{1}+\cdots +a\_{n}x\_{n}.
这仅仅是行向量[*a*1 ... *a**n*]与列向量\vec{x}的矩阵乘积：

f({\vec {x}})=[a\_{1}\dots a\_{n}]{\begin{bmatrix}x\_{1}\\\vdots \\x\_{n}\end{bmatrix}}.
### 積分

线性泛函首先出现在泛函分析——函数的向量空间的研究中。线性泛函的一个典型的例子是积分：由黎曼積分所定义的线性变换

f\mapsto I(f):=\int \_{a}^{b}f(x)\,dx
是由C[a,b]（在[a,b]上定義的連續函數）的向量空間映射到\mathbb {R} 線性泛函。*I*(ƒ)的线性可以从积分的基本事实推出：

I(f+g)=\int \_{a}^{b}(f(x)+g(x))\,dx
=\int \_{a}^{b}f(x)\,dx+\int \_{a}^{b}g(x)\,dx=I(f)+I(g)
I(\alpha f)=\int \_{a}^{b}\alpha f(x)\,dx
=\alpha \int \_{a}^{b}f(x)\,dx=\alpha I(f)
### 計值泛函

以 P\_{n} 表示定義在區間 [a,b] 上的不超过n 次的實值多項式。 若c\in [a,b]，則設**計值泛函**（英語：）ev\_{c}:P\_{n}\to {\mathbb {R}}：

ev\_{c}f=f(c).
映射ƒ → ƒ(*c*)是线性的，因为：

(f+g)(c)=f(c)+g(c)
(\alpha f)(c)=\alpha f(c).
若 x\_{0},x\_{1},...x\_{n} 是[a,b] 上的不同點，那么ev\_{{x\_{i}}} 是P\_{n} 對偶空間的一個基。（Lax (1996)以拉格朗日插值法證明此。）

### 在数值积分的应用

以上定义的积分泛函*I*定义了次数不超过*n*的多项式的子空间*P*n上的线性泛函。如果*x*0，……，*x*n是[*a*,*b*]内*n*+1个不同的点，那么存在系数*a*0，……，*a*n，使得对于所有的ƒ \in *P*n，都有：

I(f)=a\_{0}f(x\_{0})+a\_{1}f(x\_{1})+\dots +a\_{n}f(x\_{n})
这形成了数值积分理论的基础。

这可以从以上定义的线性泛函*P*n的对偶空间的基的事实推出（Lax 1996）。

### 量子力學中的线性泛函

线性泛函在量子力学中特别重要。量子力學系統以跟其對偶空間共軛同構的希爾伯特空間表示。系統的一個態可以一線性泛函表示。詳見狄拉克符號。

### 統計學上的分佈

在廣義函數的理論，分佈可以視為測試函數空間的線性泛函。

性质
--

* 任何线性泛函要么是平凡的（处处为0），要么是到标量域的满射。这是由于向量子空间在线性变换下的像是一个子空间，因此是*V*在*L*下的像。但*k*唯一的子空间（也就是说，*k*-子空间）是{0}和*k*本身。

* 一个线性泛函是连续的，当且仅当它的核是封闭的（Rudin 1991，Theorem 1.18）。

* 具有相同核的线性泛函是成正比的。

* 线性泛函是(0 1)类型的张量。它是非标量协变张量的最简单的一种。

对偶向量和双线性形式
----------

从有限维空间内的每一个非退化的双线性形式，都可以得到一个从*V*到*V*\*的同构。特别地，把*V*内的双线性形式记为⟨ , ⟩ （例如在欧几里得空间中，⟨*v*,*w*⟩ = *v*·*w*是*v*和*w*的数量积），那么存在一个自然同构V\to V^{\*}:v\mapsto v^{\*}，由下式给出：

v^{\*}(w):=\langle v,w\rangle .\,
逆同构由{\displaystyle V^{\*}\to V:f^{\*}\mapsto f}给出，其中ƒ是*V*的唯一元素，使得对于所有的*w* ∈ *V*，都有：

{\displaystyle \langle f,w\rangle =f^{\*}(w).\,}
以上定义的向量*v*\* ∈ *V*\*称为*v* ∈ *V*的**对偶向量**。

根据里斯表示定理，在无穷维希尔伯特空间中，类似的结果也成立。存在一个从*V* → *V*\*到*连续对偶空间* *V*\*的映射。然而，这个映射不是线性的，而是反线性的。

形象化
---

在有限维空间内，一個線性泛函可以用其水平集來表示。例如在三維空間，一個線性泛函的水平集是互相平行的平面的族。在高維空間，它們就是平行的超平面。這種觀點可以在一些廣義相對論的文獻找到，如Misner，Thorne & Wheeler (1973)。

有限維向量空間
-------

### 对偶空间的基

以V\*表示V的對偶空間，對於一有限維向量空間V，V與V\*同構。

設V有基{{\vec e}}\_{1},\ {{\vec e}}\_{2}，……，{{\vec e}}\_{n}，不一定正交。那么，V\*具有一個基（稱為對偶基）{\tilde {\omega }}^{1},\ {\tilde {\omega }}^{2}, … , \ {\tilde {\omega }}^{n}，可以這樣構作：

{\tilde {\omega }}^{i}({\vec e}\_{j})=\delta \_{j}^{i}
其中δ是克羅內克函數。此處的上標並非冪而是反變。

属于对偶空间{\tilde {V}}的线性泛函{\tilde {u}}可以表示为基泛函的线性组合，其系数（"分量"）为*ui*：

{\tilde {u}}=\sum \_{{i=1}}^{n}u\_{i}\,{\tilde {\omega }}^{i}
于是，把泛函{\tilde {u}}应用于基向量*ej*，得：

{\tilde {u}}({\vec e}\_{j})=\sum \_{{i=1}}^{n}(u\_{i}\,{\tilde {\omega }}^{i}){\vec e}\_{j}=\sum \_{i}u\_{i}({\tilde {\omega }}^{i}({\vec e}\_{j}))
这是由于泛函的标量倍数的线性，以及泛函的和的逐点线性。那么：

{\tilde {u}}({{\vec e}}\_{j})=\sum \_{i}u\_{i}({\tilde {\omega }}^{i}({{\vec e}}\_{j}))=\sum \_{i}u\_{i}\delta ^{i}{}\_{j}=u\_{j}
也就是说：

{\tilde {u}}({\vec e}\_{j})=u\_{j}.
最后一个方程说明了线性泛函的各个分量可以通过把泛函应用于对应的基向量来获取。

### 对偶基与内积

当空间*V*带有内积时，可以明确写出给定基的对偶基的一个公式。设*V*具有（不一定正交的）基{\vec {e}}\_{1},\dots ,{\vec {e}}\_{n}。在三维空间内（*n* = 3），对偶基可以明确写成：

{\tilde {\omega }}^{i}({\vec {v}})={1 \over 2}\,\left\langle {\sum \_{{j=1}}^{3}\sum \_{{k=1}}^{3}\epsilon ^{{ijk}}\,({\vec e}\_{j}\times {\vec e}\_{k}) \over {\vec e}\_{1}\cdot {\vec e}\_{2}\times {\vec e}\_{3}},{\vec {v}}\right\rangle .
对于*i*=1，2，3，其中\epsilon \,\!是列维-奇维塔符号，\langle ,\rangle 是*V*上的内积（或数量积）。

在高维空间中，可以推广如下：

{\tilde {\omega }}^{i}({\vec {v}})=\left\langle {\frac {{\underset {{}^{{1\leq i\_{2}<i\_{3}<\dots <i\_{n}\leq n}}}{\sum }}\epsilon ^{{ii\_{2}\dots i\_{n}}}(\star {\vec {e}}\_{{i\_{2}}}\wedge \dots \wedge {\vec {e}}\_{{i\_{n}}})}{\star ({\vec {e}}\_{1}\wedge \dots \wedge {\vec {e}}\_{n})}},{\vec {v}}\right\rangle 
其中\star 是霍奇星算子。

如果有度规结构{g}，就会产生一个*V*到*V\**的同构映射{f}.
当基向量{{\vec e}}\_{1},\ {{\vec e}}\_{2}，……，{{\vec e}}\_{n}是在度规{g}下的标准正交基的时候,
f({\vec e}\_{i})={\tilde {\omega }}^{i}=g(-,{\vec e}\_{i}) 来充当对偶基。
当是正交基的时候用{\frac {g(-,{\vec e}\_{i})}{g({\vec e}\_{i},{\vec e}\_{i})}}来充当对偶基。
正是因为有度规产生的同构存在就没有必要再提对偶空间了。

參見
--

* 泛函
* 1-形式
* 不连续线性映射
* 里斯表示定理
* 正线性泛函
* 雙線性型

參考
--

* Bishop, Richard; Goldberg, Samuel, , Dover Publications, 1980, ISBN 0-486-64039-6
* Halmos, Paul, Springer, 1974, ISBN 0387900934
* Lax, Peter, Wiley-Interscience, 1996, ISBN 978-0471111115
* Misner, Charles W.; Thorne, Kip. S.; Wheeler, John A. W. H. Freeman, 1973, ISBN 0-7167-0344-0

* Schutz, Bernard, , Cambridge, UK: Cambridge University Press, 1985, ISBN 0-521-27703-5

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

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

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

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

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

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

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

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

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

 |

 |