拓扑学术语
这里列出的是在数学领域中的一分支拓扑学所常使用的一些术语。在拓扑学的许多子类中,术语上的使用差异并不是很大,这里主要针对一般拓扑学(或称点集拓扑)来编写。这些术语也是其它学门如代数拓扑、微分拓扑和几何拓扑中的基本术语。
关于一些基本的定义,请参阅拓扑空间的条目,关于拓扑学的简史,请参阅拓扑学。关于集合以及函数的基本定义,请参阅朴素集合论、公理集合论,和函数。下面所列出的条目对拓扑学的了解也有帮助,这些文章中包含了某些一般拓扑学中的特别字汇,我们所列出的有些术语将在以下做更详尽的解释。一般拓扑学专题列表和一般拓扑学的例子列表也非常有用。
在这个术语表中所提到的“空间”,除非另有说明,说的都是拓扑空间。
目录: | 页首 - 0-9 |
---|---|
汉语拼音: | A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
注音符号: | ㄅ ㄆ ㄇ ㄈ ㄉ ㄊ ㄋ ㄌ ㄍ ㄎ ㄏ ㄐ ㄑ ㄒ ㄓ ㄔ ㄕ ㄖ ㄗ ㄘ ㄙ 一 ㄨ ㄩ ㄚ ㄛ ㄜ ㄝ ㄞ ㄟ ㄠ ㄡ ㄢ ㄣ ㄤ ㄥ ㄦ |
A
- Accessible。参阅T1。
- 几乎离散(Almost discrete)。如果在一个空间中,每个开集都是闭集(所以也是闭开集),那么我们称这个空间是几乎离散。一个几乎离散。几乎离散空间就是那些有限生成的零维空间。
- Approach 空间。approach空间是距离空间的一种推广,和距离空间不同的是,它的距离函数不是点和点之间的距离,而是子集和点之间。
B
- 基(base)。令B是一组开集。如果拓扑T中的任何开集都是B中开集的联集,那么我们称B是T的基。换句话说,T是包含B的最小拓扑。也可称B生成拓扑T。
- 博雷尔集合(Borel set)。博雷尔代数里面的元素称为博雷尔集。
- 有界(Bounded)。在一个度量空间中的集合如果有他的直径是有限的,就称他为有界。换句话说,一个集合一个集合是有界的当且仅当它被包含在一个半径有限的开球内。一个取值于距离空间中的函数,如果他的像(image)是有界集,我们就会称它为有界。
C
- 拓扑空间范畴(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)。考虑所有由X到Y的连续函数所形成的集合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和一个不相交的点x,C 和 {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)。
- 覆盖(Cover或Covering)。如果一组子集的联集是全部空间,那么我们称这组子集为覆盖。
- 割点(Cut point)。如果X是个不只包含一个点的连通空间,则如果x是X中的一个点,且X− {x} 是非连通的,我们称x 是割点。
D
- 导集(Derived set)。若 S 是空间X的子集,S 在 X 中的 导集(erived set) 指的是在X中,所有 S 的极限点所形成的集合。
- 直径(Diameter)。若 (M, d) 是度量空间,S 是M的子集,那么S的直径就是x、y取值于S时,距离d(x, y) 的最小上界。
- 离散度量(Discrete metric)。集合X上的离散度量 是指对X中的任两相异x,y都有d(x, x) = 0 且d(x, y) = 1 的函数d: X ×X → R。离散度量生成的拓扑是离散的。
- 不交并拓扑(Disjoint union topology)。参阅余积拓扑(Coproduct topology)。
- 分散点 (Dispersion point)。若X是个多于一个点的空间,x是X中的一个点且X− {x} 是完全不连通,则称x是一个分散点(dispersion point)。
- 距离。参阅度量空间(Metric space)。
E
- Entourage。参阅Uniform space。
F
- 滤子 (Filter)。在X上非空的一族 X 子集F,如果符合下列条件:
- 空集不在F中。
- 有限个F中的元素的交集还是在F中。
- 若A在F中 且B包含A,则B也在F中。
则我们称F是X上的一个滤子(filter)。
- 更细的拓扑(Finer topology)。若X是个空间,且拓扑T2 包含 拓扑T1 则称T2是个比T1 更细(或更大、更强)的拓扑。要特别注意的是,特别是数学分析领域的有些作者,会用更弱这个词表达相同的概念。
- 有限生成(Finitely generated)。参阅Alexandrov拓扑。
- Fréchet。参阅T1。
- Frontier(边界)。参阅边界。
- 函数可分(Functionally separated)。两个X的子集A和B,如果存在一个函数f:X → [0, 1] 使得f(A) = 0且f(B) = 1,则我们称A和B是 函数可分的。
G
H
- 可遗传性(Hereditary)。如果当某空间有一个性质,则它的子空间也必然有这个性质,则我们称这种性质有可遗传性。举例来说,second-countability 是有可遗传性的。
- 同胚映射(Homeomorphism)。若X和Y为两空间,则当一个嵌射f : X → Y 本身和其反函数f−1 同时是连续的时候,我们称f是一个 同胚映射
- 齐性(Homogeneous)。若X中的任两点x和y,皆存有一个同胚映射f:X → X使得f(x) =y,则我们称X为齐性空间,直观来说,就是这个空间中的任两点从拓扑观点来看都没有分别。所有的拓扑群都是齐性的。
- 同伦映射(Homotopic maps)。我们称两个函数f,g: X → Y(在Y中)是同伦的,是指存在 一个连续的映射H: X × [0, 1] → Y使得对于所有X中的x,H(x, 0) =f(x) 且H(x, 1) = g(x)。这里X× [0, 1] 的拓扑是 product topology。这个映射H被称做是f和g之间(在Y中的) 同伦映射。
- 同伦(Homotopy)。参阅同伦映射。
- 超连通。如果任何两个非空开集都相交,则称这个空间是超连通。任何的超连通空间都是连通的。
I
- 等化映射。参阅商映射。
- Indiscrete space。参阅平凡拓扑。
- Indiscrete topology。参阅平凡拓扑。
- 内点。参阅内部。
- 保距同构(Isometric isomorphism)。若M1 和M2 是两个赋距空间,而f: M1 → M2 是个保距对射,则称M1 和M2 保距同构。从赋距空间的观点来看,两个保距同构的空间是一模一样的。
- 等距映射(Isometry)。若 (M1, d1) 和 (M2, d2) 是距离空间。一个映射f: 如果赋距,也就是说对于所有M中的x和y,我们有d2(f(x), f(y)) = d1(x, y),则称f是从M1 到M2 的等距映射。所有的等距映射都是单射,但不一定是满射。
K
- Kolmogorov。参阅 T0。
- Kuratowski closure axioms。考虑将X中的子集对应到其闭包这个映射,Kuratowski closure axioms 是一组被这个映射满足的公理:
- Isotonicity: 所有的集合包含于他的闭包中。。
- Idempotence: 闭包的闭包和闭包是相同的。
- 保持有限联集: 联集的闭包等于闭包的联集。
- 保持虚空性: 空及的闭包还是空集。
- 若c是个从X的 power set 映到自身的函数,则c如果符合以上的 Kuratowski closure axioms,则称之为是一个 闭包算子。使用Kuratowski closure axioms,X 上的闭集可以定义为这个算子的不动点,也就是说,一个集合A是闭集当且仅当c(A) = A。所以我们能用这组公理定义出 X' 的拓扑。
L
- 较大的拓扑(Larger topology)。参阅较细的拓扑。
- 极限点(Limit point)。如果X的每个开子集,只要包含x就包含S中的一个不是x的点,则称x是S的一个极限点。
- Limit point compact。参阅Weakly countably compact 。
- 局部封闭子集(Locally closed subset)。一个开子集和封闭子集的交集称为局部封闭子集。
- 局部有限(Locally finite)。空间的一组子集被称为局部有限,是指每个点都有个邻域只和有限个这组子集中的成员相交。参阅可数局部有限。
- 局部可度量(Locally metrizable / Locally metrisable)。如果空间中的每个点都有个由可度量邻域组成的局部基底,则称这个空间是局部可度量空间。
- 局部道路连通(Locally path-connected)如果每个点都有由道路连通邻域组成的局部基底,则称这个空间为局部道路连通。一个 locally path-connected space 是连通的 当且仅当 它是 path-connected。
- 局部简单连通(Locally simply connected)。如果每个点都有由简单连通邻域组成的局部基底,则称这个空间为局部简单连通。
- Loop。设x是空间X中的一点,在X中x上的 loop (或者X中以x为基点的loop)是指X中f(0) = f(1) =x的 path 'f'。换句话来说,一个X中的 loop 是一个从单位圆 S1 到X的连续映射。
M
- 贫集(Meagre或 Meager)。设A是空间X的子集,若 A 是无处稠密子集的可数联集,则我们称A在X中是贫集(或者是第一纲集)。若A不是贫集,则称A在X中是 第二纲集。
- 度量(Metric)。参阅度量空间。
- 度量不变量(Metric invariant)。度量不变量指的是在 isometric isomorphism 下不会改变的性质。
- d(x, y) ≥ 0
- d(x, x) = 0
- if d(x, y) = 0 then x = y (identity of indiscernibles)
- d(x, y) = d(y, x) (对称性)
- d(x, z) ≤ d(x, y) + d(y, z) (三角不等式)
- 函数d称为M上的度量,而d(x, y)称为x和y的距离。M上的开球组成M拓扑的基底。这称为由d生成的M上的拓扑。所有的度量空间都是Hausdorff且paracompact(所以也是正规且Tychonoff)。所有的度量空间都是first-countable。
- 可度量化(Metrizable / Metrisable)。一个空间被称为可度量化,指的是这个空间和某个度量空间同胚。所有的可度量化空间都是Hausdorff且paracompact(所以也是正规且Tychonoff)。所有的度量空间都是first-countable。
- Monolith。所有的非空ultra-connected紧致空间X都有一个最大的proper开子集,这个子集称为monolith。
N
- 邻域(Neighbourhood / Neighborhood)。一个集合如果包含一个开集,而x属于这个开集,则称这个集合是x的邻域。更一般的来说,一个集合如果包含一个包含集合S的开集,则称这个集合是S的邻域。所以点x的邻域就是单点集{x}的邻域。(注意在这个定义下,邻域不一定是开集。但是很多书上定义邻域要是开集,所以要小心这个地方)
- 邻域系统(Neighbourhood system)。x的所有的邻域合起来称为x的邻域系统。
- 正规Hausdorff。正规Hausdorff空间(或T4空间)是指正规T1空间。(一个正规空间是Hausdorff当且仅当它是T1,所以这些术语是一致的)所有的正规Hausdorff空间都是Tychonoff。
O
- 开球(Open ball)。若(M, d)是度量空间,开指的是B(x; r) := {y inM: d(x, y) < r}这样的子集合,其中x属于M,而r是正实数,称为球的半径。一个半径为r的开球称为开r-球(closed r-ball)。所有的开球都是开集。
P
- 单位分解(Partition of unity)。空间X的单位分解是指一组从X到[0,1]的连续函数,使得每一个点都有一个邻域使得只有有限个函数在这个邻域上是非零的,而且这些函数的和刚好就是1(常数函数)。
- 道路连通(Path-connected)。若是空间 X 中的任意两点 x 和 y 都有一条道路 f 从 x 连到 y,也就是说,f 以 x 为起点,以 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的完备度量空间同胚。
- Pre-compact。参阅Relatively compact。
- 积拓扑(product topology)
- 常态映射(Proper function / mapping)。一个从X到Y的连续映射f,如果所有紧集的原像(preimage)还是紧集,则称这个映射f是常态的。
- 对于任何X的子集A、B、C,
- 若AδB,则BδA
- 若AδB,则A非空
- 若A和B相交,则AδB
- Aδ(B ∪ C)当且仅当 (AδB或AδC)
- 若对于所有X的子集E我们有(AδE或BδE),则我们可以得到Aδ (X −B)
- 伪紧致(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。
Q
- 拟紧(Quasicompact)。参阅紧。在有些作者的定义中,“紧”的定义包含 Hausdorff分离公理,然后他们使用拟紧来表示我们所说的“紧(不一定要有Hausdorff公理)。这个习惯常会在法国使用,所以一些深受法国影响的数学分支也会使用这个用法。
- 商空间(Quotient space)。若X是个空间,Y 是个集合,f : X → Y 是个满射,则Y上由f生成的 商拓扑 是指让f连续的最细的拓扑。空间X称为商空间或者 等化空间。依照定义,f 是商映射。最常见的例子是考虑一个X上的等价关系,Y 是等价类成的集合,而f是X到Y的正规投影。这个建构和子空间拓扑的建构对偶。
R
- Refinement。如果覆盖K的每个成员都是覆盖L的某个成员的元素的子集,那么我们称覆盖L是覆盖K的 refinement。
- 正则Hausdorff。一个空间称为正则Hausdorff(或 T3) 是指它是正则 T0 空间。(一个正则空间是 Hausdorff 当且仅当 它是 T0,所以这些术语是一致的)
- 正则开(Regular open)。空间X中的开集U如果等于它闭包的内部,则我们称它为正则开。空间中的所有正则开子集形成一个完备的布林代数。
- Residual。如果A在空间X中的补集是贫集,则称A在X中为 residual。
S
- 第二纲集(Second category)。参阅Meagre。
- Semilocally simply connected。空间X中如果任意点x都有一个邻域U使得所有U中x上的 loop 都与在x上的常数 loop 同伦,则我们称这个空间为 semilocally simply connected。所有的简单连通空间和所有的局部简单连通空间都是 semilocally simply connected。(与简单连通相异的地方是,我们允许 loop 在X中与常数 loop 同伦,而局部简单连通的定义中,loop 需要在U中与常数 loop 同伦)
- 序列紧致(Sequentially compact)。如果任意序列都有个收敛的子序列,则称这个空间为序列紧致。所有的序列紧致空间都是可数紧致的,而所有的第一可数、可数紧致空间都是序列紧致的。
- Short map。设X和Y为赋距空间并分别以dX 及dY 为赋距。如果一个从X到Y的函数f,会把距离缩短,也就是说dY(f(x), f(y)) ≤ dX(x, y),那么我们称这个函数f是 short map。如果不等式中等号不成立,则称这个 short map 是严格 short map。
- 单连通(Simply connected)。一个道路连通空间,如果所有的 loop 都和常数映射同伦,则称它是简单连通空间。
- 较小的拓扑(Smaller topology)。参阅Coarser topology。
- 子基(Subbase)。若一组开集的成员的有限交集,形成一组基底 (拓扑),则称这组开集是 子基。若B是一组空间X的子集,B 所生成的拓扑是X上包含B的最小拓扑。这组拓扑包含空集合、X和所有B的成员的有限交集的联集。
- 子覆盖(Subcover)。如果一个覆盖K的成员都是覆盖L的成员,则称K是L的子覆盖。
T
- T1。如果对于空间中的任意两个不同点,x 和y,都可以找到一个开集包含x但不包含y,则我们称这个空间为 T1 (或Fréchet、accessible)(和 T0 的差异在于这里我们可以让这个开集包含指定的点)换句话说,一个空间是 T1 空间则所有的个别点都是闭集。所有的 T1空间都是 T0。
- T3。参阅正则Hausdorff。
- T4。参阅正规Hausdorff。
- T5。参阅完全正规Hausdorff。
- 拓扑不变量(Topological invariant)。拓扑不变量指的是在同胚变换下保持不变的性质。如紧集和连通空间都是拓扑不变量。但有界性和完备性则不是。代数拓扑学 是研究在拓扑空间上建立的代数拓扑不变量。
- 空集合和X本身属于T。
- 任何一组T中的子集合的联集仍然属于T。
- 任何两个T中的子集和,他们的联集仍然属于T。
- 这组 X的子集合T被称做X上的 拓扑。。
- 拓扑和(Topological sum)。参阅余积拓扑。
- 拓扑。参阅拓扑空间。
- 完全不连通(Totally disconnected)。如果任意两点所形成的集合都是不连通的,这个空间称为完全不连通。
- 平凡拓扑(Trivial topology)。如果空间 X 中只有空集和 X 本身是开集,则称 X 的拓扑是平凡拓扑(或indiscrete topology)。
- 吉洪诺夫空间(Tychonoff)。吉洪诺夫空间 (或完全正则吉洪诺夫空间, 完全T3 空间,T3.5空间)指的是完全正则T0空间。(一个完全正则空间是豪斯多夫空间当且仅当它是 T0,所以这些专有名词是彼此一致的)所有的吉洪诺夫空间都是正则豪斯多夫空间。
U
- Ultra-connected。若任意两个闭集都相交,则称这个空间是 ultra-connected。Ultra-connected 空间都是道路连通的。
- 超度量(Ultrametric)。超度量是一个符合下面这个比三角不等式强的条件的赋距:对于所有M中的x, y, z, d(x, z) ≤ max(d(x, y), d(y, z))。
- 可一致化(Uniformizable / Uniformisable)。若一个空间和一个一致空间同胚,则称这个空间可一致化。
- 若U在 Φ中,则U包含对绞线 { (x, x) |x在X中 }。
- 若U在 Φ中,则 { (y, x) | (x, y) 在U中 } 也在 Φ 中。
- 若U在 Φ 中且V是X×X的子集且包含U,则V也在 Φ 中。
- 若U和V都在 Φ中,则U∩V在 Φ中
- 若U在 Φ中,则存在一个 Φ中的V,使得只要 (x, y) 和 (y, z) 属于V, 则 (x, z) 属于U。
- Φ 的元素称为 entourages, 而 Φ 被称为U的一致结构。
- 一致结构(Uniform structure)。参阅一致空间。
W
- 较弱的拓扑(Weaker topology)。参阅较粗的拓扑。注意特别是分析领域的有些作者,用这个词来表示较强的拓扑。
- 弱可遗传性(Weakly hereditary)。如果一个空间的性质是这个空间的闭子集也必然会有的性质,则称这个性质有弱可遗传性。举例来说,紧致性和 Lindelöf 性质都是弱可遗传的,但这两个性质都不是可遗传的。
- Well-connected。参阅Ultra-connected。(有些作者用这个词表示 ultra-connected 的紧空间)
Z
- 零维空间(Zero-dimensional space)。一个空间的拓扑如果有一组开闭(clopen)的基底,被称为零维空间。参阅拓扑维数。