数学联邦政治世界观
超小超大

Stone-Weierstrass定理 (5-3)

‖f‖,f∈X

则 ψ~∈(X⋆)₁ (因为 ψ∈P )且 Λ(ψ~)=ψ ,即 ψ∈Λ((X⋆)₁) ,所以 Λ((X⋆)₁) 闭.证完.

3.Stone-Weierstrass定理

设 X 为紧Hausdorff空间,其上的连续复值函数代数为 C(X) .我们说它的子代数 A分离 X ,如果对任意的 x,y∈X,x≠y ,存在 f∈A ,使得 f(x)≠f(y) .称它是自伴的,如果 f∈A ,则 f¯∈A .

对于闭区间 [α,b] ,其上的连续函数空间C[a,b] 的对偶空间等同于 BV[α,b] .而对于一般紧Hausdorff空间,我们无从谈论其上的有界变差函数,但是我们有著名的Riesz-Markov表现定理,它说明 C(X)⋆ 可以被视作 X 上的复正则Borel测度构成的空间 M(X) ,也就是说每个有界线性泛函 μ:C(X)→C ,都对应着一个正则Borel测度 μ,使得

μ(f)=∫ₓfdμ.

当 h 是一个有界Borel函数时,hμ 诱导了一个 X 上的测度,即

hμ(A)=∫ₓχᴀhdμ,

自然地,hμ 作为 C(X)⋆ 中的元素,它对应为映射

hμ(f)=∫ₓfhdμ.

且有 ‖hμ‖=∫ₓ|h|d|μ| ,其中 |μ| 为 μ 的全变差测度.

下面,我们引出本文最重要的定理:

定理3.1 (Stone-Weierstrass定理)X是紧Hausdorff空间,如果 A 是 C(X) 的包含常函数 1 的闭自伴子代数,且 A 分离 X ,则 A=C(X) .

证明: C(X) 作为赋范空间自然是局部凸的,所以之前的两个定理都可以使用.

为了证明这个结果,我们只需证明 A⊥:={ν∈C(X)⋆:ν(f)=0,∀f∈A}={0} 即可.如若不然,则由Banach-Alaoglu定理,闭单位球 {ν∈A⊥:‖ν‖≤1} 是 ω* -紧的.再有Krein-Milman定理,存在它的一个端点 μ .

根据Riesz-Markov表现定理,存在与之对应的一个正则Borel测度,仍记为 μ ,满足 ‖μ‖=|μ|(X)=1. 记复测度 μ 的支撑集为 K ,即

K:={x∈X:∀Nₓ(|μ|(Nₓ)>0)}.

其中, Nₓ 是 x 的开邻域. K 非空,如若不然,对每个 x∈X ,选择 Nₓ ,使得 |μ|(Nₓ)=0,而 X=⋃x∈X Nₓ 且 X 紧,所以存在 x₁,⋯,xₙ,使得 X=⋃ⁿᵢ₌₁ Nₓᵢ ,于是 |μ|(X)≤∑ⁿᵢ₌₁|μ|(Nₓᵢ)=0 ,这与 |μ|(X)=1 矛盾.事实上, |μ|(X\K)=0. 这由内正则性和与上述过程一样应用紧性即可证明.据此,有

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

致自己的信 连载中
致自己的信
崎亦念
无聊乱七八糟的东西致我自己文笔很差๑_๑ᐝ
0.2万字1年前
MayBE始篇 连载中
MayBE始篇
AizJetem
李艾,一个出生就在宇宙最顶端的女孩,伴随着她的成长,她所面对的事物往往比她所能想象的还要复杂。本篇章主要讲述李艾的爷爷李尔康再次遇见已经死去......
2.0万字1年前
重生之修仙路漫漫 连载中
重生之修仙路漫漫
旧浅夏
(2020年2月24日)凤凝馨前世被自己最相信的师姐和最爱的师傅害了,重来之日拜入师叔门下,带着师叔一起灭渣男,除恶女。(本文原创,以签约,......
9.6万字1年前
我的怨灵鬼王 连载中
我的怨灵鬼王
火页乂
泪化为彼岸花,鬼王的真命天女!?一不小心爱上女主,可只有前世宿主死于自己之手方得自由与生命
2.6万字1年前
重生之这个设定有点垮 连载中
重生之这个设定有点垮
该用户已注销
重生到了莫名其妙的异世界,而且还变成了异世界的大佬!异世界每个人都有奇奇怪怪的能力,而他的能力全球限量!于是就变成了全球互抢的香饽饽原影帝萧......
18.9万字1年前
辞世言 连载中
辞世言
气炸的糯米团子
辞世言君三生情,离散江湖九司忆!看天下风起云涌,品江湖沧海桑田!也可以提供故事,我来书写!你提供文案,我来延伸!
13.8万字1年前