族谱网 头条 人物百科

泛函分析

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:1010
转发:0
评论:0
赋范线性空间从现代观点来看,泛函分析研究的主要是实数域或复数域上的完备赋范线性空间。这类空间被称为巴拿赫空间,巴拿赫空间中最重要的特例被称为希尔伯特空间,其上的范数由一个内积导出。这类空间是量子力学数学描述的基础。更一般的泛函分析也研究Fréchet空间和拓扑向量空间等没有定义范数的空间。泛函分析所研究的一个重要对象是巴拿赫空间和希尔伯特空间上的连续线性算子。这类算子可以导出C*-代数和其他算子代数的基本概念。希尔伯特空间希尔伯特空间(Hilbert)可以利用以下结论完全分类,即对于任意两个希尔伯特空间,若其基的基数相等,则它们必彼此同构。对于有限维希尔伯特空间而言,其上的连续线性算子即是线性代数中所研究的线性变换。对于无穷维希尔伯特空间而言,其上的任何态射均可以分解为可数维度(基的基数为ℵ0)上的态射,所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决...

赋范线性空间

从现代观点来看,泛函分析研究的主要是实数域或复数域上的完备赋范线性空间。这类空间被称为巴拿赫空间,巴拿赫空间中最重要的特例被称为希尔伯特空间,其上的范数由一个内积导出。这类空间是量子力学数学描述的基础。更一般的泛函分析也研究Fréchet空间和拓扑向量空间等没有定义范数的空间。

泛函分析所研究的一个重要对象是巴拿赫空间和希尔伯特空间上的连续线性算子。这类算子可以导出C*-代数和其他算子代数的基本概念。

希尔伯特空间

希尔伯特空间( Hilbert )可以利用以下结论完全分类,即对于任意两个希尔伯特空间,若其基的基数相等,则它们必彼此同构。对于有限维希尔伯特空间而言,其上的连续线性算子即是线性代数中所研究的线性变换。对于无穷维希尔伯特空间而言,其上的任何态射均可以分解为可数维度(基的基数为ℵ 0 )上的态射,所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决的问题是,是否对于每个希尔伯特空间上的算子,都存在一个真不变子空间。该问题在某些特定情况下的答案是肯定的。

巴拿赫空间

一般的巴拿赫空间( Banach )比较复杂,例如没有通用的办法构造其上的一组基。

对于每个实数 p {\displaystyle p} ,如果 p ≥ ≥ --> 1 {\displaystyle p\geq 1} ,一个巴拿赫空间的例子是绝对值绝对值的 p {\displaystyle p} 积分的积分收敛的勒贝格可测函数”所构成的空间。(参看Lp空间)

在巴拿赫空间中,相当部分的研究涉及到对偶空间的概念,即巴拿赫空间上所有连续线性泛函所构成的空间。对偶空间的对偶空间可能与原空间并不同构,但总可以构造一个从巴拿赫空间到其对偶空间的对偶空间的一个单同态。

微分的概念可以在巴拿赫空间中得到推广,微分算子作用于其上的所有函数,一个函数在给定点的微分是一个连续线性映射。

主要结果和定理

泛函分析的主要定理包括:

一致有界定理(亦称共鸣定理),该定理描述一族有界算子的性质。

谱定理包括一系列结果,其中最常用的结果给出了希尔伯特空间上正规算子的一个积分表达,该结果在量子力学的数学描述中起到了核心作用。

哈恩-巴拿赫定理(Hahn-Banach Theorem)研究了如何将一个算子保范数地从一个子空间延拓到整个空间。另一个相关结果是对偶空间的非平凡性。

开映射定理和闭图像定理。

泛函分析与选择公理

