拓撲學術語

维基百科,自由的百科全书
跳转至: 导航搜索

這裡列出的是在數學領域中的一分支拓撲學所常使用的一些術語。雖然在拓撲學的許多子類中,術語上的使用差異並不是很大,但是這裡主要是針對一般拓撲學(或稱點集拓撲)來編寫。這些術語也是其它學門如代數拓扑微分拓扑幾何拓扑中的基本術語。

關於一些基本的定義,請參閱拓扑空間的條目,關於拓撲學的簡史,請參閱拓撲學。關於集合以及函數的基本定義,請參閱樸素集合論公理集合論,和函數。下面所列出的條目對拓撲學的瞭解也有幫助,這些文章中包含了某些一般拓撲學中的特別字彙,我們所列出的有些術語將在以下做更詳盡的解釋。一般拓撲學專題列表和一般拓撲學的例子列表也非常有用。

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



A[编辑]

  • Accessible. 參閱 T1.
  • 亚历山德罗夫拓扑. 一個空間 X,如果任意一組開集的交集都是開集,或者等價的,任意一組閉集的聯集都是閉集,那麼我們稱這個空間擁有亚历山德罗夫拓扑或者 有限生成(finitely generated)。
  • 幾乎離散(Almost discrete). 如果在一個空間中,每個開集都是閉集(所以也是閉開集),那麼我們稱這個空間是幾乎離散。一個幾乎離散。幾乎離散空間就是那些有限生成的零維空間。
  • Approach 空間. approach 空間 是距離空間的一種推廣,和距離空間不同的是,它的距離函數不是點和點之間的距離,而是子集和點之間。

B[编辑]

贝尔空间Baire space
若是任何可數個稠密開集的交集還是稠密,那麼這個空間被稱為贝尔空间
base
B是一組開集。如果拓扑 T 中的任何開集都是 B 中開集的聯集,那麼我們稱 BT 的基。換句話說,T 是包含 B 的最小拓扑。也可稱 B 生成拓扑 T
博雷尔代数Borel algebra):博雷尔代数是包含所有開集的最小σ-代数
博雷尔集合Borel set):博雷尔代数裡面的元素稱為博雷尔集。
边界boundary或者frontier
一個集合的閉包去除他的內部稱為他的邊界。或者等價的,邊界就是一個集合的閉包和它的補集的閉包的交集。
有界Bounded
在一個度量空間中的集合如果有他的直徑是有限的,就稱他為有界。換句話說,一個集合一個集合是有界的若且唯若它被包含在一個半徑有限的開球內。一個取值於距離空間中的函數,如果他的(image)是有界集,我們就會稱它為有界

