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

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://tongren.me),接着再看更方便。

相关小说

年年有鱼福气到 连载中
年年有鱼福气到
Kk神探书怪
想必大家听到的关于年兽的故事,版本大抵都是这样的吧:“年”是天界一只会吃人作恶的猛兽,于是,被锁在石柱子上,由紫微星君看守,使此邪兽不能下界......
0.6万字6个月前
戏子中的女孩:等着,我不会忘你 连载中
戏子中的女孩:等着,我不会忘你
路戏人悲平常心己
主角世界观十分宏大,至今为止,网上绝对没有一个人能超越!更改中……更改内容,名字题目这只是第三本的一个介绍,介绍世界世界观的一本小说,我只能......
2.9万字5个月前
黑白翻转 连载中
黑白翻转
静水边liar
与君初识,却似蓄谋已久。
0.1万字5个月前
风音之恋 连载中
风音之恋
乐_267682890816560514
风音之恋,也有别的CP哦
0.0万字5个月前
阁宝 连载中
阁宝
喜慕
打小住在天虚阁的孟月天,以为天虚阁就是她的家,天虚阁的街坊四邻是自己的家人,从小到大一起长大的何九,是自己最信赖的朋友,一次外人的闯入,打破......
14.2万字5个月前
梦醒精灵起舞 连载中
梦醒精灵起舞
麋鹿悠晴
梦一次一次的轮回,蓝诺朝着天大喊:“这到底是现实还是梦里啊!我快要疯了!”梦里一道声音响起,蓝诺努力地睁开眼睛,却是一片黑暗,只听见一句:“......
10.3万字5个月前