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

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

相关小说

疯子又来啦! 连载中
疯子又来啦!
星光曰月
天赐降福佑我族道却何曾手下留天道若不吾存留反了这天又如何回魂肉魄轮回尽,亦是相回白雪纷。每世抗命残伤奄,血发污衣浸红身。自曾梦影现故因,终是......
1.8万字6个月前
快穿:娇软万人迷 连载中
快穿:娇软万人迷
江鱼不是鱼
全员单箭头,一见钟情梗,万人迷,脑子寄存—
4.5万字5个月前
不公定律—打造无罪世界 连载中
不公定律—打造无罪世界
维治托劳斯
嘈杂的声音充斥在教室中,所有人都嘻皮笑脸的,一切都很和谐,但是在这片虚伪的和谐中,藏着许多不为人知的恶劣——对同学的另眼相待,谣言乱飞,校园......
0.5万字6个月前
险命 连载中
险命
莫碎年
【轻微救赎文+双男+穿越+副本游戏】世上是否真的有神,亦或者地狱…?有些人到了绝境时,他们看见了一位白衣人,他声称自己是神明的信使,前来拯救......
0.8万字3个月前
恋综:意外心动 连载中
恋综:意外心动
懒得去想la
第一次写小说,写的不好轻点骂,不喜欢左上角点点。参加恋爱综艺,顾清漓一眼沦陷在程梓穆的帅气与独特里,谁料他心有所属,顾清漓潇洒转身。入住豪华......
3.1万字2周前
繁花锦,百花杀 连载中
繁花锦,百花杀
天山北麓
(多个世界穿梭,多副本。不喜误入哦本文纯属虚构。)夜幕降临时,便是梦的开始。墙壁上摇摆不定的时钟,窗外呼啸而过的风。再次睁眼,你又会是谁呢?......
0.5万字2周前