1. 习题一:证明在欧几里得空间中,任意开球是开集
解题思路: 在欧几里得空间中,开球是指以某一点为中心,以一定半径为距离的所有点的集合。要证明开球是开集,我们需要证明对于开球中的任意一点,都存在一个以该点为中心的开球,其完全包含在该开球内。
证明: 设 ( B_r(p) ) 是以点 ( p ) 为中心,半径为 ( r ) 的开球。对于 ( Br(p) ) 中的任意一点 ( q ),由于 ( q ) 与 ( p ) 的距离小于 ( r ),所以存在一个半径为 ( \frac{r}{2} ) 的开球 ( B{\frac{r}{2}}(q) ),使得 ( B_{\frac{r}{2}}(q) \subseteq B_r(p) )。
因此,对于 ( B_r(p) ) 中的任意一点,都存在一个以该点为中心的开球,其完全包含在该开球内。所以 ( B_r(p) ) 是开集。
2. 习题二:证明在离散拓扑中,任意非空集合都是闭集
解题思路: 离散拓扑是指一个拓扑空间中的所有子集都是开集。要证明在离散拓扑中,任意非空集合都是闭集,我们需要证明对于任意非空集合 ( A ),其补集 ( A^c ) 是开集。
证明: 设 ( A ) 是离散拓扑空间中的非空集合。由于离散拓扑中所有子集都是开集,所以 ( A^c ) 是开集。
因此,在离散拓扑中,任意非空集合都是闭集。
3. 习题三:证明在豪斯多夫拓扑中,任意有限集合都是闭集
解题思路: 豪斯多夫拓扑是指一个拓扑空间中的点集是闭集的充分必要条件是它包含其所有的极限点。要证明在豪斯多夫拓扑中,任意有限集合都是闭集,我们需要证明对于任意有限集合 ( A ),它不包含任何极限点。
证明: 设 ( A ) 是豪斯多夫拓扑空间中的有限集合。由于 ( A ) 是有限集合,所以它不包含任何极限点。
因此,在豪斯多夫拓扑中,任意有限集合都是闭集。
4. 习题四:证明在欧几里得空间中,闭球是闭集
解题思路: 闭球是指以某一点为中心,以一定半径为距离的所有点的集合。要证明闭球是闭集,我们需要证明对于闭球中的任意一点,都存在一个以该点为中心的开球,其完全包含在该闭球内。
证明: 设 ( \overline{B_r(p)} ) 是以点 ( p ) 为中心,半径为 ( r ) 的闭球。对于 ( \overline{Br(p)} ) 中的任意一点 ( q ),由于 ( q ) 与 ( p ) 的距离小于等于 ( r ),所以存在一个半径为 ( \frac{r}{2} ) 的开球 ( B{\frac{r}{2}}(q) ),使得 ( B_{\frac{r}{2}}(q) \subseteq \overline{B_r(p)} )。
因此,对于闭球中的任意一点,都存在一个以该点为中心的开球,其完全包含在该闭球内。所以闭球是闭集。
5. 习题五:证明在欧几里得空间中,开球与闭球之间的交集是开集
解题思路: 要证明在欧几里得空间中,开球与闭球之间的交集是开集,我们需要证明对于交集 ( B_r(p) \cap \overline{B_s(q)} ) 中的任意一点,都存在一个以该点为中心的开球,其完全包含在该交集中。
证明: 设 ( B_r(p) \cap \overline{B_s(q)} ) 是欧几里得空间中开球与闭球之间的交集。对于 ( B_r(p) \cap \overline{B_s(q)} ) 中的任意一点 ( q ),由于 ( q ) 同时属于开球 ( B_r(p) ) 和闭球 ( \overline{B_s(q)} ),所以 ( q ) 与 ( p ) 的距离小于 ( r ),且 ( q ) 与 ( q ) 的距离小于等于 ( s )。
设 ( t = \min{r - d(p, q), s - d(q, q)} ),其中 ( d(p, q) ) 表示点 ( p ) 和点 ( q ) 之间的距离。则存在一个半径为 ( t ) 的开球 ( B_t(q) ),使得 ( B_t(q) \subseteq B_r(p) \cap \overline{B_s(q)} )。
因此,在欧几里得空间中,开球与闭球之间的交集是开集。
