| date | page |
|---|---|
| Nov 05 | infty_n-category.htm... |
| Nov 06 | modules.html |
| Nov 06 | algebraic_K_of_ring.... |
| Nov 06 | weak_equivalence.htm... |
| Nov 07 | Rota-Baxter_algebra.... |
| Nov 08 | homology_of_iterated... |
| Nov 09 | polymatroid.html |
| Nov 10 | cactus_group.html |
| Nov 11 | generalized_triangul... |
| Nov 12 | cubical_set.html |
| Nov 13 | Reedy_category.html |
| Nov 14 | CW.html |
| Nov 14 | CW_approximation.htm... |
| Nov 15 | numbers.html |
| Nov 16 | Monsky_dissection.ht... |
| Nov 16 | noncrossing_partitio... |
| Nov 17 | diagram_of_spaces.ht... |
| Nov 17 | generalized_spaces.h... |
| Nov 17 | space_level_construc... |
| Nov 17 | ind-pro.html |
| Nov 17 | pro-object.html |
| Nov 17 | ind-object.html |
| Nov 17 | A_infty-category.htm... |
| Nov 17 | limits.html |
| Nov 18 | finiteness_for_group... |
| Nov 18 | locally_compact_grou... |
| Nov 19 | Segal_space.html |
| Nov 20 | quandle.html |
| Nov 21 | root_system.html |
| Nov 22 | polygon.html |
被覆と弱位相 |
|
位相空間の部分集合族による被覆 (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 な被覆という。 開集合による被覆は, Grothendieck topology の covering による定義の元になっているものであるが, それに関連した numerable open covering の特徴付けとして, Pavlov [Pav22] によるものがある。 Pavlov はそれを用いて, numerable covering により定まる Grothendieck topology を持つ位相空間の成す site 上の simplicial presheaf の homotopy descent property を調べている。 代数的トポロジーでは, 被覆から元の空間そのものを復元する必要はない。 ホモトピー型, あるいはホモロジーが分かれば十分である。 被覆の各部分集合が可縮なとき, 被覆から作られる poset の分類空間が元の空間とホモトピー同値である, という事実は nerve theorem と呼ばれている。 この MathOverflow の質問は, nerve theorem の起源について尋ねているが, 回答は付いていない。 コメントはたくさんあるが。 ホモトピー型を復元したものは, Borsuk の [Bor48] や Weil [Wei52] が最も古いような気がする。Borsuk のものは, 閉集合への分割であるが。 最近では, 組み合せ論や 応用トポロジーでよく使われている。 References
|