1 基本定义
闭集是拓扑学中的基础概念之一，通常用来描述“把边界上的极限也包含进去”的集合。它与开集相对，常通过补集、极限点或收敛序列来刻画。在不同空间中，闭集的具体含义会随拓扑结构而变化，但核心思想保持一致：集合内部可逼近的极限若仍留在集合内，则该集合具有闭性。
1.1 拓扑空间中的闭集
在拓扑空间中，若一个集合的补集是开集，则称该集合为闭集。这里的“开”与“闭”并不是绝对属性，而是相对于所给拓扑而言。也就是说，同一个点集在不同拓扑下，可能同时是闭集、开集，或者既非开也非闭。
从结构上看，闭集体现了空间中的一种“封闭边界”特征：集合外部无法通过空间中的开邻域直接穿入其内部而不触及补集。这种性质使闭集成为构造连续性、极限过程与分离性质的重要工具。
1.2 极限点与闭包
极限点是判断闭集的重要概念。若集合中包含所有与之相贴近的极限点，通常就具有闭性。闭包则是把一个集合“补全”为最小闭集的标准方式。
1.2.1 闭包的定义
一个集合的闭包，指包含该集合的最小闭集。也可以理解为原集合加上它的全部极限点后得到的集合。闭包记号通常写作 \(\overline{A}\)，表示对集合 \(A\) 的“闭合扩展”。
1.2.2 闭集与闭包的关系
集合 \(A\) 是闭集，当且仅当 \(A=\overline{A}\)。换言之，闭集对自身的闭包运算不产生新元素。若一个集合不是闭集，则它的闭包会严格大于原集合，至少多出一部分边界极限点。
1.3 序列刻画
在许多常见空间中，闭集可以通过序列极限来描述。这种方式尤其适合分析学，因为它把集合的闭性转化为“收敛是否留在集合内”的问题。
1.3.1 序列收敛与闭集
若集合 \(A\) 中任意收敛序列的极限都仍属于 \(A\)，则 \(A\) 是闭集。这个判定方式直观地表明：闭集不会“丢失”由内部点列逼近得到的极限。反之，只要存在一个序列在 \(A\) 内收敛，但极限落在 \(A\) 外，就说明 \(A\) 不是闭集。
1.3.2 第一可数空间中的等价表述
在第一可数空间中，序列刻画与极限点刻画是等价的，因此闭集可由序列收敛性质完整判断。这类空间中，每个点都有可数邻域基，因而用序列就足以捕捉闭包与极限点信息。许多熟悉的空间，如度量空间，均属于这一类。
2 基本性质
闭集在拓扑运算中具有良好的稳定性，尤其体现在与开集的对偶关系以及与集合运算的兼容性上。这些性质构成了拓扑学中大量证明的基础。
2.1 与开集的对偶关系
闭集与开集彼此对应，二者在逻辑结构上呈现明显的对偶性。很多关于开集的结论，可以通过取补集转化为闭集结论。
2.1.1 补集为开集
一个集合是闭集，当且仅当它的补集是开集。这一定义简洁而实用，常作为最直接的判断标准。由于开集与闭集互为补集，拓扑空间中的许多性质也因此可以成对出现。
2.1.2 开闭集与既开又闭集
既是开集又是闭集的集合，通常称为开闭集或既开又闭集。在连通空间中，开闭集往往只有空集和整个空间两种形式，因此它们常被用来研究空间的连通性。若一个空间具有非平凡的开闭集，通常说明其结构可以进一步分解。
2.2 代数运算性质
闭集在有限次集合运算下表现出很好的封闭性，但在无限并等操作下则未必保持闭性。这种差异体现了拓扑结构的精细性。
2.2.1 任意交的闭性
任意多个闭集的交仍是闭集。直观上，交运算只会保留各闭集共同包含的部分，不会引入新的极限缺口。因此，无论交集的指标集是否有限，只要每个参与集合都闭，结果依旧闭。
2.2.2 有限并的闭性
有限个闭集的并仍是闭集。与交运算不同，并运算会扩大集合，但只要并的数量有限，闭性不会丢失。需要注意的是，闭集的任意并未必闭，这一点与开集“任意并仍开”形成对照。
2.3 闭包运算
闭包是连接集合与闭集概念的核心操作。它将原集合扩张为闭集，并保留集合中最关键的极限信息。
2.3.1 闭包的幂等性
对任意集合先取闭包，再对结果取闭包，得到的仍是原来的闭包，即 \(\overline{\overline{A}}=\overline{A}\)。这说明闭包已经完成了“补全”过程，再次运算不会产生新的内容。
2.3.2 闭包的单调性
若 \(A\subseteq B\)，则 \(\overline{A}\subseteq \overline{B}\)。也就是说，集合包含关系会被闭包运算保留。这一性质在比较两个集合的极限结构时很有用。
2.3.3 闭包与并交运算
闭包与并的关系较为紧密，通常有 \(\overline{A\cup B}=\overline{A}\cup\overline{B}\)。而与交的关系则更微妙，一般只有包含关系成立，不一定有等号。此类性质说明闭包对“合并”较为友好，但对“共同部分”的处理更为保守。
3 典型例子与反例
闭集的概念在实数集合中最容易理解。通过典型例子与反例，可以直观看出哪些集合包含边界极限，哪些集合会在边界处“漏掉”一些点。
3.1 实数集中的闭集
在实数轴上，闭集与数轴几何直观联系紧密。很多熟悉的集合，如区间、单点集、有限集，都可以直接检验其闭性。
3.1.1 闭区间
闭区间 \([a,b]\) 是最典型的闭集。它包含两端点，因此内部点列向边界逼近时，其极限仍留在区间内。闭区间常被用来说明闭集的“端点封闭”特征。
3.1.2 单点集与有限集
实数中的单点集是闭集，因为其补集开。更一般地，有限集在通常实数拓扑下也是闭集。有限个点不会留下新的极限点，因此不会因取闭包而扩张。
3.2 非闭集示例
非闭集往往表现为“少了边界上的点”。这类集合虽然在内部看起来完整，但在极限意义下仍有缺口。
3.2.1 开区间
开区间 \((a,b)\) 不是闭集，因为它不包含端点 \(a\) 和 \(b\)。区间内的序列可以收敛到端点，但端点并不属于该区间，因此闭性失败。
3.2.2 半开区间
半开区间如 \([a,b)\) 也不是闭集。它保留了一侧端点，却遗漏了另一侧端点，因此在极限点方面不完整。此类集合常用于分析中的局部构造，但不满足闭集要求。
3.3 边界型集合
边界型集合的关键在于“边界点是否纳入”。这类例子最能体现闭包、边界和稠密性的联系。
3.3.1 边界点的包含与否
一个集合是否闭，往往取决于其边界点是否都包含在内。若边界点全部收纳，则集合通常闭；若遗漏某些边界点，则集合常非闭。边界点的处理是判断闭性的核心环节之一。
3.3.2 稠密集合的闭包
稠密集合的闭包常常是整个空间。比如有理数集在实数中稠密，但它本身不是闭集，因为它缺少大量极限点。稠密性说明一个集合可以“铺满”空间，但未必自身闭合。
4 闭集的判定方法
闭集的判定有多种等价路径，实际使用时常根据问题背景选取最方便的方式。补集法最直接，极限点法最本质，序列法则最便于计算与分析。
4.1 通过补集判断
若集合的补集是开集，则该集合闭。这是最标准的定义式判定方法，适合在已知开集结构的场景下使用。很多时候，只需验证补集中的每个点都能找到适当的开邻域即可。
4.2 通过极限点判断
若集合包含其所有极限点，则它是闭集。该方法强调集合对“逼近极限”的容纳能力，常用于研究由点列或曲线构成的集合。极限点法尤其适合处理边界复杂的集合。
4.3 通过序列判断
在适用的空间中，只要检查“集合内任意收敛序列的极限是否仍在集合内”即可。该方法将拓扑问题转化为分析中的收敛问题，因此在函数空间、度量空间中非常常见。
4.4 通过连续映射判断
闭集与连续映射之间有深刻联系。连续性常把闭集的结构从一个空间传递到另一个空间，或通过原像来保留闭性。
4.4.1 连续映射下闭集的原像
连续映射对开集的原像保持开性，因此对闭集的原像也保持闭性。若 \(f\) 连续，且 \(C\) 是目标空间中的闭集，则 \(f^{-1}(C)\) 是定义域中的闭集。这是分析中最常用的闭集传递性质之一。
4.4.2 闭映射与像的闭性
闭映射是指把闭集映成闭集的映射。与连续映射不同，闭映射关注的是“像”而不是“原像”。不过，并非所有连续映射都是闭映射，像的闭性往往需要额外条件。
5 闭集的相关概念
闭集并不是孤立概念，它与闭包、内部、边界、外部等一系列概念共同构成集合论与拓扑分析的基本框架。
5.1 闭包
闭包是包含原集合的最小闭集，既保留原点集，也补上其极限点。它是判断闭集、描述稠密性和定义边界的重要工具。许多性质都可以通过闭包来重新表述。
5.2 内部与边界
一个集合可分为内部、边界和外部三部分。闭集通常在边界处理上更完整，而内部则反映集合真正“向内”的开结构。
5.2.1 内部点
若某点存在一个完全包含于集合内的邻域，则称其为内部点。内部点体现了集合中不受边界影响的部分。一个集合的内部通常是开集。
5.2.2 边界点
边界点是指无论取多小的邻域，都同时与集合及其补集相交的点。闭集的一个典型特征，是尽可能把边界点纳入集合本身。边界常是判定闭性时最敏感的区域。
5.2.3 外部点
若某点存在一个完全落在集合补集中的邻域，则称为外部点。外部点与内部点互为对应，二者之间通过边界分隔。闭集与外部点的关系通常通过补集开性体现出来。
5.3 正则闭集与完美集
在更细致的拓扑分类中，闭集还可进一步细分为具有特殊结构的类型。这些概念有助于研究集合的局部可分解性和极限点密度。
5.3.1 正则闭集
正则闭集通常指可以表示为某个开集闭包的闭集，即等于其内部的闭包的闭集。它们在结构上较为“规整”，常出现在分离性质和一般拓扑研究中。
5.3.2 完美集
完美集是指闭且没有孤立点的集合。也就是说，每个点都是极限点。完美集在实分析和点集拓扑中具有重要地位，典型例子包括某些分形集合和实数中的特定闭集。
6 特殊空间中的闭集
闭集的表现会因空间类型不同而有所差异。度量空间、欧氏空间和子空间拓扑中，闭集各有直观解释，但都遵循同一基本逻辑。
6.1 度量空间中的闭集
在度量空间中，距离为闭集提供了可计算的刻画方式。点与集合的距离、开球与闭球、收敛与完备性等都与闭性密切相关。
6.1.1 开球与闭球
开球是以某点为中心、半径内所有点组成的集合，通常是开集；闭球则包含边界上的点，往往是闭集。两者的区别直观地反映了“是否包含边界”的问题。
6.1.2 完备性背景下的闭集
在完备度量空间中，闭集常与极限过程紧密关联。闭子集在适当条件下也会保持完备性，这使闭集在泛函分析与度量结构中格外重要。完备性与闭性结合后，常能推出更强的收敛结论。
6.2 欧氏空间中的闭集
欧氏空间是最常见的几何环境，闭集在其中具有明确的空间直观。平面、空间及更高维欧氏空间中的闭集，常可通过图形边界来理解。
6.2.1 几何图形的闭性
线段、圆、球面、矩形等几何图形中，凡是把边界一并纳入的对象，通常是闭集。若图形缺少边界部分，则往往不是闭集。这种区分在几何建模中十分常见。
6.2.2 闭子集的直观理解
欧氏空间中的闭子集可以理解为“在所处环境里不漏点”的集合。即使图形形状复杂，只要其极限点都包含在内，就具有闭性。对于曲线、区域和点集，这一判断通常都适用。
6.3 子空间拓扑中的闭集
在子空间拓扑中，闭性是相对于父空间与子空间同时定义的。一个集合在整体空间中未必闭，但在子空间内部却可能闭。
6.3.1 相对闭集
若一个集合与某个子空间的交集在该子空间中是闭集，就称它在该子空间中相对闭。相对闭性强调的是“局部环境”中的闭，而不是全空间中的绝对闭。
6.3.2 子空间中的闭包
子空间中的闭包，是在子空间拓扑下对集合进行闭合所得的结果。它一般等于全空间闭包与子空间的交集。这个公式使得在局部环境中研究闭集变得较为方便。
7 闭集的应用
闭集不仅是抽象定义，也在分析、几何与拓扑证明中承担关键角色。它常用于保证极值存在、刻画紧致结构和辅助分离论证。
7.1 极值存在性
闭集与极值问题关系密切。许多连续函数要想取得最大值或最小值，定义域的闭性是重要前提之一。
7.1.1 连续函数在闭集上的性质
连续函数在闭集上的极限行为通常更可控。若取值过程沿着集合内部推进并收敛，则闭集能帮助确保极限点不逃出定义域，从而便于讨论最值和边界行为。
7.1.2 闭区间上的最值定理
实分析中的最值定理指出，连续函数在闭区间上必能取到最大值和最小值。闭区间的闭性是该定理的必要条件之一，因为它保证端点和逼近极限都不会丢失。
7.2 紧致性相关应用
闭集与紧致性之间存在广泛联系，尤其在欧氏空间和度量空间中，闭集经常作为紧集的重要组成部分。
7.2.1 闭集与紧集
在某些空间里，闭集配合有界性可推出紧致性，例如欧氏空间中的闭且有界集合。这里闭性负责“补上极限”，而有界性则控制“不会跑远”。两者结合后，常得到良好的极限性质。
7.2.2 闭子集与紧空间
紧空间中的闭子集通常仍然紧。这一结论在证明中非常常用，因为它允许从整体紧性转移到局部闭结构。闭子集因此成为保存紧致性的自然对象。
7.3 连通性与分离性
闭集在连通性证明和分离结构分析中也很常见。它常作为构造分解、检验不可分解性或建立分离邻域的基础材料。
7.3.1 闭集在分离证明中的作用
在证明两个集合可分离时，常需要构造互不相交的开集或闭集。闭集作为补集或边界控制对象，可帮助完成分离论证。许多分离公理的表述，也都依赖闭集语言。
7.3.2 连通分支中的闭集结构
连通分支通常具有闭性。也就是说，一个连通分支不仅是连通集合，还常作为整个空间中的闭子集出现。这使得连通分支在空间分解中扮演稳定单元的角色。
8 进阶内容
在更抽象的数学框架中，闭集不只是一个单独概念，而是拓扑结构、公理系统和代数几何、凸分析等理论中的组织核心。
8.1 闭集族与拓扑公理
拓扑可以通过开集族定义，也可以通过闭集族刻画。闭集之间的运算规律本身就足以恢复拓扑结构。
8.1.1 闭集公理
闭集族通常满足三条基本公理：空集和整个空间是闭集；任意交仍是闭集；有限并仍是闭集。这些公理与开集公理完全对应，表明拓扑结构可以从闭集系统独立建立。
8.1.2 由闭集定义拓扑
若在一个集合上指定一族满足闭集公理的子集，就能据此定义拓扑。此时，开集被视为这些闭集的补集。这样做在抽象证明中十分方便，因为有些性质用闭集表述比用开集更自然。
8.2 一般化闭集概念
随着数学分支的发展，闭集概念被推广到更多语境中，形成若干“相对闭”或“代数闭”的变体。
8.2.1 相对闭集
相对闭集强调的是在某个子空间、某个子结构或某种限制环境下的闭性，而不一定对应全局闭集。它常出现在局部分析和相对拓扑中。
8.2.2 代数闭集
在代数几何中，代数闭集通常指由多项式方程组的公共零点构成的集合。这类闭集并非由通常的度量或开邻域定义，而是由代数结构决定，因此具有不同于一般拓扑闭集的性质。
8.2.3 凸分析中的闭集
在凸分析中，闭凸集是研究优化和分离定理的重要对象。闭性保证极限不会逸出集合，凸性则保证线段结构被保留。二者结合后，常能导出良好的最优化结论。
8.3 相关定理
围绕闭集，许多定理揭示了其在极限过程中的稳定性。它们常用于证明序列收敛、集合交并、紧致性传递等结论。
8.3.1 闭集嵌套定理
闭集嵌套定理通常讨论一列递减闭集在紧空间或满足附加条件时的交集非空性。该定理说明闭集链条在适当环境下不会“无限缩空”，因此是构造极限对象的重要工具。
8.3.2 闭集交并极限性质
闭集的交并在极限意义下常表现出较强的稳定性。交运算通常保留闭性，而无限并则需要额外条件才能保持闭性。研究这些极限性质，有助于理解拓扑空间中的收敛结构与集合逼近行为。