-
子基
鎖定
子基是與拓撲有關的概念。設(X,T)為拓撲空間,S⊂T,若S的元的所有有限交的族為T的基,則稱S為拓撲空間(X,T)的子基或拓撲S的子基,每一個非空集族S必是X=∪S上的某個拓撲的子基,並且該拓撲由S惟一確定,它是包含S的最小拓撲,一個拓撲可以有不同的子基,但子基確定惟一的拓撲。
[1]
- 中文名
- 子基
- 外文名
- subbase
- 所屬學科
- 一般拓撲學
- 相關概念
- 拓撲、拓撲空間、基等
子基定義
等價定義為
子基相關概念
子基拓撲基
子基鄰域基
子基例子
例1 設
是任意拓撲空間,則
就是它的基。
例2 設X是非空集,記
子基相關定理
子基定理1
子基定理2
(1)
;
(2)對於任意
是
中某些元素的並。
若
滿足上述兩個條件,則集合X上以
為基的拓撲是唯一的,此拓撲稱為以
為基生成的集合X上的拓撲。
子基定理3
證明 記
因為
,從而
,又對於
中任意兩個元素的交是
中元素的有限交,可見
的任意兩個元素的交屬於
,於是這個交是
中元素的並。因此,從定理2中條件的充分性可知,集合X上有拓撲
以
為它的基,所以
是此拓撲
的子基,若
*是以
為子基的集合X上的另一拓撲,則根據子基定義,
*是以
為基,所以,由定理2可知
*=
。
[2]
例3 設
,則以
為子基生成的集合X上的拓撲是