跳转到内容

拓撲比較

维基百科,自由的百科全书
(重定向自Coarser topology

拓撲學和其相關的數學領域裡,拓撲比較是指在同一個給定的集合上的兩個拓撲結構之間的關係。在一給定的集合上的所有拓撲會形成一個偏序集合。此一序關係可以用來做不同拓撲之間的比較。

定義

定義 —  都是  的拓扑,若 (fine)或更(strong),或称 (coarse)或更(weak)。

進一步的,若 ,称 嚴格细(strictly fine),或称 嚴格粗(strictly coarse)。[1]

直觀上, 有更多甚至是「更小」的鄰域去逼近拓撲空間中的一點,所以相較之下,其拓撲結構比較「細緻」。但在 意義下定義的 「極限」要求在更多的鄰域都要能找到逼近點,所以其拓撲結構在收斂的意義下比較「強」。至於嚴格細或粗,就是額外要求

二元關係 所有的拓撲所組成的集合上定義了一個偏序集合

例子

的拓扑裡,最粗的是由空集和全集两个元素构成的:

而最细的拓扑是离散拓扑(discrete topology),也就是冪集

最粗拓撲

定理 —  的一個子集族,則:

也是 拓扑

證明

根據定理的條件,對所有集合 有:

(a)

以下將逐條檢驗拓扑的定義,來驗證 的確是拓扑

(1)

的確是 拓扑,那由拓扑的定義可以得到 ,這樣從式(a)右方就可以得到

(2)

,從式(a)左方有:

所以有:

所以根據拓扑的定義有:

這樣從式(a)右方就可以得到

(3)

,那對任意 ,從式(a)左方有:

所以有:

所以根據拓扑的定義有:

所以從式(a)右方可以得到

綜上所述,來驗證 的確是 拓扑

根據以上的定理,可以做以下的定義:

定義 —  的一個子集族,則:

稱為包含 最粗拓撲(或最弱拓撲)。



另見

  • 初拓撲-可使集合上的一組映射皆為連續的拓撲之中,最粗糙的拓撲。
  • 終拓撲-可使集合上的一組映射皆為連續的拓撲之中,最精細的拓撲。

參考資料

  1. ^ Munkres, James R. Topology 2nd. Upper Saddle River, NJ: Prentice Hall. 2000: 77–78. ISBN 0-13-181629-2.