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

Stone-Weierstrass定理(数学解释)一 (6-5)

那么 Ωₓ 是 X 的一个包含 x 的开子集; 再次利用 X 的紧致性, 我们可以选择 X 的有限个点 x₁,⋯,xₚ 使得 Ωₓ₁,⋯,Ωₓₚ覆盖 X. 最后, 令 υ=inf(υₓ₁,⋯,υₓₚ). 那么 υ∈H 并且 −ε<f(x)−υ(x)<ε 对所有 x∈X 成立, 即 ‖f−υ‖≤ε.

定义1. C(X) 的一个子集称为是分离的(separating), 若对于 X 的任意两不同点 x,y , 存在 h∈H 满足 h(x)≠h(y). Cℝ(X) 的一个子集 H 称为是一个格子(lattice),若对于任意 f,g∈H,函数 sup(f,g) 和 inf(f,g) 也属于 H.

注意, Cℝ(X) 的一个向量子空间 H 是格子当且仅当 h∈H 时 |h| 也属于 H.

引理8. 若 H 是 Cℝ(X) 的一个分离的向量子空间,并且是包含常值函数的格子, 则 H 在 Cℝ(X) 中稠密.

证明. 若 X 只包含一个元素, 那么结论是显然的. 假设 X 至少包含两个元素; 我们只需验证上一引理的假设(b). 设 x₁ 和 x₂ 是 X 的两不同元素. 由于 H 是分离的, 存在 h∈H 使得 h(x₁)≠h(x₂). 若 α₁ 和 α₂ 是实数,那么方程组

{λh(x₁)+μ=α₁

{λh(x₂)+μ=α₂

显然有唯一解 (λ,μ)∈ℝ². 对这样的 (λ,μ), 我们看出 (λh+μ)(x₁)=α₁ 以及 (λh+μ)(x₂)=α₂. 此外,λh+μ∈H,因为 H 是包含常值函数的线性空间.

定义2. C(X) 的一个向量子空间称为是一个子代数,若它在乘法下封闭, 即对于任意 f,g∈H 都有 fg∈H.

定理9 (Stone-Weierstrass定理, 实情形). Cℝ(X) 的每一个包含常值函数的分离子代数在 Cℝ(X) 中都是稠密的.

证明(GTM192 Chapter 1). 若 H 是 Cℝ(X) 的一个包含常值函数的分离子代数, 那么它的闭包 ˉH 也是. 因此只要证明 ˉH 是一个格子然后利用上一引理就可以了. 设 f 是 ˉH 的一个非零元素. 根据引理6我们知道存在 ℝ 上的一列多项式 {pₙ},它在 [−1,1] 上一致收敛于函数 x↦|x|. 这样的话,函数列 {pₙ(f/‖f‖)} 一致收敛于 |f|/‖f‖,因此 |f| 是序列 {‖f‖pₙ(f/‖f‖)} 的一致极限. 由于 ˉH 是 Cℝ(X)的子代数,该序列中的所有项都属于 ˉH,从而它们的一致极限 |f| 也属于 H¯. 这就证明了 ˉH 是格子.

假如 X=[α,b] , 那么全体多项式函数构成的集合显然满足上述定理的所有条件, 因此Weierstrass逼近定理是上述定理的一个特例. 这就给出了Weierstrass逼近定理的拓扑证明.

定义3. Cℂ(X) 的一个子集 H 称为是自共轭的, 若对于任意 h∈H,它的共轭 ˉh 也属于 H. 这里,h 的共轭 ˉh 通过 ˉh(x)───

=h(x) 定义.

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

相关小说

小神明养夫路漫漫 连载中
小神明养夫路漫漫
丫禹
甜文,好看第一个世界:挣扎还是救赎?(情不知所起一往而深)第二个世界:我就这么被契约者卖了?(不真不实,差点玩儿完)第三个世界:不当人的我,......
10.9万字8个月前
一念月红 连载中
一念月红
该用户已注销
涂山红红能否在愧疚和爱中选出一个?每次东方月初表白,涂山红红都会否决东方月初东方月初:“妖仙姐姐”小道士:“小狐狸快逃…”涂山红红:“二货道......
6.7万字8个月前
PIC当铺 连载中
PIC当铺
EveAK
放图的。
0.1万字8个月前
狐代风华 连载中
狐代风华
梨心不加糖
【已签约】面对青梅竹马的爱意,本已经决定与他共度一生的梨洛却突然发现了自己身上隐藏的巨大秘密……青梅竹马也并不只是青梅竹马。梨洛:“羽千泽!......
8.3万字8个月前
清明妖娆 连载中
清明妖娆
萌萌哒耗子
  “师傅不好了,清明把你最喜欢的凤心阁烧了。”  忍,“没事,小孩子玩心大,正常。”  “师傅不好了,清明把你的蓝桂砍来当柴烧了。”  再......
7.8万字8个月前
兴迪:无与伦比的爱情 连载中
兴迪:无与伦比的爱情
游客1586317682144
世世姻缘,魂梦绥绥佛铃花开又一年,是痴人模样,由山野来,道是有狐寻卿情长。
1.8万字8个月前