LetThe function is continuous, withThe intermediate value theorem gives such that , and hence . This proves the fixed-point property of a closed interval.
Now suppose . For any , choose with and . Applying the intermediate value theorem to on the interval with endpoints gives a point with . Thus is a surjective function.
Let be a homeomorphism, and let be continuous. The conjugate mapis continuous. By hypothesis it has a fixed point . Thereforeand applying gives . Hence every continuous self-map of has a fixed point. This is the homeomorphism invariance of the fixed-point property.
The Brouwer fixed-point theorem for the closed unit disc states that every continuous maphas a fixed point.
The closed unit disc has the fixed-point property by the Brouwer fixed-point theorem. The annulus admits the fixed-point-free rotation of an annulus, for examplewhich is continuous, maps the annulus to itself, and has no fixed point because the origin is not in the annulus. If the disc and annulus were homeomorphic, the homeomorphism invariance of the fixed-point property would give the annulus the fixed-point property, a contradiction. Therefore they are not homeomorphic.
No. TakeIt contains more than one point and has the fixed-point property of a closed interval, but it is not homeomorphic to the closed unit disc. Indeed, deleting any point with disconnects , so such a point is a cut point. Deleting one point from a two-dimensional closed disc leaves a path-connected space. Since being a cut point is preserved by homeomorphisms, the two spaces cannot be homeomorphic. This gives the required counterexample.
Articles by others on the same topic
There are currently no matching articles.