2.5-点集间的距离.pptVIP

* * 机动 目录 上页 下页 返回 结束 * §4 一维开集、闭集、完备集的构造 本节所讨论的数集特指一维空间R1的数集, 不再每次声明。 直线R1上开集的构造 下面我们考虑直线R1上开集的构造. 设A 为直线R1上的开集, (a, b)为一个有界或无界开区间. 若(a, b) ?A, 并且区间的端点a, b不属于A, 则称(a, b)为A的一个构成区间. 如下图, (a, b)和(c, d)都是A 的构成区间, 但(c1, d1) 不是. 定理1 (开集的构造定理)直线上的每个非空开集都可以表示成至多可数个互不相交的构成区间的并.这些开区间 的端点都不属于这个开集。 证明： 分几个步骤. (i) 设G为R1中的开集. 先证对任意x∈G, 存在G的一个构成区间(a, b) , 使得x∈(a, b) . 由于G是开集, 故存在开区间(α, β), 使得 令 这与a 的定义矛盾. 所以a? G. 类似可证b? G . 则x∈(a, b). 往证(a, b)是G的构成区间. 设x′∈(a, b), 不妨设a x′ x. 由a 的定义, 存在 (α, β), 使得a α x′, 并且x∈(α, β) ? G . 因此, x′∈(α, x) ? (α, β) ?G . 故(a, b) ?G.