MathOverflow is a question and answer site for professional mathematicians. 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 $X$ be a compact metrizable topological semilattice with a neighbourhood base of sub-semilattices that are path connected. I need a reference for a proof that $X$ is an absolute retract.

Here is what I have:

While the proof seems to be correct the statement of the theorem seems wrong, it forgets to mention that the abstract convex spaces is locally convex. You have to wade through abstract convexity definitions and their relation with semilattices to figure out stuff. Also, the book is super expensive online.

  • There is a proof outlined in Exercise 3.20 p. 297 of "A Compendium of Continuous Lattices" by Gierz, Hofmann, Keimel, Lawson, Mislove, Scott; establishing this as a consequence of the Wojdyslawski (1937) result that the set of all non-empty closed subsets of a Peano continuum is an absolute retract. But it's an exercise. (I'm definitely not looking for anyone here to solve that exercise, it's straightforward)

  • There is even a proof in a very recent paper that effectively roles its own...

share|cite|improve this question

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.