极限点

在数学中，非正式的说在拓扑空间 X 中的一个集合 S 的极限点（limit point），就是可以被 S 中的点（不包含 x 本身）随意“逼近”的點。这个概念有益的推广了极限的概念，并且是諸如闭集和拓扑闭包等概念的基础。实际上，一个集合是闭合的当且仅当他包含所有它的极限点，而拓扑闭包运算可以被认为是通过增加它的极限点来扩充一个集合。

一个有关的概念是序列的聚集点（cluster point）或会聚点（accumulation point）。

目录

• 
  1 定义
  


• 
  2 特殊类型的極限點
  
  
  
  • 
    2.1 ω‐会聚点
    
  
  
  • 
    2.2 （度量空间的）聚集点
    
  
  
  
  


• 
  3 性质
  


• 
  4 引用
  

定义

设S为拓扑空间X{displaystyle X}的一個子集，若所有包含x（注意x不一定属于S）的开集也包含至少一个S內的非x的点，即稱x為S的极限点。由S內所有極限點所組成的集合稱為S的導集，標記為S′{displaystyle S'}。

在T₁空間裡，上述定義和要求x的每個鄰域皆包含無限多個S的點是等價的。（在定义中使用“开邻域”的形式来证明一个点是极限点，使用“一般邻域”的形式来得到一个已知极限点的性质，這樣通常會比較輕鬆。）

另外，若X為序列空間，則可稱x ∈ X為S的極限點，若且唯若存在一個由S  {x}的點組成的ω序列，其極限為x；這也是「極限點」此一名稱的由來。

特殊类型的極限點

如果包含x的所有开集都包含无限多个S的点，则x是特殊类型极限点，称为S的ω‐会聚点（ω‐accumulation point）。

如果包含x{displaystyle x}的所有開集都包含不可数多個S{displaystyle S}的點，則x{displaystyle x}是特殊类型的极限点，稱為S{displaystyle S}的缩合点（condensation point）。

ω‐会聚点

在度量空间中，ω‐会聚点与普通的极限点定义等价。在拓扑空间中，两者概念不再等价。对于非强拓扑空间，一个所有ω‐会聚点都属于本身的集合不一定是闭集，但一个所有极限点都属于本身（导集包含于自身）的集合必爲闭集。

（度量空间的）聚集点

在带有距离 d 的度量空间 X 中，称 X 中点 x 是序列 x_n 的聚集点（cluster point）或会聚点（accumulation point），是指对于所有ε > 0，有无限多的n值使得 d(x,x_n ) < ε。等价的说，所有 x 的开邻域包含对无限多 n 的 x_n。

序列中的点的集合的极限点是这个序列的聚集点。但是，如果对于无限多的n，x_n 的值是相等的，这个点是这个序列的聚集点但不必然是在这个序列中的点的集合的极限点。

序列的聚集点是子序列极限：即某个子序列的极限。

网的概念推广了序列的想法。在网中的聚集点包括了缩合点和ω-会聚点二者的想法。

如果φ是在X上的基于有向集合D的网，而A是X的子集，则φ经常在A中，如果对于所有D中的α存在某个β ≥ α有β在D中，所以φ(β)在A中。在X中的点x被称为是网的会聚点或聚集点，当且仅当对于x的邻域U，这个网经常在U中。

聚集和极限点也定义于滤子的相关主题中。

序列的所有聚集点的集合有时叫做极限集合。

性质

• 关于极限点的性质：x{displaystyle x}是S{displaystyle S}的极限点，当且仅当它属于S{displaystyle S} {x{displaystyle x}}的闭包。
  
  • 
    证明：根据闭包定义，某点属于某集合的闭包，当且仅当该点的所有邻域都和该集合相交。则有：x是S{displaystyle S}的极限点，当且仅当所有x{displaystyle x}的邻域都包含一个非x{displaystyle x}的点属于S，当且仅当所有x{displaystyle x}的邻域含有一个点属于S{displaystyle S} {x}，当且仅当x{displaystyle x}属于S ″x″{displaystyle S {''x''}}的闭包。
  
  

• 
  S{displaystyle S}的闭包具有下列性质：S{displaystyle S}的闭包等于S{displaystyle S}和其導集的并集。
  
  • 
    证明：（从左到右）设x{displaystyle x}属于S{displaystyle S}的闭包。若x{displaystyle x}属于S，命题成立。若x∉S{displaystyle xnotin S}，则所有x{displaystyle x}的邻域都含有一个非x{displaystyle x}的点属于S{displaystyle S}；也就是说，x是S{displaystyle S}的极限点，x∈S′{displaystyle xin S'}。（从右到左）设x{displaystyle x}属于S，则明显地所有x{displaystyle x}的邻域和S{displaystyle S}相交，所以x{displaystyle x}属于S{displaystyle S}的闭包。若x{displaystyle x}属于L(S)，则所有x{displaystyle x}的邻域都含有一个非x{displaystyle x}的点属于S，所以x{displaystyle x}也属于S{displaystyle S}的闭包。得证。
  
  

• 上述结论的推论给出了闭集的性质：集合S{displaystyle S}是闭集，当且仅当它含有所有它的极限点。
  
  
  
  • 
    证明1：S是闭集，当且仅当S{displaystyle S}等于其闭包，当且仅当S{displaystyle S}=S{displaystyle S}∪ L(S)，当且仅当L(S)包含于S。
  
  
  • 
    证明2：设S{displaystyle S}是闭集，x{displaystyle x}是S{displaystyle S}的极限点。则x{displaystyle x}必须属于S，否则S{displaystyle S}的补集为x{displaystyle x}的开邻域，和S{displaystyle S}不相交。相反，设S{displaystyle S}包含所有它的极限点，需要证明S{displaystyle S}的补集是开集。设x{displaystyle x}属于S{displaystyle S}的补集。根据假设，x不是极限点，则存在x{displaystyle x}的开邻域U和S{displaystyle S}不相交，则U在S{displaystyle S}的补集中，则S{displaystyle S}的补集是开集。
  
  
  
  

• 
  孤点不是任何集合的极限点。
  
  • 
    证明：若x{displaystyle x}是孤点，则{x}是只含有x{displaystyle x}的x{displaystyle x}的邻域。
  
  

• 空间x{displaystyle x}是离散空间，当且仅当x{displaystyle x}的子集都没有极限点。
  
  • 
    证明：若x{displaystyle x}是离散空间，则所有点都是孤点，不能是任何集合的极限点。相反，若x{displaystyle x}不是离散空间，则单元素集合{x}不是开集。那么，所有{x}的邻域都含有点y ≠ x，则x{displaystyle x}是x{displaystyle x}的极限点。
  
  

• 若空间x{displaystyle x}有密着拓扑，且S{displaystyle S}是x{displaystyle x}的多于一个元素的子集，则x{displaystyle x}的所有元素都是S{displaystyle S}的极限点。若S{displaystyle S}是单元素集合，则所有x{displaystyle x}S{displaystyle S}的点仍然是S{displaystyle S}的极限点。
  
  • 
    说明：只要S{displaystyle S} {x}非空，它的闭包就是X；只有当S{displaystyle S}是空集或x{displaystyle x}是S{displaystyle S}的唯一元素时，它的闭包才是空集。
  
  

引用

• 
  PlanetMath上limit point的資料。

查 论 编 点集拓扑系列 基本概念 连续函数  · 同胚  · 子空間  · 積空間  · 商空間  · 序空間 邻域  · 內部  · 邊界  · 外部  · 極限點  · 孤点 基  · 鄰域系統  · 开集  · 闭集  · 闭开集  · 稠密集  · 无处稠密集  · 闭包 拓扑空间 實數線  · 离散空间  · 密着拓扑  · 余有限空间  · 下限拓扑  · 康托尔集 连通空间 连通空间  · 局部连通空间  · 道路连通空间  · 单连通  · N-连通  · 不可約空間 紧空间 可数紧  · 序列紧  · 聚点紧  · 局部紧 一致空间 一致同构  · 一致性质  · 一致收敛  · 一致连续 可數性公理 第一可數  · 第二可數  · 可分空间  · 林德勒夫空間 分离公理 柯尔莫果洛夫空间  · T1空间  · 豪斯多夫空间  · 正则空间  · 吉洪诺夫空间  · 正规空间 定理 波尔查诺-魏尔斯特拉斯定理 海涅-博雷尔定理 贝尔纲定理 吉洪诺夫定理 乌雷松引理 乌雷松度量化定理

This page is only for reference, If you need detailed information, please check here