4
$\begingroup$

Let us phrase the question in the title in more detail: I wonder if there exists a metric space $X$ which has at least two points, has finite diameter (in the sense that there is an upper bound for the distance between two points, for example it could be compact), is contractible (there is a homotopy of continuous self-maps of $X$ which starts at the identity and ends a constant map) and such that its isometry group acts transitively.

I suspect that there is no such $X$ (maybe with more assumptions, like asking it to be compact or geodesic; if it is CAT(0) then a solution is obvious), but I have not been able to find a proof of this. So I would be grateful if someone knows a solution to or a reference for this problem.

edit: it turns out (see Swiat Gal's answer) that there are such spaces when one drops the compactness assumption--however, I am more interested in the compact case. I also made an assumption to avoid the dumb example of the one-point space.

$\endgroup$

2 Answers 2

10
$\begingroup$

According to this MO question,

A compact isometrically homogeneous metric space is a finite-dimensional manifold if and only if it is locally contractible.

So a compact isometrically homogeneous contractible metric space is a point, unless I'm missing something.

Edit (after Swiat Gal's comment): I was indeed under the impression that a contractible space should be locally contractible at the contraction point (and hence at any point if the space is also homogeneous), but now I'm not so sure about it. It certainly works if the space can be (strongly) deformation retracted to a point, but that is stronger than mere contractibility.

$\endgroup$
4
  • $\begingroup$ That's really quite a remarkable result... $\endgroup$ Commented May 18, 2013 at 1:30
  • $\begingroup$ Todd: This is a variation on the solution of the Hilbert's 5th problem or, more precisely, its generalization to transitive group actions on various classes of spaces (Gleason-Montgomery-Zippin-Yamabe et al), so not completely unexpected. $\endgroup$
    – Misha
    Commented May 18, 2013 at 5:05
  • $\begingroup$ Yes, it has that kind of flavor. That still doesn't prevent me from finding it amazing. $\endgroup$ Commented May 18, 2013 at 7:30
  • 2
    $\begingroup$ Just to unconfuse me: you do not claim that contractible (isometrically homogeneous metric) space needs to be locally contractible? $\endgroup$
    – Swiat Gal
    Commented Jun 3, 2013 at 10:38
9
$\begingroup$

What about a unit sphere in a Hilbert space?

$\endgroup$
4
  • $\begingroup$ I don't think this is contractile (in finite dimension it is most certainly not). $\endgroup$ Commented May 17, 2013 at 9:28
  • 4
    $\begingroup$ The infinite dimensional sphere is contractible. And the one point space appears to be another counterexample. $\endgroup$ Commented May 17, 2013 at 9:35
  • 1
    $\begingroup$ It is contractible, see for example math.ucr.edu/home/baez/week151.html $\endgroup$
    – The User
    Commented May 17, 2013 at 9:36
  • 1
    $\begingroup$ {\it Autant pour moi}. I will edit the question to ask for compact examples (which I probably should have done in the first place). $\endgroup$ Commented May 17, 2013 at 9:41

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .