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

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

相关小说

重生?迪恩你个老六! 连载中
重生?迪恩你个老六!
罪恶中介阎君
机设,男迪,非拟人动画迪预警!迪恩重生后开始“摆烂”,剧情又会按照怎样的方向发展呢?作者雷迪息!!!
3.0万字5个月前
狼人杀中的秘密 连载中
狼人杀中的秘密
回嫣
1.1万字5个月前
走吧,赚钱(名字:驱死病害) 连载中
走吧,赚钱(名字:驱死病害)
烂人王
【双男主】【黑暗】【刀子多】【死亡】【多CP但还算正经】【要素较多】(我不会做小说插图)《五胡乱华》《甲午战争》《克里米亚战争》《第一次世界......
0.9万字3个月前
穿成反派大小姐后我躺赢了 连载中
穿成反派大小姐后我躺赢了
空花亦落果
常年排行垫底的系统菁菁被前辈扔到了反派大师姐身边,任务竞是阻止她崩坏位面!!菁菁欲死无泪,战战兢兢的跟着这个暴躁大师姐走过一个又一个位面。本......
1.7万字2个月前
异者…… 连载中
异者……
凌琳灬
在这宇宙中有七位神明,分别是水神,草神,掌管地狱的神明,掌管赤焰的神明,掌管公正的神明,还有那诡计之神,数据的神明。在这宇宙还没创造之前,却......
0.7万字1个月前
致命的爱啊 连载中
致命的爱啊
whatisyourdream
爱情真的好复杂,不管是兄弟之间的爱情,还是恋人之间的爱情,都是爱情,但他们始终是有区别的,我不可能和弟弟在一起,我爱的人是阿铠,而弟弟应该去......
3.1万字1个月前