利用开区间覆盖的约简给出有限覆盖定理的一个新证明
2013-02-05 11:06
274 查看
有限覆盖定理:设$M$是$\mathbf{R}$上的有界闭集.$I$是无限集,$\forall i\in I$,$B_i$都是$\mathbf{R}$上的任意开集.且$M\subseteq \bigcup_{i\in I}B_i$.则必存在$I$的有限子集$S$,使得$M\subseteq \bigcup_{i\in S}B_i$.
证明:由于$\bigcup_{i\in I}B_i$是开集,因此根据开集的构造,可知$\bigcup_{i\in I}B_i$可以分解成至多可数个互不相交的开区间的并.设这些开区间形成集合$\{A_i:i\in J\}$.然后我们沿用开区间覆盖的约简 中的符号.则我们知道,$\forall a\in M$,$a$必被$D\backslash T$覆盖,且只能被$D\backslash T$中的一个或两个元素覆盖.我们把$D\backslash T$中与$M$有交集的元素分离开来,形成一个集合$G$.根据$G$的结构易得$\forall x\in G$,都恰好可以找到相应的$a\in M$,使得$a\in x$(注意要用到选择公理).
假若不存在$G$的有限子集依然覆盖$M$,则易得可以找到一列$M$中的点$a_1,a_2,a_3,\cdots$,其中$\forall i\neq j$,$a_i$与$a_j$都在$G$中的不同元素内(为什么这可以办到?)(注意这里要用到选择公理).根据聚点原理,$a_1,a_2,a_3,\cdots$必定有收敛子列,设该收敛子列收敛到$v$,由于$M$是闭集,必有$v\in M$,$v$也被$G$中的元素覆盖.但是$G$中覆盖$v$的元素必定有长度,这会与“$\forall i\neq j$,$a_i$与$a_j$都在$G$中的不同元素内”矛盾(怎么推出矛盾?).可见假设是错误的.可见$G$必有有限子集覆盖$M$.然后很容易得到$\{A_i:i\in J\}$必有有限子集覆盖$M$(怎么推?),然后容易得到$\{B_i:i\in I\}$必有有限子集覆盖$M$(为什么?).$\Box$
相关文章推荐
- 利用开区间覆盖的约简给出有限覆盖定理的一个新证明
- 利用开区间覆盖的约简给出$\bf{Lindelöf}$覆盖定理的一个新证明
- 利用开区间覆盖的约简给出$\bf{Lindelöf}$覆盖定理的一个新证明
- 实现一个无锁的Stack,并写一段测试代码(多线程访问),证明这个Stack是线程安全的。给出程序以及运行的截图。
- 请给出一个算法,使之对于给定的介于0到k之间的n个整数进行预处理,并能在O(1)时间内,回答出输入的整数中有多少个落在区间[a..b]内,你给出的算法上预处理时间应是O(n+k)。
- 设rand(s,t)返回[s,t]之间的随机小数,利用该函数在一个半径为R的圆内找随机n个点,并给出时间复杂度分析。
- 开区间覆盖的约简
- 【hihocoder 1388】【区间DP】A Game【给出一个数列,两人每次从数列的头尾取数,小ho 先取,小hi每次都采取最优策略,问小ho最终能取得的数的总和最大是多少】
- 利用结构体让线段树有一个区间值的方法更新区间
- 开区间覆盖的约简
- 数据结构1 「在线段树中查询一个区间的复杂度为 $O(\log N)$」的证明
- codeforces 652C C. Foe Pairs(尺取法+线段树查询一个区间覆盖线段)
- 用数学的方法证明利用Random工具取区间[a,b)内随机数的算法
- 利用赛瓦定理的一个证明
- 给出一个区间[a, b],计算区间内“神奇数”的个数。
- 利用字母可以组成一些美丽的图形,下面给出了一个例子
- 一个小贪心 区间覆盖问题
- 给出一个数组 求任意个数的数相加的和等于给定数 输出所有满足条件的数
- 最近利用cocos2d-X做游戏遇见这样一个“无法解析的外部符号 __imp__glLineWidth@4”情况
- 利用索引器搞定了一个通用字典数据加载方式。