跳转到内容

拓扑学术语

维基百科,自由的百科全书

这里列出的是在数学领域中的一分支拓扑学所常使用的一些术语。在拓扑学的许多子类中,术语上的使用差异并不是很大,这里主要针对一般拓扑学(或称点集拓扑)来编写。这些术语也是其它学门如代数拓扑微分拓扑几何拓扑中的基本术语。

关于一些基本的定义,请参阅拓扑空间的条目,关于拓扑学的简史,请参阅拓扑学。关于集合以及函数的基本定义,请参阅朴素集合论公理集合论,和函数。下面所列出的条目对拓扑学的了解也有帮助,这些文章中包含了某些一般拓扑学中的特别字汇,我们所列出的有些术语将在以下做更详尽的解释。一般拓扑学专题列表和一般拓扑学的例子列表也非常有用。

在这个术语表中所提到的“空间”,除非另有说明,说的都是拓扑空间



  • Accessible。参阅T1
  • 亚历山德罗夫拓扑。一个空间X,如果任意一组开集的交集都是开集,或者等价的,任意一组闭集的联集都是闭集,那么我们称这个空间拥有亚历山德罗夫拓扑或者有限生成(finitely generated)。
  • 几乎离散(Almost discrete)。如果在一个空间中,每个开集都是闭集(所以也是闭开集),那么我们称这个空间是几乎离散。一个几乎离散。几乎离散空间就是那些有限生成的零维空间。
  • Approach 空间。approach空间是距离空间的一种推广,和距离空间不同的是,它的距离函数不是点和点之间的距离,而是子集和点之间。
  • base)。令B是一组开集。如果拓扑T中的任何开集都是B中开集的联集,那么我们称BT的基。换句话说,T是包含B的最小拓扑。也可称B生成拓扑T
  • 博雷尔集合Borel set)。博雷尔代数里面的元素称为博雷尔集。
  • 边界boundary或者frontier)。一个集合的闭包去除他的内部称为他的边界。或者等价的,边界就是一个集合的闭包和它的补集的闭包的交集。
  • 有界Bounded)。在一个度量空间中的集合如果有他的直径是有限的,就称他为有界。换句话说,一个集合一个集合是有界的若且唯若它被包含在一个半径有限的开球内。一个取值于距离空间中的函数,如果他的(image)是有界集,我们就会称它为有界
  • 拓扑空间范畴(Category of topological spaces)。范畴Top是以拓扑空间对象(objects),以连续函数态射(morphism)。
  • 柯西序列(Cauchy sequence)。若度量空间(M,d)中的序列{xn}对于任意正实数r,都存在整数N,使得所有的整数m,n>N时,我们有d(xm,xn)<r,称为{xn}是柯西序列
  • 闭开集(Clopen set)。一个集合如果同时是开集和闭集,称为闭开集
  • 闭球(Closed ball)。若(M,d)是度量空间,闭球指的是D(x;r) := {y in M :d(x,y) ≤r} 这样的子集合,其中x属于M,而r是正实数,称为球的半径。一个半径为r的闭球称为r-球(closedr-ball)。所有的闭球都是闭集。要注意的一点是,在有些每个空间中,闭球D(x;r) 不一定是开球B(x;r)的闭包
  • 封闭集(Closed set)。开集的补集称为封闭集或者简称闭集。
  • 闭函数(Closed function)。如果一个函数对于任何闭集的都是闭集,那这个函数称为闭函数。
  • 闭包(Closure)。一个集合的闭包是指包含这个集合的最小闭集。换句话说就是所有包含这个集合的闭集的交集。集合S的闭包中的元素称为S闭包点
  • 闭包运算元(Closure operator,或称闭包算子,闭包算符)。参阅库拉托夫斯基闭包公理
  • 较粗的拓扑(Coarsertopology)。若X是个空间,且拓扑T2包含拓扑T1则称T1是个比T2更粗(或更小更弱)的拓扑。要特别注意的是,特别是数学分析领域的有些作者,会用更强这个词表达相同的概念。
  • 紧致(Compact)。如果任意的开覆盖都有一个有限的子开覆盖,则这个空间称为紧空间。所有的紧空间都是Lindelöf和仿紧(paracompact)。所以,所有的紧Hausdorff空间都是正规的。参阅准紧(quasicompact)。
  • 紧开拓扑(Compact-open topology)。考虑所有由XY的连续函数所形成的集合C(X,Y),我们由以下的方式定义C(X,Y)的紧开拓扑(compact-open topology):任给一个X紧致子集K和一个Y的开子集U,令V(K,U)表示C(X,Y)中所有f(K)包含于U的映射f。由V(K,U)当成子基(subbase)生成的拓扑称为紧开拓扑(compact-open topology)。
  • 完备(Complete)。如果所有的柯西序列都收敛,那么这个空间被称为完备空间
  • 可完备度量化(Completely metrizable / completely metrisable)。参阅拓扑完备
  • 完全正规(Completely normal)。如果任意两个的分离(separated)的集合有 不交(disjoint)的邻域,称为完全正规(Completely normal)。
  • 完全正规Hausdorff。完全正规Hausdorff空间(或 T5空间)指的是完全正规T1 空间。(一个完全正规是 Hausdorff 若且唯若它是 T1,所以这些专有名彼此一致)。每个完全正规Hausdorff空间都是正规Hausdorff。
  • 完全正则(Completely regular)。若对任意的闭集C和一个不相交的点xC 和 {x} 都是函数可分的,则称这个空间是 完全正则
  • 完全T3。参阅吉洪诺夫
  • 分支(Component)。参阅连通分支道路分支
  • 连通(Connected)。如果一个空间不能写成两个不相交的非空开集的联集,则称这个空间是连通的。等价的,一个空间是连通的,若且唯若除了空间本身外,没有非空的闭开子集。
  • 连通分支 (Connected component)。空间中的一个极大非空连空子空间称为一个连通分支。每个连通分支都是封闭的且所有的连通分支构成这个空间的一个划分(partition)。
  • 连续(Continuous)。一个函数如果任意开集的 原像(preimage) 还是开集,则称这个函数是连续的。
  • 可缩(Contractible)。如果空间X上的 恒等映射(identity map)和X上的常数映射同伦,则称这个空间可缩(Contractible)。所有的可缩空间都是简单连通的。
  • 余积拓扑(Coproduct topology)。若{Xi}是一组空间而X是这组空间的 不交并(disjoint union),则 X 上的余积拓扑(coproduct topology) (或 不交并拓扑(disjoint union topology),Xi拓扑和(topological sum)) 就是在Xi 嵌入X为连续的条件下,最细(finest)的拓扑。
  • 可数紧致(Countably compact)。如果任何的可数开覆盖都有个有限子覆盖,那么我们称这个空间为可数紧致。所有可数紧致空间 都是伪紧(pseudocompact)且弱可数紧(weakly countably compact)。
  • 可数局部有限(Countably locally finite)。X空间中一组子集,如果它是可数组X子集的局部有限组合的联集,则称为可数局部有限(countably locally finite)。
  • 覆盖(CoverCovering)。如果一组子集的联集是全部空间,那么我们称这组子集为覆盖
  • 割点(Cut point)。如果X是个不只包含一个点的连通空间,则如果xX中的一个点,且X− {x} 是非连通的,我们称x 是割点。
  • 稠密集(Dense set)。一个集合如果和任何开集的交集都是非空的,那么我们称它为稠密。换句话说,稠密集是指闭包为整个空间的集合。
  • 导集(Derived set)。若 S 是空间X的子集,SX 中的 导集(erived set) 指的是在X中,所有 S极限点所形成的集合。
  • 直径(Diameter)。若 (M, d) 是度量空间,SM的子集,那么S的直径就是xy取值于S时,距离d(x, y) 的最小上界
  • 离散度量(Discrete metric)。集合X上的离散度量 是指对X中的任两相异x,y都有d(x, x) = 0 且d(x, y) = 1 的函数d: X ×X →  R。离散度量生成的拓扑是离散的。
  • 离散空间(Discrete space)。如果空间X的所有子集都是开集,则称X离散空间 离散空间的拓扑称为离散拓扑
  • 不交并拓扑(Disjoint union topology)。参阅余积拓扑(Coproduct topology)。
  • 分散点 (Dispersion point)。若X是个多于一个点的空间,xX中的一个点且X− {x} 是完全不连通,则称x是一个分散点(dispersion point)。
  • 外部(Exterior)。一个集合的外部指的是它补集的内部
  • 滤子 (Filter)。在X上非空的一族 X 子集F,如果符合下列条件:
  1. 空集不在F中。
  2. 有限个F中的元素的交集还是在F中。
  3. AF中 且B包含A,则B也在F中。

则我们称FX上的一个滤子(filter)。

  • 更细的拓扑(Finer topology)。若X是个空间,且拓扑T2 包含 拓扑T1 则称T2是个比T1 更细(或更大更强)的拓扑。要特别注意的是,特别是数学分析领域的有些作者,会用更弱这个词表达相同的概念。
  • Fréchet。参阅T1
  • Frontier(边界)。参阅边界
  • 函数可分(Functionally separated)。两个X的子集AB,如果存在一个函数f:X →  [0, 1] 使得f(A) = 0且f(B) = 1,则我们称AB函数可分的。
  • 豪斯多夫。如果空间中任两相异点都存有不相交的邻域,则称这个空间是Hausdorff(或T2)。Hausdorff空间都是T1空间。
  • 可遗传性(Hereditary)。如果当某空间有一个性质,则它的子空间也必然有这个性质,则我们称这种性质有可遗传性。举例来说,second-countability 是有可遗传性的。
  • 同胚映射(Homeomorphism)。若XY为两空间,则当一个嵌射f : X → Y 本身和其反函数f−1 同时是连续的时候,我们称f是一个 同胚映射
  • 齐性(Homogeneous)。若X中的任两点xy,皆存有一个同胚映射f:X → X使得f(x) =y,则我们称X齐性空间,直观来说,就是这个空间中的任两点从拓扑观点来看都没有分别。所有的拓扑群都是齐性的。
  • 同伦映射(Homotopic maps)。我们称两个函数f,g: X  → Y(在Y中)是同伦的,是指存在 一个连续的映射H: X × [0, 1]  → Y使得对于所有X中的xH(x, 0) =f(x) 且H(x, 1) = g(x)。这里X× [0, 1] 的拓扑是 product topology。这个映射H被称做是fg之间(在Y中的) 同伦映射
  • 超连通。如果任何两个非空开集都相交,则称这个空间是超连通。任何的超连通空间都是连通的。
  • 内部(Interior)。一个集合的内部是这个集合最大的开子集,等价于这个集合所有开子集的联集。内部的点称为 内点
  • 孤点 如果单点集 {x} 是个开集,我们称x是个孤点。更一般的来说,如果x是空间X的子集S中的一点,如果 {x} 在S子空间拓扑中是个开集,则称xS中的孤点。
  • 保距同构(Isometric isomorphism)。若M1M2 是两个赋距空间,而f: M1  → M2 是个保距对射,则称M1M2 保距同构。从赋距空间的观点来看,两个保距同构的空间是一模一样的。
  • 等距映射(Isometry)。若 (M1, d1) 和 (M2, d2) 是距离空间。一个映射f: 如果赋距,也就是说对于所有M中的xy,我们有d2(f(x), f(y)) = d1(x, y),则称f是从M1M2 的等距映射。所有的等距映射都是单射,但不一定是满射
  1. Isotonicity: 所有的集合包含于他的闭包中。。
  2. Idempotence: 闭包的闭包和闭包是相同的。
  3. 保持有限联集: 联集的闭包等于闭包的联集。
  4. 保持虚空性: 空及的闭包还是空集。