C[编辑]

  • 閉球(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 function). 如果一個函數對於任何閉集的 都是閉集,那這個函數稱為閉函數。.
  • 閉包(Closure). 一個集合的閉包是指包含這個集合的最小閉集。 換句話說就是所有包含這個集合的閉集的交集。 集合 S 的閉包中的元素稱為S闭包点
  • 較粗的拓撲(Coarser topology)。 若 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).
  • 可完備度量化(Completely metrizable/completely metrisable)。 參閱 拓扑完備.
  • 完全正规(Completely normal). 如果任意兩個的分离(separated)的集合 有 不交(disjoint)的鄰域,稱為 完全正规(Completely normal)
  • 完全正规Hausdorff. 完全正規Hausdorff 空間 (或 T5 空間) 指的是完全正規T1 空間。 (一個完全正規是 Hausdorff 若且唯若它是 T1, 所以這些專有名彼此一致)。每個完全正規Hausdorff空間都是正規Hausdorff.
  • 完全正则(Completely regular). 若對任意的閉集 C 和一個不相交的點 xC 和 {x} 都是函數可分的,則稱這個空間是 完全正則
  • 連通(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 是個不只包含一個點的連通空間,則如果 xX 中的一個點,且 X − {x} 是非連通的,我們稱 x 是割点。

D[编辑]

  • 稠密集(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 . 離散度量生成的拓撲是離散的。
  • 不交并拓扑(Disjoint union topology)。 參閱 余积拓扑(Coproduct topology).
  • 分散点(Dispersion point)。 若 X 是個多於一個點的空間,xX 中的一個點且 X − {x} 是完全不連通,則稱 x 是一個分散点(dispersion point)。

E[编辑]

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

F[编辑]

  • 滤子(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函數可分的。

G[编辑]

H[编辑]

  • 豪斯多夫. 如果空間中任兩相異點都存有不相交的鄰域,則稱這個空間是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中的)同倫映射
  • 超连通。如果任何兩個非空開集都相交,則稱這個空間是超连通。任何的超连通空間都是連通的。

I[编辑]

  • 等化映射。 參閱 商映射
  • 內部(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 的等距映射。 所有的等距映射都是单射,但不一定是滿射

K[编辑]

  1. Isotonicity: 所有的集合包含於他的閉包中。.
  2. Idempotence: 閉包的閉包和閉包是相同的。
  3. 保持有限聯集: 聯集的閉包等於閉包的聯集。
  4. 保持虛空性: 空及的閉包還是空集。
c 是個從 Xpower set 映到自身的函數, 則 c 如果符合以上的 Kuratowski closure axioms,則稱之為是一個 閉包算子 。 使用Kuratowski closure axioms, X 上的閉集可以定義為這個算子的不動點,也就是說,一個集合 A 是閉集若且唯若 c(A) = A。 所以我們能用這組公理定義出 X' 的拓撲。

L[编辑]

  • 極限點(Limit point)。 如果X的每個開子集,只要包含 x 就包含 S 中的一個不是 x 的點,則稱 xS 的一個極限點。
  • Limit point compact。參閱 Weakly countably compact
  • 局部基底(Local baseLocal basis)。若 B 是一組 x (在 X 中)的鄰域所成的集合,且每個 x 的鄰域都都有至少包含 X 中的一個成員,則稱 B 是一個局部基底


  • 局部封閉子集(Locally closed subset)。 一個開子集和封閉子集的交集稱為局部封閉子集。
  • 局部有限(Locally finite)。 空間的一組子集被稱為局部有限,是指每個點都有個鄰域只和有限個這組子集中的成員相交。參閱 可數局部有限.
  • 局部可度量(Locally metrizable/Locally metrisable)。 如果空間中的每個點都有個由可度量鄰域組成的局部基底,則稱這個空間是局部可度量空間
  • 局部簡單連通(Locally simply connected)。如果每個點都有由簡單連通鄰域組成的局部基底,則稱這個空間為局部簡單連通
  • Loop。 設 x 是空間 X 中的一點,在 Xx 上的 loop (或者 X 中以 x 為基點的 loop) 是指 Xf(0) = f(1) = x 的 path 'f'。換句話來說,一個 X 中的 loop 是一個從單位圓 S1X 的連續映射。

M[编辑]

  • 贫集MeagreMeager)。 設 A 是空間 X 的子集,若 A 是無處稠密子集的可數聯集,則我們稱 AX 中是贫集(或者是 第一綱集)。 若 A 不是贫集,則稱 AX 中是 第二綱集
  • 度量不變量('Metric invariant)。 度量不變量指的是在 isometric isomorphism 下不會改變的性質。
  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

N[编辑]

  • 鄰域(Neighbourhood/Neighborhood)。 一個集合如果包含一個開集,而x 屬於這個開集,則稱這個集合是 x 的鄰域。更一般的來說,一個集合如果包含一個包含集合 S的開集,則稱這個集合是 S 的鄰域。 所以點 x 的鄰域就是 單點集 {x} 的鄰域。 (注意在這個定義下,鄰域不一定是開集。但是很多書上定義鄰域要是開集,所以要小心這個地方。)
  • NetXnet是指一個從有向集 AX 的映射。 一個從 AX 的映射通常記做 (xα), 其中 α 是以 A 為範圍的索引變數序列 是 net 的一種,使用自然數集合以及一般的排序做為索引集 A
  • 正規空間(Normal) 如果空間中的任兩不相交閉集都有不相交的鄰域,則稱這個空間是正規空間。任意的正規空間都有 partition of unity.

O[编辑]

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

P[编辑]

  • 仿紧Paracompact). 如果每個開覆蓋都有一個局部有限開 refinement,則稱這個空間是 仿紧的。仿紧的豪斯多夫空間都是正規的。
  • 单位分解Partition of unity)。 空間 X 的单位分解是指一組從 X 到 [0, 1] 的連續函數,使得每一個點都有一個鄰域使得只有有限個函數在這個鄰域上是非零的,而且這些函數的和剛好就是 1(常數函數)。
  • 道路連通(Path-connected) 若是空間 X 中的任意兩點 xy 都有一條道路 fx 連到 ;;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 的完備度量空間同胚
  • 常態映射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。

Q[编辑]

  • 拟紧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 的正規投影。這個建構和子空間拓撲的建構對偶。

R[编辑]

  • Refinement。如果覆蓋 K 的每個成員都是覆蓋 L 的某個成員的元素的子集,那麼我們稱覆蓋 L 是覆蓋 K 的 refinement。
  • 正則空間(Regular)。 如果空間中的任一點 x 和以及任一個 x 不在其中的閉集 C,都可以找到 Cx 不相交的鄰域,則稱這個空間是正則空間
  • 正则开Regular open)。 空間 X 中的開集 U 如果等於它閉包的內部,則我們稱它為正则开。 空間中的所有正则开子集形成一個完備的布林代數.
  • Residual。 如果 A 在空間 X 中的補集是贫集,則稱 AX 中為 residual。

