离散空间

✍ dations ◷ 2025-07-02 12:28:25 #点集拓扑学,拓扑空间性质

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

给定集合:

对于任何 x , y X {displaystyle x,yin X}  := {1/ :  = 1,2,3,...} (带有从实直线继承来的度量,并给出为d(,) = | − |)。明显的,这不是离散度量;还有这个空间不是完备的并因袭作为一致空间不是离散的。然而它作为拓扑空间是离散的。我们称是“拓扑离散”而非“一致离散”或“度量离散”。

此外还有:

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

对于度量空间,事情更加复杂,因为依赖于所选择的态射有很多度量空间范畴。离散度量空间当然是自由的,在态射都是一致连续映射或连续映射的时候,但是这没有说对度量结构有价值的事情,只针对了一致或拓扑结构。与度量结构更有关的范畴可以通过把态射限制为利普希茨连续映射或短映射来找到;但是,这些范畴没有自由对象(在多于一个元素的时候)。但是,离散度量空间在有界度量空间和利普希茨连续映射范畴内是自由的,并且它在有界于1的度量空间和短映射范畴是自由的。就是说,从离散度量空间到另一个有界度量空间的函数是利普希茨连续的,而任何从离散度量空间到另一个有界于1的度量空间的函数是短映射。

在其他方向上,从拓扑空间到离散空间的函数是连续的,当且仅当它是局部常数函数,在所有的点都有在其上的邻域是常数的意义上。

离散结构通常用做不承载任何其他自然拓扑、一致或度量的集合上“缺省结构”。例如,任何群都可以通过给予它离散拓扑被认为是拓扑群,蕴涵了关于拓扑群适用于所有群的定理。实际上,分析学家更偏好被代数学家作为离散群来研究的平常的非拓扑群。在某些情况下,这可有用的应用,例如组合上Pontryagin对偶性。

0维流形(或微分流形或解析流形)就只是离散拓扑空间。在前面段落的精神下,我们可以把任何离散群看作0维李群。

尽管离散空间从拓扑学的角度看没有什么令人兴奋的,可以却可以从它们构造有趣的空间。例如,可数无限多个自然数离散空间的乘积同胚于无理数空间,带有同胚给出自连分数展开。可数多个离散空间{0,1}的乘积同胚于康托尔集合;并且事实上一致同胚于康托尔集合,如果我们在乘积上使用乘积一致。这种同胚给出自数字的三进制表示。(参见康托尔空间)。

在数学基础中,{0,1}乘积的紧致性质的研究是超滤子原理的拓扑途径的中心,它是弱形式的选择公理。

在某种意义上,离散拓扑的对立者是密着拓扑(也叫做“不可分拓扑”),它有最少可能数目的开集(就是空集和空间自身)。这里的离散拓扑是始对象和自由对象,而不可分拓扑是终对象或cofree对象:所有从拓扑空间到不可分空间的函数都是连续的。


邻域  · 内部  · 边界  · 外部  · 极限点  · 孤点

相关

  • 冰川冰川(Glacier)是指大量冰块堆积形成如同河川般的地理景观。是一巨大的流动固体,是在高寒地区由层层积雪堆叠而成的巨大冰川冰。在终年冰封的高山或两极地区,多年的积雪经重力或
  • 摩擦力摩擦力(英语:friction)指两个表面接触的物体相对滑动时抵制它们的相对移动的力,是经典力学的一个名词。广义地,物体在液体和气体中运动时也受到摩擦力。摩擦力产生的情形:摩擦力来
  • ARKiveARKive是一个以宣传生态保护为主题的公益网站,分门别类地收集有大量不同物种在野外被拍摄到的图片和视频资料,可以供访问者免费观看。网站致力于所谓“通过来自野生生物影像的
  • 乌头翁台湾鹎 (学名:Pycnonotus taivanus),又名台湾鹎;台湾黑头鹎(Taiwan black head bulbul),为台湾特有种,只分布在当地东部和南部。虽然在某些地区相当普遍,此鸟种仍被列为易危,因栖地的破
  • 大台南公车大台南公车(Tainan City Bus)系台南市市区汽车客运之品牌形象名称。台南市市区汽车客运系指以台南市公共运输处作为主管机关的公共汽车服务,主要由“干支线公车”与“市区公车
  • 马斯科吉马斯科吉县(英语:Muskogee County, Oklahoma)是美国俄克拉荷马州东部的一个县。面积2,173平方公里。根据2010年人口普查,本县共有人口70,990人。本县县治为马斯科吉(Muskogee)。本
  • 加藤胜信加藤胜信(1955年11月22日-)是日本自民党籍政治人物,出生于冈山县仓敷市,现任内阁官房长官(第82代)。曾任厚生劳动大臣及内阁府特命担当大臣,从2003年至今连续当选5届众议院议员,在自
  • 汉园三诗人汉园三诗人是指中国现代派诗群中三位杰出的现代主义代表诗人卞之琳、何其芳、李广田。中国现代派诗群于1932年开始逐渐形成,1935年孙作云发表文章正式提出了现代派的概念。19
  • 段文操段文操,隋朝军事人物,北海郡期原县人。西晋辽西鲜卑族首领段匹䃅的八世孙,北周段威的儿子,兵部尚书段文振的弟弟。隋炀帝大业年间,段文操为武贲郎将,性情非常刚正严厉。隋炀帝令他
  • 巴塞尔问题巴塞尔问题是一个著名的数论问题,这个问题首先由皮耶特罗·门戈利(英语:Pietro_Mengoli)在1644年提出,由莱昂哈德·欧拉在1735年解决。由于这个问题难倒了以前许多的数学家,欧拉一