Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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; http://www.mathematik.tu-darmstadt.de/~keimel/compend.ps.gz 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|improve this question

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.