Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In Euclidean space $E^n$, the distance between two points $x, y$ is just $|x-y|$, and for each fixed $x_0$, the image $y\to\nabla_x|x_0-y|$ is $S^{n-1}$, so it satisfies


(2) $\nabla_xd_{\mathbb{R}^n}(x,y)\subset T^*_x\mathbb{R}^n$ has non-vanishing Gaussian curvature.

First, I want to know the explicit expression of $d_{\mathbb{H}^n}(x, y)$ in the hyperboloid model, and to see if they also satisfy the above two properties.

Thanks in advance.

share|cite|improve this question
What is $\nabla_x$? How do you define it in hyperbolic case? What notion of Hessian do you use in the hyperbolic case? – studiosus Mar 9 '14 at 4:43
If $\langle x, y\rangle$ denotes the Lorentz inner product, the hyperbolic distance between $x$ and $y$ is $\cosh^{-1}|\langle x, y\rangle|$. – Andrew D. Hwang Mar 10 '14 at 1:38
@studiosus: ∇ is a thing (said: a differential operator) that makes 1-forms of smooth functions. Differential geometry will discover it for you, as well as many other useful things. – Incnis Mrsi Nov 6 '14 at 17:18
@IncnisMrsi: $\nabla$ has several different meanings in Riemannian geometry (covariant derivative is one of them, of course). However, for a Riemannian manifold $M$, the notation $\nabla_x$, where $x\in M$, is meaningless. Hence, my request for a clarification (which OP so far did not provide.) Voting to close. If you know what OP had in mind, you are welcome to edit the question. – studiosus Nov 6 '14 at 17:29
The enigmatic “$∇_x$, where $x∈M$” notation is a hint that suggests to differentiate the expression by $x$, instead of by $y$, or by both, or by neither ☺ – Incnis Mrsi Nov 6 '14 at 17:37

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.