Fixed-point property: Difference between revisions

Browse history interactively ← Previous editContent deleted Content addedVisual WikitextInline

Revision as of 22:19, 10 September 2007 editPaulTanenbaum (talk \| contribs)Extended confirmed users2,381 edits Added order theoretic sense← Previous edit		Latest revision as of 13:51, 25 September 2024 edit undo129.104.65.7 (talk) →Topology Tags: Mobile edit Mobile web edit
(35 intermediate revisions by 27 users not shown)
Line 1:		Line 1:
			{{Short description\|Mathematical property}}
	A ] object ''X'' has '''~~the~~ fixed point property''' if every suitably well-behaved ] from ''X'' to itself has a ]. The term is most commonly used to describe ]s on which every ] mapping has a fixed point. But another use is in ], where a ] ''P'' is said to have the fixed point property if every ] on ''P'' has a fixed point.		A ] object ''X'' has the '''fixed-point property''' if every suitably well-behaved ] from ''X'' to itself has a ]. The term is most commonly used to describe ]s on which every ] mapping has a fixed point. But another use is in ], where a ] ''P'' is said to have the fixed point property if every ] on ''P'' has a fixed point.

	==~~Properties~~==		==Definition==
	A ] of a ~~space~~ ~~with~~ the fixed point property ~~also~~ has ~~the~~ fixed point ~~property~~.		Let ''A'' be an object in the ] '''C'''. Then ''A'' has the ''fixed-point property'' if every ] (i.e., every ]) <math>f: A \to A</math> has a fixed point.

	A ] of ~~spaces~~ ~~with~~ the fixed point property ~~also~~ has ~~the~~ fixed point ~~property~~.		The most common usage is when '''C''' = '''Top''' is the ]. Then a topological space ''X'' has the fixed-point property if every continuous map <math>f: X \to X</math> has a fixed point.

	==Examples==		==Examples==

			===Singletons===
			In the ], the objects with the fixed-point property are precisely the ].

	===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 ''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 ] has the fixed point property: Let ''f'': → be a continuous 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).

	===The closed disc===		===The closed disc===
	The closed interval is a special case of the ], which in any dimension has the fixed point property by the ].		The closed interval is a special case of the ], which in any finite dimension has the fixed-point property by the ].

			==Topology==
			A ] ''A'' of a space ''X'' with the fixed-point property also has the fixed-point property. This is because if <math>r: X \to A</math> is a retraction and <math>f: A \to A</math> is any continuous function, then the composition <math>i \circ f \circ r: X \to X</math> (where <math>i: A \to X</math> is inclusion) has a fixed point. That is, there is <math>x \in A</math> such that <math>f \circ r(x) = x</math>. Since <math>x \in A</math> we have that <math>r(x) = x</math> and therefore <math>f(x) = x.</math>

			A topological space has the fixed-point property if and only if its identity map is ].

			A ] 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.

			The FPP is a ], i.e. is preserved by any ]. The FPP is also preserved by any ].

			According to the ], every ] and ] ] of a ] has the FPP. More generally, according to the ] every ] and ] subset of a ] has the FPP. Compactness alone does not imply the FPP and convexity is not even a topological property so it makes sense to ask how to topologically characterize the FPP. In 1932 ] asked whether compactness together with ] could be a sufficient condition for the FPP to hold. The problem was open for 20 years until the conjecture was disproved by Kinoshita who found an example of a compact contractible space without the FPP.<ref>Kinoshita, S. On Some Contractible Continua without Fixed Point Property. ''Fund. Math.'' '''40''' (1953), 96–98</ref>
⚫	== References ==
⚫	*{{cite book \| first = Bernd \| last = Schröder \| title = Ordered Sets \| publisher = ~~Birkhâuser~~ Boston \| year = 2002}}

		⚫	==References==
	{{topology-stub}}
			{{Reflist}}
⚫	]
			*{{cite book \| first = Norman Steenrod \| last = Samuel Eilenberg \| author-link = Samuel Eilenberg \| title = Foundations of Algebraic Topology \| publisher = Princeton University Press \| year = 1952}}
		⚫	*{{cite book \| first = Bernd \| last = Schröder \| title = Ordered Sets \| publisher = Birkhäuser Boston \| year = 2002}}

		⚫	]
	]

Latest revision as of 13:51, 25 September 2024

Mathematical property

A mathematical object X has the fixed-point property if every suitably well-behaved mapping from X to itself has a fixed point. 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.

Definition

Let A be an object in the concrete category C. Then A has the fixed-point property if every morphism (i.e., every function) $f:A\to A$ has a fixed point.

The most common usage is when C = Top is the category of topological spaces. Then a topological space X has the fixed-point property if every continuous map $f:X\to X$ has a fixed point.

Examples

Singletons

In the category of sets, the objects with the fixed-point property are precisely the singletons.

The closed interval

The closed interval has the fixed point property: Let f: → be a continuous 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 x₀ with g(x₀) = 0, which is to say that f(x₀) − x₀ = 0, and so x₀ 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 finite dimension has the fixed-point property by the Brouwer fixed-point theorem.

Topology

A retract A of a space X with the fixed-point property also has the fixed-point property. This is because if $r:X\to A$ is a retraction and $f:A\to A$ is any continuous function, then the composition $i\circ f\circ r:X\to X$ (where $i:A\to X$ is inclusion) has a fixed point. That is, there is $x\in A$ such that $f\circ r(x)=x$ . Since $x\in A$ we have that $r(x)=x$ and therefore $f(x)=x.$

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.

The FPP is a topological invariant, i.e. is preserved by any homeomorphism. The FPP is also preserved by any retraction.

According to the Brouwer fixed-point theorem, every compact and convex subset of a Euclidean space has the FPP. More generally, according to the Schauder-Tychonoff fixed point theorem every compact and convex subset of a locally convex topological vector space has the FPP. Compactness alone does not imply the FPP and convexity is not even a topological property so it makes sense to ask how to topologically characterize the FPP. In 1932 Borsuk asked whether compactness together with contractibility could be a sufficient condition for the FPP to hold. The problem was open for 20 years until the conjecture was disproved by Kinoshita who found an example of a compact contractible space without the FPP.

References

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

Samuel Eilenberg, Norman Steenrod (1952). Foundations of Algebraic Topology. Princeton University Press.
Schröder, Bernd (2002). Ordered Sets. Birkhäuser Boston.

Category:

Fixed points (mathematics)