In der Mathematik ist der Vietoris-Rips-Komplex ein einem metrischen Raum ${\displaystyle X}$ und einer Zahl ${\displaystyle t}$ zugeordneter Simplizialkomplex ${\displaystyle P_{t}(X)}$. Er wurde ursprünglich von Leopold Vietoris eingeführt, der ihn zur Definition einer Homologietheorie für beliebige metrische Räume (statt nur Simplizialkomplexe) verwendete. Dieser Ansatz wurde später durch die von Samuel Eilenberg entwickelte singuläre Homologie verdrängt. Arbeiten von Rips und Gromov^[1] etablierten ihn aber als wichtiges Hilfsmittel in der Theorie der hyperbolischen Gruppen. In der Datenanalyse wird er zur Definition der persistenten Homologie verwendet.

Sei ${\displaystyle X}$ ein metrischer Raum und ${\displaystyle t}$ eine reelle Zahl. Dann ist der Vietoris-Rips-Komplex definiert als der Simplizialkomplex, dessen ${\displaystyle 0}$-Simplizes die Punkte von ${\displaystyle X}$ sind und in dem ${\displaystyle 0}$-Simplizes ${\displaystyle P_{0},\ldots ,P_{n}}$ genau dann einen ${\displaystyle n}$-Simplex aufspannen, wenn

${\displaystyle d(P_{i},P_{j})\leq t}$ für alle ${\displaystyle 0\leq i\leq j\leq n}$

gilt.

Für jede Zahl ${\displaystyle t}$ kann man die simpliziale Homologie des Simplizialkomplexes ${\displaystyle P_{t}(X)}$ als Invariante metrischer Räume ${\displaystyle X}$ betrachten. Durch einen Grenzübergang für ${\displaystyle t\to 0}$ definierte Vietoris^[2] eine Homologietheorie, von der 1952 bewiesen wurde^[3], dass sie mit der vermittels offener Überdeckungen definierten Čech-Homologie übereinstimmt.

Sei ${\displaystyle G}$ eine ${\displaystyle \delta }$-hyperbolische Gruppe mit Wortmetrik ${\displaystyle d}$. Dann ist der Komplex ${\displaystyle P_{t}(G)}$ für ${\displaystyle t>4\delta +2}$ ein zusammenziehbarer Raum, auf dem ${\displaystyle G}$ frei und eigentlich diskontinuierlich wirkt. Der Faktorraum ${\displaystyle G\backslash P_{t}(G)}$ ist also ein klassifizierender Raum ${\displaystyle BG}$ für die Gruppe ${\displaystyle G}$.

Mit Hilfe der Wirkung von ${\displaystyle G}$ auf dem Rips-Komplex kann man beispielsweise beweisen, dass hyperbolische Gruppen endlich präsentiert sind, nur endlich viele Konjugationsklassen von Torsionselementen haben, und ihre Gruppenhomologie ${\displaystyle H_{k}(G;\mathbb {Q} )}$ für hinreichend große ${\displaystyle k}$ verschwindet.^[4]

• Vietoris complex (nLab)

1. ↑ M. Gromov: Hyperbolic groups. Essays in group theory, 75–263, Math. Sci. Res. Inst. Publ., 8, Springer, New York, (1987).
2. ↑ L. Vietoris: Über den höheren Zusammenhang kompakter Räume und eine Klasse von zusammenhangstreuen Abbildungen, Math. Annalen, 97 (1): 454–472 (1927).
3. ↑ C. H. Dowker, Homology Groups of Relations, Annals of Math. 56, 84–95 (1952)
4. ↑ Sur les groupes hyperboliques d'après Mikhael Gromov. Papers from the Swiss Seminar on Hyperbolic Groups held in Bern, 1988. Edited by É. Ghys and P. de la Harpe. Progress in Mathematics, 83. Birkhäuser Boston, Inc., Boston, MA, 1990.