Lefschetz fixed-point theorem: Difference between revisions
No edit summary |
|||
| Line 5: | Line 5: | ||
==Corollaries== | ==Corollaries== | ||
* Any [[contractible space|contractible]] compact polyhedron has the [[fixed-point property]]. More generally, every [[acyclic space|acyclic]] compact polyhedron has the fixed-point property | * Any [[contractible space|contractible]] compact polyhedron has the [[fixed-point property]]. In particular, every disc has the fixed-point property, which is [[Brouwer's fixed-point theorem]] | ||
* More generally, every [[acyclic space|acyclic]] compact polyhedron has the fixed-point property | |||
* The [[Euler characteristic]] of any compact connected Lie group is [[space with zero Euler characteristic|zero]] | * The [[Euler characteristic]] of any compact connected Lie group is [[space with zero Euler characteristic|zero]] | ||
Revision as of 22:40, 27 October 2007
Statement
If the Lefschetz number of a map from a compact polyhedron (viz a compact space that is also a polyhedron) to itself is nonzero, then the map has a fixed point.
Corollaries
- Any contractible compact polyhedron has the fixed-point property. In particular, every disc has the fixed-point property, which is Brouwer's fixed-point theorem
- More generally, every acyclic compact polyhedron has the fixed-point property
- The Euler characteristic of any compact connected Lie group is zero