6b78c254bd0cd4e0.tex
1: \begin{definition}\label{Defn:HyperbolicComplex}
2:  A \emph{hyperbolic complex} is a connected, uniformly locally finite, simplicial complex~$X$ whose~$1$-skeleton~$\Graph$ is a hyperbolic graph with respect to its word metric~$\dG$.
3:  Then Mineyev uses the bilinear extension formula
4:  \[
5:   d(x,y) = \sum_{u,v \in \VX} x_u y_v \, \dG(u,v)
6:  \]
7:  to define a metric on~$X$.
8:  However, as shown at the start of Subsection~\ref{Subsection:NaiveApproach} this function is not a metric unless~$X$ is just a collection of vertices.
9:  
10:  Therefore we alter the definition of a hyperbolic complex to say~$X$ has the metric~$\tildedG$ obtained from Theorem~\ref{Thm:Extension} by setting~$\dhat$ to be the restriction of~$\dG$ to~$\VX$ (and~$C=1$).
11: \end{definition}
12: