泛函分析的难点在于不断地抽象。
从开集到拓扑就是把距离抽象掉了
开集的原像是开集，但是开集经过连续映射之后不一定是开的，比如 f(x)≡1f(x)\equiv1f(x)≡1 （所有东西都映射成一个点，一个点是闭的）
闭集的定义如下：
问号处是 1.2.8，如下：
