拓扑空间

定义

拓扑空间是一个集合  和其上定义的拓扑结构组成的二元组。 的元素  通常称为拓扑空间 的点。而拓扑结构一词涵盖了开集，闭集，邻域，开核，闭包，导集，滤子等若干概念。从这些概念出发，可以给拓扑空间作出若干种等价的定义。在教科书中最常见的定义是从开集开始的。 

拓扑之间的关系

同一个全集可以拥有不同的拓扑，有些是有用的，有些是平庸的，这些拓扑之间可以形成一种偏序关系。当拓扑的每一个开集都是拓扑的开集时，称拓扑比拓扑更细，或称拓扑比拓扑更粗。
仅依赖于特定开集的存在而成立的结论，在更细的拓扑上依然成立；类似的，仅依赖于特定集合不是开集而成立的结论，在更粗的拓扑上也依然成立。
最粗的拓扑是由空集和全集两个元素构成的拓扑，最细的拓扑是离散拓扑，这两个拓扑都是平庸的。
在有些文献中，我们也用大小或者强弱来表示这里粗细的概念。

拓扑空间范畴

拓扑空间作为对象，连续映射作为态射，构成了拓扑空间范畴，它是数学中的一个基础性的范畴。试图通过不变量来对这个范畴进行分类的想法，激发和产生了整个领域的研究工作，包括同伦论、同调论和K-理论。

网

网的目的在推广序列及极限，网的收性称作Moore-Smith收敛。其关键在于以有向集合代替自然数集。
空间上的一个网是从有向集合映至的映射。
若存在，使得对每个的邻域都存在，使得，则称网收敛至。
几乎所有点集拓扑学的基本概念都能表述作网的收敛性，请参阅主条目网

拓扑空间的分类

依据点和集合分离的程度、大小、连通程度、紧性等。可以对拓扑空间进行各种各样的分类。并且由于这些分类产生了许多不同的术语。
以下假设X为一个拓扑空间。

可度量化

可度量性意味着可赋予空间一个度量，使之给出该空间的拓扑。目前已有许多版本的度量化定理，其中最著名的是Urysohn度量化定理：一个第二可数的正则豪斯多夫空间可被度量化。由此可导出任何第二可数的流形皆可度量化。

拥有代数结构的拓扑空间

对于任一类代数结构，我们都可以考虑其上的拓扑结构，并要求相关的代数运算是连续映射。例如，一个拓扑群乃是一个拓扑空间配上连续映射（群乘法）及（逆元），使之具备群结构。
同样地，可定义拓扑向量空间为一个赋有拓扑结构的向量空间，使得加法与纯量乘法是连续映射，这是泛函分析的主题；我们可以类似地定义拓扑环、拓扑域等等。
结合拓扑与代数结构，往往可以引出相当丰富而实用的理论，例如微分几何探究的主齐性空间。在代数数论及代数几何中，人们也常定义适当的拓扑结构以简化理论，并得到较简明的陈述；如数论中的局部域（一种拓扑域），伽罗瓦理论中考虑的Krull拓扑（一种特别的拓扑群），以及定义形式概形所不可少的I-进拓扑（一种拓扑环）等等。

历史

参见拓扑学。