泛函分析所研究的大部分空间都是无穷维的。为了证明无穷维向量空间存在一组基,必须要使用佐恩引理(Zorn"s Lemma)。此外,泛函分析中大部分重要定理都构建于哈恩-巴拿赫定理的基础之上,而该定理本身就是选择公理(Axiom of Choice)弱于布尔素理想定理(Boolean prime ideal theorem)的一个形式。

泛函分析的研究现状

泛函分析目前包括以下分支:

软分析(soft analysis),其目标是将数学分析用拓扑群、拓扑环和拓扑向量空间的语言表述。

巴拿赫空间的几何结构,以Jean Bourgain的一系列工作为代表。

非交换几何,此方向的主要贡献者包括Alain Connes,其部分工作是以George Mackey的遍历论中的结果为基础的。

与量子力学相关的理论,狭义上被称为数学物理,从更广义的角度来看,如按照Israel Gelfand所述,其包含表示论的大部分类型的问题。

相关主题

调和分析

逼近理论

分析

微分几何及拓扑

代数拓扑

代数几何

抽象代数


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

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{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...
· 泛函谓词
介入新的函数符号在允许介入新的谓词符号的谓词逻辑系统中,你可能也想介入新的函数符号。从旧的函数符号介入新的函数符号是容易的;给定函数符号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的包含谓词,它满足相同的等式;有与从旧类型构造新类型的其他方式相关联的额外的函数符号。此外,你可以在证明了适当的定理之后定义泛函谓词。(如果你在证明了定理之后不允许介入新符号的形式系统下工作,那么...
· 线性泛函
连续线性泛函若V是一拓扑向量空间,所有连续线性泛函的集称为连续对偶,有时也简称为对偶空间。若V{\displaystyleV}是巴拿赫空间,其对偶空间也是。为了把普通的对偶空间与连续对偶空间,有时把前一个称为代数对偶。在有限维空间中,每一个线性泛函都是连续的。因此连续对偶与代数对偶相同,虽然这在无限维空间是不正确的。例子和应用R内的线性泛函假设实坐标空间R内的向量用列向量来表示:那么这些坐标中的任何线性泛函都可以用以下形式的和来表示:这仅仅是行向量[a1...an]与列向量x→→-->{\displaystyle{\vec{x}}}的矩阵乘积:积分线性泛函首先出现在泛函分析——函数的向量空间的研究中。线性泛函的一个典型的例子是积分:由黎曼积分所定义的线性变换是由C[a,b]{\displaystyleC[a,b]}(在[a,b]{\displaystyle[a,b]}上定义的连续函数...
· 密度泛函理论
理论概述电子结构理论的经典方法,特别是Hartree-Fock方法和后Hartree-Fock方法,是基于复杂的多电子波函数的。密度泛函理论的主要目标就是用电子密度取代波函数做为研究的基本量。因为多电子波函数有3N{\displaystyle3N}个变量(N{\displaystyleN}为电子数,每个电子包含三个空间变量),而电子密度仅是三个变量的函数,无论在概念上还是实际上都更方便处理。虽然密度泛函理论的概念起源于Thomas-Fermi模型,但直到Hohenberg-Kohn定理提出之后才有了坚实的理论依据。Hohenberg-Kohn第一定理指出体系的基态能量仅仅是电子密度的泛函。Hohenberg-Kohn第二定理证明了以基态密度为变量,将体系能量最小化之后就得到了基态能量。HK理论最初只适用于没有磁场存在的基态,现在已经被推广。最初的Hohenberg-Kohn定理仅仅指出了一...
· 泛型
泛型的定义及目的泛型的定义主要有以下两种:在程序编码中一些包含类型参数的类型,也就是说泛型的参数只可以代表类,不能代表个别对象。(这是当今较常见的定义)在程序编码中一些包含参数的类。其参数可以代表类或对象等等。(现在人们大多把这称作模板)不论使用那个定义,泛型的参数在真正使用泛型时都必须作出指明。一些强类型程序语言支持泛型,其主要目的是加强类型安全及减少类转换的次数,但一些支持泛型的程序语言只能达到部分目的。伪代码例子類例泛類{值:T設置值(新值:T){值:=新值}獲取值():T{返回值}}例方法1(){例物件:例泛類例物件:=新例泛類()例物件.設置值(5)输出整数(例对象.获取值())}例方法2(){例物件:例泛類例物件:=新例泛類()例物件.設置值(5.5)输出浮点数(例对象.获取值())}在这例子中,例泛类是一个泛型,而T是一个类型参数。在例泛类中没指明T的实际类型,只有例方法1(...

关于我们

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

APP下载

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