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

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),接着再看更方便。

相关小说

养老鱼 连载中
养老鱼
CN_HJ
果泥含量众多
4.1万字4周前
缘更小故事 连载中
缘更小故事
DJQ但
记录本人的一些小灵感,缘更的哦!如有雷同,纯属巧合幻想这个分类,这确实不太准确,主要是我想写的太杂了,可能会有很多个背景,所以可以吧这个理解......
0.4万字4周前
陆少宠妻惹不起 连载中
陆少宠妻惹不起
紫幽灵沫
赛车女王洛雪因事故去世,重生成为沐家养女白幽霜,一个拥有蝴蝶法术的哑女,并拥有她的全部记忆。之后替姐姐嫁给陆三爷。
5.2万字4周前
大武苍歌:白狐 连载中
大武苍歌:白狐
@杜熙Du_Xi
“你…你是谁!我,我不是已经死了吗…怎么会…”“吾乃东廷仙狐,修行八载轮回,看你这主角老是被龙套A死我也是无fa可说了”“…感情你只是来吐槽......
22.5万字4周前
重生修仙界之苏与离 连载中
重生修仙界之苏与离
冰冻的兔子
苏离发现自己重生了,还重生在修仙界——今穹大陆。但是,苏离总感觉自己的记忆怪怪的。却又说不上来。直到,仙魔大战,才知道……死神打份的神秘人。......
4.2万字4周前
绝望十三号城市 连载中
绝望十三号城市
凭稍偶才
双男主[已签约]救赎遭遇变故的辛南栖,记忆被删除的伊斯维肆失去爱人的乔巷伞,被追杀的偏执审魔者五大术家的变故“我的圣天子,我永远忠于你”“我......
6.3万字4周前