[论文解读] Remarks on pointed digital homotopy

Laurence Boxer, P. Christopher Staecker|arXiv (Cornell University)|Mar 10, 2015

Digital Image Processing Techniques参考文献 13被引用 3

一句话总结

本文引入了一种基于最终常值（EC）环路的新数字基本群变体，相较于传统平凡扩张方法，其处理更为简便。本文纠正了先前工作中存在缺陷的证明，确立了即使不保持基点，同伦等价的数字图像也具有同构的基本群，并提供了首个具有 $c_u$-邻接关系但同伦等价却不带基点同伦等价的数字图像示例。

ABSTRACT

We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z ightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results. We present a variant form of the digital fundamental group. Based on what we call {\em eventually constant} loops, this version of the fundamental group is equivalent to that of Boxer (1999), but offers the advantage that eventually constant maps are often easier to work with than the trivial extensions that are key to the development of the fundamental group in Boxer (1999) and many subsequent papers. We show that homotopy equivalent digital images have isomorphic fundamental groups, even when the homotopy equivalence does not preserve the basepoint. This assertion appeared in Boxer (2005), but there was an error in the proof; here, we correct the error.

研究动机与目标

• 纠正文献[3]中声称同伦等价数字图像具有同构基本群的证明错误。
• 提出一种基于最终常值（EC）环路的新版本数字基本群，避免先前工作中繁琐的平凡扩张。
• 提供首个具有 $c_u$-邻接关系的数字图像对，其同伦等价但不带基点同伦等价。
• 定义并分析一种更严格的带基点同伦形式——基点处紧致（TAB）——并探讨其对环路等价的影响。
• 确立即使不保持基点，同伦等价也能在基本群上诱导同构。

提出的方法

• 引入最终常值（EC）环路的概念，即在有限索引后稳定为常数值的环路，作为新基本群构造的基础。
• 定义一种称为“基点处紧致”（TAB）的新同伦关系，要求同伦过程中基点始终保持不变，使其比标准带基点同伦更严格。
• 构造一个同态 $F: Π_1(X,x_0) \to G(X,x_0)$，将有限环路的等价类映射到EC环路，证明其为同构。
• 利用同伦 $H: X \times [0,m]_\mathbb{Z} \to X$ 从 $1_X$ 到 $G \circ F$ 定义路径 $q(t) = H(p,t)$，从而构造保持基点的环路同伦。
• 应用推论5.2中的同构 $q_\#$，通过与 $q_\#$ 的复合，证明基本群上的诱导映射 $F_*$ 为同构。
• 构造一个同伦 $K$，连接 $f$ 与 $q_\infty * f * (q_\infty)^{-1}$，并保持端点固定，证明 $F_*$ 为同构。

实验结果

研究问题

• RQ1 当同伦等价不保持基点时，同伦等价的数字图像是否仍具有同构的基本群？
• RQ2 是否存在一对数字图像，其同伦等价但不带基点同伦等价？
• RQ3 能否通过最终常值环路重新定义数字基本群，以避免依赖平凡扩张？
• RQ4 ‘基点处紧致’（TAB）同伦关系与标准带基点同伦在环路等价上的影响有何不同？
• RQ5 在数字拓扑中，同伦等价在基本群上诱导同构的正确证明是什么？

主要发现

• 本文提供了首个具有 $c_u$-邻接关系的数字图像对，其同伦等价但不带基点同伦等价。
• 基于最终常值（EC）环路的基本群与基于有限环路的经典版本同构，但EC环路通常更易于处理。
• 由 $F([f]_X) = [f_\infty]_X$ 定义的同态 $F: \Pi_1(X,x_0) \to G(X,x_0)$ 是同构，证明了新构造与经典基本群构造的等价性。
• 通过复合路径诱导同构 $q_\#$，纠正了文献[3]中声称同伦等价数字图像具有同构基本群的证明，表明诱导映射 $F_*$ 为同构。
• 通过路径 $q$ 与保持端点的同伦 $K$，证明 $F_*$ 为单射与满射，从而确立其为同构。
• 通过证明 $q_\# \circ G_* \circ F_*$ 为恒等映射，且由于 $q_\#$ 是同构，故 $F_*$ 必为同构，从而确立了 $F_*$ 的同构性。