Vietoris-Rips-Komplex

In der Mathematik ist der Vietoris-Rips-Komplex ein einem metrischen Raum $X$ und einer Zahl $t$ zugeordneter Simplizialkomplex $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 etablierten ihn aber als wichtiges Hilfsmittel in der Theorie der hyperbolischen Gruppen. In der Datenanalyse wird er zur Definition der persistenten Homologie verwendet.

Definition

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

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

gilt.

Vietoris-Homologie

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

Rips-Komplex hyperbolischer Gruppen

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

Mit Hilfe der Wirkung von $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 $H_{k}(G;\mathbb {Q} )$ für hinreichend große $k$ verschwindet.

Weblinks

• Vietoris complex (nLab)