离散空间

在拓扑学和相关数学领域中，离散空间指一种特别简单的拓扑空间或相似的结构，在其中点都在特定意义下是相互孤立的。

离散拓扑是可以在集合上给出的最精细的拓扑。离散拓扑中的每个子集都是开集，因此每个单子集也都是开集。

 定义 
给定集合X:

在X上的离散拓扑是通过X的所有子集是开集（因此也是闭集）而定义的。如果X配备了它的离散拓扑，则X组成了离散拓扑空间；
在X上的离散一致是通过令X × X中的对角集的所有子集为周围（entourage）而定义的。如果X配备了它的离散一致，则X组成了离散一致空间；
在X上的离散度量定义为
。这时，被称为离散度量空间或孤点空间；

给定拓扑空间的离散子空间是指的拓扑子空间（的子集与的子空间拓扑），其拓扑等于离散拓扑。例如，若具有通常的欧几里得拓扑结构，那么（赋予了子空间拓扑）就是的离散子空间，而不是；

（取决于），使得，且这样的集合由孤点组成，则集合在度量空间中是离散的；

集合，若，使得离散的，则集合在度量空间中一致离散。
若某个堆积半径（Packing Radius）要么有要么有，则称度量空间是一致离散集。度量空间之下的拓扑空间可以是离散的，而没有一致离散的度量：例如在实数的集合上的平常度量。

 性质 

离散度量空间基本的一致性是离散一致，而离散一致空间基本的拓扑是离散拓扑。因此，离散空间的不同概念是相互兼容的。另一方面，非离散一致空间或度量空间基本的拓扑可以是离散的，一个例子是度量空间（度量继承自实数轴，由给出）。这不是离散度量，这个空间也不完备，因此作为一致空间不离散，但作为拓扑空间是离散的。我们称X是“拓扑离散”而非“一致离散”或“度量离散”。
此外还有:

离散空间的拓扑维数为0。

拓扑空间是离散的，当且仅当它的单元素集合是开集，也就是当且仅当其不含任何极限点。

单元素集合形成了这个离散拓扑的基。
一致空间X是离散的，当且仅当对角集是周围。
所有离散拓扑空间都满足分离公理；特别地，所有离散空间都是豪斯多夫空间。
离散空间是紧致空间，当且仅当它是有限的。
所有离散一致空间或度量空间都是完备空间。
组合上两个性质，所有离散一致空间或度量空间都是全有界的，当且仅当它是有限的。
所有离散度量空间都有界。
所有离散空间都是第一可数空间，并且离散空间是第二可数空间当且仅当它是可数的。
所有离散空间都是完全不连通空间。
所有非空离散空间都是贫集。
任何两个同势的离散空间都同胚。

任何离散空间都可度量（通过离散度量）。
有限空间可度量，当且仅当其离散。
若是拓扑空间，是携带离散拓扑的集合，则被均匀覆盖（投影映射是所需的覆盖）。
作为实数轴子集的整数上的子空间拓扑是离散拓扑。
离散空间可分，当且仅当其可数。
实数集的任何拓扑子空间（具有通常的欧几里得拓扑）都必然可数。

从离散拓扑空间到另一个拓扑空间的任何函数都连续，从离散一致空间到另一个一致空间的任何函数都一致连续。就是说，在拓扑空间和连续映射范畴中，或在一致空间和一致连续映射范畴内，离散空间X是集合X上的自由对象。这些性质是更广泛现象的实例，即离散结构通常自由于集合上。

对于度量空间，情况更加复杂，因为依赖于所选择的态射有很多度量空间范畴。态射都（一致）连续时，离散度量空间当然是自由的，但这并未表现度量结构的特性，只针对了一致或拓扑结构。若将态射限制为利普希茨连续映射或短映射，便可以找到与度量结构更有关的范畴；但这些范畴在包含多个元素时没有自由对象。然而，离散度量空间在有界度量空间和利普希茨连续映射范畴内是自由的，且在以1为界的度量空间和短映射范畴内也是自由的。就是说，从离散度量空间到另一个有界度量空间的任何函数都是利普希茨连续的，而任何从离散度量空间到另一个以1为界的度量空间的任何函数都是短映射。
从另一个方向看，从拓扑空间Y到离散空间X的函数f是连续的，当且仅当它是局部常数函数，即Y的每个点都有函数值为常数的邻域时。

非空集上的每个超滤子都可以与上的拓扑相关联，其性质是：的每个非空真子集要么开要么闭。换句话说，每个子集都是开集或闭集，但（与离散拓扑相反）唯二既是开集又是闭集（即闭开集）的只有和。作为对比，离散拓扑中，的所有子集都是闭开集。
 例子与用途 

离散结构常常用作不带任何其他自然拓扑、一致或度量的集合的“默认结构”。离散结构常用作检验特定假设的“极端”例子。例如，将离散拓扑结构赋予任何群，都可将其视作拓扑群，这意味着拓扑群相关的理论适用于所有群。实际上，分析学家更可能指被代数学家称为“离散群”的平凡非拓扑群。有时这一点会有很好的应用，例如结合庞特里亚金对偶性时。

0维流形（或微分、或解析流形）就只是离散可数拓扑空间（不可数离散空间不是第二可数空间）。由此，我们可以把任何离散可数群视作0维李群。

尽管离散空间从拓扑学的角度看没有什么令人兴奋的，但却可以从它们构造有趣的空间。例如，可数无限多个自然数离散空间的积与无理数空间同胚，这里的同胚由连分数展开给出。可数无限多个离散空间的积与康托尔集同胚；事实上如果在积上应用积一致结构，则它与康托尔集是一致同构的，这种同构通过数字的三进制表示·给出（见康托尔空间）。局部单射函数的每个纤维都必然是其定义域的离散子空间。

在数学基础中，对积紧性的研究是超滤子原理（等同于布尔素理想定理）的拓扑方法的核心，而超滤子原理是选择公理的弱形式。
 不可分空间 

在某种意义上，离散拓扑的对立是密着拓扑（也称为“不可分拓扑”），具有最少可能数目的开集（即空集和空间自身）。离散拓扑面向始对象或自由对象，而密着拓扑面向终对象或余自由对象：所有从拓扑空间到密着空间的函数都是连续的。
参见
 圆柱集合

 曼哈顿距离
 参考文献 



Category:拓扑学

L

Category:拓扑空间

Category:拓扑空间性质