子空間拓樸
在拓扑学和数学的其他相关领域里,拓扑空间 的子空间是指在 中子集 及在 上赋予的由 的拓扑所导出的拓扑。这个导出的拓扑叫做 的拓扑在 上的子空间拓扑,也称为相对拓扑。导出方式参见 #定义。
定义
给定拓扑空间 和 内的子集 ,于 上的子空间拓扑被定义为
亦即, 的子集于子空间拓扑中为开集当且仅当其为 和一于 内的开集的交集。若 被设上子空间拓扑,则其本身即为一拓扑空间,并被称之为 的子空间。除非有额外叙述,一般拓扑空间的子集都会假定设有一子空间拓扑。
若 为 内的开集、闭集或稠密集,则分别称 为 内的一开子空间、闭子空间或稠密子空间。
另外,也可以定义 内的子集 的子空间拓扑为会使得内含映射
为连续的最弱拓扑。
更一般地,设 为一由集合 至拓扑空间 的单射,则于 上的子空间拓扑即为定义为 为连续的最弱拓扑。此拓扑的开集恰好会是 的其中一个,其中的 为 内的开集。 因此同胚于在 内的值域(也是带子空间拓扑),且 会被称之为拓扑嵌入。
如果单射 是一个开映射,那么子空间 被称为一个开子空间;同样地,如果单射 是一个闭映射,那么子空间 被称为一个闭子空间。
例子
性质
子空间拓朴具有以下特性。设 是 的一个子空间且 是一个内含映射。对于任何拓朴空间 , 是连续映射当且仅当合成映射 是连续的。
这个特性可以被用来定义 上的子空间拓朴。我们列出一些更进一步的性质。设 是 的子空间拓朴。
拓朴不变量的保持
如果一个拓朴空间的一些拓朴不变量能够保证它们的子空间也有相同的性质,那么我们称这些性质具有可遗传性。如果某些性质只有保证闭子空间才拥有,那我们称这些性质具有弱遗传性。
另见
参考文献
- 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