使用者:Wshun~zh-classicalwiki/拓撲學術語

在這個術語表中所提到的「空間」，除非另有說明，說的都是拓扑空間。

模板:CompactTOC2

A

Accessible. 參閱 T₁.

Alexandrov 拓扑. 一個空間 X，如果任意一組開集的交集都是開集，或者等價的，任意一組閉集的聯集都是閉集，那麼我們稱這個空間擁有Alexandrov 拓扑或者 有限生成(finitely generated)。

幾乎離散(Almost discrete). 如果在一個空間中，每個開集都是閉集（所以也是閉開集），那麼我們稱這個空間是幾乎離散。一個幾乎離散。幾乎離散空間就是那些有限生成的零維空間。

Approach 空間. approach 空間是距離空間的一種推廣，和距離空間不同的是，它的距離函數不是點和點之間的距離，而是子集和點之間。

B

贝尔空间（Baire space）: 若是任何可數個稠密開集的交集還是稠密，那麼這個空間被稱為贝尔空间。

基（base）: 令B是一組開集。如果拓扑 T 中的任何開集都是 B 中開集的聯集，那麼我們稱 B 是 T 的基。換句話說，T 是包含 B 的最小拓扑。也可稱 B 生成拓扑 T。

博雷尔代数（Borel algebra）: 博雷尔代数是包含所有開集的最小σ-algebra。

博雷尔集（Borel set）: 博雷尔代数裡面的元素稱為博雷尔集。

边界（boundary或者frontier）: 一個集合的閉包去除他的內部稱為他的邊界。或者等價的，邊界就是一個集合的閉包和它的補集的閉包的交集。

有界（Bounded）: 在一個度量空間中的集合如果有他的直徑是有限的，就稱他為有界。換句話說，一個集合一個集合是有界的若且唯若它被包含在一個半徑有限的開球內。一個取值於距離空間中的函數，如果他的像(image)是有界集，我們就會稱它為有界。

C

拓撲空間範疇(Category of topological spaces)。範疇 Top 是以拓撲空間為对象(objects)，以連續函數為态射(morphism)。

柯西序列(Cauchy sequence). 若度量空間(M, d )中的序列 {x_n}對於任意正實數 r，都存在整數 N，使得所有的整數 m, n > N 時，我們有 d (x_m, x_n) < r，稱為 {x_n} 是柯西序列

