线性泛函
连续线性泛函
若V是一拓扑向量空间,所有连续线性泛函的集称为连续对偶,有时也简称为对偶空间。若 V {\displaystyle V} 是巴拿赫空间,其对偶空间也是。为了把普通的对偶空间与连续对偶空间,有时把前一个称为 代数对偶 。在有限维空间中,每一个线性泛函都是连续的。因此连续对偶与代数对偶相同,虽然这在无限维空间是不正确的。
例子和应用
R 内的线性泛函
假设实坐标空间 R 内的向量用列向量来表示:
那么这些坐标中的任何线性泛函都可以用以下形式的和来表示:
这仅仅是行向量[ a 1 ... a n ]与列向量 x → → --> {\displaystyle {\vec {x}}} 的矩阵乘积:
积分
线性泛函首先出现在泛函分析——函数的向量空间的研究中。线性泛函的一个典型的例子是积分:由黎曼积分所定义的线性变换
是由 C [ a , b ] {\displaystyle C[a,b]} (在 [ a , b ] {\displaystyle [a,b]} 上定义的连续函数)的向量空间映射到 R {\displaystyle \mathbb {R} } 线性泛函。 I (ƒ)的线性可以从积分的基本事实推出:
计值泛函
以 P n {\displaystyle P_{n}} 表示定义在区间 [ a , b ] {\displaystyle [a,b]} 上的 n {\displaystyle n} 次实值多项式。 若 c ∈ ∈ --> [ a , b ] {\displaystyle c\in [a,b]} ,则设 计值泛函 e v c : P n → → --> R {\displaystyle ev_{c}:P_{n}\to \mathbb {R} } :
映射ƒ → ƒ( c )是线性的,因为:
若 x 0 , x 1 , . . . , x n {\displaystyle x_{0},x_{1},...,x_{n}} 是 [ a , b ] {\displaystyle [a,b]} 上的不同点,那么 e v x i {\displaystyle ev_{x_{i}}} 是 P n {\displaystyle P_{n}} 对偶空间的一个基。(Lax (1996)以拉格朗日插值法证明此。)
在数值积分的应用
以上定义的积分泛函 I 定义了次数小于 n 的多项式的子空间 P n 上的线性泛函。如果 x 0 ,……, x n 是[ a , b ]内 n +1个不同的点,那么存在系数 a 0 ,……, a n ,使得对于所有的ƒ ∈ ∈ --> {\displaystyle \in } P 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 → → --> V ∗ ∗ --> : v ↦ ↦ --> v ∗ ∗ --> {\displaystyle V\to V^{*}:v\mapsto v^{*}} ,由下式给出:
逆同构由 V ∗ ∗ --> → → --> V : f ↦ ↦ --> f ∗ ∗ --> {\displaystyle V^{*}\to V:f\mapsto f^{*}} 给出,其中ƒ*是 V 的唯一元素,使得对于所有的 w ∈ V ,都有:
以上定义的向量 v * ∈ V *称为 v ∈ V 的 对偶向量 。
根据里斯表示定理,在无穷维希尔伯特空间中,类似的结果也成立。存在一个从 V → V *到 连续对偶空间 V *的映射。然而,这个映射不是线性的,而是反线性的。
形象化
在有限维空间内,一个线性泛函可以用其水平集来表示。例如在三维空间,一个线性泛函的水平集是互相平行的平面的族。在高维空间,它们就是平行的超平面。这种观点可以在一些广义相对论的文献找到,如Misner, Thorne & Wheeler (1973)。
有限维向量空间
对偶空间的基
以V*表示V的对偶空间,对于一有限维向量空间V,V与V*同构。
设V有基 e → → --> 1 , e → → --> 2 {\displaystyle {\vec {e}}_{1},\ {\vec {e}}_{2}} ,……, e → → --> n {\displaystyle {\vec {e}}_{n}} ,不一定正交。那么,V*具有一个基(称为对偶基) ω ω --> ~ ~ --> 1 , ω ω --> ~ ~ --> 2 {\displaystyle {\tilde {\omega }}^{1},\ {\tilde {\omega }}^{2}} , … , ω ω --> ~ ~ --> n {\displaystyle \ {\tilde {\omega }}^{n}} ,可以这样构作:
其中δ是克罗内克函数。此处的上标并非幂而是反变。
属于对偶空间 V ~ ~ --> {\displaystyle {\tilde {V}}} 的线性泛函 u ~ ~ --> {\displaystyle {\tilde {u}}} 可以表示为基泛函的线性组合,其系数(“分量”)为 u i :
于是,把泛函 u ~ ~ --> {\displaystyle {\tilde {u}}} 应用于基向量 e j ,得:
这是由于泛函的标量倍数的线性,以及泛函的和的逐点线性。那么:
也就是说:
最后一个方程说明了线性泛函的各个分量可以通过把泛函应用于对应的基向量来获取。
对偶基与内积
当空间 V 带有内积时,可以明确写出给定基的对偶基的一个公式。设 V 具有(不一定正交的)基 e → → --> 1 , … … --> , e → → --> n {\displaystyle {\vec {e}}_{1},\dots ,{\vec {e}}_{n}} 。在三维空间内( n = 3),对偶基可以明确写成:
对于 i =1,2,3,其中 ϵ ϵ --> {\displaystyle \epsilon \,\!}列维-奇维塔符号塔符号, ⟨ ⟨ --> , ⟩ ⟩ --> {\displaystyle \langle ,\rangle } 是 V 上的内积(或数量积)。
在高维空间中,可以推广如下:
其中 ⋆ ⋆ --> {\displaystyle \star } 是霍奇星算子。
如果有度规结构 g {\displaystyle {g}} ,就会产生一个 V 到 V* 的同构映射 f {\displaystyle {f}} . 当基向量 e → → --> 1 , e → → --> 2 {\displaystyle {\vec {e}}_{1},\ {\vec {e}}_{2}} ,……, e → → --> n {\displaystyle {\vec {e}}_{n}} 是在度规 g {\displaystyle {g}} 下的标准正交基的时候, f ( e → → --> i ) = ω ω --> ~ ~ --> i = g ( − − --> , e → → --> i ) {\displaystyle f({\vec {e}}_{i})={\tilde {\omega }}^{i}=g(-,{\vec {e}}_{i})} 来充当对偶基。 当是正交基的时候用 g ( − − --> , e → → --> i ) g ( e → → --> i , e → → --> i ) {\displaystyle {\frac {g(-,{\vec {e}}_{i})}{g({\vec {e}}_{i},{\vec {e}}_{i})}}} 来充当对偶基。 正是因为有度规产生的同构存在就没有必要再提对偶空间了。
参见
泛函
1-形式
不连续线性映射
里斯表示定理
正线性泛函
双线性型
参考
Bishop, Richard; Goldberg, Samuel, Chapter 4, Tensor Analysis on Manifolds, Dover Publications, 1980, ISBN 0-486-64039-6
Halmos, Paul, Finite dimensional vector spaces, Springer, 1974, ISBN 0387900934
Lax, Peter, Linear algebra, Wiley-Interscience, 1996, ISBN 978-0471111115
Misner, Charles W.; Thorne, Kip. S.; Wheeler, John A., Gravitation, W. H. Freeman, 1973, ISBN 0-7167-0344-0
Schutz, Bernard, Chapter 3, A first course in general relativity, Cambridge, UK: Cambridge University Press, 1985, ISBN 0-521-27703-5
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
- 有价值
- 一般般
- 没价值