The horofunction boundary of the infinite dimensional hyperbolic space (Q776211)

Let \((H , \langle, \cdot,\rangle)\) be an infinite-dimensional Hilbert space and let \(V = {\mathbb R}\oplus H\). The point set of Klein's model of the infinite-dimensional real hyperbolic space \({\mathbb H}^{\infty}\) consists of all \((1, x)\in V\) with \(\|x\|<1\), equipped with Hilbert's cross-ratio metric. In this paper, the author determines the horofunctions of \({\mathbb H}^{\infty}\) as well as the Busemann points among them.