全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示英文版。

Mathematics · 术语表

什么是 compact space?

Definition 6.12 University Mathematics — Year 3 · 第 6 章 — General Topology

An open cover of XX is a family (Ui)i∈I(U_i)_{i\in I} of open sets with ⋃Ui=X\bigcup U_i = X. XX is compact if it is Hausdorff and every open cover admits a finite subcover. Equivalently (taking complements): every family of closed sets with the finite intersection property (all finite subfamilies have nonempty intersection) has nonempty total intersection.

示例

Example 6.11

The quotient R/Z\R/\Z (identify xx and x+nx + n) is homeomorphic to the circle S1={z∈C:∣z∣=1}S^1 = \{z \in \C : \abs z = 1\}: the map x↦e2iπxx \mapsto \eu^{2\iu\pi x} passes to a continuous bijection R/Z→S1\R/\Z \to S^1 (Proposition 6.10(b)); its inverse is continuous by the compactness argument of Corollary 6.14 below (Exercise 6.5 details everything, including why R/Z\R/\Z is Hausdorff and compact). Likewise [0,1][0,1] with endpoints glued is S1S^1, the square with opposite sides glued is the torus, and gluing is finally a theorem, not a picture.

在原文中阅读 →