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.
Articles by others on the same topic
There are currently no matching articles.