Java教程

基础拓扑学讲义 1.14 拓扑子空间开集族传递性

本文主要是介绍基础拓扑学讲义 1.14 拓扑子空间开集族传递性，对大家解决编程问题具有一定的参考价值，需要的程序猿们随着小编来一起学习吧！

拓扑子空间开集族传递性

\(X\) 是拓扑空间，\(A\subset X\)，则 \(A\) 上开集族

\[\tau_A = \{U\cap A~|~U \in \tau_X\} \]

\(B\subset A\)，则 \(B\) 上开集族

\[\begin{aligned} \tau_B &= \{V\cap B~|~ V \in \tau_A\}\\ &=\{ (U\cap A)\cap B~|~U\in \tau_X\}\\ &=\{ U\cap (A\cap B)~|~U\in \tau_X\}\\&=\{ U\cap B~|~U\in \tau_X\} \end{aligned} \]

子空间的开集显然不一定是原空间的开集，但好像所有子空间拓扑都能有一样的形式，为啥这么定义啊

度量空间的子空间的子空间的子空间的...集合，也能从开球的角度来判断是不是开集，难道是为了这个吗？

连续映射在子空间的限制

\(f:X\to Y\) 是连续映射，\(A\subset X\)，那么 \(f_A:A\to Y\) 是连续映射吗？

这取决于 \(A\)

设包含映射 \(i: A\to X\)，那么 \(f_A = f\circ i\)

显然，只需要 \(i\) 是连续的，那么 \(f_A\) 就是连续的

包含映射 \(i\) 是连续的，因为 \(i^{-1}(U) = U\cap A\)

\(i\) 不连续，\(f_A\) 是否一定不连续？
\(f_A^{-1} = i^{-1}\circ f^{-1}\) ?
这篇关于基础拓扑学讲义 1.14 拓扑子空间开集族传递性的文章就介绍到这儿，希望我们推荐的文章对大家有所帮助，也希望大家多多支持为之网！
您可能喜欢
栏目导航