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

Baire范畴定理 (10-2)

lim ₙ → ∞ fₙ(x)=f(x)

对每一个 x∈X 存在. 那么,X 中使得 f 连续的点构成 X 的泛型子集. 换言之,f 的不连续点构成的集合是第一范畴的.

为了证明 f 的不连续点集是第一范畴的, 我们用 f 的振荡来刻画它的连续点. 更准确地说, 我们定义函数 f 在点 x 处的振荡为

osc(f)(x)=lim ᵣ → ₀ ω(f)(r,x),其中ω(f)(r,x)=sup y,z∈Bᵣ(x)|f(y) – f(z)|.

该极限存在, 因为量 ω(f)(r,x) 是 r 的递减函数. 特别地, 我们发现若存在一个以 x 为中心的球 B,使得 |f(y) – f(z)|<ϵ 对所有 y,z∈B 成立,那么 osc(f)(x)<ϵ. 此外, 我们还发现:

(i) osc(f)(x)=0 当且仅当 f 在 x 点连续.

(ii) 集合 Eϵ={x∈X:osc(f)(x)<ϵ} 是开集.

性质(i)直接由连续性的定义得到. 对于(ii),我们注意到若 x∈Eϵ, 则存在 r>0 使得 sup y,z ∈Bᵣ/₂(x)|f(y) – f(z)|<ϵ.

于是,若 x∗ ∈ Bᵣ/₂(x),则 x∗∈Eϵ,因为

sup y,z∈Bᵣ/₂(x∗)|f(y) – f(z)| ≤ sup y,z∈Bᵣ (x)|f(y) – f(z)|<ϵ.

引理4. 假设 {fₙ} 是完备度量空间 X 上的一列连续函数, 并且当 n → ∞ 时 fₙ(x)→f(x). 那么, 给定一个开球 B ⊂ X 以及 ϵ>0, 存在开球 B₀ ⊂ B 以及整数 m ≥ 1 使得 |fₘ(x) – f(x)| ≤ ϵ 对所有 x∈B₀ 成立.

证明. 设 Y 是一个包含于 B 的闭球, 那么 Y 完备的. 定义

Eℓ={x∈Y:sup ⱼ,ₖ ≥ ℓ |fⱼ(x) – fₖ(x)| ≤ ϵ},

那么, 由于 fₙ(x) 对每一个 x 都收敛, 我们有

Y=⋃∞ℓ₌₁ Eℓ.

此外, 每一个 Eℓ 都是闭集, 因为它是形如 {x∈Y:|fⱼ(x) – fₖ(x)| ≤ ϵ} 的集合的交, 而根据 fj 和 fk 的连续性, 这样的集合都是闭集. 于是,根据Baire范畴定理,必然有某个 Eₘ 包含一个开球 B₀. 根据构造

sup ⱼ,ₖ ≥ m |fⱼ(x) – fₖ(x)| ≤ ϵ,∀x∈B₀.

令 k 趋于无穷大我们发现 |fₘ(x) – f(x)| ≤ ϵ 对所有 x∈B₀ 成立. 这就证明了引理.

证明 (定理3的证明). 设 f 的不连续点构成的集合为 D,那么根据集合 osc(f)(x) 的性质(i)可知

D=⋃∞ₙ₌₁ Eᶜ₁/ₙ,

其中 Eᶜ₁/ₙ={x∈X:osc(f)(x) ≥ 1/n}. 因此为证 D 是第一范畴的, 只需证明每一个 Eᶜ₁/ₙ 都是无处稠密集即可. 或者等价地, 只需证明每一个 E₁/ₙ 都是稠密子集即可. 对于任意 x∈X 以及 ε>0,根据上一引理,存在开球 B₀⊂Bₓ(ε) 以及整数 m ≥ 1 使得 |fₘ(x) – f(x)|<1/3n. 于是

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

相关小说

吾卿江湖郎 连载中
吾卿江湖郎
泡汤小鱼
男主角是郭家一位小妾室的私生子在郭家受尽屈辱,被丢出府后被天门的亲王看上被按排到仙界大门派中修炼亲王对他展开追求他却次次回避许久才......
0.2万字1个月前
神的守护者 连载中
神的守护者
贺如愿
雅是北山山神之女,转世到山谷地带一个设有结界的空间“千树族”,从小受万人敬仰,与发小宁相爱。雅、宁和葡迪三人三小无猜,长大后先后结识结界旁石......
2.8万字4周前
时空七星 连载中
时空七星
巷口的风
在一个有很多时空的世界里,出现了时空管理局,每一个时空几百几千年来都不曾出现过混乱的过往,这绝大部分都是时空管理局的功劳,可是不知道为什么时......
3.0万字4周前
桃琪的后宫 连载中
桃琪的后宫
惜惜小主
这一生,她遇到了九位把她宠得无法无天的男人,他们分别是天才可亲的科学家、美丽单纯的人鱼,洁癖严重,绅士的吸血鬼,血腥暴躁的恶灵,热血正义的候......
12.8万字4周前
相思辞 连载中
相思辞
多啦米
此书修订中不定时更新,请谅解。勿催更,请谅解。【本文已签约】慕修寒:“阿辞,这一世,我定会护你一生一世。”南辞:“师父,我不记得我们前世有什......
9.8万字4周前
白芊芊在星际成团宠 连载中
白芊芊在星际成团宠
意相逢
逃婚穿书到男多女少的异世界,她又该何去何从呢?遇到他他他,她又如何抉择呢?
6.3万字4周前