To prove the intermediate value theorem in this setting, let and . The endpoint inequalities and continuity give an interval immediately to the right of contained in and an interval immediately to the left of disjoint from . Thus . Choose points of tending to ; continuity gives . If , continuity would place some point larger than in , contradicting the supremum. Hence at an interior point.
For a continuous self-map of , define . The range condition implies and . If either is zero, its endpoint is a fixed point. Otherwise apply the just-proved intermediate value theorem to with target zero to obtain and . ThereforeThis proves the fixed-point property of a closed interval without requiring itself to be monotone.
The fixed-point property fails on an open interval. The continuous functionmaps into itself, because . Its only possible fixed point satisfies , hence , which is outside the domain. It is therefore a counterexample even with the self-map requirement retained.
The fixed-point property also fails on the real line. The continuous function maps into itself but has no fixed point, since is impossible.
Articles by others on the same topic
There are currently no matching articles.