9
$\begingroup$

Let $X$ be a contractible compact [edit: locally connected] topological space (Hausdorff and second countable). Let $f\colon X\to X$ be a continuous map. Then (I suppose) $f$ has a fixed point. Personally, I cannot think of a better generalization of Brouwer's fixed point theorem, but is it true?

$\endgroup$
3
  • 6
    $\begingroup$ It is true if $X$ is triangulable by the Lefschetz fixed point theorem. I don't know what happens if $X$ is not triangulable. $\endgroup$ Mar 28, 2011 at 4:11
  • 4
    $\begingroup$ Alex: it is generally considered to be bad etiquette to edit your question substantively after answers have been posted (and accepted!). It might be worth reading some of the literature (e.g. Bing's article) and then posting a new question, with whatever information you discover upon doing so. $\endgroup$ Mar 28, 2011 at 23:10
  • $\begingroup$ Similar MSE question $\endgroup$
    – Gro-Tsen
    Jan 17 at 18:20

1 Answer 1

25
$\begingroup$

No. I believe the first counterexample is from:

Kinoshita, S. On Some Contractible Continua without Fixed Point Property. Fund. Math. 40 (1953), 96-98

which I unfortunately can't find online. Kinoshita's example is described on page 127 in this excellent article by Bing, however.

EDIT: The question has been revised to add the local connectivity condition; as stated, I think the question is open. If "contractible" is replaced with "acyclic" there are counterexamples dating back to Borsuk, referenced e.g. here; Borsuk's paper, which I can't find online, is:

K. Borsuk, Sur un continua acyclique qui se laisse transformer topologiquement en lui-meme sans points invariants, Fund. Math. 24 (1935), pp. 51-58.

This suggests that if the OP's conjecture is true, it is unlikely to be open to homological attacks.

$\endgroup$
9
  • 2
    $\begingroup$ The original article can be found at: matwbn.icm.edu.pl/ksiazki/fm/fm40/fm4019.pdf $\endgroup$ Mar 28, 2011 at 5:35
  • $\begingroup$ Thank you. The example is nice! (By the way, why he call a compactum a continuum?) $\endgroup$ Mar 28, 2011 at 11:29
  • $\begingroup$ Oops! I know why he call it this. What I do not know is how to delete my own foolish remark:( $\endgroup$ Mar 28, 2011 at 12:14
  • $\begingroup$ I do not know if it is a right policy, but i added the local connectedness condition. Surely I missed it initially. $\endgroup$ Mar 28, 2011 at 12:28
  • 4
    $\begingroup$ @Alex: adding details to your questions is perfectly fine and should be encouraged. If you feel like you need to point out that a detail was not there before, you can always write it like: Let X be a contractible compact [edit: locally connected] topological space $\endgroup$ Mar 28, 2011 at 20:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.