Home 数学 点集拓扑

我们研究拓扑空间中的连续函数，连续性的定义依赖于邻域的概念

定义（连续）
令 (X,OX),(Y,OY)(X,\mathcal O_X),(Y,\mathcal O_Y) 为拓扑空间，映射 f:X→Yf:X \to Y

  • ff 在 a∈Xa \in X 连续 ⟺def\stackrel{def}{\iff} ∀B∈NY(f(x))s.t.f−1(B)∈NX(x)\forall B \in \mathcal{N}_Y(f(x)) \ s.t. \ f^{-1}(B) \in \mathcal{N}_X(x)
  • ff 在 XX 上连续 ⟺def\stackrel{def}{\iff} ∀V∈OYs.t.f−1(V)∈OX\forall V \in \mathcal O_Y \ s.t. \ f^{-1}(V) \in \mathcal O_X

注意这里开始，映射在定义域上连续的定义不再是在所有的点上连续，虽然这依然等价

令 (X,dX),(Y,dY)(X,d_X),(Y,d_Y) 为拓扑空间，FX,FY\mathcal F_X,\mathcal F_Y 为各自的闭集系，映射 f:X→Yf:X \to Y，a∈Xa \in X，以下全部等价

  1. ff 连续
  2. ff 在任意的点 a∈Xa \in X 处连续
  3. ∀F∈FYs.t.f−1(F)∈FX\forall F \in \mathcal F_Y \ s.t. \ f^{-1}(F) \in \mathcal F_X
证明

(1)⇒(2)(1) \Rightarrow (2)
∀B∈NY(f(x))⊂OYs.t.f−1(B)∈NX(x)⊂OX\forall B \in \mathcal{N}_Y(f(x)) \subset \mathcal O_Y s.t. f^{-1}(B) \in \mathcal{N}_X(x) \subset \mathcal O_X
(2)⇒(1)(2) \Rightarrow (1)
任取 V∈OYV \in \mathcal O_Y，以及 VV 内一点 xx，则有 V∈NY(f(x))V \in \mathcal{N}_Y(f(x))
根据条件得到 f−1(V)∈NX(x)⊂OXf^{-1}(V) \in \mathcal{N}_X(x) \subset \mathcal O_X
(1)⇔(3)(1) \Leftrightarrow (3)
(1)⇔∀V∈OY:f−1(V)∈OX⇔∀Vc∈FX:f−1(Vc)∈FX□(1) \Leftrightarrow \forall V \in \mathcal O_Y : f^{-1}(V) \in \mathcal O_X \Leftrightarrow \forall V^c \in \mathcal F_X : f^{-1}(V^c) \in \mathcal F_X \quad \square

合成映射的连续性

令 (X,OX),(Y,OY),(Z,OZ)(X,\mathcal O_X),(Y,\mathcal O_Y),(Z,\mathcal O_Z) 为拓扑空间，f:X→Yf:X \to Y，g:Y→Zg:Y \to Z

  • f,gf,g 连续 ⟹g∘f\Longrightarrow g \circ f 连续

特别地，如果两个拓扑空间之间可以找到双向连续的映射，那么这两个空间在拓扑研究中有 “等价” 的表现。

定义（同胚）
令 (X,OX),(Y,OY)(X,\mathcal O_X),(Y,\mathcal O_Y) 为拓扑空间
f:X→Yf:X \to Y 为同胚映射 ⟺def\stackrel{def}{\iff} ff 双射且 f,f−1f,f^{-1} 都连续
(X,OX)(X,\mathcal O_X) 和 (Y,OY)(Y,\mathcal O_Y) 同胚 ⟺def\stackrel{def}{\iff} 存在双射 f:X→Yf:X \to Y 为同胚映射，记作 (X,OX)≅(Y,OY)(X,\mathcal O_X) \cong (Y,\mathcal O_Y)

注意 ≅\cong 成为等价关系（满足自反、对称、传递），此处证明略

最后是开映射的概念

定义（开映射）
令 (X,OX),(Y,OY)(X,\mathcal O_X),(Y,\mathcal O_Y) 为拓扑空间，f:X→Yf:X \to Y，若

  • ∀U∈OXs.t.f(U)∈OY\forall U \in \mathcal O_X \ s.t. \ f(U) \in \mathcal O_Y
    则称 ff 为开映射

开映射的定义和连续是反向的，连续是拓扑元的逆像仍是拓扑元，开映射是拓扑元映射过去是拓扑