Un complexe simplicial construit à partir d'un espace métrique X et d'un paramètre d'échelle r ≥ 0 en déclarant qu'un sous-ensemble fini {x0,...,xk} engendre un k-simplexe précisément lorsque toutes les distances mutuelles d(xi,xj) ≤ r ; il sert à transformer des données métriques ou des nuages de points en objets topologiques combinatoires.

Principe

Enregistrer les relations de proximité par un seuil uniforme sur les distances par paires afin de produire une famille imbriquée de complexes indexée par l'échelle, reflétant les caractéristiques topologiques dépendant de l'échelle.

Démonstration

Pour un échantillon fini dense de points sur un cercle géométrique dans le plan, le complexe de Vietoris–Rips à une échelle r intermédiaire révèle une classe d'homologie de dimension 1 correspondant au cercle ; pour r très petit le complexe est discret, et pour r très grand il devient contractile.

Mauvaise application

Appliquer la définition lorsque les distances ne proviennent pas d'une métrique (violation de l'inégalité triangulaire) ou considérer le complexe de Rips comme équivalent au complexe de Čech au même paramètre numérique sans tenir compte des critères d'inclusion différents.

Conséquence

À des échelles appropriées, le complexe de Rips détecte des boucles, des cavités et d'autres caractéristiques homologiques de l'espace sous-jacent et sert d'entrée algorithmique pour l'homologie persistante ; sa dépendance à l'échelle et sa simplicité combinatoire le rendent pratique pour l'analyse de données.

Inversion

Inverser la construction en exigeant l'intersection commune de boules métriques (style Čech) au lieu de bornes par paires ; on obtient alors un complexe nerve ayant un comportement d'homotopie et des relations d'inclusion distincts par rapport à Rips.

Limite

Requiert une métrique bien définie sur l'ensemble de points et est intrinsèquement dépendant de l'échelle ; il ne préserve pas automatiquement le type d'homotopie aux différentes échelles et n'est pas généralement équivalent aux invariants topologiques continus sans contrôle sur la densité d'échantillonnage ou des constantes d'intercalage.

Tension sémantique

La tension sémantique vient de la comparaison entre Vietoris–Rips et le complexe de Čech : tous deux sondent la topologie à partir des distances mais utilisent des tests par paires versus par intersection commune, produisant des simplexes et des garanties d'homotopie différentes à une même échelle.

Synthèse

Le complexe de Vietoris–Rips convertit la proximité métrique en un modèle simplicial combinatoire en incluant les simplexes lorsque chaque paire de sommets est à une distance au plus égale à un rayon choisi, produisant une famille paramétrée par l'échelle utilisée pour approximer et calculer des caractéristiques topologiques à partir de données métriques discrètes.