閉開集(Clopen set。一個集合如果同時是開集和閉集，稱為閉開集。

閉球(Closed ball)。若 (M, d) 是度量空間，閉球指的是 D(x; r) := {y in M : d(x, y) ≤ r} 這樣的子集合, 其中 x 屬於 M ，而 r 是正實數, 稱為球的半徑。一個半徑為 r 的閉球稱為 閉 r-球(closed r-ball)。所有的閉球都是閉集。要注意的一點是，在有些每個空間中，閉球 D(x; r) 不一定是開球 B(x; r) 的閉包。

封閉集(Closed set)。開集的補集稱為封閉集或者簡稱閉集。

閉函數(Closed function). 如果一個函數對於任何閉集的像都是閉集，那這個函數稱為閉函數。.

閉包(Closure). 一個集合的閉包是指包含這個集合的最小閉集。換句話說就是所有包含這個集合的閉集的交集。集合 S 的閉包中的元素稱為S的闭包点 。

閉包運算元(Closure operator或称闭包算子，闭包算符). 參閱 Kuratowski闭包公理.

較粗的拓撲(Coarser topology)。若 X 是個空間，且拓撲 T₂ 包含拓撲 T₁ 則稱 T₁ 是個比 T₂ 更粗 (或更小, 更弱) 的拓撲。要特別注意的是，特別是數學分析領域的有些作者，會用更強這個詞表達相同的概念。

緊或緊緻(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 空間 (或 T₅ 空間) 指的是完全正規T₁ 空間。 (一個完全正規是 Hausdorff 若且唯若它是 T₁，所以這些專有名彼此一致)。每個完全正規Hausdorff空間都是正規Hausdorff.

完全正则(Completely regular). 若對任意的閉集 C 和一個不相交的點 x，C 和 {x} 都是函數可分的，則稱這個空間是 完全正則。

完全T₃. 參閱 Tychonoff.

分支(Component). 參閱連通分支/ 道路分支.

連通(connected)。如果一個空間不能寫成兩個不相交的非空開集的聯集，則稱這個空間是連通的。等價的，一個空間是連通的，若且唯若除了空間本身外，沒有非空的閉開子集。

连通分支(Connected component)。空間中的一個極大非空連空子空間稱為一個连通分支。每個连通分支都是封閉的且所有的连通分支構成這個空間的一個划分(partition)。

連續(Continuous)。一個函數如果任意開集的原像(preimage) 還是開集，則稱這個函數是連續的。

可缩(Contractible). 如果空間 X 上的恒等映射(identity map) 和X上的常數映射同倫，則稱這個空間可缩(Contractible)。所有的可缩空間都是簡單連通的。

余积拓扑(Coproduct topology). 若 {X_i}是一組空間而 X 是這組空間的不交并(disjoint union)，則 X 上的余积拓扑(coproduct topology) (或 不交并托普(disjoint union topology), X_i 的 拓扑和(topological sum)) 就是在 X_i 嵌入 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

稠密集(Dense set)。一個集合如果和任何開集的交集都是非空的，那麼我們稱它為稠密。換句話說，稠密集是指閉包為整個空間的集合。

導集(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 . 離散度量生成的拓撲是離散的。

離散空間(Discrete space)。如果空間 X 的所有子集都是開集，則稱 X 為離散空間離散空間的拓撲稱為離散拓撲。

離散拓扑(Discrete topology)。參閱離散空間。

不交并拓扑(Disjoint union topology)。參閱 余积拓扑(Coproduct topology).

分散点(Dispersion point)。若 X 是個多於一個點的空間，x 是 X 中的一個點且 X − {x} 是完全不連通，則稱 x 是一個分散点(dispersion point)。

距離。參閱度量空間 (Metric space)

E

Entourage. 參閱 Uniform space.

外部(Exterior)。一個集合的外部指的是它補集的內部。

F

F_σ 集合。可數個閉集的聯集稱為 F_σ 集合。

滤子(Filter)。在 X 上非空的一族 X 子集 F ，如果符合下列條件:

空集不在 F 中。
有限個 F 中的元素的交集還是在 F 中。
若 A 在 F 中且 B 包含 A，則 B 也在 F 中。

則我們稱 F 是 X 上的一個滤子(filter)。

更細的拓撲(Finer topology))。若 X 是個空間，且拓撲 T₂ 包含拓撲 T₁ 則稱 T₂ 是個比 T₁ 更細 (或更大, 更強) 的拓撲。要特別注意的是，特別是數學分析領域的有些作者，會用更弱這個詞表達相同的概念。

有限生成(Finitely generated)。參閱 Alexandrov拓扑.

第一綱集(First category)。參閱 瘦集合(Meagre).

第一可數空間(First-countable). 如果每個點都有個可数的局部基(local base)，則這個空間稱為第一可數空間

Fréchet。參閱 T₁。

Frontier(边界)。參閱邊界.

函數可分(Functionally separated)。兩個 X 的子集 A 和 B，如果存在一個函數 f: X → [0, 1] 使得 f(A) = 0 且 f(B) = 1，則我們稱 A 和 B 是 函數可分的。

G

G_δ 集. 開集的可數交集被稱為 G_δ 集。

H

Hausdorff. 如果空間中任兩相異點都存有不相交的鄰域，則稱這個空間是Hausdorff (或 T₂)。Hausdorff空間都是T₁空間.

可遺傳性(Hereditary)。如果當某空間有一個性質，則它的子空間也必然有這個性質，則我們稱這種性質有可遺傳性。舉例來說， second-countability 是有可遺傳性的。
同胚映射(Homeomorphism). 若 X 和 Y 為兩空間，則當一個嵌射f : X → Y 本身和其反函數 f⁻¹ 同時是連續的時候，我們稱 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). 參閱 同倫映射。

Hyper-connected。如果任何兩個非空開集都相交，則稱這個空間是 hyper-connected。任何的 hyper-connected空間都是連通的。

I

Identification map。參閱 Quotient map。

Identification space。參閱 Quotient space。

Indiscrete space。參閱 Trivial topology。

Indiscrete topology. 參閱 Trivial topology。

內部(Interior)。一個集合的內部是這個集合最大的開子集，等價於這個集合所有開子集的聯集。內部的點稱為內點。

內點。參閱內部。

孤點(Isolated point)。如果單點集 {x} 是個開集，我們稱 x 是個孤點。更一般的來說，如果 x 是空間 X 的子集 S 中的一點，如果 {x} 在 S 子空間拓撲中是個開集，則稱 x 是 S 中的孤點。

保距同構(Isometric isomorphism)。若 M₁ 和 M₂ 是兩個賦距空間，而 f : M₁ → M₂ 是個保距對射，則稱 M₁ 和 M₂ 保距同構。從賦距空間的觀點來看，兩個保距同構的空間是一模一樣的。

保距映射(Isometry)。若 (M₁, d₁) 和 (M₂, d₂) 是距離空間。一個映射 f : 如果賦距，也就是說對於所有 M 中的 x 和 y，我們有 d₂(f(x), f(y)) = d₁(x, y)，則稱 f 是從 M₁ 到 M₂ 的保距映射。所有的保距映射都是嵌射,但不一定是滿射。

K

Kolmogorov. 參閱 T₀。

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。

Lindelöf。如果每個開覆蓋都有一個可數子覆蓋，則稱這個空間為 Lindelöf。

局部基底(Local base 或 Local basis)。若 B 是一組 x (在 X 中)的鄰域所成的集合，且每個 x 的鄰域都都有至少包含 X 中的一個成員，則稱 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 中的一點, 在 X 中 x 上的 loop (或者 X 中以 x 為基點的 loop) 是指 X 中 f(0) = f(1) = x 的 path 'f'。換句話來說, 一個 X 中的 loop 是一個從單位圓 S¹ 到 X 的連續映射。

M

Meagre(或 Meager)。設 A 是空間 X 的子集, 若 A 是無處稠密子集的可數聯集，則我們稱 A 在 X 中 meagre (或者是 第一綱集)。若 A 不是 meagre，則稱 A 在 X 中是 第二綱集。

度量(Metric)。參閱 度量空間.

度量不變量('Metric invariant)。度量不變量指的是在 isometric isomorphism 下不會改變的性質。

度量空間(Metric space)。度量空間 (M, d) 指的是一個集合 M 以及符合下列公理的函數 d : M × M → R (對於 M中的任意元素 x, y, z):

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} 的鄰域。 (注意在這個定義下，鄰域不一定是開集。但是很多書上定義鄰域要是開集，所以要小心這個地方。)

鄰域基底/basis。參閱 局部基底。

鄰域系統(Neighbourhood system) x 的所有的鄰域合起來稱為 x 的鄰域系統。

Net。 X 的 net是指一個從有向集 A 到 X 的映射。一個從 A 到 X 的映射通常記做 (x_α), 其中 α 是以 A 為範圍的索引變數。序列是 net 的一種, 使用自然數集合以及一般的排序做為索引集 A。

正規空間(Normal) 如果空間中的任兩不相交閉集都有不相交的鄰域，則稱這個空間是正規空間。任意的正規空間都有 partition of unity.

正規Hausdorff。正規Hausdorff空間(或 T₄ 空間)是指正規 T₁空間。 (一個正規空間是 Hausdorff 若且唯若它是 T₁，所以這些術語是一致的。) 所有的正規Hausdorff空間都是 Tychonoff。

無處稠密(Nowhere dense) 一個集合如果它的閉包的內部是空的，則稱這個集合是無處稠密。

O

開覆蓋(Open cover)。一個開覆蓋是所有成員都是開集的覆蓋。

開球(Open ball)。若 (M, d) 是度量空間，開指的是 B(x; r) := {y in M : d(x, y) < r} 這樣的子集合, 其中 x 屬於 M ，而 r 是正實數, 稱為球的半徑。一個半徑為 r 的開球稱為開 r-球(closed r-ball)。所有的開球都是開集。

開集(Open set)。拓撲的成員稱為開集。

Open function。若所有開集的像都是開集，則稱這個函數為 Open Function。

P

Paracompact. 如果每個開覆蓋都有一個局部有限開 refinement，則稱這個空間是 paracompact。Paracompact Husdorff空間都是正規的。

Partition of unity。空間 X 的 partition of unity 是指一組從 X 到 [0, 1] 的連續函數，使得每一個點都有一個鄰域使得只有有限個函數在這個鄰域上是非零的，而且這些函數的和剛好就是 1（常數函數）。

道路 (拓撲學)(Path)。道路是從單位區間 [0,1] 到空間 X 的連續函數 f 的像。f(0) 被稱為起點，而 f(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 所組成的集合我們記做 π₀(X)。

點( Point) 拓扑空間中的元素稱為點。

Point of closure. 參閱 Closure.

波蘭(Polish). 一個 separable 可完備度量化的空間稱之為波蘭空間，也就是說，它和一個separable 的完備度量空間同胚。

Pre-compact. 參閱 Relatively compact.

積拓撲（product topology）

Proper function/mapping。一個從 X 到 Y 的連續映射 f，如果所有緊集的 preimage 還是緊集，則稱這個映射 f 是 Proper。

Proximity 空間 Proximity 空間 (X, δ) 是指符合下列條件的集合 X 及其子集的一個關係 δ:

對於任何 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分離公理，然後他們使用 quasicompact 來表示我們所說的 "compact" (不一定要有 Hausdorff 公理)。這個習慣常會在法國使用，所以一些深受法國影響的數學分枝也會使用這個用法。

商映射(Quotient map)。若 f 是一個從空間 X 到 Y 的蓋射，且任何 Y 的子集 U是開集若且唯若 f^-1(U) 是開集，則我們稱 f 是商映射 (或 identification map)。

商空間(Quotient space)。若 X 是個空間，Y 是個集合, f : X → Y 是個蓋射，則 Y 上由 f 生成的商拓撲是指讓 f 連續的最細的拓撲。空間 X 稱為商空間或者 identification space。依照定義， f 是商映射。最常見的例子是考慮一個 X 上的等價關係，Y 是等價族成的集合，而 f 是 X 到 Y 的正規投影。這個建構和子空間拓撲的建構對偶。

R

Refinement。如果覆蓋 K 的每個成員都是覆蓋 L 的某個成員的元素的子集，那麼我們稱覆蓋 L 是覆蓋 K 的 refinement。

正則空間(Regular)。如果空間中的任一點 x 和以及任一個 x 不在其中的閉集 C，都可以找到 C 和 x 不相交的鄰域，則稱這個空間是正則空間。

正則Hausdorff. 一個空間稱為正則Hausdorff (或 T₃) 是指它是正則 T₀ 空間。 (一個正則空間是 Hausdorff 若且唯若它是 T₀，所以這些術語是一致的。)

Regular open。空間 X 中的開集 U 如果等於它閉包的內部，則我們稱它為 Regular open。空間中的所有 regular open 子集形成一個完備的布林代數.

相對緊緻(Relatively compact)。如果一個子空間 Y 在母空間 X 中的閉包是緊緻的，則稱 Y 是相對緊緻於 X。

Residual。如果 A 在空間 X 中的補集是 meagre 的，則稱 A 在 X 中為 residual。

S

第二綱集(Second category)。參閱 Meagre。

第二可數空間(Second-countable)。若一個空間的拓撲有一個可數基底，則稱這個空間是第二可數空間。所有的第二可數空間都是第一可數、可分且 Lindelöf。

Semilocally simply connected。空間 X 中如果任意點 x 都有一個鄰域 U 使得所有 U 中 x 上的 loop 都與在 x 上的常數 loop 同倫，則我們稱這個空間為 semilocally simply connected。所有的簡單連通空間和所有的局部簡單連通空間都是 semilocally simply connected。 (與簡單連通相異的地方是，我們允許 loop 在 X 中與常數 loop 同倫，而局部簡單連通的定義中， loop 需要在 U 中與常數 loop 同倫。)

可分(Separable)。一個空間如果有個稠密的可數子集，則稱這個空間為可分。

Separated。兩個集合 A 與 B 如果任何的一個都與另一個的閉包不相交，則稱這兩個集合是 separated。

序列緊緻(Sequentially compact)。如果任意序列都有個收斂的子序列，則稱這個空間為序列緊緻。所有的序列緊緻空間都是可數緊緻的，而所有的第一可數、可數緊緻空間都是序列緊緻的。

Short map。設 X 和 Y 為賦距空間並分別以 d_X 及 d_Y 為賦距。如果一個從 X 到 Y 的函數 f，會把距離縮短，也就是說 d_Y(f(x), f(y)) ≤ d_X(x, y)，那麼我們稱這個函數 f 是 short map。如果不等式中等號不成立，則稱這個 short map 是嚴格 short map。

簡單連通(Simply connected)。一個道路連通空間，如果所有的 loop 都和常數映射同倫，則稱它是簡單連通空間。
較小的拓撲(Smaller topology)。參閱 Coarser topology。

較強的拓撲(Stronger topology)。參閱 較細的拓撲。注意特別是在分析領域的有些作者會用這個詞來說我們們說的較弱的拓撲。

Subbase。若一組開集的成員的有限交集，形成一組基底 (拓撲)，則稱這組開集是 subbase。若 B 是一組空間 X 的子集，B 所生成的拓撲是 X 上包含 B 的最小拓撲。這組拓撲包含空集合、X和所有 B 的成員的有限交集的聯集。

Subbasis。參閱 Subbase。

子覆蓋(Subcover)。如果一個覆蓋 K 的成員都是覆蓋 L 的成員，則稱 K 是 L 的子覆蓋。

子空間(Subspace)。若 T 是空間 X 上的拓撲， A 是 X 的子集，則稱所有 T 的成員和 A 的交集組成的一組子集是 T 在 A 上產生的子空間拓撲。這個構造和商拓撲的構造對偶。

T

T₀. 如果對於空間中的任意兩個不同點，x 和 y，都可以找到一個開集，或者包含x但不包含y，或者包含y但不包含 x，則我們稱這個空間為 T₀ (或 Kolmogorov)。

T₁. 如果對於空間中的任意兩個不同點，x 和 y，都可以找到一個開集包含 x但不包含 y，則我們稱這個空間為 T₁ (或 Fréchet or accessible) (和 T₀ 的差異在於這裡我們可以讓這個開集包含指定的點。) 換句話說，一個空間是 T₁ 空間則所有的個別點都是閉集。所有的 T₁空間都是 T₀.

T₂。參閱 Hausdorff.

T₃。參閱 正則Hausdorff.

T_3.5。參閱 Tychonoff space.

T₄。參閱 正規Hausdorff.

T₅. 參閱 完全正規Hausdorff.

Top. 參閱 拓撲空間的範疇.

拓扑不變量(Topological invariant). 拓扑不變量指的是在同胚變換下保持不變的性質。如緊集和連通空間都是拓扑不變量。但有界性和完備性則不是。代數拓撲學是研究在拓扑空間上建立的代數拓扑不變量。

拓扑空間(Topological space)。拓扑空間 (X, T) 是一個集合 X 配上一組符合下例公理的子集合 T:

空集合和 X 本身屬於 T。
任何一組 T中的子集合的聯集仍然屬於 T。
任何兩個 T 中的子集和，他們的聯集仍然屬於 T。

這組 X的子集合 T 被稱做 X 上的拓扑。.

Topological sum. 參閱 Coproduct topology.

拓扑完備(Topologically complete)。如果一個空間和一個完備度量空間同胚，我們稱這個空間拓扑完備。

拓扑. 參閱 拓扑空間.

完全有界(Totally bounded). 對於度量空間 M ，如果對於每個 r >0，都存在一個由有限個半徑為 r 的開球組成的覆蓋能蓋住 M，則我們稱 M 完全有界。對一個度量空間來說，緊緻等價於完備且完全有界。

完全不連通(Totally disconnected)。如果任意兩點所形成的集合都是不連通的，這個空間稱為完全不連通。

Trivial topology。如果空間 X 中只有空集和 X 本身是開集，則稱 X 的拓扑是 trivial topology (或 indiscrete topology)。

Tychonoff。 Tychonoff 空間 (或 完全正則Hausdorff空間, 完全T₃ 空間， T_3.5 空間) 指的是完全正則T₀ 空間. (一個完全正則空間是 Hausdorff 若且唯若它是 T₀, 所以這些專有名詞是彼此一致的) 所有的 Tychonoff空間都是正則Hausdorff.

U

Ultra-connected。若任意兩個閉集都相交，則稱這個空間是 ultra-connected。 Ultra-connected 空間都是道路連通的。

Ultrametric。 ultrametric 是一個符合下面這個比三角不等式強的條件的賦距：對於所有 M 中的 x, y, z, d(x, z) ≤ max(d(x, y), d(y, z)).

均勻同構(Uniform isomorphism)。若 X 和 Y 是均勻空間, 一個從 X 到 Y 的對射 f : X → Y，如果 f 和 f⁻¹ 都是均勻連續，則稱 f 是均勻同構。兩個均勻同構的空間有相同的均勻性質。

可均勻化(Uniformizable/Uniformisable)。若一個空間和一個均勻空間同胚，則稱這個空間可均勻化。

均勻空間(Uniform space)。均勻空間是指一個集合 U 以及一個非空集合 Φ，其中 Φ 的成員都是 X × X的子集，且符合下列的公設:

若 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

弱拓撲(Weak topology)。一個集合上和一組從這個集合到一個拓撲空間的函數所相關的弱拓撲，是指能讓這組函數連續的最粗的拓撲。

較弱的拓撲(Weaker topology)。參閱較粗的拓撲。注意特別是分析領域的有些作者，用這個詞來表示較強的拓撲。

弱可數緊緻(Weakly countably compact)。若空間中的任意無窮子集都有極限點，則稱為弱可數緊緻(或者極限點緊緻)。

弱可遺傳性(Weakly hereditary)。如果一個空間的性質是這個空間的閉子集也必然會有的性質，則稱這個性質有弱可遺傳性。舉例來說，緊緻性和 Lindelöf 性質都是弱可遺傳的，但這兩個性質都不是可遺傳的。

Well-connected。參閱 Ultra-connected。 (有些作者用這個詞表示 ultra-connected 的緊空間。)

Z

零維空間(Zero-dimensional space)。一個空間的拓扑如果有一組開閉(clopen)的基底，被稱為零維空間。參閱拓扑維度。

点集拓扑系列 (編輯)
拓扑空间、同胚、子拓扑、积拓扑、商拓扑、序拓扑
邻域、内点、边界点、外点、極限點、孤点
基、準基、局部基、开集、闭集、开核、闭包
连通空间、道路连通空间、不可約空間
紧性：紧、可数紧、序列紧、聚点紧、局部紧
可数性：第一可數、第二可數、可分性、Lindelöf空間
分离性： T₀ \| T₁ \| T₂ \| T_2½ \| 完全T₂ \| T₃ \| T_3½ \| T₄ \| T₅
Тихонов定理、Urysohn引理、度量化定理