连续的一一映射,其逆映射怎样才连续?

在拓扑学中有很多的反例能够说明,从一个拓扑空间到另一个拓扑空间的连续一一映射,其逆映射不一定是连续的,即使假定两个拓扑空间都是距离空间。

反例1:设 \[ \begin{aligned}f:[0,2\pi) & \to C(0,1) \\ t & \to e^{it}\end{aligned}\] 它是连续映射,但是其逆映射在单位圆的 (1,0) 点是不连续的。
反例2:设 \[\begin{aligned}f:[0,1)\cup \{2\} & \to [0,1] \\ t & \to \left\{\begin{matrix}t & t<1\\ 1 & t=2 \end{matrix}\right.\end{aligned}\] 在相对拓扑意义下,f 是连续的,但是其逆映射不连续。

但是,数学各个分支中又有很多定理表明,如果加了某些条件,一个连续的一一映射,其逆映射可以保证也是连续的。如:

命题1:定义在一段连续区间上的实值函数,如果是连续单射,那么它的反函数也是连续的。
命题2(泛函分析中的开映射定理):定义在两个巴拿赫空间之间的连续线性算子,如果是满射,那么它是开映射,即将开集映为开集,那么它如果可逆,其逆映射就一定是连续的。
命题3:复平面上的解析映射是开映射,跟上一个例子类似,如果它可逆,那么它的逆映射是连续的。
更一般的,在拓扑中有这样的事实:
命题4:紧致空间的连续映射的像是紧致的,因此从紧致空间 X 到距离空间 Y 的连续映射是闭映射。

这些例子分别处在不同的数学分支,证明方法也不一样,那么现在的问题是,他们之间是否有某种联系?是否可以从拓扑的角度统一地处理这些问题?是否能在拓扑上提出一个充要条件使得逆映射的连续性能够得到保证?

上面的第四条其实就是对空间提出的拓扑条件,可惜的是,紧致性的条件太苛刻,以至于其它三个例子都不能从4 直接推出来。

Continue reading

点集拓扑要义(二)

(五)拓扑空间中的序列极限与集合聚点

极限是序列的极限,聚点是点集的聚点。但二者却有很大的联系,在欧氏空间或更一般的度量空间中,x 是一个点集的聚点,当且仅当在这个点集中可以取出一列收敛到 x 但每一项都不等于 x 的点列;如果 x 是一个序列的极限,并且这个序列中有无限多项不等于 x,那么 x 就是这个序列元素构成集合的聚点。
这一节试图充分讨论极限与聚点在一般的拓扑空间中的关系。

Continue reading

点集拓扑要义(一)

分析教材中有一部分是点集拓扑中的内容在欧氏空间中的应用,所以索性在温习的时候把点集拓扑也顺便复习一遍。当年我们用的是熊金城的《点集拓扑讲义》作为教材,所以现在还用这本书为底本做一些笔记性的补充。

Continue reading