Un complejo simplicial construido a partir de un espacio métrico X y un parámetro de escala r ≥ 0, donde un subconjunto finito {x0,...,xk} genera un k-simplejo exactamente cuando todas las distancias por pares d(xi,xj) ≤ r; se emplea para convertir datos métricos o nubes de puntos en objetos topológicos combinatorios.

Principio

Aplicar un umbral uniforme sobre las distancias por pares para registrar relaciones de proximidad como simplejos y así obtener una familia anidada de complejos indexada por la escala, que refleja las características topológicas dependientes de la escala.

Demostración

Dado un muestreo finito y denso de puntos sobre un círculo geométrico en el plano, el complejo de Rips a una r intermedia produce una clase de homología de dimensión 1 correspondiente al círculo; para r muy pequeño el complejo es discreto y para r muy grande resulta contractible.

Aplicación incorrecta

Usar la definición cuando las distancias no provienen de una métrica (se viola la desigualdad triangular) o tratar el complejo de Rips como equivalente al complejo de Čech a la misma escala numérica sin tener en cuenta los distintos criterios de inclusión.

Consecuencia

A escalas apropiadas el complejo de Rips puede detectar lazos, cavidades y otras características homológicas del espacio subyacente y sirve como entrada computacional para la homología persistente; su dependencia de la escala y su simplicidad combinatoria lo hacen práctico para análisis de datos.

Inversión

Invertir la construcción exigiendo la intersección común de bolas métricas (en estilo Čech) en lugar de cotas por pares; esto produce un complejo nervio distinto con comportamiento de homotopía y relaciones de inclusión diferentes respecto a Rips.

Límite

Requiere una métrica bien definida en el conjunto de puntos y es inherentemente dependiente de la escala; no preserva automáticamente el tipo de homotopía entre escalas y no es generalmente equivalente a invariantes topológicos continuos sin controlar la densidad de muestreo o constantes de intercalado.

Tensión semántica

La tensión semántica se sitúa entre Vietoris–Rips y el complejo de Čech: ambos intentan sondear la topología a partir de distancias, pero usan tests por pares frente a intersecciones comunes, produciendo simplejos distintos y garantías de homotopía diferentes a una misma escala.

Síntesis

El complejo de Vietoris–Rips transforma la proximidad métrica en un modelo simplicial combinatorio al incluir un simplex cuando cada par de vértices está a una distancia no mayor que un radio elegido, generando así una familia parametrizada por la escala para aproximar y calcular características topológicas a partir de datos métricos discretos.