2021年04月09日 实分析笔记
欧耀彬 教二2405
定义2.3. 设 是拓扑空间.
是闭集当且仅当 是开集.
空集和全集既开又闭,闭集的有限并和任意交为闭集.
的闭包 是包含 的最小闭集,即包含 的所有闭集的交集.
为紧集当且仅当 的每个开覆盖包含有限子覆盖.
为紧空间当且仅当 是紧集.
任何一个包含点 的开集被称为 的邻域.
若 是Hausdorff空间,则对于任意 ,存在 和 的邻域 ,使得 .
上述性质也被称为Hausdorff分离公理.
是局部紧的,当且仅当,对于任意 ,存在 的某个邻域 ,满足 是紧集.
由于 中的紧集=有界闭集(Heine-Borel定理),对于任意 ,存在包含 的开球含于 ,开球的闭包是闭球,即为有界闭集,因而 是局部紧的空间.
定理2.4.(紧集的闭子集是紧集) 是紧集, 是闭集,且 ,则 是紧集.
证:
设 是 的开覆盖,则 是 的开覆盖,也为 的开覆盖.
由 是紧集知,存在 使得 .
于是,.
因此, 是紧集.
推论. 若 ,且 有紧闭包,则 也有紧闭包.
证:
因 , 是包含 的最小闭集,则 .
由定理2.4知, 是紧集.
定理2.5. 设 是Hausdorff空间, 紧,,则存在开集 使得 ,且
证:
对于任意 ,因 ,故 .
则存在开集 ( 固定),使得 ,且 .
由于 紧,且被 覆盖,则存在有限子覆盖 ,使得 .
令 ,.
则 ,且
推论:
证:
设 是Hausdorff空间 的紧子集,下面证明 是开集.
对于任意 ,由定理2.5知,存在开集 使得 ,且
于是,,因此 是开集.
注意到, 含于所有 的邻域的并,且所有 的邻域的并含于 ,而开集的任意并为开集.
由1知, 也是闭集,于是 是闭集.
再由紧集的闭子集也是紧集知, 是紧集.
定理2.6. 设 是Hausdorff空间中的紧子集族,且 ,则存在 中的有限个紧子集使得其交集为空集.
证:令 ,则 是开集.
对于 中的某个紧子集 ,由 知,
即 是紧集 的开覆盖.
于是,存在有限子覆盖 使得 .
因此,
定理2.7. 设 是局部紧的Hausdorff空间, 开, 紧,则存在具有紧闭包的开集 ,使得
分析:在实轴上,由实数的稠密性,即任意两个实数之间存在第三个实数,那么,对于开子区间含于闭区间的情形,上述 是存在的.
证:
因 是局部紧的,则对于 的任意一点 ,存在一个邻域 ,使得 是紧集.
且由于 是紧集, 可被有限个邻域覆盖,即 .
记上述有限个邻域的并为 ,即 。
因此, 是紧集.
若 ,则取 即可.
若 ,令 ,由定理2.5知,对于任意 ,存在开集 满足
显然, 是闭集,,由 知 .
于是,
对于紧集族 ,满足
由定理2.6知,存在 使得
取 ,即为所求,且