研究生

研究生拓扑学一般拓扑学


开集和闭集


在拓扑学研究中,基本概念之一是开集闭集。这些概念是构建更复杂结构的基础。虽然开集和闭集看似抽象,但实际上它们与我们对几何和空间的直观理解密切相关。

对开集的直观理解

想象一下你在一个大公园中。如果我们把这个公园视为一个空间,那么选择这个公园中的任意位置就等同于选择空间中的一个'点'。现在,想象一个没有边界围栏的野餐地点。你可以自由进出这个空间而无需穿越任何边界。这类似于拓扑学中的开集

从数学上讲,当你可以在一个集合中移动而不会触及其边缘时,该集合被称为开集。对于集合中的每个点,你可以在该点周围找到一个小的邻域,这个邻域也完全在集合之内。

视觉表示

开集

在上面的图中,整个浅蓝色区域表示一个开集。如果你在圆内选择任何一点,你可以在它周围找到一个小的邻域(可能是另一个较小的圆),它仍然完全包含在浅蓝色区域内。

闭集:一个悖论

现在让我们想象同一个公园,但这次有一个围栏。如果你在这个公园内,你可以到达围栏。这就像是一个闭集。在拓扑学中,如果一个集合包含它的所有边界点,则称为闭集

闭集的另一种思考方式是通过它们与开集的互补关系。一个集合是闭集,如果它的补集(不在其中的所有东西)是一个开集。这产生了拓扑学的一项重要性质——集合可以既是开集又是闭集,或者既不是开集也不是闭集。

视觉表示

闭集

在这个图中,浅珊瑚色区域是一个闭集。如果你在黑色边缘(边界)上选择一个点,它仍然被视为这个闭集的一部分。

形式定义

既然我们已经了解了直观的概念,现在让我们来看一下更正式的定义。

开集定义

在拓扑空间(X, τ)中,一个集合U称为开集,如果U是拓扑τ的一个成员。这意味着,U ∈ τ

数学上可以表示为:对于U中的每个点x,在x周围存在一个邻域V,使得V完全包含在U中。

闭集定义

在拓扑空间(X, τ)中,一个集合F称为闭集,如果它的补集X F是一个开集。也就是说,X F ∈ τ

简单来说,闭集是包含其所有极限点(边界点)的集合。

来自欧几里得空间的文本示例

在熟悉的欧几里得空间R^n中,开集和闭集的概念与我们传统的理解相对应:

  • R中,开区间 (a, b)是开集的一个例子。
  • 闭区间 [a, b]是闭集的一个例子。
  • 空集和整个空间R^n都是开集和闭集,称为闭开的集合。这似乎很矛盾,但请记住,这些是拓扑学中的极限情况。
  • R^2中,没有边界的开圆盘是一个开集。
  • 包括其边界圆的闭圆盘是一个闭集。

开集的性质

在一般拓扑空间中,开集的一些特征是:

  • 任意集合的并集是开集。换句话说,如果{U_i}X中是开集,那么它们的并集∪U_i也是开集。
  • 有限个开集的交集是开集。因此,如果U_1, U_2, ..., U_nX中是开集,那么U_1 ∩ U_2 ∩ ... ∩ U_n是开集。
  • 根据拓扑的定义,空集和整个空间X总是开集。

闭集的性质

闭集具有两倍于开集的优良性质:

  • 任意集合的交集是闭集。因此,如果{F_i}X中是闭集,那么∩F_i也是闭集。
  • 有限个闭集的并集是闭集。因此,如果F_1, F_2, ..., F_nX中是闭集,那么F_1 ∪ F_2 ∪ ... ∪ F_n是闭集。
  • 与开集一样,空集和整个空间X也被认为是闭集。

边界和边界点

为了进一步加强我们的理解,让我们深入研究一下极限和极限点的概念。

极限点

边界是拓扑空间中集合A的一组点,这些点可以从A的内侧和外侧到达。边界点不一定位于A或其补集中,而是位于边界上。

极限点

极限点(或聚点)是集合A中的一个点x,使得x的每一个开邻域都至少包含一个A中的点且不同于x。闭集包含其所有的极限点。

示例和练习

让我们通过一些例子来运用我们所学的知识:

  1. 例1:考虑集合(0, 1) ∪ (2, 3)R中开吗?
    答案:是的,它是开集,因为(0, 1)(2, 3)都是R中的开区间。
  2. 例2:考虑集合[0, 1] ∪ (2, 3]R中闭吗?
    答案:它不是闭集,因为点2[0, 1] ∪ (2, 3]的一个极限点,但不包含在其中。
  3. 例3:证明任意集合的开集并集是开集。
    解决方案:{U_i}_i是拓扑空间X中任意开集集合。对于任意点x ∈ ∪U_i,存在一个i使得x ∈ U_i。由于U_i是开集,它有一个完全包含在U_i中的邻域,因此也在∪U_i中。
  4. 练习:证明有限个闭集的交集是闭集。

结束语

开集和闭集的概念是拓扑学,这一丰富的抽象但应用数学领域的重要组成部分。这些概念有助于定义边界,并在拓扑空间内理解极限、连续性和收敛性方面发挥着基础性作用。

理解开集和闭集为进一步探索更深层次的概念如密度、连通性和不同类型的连续体打开了大门,从而为理解更复杂和美丽的数学理论铺平了道路。


研究生 → 3.1.1


U
username
0%
完成于 研究生


评论