S[编辑]

  • 第二綱集(Second category)。 參閱 Meagre
  • Semilocally simply connected。空間 X 中如果任意點 x 都有一個鄰域 U 使得所有 Ux 上的 loop 都與在 x 上的常數 loop 同倫,則我們稱這個空間為 semilocally simply connected。 所有的簡單連通空間和所有的局部簡單連通空間都是 semilocally simply connected。 (與簡單連通相異的地方是,我們允許 loop 在 X 中與常數 loop 同倫,而局部簡單連通的定義中, loop 需要在 U 中與常數 loop 同倫。)
  • 分离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 上產生的子空間拓撲。這個構造和商拓撲的構造對偶。

T[编辑]

  • T0. 如果對於空間中的任意兩個不同點,xy,都可以找到一個開集,或者包含x但不包含y,或者包含y但不包含 x,則我們稱這個空間為 T0 (或 Kolmogorov)。
  • T1. 如果對於空間中的任意兩個不同點,xy,都可以找到一個開集包含 x但不包含 y,則我們稱這個空間為 T1 (或 Fréchet or accessible) (和 T0 的差異在於這裡我們可以讓這個開集包含指定的點。) 換句話說, 一個空間是 T1 空間則所有的個別點都是閉集。所有的 T1空間都是 T0.
  1. 空集合和 X 本身屬於 T
  2. 任何一組 T中的子集合的聯集仍然屬於 T
  3. 任何兩個 T 中的子集和,他們的聯集仍然屬於 T
這組 X的子集合 T 被稱做 X 上的 拓扑。.
  • 拓扑和Topological sum). 參閱 Coproduct topology.
  • 完全有界(Totally bounded). 對於度量空間 M ,如果對於每個 r >0,都存在一個由有限個半徑為 r 的開球組成的覆蓋能蓋住 M,則我們稱 M 完全有界。對一個度量空間來說,緊緻等價於完備且完全有界。
  • 完全不連通(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)。 若一個空間和一個一致空間同胚,則稱這個空間可一致化。
  • 一致空间(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一致结构

W[编辑]

  • 弱拓撲(Weak topology)。 一個集合上和一組從這個集合到一個拓撲空間的函數所相關的弱拓撲,是指能讓這組函數連續的最粗的拓撲。
  • 較弱的拓撲(Weaker topology)。 參閱較粗的拓撲。 注意特別是分析領域的有些作者,用這個詞來表示較強的拓撲
  • 弱可數緊緻(Weakly countably compact)。若空間中的任意無窮子集都有極限點,則稱為弱可數緊緻(或者極限點緊緻)。
  • 弱可遺傳性(Weakly hereditary)。 如果一個空間的性質是這個空間的閉子集也必然會有的性質,則稱這個性質有弱可遺傳性。 舉例來說,緊緻性和 Lindelöf 性質都是弱可遺傳的,但這兩個性質都不是可遺傳的。
  • Well-connected。 參閱 Ultra-connected。 (有些作者用這個詞表示 ultra-connected 的緊空間。)

Z[编辑]

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