第一次作业部分解答.PDFVIP

第一次作业部分解答 2. 证明同伦等价 → 诱导 和 的道路连通分支的集合之间的双 射，并且 限制在 的每个道路连通分支上是到 的相应连通分支的同 伦等价。将前述中的道路连通分支换成连通分支也得到一个陈述，证明之。 由此导出，如果 的连通分支和道路连通分支一致，那么每个与 同伦 等价的空间 也如此。 ♢ 我们使用标准的记号，用 表示 的道路连通分支的集合。对任 意 ∈ 是道路连通的，所以可以令 为包含 的道 路连通分支，这就定义了映射 → 我们先证明对任意 ≃ 有 对 的任意道路连通分支 × 道路连通，所以 × {} 和 × {} 在 的同一个道路连通分支中，这就说明了 当 是同伦等价，可以设 ≃ 1 ≃ 1 于是根据刚才的讨论 有 1 1 因此 是双射，其逆是 对任意 ∈ 把 和 分别限制在 × 和 × 上，就说明了 | 也是同伦等价。因为我们也有连通空间的连续像连通，以此代替上面证明 的开头，就证明了一个关于连通分支的相应的命题。 我们暂时记 的连通分支的集合为cc 记包含 的 的连通 分支为 其中 是 的连通分支。显然有交换图 c c cc cc 竖直箭头表示对每个道路连通分支给出包含它的连通分支，其中左边的是 恒等。根据前面的讨论，水平箭头都是双射，所以右边的竖直箭头也是双 射，即 的每个连通分支都包含一个 的道路连通分支，但所有连通分 支的并和所有道路连通分支的并都是整个空间，并且连通分支两两不相交， 1 2 所以每个道路连通分支都必须是包含它的那个连通分支。 3. 对任意满足 − 的正整数 , 和 , 构造 的一个胞 腔结构，它有 个0 维胞腔， 个 1 维胞腔和 个 2 维胞腔。 ♢ 如下图。 4. 证明道路的复合满足下面的消去性质：如果 · ≃ · 并且 ≃ 那么 ≃ . ♢ 这里不给出证明，只列举证明所需的基本实事，并指出它们构成一个一 般的结论——道路的定端同伦等价类构成一个广群 (groupoid). 对一条道路取逆和对首尾相连的两条道路作乘积都是我们所熟知的， 等价类的相应运算通过先取代表来给出，其中 有定义是指 和 首 尾相连。当然要验证