@集和直线上的点集 直线上的点集 实数直线和区间 开集 设x0是直线上的一点,包含x0的任何一个开区间(α,β)称作x0的一个环境(或领域)。特别,如果ε是一个正数,称(x0-ε,x0+ε)为x0的ε-环境,记为O(x0,ε)。设A是直线上的一个不空的点集,x0∈A,如果存在x0的环境(α,β)⊂A,那么x0称为点集A的内点。 开集的定义:设G是直线上的一个不空的点集,如果G中每一点都是G的内点,称G是开集。 定理1: (i) 空集和全直线是开集; (ii) 任意一族开集的和集是开集; (iii) 有限个开集的通集是开集。