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

Let us consider the tractroid (pseudosphere) obtained by rotation from the tractrix curve. The surface is not defined on the "big rim", so it is not a complete set. Hilbert's theorem states that there exists no complete regular surface of constant negative Gaussian curvature immersed in $\mathbb{R}^{3}$.

Then, if we truncate the tractroid surface with two planes that are orthogonal to the rotation axis, apparently we obtain a compact surface with negative curvature... but that it not possible by Hilbert's theorem. Is there a loss of regularity along the borders?

share|cite|improve this question
up vote 2 down vote accepted

It's compact, but obviously not complete.

(Wait, are you including the truncating surfaces in the result? Then it fails to be differentiable at the edges, so it doesn't have a Gaussian curvature there, much less a constant negative one).

share|cite|improve this answer
To what surface do you refer when you say "compact"? And what do you mean with "compact but not complete" when we are in metric spaces? – user14174 Sep 8 '11 at 21:13
"Compact" is from your question: "we obtain a compact surface ..." I hope you know which one you meant there; I am only guessing. Perhaps you meant that the truncated pseudosphere is a topologically compact set? In that case it is not a manifold at the boundary. A complete surface is one where every geodesic can be extended arbitrarily far in each direction. It's one of the assumptions in Hilbert's theorem. – Henning Makholm Sep 8 '11 at 21:26

The " big rim" is a cuspidal edge or equator; it has infinity and zero principal curvatures. In between them are zero normal curvature asymptotic lines having constant geodesic torsion across cusp, even if curvatures vary continuously from - infinity to + infinity, across the rim.

share|cite|improve this answer

Your Answer


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