c是个从Xpower set 映到自身的函数,则c如果符合以上的 Kuratowski closure axioms,则称之为是一个 闭包算子。使用Kuratowski closure axioms,X 上的闭集可以定义为这个算子的不动点,也就是说,一个集合A是闭集若且唯若c(A) = A。所以我们能用这组公理定义出 X' 的拓扑。
  • 极限点(Limit point)。如果X的每个开子集,只要包含x就包含S中的一个不是x的点,则称xS的一个极限点。
  • 局部基底(Local base或Local basis)。若B是一组x(在X中)的邻域所成的集合,且每个x的邻域都都有至少包含B中的一个成员,则称B是一个局部基底
  • 局部封闭子集(Locally closed subset)。一个开子集和封闭子集的交集称为局部封闭子集。
  • 局部紧致空间(Locally compact)。如果空间中的每个点都有个由紧致邻域组成的局部基底,则称这个空间是局部紧致空间。每个局部紧致 Hausdorff空间都是 Tychonoff。
  • 局部连通(Locally connected)。如果每个点都有由连通邻域组成的局部基底,则称这个空间为局部连通
  • 局部有限(Locally finite)。空间的一组子集被称为局部有限,是指每个点都有个邻域只和有限个这组子集中的成员相交。参阅可数局部有限
  • 局部可度量(Locally metrizable / Locally metrisable)。如果空间中的每个点都有个由可度量邻域组成的局部基底,则称这个空间是局部可度量空间
  • 局部道路连通(Locally path-connected)如果每个点都有由道路连通邻域组成的局部基底,则称这个空间为局部道路连通。一个 locally path-connected space 是连通的 若且唯若 它是 path-connected。
  • 局部简单连通(Locally simply connected)。如果每个点都有由简单连通邻域组成的局部基底,则称这个空间为局部简单连通
  • Loop。设x是空间X中的一点,在Xx上的 loop (或者X中以x为基点的loop)是指Xf(0) = f(1) =x的 path 'f'。换句话来说,一个X中的 loop 是一个从单位圆 S1X的连续映射。
  • 贫集(MeagreMeager)。设A是空间X的子集,若 A 是无处稠密子集的可数联集,则我们称AX中是贫集(或者是第一纲集)。若A不是贫集,则称AX中是 第二纲集
  • 度量不变量(Metric invariant)。度量不变量指的是在 isometric isomorphism 下不会改变的性质。
  • 度量空间(Metric space)。度量空间 (M, d) 指的是一个集合M以及符合下列公理的函数dM  ×  M  →  R (对于M中的任意元素x, y, z):
  1. d(x, y) ≥ 0
  2. d(x, x) = 0
  3. if   d(x, y) = 0   then   x = y       (identity of indiscernibles)
  4. d(x, y) = d(y, x)       (对称性)
  5. d(x, z) ≤ d(x, y) + d(y, z)       (三角不等式
函数d称为M上的度量,而d(x, y)称为xy的距离。M上的开球组成M拓扑的基底。这称为由d生成的M上的拓扑。所有的度量空间都是Hausdorff且paracompact(所以也是正规且Tychonoff)。所有的度量空间都是first-countable。
  • 可度量化(Metrizable / Metrisable)。一个空间被称为可度量化,指的是这个空间和某个度量空间同胚。所有的可度量化空间都是Hausdorff且paracompact(所以也是正规且Tychonoff)。所有的度量空间都是first-countable。
  • Monolith。所有的非空ultra-connected紧致空间X都有一个最大的proper开子集,这个子集称为monolith
  • 邻域(Neighbourhood / Neighborhood)。一个集合如果包含一个开集,而x属于这个开集,则称这个集合是x的邻域。更一般的来说,一个集合如果包含一个包含集合S的开集,则称这个集合是S的邻域。所以点x的邻域就是单点集{x}的邻域。(注意在这个定义下,邻域不一定是开集。但是很多书上定义邻域要是开集,所以要小心这个地方)
  • 邻域系统(Neighbourhood system)。x的所有的邻域合起来称为x的邻域系统。
  • 正规空间(Normal)如果空间中的任两不相交闭集都有不相交的邻域,则称这个空间是正规空间。任意的正规空间都有partition of unity。
  • 开球(Open ball)。若(M, d)是度量空间,开指的是B(x; r) := {y inM: d(x, y) < r}这样的子集合,其中x属于M,而r是正实数,称为球的半径。一个半径为r的开球称为开r-球(closed r-ball)。所有的开球都是开集。
  • 开函数(Open function)。若所有开集都是开集,则称这个函数为开函数。
  • 仿紧(Paracompact)。如果每个开覆盖都有一个局部有限开 refinement,则称这个空间是 仿紧的。仿紧的豪斯多夫空间都是正规的。
  • 单位分解(Partition of unity)。空间X的单位分解是指一组从X到[0,1]的连续函数,使得每一个点都有一个邻域使得只有有限个函数在这个邻域上是非零的,而且这些函数的和刚好就是1(常数函数)。
  • 道路(Path)。道路是从单位区间[0,1]到空间 X 的连续函数 ff (0) 被称为起点,而 f (1) 称为终点。
  • 道路连通(Path-connected)。若是空间 X 中的任意两点 xy 都有一条道路 fx 连到 y,也就是说,fx 为起点,以 y 为终点,则我们称这个空间是道路连通。所有的道路连通空间都是连通的。
  • Path-connected component。path-connected component 是指极大的非空道路连通子空间。空间中的 path-connected components组成空间的一个分割,这个分割比 connected components 组成的分割要细。空间X的 path-connected components 所组成的集合我们记做 π0(X)
  • (Point)。拓扑空间中的元素称为点。
  • Point of closure。参阅Closure
  • 波兰(Polish)。一个separable可完备度量化的空间称之为波兰空间,也就是说,它和一个separable的完备度量空间同胚
  • 常态映射(Proper function / mapping)。一个从XY的连续映射f,如果所有紧集的原像(preimage)还是紧集,则称这个映射f常态的。
  • 邻近空间(Proximity space)邻近空间 (Xδ) 是指符合下列条件的集合X及其子集的一个关系 δ:
对于任何X的子集ABC
  1. AδB,则BδA
  2. AδB,则A非空
  3. AB相交,则AδB
  4. Aδ(B ∪ C)若且唯若 (AδBAδC)
  5. 若对于所有X的子集E我们有(AδEBδE),则我们可以得到Aδ (XB)
  • 伪紧致(Pseudocompact)。若是所有的实值连续函数都是有界的,则称这个空间为伪紧致的。
  • 伪度量空间(Pseudometric space)。一个伪度量空间 (M,d) 是指空间M和函数d M × M → R,而且必须符合除了d(x,y) = 0 则x = y 这个条件之外,所有赋距空间的条件。函数d被称为M上的pseudometric
  • Punctured neighbourhood / Punctured neighborhood。点x的一个邻域扣掉 {x} 称为x的一个 punctured neighbourhood。举例来说,区间 (−1, 1) = {y : −1 <y< 1} 是x= 0 在实数线中的邻域,所以 (−1, 0) ∪ (0, 1) = (−1, 1) − {0} 就是一个 0 的punctured neighbourhood。
  • 拟紧(Quasicompact)。参阅。在有些作者的定义中,“紧”的定义包含 Hausdorff分离公理,然后他们使用拟紧来表示我们所说的“紧(不一定要有Hausdorff公理)。这个习惯常会在法国使用,所以一些深受法国影响的数学分支也会使用这个用法。
  • 商映射(Quotient map)。若f是一个从空间XY满射,且任何Y的子集U是开集若且唯若f -1(U)是开集,则我们称f是商映射(或identification map)。
  • 商空间(Quotient space)。若X是个空间,Y 是个集合,f : X → Y 是个满射,则Y上由f生成的 商拓扑 是指让f连续的最细的拓扑。空间X称为商空间或者 等化空间。依照定义,f 是商映射。最常见的例子是考虑一个X上的等价关系Y等价类成的集合,而fXY的正规投影。这个建构和子空间拓扑的建构对偶。
  • Refinement。如果覆盖K的每个成员都是覆盖L的某个成员的元素的子集,那么我们称覆盖L是覆盖K的 refinement。
  • 正则空间(Regular)。如果空间中的任一点x和以及任一个x不在其中的闭集C,都可以找到Cx不相交的邻域,则称这个空间是正则空间
  • 正则Hausdorff。一个空间称为正则Hausdorff(或 T3) 是指它是正则 T0 空间。(一个正则空间是 Hausdorff 若且唯若 它是 T0,所以这些术语是一致的)
  • 正则开(Regular open)。空间X中的开集U如果等于它闭包的内部,则我们称它为正则开。空间中的所有正则开子集形成一个完备的布林代数
  • 相对紧致(Relatively compact)。如果一个子空间Y在母空间X中的闭包是紧致的,则称Y相对紧致X
  • Residual。如果A在空间X中的补集是贫集,则称AX中为 residual。
  • 第二纲集(Second category)。参阅Meagre英语Meagre
  • Semilocally simply connected。空间X中如果任意点x都有一个邻域U使得所有Ux上的 loop 都与在x上的常数 loop 同伦,则我们称这个空间为 semilocally simply connected。所有的简单连通空间和所有的局部简单连通空间都是 semilocally simply connected。(与简单连通相异的地方是,我们允许 loop 在X中与常数 loop 同伦,而局部简单连通的定义中,loop 需要在U中与常数 loop 同伦)
  • 可分(Separable)。一个空间如果有个稠密的可数子集,则称这个空间为可分
  • 分离(Separated)。两个集合AB如果任何的一个都与另一个的闭包不相交,则称这两个集合是 分离
  • 序列紧致(Sequentially compact)。如果任意序列都有个收敛的子序列,则称这个空间为序列紧致。所有的序列紧致空间都是可数紧致的,而所有的第一可数、可数紧致空间都是序列紧致的。
  • Short map。设XY为赋距空间并分别以dXdY 为赋距。如果一个从XY的函数f,会把距离缩短,也就是说dY(f(x), f(y)) ≤ dX(x, y),那么我们称这个函数fshort map。如果不等式中等号不成立,则称这个 short map 是严格 short map。
  • 较强的拓扑(Stronger topology)。参阅较细的拓扑。注意特别是在分析领域的有些作者会用这个词来说我们们说的较弱的拓扑
  • 子基(Subbase)。若一组开集的成员的有限交集,形成一组基底 (拓扑),则称这组开集是 子基。若B是一组空间X的子集,B 所生成的拓扑是X上包含B的最小拓扑。这组拓扑包含空集合、X和所有B的成员的有限交集的联集。
  • 子覆盖(Subcover)。如果一个覆盖K的成员都是覆盖L的成员,则称KL的子覆盖。
  • 子空间(Subspace)。若T是空间X上的拓扑,AX的子集,则称所有T的成员和A的交集组成的一组子集是TA上产生的子空间拓扑。这个构造和商拓扑的构造对偶。
  • T0。如果对于空间中的任意两个不同点,xy,都可以找到一个开集,或者包含x但不包含y,或者包含y但不包含x,则我们称这个空间为 T0(或Kolmogorov)。
  • T1。如果对于空间中的任意两个不同点,xy,都可以找到一个开集包含x但不包含y,则我们称这个空间为 T1 (或Fréchetaccessible)(和 T0 的差异在于这里我们可以让这个开集包含指定的点)换句话说,一个空间是 T1 空间则所有的个别点都是闭集。所有的 T1空间都是 T0
  1. 空集合和X本身属于T
  2. 任何一组T中的子集合的联集仍然属于T
  3. 任何两个T中的子集和,他们的联集仍然属于T
这组 X的子集合T被称做X上的 拓扑。。
  • 拓扑完备(Topologically complete)。如果一个空间和一个完备度量空间同胚,我们称这个空间拓扑完备
  • 完全有界(Totally bounded)。对于度量空间M,如果对于每个r>0,都存在一个由有限个半径为r的开球组成的覆盖能盖住M,则我们称M完全有界。对一个度量空间来说,紧致等价于完备且完全有界。
  • 完全不连通(Totally disconnected)。如果任意两点所形成的集合都是不连通的,这个空间称为完全不连通。
  • 平凡拓扑(Trivial topology)。如果空间 X 中只有空集和 X 本身是开集,则称 X 的拓扑是平凡拓扑(或indiscrete topology)。
  • 吉洪诺夫空间(Tychonoff)。吉洪诺夫空间 (或完全正则吉洪诺夫空间, 完全T3 空间,T3.5空间)指的是完全正则T0空间。(一个完全正则空间是豪斯多夫空间若且唯若它是 T0,所以这些专有名词是彼此一致的)所有的吉洪诺夫空间都是正则豪斯多夫空间。
  • Ultra-connected。若任意两个闭集都相交,则称这个空间是 ultra-connected。Ultra-connected 空间都是道路连通的。
  • 超度量(Ultrametric)。超度量是一个符合下面这个比三角不等式强的条件的赋距:对于所有M中的x, y, z, d(x, z) ≤ max(d(x, y), d(y, z))。
  • 可一致化(Uniformizable / Uniformisable)。若一个空间和一个一致空间同胚,则称这个空间可一致化。
  • 一致空间(Uniform space)。一致空间是指一个集合U以及一个非空集合 Φ,其中 Φ 的成员都是X×X的子集,且符合下列的公设:
  1. U在 Φ中,则U包含对绞线 { (x, x) |xX中 }。
  2. U在 Φ中,则 { (y, x) | (x, y) 在U中 } 也在 Φ 中。
  3. U在 Φ 中且VX×X的子集且包含U,则V也在 Φ 中。
  4. UV都在 Φ中,则UV在 Φ中
  5. U在 Φ中,则存在一个 Φ中的V,使得只要 (x, y) 和 (y, z) 属于V, 则 (x, z) 属于U
Φ 的元素称为 entourages, 而 Φ 被称为U一致结构
  • 弱拓扑(Weak topology)。一个集合上和一组从这个集合到一个拓扑空间的函数所相关的弱拓扑,是指能让这组函数连续的最粗的拓扑。
  • 较弱的拓扑(Weaker topology)。参阅较粗的拓扑。注意特别是分析领域的有些作者,用这个词来表示较强的拓扑
  • 弱可数紧致(Weakly countably compact)。若空间中的任意无穷子集都有极限点,则称为弱可数紧致(或者极限点紧致)。
  • 弱可遗传性(Weakly hereditary)。如果一个空间的性质是这个空间的闭子集也必然会有的性质,则称这个性质有弱可遗传性。举例来说,紧致性和 Lindelöf 性质都是弱可遗传的,但这两个性质都不是可遗传的。
  • 零维空间(Zero-dimensional space)。一个空间的拓扑如果有一组开闭(clopen)的基底,被称为零维空间。参阅拓扑维数