关于有限覆盖定理的证明.pdf

关于有限覆盖定理的证明 Carbon.Chen October 31, 2013 Contents 1 说在前⾯ 1 2 记号及定理阐述 1 3 定理证明 1 4 写在最后 2 5 参考⽂献 2 1 1 说在前⾯ 10 ⽉ 25 ⽇是张巍班上的数分期中测试，果然班长在期中前就找了⼀份前两年 的数分卷来做（不过看上去不像张巍班的卷⼦……）。最后⼀道题是让你证明有 限覆盖定理。去杭州⽐赛的路上还是挺⽆聊的，就在车⼦上yy 了⼀个构造性 的证明（据⾦总说，似乎和教科书上见到的都不太⼀样）。到杭州后和⾦总交流 了⼀下，⼀开始被challenge 了，随后⼜修补了⼀下，现在开来似乎没有什么问 题，于是写个⽂档交流⼀下。 2 记号及定理阐述 Definition 1. 开覆盖：集合 A a , b 是⼀组开区间，U 是⼀个数集合， 若 U ∪a , b ，则称开区间簇A 覆盖了 U Theorem 1. 有限覆盖定理：A 是闭区间 α, β 的⼀簇开覆盖，则必有有限的 A′ A，使得A′ 也是 α, β 上的开覆盖 3 定理证明 设A 是 α, β 上的⼀簇开覆盖，为了⽅便不妨设： ia , b A, a α , β b (1) ⾸先定义如下⼀种构造⽅法： 设定初始覆盖集合为ϕ，构造数列R，初始为空，待覆盖区间为α, β ，考察如 下开区间簇： A a , b a , b A a a b (2) 其中中所有的b 构成了集合B ，显然，B 集合是有界的，设SupB MaxB ， 下⾯分两种情况讨论： 1. b B, b SupB 在这种情况下取开区间 a , b 加⼊覆盖集，并把 b 加⼊数列 R。 2. b B, b SupB 考虑 SupB，因为A 是 α, β 上的开覆盖，所以 j, a , b A, a SupB b 由SupB 的定义，i, a , b A, b a 则把如上提到的 a , b 和 a , b 加⼊覆盖集，并把 b 加⼊数列 R。