Fixed-point property: Difference between revisions

Latest revision as of 02:23, 28 July 2011

This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces

Definition

A topological space is said to have the fixed-point property if every continuous map (not necessarily a self-homeomorphism) from the topological space to itself has a fixed point.

Relation with other properties

Stronger properties

acyclic compact polyhedron (nonempty)
rationally acyclic compact polyhedron (nonempty)

Examples

Manifolds without boundary

Manifold or family of manifolds	Dimension in terms of parameter	Does it satisfy the fixed-point property?	Proof/explanation
sphere $S^{n}, n \geq 1$	$n$	No	The antipodal map is a fixed-point-free self-map (in fact, it's a self-homeomorphism without fixed points).
real projective space $P^{n} (R), n \geq 1$	$n$	Even $n$ : Yes Odd $n$ : No	See real projective space has fixed-point property iff it has even dimension
complex projective space $P^{n} (C), n \geq 1$	$2 n$	Even $n$ : Yes Odd $n$ : No	See complex projective space has fixed-point property iff it has even complex dimension.
quaternionic projective space $P^{n} (H), n \geq 1$	$4 n$	Even $n$ : Yes Odd $n$ : No	See quaternionic projective space has fixed-point property iff it has even quaternionic dimension.
compact orientable surface of genus $g \geq 0$	2	No
torus $T^{n}, n \geq 1$ , product of $n$ circles	$n$	No	Follows from the fact that it's a nontrivial Lie group, so multiplication by a non-identity element. Also, we can use the coordinate-wise antipodal map.
product of spheres $S^{m_{1}} \times S^{m_{2}} \times \dots S^{m_{r}}$	$m_{1} + m_{2} + \dots + m_{r}$	No	Take the antipodal map for each coordinate sphere.

Manifolds with boundary

Facts

Fixed-point theorems

In general, we combine the Lefschetz fixed-point theorem with the structure of the cohomology ring of the space to determine whether or not it has the fixed-point property. For instance, we can show that complex projective space in even dimensions has the fixed-point property, by combining the Lefschetz fixed-point theorem with the fact that the trace on the $(2 k)^{t h}$ homology is $d^{k}$ where $d$ is the trace on the second homology.

Products

The product of any topological space that does not satisfy the fixed-point property with any nonempty topological space gives a space that does not satisfy the fixed-point property.

Metaproperties

Retract-hereditariness

This property of topological spaces is hereditary on retracts, viz if a space has the property, so does any retract of it
View all retract-hereditary properties of topological spaces

Every retract of a space with the fixed-point property also has the fixed-point property. Further information: fixed-point property is retract-hereditary

@@ Line 3: / Line 3: @@
 ==Definition==
-A [[topological space]] is said to have the '''fixed-point property''' if every [[continuous map]] from the topological space to itself, has a fixed point.
+A [[topological space]] is said to have the '''fixed-point property''' if every [[continuous map]] (''not necessarily a self-homeomorphism'') from the topological space to itself has a fixed point.
 ==Relation with other properties==
@@ Line 10: / Line 10: @@
 * [[Acyclic space|acyclic]] [[compact space|compact]] [[polyhedron]] (nonempty)
+* [[Rationally acyclic space|rationally acyclic]] [[compact space|compact]] [[polyhedron]] (nonempty)
+==Examples==
+===Manifolds without boundary===
+{| class="sortable" border="1"
+! Manifold or family of manifolds !! Dimension in terms of parameter !! Does it satisfy the fixed-point property? !! Proof/explanation
+|-
+| [[sphere]] <math>S^n,n \ge 1</math> || <math>n</math> || No || The antipodal map is a fixed-point-free self-map (in fact, it's a self-homeomorphism without fixed points).
+|-
+| [[real projective space]] <math>\mathbb{P}^n(\R), n \ge 1</math> || <math>n</math> || Even <math>n</math>: Yes<br>Odd <math>n</math>: No || See [[real projective space has fixed-point property iff it has even dimension]]
+|-
+| [[complex projective space]] <math>\mathbb{P}^n(\mathbb{C}), n \ge 1</math> || <math>2n</math> || Even <math>n</math>: Yes<br>Odd <math>n</math>: No || See [[complex projective space has fixed-point property iff it has even complex dimension]].
+|-
+| [[quaternionic projective space]] <math>\mathbb{P}^n(\mathbb{H}), n \ge 1</math> || <math>4n</math> || Even <math>n</math>: Yes<br>Odd <math>n</math>: No || See [[quaternionic projective space has fixed-point property iff it has even quaternionic dimension]].
+|-
+| [[compact orientable surface]] of genus <math>g \ge 0</math> || 2 || No ||
+|-
+| [[torus]] <math>T^n, n \ge 1</math>, product of <math>n</math> [[circle]]s || <math>n</math> || No || Follows from the fact that it's a nontrivial Lie group, so multiplication by a non-identity element. Also, we can use the coordinate-wise antipodal map.
+|-
+| [[product of spheres]] <math>S^{m_1} \times S^{m_2} \times \dots S^{m_r}</math> || <math>m_1 + m_2 + \dots + m_r</math> || No || Take the antipodal map for each coordinate sphere.
+|}
+===Manifolds with boundary===
 ==Facts==
+===Fixed-point theorems===
 * [[Lefschetz fixed-point theorem]]
 * [[Brouwer fixed-point theorem]]
+In general, we combine the Lefschetz fixed-point theorem with the structure of the [[cohomology ring]] of the space to determine whether or not it has the fixed-point property. For instance, we can show that [[complex projective space]] in even dimensions has the fixed-point property, by combining the Lefschetz fixed-point theorem with the fact that the trace on the <math>(2k)^{th}</math> homology is <math>d^k</math> where <math>d</math> is the trace on the second homology.
+===Products===
+The product of any topological space that does ''not'' satisfy the fixed-point property with any nonempty topological space gives a space that does ''not'' satisfy the fixed-point property.
 ==Metaproperties==
-{{retract-closed}}
+{{retract-hereditary}}
-Every retract of a space with the fixed-point property also has the fixed-point property
+Every retract of a space with the fixed-point property also has the fixed-point property. {{further|[[fixed-point property is retract-hereditary]]}}