JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

连续即开集的原像

连续的 epsilon–delta 定义其实只字未谈数值——它说的是:把开的目标拉回来,你仍落在开的源头之内。我们抽出这句话,把它当作定义,并证明它与旧定义一致。于是连续的种种基本事实都成了开集公理的一行推论。

重读 epsilon–delta

回忆epsilon–delta 定义:f 在 a 处连续,是指对每个 epsilon > 0 都存在 delta > 0,使 |x - a| < delta 迫使 |f(x) - f(a)| < epsilon。把结论读成:只要 x 落入以 a 为心、半径 delta 的球,f(x) 就落入以 f(a) 为心、半径 epsilon 的球。用开球的话说,f(a) 周围每个开球的原像都含有 a 周围的一个开球。由于开集恰是开球之并,这与“任意开集的原像是开的”是同一回事。

拓扑定义

设 X、Y 为拓扑空间。映射 f : X → Y 称为连续映射,若对 Y 中每个开集 V,其原像 f⁻¹(V) 在 X 中是开的。这就是定义的全部——没有点、没有 epsilon、没有距离。它是整体的而非逐点的,但在度量情形下恰好刻画了同一批映射,下一段证明会说明这点。

Theorem. For f : R -> R, the two definitions agree:
  (A) epsilon-delta continuous at every point a;
  (B) preimage of every open set is open.

(A) => (B):
  Let V ⊆ R be open. Take any a ∈ f^{-1}(V), so f(a) ∈ V.
  Since V is open, some ball (f(a)-epsilon, f(a)+epsilon) ⊆ V.
  By (A) there is delta > 0 with |x-a| < delta => |f(x)-f(a)| < epsilon,
      i.e. f maps (a-delta, a+delta) into (f(a)-epsilon, f(a)+epsilon) ⊆ V.
  Hence (a-delta, a+delta) ⊆ f^{-1}(V).
  Every point of f^{-1}(V) has such a ball around it, so f^{-1}(V) is open.

(B) => (A):
  Fix a and epsilon > 0. The set V = (f(a)-epsilon, f(a)+epsilon) is open,
  so by (B) the set U = f^{-1}(V) is open and contains a.
  Openness of U gives delta > 0 with (a-delta, a+delta) ⊆ U,
  meaning |x-a| < delta => f(x) ∈ V => |f(x)-f(a)| < epsilon.
  That is exactly the epsilon-delta condition at a.            ∎
连续的 epsilon–delta 定义与原像定义等价——两个方向都明确给出。

为何用原像,与一个免费定理

回报是难定理变得平凡。以连续映射之复合仍连续为例:用 epsilon–delta 需嵌套两次选 delta;用原像只需一行。若 f : X → Y 与 g : Y → Z 连续,W ⊆ Z 开,则 g⁻¹(W) 在 Y 中开,故 f⁻¹(g⁻¹(W)) 在 X 中开。但 f⁻¹(g⁻¹(W)) = (g∘f)⁻¹(W),所以 W 在 g∘f 下的原像是开的。证毕。一个等价判据是:f 连续当且仅当每个闭集的原像是闭的——取补即得。