盖尔范德谱
数学名词
盖尔范德谱是泛函分析的一个概念
定义
设A为交换复巴拿赫代数,记A的所有特征标(非平凡复同态)的集合为盖尔范德谱
性质
若A含单位元,则A的盖尔范德谱与极大谱有自然的一一对应:特征的极大理想,给定极大理想I可构造特征标。
给定sp(A)弱*拓扑,由巴拿赫-阿劳格鲁定理知,A的对偶空间的闭单位球关于弱*拓扑为紧豪斯多夫空间,故A的盖尔范德谱为局部紧豪斯多夫空间。若A含有单位元,则盖尔范德谱为紧豪斯多夫空间。
紧豪斯多夫空间X上的所有复连续函数组成的巴拿赫代数C(X)的盖尔范德谱与X本身拓扑等价。
设S和T为正规算子,则S和T代数等价当且仅当其拥有相同的盖尔范德谱。
相关定理
Gelfand-Naimark定理
定义
设A为含单位元的交换C*代数,X=sp(A)为其盖尔范德谱。则盖尔范德映射Γ为A到C(X)的等距*同构。
推导
A中元T=H+iK,其中H与K均为自伴元,故拥有实谱,故Γ(H)与Γ(K)为实的。故有
故Γ为*映射。
斯通-魏尔斯特拉斯定理,可知Γ为满射。故Γ为等距同构。
综上,Γ为A到C(X)的等距*同构。
谱定理
设T为希尔伯特空间中的正规算子,则由T生成的C*代数为交换代数,且的盖尔范德谱与σ(T)拓扑等价,故盖尔范德映射是到C(σ(T))的等距*同构。
参考资料
最新修订时间:2024-05-21 16:24
目录
概述
定义
性质
相关定理
参考资料