arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1708.09558math.AT
收藏

Cech闭包空间:离散同伦与连续同伦的统一框架

Cech Closure Spaces: A Unified Framework for Discrete and Continuous Homotopy

Antonio Rieser

摘要:

受拓扑数据分析和代数组合学中结构的启发,我们研究了Cech闭包空间范畴$\mathbf{Cl}$的同伦理论,该范畴的对象是被赋予Cech闭包算子的集合,其态射是它们之间的连续映射.我们引入新的类度量空间,图形和单纯复形的切赫封闭结构,我们展示了如何在这些情况下产生一个有趣的同伦理论。特别是,我们表明,存在一个自然的家庭的Cech封闭结构的度量空间,产生一个非平凡的同伦理论有限的度量空间,即点云,感兴趣的空间拓扑数据分析。然后,我们给一个切赫封闭结构的图形和单纯复形,可用于构建一个新的组合(而不是拓扑)同伦理论的每个骨架的这些空间。我们进一步表明,有一个Seifert-van Kampen定理的封闭空间,一个定义良好的持久同伦的概念,以及相关的交织距离。作为与拓扑设置的差异的说明,我们计算的基本群的圆,“圆形图”,并赋予不同的封闭结构的圆的楔。最后,我们产生了一个连续的映射从拓扑圈"循环图“,给出了适当的封闭结构,诱导同构的基本群。

英文摘要:

Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces $\mathbf{Cl}$, the category whose objects are sets endowed with a Cech closure operator and whose morphisms are the continuous maps between them. We introduce new classes of Cech closure structures on metric spaces, graphs, and simplicial complexes, and we show how each of these cases gives rise to an interesting homotopy theory. In particular, we show that there exists a natural family of Cech closure structures on metric spaces which produces a non-trivial homotopy theory for finite metric spaces, i.e. point clouds, the spaces of interest in topological data analysis. We then give a Cech closure structure to graphs and simplicial complexes which may be used to construct a new combinatorial (as opposed to topological) homotopy theory for each skeleton of those spaces. We further show that there is a Seifert-van Kampen theorem for closure spaces, a well-defined notion of persistent homotopy, and an associated interleaving distance. As an illustration of the difference with the topological setting, we calculate the fundamental group for the circle, `circular graphs', and the wedge of circles endowed with different closure structures. Finally, we produce a continuous map from the topological circle to `circular graphs' which, given the appropriate closure structures, induces an isomorphism on the fundamental groups.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