You need to enable JavaScript to run this app.
最新活动
大模型
产品
解决方案
定价
生态与合作
支持与服务
开发者
了解我们

为何紧集等价于闭集?关于开单位圆盘紧性的疑问

关于紧集、单位开/闭圆盘的困惑解答

嘿,这个问题问得特别好——很多人刚学紧集的时候都会在开/闭圆盘的例子上卡壳,咱们一步步拆解清楚:

单位开圆盘有没有有限子覆盖?

答案是没有,咱们可以构造一个具体的开覆盖来直观证明:
考虑单位开圆盘 (U = { (x,y) \in \mathbb{R}^2 \mid x^2 + y^2 < 1 }),我们定义一列开集:

  • (U_n = { (x,y) \mid x^2 + y^2 < 1 - \frac{1}{n} }),其中n取1,2,3,...

这列开集的并集正好是U:因为对于U里的任意一点((a,b)),它到原点的距离平方(a^2 + b^2 = \alpha < 1),总能找到足够大的n,使得(1 - \frac{1}{n} > \alpha),所以这个点一定在某个(U_n)里。

但这列开集没有有限子覆盖:假设我们取有限个这样的(U_n),比如最大的下标是N,那么这有限个开集的并集就是(U_N),它的半径是(1 - \frac{1}{N} < 1)。那U里的点((0, 1 - \frac{1}{2N}))(它到原点的距离是(1 - \frac{1}{2N}),显然小于1)就不在(U_N)里,也不在任何下标小于N的(U_n)里——这就说明有限个开集覆盖不了整个U。

所以单位开圆盘不满足紧集的核心定义:每个开覆盖都有有限子覆盖

为什么紧集等价于闭集?(注意前提!)

首先得纠正一个容易踩的误区:“紧集等价于闭集”这个结论不是在所有拓扑空间都成立的,它在(\mathbb{R}^n)这种度量空间里才成立,而且准确来说是“紧集当且仅当闭且有界”——这就是经典的海涅-博雷尔定理

咱们先看为什么紧集一定是闭集(用反证法很容易理解):
假设K是紧集,但不是闭集,那根据闭集的定义,K存在一个极限点x,而x不在K里。

  • 因为x是K的极限点,所以每个包含x的开集都和K相交;
  • 又因为x∉K,对于K里的每个点y,我们可以找到两个不相交的开集:一个包含y的(U_y),一个包含x的(V_y)(度量空间里“两点之间有确定距离”,总能找到这样的互不相交的开邻域)。

现在,所有的(U_y)构成了K的一个开覆盖。因为K是紧集,所以这个开覆盖一定有有限子覆盖,比如(U_{y_1}, U_{y_2}, ..., U_{y_k})。
我们把对应的(V_{y_1}, ..., V_{y_k})取交集,得到一个开集(V = V_{y_1} ∩ ... ∩ V_{y_k}),这个V包含x,而且和每个(U_{y_i})都不相交,所以V和K完全不相交——这就和x是K的极限点矛盾了!

所以紧集一定是闭集。反过来,在(\mathbb{R}^n)里,闭且有界的集合也一定是紧集(海涅-博雷尔定理的另一半),这就是为什么单位闭圆盘是紧集(它闭且有界),而单位开圆盘不是(它有界但不闭,边界点不在集合里)。

内容的提问来源于stack exchange,提问作者SteveK3223

火山引擎 最新活动