Topological Fixed Point Property
A topological space is said to have the fixed point property (briefly FPP) if for any continuous function
there exists such that .
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. 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 necessary and 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.
Read more about this topic: Fixed Point (mathematics)
Famous quotes containing the words fixed, point and/or property:
“Marriage is the clue to human life, but there is no marriage apart from the wheeling sun and the nodding earth, from the straying of the planets and the magnificence of the fixed stars.”
—D.H. (David Herbert)
“It is sometimes a point of as much cleverness to know to make good use of advice from others as to be able give good advice to oneself.”
—François, Duc De La Rochefoucauld (1613–1680)
“Let’s call something a rigid designator if in every possible world it designates the same object, a non-rigid or accidental designator if that is not the case. Of course we don’t require that the objects exist in all possible worlds.... When we think of a property as essential to an object we usually mean that it is true of that object in any case where it would have existed. A rigid designator of a necessary existent can be called strongly rigid.”
—Saul Kripke (b. 1940)