9、模式识别中的持久同调：理论与应用探索

模式识别中的持久同调：理论与应用探索

1. 拓扑不变量基础

1.1 同胚与同调群同构

在拓扑空间的研究中，同胚是一个关键概念。若存在一个函数 ( f: X \to Y ) 满足以下三个性质：一是双射（一一对应且满射）；二是连续；三是其逆函数 ( f^{-1} ) 连续（即 ( f ) 是开映射），则称 ( f ) 为同胚，此时称拓扑空间 ( X ) 和 ( Y ) 是同胚的。同胚关系在所有拓扑空间类上构成一个等价关系，其等价类被称为同胚类。

若 ( f: X \to Y ) 是同胚，那么 ( f_{#}: H_p(X) \to H_p(Y) ) 是同构。这表明 ( H_p(X) ) 是 ( X ) 的一个拓扑不变量，可用于对拓扑空间进行分类。

1.2 贝蒂数与欧拉特征数

1.2.1 贝蒂数

( H_p(X) ) 的秩，记为 ( \beta_p = rank(H_p) )，称作第 ( p ) 个贝蒂数，它等价于 ( H_p(X) ) 的等价类数量。其中，( \beta_0 ) 代表 ( X ) 的连通分量数量，( \beta_1 ) 表示一维或“圆形”孔洞的数量，( \beta_2 ) 表示二维“空洞”或“腔”的数量。一般而言，第 ( p ) 个贝蒂数指的是拓扑空间中 ( p ) 维孔洞的数量。例如，菱形边界有一个连通分量和一个圆形孔洞，即 ( \beta_0 = 1 )，( \beta_1 = 1 )，( \beta_{>1} = 0 )；空心四面体有一个连通分量和一个空洞，所以 ( \beta_0 = 1 )，( \beta_2 = 1 )，( \beta_{>1} = 0 )。