在拓撲學和數學的其他相關領域裡,拓撲空間 的子空間是指在 中子集 及在 上賦予的由 的拓撲所導出的拓撲。這個導出的拓撲叫做 的拓撲在 上的子空間拓撲,也稱為相對拓撲。導出方式參見 #定義。
定義
給定拓撲空間 和 內的子集 ,於 上的子空間拓撲被定義爲
亦即, 的子集於子空間拓撲中為開集若且唯若其爲 和一於 內的開集的交集。若 被設上子空間拓撲,則其本身即為一拓撲空間,並被稱之爲 的子空間。除非有額外敘述,一般拓撲空間的子集都會假定設有一子空間拓撲。
若 爲 內的開集、閉集或稠密集,則分別稱 爲 內的一開子空間、閉子空間或稠密子空間。
另外,也可以定義 內的子集 的子空間拓撲為會使得內含映射
更一般地,設 爲一由集合 至拓撲空間 的單射,則於 上的子空間拓撲即為定義爲 爲連續的最弱拓撲。此拓撲的開集恰好會是 的其中一個,其中的 爲 內的開集。 因此同胚於在 內的值域(也是帶子空間拓撲),且 會被稱之為拓撲嵌入。
如果單射 是一個開映射,那麼子空間 被稱為一個開子空間;同樣地,如果單射 是一個閉映射,那麼子空間 被稱為一個閉子空間。
例子
性質
子空間拓樸具有以下特性。設 是 的一個子空間且 是一個內含映射。對於任何拓樸空間 , 是連續映射若且唯若合成映射 是連續的。
![Thumb](http://upload.wikimedia.org/wikipedia/commons/6/65/Subspace-01.png)
這個特性可以被用來定義 上的子空間拓樸。我們列出一些更進一步的性質。設 是 的子空間拓樸。
拓樸不變量的保持
如果一個拓樸空間的一些拓樸不變量能夠保證它們的子空間也有相同的性質,那麼我們稱這些性質具有可遺傳性。如果某些性質只有保證閉子空間才擁有,那我們稱這些性質具有弱遺傳性。
另見
參考文獻
- Bourbaki, Nicolas, Elements of Mathematics: General Topology, Addison-Wesley (1966)
- Steen, Lynn A. and Seeback, J. Arthur Jr., Counterexamples in Topology, Holt, Rinehart and Winston (1970) ISBN 0-03-079485-4.
- Wilard, Stephen. General Topology, Dover Publications (2004) ISBN 0-486-43479-6