International Journal of Mathematics and Mathematical Sciences
Volume 2006 (2006), Article ID 79858, 8 pages
doi:10.1155/IJMMS/2006/79858
Collapsing along monotone poset maps
Institute of Theoretical Computer Science, Swiss Federal Institute of Technology Zurich, Zurich 8092, Switzerland
Received 21 March 2005; Revised 13 September 2005; Accepted 12 February 2006
Copyright © 2006 Dmitry N. Kozlov. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract
We introduce the notion of nonevasive reduction and show that for any monotone poset map ϕ:P→P, the simplicial complex Δ(P) NE-reduces to Δ(Q), for any Q⊇Fixϕ.
As a corollary, we prove that for any order-preserving map ϕ:P→P satisfying ϕ(x)≥x, for any
x∈P, the simplicial complex Δ(P) collapses to Δ(ϕ(P)). We also obtain a generalization of Crapo's closure theorem.