跳到主要内容

连续映射与同胚 (Continuity & Homeomorphisms)

在分析学中，连续性是通过 ϵ−δ\epsilon-\delta（距离）定义的。在点集拓扑学中，我们发现其本质与距离无关，而仅与开集的原像有关。

1. 连续映射 (Continuous Maps)​

定义 1.1 (拓扑连续性)​

设 f:X→Yf: X \to Y 是两个拓扑空间之间的映射。称 ff 在 XX 上是连续的，如果对于 YY 中的每一个开集 VV，其原像 f−1(V)f^{-1}(V) 都是 XX 中的开集。

常见误区

连续性要求开集的原像是开集。注意：开集的像不一定是开集（例如 f(x)=x2f(x)=x^2 将 (−1,1)(-1, 1) 映射为 [0,1)[0, 1)）。

2. 等价判定定理​

定理 2.1 (闭集原像判定)​

f:X→Yf: X \to Y 连续   ⟺  \iff 对于 YY 中的每一个闭集 FF，f−1(F)f^{-1}(F) 都是 XX 中的闭集。

定理 2.2 (局部连续性)​

f:X→Yf: X \to Y 连续   ⟺  \iff 对于每个 x∈Xx \in X 及 f(x)f(x) 的任意邻域 VV，存在 xx 的邻域 UU 使得 f(U)⊂Vf(U) \subset V。

这就是分析学中 ϵ−δ\epsilon-\delta 定义的抽象形式。

3. 同胚 (Homeomorphisms)​

同胚是拓扑空间之间的“同构”。如果两个空间同胚，它们在拓扑上是不可区分的。

定义 3.1 (同胚)​

映射 f:X→Yf: X \to Y 称为同胚 (Homeomorphism)，如果：

  1. ff 是双射（一双一）；
  2. ff 连续；
  3. 其逆映射 f−1f^{-1} 也连续。
拓扑性质 (Topological Property)

由同胚保持的性质称为拓扑性质。例如：紧致性、连通性、分离公理（T2T_2 等）。距离和长度不是拓扑性质。

4. 拓扑空间的积与子空间 (简述)​

  • 子空间拓扑：若 A⊂XA \subset X，则 AA 的开集是形如 U∩AU \cap A 的集合（其中 UU 是 XX 的开集）。
  • 积拓扑 (Product Topology)：X×YX \times Y 的基由 U×VU \times V 构成（U,VU, V 分别为各自空间的开集）。

✍️ 深度练习​

练习 1：验证连续性 - 常值函数​

证明：任何常值函数 f:X→Yf: X \to Y（即 f(x)=c,∀x∈Xf(x) = c, \forall x \in X）总是连续的。

Check Solution

证明：

  1. 取 YY 中的任意开集 VV。
  2. 考虑原像 f−1(V)f^{-1}(V)：
    • 若 c∈Vc \in V，则所有的 xx 都映射到 VV，故 f−1(V)=Xf^{-1}(V) = X。
    • 若 c∉Vc \notin V，则没有任何点映射到 VV，故 f−1(V)=∅f^{-1}(V) = \emptyset。
  3. 由于 XX 和 ∅\emptyset 在任何拓扑 T\mathcal{T} 中都是开集，故常值函数总是连续的。 □\square

练习 2：证明区间 (−1,1)(-1, 1) 与全实数 R\mathbb{R} 同胚​

这说明了在拓扑学中，“有界”与“无界”是可以等价的。

Check Solution

解析：

  1. 构造映射 f:(−1,1)→Rf: (-1, 1) \to \mathbb{R} 为 f(x)=tan⁡(π2x)f(x) = \tan(\frac{\pi}{2}x)。
  2. 双射性：正切函数在 (−π/2,π/2)(-\pi/2, \pi/2) 上是严格单调增的且域为 R\mathbb{R}。
  3. 连续性：在定义域内显然连续。
  4. 逆映射连续性：逆映射 f−1(y)=2πarctan⁡(y)f^{-1}(y) = \frac{2}{\pi}\arctan(y) 在 R\mathbb{R} 上也显然连续。
  5. 结论：(−1,1)≅R(-1, 1) \cong \mathbb{R}。这证明了长度和有界性不是拓扑性质。