232直线上闭集和完备集的构造.docVIP

　2.3.2? 直线上闭集和完备集的构造 　　定理2.3.2 ?设 是一非空有界闭集，则 中必有一最大点（最大数）和一最小点（最小数）. 　　证明 ?因 有界，故有 使 . 从而 　　即 中所有 作成一有上界的数集，设 是它的上确界. 故于任意 ，恒有 ，使 . 若 则 . 若 ，则说明 ，于是也有 . 所以 中有最大点已得证. 类似地可以证明 中有最小点 . 　　定理2.3.3? 设 是任一非空有界闭集，则 由一闭区间中去掉有限个或可列多个互不相交的开区间而成，这些开区间的端点都还是属于 的. 　　证明? 由定理2.3.2知 ， . 故 是一开集. 因此，由定理2.3.1，知 是有限个或可列个互不相交的开区间的并，即 . 这些开区间的端点都是不属于 的，因此属于 . 又 ，故　　　　 ，( 为有限或 ) 　　定理得证.　在定理2.3.3的证明中，去掉的那些开区间的端点都是属于 的. 所以 是孤立点的充分必要条件是：它是两个被去掉开区间的公共端点，或者是 与某一个被去掉的开区间的公共端点.而完备集是不含孤立点的闭集，因此我们立即可以得到下面完备集合的构造定理. 　　定理2.3.4 ?直线 上的非空有界完备集 是从一闭区间 中去掉有限个或可列个彼此没有公共端点且与原来的闭区间也没有公共端点的开区间而成，这些区间的端点都是属于 的. 本节主要讨论了直线上开、闭集和完备集的构造. 由于直线上闭集和完备集的构造是以开集的结构为基础而得到的，而且开集又是以后讨论其它问题的基础，因此，尤其要掌握直线上开集的构造. 中开集的结构比直线上开集的结构复杂得多