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

Stone-Weierstrass定理 (5-1)

本文的内容主要来自于Conway《A First Course in Functional Analysis》的Weak Topology一章和郭坤宇教授的《算子理论基础》.

我们将使用Krein-Milman定理、Banach-Alaoglu定理和测度论有关的内容来证明著名的稠密性定理:Stone-Weierstrass定理.

1. Krein-Milman定理

定义1.1 设 V 是一个凸集,p∈V ,若 p 不能表示为 V 的两个不同点的凸组合,则说 p 是 V 的端点. V 上全体端点构成的集合记为 extV .

一般而言,凸集未必能有端点(考虑开球),甚至当该凸集为闭时,结论都未必成立.

例1 设 K:={f∈L¹[α,b]:‖f‖₁≤1} ,则 extK=∅. 假若 f∈extK ,那么 ‖f‖₁=1. 取 c∈[α,b] ,使得 ∫ᶜα|f|dx=1

2

.则 g=fχ[α,c),h=fχ[c,b],则 f=1 ─

1 2

g+─h .矛盾.

2

设 X 为局部凸的拓扑向量空间, V 是 X 的一个子集.我们用符号 co(V) 来表示 V 的凸包,即包含 V 的最小凸集,容易证明

co(V)={x∈X:x=∑λᵢxᵢ,

ᵢ∈l

∑λᵢ=1,λᵢ≥0,xᵢ∈V,I为有限集}.

ᵢ∈l

换言之, co(V)中元素为V中元素的凸组合.

下面的定理说明,只要非空凸集紧,那么其必有端点.

定理1.1(Krein-Milman定理) 设 K 是局部凸向量空间 X 的非空紧凸子集,那么 extK≠∅ ,并且 K=─

co(extK) ,即 K 是其端点凸组合之闭包.

证明:设 α∈K ,则 α 为 K 的端点当且仅当 K\{α} 是凸的(此处是需要证明的,可以参考[1],书上将一系列性质留做习题).可以猜测,形如 K\{α} 的集合应该是 K 中极大的开的凸真子集.因此,我们将运用Zorn引理完成证明.

当 K 不是单点集时,设 𝓤 为 K 中所有开的凸真子集(指相对开集,下文中的开集都是指相对开集).由于 X 局部凸,所以 𝓤 非空.以包含为偏序关系,取 𝓤 中链 C ,及 U₀=⋃C ,则 U₀ 是相对开且凸的.如果 U₀=K ,根据紧性可知,存在 U∈C,使得 U=K ,这与 U∈𝓤 矛盾.所以 U₀∈𝓤 .根据Zorn引理,𝓤 有极大元 U.

对于 x∈U,λ∈[0,1) ,考虑映射 Tₓ,λ(y)=λy+(1−λ)x,y∈K.

由 U 的凸性,对于 y∈U,Tₓ,λ(y)∈U ,即 Tₓ,λ(U)⊂U ,故 U⊂T⁻¹ₓ,λ(U).

因为 Tₓ,λ 连续,所以 T⁻¹ₓ,λ(U) 是 K中的开凸集.

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

相关小说

all棍:演员的自我修养 连载中
all棍:演员的自我修养
摆烂的羊
all朱,白切黑,雷者自觉【禁抄,仿】“我想放一把火,你们来吗——朱志鑫”“如果只有杀和被杀,那么我一定会选择反杀——左航”
0.7万字1个月前
迷之世界 连载中
迷之世界
桉远惗
这是我睡觉时做的梦
0.1万字4周前
激战奇轮其实无题 连载中
激战奇轮其实无题
zdt_1890023730958447
一篇自我介绍,剩下的期待吧!
0.8万字4周前
三舞恋 . 神界 连载中
三舞恋 . 神界
梦语黎曦
三舞在神界生活会怎么样呢?他又有什么阴谋?金龙,银龙龙神回归神界。又会发生什么呢?敬请期待《三舞恋.神界》
3.4万字4周前
神医雪雪 连载中
神医雪雪
飘渺的智者
叶雪雪,医学界的天才,研究生,但因研究时,引发爆炸,意外穿越充满灵气的风华大陆,可究竟是一场意外,还是命中注定呢?当她成为黎仙国护国大将军的......
14.3万字4周前
爱撩人的小娇妻 连载中
爱撩人的小娇妻
王晓米
事隔十万年,他还是她的。现代世界中他是宠妻无度的狼王,她是狼王的傻白甜。等他们回到自己的那个时空,她是他的无上荣耀,他是她的神明,她亦是他的......
11.4万字4周前