| date | page |
|---|---|
| Oct 10 | F1-geometry.html |
| Oct 10 | Segal_space.html |
| Oct 11 | algebraic_theory.htm... |
| Oct 12 | abstract_convex_set.... |
| Oct 13 | monad.html |
| Oct 13 | ultrafilter_monad.ht... |
| Oct 13 | compactness.html |
| Oct 13 | categorical_measure_... |
| Oct 14 | stable_homotopy.html |
| Oct 14 | from_stable_homotopy... |
| Oct 14 | nilpotence_theorem.h... |
| Oct 14 | telescope_conjecture... |
| Oct 15 | generalized_Abelian_... |
| Oct 16 | scissors_congruence.... |
| Oct 17 | Deligne_conjecture.h... |
| Oct 18 | quantum_deformation_... |
| Oct 19 | cohomology_in_physic... |
| Oct 19 | homology.html |
| Oct 21 | graph_topology.html |
| Oct 22 | right-angled_Artin_g... |
| Oct 23 | matroid_Tutte_polyno... |
| Oct 23 | cut-and-paste_K-theo... |
| Oct 24 | bundles.html |
| Oct 25 | category_with_someth... |
| Oct 26 | Waldhausen_K.html |
| Oct 26 | algebraic_K_of_infty... |
| Oct 26 | algebraic_K.html |
| Oct 27 | physics.html |
| Oct 27 | sphere.html |
| Oct 28 | Frobenius_algebra.ht... |
被覆と弱位相 |
|
位相空間の部分集合族による被覆 (cover) は, もちろん コンパクト性の定義に必要な概念である。 一方で, 代数的トポロジーでは, 空間を 小さな空間に分解して調べ易くするときに使う。 そのときには, 小さな空間の位相を合せて考えている空間の位相が復元できる必要がある。 そのような位相を弱位相という。
そのような空間の分割の典型的な例は, CW複体であり, 当然その定義には, 弱位相が入っている。 また, 位相空間の圏を, ホモトピー論を行なうために便利な圏 (convenient category) に変えるときによく使われる コンパクト生成位相にも必要である。 被覆により定まる弱位相が元の位相と一致する場合として, 以下のようなものがある。
上に書いたように, 弱位相は様々な場面で必要になるが, トポロジーの初歩でも次の命題はよく使う。 Proposition 1. Suppose that a topological space \(X\) is equipped with a covering \(\{U_{\alpha }\}_{\alpha \in A}\) and that the topology of \(X\) coincides with the weak topology defined by the covering. Then, for a topological space \(Y\), a map \(f:X\to Y\) is continuous if and only if the restriction \(f|_{U_{\alpha }}\) is continuous for all \(\alpha \in A\). In other words, given a family of continuous maps \(\{f_{\alpha } : U_{\alpha } \to Y\}_{\alpha \in A}\) that agree on intersections, the map \(f:X\to Y\) defined by \[ f(x) = f_{\alpha }(x), \] when \(x\in U_{\alpha }\), is continuous.
位相空間の図式の colimit に入れる位相も弱位相である。
それに従属する\(1\)の分割が存在するような被覆を, numerable な被覆という。 代数的トポロジーでは, 被覆から元の空間そのものを復元する必要はない。 ホモトピー型, あるいはホモロジーが分かれば十分である。 被覆の各部分集合が可縮なとき, 被覆から作られる poset の分類空間が元の空間とホモトピー同値である, という事実は nerve theorem と呼ばれている。 この MathOverflow の質問は, nerve theorem の起源について尋ねているが, 回答は付いていない。 コメントはたくさんあるが。 ホモトピー型を復元したものは, Borsuk の [Bor48] や Weil [Wei52] が最も古いような気がする。Borsuk のものは, 閉集合への分割であるが。 最近では, 組み合せ論や 応用トポロジーでよく使われている。 References
|