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

Mycielski定理

定理(Mycielski):设Ⅹ 为一波兰空间, R ⊆ Ⅹ × X 是其上的一个meager的等价关系,则存在一个闭的perfect子集 C ⊆ X ,使得 C 中元素两两 R-不等价。

Proof:假设Dₙ ⊆ Ⅹ × X 为一列稠密开集,使得 R∩∩Dₙ=∅ 。

下面我们构造一个从 2ω 到非空开集的映射 σ ↦ Vσ 使得:

───

1. 对每个 σ ∈ α<ω,Vσ⁀i ⊆ Vσ,其中 i ∈ {0,1} 。

2. 对每个 σ ∈ 2<ω , diam(Vσ) ≤ 2⁻|σ|。

3. 对每个 n ,以及 σ,τ ∈ 2ⁿ⁺¹ ,如果 σ ≠ τ ,则 Vσ × Vτ ⊆ ∩ Dₙ 。

m≤n

令V〈·〉=X 。现在假设对每个 σ ∈ 2ⁿ ,Vσ 都已经定义好了,现在取 V' ⊂ Vσ 使得

────

V' ⊆ Vσ ,且 diam(V') ≤ 2⁻ⁿ⁻¹ ,考察 V' × V' ∩∩ Dₙ

m≤n

,这是一个非空开集,取 Vσ⁀0,Vσ⁀1 使得 ∅ ≠ Vσ⁀0 × Vσ⁀1 ⊆ V' × V' ∩ ∩ Dₙ 。

m≤n

如果 σ,τ ∈ 2ⁿ 不相容,我们再对 Vσ⁀i,Vτ⁀i 做类似的操作,保证 Vσ⁀i × Vτ⁀i ⊆ Dₙ ,其中 i ∈ {0,1} 。

现在定义映射f:2ω → X 使得

x↦∩Vₓ⨡ₙ

n∈ω 则这个映射定义良好,因为 ∩ₙ Vₓ⨡ₙ

───

=∩ₙ Vₓ⨡ₙ 为单点集。而且这个映射是单射,因为如果 x ≠ y ∈ 2ω ,则对所有 n , (x,y) ∉ ∪ₙ ,从而 (x,y) ∉ R ,所以 x ≠ y 。 f 显然是连续的,因为 f⁻¹[Nₛ]={x ∈ 2ω:∃n Vₓ⨡ₙ ⊆ Nₛ} 从而像集 f[2ω] ⊆ X 就是一个perfect的闭集。闭性因为 2ω 的紧致性,无孤立点因为单射。其元素两两 R-不等价刚刚已经证明过了。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

冷宫九公主要翻身 连载中
冷宫九公主要翻身
某家女主
因为不想弄这么多任务,所以就直接只有旁白仿炮灰闺女的生存方式
60.9万字5个月前
暶夜 连载中
暶夜
槑槑乐
我从深渊里来为了生存为了自由为了更迭
6.3万字4个月前
琴落玉湖 连载中
琴落玉湖
烟霏雨
这是一个民族的崛起与消亡史,尽管今天的人几乎不曾听过它的故事,但那两个女人的勇敢,同雪山、阳光一样神奇不朽
1.3万字3个月前
斗破神域(复新版) 连载中
斗破神域(复新版)
韵笑笑
本故事就纯属虚构,请勿模仿。本故事讲述了由作者心中的角色幻想出来的各种奇思妙想的故事,可能会有不便之处,请多理解!
5.3万字2个月前
致命的爱啊 连载中
致命的爱啊
whatisyourdream
爱情真的好复杂,不管是兄弟之间的爱情,还是恋人之间的爱情,都是爱情,但他们始终是有区别的,我不可能和弟弟在一起,我爱的人是阿铠,而弟弟应该去......
3.1万字1个月前
快穿之小魅魔的幸福之旅 连载中
快穿之小魅魔的幸福之旅
星星爱太阳114
避雷:女主不洁、多cp、快节奏、纯纯爽文!!不虐女主!作为魅魔的卿妤,以爱欲为食,可因为意外招惹上神殿的人,被单独囚禁起来……她发誓早晚有一......
13.4万字1个月前