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

Baire范畴定理 (10-1)

Baire范畴定理在泛函分析中有着十分重要的作用. 泛函分析四大定理中的三个, 即一致有界性原理、开映射定理和闭图像定理, 它们的证明都需要用到Baire范畴定理. 本文将给出Baire范畴定理及其证明, 同时还将给出上述三个定理及其证明, 并给出它们的一些应用.

1. Baire范畴定理

定义1. 设 (X,d) 为度量空间,M⊂X. 若 ˉM 无内点, 则称 M 为无处稠密的. 若 M 可以表示成 X 中可数个无处稠密子集的并, 则称 M 为 X 的第一范畴子集. 若 M 不为 X 的第一范畴子集, 则称 M 为 X 的第二范畴子集.

定义2. X 的一个子集称为是泛型子集, 若它的补集是第一范畴子集.

定理1 (Baire范畴定理). 设 (X,d) 为非空完备度量空间, 则 X 作为 X 的子集是第二范畴的.

证明. 采用反证法, 假设 X 是无处稠密子集 Fₙ 的可数并,即

X=⋃∞ n=1 Fₙ. (1)

通过将 Fₙ 替换为它的闭包, 我们可以假设每一个 Fₙ 是闭集. 现在只要找到一个点 x∈X 但 x∉∪Fₙ 即可.

由于 F₁ 是闭的并且是无处稠密的, 因此 Fᶜ₁ 是非空开集, 于是存在半径为 r1>0 的开球 B₁ 它

──

的闭包 B₁完全包含在 Fᶜ₁ 中.

由于 F₂ 是闭的并且是无处稠密的, 因此球 B₁ 不可能完全包含于 F₂, 否则 F₂ 就有非空的内部. 于是 Fᶜ₂∩B₁ 是非空开集, 从而存在半径为 r₂>0 的球 B₂ 它的闭包包含于 B₁ 和 Fᶜ₂. 显然, 我们可以选取 r₂ 使得 r₂<r₁/2.

重复这一过程, 我们得到一列球 {Bₙ} 满足如下性质:

(i) 当 n → ∞ 时 Bₙ 的半径趋于 0.

(ii) Bₙ₊₁ ⊂ Bₙ.

───

(iii) Fₙ∩Bₙ 为空.

选择 Bₙ 的任意点 xₙ,那么由于上面的性质(i)和(ii) {xₙ}∞ₙ₌₁ 是柯西列. 由于 X 是完备的, 这个序列收敛到某一极限点, 记作 x. 由(ii)可知

──

x∈Bₙ 对每一个 n 成立, 因此根据(iii)可知 x∉Fₙ 对所有 n 成立. 这与(1)式矛盾,这就完成了对Baire范畴定理的证明.

推论2. 完备度量空间的泛型子集是稠密的.

证明. 采用反证法, 假设 M ⊂ X 是泛型子集但不是稠密的. 那么存在完全包含于 Mᶜ 闭球

──

B. 由于 E 是泛型子集,它的补集可以写成 Eᶜ=∪∞ₙ₌₁ Fₙ,其中每一个 Fₙ 都是无处稠密的,因此

── ──

B=⋃∞ₙ₌₁(Fₙ∩B).

── ──

显然 Fₙ∩B 是无处稠密的. 由于 B 是完备度量空间,因此上式与Baire范畴定理相矛盾. 这就完成了推论的证明.

1.1. 连续函数序列极限的连续性

定理3. 假设 {fₙ} 是完备度量空间 X 上的一列连续复值函数, 并且

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

相关小说

TNT:冬至我还记得你 连载中
TNT:冬至我还记得你
湿鱼干
【GB】“我向火焰祈福许你一世无忧”原创️搬运成长流/动作/中恐/悬疑/无限流愿期待⭕️预告:“你看又下雪了”“许个愿吧”“我们要在一起很久......
0.2万字4个月前
被关在游戏后,我成了万鬼嫌 连载中
被关在游戏后,我成了万鬼嫌
苏小彦
简介正在更新
0.3万字4个月前
养老鱼 连载中
养老鱼
CN_HJ
果泥含量众多
4.1万字4个月前
修仙之不做女主的垫脚石 连载中
修仙之不做女主的垫脚石
花胡哨
作为一名读者,突然看到一本书中和自己一样名字的作死女配时,倾心心中有一万句mmp不知当讲不当讲,亲眼看着她是如何把自己从万千宠爱弄成万人唾弃......
8.9万字4个月前
夺舍公主后我一统全界 连载中
夺舍公主后我一统全界
若樱下鹤唳
魔王为了存活,夺舍了米莱娅公主……
0.2万字4个月前
残梦易卷 连载中
残梦易卷
走辞
【完结】明辞身为天主,能掌控三界生死大权,却不能掌控魔族长女月婉安的生死。亲眼目睹她死在眼前,无魂无魄,永不超生。月婉安死后,以自己仅存的灵......
8.4万字4个月前