跳转到内容

线性泛函

维基百科,自由的百科全书

线性代数中,线性泛函(英语:linear form)是指由向量空间到对应标量线性映射。在 n中,向量空间的向量以行向量表示;线性泛函则会以列向量表示,在向量上的作用则为它们的矩阵积。一般地,如果 是域 上的向量空间,线性泛函 是一个从 的函数,它有以下的线性特性:

所有从 的线性泛函集合, 记为 , 本身即为一向量空间,称为 对偶空间(或称为代数对偶空间,以和连续对偶空间区分)。

连续线性泛函

若V是一拓扑向量空间,所有连续线性泛函的集称为连续对偶,有时也简称为对偶空间。若巴拿赫空间,其对偶空间也是。为了把普通的对偶空间与连续对偶空间区别,有时把前一个称为代数对偶。在有限维空间中,每一个线性泛函都是连续的,因此连续对偶与代数对偶相同;但在无限维空间的情况下,连续对偶是代数对偶的真子空间。

例子和应用

Rn内的线性泛函

假设实坐标空间Rn内的向量用列向量来表示:

那么这些坐标中的任何线性泛函都可以用以下形式的和来表示:

这仅仅是行向量[a1 ... an]与列向量矩阵乘积

积分

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

是由(在上定义的连续函数)的向量空间映射到线性泛函。I(ƒ)的线性可以从积分的基本事实推出:

计值泛函

表示定义在区间 上的不超过 次的实值多项式。 若,则设计值泛函(英语:evaluation functional

映射ƒ → ƒ(c)是线性的,因为:

上的不同点,那么 对偶空间的一个。(Lax (1996)拉格朗日插值法证明此。)

在数值积分的应用

以上定义的积分泛函I定义了次数不超过n的多项式的子空间Pn上的线性泛函。如果x0,……,xn是[a,b]内n+1个不同的点,那么存在系数a0,……,an,使得对于所有的ƒ Pn,都有:

这形成了数值积分理论的基础。

这可以从以上定义的线性泛函Pn的对偶空间的的事实推出(Lax 1996)。

量子力学中的线性泛函

线性泛函在量子力学中特别重要。量子力学系统以跟其对偶空间共轭同构的希尔伯特空间表示。系统的一个态可以一线性泛函表示。详见狄拉克符号

统计学上的分布

广义函数的理论,分布可以视为测试函数空间的线性泛函。

性质

  • 任何线性泛函要么是平凡的(处处为0),要么是到标量域的满射。这是由于向量子空间在线性变换下的像是一个子空间,因此是VL下的像。但k唯一的子空间(也就是说,k-子空间)是{0}和k本身。
  • 一个线性泛函是连续的,当且仅当它的闭集(Rudin 1991,Theorem 1.18)
  • 具有相同核的线性泛函是成正比的。
  • 线性泛函是(0 1)类型的张量。它是非标量协变张量的最简单的一种。

对偶向量和双线性形式

从有限维空间内的每一个非退化的双线性形式,都可以得到一个从VV*的同构。特别地,把V内的双线性形式记为⟨ , ⟩ (例如在欧几里得空间中,⟨v,w⟩ = v·wvw数量积),那么存在一个自然同构,由下式给出:

逆同构由给出,其中ƒ是V的唯一元素,使得对于所有的w ∈ V,都有:

以上定义的向量v* ∈ V*称为v ∈ V对偶向量

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

形象化

在有限维空间内,一个线性泛函可以用其水平集来表示。例如在三维空间,一个线性泛函的水平集是互相平行的平面的族。在高维空间,它们就是平行的超平面。这种观点可以在一些广义相对论的文献找到,如Misner, Thorne & Wheeler (1973)

有限维向量空间

对偶空间的基

以V*表示V的对偶空间,对于一有限维向量空间V,V与V*同构。

设V有基,……,,不一定正交。那么,V*具有一个基(称为对偶基), … , ,可以这样构作:

其中δ是克罗内克函数。此处的上标并非幂而是反变

属于对偶空间的线性泛函可以表示为基泛函的线性组合,其系数(“分量”)为ui

于是,把泛函应用于基向量ej,得:

这是由于泛函的标量倍数的线性,以及泛函的和的逐点线性。那么:

也就是说:

最后一个方程说明了线性泛函的各个分量可以通过把泛函应用于对应的基向量来获取。

对偶基与内积

当空间V带有内积时,可以明确写出给定基的对偶基的一个公式。设V具有(不一定正交的)基。在三维空间内(n = 3),对偶基可以明确写成:

对于i=1,2,3,其中列维-奇维塔符号V上的内积(或数量积)。

在高维空间中,可以推广如下:

其中霍奇星算子

如果有度规结构,就会产生一个VV*的同构映射. 当基向量,……,是在度规下的标准正交基的时候, 来充当对偶基。 当是正交基的时候用来充当对偶基。 正是因为有度规产生的同构存在就没有必要再提对偶空间了。

参见

参考

  • Schutz, Bernard, Chapter 3, A first course in general relativity, Cambridge, UK: Cambridge University Press, 1985, ISBN 0-521-27703-5