| Revision as of 22:17, 10 November 2007 editMichael Hardy (talk | contribs)Administrators210,266 edits →Examples: In non-TeX math notation, italicize variables but NOT digits and NOT punctuation.← Previous edit | Revision as of 22:18, 10 November 2007 edit undoMichael Hardy (talk | contribs)Administrators210,266 edits →ExamplesNext edit → | ||
| Line 10: | Line 10: | ||
| ==Examples== | ==Examples== | ||
| ===The closed interval=== | ===The closed interval=== | ||
| The ] has the fixed point property: Let ''f'': → be a mapping. If ''f''(0) = 0 or ''f''(1) = 1, then our mapping has a fixed point at 0 or 1. If not, then ''f''(0) > 0 and ''f''(1) − 1 < 0. Thus the function ''g''(''x'') = ''f''(''x'') − x is a continuous real valued function which is positive at ''x'' = 0 and negative at '''' |
The ] has the fixed point property: Let ''f'': → be a mapping. If ''f''(0) = 0 or ''f''(1) = 1, then our mapping has a fixed point at 0 or 1. If not, then ''f''(0) > 0 and ''f''(1) − 1 < 0. Thus the function ''g''(''x'') = ''f''(''x'') − x is a continuous real valued function which is positive at ''x'' = 0 and negative at ''x'' = 1. By the ], there is some point ''x''<sub>0</sub> with ''g''(''x''<sub>0</sub>) = 0, which is to say that ''f''(''x''<sub>0</sub>) − ''x''<sub>0</sub> = 0, and so ''x''<sub>0</sub> is a fixed point. | ||
| The ] does ''not'' have the fixed point property. The mapping ''f''(''x'') = ''x''<sup>2</sup> has no fixed point on the interval (0,1). | The ] does ''not'' have the fixed point property. The mapping ''f''(''x'') = ''x''<sup>2</sup> has no fixed point on the interval (0,1). | ||
Revision as of 22:18, 10 November 2007
A mathematical object X has the fixed point property if every suitably well-behaved mapping from X to itself has a fixed point. It is a special case of the fixed morphism property. The term is most commonly used to describe topological spaces on which every continuous mapping has a fixed point. But another use is in order theory, where a partially ordered set P is said to have the fixed point property if every increasing function on P has a fixed point.
Properties
A retract of a space with the fixed point property also has the fixed point property.
A topological space has the fixed point property if and only if its identity map is universal.
A product of spaces with the fixed point property in general fails to have the fixed point property even if one of the spaces is the closed real interval.
Examples
The closed interval
The closed interval has the fixed point property: Let f: → be a mapping. If f(0) = 0 or f(1) = 1, then our mapping has a fixed point at 0 or 1. If not, then f(0) > 0 and f(1) − 1 < 0. Thus the function g(x) = f(x) − x is a continuous real valued function which is positive at x = 0 and negative at x = 1. By the intermediate value theorem, there is some point x0 with g(x0) = 0, which is to say that f(x0) − x0 = 0, and so x0 is a fixed point.
The open interval does not have the fixed point property. The mapping f(x) = x has no fixed point on the interval (0,1).
The closed disc
The closed interval is a special case of the closed disc, which in any dimension has the fixed point property by the Brouwer fixed point theorem.
References
- Samuel Eilenberg, Norman Steenrod (1952). Foundations of Algebraic Topology. Princeton University Press.
- Schröder, Bernd (2002). Ordered Sets. Birkhäuser Boston.
 | This topology-related article is a stub. You can help Misplaced Pages by expanding it. |