Skip to main content
edited tags
Link
Anton Petrunin
  • 45k
  • 14
  • 135
  • 299
Source Link

Tangent cone of a proper CAT(0) is a proper CAT(0) space

Let $(X,d)$ be a proper CAT$(0)$ space. Let $x\in X$ and let $T_x X$ be the tangent cone of $X$ at $x$ equipped with its usual distance denoted $d_x$. It is a known fact that $(T_x X, d_x)$ is a complete CAT$(0)$ space. My question is whether it is also a proper space since $X$ is a proper space.