开映射和闭映射
贡献者: 零穹
拓扑空间中,映射是连续的当且将当对像空间的每一开集的原象是开集,或者像空间的每一闭集的原象是闭集。即若 是两个拓扑空间, 是连续的当且将当每一 ,。然而,我们可以问:在连续映射下,开集的像是否一定是开集?闭集的象是否是闭集?一些例子告诉我们,一般情况下回答是否定的。这就引出了开映射和闭映射的概念。而对理解这两个概念本身来说,我们无需知道连续映射的定义。
1. 连续映射下开(闭)集的像不是开(闭)集
例 1
考虑半开区间 到圆周 的映射:
其中 的开集为 和普通的开区间, 的开集是不包括端点的圆周上的弧(当然还有它们的并和交)。
那么任一 的开集 对应 的 ,
,显然这是 的开集,于是映射 是连续的。然而 对应 的角度在 的弧,其是 的非闭集,而 是 闭集(因为其关于 的补集是开集 )。
同样的, 将 的开集 映到 的角度在 的非开集。
因此,一般的连续映射并不会将开(闭)集映射为开(闭)集,因此我们可以在拓扑空间中定义一种将开(闭)集映射为开(闭)集的映射,并给它们专有的名字。
2. 开映射和闭映射
定义 1 开映射,闭映射
设 是拓扑空间之间的映射,若 把任一开集映到开集,则称 是开的。若 把任一闭集映到闭集,则称 是闭的。
由开映射和连续映射的定义,可以知道,开映射的逆是连续的。因此,尽管不能保证一一的连续映射的逆是连续的,但是我们可以专门研究那种一一的连续映射的逆是连续的那些映射,这样的映射称为同胚映射。显然,同胚映射首先是一个开映射,也是一个闭映射。