族谱网 头条 人物百科

线性泛函

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:975
转发:0
评论:0
连续线性泛函若V是一拓扑向量空间,所有连续线性泛函的集称为连续对偶,有时也简称为对偶空间。若V{displaystyleV}是巴拿赫空间,其对偶空间也是。为了把普通的对偶空间与连续对偶空间,有时把前

连续线性泛函

若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


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 泛函
例子对偶性观察映射是一个函数,在这里,x0{\displaystylex_{0}}是函数f的自变量。同时,将函数映射至一个点的函数值是一个泛函,在此x0{\displaystylex_{0}}是一个参数只要f{\displaystylef}是一个从向量空间至一个布于实数的体的线性转换,上述的线性映射彼此对偶,那么在泛函分析上,这两者都称作线性泛函。参见线性泛函最优化张量参考资料MathWorld上Functional的资料,作者:Rowland,Todd。Lang,Serge,III.Modules,§6.Thedualspaceanddualmodule,Algebra,GraduateTextsinMathematics211Revisedthird,NewYork:Springer-Verlag:142–146,2002,ISBN978-0-387-95385-4,MR18...
· 泛函分析
赋范线性空间从现代观点来看,泛函分析研究的主要是实数域或复数域上的完备赋范线性空间。这类空间被称为巴拿赫空间,巴拿赫空间中最重要的特例被称为希尔伯特空间,其上的范数由一个内积导出。这类空间是量子力学数学描述的基础。更一般的泛函分析也研究Fréchet空间和拓扑向量空间等没有定义范数的空间。泛函分析所研究的一个重要对象是巴拿赫空间和希尔伯特空间上的连续线性算子。这类算子可以导出C*-代数和其他算子代数的基本概念。希尔伯特空间希尔伯特空间(Hilbert)可以利用以下结论完全分类,即对于任意两个希尔伯特空间,若其基的基数相等,则它们必彼此同构。对于有限维希尔伯特空间而言,其上的连续线性算子即是线性代数中所研究的线性变换。对于无穷维希尔伯特空间而言,其上的任何态射均可以分解为可数维度(基的基数为ℵ0)上的态射,所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决...
· 泛函谓词
介入新的函数符号在允许介入新的谓词符号的谓词逻辑系统中,你可能也想介入新的函数符号。从旧的函数符号介入新的函数符号是容易的;给定函数符号F和G,有一个新函数符号FoG,它是F和G的复合,对于所有x,满足(FoG)(x)=F(G(x))。当然,等式的右边在有类型的逻辑中没有意义,除非F的域类型匹配G的陪域类型,这是定义复合的要求。你还自动的获得特定的函数符号。在无类型逻辑中,有一个恒等谓词id,对于所有X满足id(x)=x。在有类型逻辑中,给定任何类型T,有一个恒等谓词idT,带有域和陪域类型T;对于类型T的所有x,它满足idT(x)=x。类似的,如果T是U的一个子类型,则有一个域类型T和陪域类型U的包含谓词,它满足相同的等式;有与从旧类型构造新类型的其他方式相关联的额外的函数符号。此外,你可以在证明了适当的定理之后定义泛函谓词。(如果你在证明了定理之后不允许介入新符号的形式系统下工作,那么...
· 线性函数
初等数学用法三个线性函数的图形都是直线。红色与蓝色直线的斜率相同。红色与绿色直线的y-截距相同。在初级代数与解析几何,线性函数是只拥有一个变数的一阶多项式函数。因为,采用直角坐标系,这些函数的图形是直线,所以,这些函数是线性的。线性函数可以表达为斜截式:其中,k{\displaystylek\,\!}是斜率,b{\displaystyleb\,\!}是y-截距,函数的图形与y-轴相交点的y-坐标。改变斜率k{\displaystylek\,\!}会使直线更陡峭或平缓。改变y-截距b{\displaystyleb\,\!}会将直线移上或移下。以下三个直线函数的图形展示于图右:f1(x)=2x+1{\displaystylef_{1}(x)=2x+1\,\!},f2(x)=x2+1{\displaystylef_{2}(x)={\frac{x}{2}}+1\,\!},f3(x)=x2−−--&...
· 密度泛函理论
理论概述电子结构理论的经典方法,特别是Hartree-Fock方法和后Hartree-Fock方法,是基于复杂的多电子波函数的。密度泛函理论的主要目标就是用电子密度取代波函数做为研究的基本量。因为多电子波函数有3N{\displaystyle3N}个变量(N{\displaystyleN}为电子数,每个电子包含三个空间变量),而电子密度仅是三个变量的函数,无论在概念上还是实际上都更方便处理。虽然密度泛函理论的概念起源于Thomas-Fermi模型,但直到Hohenberg-Kohn定理提出之后才有了坚实的理论依据。Hohenberg-Kohn第一定理指出体系的基态能量仅仅是电子密度的泛函。Hohenberg-Kohn第二定理证明了以基态密度为变量,将体系能量最小化之后就得到了基态能量。HK理论最初只适用于没有磁场存在的基态,现在已经被推广。最初的Hohenberg-Kohn定理仅仅指出了一...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信